ZTARE v1.2.3 — Clean-install compatibility hotfix
ZTARE v1.2.3 completes the v1.2 clean-install correction and is published from a green pre-tag workflow.
Fixed
- 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_SPECas a carrier format rather than a control-receipt type.
The v1.2.0 Workbench, LeanMill/AxiomPack, and ARC-AGI WIP scope is unchanged.
Verification
- GitHub Actions
public-smokerun 29523100006: both jobs passed before tagging. make gatesmake docs-check- full Python 3.11 package compilation
- 59 focused compatibility and contract tests