check — drift report Pure diagnostic. Reports violations. Writes nothing. User decides remedy. LOAD 1. Read . If missing → "no spec, nothing to check." Stop. 2. Parse invocation args: - → check invariants only (default) - → check interfaces - → audit task status vs code - → all three CHECK §V — invariants For each V<n : 1. Translate invariant into verifiable claim about code. 2. Grep / read relevant files. 3. Classify: HOLD / VIOLATE / UNVERIFIABLE . 4. Record address + file:line evidence. CHECK §I — interfaces For each I item: 1. Locate implementation. 2. Classify: - MATCH — shape in code =…