Documentary Cheung comparisons

The supplied Cheung manuscripts are cited for their stated scope and for elementary interface patterns that are re-proved when used below. No theorem concerning another model is silently imported.

In particular:

• En05-A, En05-B, and En06-B distinguish scheduled envelopes, prescribed speeds, and finite transport CheungEn05A,CheungEn05B,CheungEn06B.

• En08-A distinguishes scheduler consistency from cone selection; En08-B exhibits accumulation of local errors CheungEn08A,CheungEn08B.

• VII-J distinguishes scheduled ancestry, operational influence, and an independently supplied physical causal relation CheungVIIJ.

• VIII-A and En09-A distinguish records from complete residual outputs CheungVIIIA,CheungEn09A.

• XIX-C distinguishes finite data from a determined continuum evolution CheungXIXC.

• En07-B distinguishes channel equality from thermodynamic cost CheungEn07B.

• XIV-H, XIV-I, XIV-J, and the supplied XV-B revision concern a different characteristic-composition programme CheungXIVH,CheungXIVI,CheungXIVJ,CheungXVB.

The present paper does not discharge that programme. The supplied status conventions remain:

This does not withdraw any separately stated conditional Route A result in XVI-N CheungXVIN.