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