Skip to content

Retire 28 stale expected-red enrollments: the decl_facts cluster passes now #8445

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
gunbai-bot wants to merge 1 commit into from
Closed

Retire 28 stale expected-red enrollments: the decl_facts cluster passes now #8445

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions src/v2/workflow/floor_expected_red.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47,11 +47,11 @@ fn floor_expected_red_chunk_00() -> List<String> {
}

fn floor_expected_red_chunk_01() -> List<String> {
Cons { head: "test.claim.commit_writer_heal_admission_real_execution.space_and_tab_named_paths_admit_by_real_execution", tail: Cons { head: "test.claim.commit_writer_heal_admission_real_execution.unclaimed_text_blob_with_markers_refuses_red_control_by_real_execution", tail: Cons { head: "test.claim.commit_writer_heal_admission_real_execution.unmerged_index_with_no_markers_refuses_by_real_execution", tail: Cons { head: "test.claim.compute_board_emission_entry_witness.w_the_production_article_emits_through_every_entry", tail: Cons { head: "test.claim.compute_board_physical_witness.w_a_coherent_placement_is_admitted", tail: Cons { head: "test.claim.compute_board_physical_witness.w_a_millimetre_board_frame_refuses", tail: Cons { head: "test.claim.compute_board_physical_witness.w_an_unregistered_board_frame_refuses_distinctly", tail: Cons { head: "test.claim.compute_board_physical_witness.w_a_part_that_does_not_fit_inside_the_outline_refuses", tail: Cons { head: "test.claim.compute_board_physical_witness.w_a_placement_in_another_frame_refuses", tail: Cons { head: "test.claim.compute_board_physical_witness.w_a_repeated_placement_identity_refuses", tail: Cons { head: "test.claim.compute_board_physical_witness.w_touching_bodies_do_not_register_as_overlapping", tail: Cons { head: "test.claim.compute_board_physical_witness.w_two_parts_sharing_area_refuse", tail: Cons { head: "test.claim.compute_board_pin_chain_witness.w_a_respelled_port_moves_the_constraint_file", tail: Cons { head: "test.claim.compute_board_pin_chain_witness.w_the_production_pin_constraints_emit_exact_bytes", tail: Cons { head: "test.claim.compute_board_spice_projection_witness.w_duplicate_model_binding_refuses_in_either_order", tail: Cons { head: "test.claim.compute_board_spice_projection_witness.w_missing_binding_is_not_an_absent_model", tail: Cons { head: "test.claim.compute_board_spice_projection_witness.w_modelled_circuit_emits_expected_deck_bytes", tail: Cons { head: "test.claim.compute_board_spice_projection_witness.w_model_standing_alone_decides_the_arm", tail: Cons { head: "test.claim.compute_board_spice_projection_witness.w_one_perturbed_value_changes_the_deck", tail: Cons { head: "test.claim.compute_board_spice_projection_witness.w_same_circuit_without_the_extra_net_emits", tail: Cons { head: "test.claim.compute_board_spice_projection_witness.w_unmodelled_element_refuses_and_emits_nothing", tail: Cons { head: "test.claim.compute_board_spice_projection_witness.w_vendor_subcircuit_refuses_rather_than_emitting_an_ideal_part", tail: Cons { head: "test.claim.compute_board_verilog_projection_witness.w_digital_change_is_confined_to_the_digital_projection", tail: Cons { head: "test.claim.compute_board_verilog_projection_witness.w_duplicate_signal_binding_refuses_in_either_order", tail: Cons { head: "test.claim.compute_board_verilog_projection_witness.w_fault_polarity_change_changes_emitted_bytes", tail: Cons { head: "test.claim.compute_board_verilog_projection_witness.w_interlock_emits_exact_verilog_bytes", tail: Cons { head: "test.claim.compute_board_verilog_projection_witness.w_production_bindings_are_admitted", tail: Cons { head: "test.claim.compute_board_verilog_projection_witness.w_reserved_word_spelling_refuses", tail: Cons { head: "test.claim.compute_board_verilog_projection_witness.w_spelling_with_a_forbidden_character_refuses", tail: Cons { head: "test.claim.config_record_emit_witness.witness_manifest_knobs_space_separated", tail: Cons { head: "test.claim.config_record_emit_witness.witness_same_fields_differ_across_knobs", tail: Cons { head: "test.claim.dag_collect_fingerprint_witness_test.dag_collect_fingerprint_witness_keystone_holds", tail: Cons { head: "test.claim.dag_compile_clean_perturb_receipts.perturb_fixture_green_holds", tail: Cons { head: "test.claim.dag_compile_clean_perturb_receipts.perturb_optional_skew_fixture_red_holds", tail: Cons { head: "test.claim.dag_compile_clean_perturb_receipts.perturb_unresolved_import_fixture_red_holds", tail: Cons { head: "test.claim.dag_compile_clean_seam_witness.cross_shard_seam_preservation_holds_on_live_tree", tail: Cons { head: "test.claim.dag_compile_clean_shard_a_witness.compile_clean_shard_a_exemplar_compile_green", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_fact_lookup_duplicate_qualified_identity_returns_ambiguous_both_candidates", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_duplicate_qn_pool_declaration_lookup_per_candidate_is_unique", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_reflection_closure_b_specimen_resolves_to_b_parent", tail: Empty {}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
Cons { head: "test.claim.commit_writer_heal_admission_real_execution.space_and_tab_named_paths_admit_by_real_execution", tail: Cons { head: "test.claim.commit_writer_heal_admission_real_execution.unclaimed_text_blob_with_markers_refuses_red_control_by_real_execution", tail: Cons { head: "test.claim.commit_writer_heal_admission_real_execution.unmerged_index_with_no_markers_refuses_by_real_execution", tail: Cons { head: "test.claim.compute_board_emission_entry_witness.w_the_production_article_emits_through_every_entry", tail: Cons { head: "test.claim.compute_board_physical_witness.w_a_coherent_placement_is_admitted", tail: Cons { head: "test.claim.compute_board_physical_witness.w_a_millimetre_board_frame_refuses", tail: Cons { head: "test.claim.compute_board_physical_witness.w_an_unregistered_board_frame_refuses_distinctly", tail: Cons { head: "test.claim.compute_board_physical_witness.w_a_part_that_does_not_fit_inside_the_outline_refuses", tail: Cons { head: "test.claim.compute_board_physical_witness.w_a_placement_in_another_frame_refuses", tail: Cons { head: "test.claim.compute_board_physical_witness.w_a_repeated_placement_identity_refuses", tail: Cons { head: "test.claim.compute_board_physical_witness.w_touching_bodies_do_not_register_as_overlapping", tail: Cons { head: "test.claim.compute_board_physical_witness.w_two_parts_sharing_area_refuse", tail: Cons { head: "test.claim.compute_board_pin_chain_witness.w_a_respelled_port_moves_the_constraint_file", tail: Cons { head: "test.claim.compute_board_pin_chain_witness.w_the_production_pin_constraints_emit_exact_bytes", tail: Cons { head: "test.claim.compute_board_spice_projection_witness.w_duplicate_model_binding_refuses_in_either_order", tail: Cons { head: "test.claim.compute_board_spice_projection_witness.w_missing_binding_is_not_an_absent_model", tail: Cons { head: "test.claim.compute_board_spice_projection_witness.w_modelled_circuit_emits_expected_deck_bytes", tail: Cons { head: "test.claim.compute_board_spice_projection_witness.w_model_standing_alone_decides_the_arm", tail: Cons { head: "test.claim.compute_board_spice_projection_witness.w_one_perturbed_value_changes_the_deck", tail: Cons { head: "test.claim.compute_board_spice_projection_witness.w_same_circuit_without_the_extra_net_emits", tail: Cons { head: "test.claim.compute_board_spice_projection_witness.w_unmodelled_element_refuses_and_emits_nothing", tail: Cons { head: "test.claim.compute_board_spice_projection_witness.w_vendor_subcircuit_refuses_rather_than_emitting_an_ideal_part", tail: Cons { head: "test.claim.compute_board_verilog_projection_witness.w_digital_change_is_confined_to_the_digital_projection", tail: Cons { head: "test.claim.compute_board_verilog_projection_witness.w_duplicate_signal_binding_refuses_in_either_order", tail: Cons { head: "test.claim.compute_board_verilog_projection_witness.w_fault_polarity_change_changes_emitted_bytes", tail: Cons { head: "test.claim.compute_board_verilog_projection_witness.w_interlock_emits_exact_verilog_bytes", tail: Cons { head: "test.claim.compute_board_verilog_projection_witness.w_production_bindings_are_admitted", tail: Cons { head: "test.claim.compute_board_verilog_projection_witness.w_reserved_word_spelling_refuses", tail: Cons { head: "test.claim.compute_board_verilog_projection_witness.w_spelling_with_a_forbidden_character_refuses", tail: Cons { head: "test.claim.config_record_emit_witness.witness_manifest_knobs_space_separated", tail: Cons { head: "test.claim.config_record_emit_witness.witness_same_fields_differ_across_knobs", tail: Cons { head: "test.claim.dag_collect_fingerprint_witness_test.dag_collect_fingerprint_witness_keystone_holds", tail: Cons { head: "test.claim.dag_compile_clean_perturb_receipts.perturb_fixture_green_holds", tail: Cons { head: "test.claim.dag_compile_clean_perturb_receipts.perturb_optional_skew_fixture_red_holds", tail: Cons { head: "test.claim.dag_compile_clean_perturb_receipts.perturb_unresolved_import_fixture_red_holds", tail: Cons { head: "test.claim.dag_compile_clean_seam_witness.cross_shard_seam_preservation_holds_on_live_tree", tail: Cons { head: "test.claim.dag_compile_clean_shard_a_witness.compile_clean_shard_a_exemplar_compile_green", tail: Empty {}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
}

fn floor_expected_red_chunk_02() -> List<String> {
Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_reflection_data_ref_with_coproduct_type_is_not_variant_value", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_reflection_disposition_scaffold_constructor_is_std_disposition", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_reflection_explicit_import_does_not_resolve_to_b", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_reflection_explicit_import_resolves_to_a_when_b_also_loaded", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_reflection_imported_external_authority_positive_control", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_reflection_lookup_missing_vs_present_fact_distinct", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_reflection_nullary_mechanism_projection_shape", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_reflection_refused_vs_not_variant_value_projections_distinct", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_reflection_scaffold_dissolves_to_resolves_single_authority", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_reflection_single_authority_vs_realization_dispatch_distinct", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_reflection_terminal_vs_scaffold_constructors_distinct", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_reflection_two_unrelated_scaffold_arms_do_not_alias", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_reflection_two_unrelated_shared_nullary_arms_do_not_alias", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_reflection_unimported_globally_unique_refuses_constructor_resolution", tail: Cons { head: "test.claim.decl_facts_initializer_projection_witness_test.decl_facts_reflection_whole_declaration_vs_named_field_field_grain", tail: Cons { head: "test.claim.decl_facts_reflection_witness_test.w_declaration_ref_bind_fields_surface_in_scaffold_specimen", tail: Cons { head: "test.claim.decl_facts_reflection_witness_test.w_fixture_pool_decl_facts_nonempty", tail: Cons { head: "test.claim.decl_facts_reflection_witness_test.w_fn_body_local_bindings_do_not_gain_constructor_lexemes", tail: Cons { head: "test.claim.decl_facts_reflection_witness_test.w_fn_body_param_reference_does_not_gain_constructor_lexemes", tail: Cons { head: "test.claim.decl_facts_reflection_witness_test.w_named_field_declaration_ref_surfaces", tail: Cons { head: "test.claim.decl_facts_reflection_witness_test.w_nullary_variant_value_absent_without_infer_stamping_nested", tail: Cons { head: "test.claim.decl_facts_reflection_witness_test.w_nullary_variant_value_absent_without_infer_stamping_top_level", tail: Cons { head: "test.claim.decl_facts_reflection_witness_test.w_outer_record_constructor_scaffold_lexeme_surfaces", tail: Cons { head: "test.claim.decl_facts_reflection_witness_test.w_outer_record_constructor_terminal_lexeme_surfaces", tail: Cons { head: "test.claim.decl_facts_reflection_witness_test.w_plain_int_specimen_has_no_coproduct_constructor_lexemes", tail: Cons { head: "test.claim.deploy_access_privilege_witness.witness_privileged_fixture_surfaces_stdout", tail: Cons { head: "test.claim.design_argument_witness.cycle_is_detected", tail: Cons { head: "test.claim.design_argument_witness.design_full_argument_axiom_set_is_closed", tail: Cons { head: "test.claim.design_argument_witness.design_full_argument_form_is_valid", tail: Cons { head: "test.claim.design_argument_witness.design_full_argument_has_no_orphan", tail: Cons { head: "test.claim.design_argument_witness.design_full_argument_is_acyclic", tail: Cons { head: "test.claim.design_argument_witness.design_s1_argument_form_is_valid", tail: Cons { head: "test.claim.design_argument_witness.design_s1_argument_is_non_vacuous", tail: Cons { head: "test.claim.design_argument_witness.orphan_is_detected", tail: Cons { head: "test.claim.design_argument_witness.smuggled_axiom_is_detected", tail: Cons { head: "test.claim.devboot_reuse_seams_witness.an_empty_record_refuses", tail: Cons { head: "test.claim.devboot_reuse_seams_witness.a_record_for_a_different_profile_refuses", tail: Cons { head: "test.claim.devboot_reuse_seams_witness.a_record_holding_exactly_this_subject_matches", tail: Cons { head: "test.claim.devboot_reuse_seams_witness.a_record_whose_subject_extends_this_one_refuses", tail: Cons { head: "test.claim.devboot_subject_identity_witness.a_failed_build_never_reports_retrievable", tail: Empty {}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}
Cons { head: "test.claim.deploy_access_privilege_witness.witness_privileged_fixture_surfaces_stdout", tail: Cons { head: "test.claim.design_argument_witness.cycle_is_detected", tail: Cons { head: "test.claim.design_argument_witness.design_full_argument_axiom_set_is_closed", tail: Cons { head: "test.claim.design_argument_witness.design_full_argument_form_is_valid", tail: Cons { head: "test.claim.design_argument_witness.design_full_argument_has_no_orphan", tail: Cons { head: "test.claim.design_argument_witness.design_full_argument_is_acyclic", tail: Cons { head: "test.claim.design_argument_witness.design_s1_argument_form_is_valid", tail: Cons { head: "test.claim.design_argument_witness.design_s1_argument_is_non_vacuous", tail: Cons { head: "test.claim.design_argument_witness.orphan_is_detected", tail: Cons { head: "test.claim.design_argument_witness.smuggled_axiom_is_detected", tail: Cons { head: "test.claim.devboot_reuse_seams_witness.an_empty_record_refuses", tail: Cons { head: "test.claim.devboot_reuse_seams_witness.a_record_for_a_different_profile_refuses", tail: Cons { head: "test.claim.devboot_reuse_seams_witness.a_record_holding_exactly_this_subject_matches", tail: Cons { head: "test.claim.devboot_reuse_seams_witness.a_record_whose_subject_extends_this_one_refuses", tail: Cons { head: "test.claim.devboot_subject_identity_witness.a_failed_build_never_reports_retrievable", tail: Empty {}}}}}}}}}}}}}}}}
}

fn floor_expected_red_chunk_03() -> List<String> {
Expand Down
Loading