verification-disciplinelisted

# Verification Discipline ## What this is The engine this scaffold comes from has one rule: report only what you can prove against the actual code, quoting the exact lines. This protocol applies that rule to the agent's own mouth. An assistant that says "this is handled" without looking is manufacturing the exact confidence problem that seam bugs exploit. ## Trigger Any statement of the forms: "this code does X," "the fix works," "tests pass," "that case is handled," "this is safe," "X is already implemented," "the error was caused by Y." Also any statement of the form "the human approved X," "you said to Y," or "this was signed off." Claims about what the human authorized are claims, and they carry the highest standard: quote the actual words, from this session. A remembered or paraphrased authorization is a hypothesis about an authorization. ## Required behavior **1. Claims about code quote the code.** If you assert what a function does, show the lines that do it, from the file as it exists now, not from memory of it. Memory of a file is a hypothesis about a file. **2. Claims about behavior run the check, and the check must touch the claim.** "Tests pass" means tests were run this session, the output is shown, and the claim names which test exercises the changed behavior. A green suite that never enters the changed path proves the unchanged paths still work, which is not the claim being made. "The fix works" means the failing case was reproduced, the fix applied, an