Declarations

interests. The author declares no competing interests.

. No specific grant supported this work.

contribution. N.C.\ developed the finite emission model, resource definitions, mathematical arguments, and computational specification, and prepared the manuscript.

and code availability. The exact circuits, channel identities, ledgers, and standalone finite-check source are included in this document. No external execution log or formal verification certificate is supplied.

and clinical studies. Not applicable.