diff --git a/src/v2/lens/testgen.dag b/src/v2/lens/testgen.dag index d5170d3806e..aa95a49c6d5 100644 --- a/src/v2/lens/testgen.dag +++ b/src/v2/lens/testgen.dag @@ -2157,8 +2157,7 @@ fn bootstrap_claim_generator_for_manual_anchor( } } +// Next-rung: gunbc.guarantee_stall.testgen_anchor_generator_totality_stall. data construction_justification: ConstructionJustification = ConstructionJustification { class: WallAfterGrounding { dissolves_to: SingleAuthority } } - -// Next-rung: gunbc.guarantee_stall.testgen_anchor_generator_totality_stall. diff --git a/src/v2/lens/unit_modeling.dag b/src/v2/lens/unit_modeling.dag index c94fa468515..d7bf30b563f 100644 --- a/src/v2/lens/unit_modeling.dag +++ b/src/v2/lens/unit_modeling.dag @@ -141,8 +141,7 @@ fn unit_modeling_gate(node: Node) -> Outcome> { } } +// Next-rung: gunbc.guarantee_stall.unit_modeling_carrier_totality_stall. data construction_justification: ConstructionJustification = ConstructionJustification { class: WallAfterGrounding { dissolves_to: SingleAuthority } } - -// Next-rung: gunbc.guarantee_stall.unit_modeling_carrier_totality_stall.