Inputs and non-inputs

The mathematical manuscript inputs are the full supplied texts of XIV-G, XIII-C, XIV-I, and XIV-J XIVG,XIIIC,XIVI,XIVJ. The supplied XV-F manifest is the record being corrected XVF. It is not treated as an independent verification of all claims in the manuscripts it describes.

The supplied file is named XV-F-vav3.md. The accompanying retrieval account also reports a registration under XV-F-v3.tex. This patch does not assert that those two files are byte-identical or that their line numbers coincide. References to XV-F's labels refer to the supplied manifest and its reported registration, not to an independently inspected missing source file.

XIV-D, XIV-E, XIV-H, XII-A, XII-B, and XI-B are not direct inputs. Their names may occur in copied handoffs, in source bibliographies, or in the list of future dependencies. That occurrence does not import their full contents. A premise explicitly copied into one of the four supplied sheets is usable with the scope of that copied premise; an uncopied predecessor formula is not recovered by a citation to its owner.

The coverage account is documentary context only. In particular, a declared continuation path is not a theorem identifying every object appearing along that path. The patch does not use comparison tracks, classical master-equation statements, or earlier contact certificates to discharge a distributional composition obligation.