annotation_query         5
arity_query              6
async_future             6
capability_query         5
definitions_query        6
prohibition_query        4
seam_binding             7
seam_caller              5
tagged_gate              10
temporal_query           6
temporal_signatures      4
unguarded_deref          6
units_as_data            6

harnesses = 13
total assertions = 76