Manuscript XVI-H@1 · XVI-H.tex · section · af895076

Provenance and proof dependencies

Provenance and proof dependencies · lines 239–304

Back to manuscript

This manuscript revises the supplied XVI-H-v3.tex. The current witness references are:

  • revised XVI-E.tex, “Polarized root representation and witness-level completion compatibility”;

  • revised XVI-F.tex, “Auxiliary/root compatibility and direct witness completion”;

  • current XVI-G.tex, “Frequency-dependent witness testing and resonant asymptotics.”

The supplied XVI-H-v3 reproduces additional XII-D source-kernel and root-kernel statements, and XI-G switch identities. The complete XII-D and XI-G manuscripts are not independently available here. Accordingly, those statements are formulated below as explicit inherited inputs. Their use is not represented as a full-file verification.

ItemProvenanceRole here
Prepared source coefficientsXII-D statements reproduced in XVI-H-v3Explicit input; degree audit proved below
Diagonal completion and responseXII-D interface reproduced in revised XVI-D/E/FDefinition and domain input
Compact root and its joint kernelXII-D statements reproduced in XVI-H-v3Explicit kernel/support assumptions
Witness compatibilityRevised XVI-E/F and current XVI-GImported with matching conventions and hypotheses
Kernel construction and continuityPresent manuscriptProved from the stated root/source inputs
Partial contraction to Present manuscript plus current XVI-GProved as a distributional equality
Switch representativeXI-G identities reproduced in XVI-H-v3Conditional consistency audit, not admission

The current XVI-G cites an earlier XVI-H only as a record of subsequent obligations, not as a premise of its witness proofs. No result of the present kernel construction is used to prove the imported witness chain. Thus witness matching below does not depend circularly on this revision.