pub fn offered_tools(effects: &str) -> Vec<Value>
Tools offered to Formal AI: the change tools only when the effect mode allows changes, so the advertised contract matches the policy.