pub fn interpret_unsatisfiable_require(input: &str) -> Option<String>Expand description
The tree-walk interpreter (largo run --interpret) is the raw differential tier — it applies
NO optimizations, so it cannot satisfy any ## Require <opt>. Returns the honest error for the
first requirement (mirroring the compiled tiers’ message), or None when there is none.