ZTARE v1.2.4

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

Packaging

• 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.

Install guidance

• 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: v1.2.3...v1.2.4