Verity

What Verity supports today

A detected target is not always ready to run. Verity reports what it found, whether this machine can run it, and how the final result will be checked.

Implemented adapters

StacksExecutionOracle examples
Node.js, Deno, Bun, static webIsolated containerDeclared tests and HTTP HTML behavior
Python, GoIsolated containerRepository test suite or checked-in smoke command
Java, KotlinMaven or checked-in Gradle WrapperDeclared test suite
.NET, PHP, RubyLocked restore in isolationDeclared tests or application health behavior
Docker ComposeDocker DesktopEvery declared service health check
Rust, TauriContainer or confirmed native snapshotTests plus bounded application launch when applicable
GodotConfirmed native snapshotChecked-in headless test command
C, C++Container or confirmed native snapshotDeclared CTest, Meson test, or equivalent target

Three states for every target

  • Plan: complete or blocked based on traceable commands and dependencies.
  • Environment: compatible, limited, or unavailable on the current machine.
  • Oracle: machine-verifiable, limited, or absent based on declared behavior evidence.

A detected target may still be blocked. A launchable target may still end as started but unverified. Only a complete plan and passing machine oracle produce verified.

Current limits

  • Source must already be trusted. Native execution is not malware containment.
  • Adapters do not infer business purpose or undocumented commands.
  • Dynamic and environment-dependent projects may require explicit user confirmation or remain blocked.
  • Local signatures do not create remote identity or certification.
  • Prebuilt installers are unavailable until trusted signing and acceptance evidence exist.

Release status

Committed fixtures test each adapter against known examples. Public release support also needs tests on documented projects and platforms. The repository's release status lists the checks completed so far.

Source beta `v0.1.0-beta.2` is available through the official download page.