CollectorTraceSchema

The constraints, indexes and edge types DrivineCollectorTraceStore needs, as plain data the integration-test harness and the autoconfigure module both register, so the schema is declared once for everyone who ensures it.

Properties

Link copied to clipboard

The edges the trace store writes between its own nodes: a signal score points at the candidate edge it scored, and a retired proposition at the decision that retired it. Both sit entirely inside the trace store's own nodes, so a whole-graph observation hides them.

Link copied to clipboard

Every node label the trace store writes, for cascade deletes and test cleanup.

Functions

Link copied to clipboard
open override fun specs(): List<<Error class: unknown class>>

The constraints and indexes this store's writes depend on.