Skip to main content

Module report

Module report 

Source
Expand description

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§

ValidationReport
ValidationResult
One sh:ValidationResult.

Functions§

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.