λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript Oai365-A@1 · Oai365-A.tex · section · a3840e3d

Cheung manuscript roles

Claim freeze, source status, and dependencies › Cheung manuscript roles · lines 159–188

Back to manuscript

The operational target and its acceptance discipline are documented in Cheung's XXII-A–F CheungXXIIA,CheungXXIIB,CheungXXIIC, CheungXXIID,CheungXXIIE,CheungXXIIF. We use the supplied identifiers and statements as comparisons. The proofs below establish their own interfaces.

In particular:

  • XXII-C uses a countably indexed family of separately tested tripartite processes. It is not one finite process with infinitely many event occurrences.

  • Instrument settings are not additional event occurrences. Experiment identifiers are not physical times or positions.

  • Strongly connected components yield a partial order, but neither a manifold nor a metric.

  • XXII-F proves a conditional implication. Its nonempty operational instantiation is a separate question.

  • En10-A and En10-B provide finite-estimation and physical-identification comparisons, not an already constructed boundary apparatus CheungEn10A,CheungEn10B.

The fact that source passages for En10-A are supplied with the present question does not retroactively make the identifier En10-A@1 a theorem premise of XXII-F. We re-prove the elementary statistical statements used here.