Arrival records and complete attempts

Let $Z_n$ be a retained finite classical arrival register with a declared calibration $z\mapsto a_n(z)\in \mathbb{R}$. A failure code is included in its alphabet. For a target arrival coordinate $\tau$, let the good codes satisfy

and exclude failure codes.