Howardism · Vol. 03Plate II · No. 02
Verification, tagged.
Notes3TagVerificationOldest28 May 2026Newest28 May 2026
Every article tagged verification, newest first.
| Title | Summary | Date |
|---|---|---|
| Where Does Agent Harness Work Remain Durable as Models Improve? | Durable harness work lives at external-reality boundaries: repo-local source of truth, mechanical verification, context budgeting, isolation, tool contracts, and human decision surfaces; capability scaffolding shrinks | |
| Human-in-the-Loop Boundaries | Humans belong at allocation, understanding, design-concept, risk, and accountability boundaries; they slow the system down as manual executors, universal reviewers, or ceremonial approvers | |
| When Does Verification Quality Determine Whether AI Automation Works? | Verification-quality ladder from Lean/formal proof search through software CI and vulnerability reproduction; autonomy should rise only to the level the verifier can support |