Evidence gate

We use the following evidence labels:

ANALYTIC

Established by the displayed proof, with cited analytical inputs identified.

SUPPLIED

An inherited computational report, not independently executed.

UNCERTIFIED

A computational enclosure or verification claim whose required artifacts or total error bounds have not been supplied.

No numerical current runs, raw current data, or execution logs were supplied for this companion, and none are claimed. In particular, the numerical discrepancies reported for the Wick square and stress tensor in I-B-VP-v2 are not relabeled as checks of the current.

Following XVI-O1-ST's residual-retention discipline CheungO1ST, a future VERIFY report must state its actual scope and retain at least:

Agreement at shared rounded inputs is not an input-error bound. For the closed form, input propagation can use the exact derivatives

Quadrature or mode-tail errors require separate certificates. At a zero of the current, relative residuals may be inapplicable.

A successful test that preserves a known discrepancy does not make the discrepancy vanish. No numerical execution, independent rebuild, formal verification, or successful compiler run is asserted in this manuscript.