Skip to content

Scoped corollary (no κ): PR288 open item 3 (full-Borel bit register model) on unit targets is closed for 2-integral data — mW floor via PR288's FO-on-Λ/2Λ with P1's ν; free maps singular mod 2 allowed - #2613

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
thakrarsagar:research/bit-full-borel-2adic-floor
Oct 16, 2026
Merged

Scoped corollary (no κ): PR288 open item 3 (full-Borel bit register model) on unit targets is closed for 2-integral data — mW floor via PR288's FO-on-Λ/2Λ with P1's ν; free maps singular mod 2 allowed#2613
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
thakrarsagar:research/bit-full-borel-2adic-floor

Scoped corollary: PR288 open item 3 on unit targets is closed for 2-i…

ea9b811
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
certificate (3.14)
succeeded Oct 16, 2026 in 5m 45s