Manuscript Hawk02-E@1 · Hawk02-E.tex · section · 4841592b
Minimal certificate packet for an interacting recovery claim
Minimal certificate packet for an interacting recovery claim · lines 2255–2311
A completed microscopic recovery result should archive:
The exact , source normalization, coupling polynomial, couplings, cutoffs, and packet functions.
The mode and occupation basis dictionaries, including source and carrier fermionic ordering.
The insertion isometry and the complete residual inventory.
The finite Hermitian Hamiltonian and the exact definition of its propagator. A floating-point array is not the exact specification unless a proved error enclosure accompanies it.
All accessible and complementary logical matrix-unit outputs.
A rigorously feasible replacement state or complete decoder, together with certified positivity and trace-preservation conditions.
Validated trace-norm upper bounds and any arithmetic allowances.
The regulator parameters selected from Corollary cor:regulator-selection, or sharper proved bounds.
A declared time or a uniform time interval, with a proved continuity allowance when finite sampling in time is used.
For a gravitational claim, the separately derived state, observable, energy, geometry, and radiation-access comparisons on the same interval.
For an endpoint claim, the asymptotic identification, bound-sector audit, complete residual channel, order of limits, and separate gravitational endpoint.
The finite-channel interface in the supplied Em03-H is a useful documentary comparison for items involving complete purifications and matrix units CheungEm03H. Its eigenvector-selected code and finite path are not substituted for the physical loading and continuum evolution specified here.