t04_fault_tolerance

Supplied working report; original verdicts not validated.

Review status: Blogger published. This is an archival source note, not a passed proof.

Included code and results