2291 — The Spectral Gaussian Source-to-Observer Complex Is Contextually Faithful
Scoped theorem
For the homogeneous three-site contact packet with frozen covariant massless Gaussian source
the complete admitted source-to-observer complex is contextually faithful. Every rank loss is generated by existing support or an explicitly omitted instrument port, and every lost class is recovered by another admitted port.
Complete chain
The typed architecture is
Its established pieces are:
- the contact packet is the kernel of the frozen route augmentation;
- Gaussian scores reconstruct the labelled deletion packet;
- the real rank-two quadrupole is the traceless metric-shear score;
- the spectral divided difference derives the finite- tensor vertex;
- the tensor adapter multiplies the frozen contact response as ;
- Ward, gauge, and cyclic covariance hold;
- the finite- determinant loses rank only on the existing Gram wall;
- one-polarization loss is recovered by the complementary polarization;
- Gram-wall tensor loss is recovered by the direct Gaussian score port;
- the Gram nearby cone has one Cartier layer and the completed cone is exact;
- external product with elliptic or marked-relative Gauss--Manin coefficients remains horizontally contractible.
- the tensor block carries the induced logarithmic detector connection and is itself horizontal after Gauss--Manin external product.
Component-soft specialization
For , set
The normalized score is
and the logarithmic metric-shear slope is
Therefore the direct scalar-plus-quadrupole score matrix remains the constant unit
through component-soft nearby specialization. Any tensor rank reduction on a soft or Gram intersection is consequently killed in the completed observer complex.
Exhaustive rank-loss classification
No rank loss occurs outside frozen contact, soft, Gram, energy, or compactification support. In particular, the derived finite- determinant contains no independent Landau factor. No unrecoverable class appears in the admitted port family.
Gauss--Manin compatibility
The observer occurrence space is not identified internally with the differently labelled rank-three marked wall quotient. Instead, compatibility is the canonical horizontal external product
for the rank-two elliptic and rank-twelve marked-relative coefficient systems. Its constant inverse contracts the cone. This preserves type distinctions and requires no splitting of the marked extension.
H2 appraisal
The hard falsifier was not found in this frozen source model. The surviving architecture is
No new cosmology-specific Carrier datum is required.
This is a scoped theorem for the spectral Gaussian source. Entry 2267 remains the warning that a different covariantization may have different finite- support and must be frozen independently.
Durable packet
research/benincasa/spectral-gaussian-source-to-observer-complex.jsonresearch/benincasa/checkers/source_to_observer_completion.rs