pub fn validate(
data: &Graph,
schema: &Schema,
) -> Result<ValidationOutcome, NonStratifiable>Expand description
Validate data against schema.
Honors the decided recursion semantics (docs/03-recursion-semantics.md):
the schema must be stratifiable (no recursion through net negation), else
we return NonStratifiable. For a stratifiable schema all recursion is
net-positive (monotone), and [explain]/[holds]’s “assume conforming on a
back-edge” cycle guard computes exactly the greatest fixpoint — the
coinductive validation reading we chose.