VerificationAvailable

Verification

agent-up.json's verification section maps changed paths to named checks. Running those checks records receipts outside the working tree.

The guard hashes current files against those receipts, so editing after a run leaves the receipt stale. This repository sets enforcement to block, so guard fails until every required check has a matching receipt.

Note

Run verification before enqueueing commits. Verification never reads the commit queue. If the guard fails, run agent-up verify run again; do not edit enforcement to get unblocked.

1. Plan the required checks

2. Run them and record receipts

3. Guard before enqueue

Command

agent-up verify run

Commands

1. plan

   See which checks the current changes require.

2. run

   Run every required check and record a receipt.

3. run architecture

   Re-run one named check after a targeted fix.

4. guard

   Prove receipts still match the current files.

5. export

   Write a report of what was proven about this revision. It is evidence to read, not an input to the guard.

6. coverage / slices

   Read Cobertura reports written by prior test checks. They do not run the suites themselves.

The field contract is in the agent-up.json reference.

Next in this slice

Commits

Enqueue after the receipts pass.