Repository navigation
Conditional κ = 0.001676021619355108: #1252's idle pair exchanges on #1218's global mixed X54 + fusions construction - #1268
Closed
jeremykothe2 wants to merge 1 commit into
Closed
jeremykothe2 wants to merge 1 commit into
jeremykothe2 wants to merge 1 commit into
Conversation
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.001676021619355108. Applies Gonzalo-Mier's idle pair exchange from #1252 (completely idle rank-48 child pairs 48+48 → 45+51, same axis union, so the exact phase polynomial, owners and dispatch are unchanged; halving guard 73² > 2·51²) to #1218's construction. 4,781 disjoint pairs: idle H48 = 11374 becomes H45 = 4781, H48 = 1812, H51 = 4781. Local words, owners and dispatch are unchanged; the overlay-aware controller audit, invoice, strict assembly and admission/bit controls are rerun. +2.12×10⁻⁷ over #1218 (0.001675809683500501).
Verification
Fresh checkout of
bfc7806e5aee389b5bea1ee1f559684f031db702. Manifest:aa0936a88a00f0eda14331177195d571fe14d7c86d519a5f8c02915ae912c8ba.PASS package manifest: 98 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.001676021619355108Full package-owned verification passed in 207.5 seconds. The fresh receipt binds the exact package manifest and score.
See
research/SET-ME/README.mdfor reproduction commands and proof qualifications.Credits
Mechanism: #1252 (Gonzalo-Mier), idle pair exchanges and its audit/assembler patches. Construction: #1218 (rohanarun) and #1193 (jeremydiviney), global mixed allocation with X54 and source-holder fusions, on #1148 (tomdif) joint entrances, #1195 fusions and #987/#1225 X54; packing-ceiling analysis #1240/#1264 (Mister-Meeseeks). Further inherited sources are in the package notices. Research direction, prioritisation and release strategy: jeremykothe2. Implementation assistance: oh-my-pi.
Note: the package directory is named
research/SET-MEin this commit due to a packaging slip; a follow-up will rename it without changing any verified content.