essential-check

Core logic related to validating Essential state transitions.

lib.rs:

Core logic for validating Predicates, SolutionSets and Solutions against their associated predicates.

Typical usage is to first validate predicates and solutions independently in full prior to validating against one another with solution::check_set_predicates.

Predicate Validation

• predicate::check_signed_contract validates a signed contract.
• predicate::check_contract validates a contract.
• predicate::check validate an individual predicate.

Solution Validation

• solution::check_set validates a solution set.
• solution::check_solutions validates a solution set's solutions slice.
• solution::check_set_state_mutations validates a solution's state mutation slice.

Solution + Predicate Validation

• solution::check_set_predicates validates a set of solutions against their associated predicates.
• solution::check_predicate validates a single solution against its associated predicate.