Manuscript En01-C@1 · En01-C.tex · section · 00a2161c

Three computational layers

Restricted reference computation and error ledger › Three computational layers · lines 1831–1858

En01-C@1#tab:layers

Back to manuscript
LayerCompleted in this articlePermitted conclusion
PreparationCovariance and Gaussian-kernel identities; rounded-input diagnostic suppliedAnalytical reference-model preparation formulas
Instruments and recordsNormalized filter; finite-sensor moment transfer; complete-law constructionExact moment certificate in the declared reduced instrument model
Regularized full statesGenerator and moment identities; error requirements identifiedNo validated full-state continuum forecast

in a lower layer is not validation of a higher layer. The cooling output used in the diagnostic is a declared input.