ASSISTANCE_AND_PROVENANCE.md
Realization Boundaries
ASSISTANCE_AND_PROVENANCE.md
1 # Assistance and provenance
2
3 The author credit in the reading edition is Komorebi P., following the established project identity.
4
5 The monograph and this final proofreading were prepared with AI assistance in the current collaboration. Work included organization of supplied notes, ordinary proof review and expansion, exact-arithmetic implementation, testing, reference checking, vector figures, and LaTeX production. This is not an independent human referee report, and it does not assert separate author approval of every proof.
6
7 The final review found and corrected an overstatement about reflection of isomorphisms by profinite completion. The earlier argument used D as a source object while its statement was restricted to the groups G_A. The revised text distinguishes those categories and proves the positive reflection statement for the paired-prime subcategory. It also corrects terminology for computable profinite presentations, clarifies proof hypotheses, and rejects malformed numeric inputs that the earlier implementation silently accepted.
8
9 The original publication archive remains unmodified in the release root's provenance directory. It preserves the predecessor manuscript, arithmetic code and production records. Historical records are distinct from the current accepted Lean receipt.
10
11 The book supplies ordinary proofs and is accompanied by checked Lean sources with native oracle semantics. The formal work includes finite-code interpretation, actual computable copies, cofinal finite observation systems and grammar escape. Compiler, dependency audit and same-kernel replay records are provided at the release root. No independent external certification or exhaustive historical-priority audit is claimed. No noncomputable selector was evaluated by Python. Exact tests and visual checks are recorded separately.
12
13 The reading edition intentionally omits development versions and operational logs from its narrative. Technical records remain available here for inspection.