Manuscript IX-D-ST@1 · IX-D-ST.tex · scope · b1dc631a
One file, four ordered releases
Front matter · lines 180–190
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.}