VacuityReport
What one binding's generator actually searched, measured by LatticeLawHarness.measureVacuity and checked against VacuityFloors.
The counts are carried alongside the rates on purpose. A rate on its own is unreadable when the denominator is small — "0.0% retiring" over 6 steps and over 600 are very different claims — and the raw counts are what makes a drift diagnosable rather than merely visible.
Parameters
ordered pairs of distinct pool positions, summed over the seeds measured.
pairs (a, b) with a strictly below b. See VacuityFloors — only one direction of a comparable pair counts, so this tops out at half of pairs.
pairs where neither state is below the other. Both directions count.
ops applied by the pool builder. Absorbing a peer's state is not one.
steps whose op is OpKind.RETIRE and which changed the state.
steps of any kind that left the state unchanged.
the bounds these were measured against, so a printed report is self-contained.
Properties
Fraction of pairs that are concurrent.
Fraction of steps that retired something and changed the state.
Fraction of pairs that are strict-ancestor pairs. A total order reads 0.5.