Discussion about this post

User's avatar
MetaCortex Dynamics's avatar

One gap in the checker layer: approved, reason is still binary. The checker can distinguish three things that aren't approval, but verify() compresses them into one False:

Output is wrong (real rejection — the maker should retry with the reason as a constraint)

Output can't be verified yet (tool trace is incomplete, external service is down — hold, don't reject)

Output is correct if a dependency holds (another agent's PR merges first — bind, don't reject)

All three return approved=False and the loop treats them identically. The maker regenerates work that wasn't wrong.

Built a typed evaluator return for exactly this: https://github.com/MetaCortex-Dynamics/verdict4

The argument for why four values: https://metacortexdynamics.substack.com/p/your-loop-has-two-states-it-needs

Would slot directly into your checker.verify() — replace the bool with a Verdict and the loop gets exclusion memory for free.

1 more comment...

No posts

Ready for more?