propositions
The propositions a run produced — the inverse read — by proposition id ascending.
Ids rather than propositions, so this store does not have to read the proposition store to answer. The audit projection joins by canonical id anyway.
Return
At most limit canonical proposition ids. Empty if this tenant has no such run.
Parameters
key
The run, tenant-qualified.
limit
The most ids to return. Must be positive.
Throws
if limit is not positive.