Module synthetic 

Synthetic evidence: the run a contract describes, as if every record arrived and every recovery took half its deadline.

This is the hermetic half of the self-check. It needs no cluster, so it runs on every pull request, and it proves two things the live self-check cannot prove alone: that every checked-in contract is internally consistent (a perfect run of it passes), and that the judge’s verdict depends on the evidence rather than on the contract alone (the same run with one record removed fails, naming that record).

Functions

clean_run

A run of contract in which nothing went wrong.

inject_missing_record

Remove the first acknowledged record of the self-check’s path from every reader, and record that it was removed: the synthetic stand-in for the DeleteRecords the live self-check issues.