Skip to content

v0.3.0 Evidence Hardening Release Notes

Date: 2026-07-01

ZapTrace 0.3.0 consolidates the M0–M4 evidence roadmap into a release-ready baseline. It is still pre-1.0 alpha software and makes no fabrication-readiness or production-readiness claim.

Release theme

The release moves ZapTrace from a broad prompt-to-artifact pipeline toward a bounded, auditable engineering evidence system:

  • proof-pack autonomous sign-off status and claim guard;
  • requirements coverage and assumptions evidence;
  • KiCad oracle and manufacturing/export evidence;
  • governed component, datasheet, footprint, and sourcing evidence;
  • layout, routing, power, thermal, SI/PI, and current-density evidence reports;
  • benchmark family manifest, golden KiCad fixture format, known-failure mutation corpus;
  • Review Studio benchmark readiness panel.

Release gates expected before tagging

The release commit should pass:

ruff check
ruff format --check
pyright
pytest targeted + core suites
uv build
uv audit
semgrep scan --config p/default --error
GitHub quality/security/docs/release workflows

Non-claims

This release does not claim:

  • fabrication-ready output;
  • manufacturer approval;
  • production-ready hardware generation;
  • no-human-review autonomous correctness;
  • solver-grade SI/PI/thermal/PDN sign-off;
  • compliance certification.

Every generated design and export requires qualified human engineering review.

The next work is depth rather than scaffolding: expand real benchmark fixtures for all 12 board families, run KiCad CLI in a real CI environment, grow datasheet-backed package coverage, and add solver-grade external analysis adapters.