Which extra structure does karmic continuity need? Pre-registration of a machine-checked map of classical Buddhist accounts

Pre-registration of a Lean 4 formalization of the classical Buddhist accounts of how the result of a momentary act persists until ripening (Vaibhāṣika, Sautrāntika, Yogācāra, MMK 17, Pudgalavāda; Tibetan doxographical ordering as declared standpoint). Deposited before any doctrinal Lean code was written. Contents - m3_praeregistrierung.pdf/.md — target results R1–R5 with falsification conditions, controls, non-triviality criteria, fixed “do not read as” wording, scope limits, deviation policy (v1 + v2 amendments). - m3_uebersetzungstabelle.pdf/.md— translation table: every hypothesis with source (edition, locator, verbatim quotation), translation decision, alternative reading, loss, time ontology, verification stage (v1 + v2 changes). - m3_philologin_pruefung.md— the check of the table by a simulated philol- ogist role (AI; not an independent reviewer), whose must-fix points were verified against the texts and incorporated as v2. - zitate_m2.tsv, zitate_m3.tsv(+ _ergebnis.tsv) — all 78 quotations with locators; zitatabgleich.pyre-checks them verbatim against the open source texts (result at deposit: 78/78 EXAKT). - quellen_sha256.txt— check- sums of the source files used. The texts themselves are not included (licences); obtain them from: - GRETIL plaintext: https://gretil.sub.uni-goettingen.de/gretil/corpustei/transforma- tions/plaintext/ (files sa_vasubandhu-abhidharmakozabhASya.txt, sa_nAgArjuna- mUlamadhyamakakArikA.txt, sa_vasubandhu-triMzikAvijJaptikArikA.txt) - SuttaCentral bilara-data: https://raw.githubusercontent.com/suttacentral/bilara-data/pub- lished/root/pli/ms/abhidhamma/kv/kv1/kv1.1_root-pli-ms.json - toolchain_footprint_test.lean — the only Lean code existing at deposit time (Lean 4.32.0, no Mathlib, no doctrinal content). Method: AI-assisted research workflow (Claude agents directed by the author; Method- ologie v2.3). Author: Fernando Cárdenas Piepereit, Vélez-Málaga, Spain. Licence of this bundle: CC BY 4.0 (to be confirmed at upload).