Qwed-Ai Qwed-Verification vulnerabilities

CVE-2026-55585 [HIGH] CWE-94 CVE-2026-55585: QWED is open-source AI verification infrastructure for deterministic verification of LLM outputs, to QWED is open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution. Prior to 5.1.2, the qwed package passes caller-controlled math expressions directly to SymPy parse_expr() without restricted global_dict and local_dict namespaces, allowing Python eval