Test Report
The results of one pytest run of this repository’s tests (SEG-OUT-…).
Each test case is one need with its result; a test that has a test
specification links to it (reports), and through it to the requirements
it verifies. The run is a directory in the shape of a run bundle:
junit.xml, the revision of the checkout and its dirty flag, the run name
and the command. python -m doc test-run makes one in build/test-run;
python -m doc build --test-run DIR names another.
Run name |
|
|---|---|
Started |
2026-10-08T14:41:22.960335+00:00 |
Revision |
|
Working tree |
clean |
Passed |
1519 |
Failed |
0 |
Errors |
0 |
Skipped |
0 |
tests/specification/test_case_evidence_removal.py
Test Outcome: test_a_vanished_strong_edge_is_reported_and_kept_and_evidence_is_not_reported SEG-OUT-E6A8AD72C66A
|
tests/specification/test_cli_producer_reports.py
tests/specification/test_commitment.py
tests/specification/test_config_need_ids.py
Test Outcome: test_need_identifiers_that_are_empty_or_not_text_are_refused_naming_the_block[bare] SEG-OUT-7476596D13A8
|
Test Outcome: test_need_identifiers_that_are_empty_or_not_text_are_refused_naming_the_block[bool] SEG-OUT-C4D651AC0581
|
Test Outcome: test_need_identifiers_that_are_empty_or_not_text_are_refused_naming_the_block[empty-text] SEG-OUT-E5B4A4D30C77
|
Test Outcome: test_need_identifiers_that_are_empty_or_not_text_are_refused_naming_the_block[empty] SEG-OUT-62A897C34BB6
|
Test Outcome: test_need_identifiers_that_are_empty_or_not_text_are_refused_naming_the_block[int] SEG-OUT-06ADB3EBB1BD
|
Test Outcome: test_need_identifiers_that_are_empty_or_not_text_are_refused_naming_the_block[map] SEG-OUT-FDAC572516FE
|
Test Outcome: test_need_identifiers_that_are_empty_or_not_text_are_refused_naming_the_block[number] SEG-OUT-1DAC5F24D91C
|
Test Outcome: test_need_identifiers_that_are_empty_or_not_text_are_refused_naming_the_block[text-and-empty] SEG-OUT-4218307F4A1D
|
Test Outcome: test_need_identifiers_that_are_empty_or_not_text_are_refused_naming_the_block[text-and-number] SEG-OUT-9762FBCAF76B
|
Test Outcome: test_the_list_of_need_identifiers_is_refused_outside_the_implementations_block[requirements] SEG-OUT-D5CDE7C16B66
|
Test Outcome: test_the_list_of_need_identifiers_is_refused_outside_the_implementations_block[specifications] SEG-OUT-2199289FAE72
|
tests/specification/test_config_need_types.py
Test Outcome: test_an_empty_list_of_need_types_is_refused_naming_the_block[implementations] SEG-OUT-4F162414C38B
|
Test Outcome: test_an_empty_list_of_need_types_is_refused_naming_the_block[requirements] SEG-OUT-C8D393C68776
|
Test Outcome: test_an_empty_list_of_need_types_is_refused_naming_the_block[specifications] SEG-OUT-4BD7E0647DBA
|
Test Outcome: test_need_types_that_are_not_a_list_of_text_are_refused_naming_the_block[implementations] SEG-OUT-FA6FA55D453F
|
Test Outcome: test_need_types_that_are_not_a_list_of_text_are_refused_naming_the_block[requirements] SEG-OUT-E304D79DE871
|
Test Outcome: test_need_types_that_are_not_a_list_of_text_are_refused_naming_the_block[specifications] SEG-OUT-3C5880E7CAC0
|
tests/specification/test_config_path_root.py
Test Outcome: test_a_need_type_that_is_empty_text_is_refused_naming_the_block[types0-implementations] SEG-OUT-BBF7653C7CE8
|
Test Outcome: test_a_need_type_that_is_empty_text_is_refused_naming_the_block[types0-requirements] SEG-OUT-7FB5600034C8
|
Test Outcome: test_a_need_type_that_is_empty_text_is_refused_naming_the_block[types0-specifications] SEG-OUT-5BDFE92499D4
|
Test Outcome: test_a_need_type_that_is_empty_text_is_refused_naming_the_block[types1-implementations] SEG-OUT-7E40D4708B66
|
Test Outcome: test_a_need_type_that_is_empty_text_is_refused_naming_the_block[types1-requirements] SEG-OUT-29490713702E
|
Test Outcome: test_a_need_type_that_is_empty_text_is_refused_naming_the_block[types1-specifications] SEG-OUT-18095B468AF2
|
Test Outcome: test_a_path_root_that_is_not_text_is_refused_naming_the_block[7-implementations] SEG-OUT-1E575FD61197
|
Test Outcome: test_a_path_root_that_is_not_text_is_refused_naming_the_block[7-specifications] SEG-OUT-5C9649C56AC1
|
Test Outcome: test_a_path_root_that_is_not_text_is_refused_naming_the_block[True-implementations] SEG-OUT-FC1D72103485
|
Test Outcome: test_a_path_root_that_is_not_text_is_refused_naming_the_block[True-specifications] SEG-OUT-5DBC508A1296
|
Test Outcome: test_a_path_root_that_is_not_text_is_refused_naming_the_block[value1-implementations] SEG-OUT-8F909ACEF626
|
Test Outcome: test_a_path_root_that_is_not_text_is_refused_naming_the_block[value1-specifications] SEG-OUT-83A558704B3B
|
Test Outcome: test_a_path_root_that_is_not_text_is_refused_naming_the_block[value2-implementations] SEG-OUT-8D0C0BA66EB4
|
Test Outcome: test_a_path_root_that_is_not_text_is_refused_naming_the_block[value2-specifications] SEG-OUT-BC7AFE236274
|
Test Outcome: test_null_need_types_of_a_doxygen_block_are_not_given[implementations] SEG-OUT-3F52881283D9
|
Test Outcome: test_null_need_types_of_a_doxygen_block_are_not_given[specifications] SEG-OUT-89DFC723E10A
|
Test Outcome: test_the_loader_carries_the_path_root_of_a_doxygen_block[implementations] SEG-OUT-598F59A1C470
|
Test Outcome: test_the_loader_carries_the_path_root_of_a_doxygen_block[specifications] SEG-OUT-0129B6A77689
|
tests/specification/test_config_reader_shapes.py
tests/specification/test_config_unknown_keys.py
Test Outcome: test_a_key_at_the_top_of_the_file_that_is_not_known_is_refused[Case] SEG-OUT-FA07388AD3BB
|
Test Outcome: test_a_key_at_the_top_of_the_file_that_is_not_known_is_refused[cases] SEG-OUT-C6D6F120D28B
|
Test Outcome: test_a_key_at_the_top_of_the_file_that_is_not_known_is_refused[implementations] SEG-OUT-EE506B322FB1
|
Test Outcome: test_a_key_at_the_top_of_the_file_that_is_not_known_is_refused[repository] SEG-OUT-7F60B88058A5
|
Test Outcome: test_a_key_of_a_reader_block_that_is_not_known_is_refused[implementations-doxygen_prefix] SEG-OUT-CA8DB658B29F
|
Test Outcome: test_a_key_of_a_reader_block_that_is_not_known_is_refused[implementations-need-id] SEG-OUT-72FC7FF5E145
|
Test Outcome: test_a_key_of_a_reader_block_that_is_not_known_is_refused[implementations-need_ids] SEG-OUT-BEB7B7CFA4D9
|
Test Outcome: test_a_key_of_a_reader_block_that_is_not_known_is_refused[implementations-path_root] SEG-OUT-C6294AAD89E4
|
Test Outcome: test_a_key_of_a_reader_block_that_is_not_known_is_refused[implementations-source-map] SEG-OUT-9E6FC690D51C
|
Test Outcome: test_a_key_of_a_reader_block_that_is_not_known_is_refused[requirements-doxygen-prefix] SEG-OUT-1F8772C8AC4D
|
Test Outcome: test_a_key_of_a_reader_block_that_is_not_known_is_refused[requirements-need-ids] SEG-OUT-A70F0E7B2DD6
|
Test Outcome: test_a_key_of_a_reader_block_that_is_not_known_is_refused[requirements-parent_field] SEG-OUT-CE57A0ED5C45
|
Test Outcome: test_a_key_of_a_reader_block_that_is_not_known_is_refused[requirements-path-root] SEG-OUT-B0049D94DB07
|
Test Outcome: test_a_key_of_a_reader_block_that_is_not_known_is_refused[requirements-source_map] SEG-OUT-BAA2A0A8A240
|
Test Outcome: test_a_key_of_a_reader_block_that_is_not_known_is_refused[specifications-doxygen_prefix] SEG-OUT-71C7136849D3
|
Test Outcome: test_a_key_of_a_reader_block_that_is_not_known_is_refused[specifications-need-ids] SEG-OUT-17656A7EE18D
|
Test Outcome: test_a_key_of_a_reader_block_that_is_not_known_is_refused[specifications-parent-field] SEG-OUT-926EFECEEDF0
|
Test Outcome: test_a_key_of_a_reader_block_that_is_not_known_is_refused[specifications-path_root] SEG-OUT-50F3006AFE7B
|
Test Outcome: test_a_key_of_a_reader_block_that_is_not_known_is_refused[specifications-source] SEG-OUT-443D652F7E40
|
Test Outcome: test_a_key_of_the_producer_block_that_is_not_known_is_refused[Repository] SEG-OUT-C6C37FD11220
|
Test Outcome: test_a_key_of_the_producer_block_that_is_not_known_is_refused[implementation] SEG-OUT-84267CF02045
|
Test Outcome: test_a_key_of_the_producer_block_that_is_not_known_is_refused[outputs] SEG-OUT-37A0ADFFB9DA
|
Test Outcome: test_a_key_of_the_producer_block_that_is_not_known_is_refused[roots] SEG-OUT-79C6DB5CA2CE
|
Test Outcome: test_a_key_of_the_producer_block_that_is_not_known_is_refused[types] SEG-OUT-22F0FDA00BFC
|
tests/specification/test_confirming_outcomes.py
Test Outcome: test_an_outcome_counts_only_with_both_a_confirms_and_a_witnesses_edge SEG-OUT-8AA6559A6B5D
|
Test Outcome: test_without_an_implementation_export_every_outcome_is_discarded_and_reported SEG-OUT-B9837E8FBA01
|
tests/specification/test_content_extractor.py
Test Outcome: test_a_location_that_does_not_name_its_symbol_is_an_error_for_its_node SEG-OUT-DD4E15B46E50
|
Test Outcome: test_a_need_export_carrying_a_build_timestamp_is_refused_by_the_extractor SEG-OUT-03CA3CF863F1
|
Test Outcome: test_a_test_specification_is_identified_by_its_need_identifier_verbatim SEG-OUT-A27FFE6DECFA
|
Test Outcome: test_a_test_specifications_impl_anchor_names_the_test_file_and_function SEG-OUT-86427C742EA9
|
Test Outcome: test_a_test_specifications_spec_anchor_names_the_test_file_and_function SEG-OUT-FE8C57A8291E
|
Test Outcome: test_an_implementation_is_identified_by_its_need_identifier_verbatim SEG-OUT-A5357E29EA4D
|
Test Outcome: test_an_implementations_api_anchor_names_the_declaration_file_and_symbol SEG-OUT-6FE2E622417D
|
Test Outcome: test_an_implementations_body_anchor_names_the_body_file_and_symbol SEG-OUT-E36505EA9E6F
|
tests/specification/test_content_extractor_need_ids.py
Test Outcome: test_every_listed_identifier_that_names_no_need_is_named_in_one_error SEG-OUT-D593DB60B114
|
tests/specification/test_content_extractor_no_body.py
tests/specification/test_content_extractor_path_root.py
Test Outcome: test_a_path_root_is_put_in_front_of_the_path_the_doxygen_output_names SEG-OUT-3DCEEDA81BA4
|
Test Outcome: test_a_path_root_that_leads_outside_the_repository_is_an_error_for_the_node[absolute] SEG-OUT-C367900927B9
|
Test Outcome: test_a_path_root_that_leads_outside_the_repository_is_an_error_for_the_node[climbing] SEG-OUT-547784B5AD31
|
Test Outcome: test_a_path_root_that_leads_outside_the_repository_is_an_error_for_the_node[parent] SEG-OUT-65C9467F5DEC
|
Test Outcome: test_an_anchor_names_the_path_inside_the_repository_after_the_root_is_put_in_front SEG-OUT-12CFB3D291AB
|
Test Outcome: test_the_prefix_is_removed_first_and_then_the_path_root_is_put_in_front SEG-OUT-E7113F042347
|
Test Outcome: test_the_test_module_is_compared_with_the_path_after_the_root_is_put_in_front SEG-OUT-D87B99E4E255
|
tests/specification/test_content_extractor_prefix_and_module.py
Test Outcome: test_a_path_whose_remainder_after_the_prefix_is_not_a_relative_path_is_an_error SEG-OUT-A26DE01522BA
|
Test Outcome: test_a_shared_symbol_with_a_prefix_that_leaves_no_path_gets_the_prefix_error SEG-OUT-6B702CA83F5A
|
Test Outcome: test_a_test_module_that_is_not_text_is_an_error_for_that_need[True] SEG-OUT-2535FA86BC6E
|
Test Outcome: test_a_test_module_that_is_not_text_is_an_error_for_that_need[module1] SEG-OUT-C218A6BFEBAB
|
Test Outcome: test_a_test_module_that_is_not_text_is_an_error_for_that_need[module2] SEG-OUT-D4C4DFA7C7AB
|
Test Outcome: test_case_sync_names_every_node_whose_path_does_not_fit_the_prefix SEG-OUT-B4AC75A61F26
|
tests/specification/test_content_repository_reads.py
tests/specification/test_dangling_edge.py
Test Outcome: test_a_never_affirmed_edge_to_an_absent_node_is_broken_after_the_derivation_and_the_build SEG-OUT-46472EF10D37
|
Test Outcome: test_case_sync_writes_a_dangling_edge_as_broken_and_writes_pending_when_the_node_returns SEG-OUT-E81994F5E964
|
Test Outcome: test_graph_status_lists_a_dangling_strong_edge_as_broken_and_exits_1 SEG-OUT-CF38670990F8
|
Test Outcome: test_graph_status_lists_an_affirmed_edge_whose_endpoint_left_as_broken SEG-OUT-A3C3EEA8674A
|
Test Outcome: test_graph_status_lists_pending_strong_edges_as_pending_and_exits_0 SEG-OUT-D432132EE89C
|
tests/specification/test_drift.py
tests/specification/test_edge_affirm_unreadable_repository.py
Test Outcome: test_a_refused_edge_affirm_over_two_repositories_writes_nothing[from-objects] SEG-OUT-83A300C68158
|
Test Outcome: test_a_refused_edge_affirm_over_two_repositories_writes_nothing[from-stand-in] SEG-OUT-F74AD8FCDF54
|
Test Outcome: test_a_refused_edge_affirm_over_two_repositories_writes_nothing[to-objects] SEG-OUT-D9BD2DD691FE
|
Test Outcome: test_a_refused_edge_affirm_over_two_repositories_writes_nothing[to-stand-in] SEG-OUT-5220B9F52E50
|
Test Outcome: test_edge_affirm_refuses_when_the_repository_cannot_be_read[git-absent] SEG-OUT-3B2ED612C9F8
|
Test Outcome: test_edge_affirm_refuses_when_the_repository_cannot_be_read[missing-path] SEG-OUT-CAC7862509AA
|
Test Outcome: test_edge_affirm_refuses_when_the_repository_cannot_be_read[not-a-repository] SEG-OUT-B7FBBA2D3508
|
Test Outcome: test_edge_affirm_refuses_when_the_repository_cannot_be_read[objects] SEG-OUT-C258D4A5D3B3
|
Test Outcome: test_edge_affirm_refuses_when_the_repository_cannot_be_read[stand-in] SEG-OUT-197FA2253E4F
|
Test Outcome: test_edge_affirm_with_a_given_revision_keeps_a_held_extraction_revision[git-absent] SEG-OUT-954AF9D3FC46
|
Test Outcome: test_edge_affirm_with_a_given_revision_keeps_a_held_extraction_revision[missing-path] SEG-OUT-576A3C8906A8
|
Test Outcome: test_edge_affirm_with_a_given_revision_keeps_a_held_extraction_revision[not-a-repository] SEG-OUT-975B13711764
|
Test Outcome: test_edge_affirm_with_a_given_revision_keeps_a_held_extraction_revision[objects] SEG-OUT-90DD274D34DE
|
Test Outcome: test_edge_affirm_with_a_given_revision_keeps_a_held_extraction_revision[stand-in] SEG-OUT-65F1DB20D83A
|
Test Outcome: test_edge_affirm_with_a_given_revision_reads_nothing_and_affirms[git-absent] SEG-OUT-2C18DCE35A79
|
Test Outcome: test_edge_affirm_with_a_given_revision_reads_nothing_and_affirms[missing-path] SEG-OUT-5A71D424E0E7
|
Test Outcome: test_edge_affirm_with_a_given_revision_reads_nothing_and_affirms[not-a-repository] SEG-OUT-F01C77B97B88
|
Test Outcome: test_edge_affirm_with_a_given_revision_reads_nothing_and_affirms[objects] SEG-OUT-269110904988
|
Test Outcome: test_edge_affirm_with_a_given_revision_reads_nothing_and_affirms[stand-in] SEG-OUT-A855DBA89C76
|
tests/specification/test_edge_provenance_exit_and_writes.py
tests/specification/test_edge_provenance_identity.py
Test Outcome: test_edge_show_reports_each_signed_off_by_line_as_written_in_order SEG-OUT-421D2755EFFC
|
Test Outcome: test_edge_show_reports_every_affirmed_edge_of_a_selection_with_no_option SEG-OUT-75944342CD38
|
Test Outcome: test_edge_show_reports_no_author_for_the_same_person_with_another_author_date SEG-OUT-C4FAEA4572C2
|
Test Outcome: test_edge_show_reports_no_author_when_the_author_is_the_committer SEG-OUT-102CD7745236
|
Test Outcome: test_edge_show_reports_no_signed_off_by_line_when_the_message_has_none SEG-OUT-1F0ABE2EF41A
|
Test Outcome: test_edge_show_reports_the_committer_and_the_commit_date_as_the_identity SEG-OUT-89870284150E
|
Test Outcome: test_edge_show_reports_the_committer_as_recorded_and_applies_no_mailmap SEG-OUT-9FAF3CF4646F
|
Test Outcome: test_edge_show_reports_the_identifier_and_the_subject_of_the_recording_commit SEG-OUT-4B1404BC514F
|
tests/specification/test_edge_provenance_no_answer.py
Test Outcome: test_edge_show_does_not_fall_back_to_an_earlier_affirmation_of_a_draft_edge SEG-OUT-AB0BEA2147F4
|
Test Outcome: test_edge_show_gives_no_signature_and_no_shallow_flag_without_a_commit SEG-OUT-7C3A8DCF5559
|
Test Outcome: test_edge_show_never_answers_from_the_repository_that_holds_the_case SEG-OUT-A7BB36E00416
|
Test Outcome: test_edge_show_reads_the_history_of_a_case_that_is_a_worktree_of_another_repository SEG-OUT-27C5F698E738
|
Test Outcome: test_edge_show_reports_a_history_that_cannot_be_read_as_not_available SEG-OUT-58A732BBD020
|
Test Outcome: test_edge_show_reports_an_event_in_a_repository_with_no_commit_as_not_committed SEG-OUT-4CB038F42C17
|
Test Outcome: test_edge_show_reports_the_history_of_a_case_with_no_repository_as_not_available SEG-OUT-FEDB01B3AAAB
|
Test Outcome: test_edge_show_reports_the_provenance_of_an_edge_that_is_no_longer_active SEG-OUT-6C4DFC91AD34
|
tests/specification/test_edge_provenance_recording_commit.py
Test Outcome: test_edge_show_does_not_take_a_reason_that_names_an_event_for_the_event SEG-OUT-E2E8DEFCD160
|
Test Outcome: test_edge_show_names_one_commit_for_every_event_that_the_commit_adds SEG-OUT-E24A286ABB5E
|
Test Outcome: test_edge_show_names_the_commit_of_the_last_affirmation_of_an_edge SEG-OUT-0DBCF608B515
|
Test Outcome: test_edge_show_names_the_earliest_commit_for_an_event_removed_and_added_again SEG-OUT-60FB781E24D5
|
Test Outcome: test_edge_show_names_the_earliest_commit_that_holds_the_event_not_the_one_that_made_the_file SEG-OUT-69AE1D5EC81A
|
tests/specification/test_edge_provenance_signature.py
Test Outcome: test_edge_show_presents_the_identity_as_recorded_and_never_as_verified SEG-OUT-A6E062B44741
|
tests/specification/test_edge_selection_evidence_edges.py
Test Outcome: test_a_requirement_with_no_refiner_selects_its_verifies_and_implements_edges SEG-OUT-AB88B69F97D6
|
Test Outcome: test_a_subtree_selection_shows_only_refines_verifies_and_implements_edges SEG-OUT-2A4B80FB2C33
|
Test Outcome: test_case_remove_below_a_node_that_is_not_a_requirement_removes_nothing SEG-OUT-45F38BFBD410
|
Test Outcome: test_case_remove_with_a_subtree_selection_removes_only_the_three_kinds_of_a_subtree SEG-OUT-6279CA4A1CE3
|
Test Outcome: test_edge_affirm_below_a_node_that_is_not_a_requirement_affirms_nothing SEG-OUT-0BD42558B77F
|
Test Outcome: test_edge_show_below_a_node_that_is_not_a_requirement_matches_nothing SEG-OUT-58F532BB1ECC
|
Test Outcome: test_select_admits_no_edge_of_a_kind_outside_the_three_for_a_subtree SEG-OUT-03D3CAE62971
|
Test Outcome: test_select_by_the_subtree_of_a_node_that_is_not_a_requirement_returns_no_edge SEG-OUT-311AF1F6086A
|
tests/specification/test_edge_selection_subtree.py
Test Outcome: test_a_leaf_requirement_selects_its_verifies_and_implements_edges_and_no_refines_edge SEG-OUT-5C52C0EB9A9C
|
Test Outcome: test_a_subtree_below_a_requirement_that_is_not_a_top_leaves_out_its_own_refines_edge SEG-OUT-3262788DF53E
|
Test Outcome: test_a_subtree_selection_for_an_unknown_requirement_matches_nothing SEG-OUT-6EAC77F5D8E2
|
Test Outcome: test_a_verifies_or_implements_edge_is_in_the_subtree_by_the_requirement_it_names SEG-OUT-F556FA3F8A04
|
Test Outcome: test_edge_show_lists_a_refines_edge_only_when_both_ends_are_in_the_subtree SEG-OUT-11759F05A1BF
|
Test Outcome: test_the_edges_of_a_subtree_selection_are_the_edges_that_the_proof_scope_cuts SEG-OUT-45FB6809A006
|
Test Outcome: test_the_subtree_is_the_requirement_and_every_requirement_that_refines_it SEG-OUT-7DC687D94363
|
tests/specification/test_edge_show_unreadable_repository.py
Test Outcome: test_an_unreadable_before_content_does_not_change_the_exit_of_edge_show[git-absent] SEG-OUT-0FAC12F8E365
|
Test Outcome: test_an_unreadable_before_content_does_not_change_the_exit_of_edge_show[missing-path] SEG-OUT-6DA97621B809
|
Test Outcome: test_an_unreadable_before_content_does_not_change_the_exit_of_edge_show[not-a-repository] SEG-OUT-921C6B4E5D92
|
Test Outcome: test_an_unreadable_before_content_does_not_change_the_exit_of_edge_show[objects] SEG-OUT-E45F7186B93E
|
Test Outcome: test_an_unreadable_before_content_does_not_change_the_exit_of_edge_show[stand-in] SEG-OUT-FF5833011183
|
Test Outcome: test_edge_show_reports_before_content_it_cannot_read_as_not_available[git-absent] SEG-OUT-93C089B017A6
|
Test Outcome: test_edge_show_reports_before_content_it_cannot_read_as_not_available[missing-path] SEG-OUT-8C29AF2791EB
|
Test Outcome: test_edge_show_reports_before_content_it_cannot_read_as_not_available[not-a-repository] SEG-OUT-6A53FD29E4D3
|
Test Outcome: test_edge_show_reports_before_content_it_cannot_read_as_not_available[objects] SEG-OUT-71521F6E4355
|
Test Outcome: test_edge_show_reports_before_content_it_cannot_read_as_not_available[stand-in] SEG-OUT-4BD716FC848C
|
Test Outcome: test_edge_show_still_shows_the_content_of_the_endpoint_that_it_can_read[from-objects] SEG-OUT-D6D20856B749
|
Test Outcome: test_edge_show_still_shows_the_content_of_the_endpoint_that_it_can_read[from-stand-in] SEG-OUT-1670828FB141
|
Test Outcome: test_edge_show_still_shows_the_content_of_the_endpoint_that_it_can_read[to-objects] SEG-OUT-A74B1428FB9C
|
Test Outcome: test_edge_show_still_shows_the_content_of_the_endpoint_that_it_can_read[to-stand-in] SEG-OUT-1249B5A6BE93
|
Test Outcome: test_edge_show_without_the_verbose_rendering_reads_no_before_content[git-absent] SEG-OUT-0DAB780E865F
|
Test Outcome: test_edge_show_without_the_verbose_rendering_reads_no_before_content[missing-path] SEG-OUT-99DB5FF1BBBB
|
Test Outcome: test_edge_show_without_the_verbose_rendering_reads_no_before_content[not-a-repository] SEG-OUT-0AF379137CC8
|
Test Outcome: test_edge_show_without_the_verbose_rendering_reads_no_before_content[objects] SEG-OUT-5E518D581016
|
Test Outcome: test_edge_show_without_the_verbose_rendering_reads_no_before_content[stand-in] SEG-OUT-770F40E9602E
|
Test Outcome: test_the_machine_readable_report_gives_a_null_content_and_an_error_for_an_unreadable_end[git-absent] SEG-OUT-151B2D06811E
|
Test Outcome: test_the_machine_readable_report_gives_a_null_content_and_an_error_for_an_unreadable_end[missing-path] SEG-OUT-027B0F9C10C7
|
Test Outcome: test_the_machine_readable_report_gives_a_null_content_and_an_error_for_an_unreadable_end[not-a-repository] SEG-OUT-FA61A22DA1B9
|
Test Outcome: test_the_machine_readable_report_gives_a_null_content_and_an_error_for_an_unreadable_end[objects] SEG-OUT-22D51CBE9F9D
|
Test Outcome: test_the_machine_readable_report_gives_a_null_content_and_an_error_for_an_unreadable_end[stand-in] SEG-OUT-FF8E17BA436B
|
Test Outcome: test_the_machine_readable_report_keeps_the_content_of_the_readable_end_and_has_no_error[from-objects] SEG-OUT-8700455D4E5A
|
Test Outcome: test_the_machine_readable_report_keeps_the_content_of_the_readable_end_and_has_no_error[from-stand-in] SEG-OUT-709D7898B7FE
|
Test Outcome: test_the_machine_readable_report_keeps_the_content_of_the_readable_end_and_has_no_error[to-objects] SEG-OUT-D9BE6D0F5099
|
Test Outcome: test_the_machine_readable_report_keeps_the_content_of_the_readable_end_and_has_no_error[to-stand-in] SEG-OUT-D1076F67E517
|
Test Outcome: test_the_text_line_for_an_unreadable_end_has_the_form_of_the_page[git-absent] SEG-OUT-98150CE01D3C
|
Test Outcome: test_the_text_line_for_an_unreadable_end_has_the_form_of_the_page[missing-path] SEG-OUT-F1011852FD4C
|
Test Outcome: test_the_text_line_for_an_unreadable_end_has_the_form_of_the_page[not-a-repository] SEG-OUT-178026C391B6
|
Test Outcome: test_the_text_line_for_an_unreadable_end_has_the_form_of_the_page[objects] SEG-OUT-69112697047D
|
Test Outcome: test_the_text_line_for_an_unreadable_end_has_the_form_of_the_page[stand-in] SEG-OUT-5EB2C61D4918
|
tests/specification/test_every_misshapen_need.py
Test Outcome: test_misshapen_needs_of_the_content_extractor_are_listed_in_export_order[content implementations] SEG-OUT-186A4C865BB5
|
Test Outcome: test_misshapen_needs_of_the_content_extractor_are_listed_in_export_order[content test cases] SEG-OUT-0F478D0A6529
|
Test Outcome: test_misshapen_needs_of_the_outcome_extractor_are_listed_in_export_order[outcome implementations] SEG-OUT-B4924323EB3C
|
Test Outcome: test_misshapen_needs_of_the_outcome_extractor_are_listed_in_export_order[outcome test cases] SEG-OUT-3ABF73DE9E56
|
Test Outcome: test_misshapen_needs_of_the_requirements_reader_are_listed_in_export_order SEG-OUT-E2734C74020A
|
Test Outcome: test_the_content_extractor_names_every_misshapen_need_of_an_export[content implementations] SEG-OUT-B5105D625438
|
Test Outcome: test_the_content_extractor_names_every_misshapen_need_of_an_export[content test cases] SEG-OUT-EF28D84E1144
|
Test Outcome: test_the_error_for_misshapen_needs_of_the_content_extractor_starts_with_a_count[content implementations] SEG-OUT-E08A98B2F97C
|
Test Outcome: test_the_error_for_misshapen_needs_of_the_content_extractor_starts_with_a_count[content test cases] SEG-OUT-EFB25DC181AF
|
Test Outcome: test_the_error_for_misshapen_needs_of_the_outcome_extractor_starts_with_a_count[outcome implementations] SEG-OUT-25D42DE696C4
|
Test Outcome: test_the_error_for_misshapen_needs_of_the_outcome_extractor_starts_with_a_count[outcome test cases] SEG-OUT-4EA608744544
|
Test Outcome: test_the_error_for_misshapen_needs_of_the_requirements_reader_starts_with_a_count SEG-OUT-B97443DDC287
|
Test Outcome: test_the_outcome_extractor_names_every_misshapen_need_of_an_export[outcome implementations] SEG-OUT-E5058B052369
|
Test Outcome: test_the_outcome_extractor_names_every_misshapen_need_of_an_export[outcome test cases] SEG-OUT-4CF46717D620
|
Test Outcome: test_the_requirements_reader_names_every_misshapen_need_of_an_export SEG-OUT-4E4A86F54E4B
|
tests/specification/test_every_unmapped_result.py
Test Outcome: test_unmapped_results_are_listed_in_the_order_of_the_artifact_every_time SEG-OUT-7BF789F707A5
|
tests/specification/test_extraction_revision_affirm.py
Test Outcome: test_a_revision_given_on_the_command_line_is_never_an_extraction_revision SEG-OUT-CE059B17ECED
|
Test Outcome: test_edge_affirm_drops_the_held_revision_of_an_endpoint_changed_and_not_committed SEG-OUT-9755D4AE3EF5
|
Test Outcome: test_edge_affirm_keeps_the_held_revision_of_an_unchanged_endpoint SEG-OUT-3DAB85975E7B
|
Test Outcome: test_edge_affirm_records_the_discovered_revision_in_both_endpoint_records SEG-OUT-F8710617831F
|
Test Outcome: test_edge_affirm_reports_the_repository_and_the_count_of_records_without_a_revision SEG-OUT-ED244D5EFEDD
|
tests/specification/test_extraction_revision_store.py
Test Outcome: test_a_node_record_without_an_extraction_revision_is_read_back_as_written SEG-OUT-08BEB0E685F0
|
Test Outcome: test_every_node_schema_declares_the_extraction_revisions_as_optional SEG-OUT-D64AAB598260
|
tests/specification/test_extraction_revision_sync.py
Test Outcome: test_a_changed_hash_for_a_directory_that_is_not_a_repository_drops_the_held_revision SEG-OUT-111D84995B93
|
Test Outcome: test_a_changed_hash_for_a_repository_that_is_not_configured_drops_the_held_revision SEG-OUT-193622FCD4CB
|
Test Outcome: test_a_changed_hash_over_an_uncommitted_change_drops_the_held_revision SEG-OUT-49D540369554
|
Test Outcome: test_a_changed_hash_replaces_the_held_revision_with_the_discovered_one SEG-OUT-C523688FE8F7
|
Test Outcome: test_a_held_revision_for_a_repository_the_anchors_no_longer_name_is_not_kept SEG-OUT-0C3177661CEC
|
Test Outcome: test_a_node_whose_anchors_name_two_repositories_gets_a_revision_for_each SEG-OUT-2EDA886F65E5
|
Test Outcome: test_a_schema_copy_without_the_field_refuses_the_sync_until_it_is_refreshed SEG-OUT-02C31C3D9F52
|
Test Outcome: test_an_unchanged_hash_keeps_the_held_revision_after_the_repository_moves_on SEG-OUT-42EED3C7510E
|
Test Outcome: test_an_unchanged_hash_keeps_the_held_revision_when_the_repository_is_not_configured SEG-OUT-721C2A0D1A5E
|
Test Outcome: test_an_unchanged_hash_with_no_revision_held_gets_the_discovered_revision SEG-OUT-11A286A7AD70
|
Test Outcome: test_each_node_gets_the_revision_of_the_repository_its_anchors_name SEG-OUT-52E1C53CA6E4
|
Test Outcome: test_the_report_counts_the_records_without_a_revision_for_each_repository SEG-OUT-38677B515949
|
Test Outcome: test_the_report_names_the_repository_and_the_count_of_records_without_a_revision SEG-OUT-6A84314D5A2D
|
tests/specification/test_extractor_comment_search.py
tests/specification/test_extractor_error_report.py
tests/specification/test_extractor_types_modules_and_prefix.py
Test Outcome: test_an_anchor_names_the_repository_of_its_stream_and_the_path_inside_it SEG-OUT-920E3FC9DF8C
|
tests/specification/test_gate_skip_rule.py
Test Outcome: test_a_failed_outcome_excused_by_a_valid_waiver_satisfies_the_leaf SEG-OUT-C9E7028DF37E
|
Test Outcome: test_a_skipped_outcome_beside_a_passed_one_leaves_the_leaf_satisfied SEG-OUT-F85B60885FE4
|
tests/specification/test_gate_unreadable_repository.py
Test Outcome: test_proof_generate_writes_no_package_when_it_cannot_read_the_repository[git-absent] SEG-OUT-77F1601D09E6
|
Test Outcome: test_proof_generate_writes_no_package_when_it_cannot_read_the_repository[missing-path] SEG-OUT-3A0951E80B60
|
Test Outcome: test_proof_generate_writes_no_package_when_it_cannot_read_the_repository[not-a-repository] SEG-OUT-9F972936326C
|
Test Outcome: test_proof_generate_writes_no_package_when_it_cannot_read_the_repository[objects] SEG-OUT-FC2FBCE3BE6D
|
Test Outcome: test_proof_generate_writes_no_package_when_it_cannot_read_the_repository[stand-in] SEG-OUT-BF660812BE07
|
Test Outcome: test_the_commands_that_need_no_implementation_revision_read_no_repository SEG-OUT-0DC6D22521BC
|
Test Outcome: test_the_gate_names_an_implementation_repository_that_it_cannot_read[git-absent] SEG-OUT-DF75CEDCAB5E
|
Test Outcome: test_the_gate_names_an_implementation_repository_that_it_cannot_read[missing-path] SEG-OUT-7453F0451420
|
Test Outcome: test_the_gate_names_an_implementation_repository_that_it_cannot_read[not-a-repository] SEG-OUT-92B76C987D4D
|
Test Outcome: test_the_gate_names_an_implementation_repository_that_it_cannot_read[objects] SEG-OUT-635172A87EC1
|
Test Outcome: test_the_gate_names_an_implementation_repository_that_it_cannot_read[stand-in] SEG-OUT-4EFA3964F4B3
|
Test Outcome: test_the_gate_reads_the_implementation_repository_without_the_variables_that_name_a_repository SEG-OUT-EC9DDB91D818
|
tests/specification/test_graph.py
tests/specification/test_manual_configuration_examples.py
Test Outcome: test_every_configuration_example_of_the_pages_loads[manual/explanation/architecture/command-line-interface.rst:1] SEG-OUT-FBA3826FC74E
|
Test Outcome: test_every_configuration_example_of_the_pages_loads[manual/howto/narrow-an-implementation-export.rst:1] SEG-OUT-2DB8CF629226
|
Test Outcome: test_every_configuration_example_of_the_pages_loads[manual/tutorials/installation.rst:1] SEG-OUT-F70FE07490E7
|
tests/specification/test_need_ids_confirming_outcomes.py
Test Outcome: test_an_outcome_whose_only_witnessed_implementation_is_not_listed_is_set_aside SEG-OUT-82B6C6D70007
|
tests/specification/test_node_comparison.py
Test Outcome: test_a_node_that_only_one_side_holds_has_every_hash_on_one_side_only SEG-OUT-172D75546C87
|
tests/specification/test_node_content_sources.py
tests/specification/test_node_show_edge_cases.py
Test Outcome: test_node_show_exits_with_status_2_for_an_identifier_the_current_stream_holds_twice SEG-OUT-0E20CA70F3D7
|
Test Outcome: test_node_show_reports_a_repository_that_cannot_be_read_with_the_reason SEG-OUT-8F04D609E650
|
Test Outcome: test_node_show_reports_no_current_content_for_a_hash_only_the_case_records SEG-OUT-18A0390D787C
|
tests/specification/test_node_show_report.py
Test Outcome: test_node_show_names_each_anchored_path_that_differs_from_its_commit SEG-OUT-A9BF1588A1DF
|
Test Outcome: test_node_show_reports_the_recorded_revision_of_the_recorded_anchors_repository SEG-OUT-ADD408195661
|
Test Outcome: test_node_show_reports_the_revision_the_current_anchors_repository_is_at SEG-OUT-D149E33306EB
|
Test Outcome: test_node_show_says_when_no_repository_is_configured_for_the_current_anchor SEG-OUT-34A8541C2951
|
tests/specification/test_node_show_user_case.py
Test Outcome: test_node_show_answers_what_changed_and_where_the_recorded_content_was_read SEG-OUT-FF13D3C33FD1
|
Test Outcome: test_node_show_gives_no_fallback_revision_for_a_node_record_with_none SEG-OUT-DD1A95DFC483
|
tests/specification/test_node_show_verdicts.py
Test Outcome: test_node_show_exits_with_status_0_for_a_matching_hash_on_a_dirty_checkout SEG-OUT-765DBFBAAF65
|
Test Outcome: test_node_show_exits_with_status_1_while_a_hash_is_on_one_side_only SEG-OUT-9E5745A92117
|
Test Outcome: test_node_show_exits_with_status_1_while_the_current_stream_holds_no_such_node SEG-OUT-613A41FC58DD
|
Test Outcome: test_node_show_exits_with_status_2_for_an_identifier_the_case_does_not_hold SEG-OUT-D72CE84C8C35
|
Test Outcome: test_node_show_exits_with_status_2_when_it_cannot_read_the_current_stream SEG-OUT-B64BD0A21FC2
|
Test Outcome: test_node_show_without_a_current_stream_or_a_producer_cannot_be_judged SEG-OUT-3C6591BF041F
|
tests/specification/test_node_show_writes_nothing.py
tests/specification/test_outcome_extractor.py
Test Outcome: test_a_content_hash_covers_the_specification_the_run_and_the_result_only SEG-OUT-D11AFD63DF2A
|
Test Outcome: test_a_result_maps_to_the_need_with_its_scenario_suite_and_test_function SEG-OUT-76788D731E2E
|
Test Outcome: test_a_run_identifier_joins_the_run_name_the_platform_and_the_scenario SEG-OUT-449328EE291E
|
Test Outcome: test_a_specification_identifier_is_the_test_case_needs_identifier_verbatim SEG-OUT-57DC344C0E9E
|
Test Outcome: test_a_witnesses_edge_runs_to_each_implementation_of_what_the_specification_verifies SEG-OUT-1FEC9505B8D3
|
Test Outcome: test_an_outcomes_revision_is_the_revision_the_bundle_records_for_the_checkout SEG-OUT-AB7E3161F63B
|
tests/specification/test_outcome_extractor_boards.py
tests/specification/test_outcome_extractor_need_ids.py
Test Outcome: test_a_listed_identifier_of_a_need_of_another_type_is_refused_by_the_outcome_extractor SEG-OUT-2F17D11E9012
|
Test Outcome: test_a_listed_identifier_that_names_no_need_is_refused_by_the_outcome_extractor SEG-OUT-93E6850A5981
|
Test Outcome: test_a_need_outside_the_list_is_not_refused_by_the_outcome_extractor SEG-OUT-3AB07152F013
|
Test Outcome: test_an_outcome_witnesses_a_need_that_is_listed_and_of_a_configured_type SEG-OUT-BF7A53EDC8C4
|
Test Outcome: test_every_listed_identifier_that_names_no_need_is_named_in_one_outcome_error SEG-OUT-013C79D51523
|
Test Outcome: test_without_types_and_without_a_list_an_outcome_witnesses_every_need SEG-OUT-1720C1CCE941
|
Test Outcome: test_witnesses_run_only_to_the_implementation_needs_of_the_configured_types SEG-OUT-F24B3BA2ADDE
|
tests/specification/test_outcome_extractor_need_types.py
Test Outcome: test_a_bundle_read_over_a_procedure_need_with_no_configured_types_is_refused SEG-OUT-BDF5E8D14B41
|
Test Outcome: test_a_need_of_another_type_does_not_refuse_the_implementation_export SEG-OUT-B1267C3BF8F9
|
Test Outcome: test_the_witnesses_come_from_the_implementation_needs_of_the_configured_types SEG-OUT-5B83598C96B5
|
tests/specification/test_proof_show.py
Test Outcome: test_a_package_is_named_by_identifier_by_unique_prefix_or_by_path SEG-OUT-BC9ED970FF13
|
Test Outcome: test_a_package_without_run_bundle_digests_says_that_none_is_recorded SEG-OUT-CC1BF196AA19
|
Test Outcome: test_proof_show_lists_the_specifications_outcomes_and_implementations_of_each_requirement SEG-OUT-72F6BADF50CC
|
Test Outcome: test_proof_show_reads_a_package_named_by_path_with_no_configuration_and_no_case SEG-OUT-0065CA3425EB
|
tests/specification/test_proof_verbs.py
Test Outcome: test_the_design_root_of_a_package_is_recomputed_from_its_own_design_consistency_proof SEG-OUT-ACD94CCC3FE8
|
tests/specification/test_proof_verifier_bundles.py
Test Outcome: test_a_bundle_whose_digest_the_package_does_not_list_is_a_mismatch SEG-OUT-BF9D190DEFEF
|
Test Outcome: test_a_design_edge_the_readers_do_not_supply_leaves_the_evidence_unjudged SEG-OUT-AD5622CBB046
|
Test Outcome: test_a_design_node_the_readers_do_not_supply_leaves_the_evidence_unjudged SEG-OUT-E3FB768F4903
|
Test Outcome: test_a_listed_bundle_that_is_not_given_leaves_the_evidence_unjudged SEG-OUT-8B52C3B9EB53
|
Test Outcome: test_the_evidence_rebuilt_from_the_bundles_must_equal_the_recorded_evidence SEG-OUT-12AAFC8A10D7
|
tests/specification/test_proof_verifier_package.py
Test Outcome: test_a_coverage_report_that_lists_an_unready_edge_fails_the_unblocked_check SEG-OUT-ED112537A39E
|
Test Outcome: test_a_coverage_report_that_records_a_blocked_scope_fails_the_unblocked_check SEG-OUT-461322055AD3
|
Test Outcome: test_a_coverage_report_with_a_blocking_finding_fails_the_unblocked_check SEG-OUT-1E5E436AE52A
|
Test Outcome: test_a_design_edge_without_a_binding_review_event_fails_the_affirmations_check SEG-OUT-1B98661CC6E2
|
Test Outcome: test_a_member_scope_that_is_not_what_the_documents_name_fails_the_agreement_check SEG-OUT-15C7323C357F
|
Test Outcome: test_a_snapshot_identifier_that_is_not_the_directory_name_fails_the_identity_check SEG-OUT-F172EBCD079C
|
Test Outcome: test_an_outcome_of_the_record_that_is_also_stale_fails_the_agreement_check SEG-OUT-ED49FAF04EC6
|
Test Outcome: test_an_outcome_or_finding_outside_the_member_scope_fails_the_agreement_check SEG-OUT-E4AA9A4559A6
|
Test Outcome: test_documents_that_disagree_on_what_the_package_is_fail_the_identity_check SEG-OUT-E577579D72C4
|
Test Outcome: test_every_design_edge_bound_by_a_review_event_passes_the_affirmations_check SEG-OUT-A3EA9EB48445
|
Test Outcome: test_records_that_disagree_on_set_aside_skipped_or_excused_outcomes_fail_the_agreement_check SEG-OUT-50660DD21DD9
|
Test Outcome: test_the_design_root_of_a_package_is_recomputed_and_equals_the_recorded_root SEG-OUT-770FCCD165A4
|
tests/specification/test_proof_verify_cli.py
Test Outcome: test_a_check_that_cannot_be_judged_gives_exit_status_2_when_nothing_failed SEG-OUT-6D1C71E8A16B
|
Test Outcome: test_a_failed_check_gives_exit_status_1_even_when_another_check_is_not_judged SEG-OUT-3C71459A622A
|
Test Outcome: test_proof_verify_checks_the_affirmations_against_the_case_of_the_invocation SEG-OUT-63C6FCA33C27
|
Test Outcome: test_proof_verify_gives_the_verifier_exactly_the_bundles_the_operator_names SEG-OUT-BAD3CBCE1E90
|
Test Outcome: test_proof_verify_judges_a_package_named_by_path_with_no_configuration_and_no_case SEG-OUT-680C263A4DFF
|
Test Outcome: test_proof_verify_names_every_check_and_the_checks_it_did_not_make SEG-OUT-4CD4F9FB46D6
|
tests/specification/test_reader_parent_field_and_source_map.py
Test Outcome: test_a_content_hash_covers_the_parent_links_of_the_configured_field SEG-OUT-786EFE1A7930
|
tests/specification/test_repository_path_refusal.py
Test Outcome: test_a_directory_that_is_not_a_version_control_repository_is_a_valid_path SEG-OUT-0EC146C14FF4
|
Test Outcome: test_a_repository_that_only_the_requirements_reader_names_is_not_checked SEG-OUT-91771C35F021
|
Test Outcome: test_case_sync_over_a_missing_repository_exits_2_names_it_once_and_writes_nothing SEG-OUT-F38AC3DB0D1F
|
Test Outcome: test_one_repository_that_both_streams_read_through_is_reported_once SEG-OUT-04D51673CE5A
|
Test Outcome: test_several_bad_repositories_are_listed_sorted_by_configured_name SEG-OUT-579B7C53A23A
|
Test Outcome: test_two_repositories_that_cannot_be_used_are_both_reported_in_one_error SEG-OUT-990D62768A24
|
tests/specification/test_repository_reads_decoy_case.py
Test Outcome: test_edge_show_does_not_take_an_enclosing_repository_for_the_case SEG-OUT-EB9DC97E5AFC
|
Test Outcome: test_edge_show_names_the_recording_commit_of_the_case_whatever_the_environment_names[GIT_COMMON_DIR] SEG-OUT-F7DE9A3E9FE4
|
Test Outcome: test_edge_show_names_the_recording_commit_of_the_case_whatever_the_environment_names[GIT_DIR] SEG-OUT-5E2E1A72A207
|
Test Outcome: test_edge_show_names_the_recording_commit_of_the_case_whatever_the_environment_names[GIT_OBJECT_DIRECTORY] SEG-OUT-3434B85BA77E
|
Test Outcome: test_edge_show_names_the_recording_commit_of_the_case_whatever_the_environment_names[GIT_WORK_TREE] SEG-OUT-6FC8EC0148BE
|
tests/specification/test_repository_reads_decoy_content.py
Test Outcome: test_case_sync_does_not_borrow_objects_from_a_repository_the_environment_names SEG-OUT-4DB3F121F2BB
|
Test Outcome: test_case_sync_records_the_revision_of_the_repository_at_the_path[GIT_COMMON_DIR] SEG-OUT-61BD44E4F73D
|
Test Outcome: test_case_sync_records_the_revision_of_the_repository_at_the_path[GIT_DIR] SEG-OUT-A7D9F5F5FF73
|
Test Outcome: test_case_sync_records_the_revision_of_the_repository_at_the_path[GIT_INDEX_FILE] SEG-OUT-74362CE8D046
|
Test Outcome: test_case_sync_records_the_revision_of_the_repository_at_the_path[GIT_OBJECT_DIRECTORY] SEG-OUT-4D40F9E1BECC
|
Test Outcome: test_case_sync_records_the_revision_of_the_repository_at_the_path[GIT_WORK_TREE] SEG-OUT-82248FF649F6
|
Test Outcome: test_edge_affirm_records_the_revision_of_the_repository_at_the_path[GIT_COMMON_DIR] SEG-OUT-5274E5E32DC9
|
Test Outcome: test_edge_affirm_records_the_revision_of_the_repository_at_the_path[GIT_DIR] SEG-OUT-A68BC0505D6B
|
Test Outcome: test_edge_affirm_records_the_revision_of_the_repository_at_the_path[GIT_INDEX_FILE] SEG-OUT-356C0976F305
|
Test Outcome: test_edge_affirm_records_the_revision_of_the_repository_at_the_path[GIT_OBJECT_DIRECTORY] SEG-OUT-AFBBEBC14B04
|
Test Outcome: test_edge_affirm_records_the_revision_of_the_repository_at_the_path[GIT_WORK_TREE] SEG-OUT-4A9397776B4F
|
Test Outcome: test_edge_affirm_still_refuses_a_dirty_repository_with_a_variable_set[GIT_DIR] SEG-OUT-58E3D3A063CB
|
Test Outcome: test_edge_affirm_still_refuses_a_dirty_repository_with_a_variable_set[GIT_INDEX_FILE] SEG-OUT-342C8B1FC470
|
Test Outcome: test_edge_affirm_still_refuses_a_dirty_repository_with_a_variable_set[GIT_WORK_TREE] SEG-OUT-3D048FAA16A6
|
Test Outcome: test_edge_show_reads_the_before_content_from_the_repository_at_the_path[GIT_COMMON_DIR] SEG-OUT-0EC7E4E92F60
|
Test Outcome: test_edge_show_reads_the_before_content_from_the_repository_at_the_path[GIT_DIR] SEG-OUT-3E2FB1547585
|
Test Outcome: test_edge_show_reads_the_before_content_from_the_repository_at_the_path[GIT_OBJECT_DIRECTORY] SEG-OUT-57C33C9FFEF4
|
Test Outcome: test_node_show_reports_the_state_of_the_repository_at_the_path[GIT_COMMON_DIR] SEG-OUT-6DBE45CEB48B
|
Test Outcome: test_node_show_reports_the_state_of_the_repository_at_the_path[GIT_DIR] SEG-OUT-91F7963A6724
|
Test Outcome: test_node_show_reports_the_state_of_the_repository_at_the_path[GIT_INDEX_FILE] SEG-OUT-4E9B4784C709
|
Test Outcome: test_node_show_reports_the_state_of_the_repository_at_the_path[GIT_OBJECT_DIRECTORY] SEG-OUT-F1A07E859DDD
|
Test Outcome: test_node_show_reports_the_state_of_the_repository_at_the_path[GIT_WORK_TREE] SEG-OUT-C4C113615F58
|
tests/specification/test_repository_reads_decoy_no_write.py
Test Outcome: test_case_sync_writes_nothing_in_either_repository_with_a_variable_set[GIT_DIR] SEG-OUT-C9BD4265E0B5
|
Test Outcome: test_case_sync_writes_nothing_in_either_repository_with_a_variable_set[GIT_INDEX_FILE] SEG-OUT-5029B50D342D
|
Test Outcome: test_case_sync_writes_nothing_in_either_repository_with_a_variable_set[GIT_WORK_TREE] SEG-OUT-87E4D6F0CE24
|
Test Outcome: test_edge_affirm_and_node_show_write_nothing_in_either_repository_with_a_variable_set[GIT_DIR] SEG-OUT-5A4DA785E93E
|
Test Outcome: test_edge_affirm_and_node_show_write_nothing_in_either_repository_with_a_variable_set[GIT_INDEX_FILE] SEG-OUT-3F1720432197
|
Test Outcome: test_edge_affirm_and_node_show_write_nothing_in_either_repository_with_a_variable_set[GIT_WORK_TREE] SEG-OUT-A504C19C01A4
|
Test Outcome: test_edge_show_writes_nothing_under_the_git_directory_of_the_case_with_a_variable_set[GIT_DIR] SEG-OUT-C76D95B23AE0
|
Test Outcome: test_edge_show_writes_nothing_under_the_git_directory_of_the_case_with_a_variable_set[GIT_WORK_TREE] SEG-OUT-A2942074C72C
|
tests/specification/test_repository_reads_parts.py
Test Outcome: test_a_failing_call_fails_the_read_of_a_repository_that_one_call_reads SEG-OUT-865CACC04069
|
Test Outcome: test_a_read_in_parts_gives_every_path_to_exactly_one_call_and_no_call_too_many SEG-OUT-FC9EF8120506
|
Test Outcome: test_a_read_of_more_paths_than_one_call_takes_gives_the_answer_of_one_call SEG-OUT-1D7BCC7F61CF
|
Test Outcome: test_a_read_of_so_many_paths_that_the_system_refuses_the_call_still_gives_revisions SEG-OUT-54C6642A3089
|
Test Outcome: test_case_sync_counts_the_repository_as_unreadable_when_a_later_part_fails[ls-tree] SEG-OUT-6F901DD0C873
|
Test Outcome: test_case_sync_counts_the_repository_as_unreadable_when_a_later_part_fails[status] SEG-OUT-6A82DFAFE28F
|
Test Outcome: test_node_show_reads_the_paths_of_one_node_in_parts_and_reports_the_same_dirty_path SEG-OUT-D5D7EEFB79AD
|
Test Outcome: test_node_show_reports_the_repository_as_unreadable_when_a_later_part_fails SEG-OUT-EF7BA18D8642
|
tests/specification/test_repository_reads_stand_in.py
Test Outcome: test_a_repository_read_keeps_the_ceiling_and_the_config_variables SEG-OUT-8FE3E68724C2
|
Test Outcome: test_case_sync_runs_git_without_the_variables_that_name_a_repository SEG-OUT-F034B448DCCB
|
Test Outcome: test_edge_affirm_runs_git_without_the_variables_that_name_a_repository SEG-OUT-287026A09738
|
Test Outcome: test_edge_show_runs_the_before_content_read_without_the_variables_that_name_a_repository SEG-OUT-7BF2BCA6DD45
|
Test Outcome: test_edge_show_runs_the_case_history_reads_without_the_variables_that_name_a_repository SEG-OUT-A0FD2A7DD9AB
|
Test Outcome: test_node_show_runs_git_without_the_variables_that_name_a_repository SEG-OUT-FC5663933F69
|
Test Outcome: test_proof_check_reads_the_gate_revision_without_the_variables_that_name_a_repository SEG-OUT-8859FBD240B1
|
tests/specification/test_requirements_reader.py
Test Outcome: test_the_requirement_export_location_is_loaded_relative_to_the_file SEG-OUT-475C3D1E2731
|
Test Outcome: test_the_requirement_source_directory_is_loaded_relative_to_the_file SEG-OUT-6EBB18340527
|
tests/specification/test_run_bundle_cli.py
Test Outcome: test_the_verbs_that_judge_evidence_include_exactly_the_named_bundles SEG-OUT-FA682213197F
|
tests/specification/test_run_bundle_digest.py
Test Outcome: test_a_bundle_digest_is_the_sha256_of_its_file_list_by_path_and_content SEG-OUT-435E0513D62F
|
Test Outcome: test_a_changed_byte_a_renamed_file_or_a_new_file_changes_the_digest SEG-OUT-18485E7186F4
|
tests/specification/test_run_bundle_extractor.py
Test Outcome: test_an_outcomes_revision_is_the_implementation_checkouts_revision_in_the_bundle SEG-OUT-6C733C3CB8B5
|
tests/specification/test_run_bundle_proof.py
Test Outcome: test_a_package_records_the_digest_of_every_bundle_that_supplied_an_outcome_in_scope SEG-OUT-588F2A1FF71F
|
tests/specification/test_taxonomy.py
tests/unit/test_affirmation.py
Test Outcome: test_affirmable_leaves_every_strong_kind_governed_by_state_alone[Implements] SEG-OUT-49E0F0311E70
|
Test Outcome: test_affirmable_leaves_every_strong_kind_governed_by_state_alone[Refines] SEG-OUT-35D49A024177
|
Test Outcome: test_affirmable_leaves_every_strong_kind_governed_by_state_alone[Verifies] SEG-OUT-11769CE0F6E3
|
Test Outcome: test_affirmable_names_exactly_the_three_states[directlyOutdated-True] SEG-OUT-2A41B7A4048A
|
Test Outcome: test_affirmable_names_exactly_the_three_states[doublyOutdated-True] SEG-OUT-A59684A883A9
|
Test Outcome: test_affirmable_names_exactly_the_three_states[transitivelySuspect-False] SEG-OUT-EE943A943D13
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[active-Calls] SEG-OUT-44C715777A17
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[active-Confirms] SEG-OUT-EF5E7CB60768
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[active-Excuses] SEG-OUT-5A7A615CA8CA
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[active-Witnesses] SEG-OUT-B685C7B87C59
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[broken-Calls] SEG-OUT-BF38A650DADD
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[broken-Confirms] SEG-OUT-181333C0886B
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[broken-Excuses] SEG-OUT-573EB5BD6CAE
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[broken-Witnesses] SEG-OUT-8A7BAA914A55
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[directlyOutdated-Calls] SEG-OUT-695A68435B1F
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[directlyOutdated-Confirms] SEG-OUT-F8D60534BC85
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[directlyOutdated-Excuses] SEG-OUT-C9063083430B
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[directlyOutdated-Witnesses] SEG-OUT-5031E5BC926F
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[doublyOutdated-Calls] SEG-OUT-3ED1D349C250
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[doublyOutdated-Confirms] SEG-OUT-2DB481523D85
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[doublyOutdated-Excuses] SEG-OUT-188A1D3E6809
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[doublyOutdated-Witnesses] SEG-OUT-BC128D7E0F55
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[pending-Calls] SEG-OUT-8CAA74098E9B
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[pending-Confirms] SEG-OUT-C976FA4B3C3A
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[pending-Excuses] SEG-OUT-148BBDA05CC7
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[pending-Witnesses] SEG-OUT-D083230DA213
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[transitivelySuspect-Calls] SEG-OUT-4DF0675E0D3D
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[transitivelySuspect-Confirms] SEG-OUT-DB24BD4C7767
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[transitivelySuspect-Excuses] SEG-OUT-7139C614660A
|
Test Outcome: test_affirmable_refuses_every_evidence_kind_whatever_its_state[transitivelySuspect-Witnesses] SEG-OUT-A8E97F962D54
|
Test Outcome: test_compose_refuses_every_evidence_kind_with_a_re_execution_message[Calls] SEG-OUT-B10F81D72F38
|
Test Outcome: test_compose_refuses_every_evidence_kind_with_a_re_execution_message[Confirms] SEG-OUT-BC68155FEAB2
|
Test Outcome: test_compose_refuses_every_evidence_kind_with_a_re_execution_message[Excuses] SEG-OUT-F334A89D50D3
|
Test Outcome: test_compose_refuses_every_evidence_kind_with_a_re_execution_message[Witnesses] SEG-OUT-9CB259BF1B9A
|
Test Outcome: test_compose_refuses_every_non_affirmable_state[active-nothing to affirm] SEG-OUT-A777AE721750
|
Test Outcome: test_compose_refuses_every_non_affirmable_state[transitivelySuspect-recomputation] SEG-OUT-6AF68B67E8F6
|
Test Outcome: test_every_judgement_field_is_required_by_keyword_with_no_default SEG-OUT-F8F3D7B0F782
|
Test Outcome: test_the_event_carries_each_endpoints_named_content_hashes_verbatim SEG-OUT-5368141DDB95
|
Test Outcome: test_the_operators_path_re_activates_the_change_site_and_clears_above SEG-OUT-710797E7136B
|
tests/unit/test_affirmation_store.py
Test Outcome: test_a_malformed_existing_document_is_refused_rather_than_overwritten SEG-OUT-91DC8AAAD63D
|
Test Outcome: test_a_node_document_carries_identifiers_kinds_digests_and_their_locations SEG-OUT-8A7D9271761F
|
Test Outcome: test_a_review_event_without_node_hashes_is_persisted_without_the_keys SEG-OUT-68E1536530FA
|
Test Outcome: test_a_segment_with_a_character_invalid_on_some_filesystem_is_refused["] SEG-OUT-28EA8653653A
|
Test Outcome: test_a_segment_with_a_character_invalid_on_some_filesystem_is_refused[*] SEG-OUT-720998F6BA73
|
Test Outcome: test_a_segment_with_a_character_invalid_on_some_filesystem_is_refused[:] SEG-OUT-D3CB3DDEA38E
|
Test Outcome: test_a_segment_with_a_character_invalid_on_some_filesystem_is_refused[<] SEG-OUT-51B616FD98D4
|
Test Outcome: test_a_segment_with_a_character_invalid_on_some_filesystem_is_refused[>] SEG-OUT-74B3D6609B54
|
Test Outcome: test_a_segment_with_a_character_invalid_on_some_filesystem_is_refused[?] SEG-OUT-25104F2BD3BF
|
Test Outcome: test_a_segment_with_a_character_invalid_on_some_filesystem_is_refused[\\] SEG-OUT-9206BCD6F034
|
Test Outcome: test_a_segment_with_a_character_invalid_on_some_filesystem_is_refused[\x1f] SEG-OUT-FEE2BDC892B6
|
Test Outcome: test_a_segment_with_a_character_invalid_on_some_filesystem_is_refused[|] SEG-OUT-1332FA713A67
|
Test Outcome: test_a_snapshot_identifier_that_climbs_out_of_the_write_root_is_refused SEG-OUT-8DC9763F408C
|
Test Outcome: test_a_target_resolving_outside_the_write_root_through_a_symlink_is_refused SEG-OUT-3D01E7651A05
|
Test Outcome: test_an_active_edge_without_an_edge_hash_is_refused_by_the_schema SEG-OUT-381BF3A05846
|
Test Outcome: test_an_affirmed_edge_keeps_its_state_when_a_node_document_is_written SEG-OUT-FC0032A31A5B
|
Test Outcome: test_an_affirmed_edge_keeps_its_state_when_another_edge_is_written SEG-OUT-FE8883A0FAEB
|
Test Outcome: test_an_edge_records_its_endpoints_as_identifiers_not_as_a_split_identifier SEG-OUT-67D2F8EA6D2F
|
Test Outcome: test_an_identifier_is_a_valid_iri_for_a_dotted_implementation_path SEG-OUT-C5C7AE419B0C
|
Test Outcome: test_an_instance_document_references_the_context_relative_to_its_own_location SEG-OUT-B3CEEFF00730
|
Test Outcome: test_appending_a_review_event_preserves_the_events_already_recorded SEG-OUT-79F27DAB9A67
|
Test Outcome: test_every_packaged_schema_forbids_properties_it_does_not_declare SEG-OUT-1490F6E2ACDA
|
Test Outcome: test_reading_a_package_missing_one_document_refuses_the_whole_package SEG-OUT-1CDA5E593D8F
|
Test Outcome: test_reading_a_proof_document_kind_with_no_registered_schema_is_refused SEG-OUT-119730E2B423
|
Test Outcome: test_refresh_schemas_counts_a_reformatted_but_equivalent_copy_as_differing SEG-OUT-26CB5BAA5608
|
Test Outcome: test_refresh_schemas_of_a_current_case_reports_nothing_and_leaves_it_untouched SEG-OUT-D9886929CF57
|
Test Outcome: test_refresh_schemas_refuses_a_root_that_is_not_a_directory_and_creates_nothing SEG-OUT-BADBEDBCD204
|
Test Outcome: test_replacing_an_affirmed_edge_with_an_unaffirmed_record_is_refused SEG-OUT-6A3FF6F0A249
|
Test Outcome: test_replacing_an_affirmed_hash_with_a_different_hash_is_not_a_demotion SEG-OUT-459F0E949AAD
|
Test Outcome: test_the_packaged_review_event_schema_no_longer_requires_the_node_hashes SEG-OUT-68CA2B1FFF5E
|
Test Outcome: test_the_packaged_review_event_schema_still_declares_the_node_hash_properties SEG-OUT-963C3AE7D996
|
Test Outcome: test_the_store_refuses_a_test_outcome_and_an_evidence_edge_by_name SEG-OUT-0C48FBCF7591
|
tests/unit/test_affirmation_store_read_face.py
Test Outcome: test_a_locator_of_a_scheme_the_kind_does_not_pin_is_refused_on_read_back SEG-OUT-336B8ADFFFC8
|
Test Outcome: test_a_node_whose_identifier_disagrees_with_its_local_identifier_is_refused SEG-OUT-FDF3C0F73A07
|
Test Outcome: test_a_source_location_with_an_undeclared_member_is_refused_on_read_back SEG-OUT-9D1C87D6CCAE
|
Test Outcome: test_an_affirmed_edge_reads_back_with_the_hash_it_was_affirmed_against SEG-OUT-E10A035A1EF2
|
Test Outcome: test_an_edge_endpoint_outside_the_node_identifier_space_is_refused SEG-OUT-FE53520359E5
|
Test Outcome: test_an_entry_carrying_an_undeclared_field_is_refused_on_read_back SEG-OUT-A564D6002C8D
|
Test Outcome: test_an_event_missing_an_endpoints_content_anchors_is_refused_by_the_schema SEG-OUT-EB2A7660DFAA
|
Test Outcome: test_an_identifier_outside_the_node_space_is_refused_by_the_inverse SEG-OUT-96DDD2C9E36F
|
Test Outcome: test_reading_then_writing_back_leaves_every_document_byte_identical SEG-OUT-6AE1DA8ECE15
|
tests/unit/test_cli_case.py
Test Outcome: test_case_check_reports_a_composed_producer_with_a_missing_export_unreadable SEG-OUT-ACCBA535E4A5
|
Test Outcome: test_case_check_reports_layout_schemas_counts_config_and_producer SEG-OUT-78165C33AC88
|
Test Outcome: test_case_check_run_from_another_directory_finds_the_case_a_config_file_names SEG-OUT-8174137664CB
|
Test Outcome: test_case_sync_over_a_composed_producer_writes_60_nodes_and_62_edges_all_pending SEG-OUT-12BF34A370AF
|
Test Outcome: test_case_sync_over_a_store_with_outcomes_leaves_them_out_of_the_case SEG-OUT-E85AB9ED6632
|
Test Outcome: test_case_sync_over_an_unbuildable_stream_writes_nothing_and_cannot_be_judged SEG-OUT-04C0EC573C2C
|
Test Outcome: test_case_sync_with_a_source_directory_outside_the_repository_exits_2_and_writes_nothing SEG-OUT-81BE8AC2072D
|
Test Outcome: test_case_sync_with_an_absent_extractor_source_file_exits_2_without_a_traceback SEG-OUT-B3D4FF8BE03C
|
tests/unit/test_cli_edge.py
Test Outcome: test_edge_affirm_a_mixed_selection_affirms_its_affirmable_members SEG-OUT-7C40484A40E3
|
Test Outcome: test_edge_affirm_with_a_role_outside_the_vocabulary_writes_nothing SEG-OUT-25861CB05134
|
Test Outcome: test_edge_affirm_writes_an_event_without_node_hashes_and_an_edge_with_its_hash SEG-OUT-EB74CBD59977
|
tests/unit/test_cli_graph.py
Test Outcome: test_graph_check_over_a_case_synced_from_a_composed_producer_reports_62_pending SEG-OUT-0DF106A26DB8
|
Test Outcome: test_graph_check_over_an_unbuildable_stream_is_the_negative_verdict SEG-OUT-D788B01501DD
|
Test Outcome: test_graph_status_naming_a_suspect_or_broken_edge_is_the_negative_verdict SEG-OUT-AC6E5223A028
|
Test Outcome: test_graph_status_over_a_composed_producer_exits_0_with_every_edge_pending SEG-OUT-CEDAB132B6E5
|
Test Outcome: test_graph_status_over_a_named_bundle_lists_strong_edges_and_counts_evidence SEG-OUT-BA7071C6CC6C
|
Test Outcome: test_graph_status_over_an_unbuildable_current_stream_cannot_be_judged SEG-OUT-B8168C6EE0B8
|
Test Outcome: test_graph_status_verdict_is_positive_when_only_a_vanished_edge_was_recorded_active SEG-OUT-BD776705F4F1
|
Test Outcome: test_graph_status_with_only_pending_edges_is_the_positive_verdict SEG-OUT-D76A0DB45ED9
|
Test Outcome: test_graph_status_without_a_revision_over_a_stream_with_outcomes_cannot_be_judged SEG-OUT-6DC838F359CC
|
tests/unit/test_cli_proof.py
tests/unit/test_cli_repository.py
Test Outcome: test_a_dirty_anchored_path_with_a_space_in_its_name_is_named_intact SEG-OUT-0851FD3F32CD
|
Test Outcome: test_before_content_at_a_recorded_revision_survives_a_later_commit SEG-OUT-A000F0B4FF2D
|
Test Outcome: test_before_content_for_a_path_absent_at_that_revision_is_refused SEG-OUT-643D8B394A6E
|
tests/unit/test_commitment.py
tests/unit/test_composed_producer.py
Test Outcome: test_composed_producer_leaves_a_duplicate_identifier_to_the_graph_builder SEG-OUT-B6A6A8443C59
|
Test Outcome: test_composed_producer_lets_a_member_failure_while_streaming_propagate SEG-OUT-3DF6C9E5A32C
|
Test Outcome: test_from_config_accepts_a_source_directory_equal_to_the_repository SEG-OUT-FCB75F1ECB3A
|
Test Outcome: test_from_config_builds_one_extractor_over_all_the_bundles_in_the_order_named SEG-OUT-2800AACDA945
|
Test Outcome: test_from_config_chains_the_outcome_extractor_after_the_content_extractor SEG-OUT-252645F30804
|
Test Outcome: test_from_config_extractor_only_supplies_31_nodes_and_40_edges_anchored_at_the_repository SEG-OUT-83559AD86024
|
Test Outcome: test_from_config_refuses_a_source_directory_outside_the_repository SEG-OUT-7D8CAA4E66E8
|
Test Outcome: test_from_config_refuses_bundles_over_the_would_be_store_at_the_root SEG-OUT-AE4F9238C121
|
Test Outcome: test_from_config_requirements_only_supplies_29_nodes_and_22_edges_anchored_at_the_repository SEG-OUT-4F77E297DB5F
|
Test Outcome: test_from_config_surfaces_a_missing_source_file_as_a_source_error_when_streamed SEG-OUT-16A02FD297EA
|
Test Outcome: test_from_config_with_all_three_blocks_chains_requirements_before_content SEG-OUT-2D98E0D263D7
|
Test Outcome: test_from_config_with_no_bundle_supplies_no_evidence_and_reads_none SEG-OUT-A4F9441BEE18
|
Test Outcome: test_from_config_without_implementations_supplies_no_witnesses_edge SEG-OUT-645D9F806586
|
tests/unit/test_config.py
Test Outcome: test_a_configuration_without_a_producer_block_carries_no_producer SEG-OUT-DBBD64BEDA5B
|
Test Outcome: test_a_file_in_a_subdirectory_yields_the_same_paths_from_any_working_directory SEG-OUT-8D109C01A3ED
|
Test Outcome: test_a_file_lacking_a_case_key_defaults_the_case_against_the_working_directory SEG-OUT-025951F884D2
|
Test Outcome: test_a_name_absent_from_the_repository_map_resolves_to_no_repository SEG-OUT-2A42BC2927CC
|
Test Outcome: test_a_producer_that_names_a_run_is_refused_whatever_it_holds[[]] SEG-OUT-378F82006A64
|
Test Outcome: test_a_producer_that_names_a_run_is_refused_whatever_it_holds[[{artifact: a, revision: r, name: n}]] SEG-OUT-97667E169419
|
Test Outcome: test_a_producer_that_names_a_run_is_refused_whatever_it_holds[[{bundle: a, digest: 'sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa'}]] SEG-OUT-AF05C4348478
|
Test Outcome: test_a_producer_that_names_a_run_is_refused_whatever_it_holds[nope] SEG-OUT-26800AB54AF0
|
Test Outcome: test_a_relative_producer_root_resolves_against_the_files_directory SEG-OUT-2CBE9EE7E913
|
Test Outcome: test_a_relative_repository_path_resolves_against_the_files_directory SEG-OUT-2AE6B9920ABA
|
Test Outcome: test_an_implementation_name_absent_from_the_map_carries_no_repository SEG-OUT-47DF94371FFB
|
Test Outcome: test_the_defaults_of_an_absent_file_stay_relative_to_the_working_directory SEG-OUT-01F92E8B9AB1
|
Test Outcome: test_the_implementation_repositorys_path_is_resolved_through_the_map SEG-OUT-FF78FDFF8F22
|
Test Outcome: test_the_test_specification_export_and_doxygen_locations_are_carried SEG-OUT-EB7EE39A992A
|
tests/unit/test_content_extractor.py
Test Outcome: test_a_blank_line_between_the_closer_and_the_line_ends_the_search SEG-OUT-78772E65BE53
|
Test Outcome: test_a_brace_line_that_is_the_first_line_leaves_no_head_and_is_refused SEG-OUT-7A6C31AA604E
|
Test Outcome: test_a_declaration_ends_on_the_line_of_its_semicolon_after_continuations SEG-OUT-D5BAB71D4458
|
Test Outcome: test_a_macros_api_span_runs_from_its_comment_through_the_define_line SEG-OUT-1C46677A3243
|
Test Outcome: test_a_member_that_is_neither_a_function_nor_a_define_is_an_error SEG-OUT-FA95B729E4C8
|
Test Outcome: test_a_missing_source_inside_the_root_is_an_error_naming_the_need SEG-OUT-9087CAD93708
|
Test Outcome: test_a_need_whose_id_differs_from_its_key_is_refused_naming_the_need SEG-OUT-2491B3905EAB
|
Test Outcome: test_a_one_line_documentation_comment_is_its_own_opener_and_closer SEG-OUT-F19F268267D5
|
Test Outcome: test_a_relative_path_leaving_the_root_is_refused_before_the_file_is_read SEG-OUT-3263CB3BE223
|
Test Outcome: test_a_same_file_head_holding_a_brace_is_an_error_naming_the_need SEG-OUT-177171EB4A41
|
Test Outcome: test_a_span_ending_on_an_unterminated_last_line_adds_no_terminator SEG-OUT-88F11B08895F
|
Test Outcome: test_a_symbol_the_doxygen_output_lacks_is_an_error_naming_the_need SEG-OUT-1F9D73839C6D
|
Test Outcome: test_an_error_is_raised_when_the_stream_reaches_its_node_and_earlier_nodes_were_supplied SEG-OUT-96B792C74C0F
|
Test Outcome: test_splitting_keeps_every_terminator_so_the_lines_rejoin_to_the_file SEG-OUT-1AF8FF2830D7
|
tests/unit/test_drift.py
Test Outcome: test_a_broken_dependency_is_not_active_and_unsettles_the_edge_above SEG-OUT-AF7286925D2D
|
Test Outcome: test_a_pending_dependency_is_not_active_and_unsettles_the_edge_above SEG-OUT-38CAAFEE60D7
|
Test Outcome: test_directly_outdated_when_own_content_differs_and_dependencies_hold SEG-OUT-5D18AE89F49A
|
Test Outcome: test_store_backed_round_trip_derives_drift_and_leaves_the_case_unchanged SEG-OUT-57A7163AC745
|
Test Outcome: test_suspicion_clears_by_recomputation_once_the_change_site_is_reaffirmed SEG-OUT-AB3AAE9C45F9
|
Test Outcome: test_truth_table_state_maps_the_two_axes[False-False-doublyOutdated] SEG-OUT-F0ED3F6F6B49
|
Test Outcome: test_truth_table_state_maps_the_two_axes[False-True-directlyOutdated] SEG-OUT-53CF4C65A76B
|
Test Outcome: test_truth_table_state_maps_the_two_axes[True-False-transitivelySuspect] SEG-OUT-3760385BFC90
|
tests/unit/test_gates.py
Test Outcome: test_a_failing_outcome_excused_by_a_valid_waiver_is_informational_only SEG-OUT-B39E60637F9B
|
Test Outcome: test_a_failing_outcome_with_no_excusing_waiver_is_a_blocking_warning SEG-OUT-65DBA16E29A8
|
Test Outcome: test_a_fresh_sibling_outcome_keeps_a_specification_covered_despite_a_stale_outcome SEG-OUT-826205D09B13
|
Test Outcome: test_a_passing_outcome_is_never_a_waiver_finding_even_with_an_excusal_edge SEG-OUT-D89644B7C7CB
|
Test Outcome: test_a_skipped_outcome_without_a_witness_is_listed_as_skipped_and_as_discarded SEG-OUT-4CF2E2028837
|
Test Outcome: test_a_stale_failing_outcome_is_never_also_reported_unwaived_or_excused SEG-OUT-7E5C1F69B6DA
|
Test Outcome: test_a_stale_skipped_only_specification_is_a_gap_with_one_stale_finding SEG-OUT-117E41F16BD9
|
Test Outcome: test_every_diagnostics_condition_is_a_member_of_the_closed_vocabulary SEG-OUT-80B79B28C948
|
Test Outcome: test_no_requirement_nodes_means_the_design_set_is_empty_and_blocked SEG-OUT-A9BCF29B9C05
|
Test Outcome: test_non_leaf_gap_from_its_own_edge_is_not_shielded_by_satisfied_children SEG-OUT-19788B9C487D
|
Test Outcome: test_the_unready_edge_condition_carries_no_interpolated_state_the_detail_field_does SEG-OUT-F5730AF6075D
|
Test Outcome: test_worklist_lists_every_non_active_state_and_omits_active_and_evidence SEG-OUT-269826A33D30
|
tests/unit/test_graph.py
Test Outcome: test_a_claimed_state_without_an_affirmed_hash_is_normalized_to_pending SEG-OUT-3EF054DC21B0
|
Test Outcome: test_a_node_carrying_a_content_hash_its_kind_does_not_declare_is_rejected SEG-OUT-3D7C6EC2492D
|
tests/unit/test_hashing.py
tests/unit/test_import_layering.py
tests/unit/test_judgement.py
Test Outcome: test_resolve_current_folds_a_missing_reader_export_into_a_judgement_error SEG-OUT-EC96BC142EAD
|
Test Outcome: test_resolve_current_folds_an_unconfigured_repository_into_a_judgement_error SEG-OUT-039AC10283FF
|
Test Outcome: test_resolve_current_with_a_directory_is_the_store_loader_despite_configured_readers SEG-OUT-2008C846E602
|
Test Outcome: test_the_gates_revision_of_a_repository_git_cannot_read_is_a_judgement_error SEG-OUT-5E556D37207E
|
Test Outcome: test_the_gates_revision_requires_an_explicit_value_when_unconfigured SEG-OUT-258F908912F3
|
tests/unit/test_outcome.py
tests/unit/test_outcome_extractor.py
Test Outcome: test_a_dirty_implementation_checkout_is_refused_naming_the_first_line SEG-OUT-DD849EDB0534
|
Test Outcome: test_a_duplicate_suite_and_function_that_no_result_reaches_is_ignored SEG-OUT-59E7B64659E7
|
Test Outcome: test_a_missing_dirty_flag_of_the_implementation_checkout_is_refused SEG-OUT-9C85CBCC1675
|
Test Outcome: test_a_revision_record_ending_in_a_carriage_return_and_line_feed_is_read SEG-OUT-65F2A5591CEB
|
Test Outcome: test_a_status_outside_the_closed_set_is_refused_naming_the_result[3] SEG-OUT-F13F383F2811
|
Test Outcome: test_a_status_outside_the_closed_set_is_refused_naming_the_result[None] SEG-OUT-5D96407FF83A
|
Test Outcome: test_a_status_outside_the_closed_set_is_refused_naming_the_result[] SEG-OUT-3FE9416D2C29
|
Test Outcome: test_a_status_outside_the_closed_set_is_refused_naming_the_result[blocked] SEG-OUT-20520255A8E7
|
Test Outcome: test_a_witnesses_edge_runs_to_the_implementation_of_a_verified_requirement SEG-OUT-2B163118B543
|
Test Outcome: test_an_implementation_that_satisfies_two_verified_requirements_is_one_witness SEG-OUT-F907C3658FC3
|
Test Outcome: test_each_outcome_names_the_digest_of_the_bundle_that_supplied_it SEG-OUT-DB882B62A416
|
Test Outcome: test_no_witnesses_edge_is_supplied_when_no_implementation_satisfies_a_verified_requirement SEG-OUT-4C1832A40E5E
|
Test Outcome: test_no_witnesses_edge_is_supplied_without_the_implementation_input SEG-OUT-E9646BAB1938
|
Test Outcome: test_one_identifier_maps_to_the_need_that_forms_it_in_each_nested_scenario SEG-OUT-9C6412F7F440
|
Test Outcome: test_the_canonical_record_is_the_compact_sorted_json_of_three_members SEG-OUT-83376CB01B83
|
Test Outcome: test_two_runs_supply_their_outcomes_in_order_each_with_its_own_revision SEG-OUT-E8276CB017A1
|
Test Outcome: test_two_runs_that_give_one_outcome_identity_are_refused_naming_both_runs SEG-OUT-69FA620EA4AF
|
tests/unit/test_package.py
tests/unit/test_package_reading.py
tests/unit/test_proof_package.py
Test Outcome: test_a_coverage_report_sealed_before_the_skipped_field_existed_still_validates SEG-OUT-51DA3596E94F
|
Test Outcome: test_a_skipped_outcome_is_named_in_the_coverage_report_document_and_does_not_refuse SEG-OUT-E6D2D342C851
|
Test Outcome: test_a_skipped_outcome_stays_in_the_execution_coverage_record_without_a_waiver_entry SEG-OUT-F1A2B16F078D
|
Test Outcome: test_an_excused_failing_outcome_carries_its_waiver_id_and_a_copy_of_its_expiry SEG-OUT-D3AB9EE5B43B
|
Test Outcome: test_an_outcome_confirming_two_in_scope_specifications_is_refused SEG-OUT-FF08DE40FCB3
|
Test Outcome: test_canonical_metadata_differs_when_the_current_revision_differs SEG-OUT-0B1A627E4F46
|
Test Outcome: test_generation_leaves_the_stores_node_edge_and_event_streams_unchanged SEG-OUT-FD401716EE78
|
Test Outcome: test_generation_refused_is_not_a_scope_error_value_error_or_store_error SEG-OUT-789BF86850A8
|
Test Outcome: test_persisting_a_ready_package_writes_all_four_documents_under_its_snapshot SEG-OUT-2C631FE451CE
|
Test Outcome: test_reading_a_document_kind_absent_from_the_cases_own_schemas_is_refused SEG-OUT-A76D2850CED3
|
Test Outcome: test_the_canonical_metadata_names_the_scope_and_the_revision_alone SEG-OUT-C2EF0B28852F
|
Test Outcome: test_the_design_consistency_proof_recomputes_its_own_root_from_its_own_contents_alone SEG-OUT-712A02DB4147
|
Test Outcome: test_the_evidence_manifest_references_the_sibling_documents_by_relative_name SEG-OUT-2D812147CBED
|
Test Outcome: test_the_evidence_manifest_states_requested_and_member_scope_and_totality SEG-OUT-84ECAEEC2AA3
|
Test Outcome: test_the_execution_coverage_record_carries_confirms_and_result_and_revision SEG-OUT-DCF2673C369F
|
Test Outcome: test_the_manifest_lists_the_digests_of_the_bundles_of_outcomes_in_scope SEG-OUT-8FB8E1D9A947
|
Test Outcome: test_the_manifests_sibling_references_match_what_persist_actually_named SEG-OUT-DA2A69770944
|
Test Outcome: test_the_snapshot_id_fingerprint_and_the_package_root_are_different_hashes SEG-OUT-B2A48605DF17
|
Test Outcome: test_two_packages_over_one_design_at_different_instants_carry_the_same_root SEG-OUT-C3CFD49F9731
|
tests/unit/test_proof_scope.py
Test Outcome: test_an_outcome_witnessing_an_out_of_scope_implementation_loses_that_edge SEG-OUT-B543181CB658
|
Test Outcome: test_package_gate_over_the_collected_subgraph_matches_an_independent_restriction SEG-OUT-1B3327F2946E
|
Test Outcome: test_snapshot_identifier_is_deterministic_for_the_same_scope_and_timestamp SEG-OUT-B30AB9870014
|
Test Outcome: test_snapshot_identifier_uses_only_posix_and_windows_safe_characters SEG-OUT-B35033E7FB3D
|
Test Outcome: test_the_gate_discards_an_outcome_whose_witnesses_edge_fell_outside_the_scope SEG-OUT-5F54A645F7F8
|
Test Outcome: test_the_subgraph_keeps_a_witnesses_edge_between_two_in_scope_nodes SEG-OUT-428EA417ADD3
|
Test Outcome: test_total_is_true_when_the_scope_covers_every_top_level_requirement SEG-OUT-46309BEDAC8F
|
tests/unit/test_records.py
Test Outcome: test_a_review_event_accepts_an_empty_reason_but_not_a_missing_one SEG-OUT-6EDFD716F5AB
|
Test Outcome: test_a_review_event_requires_at_least_one_named_content_hash_per_endpoint SEG-OUT-653DA25C5AC9
|
Test Outcome: test_a_review_events_content_anchors_are_immutable_and_equal_by_value SEG-OUT-90A8926E99C6
|
Test Outcome: test_a_waiver_record_carries_the_expiry_and_approver_it_was_given SEG-OUT-AF8272C1EE20
|
Test Outcome: test_a_waivers_expiry_and_approver_never_enter_its_content_hashes SEG-OUT-2BB8AF0B3D92
|
tests/unit/test_reqs_reader.py
tests/unit/test_satisfaction.py
Test Outcome: test_a_leaf_whose_only_confirming_outcome_was_skipped_is_unsatisfied SEG-OUT-7532345DFE58
|
Test Outcome: test_a_skipped_outcome_beside_a_passing_one_does_not_block_its_leaf SEG-OUT-2BB2122D0CE4
|
Test Outcome: test_a_spec_on_a_non_active_verifies_edge_still_owes_a_passing_outcome SEG-OUT-4186B77177BF
|
Test Outcome: test_an_excusal_edge_whose_waiver_record_is_absent_excuses_nothing SEG-OUT-E213CA7B7645
|
Test Outcome: test_an_orphan_requirement_is_unsatisfied_not_vacuously_satisfied SEG-OUT-8F750A06565A
|
Test Outcome: test_every_non_active_implements_edge_fails_the_active_test[broken] SEG-OUT-F64F60F0A495
|
Test Outcome: test_every_non_active_implements_edge_fails_the_active_test[directlyOutdated] SEG-OUT-7D419D865FCE
|
Test Outcome: test_every_non_active_implements_edge_fails_the_active_test[doublyOutdated] SEG-OUT-CADC0C687F38
|
Test Outcome: test_every_non_active_implements_edge_fails_the_active_test[pending] SEG-OUT-8D4CCCE9C2AA
|
Test Outcome: test_every_non_active_implements_edge_fails_the_active_test[transitivelySuspect] SEG-OUT-195AB6CD9638
|
Test Outcome: test_every_non_active_verifies_edge_fails_the_active_test[broken] SEG-OUT-A95383CA0504
|
Test Outcome: test_every_non_active_verifies_edge_fails_the_active_test[directlyOutdated] SEG-OUT-493CD96AE363
|
Test Outcome: test_every_non_active_verifies_edge_fails_the_active_test[doublyOutdated] SEG-OUT-7BA1051299DF
|
Test Outcome: test_every_non_active_verifies_edge_fails_the_active_test[pending] SEG-OUT-2B209D82FA8B
|
Test Outcome: test_every_non_active_verifies_edge_fails_the_active_test[transitivelySuspect] SEG-OUT-879305D3BE69
|
Test Outcome: test_one_passing_outcome_beside_an_unwaived_failing_one_no_longer_satisfies SEG-OUT-4E62D9380360
|
tests/unit/test_selector.py
tests/unit/test_store_loader.py
Test Outcome: test_every_realization_marks_the_requirement_its_specification_verifies SEG-OUT-D1BDDFC0BF04
|
Test Outcome: test_every_requirement_in_the_store_is_a_requirement_of_this_repository SEG-OUT-0CDBB2A3A540
|
tests/unit/test_taxonomy.py
Test Outcome: test_asking_an_undeclared_node_kind_for_its_content_hashes_is_an_error SEG-OUT-7E08B0C93972
|
Test Outcome: test_the_evidence_kinds_are_declared_kinds_and_no_evidence_edge_propagates SEG-OUT-E99A1C07443D
|
Test Outcome: test_the_evidence_kinds_are_the_outcome_node_and_the_three_evidence_edges SEG-OUT-9BF7D6F7CA0B
|