diff --git a/src/v2/test/claim/body_lowering/data_initializer_fn_value_test.dag b/src/v2/test/claim/body_lowering/data_initializer_fn_value_test.dag index 0d1291a251b..e8431c82fbf 100644 --- a/src/v2/test/claim/body_lowering/data_initializer_fn_value_test.dag +++ b/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) diff --git a/src/v2/test/claim/body_lowering/single_arm_match_test.dag b/src/v2/test/claim/body_lowering/single_arm_match_test.dag index ccd84b3e4c2..7e24c2aac2d 100644 --- a/src/v2/test/claim/body_lowering/single_arm_match_test.dag +++ b/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) diff --git a/src/v2/workflow/floor_cost_debt.dag b/src/v2/workflow/floor_cost_debt.dag index a2d7c4dacb1..a9da7a309b4 100644 --- a/src/v2/workflow/floor_cost_debt.dag +++ b/src/v2/workflow/floor_cost_debt.dag @@ -738,12 +738,16 @@ fn floor_cost_debt_censored_chunk_03() -> List { 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 { 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 {} } } } } } } } } } } } } } }