Exact helpers.rs::eval_windows ValueNS constants. The compiler query identity is std::sys::pal::windows::<module>::<name>; the adapter validates the complete path before reusing the canonical named-constant decoder.

def Miri.Input.CompilerWindowsConstants.scalar (prepared : CompilerNamedConstants.Prepared) (module name : String) : Except String (Memory.Scalar Memory.Provenance)

Resolve the exact source path and retain the named constant decoder's compiler status, target layout, width, and scalar validation.

Equations

• One or more equations did not get rendered due to their size.