Manuscript X-I-ST@1 · X-I-ST.tex · section · 9745fd40
Successive instruments
Complete destructive instruments and their composition › Successive instruments · lines 1931–1938
This is a complete finite-interface theorem, consistent with the resource-certified programme patterns in Cheung's finite operational papers FinitePrograms. It does not assert an infinite-time instrument limit.