diff --git a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_bmc_custody_credential.dag b/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_bmc_custody_credential.dag deleted file mode 100644 index 5bbff3146f7..00000000000 --- a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_bmc_custody_credential.dag +++ /dev/null @@ -1,19 +0,0 @@ -module gunbc.namespace.transition_admission.gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_bmc_custody_credential - -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 } - -data gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_bmc_custody_credential: TransitionAdmission = TransitionAdmission { - label: "BMC custody read moves to its read-only module gunbc.bmc_custody_read (gunbc#11681)" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("gunbc.tools.bmc_health_reader_converge", "bmc_health_reader_converge_as_admin"), - spelling: "bmc_custody_credential" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.bmc_custody_read", "bmc_custody_credential")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11696 as UInt32 }, - owner_pull_request: 11681 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_custodycredentialabsent.dag b/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_custodycredentialabsent.dag deleted file mode 100644 index c204ee26587..00000000000 --- a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_custodycredentialabsent.dag +++ /dev/null @@ -1,19 +0,0 @@ -module gunbc.namespace.transition_admission.gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_custodycredentialabsent - -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 } - -data gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_custodycredentialabsent: TransitionAdmission = TransitionAdmission { - label: "BMC custody read moves to its read-only module gunbc.bmc_custody_read (gunbc#11681)" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("gunbc.tools.bmc_health_reader_converge", "bmc_health_reader_converge_as_admin"), - spelling: "CustodyCredentialAbsent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.bmc_custody_read", "CustodyCredentialAbsent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11696 as UInt32 }, - owner_pull_request: 11681 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_custodycredentialheld.dag b/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_custodycredentialheld.dag deleted file mode 100644 index cb94cb950d2..00000000000 --- a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_custodycredentialheld.dag +++ /dev/null @@ -1,19 +0,0 @@ -module gunbc.namespace.transition_admission.gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_custodycredentialheld - -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 } - -data gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_custodycredentialheld: TransitionAdmission = TransitionAdmission { - label: "BMC custody read moves to its read-only module gunbc.bmc_custody_read (gunbc#11681)" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("gunbc.tools.bmc_health_reader_converge", "bmc_health_reader_converge_as_admin"), - spelling: "CustodyCredentialHeld" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.bmc_custody_read", "CustodyCredentialHeld")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11696 as UInt32 }, - owner_pull_request: 11681 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_custodycredentialunreadable.dag b/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_custodycredentialunreadable.dag deleted file mode 100644 index b56a933da2d..00000000000 --- a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_custodycredentialunreadable.dag +++ /dev/null @@ -1,19 +0,0 @@ -module gunbc.namespace.transition_admission.gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_custodycredentialunreadable - -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 } - -data gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_as_admin_custodycredentialunreadable: TransitionAdmission = TransitionAdmission { - label: "BMC custody read moves to its read-only module gunbc.bmc_custody_read (gunbc#11681)" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("gunbc.tools.bmc_health_reader_converge", "bmc_health_reader_converge_as_admin"), - spelling: "CustodyCredentialUnreadable" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.bmc_custody_read", "CustodyCredentialUnreadable")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11696 as UInt32 }, - owner_pull_request: 11681 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_bmc_custody_credential.dag b/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_bmc_custody_credential.dag deleted file mode 100644 index bf0fc4990a4..00000000000 --- a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_bmc_custody_credential.dag +++ /dev/null @@ -1,19 +0,0 @@ -module gunbc.namespace.transition_admission.gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_bmc_custody_credential - -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 } - -data gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_bmc_custody_credential: TransitionAdmission = TransitionAdmission { - label: "BMC custody read moves to its read-only module gunbc.bmc_custody_read (gunbc#11681)" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("gunbc.tools.bmc_health_reader_converge", "bmc_health_reader_converge"), - spelling: "bmc_custody_credential" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.bmc_custody_read", "bmc_custody_credential")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11696 as UInt32 }, - owner_pull_request: 11681 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_custodycredentialabsent.dag b/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_custodycredentialabsent.dag deleted file mode 100644 index 86493756c1e..00000000000 --- a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_custodycredentialabsent.dag +++ /dev/null @@ -1,19 +0,0 @@ -module gunbc.namespace.transition_admission.gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_custodycredentialabsent - -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 } - -data gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_custodycredentialabsent: TransitionAdmission = TransitionAdmission { - label: "BMC custody read moves to its read-only module gunbc.bmc_custody_read (gunbc#11681)" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("gunbc.tools.bmc_health_reader_converge", "bmc_health_reader_converge"), - spelling: "CustodyCredentialAbsent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.bmc_custody_read", "CustodyCredentialAbsent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11696 as UInt32 }, - owner_pull_request: 11681 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_custodycredentialheld.dag b/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_custodycredentialheld.dag deleted file mode 100644 index 5ccc6f077c5..00000000000 --- a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_custodycredentialheld.dag +++ /dev/null @@ -1,19 +0,0 @@ -module gunbc.namespace.transition_admission.gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_custodycredentialheld - -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 } - -data gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_custodycredentialheld: TransitionAdmission = TransitionAdmission { - label: "BMC custody read moves to its read-only module gunbc.bmc_custody_read (gunbc#11681)" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("gunbc.tools.bmc_health_reader_converge", "bmc_health_reader_converge"), - spelling: "CustodyCredentialHeld" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.bmc_custody_read", "CustodyCredentialHeld")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11696 as UInt32 }, - owner_pull_request: 11681 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_custodycredentialunreadable.dag b/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_custodycredentialunreadable.dag deleted file mode 100644 index 2e63429e2ba..00000000000 --- a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_custodycredentialunreadable.dag +++ /dev/null @@ -1,19 +0,0 @@ -module gunbc.namespace.transition_admission.gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_custodycredentialunreadable - -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 } - -data gunbc_tools_bmc_health_reader_converge_bmc_health_reader_converge_custodycredentialunreadable: TransitionAdmission = TransitionAdmission { - label: "BMC custody read moves to its read-only module gunbc.bmc_custody_read (gunbc#11681)" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("gunbc.tools.bmc_health_reader_converge", "bmc_health_reader_converge"), - spelling: "CustodyCredentialUnreadable" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.bmc_custody_read", "CustodyCredentialUnreadable")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11696 as UInt32 }, - owner_pull_request: 11681 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_onboard_bmc_probe_credential_phase_bmc_custody_credential.dag b/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_onboard_bmc_probe_credential_phase_bmc_custody_credential.dag deleted file mode 100644 index 8f476f88038..00000000000 --- a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_onboard_bmc_probe_credential_phase_bmc_custody_credential.dag +++ /dev/null @@ -1,19 +0,0 @@ -module gunbc.namespace.transition_admission.gunbc_tools_bmc_onboard_bmc_probe_credential_phase_bmc_custody_credential - -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 } - -data gunbc_tools_bmc_onboard_bmc_probe_credential_phase_bmc_custody_credential: TransitionAdmission = TransitionAdmission { - label: "BMC custody read moves to its read-only module gunbc.bmc_custody_read (gunbc#11681)" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("gunbc.tools.bmc_onboard", "bmc_probe_credential_phase"), - spelling: "bmc_custody_credential" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.bmc_custody_read", "bmc_custody_credential")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11696 as UInt32 }, - owner_pull_request: 11681 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_onboard_bmc_probe_credential_phase_custodycredentialabsent.dag b/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_onboard_bmc_probe_credential_phase_custodycredentialabsent.dag deleted file mode 100644 index 40d6e1ae55e..00000000000 --- a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_onboard_bmc_probe_credential_phase_custodycredentialabsent.dag +++ /dev/null @@ -1,19 +0,0 @@ -module gunbc.namespace.transition_admission.gunbc_tools_bmc_onboard_bmc_probe_credential_phase_custodycredentialabsent - -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 } - -data gunbc_tools_bmc_onboard_bmc_probe_credential_phase_custodycredentialabsent: TransitionAdmission = TransitionAdmission { - label: "BMC custody read moves to its read-only module gunbc.bmc_custody_read (gunbc#11681)" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("gunbc.tools.bmc_onboard", "bmc_probe_credential_phase"), - spelling: "CustodyCredentialAbsent" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.bmc_custody_read", "CustodyCredentialAbsent")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11696 as UInt32 }, - owner_pull_request: 11681 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_onboard_bmc_probe_credential_phase_custodycredentialheld.dag b/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_onboard_bmc_probe_credential_phase_custodycredentialheld.dag deleted file mode 100644 index 43c1dbed7df..00000000000 --- a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_onboard_bmc_probe_credential_phase_custodycredentialheld.dag +++ /dev/null @@ -1,19 +0,0 @@ -module gunbc.namespace.transition_admission.gunbc_tools_bmc_onboard_bmc_probe_credential_phase_custodycredentialheld - -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 } - -data gunbc_tools_bmc_onboard_bmc_probe_credential_phase_custodycredentialheld: TransitionAdmission = TransitionAdmission { - label: "BMC custody read moves to its read-only module gunbc.bmc_custody_read (gunbc#11681)" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("gunbc.tools.bmc_onboard", "bmc_probe_credential_phase"), - spelling: "CustodyCredentialHeld" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.bmc_custody_read", "CustodyCredentialHeld")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11696 as UInt32 }, - owner_pull_request: 11681 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_onboard_bmc_probe_credential_phase_custodycredentialunreadable.dag b/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_onboard_bmc_probe_credential_phase_custodycredentialunreadable.dag deleted file mode 100644 index 3d36c5501c7..00000000000 --- a/dag/gunbc/namespace/transition_admission/gunbc_tools_bmc_onboard_bmc_probe_credential_phase_custodycredentialunreadable.dag +++ /dev/null @@ -1,19 +0,0 @@ -module gunbc.namespace.transition_admission.gunbc_tools_bmc_onboard_bmc_probe_credential_phase_custodycredentialunreadable - -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 } - -data gunbc_tools_bmc_onboard_bmc_probe_credential_phase_custodycredentialunreadable: TransitionAdmission = TransitionAdmission { - label: "BMC custody read moves to its read-only module gunbc.bmc_custody_read (gunbc#11681)" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("gunbc.tools.bmc_onboard", "bmc_probe_credential_phase"), - spelling: "CustodyCredentialUnreadable" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.bmc_custody_read", "CustodyCredentialUnreadable")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11696 as UInt32 }, - owner_pull_request: 11681 as UInt32, -} diff --git a/dag/gunbc/namespace/transition_admission/test_claim_bmc_health_reader_witness_only_a_404_reads_as_absent_custody_custody_read_refusal_cause.dag b/dag/gunbc/namespace/transition_admission/test_claim_bmc_health_reader_witness_only_a_404_reads_as_absent_custody_custody_read_refusal_cause.dag deleted file mode 100644 index 41545bd26ae..00000000000 --- a/dag/gunbc/namespace/transition_admission/test_claim_bmc_health_reader_witness_only_a_404_reads_as_absent_custody_custody_read_refusal_cause.dag +++ /dev/null @@ -1,19 +0,0 @@ -module gunbc.namespace.transition_admission.test_claim_bmc_health_reader_witness_only_a_404_reads_as_absent_custody_custody_read_refusal_cause - -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 } - -data test_claim_bmc_health_reader_witness_only_a_404_reads_as_absent_custody_custody_read_refusal_cause: TransitionAdmission = TransitionAdmission { - label: "BMC custody read moves to its read-only module gunbc.bmc_custody_read (gunbc#11681)" as NonEmptyStr, - subject: Binding { - enclosing: decl_ref("test.claim.bmc_health_reader_witness", "only_a_404_reads_as_absent_custody"), - spelling: "custody_read_refusal_cause" as NonEmptyStr, - expected_candidates: [decl_ref("gunbc.bmc_custody_read", "custody_read_refusal_cause")], - }, - disposition: TargetChanged, - deletion_follow_up: PullRequest { number: 11696 as UInt32 }, - owner_pull_request: 11681 as UInt32, -}