Corvint 1.0.0-rc.2

Corvint 1.0.0-rc.2 (build 360), commit b7b2120. See docs/RELEASE-NOTES.md. Known issue: the untouched-repository evaluation (V1-0019) runs on this published build and still gates 1.0 final. Hosted release-gates run 37466658604 passed. Windows zip is emitted but unqualified; archives are unsigned.

Corvint Tasks development snapshot: native releases (#357)

Corvint Tasks development snapshot — native releases (#357)

Fixes the fixture-only release restriction reported in #357. Native queues with no import map can create/update releases, bind candidates, record gate attestations, promote and reconcile settled projections with KEEP_JOURNAL. Release operations can run before or after execution cutover; execution qualification and claim guards are unchanged. Import-mapped queues, active recovery and ADOPT_FILE remain unsupported.

Source: 0f231225bee862a9afa20c7b81af9fab6f6daaad, tree 05e18b04a2c7bd60a1c19c7144c4b3d43cf3e920, Go1.27.1, build202. Includes the #336 download/commands/docs improvements. #354 multi-repository supervisor is not included.

This is an unsigned macOS arm64 development snapshot, 0.0.0-tcp01-unverified+build.202, not stable1.0 or qualification of an application's queue. Publisher identity is NOT_VERIFIED. Two isolated builds and deterministic archive assemblies agree; checksums and extracted version/help passed. The exact extracted executable additionally passed native release lifecycle, reconciliation and readiness-refusal tests. Source, setup guide, templates and applicable notices are included.

Download the archive and SHA256SUMS together, verify with shasum -a 256 -c SHA256SUMS, and extract into a fresh directory. Run bin/corvint-tasks version and help. Preserve existing queue, policy and journal; no reinitialization or cutover change is required to select this binary. Keep the previous executable for rollback; never roll back journal files merely to change binaries. Follow included docs/TASKS-EXTERNAL-AGENTS.md for new queues.

Archive SHA256: ad5a7a74605d239c4ca265dfddf35fdd6eba7ad7455d5d1845b95a121da888cf. Broader full-gate/native V1-0449 closeout and 1.0 release qualification remain separate; no stable support or complete workflow-bundle claim is made here.

Includes the journal and archive acceptance-test corrections discovered by PR 359 CI. The original failing CI evidence is retained; this packet awaits required CI and merge before publication.

Corvint Tasks development snapshot (issue 336)

Corvint Tasks development snapshot — issue 336

Native macOS arm64 Tasks download from public source commit 85cb2889444ad41ac001876fca2b0000c76a09a7 (tree cb1bbe8b2923f338fbd3c49d0d65dbc97b473bcd), Go 1.27.1, build189.

Includes plan preview, atomic claim --next, attempt-bound submit / gate run / complete, external-agent setup templates and guide, canonical payload guidance and closed release reason codes. Corresponding source and license/provenance notices are inside the archive.

This is an unsigned development snapshot, version 0.0.0-tcp01-unverified+build.189. Two independent builds and deterministic archive assemblies agreed; extracted version/help smoke passed. SHA256 checks establish byte integrity, not publisher authentication: publisher identity is NOT_VERIFIED. This is not stable1.0, queue execution qualification, or qualification of the complete workflow bundle. Other platforms are NOT_RUN. Issue354's multi-repository supervisor extension is not included.

Install

Download corvint-tasks_darwin_arm64.tar.gz and SHA256SUMS from this release. In their download directory run:

shasum -a 256 -c SHA256SUMS
mkdir corvint-tasks-dev
tar -xzf corvint-tasks_darwin_arm64.tar.gz -C corvint-tasks-dev
./corvint-tasks-dev/bin/corvint-tasks version
./corvint-tasks-dev/bin/corvint-tasks help

Use the included docs/TASKS-EXTERNAL-AGENTS.md before initializing a new queue. For an existing queue, preserve its configuration and journal; read queue status and receipt audit with the new binary. This download does not grant an execution cutover or alter an existing queue.

Source, tests and documentation fixes for issue336 are already on public main. This standalone download completes its missing prebuilt Tasks distribution. No stable support or production-qualification claim is made for this development snapshot; retain your previous binary to roll back executable selection without restoring old journal bytes.

Corvint 1.0.0-rc.1

Corvint 1.0.0-rc.1 (build 163), commit b967f6b. See docs/RELEASE-NOTES.md. Known issue: the untouched-repository evaluation (V1-0019) failed on this build and gates 1.0 final; the notes give the results. Windows zip is emitted but unqualified; archives are unsigned.

Corvint 0.8.1

Corvint 0.8.1 (build 82), commit 1281e26. See docs/RELEASE-NOTES.md. Windows zip is emitted but unqualified; archives are unsigned.

Corvint 0.8.0

Corvint 0.8.0 (build 65), commit 31d68b4. See docs/RELEASE-NOTES.md. Windows zip is emitted but unqualified; archives are unsigned.

Corvint 0.7.0

Corvint 0.7.0 (build 46), commit 41f2b68. See docs/RELEASE-NOTES.md. Windows zip is emitted but unqualified; archives are unsigned.

Corvint 0.6.0

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.

Corvint 0.5.0a4

Corvint 0.5.0a4 repairs OpenCode MCP initialization and improves automatic file-change handling.

• Core and test-validity MCP servers now support OpenCode's initialization handshake through --protocol-version 2025-11-25. All Corvint MCP servers retain MCP 2026-07-28 as their default.
• The OpenCode plugin provides task context and explicit outcomes alongside MCP status, query, tracked-Go impact and retained-test-evidence tools. An on-demand Corvint skill explains tool selection.
• Automatic events use the existing 2,000 ms limit by default and include the actual deadline in timeout diagnostics. Successful receipts can still report FALLBACK when frontier evidence is unavailable.
• Release checks now use the correct planning branch and roadmap interactions. The gate ledger hashes actual worktree content without trusting cached index timestamps.

Upgrade the separately installed MCP executables and OpenCode plugin as well as the core CLI. This release publishes four core CLI archives. The optional companion bundle is omitted because its installed console-browser qualification timed out; build the MCP executables and install the plugin from the tagged source. See integrations/opencode/README.md and mcp.example.json for the explicit compatibility configuration.

Developer preview: native OpenCode support remains FALLBACK, missing test evidence remains unsupported, and MCP repository roots retain their documented .git directory requirement. The unavailable reported work project has not been verified. This is an unsigned prerelease with publisher identity NOT_VERIFIED.

Corvint 0.5.0a3

Corvint 0.5.0a3

This prerelease integrates every issue that was open when the rerelease was requested:

• #53 behavior-contract provider records and variation reconciliation frontiers
• #54 criterion-level falsification controls for browser behavior contracts
• #55 OpenCode file-change events under bursts and unadmitted suffixes
• #56 redaction and rejection of sensitive input values in browser runtime evidence
• #57 authoritative affected-test planning from explicit dirty-worktree snapshots

It also closes thirteen defects found by a pre-release audit across the CLI, context index, JavaScript test provider, behavior falsification, and documentation corpus. The analyzer schema advances to corvint-analyzer/73.

Verification on the candidate commit f441e96 (the tagged merge commit differs from it only by the sealed change-evidence rename and the merge itself):

• the full repository gate (make gate) passed, including Go tests, vet, formatting, specification, requirement, citation, traceability, and the deterministic Go-archive gate
• one independent integrated review found no blocker; its follow-ups are recorded in docs/agent-memory/
• the attached archives were produced from the candidate revision and their digests match the gate-produced SHA256SUMS

Not run, so not claimed: the live Playwright /2 qualification for #56 and external MCP host qualification for #57 remain NOT_RUN; those features stay experimental and are not promoted. This unsigned alpha does not verify publisher identity (NOT_VERIFIED) and makes no promotion claim (decision 0329). No Windows archive and no companion bundle are attached.

See the full alpha notes.