Skip to content

Construction: complete complex factory lowering from 44 to 38 paid primitives #1064

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
+11,492 −0
Merged

Construction: complete complex factory lowering from 44 to 38 paid primitives #1064

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
269 changes: 269 additions & 0 deletions research/complex-factory-fusion/CIRCUIT.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,269 @@
{
"format": "exact-unit-add-factory-v1",
"levels": [
1,
0,
0,
1,
1,
0,
0,
1,
1,
1,
1,
1,
0,
0,
0,
1,
0,
0,
0,
1,
0,
1,
0,
1,
1,
1
],
"dual_flow": [
1,
-1,
-1,
0,
-1,
0,
-1,
1,
1,
0,
-1,
0,
-1,
0,
1,
-1,
0,
0,
0,
0,
0,
0,
0,
-1,
0,
0,
0,
1,
0,
0,
0,
0,
1,
0,
0,
1,
1,
0,
0,
-1,
0,
0,
0,
0,
0,
0,
1,
-1,
1,
0,
1,
0,
1,
1,
0,
0,
-1,
0,
-1,
0
],
"primitives": [
[
"double",
5
],
[
"subtract",
5,
0
],
[
"subtract",
3,
5
],
[
"subtract",
2,
0
],
[
"double",
7
],
[
"add",
5,
7
],
[
"double",
4
],
[
"subtract",
4,
7
],
[
"add",
2,
7
],
[
"subtract",
1,
7
],
[
"double",
6
],
[
"add",
6,
7
],
[
"subtract",
7,
6
],
[
"add",
6,
7
],
[
"subtract",
6,
5
],
[
"subtract",
5,
2
],
[
"add",
0,
2
],
[
"add",
2,
4
],
[
"subtract",
1,
4
],
[
"add",
4,
1
],
[
"subtract",
2,
7
],
[
"add",
0,
1
],
[
"add",
1,
6
],
[
"halve",
5
],
[
"add",
6,
5
],
[
"subtract",
3,
7
],
[
"add",
7,
5
],
[
"subtract",
3,
0
],
[
"double",
0
],
[
"add",
0,
3
],
[
"double",
1
],
[
"subtract",
1,
0
],
[
"double",
2
],
[
"add",
2,
1
],
[
"halve",
4
],
[
"negate",
5
],
[
"negate",
7
]
]
}
25 changes: 25 additions & 0 deletions research/complex-factory-fusion/CLAIM.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
{
"lane": "B complex_factory",
"base": "8bddbee377e2f3ce1f1247196c4b290d55767d20",
"created_at": "2026-10-13T16:11:30.981941+00:00",
"seed": null,
"candidates": [
"Four-operation exact contractions beyond PR922 triple neighborhood",
"Source-scale excursion lowering with same-frame consumers and exact source restoration",
"Transport combined PR922/924 into complete raw factory hosting"
],
"chosen": "Exact source-scale excursion lowering for the fixed PR924 eight-wire map, with complete arbitrary-input restoration and paid whole-word/hosted cost",
"method": "Preserve fixed local map and physical frame/recursive profile; compare PR696 and clean-work lowerings; emit and replay exact primitives. No owner, decoder or COPY changes.",
"expected_finish": "2026-10-13T18:35:00Z",
"result": "38 primitives per real component including work clearing, versus 44 for the combined persistent-work and small-integer comparator; 24192 additional primitives saved across the fixed 72-call host.",
"search_domain": "One fixed 26-ADD topology. Twenty-six unrestricted real level variables and sixty absolute-distance variables; the integer witness and integer dual certify the exact value nine for all integer levels.",
"nomination": "One deterministic SciPy HiGHS linear program, one worker. No random seed. Solver output was converted to integer data and independently checked.",
"stopping_rule": "Stop after one integer witness meets the exact dual lower bound, then run the complete source, frame, native, primitive and hosted checks.",
"not_claimed": [
"global circuit optimality",
"new kappa",
"selected-provider transport",
"runtime improvement"
],
"comparison_census": "39424 one-scale magnitude placements in each of four orientations; source-version coefficient cache, repeated unit adds, and source excursions restored at each macro. Minimum 44 in this class; no arbitrary-circuit floor."
}
Loading
Loading