Slim64FS
Architect and governance author · AI-authored implementation
A modern filesystem for removable flash, built by cutting every feature a general-purpose filesystem carries that an SD card never needed — then verifying what remained until it could not reasonably be doubted.
- Five invariants govern every write: race-to-idle, fill-or-kill, ordered commit, CRC32C only, no data journaling
- A human architect set the constraints; AI implemented narrowly against them
- Seven independent AI models audited the finished code adversarially
- 310 crash-injection trials and 17/17 xfstests MUST_PASS — reproducible and unredacted
Design decisions were forced through named, demanding users — a wildlife photographer shooting 7,500 frames a day, a videographer recording 8K sustained, and a deliberately hostile kernel reviewer who accepted no claim without a log.