04-ilang-time / 07-causal-order
07causal orderverified
Determines when a reading on one cell of a chain changes the statistics of a later reading on another, and whether the implied order of events is sharp.
# External verification: 07-causal-order - **Subproject:** 04-ilang-time - **Package:** 07-causal-order - **Verified version:** v2 - **External round:** 2 of 2 - **Date:** 2026-10-10T16:23:51+02:00 - **Focus points:** none --- VERDICT: correct ## Summary The derivation correctly obtains the outcome-averaged influence, its earliest possible order δʳ, and a uniform chain bound independent of the single-cell terms. The analyticity argument rules out a delayed sharp onset, and the stated speed is correctly identified as the speed of the bound’s ε-boundary rather than an actual propagation speed. The genericity arguments distinguish a prescribed delay from all positive delays on one fixed chain; the latter is justified for n = 2, while the unresolved cases for n ≥ 3 are explicitly identified within the permitted scope. The examples, transitivity counterexample, and consistency checks are sound. ## Issues None. ## Focus points None given.