Research audit: exact interior-carry criterion for compact controls (no new kappa)

research/compact-guard-audit-seed71/CLAIM.json

@@ -0,0 +1,77 @@
+{
+  "ai_assistance": "Substantial OpenAI Codex assistance in mathematics, implementation, verification, and writing. No independent human peer review claimed.",
+  "assignment_seed": 71,
+  "base_commit": "1b59b624d21924f8e3537cdc1ac52d3be6eda2fe",
+  "candidate_tasks": [
+    {
+      "decision": "Not selected; closely covered by the retained owner-boundary audit and PR1091.",
+      "object": "Whole-owner event boundaries"
+    },
+    {
+      "decision": "Not selected; substantial concurrent coverage in PR1054, PR1085, and PR1135.",
+      "object": "Dirty recursive precision/restoration"
+    },
+    {
+      "decision": "Selected; prior compact audit PR763 retains this guard, PR1108 treats one-digit repeated boundaries, and PR735/773 concern the different wide-slot gadget.",
+      "object": "Compact-control target guard"
+    }
+  ],
+  "completion": {
+    "completed_utc": "2026-10-13T20:18:32.931839+00:00",
+    "nearest_prs_rechecked": [
+      763,
+      1108
+    ],
+    "result": "Exact nonsaturated earlier-source full-map agreement criterion, invariant repair-envelope density, and target-invisible dirty-field counterexample. No new kappa.",
+    "result_artifact": "https://github.com/bbMisk/integer-mult-bounds/tree/research/compact-guard-audit-seed71/research/compact-guard-audit-seed71",
+    "status": "DONE",
+    "submission_status": "One focused research-note PR; publication link is recorded in the submission handoff.",
+    "subprocess_faults_rejected": 7,
+    "unique_census_states": 1679360
+  },
+  "contributor": "Hanson Sun (@bbMisk)",
+  "coordination": {
+    "claim_location": "local, as permitted when no pinned sprint coordination issue exists",
+    "discussion_threads_checked": [
+      1163,
+      1166,
+      1167
+    ],
+    "open_prs_checked": 811,
+    "pinned_issues": []
+  },
+  "domain": {
+    "G": ">=1",
+    "K": ">=G+1",
+    "n": ">=1",
+    "rho": "0..K-1",
+    "temporary_digits": "0..2^G-2"
+  },
+  "expected_deliverable": "One isolated research package with proof, exact deterministic receipt, source pins, controls, and one focused PR.",
+  "expected_finish_utc": "2026-10-13T20:55:49Z",
+  "failure_modes": [
+    "Checking target bits but missing dirty temporary corruption",
+    "Confusing a sufficient no-carry envelope with global exact failure support",
+    "Omitting the highest selected-bit operation",
+    "Using T(q) instead of T(S^-1(q)) for repair",
+    "Calling finite replay a universal formal proof"
+  ],
+  "license": "Apache-2.0",
+  "method": "Exact carry equations; independent complete modular permutation interpreter; finite all-address quotient checks; source-interpreter differential samples; omitted-hypothesis controls.",
+  "overlap_heads": {
+    "1108": "b76bb2853be4e7001508582b10913e32ad7aba9f",
+    "735": "8d36139e49add1e55795e283b3bfa45e1cfe1bf0",
+    "763": "a5d3436b82f5a58033ec6b490ebb23db0c1860c6",
+    "773": "dbd9da3eed9a0045b77de861099e869259f1ad13"
+  },
+  "protected_invariant": "Every admitted complete address maps to the intended selected-bit XOR, with source, all dirty compact fields, and every unselected target bit restored.",
+  "scope": "Earlier-source compact-control four-update word: exact full-map agreement under nonsaturated temporary digits, interior target carries, and an invariant sharper repair envelope.",
+  "seed_diversification": "Seed 71 selects deterministic source-comparison and counterexample-ordering samples; the actual distinction is the multi-digit target-guard obligation, not the seed.",
+  "seed_source": "Python secrets.randbelow(100), operating-system randomness",
+  "selected_kappa_at_base": "836330098538459/500000000000000000",
+  "started_utc": "2026-10-13T19:55:49.383027+00:00",
+  "stopping_rule": "One bounded audit; finish explicit finite domains and controls, or report a counterexample. No supplier optimization or full repository replay.",
+  "time_budget_minutes": 60,
+  "track": "adversarial mathematical audit",
+  "verification_and_handoff_reserved_minutes": 15
+}