Skip to content

Ztare

v1.2.2 Bugfix

This release fixes issues for SREs watching stability and regressions.

✓ No known CVEs patched
Read the diff → Tool health → What is this tool? →

✓ 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

Fixed regression checks to derive the expected version from pyproject.toml instead of stale literals.

Changes in this release

Bugfix Medium

Public CLI smoke checks derive expected version from pyproject.toml instead of stale literal.

Public CLI smoke checks derive expected version from pyproject.toml instead of stale literal.

Source: llm_adapter@2026-07-16

Confidence: high

Bugfix Medium

Checkout-mode CLI prefers project metadata over editable-install records for version reporting.

Checkout-mode CLI prefers project metadata over editable-install records for version reporting.

Source: llm_adapter@2026-07-16

Confidence: high

Bugfix Medium

Citation and CLI regression tests enforce version coherence across release metadata and public front door.

Citation and CLI regression tests enforce version coherence across release metadata and public front door.

Source: llm_adapter@2026-07-16

Confidence: high

Full changelog

ZTARE v1.2.2 completes the clean-install release correction begun in v1.2.1.

Fixed

  • Public CLI smoke checks derive the expected version from pyproject.toml instead of a stale release literal.
  • Checkout-mode CLI version reporting prefers project metadata over stale editable-install records.
  • Citation and CLI regression tests now enforce version coherence across release metadata and the public front door.

The v1.2.0 Workbench, LeanMill/AxiomPack, and ARC-AGI WIP scope is unchanged.

Verification

  • make first-run PYTHON=./venv/bin/python
  • make gates
  • make docs-check
  • focused CLI and public-front-door version tests

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.

Sign up free

About Ztare

All releases →

Related context

Beta — feedback welcome: [email protected]