Exact substitution of n=4, c=2330/1000000, p=2500, m=432 produces the candidate (14400000*H - 17240)/14366681 about 0.6728603588, above the registered 0.6728470198, but GitHub Actions run 33987435968 canceled during the dependency build and every candidate proof step was skipped, so no new proved bound is claimed.
hunts/four_point_pressure (Record 90 of 98 in chronological sequence)
Guiding Question
Can joint pressure and floor tuning improve the four-point bound with a manageable exact proof tree?
Method & Verification
The candidate was substituted exactly into the existing bridge, an emitted-source preflight reported 1516 cell lemmas and 11863 leaves with zero problems, and the complete Lean workflow at d28df5f992479cd32751cb90c8c88551550582a3 was canceled at 2026-09-05T19:42:20Z before FourPoint.Base ran.
Lineage & Relationships
Primary Sources (at pin 8fa46e134)
Editorial Notes
No RESULTS.md or HANDBACK at the pin. Question filled from the HuntSpec. Case log records closed exploratory record, complete Lean check canceled. Disposition is qualified rather than completed because the candidate proof was canceled during the dependency build and no new proved constant was established. Role is artifact preservation because MISSION.md exists to preserve arithmetic and terminal status without importing the candidate.
Date Provenance
commit cd9265f5d2a57fd4372abf22766907c0debffa21, hunts/four_point_pressure/, author 2026-09-05T21:13:47Z