v2.4.0 — preprint v3.6.0 after an external review; RDA Proposition machine-checked over ℝ; directions from the owner's publications

Preprint v3.6.0 — Zenodo DOI 10.5281/zenodo.23602528 (26 files, checksums verified)

• External review of v3.5.0 recorded verbatim (paper/review/external_review_v3.5.0_2026-10-23.md; author unstated, no score, not a peer review of record) with a point-by-point response. Accepted: hardware-heterogeneity caveat and architecture-matched rule for the ε = 1e-4 spot-check (new RQ11/E12, HM-S10-08), compounding-approximations threat (E8 all-on vs each-off cells), PoC-scale caveat, architecture figure, Skip-Token-as-dropout note, PA-CGAD-under-quorum note. Declined: moving the scripted-review correction out of the manuscript. Four reported typos were PDF-text-extraction artefacts.
• RDA Proposition machine-checked over ℝ: lean4/mathlib/RDAMultiplier.lean (3 Mathlib theorems, standard axioms only, independent gate; PROV-31).
• Directions from the owner's publications (ROADMAP §3.8): E11 lattice KV-cache codec (RQ10, HM-S10-05), Laya-LoRA curriculum as campaign workload (HM-S10-06), shared lattice package (HM-S10-07), E12 replay divergence (HM-S10-08); five self-citations verified against the Zenodo API.
• Numbers unchanged from v3.5.0; provenance lock 31/31; is_peer_review: false.

Verification

• pdflatex ×3 clean (34 pages, 0 undefined refs); autoevolve_peer_review_pipeline.py 31/31
• Lean: HiveMindSpec 120/120 and RDAMultiplier 3/3 under anse.formal.lean_runner
• pytest subsets (README claims, swarm v2, lattice quantiser) passed; full suite 1018 passed at v2.3.0