v0.8.0 — certified sub-threshold logical error rates for the rotated surface code

Exact uncorrectable-set counts converted to a two-sided exact-rational bracket on the logical error probability, replayable with the Python standard library. Deep sub-threshold (p=1e-3) the certified bracket beats a 10^7-shot Monte Carlo interval by ~18,500x at d=3 and ~626x at d=5 (matching it would need ~4e12 shots). Honest scope: the bracket bounds the independent-mechanism detector error model under a fixed lookup-table decoder, not the physical circuit; at p=1e-2 it still wins at d=3 but loses at d=5 (fat truncation tail, not a threshold crossing). Frontier: exact re-verification at weight 7 exceeds a pure-Python checker. Review log: wedge-paper/FIXLOG.md. Paper: wedge-paper/note.pdf