Research: bound arbitrary helper terminal frames of the selected k8 word

research/selected-k8-unrestricted-ends/EXPECTED.json

@@ -0,0 +1,184 @@
+{
+  "a_bracket": [
+    "845099025151/500000000000000",
+    "1690198050303/1000000000000000"
+  ],
+  "all_assignment_idle_mass_interval": [
+    1440,
+    1692
+  ],
+  "all_assignment_local_mass_interval": [
+    5540,
+    5792
+  ],
+  "attaining_changed_ends": [
+    574,
+    575,
+    580,
+    581
+  ],
+  "bills": {
+    "1690198050303/1000000000000000": [
+      "164831441711219711256809062548369701947902785692060484013862439/57896044618658097711785492504343953926634992332820282019728792003956564819968",
+      "329662883422439422513618125096739403895805571384120968027724915/115792089237316195423570985008687907853269984665640564039457584007913129639936"
+    ],
+    "35491136290869/20000000000000000": [
+      "28366093828269560521727384830766206250226840555885609297121176345453932379/115792089237316195423570985008687907853269984665640564039457584007913129639936",
+      "221610108033355941575995193990360986329897191842856322633759190198858847/904625697166532776746648320380374280103671755200316906558262375061821325312"
+    ],
+    "845099025151/500000000000000": [
+      "-817584525779388915848662239543911811389968483603640981013099/14474011154664524427946373126085988481658748083205070504932198000989141204992",
+      "-6540676206235111326789297916351294491119747868829127848104755/115792089237316195423570985008687907853269984665640564039457584007913129639936"
+    ]
+  },
+  "ceiling_ratio_upper": "563399350101/563351369696",
+  "component_sizes": {
+    "1": 117,
+    "21": 5,
+    "2134": 1,
+    "23": 1,
+    "9": 2,
+    "90": 3
+  },
+  "domain_sizes": {
+    "16": 28,
+    "2": 1192,
+    "374": 80,
+    "5": 1365,
+    "67": 2
+  },
+  "duality": {
+    "columns": 396241,
+    "components": 129,
+    "distinct_reduced_vectors": 1463,
+    "positive": 296044,
+    "rows": 103563,
+    "zero": 100197
+  },
+  "duals_sha256": "afdf3858f6862bcb386c4e5c0f21fde8f05aed038d90f87025fe6915fa66a653",
+  "endpoint_intervals": [
+    {
+      "choices": 374,
+      "count": 32,
+      "lower_dimension": 4,
+      "upper_dimension": 9
+    },
+    {
+      "choices": 5,
+      "count": 46,
+      "lower_dimension": 7,
+      "upper_dimension": 9
+    }
+  ],
+  "forced_ends": [],
+  "free_ends": [
+    273,
+    275,
+    277,
+    282,
+    289,
+    291,
+    293,
+    298,
+    305,
+    307,
+    309,
+    311,
+    314,
+    321,
+    323,
+    325,
+    327,
+    330,
+    337,
+    339,
+    341,
+    346,
+    353,
+    355,
+    357,
+    362,
+    369,
+    371,
+    373,
+    378,
+    385,
+    387,
+    389,
+    394,
+    448,
+    449,
+    450,
+    451,
+    452,
+    453,
+    454,
+    455,
+    484,
+    485,
+    498,
+    500,
+    501,
+    508,
+    509,
+    510,
+    512,
+    513,
+    531,
+    532,
+    533,
+    543,
+    554,
+    555,
+    556,
+    557,
+    566,
+    567,
+    572,
+    573,
+    574,
+    575,
+    580,
+    581,
+    582,
+    583,
+    584,
+    585,
+    586,
+    587,
+    588,
+    589,
+    590,
+    591
+  ],
+  "free_gates": 2589,
+  "gates": 5413,
+  "graph": {
+    "cone_edges": 106,
+    "cone_helpers": 78,
+    "cones_sha256": "5546e8ad5d979e0eaf618a4adbb333a7ec6b3528ef71bbf659b05ba2e5fc0004",
+    "domains_sha256": "d4af047a50406102f73bb1e4826f417c75844e4d0155194bbd15899693341c06",
+    "edge_count": 10328,
+    "edges_sha256": "4f30b8c3c22b7e70bf48ce5398212512081acb7fed4a61ad67873bc032218e62",
+    "node_count": 6941,
+    "nodes_sha256": "4eb47e21725d21f8c23bc5491a576fd817c31c2403fc7bc3ff626ced5750b881"
+  },
+  "idle_mass": 1650,
+  "kappa_cap": "1690198050303/1001690198050303",
+  "local_mass": 5582,
+  "primal_sha256": "b97620f4bb69848445abd3053994fca2a40ab2bf248b4505c67e098700d5966c",
+  "profile": {
+    "1": 2400,
+    "2": 446,
+    "3": 416,
+    "4": 142,
+    "5": 82,
+    "8": 8
+  },
+  "restricted_ends": 78,
+  "schema": "selected-k8-unrestricted-end-bound-v1",
+  "scope": "fixed scalar word and entrances; arbitrary terminal subspaces of formerly restricted helpers and all gate frames; full idle charge; no global supplier or new kappa",
+  "status": "PASS_SELECTED_K8_UNRESTRICTED_END_BOUND",
+  "target_a": "35491136290869/20000000000000000",
+  "word_sha256": "c2b294300760e1fd6eeab8c22c4d13e4633dca40e52cac8da0d68163a76e3ca8"
+}

