From 4fd9dfaea94b87f9493d418d481a53b66566c757 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Thu, 17 Sep 2026 11:01:30 +0000 Subject: [PATCH] Delete the gunbc#11461 namespace transition admission rows (consumed at its landing) The 67 TargetChanged rows (v1.compiler.emit_rust bindings resolving to gunbc.reference_derived_candidate, and reference_deps symbol_eq resolving to v2.std.node) were consumed by #11461's merge_group run; the roster returns to its designed resting state, empty. Co-Authored-By: Claude Opus 5 (1M context) Claude-Session: https://claude.ai/code/session_013k9hjAXuaD1HiC1yzd4wnC --- ...ow_for_info_candidateexportprooffailed.dag | 21 ------------------- ...ference_row_for_info_candidatesurvived.dag | 21 ------------------- ..._for_info_referencederivedcandidaterow.dag | 21 ------------------- ..._reference_rows_candidateleafambiguous.dag | 21 ------------------- ...reference_rows_candidateregistryabsent.dag | 21 ------------------- ...ence_rows_referencederivedcandidaterow.dag | 21 ------------------- ..._reference_use_lines_candidatesurvived.dag | 21 ------------------- ...use_lines_referencederivedcandidaterow.dag | 21 ------------------- ...disposition_candidateexportprooffailed.dag | 21 ------------------- ...ate_disposition_candidateleafambiguous.dag | 21 ------------------- ...ndidate_disposition_candidateownmodule.dag | 21 ------------------- ...te_disposition_candidateregistryabsent.dag | 21 ------------------- ...andidate_disposition_candidatesurvived.dag | 21 ------------------- ...tion_candidatevariantdelegatedtoparent.dag | 21 ------------------- ...ition_candidatevariantparentunresolved.dag | 21 ------------------- ...n_referencederivedcandidatedisposition.dag | 21 ------------------- ...d_candidate_survived_candidatesurvived.dag | 21 ------------------- ...d_referencederivedcandidatedisposition.dag | 21 ------------------- ...ived_census_candidateexportprooffailed.dag | 21 ------------------- ..._derived_census_candidateleafambiguous.dag | 21 ------------------- ...ence_derived_census_candidateownmodule.dag | 21 ------------------- ...derived_census_candidateregistryabsent.dag | 21 ------------------- ...rence_derived_census_candidatesurvived.dag | 21 ------------------- ...nsus_candidatevariantdelegatedtoparent.dag | 21 ------------------- ...ensus_candidatevariantparentunresolved.dag | 21 ------------------- ...ed_census_referencederivedcandidaterow.dag | 21 ------------------- ...sition_name_candidateexportprooffailed.dag | 21 ------------------- ...isposition_name_candidateleafambiguous.dag | 21 ------------------- ...ed_disposition_name_candidateownmodule.dag | 21 ------------------- ...sposition_name_candidateregistryabsent.dag | 21 ------------------- ...ved_disposition_name_candidatesurvived.dag | 21 ------------------- ...name_candidatevariantdelegatedtoparent.dag | 21 ------------------- ..._name_candidatevariantparentunresolved.dag | 21 ------------------- ...e_referencederivedcandidatedisposition.dag | 21 ------------------- ...diagnostics_candidateexportprooffailed.dag | 21 ------------------- ...row_diagnostics_candidateleafambiguous.dag | 21 ------------------- ...ved_row_diagnostics_candidateownmodule.dag | 21 ------------------- ...ow_diagnostics_candidateregistryabsent.dag | 21 ------------------- ...ived_row_diagnostics_candidatesurvived.dag | 21 ------------------- ...tics_candidatevariantdelegatedtoparent.dag | 21 ------------------- ...stics_candidatevariantparentunresolved.dag | 21 ------------------- ...agnostics_referencederivedcandidaterow.dag | 21 ------------------- ...line_plan_referencederivedcandidaterow.dag | 21 ------------------- ...declared_module_prefix_facts_symbol_eq.dag | 21 ------------------- ...thing_candidatevariantparentunresolved.dag | 21 ------------------- ...bsent_candidatevariantparentunresolved.dag | 21 ------------------- ..._separately_candidateexportprooffailed.dag | 21 ------------------- ...each_arm_separately_candidateownmodule.dag | 21 ------------------- ...arm_separately_candidateregistryabsent.dag | 21 ------------------- ..._each_arm_separately_candidatesurvived.dag | 21 ------------------- ...tely_candidatevariantdelegatedtoparent.dag | 21 ------------------- ...ately_candidatevariantparentunresolved.dag | 21 ------------------- ...eparately_referencederivedcandidaterow.dag | 21 ------------------- ...xport_proof_survives_candidatesurvived.dag | 21 ------------------- ...sent_candidatevariantdelegatedtoparent.dag | 21 ------------------- ..._diagnostic_candidateexportprooffailed.dag | 21 ------------------- ...oduces_a_diagnostic_candidateownmodule.dag | 21 ------------------- ...s_a_diagnostic_candidateregistryabsent.dag | 21 ------------------- ...roduces_a_diagnostic_candidatesurvived.dag | 21 ------------------- ...stic_candidatevariantdelegatedtoparent.dag | 21 ------------------- ...iagnostic_referencederivedcandidaterow.dag | 21 ------------------- ..._no_diagnostic_candidateregistryabsent.dag | 21 ------------------- ...iagnostic_referencederivedcandidaterow.dag | 21 ------------------- ...is_advisory_candidateexportprooffailed.dag | 21 ------------------- ..._advisory_referencederivedcandidaterow.dag | 21 ------------------- ..._own_remedy_candidateexportprooffailed.dag | 21 ------------------- ...wn_remedy_referencederivedcandidaterow.dag | 21 ------------------- 67 files changed, 1407 deletions(-) delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_row_for_info_candidateexportprooffailed.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_row_for_info_candidatesurvived.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_row_for_info_referencederivedcandidaterow.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_rows_candidateleafambiguous.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_rows_candidateregistryabsent.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_rows_referencederivedcandidaterow.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_use_lines_candidatesurvived.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_use_lines_referencederivedcandidaterow.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidateexportprooffailed.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidateleafambiguous.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidateownmodule.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidateregistryabsent.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidatesurvived.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidatevariantdelegatedtoparent.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidatevariantparentunresolved.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_referencederivedcandidatedisposition.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_survived_candidatesurvived.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_survived_referencederivedcandidatedisposition.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidateexportprooffailed.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidateleafambiguous.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidateownmodule.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidateregistryabsent.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidatesurvived.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidatevariantdelegatedtoparent.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidatevariantparentunresolved.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_referencederivedcandidaterow.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidateexportprooffailed.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidateleafambiguous.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidateownmodule.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidateregistryabsent.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidatesurvived.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidatevariantdelegatedtoparent.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidatevariantparentunresolved.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_referencederivedcandidatedisposition.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidateexportprooffailed.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidateleafambiguous.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidateownmodule.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidateregistryabsent.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidatesurvived.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidatevariantdelegatedtoparent.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidatevariantparentunresolved.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_referencederivedcandidaterow.dag delete mode 100644 dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_use_line_plan_referencederivedcandidaterow.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_deps_reference_declared_module_prefix_facts_symbol_eq.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_a_variant_whose_parent_is_ambiguous_is_not_delegated_to_nothing_candidatevariantparentunresolved.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_an_unresolved_parent_is_not_reported_as_registry_absent_candidatevariantparentunresolved.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateexportprooffailed.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateownmodule.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateregistryabsent.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatesurvived.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatevariantdelegatedtoparent.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatevariantparentunresolved.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_referencederivedcandidaterow.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_cross_module_candidate_with_export_proof_survives_candidatesurvived.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_known_variant_is_delegated_to_its_parent_not_registry_absent_candidatevariantdelegatedtoparent.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateexportprooffailed.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateownmodule.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateregistryabsent.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidatesurvived.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidatevariantdelegatedtoparent.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_referencederivedcandidaterow.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_registry_absent_produces_no_diagnostic_candidateregistryabsent.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_registry_absent_produces_no_diagnostic_referencederivedcandidaterow.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_the_export_unproven_diagnostic_is_advisory_candidateexportprooffailed.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_the_export_unproven_diagnostic_is_advisory_referencederivedcandidaterow.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_the_export_unproven_message_names_its_own_remedy_candidateexportprooffailed.dag delete mode 100644 dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_the_export_unproven_message_names_its_own_remedy_referencederivedcandidaterow.dag diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_row_for_info_candidateexportprooffailed.dag b/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_row_for_info_candidateexportprooffailed.dag deleted file mode 100644 index 5d3f67b43ab..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_row_for_info_candidateexportprooffailed.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_qualified_type_reference_row_for_info_candidateexportprooffailed - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateExportProofFailed binding inside -// v1.compiler.emit_rust qualified_type_reference_row_for_info now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_qualified_type_reference_row_for_info_candidateexportprooffailed: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust qualified_type_reference_row_for_info CandidateExportProofFailed: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "qualified_type_reference_row_for_info"), - spelling: "CandidateExportProofFailed" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateExportProofFailed")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_row_for_info_candidatesurvived.dag b/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_row_for_info_candidatesurvived.dag deleted file mode 100644 index dd1146db61a..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_row_for_info_candidatesurvived.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_qualified_type_reference_row_for_info_candidatesurvived - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateSurvived binding inside -// v1.compiler.emit_rust qualified_type_reference_row_for_info now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_qualified_type_reference_row_for_info_candidatesurvived: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust qualified_type_reference_row_for_info CandidateSurvived: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "qualified_type_reference_row_for_info"), - spelling: "CandidateSurvived" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateSurvived")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_row_for_info_referencederivedcandidaterow.dag b/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_row_for_info_referencederivedcandidaterow.dag deleted file mode 100644 index 21c4aa9ac92..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_row_for_info_referencederivedcandidaterow.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_qualified_type_reference_row_for_info_referencederivedcandidaterow - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local ReferenceDerivedCandidateRow binding inside -// v1.compiler.emit_rust qualified_type_reference_row_for_info now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_qualified_type_reference_row_for_info_referencederivedcandidaterow: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust qualified_type_reference_row_for_info ReferenceDerivedCandidateRow: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "qualified_type_reference_row_for_info"), - spelling: "ReferenceDerivedCandidateRow" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "ReferenceDerivedCandidateRow")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_rows_candidateleafambiguous.dag b/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_rows_candidateleafambiguous.dag deleted file mode 100644 index eb589b793c1..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_rows_candidateleafambiguous.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_qualified_type_reference_rows_candidateleafambiguous - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateLeafAmbiguous binding inside -// v1.compiler.emit_rust qualified_type_reference_rows now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_qualified_type_reference_rows_candidateleafambiguous: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust qualified_type_reference_rows CandidateLeafAmbiguous: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "qualified_type_reference_rows"), - spelling: "CandidateLeafAmbiguous" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateLeafAmbiguous")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_rows_candidateregistryabsent.dag b/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_rows_candidateregistryabsent.dag deleted file mode 100644 index 42054c5eded..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_rows_candidateregistryabsent.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_qualified_type_reference_rows_candidateregistryabsent - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateRegistryAbsent binding inside -// v1.compiler.emit_rust qualified_type_reference_rows now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_qualified_type_reference_rows_candidateregistryabsent: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust qualified_type_reference_rows CandidateRegistryAbsent: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "qualified_type_reference_rows"), - spelling: "CandidateRegistryAbsent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateRegistryAbsent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_rows_referencederivedcandidaterow.dag b/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_rows_referencederivedcandidaterow.dag deleted file mode 100644 index 1fe35f41145..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_rows_referencederivedcandidaterow.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_qualified_type_reference_rows_referencederivedcandidaterow - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local ReferenceDerivedCandidateRow binding inside -// v1.compiler.emit_rust qualified_type_reference_rows now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_qualified_type_reference_rows_referencederivedcandidaterow: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust qualified_type_reference_rows ReferenceDerivedCandidateRow: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "qualified_type_reference_rows"), - spelling: "ReferenceDerivedCandidateRow" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "ReferenceDerivedCandidateRow")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_use_lines_candidatesurvived.dag b/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_use_lines_candidatesurvived.dag deleted file mode 100644 index 266c4fa4ac2..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_use_lines_candidatesurvived.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_qualified_type_reference_use_lines_candidatesurvived - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateSurvived binding inside -// v1.compiler.emit_rust qualified_type_reference_use_lines now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_qualified_type_reference_use_lines_candidatesurvived: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust qualified_type_reference_use_lines CandidateSurvived: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "qualified_type_reference_use_lines"), - spelling: "CandidateSurvived" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateSurvived")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_use_lines_referencederivedcandidaterow.dag b/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_use_lines_referencederivedcandidaterow.dag deleted file mode 100644 index b32a3271768..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_qualified_type_reference_use_lines_referencederivedcandidaterow.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_qualified_type_reference_use_lines_referencederivedcandidaterow - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local ReferenceDerivedCandidateRow binding inside -// v1.compiler.emit_rust qualified_type_reference_use_lines now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_qualified_type_reference_use_lines_referencederivedcandidaterow: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust qualified_type_reference_use_lines ReferenceDerivedCandidateRow: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "qualified_type_reference_use_lines"), - spelling: "ReferenceDerivedCandidateRow" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "ReferenceDerivedCandidateRow")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidateexportprooffailed.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidateexportprooffailed.dag deleted file mode 100644 index aba60ea76ca..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidateexportprooffailed.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_candidate_disposition_candidateexportprooffailed - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateExportProofFailed binding inside -// v1.compiler.emit_rust reference_derived_candidate_disposition now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_candidate_disposition_candidateexportprooffailed: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_candidate_disposition CandidateExportProofFailed: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_candidate_disposition"), - spelling: "CandidateExportProofFailed" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateExportProofFailed")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidateleafambiguous.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidateleafambiguous.dag deleted file mode 100644 index 084577ae77d..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidateleafambiguous.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_candidate_disposition_candidateleafambiguous - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateLeafAmbiguous binding inside -// v1.compiler.emit_rust reference_derived_candidate_disposition now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_candidate_disposition_candidateleafambiguous: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_candidate_disposition CandidateLeafAmbiguous: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_candidate_disposition"), - spelling: "CandidateLeafAmbiguous" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateLeafAmbiguous")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidateownmodule.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidateownmodule.dag deleted file mode 100644 index 85c44a66d57..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidateownmodule.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_candidate_disposition_candidateownmodule - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateOwnModule binding inside -// v1.compiler.emit_rust reference_derived_candidate_disposition now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_candidate_disposition_candidateownmodule: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_candidate_disposition CandidateOwnModule: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_candidate_disposition"), - spelling: "CandidateOwnModule" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateOwnModule")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidateregistryabsent.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidateregistryabsent.dag deleted file mode 100644 index 3d3836ef185..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidateregistryabsent.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_candidate_disposition_candidateregistryabsent - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateRegistryAbsent binding inside -// v1.compiler.emit_rust reference_derived_candidate_disposition now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_candidate_disposition_candidateregistryabsent: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_candidate_disposition CandidateRegistryAbsent: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_candidate_disposition"), - spelling: "CandidateRegistryAbsent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateRegistryAbsent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidatesurvived.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidatesurvived.dag deleted file mode 100644 index c3dc54163e3..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidatesurvived.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_candidate_disposition_candidatesurvived - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateSurvived binding inside -// v1.compiler.emit_rust reference_derived_candidate_disposition now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_candidate_disposition_candidatesurvived: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_candidate_disposition CandidateSurvived: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_candidate_disposition"), - spelling: "CandidateSurvived" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateSurvived")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidatevariantdelegatedtoparent.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidatevariantdelegatedtoparent.dag deleted file mode 100644 index a83bdd55e49..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidatevariantdelegatedtoparent.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_candidate_disposition_candidatevariantdelegatedtoparent - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateVariantDelegatedToParent binding inside -// v1.compiler.emit_rust reference_derived_candidate_disposition now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_candidate_disposition_candidatevariantdelegatedtoparent: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_candidate_disposition CandidateVariantDelegatedToParent: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_candidate_disposition"), - spelling: "CandidateVariantDelegatedToParent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateVariantDelegatedToParent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidatevariantparentunresolved.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidatevariantparentunresolved.dag deleted file mode 100644 index 80b359c7bcd..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_candidatevariantparentunresolved.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_candidate_disposition_candidatevariantparentunresolved - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateVariantParentUnresolved binding inside -// v1.compiler.emit_rust reference_derived_candidate_disposition now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_candidate_disposition_candidatevariantparentunresolved: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_candidate_disposition CandidateVariantParentUnresolved: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_candidate_disposition"), - spelling: "CandidateVariantParentUnresolved" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateVariantParentUnresolved")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_referencederivedcandidatedisposition.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_referencederivedcandidatedisposition.dag deleted file mode 100644 index 96910f502bc..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_disposition_referencederivedcandidatedisposition.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_candidate_disposition_referencederivedcandidatedisposition - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local ReferenceDerivedCandidateDisposition binding inside -// v1.compiler.emit_rust reference_derived_candidate_disposition now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_candidate_disposition_referencederivedcandidatedisposition: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_candidate_disposition ReferenceDerivedCandidateDisposition: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_candidate_disposition"), - spelling: "ReferenceDerivedCandidateDisposition" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "ReferenceDerivedCandidateDisposition")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_survived_candidatesurvived.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_survived_candidatesurvived.dag deleted file mode 100644 index 1c54268ee25..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_survived_candidatesurvived.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_candidate_survived_candidatesurvived - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateSurvived binding inside -// v1.compiler.emit_rust reference_derived_candidate_survived now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_candidate_survived_candidatesurvived: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_candidate_survived CandidateSurvived: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_candidate_survived"), - spelling: "CandidateSurvived" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateSurvived")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_survived_referencederivedcandidatedisposition.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_survived_referencederivedcandidatedisposition.dag deleted file mode 100644 index a702f911d76..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_candidate_survived_referencederivedcandidatedisposition.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_candidate_survived_referencederivedcandidatedisposition - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local ReferenceDerivedCandidateDisposition binding inside -// v1.compiler.emit_rust reference_derived_candidate_survived now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_candidate_survived_referencederivedcandidatedisposition: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_candidate_survived ReferenceDerivedCandidateDisposition: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_candidate_survived"), - spelling: "ReferenceDerivedCandidateDisposition" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "ReferenceDerivedCandidateDisposition")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidateexportprooffailed.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidateexportprooffailed.dag deleted file mode 100644 index da372f9216a..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidateexportprooffailed.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_census_candidateexportprooffailed - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateExportProofFailed binding inside -// v1.compiler.emit_rust reference_derived_census now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_census_candidateexportprooffailed: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_census CandidateExportProofFailed: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_census"), - spelling: "CandidateExportProofFailed" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateExportProofFailed")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidateleafambiguous.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidateleafambiguous.dag deleted file mode 100644 index ed4f01ef239..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidateleafambiguous.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_census_candidateleafambiguous - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateLeafAmbiguous binding inside -// v1.compiler.emit_rust reference_derived_census now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_census_candidateleafambiguous: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_census CandidateLeafAmbiguous: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_census"), - spelling: "CandidateLeafAmbiguous" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateLeafAmbiguous")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidateownmodule.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidateownmodule.dag deleted file mode 100644 index 3c04d07512c..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidateownmodule.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_census_candidateownmodule - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateOwnModule binding inside -// v1.compiler.emit_rust reference_derived_census now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_census_candidateownmodule: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_census CandidateOwnModule: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_census"), - spelling: "CandidateOwnModule" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateOwnModule")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidateregistryabsent.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidateregistryabsent.dag deleted file mode 100644 index 91f34840f08..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidateregistryabsent.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_census_candidateregistryabsent - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateRegistryAbsent binding inside -// v1.compiler.emit_rust reference_derived_census now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_census_candidateregistryabsent: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_census CandidateRegistryAbsent: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_census"), - spelling: "CandidateRegistryAbsent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateRegistryAbsent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidatesurvived.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidatesurvived.dag deleted file mode 100644 index 13e69fe9dbd..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidatesurvived.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_census_candidatesurvived - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateSurvived binding inside -// v1.compiler.emit_rust reference_derived_census now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_census_candidatesurvived: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_census CandidateSurvived: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_census"), - spelling: "CandidateSurvived" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateSurvived")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidatevariantdelegatedtoparent.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidatevariantdelegatedtoparent.dag deleted file mode 100644 index 89b789d427d..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidatevariantdelegatedtoparent.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_census_candidatevariantdelegatedtoparent - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateVariantDelegatedToParent binding inside -// v1.compiler.emit_rust reference_derived_census now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_census_candidatevariantdelegatedtoparent: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_census CandidateVariantDelegatedToParent: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_census"), - spelling: "CandidateVariantDelegatedToParent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateVariantDelegatedToParent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidatevariantparentunresolved.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidatevariantparentunresolved.dag deleted file mode 100644 index aed5903ece2..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_candidatevariantparentunresolved.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_census_candidatevariantparentunresolved - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateVariantParentUnresolved binding inside -// v1.compiler.emit_rust reference_derived_census now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_census_candidatevariantparentunresolved: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_census CandidateVariantParentUnresolved: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_census"), - spelling: "CandidateVariantParentUnresolved" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateVariantParentUnresolved")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_referencederivedcandidaterow.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_referencederivedcandidaterow.dag deleted file mode 100644 index 1a31b847ea6..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_census_referencederivedcandidaterow.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_census_referencederivedcandidaterow - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local ReferenceDerivedCandidateRow binding inside -// v1.compiler.emit_rust reference_derived_census now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_census_referencederivedcandidaterow: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_census ReferenceDerivedCandidateRow: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_census"), - spelling: "ReferenceDerivedCandidateRow" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "ReferenceDerivedCandidateRow")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidateexportprooffailed.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidateexportprooffailed.dag deleted file mode 100644 index 42f9af93a28..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidateexportprooffailed.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_disposition_name_candidateexportprooffailed - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateExportProofFailed binding inside -// v1.compiler.emit_rust reference_derived_disposition_name now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_disposition_name_candidateexportprooffailed: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_disposition_name CandidateExportProofFailed: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_disposition_name"), - spelling: "CandidateExportProofFailed" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateExportProofFailed")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidateleafambiguous.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidateleafambiguous.dag deleted file mode 100644 index e3dbeafdc5b..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidateleafambiguous.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_disposition_name_candidateleafambiguous - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateLeafAmbiguous binding inside -// v1.compiler.emit_rust reference_derived_disposition_name now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_disposition_name_candidateleafambiguous: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_disposition_name CandidateLeafAmbiguous: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_disposition_name"), - spelling: "CandidateLeafAmbiguous" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateLeafAmbiguous")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidateownmodule.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidateownmodule.dag deleted file mode 100644 index 746be034b5f..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidateownmodule.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_disposition_name_candidateownmodule - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateOwnModule binding inside -// v1.compiler.emit_rust reference_derived_disposition_name now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_disposition_name_candidateownmodule: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_disposition_name CandidateOwnModule: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_disposition_name"), - spelling: "CandidateOwnModule" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateOwnModule")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidateregistryabsent.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidateregistryabsent.dag deleted file mode 100644 index 2195b5b214a..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidateregistryabsent.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_disposition_name_candidateregistryabsent - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateRegistryAbsent binding inside -// v1.compiler.emit_rust reference_derived_disposition_name now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_disposition_name_candidateregistryabsent: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_disposition_name CandidateRegistryAbsent: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_disposition_name"), - spelling: "CandidateRegistryAbsent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateRegistryAbsent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidatesurvived.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidatesurvived.dag deleted file mode 100644 index d33938ecb48..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidatesurvived.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_disposition_name_candidatesurvived - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateSurvived binding inside -// v1.compiler.emit_rust reference_derived_disposition_name now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_disposition_name_candidatesurvived: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_disposition_name CandidateSurvived: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_disposition_name"), - spelling: "CandidateSurvived" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateSurvived")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidatevariantdelegatedtoparent.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidatevariantdelegatedtoparent.dag deleted file mode 100644 index d7dec0ccd77..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidatevariantdelegatedtoparent.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_disposition_name_candidatevariantdelegatedtoparent - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateVariantDelegatedToParent binding inside -// v1.compiler.emit_rust reference_derived_disposition_name now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_disposition_name_candidatevariantdelegatedtoparent: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_disposition_name CandidateVariantDelegatedToParent: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_disposition_name"), - spelling: "CandidateVariantDelegatedToParent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateVariantDelegatedToParent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidatevariantparentunresolved.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidatevariantparentunresolved.dag deleted file mode 100644 index 1207be6185d..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_candidatevariantparentunresolved.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_disposition_name_candidatevariantparentunresolved - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateVariantParentUnresolved binding inside -// v1.compiler.emit_rust reference_derived_disposition_name now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_disposition_name_candidatevariantparentunresolved: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_disposition_name CandidateVariantParentUnresolved: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_disposition_name"), - spelling: "CandidateVariantParentUnresolved" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateVariantParentUnresolved")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_referencederivedcandidatedisposition.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_referencederivedcandidatedisposition.dag deleted file mode 100644 index 44ce27f71cf..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_disposition_name_referencederivedcandidatedisposition.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_disposition_name_referencederivedcandidatedisposition - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local ReferenceDerivedCandidateDisposition binding inside -// v1.compiler.emit_rust reference_derived_disposition_name now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_disposition_name_referencederivedcandidatedisposition: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_disposition_name ReferenceDerivedCandidateDisposition: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_disposition_name"), - spelling: "ReferenceDerivedCandidateDisposition" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "ReferenceDerivedCandidateDisposition")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidateexportprooffailed.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidateexportprooffailed.dag deleted file mode 100644 index 82e2161d3e0..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidateexportprooffailed.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_row_diagnostics_candidateexportprooffailed - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateExportProofFailed binding inside -// v1.compiler.emit_rust reference_derived_row_diagnostics now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_row_diagnostics_candidateexportprooffailed: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_row_diagnostics CandidateExportProofFailed: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_row_diagnostics"), - spelling: "CandidateExportProofFailed" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateExportProofFailed")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidateleafambiguous.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidateleafambiguous.dag deleted file mode 100644 index fc95d0f9007..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidateleafambiguous.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_row_diagnostics_candidateleafambiguous - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateLeafAmbiguous binding inside -// v1.compiler.emit_rust reference_derived_row_diagnostics now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_row_diagnostics_candidateleafambiguous: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_row_diagnostics CandidateLeafAmbiguous: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_row_diagnostics"), - spelling: "CandidateLeafAmbiguous" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateLeafAmbiguous")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidateownmodule.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidateownmodule.dag deleted file mode 100644 index d1b35884e5c..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidateownmodule.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_row_diagnostics_candidateownmodule - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateOwnModule binding inside -// v1.compiler.emit_rust reference_derived_row_diagnostics now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_row_diagnostics_candidateownmodule: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_row_diagnostics CandidateOwnModule: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_row_diagnostics"), - spelling: "CandidateOwnModule" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateOwnModule")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidateregistryabsent.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidateregistryabsent.dag deleted file mode 100644 index ec800b3a65a..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidateregistryabsent.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_row_diagnostics_candidateregistryabsent - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateRegistryAbsent binding inside -// v1.compiler.emit_rust reference_derived_row_diagnostics now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_row_diagnostics_candidateregistryabsent: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_row_diagnostics CandidateRegistryAbsent: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_row_diagnostics"), - spelling: "CandidateRegistryAbsent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateRegistryAbsent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidatesurvived.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidatesurvived.dag deleted file mode 100644 index f7bf5af68d7..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidatesurvived.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_row_diagnostics_candidatesurvived - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateSurvived binding inside -// v1.compiler.emit_rust reference_derived_row_diagnostics now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_row_diagnostics_candidatesurvived: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_row_diagnostics CandidateSurvived: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_row_diagnostics"), - spelling: "CandidateSurvived" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateSurvived")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidatevariantdelegatedtoparent.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidatevariantdelegatedtoparent.dag deleted file mode 100644 index 640660edb46..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidatevariantdelegatedtoparent.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_row_diagnostics_candidatevariantdelegatedtoparent - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateVariantDelegatedToParent binding inside -// v1.compiler.emit_rust reference_derived_row_diagnostics now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_row_diagnostics_candidatevariantdelegatedtoparent: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_row_diagnostics CandidateVariantDelegatedToParent: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_row_diagnostics"), - spelling: "CandidateVariantDelegatedToParent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateVariantDelegatedToParent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidatevariantparentunresolved.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidatevariantparentunresolved.dag deleted file mode 100644 index 124b8d01596..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_candidatevariantparentunresolved.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_row_diagnostics_candidatevariantparentunresolved - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateVariantParentUnresolved binding inside -// v1.compiler.emit_rust reference_derived_row_diagnostics now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_row_diagnostics_candidatevariantparentunresolved: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_row_diagnostics CandidateVariantParentUnresolved: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_row_diagnostics"), - spelling: "CandidateVariantParentUnresolved" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateVariantParentUnresolved")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_referencederivedcandidaterow.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_referencederivedcandidaterow.dag deleted file mode 100644 index 2cd1e2bd2a3..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_row_diagnostics_referencederivedcandidaterow.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_row_diagnostics_referencederivedcandidaterow - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local ReferenceDerivedCandidateRow binding inside -// v1.compiler.emit_rust reference_derived_row_diagnostics now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_row_diagnostics_referencederivedcandidaterow: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_row_diagnostics ReferenceDerivedCandidateRow: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_row_diagnostics"), - spelling: "ReferenceDerivedCandidateRow" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "ReferenceDerivedCandidateRow")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_use_line_plan_referencederivedcandidaterow.dag b/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_use_line_plan_referencederivedcandidaterow.dag deleted file mode 100644 index f1a57499316..00000000000 --- a/dag/gunbc/namespace/transition_admission/emit_rust_reference_derived_use_line_plan_referencederivedcandidaterow.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.emit_rust_reference_derived_use_line_plan_referencederivedcandidaterow - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local ReferenceDerivedCandidateRow binding inside -// v1.compiler.emit_rust reference_derived_use_line_plan now resolves to the gunbc.reference_derived_candidate authority. -data emit_rust_reference_derived_use_line_plan_referencederivedcandidaterow: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.compiler.emit_rust reference_derived_use_line_plan ReferenceDerivedCandidateRow: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.compiler.emit_rust", "reference_derived_use_line_plan"), - spelling: "ReferenceDerivedCandidateRow" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "ReferenceDerivedCandidateRow")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_deps_reference_declared_module_prefix_facts_symbol_eq.dag b/dag/gunbc/namespace/transition_admission/reference_deps_reference_declared_module_prefix_facts_symbol_eq.dag deleted file mode 100644 index 072721d8c6a..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_deps_reference_declared_module_prefix_facts_symbol_eq.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_deps_reference_declared_module_prefix_facts_symbol_eq - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (review 67052): the module-local symbol_eq copy in v2.lens.reference_deps is -// deleted and the spelling now resolves to the one authority v2.std.node symbol_eq. -data reference_deps_reference_declared_module_prefix_facts_symbol_eq: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v2.lens.reference_deps reference_declared_module_prefix_facts symbol_eq: v2.lens.reference_deps -> v2.std.node" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v2.lens.reference_deps", "reference_declared_module_prefix_facts"), - spelling: "symbol_eq" as NonEmptyStr, - expected_candidates: [decl_ref("v2.std.node", "symbol_eq")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_a_variant_whose_parent_is_ambiguous_is_not_delegated_to_nothing_candidatevariantparentunresolved.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_a_variant_whose_parent_is_ambiguous_is_not_delegated_to_nothing_candidatevariantparentunresolved.dag deleted file mode 100644 index 300bb844eba..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_a_variant_whose_parent_is_ambiguous_is_not_delegated_to_nothing_candidatevariantparentunresolved.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_a_variant_whose_parent_is_ambiguous_is_not_delegated_to_nothing_candidatevariantparentunresolved - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateVariantParentUnresolved binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test a_variant_whose_parent_is_ambiguous_is_not_delegated_to_nothing now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_a_variant_whose_parent_is_ambiguous_is_not_delegated_to_nothing_candidatevariantparentunresolved: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test a_variant_whose_parent_is_ambiguous_is_not_delegated_to_nothing CandidateVariantParentUnresolved: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "a_variant_whose_parent_is_ambiguous_is_not_delegated_to_nothing"), - spelling: "CandidateVariantParentUnresolved" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateVariantParentUnresolved")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_an_unresolved_parent_is_not_reported_as_registry_absent_candidatevariantparentunresolved.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_an_unresolved_parent_is_not_reported_as_registry_absent_candidatevariantparentunresolved.dag deleted file mode 100644 index d67923f9b52..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_an_unresolved_parent_is_not_reported_as_registry_absent_candidatevariantparentunresolved.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_an_unresolved_parent_is_not_reported_as_registry_absent_candidatevariantparentunresolved - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateVariantParentUnresolved binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test an_unresolved_parent_is_not_reported_as_registry_absent now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_an_unresolved_parent_is_not_reported_as_registry_absent_candidatevariantparentunresolved: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test an_unresolved_parent_is_not_reported_as_registry_absent CandidateVariantParentUnresolved: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "an_unresolved_parent_is_not_reported_as_registry_absent"), - spelling: "CandidateVariantParentUnresolved" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateVariantParentUnresolved")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateexportprooffailed.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateexportprooffailed.dag deleted file mode 100644 index 1d8856ef177..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateexportprooffailed.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateexportprooffailed - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateExportProofFailed binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test census_counts_each_arm_separately now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateexportprooffailed: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test census_counts_each_arm_separately CandidateExportProofFailed: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "census_counts_each_arm_separately"), - spelling: "CandidateExportProofFailed" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateExportProofFailed")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateownmodule.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateownmodule.dag deleted file mode 100644 index acd0460d379..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateownmodule.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateownmodule - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateOwnModule binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test census_counts_each_arm_separately now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateownmodule: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test census_counts_each_arm_separately CandidateOwnModule: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "census_counts_each_arm_separately"), - spelling: "CandidateOwnModule" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateOwnModule")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateregistryabsent.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateregistryabsent.dag deleted file mode 100644 index 4b30d8067c8..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateregistryabsent.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateregistryabsent - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateRegistryAbsent binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test census_counts_each_arm_separately now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidateregistryabsent: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test census_counts_each_arm_separately CandidateRegistryAbsent: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "census_counts_each_arm_separately"), - spelling: "CandidateRegistryAbsent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateRegistryAbsent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatesurvived.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatesurvived.dag deleted file mode 100644 index e192af4fed3..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatesurvived.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatesurvived - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateSurvived binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test census_counts_each_arm_separately now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatesurvived: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test census_counts_each_arm_separately CandidateSurvived: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "census_counts_each_arm_separately"), - spelling: "CandidateSurvived" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateSurvived")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatevariantdelegatedtoparent.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatevariantdelegatedtoparent.dag deleted file mode 100644 index 65b36a1e72c..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatevariantdelegatedtoparent.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatevariantdelegatedtoparent - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateVariantDelegatedToParent binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test census_counts_each_arm_separately now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatevariantdelegatedtoparent: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test census_counts_each_arm_separately CandidateVariantDelegatedToParent: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "census_counts_each_arm_separately"), - spelling: "CandidateVariantDelegatedToParent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateVariantDelegatedToParent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatevariantparentunresolved.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatevariantparentunresolved.dag deleted file mode 100644 index e109b0c3b9e..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatevariantparentunresolved.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatevariantparentunresolved - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateVariantParentUnresolved binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test census_counts_each_arm_separately now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_candidatevariantparentunresolved: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test census_counts_each_arm_separately CandidateVariantParentUnresolved: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "census_counts_each_arm_separately"), - spelling: "CandidateVariantParentUnresolved" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateVariantParentUnresolved")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_referencederivedcandidaterow.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_referencederivedcandidaterow.dag deleted file mode 100644 index 2533f4c2e5c..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_referencederivedcandidaterow.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_referencederivedcandidaterow - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local ReferenceDerivedCandidateRow binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test census_counts_each_arm_separately now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_census_counts_each_arm_separately_referencederivedcandidaterow: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test census_counts_each_arm_separately ReferenceDerivedCandidateRow: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "census_counts_each_arm_separately"), - spelling: "ReferenceDerivedCandidateRow" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "ReferenceDerivedCandidateRow")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_cross_module_candidate_with_export_proof_survives_candidatesurvived.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_cross_module_candidate_with_export_proof_survives_candidatesurvived.dag deleted file mode 100644 index 7b15f7f5cba..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_cross_module_candidate_with_export_proof_survives_candidatesurvived.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_cross_module_candidate_with_export_proof_survives_candidatesurvived - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateSurvived binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test cross_module_candidate_with_export_proof_survives now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_cross_module_candidate_with_export_proof_survives_candidatesurvived: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test cross_module_candidate_with_export_proof_survives CandidateSurvived: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "cross_module_candidate_with_export_proof_survives"), - spelling: "CandidateSurvived" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateSurvived")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_known_variant_is_delegated_to_its_parent_not_registry_absent_candidatevariantdelegatedtoparent.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_known_variant_is_delegated_to_its_parent_not_registry_absent_candidatevariantdelegatedtoparent.dag deleted file mode 100644 index 6eae60be25d..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_known_variant_is_delegated_to_its_parent_not_registry_absent_candidatevariantdelegatedtoparent.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_known_variant_is_delegated_to_its_parent_not_registry_absent_candidatevariantdelegatedtoparent - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateVariantDelegatedToParent binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test known_variant_is_delegated_to_its_parent_not_registry_absent now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_known_variant_is_delegated_to_its_parent_not_registry_absent_candidatevariantdelegatedtoparent: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test known_variant_is_delegated_to_its_parent_not_registry_absent CandidateVariantDelegatedToParent: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "known_variant_is_delegated_to_its_parent_not_registry_absent"), - spelling: "CandidateVariantDelegatedToParent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateVariantDelegatedToParent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateexportprooffailed.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateexportprooffailed.dag deleted file mode 100644 index 99cdb7f757e..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateexportprooffailed.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateexportprooffailed - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateExportProofFailed binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test only_export_proof_failed_produces_a_diagnostic now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateexportprooffailed: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test only_export_proof_failed_produces_a_diagnostic CandidateExportProofFailed: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "only_export_proof_failed_produces_a_diagnostic"), - spelling: "CandidateExportProofFailed" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateExportProofFailed")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateownmodule.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateownmodule.dag deleted file mode 100644 index a1ecbf8fb81..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateownmodule.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateownmodule - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateOwnModule binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test only_export_proof_failed_produces_a_diagnostic now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateownmodule: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test only_export_proof_failed_produces_a_diagnostic CandidateOwnModule: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "only_export_proof_failed_produces_a_diagnostic"), - spelling: "CandidateOwnModule" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateOwnModule")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateregistryabsent.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateregistryabsent.dag deleted file mode 100644 index dcfccfa7e8d..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateregistryabsent.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateregistryabsent - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateRegistryAbsent binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test only_export_proof_failed_produces_a_diagnostic now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidateregistryabsent: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test only_export_proof_failed_produces_a_diagnostic CandidateRegistryAbsent: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "only_export_proof_failed_produces_a_diagnostic"), - spelling: "CandidateRegistryAbsent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateRegistryAbsent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidatesurvived.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidatesurvived.dag deleted file mode 100644 index bd6fd90ef62..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidatesurvived.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidatesurvived - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateSurvived binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test only_export_proof_failed_produces_a_diagnostic now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidatesurvived: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test only_export_proof_failed_produces_a_diagnostic CandidateSurvived: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "only_export_proof_failed_produces_a_diagnostic"), - spelling: "CandidateSurvived" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateSurvived")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidatevariantdelegatedtoparent.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidatevariantdelegatedtoparent.dag deleted file mode 100644 index e5e245cbab1..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidatevariantdelegatedtoparent.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidatevariantdelegatedtoparent - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateVariantDelegatedToParent binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test only_export_proof_failed_produces_a_diagnostic now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_candidatevariantdelegatedtoparent: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test only_export_proof_failed_produces_a_diagnostic CandidateVariantDelegatedToParent: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "only_export_proof_failed_produces_a_diagnostic"), - spelling: "CandidateVariantDelegatedToParent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateVariantDelegatedToParent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_referencederivedcandidaterow.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_referencederivedcandidaterow.dag deleted file mode 100644 index 2b5e5a876a0..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_referencederivedcandidaterow.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_referencederivedcandidaterow - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local ReferenceDerivedCandidateRow binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test only_export_proof_failed_produces_a_diagnostic now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_only_export_proof_failed_produces_a_diagnostic_referencederivedcandidaterow: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test only_export_proof_failed_produces_a_diagnostic ReferenceDerivedCandidateRow: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "only_export_proof_failed_produces_a_diagnostic"), - spelling: "ReferenceDerivedCandidateRow" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "ReferenceDerivedCandidateRow")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_registry_absent_produces_no_diagnostic_candidateregistryabsent.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_registry_absent_produces_no_diagnostic_candidateregistryabsent.dag deleted file mode 100644 index 425f7e73b3e..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_registry_absent_produces_no_diagnostic_candidateregistryabsent.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_registry_absent_produces_no_diagnostic_candidateregistryabsent - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateRegistryAbsent binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test registry_absent_produces_no_diagnostic now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_registry_absent_produces_no_diagnostic_candidateregistryabsent: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test registry_absent_produces_no_diagnostic CandidateRegistryAbsent: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "registry_absent_produces_no_diagnostic"), - spelling: "CandidateRegistryAbsent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateRegistryAbsent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_registry_absent_produces_no_diagnostic_referencederivedcandidaterow.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_registry_absent_produces_no_diagnostic_referencederivedcandidaterow.dag deleted file mode 100644 index 21acb5a7062..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_registry_absent_produces_no_diagnostic_referencederivedcandidaterow.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_registry_absent_produces_no_diagnostic_referencederivedcandidaterow - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local ReferenceDerivedCandidateRow binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test registry_absent_produces_no_diagnostic now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_registry_absent_produces_no_diagnostic_referencederivedcandidaterow: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test registry_absent_produces_no_diagnostic ReferenceDerivedCandidateRow: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "registry_absent_produces_no_diagnostic"), - spelling: "ReferenceDerivedCandidateRow" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "ReferenceDerivedCandidateRow")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_the_export_unproven_diagnostic_is_advisory_candidateexportprooffailed.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_the_export_unproven_diagnostic_is_advisory_candidateexportprooffailed.dag deleted file mode 100644 index 4b8ef197a27..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_the_export_unproven_diagnostic_is_advisory_candidateexportprooffailed.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_the_export_unproven_diagnostic_is_advisory_candidateexportprooffailed - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateExportProofFailed binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test the_export_unproven_diagnostic_is_advisory now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_the_export_unproven_diagnostic_is_advisory_candidateexportprooffailed: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test the_export_unproven_diagnostic_is_advisory CandidateExportProofFailed: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "the_export_unproven_diagnostic_is_advisory"), - spelling: "CandidateExportProofFailed" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateExportProofFailed")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_the_export_unproven_diagnostic_is_advisory_referencederivedcandidaterow.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_the_export_unproven_diagnostic_is_advisory_referencederivedcandidaterow.dag deleted file mode 100644 index 4e575364d52..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_the_export_unproven_diagnostic_is_advisory_referencederivedcandidaterow.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_the_export_unproven_diagnostic_is_advisory_referencederivedcandidaterow - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local ReferenceDerivedCandidateRow binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test the_export_unproven_diagnostic_is_advisory now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_the_export_unproven_diagnostic_is_advisory_referencederivedcandidaterow: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test the_export_unproven_diagnostic_is_advisory ReferenceDerivedCandidateRow: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "the_export_unproven_diagnostic_is_advisory"), - spelling: "ReferenceDerivedCandidateRow" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "ReferenceDerivedCandidateRow")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_the_export_unproven_message_names_its_own_remedy_candidateexportprooffailed.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_the_export_unproven_message_names_its_own_remedy_candidateexportprooffailed.dag deleted file mode 100644 index b56ce555882..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_the_export_unproven_message_names_its_own_remedy_candidateexportprooffailed.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_the_export_unproven_message_names_its_own_remedy_candidateexportprooffailed - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local CandidateExportProofFailed binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test the_export_unproven_message_names_its_own_remedy now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_the_export_unproven_message_names_its_own_remedy_candidateexportprooffailed: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test the_export_unproven_message_names_its_own_remedy CandidateExportProofFailed: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "the_export_unproven_message_names_its_own_remedy"), - spelling: "CandidateExportProofFailed" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "CandidateExportProofFailed")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_the_export_unproven_message_names_its_own_remedy_referencederivedcandidaterow.dag b/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_the_export_unproven_message_names_its_own_remedy_referencederivedcandidaterow.dag deleted file mode 100644 index da4d073271c..00000000000 --- a/dag/gunbc/namespace/transition_admission/reference_derived_disposition_census_witness_test_the_export_unproven_message_names_its_own_remedy_referencederivedcandidaterow.dag +++ /dev/null @@ -1,21 +0,0 @@ -module gunbc.namespace.transition_admission.reference_derived_disposition_census_witness_test_the_export_unproven_message_names_its_own_remedy_referencederivedcandidaterow - -import std.types { NonEmptyStr, List } -import std.integer { UInt32 } -import std.decl_ref { decl_ref } -import gunbc.compiler_frontend_program_interlock { TargetChanged } -import gunbc.namespace.transition_admission { TransitionAdmission, Binding, PullRequest } - -// gunbc#11461 (XL-4 reference-derived graph): the local ReferenceDerivedCandidateRow binding inside -// v1.tests.claim.reference_derived_disposition_census_witness_test the_export_unproven_message_names_its_own_remedy now resolves to the gunbc.reference_derived_candidate authority. -data reference_derived_disposition_census_witness_test_the_export_unproven_message_names_its_own_remedy_referencederivedcandidaterow: TransitionAdmission = TransitionAdmission { - label: "gunbc#11461 v1.tests.claim.reference_derived_disposition_census_witness_test the_export_unproven_message_names_its_own_remedy ReferenceDerivedCandidateRow: v1.compiler.emit_rust -> gunbc.reference_derived_candidate" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("v1.tests.claim.reference_derived_disposition_census_witness_test", "the_export_unproven_message_names_its_own_remedy"), - spelling: "ReferenceDerivedCandidateRow" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.reference_derived_candidate", "ReferenceDerivedCandidateRow")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11466 as UInt32 }, - owner_pull_request: 11461 as UInt32, -}