Manuscript Hawk03-A@1 · Hawk03-A.tex · section · 9a109c12

Comparison errors and a conditional physical certificate

Comparison errors and a conditional physical certificate · lines 1269–1275

Back to manuscript

The normalization agrees with the sequential stability logic in Cheung's VII-G CVIIG: if full-diamond allowances are used instead, the resulting state-distance budget includes their factor of one half.

Nearby in this section