Manuscript En09-A@1 · En09-A.tex · section · eafec9de
The declared refinement class
Complete-channel stability and refinement independence › The declared refinement class · lines 1496–1517
This is the precise error decomposition
A one-step error of order alone does not force the accumulated error to vanish. Nor does a proposed product formula automatically supply the complete-instrument estimates required here. The supplied En05-A comparison distinguishes geometry, schedule, and channel semantics CheungEn05A.
The XXI-A–C identifiers in the development plan motivate this hybrid and complete-experiment interface CheungXXIOutline. Their full texts were not supplied. The estimates used here are proved in this manuscript rather than attributed to unavailable proposition numbers.
Displayed formulas in this passage
unlabeled · line 1499