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

RUN-083

RUN-083 — BSD Symbolic Rounds 005–007 (the web GPT's determinant-lattice torsor, rational descent and support control, derived determinant complex): every boxed statement instantiated on explicit integer lattices, rational scalars, ℓ-adic valuations and two-term complexes of free Z-modules — the sig