Raise conditional staged544 κ by filling idle owner slots

research/staged544-terminal-gap-fill/.gitattributes

@@ -0,0 +1,4 @@
+native/** -text whitespace=cr-at-eol
+vendor/** -text whitespace=cr-at-eol
+inputs/** -text whitespace=cr-at-eol
+evidence/** -text whitespace=cr-at-eol

research/staged544-terminal-gap-fill/FRONTIER.json

@@ -0,0 +1,103 @@
+{
+  "canonical_main": "20ecf2891d80b5acf18d980b2164fb44ea7faa90",
+  "priority_revision": 6,
+  "final_utc": "2026-10-19 05:42 UTC",
+  "coverage": "Previous round 608 open PR bodies plus latest 100 updated all-state bodies; opening refreshed latest 100 through 3929 and checkpoint latest 100 through 3933. Bounded Discussions #1163 and #1166 reading, not complete comment pagination. Actual relevant source comparison; no exhaustive novelty claim. Final update through PR3935; higher draft PR #3934 disclosed, distinct hypotheses and unrun admission. Publication checkpoint retrieves latest 100 updated all-state bodies through PR #3938; canonical main refetched unchanged. Final pre-freeze refresh through PR #3941; actual PR #3939 README and PR #3941 README/proof compared.",
+  "records": [
+    {
+      "number": 3929,
+      "title": "Compile native-warp frame changes with exact operator and phase checks",
+      "head": "0c0e31cf12e8f4f07e8419a6d33ae85129fb5a01",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/3929"
+    },
+    {
+      "number": 3931,
+      "title": "Exclude a historical C5 caller with a common-cut23 bound",
+      "head": "ce148e5aa2bbdc6f420e8a6cf6935e37d5b54cd2",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/3931"
+    },
+    {
+      "number": 3932,
+      "title": "Research: first F0 caller six-tape admission audit",
+      "head": "12c324c576821f78070627c5eeb684d03704e20e",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/3932"
+    },
+    {
+      "number": 3933,
+      "title": "Certify maximal transported warp0 entrance and distinguish least frames from price",
+      "head": "2253023ca359782952248b1be793962a39f74165",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/3933"
+    },
+    {
+      "number": 3934,
+      "title": "Conditional κ = 0.001734846264120199151475 (+0.00176%): hosted remainders as receivers on #3251, complex passes R438 again",
+      "head": "74fb4dfae1b5b2b18ede38a6af88206650552249",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/3934"
+    },
+    {
+      "number": 3935,
+      "title": "Implement the complete physical Gaussian tensor transform",
+      "head": "688e9c45432db8b6ff9847f096bbf7e4b7693c00",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/3935"
+    },
+    {
+      "number": 3936,
+      "title": "Replay T385 through release and audit R437 complete-stream COPY",
+      "head": "e54c649865d737fe08edd4312a234cd186317db4",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/3936"
+    },
+    {
+      "number": 3937,
+      "title": "Prove commutative caller obstruction for the integer-shear target",
+      "head": "5ee1c9cee717e682db01bff4c398b87011a135a2",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/3937"
+    },
+    {
+      "number": 3938,
+      "title": "Research: no two-target UT4 word has n_b=7 with middle ranks (2,2) (n_b=7 open; no new kappa)",
+      "head": "4995b0ce91c163de821a5d117c6e5a5289c12172",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/3938"
+    },
+    {
+      "number": 3939,
+      "title": "Conditional κ = 0.001734865178472710998233 (+0.00109%): pooled R438 slack across bit replicas on #3934, complex binds again",
+      "head": "d4d6a1fbe8165785ab6d43a68619d12a371813b4",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/3939"
+    },
+    {
+      "number": 3940,
+      "title": "research: price P104 encoded-source return at a retained inverse-shear caller",
+      "head": "51ba88c007cfbcc3d9cf22dd321f5224be3a5bb1",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/3940"
+    },
+    {
+      "number": 3941,
+      "title": "Certify two neutral-first retiming domains on the pinned staged544 providers",
+      "head": "df8e436be781ae2abb8e9e779b586f10f1165e6f",
+      "state": "open",
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/3941"
+    }
+  ],
+  "canonical_main_refetched_unchanged": true,
+  "comparisons": {
+    "3939": {
+      "readme_sha256": "fe921cd5143ca8cde419b1afaa3ff09142d4790fff2bbc1c9440003933c8c3b4",
+      "scope": "Higher conditional R438 bit pooling plus PR3934 T740 complex route; new cross-replica owner hypothesis and native hosted emission unrun; does not increase this already-complex-bound T360 endpoint."
+    },
+    "3941": {
+      "scientific_head": "001ebcdb3f86a7f9d5f5897f9cf5a84e74dd1822",
+      "scope": "Two fixed-helper-exit neutral-first scalar retiming domains; does not include our terminal widths and coupled native/scalar refit."
+    }
+  }
+}

research/staged544-terminal-gap-fill/INPUTS.json

@@ -0,0 +1,50 @@
+{
+  "inputs/NEW-base.json.gz": "08e6c96fbe3dfec96cb8451b3867ef8c1a214109ecd1e5af7fcc28e0f05728d0",
+  "inputs/NEW-extra.json.gz": "d83c2ec9cecc0ad092d34ea4080b28a4fd7199579356b6d5a8fc6cd53ff93299",
+  "inputs/OLD-base.json.gz": "5ca4be99851f8878cbfe0fd6c454df926b11218f17feefa1664721cf03156699",
+  "inputs/OLD-extra.json.gz": "965268a9be73d3f62e7ef680d18f108cf064bfe1f44b82157baa61443232904e",
+  "patches/base.json": "a5d474deac7b1a41859d74ac91522e31d68999d7396650b0c92d67bba88dfe7e",
+  "patches/extra.json": "4c4baafc3c91dff6d674639e20c13a650501578f7ef226a514f588033684a861",
+  "vendor/audit_core.py": "888679ca8502cdcb100420fe5382a052529a494bf76cb332928b86e62612b951",
+  "vendor/rational_price.py": "ee38ccbc94411b2c9c7ab88b1f6d1b34debdafa896bd5f4b7214f20168f90dab",
+  "vendor/SOURCE-CREDITS.md": "d4a13d8b8ed9cdb594f00efb3d1a336e09d934423330f02a1514308a720c278b",
+  "native/common.py": "8f04e08b99a370fa82115fc46fbb3af4ab44f4facd47de07b01e1a2499a94914",
+  "native/LICENSE": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4",
+  "native/NATIVE-LINEAGE-NOTICE": "ee0c73ca35877aad0e0b6adc560a3881cb82276dba4cf2d4fc58cd19e57cc420",
+  "native/PINS.json": "f619e8e1c163078fb70c6fc3b98a498a671b8c02927b91d6cc253af2a775b6c9",
+  "native/run_native.py": "a7bfe110fe5098f6ef8bde3c43ecf15e8d1e06149abf7321a4c945383dcc2627",
+  "native/SOURCE-PROVENANCE.json": "8daf4fc7c75db99d34641152682208ce6c974f50d509960d0f4fa021f862abee",
+  "native/stage.py": "3cce27dd5a359ebc4dc70d4aab994aee52bc0a12e59db7da3f902257f876cffe",
+  "native/vendor/accelerators/SPARSE-NOTICE.md": "3da80a5155c625bff907a42a82c65bfcf92854d2c960bcea4537c19c99efd4f2",
+  "native/vendor/accelerators/SPARSE-PROOF.md": "d73e4522602404caba8e7f247005a45c8a8cd26ffd2a70d65f4f9556a391d053",
+  "native/vendor/accelerators/sparse_state.py": "e91210ecd5085cf9add872f40bb434806838da488e12152c63c86e51fb5a7a37",
+  "native/vendor/accelerators/tables.py": "2fe087ba4558bd21ca49945dbedaa4047e4170e8fd4e2280701bb2f0481811b5",
+  "native/vendor/native/new/run_native_borrow.py": "8ec7db430f4f4771c06bdcfc31736193614f6ec209d57b63d4e2b75f17fb3ac8",
+  "native/vendor/native/new/code/borrow/bw_adapters.py": "c5907050a9a7fa36d4fcba3ad4fe440d1bec2063360c095013891785ba65c3ce",
+  "native/vendor/native/new/code/borrow/bw_audit_local.py": "08d5864d9b77902fc5ab5a062a8ea843fe1e572243b8c580abb0a421b2e46d07",
+  "native/vendor/native/new/code/borrow/bw_check_recipes.py": "d600b959a0ac462dc28deb8c0d5d8f9e0c76d7f7d7b6f92a296c5ef9e0a1de19",
+  "native/vendor/native/new/code/borrow/bw_emit.py": "99b59a6fa3feda86785e4225157dcb1a6169d256cec4f5e0acc9cea7a701df76",
+  "native/vendor/native/new/code/borrow/bw_gauss.py": "0884b14d6d77cde419a3c773ad9b21d0d18de1e6e20e6b6d5add458ed32ba4cb",
+  "native/vendor/native/new/code/borrow/bw_phases.py": "9d1a620e26715f4c42fd0347ecc14ef5a4a9031867869b64e8bae4d8526a821e",
+  "native/vendor/native/new/code/borrow/bw_tamper.py": "eab4b026965b9796eee92239660e1fb1fa629f6d9db44bc27b13911a018a6ee9",
+  "native/vendor/native/new/code/borrow/bw_transport.py": "9818e08b819310b40f1441b89be8c4369584a5b3fa5dfe9b86b1df9a7f5d6a76",
+  "native/vendor/native/new/code/borrow/NOTICE-PR2226.md": "6b6730303818f6edc2a253eb4d05471eee58f28b5815fb250c32ae376f774c8a",
+  "native/vendor/native/new/code/borrow/vendor/PR2226-NOTICE.md": "f1d45d886926915531e3a59968abf0a4c974d7038f869848e71bd3a21b834422",
+  "native/vendor/native/new/code/borrow/vendor/pr2226_operators.py": "b37b67a04681c776dafcdc6c9af0e8a2dbfa9893b02e0fa2d77ccc9182a87988",
+  "native/vendor/native/new/code/borrow/vendor/pr2226_replay.py": "0f9a47cdaeed0e22938c63251c232d6f23aeee2b62b0b1223cd4473c5428bcf7",
+  "native/vendor/native/new/code/borrow/vendor/clifford/clifford_exact.py": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962",
+  "owner/inputs/DISPATCH.json": "5d6fa711d704a1b498e5fe066ea821c4fa0217463702e82a7ce5be9da4023e8a",
+  "owner/inputs/old-FILL.json.gz": "50e4635123c0551a1a3c8f4cab870bcccc3e579c24447abe9d81336fde91f883",
+  "owner/inputs/old-NATIVE-base.json.gz": "bfe0cc0badac6c6d18461ceea0b299162c0f280c05f81b63f11fcc06cf9180e6",
+  "owner/inputs/old-NATIVE-extra.json.gz": "c5eec94a64cecfd6b83de05619628ad4868e889d62a55b49973f09705cc60448",
+  "owner/inputs/old-PROFILE.json": "9686df0d8e710c2e94aef3887f4bf130a05b64215faeae702cccb59e95a469d5",
+  "owner/inputs/old-WORD-base.json.gz": "5ca4be99851f8878cbfe0fd6c454df926b11218f17feefa1664721cf03156699",
+  "owner/inputs/old-WORD-extra.json.gz": "965268a9be73d3f62e7ef680d18f108cf064bfe1f44b82157baa61443232904e",
+  "owner/inputs/ORDER.json": "743e74b538432e2b2045e754b0de9c18f36fc5039fdb8eb542177a898ec78e44",
+  "owner/inputs/PLAN.json.gz": "d566cfb87b71639d4138e1f89b543e2dd6a7772070226a2a14c799a6835bf21e",
+  "owner/inputs/TEMPLATE.json.gz": "21297b20f1f2dc76eb9dd8124416068c3cb096bab9df17fa4da19bc68dfe082e",
+  "owner/inputs/WORD-base.json.gz": "08e6c96fbe3dfec96cb8451b3867ef8c1a214109ecd1e5af7fcc28e0f05728d0",
+  "owner/inputs/WORD-extra.json.gz": "d83c2ec9cecc0ad092d34ea4080b28a4fd7199579356b6d5a8fc6cd53ff93299",
+  "evidence/NATIVE-base.json": "98a7325d56c466673e60e17cb8d426b4e42f2adaf06786a23383eb265cfd0dd1",
+  "evidence/NATIVE-extra.json": "3a47df8de3b4d82c12c7c2030b256830ed26642df23e2bc31f9d4da41ab0f7ff"
+}