Manuscript IX-D-ST@1 · IX-D-ST.tex · scope · b1dc631a

One file, four ordered releases

Front matter · lines 180–190

Back to manuscript

file, four ordered releases{ The requested one-file delivery is followed. The four parts retain distinct stage boundaries and do not assert that registry entries have been installed.

“Complete” means complete proofs of the stated interface, kernel, algebraic, and conditional support results. It does not mean a solution of the explicitly retained time-ordering problem. The final causal-product verdict is Unresolved. No proof of universal nonexistence is claimed.}

Nearby in this section