test_bridge_all_128 (test_xpvb06.TestBridgeAndVersion.test_bridge_all_128) ... ok
test_bridge_all_terminal_one (test_xpvb06.TestBridgeAndVersion.test_bridge_all_terminal_one) ... ok
test_bridge_form_candidate_not_executed (test_xpvb06.TestBridgeAndVersion.test_bridge_form_candidate_not_executed) ... ok
test_bridge_observation_and_phase (test_xpvb06.TestBridgeAndVersion.test_bridge_observation_and_phase) ... ok
test_bridge_observation_invalid_rejected (test_xpvb06.TestBridgeAndVersion.test_bridge_observation_invalid_rejected) ... ok
test_bridge_source_ids_unique (test_xpvb06.TestBridgeAndVersion.test_bridge_source_ids_unique) ... ok
test_bridge_stale_snapshot_rejected (test_xpvb06.TestBridgeAndVersion.test_bridge_stale_snapshot_rejected) ... ok
test_invalid_04_version_rejected (test_xpvb06.TestBridgeAndVersion.test_invalid_04_version_rejected) ... ok
test_macro_micro_not_isomorphic (test_xpvb06.TestBridgeAndVersion.test_macro_micro_not_isomorphic) ... ok
test_macro_transport_a (test_xpvb06.TestBridgeAndVersion.test_macro_transport_a) ... ok
test_macro_transport_b (test_xpvb06.TestBridgeAndVersion.test_macro_transport_b) ... ok
test_no_infinite_execution_claim (test_xpvb06.TestDeliverable.test_no_infinite_execution_claim) ... ok
test_report_digest_mutation_rejected (test_xpvb06.TestDeliverable.test_report_digest_mutation_rejected) ... ok
test_roundtrip_json (test_xpvb06.TestDeliverable.test_roundtrip_json) ... ok
test_self_rehash_not_independent_proof (test_xpvb06.TestDeliverable.test_self_rehash_not_independent_proof) ... ok
test_source_pins_match_actual_bytes (test_xpvb06.TestDeliverable.test_source_pins_match_actual_bytes) ... ok
test_unknown_schema_rejected (test_xpvb06.TestDeliverable.test_unknown_schema_rejected) ... ok
test_valid_report_replay (test_xpvb06.TestDeliverable.test_valid_report_replay) ... ok
test_diagonal_increasing_below_e (test_xpvb06.TestExactFormula.test_diagonal_increasing_below_e) ... ok
test_exact_diagonal (test_xpvb06.TestExactFormula.test_exact_diagonal) ... ok
test_exact_lower (test_xpvb06.TestExactFormula.test_exact_lower) ... ok
test_exact_repeated_multiplication (test_xpvb06.TestExactFormula.test_exact_repeated_multiplication) ... ok
test_exact_slow (test_xpvb06.TestExactFormula.test_exact_slow) ... ok
test_exact_values_consistent_with_decimal (test_xpvb06.TestExactFormula.test_exact_values_consistent_with_decimal) ... ok
test_formula_bool_rejected (test_xpvb06.TestExactFormula.test_formula_bool_rejected) ... ok
test_formula_scope_large (test_xpvb06.TestExactFormula.test_formula_scope_large) ... ok
test_formula_scope_small (test_xpvb06.TestExactFormula.test_formula_scope_small) ... ok
test_formula_undefined (test_xpvb06.TestExactFormula.test_formula_undefined) ... ok
test_noncommuting_finite_grid_is_not_proof (test_xpvb06.TestExactFormula.test_noncommuting_finite_grid_is_not_proof) ... ok
test_one (test_xpvb06.TestExactFormula.test_one) ... ok
test_power_sequence_no_premature_limit (test_xpvb06.TestExactFormula.test_power_sequence_no_premature_limit) ... ok
test_slow_decreasing_to_one (test_xpvb06.TestExactFormula.test_slow_decreasing_to_one) ... ok
test_128_final (test_xpvb06.TestProcessBundle.test_128_final) ... ok
test_255_prefixes (test_xpvb06.TestProcessBundle.test_255_prefixes) ... ok
test_all_macro_invariants (test_xpvb06.TestProcessBundle.test_all_macro_invariants) ... ok
test_all_phases_balanced (test_xpvb06.TestProcessBundle.test_all_phases_balanced) ... ok
test_depth_outside_scope (test_xpvb06.TestProcessBundle.test_depth_outside_scope) ... ok
test_depth_word_rejection (test_xpvb06.TestProcessBundle.test_depth_word_rejection) ... ok
test_last_lateral_links (test_xpvb06.TestProcessBundle.test_last_lateral_links) ... ok
test_last_value_pairs (test_xpvb06.TestProcessBundle.test_last_value_pairs) ... ok
test_lateral_edge_not_action_edge (test_xpvb06.TestProcessBundle.test_lateral_edge_not_action_edge) ... ok
test_micro_a (test_xpvb06.TestProcessBundle.test_micro_a) ... ok
test_micro_b (test_xpvb06.TestProcessBundle.test_micro_b) ... ok
test_micro_not_macro_invariant (test_xpvb06.TestProcessBundle.test_micro_not_macro_invariant) ... ok
test_observer_separation (test_xpvb06.TestProcessBundle.test_observer_separation) ... ok
test_prefix_consistency (test_xpvb06.TestProcessBundle.test_prefix_consistency) ... ok
test_provenance_all_unique (test_xpvb06.TestProcessBundle.test_provenance_all_unique) ... ok
test_root (test_xpvb06.TestProcessBundle.test_root) ... ok
test_sources_different (test_xpvb06.TestProcessBundle.test_sources_different) ... ok
test_terminal_same (test_xpvb06.TestProcessBundle.test_terminal_same) ... ok

----------------------------------------------------------------------
Ran 50 tests in 1.531s

OK
