Manuscript VII-J@1 · VII-J.tex · definition · d8c01b04
Definition: Causality and accuracy certificate
A reusable mathematical certificate · lines 1917–1953
VII-J@1#def:certificate
A certificate consists of the following finite data and proved bounds.
Physical structure: event space, causal relation, time window, and continuation through any singular or incidence event.
Target dynamics: a named channel , independent of the certificate's causal-safety conclusion.
Localization: model, encoding, ancilla, routing, controller, and decoding ports, with any uncertainty regions.
Complete dependency network: jointly valid support envelopes, including classical branches, resets, and discarded systems.
Clocks: logical depth, hardware availability, model port times, and their declared calibration.
Finite-time causal proof: edge routes or endpoint certificates, with margins. An asymptotic velocity polytope is recorded separately.
Event transition: its channel, locality, record-availability time, and allocation or remapping of every affected factor.
Accuracy: exact equality or a justified channel-norm bound against , including all stated references.
Scope: output regions, intervention class, parameter domain, and unsupported physical identifications.