'Trust but verify'; or, 'the correctness ratchet'
Comments
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Summary
The article describes a "trust but verify" technique for agentic software development: where requirements can't be mechanically checked, agents record their inputs and rationale in evidence files, and deterministic CI checks confirm those files exist and their inputs are current.