v0.5.2 — Honest Fences

Adjudicates the Opus 4.8 (1M) adversarial review of v0.5.1. The headline: consensus safety was attacked and did not break — no path was found where two conforming nodes disagree on a result hash. Everything shipped here is fence and discipline repair:

• M1: the reference's memory fence guarded on spent (an upper bound on size, not a proxy), so eval(Ω, n) faulted instead of returning canonical ATP Exhausted for huge budgets — violating TV-7's ∀n. Fixed: the guard measures actual size/depth; §3.4 prose corrected.
• Version headers now match anchors (m1); the "phase coordinate stays visible" guarantee is executable via coordinate() + WV-COORD-* vectors (m2); materialized_size defined in one sentence (m3); the ≥80-bit LUT demand dropped — the arbiter hash is authoritative (N1); three new eval vectors pin stuck normal forms and REF-enabled redexes — suite 46 → 49 (N2); width note for ports (N3).

No canonical eval result changes. Gates: oracle ALL PASS · WAVE 30/30 · CONFORMANCE 49/49 · PROPERTIES 2103/2103 · anchors verified · warrant store 18 records / 0 errors.

🤖 Generated with Claude Code

https://claude.ai/code/session_01EMGpJLpAenjdvTeR5r7w4D