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§
- Validation
Report - Validation
Result - One
sh:ValidationResult.
Functions§
- report_
to_ graph - Serialize a report as an RDF
sh:ValidationReportgraph (W3C shape). - validate_
report - Validate
dataagainst the shapes inshapes, 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.