← AMRAL · BSD Conjecture · Layer 2 · Recomputation · RUN-074

RUN-074

RUN-074 — GPT-6's Attack 07: an explicit genus-3 curve on E × E, a tangent function, a Bézout certificate mod 11 and a four-term chain with boundary 4·Z_PQ — every algebraic fact recomputed exactly, and the comparison with Kato left where the document leaves it