Skip to content

Independent bit construction: R439 frame509 at 20 ADDs with original H1-H5 (no new kappa) #1221

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Mister-Meeseeks merged 1 commit into from
Oct 14, 2026
Merged

Independent bit construction: R439 frame509 at 20 ADDs with original H1-H5 (no new kappa) #1221

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
165 changes: 165 additions & 0 deletions research/r439-b509-boolean-seed05/CANDIDATE.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,165 @@
{
"assignment_seed": 5,
"base_commit": "1b59b624d21924f8e3537cdc1ac52d3be6eda2fe",
"format": "r439-b509-boolean/1",
"frame": 509,
"gates": [
[
509,
50,
[
67
]
],
[
509,
87,
[
77
]
],
[
509,
87,
[
22
]
],
[
509,
87,
[
92
]
],
[
509,
87,
[
38
]
],
[
509,
87,
[
50
]
],
[
509,
87,
[
60
]
],
[
509,
468,
[
38
]
],
[
509,
38,
[
33
]
],
[
509,
77,
[
33
]
],
[
509,
33,
[
87
]
],
[
509,
17,
[
33
]
],
[
509,
33,
[
22
]
],
[
509,
67,
[
17
]
],
[
509,
50,
[
17
]
],
[
509,
92,
[
33
]
],
[
509,
60,
[
17
]
],
[
509,
468,
[
92
]
],
[
509,
77,
[
17
]
],
[
509,
38,
[
17
]
]
],
"registers": [
17,
22,
33,
38,
50,
60,
67,
77,
87,
92,
468
],
"slice": [
283,
314
]
}
57 changes: 57 additions & 0 deletions research/r439-b509-boolean-seed05/CLAIM.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,57 @@
{
"track": "Bit supplier",
"assignment_seed": 5,
"base_commit": "1b59b624d21924f8e3537cdc1ac52d3be6eda2fe",
"object": "PR589 tuned R439 phase-B frame 509",
"candidates_considered": [
"Whole-frame Boolean CNOT synthesis at B frame 509, allowing cancellation outside nonnegative-integer factorization",
"Restored helper shear in D; overlapping PR967, PR1062 and post-helper work",
"Changed helper entrance; overlapping PR1179 sparse kernel and PR1128 boundary work"
],
"chosen_method": "Bounded XOR row/column elimination and local exact identities, seed 5; fixed 11-wire block, no auxiliary, same frame; rebuild literal cleanup",
"changed_hypothesis": "Require same F2 block operator instead of same positive integer transfer; verify complete positive envelopes separately",
"budget": "Same paid frame path, COPY and recursive profile; no claim to improve nonbinding bit endpoint or kappa. A block saving s pays 2s including inverse cleanup. No added helpers/source access/adapters.",
"stopping_rule": "At most 10000 seeded elimination trajectories; stop earlier at declared time cap; report completed coverage and never claim optimum. One evidence-driven pivot permitted.",
"expected_deliverable": "Pinned candidate or scoped negative evidence, independent finite checker and failure controls",
"finish_utc": "2026-10-13T20:55:43Z",
"orientation_completed_utc": "2026-10-13T19:59:04.703467+00:00",
"coordination": "No pinned sprint issue at entry; local claim under user instructions. Read discussions 1163/1166/1167 and open PRs through 1196.",
"outcome": {
"status": "independent finite bit-circuit construction",
"selected_baseline_ADDs": 24305,
"prior973_ADDs": 24285,
"candidate_ADDs": 24283,
"new_kappa": false,
"method": "One exact four-gate to three-gate Boolean identity on the PR973 frame-509 program; all four registers may enter dirty.",
"selected_record_unchanged": true
},
"exploration": {
"greedy_elimination": {
"seed": 5,
"completed_trajectories": 10000,
"distinct_programs": 9472,
"best_ADDs": 23
},
"pivot_elimination": {
"seed": 5,
"completed_trajectories": 10000,
"best_ADDs": 23
},
"budget_adjustment": "The initial 10000-trajectory cap was extended once by 10000 pivot-elimination trials after the greedy method failed. Both stopped at the fixed count. One accidental duplicate replay repeated the first domain and added no coverage.",
"development_correction": "An initial greedy prototype allowed an already processed pivot as donor; its exact product self-check rejected the first trial. Restricting donors to remaining pivots fixed it before the reported complete runs.",
"final_identity": "No search optimum claimed; literal PR973 window [7:11] reduced algebraically."
},
"coordination_result": "DONE locally: independently verified finite construction; result_link identifies the review packet. No pinned sprint issue existed. The user handoff will include the submitted PR URL.",
"overlap_refresh": {
"through_pr": 1213,
"open_pr_count": 822,
"main_unchanged": true,
"PR1208_head": "24c45725f7b9ffca4529b46661acf343ce93cee3",
"same_local_mechanism": true,
"additional_scope": "Original PR589/PR973 words with all H1-H5 and K_equals_D true; isolated 20-ADD witness with independently executed columns, truth tables, source pins and native admission. No novel identity, priority, or ADD-count record claimed."
},
"assignment_randomness": "secrets.randbelow(100), operating-system CSPRNG",
"seed_drawn_at_utc": "2026-10-13T19:55:42.904624+00:00",
"result_link": "https://github.com/bbMisk/integer-mult-bounds/blob/research/r439-b509-boolean-seed05/research/r439-b509-boolean-seed05/README.md",
"result_checked_at_utc": "2026-10-13T20:19:53.465739+00:00"
}
Loading
Loading