RELEASE NOTES / OCTOBER 1, 2026
What’s in the candidate.
Tesven v0.1.0 is a release candidate. It has not been published as a consumer release.
Verification engine
Versioned task specs, defined postconditions, independent readback verifiers and five explicit criterion states. Release comparison reports preserve policy gates.
Evidence and local console
Encrypted local evidence objects, integrity checks, audit history and a console for projects, specs, runs, evidence and reports. The optional Dovren bundle import is manual.
Local verification evidence
The release readiness report records local Windows and Linux checks, PostgreSQL integration and reproducible evaluation against a frozen 100-case synthetic corpus. This corpus is a regression fixture, not a real-world accuracy claim.
Known limits
Source distribution requiring technical setup. Synthetic data only. No self-contained installer, SaaS, enterprise authentication, automatic Dovren pairing or coordinated evidence deletion. Backups are not automatically encrypted.
Publication status
The repository identifies technical and licensing gates as passed for the candidate. Public release is conditional on publication steps and a verified private reporting channel. These are product-repository records, not an independent security certification.