Independently audit the exact second-fragment phase and fresh inputs

research/p104-second-fragment-phase-audit/BLIND-FIRST-COMPARISON.json

@@ -0,0 +1,105 @@
+{
+  "status": "PASS_WHOLE_ACTUAL_BLIND_FIRST_CERTIFICATES_EQUAL",
+  "compared_at": "2026-11-05T10:35:06.966802+00:00",
+  "bytes": 21141,
+  "sha256": "31995c0964cb38939efc2f862aab4a7bc1aed5abbde3129029e614aadee77cbb",
+  "matrices": {
+    "final606": {
+      "rows": 34,
+      "columns": 34,
+      "cells": 1156,
+      "terms": 34
+    },
+    "one_prefix395": {
+      "rows": 33,
+      "columns": 33,
+      "cells": 1089,
+      "terms": 78
+    },
+    "prefix402": {
+      "rows": 34,
+      "columns": 34,
+      "cells": 1156,
+      "terms": 63
+    }
+  },
+  "identities": {
+    "final606_equals_entire_declared_diagonal": true,
+    "one_prefix395_Pc_equals_S_D10_a": true,
+    "one_prefix395_bP_equals_S_D10_d": true,
+    "prefix402_fresh33_row_column_untouched": true,
+    "prefix402_retired_row_column4_equals_q_inverse_D10": true,
+    "unit_pairings_and_cut_basis_inverse": true
+  },
+  "controls": [
+    {
+      "accepted": false,
+      "failure_gate": "endpoint_mismatch",
+      "id": "drop_normalizer"
+    },
+    {
+      "accepted": false,
+      "failure_gate": "endpoint_mismatch",
+      "id": "flip_normalizer"
+    },
+    {
+      "accepted": false,
+      "failure_gate": "endpoint_mismatch",
+      "id": "drop_inverse"
+    },
+    {
+      "accepted": false,
+      "failure_gate": "endpoint_mismatch",
+      "id": "wrong_inverse_order"
+    },
+    {
+      "accepted": false,
+      "failure_gate": "endpoint_mismatch",
+      "id": "early_fresh"
+    },
+    {
+      "accepted": false,
+      "failure_gate": "endpoint_mismatch",
+      "id": "omit_paid_fragment"
+    },
+    {
+      "accepted": false,
+      "failure_gate": "endpoint_mismatch",
+      "id": "transpose_input_basis"
+    }
+  ],
+  "primary": {
+    "kind": "PRIMARY",
+    "started_at": "2026-11-05T10:34:50.591078+00:00",
+    "finished_at": "2026-11-05T10:34:50.786117+00:00",
+    "elapsed_seconds": 0.19505241606384516,
+    "exit_code": 0,
+    "status": "PASS",
+    "peak_rss_bytes": 30916608,
+    "peak_rss_unit": "Darwin bytes",
+    "python": "/Users/evaayala/.cache/codex-runtimes/codex-primary-runtime/dependencies/python/bin/python3",
+    "python_version": "Python 3.12.14",
+    "certificate_exists": true,
+    "certificate_sha256": "31995c0964cb38939efc2f862aab4a7bc1aed5abbde3129029e614aadee77cbb",
+    "certificate_bytes": 21141,
+    "sealed_byte_readback": true
+  },
+  "oracle": {
+    "kind": "ORACLE",
+    "started_at": "2026-11-05T10:34:55.105035+00:00",
+    "finished_at": "2026-11-05T10:34:55.754235+00:00",
+    "elapsed_seconds": 0.6492164991796017,
+    "exit_code": 0,
+    "status": "PASS",
+    "peak_rss_bytes": 30867456,
+    "peak_rss_unit": "Darwin bytes",
+    "python": "/Users/evaayala/.cache/codex-runtimes/codex-primary-runtime/dependencies/python/bin/python3",
+    "python_version": "Python 3.12.14",
+    "certificate_exists": true,
+    "certificate_sha256": "31995c0964cb38939efc2f862aab4a7bc1aed5abbde3129029e614aadee77cbb",
+    "certificate_bytes": 21141,
+    "sealed_byte_readback": true
+  },
+  "original_source_program_execution": false,
+  "peer_receipt_exposure_before_both_firsts": false
+}

research/p104-second-fragment-phase-audit/CASES.json

@@ -0,0 +1,68 @@
+{
+  "schema": "p104-cut401-cases/1",
+  "controls": [
+    {
+      "id": "drop_normalizer",
+      "delete": 401
+    },
+    {
+      "id": "flip_normalizer",
+      "replace_index": 401,
+      "event": [
+        "LAMBDA",
+        4,
+        1
+      ]
+    },
+    {
+      "id": "drop_inverse",
+      "delete": 402
+    },
+    {
+      "id": "wrong_inverse_order",
+      "swap_indices": [
+        402,
+        403
+      ]
+    },
+    {
+      "id": "early_fresh",
+      "insert_index": 0,
+      "event": [
+        "ADD",
+        0,
+        33,
+        "1"
+      ]
+    },
+    {
+      "id": "omit_paid_fragment",
+      "delete": 397
+    },
+    {
+      "id": "transpose_input_basis",
+      "replace_slice": [
+        0,
+        3
+      ],
+      "events": [
+        [
+          "SCALE",
+          4,
+          "-1"
+        ],
+        [
+          "SCALE",
+          5,
+          "-1"
+        ],
+        [
+          "ADD",
+          4,
+          5,
+          "-2"
+        ]
+      ]
+    }
+  ]
+}