637/1000 survives at depth 1: an Arb pass at 96 bits over s in [37.0135, 400] bounds sup Dam(1,s)*(s^2-2) by 0.6317735, margin +0.0052 against the constant, and the 0.6636 in K2-TWO-SPECIES.md is a range mismatch because it is a sup over s in [8, 400] while 637/1000 is only asserted for s >= 37.0135.
hunts/r_a7c12f (Record 67 of 98 in chronological sequence)
Guiding Question
Does the far-field constant 637/1000 survive at depth 1, given that K2-TWO-SPECIES.md section 2 measures 0.6636 there?
Method & Verification
An Arb pass at 96 bits through hunts/r_a97060/ball_field.py, adaptive cells, 45030 evaluations, enclosed the asserted range s >= 37.0135, and an independent float scan sat under that enclosure at cost 1.00005.
Lineage & Relationships
Primary Sources (at pin 8fa46e134)
Editorial Notes
Case-log status is settled, the recorded correction is withdrawn, which withdraws the K2-TWO-SPECIES.md depth-1 failure rather than this hunt's claim. Disposition maps settled to completed. Evidence grade is enclosure-supported for the depth-1 bound on [37.0135, 400]; s > 400 is float-grade only and the break depths 1.0494 and 0.9727 are double-precision scans, so those caveats stay in the notes. Question filled from the HuntSpec.
Date Provenance
commit 90d7addb49c4b552426b39acbf1e090ed5da5ef7, hunts/r_a7c12f/RESULTS.md, author 2026-08-23T00:27:25-05:00