Bind declared-width CRT shared rows to the complete padded caller

research/crt-mixed-width-caller/COLD-REPLAY.json

@@ -0,0 +1,53 @@
+{
+  "base_commit": "12fa8c5c844be21bfefb38a19503fbd867a11244",
+  "python": "3.12.14 (main, Aug 25 2026, 13:50:33) [Clang 22.1.3 ]",
+  "reviewed_hashes": {
+    "PROOF.md": "ded150e3ab4da3561ac8623fd7d0041deb6f31dbf7b49a04dc19e0ba959c58d9",
+    "README.md": "c5126d2e1f381fe5a34b8e3350799ac4c3a58fe2def590b12ad4354da7b01ebf",
+    "RESULT.json": "2ba6f2e1661d8d9af0861eaf903bc596acd9bf0912b090389b1bc6d1f9898dd0",
+    "SOURCE-PINS.json": "e8e5c7320fb0bd1494e063eaa5aaf5f2f08562b80b72750081ea5a409eea5b1e",
+    "verify.py": "5e62787f3c4a8f1175ca7dea6c6b8ceff7863a3f879abd6245faf6aeb272fd45"
+  },
+  "runs": [
+    {
+      "argv_template": [
+        "{python}",
+        "-I",
+        "-B",
+        "{package}/verify.py"
+      ],
+      "cwd_template": "{repository}",
+      "exit_code": 0,
+      "receipt": {
+        "padded_states": 16480,
+        "result": "PASS_EXPLICIT_WIDTH_SYNCHRONIZED_CRT_CALLER",
+        "row_checks": 229984
+      },
+      "stderr": ""
+    },
+    {
+      "argv_template": [
+        "{python}",
+        "-I",
+        "-O",
+        "-W",
+        "error",
+        "-B",
+        "{package}/verify.py"
+      ],
+      "cwd_template": "{repository}",
+      "exit_code": 0,
+      "receipt": {
+        "padded_states": 16480,
+        "result": "PASS_EXPLICIT_WIDTH_SYNCHRONIZED_CRT_CALLER",
+        "row_checks": 229984
+      },
+      "stderr": ""
+    }
+  ],
+  "schema_version": 1,
+  "scope": "exact git-free source-bound copy; no source-root override; logical caller only",
+  "source_inputs_checked": 3,
+  "status": "PASS_COLD_MIXED_CALLER_REPLAY",
+  "time_utc": "2026-10-20T13:04:24.760866+00:00"
+}

research/crt-mixed-width-caller/CROSS-REPLAY.json

@@ -0,0 +1,71 @@
+{
+  "cross_helper_written_after_primary_read": true,
+  "files": {
+    "cross_check.py": "eb7a65c1129fe302ddf0cabb7cf73b178f905525c32b77768e2b14283c978def",
+    "independent_benes_oracle.py": "7a58689072b730201a6b4007f7b2524db2abff460a3116cfa42821fb2e1b63a5",
+    "independent_mixed_oracle.py": "8cdaedebd991fc0f73e74dd7b53e1c42f1e50d7b61e5b2e52d74134e2dafbdc4",
+    "verify.py": "5e62787f3c4a8f1175ca7dea6c6b8ceff7863a3f879abd6245faf6aeb272fd45"
+  },
+  "oracle_primitives_written_before_primary_read": true,
+  "runs": [
+    {
+      "argv_template": [
+        "{python}",
+        "-I",
+        "-B",
+        "{package}/cross_check.py",
+        "{package}/verify.py",
+        "{package}/independent_mixed_oracle.py",
+        "research/unconditional-batched-crt/check_batched_crt.py"
+      ],
+      "cwd_template": "{repository}",
+      "exit_code": 0,
+      "receipt": {
+        "endpoint_sha256": "46209c8ca0f8b228236b5601150dafca35157003b507a6f6aad24aa0587489eb",
+        "forward_inverse_rows": 3064,
+        "literal_idle_specifications": 648,
+        "oracle_sha256": "8cdaedebd991fc0f73e74dd7b53e1c42f1e50d7b61e5b2e52d74134e2dafbdc4",
+        "primary_sha256": "5e62787f3c4a8f1175ca7dea6c6b8ceff7863a3f879abd6245faf6aeb272fd45",
+        "retained_source_sha256": "681e2e3d71fa74c8b9b326f3860104fd9d89590a222e26ae6ee718d1fd40ff2e",
+        "row_decoder_comparisons": 510,
+        "scope": "separate pre-code oracle against actual rows, including external ell/all-short and singleton cases; no E/tape theorem",
+        "states": 166,
+        "status": "PASS_PINNED_MIXED_CALLER_CROSSCHECK"
+      },
+      "stderr": ""
+    },
+    {
+      "argv_template": [
+        "{python}",
+        "-I",
+        "-O",
+        "-W",
+        "error",
+        "-B",
+        "{package}/cross_check.py",
+        "{package}/verify.py",
+        "{package}/independent_mixed_oracle.py",
+        "research/unconditional-batched-crt/check_batched_crt.py"
+      ],
+      "cwd_template": "{repository}",
+      "exit_code": 0,
+      "receipt": {
+        "endpoint_sha256": "46209c8ca0f8b228236b5601150dafca35157003b507a6f6aad24aa0587489eb",
+        "forward_inverse_rows": 3064,
+        "literal_idle_specifications": 648,
+        "oracle_sha256": "8cdaedebd991fc0f73e74dd7b53e1c42f1e50d7b61e5b2e52d74134e2dafbdc4",
+        "primary_sha256": "5e62787f3c4a8f1175ca7dea6c6b8ceff7863a3f879abd6245faf6aeb272fd45",
+        "retained_source_sha256": "681e2e3d71fa74c8b9b326f3860104fd9d89590a222e26ae6ee718d1fd40ff2e",
+        "row_decoder_comparisons": 510,
+        "scope": "separate pre-code oracle against actual rows, including external ell/all-short and singleton cases; no E/tape theorem",
+        "states": 166,
+        "status": "PASS_PINNED_MIXED_CALLER_CROSSCHECK"
+      },
+      "stderr": ""
+    }
+  ],
+  "schema_version": 1,
+  "scope": "bounded actual-row and two-sided endpoint comparison using the earlier independent compiler/bruteCRT oracle; no tape/E theorem",
+  "status": "PASS_PINNED_MIXED_CROSS_REPLAY",
+  "time_utc": "2026-10-20T13:06:30.039871+00:00"
+}

