test_01_valid_leaf_and_composition (test_ledger.LedgerTests.test_01_valid_leaf_and_composition) ... ok
test_02_unverified_dependency_blocked (test_ledger.LedgerTests.test_02_unverified_dependency_blocked) ... ok
test_03_missing_condition_blocked (test_ledger.LedgerTests.test_03_missing_condition_blocked) ... ok
test_04_target_revision_rejects_old_certificate (test_ledger.LedgerTests.test_04_target_revision_rejects_old_certificate) ... ok
test_05_transitive_invalidation (test_ledger.LedgerTests.test_05_transitive_invalidation) ... ok
test_06_unrelated_branch_preserved (test_ledger.LedgerTests.test_06_unrelated_branch_preserved) ... ok
test_07_cycles_blocked_without_mutation (test_ledger.LedgerTests.test_07_cycles_blocked_without_mutation) ... ok
test_08_finite_test_cannot_pass_math_goal (test_ledger.LedgerTests.test_08_finite_test_cannot_pass_math_goal) ... ok
test_09_test_allowed_for_explicit_test_task (test_ledger.LedgerTests.test_09_test_allowed_for_explicit_test_task) ... ok
test_10_semantic_mismatch_blocked (test_ledger.LedgerTests.test_10_semantic_mismatch_blocked) ... ok
test_11_open_obligation_blocked (test_ledger.LedgerTests.test_11_open_obligation_blocked) ... ok
test_12_refutation_requires_explicit_revision (test_ledger.LedgerTests.test_12_refutation_requires_explicit_revision) ... ok
test_13_no_silent_overwrite (test_ledger.LedgerTests.test_13_no_silent_overwrite) ... ok
test_14_unknown_dependency_blocked (test_ledger.LedgerTests.test_14_unknown_dependency_blocked) ... ok
test_15_export_has_versions_and_events (test_ledger.LedgerTests.test_15_export_has_versions_and_events) ... ok
test_16_reverification_requires_new_downstream_evidence (test_ledger.LedgerTests.test_16_reverification_requires_new_downstream_evidence) ... ok
test_17_reference_required (test_ledger.LedgerTests.test_17_reference_required) ... ok
test_18_identifier_not_coerced_to_integer (test_ledger.LedgerTests.test_18_identifier_not_coerced_to_integer) ... ok
test_19_this_is_not_a_prover (test_ledger.LedgerTests.test_19_this_is_not_a_prover) ... ok

----------------------------------------------------------------------
Ran 19 tests in 0.003s

OK
