Documentation

LeanPool.NavierStokesAndEuler.NavierStokes.ActualCyclePreservation

Preservation by the actual correction cycle #

The fixed parameters, current residual, signed request, and comparison primary are those of the existing initialization. The concrete wave constructions supply the inputs to the generic analytic step.

The actual signed mean cross and its physical scale #

The fixed comparison primary is the actual tangent block, and every signed coefficient uses the same selected matrix, pulse and once-applied cutoff. The physical partition scale is Q n * q_normalized; finite low bands retain their partition factor.

The legacy normalized-tail input cannot describe this chart #

Shared matrix, scaled target and ratio of the signed coefficients #

The actual once-cutoff coefficients #

Individual primary modes at the actual common cover #

The literal requested field and its finite covariance sum #

Exact physical partition factor, and exact cancellation on its tail #

Binding to the signed family of the literal correction cycle #

The cycle field identity is stated without expanding its quantitative SignedFamily proof object. Its coefficient projections are all that the covariance uses.

Gaussian cutoff errors of the actual signed correction #

The transverse cutoff and the Gaussian cutoff remain in the literal native cutoff. The transverse factor has zero fast derivative. Thus the actual error vanishes on the central Gaussian plateau and retains the exact square-root edge weight at every decay exponent.

Uniform Gaussian absorption with the edge weight retained #

Measured debt before the actual rank correction #

The first-wave debt, the signed covariance change, and the temporal mean change are evaluated on the literal intermediate states. No estimate of the post-temporal debt is supplied as a premise.

The actual label set is unchanged by every correction.