pub type CheckStateProvider<'a> = &'a dyn Fn(&Entity) -> CheckState;Expand description
The transition_requires_checks evaluator’s window into the check
ledger: derived verification state for one entity. Callers with an
engine build it from the workspace check ledger; None (no ledger
access — a workspace-less engine, or a call path that cannot reach
one) derives every related entity as never_checked, so a
declared gate refuses honestly rather than passing unverified.