Ztare

v1.2.3 Bugfix

This release fixes issues for SREs watching stability and regressions.

Published 10d 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

Contract-coherence validation now classifies PATCH_DELTA_SPEC as a carrier format.

Type	Severity	Summary	CVE
Bugfix
Bugfix	Medium	Public command-example validation checks repository module paths without importing optional parent packages. Public command-example validation checks repository module paths without importing optional parent packages. Source: llm_adapter@2026-07-16 Confidence: high	—
Bugfix	Medium	ARC/world-model and PDE gate formatters now parse on Python 3.11, the minimum supported interpreter. ARC/world-model and PDE gate formatters now parse on Python 3.11, the minimum supported interpreter. Source: llm_adapter@2026-07-16 Confidence: high	—
Bugfix	Medium	The publish gate prefers Python 3.11 for full-package syntax compilation when available. The publish gate prefers Python 3.11 for full-package syntax compilation when available. Source: llm_adapter@2026-07-16 Confidence: high	—
Bugfix	Medium	Contract-coherence validation classifies `PATCH_DELTA_SPEC` as a carrier format rather than a control-receipt type. Contract-coherence validation classifies `PATCH_DELTA_SPEC` as a carrier format rather than a control-receipt type. Source: llm_adapter@2026-07-16 Confidence: high	—

Full changelog

ZTARE v1.2.3 completes the v1.2 clean-install correction and is published from a green pre-tag workflow.

Public command-example validation checks repository module paths without importing optional parent packages.
ARC/world-model and PDE gate formatters now parse on Python 3.11, the minimum supported interpreter.
The publish gate prefers Python 3.11 for full-package syntax compilation when available.
Contract-coherence validation classifies PATCH_DELTA_SPEC as a carrier format rather than a control-receipt type.

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

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