Manuscript Oai272-A@1 · Oai272-A.tex · section · a40828a0
Admitted complete-history protocols
Stage 0: conventions and the operational package › Admitted complete-history protocols · lines 369–375
The following operational requirements make explicit the model used in the local proof. They preserve the source's relevant resource and complete-history distinctions OpenAI272,CLMOW.