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

The actual acceptance package

Transport interpretation with an explicit ledger › The actual acceptance package · lines 1188–1199

A logical-only certificate cannot price an unobserved arrival flag. Similarly,

d_{⋄} (Ad_{U^{†}} \circ Λ, id) = d_{⋄} (Λ, Ad_{U})

is a mathematical invariance. It does not provide a free physical implementation of $U^{†}$ as a receiver decoder. Any such implementation must be charged separately.

Displayed formulas in this passage

unlabeled · line 1192
$d_{⋄} (Ad_{U^{†}} \circ Λ, id) = d_{⋄} (Λ, Ad_{U})$

Nearby in this section

assumption: Model specification: Finite transport contract
section: The actual acceptance package
theorem: Theorem: Resource-accounted transport certificate