Last released Sep 11, 2026
Physics-aware LLM guardrail — deterministic dimensional analysis with Z3 SMT proof and calibrated abstention