Example. A latent failure caught before commit [ftip-00HO]
Example. A latent failure caught before commit [ftip-00HO]
A run may pass unit tests while an independent audit finds that the evaluator version in \(d\) differs from the declared version. The audit holds the commit and records the mismatch; replay alone would not have caught it.