Declarations

interests. The author declares no competing interests.

. No specific grant supported this work.

contribution. N.C.\ developed the resource model, mathematical constructions, proofs, and computational specification, and prepared the manuscript.

and code availability. The exact code data, programmes, proof certificates, 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.