Manuscript X-K-ST@1 · X-K-ST.tex · section · 93c39c0f
Release and storage
Finite interfaces, fresh clocks, and complete memory › Release and storage · lines 478–486
“Complete” means complete on the declared comparison boundary, including every declared survivor, record, and failure. It does not automatically mean access to every microscopic environment in a possible physical implementation.