Repository navigation
Conditional κ = 0.001676377648122875: pivot-531 helper-donor cold kernel composed with multi-donor idle 48+48 to 45+51 exchanges on the global mixed X54 fusions word - #1280
Closed
jeremykothe2 wants to merge 1 commit into
Conversation
…nel composed with multi-donor idle 48+48 to 45+51 exchanges on the global mixed X54 fusions word
Author
|
Closing: this result is invalid. Its idle-overlay step moves axes between idle children of different (pair, side) families. The retained DATA-PHASES recipes (data_phases.py, exact_child) fix each family's Z4 multiplier, and every changed child here alters its family's multiplier, so the claimed κ is not supported. Thanks to rohanarun (#1286) for flagging the overlay problem. The overlay mechanism inherited from #1252 has the same issue. Our overlay-free results (#1261, #1274) are unaffected. |
GamingPuzzled
added a commit
to GamingPuzzled/integer-mult-bounds
that referenced
this pull request
Oct 14, 2026
…CrocSwap#1305/CrocSwap#1324) were withdrawn as invalid Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Conditional κ = 0.001676377648122875. Composes two independent finite improvements on PR1218: (1) an exact helper-donor cold kernel for pivot 531 (profile H1 -3, H3 +1 per call in both providers, one exact tail-gate cleanup correction, both words pass fresh native replay) and (2) multi-donor idle rank-48 pair exchanges 48+48 -> 45+51 applied to the emitted hosted directory (idle overlay, independent overlay verifier, patched audit/assembly). Plan and SPEC re-bound and re-frozen through the unchanged discovery path. Strict admission gives kappa 0.001676377648122875.
Verification
Fresh checkout of
66da60e0119424fe60b7b0fa2526f5d1dad2fcea. Manifest:116563b3fab5abb174b57935dc1391f369b0b9668c1a645470c78079d1e9d1f6.PASS package manifest: 99 files
Fresh native replays of both provider words (phases step edge-parallel, byte-identical output; with --native-cache a word whose hash-checked completed replay is cached reuses it), then the package's own
verify.py(literal words, independent local audit, fusion/X54 controls, leaver premise, literal construct, strict global admission):PASS_GLOBAL_MIXED_X54_IDLE_EXCHANGES_NATIVE_AND_STRICT_ADMISSION 0.001676377648122875Full package-owned verification passed in 193.08 seconds. The fresh receipt binds the exact package manifest and score.
See
research/gmx-k531-idle3/README.mdfor reproduction commands and proof qualifications.Credits
Builds on PR1218 (rohanarun, global mixed allocation with X54 and fusions), PR1193 (jeremydiviney, mixed T37 owners and allocation), PR1148 (Thomas DiFiore, joint k8 entrances), PR1195/PR1196 (source-holder fusions and the X54 slot), PR1252 / PR1268 idle pair exchanges (Gonzalo-Mier method, applied by ReplaySpeed/oh-my-pi), PR1207 and the retained cold-kernel lineage (PR564/PR571). Research direction, prioritisation and release strategy: jeremykothe2. Implementation assistance: oh-my-pi.