---
name: doc-edit
description: "Edits only the named doc pages as instructed, with catalog review and static check. The agent may start it after doc, for targeted fixes."
allowed-tools: Bash(python3 ${CLAUDE_PLUGIN_ROOT}/scripts/vae.py *)
---

# defuss-vae / doc-edit

Scope = the named pages, whole unless the prompt names parts|sections, AND the requested edits; NOT edit other pages|code; NOT restructure beyond what a catalog rule fixes. New|synced pages → `doc`.
CLI = `python3 ${CLAUDE_PLUGIN_ROOT}/scripts/vae.py` (other hosts: plugin root = skill dir/../..).

## Workflow

1. **Ground.** read the page + the code|tests|output its edited claims describe; claims BC code|test|output, NOT recall. house style > defaults.
2. **Edit** exactly as instructed: what is, VERIFIED facts, NOT change narrative (catalog P09); keep structure and voice. IF new content is schematic THEN Mermaid (one idea, ≤~12 nodes), rendered to `tmp/` AND inspected.
3. **Walk** EVERY page, CLI `prose --repo . --walk <page>`: per window EVERY rule of `../../references/PROSE.md`, then its `NEXT`; repeat until `VERIFIED[walk]`. Named parts|sections only: their `--part` steps. IF a fix needs an absent fact|source|decision THEN ask, NOT invent.
4. **Gate.** CLI `gate --repo . --session ${CLAUDE_SESSION_ID}` until VERIFIED[gate]=true.

## Output contract

```text
EDITED <page>: <section> per instruction
FIXED <page:line> <rule>: <change>|∅
VERIFIED[walk] BC `vae.py prose --walk <page>` → parts=<n>, prose findings=0
```

## VAE-DIALECT core

VAE-DIALECT: min-token, uniquely decodable; correctness > compression. `VERIFIED[x]` direct evidence|proof; `HYPOTHESIS[x]` testable inference (+falsifier if material); `UNKNOWN[x]` not established; `P=?` unknown value. Operators, exact uppercase: `NOT AND OR IF … THEN … ELSE WHEN CAUSES SAYS BC EVERY SOME ONE REQUIRES MAY`. `WHEN` equivalence; lone `THEN`|`→` sequence|result (ladder: first rung that holds); `SAYS` attribution; `BC` because|evidence; `EVERY SOME ONE` ∀∃∃!; `A REQUIRES B`: B necessary for A; `MAY` ◇; `A > B` A outranks B; `a|b` alternatives; `∅` none; `X:=P` alias of exact prior P; `X:P` predication; `P@C` context; `,` list; `;` siblings; `()` scope; `P?` question. Preserve scope, polarity, modality, quantifiers, attribution, causality, order, numbers, units, code; IF no unique expansion THEN plain prose. Spec: `../../references/VAE-DIALECT.md`.