Manuscript XVI-P@p23 · XVI-P.tex · section · 9b0037a7

Disclosed p14r contract revision

Scope of revision p15: first P.5 calculation › Disclosed p14r contract revision · lines 956–969

Finding F1 of the p14r independent rebuild concerns the p14r PrematureD4Substitution guard in dred.py, which was a heuristic.

What went wrong. It gave a false positive on $η^{r s} \int l_{r} l_{s} / (l^{2} - m^{2}) = J$ , a correct $d$ -free result. It gave a false negative under the premature- $d = 4$ mutation on the same integral: the result was $dJ /4$ , a finite error of $- m^{4} /2$ .
What p15 does. p15 replaces the guard by a structural, provenance-based safeguard. $d$ is opaque and can be substituted only through dred.substitute_d, which records each use. Numeric traces of $g^/ g ~$ are refused. The R5 docstring is corrected, and the reviewer's toys are regression tests.
What does not change. R1–R6 are unchanged, and every other contract file is byte-identical (checked against pinned sha256). Released p14r values are unaffected, since p14r applied the Laurent step only to toys.