Test F4: tolerance is not exact causal containment

Pass condition. Declare whether absence of an edge means the exact guard ${\Delta }_D(p,q)=0$, or a tolerance guard such as ${\Delta }_D(p,q)\le \eta$. Prove the transfer from the implemented comparisons to that guard. A tolerance graph must not be called an exact causal order without a separate theorem.

Finite statistical channel certificates require their actual calibration, coverage, and trial assumptions. Oai265-B's complete-record certificate is a model for keeping those assumptions explicit; its error interval is not exact non-signalling or cone selection CheungOai265B (ass:statistics, thm:main).