Manuscript VIII-ST@1 · VIII-ST.tex · section · fe979f3b
Potential usefulness and precise novelty
Release theorem, significance, and non-claims › Potential usefulness and precise novelty · lines 2647–2673
The positive outcome is a same-document chain from classical geometric realization to finite accepted descriptions, guarded code flow, complete recorded channels, and actual regular causal routes.
It is potentially useful as a benchmark for a later proposal that claims more. Such a proposal can be asked to supply, on the same interfaces:
a source-acquisition instrument rather than a promised token;
a consistent dynamical host change rather than catalogue replacement;
a field representation rather than a finite table;
a physical embedding of every controller dependency rather than a computational support diagram.
Passing one item does not pass the others.
The geometry, matching philosophy, and guarded history have explicit predecessors in series VIII. The general instrument, channel-distance, recovery, and reversible-computation principles are also established subjects DaviesLewis,Watrous,KnillLaflamme,Bennett. No priority claim for those general principles is made.