The honest boundary of argument-space verification — and what the Evidence Locker adds

Agent Determinism Illusions (Part 11)

Part 10 tested C3 (argument-space runner) against five scenarios and three evaluators. The result: C3 scored 5/5, synonym-immune, DPI-bound made concrete — a structural floor on addressable claims.

That floor has a crack. Mike Czerwinski found it in the dev.to comments on Part 4. This article tests the crack, measures its depth, and shows why it can't be closed — only bounded.

Then it adds a second mechanism: an evidence feedback loop inspired by Pascal Cescato's "Evidence Locker" concept. The loop catches over-invalidation (the implementation did more than the contract asked for) but stalls on under-invalidation (the implementation did less). The crack and the loop's blind spot are the same structural boundary.

The honest boundary of argument-space verification — and what the Evidence Locker adds

Related reading

The Third Predicate: Argument-Space Verification, Tested

Six experiments on adversarial verification — and the 75% wall that didn't move

Five Comments That Redesigned My LLM Verification Pipeline

Trust, then verify, then verify again

Making LLM security verdicts verifiable: the evidence gate pattern

My Verification Gate Cleared on a Keyword, Not Evidence