test_absence_requires_negative_control (__main__.ContractTest.test_absence_requires_negative_control) ... ok
test_blocking_surface_requires_deadline (__main__.ContractTest.test_blocking_surface_requires_deadline) ... ok
test_complete_bundle_rejects_timeout (__main__.ContractTest.test_complete_bundle_rejects_timeout) ... ok
test_complete_bundle_requires_count_and_coverage (__main__.ContractTest.test_complete_bundle_requires_count_and_coverage) ... ok
test_diff_refuses_identity_change (__main__.ContractTest.test_diff_refuses_identity_change) ... ok
test_digest_mutation_is_detected (__main__.ContractTest.test_digest_mutation_is_detected) ... ok
test_duplicate_json_key_rejected (__main__.ContractTest.test_duplicate_json_key_rejected) ... ok
test_duplicate_surface_ids_fail_closed (__main__.ContractTest.test_duplicate_surface_ids_fail_closed) ... ok
test_evidence_reference_must_resolve (__main__.ContractTest.test_evidence_reference_must_resolve) ... ok
test_fact_cannot_smuggle_confidence (__main__.ContractTest.test_fact_cannot_smuggle_confidence) ... ok
test_handoff_is_frontier_not_raw_dump (__main__.ContractTest.test_handoff_is_frontier_not_raw_dump) ... ok
test_hypothesis_requires_falsifier (__main__.ContractTest.test_hypothesis_requires_falsifier) ... ok
test_open_unknown_requires_probe (__main__.ContractTest.test_open_unknown_requires_probe) ... ok
test_process_identity_requires_start_ticks (__main__.ContractTest.test_process_identity_requires_start_ticks) ... ok
test_selector_digest_is_load_bearing (__main__.ContractTest.test_selector_digest_is_load_bearing) ... ok
test_stale_bundle_is_rejected (__main__.ContractTest.test_stale_bundle_is_rejected) ... ok
test_timeout_unreaped_helper_is_preserved (__main__.ContractTest.test_timeout_unreaped_helper_is_preserved) ... ok
test_universal_claim_requires_complete_bundle (__main__.ContractTest.test_universal_claim_requires_complete_bundle) ... ok
test_valid_bundle_seals_and_verifies (__main__.ContractTest.test_valid_bundle_seals_and_verifies) ... ok
test_workgraph_has_one_legal_frontier (__main__.ContractTest.test_workgraph_has_one_legal_frontier) ... ok
test_workgraph_rejects_dependency_cycle (__main__.ContractTest.test_workgraph_rejects_dependency_cycle) ... ok
test_workgraph_rejects_ready_task_with_blocked_dependency (__main__.ContractTest.test_workgraph_rejects_ready_task_with_blocked_dependency) ... ok

----------------------------------------------------------------------
Ran 22 tests in 0.012s

OK
