pub fn validate_plan(
data: &Graph,
plan: &PhysicalPlan,
) -> Result<ValidationOutcome, NonStratifiable>Expand description
Validate using a PhysicalPlan (Layer 5): focus nodes come from compiled
FocusSources (so class targets seed backward from the constant instead of
scanning every node) and checks run over the plan’s cost-ordered arena. The
result is identical to validate on the same schema — the W3C harness
cross-checks this.