research/selected-k8-unrestricted-ends/INPUTS.json

@@ -0,0 +1,14 @@
+{
+  "research/r480-owner-optimum/inputs/local/FULL-WORD.json.gz": "WORD.json.gz",
+  "research/gauge44-slots/construction/slots/SLOT-PINS-k8.json": "SLOT-PINS.json",
+  "research/complex-x4-frame-bound/model.py": "frame_model.py",
+  "research/complex-x4-frame-bound/gen_duals.py": "gen_duals.py",
+  "research/complex-x4-frame-bound/README.md": "FRAME-METHOD.md",
+  "research/complex-local-word-ceiling/ceiling.py": "ceiling.py",
+  "research/complex-local-word-ceiling/README.md": "CEILING.md",
+  "research/gauge44-slots/independent/audit_local.py": "audit_local.py",
+  "research/k8-rank7-composition/data/END-RECIPE.json": "END-RECIPE.json",
+  "research/k8-rank7-composition/construct.py": "construct.py",
+  "research/k8-rank7-composition/README.md": "END-WITNESS.md",
+  "research/selected1042-lineage-resolution98/README.md": "WORD-LINEAGE.md"
+}

research/selected-k8-unrestricted-ends/NOTICE.md

@@ -0,0 +1,38 @@
+# Attribution and retained sources
+
+New work is by Gareth Davidson (@bitplane), with substantial OpenAI Codex
+assistance in mathematics, implementation, checking and writing. Apache-2.0.
+This is not independent human peer review or a formal multiplication proof.
+
+The new unrestricted-terminal model, exact checker, separate bitset/covector
+checker, discovery code and controls adapt Gareth Davidson's PR1995,
+mathematical commit 73e323159d65c974debb180189694fd59144da5f, published head
+d47b4b656732f840c9b3252cad5a4efa20924b71. That predecessor permits only nested
+endpoint contractions. It in turn adapts PR1671's fixed-end selected-word
+certificate, mathematical commit 11fbeaf34609147c124323c2f5e74fc450dad931.
+
+Aaron Wang / navinor supplies the retained complex-x4-frame-bound model and
+symbolic LP-dual nomination method, following Chafik Boukhalfa/chafreaky PR557,
+ntedvs PR776 and Rohan Guliani PR815. The retained model and generator are
+unchanged source inputs; the new model extends terminal domains and supplies
+an efficient complete quotient enumerator. Discovery is not certification.
+
+Alexander Schwartzman PR1030 and Cinna Davis PR1090 supply the earlier
+rank-seven-end construction. The unchanged k8 recipe is a positive fixture.
+Arham Tahir PR1583 supplies the fixed-gate-frame endpoint rigidity audit.
+Ross Richardson's selected-k8-uniform-frame-audit extends PR1671 with fixed
+ends over an exponent interval. Neither is an unrestricted-terminal bound.
+Marius-Paul Dumitrean PR1186 supplies per-instance exact frame tooling and
+changed-word searches, and Cinna Davis PR1996 the coordinate-plane rail census.
+Those related results are credited, not used as certificate inputs.
+
+Douglas Colkitt PR1240 supplies the exact full-profile ceiling implementation,
+and Sagar Thakrar PR1012 the coverage-law accounting. The selected R480 k8 word
+retains the Jeremy Kothe, Rohan Arun, Hao Yan, icekylinx and earlier construction
+lineage, with woklerx's retained word reconciliation. Source metadata binds
+all consumed predecessor bytes and preserves the original notices.
+
+The new duals, complete-domain proof, receipts and any attaining assignments
+are distinct artifacts for the larger declared domain. Standard subspace
+enumeration, Gaussian counting, weak duality and exact interval arithmetic
+are not claimed as new mathematical methods.