Skip to content

Corvint 0.6.0

Pre-release
Pre-release

Choose a tag to compare

View all tags
@Russe11 Russe11 released this 22 Sep 20:11
· 4559 commits to main since this release
v0.6.0
a033210

Corvint 0.6.0 introduces decision 0330's one-binary local workflow: task orientation, change consequence and evidence-carrying completion.

  • Build: Corvint 0.6.0 (build 90), commit a03321028e0254bb8d554a2ca1b70e4349568e5e, tree 667cdd304d637177de339b7ce7ffdee8ace7805d.
  • The full gate passed at this exact commit with the complete Go test suite executed. This candidate also repairs CORVINT_GATE_LEDGER=off make gate, which previously exited 0 without running go test ./..., and realigns the spec index with the spec headers.
  • The archives were built twice and are byte-identical. SHA256SUMS and verification-report.json (corvint.release-go-archive-report.v2, verdict PASS) are attached.
  • Installed-host lifecycles were exercised on Codex 0.153.2 and Claude Code 2.1.267 against loopback model fixtures. Codex Stop/SessionEnd hook execution was not observed. No live-model turn was run.

This release publishes four core CLI archives (darwin/linux, amd64/arm64). SHA256SUMS and verification-report.json also cover a Windows archive, which was built but is not published because Windows remains unqualified.

Known gaps, declared rather than claimed:

  • The three new workflow jobs remain UNPROVEN. Genuine Beamfall workflow evidence and sealed correctness/cost benchmarks were not produced, so DCW-V0-006 is unqualified. Token use and cost were not measured, and no savings claim is made.
  • Corvint's own change-evidence (CEM) binding for this build's six-file fix was not produced; the tagged tree carries the CEM bound for the preceding build-89 change set.
  • On native Linux/arm64, go test ./... still reports environment-dependent failures: two dogfood tests need rg; three tests assume ctime advances between adjacent syscalls; and one self-use benchmark flood test fails in the current container environment at this commit; the same assertion fails at its parent, whose test code is identical. The root cause of the last is undiagnosed.
  • docs/RELEASE-NOTES.md at this commit still describes the source as an unqualified candidate. This release body supersedes that paragraph, and the in-tree notes will be updated after release.
  • Optional companions and formal FULL host authority remain separately qualified and are not part of this release.

Developer preview. This is an unsigned prerelease with publisher identity NOT_VERIFIED.

Assets 8
Loading