Covers

reldef:exec:covers

covers — the source execution membrane (a dispatched workflow run) covers the target workflow entry atom (§4.7 sync granularity: one exec record over a run of entries).