Viridis Compiled Theorem Stack — Canon v8 (Recovered Footing: the Erasure-Side Intelligence Bound) | Synapse