Manuscript En05-A@1 · En05-A.tex · corollary · f076e703
Corollary: Completed program records
Finite programs, syntactic admissibility, and routing › Routing from every starting tick · lines 821–829 · proof included or linked
En05-A@1#cor:terminal
Under the hypotheses of Theorem thm:cone, if a common completed program's reported outcome records are in the terminal region, their law is the same in both runs.
Proof. The reported records are part of the terminal snapshot.