Skip to content

Corvint 0.5.0a3

Pre-release
Pre-release

Choose a tag to compare

View all tags
@Russe11 Russe11 released this 22 Sep 02:23
· 4297 commits to main since this release
v0.5.0a3
822888a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

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.

Assets 7
Loading