Function native_compile_bool 

pub fn native_compile_bool(term: &Term) -> Option<bool>

Compile a ground Bool decision into native closures and run it — None if the term is outside the compilable fragment (the caller falls back to the eval_bool interpreter). Semantics are IDENTICAL to eval_bool/normalize (differential-tested), so the ofReduceBool certificate native_decide builds is equally sound.