Machine observation contributes to visibility without asserting correctness.

Machine observation contributes to visibility without asserting correctness. – (WitnessLedger: Independent Verification Pattern)