Expand description
Umbrella Rust API for PurRDF.
This crate is the user-facing facade and the single dependency a downstream
needs: it re-exports the RDF 1.2 implementation surface from purrdf_rdf
at the root, and carries every other published crate under a stable module,
so anything a consumer legitimately imports is reachable from purrdf
alone — never by reaching into a sub-crate.
| Module | Sub-crate(s) |
|---|---|
| (root) | purrdf_rdf — core types, codecs, GTS/text adapters |
gts | purrdf_gts (container engine) + the purrdf_rdf GTS adapter |
sparql | purrdf_sparql_eval + purrdf_sparql_algebra + purrdf_sparql_results |
shapes | purrdf_shapes (SHACL) |
shex | purrdf_shex (ShEx 2.1) |
entail | purrdf_entail (RDFS / OWL-RL / OWL-Direct / RIF entailment) |
validate | purrdf_validate (SARIF 2.1.0 reporting boundary) |
slice | purrdf_slice |
viz | purrdf_rdf::viz |
xsd | purrdf_xsd |
iri | purrdf_iri |
events | purrdf_events |
Consumer-config types are surfaced at the root (SliceVocab,
Namespaces, StatementMetadataVocab) and unified behind a single
OntologyProfile a downstream builds once (see profile).
§Example
Every step below goes through the purrdf facade alone — a downstream never
reaches into a sub-crate:
use purrdf::prelude::*;
// Parse RDF 1.2 Turtle into a frozen dataset through the umbrella facade.
let turtle = r#"
@prefix ex: <https://example.org/> .
ex:cat ex:says "meow" .
"#;
let dataset = purrdf::parse_dataset(turtle.as_bytes(), "text/turtle", None)
.expect("valid Turtle");
let view: &RdfDataset = &dataset;
assert_eq!(view.quad_count(), 1);
// The zero-dependency IRI leaf is reachable under a stable module.
let iri = purrdf::iri::parse("https://example.org/cat").expect("valid IRI");
assert_eq!(iri.as_str(), "https://example.org/cat");
// Parse a ShEx 2.1 schema and name a SPARQL results serialization — both
// from the same facade.
let schema = purrdf::shex::parse_shexc(
"PREFIX ex: <https://example.org/>\nex:Cat { ex:says . }",
None,
)
.expect("valid ShExC");
assert!(!format!("{:?}", purrdf::sparql::SparqlResultsFormat::Json).is_empty());
let _ = schema;Re-exports§
pub use profile::OntologyProfile;pub use profile::ReifierVocab;pub use reasoning::QueryEntailment;pub use reasoning::ReasoningError;pub use reasoning::query_with_entailment;
Modules§
- backend
- Narrow purrdf backend traits (P2d).
- bundle
- The self-describing bundle resource layer (S3).
- capture_
support - Shared corpus-classification helpers for the native golden-capture binary ( Task 2/8).
- content_
store - Content-addressed blob store for the self-describing bundle (S3).
- dataset_
io - RDF text/bytes ingress into the frozen
RdfDatasetIR. - dataset_
view - The static, allocation-free read view over an RDF dataset (purrdf P2,
). See
docs/design/purrdf-backend-contract.md. - describe
- Per-subject subgraph extraction — the Symmetric Concise Bounded Description (SCBD) of a resource.
- diagnostic
- Structured diagnostics: severity, source/GTS locations, conversion losses,
and the
RdfDiagnosticrecord callers translate to their reporting layer. - entail
- Native, wasm-clean entailment (
purrdf_entail): RDFS / OWL-RL forward materialization plus the OWL-Direct and RIF entry points, over the frozen IR. - events
- The zero-dependency streaming RDF event model.
- fno
- Native FnO (W3C Function Ontology) typed model + serializer.
- gts
- GTS: the container engine (
purrdf_gts) plus the RDF-level GTS adapter frompurrdf_rdf(read_graph,flattened_dataset_from_bytes, …). - gts_
certify - GTS streamable-compaction certificates (GTS-SPEC §10.1/§10.2, Task 5).
- gts_
compose - The pyo3-free GTS snapshot compose core (P6).
- gts_
view - Rust-owned read-side view over a folded GTS graph.
- gts_
write - Write a frozen
RdfDatasetinto a deterministic GTS byte stream. - ir
- The immutable, value-interned RDF 1.2 dataset IR (C1).
- iri
- IRI parsing, resolution, and CURIE expansion/contraction.
- lookaside
- Structured non-triple material (
RdfLookaside) that travels with an RDF store: typed sidecar resources, metadata entries, segment/blob records, suppressions, opaque nodes, and signature records. - loss
- The machine-readable RDF↔GTS loss ledger (C0).
- model
- The owned RDF 1.2 value model: terms, literals (including base-direction literals), triples, quads, reifiers, and statement annotations.
- native_
codecs - Native RDF text codecs (S3).
- native_
quads - Native
RdfQuad⇄RdfDatasetconversions. - prelude
- The common umbrella surface, for
use purrdf::prelude::*;. - profile
- One consumer-config shape for every namespace-bound emitter.
- provenance
- Generic provenance sidecar for the immutable RDF 1.2 dataset (S2).
- reasoning
- Entailment-aware SPARQL orchestration over the native PurRDF engines.
- shapes
- SHACL shape support.
- shex
- ShEx 2.1 schema parsing, serialization, and validation.
- slice
- Native slice catalog and dataset-wrapper support.
- sparql
- SPARQL 1.1/1.2: parser + algebra (
purrdf_sparql_algebra), evaluator (purrdf_sparql_eval), and results serialization (purrdf_sparql_results). - sssom
- Native SSSOM (Simple Standard for Sharing Ontology Mappings) codec.
- statements
- Native OWL axiom-annotation ↔ RDF 1.2 statement codec — the lead writer.
- store
- Dataset/import capability flags (
RdfStoreCapabilities). - turtle
- Native RDF 1.2 Turtle emitter for
crate::storestores. - turtle_
normalize - A canonical, review-friendly Turtle serializer over the purrdf IR.
- turtle_
render - The canonical, review-friendly Turtle renderer over the purrdf IR — the oxigraph-free half of the on-disk normalizer.
- ustar
- Shared USTAR (tar) codec — byte-deterministic writer + reader.
- validate
- The SARIF 2.1.0 reporting boundary (
purrdf_validate): validate a shapes+data pair to a source-traced, byte-deterministic SARIF log. - viz
- Statement-centric RDF 1.2 visualization projection and SVG export support.
- xsd
- XSD datatype value spaces and operations.
Macros§
Structs§
- Artifact
Id - Opaque id for a packaged artifact within a unit (module file, shapes file, mapping, query, …). Runtime-only (S0.5).
- Artifact
Index - Index of
ArtifactRecords with lookup byArtifactId, by logical path, and byUnitId. - Artifact
Interner - Interner for
ArtifactIds — maps a logical artifact path to a dense numeric id. The path is a string the caller controls (e.g. a repo-relative file path or a content-addressed digest); the kernel does not interpret it. - Artifact
Record - One packaged artifact: a content-addressed reference into the
ContentStore, with no inline payload bytes. - Assertion
Occurrence - One physical assertion: the pair
(unit, artifact)that asserted the quad identified byquad(aQuadHandleinto the associatedRdfDataset). - Attribution
- A structured attribution: which compilation unit played which role in producing a finding, derivation, or SHACL result (S0.3 / §9).
- Blank
Scope - Blank-node scope. Participates in the interning key (C0.2): two blank nodes
from different scopes are distinct even with the same label; two blank nodes in
the same scope with the same label are the same node.
0= default/global scope;> 0= a per-segment scope assigned by the streaming importer. - Budget
Exceeded - The n-degree search’s call/permutation budget (
RDFC_CALL_LIMIT) was exhausted before the dataset canonicalized — a pathologically symmetric blank graph (adversarial input, not a legitimate large dataset: a non-symmetric graph of any size stays well under budget). Returned bytry_canonicalize/try_canonicalize_withinstead of the panic thatcanonicalize/canonicalize_withraise for trusted callers. - Canonicalized
- The result of canonicalizing a dataset.
- Content
Digest - A content id: the SHA-256 digest of a blob’s bytes.
- Content
Store - A content-addressed blob store: bytes keyed by their SHA-256
ContentDigest. - Dataset
Diff - A structural diff between two datasets, for test diagnostics. Counts only; the
blank-aware verdict is
datasets_isomorphic. - Dataset
Provenance - The provenance sidecar for one
RdfDataset. - Dataset
Sink - An
RdfEventSinkthat folds a permissive ingestion event stream into a frozenRdfDataset, tolerant of forward references (two-phase; see the module docs). - FnFunction
- One
fno:Functionnode (always typedfno:Function; any additionalrdf:typeIRIs — e.g. the consumer’s projection-function class for the projection catalog — come fromFnFunction::kind_types). - FnImpl
- One
fno:Implementationnode (one per profile.rq). - FnMapping
- One
fno:Mappingnode linking a function to one profile’s implementation. - FnOutput
- The
fno:Outputnode of a function. - FnParam
- One globally-deduped
fno:Parameternode. - FnParam
Mapping - One
fnom:PropertyParameterMapping(a parameter ↦ a SPARQL variable). - FnReturn
Mapping - One
fnom:DefaultReturnMapping(the function output ↦ a SPARQL variable). - FnoCatalog
- The fully-resolved FnO catalog the
purrdf-sliceemitter assembles and serializes here. - Frozen
Dataset Source - An
RdfEventSourcethat replays an already-frozenRdfDatasetinto anyRdfEventSink: atermevent per term inTermIdorder (declares-before- reference), then quad / reifier / annotation events. - GtsBundle
- The frozen RDF 1.2 hot graph plus its out-of-band envelope.
- GtsCodec
Backend - The native codec backend: a codec-only
RdfParserBackend+RdfSerializerover thepurrdf-gtstext codecs. Holds no state and references no oxigraph Store. - Handle
Entry - A typed handle: a pipeline-side payload
Hpaired with the PINNEDContentDigestof the named graph it projects. - Loss
Entry - One enumerated, intentional conversion loss between two representations.
- Loss
Ledger - An ordered, deterministic set of
LossEntryfor one conversion direction (or the combined matrix). - Mutable
Dataset - A copy-on-write mutable RDF dataset (purrdf P5). Branches cheaply off a
shared frozen base; records mutations as an append delta + a suppression set; and
compacts back to a frozen
RdfDatasetviafreeze. - Namespaces
- The caller-supplied namespace table driving ALL IRI compaction,
$defskeying, and@typediscrimination — for BOTH the schema emitter (compile) and the instance projector (crate::instance). - Origin
SetId - Opaque id for an interned set of origins. Two quads with the same set of
(UnitId, ArtifactId)pairs share anOriginSetId. Runtime-only (S0.5). - Origin
SetInterner - Interner for
OriginSetIds — maps a canonical sorted set of(UnitId, ArtifactId)pairs to a dense numeric id. - Parse
Options - Runtime options for
parse_dataset_with. - Pipeline
Bundle - The pipeline carrier: the frozen hot graph plus its out-of-band material and a typed-handle lane.
- Quad
Handle - A handle identifying a pushed quad by its dense (deduplicated) ordinal, used to
attach a source location sparsely. Like
TermId, it is local to one frozen dataset and is not persistent or merge-stable. - QuadIds
- A small
Copyquad row in term ids, for ID-native consumers.g == Noneis the default graph. - Quad
Pattern Cursor - An owned, row-materialization-free cursor over one indexed quad pattern.
- QuadRef
- A borrowed, resolved quad view: each position is a
TermRefborrowing into the dataset’s term table. No allocation, no clone per quad. - Quad
Values - An owned, dataset-independent quad value — the argument type of
DatasetMut::insert/remove/contains. - RdfAnnotation
- RDF 1.2 statement annotation.
- RdfBlob
Origin - Where a blob’s payload bytes can be fetched from.
- RdfBlob
Record - A content-addressed reference to a blob that travels with an RDF store.
- RdfBundle
- The self-describing, repo-free bundle: dataset + provenance + unit catalog + artifact index + the actual blob bytes.
- RdfDataset
- The immutable, frozen RDF 1.2 dataset. Constructed only via
RdfDatasetBuilder::freeze. - RdfDataset
Builder - The fallible builder that interns terms, accumulates structure, and freezes
into an immutable
Arc<RdfDataset>. - RdfDiagnostic
- Structured RDF diagnostic. Callers translate this to their reporting layer.
- RdfEnvelope
- Out-of-band material that travels with an
RdfDatasetbut is not part of the hot graph (C0.6). - RdfLiteral
- An RDF literal, including RDF 1.2 language direction when available.
- RdfLocation
- Concrete or logical location attached to an RDF diagnostic.
- RdfLookaside
- Structured non-triple material that travels with an RDF store.
- RdfLookaside
Resource - A typed sidecar resource such as SHACL, ShEx, docs, logic, schemas, or queries.
- RdfLoss
- A conversion loss recorded by an RDF adapter.
- RdfMetadata
Entry - A scoped key/value metadata entry carried alongside the triples.
- RdfOpaque
Node Record - A frame preserved as an opaque node: its content was not decoded, only its identity and public envelope survive.
- RdfParse
Request - RDF parser request. Formats are named by media type or local format id at the contract boundary so the core trait does not leak an oxigraph enum.
- RdfQuad
- Owned RDF 1.2 quad with optional adapter/source context.
- RdfReifier
- RDF 1.2 reifier binding.
- RdfSegment
Record - Per-segment facts recorded from the source GTS file.
- RdfSerialize
Request - RDF serializer request. Formats are media types/local ids for the same reason
as
RdfParseRequest: the core trait must not expose an oxigraph enum. - RdfSignature
Record - A frame signature record.
- RdfStore
Capabilities - Capability flags exposed by an RDF dataset/import boundary.
- RdfSuppression
Record - A
suppressdirective (GTS §11) carried through verbatim; decode its targets withRdfLookaside::suppression_targets. - RdfTriple
- Owned RDF 1.2 triple. The model keeps triple-term subjects representable; downstream adapters decide whether a target store can encode them.
- Segment
Unit Map - A set-valued mapping between GTS segments and compilation units (S0.7).
- Serialize
Outcome - Outcome of serializing an
RdfDatasetto a concrete RDF format through the native codecs (universal transcoder helper, ported onto the native path). - Slice
Vocab - The caller’s slice-framework vocabulary: a namespace all term IRIs are
derived from by concatenation (
{ns}{localName}), plus the CURIE prefix name used when emitting prefixed names. - Small
Vec - A
Vec-like container that can store a small number of elements inline. - Span
Table - Opt-in mapping from a data-graph subject to the source
Positionwhere it was first asserted, plus the ordered list of every recorded(subject, position). - Sparql
Request - SPARQL operation request.
- Sssom
Diagnostic - A single validation diagnostic, mirroring the sssom-py golden record shape
{severity, type, message, instance, check}.codecarries the golden’stypestring;checkcarries the originating check name. - Sssom
Mapping - A single SSSOM mapping (one TSV data row).
- Sssom
Mapping Set - A parsed SSSOM mapping set: header metadata + its mappings.
- Sssom
Meta - The SSSOM metadata header.
- Statement
Metadata Vocab - The CALLER-SUPPLIED statement-metadata reification vocabulary the JSON-LD-star downcast emits.
- TermId
- Opaque term identity, LOCAL to one frozen
RdfDataset. Deliberately NOTSerialize/Deserialize, not merge-stable, not meaningful across datasets (C0.8). Any consumer needing a durable identifier MUST resolve the term to its RDF value rather than retaining aTermId. - Unit
Catalog - Maps each
UnitIdto itsUnitMetadata. - UnitId
- Opaque id for a compilation/source unit (file set, import, generated graph, or runtime data input). Runtime-only: MUST NOT enter persistent serialization, cache keys, or derivation hashes (S0.5).
- Unit
Interner - Interner for
UnitIds — maps a logical unit name to a dense numeric id. - Unit
Metadata - Metadata describing one compilation unit (the kernel-generic projection of a slice / root ontology / import / generated graph / runtime input).
Enums§
- Attribution
Role - The role of a compilation unit in a structured attribution (S0.3 / §9).
- Bundle
Error - A hard error from
RdfBundle::load. The loader never silently repairs; every malformed structure is a typedErr. - Canon
Hash - The RDFC-1.0 hash algorithm. SHA-256 is the default; SHA-384 is the spec’s
alternative (RDFC-1.0 §3, exercised by W3C suite
test075). EXTEND beyondoxrdf, which only offered SHA-256. - Content
Store Error - An error raised while validating or accessing a content-addressed blob.
- Graph
Match - How a pattern query matches the graph slot of a quad.
- Graph
Match Value - How a write-side pattern query matches the graph slot of a quad — the
value-based twin of
GraphMatch. - Native
RdfFormat - The RDF text serializations the native codec backend parses and serializes via the
purrdf-gtscodecs. This is the codec-selector enum that replacesoxigraph::io::RdfFormat’s use as a router across the workspace. - Origin
Kind - The kind of a compilation unit. Generic — no
SliceIdhere; thepurrdf-slicelayer interpretsSlice-kind units by wrappingUnitId. - Pipeline
Bundle Error - An error from attaching a typed handle to a
PipelineBundle. - Provenance
Error - An error from the provenance gate.
- RdfList
Error - A malformed RDF Collection encountered while walking
rdf:first/rdf:rest. - RdfLookaside
Kind - Known companion/index kinds. Unknown domains remain representable.
- RdfMetadata
Value - A structured metadata value mirroring the CBOR data model, so GTS metadata round-trips without loss.
- RdfSeverity
- Severity for RDF ingestion, conversion, and adapter diagnostics.
- RdfTerm
- Owned RDF 1.2 term.
- RdfTerm
Kind - RDF term category.
- RdfText
Direction - RDF 1.2 base direction for directional language-tagged literals.
- Serialize
Graph - Which graph(s) a serializer should emit.
- Sparql
Result - Materialized SPARQL result model independent of any concrete query engine.
- TermRef
- A borrowed, resolved view of a term — mirrors
InternedTermbut exposes&strslices borrowed from the dataset, so resolving a term performs no allocation and no clone. Triple components are returned as ids; resolve them recursively withRdfDataset::resolveif their values are needed. - Term
Value - A dataset-independent term value — the lookup key for
RdfDataset::term_id_by_value(purrdf P4).
Constants§
- PROJECTION_
CODECS - Projection codecs: lossy targets that select a semantic subset of the source graph (decidable fragments, rule languages, foundational profiles).
- SSSOM_
DEFAULT_ VALIDATION_ TYPES - The default check set sssom-py runs (
validation_types=None), captured fromsssom.validators.DEFAULT_VALIDATION_TYPESinto the frozen golden. The native validator implements the two reachable-through-parse checks of this set (PrefixMapCompleteness,JsonSchema);StrictCurieFormatis unreachable because PurRDF never emits a pipe-bearing entity slot. Exposed so a consumer can report the parity surface it covers.
Traits§
- Dataset
Mut - The write companion to
DatasetView— the mutation surface a copy-on-write or backed-by-store dataset exposes (purrdf P5; backend contract C4). - Dataset
View - A static, allocation-free read view over an RDF dataset (purrdf backend contract, C2/C3/C6). All methods are infallible for a frozen, validated dataset.
- RdfDataset
Visitor - A receiver for the evented, ID-addressed output of a frozen
RdfDataset. - RdfParser
Backend - Parser ingress seam: drive RDF bytes into any event sink.
- RdfSerializer
- Serializer egress seam over the frozen IR.
- Sparql
Engine - SPARQL query/update seam. The dataset type is associated so an oxigraph-backed engine can operate on its store while a future native engine can operate on the IR/native query store.
- Term
Factory - Term interning seam: dataset-independent values enter a concrete term table.
Functions§
- canonical_
flat_ nquads - The RDFC-1.0 canonical N-Quads document of
dataset, flattened: the RDF 1.2 statement overlay (reifier bindings + annotations) is re-materialized to plainrdf:reifies/ annotation triples BEFORE canonicalizing, with no overlay re-fold. - canonical_
flat_ nquads_ with canonical_flat_nquadswith an explicit RDFC-1.0 hash algorithm (CanonHash::Sha384selects the SHA-384 variant). Used by the W3C RDFC-1.0 conformance gate, whosetest075vector pins SHA-384.- canonicalize
- Canonicalize
dsunder full W3C RDFC-1.0 (SHA-256, extended for the RDF-1.2 overlay). - canonicalize_
with - Canonicalize
dsunder full W3C RDFC-1.0 with an explicit hash algorithm (CanonHash::Sha384is the spec’s SHA-384 variant). Seecanonicalize. - check_
provenance - Validate the provenance sidecar against a set of expected quad handles.
- classify
- Resolve a media type or local format id to a
NativeRdfFormat. - dataset_
diff - A richer diff for test diagnostics: structural counts plus the isomorphism verdict.
- dataset_
from_ bytes - Parse RDF bytes and freeze them into a validated
RdfDatasetvia the native codec path. - dataset_
from_ quad_ sources - Freeze several independently-parsed native
RdfQuadstreams into ONE validatedRdfDataset, folding the RDF 1.2 statement layer, with blank nodes standardized apart per source. - dataset_
from_ quads - Freeze already-built native
RdfQuads into a validatedRdfDataset, folding the RDF 1.2 statement layer. - datasets_
isomorphic - IR-direct structural comparison. Returns
trueiff the two datasets are RDF-structurally isomorphic: the same quads (under a blank-node bijection), the same reifier bindings, and the same annotations. Oxigraph is NEVER consulted. - describe
- One-shot convenience: the SCBD of a single IRI subject in
dataset. - emit_
annotation - Emit a standalone annotation triple
<reifier> <predicate> <object> .. - emit_
quad - Emit a single quad as a Turtle statement line (
<s> <p> <o> .). - emit_
reifier - Emit a reifier binding as
<reifier> rdf:reifies <<( s p o )>> ; <pred> <obj> ; … . - emit_
resource - Emit a free-standing resource:
<subject> a <type> ; <pred> <obj> ; … . - emit_
term - Serialize an
RdfTermto its Turtle form (full<iri>,_:bnode, literal, or the RDF 1.2 non-asserting triple term<<( <s> <p> <o> )>>). - flat_
dataset_ from_ quad_ sources - Freeze several independently-parsed flat owned-
RdfQuadstreams into ONE dataset WITHOUT folding the RDF 1.2 statement layer (every quad — including ardf:reifiestriple-term row — stays a plain quad), with blank nodes standardized apart per source. - flat_
dataset_ from_ quads - Freeze a flat owned-
RdfQuadstream into a dataset WITHOUT folding the RDF 1.2 statement layer (every quad — including ardf:reifiestriple-term row — stays a plain quad). - flat_
rdf_ quads_ from_ dataset - Flatten a frozen
RdfDatasetinto the source-faithful flatRdfQuadstream, for consumers that fold overRdfQuad. Base quads first, then the re-materializedrdf:reifiesreifier rows and the annotation rows. The IR fold + this un-fold are exact inverses. - fno_
to_ ntriples - Serialize a
FnoCatalog’s typed model to N-Triples text (the rdflib-parseable form the Python side re-parses). - fno_
to_ quads - Build the typed model’s quads in the EXACT shape
emit_fno/_emit_fnomproduced — the same triple set, datatypes, and language tags. - gts_
to_ rdf_ loss_ ledger - The intentional losses incurred reading GTS → the RDF 1.2 dataset IR.
- import_
gts_ events - The authoritative GTS ingestion path: folds GTS bytes into a
GtsBundle, preserving per-segment blank-node scope (C2.a). - import_
gts_ graph - Consume a folded GTS
Graphby value, MOVING owned term strings into the interner, and return the frozenGtsBundle. - loss_
matrix_ json - The combined RDF↔GTS matrix as a single deterministic, sorted-by-code JSON
array — the body of the generated
generated/rdf-loss-matrix.jsonartifact. - pair_
loss_ ledger - Compute the static loss contract for a
from → totranscoding pair. - parse_
dataset - Parse RDF text bytes of
media_typeinto a frozenRdfDataset. - parse_
dataset_ with parse_datasetwith a runtime option to also return a source-position side table.- rdf_
to_ gts_ loss_ ledger - The intentional losses incurred projecting the RDF 1.2 dataset IR → GTS.
- rule_
iri - Mint the namespaced, percent-encoded rule IRI for a rule label.
- serialize_
dataset - Serialize a frozen
RdfDatasetto RDF text ofmedia_type, honoring theSerializeGraphselection. Returns the serialized bytes. - serialize_
dataset_ base_ only - Serialize a frozen
RdfDatasetto RDF text ofmedia_type, emitting ONLY the base quads and DROPPING the RDF 1.2 statement layer (reifier bindings + annotations). - serialize_
dataset_ to_ format - Serialize the frozen IR to a concrete
NativeRdfFormat, returning the bytes and the count of RDF-1.2 statement-layer rows dropped because the target format does not carry the star layer (the projection doctrine). - transcode_
loss_ matrix_ json - The full transcode loss matrix as deterministic JSON.
- try_
canonicalize - Canonicalize
dsunder full W3C RDFC-1.0 (SHA-256), returningErr(BudgetExceeded)instead of panicking when the n-degree search exceedsRDFC_CALL_LIMIT. - try_
canonicalize_ with - Fallible, explicit-hash-algorithm form of
try_canonicalize. Seecanonicalize_withfor the panicking (trusted-caller) equivalent.
Type Aliases§
- Bytes
- Owned blob payload bytes. A thin alias so the by-reference doctrine reads
clearly at call sites: only the kernel’s
ContentStoreever owns aBytes; everything else holds aContentDigest. - Fast
Hasher - The workspace fixed-key
ahashhasher builder. Non-cryptographic, no runtime RNG seeding — see the module docs for the determinism policy. - FastMap
- A
std::collections::HashMapkeyed by the workspaceFastHasher. - FastSet
- A
std::collections::HashSethashed by the workspaceFastHasher. - Handle
Key - The key identifying the named graph a typed handle backs. An IRI string is the stable, dataset-independent name of the graph the handle projects.
- IdSet
- A
FastSetof internedTermIds — the common id-membership set. - IdVec
- A small-vector of interned
TermIds, inline up to 4 ids.