We made our agent plans portable. Then we had to make them verifiable.

I use AI agents to work across several software projects. For larger changes, I give them a Markdown...