Declarations

scope. All three represented models, their preparations, kernels, operators, and global instruments are defined in this manuscript. The proofs do not require companion manuscript citations. The single cited article supplies contextual terminology concerning measurement semantics and represented implementations; it is not used to establish any of the analytic estimates.

and materials. This is a theoretical study. No empirical data are used. The manuscript source is self-contained apart from standard {} packages.

status. No proof-assistant verification, executed compiler check, or independent review is claimed.