Matthew Protti

Related prior public fixed-topology result for the chronology: Matthew Protti released a four-terminal planar acyclic instance on 23 July 2026 establishing the fixed-gadget lower bound $335/294$. It predates this 31 July $1.28249\ldots$ certificate and is narrower in topology and terminal count, but is directly relevant prior work. VibeMathed record: https://vibemathed.com/problem/planar-four-terminal-dgg — immutable release: https://github.com/matthewprotti/planar-ssuf-four-terminal-bound/releases/tag/v0.1.0. The new v0.3.0 fixed-gadget scenario-count program extends that line separately: https://github.com/matthewprotti/planar-ssuf-four-terminal-bound/releases/tag/v0.3.0.