Correct word-census parity budgets; 22 <= f(7) <= 24 in the PR943 model

research/f7-weight-parity-census-correction/CHECKPOINT.json

@@ -0,0 +1,33 @@
+{
+  "scientific_base_commit": "a23bdc1b07be96bea0101d44ae27d14de67a79ed",
+  "presubmission_main": "ec1f08b16f85937471950f986fffb2efcb4b223a",
+  "priority_revision": 5,
+  "pinned_engine_inputs_unchanged": true,
+  "selected_record_unchanged_since_scientific_base": true,
+  "guidance_delta": "Latest AGENTS/CONTRIBUTING add a maintainer queue procedure; this user-assigned contributor correction does not perform queue intake. Frozen predecessor packages remain unchanged.",
+  "coverage": {
+    "open_prs": {
+      "fetched_at": "2026-10-16T15:16:40.144235+00:00",
+      "complete_pagination": true,
+      "records": 239
+    },
+    "discussions": {
+      "fetched_at": "2026-10-16T15:11:56.709016+00:00",
+      "complete_pagination": true,
+      "records": 1668
+    }
+  },
+  "live_related_prs": [
+    2542,
+    2634,
+    2691,
+    2773,
+    2870,
+    2911,
+    2933,
+    2961
+  ],
+  "decision": "Continue existing word-census correction. Set-level successors expressly leave word enumeration outside their scope. No independent competing corrected word-census found in checked PR/discussion corpus; no-match is not proof of novelty.",
+  "integrated_replay": "FULL-REPLAY.txt; fresh six-case C replay plus independent small/capped controls passed.",
+  "claim_url": "https://github.com/CrocSwap/integer-mult-bounds/pull/2691#issuecomment-6218443989"
+}

research/f7-weight-parity-census-correction/FULL-REPLAY.txt

@@ -0,0 +1,126 @@
+{
+  "admissible_splits": {
+    "18": [
+      [
+        9,
+        9
+      ]
+    ],
+    "20": [
+      [
+        7,
+        10
+      ],
+      [
+        8,
+        10
+      ],
+      [
+        9,
+        9
+      ],
+      [
+        9,
+        10
+      ],
+      [
+        10,
+        7
+      ],
+      [
+        10,
+        8
+      ],
+      [
+        10,
+        9
+      ],
+      [
+        10,
+        10
+      ]
+    ]
+  },
+  "small_word_checks": {
+    "n3_L6": {
+      "restored": 90,
+      "universal": 60,
+      "canonical_universal": 10,
+      "split_histogram": {
+        "2,3": 18,
+        "3,2": 18,
+        "3,3": 24
+      }
+    },
+    "n3_L8": {
+      "restored": 1260,
+      "universal": 1092,
+      "canonical_universal": 182,
+      "split_histogram": {
+        "2,3": 252,
+        "2,4": 12,
+        "3,2": 252,
+        "3,3": 408,
+        "3,4": 72,
+        "4,2": 12,
+        "4,3": 72,
+        "4,4": 12
+      }
+    },
+    "n4_L8": {
+      "restored": 2520,
+      "universal": 624,
+      "canonical_universal": 26,
+      "split_histogram": {
+        "3,4": 48,
+        "4,3": 48,
+        "4,4": 528
+      }
+    }
+  },
+  "tight_claim_countercheck": {
+    "9,9": {
+      "budget": 9,
+      "need": 9,
+      "max_upper": 29,
+      "rows_after_need_plus_one": 36
+    },
+    "10,7": {
+      "budget": 3,
+      "need": 3,
+      "max_upper": 5,
+      "rows_after_need_plus_one": 3
+    }
+  },
+  "simple_n4_counterexample": {
+    "word": "01021323",
+    "weight_split": [
+      4,
+      4
+    ],
+    "weight_excess": 0,
+    "bit0_split": [
+      6,
+      2
+    ],
+    "bit0_excess": 8,
+    "balanced_budget": 5,
+    "actual_bit0_budget": 9
+  }
+}
+PASS_INDEPENDENT_MATH
+PASS: 164 brute comparisons; 12 fail-closed checks; /var/folders/zg/zjljffh16qjdbpf5fg7yp9xc0000gn/T/f7-parity-replay-ywqp5a_0/small/corrected_c_results.json
+PASS: 36 exact node/leaf/hit/prune-count comparisons; /var/folders/zg/zjljffh16qjdbpf5fg7yp9xc0000gn/T/f7-parity-replay-ywqp5a_0/capped/n7_crosscheck_results.json
+SHARD - nodes=951416 candidate_restored_leaves=0 hits=0 complete=true seconds=0.097
+TOTAL N=7 L=18 split=9,9 nodes=951416 candidate_restored_leaves=0 hits=0 complete=true seconds=0.097
+SHARD - nodes=67643567 candidate_restored_leaves=0 hits=0 complete=true seconds=5.102
+TOTAL N=7 L=20 split=9,9 nodes=67643567 candidate_restored_leaves=0 hits=0 complete=true seconds=5.102
+SHARD - nodes=35241 candidate_restored_leaves=0 hits=0 complete=true seconds=0.002
+TOTAL N=7 L=20 split=10,7 nodes=35241 candidate_restored_leaves=0 hits=0 complete=true seconds=0.002
+SHARD - nodes=14450133 candidate_restored_leaves=0 hits=0 complete=true seconds=1.043
+TOTAL N=7 L=20 split=10,8 nodes=14450133 candidate_restored_leaves=0 hits=0 complete=true seconds=1.043
+SHARD - nodes=244301902 candidate_restored_leaves=0 hits=0 complete=true seconds=18.005
+TOTAL N=7 L=20 split=10,9 nodes=244301902 candidate_restored_leaves=0 hits=0 complete=true seconds=18.005
+SHARD - nodes=590371593 candidate_restored_leaves=0 hits=0 complete=true seconds=41.308
+TOTAL N=7 L=20 split=10,10 nodes=590371593 candidate_restored_leaves=0 hits=0 complete=true seconds=41.308
+PASS_F7_WEIGHT_PARITY_FULL fresh_six_case_census universal_words=0 f7_lower=22 f7_upper=24