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

RUN-098

RUN-098 — R0.5, the localization audit: the symbolic line's objection — a nonzero divisor is not a unit — was right — `Ψ₁` is injective but **not** surjective for the target because `L_E` has a double zero — verdict **C**: R0 lives over `ℋ_Γ`-lines localized at `X^n` and at the divisor of `L_p^g`, t