Latest certified finite-dimensional intake · 2026-07-23

Three machine-validated citizens now attach to this program without changing its continuum status:

• E47 Projected Dissipative Energy Identity · NS-E47-ENERGY-E1-2026-07-23
• E47 Quantum Invariant-Subspace Evolution · Q-E47-INVARIANT-E1-2026-07-23
• E47 Heat-Filter Kernel Preservation and Complement Suppression · E47-HEAT-FILTER-E1-2026-07-23

For the declared projected model,

$\partial_tu+\nu Au+PB(u,u)=0,\qquad \frac{d}{dt}\frac12\lVert u\rVert^2=-\nu\langle u,Au\rangle\le0.$

Executed residuals: maximum kernel leakage $1.47\times10^{-13}$; maximum positive energy increment $0$; energy-balance residual $2.78\times10^{-17}$.

Evidence boundary: this closes the finite-dimensional Galerkin/kernel-projected energy estimate. The existing continuum embedding and nonlinear PDE obligations remain open and are not promoted.

Citywide Navier–Stokes Intake · 2026-07-23

Governing boundary

The finite-dimensional E47 construction is exact within its stated carrier. A proof of three-dimensional Navier–Stokes global regularity additionally requires a rigorous continuum embedding, preservation of the nonlinear dynamics, and closure of the stated operator estimate or selection rule. These obligations remain open.

Credential classes

• NS-ACT-C0-001 · Compressible Informational-Action Derivation
  • Status: formal derivation candidate
  • Route: Foundations → Applications Line → Python Subway → Correction Borough → Reproducibility Monorail → Publication Line
  • Sources: Exact Derivation · Explicit Component Mapping
  • Boundary: constitutive identifications and equivalence to the standard compressible PDE require independent audit.
• NS-KPF-Q0-001 · Kernel Projection Factorization Program
  • Status: conditional/open
  • Route: Foundations → Spectral Line → Projector Depot → Green Continuum Interchange → Python Subway → Blue Verification → Correction Borough → Reproducibility Monorail
  • Core obligation: establish the continuum meaning and sufficiency of the finite-dimensional selection rule $P_E S P_E=0$ or the stated operator inequality.
  • Representative sources: Linear Algebra · Parsimonious KPF · Conditional Functional Analysis
• NS-FDM-E1-001 · Finite-Dimensional Projection Model
  • Status: machine-testable finite model
  • Route: Spectral Line → Python Subway → Machine Certificates → Reproducibility Monorail → Green District
  • Certification scope: projector algebra, finite matrices, contraction, residuals, and internally defined selection-rule tests only.
  • Exclusion: does not certify continuum existence, uniqueness, smoothness, or global regularity.
• NS-QSIM-E1-001 · Quantum Projected-Dynamics Simulation
  • Status: finite-dimensional quantum simulation candidate
  • Route: Purple Quantum Line → Python Subway → Blue Verification → Reproducibility Monorail → Green Applications Interchange
  • Source family: KKP Cascade Quantum Simulation Validation and the deduplicated NumPy/QuTiP codex family.
  • Boundary: validates only the implemented finite-dimensional quantum dynamics.
• NS-SYN-A0-001 · Synthesis and Historical Archive
  • Status: provenance/archive
  • Route: Source Archive → Correction Borough → Reproducibility Monorail → Observatory
  • Includes broad monographs and solution-titled documents whose claims exceed their independently verified support.

Canonical transit sentence

$\text{PDE source}\xrightarrow{\text{formal reduction}}\text{finite model}\xrightarrow{\text{Python}}\text{certificate}\xrightarrow{\text{Monorail}}\text{preserved scope and provenance}$