Mister-Meeseeks · Oct 21, 2026 · Oct 20, 2026
diff --git a/research/r429-signed-range/CONTROLS.json b/research/r429-signed-range/CONTROLS.json
diff --git a/research/r429-signed-range/CORE-SNAPSHOT.json b/research/r429-signed-range/CORE-SNAPSHOT.json
@@ -0,0 +1,327 @@
+{
+  "compact_controls": [
+    {
+      "check_deletion_tests": 2,
+      "full_real_receipts": 5,
+      "intended_rejections": 34,
+      "optimization": 0
+    },
+    {
+      "check_deletion_tests": 2,
+      "full_real_receipts": 5,
+      "intended_rejections": 34,
+      "optimization": 1
+    }
+  ],
+  "controls_receipt_sha256": "14fa6c2a9b5565be15748fe2f1a4b76371b6fac2c19f55c517a92000390ffa7f",
+  "core_sha256": "2dee81002aa7b327642ab08fd09df5732f404ebebace356e2c278e1e15990e2d",
+  "decompressed_original_bindings": [
+    "frozen/controller/WORD.json.gz",
+    "frozen/geometry/MATRICES.json.gz",
+    "frozen/parent/GROWTH.json.gz",
+    "frozen/reviews/integer/CHECKS.json.gz"
+  ],
+  "file_count": 41,
+  "files": {
+    "EVIDENCE-INDEX.md": {
+      "bytes": 4229,
+      "sha256": "85be6b4295f287c21eeab54b6bc84481fa9ed53cd42e99324c956f3269704029"
+    },
+    "FROZEN-SHA256.json": {
+      "bytes": 2700,
+      "sha256": "96df3452750366628ddf3c957654a60ca7e42f0ff8315efddc40dfade2437e11"
+    },
+    "LICENSE": {
+      "bytes": 11357,
+      "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4"
+    },
+    "ORIGINS.json": {
+      "bytes": 8525,
+      "sha256": "25056f8eeab027f756a5b293b5f32e4f7da4df3b3c72b65fcb08615a2df4c26a"
+    },
+    "PROOF-INTEGER.md": {
+      "bytes": 10687,
+      "sha256": "ed3adb5a955956a4bb1b24d38250fb18b8b1b3740010d3d0d987309fbbe743c9"
+    },
+    "PROOF-RANGE.md": {
+      "bytes": 13072,
+      "sha256": "af5f7408119dd2ef8a17a97c0e025d24651081294ee9134d139cce4fa27b080f"
+    },
+    "README.md": {
+      "bytes": 7673,
+      "sha256": "47667a24e139b69b7ddc10fbdc8264700b905fd41553cff52113d5a3514d9a95"
+    },
+    "RELATED-WORK.json": {
+      "bytes": 1908,
+      "sha256": "0a1f45ac46da31fb9ff2339e6fb56aea6128053dce35f90591e93d8fe4e9347d"
+    },
+    "REVIEW-INTEGER.md": {
+      "bytes": 5756,
+      "sha256": "5ecd25ee53bf04991848add1be87b95aadc489d74fdda45c4224a0ddb6cbd707"
+    },
+    "REVIEW-RANGE.md": {
+      "bytes": 6855,
+      "sha256": "bcb8b0ccb3e48e2e2f276bcb3a237b615735df01754a96814d9002e37e303b50"
+    },
+    "REVIEW-VERIFICATION.md": {
+      "bytes": 9350,
+      "sha256": "f40976abf21d2a78fb150329bc7cbbc837e8e487b3f9acc13306fa52304783da"
+    },
+    "SOURCES.json": {
+      "bytes": 1825,
+      "sha256": "8bba7fd6b2fe4c7d567f9077c4b2b98720a780548077ca275fe14b960f20ca59"
+    },
+    "TASK.json": {
+      "bytes": 6523,
+      "sha256": "7a67372964750dea14362660ddbc8fa26af849871b69fce041fd6e0407245d59"
+    },
+    "VERIFY.json": {
+      "bytes": 1684,
+      "sha256": "e8253a2ed943c3b16c07c126b4d5ebb3eea8ed7e8936e5ed8f91049e91f46be7"
+    },
+    "controls.py": {
+      "bytes": 15545,
+      "sha256": "f60feee719769a8c6ab6e0adc6ce3ee31bfd1391977fd66730b71343eb345e49"
+    },
+    "frozen/candidate/GROWTH.json": {
+      "bytes": 2053,
+      "sha256": "f932fc1ab6efb6b261e4774beb9771b7abf5f9d247343f79d78e1955cb2d8cb9"
+    },
+    "frozen/candidate/RESULT.json": {
+      "bytes": 1648,
+      "sha256": "2ae84cc4cf6965832faf6c552f80f914820f53408e7d24cdb476dd7d87adaa20"
+    },
+    "frozen/candidate/WORD.json.gz": {
+      "bytes": 59544,
+      "sha256": "e802611104c61fc8477837b4ab41abc4f13cf41fbca6ef3de60d0b5e768fb949"
+    },
+    "frozen/controller/WORD.json.gz": {
+      "bytes": 16510,
+      "sha256": "ff50e2df9b5a0ecb5e4a3aa24a5b93ac49f7c2b4fd3d28295e6d5a8f6154027f"
+    },
+    "frozen/geometry/MATRICES.json.gz": {
+      "bytes": 8765,
+      "sha256": "0919f9b758078a5a1b51a9d550f607fd17c3adfddf55ace306b23f2108d57e7f"
+    },
+    "frozen/geometry/WORD.json.gz": {
+      "bytes": 42305,
+      "sha256": "a353999bceac4ac957f540adfd3e5f8768297138b27132eeb83332e2ea4b1022"
+    },
+    "frozen/historical/REPLAY.json": {
+      "bytes": 5096,
+      "sha256": "22bf26867c054dbc44a86aa2ea072b9a0b4675345ec3f76c71178795e78d8399"
+    },
+    "frozen/old/bit_cap_copy_local.py": {
+      "bytes": 7588,
+      "sha256": "6e9ca1eb905d769716c009904f45d6849b225e48cd119f18b50c0379f35313cb"
+    },
+    "frozen/old/bit_prune_audit.py": {
+      "bytes": 8758,
+      "sha256": "d284714fd65054279c180454b73eb717382e402669d5a04e3f373d0d7f54bc06"
+    },
+    "frozen/old/bit_pruned_growth.py": {
+      "bytes": 5429,
+      "sha256": "9c59a9a521e0d0124df6b7686f76e0308c13678306f5efc53eb6e865757f8636"
+    },
+    "frozen/old/bit_signed_audit.py": {
+      "bytes": 11946,
+      "sha256": "376356696663021693c0e2c9adf37f371675fe8837fb88232b8767a8b90793e8"
+    },
+    "frozen/old/signed_quotient_search.py": {
+      "bytes": 4124,
+      "sha256": "fc9fce83d0fa613e8a442f44f0548fb82913b50ba901de89973eb11ff3311a16"
+    },
+    "frozen/parent/GROWTH.json.gz": {
+      "bytes": 38095,
+      "sha256": "8e31256b3b4df6de4576d030fbe8ca6006d41565698e1eed245538cf25f5e92e"
+    },
+    "frozen/parent/WORD.json.gz": {
+      "bytes": 59514,
+      "sha256": "1a6841fccba51fa922993c77b4b296e659c2c538252e5e06113d0438c5edb870"
+    },
+    "frozen/reviews/integer/CHECKS.json.gz": {
+      "bytes": 17009,
+      "sha256": "b1710a496352872a80ed97271ddf2bfbf304cd009d45b345f2211561bfb5527e"
+    },
+    "frozen/reviews/integer/SOURCE-DEPENDENCIES.json": {
+      "bytes": 8535,
+      "sha256": "4f6bc94a650c238dccd1e7e80e254373ec57071089968972b48860b71bfbeedf"
+    },
+    "frozen/reviews/integer/VALIDATION-RUN.json": {
+      "bytes": 1794,
+      "sha256": "7310a204b8feb75ac3fa8be0ef438486e4a9ae7e7505470eaddd5cfd158f7853"
+    },
+    "frozen/reviews/integer/VALIDATION.json": {
+      "bytes": 3383,
+      "sha256": "3dc24bdaf215887ca5aef5152259108aceed78f9662225eb466db4a85ed52e97"
+    },
+    "frozen/reviews/integer/VALIDATION.md": {
+      "bytes": 2485,
+      "sha256": "229705bf1a97d65c63d25dbf54ad2cc90ba7c1093ee238f71fd6cf1f3247bad7"
+    },
+    "frozen/reviews/integer/check_integer.py": {
+      "bytes": 39485,
+      "sha256": "96e6fe96e72111e691dac904fc3991b2ddca440509ffaf5bf4a990d27c33e522"
+    },
+    "frozen/reviews/range/CHECKS.json.gz": {
+      "bytes": 286198,
+      "sha256": "0e826dec630ab3ab60592d823dd425785add331b97e4b3f1bc84e71e25510780"
+    },
+    "frozen/reviews/range/SOURCE-DEPENDENCIES.json": {
+      "bytes": 6381,
+      "sha256": "14f317713ab4ebd39269966d3edf1b7f31a31077422e64c0f8b4fc8c15207a8d"
+    },
+    "frozen/reviews/range/VALIDATION-RESULT.json": {
+      "bytes": 2853,
+      "sha256": "89653166a2d880b24f1ec5f92bf1849299b710acfdcd035953a51aedb7b5d67b"
+    },
+    "frozen/reviews/range/VALIDATION.md": {
+      "bytes": 3393,
+      "sha256": "ea2b056ec7738e9af75bc09706855d7fc1f0653bf4e65c1a4004ed7b5e0291e2"
+    },
+    "frozen/reviews/range/check_range.py": {
+      "bytes": 41189,
+      "sha256": "4aa90c275da461cbcef95b00c6088aa599c72e7b76a6cbf9b8cadb87e45e6df5"
+    },
+    "verify.py": {
+      "bytes": 11827,
+      "sha256": "9654fb97c9163dc04970e43e1f4c03a49279bc2983b5131f2d6134ce243fb6cc"
+    }
+  },
+  "frozen_tree_exactly_registered": true,
+  "independent_source_closure": {
+    "integer": {
+      "imports": [
+        "argparse",
+        "collections",
+        "gzip",
+        "hashlib",
+        "itertools",
+        "json",
+        "math",
+        "pathlib"
+      ],
+      "sha256": "96e6fe96e72111e691dac904fc3991b2ddca440509ffaf5bf4a990d27c33e522",
+      "source": "frozen/reviews/integer/check_integer.py"
+    },
+    "range": {
+      "imports": [
+        "argparse",
+        "collections",
+        "gzip",
+        "hashlib",
+        "json",
+        "pathlib",
+        "sys"
+      ],
+      "sha256": "4aa90c275da461cbcef95b00c6088aa599c72e7b76a6cbf9b8cadb87e45e6df5",
+      "source": "frozen/reviews/range/check_range.py"
+    }
+  },
+  "no_new_kappa": true,
+  "no_precision_or_supplier_admission": true,
+  "origin_entries_exactly_registered": true,
+  "package": "research/r429-signed-range",
+  "post_control_required_heading_refresh": {
+    "after_heading": "## Open next questions",
+    "after_sha256": "47667a24e139b69b7ddc10fbdc8264700b905fd41553cff52113d5a3514d9a95",
+    "all_other_snapshot_files_unchanged": true,
+    "before_heading": "## Limits and next obligation",
+    "before_sha256": "c9c461b1a3db8ce0764a45da6f7dc368aa19dfcf36e41a417bca7b64bb0e7b00",
+    "file": "README.md",
+    "gate_fix": "The repository package gate requires the exact README heading ## Open next questions. The existing limits and next-obligation section was renamed without changing its content.",
+    "gate_outcome_from_parent": "Previous package gate stopped before mathematical replay; final registered replay follows this heading fix.",
+    "mathematical_or_compact_replay_run_by_this_refresh": false,
+    "prior_core_sha256": "c56f88096a87bc19a4c8a96a996661e4dacae056e70894102b2c2f54b052a4c3",
+    "prior_readme_exactly_reconstructed_and_authenticated": true
+  },
+  "post_control_whitespace_refresh": {
+    "all_other_snapshot_files_unchanged": true,
+    "compact_controls_replayed": false,
+    "control_code_and_scientific_code_receipts_unchanged": true,
+    "controls_receipt_scope": "Existing normal/-O execution precedes this whitespace-only documentation and matching manifest update; all scientific sources, complete scientific receipts and acceptance code are unchanged.",
+    "document_delta": {
+      "PROOF-INTEGER.md": {
+        "after_sha256": "ed3adb5a955956a4bb1b24d38250fb18b8b1b3740010d3d0d987309fbbe743c9",
+        "before_sha256": "cdd26a4e40df980dfd8d12b8da87e2ddcdc61b3d89586c618cbb07bc9a671e21",
+        "removed_LF_bytes": 1
+      },
+      "REVIEW-INTEGER.md": {
+        "after_sha256": "5ecd25ee53bf04991848add1be87b95aadc489d74fdda45c4224a0ddb6cbd707",
+        "before_sha256": "652b7aa528281c5205a163b63f33d5005655805e03a4b1f70788b5b467baac0b",
+        "removed_LF_bytes": 1
+      },
+      "frozen/reviews/integer/VALIDATION.md": {
+        "after_sha256": "229705bf1a97d65c63d25dbf54ad2cc90ba7c1093ee238f71fd6cf1f3247bad7",
+        "before_sha256": "624cf3c4dda6ad27903350afa1e42edc68a4482518e17edd89d7e94ed348bf50",
+        "removed_LF_bytes": 1
+      }
+    },
+    "manifest_delta": "Only frozen/reviews/integer/VALIDATION.md sha256 changed in each of FROZEN-SHA256.json and ORIGINS.json; exact prior serialized manifests reconstructed and authenticated.",
+    "original_current_run_validation_matches": true,
+    "prior_core_sha256": "de46386af42e7db363f65595a6d2bbeeaf2eff2954ab798307da9fd8c938a539"
+  },
+  "registered_commands": [
+    {
+      "argv": [
+        "{python}",
+        "-I",
+        "-O",
+        "-B",
+        "{package}/verify.py",
+        "--stage",
+        "historical"
+      ],
+      "checks": "Fixed 23-sign witness: exact declared record differences, retained complete integer/F2 replays, both original signed receipts and full new range summary; no sign search.",
+      "timeout_seconds": 120
+    },
+    {
+      "argv": [
+        "{python}",
+        "-I",
+        "-O",
+        "-B",
+        "{package}/verify.py",
+        "--stage",
+        "integer"
+      ],
+      "checks": "Independent dense all 651-column integer/F2/frame/COPY audit, both roundtrips, attained prefix norms, exact fixed-transfer proof for all 2^47 signs and intended-gate controls.",
+      "timeout_seconds": 180
+    },
+    {
+      "argv": [
+        "{python}",
+        "-I",
+        "-O",
+        "-B",
+        "{package}/verify.py",
+        "--stage",
+        "range"
+      ],
+      "checks": "Independent sparse range reconstruction, selected arbitrary-code schedule, all ordered controller factors and complete adjoint/dual/forward defect checks for both actual 651-input words.",
+      "timeout_seconds": 180
+    },
+    {
+      "argv": [
+        "{python}",
+        "-I",
+        "-B",
+        "{package}/controls.py",
+        "--package",
+        "{package}"
+      ],
+      "checks": "Normal and optimized source-selection/module assertions, compression bindings, all five full typed receipts, semantic inverse-sign control and deleted-check sensitivity.",
+      "timeout_seconds": 60
+    }
+  ],
+  "registered_frozen_inputs": 25,
+  "reviewer_replayed_full_math_stages": false,
+  "schema": "b04-source-verification-core-snapshot-v1",
+  "snapshot_excluded_receipt_names": [
+    "CONTROLS.json",
+    "CORE-SNAPSHOT.json",
+    "REVIEW-CONTROLS.json",
+    "REVIEW-CORE-SNAPSHOT.json"
+  ],
+  "status": "PASS_SCOPED_SOURCE_AND_CONTROL_REVIEW"
+}
diff --git a/research/r429-signed-range/EVIDENCE-INDEX.md b/research/r429-signed-range/EVIDENCE-INDEX.md
@@ -0,0 +1,51 @@
+# Claims, source bindings and coverage
+
+| Claim | Evidence | Boundary |
+| --- | --- | --- |
+| Fixed 23-sign witness and unchanged records/boundaries | `verify.py --stage historical` compares every parent/candidate field and executes named retained functions | No repetition of the historical randomized sign search; no optimum claimed. |
+| Complete original signed result and growth receipts | Same stage compares `frozen/candidate/RESULT.json` and `GROWTH.json` in full | The old parent growth receipt is retained as provenance; fresh parent ranges appear in the new complete replay receipt. |
+| New retained-function summary | Same stage compares `frozen/historical/REPLAY.json` in full | Explicit selected scalar code instantiation; not the legacy controller code. |
+| Every integer/F2 column, physical frame and COPY lifetime | Independent integer checker, with complete receipt and semantic controls | All 651 public inputs, both directions and roundtrips; native ADDRESS child implementations remain inherited. |
+| Whole sign-family block restriction | Written prefix–quotient–suffix proof and exact fixed-transfer reconstruction | Rank bounds hold under the stated fixed prefix/suffix and nine-coordinate quotient replacement; exact ranks 9 and 3 describe this witness. |
+| Local prefix range | Independent dense integer and sparse range implementations, plus retained functions | Exact scalar row norms with attaining inputs; native-vector use needs the specified isometry premise. |
+| Ordered global range | Independent selected-code extraction, free noncommuting schedule check and full bank recurrence | Includes 63 selected code factors and encoded dirty magnitudes. It does not replay the artifact's different legacy integer code. |
+| Atomic defect constants | Full adjoint scan for both actual 651-input words in each direction | Exact scalar assignment model with explicit eligible events and COPY/ERASE premise. |
+| Sharpness and defect controls | Separate scalar dual-row recurrence, forward impulses and simultaneous sign-aligned errors | Completed output only; no perturbed-prefix, relative-error or native child-interior theorem. |
+| Acceptance mechanism | Compact normal/optimized controls, including deliberate check deletion | Source authenticity and full typed comparison are separate from mathematical validity. |
+
+## Exact source execution
+
+The historical stage extracts only these unchanged original function definitions:
+
+- `bit_cap_copy_local.py`: `need`, `canonical`, `rank`;
+- `bit_signed_audit.py`: `identity`, `add`, `row_weights`, `parity`,
+  `block_norms`, `code`, `global_bound`;
+- `bit_prune_audit.py`: `execute`;
+- `bit_pruned_growth.py`: `coefficients`;
+- `signed_quotient_search.py`: `score`.
+
+Dependencies are explicitly supplied standard-library objects and the preceding
+functions. Original imports, filesystem constants, entrypoints and search loops
+are excluded. Each selected definition must occur exactly once. The exact
+authenticated bytes are parsed and compiled with `dont_inherit=True,optimize=0`;
+no mathematical expression, coefficient, domain or loop is patched.
+
+The independent integer and range programs import no producer implementation.
+Their complete source files are authenticated and compiled with assertions
+enabled. They write only fresh external temporary results during verification,
+which are compared with the separately frozen complete receipts. Missing fixed
+evidence fails; it is not regenerated into the package.
+
+The compressed controller retains all ordered events and its legacy code list.
+The unused legacy code is explicitly examined as a differing source contract.
+The retained original suffix program is not a runtime input: it concerns a
+different 660-input word, and the fresh adjoint checker supplies the relevant
+651-input calculation.
+
+## Distinct validation stages
+
+Committed-byte and source-history checks establish publication provenance.
+The registered replay verifies the stated finite claims and controls. A
+read-only Git-free export checks portability. Automatic hosted CI is reported
+separately on the PR's actual head. None of these is a formal-kernel proof,
+human acceptance, physical rounded implementation or supplier admission.