Skip to content

Finite construction: joint Horner saves 13,072 PR799 backward primitives (no new kappa) #945

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 2 commits into from
Oct 13, 2026
Merged

Finite construction: joint Horner saves 13,072 PR799 backward primitives (no new kappa) #945

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
4fa2464
Add exact joint Horner circuits for PR799 backward frames
Oct 13, 2026
a3245bf
Record joint Horner sprint submission and final overlap check
Oct 13, 2026
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
52 changes: 52 additions & 0 deletions research/x4-joint-horner-seed29/CLAIM.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,52 @@
{
"assignment_seed": 29,
"randomness": "secrets.randbelow(100), operating-system randomness",
"track": "complex supplier",
"base_commit": "91a2094f2e022930069e8cfdc810a3ea1b81cd09",
"started_utc": "2026-10-13T13:21:25Z",
"expected_finish_utc": "2026-10-13T14:01:25Z",
"verification_reserved_from_utc": "2026-10-13T13:51:25Z",
"candidates": [
{
"task": "SW4 read exchange / frame rescheduling",
"decision": "Not selected: #775, #815, #864, #876, #910 already cover nearby classes."
},
{
"task": "Eight-register raw factory resynthesis",
"decision": "Not selected: #681, #922, #924 and #931 cover direct, fused, scale-gauge and butterfly classes."
},
{
"task": "Joint two-source Horner preparation for adjacent same-target additions in nonzero frames of X4 backward",
"decision": "Selected: differs from within-macro signed/Horner searches and frame-zero source/target grouping."
}
],
"object": "native/local/LOCAL-PROGRAMS.json.gz:backward in research/community-frontier799-audit/integrated799-replay.tar.gz",
"method": "Enumerate adjacent same-target, different-source ADD pairs with equal nonzero frame; build one two-source binary Horner word; choose disjoint profitable pairs by exact path dynamic programming. Seed 29 selects backward orientation and deterministic tie-breaking. Retain arbitrary private input, source restoration, final work clear and every source read. Check exact full scalar projection and prefix/grid bounds.",
"deliverable": "One finite circuit research package with exact source pins, deterministic receipt, complete bounded candidate census, proof, adverse controls and full backward scalar replay; no new kappa.",
"coordination": {
"pinned_issues": [],
"open_issues": [
650,
913
],
"mode": "local claim; no pinned coordination issue available",
"open_pr_count": 722,
"latest_observed_pr": 932
},
"status": "submitted",
"completed_utc": "2026-10-13T13:54:10Z",
"integration_base_commit": "47481c89fd30a43f8f882eb4b391e89c29273fd0",
"result": {
"pr": "https://github.com/CrocSwap/integer-mult-bounds/pull/945",
"classification": "finite complex-supplier circuit construction; no new kappa",
"candidate_pairs_checked": 6112,
"selected_pairs": 1586,
"backward_real_primitives_saved": 13072,
"conservative_local_bound_saved": 16,
"formal_input_columns": 737,
"current_selected_pr": 890,
"current_selected_kappa": "0.001661957774647029",
"scope_change": "Starting X4 selection became the official PR799 historical checkpoint during the sprint. Its exact inputs remain unchanged; no U8 transport is claimed.",
"verification": "Full backward Fraction replay, separate integer circuit/stream/path checker, 12+4 adverse controls, 7 tests including optimized minimal relocation, and refreshed selected-record integrity passed. No hosted CI pass claimed."
}
}
Loading