Research consolidation: reconcile PR279 target-prefix sources and replay

docs/research/pr-ledger.json

@@ -6719,10 +6719,11 @@
         "research/five-stage-gen4-banks"
       ],
       "github_state": "OPEN",
-      "unresolved_question": "Whole-current-PR incorporation is not established: 12 changed paths lack byte-identical coverage in main or its checked PR181 archive. Distinguish later equivalent edits, unique content and historical implementations before closure.",
+      "unresolved_question": "A contributor companion reconstructs the exact later target-prefix head from the historical package plus all 12 previously uncovered files and supplies scoped replay evidence. Maintainer acceptance and disposition of that later head remain pending; the earlier integrated checkpoint and its inherited theorem obligations are unchanged.",
       "closure": null,
       "reconciliation_evidence": [
-        "research/pr-reconciliation-20261012/content-comparison.json"
+        "research/pr-reconciliation-20261012/content-comparison.json",
+        "research/pr279-target-prefix-reconciliation/RESULTS.json"
       ],
       "current_head_observed_in": "research/pr-reconciliation-20261012/ending-snapshot.json"
     },

docs/research/pr-ledger.md

@@ -237,7 +237,7 @@ Each evidence link leads to the original scoped assessment. The JSON records exa
 | [#275](https://github.com/CrocSwap/integer-mult-bounds/pull/275) | lydakis | unreviewed | No exact-head review established; inspect contribution and dependencies. |
 | [#277](https://github.com/CrocSwap/integer-mult-bounds/pull/277) | hcg890 | unreviewed | No exact-head review established; inspect contribution and dependencies. |
 | [#278](https://github.com/CrocSwap/integer-mult-bounds/pull/278) | hcg890 | unreviewed | No exact-head review established; inspect contribution and dependencies. |
-| [#279](https://github.com/CrocSwap/integer-mult-bounds/pull/279) | rohanarun | changed since review | [record 1](../../docs/research/community-pr279-integration.json) · [record 2](../../research/pr-reconciliation-20261012/content-comparison.json) |
+| [#279](https://github.com/CrocSwap/integer-mult-bounds/pull/279) | rohanarun | changed since review | [record 1](../../docs/research/community-pr279-integration.json) · [record 2](../../research/pr-reconciliation-20261012/content-comparison.json) · [later-head source and contributor replay](../../research/pr279-target-prefix-reconciliation/README.md); maintainer disposition pending |
 | [#280](https://github.com/CrocSwap/integer-mult-bounds/pull/280) | utcorvusvolat-dotcom | unreviewed | No exact-head review established; inspect contribution and dependencies. |
 | [#281](https://github.com/CrocSwap/integer-mult-bounds/pull/281) | rohanarun | unreviewed | No exact-head review established; inspect contribution and dependencies. |
 | [#282](https://github.com/CrocSwap/integer-mult-bounds/pull/282) | chafreaky | unreviewed | No exact-head review established; inspect contribution and dependencies. |

research/pr279-target-prefix-reconciliation/CLAIM.md

@@ -0,0 +1,25 @@
+# Sprint claim: PR279 target-prefix reconciliation
+
+- Track: research consolidation; OS CSPRNG seed 95 (raw uint32 44938895,
+  rejection threshold 4294967200), drawn 2026-10-13 05:54:31 UTC.
+- Exact main base: 66849e1475c930fd7732b1a0067ffee7e1e95f60.
+- Candidates: restore PR236 source package (already claimed by PR746);
+  reconcile PR210's later F2 movement fusion; reconcile PR279's later
+  target-prefix update. Seed 95 modulo 2 selects the second unclaimed task.
+- Scope: explain and check the 12-file difference between reviewed PR279 head
+  4d8c31eec7ae618645cb058101cb4e72a97268d3 and current head
+  913ccc48a0bc1173709ea92280b96252256b7754. Resolve the vague missing-content
+  statement with exact source coverage and a scoped fresh replay of the
+  target-prefix update; do not change the selected frontier or acceptance status.
+- Method: exact Git/source hashes, compare immutable source bytes, independently
+  inspect target-prefix algebra and frame/accounting changes, run the affected
+  pipeline with negative controls where feasible. Distinguish missing source
+  coverage from failed mathematics or a complete theorem proof.
+- Deliverable: one attributed research consolidation package and focused PR,
+  a deterministic verification command, exact evidence and unresolved obligations.
+- Expected finish: 2026-10-13 06:44 UTC (October 12, 11:44 p.m. America/Los_Angeles).
+  Reserve at least the final 12.5 minutes for verification and handoff.
+- Coordination: GitHub reports no pinned issues. Open-PR metadata inspected,
+  refreshed through PR803 at 05:58 UTC. No matching PR279 reconciliation found.
+  Existing PR281/283/287/289/291 build later mechanisms, not this reconciliation.
+- Attribution: prepared for mihir-s-05 with substantial OpenAI Codex assistance.

research/pr279-target-prefix-reconciliation/EVIDENCE.json

@@ -0,0 +1,54 @@
+{
+  "schema": "pr279-target-prefix-replay-evidence/1",
+  "base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60",
+  "candidate_head": "913ccc48a0bc1173709ea92280b96252256b7754",
+  "recorded_at_utc": "2026-10-13T06:24:12.788109+00:00",
+  "environment": {
+    "python": "3.12.0 (tags/v3.12.0:0fb18b0, Oct  2 2023, 13:03:39) [MSC v.1935 64 bit (AMD64)]",
+    "implementation": "CPython",
+    "platform": "Windows-11-10.0.26300-SP0",
+    "sympy": "1.14.0",
+    "byteorder": "little"
+  },
+  "executed_command": [
+    "python",
+    "-X",
+    "utf8",
+    "-B",
+    "work/pr279-candidate/verify.py",
+    "--output",
+    "work/pr279-replay"
+  ],
+  "execution_context": "Workspace containing work/integer-mult-bounds checkout and byte-identical reconstructed work/pr279-candidate source; PYTHONUTF8=1.",
+  "public_reproduction": "python -X utf8 -B research/pr279-target-prefix-reconciliation/verify.py --replay --work ../pr279-replay-new",
+  "source_manifest_sha256": "f75a7190703e33d9d575fad294b0c9de0f4dcbe195e9f67557938077cd4dfd77",
+  "archive_sha256": "a955de158f9808354783ceefa744272d4591465012b76daba7afc855f7449685",
+  "files": {
+    "banks.json": "60abe0d6e917a0e3e712f93f31a73944a4eaf9e318478b8db6af722f1aa3a8a6",
+    "bit.json": "5a829d673a55e32552e5480a1054db58e6e596f12a21f6859e12d17e272875f6",
+    "certificate.json": "9c9da36253330348a4cb4c8680b16bd9b5abd5488ab4757694bcfca6f3b5f634",
+    "complex.json": "5dc1c58c2558b16ae970258bbedd033259563d9eb1f620b7027ce91cb42e38bf",
+    "descent.json": "2e09e50adadd49821e0b57f0e7ac8b767ec0a15528c5272ab18bab0d50113fd9",
+    "finite.json": "7011b82313b60cc51f35f03f8f4ac36edb970e81eaa8a69b5ec4722fe9b187f7",
+    "geometry.json": "e0aa792388bdf5b486fce764a6aa51ea2d3fc7346c970a8294eea111eca236be",
+    "global_result.json": "83dab8520fd6930f3ed79a1e506c4492572d960c16015e128c062a79638e63bc",
+    "math.json": "1ea917495fa18051c51b259f27aa3bc92034f0140f7b33dddb26ad3feb3b70ca",
+    "parity.json": "facfa44f803190c662a097da65a823cc139a20c69590aea187eb4cd84e620d2e",
+    "primes.json": "5e149c0a73a1e2385ac426c17aa19af1a0db490a9e589af96abe1de5078aa8b6",
+    "raw.json": "3748ff743d5cd200803af2b9886ddff914e47af85f78d33a14d80cea9f43aebb",
+    "scalar.json": "b8b04b3056d6a5e8766aea18bd65df2c250535f6f51151e64d732759b07501bf",
+    "target.json": "df557ad208fbbcb72cb35e7f1b01f9756be5763a30b98acfdabb287f57bd1275",
+    "verification.json": "75ad272e25b32ebf60545e97c4ac06d9c1feefc0cb6831089a8aa1552521f5a8",
+    "virtual.json": "07948db63b729e84dc6c505a8a4fa4bc52bb04c21a7029069a7d1a3c1c6e5f25",
+    "replay.log": "01324c83fc5c0c74350aa19f2da7a7511da1ad8fa1a5159e48d587e2b49212cf"
+  },
+  "emitted_word": {
+    "encoding": "big-endian signed 32-bit integers, six per instruction",
+    "records": 723357,
+    "sha256": "f4e86f187ae025f47cae9424484419909a40f6df3a823cf5f7bd6999be126d7f"
+  },
+  "source_ci_metadata_sha256": "9840b84cb82672306c925b763e76a48b10111c3744c6543d9e2a6a328d12ad54",
+  "scope": "Fresh execution of the unchanged candidate verifier. Archive contains stage receipts and exact certificate; the complete literal output and bases are regenerated by --replay. Container hashes bind stored evidence only. The emitted-word digest canonicalizes every instruction field, not its gzip bytes. No fresh gen4 discovery regeneration, selected-frontier replay, Lean build, repository-wide make verify, or new remote CI is claimed.",
+  "results_sha256": "93b374dc5cf6298a98f6084137d31826c40488585c1662fb4f5147ba8333da83",
+  "integration_base_commit": "7ee02b7c96d85f22b38d28bd7ed49bb8c1aeb261"
+}

research/pr279-target-prefix-reconciliation/NOTICE.md

@@ -0,0 +1,24 @@
+# Attribution, license and scope
+
+This companion package is contributed under the repository's Apache-2.0
+license. Source files in `source-update.tar.gz` are exact public PR279 bytes at
+`913ccc48a0bc1173709ea92280b96252256b7754`; their original license, attribution
+and AI-assistance disclosures remain intact. Reconstruction also preserves
+the historical package's LICENSE and every nested notice without alteration.
+
+Rohan Arun (rohanarun) contributed PR279's concave-descent retiming, target-prefix
+selection and integration with Anthropic Claude assistance. His source credits
+eumemic's PR268 for the target-prefix transform, with its stream-count adaptation.
+DreamingOfClouds contributed the gen4 word and its integrated physical producers.
+The inherited lineage includes Henry Grant (hcg890), Jacob Sussman, Evan McKinney,
+Chafik Boukhalfa (chafreaky), Avi Eisenberg (ikeboy), Dugongue, sennemmi,
+icekylinx, James Chang and other contributors retained in the source notices.
+Douglas Colkitt prepared the maintainer checkpoint and reconciliation records.
+
+The source reconstruction, scoped reconciliation and new corruption controls
+were prepared for mihir-s-05 with substantial OpenAI Codex assistance. Fresh
+execution of a contributor's verifier is not a new independently implemented
+mathematical verifier, an independent human review or a full theorem proof.
+
+The submitted original notices identify predecessor authorship; no exclusive
+priority or endorsement by the named contributors is claimed.

research/pr279-target-prefix-reconciliation/OVERLAP.json

@@ -0,0 +1,73 @@
+{
+  "checked_at_utc": "2026-10-13T06:33:45.866572+00:00",
+  "open_pr_count": 637,
+  "highest_open_pr": 824,
+  "main_commit": "7ee02b7c96d85f22b38d28bd7ed49bb8c1aeb261",
+  "pr279_head": "913ccc48a0bc1173709ea92280b96252256b7754",
+  "matching_reconciliation_found": false,
+  "related_prs": [
+    {
+      "number": 806,
+      "head": "4189f39ec022b7d1f8adb6c394f80b2c31a3f9c5",
+      "title": "Audit #695: selected #626 provenance digest differences are timing and directory order, reproduced byte for byte"
+    },
+    {
+      "number": 746,
+      "head": "ee3580bd708d82b5bdfda6a2bc3f0a34710be50e",
+      "title": "Research consolidation: restore reviewed PR236 source package"
+    },
+    {
+      "number": 291,
+      "head": "5c296797e06101c74d15b0162dfe372c186ec330",
+      "title": "Conditional \u03ba = 7.44728650221677e-4: second concave-descent retiming (89 gates, constructed frames) after #290's kernel entries on the gen5 word"
+    },
+    {
+      "number": 289,
+      "head": "04e14102a36a33b9f9eef4e4c76119fd6e54b445",
+      "title": "Extreme-meet frame retiming (87 gates) on target-compressed gen5 word: kappa = 7.44127392470948e-4"
+    },
+    {
+      "number": 287,
+      "head": "9f85de891c5eec5de4e33a9185157c9e573bb315",
+      "title": "Conditional \u03ba = 7.44136146100942e-4: two concave-descent retimings (904 + 111 gates) and 220 target-prefix squares on #285's gen5 five-stage banks"
+    },
+    {
+      "number": 283,
+      "head": "19d148bd7aa199378816cf1fb9ff746eb4d815da",
+      "title": "Conditional \u03ba = 7.26111344123732762670617e-4: gen4 response kernels and endpoint-aware composition of #279/#280"
+    },
+    {
+      "number": 282,
+      "head": "841a99b8cf0609ce461b208ed6367463459dd7f5",
+      "title": "Conditional \u03ba = 7.24733001963261\u00b710\u207b\u2074: 695 collective response-kernel entries (per-entry cuts, entrances of any dimension) on #276's gen4 word, composed with #279's descent retiming (+0.258% over #276)"
+    },
+    {
+      "number": 281,
+      "head": "7542b215a7ff49d264e2b4691ca7fa9bc3be82d9",
+      "title": "Conditional \u03ba = 7.25113717934416e-4: target-prefix compression (280 groups) composed with #280's gen4 retiming, early restorations and dirty entrances"
+    }
+  ],
+  "scope": "Checked open titles/descriptions, PR279 comments and review ledger; recent main integration leaves all consumed PR279 source and immutable context bytes unchanged. No pinned sprint issue exists.",
+  "recent_prs_checked": [
+    {
+      "number": 824,
+      "title": "Tooling: 1.13x faster exact stage-pair audit with identical receipts",
+      "head": "2b342526350a3c36936feb7f3f50669fad2770b1"
+    },
+    {
+      "number": 823,
+      "title": "Research construction: shorten historical R480 quad 1 by 12 XORs (no new kappa)",
+      "head": "83d547e30fed98682ffc6eacbeeaafa96cfb42fb"
+    },
+    {
+      "number": 822,
+      "title": "Research: reuse dirty echo connectors (no new kappa)",
+      "head": "8c5e1b557f59bca29139c4c2dcc65edfb808372b"
+    },
+    {
+      "number": 821,
+      "title": "Research audit: 286-to-160-bit prefix estimate for pinned #626 (no new kappa)",
+      "head": "6b832a6ba4dce8dd6e2fb0897dd4543364b932f8"
+    }
+  ]
+}