Ztare

v1.2.4 Feature

This release adds 2 notable features for engineering teams evaluating rollout.

Published 9d AI Agents & Assistants

✓ No known CVEs patched

✓ No known CVEs patched in this version

Topics

adversarial-ml ai-alignment ai-governance ai-safety artificial-intelligence autoresearch

+8 more

formal-verification lean4 llm-evaluation multi-agent-systems neurosymbolic recursive-ai trustworthy-ai zero-trust

Summary

AI summary

Plain pip install now uses deterministic core dependencies PyYAML, SymPy, and Z3 (>=4.13.4,<4.15.5).

Type	Severity	Summary	CVE
Feature
Feature	Low	Adds new capability profiles: ztare[lean], ztare[ui], and ztare[full]. Adds new capability profiles: ztare[lean], ztare[ui], and ztare[full]. Source: llm_adapter@2026-07-17 Confidence: high	—
Feature	Low	README now distinguishes Python extras from external Lean 4, lake, and Mathlib toolchain. README now distinguishes Python extras from external Lean 4, lake, and Mathlib toolchain. Source: llm_adapter@2026-07-17 Confidence: high	—
Feature	Low	Documents repository‑backed commands as requiring source checkout or ZTARE_REPO. Documents repository‑backed commands as requiring source checkout or ZTARE_REPO. Source: llm_adapter@2026-07-17 Confidence: high	—
Dependency	Medium	Plain pip install now installs deterministic core dependencies: PyYAML, SymPy, Z3. Plain pip install now installs deterministic core dependencies: PyYAML, SymPy, Z3. Source: llm_adapter@2026-07-17 Confidence: high	—
Dependency	Medium	Z3 dependency constrained to compatible range >=4.13.4,<4.15.5. Z3 dependency constrained to compatible range >=4.13.4,<4.15.5. Source: llm_adapter@2026-07-17 Confidence: high	—
Bugfix	Low	Corrects the Python package dependency contract broken in v1.2.3. Corrects the Python package dependency contract broken in v1.2.3. Source: llm_adapter@2026-07-17 Confidence: high	—

Full changelog

ZTARE v1.2.4 corrects the Python package dependency contract published in v1.2.3.

Plain pip install ztare now installs the deterministic core dependencies: PyYAML, SymPy, and Z3.
Z3 stays on the compatible >=4.13.4,<4.15.5 wheel line.
New capability profiles: ztare[lean], ztare[ui], and ztare[full].
Existing research, provider-specific, and providers profiles remain available.

The README now distinguishes Python extras from the external Lean 4, lake, and Mathlib toolchain.
Repository-backed commands are documented as requiring a source checkout (or ZTARE_REPO).

All publish gates, 140 LeanMill/parser invariants, package metadata tests, wheel/sdist checks, and clean base/Lean installs passed before release.

Full changelog: https://github.com/sparckix/ztare/compare/v1.2.3...v1.2.4

Weekly OSS security release digest.

The CVE patches and breaking changes that affected production tools this week. One email, every Sunday.

No spam, unsubscribe anytime.

Share this release

Track Ztare

Get notified when new releases ship.

About Ztare