Ztare

ZTARE v1.2.0 deepens the local Project Workbench, advances AxiomPack into governed theory-program campaigns, and publishes the current ARC-AGI/world-model harness as work in progress.

Project Workbench

• Adds an explicit public-project allowlist and a one-origin production server for the React app and Python API.
• Refuses unlisted project reads, file previews, and writes before dispatch.
• Adds evidence-fetch receipts, plugin management, model briefs, saved decision visits, report readiness, project scenarios, and broader review/history flows.
• Refreshes the Verdict view and small-screen layouts, including the LeanMill workspace.
• Adds a release runbook, CI boundary job, Docker build context, interaction smoke, and public release smoke.

Run locally:

make forensic-workbench-live

Or build and serve the one-port release image:

docker compose --profile workbench up --build workbench

LeanMill and AxiomPack

• Treats an agent-authored theory program and its lineage as the governed campaign object; compact axiom packs remain one calibrated profile.
• Adds campaign closure, formal-task boundaries, external-science admission, language advancement, compound implication sieves, resumable VPS actions, and kernel-checked Lean ratification.
• Publishes campaign receipts and new AxiomPack Lean artifacts for differential-mode, finalist, orbit-action, witness, and reconstruction boundaries.
• Includes an exact bounded order-7 coprime-cycle result and a finite database audit over published orders 8–10. These artifacts retain their finite-scope and source-completeness boundaries.

ARC-AGI / world-model harness

ARC-AGI remains WIP in this release.

• Adds typed transition identity, observation charts, equivariance certificates, factored search, schema routes, compiled planning, and deterministic candidate production.
• Consolidates superseded world-model adapters and duplicate planning/compiler surfaces into shared primitives.
• Expands validator, orchestration, replay, and identity-boundary coverage.

This release makes no ARC-AGI benchmark, solve-rate, or leaderboard claim.

Packaging and release discipline

• Sets package and citation metadata to 1.2.0.
• Moves provider SDKs and research libraries into optional extras so the base install retains the offline public path.
• Repairs changelog history for v1.0.0 and v1.1.0.
• Scrubs maintainer-specific paths from public artifacts and refreshes the public roadmap and claim register.

Verification

• make gates
• make docs-check — 99 Markdown files checked
• make forensic-workbench-release-check — 13/13 boundary checks
• Workbench interaction smoke — 21/21 actions
• Canonical route render smoke — 22/22 routes
• Production Vite build and Workbench Docker build
• Final parser/LeanMill invariant suite — 140 passed

Boundaries

• The Project Workbench remains local-first and filesystem-backed; this is not a hosted multi-user service.
• AxiomPack campaign and Lean artifacts demonstrate governed execution and bounded formal results; they do not establish general theorem-discovery lift.
• Local ARC environment data, raw review transcripts, caches, backups, and active PutnamBench scratch were not included.

Full changes: https://github.com/sparckix/ztare/compare/v1.1.0...v1.2.0