compresslisted

# Compress Formal notation rewrite — reduce tokens, preserve semantics. ## Success I := mode dispatched ∧ targets resolved ∧ per-section Δtokens reported ∧ (write → ledger row via S) Let: μ := mode ∈ {compress (default), derive, expand, lint, glossary} T := resolved target files · N := |T| S := `${CLAUDE_PLUGIN_ROOT}/scripts/count_tokens.py` — sole token counter ∧ sole ledger writer ref(μ) := `references/<μ>.md` next to this SKILL.md V := VERIFY_THRESHOLD = 1500 tokens — Phase 5a gate · S_d := `${CLAUDE_PLUGIN_ROOT}/scripts/inventory_diff.py` ## Entry ``` /compress file.md default mode, direct path /compress compress plugin name — discovered across both layouts /compress lint <target> mode lint — dispatches references/lint.md ``` ## Pipeline | Phase | ID | Notes | |-------|----|-------| | 0 | dispatch | mode parse + mode-exists gate + glossary gate | | 1 | scope | resolve T + read budget | | 2 | analyze | pre-image `source_ref` + tokens_before via S | | 3 | transform | apply ref(μ) rules under G1–G4 | | 4 | present | per-section Δtokens + user choice | | 5 | write | verify + symbol assert + ledger append via S | ## Phase 0 — Dispatch Parse the first token of `$ARGUMENTS`: ∈ μ set → mode; omitted → `compress`. Ambiguous (neither a mode nor a resolvable path/name) → ask "Mode or target?" (1–2 sentences), then dispatch. First token matching a mode always dispatches as mode — force scope interpret