Finite reporting, coverage, and evidence

The finite supplied-report instrument can install words containing

For a calibrated clock basis $\{|{\tau }_j⟩\}$, set

The recorded instrument is

Its Kraus completeness and discard identities are

including every untouched-reference extension CheungIB (:instrument) CheungEn09,CheungOOneST. It returns the surviving $A$, not a quantum $C$-register. The words are installed descriptions, not measurements acquiring an unknown continuum distribution.

is class relative. Every regular-part test annihilates all contacts in Theorem thm:classification. Thus even the collection of all tests supported away from $\mathcal{W}$ cannot select $c,\tau ,w$.

Within the declared three-dimensional contact space, a finite family of appropriately chosen apex-jet tests can be injective: the three generators are independent distributions, and linear algebra selects separating test actions. That conclusion uses the proved classification. It does not hold for an unrestricted space of worldsheet-supported distributions. This is the finite-coverage distinction of Oai282-A CheungOaiTwoEightTwo.

classes. We retain the reporting discipline used in XVI-O1-ST CheungOOneST:

ANALYTIC

A statement established by the displayed argument and its identified analytical inputs.

SUPPLIED

An inherited computational report, not independently rerun.

UNCERTIFIED

A numerical enclosure or verification claim without the artifacts and total error bounds required for that interpretation.

The results of this paper are analytical. No numerical apex runs or raw logs were supplied or are claimed. The numerical residuals in the regular-part companion papers are not relabeled as checks of these extension identities.

A future regulated numerical report must retain the test, density, smooth structure, component convention, cutoff profile, input encodings, raw subtraction terms, precision, residuals, and remainder bounds. Input error, cutoff error, and quadrature error are separate. A successful regression that retains a known discrepancy does not remove it. No successful pdflatex run, numerical execution, proof-assistant verification, or independent rebuild is asserted.