#[formal_method_test_v1]
V1: pass the function through completely unchanged — baseline, no warnings expected.