Re-solving all 13200 cell evaluations (6600 cells times two cap modes) with zone_trade's cuts removed moves no margin, max |delta| 8.3e-17 signed and 1.1e-16 unsigned, so the inner prune never understates the adversary's zone trade on the published k=2 table.
hunts/r_401bbf (Record 30 of 98 in chronological sequence)
Guiding Question
Does the inner prune in k2_closure.zone_trade ever understate the adversary's zone trade on any of the 6600 published k=2 tau-cells?
Method & Verification
The trade was re-solved on every cell by exhaustive enumeration over every multiplicity vector with sum m <= 10, with both of the search's cuts removed, and a planted negative-charge instance was used as a detector-power control.
Lineage & Relationships
Primary Sources (at pin 8fa46e134)
Editorial Notes
Case-log status is settled, outcome (a), on every cell rather than a sample. Disposition maps settled to completed. Headline numbers follow the handback; the case log quotes max |delta| 4.4e-16 on the same census. The prune is also argued sound for nonnegative pair charges, which are squares.
Date Provenance
commit c6b3d59858978b36087152dffdecbda45bb8606c, hunts/r_401bbf/RESULTS.md, author 2026-08-17T22:31:58Z