provenance-cli 0.2.2

Command-line interface for Provenance requirements traceability
provenance-cli-0.2.2 is not a library.

Provenance

Never lose the why behind your decisions.

Provenance is a tool for building requirements traceability, from source to requirement to rule. A Rule is an atomic behavioural obligation that can exist before its implementation; #[rule("rule_id")] binds production code to it, and #[verifies("rule_id", method)] binds evidence.

Installation

Install and initialize Provenance in a TypeScript project:

npx --yes @quality-sh/create-provenance

The initializer detects npm, pnpm, Yarn, Bun, Deno, or Nub. It installs @quality-sh/provenance as an exact development dependency, creates the default scope, validates the state, and ignores .provenance/cache/.

Install and initialize Provenance in an existing Rust project:

cargo install provenance-cli
cargo provenance init

The Cargo initializer finds the current workspace, adds provenance-sdk at the CLI version, creates the default scope, validates the state, and ignores .provenance/cache/. In a workspace with multiple packages, use cargo provenance init --package <name>.

For a TypeScript project, run:

npx --yes @quality-sh/create-provenance

The TypeScript initializer detects npm, pnpm, Yarn, Bun, Deno, or Nub.

To build the CLI from this source tree:

cargo build --release -p provenance-cli --features scanner

The binaries land at target/release/provenance and target/release/cargo-provenance. Put them on your PATH.

Quick start

# install the development dependency and set up the repository
npx --yes @quality-sh/create-provenance

# put something in the graph
npx provenance requirements create --scope default --id req_exports \
  --statement "Exports finish in under a minute"

# see where things stand
npx provenance prime

Essential commands

Command What it does
provenance prime Bounded low-res graph frontier; proposals surface separately when evidence or claimed territory demands them
provenance check Validate the state files
provenance materialize Rebuild the SQLite query cache
provenance graph <requirement> Show the neighbourhood of a requirement
provenance graph-reference issue|show|verify|exact-export Hand off an immutable pinned graph
provenance traceability <rule> Walk a Rule back to its Requirement and any producing Resolution
provenance proposals surface --scope default --changed-path <path> Surface undisposed proposals when current work touches their evidence or explicit territory
provenance wiki build / provenance wiki serve Build or serve the generated wiki with domain browsing and offline search
provenance coverage scan --path . --validate-rules Check bindings and report active Rules with no implementation or verification
provenance sdk check-statement / provenance sdk apply / provenance sdk verification-runs ASD-STE100 statement preflight, typed desired state, and callback evidence protocol
provenance stale --since main Report whether a diff touched, moved, or removed any graph evidence path
provenance skills install Install the bundled agent skills (provenance-shaping, provenance-fork-tournament, provenance-swarm-backtrace, provenance-grounded-writing)

The repository uses the skills/<name>/SKILL.md layout, so the bundled skills can also be installed through the skills.sh ecosystem with npx skills add <owner/repo>.

Documentation

Licensed under BUSL-1.1.