λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript Oai283-A@1 · Oai283-A.tex · theorem · 6fb75895

Theorem: Oai283-A release

Debugging corrections and exact release · lines 1937–1965 · proof included or linked

Back to manuscript

The following are constructed on their stated domains:

  1. coherent-oracle circuit semantics and two distinct resource ledgers;

  2. reversible lookup and sparse-table-error witnesses;

  3. complete-channel and clean-subspace error-composition rules;

  4. an exact uniform phase-family pilot and its one-qubit tripartite process insertion;

  5. finite semidefinite and finite-confidence channel certificates;

  6. source-record, Bell, workspace, and shared-memory separation examples;

  7. conditional endpoint and arrival certificates and finite path/teleportation realizations under supplied libraries;

  8. finite-future, affine-generation, symmetry, shape, and one-time-dynamics obstructions.

General universal synthesis, an efficient target-oracle construction, a general local physical oracle implementation, arbitrary-precision transport, and Lorentz-cone extraction are not established.

Proof. The individual constructions and bounds are the preceding lemmas, propositions, and theorems. The universal and physical conclusions listed in the final sentence require hypotheses not constructed in those results. In particular, the exact pilot has a restricted target class and cannot discharge their universal quantifiers.

Nearby in this section