pub fn native_compile_decide(ctx: &Context, term: &Term) -> Option<bool>Expand description
Compile a closed Bool decision to native closures and run it — None if it does not reduce
to a Bool constructor (fail-safe; the caller falls back to the tree-walking interpreter).
Unlike native_compile_bool, this handles the FULL computational fragment (recursion,
pattern matching, definitions), so recursor-based decisions compile to native code. Its
verdict is IDENTICAL to eval_bool_tree/normalize (differential-tested).