research/crt-mixed-width-caller/EVIDENCE.md

@@ -0,0 +1,33 @@
+# Review and replay boundary
+
+This package has a written all-size logical caller argument in PROOF.md.
+Finite exhaustiveness is corroboration for the named rectangles, not an
+all-size proof, physical implementation, full evaluator or new kappa.
+
+The six registered VERIFY.json commands run primary, preimplementation
+independent oracle and pinned direct comparison in normal and optimized
+Python. Default execution checks stored evidence without regenerating it.
+
+The separate FIFO compiler and brute scaled-CRT oracle were written before
+reading the primary caller. INITIAL-REVIEW.md/json preserve that evidence.
+The oracle's wider fixture uses ell=max(widths); the pinned direct crosscheck
+additionally checks the submitted external ell=4 all-short fixture, both
+literal idle rows, microscopic padding and the singleton identity caller.
+Their different row counts therefore describe different explicit fixtures,
+while their complete padded endpoint digests agree.
+
+The independent interface review is retained in interface-review/.
+Its read-only report binds the exact primary five files inspected; it
+provides mathematical/interface review, not a second implemented oracle.
+
+Every code helper referenced by these receipts is included. Root source
+inputs stay byte-for-byte pinned through SOURCES.json/SOURCE-PINS.json.
+Host arrays, caches, Python arithmetic and schedule event counts are not
+fixed-tape machine steps. Actual placement, compact repair, ordinary callee,
+complete E generation, precision/native/outer integration and independent
+human or formal-kernel acceptance remain open.
+
+Credit: Cinna Davis's source CRT/Beneš work, Hiroki KUMAZAKI's PR4169/4174
+omission, inverse and placement work, Douglas Colkitt/OpenAI framework and
+the retained source NOTICE lineage. Substantial OpenAI Codex assistance;
+the separate reviewers are agents, not independent human reviewers.

research/crt-mixed-width-caller/INITIAL-REVIEW.json

