← AMRAL · BSD Conjecture · Layer 2 · Recomputation · 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