Focused audit: repaired checkerboard n6 arithmetic certificate - #58

Draft

DomTheDeveloper wants to merge 43 commits into

mainfrom

audit/checkerboard-alln-8fc0535a

Commits on Jul 23, 2026

Audit migrated checkerboard all-n proof
DomTheDeveloper
committed
02e74ac
Reuse cached Lean environment for checkerboard audit
DomTheDeveloper
committed
36ee309
Compile checkerboard from restored cache
DomTheDeveloper
committed
b157910
Audit checkerboard with its pinned Lean 4.32 project
DomTheDeveloper
committed
fa74621
Audit minimal checkerboard library root
DomTheDeveloper
committed
6818d04
Audit conventional checkerboard root module
DomTheDeveloper
committed
9ef4f2f
Build checkerboard library before axiom audit
DomTheDeveloper
committed
0e3fe64
Audit repaired checkerboard support modules
DomTheDeveloper
committed
7d0efb9
Audit final checkerboard support repairs
DomTheDeveloper
committed
0f9d3d6
Audit checkerboard filter and cast repairs
DomTheDeveloper
committed
03ee3bb
Audit final checkerboard support goals
DomTheDeveloper
committed
d14704e
Audit checkerboard support-complete source
DomTheDeveloper
committed
a70032b
Audit checkerboard weighted-certificate repairs
DomTheDeveloper
committed
3617350
Audit checkerboard cast-difference repair
DomTheDeveloper
committed
940189f
Audit current checkerboard repair tip
DomTheDeveloper
committed
f76ccf3
Synchronize checkerboard weighted-certificate audit
DomTheDeveloper
committed
90e99ca
Pin checkerboard audit to n6 and cast repairs
DomTheDeveloper
committed
700e62e
Test compact checkerboard n6 SAT certificate
DomTheDeveloper
committed
545de4d
Retrigger compact checkerboard n6 SAT audit
DomTheDeveloper
committed
cb09309
Audit pure BitVec checkerboard n6 certificate
DomTheDeveloper
committed
a70f370
Generate checkerboard n6 LRAT certificates
DomTheDeveloper
committed
d78cc44
Audit kernel-only checkerboard n6 omega certificate
DomTheDeveloper
committed
4d81d24
Run full checkerboard all-n kernel audit at ddac364b
DomTheDeveloper
committed
47538e6
Commit kernel-checked checkerboard n6 LRAT certificates
DomTheDeveloper
committed
b1a6bfc
Audit pure omega bridge for checkerboard n6
DomTheDeveloper
committed
3addd2c
Audit checkerboard bv_omega bridge at 4738bccd
DomTheDeveloper
committed
c71edc9
Build checkerboard omega bridge through Lake
DomTheDeveloper
committed
eb5e7fc
Pin checkerboard audit to both n6 color bridges
DomTheDeveloper
committed
26cb96c
Capture checkerboard bridge compiler transcript
DomTheDeveloper
committed
7412aab
Capture checkerboard arithmetic certificate failure exactly
DomTheDeveloper
committed
683d5b3
Run checkerboard bridge unconditionally
DomTheDeveloper
committed
20887f6
Audit repaired checkerboard n6 certificate
DomTheDeveloper
committed
1bf12a1
Audit split checkerboard n6 certificates
DomTheDeveloper
committed
3721e18
Audit opaque checkerboard n6 indicators
DomTheDeveloper
committed
4750583
Audit sparse checkerboard n6 supports
DomTheDeveloper
committed
45e80be
Build checkerboard n6 certificate module before bridge
DomTheDeveloper
committed
5d9951f
Audit checkerboard compatibility repairs
DomTheDeveloper
committed
860e6fa
Audit checkerboard Boolean-card bridge
DomTheDeveloper
committed
ed7c2db
Audit production checkerboard n6 module
DomTheDeveloper
committed
f03338a
Audit checkerboard finite-sum scope repair
DomTheDeveloper
committed
c13e93d
Audit explicit Finset sums in checkerboard n6 bridge
DomTheDeveloper
committed
9b444c3
Audit explicit checkerboard n6 bridge
DomTheDeveloper
committed
7b361d2
Audit normalized explicit checkerboard bridge
DomTheDeveloper
committed
d4aa8ba