Sharpen Agent Templates
Shift Verify's searchlight from style observations to substantive findings, and give Think awareness of the proof surface. Four template text changes across two agent definitions. Zero CLI code.
verdict PASSscore 20 / 20findings 5 (0 risk · 0 debt · 5 obs)duration 4h 6mrejection cycles 0shipped May 2, 2026surface cli
Pipeline timeline
Intent to proven code in 4h 6m across Think, Plan, Build, and Verify.
Think7m
Plan7m
Build234m
Verify5m
Assertion ledger
20 claims, each independently verified. Showing 8 — show all →
| ID | Says | Matcher | |
|---|---|---|---|
| A001 | Verify's mandate now references sentinel tests as an example of what to look for | verified | ok |
| A002 | Verify's mandate now references untested error paths | verified | ok |
| A003 | Verify's mandate no longer suggests looking for unclear names | verified | ok |
| A004 | Verify's mandate no longer suggests looking for weak error messages | verified | ok |
| A005 | Verify's mandate no longer suggests looking for inconsistent patterns | verified | ok |
| A006 | Verify's mandate includes the conviction that every codebase carries debt | verified | ok |
| A007 | Verify's mandate requires each finding to answer what goes wrong and for whom | verified | ok |
| A008 | Findings are now framed as worth knowing for the next engineer, not just generally | verified | ok |
Findings 5 total
obs.ana/plans/active/sharpen-agent-templates/spec.md→ closed
Stale test baseline in spec — claims 1777 tests but actual baseline is 1763
obspackages/cli/templates/.claude/agents/ana.md→ closed
Proof surface block is informational command list without behavioral guidance
obspackages/cli/tests/templates/agent-proof-context.test.ts→ closed
Dogfood sync test proves byte-identity but not content correctness — contract content assertions verified by source inspection only
obs→ closed
Prior finding still active — Verify template retains 'If the command is not available' fallback inconsistent with Learn cleanup
obs.ana/plans/active/sharpen-agent-templates/spec.md→ closed
Spec correctly identified and overrode scope's wrong claim about test coverage of ana.md
Integrity seal
scopesha256:1f13308bf2093...
contractsha256:5652ebf10f01c...
plansha256:6bd06a6f425d4...
specsha256:0e2f8657c3297...
build-reportsha256:e5c580be9590e...
build-datasha256:a2cf7d5c1b24c...
verify-reportsha256:22c6b35870e31...
verify-datasha256:69dfc72b0849f...
audit cmd$ ana proof audit sharpen-agent-templates → all hashes match