check — drift report

Pure diagnostic. Reports violations. Writes nothing. User decides remedy.

LOAD

1. Read SPEC.md. If missing → "no spec, nothing to check." Stop.
2. Parse invocation args:
   • §V → check invariants only (default)
   • §I → check interfaces
   • §T → audit task status vs code
   • --all → all three

CHECK §V — invariants

For each V:

1. Translate invariant into verifiable claim about code.
2. Grep / read relevant files.