Manuscript VIII-ST@1 · VIII-ST.tex · section · fe979f3b
Branchwise promise correction
One destructive clock and complete table instruments › Branchwise promise correction · lines 1932–1937
This is not an operational promise test. Canonical fixed-code, fixed-clock preparations with the explicitly supplied make the admissible domain nonempty.