test_01_initial_history (test_xpvb_reference.XPVBReferenceTests.test_01_initial_history) ... ok
test_02_version_schedule (test_xpvb_reference.XPVBReferenceTests.test_02_version_schedule) ... ok
test_03_declared_options (test_xpvb_reference.XPVBReferenceTests.test_03_declared_options) ... ok
test_04_history_counts (test_xpvb_reference.XPVBReferenceTests.test_04_history_counts) ... ok
test_05_macro_endpoints (test_xpvb_reference.XPVBReferenceTests.test_05_macro_endpoints) ... ok
test_06_not_all_micro_values_one (test_xpvb_reference.XPVBReferenceTests.test_06_not_all_micro_values_one) ... ok
test_07_some_micro_path_stays_one (test_xpvb_reference.XPVBReferenceTests.test_07_some_micro_path_stays_one) ... ok
test_08_distinct_provenance (test_xpvb_reference.XPVBReferenceTests.test_08_distinct_provenance) ... ok
test_09_values_are_exact (test_xpvb_reference.XPVBReferenceTests.test_09_values_are_exact) ... ok
test_10_missing_operator_rejected (test_xpvb_reference.XPVBReferenceTests.test_10_missing_operator_rejected) ... ok
test_11_rule_version_rejects_future_macro (test_xpvb_reference.XPVBReferenceTests.test_11_rule_version_rejects_future_macro) ... ok
test_12_cycle_mismatch_rejected (test_xpvb_reference.XPVBReferenceTests.test_12_cycle_mismatch_rejected) ... ok
test_13_nonclosure_counterexample (test_xpvb_reference.XPVBReferenceTests.test_13_nonclosure_counterexample) ... ok
test_14_finite_prefix_no_limit_inference (test_xpvb_reference.XPVBReferenceTests.test_14_finite_prefix_no_limit_inference) ... ok
test_15_unknown_future_no_invalid_inputs (test_xpvb_reference.XPVBReferenceTests.test_15_unknown_future_no_invalid_inputs) ... ok
test_16_promote_requires_verified_contract (test_xpvb_reference.XPVBReferenceTests.test_16_promote_requires_verified_contract) ... ok
test_17_promote_rejects_unapproved_bridge (test_xpvb_reference.XPVBReferenceTests.test_17_promote_rejects_unapproved_bridge) ... ok
test_18_valid_promotion (test_xpvb_reference.XPVBReferenceTests.test_18_valid_promotion) ... ok
test_19_output_records_same_end_not_same_path (test_xpvb_reference.XPVBReferenceTests.test_19_output_records_same_end_not_same_path) ... ok
test_20_noncommutative_order (test_xpvb_reference.XPVBReferenceTests.test_20_noncommutative_order) ... ok

----------------------------------------------------------------------
Ran 20 tests in 0.018s

OK
