Manuscript En02-A@1 · En02-A-v1.tex · remark · bb1319d5
Remark: No boundary cocycle estimate without residual control
Certified rational nets and a budgeted mesh theorem · lines 1330–1338
A residual law close to Born on its own state need not be close to the Born conditional law of the original input: the unknown update may change that residual state. Consequently, (eq:meshbound) alone does not justify replacing sequential conditionals by Lüders conditionals at full capacity. No support-graph classification or state-uniform boundary estimate is claimed here.