Skip to content

v0.2.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 25 Jul 13:34
· 72 commits to lean since this release
v0.2.0
This tag was signed with the committer’s verified signature.
MuNeNiCK MuNeNiCK
GPG key ID: F8195A7A5BD1D5AF
Verified
Learn about vigilant mode.
570a5c3
This commit was signed with the committer’s verified signature.
MuNeNiCK MuNeNiCK
GPG key ID: F8195A7A5BD1D5AF
Verified
Learn about vigilant mode.

Agent Workbench v0.2.0

v0.2.0 makes the Lean implementation the default Agent Workbench product.

  • Replace the Rust implementation with a Lean transition kernel, durable
    SQLite adapter, native CLI, and executable law suites.
  • Keep review claims advisory and preserve separate, reasoned caller
    adjudication.
  • Add ordered aggregate phases, dependencies, phase-scoped reviews, real
    rescope and split transitions, and exact external-operation identity.
  • Preserve exact evidence, repository snapshot, artifact, and revision
    bindings through completion.
  • Classify user feedback so considerations and rejected approaches do not
    silently become requirements or inverse absence tests.
  • Validate required positive behavior without turning rejected approaches into
    permanent product requirements.
  • Publish a Linux x86_64 binary, Agent Skill bundle, source archive, checksums,
    and versioned documentation.
Assets 8
Loading