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

RUN-097

RUN-097 — R0, the comparison route realized as an actual chain of line maps: **R0 PASS** over `ℋ_Γ`-lines — C1.13 is line-level *because Prop C1.1 lifts the scalar identity*, `𝒞_aux` is LR's `ω_f`-framed crystalline line (not the extension class, which is the transverse line), `𝒞_arith` is the `p`-a