@@ -0,0 +1,171 @@
+{
+  "base_commit": "12fa8c5c844be21bfefb38a19503fbd867a11244",
+  "before_primary_read": true,
+  "files": {
+    "INITIAL-REVIEW.md": "1e3537438f133b734b04113a68f74e68760c938ad370a4e55db783b21943f5f5",
+    "independent_benes_oracle.py": "7a58689072b730201a6b4007f7b2524db2abff460a3116cfa42821fb2e1b63a5",
+    "independent_mixed_oracle.py": "8cdaedebd991fc0f73e74dd7b53e1c42f1e50d7b61e5b2e52d74134e2dafbdc4"
+  },
+  "python": "3.12.14 (main, Aug 25 2026, 13:50:33) [Clang 22.1.3 ]",
+  "runs": [
+    {
+      "argv_template": [
+        "{python}",
+        "-I",
+        "-B",
+        "{package}/independent_mixed_oracle.py"
+      ],
+      "cwd_template": "{repository}",
+      "exit_code": 0,
+      "receipt": {
+        "compiler_sha256": "7a58689072b730201a6b4007f7b2524db2abff460a3116cfa42821fb2e1b63a5",
+        "negative_controls": {
+          "current_target_validity_gate": {
+            "expected": 2,
+            "input": 1,
+            "literal_trace": [
+              1,
+              1,
+              3,
+              2
+            ],
+            "modulus": 3,
+            "offset": 1,
+            "size": 4,
+            "wrong": 3
+          },
+          "low_minimal_width_substitution": {
+            "declared_size": 8,
+            "expected": 5,
+            "input": 5,
+            "modulus": 3,
+            "offset": 1,
+            "wrong": 6
+          }
+        },
+        "rectangles": [
+          {
+            "active_target_omission_checks": 1638400,
+            "declared_widths": [
+              3,
+              3,
+              4,
+              4
+            ],
+            "dirty_columns": 16384,
+            "endpoint_sha256": "e4c5785f980c0918c32f70bcf40f2e24fe22c48be62e48a3ca1e40b6454a7f20",
+            "forward_inverse_global_rows": 458752,
+            "moduli": [
+              5,
+              7,
+              11,
+              13
+            ],
+            "valid_columns": 5005
+          },
+          {
+            "active_target_omission_checks": 640,
+            "declared_widths": [
+              3,
+              3
+            ],
+            "dirty_columns": 64,
+            "endpoint_sha256": "bb2d516611ac14374aa271977df68a398c6e70c91ef1e4d2a9aa6e01b9740083",
+            "forward_inverse_global_rows": 640,
+            "moduli": [
+              5,
+              3
+            ],
+            "valid_columns": 15
+          }
+        ],
+        "scope": "independent mixed-row caller and brute scaled-CRT oracle; predecessor omission argument reused; no tape/E theorem",
+        "status": "PASS_PREIMPLEMENTATION_MIXED_CALLER_ORACLE"
+      },
+      "stderr": ""
+    },
+    {
+      "argv_template": [
+        "{python}",
+        "-I",
+        "-O",
+        "-W",
+        "error",
+        "-B",
+        "{package}/independent_mixed_oracle.py"
+      ],
+      "cwd_template": "{repository}",
+      "exit_code": 0,
+      "receipt": {
+        "compiler_sha256": "7a58689072b730201a6b4007f7b2524db2abff460a3116cfa42821fb2e1b63a5",
+        "negative_controls": {
+          "current_target_validity_gate": {
+            "expected": 2,
+            "input": 1,
+            "literal_trace": [
+              1,
+              1,
+              3,
+              2
+            ],
+            "modulus": 3,
+            "offset": 1,
+            "size": 4,
+            "wrong": 3
+          },
+          "low_minimal_width_substitution": {
+            "declared_size": 8,
+            "expected": 5,
+            "input": 5,
+            "modulus": 3,
+            "offset": 1,
+            "wrong": 6
+          }
+        },
+        "rectangles": [
+          {
+            "active_target_omission_checks": 1638400,
+            "declared_widths": [
+              3,
+              3,
+              4,
+              4
+            ],
+            "dirty_columns": 16384,
+            "endpoint_sha256": "e4c5785f980c0918c32f70bcf40f2e24fe22c48be62e48a3ca1e40b6454a7f20",
+            "forward_inverse_global_rows": 458752,
+            "moduli": [
+              5,
+              7,
+              11,
+              13
+            ],
+            "valid_columns": 5005
+          },
+          {
+            "active_target_omission_checks": 640,
+            "declared_widths": [
+              3,
+              3
+            ],
+            "dirty_columns": 64,
+            "endpoint_sha256": "bb2d516611ac14374aa271977df68a398c6e70c91ef1e4d2a9aa6e01b9740083",
+            "forward_inverse_global_rows": 640,
+            "moduli": [
+              5,
+              3
+            ],
+            "valid_columns": 15
+          }
+        ],
+        "scope": "independent mixed-row caller and brute scaled-CRT oracle; predecessor omission argument reused; no tape/E theorem",
+        "status": "PASS_PREIMPLEMENTATION_MIXED_CALLER_ORACLE"
+      },
+      "stderr": ""
+    }
+  ],
+  "schema_version": 1,
+  "scope": "literal mixed-height caller semantics; predecessor omission argument reused; no full E/tape theorem",
+  "status": "PASS_PREIMPLEMENTATION_MIXED_CALLER_REVIEW",
+  "time_utc": "2026-10-20T12:59:43.996931+00:00"
+}