---

name: condense description: | SPEC.md condenser — token-budget sweep. Triggers when user invokes /sdd:condense or asks to condense spec or /sdd:check emits ## advisory token-budget overflow line. Phrasings: "/sdd:condense", "condense SPEC.md", "SPEC too big", "shrink the spec", "token budget". allowed-tools: ask_user_question, read_file, search_replace, write, run_terminal_command(git *), run_terminal_command(python3 */check-mechanical.py *), spawn_subagent, skill, todo_write

condense — SPEC.md condenser

Operator-triggered six-prong sweep. Scope: SPEC.md + SPEC.archive.md + .spec/check-extras.md. Not auto-fire — /sdd:check emits advisory when token estimate > 20k; operator invokes next turn. Single atomic commit (all firing prongs or none); rollback git revert. Writes serialize main-thread; per-prong scan reads delegable to sub-agents.

PROGRESS

Phases: LOAD, PROPOSE (six-prong scan), CONFIRM, EXECUTE. Per skills/_fragments/PROGRESS.md — todo_write one task per phase; status in_progress then completed. CONFIRM cancel / subset-skip → unreached phases deleted, not completed.

LOAD

1. Read SPEC.md. Missing → "no spec, nothing to condense." Stop.
2. Read ${GROK_PLUGIN_ROOT}/SPEC-FORMAT.md — row schema + section catalog.
3. Baseline tokens = bytes / check-mechanical.py TOKEN_RATIO (single source; not hardcode divisor). Record.

PROPOSE

Six prongs, execution order 1 → 6. Per prong: scan SPEC.md for trigger match; emit firing-set + skip-set w/ 1-line rationale each.

Script modes below run python3 ${GROK_PLUGIN_ROOT}/scripts/check-mechanical.py <mode>; ${GROK_PLUGIN_ROOT} no-expand in frontmatter → python3 grant pinned mid-glob run_terminal_command(python3 */check-mechanical.py *) (script-sole use, leading * absorbs the plugin-root prefix) per tooling-preference invariant.

Prong 1 — §V fold-first sweep

Fold pattern-mirrored sibling §V rows into target row inline. Seed script-computed: check-mechanical.py emit-fold-seeds emits cluster_members|co_citers table — connected components of live §V rows sharing a citer (§T cites or §B fix naming ≥ 2 live §V rows). Seed advisory not auto-apply: co-citation is candidacy signal not proof; operator confirms each fold @ CONFIRM (LLM judges topic coherence). Augment seed w/ topic-keyword overlap (shared scope tokens / procedure refs / verb pattern) where co-citation thin. Fires first — fold reshapes later prongs (prong 6 inherits folded shape).

Prong 2 — SUPERSEDED §T inline marker

Candidates script-computed: check-mechanical.py emit-superseded emits tid|superseded_v|original_cites table — closed §T (status x) whose §V cite resolves into no live §V row (only archived §V.retired block or nowhere) → SUPERSEDED candidate. Live-only resolution — distinct from cite-DAG audit live+archive scope. Consume table; not by-hand per-cite resolution. Operator confirms each (content-amend-away not cite-detectable). Replace task body wholesale: T<n>|x|SUPERSEDED — §V.<m> amend|<original cites>. Preserves row id; closes cite-DAG-miss audit noise.

Prong 3 — §T/§B window-vs-archive split

Trigger: closed §T rows > check-mechanical.py ARCHIVE_CLOSED_T (single source; not hardcode). Older closed rows → SPEC.archive.md (repo-root sibling, committed, id ascending). §T/§B gain per-section marker ## archived: §<S>.<a>..§<S>.<b> → SPEC.archive.md (<n> rows). Archive carries verbatim row text. /sdd:check cite-DAG sweep eager-probes archive; archived rows stable so memo HOLD-SINCE-CLEAN across runs.

Prong 4 — history-residue prune

Prune history residue across live §V/§T/§B row bodies — SPEC.md is clean current design; history lives in commit log + archive. Candidates script-computed: check-mechanical.py emit-residue emits section|id|pattern|line table — every live row hit by the shared HR_* patterns (amendment-counter, dated-retirement, supersession-narration) or oversized §T task / §B cause cells (oversized-cell), after the same pre-filters as the audit path. Empty body (header only) → prong 4 skip. Consume table; not hand regex / per-run pattern paraphrase (freshness-contract + mechanical-realization invariants — single source with audit_history_residue).

