Skip to content

ZTARE v1.2.0 — Governed Workbench and Theory Programs

Choose a tag to compare

View all tags
@sparckix sparckix released this 16 Jul 17:46
v1.2.0
0bdaba4

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: v1.1.0...v1.2.0

Assets 2
Loading