Verifiable data. Deterministic answers. Tamper-evident proof.
Data will commoditize. Models will commoditize. What remains scarce is knowing where every number came from — and being able to prove it. CMD+RVL builds open-source tools that verify, explain, and lock data artifacts so every conclusion traces back to source.
Same bytes in, same answer out, every time. When a confident answer isn't possible, the tool refuses and tells you exactly what to fix.
Composable Rust CLIs. Each tool does one thing and emits structured JSON. Agents decide what to run — these tools decide what is true.
| Tool | What it does | Install |
|---|---|---|
| rvl | Reveals the smallest set of numeric changes that explain what actually changed between two datasets | brew install cmdrvl/tap/rvl |
| shape | Structural comparability gate — can these two datasets be compared at all? | brew install cmdrvl/tap/shape |
| lock | Dataset lockfiles — like Cargo.lock for data. Self-hashed, tamper-evident, with lock verify for integrity checks |
brew install cmdrvl/tap/lock |
All three tools record to a shared append-only witness ledger (~/.epistemic/witness.jsonl) — every invocation is content-addressed, hash-chained, and auditable.
Typical pipeline: shape (are these comparable?) → rvl (what changed?) → lock (pin the evidence)
| Tool | What it does |
|---|---|
| vacuum | Enumerates artifacts in scope, emits a stable JSONL manifest |
| hash | Exact byte identity (SHA256 / BLAKE3) for dedup and immutability |
| fingerprint | Template recognition — tests artifacts against versioned assertions |
| profile | Column-scoping configs for report tools |
| verify | Invariant checks against declared rules (PASS / FAIL) |
| compare | Exhaustive cell-by-cell diff without materiality compression |
| canon | Deterministic entity resolution against versioned registries |
| assess | Decision framing — PROCEED / ESCALATE / BLOCK against declared policy |
| pack | Evidence sealing — bundles everything into a content-addressed evidence pack |
| Tool | What it does |
|---|---|
| cmdrvl-xew | Detects enforcement-fragile XBRL patterns in SEC filings, produces reproducible Evidence Packs |
| edgar-change-interpreter | Claude skill for identifying material changes and silent risks in SEC filings |
| edgar-fabric-ingest | Reference implementation for ingesting EDGAR disclosures into an append-only event store |
| Tool | What it does |
|---|---|
| regret | Mines git history for high-precision regret signals — reverts, linked fixes, patch-id matches |
| twinning | In-memory database twin that speaks the real wire protocol — fast testing without a real database |
brew install cmdrvl/tap/rvl
brew install cmdrvl/tap/shape
brew install cmdrvl/tap/lock