From 3375a507ef19e728b2cead87d0833e6610e4d83b Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Mon, 5 Oct 2026 12:59:12 +0000 Subject: [PATCH] Fatal-reason readers in four namespace_xl0 test modules read native_test_file_refusal_fatal_reason (the stored field was removed by #13364; the modules sit outside the floor's gate closure) Co-Authored-By: Claude Opus 5.5 (1M context) --- .../namespace_xl0/call_argument_value_resolve_refusal_test.dag | 3 ++- .../if_arm_and_statement_lowering_refusal_test.dag | 3 ++- .../test/claim/namespace_xl0/let_match_early_return_test.dag | 3 ++- src/v2/test/claim/namespace_xl0/return_tail_position_test.dag | 3 ++- 4 files changed, 8 insertions(+), 4 deletions(-) diff --git a/src/v2/test/claim/namespace_xl0/call_argument_value_resolve_refusal_test.dag b/src/v2/test/claim/namespace_xl0/call_argument_value_resolve_refusal_test.dag index 27ada8868aa..ba39d1f0d89 100644 --- a/src/v2/test/claim/namespace_xl0/call_argument_value_resolve_refusal_test.dag +++ b/src/v2/test/claim/namespace_xl0/call_argument_value_resolve_refusal_test.dag @@ -23,6 +23,7 @@ import v2.std.optional { Absent, Optional, Present, optional_absent, optional_pr import v2.std.text { String } import std.algebra { Cons, Empty } import extdeps.communication.medium { Lossless, Medium } +import v2.compiler.native_test_vocabulary { native_test_file_refusal_fatal_reason } data live_tree_disposition: LiveTreeDisposition = SubstrateInputsOnly @@ -205,7 +206,7 @@ fn cav_file_refusal_reason(context: NativeTestContext, unit: Symbol) -> Optional xs: context.file_refusals, empty: optional_absent(), cons: fn(acc, refusal) { - if refusal.path == unit { optional_present(value: refusal.fatal_reason) } else { acc } + if refusal.path == unit { optional_present(value: native_test_file_refusal_fatal_reason(fr: refusal)) } else { acc } } ) } diff --git a/src/v2/test/claim/namespace_xl0/if_arm_and_statement_lowering_refusal_test.dag b/src/v2/test/claim/namespace_xl0/if_arm_and_statement_lowering_refusal_test.dag index a29f97034fa..c339b24a705 100644 --- a/src/v2/test/claim/namespace_xl0/if_arm_and_statement_lowering_refusal_test.dag +++ b/src/v2/test/claim/namespace_xl0/if_arm_and_statement_lowering_refusal_test.dag @@ -23,6 +23,7 @@ import v2.std.optional { Absent, Optional, Present, optional_absent, optional_pr import v2.std.text { String } import std.algebra { Cons, Empty } import extdeps.communication.medium { Lossless, Medium } +import v2.compiler.native_test_vocabulary { native_test_file_refusal_fatal_reason } data live_tree_disposition: LiveTreeDisposition = SubstrateInputsOnly @@ -167,7 +168,7 @@ fn iasl_file_refusal_reason(context: NativeTestContext, unit: Symbol) -> Optiona xs: context.file_refusals, empty: optional_absent(), cons: fn(acc, refusal) { - if refusal.path == unit { optional_present(value: refusal.fatal_reason) } else { acc } + if refusal.path == unit { optional_present(value: native_test_file_refusal_fatal_reason(fr: refusal)) } else { acc } } ) } diff --git a/src/v2/test/claim/namespace_xl0/let_match_early_return_test.dag b/src/v2/test/claim/namespace_xl0/let_match_early_return_test.dag index fe12bdb809f..66fffdc60db 100644 --- a/src/v2/test/claim/namespace_xl0/let_match_early_return_test.dag +++ b/src/v2/test/claim/namespace_xl0/let_match_early_return_test.dag @@ -30,6 +30,7 @@ import v2.std.optional { Absent, Optional, Present, optional_absent, optional_pr import v2.std.text { String } import std.algebra { Cons, Empty } import extdeps.communication.medium { Lossless, Medium } +import v2.compiler.native_test_vocabulary { native_test_file_refusal_fatal_reason } data live_tree_disposition: LiveTreeDisposition = SubstrateInputsOnly @@ -151,7 +152,7 @@ fn lme_file_refusal_reason(context: NativeTestContext, unit: Symbol) -> Optional xs: context.file_refusals, empty: optional_absent(), cons: fn(acc, refusal) { - if refusal.path == unit { optional_present(value: refusal.fatal_reason) } else { acc } + if refusal.path == unit { optional_present(value: native_test_file_refusal_fatal_reason(fr: refusal)) } else { acc } } ) } diff --git a/src/v2/test/claim/namespace_xl0/return_tail_position_test.dag b/src/v2/test/claim/namespace_xl0/return_tail_position_test.dag index 808993963f0..19bc01e1e2d 100644 --- a/src/v2/test/claim/namespace_xl0/return_tail_position_test.dag +++ b/src/v2/test/claim/namespace_xl0/return_tail_position_test.dag @@ -23,6 +23,7 @@ import v2.std.optional { Absent, Optional, Present, optional_absent, optional_pr import v2.std.text { String } import std.algebra { Cons, Empty } import extdeps.communication.medium { Lossless, Medium } +import v2.compiler.native_test_vocabulary { native_test_file_refusal_fatal_reason } data live_tree_disposition: LiveTreeDisposition = SubstrateInputsOnly @@ -183,7 +184,7 @@ fn rtp_file_refusal_reason(context: NativeTestContext, unit: Symbol) -> Optional xs: context.file_refusals, empty: optional_absent(), cons: fn(acc, refusal) { - if refusal.path == unit { optional_present(value: refusal.fatal_reason) } else { acc } + if refusal.path == unit { optional_present(value: native_test_file_refusal_fatal_reason(fr: refusal)) } else { acc } } ) }