Research audit: exact scope of retained Fourier layout cancellation (no new kappa)

research/source-permutation-audit/CLAIM.json

@@ -0,0 +1,99 @@
+{
+  "track": "Adversarial mathematical audit",
+  "assignment_seed": 68,
+  "seed_method": "secrets.randbelow(100), backed by operating-system randomness; single draw",
+  "base_commit": "91a2094f2e022930069e8cfdc810a3ea1b81cd09",
+  "claim_time_utc": "2026-10-13T13:25:19+00:00",
+  "expected_finish": "2026-10-14 01:11 Australia/Melbourne (2026-10-13 14:11 UTC)",
+  "budget_minutes": 50,
+  "verification_reserved_minutes": 12.5,
+  "object": "upstream/build/sections/07-resampling.tex, lem:chirp-permutation, eq:source-permutation-cancel",
+  "hypothesis": "For the standard product-group character pairing, the same read permutation can surround the inverse Fourier map exactly when it is a self-adjoint group automorphism; arbitrary common layouts need a matching inverse layout.",
+  "method": "Written character-separation argument; complete permutation censuses on cyclic groups of orders 2 through 8 and products (2,2), (2,3), (2,4), (2,2,2); direct exact cyclotomic convolution controls.",
+  "seed_diversification": "68 modulo 3 = 2 selects the third candidate; prioritize product groups and non-self-adjoint automorphisms, beyond the cyclic unit case.",
+  "deliverable": "Scoped mathematical audit with a proof of the exact extension criterion, reproducible finite census, explicit counterexamples, source pins and no kappa claim.",
+  "candidates": [
+    {
+      "task": "Packed selected-bit repair boundary and invariant exceptional set",
+      "decision": "Not chosen: direct overlap with PR735 and PR773."
+    },
+    {
+      "task": "Fixed-block signed extraction at the positive half-radix boundary",
+      "decision": "Not chosen: PR693 already supplies the carry census and coefficient-alias controls."
+    },
+    {
+      "task": "Necessary and sufficient retained-layout condition for source-permutation cancellation",
+      "decision": "Chosen: no matching open PR found; PR479 audits phase generation and PR879 audits physical transform schedules with matched inverse layouts."
+    }
+  ],
+  "coordination": "No pinned sprint issue, and the only open issues were 650 and 913, neither a claim board. Claim recorded locally as instructed; no new issue posted.",
+  "overlap_snapshot": {
+    "open_pr_count": 722,
+    "max_pr_number": 932,
+    "preclaim_recent_max": 934
+  },
+  "related_prs": [
+    {
+      "number": 479,
+      "head": "40dd01058439cdffae3e3b41c4fe52edaccf5f91"
+    },
+    {
+      "number": 684,
+      "head": "14dd937d9e2d3e51092c0c35a8c2c9cdf8ba81f4"
+    },
+    {
+      "number": 693,
+      "head": "7d857bb58fb55ada6d05364a4b6f01bba8e2283f"
+    },
+    {
+      "number": 735,
+      "head": "8d36139e49add1e55795e283b3bfa45e1cfe1bf0"
+    },
+    {
+      "number": 773,
+      "head": "dbd9da3eed9a0045b77de861099e869259f1ad13"
+    },
+    {
+      "number": 879,
+      "head": "12012c9478d121d6d404a0d94e446016e3f51a2e"
+    }
+  ],
+  "status": "Completed: exact extension criterion, finite census and failure witnesses; no source defect or new kappa.",
+  "completed_utc": "2026-10-13T13:44:27+00:00",
+  "result": {
+    "permutations": 127616,
+    "census_basis_pairs": 2960,
+    "dense_adjoint_pairs": 205,
+    "convolution_counterexamples": 8,
+    "admission_rejections": 1,
+    "positive_controls": 4,
+    "local_result": "README.md",
+    "result_link": "https://github.com/RossRichardson/integer-mult-bounds/tree/research/audit-seed68-20261014/research/source-permutation-audit",
+    "reproduce": "python3 -B -I -O research/source-permutation-audit/verify.py",
+    "validation": "Exact receipt on CPython 3.12.12 and 3.14.6, seven failure-sensitivity tests, relocated package, receipt-corruption rejection, four inherited finite-identity tests and selected-record check."
+  },
+  "final_overlap_check": {
+    "open_pr_count": 708,
+    "highest_open_number": 937,
+    "new_arrivals_inspected": [
+      933,
+      934,
+      936,
+      937
+    ],
+    "body_searches": [
+      "permutation cancellation",
+      "self-adjoint",
+      "source-permutation"
+    ],
+    "body_search_result": "Only source-permutation returned a hit, PR793: JP8 source compensation ordering, unrelated to Fourier layout cancellation.",
+    "related_heads_unchanged": [
+      479,
+      684,
+      879
+    ],
+    "main_commit": "47481c89fd30a43f8f882eb4b391e89c29273fd0",
+    "selected_kappa": "0.001661957774647029",
+    "source_changes": "No change to the audited resampling source or upstream manifest; only historical selected-result context moved."
+  }
+}