← AMRAL · BSD 猜想 · 二 · 計算與重現 · 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