Per-hit prune by pattern:

• amendment-counter → drop (∆) markers.
• dated-retirement → drop inlined retired YYYY-MM-DD clause (wholesale-retired row is reorganize archival job).
• supersession-narration → drop pre-amend …, prior … retired/dropped/superseded, recurrence-class lineage, surfaced-by prose. Commit msg + §B.cause/§T.cites cite-DAG preserve narrative.
• oversized-cell → §T body-trim / §B cause one-line trim (owned here because /sdd:build flips status cell only, so §T body not reachable by /sdd:spec write-time prune); surplus → commit-msg body.

Standalone Closes §B.<x> sentence → (closes §B.<x>) suffix on prior clause (apply when body still carries it after pattern prune). Verbatim-preservation holds: code, paths, URLs, identifiers, error strings, regex.

Prong 5 — §V prose → telegraph rewrite

Rewrite embedded English connectives per telegraph skill. Targets: Why:, For example, In other words, explanatory because / due to clauses. Verbatim-preservation holds: code, paths, URLs, identifiers, numbers, versions, error strings, SQL, regex, JSON, YAML, quoted strings.

Prong 6 — §V audit-recipe extraction

Heavy set script-computed: check-mechanical.py emit-v-weights emits v_row|bytes|tokens|cum_pct|heavy table, heaviest first; heavy = top rows whose cumulative weight first reaches ≥ 50% of §V-section total (tie-break descending weight then ascending id — run-stable). Not by inspection. Heavy rows: extract audit-recipe content → .spec/check-extras.md (REPO-LOCAL extension); SPEC.md row keeps 1-line ref. Check skill loader already path-probes .spec/check-extras.md — no check-skill amend.

CONFIRM

Always fires post-PROPOSE. Single bulk ask_user_question covers full sweep — mid-flow re-prompt not allowed:

• question: Condense SPEC.md: prongs {<firing-set>} firing, {<skip-set>} skipped. Baseline ~<n>k tokens, est. ~<m>k post-sweep. Apply?
• header: Condense gate
• options (4, mutually exclusive, label is action description):
  • apply all firing prongs → EXECUTE full firing set.
  • force-skip prong 3 → EXECUTE minus prong 3 (archive split deferred; prong 3 load-bearing so explicit override).
  • subset → user supplies N in {1..6} via Other-typed input; EXECUTE prong N only.
  • cancel → no mutation; PROPOSE report retained as final output.

EXECUTE

Single atomic commit:

1. Apply firing prongs in order (1 → 6 minus skips).
2. Prong 3 fired → git add SPEC.archive.md.
3. Prong 6 fired → git add .spec/check-extras.md.
4. Prong 1 fired → cite-DAG sweep same commit; touch REPO-LOCAL citers renumbered by fold.
5. Stage remaining artifacts + SPEC.md (git add), then path-scoped commit git commit -m <subject> -- <staged artifacts> SPEC.md (write-ownership invariant — commit scopes to staged owned set, pre-staged files never leak; -m flags ! precede --); auto-commit msg condense SPEC.md: prongs {<firing-set>} (~<n>k → ~<m>k tokens); no user prompt.

EXECUTE ends @ commit. Rollback git revert <condense-sha>. Drift cascade → Next-block item #1; operator dispatches next turn.

MECHANIZE

Load ${GROK_PLUGIN_ROOT}/skills/_fragments/MECHANIZE.md. Run probe. Emit Next item per fragment.

OUTPUT — "Next" block

Per skills/_fragments/NEXT.md. State-mutator → post-EXECUTE prefer /sdd:check (confirm cite-DAG + format-layer + token-budget clean). CONFIRM cancel (no commit) → /sdd:condense re-run; drop revert item. CONFIRM subset → Next-block unchanged.

NON-GOALS

• not auto-fire — /sdd:check emits advisory; operator invokes /sdd:condense next turn.
• not partial commit — every firing prong applies or none.
• not retune thresholds (TOKEN_BUDGET 20k-token advisory, ARCHIVE_CLOSED_T closed-§T archive trigger) in this skill body — canonical values live in the token-budget invariant row (SPEC.md) w/ mechanical mirrors in check-mechanical.py constants; retune via /sdd:spec AMEND + sync the script constant same commit.