KB3f: the vanishing-character restriction on the 18-point cover question for F2^7 (outcome=partial, no new kappa)

research/f7-18point-vanishing-seedfc618722/ANCHOR-REPRO.json

@@ -0,0 +1,73 @@
+{
+  "schema_version": 1,
+  "session": "KB3f vanishing-character classification (research/f7-18point-vanishing-seedfc618722)",
+  "receipt_validation_correction": "The extracted PR 2911 package's verify.py quick prints 'ANCHORS receipts ... shards=62' from its COMMITTED ANCHOR-PROGRESS.json: that line is receipt validation, not recomputation (its own ANCHOR-REPRO.json records the same correction for PR 2870's package). This package's heavy anchors were re-walked by the byte-vendored anchors.py driver from an EMPTY receipt file (run_anchors_all.py printed 'ANCHORS_RUNNER fresh receipts confirmed'); the committed ANCHOR-PROGRESS.json in this package is the receipt of that walk. A replay against the committed receipt is validation again; deleting ANCHOR-PROGRESS.json and re-invoking anchors.py proves recomputation.",
+  "recorded_anchor_values": {
+    "k10_budget3": 149990400,
+    "k11_level3": 0,
+    "k11_level4": 0,
+    "l18_nodes": 15775992,
+    "l18_cycles": 312064,
+    "l18_universal": 0,
+    "tier_n5_l10": [945, 31],
+    "tier_n6_l12": [10395, 49],
+    "tier_n6_l14": [945945, 59],
+    "n5_covers_through_0": 99200
+  },
+  "reproductions": [
+    {
+      "anchor": "PR 2542/2634 REPRO tiers (945/31, 10395/49, 945945/59, records SHA-256), PR 2542 length-18 census (15,775,992 nodes, 312,064 cycles, 0 universal), PR 2773 row remainder (5,1),(6,0), n=5 set controls (0 nine-point covers max 29, 99,200 ten-point covers), vendored small-group control 420/840/168",
+      "command": "python3.12 -I -B research/f7-17point-cover-audit-seedcfa215c2/verify.py",
+      "observed_marker": "PASS_17POINT_VERIFY seconds=99.5 full=False",
+      "status": "recomputed in full (not receipt validation)"
+    },
+    {
+      "anchor": "PR 2870 OBSTRUCTION parseval=696 allowed=504 deficit=192 (both parity orders), rows remainder (5,1),(6,0) from the vendored engine",
+      "command": "python3.12 -I -B research/f7-17point-fourier-obstruction-seedb5e318fe/verify.py",
+      "observed_marker": "PASS_FOURIER_VERIFY seconds=0.0",
+      "status": "recomputed in full"
+    },
+    {
+      "anchor": "PR 2911 SQUEEZE table (12,6) 1248/696, (11,7) 1166/798 vs 21294, (10,8) 1080/896, (9,9) 990/990 vs 36414; PR 2870 obstruction control",
+      "command": "python3.12 -I -B research/f7-18point-cover-question-seed6d34356c/verify.py quick",
+      "observed_marker": "PASS_F7_18POINT_QUICK seconds=0.0",
+      "status": "recomputed (the ANCHORS receipts lines in this run are receipt validation of PR 2911's committed walk, see receipt_validation_correction)"
+    },
+    {
+      "anchor": "PR 2911 PROFILE18 spectra 16/22/50/31 and NOVANISH lines ((12,6),(10,8) infeasible; vanishing forced)",
+      "command": "python3.12 -I -B research/f7-18point-cover-question-seed6d34356c/verify.py fourier",
+      "observed_marker": "PASS_F7_18POINT_FOURIER seconds=571.0",
+      "status": "recomputed in full"
+    },
+    {
+      "anchor": "PR 2911 ROWS18 808/501/251/196 and the 17-point row controls",
+      "command": "python3.12 -I -B research/f7-18point-cover-question-seed6d34356c/verify.py rows",
+      "observed_marker": "PASS_F7_18POINT_ROWS seconds=0.3",
+      "status": "recomputed in full"
+    },
+    {
+      "anchor": "PR 2911 NOVANISH premise, from this package's byte-vendored cover18.py (pin 24c6a2f4...)",
+      "command": "python3.12 -I -B research/f7-18point-vanishing-seedfc618722/verify.py novanish",
+      "observed_marker": "PASS_F7_18POINT_NOVANISH seconds=0.2",
+      "status": "recomputed in full"
+    },
+    {
+      "anchor": "PR 2773 k10 budget-3 = 149,990,400",
+      "command": "python3.12 -I -B research/f7-18point-vanishing-seedfc618722/anchors.py k10b3 (repeatedly, via run_anchors_all.py)",
+      "observed_marker": "PASS_ANCHORS_K10B3 count=149990400 total_hist={'3': 149990400} shards=62",
+      "status": "re-walked in full from EMPTY receipts (62/62 sub-shards, per-sub-shard receipts in ANCHOR-PROGRESS.json)"
+    },
+    {
+      "anchor": "PR 2773 k11 levels 3-4 = 0, 0",
+      "command": "python3.12 -I -B research/f7-18point-vanishing-seedfc618722/anchors.py k11b4 (repeatedly, via run_anchors_all.py)",
+      "observed_marker": "PASS_ANCHORS_K11B4 count=0 total_hist={} shards=62",
+      "status": "re-walked in full from EMPTY receipts (62/62 sub-shards)"
+    },
+    {
+      "anchor": "PR 2773 n5 control: 99,200 ten-point covers of F2^5",
+      "command": "python3.12 -I -B research/f7-18point-vanishing-seedfc618722/verify.py classify (via run_classify_all.py, empty CENSUS-PROGRESS.json)",
+      "observed_marker": "CONTROL PR2773 n5 control value reproduced: 99200 ten-point covers through {0} (all translations 317440 = 99200 * 32 / 10); PASS_F7_18POINT_CLASSIFY seconds=329.3",
+      "status": "recomputed independently: this enumeration walks all C(32,10) = 64,512,240 ten-sets with no fixed element; the {0}-slice (shard 0) is exactly PR 2773's fixed-0 value 99,200 and the un-normalized total is 317,440 = 99,200 * 32 / 10 (translation orbits have length 32 and each cover has 10 points)"
+    }
+  ]
+}