Paper 2 · Appendix FBoundary
Appendix F · The verification and provenance record
Canonical claim identifiers, analytic proofs, finite checks and source history are distinguished explicitly. This record states what the accompanying research artifacts support and which review obligations remain.
F Proof status, provenance and reproducibility
Research archive availability. The original research archives described below are separate from this web edition and were not supplied with it. This edition reproduces the manuscript's full reported methods and results.
This article is a theoretical sequel to Version 2 of [23]. Its canonical statements were fixed in the accompanying Paper 2 theorem-and-claim package before manuscript assembly. The present internal audit makes the protected-mark, conditional-context, reference-law and spectator hypotheses explicit and narrows overlap-carrier equality to inclusion where further physical constraints are possible. The original formulations and all affected canonical identifiers are preserved in the amendment ledger. The source package maps every retained result to one of 36 canonical identifiers, records any amendment, and preserves the predecessor hashes. Those identifiers include standard results, inherited constitutional material, conditional constructions and optional appendices; they do not denote 36 claims of novelty.
Analytic and computational status.
The general masking, deficiency, quotient, composition and identification claims have explicit analytic arguments here. The associated exact checker uses fractions, integers and binary linear algebra to check their finite examples. Its finite enumeration is not a proof of all real-parameter or all-system statements. The pre-audit manuscript and canonical freeze archives are preserved unchanged. The post-audit package additionally supplies fresh exact masking and linear-program certificates, marked-quotient and causal-composition checks, resource and overlap negative controls, and an independently coded checker of the stored optimization certificates. These are separate code paths within the disclosed AI-assisted research process, not independent investigators.
The central external-review obligations remain the exact masking optimum; the strong marked quotient and causal composition proof; and the physical and comparison-family premises behind resource and candidate transport. No outside mathematician has certified these proofs in the present record, and no formal proof assistant has checked them. Standard statistical and quotient arguments still require correct use of their hypotheses; their familiarity does not exempt them from manuscript review.
Availability and historical sources.
The manuscript source ZIP contains the complete LaTeX and figure sources, bibliography, claim mapping, verification code and outputs, the unchanged canonical freeze archive, and the prepared external-review packet. The public monograph citation was checked against the author's Version 2 publication page and DOI listing; byte identity between the supplied predecessor source and a repository download was not independently established. The source/readout predecessor [22] is identified by its supplied version rather than by an invented public identifier. All operational results needed here are stated with their assumptions, so reading that separate manuscript is not required to check the displayed proofs.
Research assistance and responsibility.
The AI systems and roles used in this programme are disclosed in Section 11. Such assistance is not independent mathematical review. The named author is responsible for the submitted text, its claims, source selection and final interpretation. The disclosure does not imply compliance with any particular venue's AI policy, which must be checked at submission.
What the artifact does not establish.
Checksums establish integrity relative to the saved files, not truth of a theorem or priority of an idea. A repeated deterministic computation establishes reproducibility, not a new independent experiment. The article contains neither a biological/AI phenomenal dataset nor an empirical validation of its awareness interpretation. The distinction between the analytical claim, its finite checks, and external verification is retained throughout the accompanying ledgers.