Re-run it.
Check it yourself.
The answer ships with its steps. Your machine re-runs them: pass, fail, or can't tell.
Mechanisms
From record to verdict.
Record
A record anyone can re‑check
One folder: the inputs, the answer, and the steps that made it.
Free & open
Re-run
It re-runs the work
The tool recomputes the answer against rules fixed in advance. No swapping in an easier one.
Runs offline
Verdict
OK, REJECT, or ERROR
REJECT means it didn't match what was declared; ERROR means it couldn't be checked. An ERROR never becomes an OK.
Never fakes an OK
Complete
Nothing left unchecked
Every piece is accounted for, or it's an ERROR; anything extra is a REJECT.
Nothing slips through
The receipt
What a check leaves behind.
action
inputs
verdict
check
content hash
Payroll disbursement
rules + ledger + agent proposal
OK
exact
f8a9fbf4…1e44
RAG citation
corpus + claim + fragment anchors
OK
fragment_attestation
4fcac734…e218
EU AI Act control
system registry + control set
OK
aigov_rederivation
2bd7e190…9c03
Disbursement (tampered)
rules + ledger + agent proposal
REJECT
REDERIVATION_MISMATCH
bb24fff5…f115
One honest limit: it proves the answer wasn't changed, not that the call was right.
See it run live →
Diligence
Patents pending.
If your diligence needs the detail, ask us under NDA.
Strike a proof and watch it hold.
The live demo re-derives a real SHA-256 receipt in your browser, then voids it the instant a single byte moves.