Best gx/gxcore-clean κ = 1.019752143318808·10⁻³: our #424 layers, 14 gate-frame retimings and a target-172 prefix on #426's R779 word (+9.85·10⁻⁷ over #426) by chafreaky · Pull Request #432 · 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

e8-enlarged-closure: checker-clean composition on our #419 word of eumemic's #420 closure gauge 672 and #421 rank-two gauges 435/367, thirteen of #423's entrance enlargements plus our 838 enlargeme…

chafreaky

committed

92c6ea7

e8-r779-retimed-closure: checker-clean composition of our #424 layers on ai-nanachi's #426 R779 gauged word (11 promotions, 14 enlargements, sinks 301/387, 177/220 re-synthesis with y221 restore, t…

chafreaky

committed

642b702

Navigation Menu

Repository navigation

Best gx/gxcore-clean κ = 1.019752143318808·10⁻³: our #424 layers, 14 gate-frame retimings and a target-172 prefix on #426's R779 word (+9.85·10⁻⁷ over #426) - #432

Best gx/gxcore-clean κ = 1.019752143318808·10⁻³: our #424 layers, 14 gate-frame retimings and a target-172 prefix on #426's R779 word (+9.85·10⁻⁷ over #426)#432
chafreaky wants to merge 11 commits into
CrocSwap:mainfrom
chafreaky:research/e8-r779-retimed-closure

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…

e8-enlarged-closure: checker-clean composition on our #419 word of eumemic's #420 closure gauge 672 and #421 rank-two gauges 435/367, thirteen of #423's entrance enlargements plus our 838 enlargeme…

e8-r779-retimed-closure: checker-clean composition of our #424 layers on ai-nanachi's #426 R779 gauged word (11 promotions, 14 enlargements, sinks 301/387, 177/220 re-synthesis with y221 restore, t…