Manuscript X-K-ST@1 · X-K-ST.tex · section · 93c39c0f
Declarations
Declarations · lines 2276–2319
metadata. The author field is omitted for anonymous review. Citations to N. Cheung attribute the identified source records; they do not by themselves assign authorship of this submission draft.
and novelty. The claimed contribution is the explicit assembly of finite instrument semantics, fresh-name discipline, causal record readiness, resource fit, and complete error comparison on a retained host. Standard instrument and channel-composition mathematics is not claimed as new.
status. The supplied X-I-ST source and X-J-ST development are cited as supplied texts, not as independently certified registrations. Internal titles, versions, and labels are used only at the documentary level available in the supplied materials or named source records. No internal publication date, DOI, or catalogue-wide verification is invented.
boundary. Every declared surviving factor, public record, failure, and untouched reference is included in the stated comparison. Unobserved Kraus indices are not automatically accessible classical outcomes. A finite channel is not a microscopic apparatus, thermodynamic machine, or continuum detector.
.
No successful execution, numerical
evaluation, proof-assistant verification, symbolic
execution, repository installation, hardware synthesis,
experiment, independent execution, independent
referee approval, or journal acceptance is asserted.
The mathematical claims are the explicit definitions
and written proofs in this file.