test_macro_boundary_values_all_127_prefixes (test_xpvb04_bridge.Compatibility.test_macro_boundary_values_all_127_prefixes) ... ok
test_non_identical_microstep_history_is_not_erased (test_xpvb04_bridge.Compatibility.test_non_identical_microstep_history_is_not_erased) ... ok
test_phase_congruence_all_127_prefixes (test_xpvb04_bridge.Compatibility.test_phase_congruence_all_127_prefixes) ... ok
test_prior_macro_prefixes_stable (test_xpvb04_bridge.Compatibility.test_prior_macro_prefixes_stable) ... ok
test_bad_bridge_version (test_xpvb05.Case.test_bad_bridge_version) ... ok
test_bad_initial_mapping (test_xpvb05.Case.test_bad_initial_mapping) ... ok
test_bad_regeneration_action (test_xpvb05.Case.test_bad_regeneration_action) ... ok
test_bridge_created_as_closed_scope (test_xpvb05.Case.test_bridge_created_as_closed_scope) ... ok
test_bridge_scope_missing_initial (test_xpvb05.Case.test_bridge_scope_missing_initial) ... ok
test_candidate_extensions_t0 (test_xpvb05.Case.test_candidate_extensions_t0) ... ok
test_candidate_extensions_t1 (test_xpvb05.Case.test_candidate_extensions_t1) ... ok
test_composed_lift_equals_two_steps (test_xpvb05.Case.test_composed_lift_equals_two_steps) ... ok
test_depth_limit (test_xpvb05.Case.test_depth_limit) ... ok
test_distinct_snapshots (test_xpvb05.Case.test_distinct_snapshots) ... ok
test_duplicate_edge_rejected (test_xpvb05.Case.test_duplicate_edge_rejected) ... ok
test_duplicate_state_map_key (test_xpvb05.Case.test_duplicate_state_map_key) ... ok
test_duplicate_state_names_rejected (test_xpvb05.Case.test_duplicate_state_names_rejected) ... ok
test_empty_version_rejected (test_xpvb05.Case.test_empty_version_rejected) ... ok
test_experiment_counts (test_xpvb05.Case.test_experiment_counts) ... ok
test_experiment_negative_controls (test_xpvb05.Case.test_experiment_negative_controls) ... ok
test_experiment_noncollapse (test_xpvb05.Case.test_experiment_noncollapse) ... ok
test_frontier_count (test_xpvb05.Case.test_frontier_count) ... ok
test_invalid_edge_rejected (test_xpvb05.Case.test_invalid_edge_rejected) ... ok
test_legacy_history_lift_replay (test_xpvb05.Case.test_legacy_history_lift_replay) ... ok
test_lift_receipt_tamper_rejected (test_xpvb05.Case.test_lift_receipt_tamper_rejected) ... ok
test_lifted_invalid_edge_with_original_receipt (test_xpvb05.Case.test_lifted_invalid_edge_with_original_receipt) ... ok
test_lifted_wrong_snapshot (test_xpvb05.Case.test_lifted_wrong_snapshot) ... ok
test_mapped_edge_missing (test_xpvb05.Case.test_mapped_edge_missing) ... ok
test_missing_initial_rejected (test_xpvb05.Case.test_missing_initial_rejected) ... ok
test_missing_observation_mapping (test_xpvb05.Case.test_missing_observation_mapping) ... ok
test_missing_source_label_mapping (test_xpvb05.Case.test_missing_source_label_mapping) ... ok
test_missing_source_state_mapping (test_xpvb05.Case.test_missing_source_state_mapping) ... ok
test_observation_noncommuting (test_xpvb05.Case.test_observation_noncommuting) ... ok
test_partial_scope_with_isolated_state_is_ok (test_xpvb05.Case.test_partial_scope_with_isolated_state_is_ok) ... ok
test_prefix_transport_commutes (test_xpvb05.Case.test_prefix_transport_commutes) ... ok
test_regen_parent_tamper (test_xpvb05.Case.test_regen_parent_tamper) ... ok
test_regen_prefix_tamper (test_xpvb05.Case.test_regen_prefix_tamper) ... ok
test_regen_receipt_tamper (test_xpvb05.Case.test_regen_receipt_tamper) ... ok
test_same_endpoint_different_order (test_xpvb05.Case.test_same_endpoint_different_order) ... ok
test_same_word_different_seed_preserves_identity (test_xpvb05.Case.test_same_word_different_seed_preserves_identity) ... ok
test_stale_snapshot_same_version (test_xpvb05.Case.test_stale_snapshot_same_version) ... ok
test_successor_scope_not_closed (test_xpvb05.Case.test_successor_scope_not_closed) ... ok
test_trace_illegal_transition (test_xpvb05.Case.test_trace_illegal_transition) ... ok
test_trace_lifted_forbidden_on_wrong_base (test_xpvb05.Case.test_trace_lifted_forbidden_on_wrong_base) ... ok
test_trace_replay_valid (test_xpvb05.Case.test_trace_replay_valid) ... ok
test_trace_tampered_hash_rejected (test_xpvb05.Case.test_trace_tampered_hash_rejected) ... ok
test_trace_wrong_snapshot_rejected (test_xpvb05.Case.test_trace_wrong_snapshot_rejected) ... ok
test_transport_forward_not_backward (test_xpvb05.Case.test_transport_forward_not_backward) ... ok
test_valid_example_bases (test_xpvb05.Case.test_valid_example_bases) ... ok
test_valid_regeneration_receipt (test_xpvb05.Case.test_valid_regeneration_receipt) ... ok
test_wrong_base_language_rejected (test_xpvb05.Case.test_wrong_base_language_rejected) ... ok

----------------------------------------------------------------------
Ran 51 tests in 0.304s

OK
