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

Back to manuscript

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/.}

Nearby in this section