Filip Koščák  ·  Phil Phauler
 space systems · robotics · security

research engineer building autonomous fault detection for spacecraft, planetary rovers, and humanoid robotics. security researcher. 10 years in music production before code. prove or abstain.

fn doctrine() -> &'static str { "the beat drops or it doesn't. same rule applies to code." }

---

contributing to

contribution details

NASA F Prime — flight software framework for spacecraft. 10 PRs (2 merged): unsigned underflows, state leaks, flaky test stabilization, deny-by-default sandboxing, onboard DFA health monitor proposal. NASA cFS — core Flight System apps (HS, LC, DS, ogma). Fixed processor-reset bug on bad app names, removed dead code, fixed spec merge in ogma. tokio — Rust async runtime. Fixed io_uring panic when IO driver disabled. Added Safety docs for named pipe options.

PLUR — persistent memory for AI agents. Fixed embedder disposal (ONNX teardown abort), dedup co_injection events. Root-cause analysis on host-header auth bypass + statement injection. ArduPilot — open-source autopilot. Fixed DDS timestamp overflow, scheduler rate clamping for gimbal drivers. Struktura — published Rust crate for anomaly detection. Detected bearing faults across 3 fault types from raw vibration. Zero dependencies.

---

🛰️ space, robotics & security

struktura · crates.io Anomaly detection crate. Detrended Fluctuation Analysis in Rust. Detected bearing faults 1,200 samples before threshold alarm. Zero dependencies, no_std compatible. cargo add struktura

fprime-telemetry-oracle F Prime component: computes DFA-1 scaling exponent per telemetry channel in real time. Passive, bounded memory. 26 tests against independent reference. Peng et al. 1994.

rover-reliability-lab Rover Health OS: autonomous fault detection, classification, and recovery for planetary rovers. DFA + physics invariants + FDIR. Built on struktura.

Robotics direction: spacecraft health monitoring, autonomous rover FDIR, and humanoid robotics — applying the same DFA/structure-change methods to joint torque, gait stability, and sensor fusion for bipedal systems.

🔐 security — white-hat, scan-first

	project	what it does	stack
🔐	cyber.koscak.ai	AI security scanning SaaS, pentesting tools	JS, CF Pages
🛡️	T3MP3ST	security recon + architecture	TS

---

🧬 research engine — the things that refuse to guess

the engine KODON discovers exact mathematical laws from raw data. No LLM. No guessing. 7 derive faculties, 234,000+ verified laws, self-evolving ouroboros loop. INPUT: 1 1 2 3 5 8 13 21 OUTPUT: DERIVED [linear-rec-2] next = 34, 55, 89, 144, 233 confidence: 100% (held-out exact) INPUT: 3 1 4 1 5 9 2 6 OUTPUT: ABSTAIN (honest > confident) Derived so far: Fibonacci · Pisot metallic means · Catalan · Somos bilinear · conservation laws (E=½mv²+mgh) · Apéry ζ(3) · DNA structural patterns across 17 chromosomes

the language Helix — DNA triplet codons compile to native Rust. ATG → function call GCA → struct TGC → read_file CGGA → embed (vector) AAGC → ANN search TGAG → watermark ATTT → AISP encode 1 line Helix = 30 lines Rust. 1000+ files, 87K codon address space, build-cargo for real crate deps. The agent fits its own context window → self-read, self-modify, many instances.

---

⚙️ stack

no Python in the training loop. no PyTorch. no guessing.

---

🎵 the music — before code

10 years producing house & DnB. Managed by WACE Group. Remixes with millions of plays.

I don't compose by feel — I engineer listening states. BPM maps to brainwave frequencies. 174 BPM neuro = 2.9 Hz theta (deep focus fuel). 432 Hz isn't mystical — it's the precession cycle (432×60 = 25,920 year wobble).

Started building tools for music. Realized "measure, don't guess" applies to everything. Now the music tools and the research engine share the same doctrine.

---

17,625 contributions this year · 24 PRs across NASA, tokio, ArduPilot, PLUR · building nonstop

∀claim: PROVE(claim) ∨ ABSTAIN     // the only rule

⚡