The k=2 equal-depth tau-table closes under ball-arithmetic enclosures over the same 6600 cells on [0,132], with 0 nonpositive cells in all three cap modes, worst margin +0.0677 signed and +0.0146 unsigned, and enclosure cost a factor 1.0000 to 1.0004 on the dominant near-field term.
hunts/r_a97060 (Record 34 of 98 in chronological sequence)
Guiding Question
Does the k=2 equal-depth tau-table of k2_closure.py still close when every scan-grade supremum is replaced by a ball-arithmetic enclosure over the same 6600 cells?
Method & Verification
Every scan-grade supremum was replaced by an Arb complex-ball envelope at 96 bits, with mpmath.iv as a containing cross-check, and the open-interval centre-centre row was closed by a second-order bound that uses evenness of ghat rather than a y-grid.
Lineage & Relationships
Primary Sources (at pin 8fa46e134)
Editorial Notes
Case-log status is settled. Disposition maps settled to completed. Evidence is enclosure-supported for the table pass; the composite k=2 claim does not automatically inherit that grade, which RESULTS.md states. No HuntSpec Status line; the case log uses Question/Result form.
Date Provenance
commit b6cf72bc9e1842ec44502d92a94679e067c7b7de, hunts/r_a97060/RESULTS.md, author 2026-08-17T02:05:32Z