Manuscript Psy03-B@1 · Psy03-B-v1.tex · section · 8ca3caf9

Fresh paired assessment

Counterfactual sensitization and persistent vulnerability › Fresh paired assessment · lines 1500–1512

Psy03-B@1#eq:persistence

For simultaneous assessment bands, the strong certificate

U_{scar} < q_{*} \leq L_{comparison}

establishes both post-reset failure and the admitted branch difference. It is not supplied by the source's final test (eq:weaktest), which retains modulation and changes the threshold.

Displayed formulas in this passage

Psy03-B@1#eq:persistence · line 1503
$U_{scar} < q_{*} \leq L_{comparison}$

Nearby in this section

theorem: Theorem: Checkpoint-specific effect certificate
section: Fresh paired assessment
definition: Definition: Persistence after transient reset