INDEX
01Agent
The five repo-resident agent roles, what each may touch, and the stub that makes it discoverable. Roles are scoped to this repo, never to the machine.
21 2d ago A 0 tokens
original MIT
formal-prove
02Agent
The role that writes and runs formal properties. Owns formal/, and treats a vacuous pass as a failure - a property that cannot fail has proven nothing.
21 2d ago A 0 tokens
original MIT
Agent
One working tree, several agents - the four ways uncommitted state crosses agent boundaries, and the staged-set check that actually holds.
21 2d ago A 0 tokens
original MIT