hol-guardguard-3managed-controls
HOL Guard 3.0: extension-first managed controls and a Rust authority path
HOL Guard 3.0 makes Local Extensions the capability vocabulary, routes PreToolUse authority through a version-matched Rust runtime, and keeps Guard Cloud on Control Sets. Upgrade to 3.0.113 (do not pin yanked 3.0.0) and verify with hol-guard command explain.
