Assertion list
shard (primary) → AtLocation
Results from Ascent++: 2
shard → AtLocation → available state 0.41
shard → AtLocation → the dust 0.25