Construct selected response units and reduce two normalization costs

research/.gitattributes

@@ -10,3 +10,6 @@ leech-lattice/** -text -whitespace
 turyn-code-space/** -text -whitespace
 turyn-port-labels/** -text -whitespace
 community-hyperplane599-audit/** -text -whitespace
+
+# Preserve the exact pinned phase-source bytes.
+raw-selected-centre-units/provenance/** -text -whitespace

research/publication-reviews/raw-selected-centre-units/BODY-CLAIM-CHECK.json

@@ -0,0 +1,33 @@
+{
+  "accepted_package_manifest_sha256": "979f10770579cc992acc0f04b397575114b25503e0c1022d54b4bedc5d423fbf",
+  "accepted_package_review_sha256": "4680449709c9fb19e6e656cba15b486461065ff8d16e06636ff0556949e0dc47",
+  "body_path": "/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/raw-selected-centre-units-body.template.md",
+  "body_sha256": "b01ee196f2dbc76a3938d4f9b0d81f19bd47c6e6ea9e297e9d10f6360c9a7a6d",
+  "claims_checked": [
+    "Actual S38 two-unit witness versus restricted complete-minor S40; no arbitrary-subset minimum",
+    "Raw S8 rational scans and singular original-X response versus changed signed S8 dyadic response",
+    "Short normalization applies -L^-1 first and lower shear on changed selected values",
+    "Complete local costs, native profile and mass, helper and owned contracts",
+    "Historical source pins versus current selected record; no transfer or kappa claim",
+    "Fresh replay scope, meaningful controls, source credit and preserved notices",
+    "Inherited and unexecuted global obligations"
+  ],
+  "corrections_applied": [
+    {
+      "evidence": "The dyadic-witness stage runs numerical bound assertions and emits lower_cardinality_intervals and minimum_proved=12. This does not establish independent review or adoption of the full lower-bound proof.",
+      "issue": "Body previously grouped the producer lower-twelve claim with checks that did not run.",
+      "resolution": "Body now says the lower-twelve and later separator claims are not adopted. The unexecuted-check list contains only checks that did not run."
+    }
+  ],
+  "material_findings_remaining": [],
+  "new_replays_run": false,
+  "prior_acceptance_receipt_clarification": "INITIAL-REVIEW.json preserves the earlier wording. REVIEW.json now states that independent validation of the producer lower-bound theorem and later separator claims was not performed. The frozen producer numeric assertions did run as part of the dyadic-witness stage. REVIEW.md and the corrected PR body retain the accurate did-not-adopt wording.",
+  "proof_sha256": "1f3f7e86573379cfecacd938a8915520e9a1e452abb45637b12d799c7e4329df",
+  "remaining_publication_steps": [
+    "Replace each COMMIT placeholder with the exact publication commit",
+    "Coordinator verifies final GitHub file objects and links, rendered Markdown, and published readback"
+  ],
+  "review_date": "2026-10-22",
+  "review_type": "Separate OpenAI Codex agent claim check; no human review claim",
+  "status": "PASS_RAW_SELECTED_CENTRE_UNITS_BODY_LOCAL_CLAIMS"
+}

research/publication-reviews/raw-selected-centre-units/COLD-PATH.txt

@@ -0,0 +1 @@
+/private/tmp/raw-selected-centre-units-review-20261022

research/publication-reviews/raw-selected-centre-units/COLD-REPLAY.json

@@ -0,0 +1,183 @@
+{
+  "child_cwd": "Fresh temporary workspace under the external output directory",
+  "command": [
+    "python3",
+    "-I",
+    "-B",
+    "/private/tmp/raw-selected-centre-units-review-20261022/package/reproduce.py",
+    "--out",
+    "/private/tmp/raw-selected-centre-units-review-20261022/output"
+  ],
+  "copied_package_changes": {},
+  "copied_package_files": 194,
+  "free_bytes_after": 8970047488,
+  "fresh_replay": {
+    "frozen_inputs_unchanged": true,
+    "manifest_sha256": "ab9fbd1a279135af0f4ae2d9445c97603ef4767b30a1f5aed1c7de1fbb56121f",
+    "old_new_R_equal": true,
+    "optimized_reviewers": false,
+    "platform": "macOS-26.6.1-arm64-arm-64bit-Mach-O",
+    "python": "3.14.7 (main, Aug  5 2026, 10:29:49) [Clang 21.0.0 (clang-2100.1.1.101)]",
+    "replay_sha256": "0246a899091017c73361390c0822c9f25f1e4024dc021e91be5cdd6e010506fd",
+    "schema": "raw-selected-centre-units-replay-v1",
+    "scope": "Exact local units and native words. No complete supplier or kappa change.",
+    "seconds": 143.4441806669929,
+    "source_files": 187,
+    "stages": [
+      {
+        "command": [
+          "/opt/homebrew/opt/python@3.14/bin/python3.14",
+          "-I",
+          "-B",
+          "/private/tmp/raw-selected-centre-units-review-20261022/output/selected-units-ab8nj8hz/workspace/work/centre-encoding-campaign-20261014/root/check_irregular_split_20261017.py"
+        ],
+        "log": "irregular-unit.log",
+        "mathematical_receipt_equal": true,
+        "name": "irregular-unit",
+        "python_optimized": false,
+        "seconds": 2.097006457974203,
+        "status": "PASS_ROOT_IRREGULAR_38_PORT_UNIT"
+      },
+      {
+        "command": [
+          "/opt/homebrew/opt/python@3.14/bin/python3.14",
+          "-I",
+          "-B",
+          "/private/tmp/raw-selected-centre-units-review-20261022/output/selected-units-ab8nj8hz/workspace/work/centre-encoding-campaign-20261014/lanes/dyadic-subset-search-20261017/check_dyadic_subsets.py"
+        ],
+        "log": "dyadic-witness.log",
+        "mathematical_receipt_equal": true,
+        "name": "dyadic-witness",
+        "python_optimized": false,
+        "seconds": 0.13891500001773238,
+        "status": "PASS_EXACT_FIXED_SUBSETS_AND_TWO_UNIT_CONDITIONS"
+      },
+      {
+        "command": [
+          "/opt/homebrew/opt/python@3.14/bin/python3.14",
+          "-I",
+          "-B",
+          "/private/tmp/raw-selected-centre-units-review-20261022/output/selected-units-ab8nj8hz/workspace/work/centre-encoding-campaign-20261014/lanes/native-escape-20261017/check_raw_minor_subsets.py"
+        ],
+        "log": "complete-minors.log",
+        "mathematical_receipt_equal": true,
+        "name": "complete-minors",
+        "python_optimized": false,
+        "seconds": 7.4461217079660855,
+        "status": "PASS_RAW_MINOR_SUBSET_UNITS"
+      },
+      {
+        "command": [
+          "/opt/homebrew/opt/python@3.14/bin/python3.14",
+          "-I",
+          "-B",
+          "/private/tmp/raw-selected-centre-units-review-20261022/output/selected-units-ab8nj8hz/workspace/work/centre-encoding-campaign-20261014/lanes/bridge-review-20261017/odd-grid-a8-review-20261017/check_review.py"
+        ],
+        "log": "odd-grid.log",
+        "mathematical_receipt_equal": true,
+        "name": "odd-grid",
+        "python_optimized": false,
+        "seconds": 4.467760792002082,
+        "status": "PASS_INDEPENDENT_ODD_GRID_AND_MINOR_FACTORS"
+      },
+      {
+        "command": [
+          "/opt/homebrew/opt/python@3.14/bin/python3.14",
+          "-I",
+          "-B",
+          "/private/tmp/raw-selected-centre-units-review-20261022/output/selected-units-ab8nj8hz/workspace/work/centre-encoding-campaign-20261014/lanes/independent-review-20261017/check_new_native.py",
+          "--providers",
+          "base",
+          "extra",
+          "--out",
+          "/private/tmp/raw-selected-centre-units-review-20261022/output/native-phases.json"
+        ],
+        "log": "native-phases.log",
+        "mathematical_receipt_equal": true,
+        "name": "native-phases",
+        "python_optimized": false,
+        "seconds": 66.22146979201352,
+        "status": "PASS_INDEPENDENT_NEW_CORE_NATIVE_RECIPES"
+      },
+      {
+        "command": [
+          "/opt/homebrew/opt/python@3.14/bin/python3.14",
+          "-I",
+          "-B",
+          "/private/tmp/raw-selected-centre-units-review-20261022/output/selected-units-ab8nj8hz/workspace/work/centre-encoding-campaign-20261014/lanes/new-native-recipes-20261017/replay_serial_balanced.py",
+          "--out",
+          "/private/tmp/raw-selected-centre-units-review-20261022/output/serial-interfaces.json"
+        ],
+        "log": "serial-interfaces.log",
+        "mathematical_receipt_equal": true,
+        "name": "serial-interfaces",
+        "python_optimized": false,
+        "seconds": 32.89891629200429,
+        "status": "PASS_INDEPENDENT_SERIAL_BALANCED_LOCAL_WORDS"
+      },
+      {
+        "command": [
+          "/opt/homebrew/opt/python@3.14/bin/python3.14",
+          "-I",
+          "-B",
+          "/private/tmp/raw-selected-centre-units-review-20261022/output/selected-units-ab8nj8hz/workspace/work/centre-encoding-campaign-20261014/lanes/new-native-recipes-20261017/replay_irregular_38.py",
+          "--out",
+          "/private/tmp/raw-selected-centre-units-review-20261022/output/irregular-native.json"
+        ],
+        "log": "irregular-native.log",
+        "mathematical_receipt_equal": true,
+        "name": "irregular-native",
+        "python_optimized": false,
+        "seconds": 17.27242437499808,
+        "status": "PASS_INDEPENDENT_IRREGULAR_38_NATIVE_AND_RESPONSE_UNIT"
+      },
+      {
+        "command": [
+          "/opt/homebrew/opt/python@3.14/bin/python3.14",
+          "-I",
+          "-B",
+          "/private/tmp/raw-selected-centre-units-review-20261022/output/selected-units-ab8nj8hz/workspace/work/centre-encoding-campaign-20261014/lanes/new-native-recipes-20261017/reduced-transfer-review-20261018/check.py",
+          "--out",
+          "/private/tmp/raw-selected-centre-units-review-20261022/output/short-normalization"
+        ],
+        "log": "short-normalization.log",
+        "mathematical_receipt_equal": true,
+        "name": "short-normalization",
+        "python_optimized": false,
+        "seconds": 12.143600124982186,
+        "status": "PASS_INDEPENDENT_REDUCED_SELECTED_INTERFACES"
+      }
+    ],
+    "status": "PASS_RAW_SELECTED_CENTRE_UNITS"
+  },
+  "original_copied_file_changes": {
+    "README.md": "518a5b312335c308a22a48f3108e16ced5b8d393cb5c23b59e5193f2ed73ecf6"
+  },
+  "output_json_sha256": {
+    "REPLAY.json": "248651b806021c09554247ee7f94a1f1cca21536c4d8cccb0abd5db701b6f1ab",
+    "complete-minors.json": "5e649da77e7899b394477a29bcc6b0de144de4bdd2428f90ea7c22d1a54f162a",
+    "dyadic-witness.json": "25e83918d8055b503faea433a44ba5958390a21610a158998d4579dd25008296",
+    "irregular-native-INPUTS.json": "b31a6057cb343e839fd1e7e0e89d08faa2e2c4025a8d7f18f5a4538dfa00a681",
+    "irregular-native.json": "163924f1f27398ab1fa4dce966d43842223f0f0853e66b7638c1920f52c792e6",
+    "irregular-unit.json": "0a8d22fa0b523c261243e9b19cfd51926c9b515a9e6f9a962d1e3b5170105a8f",
+    "native-phases.json": "7f0adc5a68ce7c2b5d54e363855f39b0e2dcc8611f39140a983a15ebdb721346",
+    "odd-grid.json": "4dc2c2aaf6dd85c3b32d9508ca8dc89a7a9b0b470fe31cfcf0cf1810c36b8d41",
+    "serial-interfaces-INPUTS.json": "14ef97e546492a15e210d8f2220187ef413843ebe7dc982cc2f3821a3587cb8c",
+    "serial-interfaces.json": "9ae1a6426121b279d7596b5cec08dccb20fc58a15518c6cde1b21acfe33a6f66",
+    "short-normalization/INPUTS.json": "fd7a6502f8639fa07b8c2a408dcb525cbda42c8a44d9f2539737dcc1a20da89a",
+    "short-normalization/REVIEW.json": "ec9ecf398f9f79981c0fa2001019122b0bbabc591ca6b08aa3be4d9e44fd3abf"
+  },
+  "parent_cwd": "/private/tmp",
+  "prepared_package_update_review": {
+    "changed_files": [
+      "README.md",
+      "NOTICE.md"
+    ],
+    "changes": "README validation links and NOTICE source-credit additions. New files add validation receipts and exact source notices and readbacks. No mathematical claim or replay code change.",
+    "code_and_proof_unchanged": true,
+    "final_manifest_verified": true,
+    "final_package_files_excluding_manifest": 256,
+    "final_package_manifest_sha256": "979f10770579cc992acc0f04b397575114b25503e0c1022d54b4bedc5d423fbf"
+  },
+  "status": "PASS_INDEPENDENT_SELECTED_UNITS_COLD_REPLAY"
+}