Dovada.
01 / 08
Dovada

Your tests pass. That's not the same as proof.

Dovada checks the difference - automatically, on every ticket and every release - and shows exactly how it knows.

A test you've already shipped behind

This test exists. It runs. It passes.

it('sends an alert', () => {
  alertOnCallIfDead(deadDelivery)
  expect(sendAlert).toHaveBeenCalled()
})

It doesn't check the alert's message, who it reaches, or whether it fired after the third failure instead of the first. Green in CI. Proves almost nothing.

Real code behind a real release - not a hypothetical. Dovada caught it. Next slide.

One record · DEMO-112
Same ticket. Two answers that disagree.
/dovada/cer/14
CER View: DEMO-112 - Validation Aligned, Verification Discrepancy
What summaries miss · DEMO-111
Done. Shipped. Except it wasn't.
/dovada/release/DEMO-1.1.0
Release View: DEMO-1.1.0, with an Unshipped Ticket finding
How each answer gets made

Two verticals, assessed separately

Validation
Did we build the right thing?
Every requirement a ticket states, read against the pull requests that claim to satisfy it - judged one requirement at a time, never rounded up into a single score.
Verification
Did we prove it works?
From the code that changed, traced through real imports and calls to the tests that actually exercise it - then judged for whether that link is meaningful, not just present.

Every "judged" above is a real Claude call, under your own Anthropic account and contract - not Dovada's. Nothing proprietary to trust: the model, the spend and the audit trail are yours. Configured for Anthropic today; choice of provider is coming.

Inside the package
Not every linked test counts
/dovada/package-document/3 · Claims
The Claims sheet: one test judged meaningful, a second linked test judged not to exercise the code
Inside the package
Tests that might be missing
/dovada/package-document/3 · Coverage Observations
Coverage Observations: three real missing-test gaps across two tickets

Evidence, not verdicts.

Dovada doesn't make the release decision. It gives the person who does something concrete to point to - for every ticket, every release.

Validation - did we build the right thing Verification - did we prove it works

Or skip both - open a real sample package, standalone.