» Tag
software-verification
3 postsA Green Test Suite Isn't Proof: Authority Gaps Slipped Past 16/16
A 16/16 passing test suite hid three critical gaps in an authority model. Why a green scoreboard alone was never sufficient proof.
From Prompt to Loop Engineering: The Verifier Is the Bottleneck
Prompt engineering became context engineering, now loop engineering: same unit-of-work shift, but the newest bottleneck is the verifier, not the model.
Refactyl's verifier had more bugs than the code it checked
Refactyl's Vue 3 migration gate silently rejected valid code due to an AST reuse bug. A case study on why verifiers must check the exact artifact that ships.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.com