diff --git a/dag/gunbc/emit_stage_blocking_population_census.dag b/dag/gunbc/emit_stage_blocking_population_census.dag index 6b9bc992d52..259d43ca160 100644 --- a/dag/gunbc/emit_stage_blocking_population_census.dag +++ b/dag/gunbc/emit_stage_blocking_population_census.dag @@ -234,10 +234,10 @@ fn census_population_bound(r: CensusReading) -> PopulationBound { } CompileExited { code: _ } => match g { - NoGateFired => BoundedAbove { count: count(bs) } - WorkflowParameterDefaultGate => LowerBoundOnly { count: count(bs), masking_gate: g } - AnonymousRecordLiteralGate => LowerBoundOnly { count: count(bs), masking_gate: g } - EmitStoppedOnUpstreamCauses => LowerBoundOnly { count: count(bs), masking_gate: g } + NoGateFired => BoundedAbove { count: count(emit_produced_sites(sites: bs)) } + WorkflowParameterDefaultGate => LowerBoundOnly { count: count(emit_produced_sites(sites: bs)), masking_gate: g } + AnonymousRecordLiteralGate => LowerBoundOnly { count: count(emit_produced_sites(sites: bs)), masking_gate: g } + EmitStoppedOnUpstreamCauses => LowerBoundOnly { count: count(emit_produced_sites(sites: bs)), masking_gate: g } } } } diff --git a/dag/test/claim/emit_stage_blocking_population_census_witness_test.dag b/dag/test/claim/emit_stage_blocking_population_census_witness_test.dag index 2968e64567a..ad24aac2c73 100644 --- a/dag/test/claim/emit_stage_blocking_population_census_witness_test.dag +++ b/dag/test/claim/emit_stage_blocking_population_census_witness_test.dag @@ -162,7 +162,7 @@ test fn an_upstream_refusal_does_not_certify_emit_as_clean() -> Bool { } && match census_population_bound(r: src_v2_root_census) { LowerBoundOnly { count: n, masking_gate: g } => - n == 20 && match g { + n == 0 && match g { EmitStoppedOnUpstreamCauses => true WorkflowParameterDefaultGate => false AnonymousRecordLiteralGate => false