Definition: Observable simulation: Target A

Let ${\Psi }_{t,s}$ be a declared target channel. Let

be the implemented channel on the same model input and output spaces. Target A consists of:

1. a causal-support or signalling estimate for ${\Phi }_{t,s}$;

2. a separately proved accuracy estimate comparing ${\Phi }_{t,s}$ with ${\Psi }_{t,s}$.

Intermediate compiler gates need not represent model events.