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

RUN-019

RUN-019 — does the witness-network generalisation admit anything, and the corpus's own stop rule applied to this arm