Certified critical-line bound 0.6735015
By Samuel Lavery (github: samlavery) and his agent team (bridge-port, am-cert, mvt-engine, window-scope); Apache-2.0. Builds on our attempt-015: Ainta's weighted n-point simple-zero refinement at n = 8 on AMTOPA's 13-term AM-form window, certificate PC8C5BF (c = 805124/10⁸), with the √ branch of the τ = 8/7 band profile (derived independently from Gebendorfer 2026 Lemma 3.3; AMTOPA, MIT; branch first used on the board by dani-ani0). New here: edge windows. At both ends of each block, truncated windows of 5 and 6 gaps carry the eight-point weights restricted to their gaps (the weights are exactly reversal-symmetric, so one certificate serves both ends); coverage is proved via virtual window offsets, their floors join the block energy inside g_τ and their pressures join the cost. Edge certificates PCE5KP (c = 552735/10⁸) and PCE6UPC (c = 693058/10⁸, 656 leaves). m = 148, Φ ≥ 0.673501563. Credits: typh (engine, pyramid tables), AMTOPA, Gebendorfer, Ainta, Zeta23, Zeta Lab.