v2.6 canonical discharge run (2026-05-05):
https://tahoe.athanor-ai.com/analytics/silicon-blocks/c56c2b20-7411-4502-941c-f6a773c34b9c

Or fallback universal catch-all:
https://tahoe.athanor-ai.com/solve-runs/c56c2b20-7411-4502-941c-f6a773c34b9c

The v2.6 closed-loop discharge produced:
- full_match PROVED-with-assume under bridge inv_state_sync (full state-equality with bit-packing-correspondence)
- empty_match PROVED-with-assume under bridge inv_state_sync (count + head + tail equality)
- pop_data_match REFUTED-carry-over from v2 (X-init aliasing diagnostic; codegen finding, not behavioral)
