test_approval_action_can_be_proposed_only_when_explicitly_allowed (test_existence_possibility_compiler.ExistenceEngineTests.test_approval_action_can_be_proposed_only_when_explicitly_allowed) ... ok
test_changes_in_input_change_input_digest (test_existence_possibility_compiler.ExistenceEngineTests.test_changes_in_input_change_input_digest) ... ok
test_conflicting_actions_not_selected_together (test_existence_possibility_compiler.ExistenceEngineTests.test_conflicting_actions_not_selected_together) ... ok
test_constraints_reject_invalid_boolean_type (test_existence_possibility_compiler.ExistenceEngineTests.test_constraints_reject_invalid_boolean_type) ... ok
test_cumulative_risk_limit_blocks_combination (test_existence_possibility_compiler.ExistenceEngineTests.test_cumulative_risk_limit_blocks_combination) ... ok
test_dependency_cycle_yields_no_safe_plan (test_existence_possibility_compiler.ExistenceEngineTests.test_dependency_cycle_yields_no_safe_plan) ... ok
test_deterministic_digest_for_same_input_and_clock (test_existence_possibility_compiler.ExistenceEngineTests.test_deterministic_digest_for_same_input_and_clock) ... ok
test_duplicate_action_ids_rejected (test_existence_possibility_compiler.ExistenceEngineTests.test_duplicate_action_ids_rejected) ... ok
test_experiment_contract_includes_rollback_and_verification (test_existence_possibility_compiler.ExistenceEngineTests.test_experiment_contract_includes_rollback_and_verification) ... ok
test_finds_dependency_chain_and_target (test_existence_possibility_compiler.ExistenceEngineTests.test_finds_dependency_chain_and_target) ... ok
test_future_option_value_rewards_unlocking (test_existence_possibility_compiler.ExistenceEngineTests.test_future_option_value_rewards_unlocking) ... ok
test_irreversible_action_blocked_by_default (test_existence_possibility_compiler.ExistenceEngineTests.test_irreversible_action_blocked_by_default) ... ok
test_missing_target_is_reported_without_false_claim (test_existence_possibility_compiler.ExistenceEngineTests.test_missing_target_is_reported_without_false_claim) ... ok
test_non_finite_numbers_rejected (test_existence_possibility_compiler.ExistenceEngineTests.test_non_finite_numbers_rejected) ... ok
test_option_frontier_breaks_direct_value_tie (test_existence_possibility_compiler.ExistenceEngineTests.test_option_frontier_breaks_direct_value_tie) ... ok
test_pareto_alternatives_are_present (test_existence_possibility_compiler.ExistenceEngineTests.test_pareto_alternatives_are_present) ... ok
test_per_action_risk_limit_blocks (test_existence_possibility_compiler.ExistenceEngineTests.test_per_action_risk_limit_blocks) ... ok
test_resource_budget_blocks_oversized_action (test_existence_possibility_compiler.ExistenceEngineTests.test_resource_budget_blocks_oversized_action) ... ok
test_unknown_observation_reference_rejected (test_existence_possibility_compiler.ExistenceEngineTests.test_unknown_observation_reference_rejected) ... ok
test_unverified_observation_fails_closed (test_existence_possibility_compiler.ExistenceEngineTests.test_unverified_observation_fails_closed) ... ok
test_verified_observation_requires_source (test_existence_possibility_compiler.ExistenceEngineTests.test_verified_observation_requires_source) ... ok

----------------------------------------------------------------------
Ran 21 tests in 0.008s

OK