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

RUN-094

RUN-094 — The Loeffler–Rivero paper read, its hypotheses computed on our actual forms: **C4's direction closes**, and certificate item C1's partner-independence turns out to be a theorem of the source rather than an assumption of PC-001 — with a correction to RUN-093, whose "nonvanishing UNMEASURED"