Extraction
data class ExtractionRunKey(val contextId: <Error class: unknown class>, val runRef: ExtractionRunRef)
Identifies one run inside one tenant.
A run id is host-minted and DICE never assumes it is globally unique, so the tenant travels with it everywhere. Two tenants that both mint the run id run-1 have two different runs, and this type is why nothing can accidentally treat them as one.
EXPERIMENTAL. The shape may still change while extraction runs (DICE #67) land.