auditAtReplicationEnd

Whether the guide path audits itself once, as each replication ends.

On by default, and unlike checkInvariants it is meant to stay on. The two differ in cost by the whole length of a run: the continuous check walks every zone at the end of every instant the guide path took part in, while this walks them once per replication, which no model will notice. What it buys is that a corruption which produced plausible-looking output announces itself at the end of the replication that caused it, rather than at some later replication or not at all.

It audits what is true while the replication is still running, which is the state this hook sees. It is emphatically not a check that everything has been tidied away: a replication may legitimately end with a transporter blocked, a load aboard and a queue full of work. What must hold is that the model's account of that state is self-consistent.