Discussion about this post

User's avatar
Daniel Schermele's avatar

This was so well framed. The backpressure-vs-gate distinction really clarified something for me, your line that a failure the agent sees while working is backpressure, while a check after it's done is just a gate. I run my loop on that same split.

It left me chewing on a problem I keep hitting with reward hacking, though, and I'm curious whether you've landed anywhere on it. A gate can prove the code does what the spec says. But nothing in the loop checks the spec itself. So a confidently wrong or ambiguous spec produces a confident green, the agent built the wrong thing faithfully, and every gate downstream passes it. The trust boundary just moves up a level to the spec, where there's no backpressure at all. Have you found any strategy that puts pressure on the spec the way we've learned to put it on the code?

I've been building a gate that chases the version of this one level down, where the agent that writes the code can't change the test that grades it, enforced by tooling rather than asked for. It handles the collusion between code and test, but it dead-ends exactly at the spec problem above, which is why I'm asking. Wrote up what held and what didn't here if it's useful context: `https://misterscherm.substack.com/p/please-allow-me-to-backpressure-myself?r=r32hs.

Morty Smith's avatar

Insightful and engaging blog post, thank you.

No posts

Ready for more?