Manuscript Psy04-A@1 · Psy04-A-v1.tex · section · d5800e2a
Neutral failure scoring
Complete attempted-run records › Neutral failure scoring · lines 876–882
This theorem does not license an additional input-dependent preparation flag outside the counted storage boundary. It only covers complete record laws with the displayed factorization.