Cause D/R discriminators stay on floor_cost_debt: post-#11032 floor still over 500ms

src/v2/test/claim/body_lowering/data_initializer_fn_value_test.dag

@@ -11,8 +11,10 @@ data live_tree_disposition: LiveTreeDisposition = SubstrateInputsOnly
 // record literal inside a fn body already accepted. The shells are now structure-preserved after
 // the child fold, same door as field_init.
 //
-// The two data-record claims stay off floor_cost_debt so they remain ordinary-floor
-// regression controls for the classifier widening (review 63356).
+// The two data-record claims are enrolled on floor_cost_debt censored_chunk_04
+// (review 63588). A post-#11032 ordinary-floor restore BUDGET-REFUSED on
+// required-floor job 103370532596 / run 34631915615. Cause F's sniff and
+// ChangedCostDebtVerdictOnly when this file is touched remain the §4b(4) path.
 
 fn normalize_outcome(src: String) -> String {
   body_lowering_normalize_outcome(src: src, file: ^data_initializer_fn_value_subject)

src/v2/test/claim/body_lowering/single_arm_match_test.dag

@@ -12,7 +12,9 @@ data live_tree_disposition: LiveTreeDisposition = SubstrateInputsOnly
 //
 // `match t { }` does not reach that red: the brace is taken as a record on the ident
 // scrutinee, so parse refuses before body-lowering. `match (t) { }` is the empty arm
-// list.
+// list. `zero_arm_match_still_refuses_holds` stays on floor_cost_debt
+// censored_chunk_04: post-#11032 restore BUDGET-REFUSED on required-floor job
+// 103370532596 / run 34631915615.
 
 fn normalize_outcome(src: String) -> String {
   body_lowering_normalize_outcome(src: src, file: ^single_arm_match_subject)

src/v2/workflow/floor_cost_debt.dag

@@ -738,12 +738,16 @@ fn floor_cost_debt_censored_chunk_03() -> List<String> {
   Cons { head: "v2.test.claim.body_lowering.single_arm_match.single_arm_wildcard_match_normalizes_holds", tail: Cons { head: "v2.test.claim.body_lowering.single_arm_match.two_arm_match_still_accepts_holds", tail: Cons { head: "v2.test.claim.body_lowering.single_arm_match.three_arm_match_is_not_parity_holds", tail: Cons { head: "v2.test.claim.body_lowering.single_arm_match.one_arm_constructor_pattern_normalizes_holds", tail: Cons { head: "v2.test.claim.body_lowering.single_arm_match.one_arm_shorthand_field_pattern_normalizes_holds", tail: Cons { head: "v2.test.claim.body_lowering.match_as_field_name.field_named_match_normalizes_holds", tail: Cons { head: "v2.test.claim.body_lowering.match_as_field_name.field_renamed_other_control_holds", tail: Cons { head: "v2.test.claim.body_lowering.match_as_field_name.field_named_loop_control_holds", tail: Cons { head: "v2.test.claim.body_lowering.match_as_field_name.field_named_type_control_holds", tail: Cons { head: "v2.test.claim.body_lowering.match_as_field_name.infix_field_named_match_normalizes_holds", tail: Cons { head: "v2.test.claim.body_lowering.data_initializer_fn_value.lambda_in_fn_body_control_holds", tail: Empty {} } } } } } } } } } } }
 }
 
-// CENSORED: thirteen identities interrupted_before_verdict on this PR's floor of
-// record — required-floor job 103155806208 on run 34556768895 at 49dff280.
-// interrupted_cpu_deadline=13. Own-work UNMEASURED. Includes D4 discriminators
-// previously left on the floor (zero_arm + both R data-record claims) and the D1
-// where family that main also refuses. Restoration: fill-netted small-module
-// tokenize/parse/normalize under 500ms. F sniff is not on this chunk (no interrupt).
+// CENSORED: thirteen identities interrupted_before_verdict on the floor of record.
+// D4's enrolment was job 103155806208 / run 34556768895 at 49dff280
+// (interrupted_cpu_deadline=13). A post-#11032 restore of the three Cause D/R
+// discriminators was attempted on #11077; required-floor job 103370532596 on
+// run 34631915615 BUDGET-REFUSED them at 508ms / 512ms / 517ms
+// (data_record_arrow_lambda_field_is_not_retained_holds,
+// data_record_fn_literal_field_is_not_retained_holds,
+// zero_arm_match_still_refuses_holds) before a later MemoryStallRefusedPageThrash
+// on the terminal ledger. Own-work UNMEASURED. F sniff is not on this chunk.
+// Restoration: fill-netted small-module tokenize/parse/normalize under 500ms.
 fn floor_cost_debt_censored_chunk_04() -> List<String> {
   Cons { head: "v2.test.claim.body_lowering.data_initializer_fn_value.data_record_arrow_lambda_field_is_not_retained_holds", tail: Cons { head: "v2.test.claim.body_lowering.data_initializer_fn_value.data_record_fn_literal_field_is_not_retained_holds", tail: Cons { head: "v2.test.claim.body_lowering.single_arm_match.zero_arm_match_still_refuses_holds", tail: Cons { head: "v2.test.claim.body_lowering.declaration_structure_preserved.where_refinement_clause_interior_is_not_retained_holds", tail: Cons { head: "v2.test.parse.d1_declaration_grammar_parse.cause_a_cache_identity_where_normalizes_holds", tail: Cons { head: "v2.test.parse.d1_declaration_grammar_parse.cause_a_cache_identity_where_normalizes_well_formed_holds", tail: Cons { head: "v2.test.parse.d1_declaration_grammar_parse.cause_a_where_clause_parse_tree_carries_holds", tail: Cons { head: "v2.test.parse.d1_declaration_grammar_parse.cause_a_where_clause_survives_normalize_holds", tail: Cons { head: "v2.test.parse.d1_declaration_grammar_parse.cause_a_where_control_normalizes_holds", tail: Cons { head: "v2.test.parse.d1_declaration_grammar_parse.cause_a_where_refinement_clause_parses_holds", tail: Cons { head: "v2.test.parse.d1_declaration_grammar_parse.cause_a_where_reproducer_normalizes_holds", tail: Cons { head: "v2.test.parse.where_refinement_clause_parse.where_refinement_clause_parses_and_is_carried_holds", tail: Cons { head: "v2.test.parse.where_refinement_clause_parse.where_refinement_clause_survives_normalize_graft_holds", tail: Empty {} } } } } } } } } } } } } }
 }