Crate shifty_engine 

Validation + SHACL-AF inference execution (Layers 3, 6, 7).

Layer 3 lives here: the naive denotational evaluator that is the conformance oracle — relational path evaluation (path), value-type checks (value), and shape/schema satisfaction ([validate]). The rule/fixpoint inference engine (Layer 6) and compiled executors (Layer 7) come later; every execution mode must agree with this oracle.

Re-exports

pub use infer::InferenceOutcome;

pub use infer::infer;

pub use infer::infer_graphs;

pub use infer::infer_with_context;

pub use report::ValidationReport;

pub use report::ValidationResult;

pub use report::report_to_graph;

pub use report::validate_report;

pub use report::validate_report_graphs;

pub use report::validate_report_graphs_with_mode;

pub use validate::NonStratifiable;

pub use validate::Reason;

pub use validate::ValidationGraphMode;

pub use validate::ValidationOutcome;

pub use validate::Violation;

pub use validate::focus_nodes;

pub use validate::validate;

pub use validate::validate_graphs;

pub use validate::validate_graphs_with_mode;

pub use validate::validate_plan;

pub use validate::validate_plan_graphs;

pub use validate::validate_plan_graphs_with_mode;

pub use validate::validate_plan_with_context;

pub use validate::validate_with_context;

Modules

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.

infer

SHACL-AF rule inference (Layer 6) — least-fixpoint forward chaining.

path

Relational evaluation of the path algebra ⟦π⟧^G (doc 00 §2, Table 1).

profile

Opt-in execution telemetry (doc §269). Collected via a thread-local so no validation API signatures change. Enable with enable(), consume with take().

report

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

validate

Reference shape satisfaction G, v ⊨ φ and schema validation G ⊨ S (doc 00 §3–§4, Table 2). This is the conformance oracle: the optimized engines in later layers must agree with it.

value

Evaluation of value types test(τ) and the term ordering used by sh:lessThan, ranges, etc. Naive reference semantics.