Skip to content

VSTD v1.1.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 22 Aug 17:27
· 62 commits to main since this release
v1.1.0
67990c6
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Source tag signature status: UNSIGNED.

Every uploaded asset is bound to the exact public commit by the external release manifest and a GitHub artifact attestation. Verify an asset with:

gh attestation verify PATH_TO_ASSET --repo TimeLordRaps/verifier
  • Add vstd demo, a deterministic four-scenario adversarial demonstration that
    rejects a proof grounded to the wrong artifact, preserves a checked UNKNOWN,
    rejects verification-cost inflation, and exposes a revoked transitive ancestor.
  • Publish the replayable demo specimens, a newcomer quickstart, a public technical
    roadmap, an ecosystem boundary map, and a focused project overview site.
  • Make vstd the canonical cross-platform command while retaining verifier and
    verifiable as compatibility aliases. This avoids collision with Windows Driver
    Verifier without breaking previously issued command references.
  • Replace the unused adopter-migration document name with an implementation
    compatibility note; no external adoption or adopter migration is implied.
  • Add automated checks for documentation links, version agreement, public-boundary
    language, packaged demo behavior, and checked-in specimen determinism.
  • Add repository-level instructions that keep automated contributors inside VSTD's
    fail-closed claim, dependency, compatibility, and public/private boundaries.
Assets 5
Loading