Manuscript XVI-P@p23 · XVI-P.tex · scope · 9b0037a7
p14r = a narrow repair of p14; P.3/P.4 code byte-identical; no loop evaluated.
Scope of revision p14 (repaired in p14r) · lines 980–990
14r = a narrow repair of p14; P.3/P.4 code byte-identical; no loop evaluated.{
The prescription is made operational: executable DRED index rules, tests against premature , and the withdrawn claim that no evanescent remainder arises (Section sec:p14r-dred).
The D11 M3 labels are corrected, and M3 is made conditional on M2, with an explicit normalization condition.
The counterterm quotient is worded as candidate directions before the identity constraints.
The regeneration coverage is stated, and the independent Hessian-route regeneration W6 is added for D01, D02, D03 and D12.
The isolated-copy gate tests contain the frozen inputs.
p14 is archived in archival/p14/.}