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

Frozen P.5 inputs.

Frozen classical record (P.3/P.4, unchanged since p13) · lines 1403–1407

Back to manuscript

P.5 inputs.{The sections below are the p13 classical record, carried over verbatim (only the release-gate and test file names are updated). The code that produces it is byte-identical to the p13 source tree 2b1baf33; its certificates keep the names P13_* and are regenerated in every p14 build. The regenerated values are compared with archival/p13/reference_values_p13.json (freeze_p13.F3_frozen_values).}