Manuscript VII-E-ST@1 · VII-E-ST.tex · definition · d28d9c5d
Definition: Local Grade S
Introduction, provenance, and the Enter philosophy › Enter and its spacetime interface · lines 197–213
VII-E-ST@1#def:grade
A local Grade S observation package specifies and proves:
a prescribed Lorentzian background and a supported regular laboratory;
named observation and evolution contracts, with their mathematical domains;
a complete finite destructive-clock instrument;
a declared finite encoding of labels and selected residual observations;
reference-preserving transport with complete dependencies embedded in the supplied causal relation.
Grade E would additionally require a construction deriving the geometric data from operational records. It is not claimed.