Sources and verification scope
On this page · Permalink · Source line 2
The mathematical sources
On this page · Permalink · Source line 5
The realization discussion draws on the companion works listed below. Komorebi Realization Calculus supplies the packet, transfer, and defect language. Komorebi Space develops coherent views, protected repair, and the distinctions among existence, uniqueness, and stability. Proof-Path Theory supplies the certificate and discovery-field distinction, together with its finite models of preservation, provenance, and review. References to recorded verification describe the source reports, not a new replay of those projects.
The elementary calculations in this essay are proved in the text. They illustrate the method and are not presented as new discoveries. The factorization criterion is a set-theoretic statement. The continuation criterion follows from factorization. The return, memory, and defect identities are linear statements. The memory formula retains the declared initial complementary state, including its extra contribution when that state is nonzero. The correction alternative is relative to the specified correction image. The finite-prefix example uses inclusion maps, and the stability example uses the stated bounded operator on \(\ell^2\). The roots-of-unity identity is coefficientwise over \(\mathbb C[[t]]\). Keeping these settings explicit is part of the argument.
What the accompanying checks establish
On this page · Permalink · Source line 10
The source package includes exact Python checks for the finite examples, the reconstructed memory evolution, coefficient calculations, small matrix identities, and the declared proof-field illustration. It includes deliberate invalid witnesses and false finite claims that those checks must reject. The mathematical tests use exact integer and rational arithmetic. Separate archive tests exercise the integrity validator on empty, incomplete, altered, and malformed records. They corroborate the displayed instances and the implementation, not a universal claim about mathematical discovery.
The proofs concerning an unbounded tower and an infinite Hilbert space are written arguments. Finite tests cannot replace them. No new Lean compilation of the essay or fresh audit of the wider Komorebi corpus is asserted. The accompanying audit record distinguishes calculation checks, source consultation, typesetting, and rendered-page review.
Historical placement
On this page · Permalink · Source line 15
Pólya, Lakatos, and experimental mathematics provide intellectual precedents. The Lean sources support the discussion of formal checking. The comparison of research workflows remains a proposed study, not a completed experiment.