Manuscript Hawk04-A@1 · Hawk04-A.tex · section · 526092ba

Compatible errors only

What a positive finite-time certificate must contain › Compatible errors only · lines 1781–1804

If preparation, collection, and implementation have proved half-diamond allowances at named interfaces, then a specified decoder obeys

ε_{tot} \leq d r_{dec} + b_{reg} + b_{prep} + b_{collection} + b_{implementation},

capped at one. The proof is telescoping CPTP composition and contraction. This is the discipline used in the supplied En02-B and Em03-C comparisons CheungEn02B,CheungEm03C.

Uncollected weight already included in the complete residual is not charged again as a separate loss. A metric error is not a diamond error without a proved conversion.

Displayed formulas in this passage

unlabeled · line 1786
$ε_{tot} \leq d r_{dec} + b_{reg} + b_{prep} + b_{collection} + b_{implementation},$