Manuscript Psy03-A@1 · Psy03-A.tex · section · b30eb6e9
A general path lemma and the damped certificate
Stress, margins, and complete perturbation budgets › A general path lemma and the damped certificate · lines 678–683
Margin-based certification is standard Tsuzuku. The certificate is conservative, and it is not a theorem that every damping intervention improves actual accuracy.