Module report 

W3C sh:ValidationReport generation (component-granular, RDF-driven).

Producing a spec-faithful report needs provenance the optimized algebra discards: each result carries sh:sourceConstraintComponent, sh:sourceShape, and sh:resultPath, and the granularity is one result per (focus, value node, component) — sh:and/sh:or/sh:not/sh:node report as a unit (they do not drill into sub-failures), while sh:property delegates to the nested shape. So this validator walks the shapes graph directly, reusing only the leaf evaluation primitives (succ, value_type_holds). It is separate from the algebra path used for fast conformance.

Coverage is a growing subset of SHACL Core (see docs/BACKLOG.md).

Structs

PropertyWitness

The observed binding of one sh:property shape at one conforming focus node — the inverse of a violation: not what failed, but what a passing property shape’s sh:path actually resolved to.

ValidationReport

ValidationResult

One sh:ValidationResult.

Functions

evaluate_function_expression

Evaluate a SPARQL expression (a dash:expression function-call string such as ex:fn("A", "B")) against the sh:SPARQLFunctions declared in shapes, returning the result term. Drives dash:FunctionTestCases and exposes SHACL functions as a standalone capability. The document’s prefixes and base form the query prologue so prefixed function names resolve.

property_witnesses_graphs_with_mode

Collect PropertyWitnesses for every sh:property shape (reached through sh:property, sh:and, and sh:node from a target/profile node shape) at every focus node that conforms to that node shape — the inverse of validate_report_graphs_with_mode. key_path, when given, is evaluated from each property shape’s own node over the shapes graph to produce a stable PropertyWitness::key; property shapes where it resolves to no value fall back to their own source node as the key.

property_witnesses_graphs_with_mode_and_options

property_witnesses_graphs_with_mode with an explicit severity policy, so conformance agrees exactly with validate_report_graphs_with_mode_and_options under the same options.

report_to_graph

Serialize a report as an RDF sh:ValidationReport graph (W3C shape).

validate_report

Validate data against the shapes in shapes, producing a W3C report.

validate_report_graphs

Validate split data and shapes graphs using the selected graph mode.

validate_report_graphs_with_mode

Validate split data and shapes graphs using an explicit graph mode.

validate_report_graphs_with_mode_and_options

Validate split graphs with an explicit graph mode and severity policy.

validate_report_with_options

Validate and build a W3C report using an explicit severity policy.