λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript En06-A@1 · En06-A.tex · section · e04c9892

Other predecessor corrections

Transport audit and correction ledger › Other predecessor corrections · lines 2433–2466

Back to manuscript

  1. The stray || inside a remark in CONE is removed by using independent environments in this source.

  2. The affine snapshot is an unnormalized hybrid state.

  3. Local commutation and global program confluence are distinct.

  4. A routing definition must respect storage capacity and the starting tick. It cannot gather arbitrary numbers of injectively placed qubits into a fixed diameter-one pair.

  5. Strong normalization is not an elapsed tick bound.

  6. Word-ball physical scaling is applied once.

  7. A finite-stencil metric envelope is distinguished from actual scheduled influence and from averaged output dynamics.

  8. Physical reach is bounded by ; exact finite-scale equality requires an actually maximum-length generator.

  9. Common-final-tick acquisition data are replaced by separate actual acquisition timestamps.

  10. Subsequence compactness is not full-tail realization, composition compatibility, or diamond-norm compactness.

  11. A -tick blocking may create overlapping coarse envelopes. It is not automatically a radius- product partition on the aggregated lattice.

  12. Commuting CP superoperators are not a proof of an observable -net.

  13. Excluding pure dilations is replaced by calibration of each causal automorphism's scale.

  14. Locally finite acyclic structures need additional input-cut or convergence conditions for infinite-past semantics.

  15. Unrestricted synchronization closure remains withdrawn, rather than being renamed and reused.