Entries and citation numbers follow the retained manuscript. Citation keys keep links stable. These links do not establish what a cited source proves.
[1] rc
Komorebi P. Komorebi Realization Calculus. Companion monograph essay. See “Packets and the structure of transport,” “The permitted correction determines the answer,” and “The residual of a composite must be transported.”
[2] ks
Komorebi P. Komorebi Space: Coherent Realizations, Obstructions, and Descent. Companion mathematical monograph. See the preface, the chapters on views and protected correction, and the treatment of approximate answers and their limits.
[3] ppt
Komorebi P. Proof-Path Theory: Certificates, Compression, Discovery Fields, and Mathematical Memory. Companion mathematical paper. See Sections 2–4, 7–10, 15–17, and 24.6–24.7 for the specific formal record discussed here.
[4] polya
G. Pólya. How to Solve It: A New Aspect of Mathematical Method. Princeton University Press, 1945. Second edition, 1957. See the prefaces and the discussion of the four phases, pp. 5–6. University-hosted scan.
[5] lakatos
Imre Lakatos. Proofs and Refutations: The Logic of Mathematical Discovery. Edited by John Worrall and Elie Zahar. Cambridge University Press, 1976. doi:10.1017/CBO9781139171472.
[6] expmath
David H. Bailey and Jonathan M. Borwein. “Experimental Mathematics: Examples, Methods and Implications.” Author manuscript, 2005. See the introduction, pp. 1–2. Author-hosted text.
[7] leanvalidation
Lean Project. The Lean Language Reference, “Validating a Lean Proof.” Official documentation.
[8] leanaxioms
Lean Project. The Lean Language Reference, “Axioms.” Official documentation.
[9] leancommunity
Lean Community. “Did you prove it?” Guidance on project builds, axiom dependencies, and theorem correspondence. Community verification guidance.