Research audit: verify all selected cold-wrapper amplitudes (no new kappa)

.github/workflows/cold-wrapper-amplitude-audit.yml

@@ -0,0 +1,30 @@
+name: Cold-wrapper amplitude audit
+on:
+  pull_request:
+    paths:
+      - 'research/cold-wrapper-amplitude-audit/**'
+      - '.github/workflows/cold-wrapper-amplitude-audit.yml'
+  push:
+    paths:
+      - 'research/cold-wrapper-amplitude-audit/**'
+      - '.github/workflows/cold-wrapper-amplitude-audit.yml'
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  verify:
+    runs-on: ubuntu-latest
+    timeout-minutes: 5
+    strategy:
+      matrix:
+        python: ['3.11', '3.14']
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python }}
+      - run: python -I -O -B research/cold-wrapper-amplitude-audit/verify.py
+      - run: python -I -O -B research/cold-wrapper-amplitude-audit/test_verify.py
+      - run: git diff --exit-code

research/cold-wrapper-amplitude-audit/CLAIM.json

@@ -0,0 +1,56 @@
+{
+  "track": "Adversarial mathematical audit",
+  "seed": 60,
+  "base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60",
+  "selected_kappa": "51110230636731/31250000000000000",
+  "selected_source_head": "660de893d27bb7abd1d5b01b1640207528a5c851",
+  "started_utc": "2026-10-13T04:09:54Z",
+  "claimed_utc": "2026-10-13T04:13:51.577623+00:00",
+  "expected_finish_utc": "2026-10-13T04:55:00Z",
+  "candidates": [
+    {
+      "object": "Selected PR626 cold-helper residual wrappers (E=0, dim U=4)",
+      "decision": "Chosen: independent all-basis amplitude audit rather than shared Clifford/tableau machinery."
+    },
+    {
+      "object": "K-triangle leaver-read schedule legality and accounting",
+      "decision": "Not chosen: active #646, #683 and #687 cover closely related schedules."
+    },
+    {
+      "object": "Prime-power cyclic inverse resultant/reciprocal obligations",
+      "decision": "Not chosen: active #666 and #668 supply distinct exact arithmetic evidence."
+    }
+  ],
+  "exact_scope": "Check L^-1 T_U R^-1 = C_[4] tensor I for the selected cold-ended helper pairs using independent Gaussian-integer amplitude kernels on all 512 basis inputs. Audit all unique pairs; use seed 60 for deterministic mutation ordering and representative selection. No generator imports and no new kappa.",
+  "method": "Derive the canonical-frame kernel from its documented monomial conjugation; compare with an independently decoded serialized L C_[4] R kernel using integer Gaussian numerators. Exhaustive finite matrix entries; no scalar-word/compiler/hosting/all-size audit.",
+  "expected_deliverable": "One self-contained research audit package with proof, exact receipt, source hashes, attribution and meaningful mutation controls; one focused PR.",
+  "coordination": "No pinned issues; only open issue #650 asks for a discussion channel. Claim local per sprint instructions. Open PR inventory inspected through #688.",
+  "plan": [
+    "Locate and bind the exact selected cold wrapper inputs and dependency source definitions.",
+    "Implement two independent kernel constructions and exhaust every basis column; identify a nontrivial phase/interface negative control.",
+    "Verify output and negative controls under normal and optimized Python, source integrity, changed scope, selected-record check; refresh overlap before one PR."
+  ],
+  "status": "completed locally; one focused PR prepared",
+  "completed_utc": "2026-10-13T04:25:00.607945+00:00",
+  "result": {
+    "unique_cold_frames": 14,
+    "provider_local_helper_instances": 44,
+    "basis_columns": 7168,
+    "matrix_entries": 3670016,
+    "negative_controls": 70,
+    "finding": "All selected cold-wrapper identities pass. A right-input Z_6 phase preserves width, support and the zero-input column but changes exactly 256 columns. The production tableau checker already rejects it.",
+    "kappa_change": false,
+    "receipt": "EXPECTED.json"
+  },
+  "overlap_refresh": {
+    "open_prs": 518,
+    "through_pr": 698,
+    "pinned_sprint_issues": 0,
+    "related": {
+      "662": "same archived inputs, acceleration of original tableau engine; new method checks every column without that engine",
+      "581": "different rank-one literal Lean proof",
+      "675": "different owner/controller obligation"
+    },
+    "no_duplicate_found": true
+  }
+}