← AMRAL · BSD 猜想 · 二 · 計算與重現 · RUN-093

RUN-093

RUN-093 — Attack C4, step 2: the transverse extension made into a dictionary (group, cocycle, frame, which entry) and its Selmer line's local conditions computed place by place — **all four vacuous, so membership in `H¹_f` is automatic** — the generator `κ(ε)` shown nonzero with a witness, the trans