We set our own agent a trap.
Our demo project on a public demo shop, with Enforce switched on. Frames from runs of 3 and 4 November 2026, as they appear in the video.
- 01The trap
A test that names two prices, and checks neither
The test expects a checkout total of $32.39: the backpack at $29.99 plus $2.40 tax. Its only defined check reads
Thank you for your order!
The agent completes the order and reports PASSED, quoting both prices.
- 02Pass withdrawn
No check read those prices. In Enforce, the pass is taken back
The integrity gates compare the reported pass with what the run recorded. Both prices are flagged as unverified, so the pass becomes Incomplete: amber, not red. The run didn't find a bug, it proved nothing, and it never counts as a pass.

- 03Proof in, pass back
Add the checks that read the numbers. Same test, rerun: green
We added checks for the item total, the tax and the total. The rerun passes with nothing flagged, and this time the green comes with its proof.

