Crate car_validator 

Action validation — precondition checking and invariant enforcement.

Structs

ValidationError

A single validation failure.

ValidationResult

Aggregate result of validating an action.

Functions

check_precondition

Check a single precondition against state.

validate_action

Validate a single action against state and registered tools.