checklisted

Read-only drift detector. Diffs SPEC.md vs current code ∧ reports violations grouped by severity. ⊥ writes — suggests remedies via spec ∨ build skills, ⊥ invokes them. Triggers when user asks to check drift, audit spec, verify invariants, ∨ ask if code still matches spec. Phrasings: "check drift", "audit the spec", "does the code still match §V", "check invariants", "spec vs code", "is the spec still accurate?", "did the code drift?".
kborovik/pilot-skills · ★ 4 · Data & Documents · score 67

Install: claude install-skill kborovik/pilot-skills

# check — drift report Pure diagnostic. Reports violations. Writes nothing. User decides remedy. ## PREAMBLE `/sdd:check` ≡ read-only per read-only-cmd invariant; memo + `.gitignore` guard writes ∈ REPO-LOCAL `.claude/` per scope-set invariant ∴ sibling state ⊥ SPEC ∨ code ⊥ violate read-only contract. Sub-agent delegation allowed throughout (check ≡ read-only ∴ ⊥ coordination hazard). Recipes parametric per parametric-recipe invariant — repo-specific extensions load via `.claude/check-extras.md` path probe. Following sections defer to this preamble; defensive re-justification omitted. ## LOAD 1. Read `SPEC.md`. If missing → "no spec, nothing to check." Stop. 2. Parse invocation args: - `§V` → check invariants + §-cite resolution ∧ edge-type (default) - `§I` → check interfaces - `§T` → audit task status vs code - `--all` → all three sections - `--incremental` → memo-driven scope reduction per §V.<n> (combinable w/ `--all` ∨ section flag); first-run (memo absent) → degrade to full scan ∧ write memo post-run. 3. `--incremental` set → read `.claude/check-state.json` memo (schema per MEMO section below); absent → degrade to full scan, mark this run "first-run". ## MEMO `.claude/check-state.json` ≡ persistent memo updated post clean `/sdd:check --all` run (∀ verdict ∈ {HOLD, HOLD-SINCE-CLEAN, SCOPE-EMPTY, VIOLATE-CAPTURED, LATENT} — ⊥ VIOLATE ∨ UNVERIFIABLE present). VIOLATE-CAPTURED ∧ LATENT admitted to clean set per §V.<n> — §B-recorded immutable baselines