Module frozen 

Immutable dictionary-encoded RDF dataset built at the inference→validation boundary. Implements spareval::QueryableDataset so Oxigraph’s prepared SPARQL evaluator can execute queries against it without a mutable Store.

Stage 2 of docs/05-sparql-execution.md.

Structs

DatasetStatistics

Dataset statistics used in stage 3+ for join-order planning (doc §198).

FrozenIndexedDataset

Immutable, dictionary-encoded snapshot of a post-inference RDF dataset. Intended to be built once at the inference→validation boundary and shared across all per-focus-node SPARQL evaluations.

Type Aliases

TermId

Dictionary index for a term. Chosen as u32 to keep triple arrays at 12 bytes each; the 4B ceiling is unreachable in practice.