verifylisted

# AEP Phase 4 — Verify **The prime directive: YOU MUST NOT declare a task complete while any check is failing — and completion claims without evidence are void.** ## 1. The verification loop Run, in order: **build/compile → linter + type-checker → affected tests → full suite when feasible.** Then iterate: ``` edit → run check → READ the output → fix root cause → re-run ``` - Every warning, type complaint, and failure is a blocker: fix it or explicitly justify it in the evidence block. - **Two-strike rule:** two consecutive iterations without measurable progress = STOP. Reassess the hypothesis, return to `aep:plan`, or escalate. Never suppress an error to make the loop pass (no skipped tests, no lint-disable comments, no `catch {}`) — that is falsifying evidence. ## 2. Tests for new logic - New logic requires new tests: happy path + boundaries + failure modes. - Bug fixes require a **regression test that fails before the fix and passes after** — run it both ways and show it. - Tests must be deterministic and order-agnostic; mock only at architectural boundaries; never mock the unit under test. - **Name every suppressed test.** Skips, `expectedFailure`/`xfail`, and disabled cases satisfy a green exit code while the assertion behind them is not enforced — the gate cannot tell the difference. The evidence block names each one and why, unconditionally; a suppression nobody mentions is indistinguishable from a defect nobody found. - **Test integrity:** never weaken, skip, or