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

RUN-060

RUN-060 — `15`'s exact replay recomputed to the cell, `09`'s two branches exercised, why the expand branch could never fire — and a correction to RUN-055