proof(ordinal): doubled-ladder rank foundation (equal-Ω cross-index fix, Slice 1) - #201
Merged
GitHub Advanced Security / CodeQL
succeeded
Jun 13, 2026 in 2s
No new alerts in code changed by this pull request
Loading