Process
How we ship verified software
A five-part series on the multi-expert review methodology behind Shellfinity. Each post leads with a specific finding the panel caught that automated tests missed.
Two reviewers caught what no test could
A convergent panel finding: two of four independent reviewers flagged the same defect that
automated tests had passed. The bug lived between two pieces of correct code. Independence
is load-bearing.
The five-minute check that prevents months of no-op work
The surface audit check. Every phase begins with a short script that verifies the design's
assumptions against the codebase before any new work begins.
What unit tests can't see and how to find it anyway
Stress-as-discovery. Some classes of defect are invisible at unit scale and fatal in
production. The discipline that catches them is not optional.
Three tiers of trust
The accounting we use to make our trusted assumptions explicit. A single number for
"trusted code" hides the work that matters.
How a documented process compresses a quarter's design
A retrospective. The disciplines that produce axiom-free systems, applied together, do
measurably more than the sum of their parts.