v2.test. gate reds: amend required_gate_bankruptcy with the measured population; repair the v2 claim module that refused the floor

dag/gunbc/rung_drop_amendment/roster.dag

@@ -10,12 +10,14 @@ import gunbc.rung_drop_amendment.namespace_wave_admission_carrier_redesign { nam
 import gunbc.rung_drop_amendment.stage0_mirrors_left_outside_the_restored_drift_gate { stage0_mirrors_left_outside_the_restored_drift_gate }
 import gunbc.rung_drop_amendment.stage0_mirror_line_without_an_authority_import { stage0_mirror_line_without_an_authority_import }
 import gunbc.rung_drop_amendment.checker_edge_withheld_over_the_per_pr_runner_class { checker_edge_withheld_over_the_per_pr_runner_class }
+import gunbc.rung_drop_amendment.v2_test_family_reds_measured_outside_the_gate { v2_test_family_reds_measured_outside_the_gate }
 
 data rung_drop_amendment_roster: List<RungDropAmendment> = [
   namespace_wave_admission_carrier_redesign,
   stage0_mirrors_left_outside_the_restored_drift_gate,
   stage0_mirror_line_without_an_authority_import,
   checker_edge_withheld_over_the_per_pr_runner_class,
+  v2_test_family_reds_measured_outside_the_gate,
 ]
 
 // THE JOIN THE PROJECTION FOLDS, so a drop's amendments are selected in one place rather than at

dag/gunbc/rung_drop_amendment/v2_test_family_reds_measured_outside_the_gate.dag

@@ -0,0 +1,17 @@
+module gunbc.rung_drop_amendment.v2_test_family_reds_measured_outside_the_gate
+
+import std.types { NonEmptyStr }
+import gunbc.rung_drop_amendment { RungDropAmendment }
+
+// The v2.test. family is inside required_gate_bankruptcy's population (every witness outside the
+// roster), and its return is that row's restoration trigger, so the measured reds are an AMENDMENT to
+// it and not a second drop behind the same trigger (deep-ferret-305, on gunbc#12860).
+data v2_test_family_reds_measured_outside_the_gate: RungDropAmendment = RungDropAmendment {
+  drop_identity: "required_gate_bankruptcy" as NonEmptyStr,
+
+  amended: "2026-10-01",
+
+  later_event: "the srv1 probe of the withdrawn v2.test. family (neat-boar-16, scratch commit eff2d73b14 = main c95f906 plus the family, artifacts on branch artifact/v2-gate-probe) measured what this row's population holds for that family: 841 v2.test.* modules declaring 5,030 test fns at c29acd041e1 have no required route; with the family restored, 4,265 were planned, 4,192 passed, 17 reached no verdict (route gaps already rostered by v2.workflow.floor_route_gap), and 44 were red on main with no lane observing them. Preparation dominated, about 3,569 modules resolved and 3,096 s wall against about 101 s of claim evaluation, the shape of this row's 2026-09-19 nominal-roster cut, so the family stays out until the trigger below. One module, v2.test.claim.cargo_build_run_argv_witness, did not typecheck on main and refused the whole floor in strict preparation when the family was restored; gunbc#12860 repaired it" as NonEmptyStr,
+
+  bearing: "the 44 red identities are named here with their owners, and each leaves this amendment's list when its fix lands, so restoring the family does not inherit them as silent reds. Owner gentle-koi-724 (MQ lane), fixed green by sharp-tern-39: v2.test.claim.body_lowering.fold_operand_structure.a_call_with_a_fold_argument_lowers_as_the_call_over_the_loop (returned false); v2.test.claim.body_lowering.fold_operand_structure.an_operand_beside_a_fold_lowers_as_the_operator_over_the_loop (returned false); v2.test.claim.body_lowering.fold_operand_structure.the_body_walker_lowers_a_call_with_a_fold_argument_as_the_call_over_the_loop (returned false); v2.test.claim.body_lowering.fold_operand_structure.the_body_walker_lowers_an_operand_beside_a_fold_as_the_operator_over_the_loop (returned false); v2.test.claim.namespace_xl0.list_literal_value_lowering.a_list_argument_is_not_its_first_element_or_a_truncation (returned false); v2.test.claim.namespace_xl0.list_literal_value_lowering.a_list_argument_lowers_every_element_in_order (returned false); v2.test.claim.namespace_xl0.list_literal_value_lowering.a_list_of_calls_lowers_every_call_whole_in_order (returned false); v2.test.claim.namespace_xl0.list_literal_value_lowering.a_lowered_list_argument_reads_as_not_an_application (returned false); v2.test.claim.namespace_xl0.list_literal_value_lowering.an_empty_list_argument_lowers_to_the_bare_introduction (returned false); v2.test.claim.namespace_xl0.list_literal_value_lowering.the_call_enclosing_a_list_still_reads_as_an_application (returned false); v2.test.claim.namespace_xl0.reference_conservation_accepted_drops.a_map_literal_value_refuses_at_the_literal_holds (returned false); v2.test.claim.namespace_xl0.reference_conservation_accepted_drops.a_qualified_constructor_literal_value_refuses_at_the_literal_holds (returned false); v2.test.claim.reference_derived_graph_call_arg_tree.call_argument_only_reference_is_missing_from_normalized_tree_today_holds (returned false); v2.test.claim.reference_derived_graph_production_ingest.production_route_call_contents_are_missing_today_holds (returned false); v2.test.execution.data_decl_lowering_grounding.childless_conj_in_codomain_stays_on_the_frontier_holds (returned false). Owner deep-ferret-305 (floor lane), fixed by work item adhoc-e6c8990b-ccf: v2.test.claim.declaring_identity_spelling.production_ingest.matched_imported_kernel_type_position_is_absent_from_the_census_today (returned false); v2.test.claim.effect_demand.effect_demand_floor_join_test.floor_join_witness_live_seam_modules_are_the_fourteen_seams_homes (returned false); v2.test.claim.infer_self_grounding_wall.wall_conj_grounding_no_longer_returns_source_as_its_own_type (returned false); v2.test.claim.namespace_xl0.qualified_site_enumerator_differential.only_the_parse_walker_sees_a_qualified_field_type_today (returned false); v2.test.claim.normalize.service_declaration_lowering.census_admits_the_posix_service_and_indexes_its_operation_holds (returned false); v2.test.claim.normalize.service_declaration_lowering.census_counts_realization_and_unmodeled_interface_apart_holds (returned false); v2.test.claim.normalize.service_declaration_lowering.full_door_refuses_a_service_with_a_set_aside_realization_holds (returned false); v2.test.claim.reference_closure.a_declared_module_nothing_reaches_is_not_a_member_holds (runtime error before its verdict); v2.test.claim.reference_closure.a_module_reached_only_through_a_member_is_a_member_holds (runtime error before its verdict); v2.test.claim.reference_closure.a_qualified_reference_with_no_import_is_a_member_holds (runtime error before its verdict); v2.test.claim.reference_closure.an_import_no_body_mentions_is_a_member_holds (runtime error before its verdict); v2.test.claim.reference_closure.the_closure_is_exactly_the_modules_the_entry_reaches_holds (runtime error before its verdict); v2.test.claim.reference_derived_residency_reading.a_type_declaration_does_not_resolve_from_a_live_module_root_pending_11574 (returned false); v2.test.claim.self_host.stage0_executable_assembly_test.w_live_wet_population_carries_both_declaration_routes (returned false); v2.test.claim.translate_underived_refusal.translate_refuses_underived_conj_holds (returned false); v2.test.claim.type_param_binder_frame.tpb_undeclared_t_is_not_a_type_variable (returned false); v2.test.claim.witness_admission_test.witness_known_red_probe_consumer_holds (returned false); v2.test.emit.rust_variant_construct_emit.rust_variant_construct_emit_holds_accepts (returned false); v2.test.emit.rust_variant_construct_emit.rust_variant_construct_emit_wrong_value_discriminates (returned false); v2.test.execution.emit_host_identity_cast_native.a_malformed_runtime_argument_fails_the_invocation_holds (runtime error before its verdict); v2.test.execution.emit_host_identity_cast_native.the_emitted_identity_cast_preserves_a_positive_and_a_negative_argument_holds (runtime error before its verdict); v2.test.execution.emit_host_identity_cast_native.the_emitted_identity_cast_preserves_zero_and_a_wide_argument_holds (runtime error before its verdict); v2.test.execution.infer_product_introduction.product_introduction_leaves_childless_conj_on_the_frontier_holds (returned false); v2.test.manual.ingest_bridge.ingest_identity_coercion_refuses_source_absent_from_authored_roster (returned false); v2.test.manual.program_assembly_multi_file.program_assembly_cross_file_import_assembles_holds (returned false); v2.test.manual.structured_body_dispatch.structured_body_produce_subsumes_add_table (returned false); v2.test.name_resolve.test_code_reference_wall.supplied_root_is_what_normalize_emits_holds (returned false); v2.test.parse.d5_expression_grammar_parse.cause_p_keyword_field_init_red_tokens_remain_holds (returned false); v2.test.parse.type_decl_modifier_g0_parse_probe.generic_param_publishes_the_generic_ident_class_holds (returned false). None is an expected-red row: that roster asserts the identity executes, and these do not while the family is outside the gate" as NonEmptyStr,
+}