Independent verification: JP8 adjoint replay and dirty-centre clear witness

research/jp8-adjoint-restoration/CLAIM.md

@@ -0,0 +1,33 @@
+# Sprint claim
+
+- Track: independent verification or formalization. OS assignment seed: **79**, drawn with Python `secrets.randbelow(100)` on 2026-10-13.
+- Base: `66849e1475c930fd7732b1a0067ffee7e1e95f60`.
+- Object: the selected #626 JP8 emitted scalar programs, including target preconditioning, dirty-helper compensation, early cleanup, full cleanup, and private-centre clear/copy operations. Seed 79 chooses index `79 % 2 = 1` in the sorted selected supplier list `[ck, jp8]`.
+- Method: independently written exact reverse-mode pullback of every output coordinate in both orientations. No constructor or production replay imports. Mutate compensation, cleanup, copy and clear operations to obtain exact counterexamples.
+- Deliverable: one standalone Python verifier, pinned input/certificate data, a scoped mathematical explanation, and validation evidence. No new kappa claim.
+- Started: 2026-10-13 04:46 UTC. Expected finish: 2026-10-13 05:26 UTC. Reserve 05:16–05:26 UTC for verification and handoff.
+- Coordination: GitHub's pinned-issue query returned no issues. Claim is local as requested; no reservation issue was opened. Open PR metadata was checked through #720 before claiming.
+
+Three candidates were considered: the raw K-triangle read identity, cold-wrapper amplitudes, and the emitted dirty-input restoration identity. #646/#683/#687 cover K-triangle schedules; #702/#712 cover wrapper amplitudes. The chosen check uses a different execution direction from the selected forward state-map replays and includes arbitrary initial private-centre coordinates. #692 concerns weighted-stride structural closures and bilinear duality, not these concrete JP8 programs. Existing source and review attribution will be retained.
+
+Scope is confined to this directory. The construction, selected frontier, `upstream/`, physical frame/wrapper semantics, recursion, cost model, and global assembly remain unchanged. Acceptance requires all output-coordinate identities in both orientations, meaningful rejected semantic mutations, source binding, and a reproducible offline command. This is a finite scalar verification, not a formal proof of the multiplication theorem.
+
+Prepared for Sagar Thakrar (@thakrarsagar) with substantial OpenAI Codex assistance.
+
+## Result update
+
+Completed on 2026-10-13 at 05:03 UTC and submitted as
+[PR #745](https://github.com/CrocSwap/integer-mult-bounds/pull/745).
+All 724 output functionals pass in both orientations on 724 arbitrary input
+coordinates. Six omission controls are rejected. The complete rank-one defect
+from deleting backward event 13113 has 107 nonzero persistent outputs while
+preserving all 716 ordinary input columns. A separate forward implementation
+reproduced every coefficient. No new kappa is claimed.
+
+The final portion of the session covered normal and optimized execution,
+Python 3.14.8/3.11.15, minimal relocation, gzip recompression, corruption
+rejection, the predecessor comparison, selected-record integrity, and handoff.
+The final overlap check reached #743. Concurrent #734's private-input coverage
+is explicitly credited; this adds reverse-mode evidence and the exact
+clear-omission defect. Full cold/repository-wide and geometric/analytic checks
+remain inherited, as recorded in README.md and VALIDATION.json.

research/jp8-adjoint-restoration/EXPECTED.json

@@ -0,0 +1,313 @@
+{
+  "checks": {
+    "backward": {
+      "input_coordinates": 724,
+      "nonzero_matrix_entries": 828,
+      "operation_counts": {
+        "add": 22219,
+        "clear": 16,
+        "scale": 458
+      },
+      "output_coordinates_checked": 724,
+      "output_covectors_sha256": "7aea79a488659cb6e814a688b5d6db5ac6e1c30dfd9484d0c906903f6333cd65",
+      "persistent_outputs": 716,
+      "private_outputs": 8,
+      "scalar_operations": 22693
+    },
+    "forward": {
+      "input_coordinates": 724,
+      "nonzero_matrix_entries": 828,
+      "operation_counts": {
+        "add": 22211,
+        "clear": 16,
+        "copy": 8,
+        "scale": 458
+      },
+      "output_coordinates_checked": 724,
+      "output_covectors_sha256": "5e8888bf5824130caf079705289c24f23419aa6ed7f9543653ee7c95bbe0f8e7",
+      "persistent_outputs": 716,
+      "private_outputs": 8,
+      "scalar_operations": 22693
+    }
+  },
+  "dirty_centre_gap": {
+    "all_716_L_input_columns_unchanged": true,
+    "all_private_outputs_zero": true,
+    "defect_rank": 1,
+    "event_index": 13113,
+    "input_coordinate": [
+      "C",
+      0
+    ],
+    "nonzero_output_coefficients": [
+      [0, "-1"],
+      [2, "-1"],
+      [7, "-1"],
+      [9, "-1"],
+      [10, "-1"],
+      [11, "-1"],
+      [12, "-1"],
+      [17, "-1"],
+      [18, "-1"],
+      [19, "-1"],
+      [22, "-1"],
+      [23, "-1"],
+      [24, "-1"],
+      [25, "-1"],
+      [27, "-1"],
+      [31, "-1"],
+      [32, "-1"],
+      [33, "-1"],
+      [34, "-1"],
+      [35, "-1"],
+      [38, "-1"],
+      [39, "-1"],
+      [40, "-1"],
+      [45, "-1"],
+      [48, "-1"],
+      [49, "-1"],
+      [50, "-1"],
+      [54, "-1"],
+      [55, "-1"],
+      [56, "-1"],
+      [57, "-1"],
+      [61, "-1"],
+      [62, "-1"],
+      [63, "-1"],
+      [70, "-1"],
+      [71, "-1"],
+      [72, "-1"],
+      [76, "-1"],
+      [77, "-1"],
+      [79, "-1"],
+      [81, "-1"],
+      [85, "-1"],
+      [87, "-1"],
+      [89, "-1"],
+      [90, "-1"],
+      [91, "-1"],
+      [92, "-1"],
+      [94, "-1"],
+      [98, "-1"],
+      [100, "-1"],
+      [101, "-1"],
+      [102, "-1"],
+      [103, "-1"],
+      [107, "-1"],
+      [108, "-1"],
+      [109, "-1"],
+      [224, "-1"],
+      [225, "1"],
+      [226, "-2"],
+      [228, "-1"],
+      [229, "-1"],
+      [231, "1"],
+      [238, "-1"],
+      [240, "-1"],
+      [241, "-1"],
+      [243, "-2"],
+      [244, "-1"],
+      [245, "-1"],
+      [247, "1"],
+      [254, "-1"],
+      [256, "-1"],
+      [257, "-1"],
+      [259, "-2"],
+      [260, "-1"],
+      [261, "-1"],
+      [263, "1"],
+      [270, "-1"],
+      [272, "-1"],
+      [273, "-1"],
+      [275, "1"],
+      [276, "-1"],
+      [283, "-2"],
+      [285, "-1"],
+      [286, "-1"],
+      [287, "-2"],
+      [288, "-1"],
+      [289, "-1"],
+      [291, "1"],
+      [292, "-1"],
+      [299, "-2"],
+      [301, "-1"],
+      [302, "-1"],
+      [303, "-2"],
+      [304, "-1"],
+      [305, "-1"],
+      [307, "1"],
+      [308, "-1"],
+      [315, "-2"],
+      [317, "-1"],
+      [318, "-1"],
+      [319, "-2"],
+      [320, "-1"],
+      [322, "-1"],
+      [323, "-1"],
+      [331, "-1"],
+      [334, "-1"],
+      [335, "-1"]
+    ]
+  },
+  "omission_witnesses": {
+    "backward_initial_centre_clear": {
+      "actual": "-1",
+      "direction": "backward",
+      "event_index": 13113,
+      "expected": "0",
+      "input_basis_coordinate": [
+        "C",
+        0
+      ],
+      "operation": [
+        "clear",
+        [
+          "C",
+          0
+        ],
+        null,
+        "1"
+      ],
+      "output_coordinate": [
+        "L",
+        0
+      ],
+      "phase": "centers"
+    },
+    "forward_centre_copy": {
+      "actual": "3/4",
+      "direction": "forward",
+      "event_index": 13114,
+      "expected": "1",
+      "input_basis_coordinate": [
+        "L",
+        0
+      ],
+      "operation": [
+        "copy",
+        [
+          "C",
+          0
+        ],
+        [
+          "L",
+          229
+        ],
+        "1"
+      ],
+      "output_coordinate": [
+        "L",
+        112
+      ],
+      "phase": "centers"
+    },
+    "forward_compensation": {
+      "actual": "-1",
+      "direction": "forward",
+      "event_index": 169,
+      "expected": "0",
+      "input_basis_coordinate": [
+        "L",
+        224
+      ],
+      "operation": [
+        "add",
+        [
+          "L",
+          118
+        ],
+        [
+          "L",
+          224
+        ],
+        "1"
+      ],
+      "output_coordinate": [
+        "L",
+        113
+      ],
+      "phase": "zero_frame_precondition"
+    },
+    "forward_early_cleanup": {
+      "actual": "1",
+      "direction": "forward",
+      "event_index": 17243,
+      "expected": "0",
+      "input_basis_coordinate": [
+        "L",
+        0
+      ],
+      "operation": [
+        "add",
+        [
+          "L",
+          448
+        ],
+        [
+          "L",
+          76
+        ],
+        "-1"
+      ],
+      "output_coordinate": [
+        "L",
+        448
+      ],
+      "phase": "cleanup_tail"
+    },
+    "forward_final_centre_clear": {
+      "actual": "1",
+      "direction": "forward",
+      "event_index": 13144,
+      "expected": "0",
+      "input_basis_coordinate": [
+        "L",
+        0
+      ],
+      "operation": [
+        "clear",
+        [
+          "C",
+          0
+        ],
+        null,
+        "1"
+      ],
+      "output_coordinate": [
+        "C",
+        0
+      ],
+      "phase": "centers"
+    },
+    "forward_full_cleanup": {
+      "actual": "-1/4",
+      "direction": "forward",
+      "event_index": 18676,
+      "expected": "0",
+      "input_basis_coordinate": [
+        "L",
+        8
+      ],
+      "operation": [
+        "add",
+        [
+          "L",
+          489
+        ],
+        [
+          "L",
+          561
+        ],
+        "-1"
+      ],
+      "output_coordinate": [
+        "L",
+        489
+      ],
+      "phase": "full_frame_cleanup"
+    }
+  },
+  "scope": "Exact finite scalar projection; frames, wrappers, costs and all-size interfaces are inherited.",
+  "status": "PASS_JP8_ADJOINT_RESTORATION",
+  "supplier": "jp8"
+}