Manuscript En08-A@1 · En08-A.tex · section · c688d76d
Results at a glance
Introduction and principal results › Results at a glance · lines 227–261
| Question | Mathematical status |
|---|---|
| Order formation | Acyclic dependency gives a partial order. Statistical sensitivity requires separate treatment. |
| Schedule independence | Compositional independent diamonds suffice on finite histories. |
| Cone selection | False from scheduler consistency alone: Propositions prop:ball and prop:orthant. |
| Lorentz cone | True for an affine cone representation satisfying : Theorem thm:representation. |
| Quadratic signature | A pointed closure of a full negative component selects Lorentzian signature: Theorem thm:signature. |
| Sharp propagation | A geometric boundary and operational attainability are distinct requirements. |
| Conformal reconstruction | Requires Lorentzian realizability, not merely a smooth Alexandrov topology. |
| Causal typing | An explicit origin refinement excludes unavailable free uses, not unused context entries. |