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

RUN-088

RUN-088 — BSD Symbolic Rounds 021–025 (the web GPT's PC-001 character lattice and the late versus pre-leading routes; the second anchor versus a direct transport theorem; non-circularity of a rank-zero pre-leading anchor; the source-line search; the auxiliary leading tensor as native anchor): every