Manuscript XVI-Q@Q11 · XVI-Q.tex · section · c7142b6c
Guard, gate and records
Guard, gate and records · lines 351–364
The guard refuses any
Polythat has as a generator. inside the coefficient domain is admitted, as used by the XVI-P integral library.apartandapart_listare removed from the allow-list. 18 bypass forms 4 expressions are probed, and all of them raise.The gate compares every Q01/Q02 certificate value path by path against
q02_expected.json, whose sha256 is pinned in the gate. It independently checks the O.2(c) cells (exact set, all true, .., including the build input), each per-file pin, the conventions files and the errata file, and fails closed.tools/build.pyno longer syncs by default; a release opts in with–sync.The registration record, errata E2 (severity low) and E4 (unpinned
p23_conventions) are corrected, and the XVI-N label note (r10 file, r12 content) is added.