Determine what the E3 constructed locally covariant net actually inherits. Treat CPT, spin-statistics, DHR or sector gauge reconstruction, field and action reconstruction, KMS or horizon thermality, relative-Cauchy stress response, and particle or scattering interpretations as separate theorem targets with explicit hypotheses, nonvacuous examples, and countermodels or typed non-evaluable exits. No blanket QFT inheritance claim is allowed.
B9 (#685) is an optional spectral-information adapter, not a hard prerequisite. Any E4 subtheorem that consumes a B9 result must name that local dependency without blocking the remaining inheritance matrix.
Finite source reconstruction is deliberately separate: B14 (#705) owns the same-source current and holonomy, B15 (#706) the finite matter and Spin action, and B16 (#707) the primitive abelian period, character lattice, and global form. E4 may consume those finite packets, but it may not hide them behind continuum completion.
Deliverables: QFT/StructuralInheritance.lean, a theorem/status matrix in the detailed QFT paper, and explicit downstream gates for F1 and H2.
Depends on: E3 (#700) and B3 (#679).
Wave: V2-W3 Covariant net and gravity.
Determine what the E3 constructed locally covariant net actually inherits. Treat CPT, spin-statistics, DHR or sector gauge reconstruction, field and action reconstruction, KMS or horizon thermality, relative-Cauchy stress response, and particle or scattering interpretations as separate theorem targets with explicit hypotheses, nonvacuous examples, and countermodels or typed non-evaluable exits. No blanket QFT inheritance claim is allowed.
B9 (#685) is an optional spectral-information adapter, not a hard prerequisite. Any E4 subtheorem that consumes a B9 result must name that local dependency without blocking the remaining inheritance matrix.
Finite source reconstruction is deliberately separate: B14 (#705) owns the same-source current and holonomy, B15 (#706) the finite matter and Spin action, and B16 (#707) the primitive abelian period, character lattice, and global form. E4 may consume those finite packets, but it may not hide them behind continuum completion.
Deliverables: QFT/StructuralInheritance.lean, a theorem/status matrix in the detailed QFT paper, and explicit downstream gates for F1 and H2.
Depends on: E3 (#700) and B3 (#679).
Wave: V2-W3 Covariant net and gravity.