compresslisted

# Compress Formal notation rewrite — reduce tokens, preserve semantics. ``` /compress code-review → .claude/skills/code-review/SKILL.md /compress fixer → .claude/agents/fixer.md /compress file.md → direct path ``` ## Symbols `∀` all | `∃`/`∄` exists | `∈`/`∉` member | `∧`/`∨` and/or | `¬` not | `→` then | `⟺` iff | `∅` empty | `∩`/`∪` intersect/union | `⊂` subset | `∥` parallel | `|X|` count | `:=`/`←` assign | `{ }` scoped block | `;` sequence | `()` params | `↦` maps to ## Phases **1 — Resolve:** Parse `$ARGUMENTS`: `*.md` → direct | agent name → `.claude/agents/<name>.md` | skill name → `.claude/skills/<name>/SKILL.md` | ∅ → → DP(B) file ∃ → read. ∄ → halt. **2 — Analyze:** Read target. Identify: repeated nouns (≥3×) | verbose conditionals | iteration prose | magic numbers | redundant examples | filler. L_before := line count (excl. frontmatter). **3 — Transform (R1–R10):** - **R1** Definitions: concept ≥ 3× → Greek var in `Let:` block (after title). Lowercase, mnemonic. Template: ``` Let: φ := set of all findings γ(f) ∈ [0,100] ∩ ℤ — confidence τ := 80 — threshold ``` - **R2** Predicates: multi-bullet conditions → `pred(x) ⟺ A ∧ B ∧ C` - **R3** Quantifiers: "for each" → `∀ x ∈ Y:` | "if any" → `∃ x:` | "exists" → `X ∃ →` - **R4** Implications: "if X then Y" → `X → Y` - **R5** Terse imperative: multi-sentence → single line + symbols - **R6** Tables + lists: keep structure, compress text, ¬drop items - **R7** Prune examples: ke