Proposition
class PropositionRunLinkScopeException(val key: ExtractionRunKey, val propositionIds: List<String>) : RuntimeException
A link named a proposition the run's tenant does not hold.
Either the proposition does not exist, or it exists in another tenant. Those are the same answer from inside a tenant, and they mean the same thing: this run cannot claim to have produced it.
The message names the run and up to five of the rejected ids. Proposition ids are DICE-minted identifiers and carry no content, so naming them is what an operator needs; the count covers the rest, so a large batch cannot produce a log line of unbounded length.
EXPERIMENTAL. The shape may still change while extraction runs (DICE #67) land.