Named comparisons that are not incorporated

The supported-laboratory pattern is comparable with III-B and V-B; represented apparatus questions with IV and IV-B; finite-sample certificates with II and II-B; and clock, schedule, and transport questions with En09-A, En03-A, En05-A, and VII-J CheungComparisons,CheungClockLocality, CheungTransport. Their hypotheses are not silently imported.

The following objects remain separate:

• VII-A through VII-D and VII-I do not supply a quantum source instrument, product domain, sharp interacting observable, or algebra for the present model.

• VII-H's free-scalar susceptibility is not this record, residual instrument, or inherited characteristic coefficient.

• III's equation-space rows and its unconstructed sourced successor are not the direct-sum channel.

• IX-A through IX-E, X-G, and XI-G are different interface or admission questions and are not repaired here.

• VII-F's three-to-six particle event is not the four-face marking, not $\mathcal{W}$, and not a premise of the finite slice model. A readiness record cannot replace its exact guard.

• VIII-B's packet family does not select the supplied deficit. VIII-C's promised source token is not an acquired expectation or a derived dynamical law.

• Em02-E and XX-A's classical lapses, and XIX-A's clock prescriptions, are not geometric code labels or event-time readings.

• En08-A's scheduler consistency does not select our cone. En08-B's null-boundary approximation is not the installed exact route proved above.

• Oai282-A's finite local Ward residual has its own improvement data; it is neither this observation boundary nor a quantum Master Ward identity.

• The OpenAI catalogue is not a premise or a verification. No family supplies the cone, hybrid channel, or clock. Family 265's static area-law question is not the exchange or a Page curve.

• The supplied Hawk, Psy, and Em packet records are not identified with this observation package.

These are documentary comparisons in the supplied source dossier CheungComparisons,AnalyticRecords.