coalwashlisted

# CoalWash — the memory washer > **Fidelity scope — CLASS-B wash tiers only** (class-A estate = the byte-identity contract two notes down): the guarantee is **zero STRUCTURED-token loss** (the classes enumerated at step 3) proven by a mechanical diff; a load-bearing **prose** fact is the semantic reviewers' + YOUR job, never the gate's. Deletes ride the adjudicated plan, not a separate approval; safety is the transactional apply (snapshot → whole-run rollback; a rollback whose own restore fails reports **partial**, never a silent mixed state). CoalWash **slows** memory-overhead growth — it does not eliminate it (a rising meat-floor is health, not fat). > [!CAUTION] > **Never loop CoalWash. No calendar cadence, ever.** Fat grows at a different rate per project — a schedule cleans lean memory, and past fat-exhaustion a semantic pass can throw away something load-bearing, the way a person tidying an already-tidy room starts discarding keepsakes. The consecutive-run ceiling is **benchmark-derived, never guessed**: use the latest published ceiling from the CoalWash benchmark; **if none is available, the conservative default = ONE Full run per sitting.** A LEAN verdict is a hard STOP (no-op by design). A looped Full tier re-pays semantic cost every round for nothing, and accumulates over-compression pressure. > **Class-A estate (ULTRA + RE-TIER's byte lane) — a DIFFERENT, STRONGER contract:** transcripts/tool-results are vendor-owned + machine-parsed (fail the 4 wash tests) → **