test_01_declared_macros (test_xpvb02_regression.XPVB02Tests.test_01_declared_macros) ... ok
test_02_round_version (test_xpvb02_regression.XPVB02Tests.test_02_round_version) ... ok
test_03_malformed_round_rejected (test_xpvb02_regression.XPVB02Tests.test_03_malformed_round_rejected) ... ok
test_04_exact_micro_arithmetic (test_xpvb02_regression.XPVB02Tests.test_04_exact_micro_arithmetic) ... ok
test_05_unknown_micro_rejected (test_xpvb02_regression.XPVB02Tests.test_05_unknown_micro_rejected) ... ok
test_06_all_macro_endpoints_one (test_xpvb02_regression.XPVB02Tests.test_06_all_macro_endpoints_one) ... ok
test_07_history_counts (test_xpvb02_regression.XPVB02Tests.test_07_history_counts) ... ok
test_08_history_identity_unique (test_xpvb02_regression.XPVB02Tests.test_08_history_identity_unique) ... ok
test_09_stable_endpoint_different_internal_states (test_xpvb02_regression.XPVB02Tests.test_09_stable_endpoint_different_internal_states) ... ok
test_10_three_phases_partition_9 (test_xpvb02_regression.XPVB02Tests.test_10_three_phases_partition_9) ... ok
test_11_links_9_vs_36 (test_xpvb02_regression.XPVB02Tests.test_11_links_9_vs_36) ... ok
test_12_links_198_vs_630 (test_xpvb02_regression.XPVB02Tests.test_12_links_198_vs_630) ... ok
test_13_links_3384_vs_10296 (test_xpvb02_regression.XPVB02Tests.test_13_links_3384_vs_10296) ... ok
test_14_phase_incompatible_link_rejected (test_xpvb02_regression.XPVB02Tests.test_14_phase_incompatible_link_rejected) ... ok
test_15_self_link_rejected (test_xpvb02_regression.XPVB02Tests.test_15_self_link_rejected) ... ok
test_16_cross_depth_link_rejected (test_xpvb02_regression.XPVB02Tests.test_16_cross_depth_link_rejected) ... ok
test_17_evidence_is_not_transition (test_xpvb02_regression.XPVB02Tests.test_17_evidence_is_not_transition) ... ok
test_18_missing_version_rejected (test_xpvb02_regression.XPVB02Tests.test_18_missing_version_rejected) ... ok
test_19_future_macro_rejected (test_xpvb02_regression.XPVB02Tests.test_19_future_macro_rejected) ... ok
test_20_round_mismatch_rejected (test_xpvb02_regression.XPVB02Tests.test_20_round_mismatch_rejected) ... ok
test_21_base_version_not_retroactive (test_xpvb02_regression.XPVB02Tests.test_21_base_version_not_retroactive) ... ok
test_22_quotient_keeps_provenance_ids (test_xpvb02_regression.XPVB02Tests.test_22_quotient_keeps_provenance_ids) ... ok
test_23_retention_commutes_with_local_links (test_xpvb02_regression.XPVB02Tests.test_23_retention_commutes_with_local_links) ... ok
test_24_unknown_retention_rejected (test_xpvb02_regression.XPVB02Tests.test_24_unknown_retention_rejected) ... ok
test_25_invalid_successor_policy_rejected (test_xpvb02_regression.XPVB02Tests.test_25_invalid_successor_policy_rejected) ... ok
test_26_phase_observation_closed_unrestricted (test_xpvb02_regression.XPVB02Tests.test_26_phase_observation_closed_unrestricted) ... ok
test_27_phase_observation_not_closed_contextual (test_xpvb02_regression.XPVB02Tests.test_27_phase_observation_not_closed_contextual) ... ok
test_28_phase_last_macro_closed_contextual (test_xpvb02_regression.XPVB02Tests.test_28_phase_last_macro_closed_contextual) ... ok
test_29_specific_witness_AA_BC (test_xpvb02_regression.XPVB02Tests.test_29_specific_witness_AA_BC) ... ok
test_30_broadening_observation_recovers_one_step (test_xpvb02_regression.XPVB02Tests.test_30_broadening_observation_recovers_one_step) ... ok
test_31_pre_connect_then_expand_loses_unlifted_links (test_xpvb02_regression.XPVB02Tests.test_31_pre_connect_then_expand_loses_unlifted_links) ... ok
test_32_all_terminals_preserved_4_rounds (test_xpvb02_regression.XPVB02Tests.test_32_all_terminals_preserved_4_rounds) ... ok
test_33_summary_counts_match (test_xpvb02_regression.XPVB02Tests.test_33_summary_counts_match) ... ok
test_34_summary_provenance_and_closure (test_xpvb02_regression.XPVB02Tests.test_34_summary_provenance_and_closure) ... ok
test_35_round_range_limited (test_xpvb02_regression.XPVB02Tests.test_35_round_range_limited) ... ok
test_36_forged_phase_rejected (test_xpvb02_regression.XPVB02Tests.test_36_forged_phase_rejected) ... ok
test_37_missing_source_events_rejected (test_xpvb02_regression.XPVB02Tests.test_37_missing_source_events_rejected) ... ok
test_38_forged_old_version_rejected (test_xpvb02_regression.XPVB02Tests.test_38_forged_old_version_rejected) ... ok
test_01_reject_empty_system (test_xpvb03.TestXPVB03.test_01_reject_empty_system) ... ok
test_02_reject_missing_provenance (test_xpvb03.TestXPVB03.test_02_reject_missing_provenance) ... ok
test_03_reject_provenance_collision (test_xpvb03.TestXPVB03.test_03_reject_provenance_collision) ... ok
test_04_reject_unknown_target (test_xpvb03.TestXPVB03.test_04_reject_unknown_target) ... ok
test_05_reject_unknown_source (test_xpvb03.TestXPVB03.test_05_reject_unknown_source) ... ok
test_06_reject_version_conflict (test_xpvb03.TestXPVB03.test_06_reject_version_conflict) ... ok
test_07_reject_empty_action (test_xpvb03.TestXPVB03.test_07_reject_empty_action) ... ok
test_08_reject_duplicate_edges (test_xpvb03.TestXPVB03.test_08_reject_duplicate_edges) ... ok
test_09_reject_empty_observation (test_xpvb03.TestXPVB03.test_09_reject_empty_observation) ... ok
test_10_reject_wrong_query_state (test_xpvb03.TestXPVB03.test_10_reject_wrong_query_state) ... ok
test_11_negative_horizon_is_not_allowed (test_xpvb03.TestXPVB03.test_11_negative_horizon_is_not_allowed) ... ok
test_12_zero_horizon_contains_empty_word (test_xpvb03.TestXPVB03.test_12_zero_horizon_contains_empty_word) ... ok
test_13_trace_choice_equal_at_h3 (test_xpvb03.TestXPVB03.test_13_trace_choice_equal_at_h3) ... ok
test_14_trace_choice_equal_at_h5 (test_xpvb03.TestXPVB03.test_14_trace_choice_equal_at_h5) ... ok
test_15_trace_choice_full_four_words (test_xpvb03.TestXPVB03.test_15_trace_choice_full_four_words) ... ok
test_16_trace_choice_not_strongly_bisimilar (test_xpvb03.TestXPVB03.test_16_trace_choice_not_strongly_bisimilar) ... ok
test_17_trace_choice_same_numeric_observation (test_xpvb03.TestXPVB03.test_17_trace_choice_same_numeric_observation) ... ok
test_18_trace_choice_separate_sources (test_xpvb03.TestXPVB03.test_18_trace_choice_separate_sources) ... ok
test_19_choice_value_quotient_not_closed (test_xpvb03.TestXPVB03.test_19_choice_value_quotient_not_closed) ... ok
test_20_refinement_separates_non_bisimilar_choice (test_xpvb03.TestXPVB03.test_20_refinement_separates_non_bisimilar_choice) ... ok
test_21_refinement_exactly_agrees_with_bisim_relation (test_xpvb03.TestXPVB03.test_21_refinement_exactly_agrees_with_bisim_relation) ... ok
test_22_bounded_future_equivalence_h2 (test_xpvb03.TestXPVB03.test_22_bounded_future_equivalence_h2) ... ok
test_23_bounded_future_diverges_h3 (test_xpvb03.TestXPVB03.test_23_bounded_future_diverges_h3) ... ok
test_24_delayed_starts_not_bisimilar (test_xpvb03.TestXPVB03.test_24_delayed_starts_not_bisimilar) ... ok
test_25_prefix_closed_observation_language (test_xpvb03.TestXPVB03.test_25_prefix_closed_observation_language) ... ok
test_26_twins_are_bisimilar (test_xpvb03.TestXPVB03.test_26_twins_are_bisimilar) ... ok
test_27_twins_different_sources (test_xpvb03.TestXPVB03.test_27_twins_different_sources) ... ok
test_28_twins_same_bounded_futures (test_xpvb03.TestXPVB03.test_28_twins_same_bounded_futures) ... ok
test_29_cycle_bisimilar (test_xpvb03.TestXPVB03.test_29_cycle_bisimilar) ... ok
test_30_cycle_different_labels_not_bisimilar (test_xpvb03.TestXPVB03.test_30_cycle_different_labels_not_bisimilar) ... ok
test_31_order_matters_in_future_language (test_xpvb03.TestXPVB03.test_31_order_matters_in_future_language) ... ok
test_32_audit_true_constant (test_xpvb03.TestXPVB03.test_32_audit_true_constant) ... ok
test_33_audit_fails_modified_label (test_xpvb03.TestXPVB03.test_33_audit_fails_modified_label) ... ok
test_34_audit_requires_complete_valuation (test_xpvb03.TestXPVB03.test_34_audit_requires_complete_valuation) ... ok
test_35_transport_renaming_passes (test_xpvb03.TestXPVB03.test_35_transport_renaming_passes) ... ok
test_36_transport_mismatch_fails (test_xpvb03.TestXPVB03.test_36_transport_mismatch_fails) ... ok
test_37_transport_missing_mapping_fails (test_xpvb03.TestXPVB03.test_37_transport_missing_mapping_fails) ... ok
test_38_transport_unknown_endpoint_rejected (test_xpvb03.TestXPVB03.test_38_transport_unknown_endpoint_rejected) ... ok
test_39_boundary_counts (test_xpvb03.TestXPVB03.test_39_boundary_counts) ... ok
test_40_boundary_node_count (test_xpvb03.TestXPVB03.test_40_boundary_node_count) ... ok
test_41_boundary_edge_count (test_xpvb03.TestXPVB03.test_41_boundary_edge_count) ... ok
test_42_boundary_value_constant (test_xpvb03.TestXPVB03.test_42_boundary_value_constant) ... ok
test_43_structural_phase_changes (test_xpvb03.TestXPVB03.test_43_structural_phase_changes) ... ok
test_44_reject_unsupported_unbounded_rounds (test_xpvb03.TestXPVB03.test_44_reject_unsupported_unbounded_rounds) ... ok
test_45_same_value_phase_not_same_future (test_xpvb03.TestXPVB03.test_45_same_value_phase_not_same_future) ... ok
test_46_distinct_continuations_from_order (test_xpvb03.TestXPVB03.test_46_distinct_continuations_from_order) ... ok
test_47_replay_matches_existing_xp02_counts (test_xpvb03.TestXPVB03.test_47_replay_matches_existing_xp02_counts) ... ok
test_48_replay_derived_reports (test_xpvb03.TestXPVB03.test_48_replay_derived_reports) ... ok
test_49_deterministic_demo (test_xpvb03.TestXPVB03.test_49_deterministic_demo) ... ok
test_50_bisimulation_symmetric (test_xpvb03.TestXPVB03.test_50_bisimulation_symmetric) ... ok
test_51_bisimulation_reflexive (test_xpvb03.TestXPVB03.test_51_bisimulation_reflexive) ... ok
test_52_bisimulation_transitive (test_xpvb03.TestXPVB03.test_52_bisimulation_transitive) ... ok
test_53_all_state_labels_one_but_not_all_bisim (test_xpvb03.TestXPVB03.test_53_all_state_labels_one_but_not_all_bisim) ... ok

----------------------------------------------------------------------
Ran 91 tests in 1.557s

OK
