speclisted

# spec — spec mutator The `glyph` skill (math-glyph encoder) applies to all writes here. ## DISPATCH **Step 0 (precondition):** `git diff --quiet SPEC.md` ⊢ continue; ⊥ → bail w/ "SPEC.md has uncommitted changes; commit ∨ stash first" (auto-commit on apply assumes clean baseline). **Step 1 (design-fold-in shortcut):** input arg ≡ path matching `designs/*.md` ∧ file exists → FOLD-IN procedure (skip socratic gate; design skill Open-Questions-∅ rule ≡ persistence pre-condition ∴ design content already converged). Else → continue to gate. Engage `core:socratic` gate w/ user input as intent. Gate runs single-question loop until convergence triple matches one mode: - **NEW** ≡ goal ∧ first-principle-asked ∧ (≥ 1 invariant ∨ ≥ 1 task) - **DISTILL** ≡ explicit "build from code" intent (gate exits ≤ 1 turn — walks repo, no further interrogation) - **BACKPROP** ≡ symptom ∧ surface ∧ recurrence-class - **AMEND** ≡ §-target ∧ delta Two paths (SPEC.md presence is the only branch — mode is gate byproduct, ⊥ user-typed prefix): 1. **⊥ `SPEC.md` @ repo root** → gate restricted to {NEW, DISTILL}; post-convergence → run mode-specific procedure below. 2. **`SPEC.md` exists** → gate ranges over {BACKPROP, AMEND, NEW}; post-convergence → run mode-specific procedure. NEW available but rare → require explicit re-init confirmation before overwrite. Concrete first-turn input → gate passes ≤ 1 turn (zero-friction); vague → dialogue continues until convergence. ⊥ skip flag, ⊥ prefix back-doors