Conditional κ = 1.017962405296845·10⁻³: checker-clean grouped and frame-closure entrance promotions with a target-124 helper prefix on our #412 word (+3.9·10⁻⁸ over #418; #414–#416 fail gx E4/gxcore E5) by chafreaky · Pull Request #419 · CrocSwap/integer-mult-bounds

e8-kernel-bit-b3: #370's E8 bit word with our retiming and shared-donor kernel in B3 (unsplit, halving degree two), paired with #377's nine-stage E8 complex component; conditional kappa = 9.9824315…

chafreaky

and

claude

committed

015f00b

e8-far-nine-complex: #377's nine-stage E8 complex component with our #378 re-timed E8 unit (same operator), paired with our #382 B3 bit word; conditional kappa = 9.98634656132003e-4 (complex-bound;…

chafreaky

and

claude

committed

fd81a16

e8-clean-padding: bank padding fused into the final climbs of three new free zero-row sink helpers on #390's dirty-preconditioned E8 complex program; conditional kappa = 1.000385913854264e-3 (compl…

chafreaky

committed

be2a06b

e8-clean-r781: our #394 bank-padding fusion (free zero-row sinks 301/324/387) on Dugongue's #398 signed target-prefix R781 E8 complex program, compiled with #390's dirty-preconditioned bracket; con…

chafreaky

committed

b974e48

e8-response-resynth: exact value-level re-synthesis of targets 177 and 220 on Dugongue's #401 response-subspace R781 E8 complex program (full raw operator identical); conditional kappa = 1.01335793…

chafreaky

and

claude

committed

7883c63

Include PR318's unchanged three-file joint-dual source-pin repair for repository CI (no mathematics changed)

chafreaky

committed

ac91a9c

e8-repivot-fusion: response-gauge re-pivoting, padding fusion of sinks 301/387 and target re-synthesis of 177/220 on Dugongue's #404 shared-donor R781 E8 complex program; conditional kappa = 1.0165…

chafreaky

committed

2eca271

e8-sequential-enlarged: checker-clean composition of #409's sequential entrance gauges (two groups re-pivoted to fix gxcore E5), #410's eight entrance enlargements, our #407 re-pivoting, padding fu…

chafreaky

committed

616d9d6

e8-promoted-closure: checker-clean composition of #414's grouped promotion [48] and #416's frame-closure promotions (892, 669, 644; 821's relation re-solved on our word and re-pivoted on 947 to sta…

chafreaky

committed

70a276c

Navigation Menu

Repository navigation

Conditional κ = 1.017962405296845·10⁻³: checker-clean grouped and frame-closure entrance promotions with a target-124 helper prefix on our #412 word (+3.9·10⁻⁸ over #418; #414–#416 fail gx E4/gxcore E5) - #419

Commits on Oct 11, 2026

e8-kernel-bit-b3: #370's E8 bit word with our retiming and shared-donor kernel in B3 (unsplit, halving degree two), paired with #377's nine-stage E8 complex component; conditional kappa = 9.9824315…

e8-far-nine-complex: #377's nine-stage E8 complex component with our #378 re-timed E8 unit (same operator), paired with our #382 B3 bit word; conditional kappa = 9.98634656132003e-4 (complex-bound;…

e8-clean-padding: bank padding fused into the final climbs of three new free zero-row sink helpers on #390's dirty-preconditioned E8 complex program; conditional kappa = 1.000385913854264e-3 (compl…

e8-clean-r781: our #394 bank-padding fusion (free zero-row sinks 301/324/387) on Dugongue's #398 signed target-prefix R781 E8 complex program, compiled with #390's dirty-preconditioned bracket; con…

e8-response-resynth: exact value-level re-synthesis of targets 177 and 220 on Dugongue's #401 response-subspace R781 E8 complex program (full raw operator identical); conditional kappa = 1.01335793…

Include PR318's unchanged three-file joint-dual source-pin repair for repository CI (no mathematics changed)

e8-repivot-fusion: response-gauge re-pivoting, padding fusion of sinks 301/387 and target re-synthesis of 177/220 on Dugongue's #404 shared-donor R781 E8 complex program; conditional kappa = 1.0165…

e8-sequential-enlarged: checker-clean composition of #409's sequential entrance gauges (two groups re-pivoted to fix gxcore E5), #410's eight entrance enlargements, our #407 re-pivoting, padding fu…

e8-promoted-closure: checker-clean composition of #414's grouped promotion [48] and #416's frame-closure promotions (892, 669, 644; 821's relation re-solved on our word and re-pivoted on 947 to sta…