Manuscript X-C@3 · X-C-v3.tex · section · 2260f5f8
Decision and final release
Decision and final release · lines 1642–1648
The release box, variation theorem, and final theorem have the same order and domain. The Route II pairing remains a cross-check, not the proof.