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

Back to manuscript

A certificate consists of the following finite data and proved bounds.

  1. Physical structure: event space, causal relation, time window, and continuation through any singular or incidence event.

  2. Target dynamics: a named channel , independent of the certificate's causal-safety conclusion.

  3. Localization: model, encoding, ancilla, routing, controller, and decoding ports, with any uncertainty regions.

  4. Complete dependency network: jointly valid support envelopes, including classical branches, resets, and discarded systems.

  5. Clocks: logical depth, hardware availability, model port times, and their declared calibration.

  6. Finite-time causal proof: edge routes or endpoint certificates, with margins. An asymptotic velocity polytope is recorded separately.

  7. Event transition: its channel, locality, record-availability time, and allocation or remapping of every affected factor.

  8. Accuracy: exact equality or a justified channel-norm bound against , including all stated references.

  9. Scope: output regions, intervention class, parameter domain, and unsupported physical identifications.

Nearby in this section