Product / Evidence
“Done” is not completion
An agent's self-report of success is not evidence. Omnacta Evidence verifies outcomes against explicit acceptance criteria, tracks provenance, and reports honestly when it cannot verify a claim.
Deterministic verification (tests, linters, schema checks) is implemented today. Tamper-resistant proof and complete process-effect authorization are not yet demonstrated; see current limitations below.
Acceptance criteria as the evidence index
Every mission's acceptance criteria, set before execution begins, become the index against which evidence is checked. Evidence is not accepted just because it exists — it must map to a specific criterion.
Certification levels and their exact scope
Each level below verifies a different property. A structurally valid proof at one level does not imply factual correctness at another.
| Level | What it actually verifies |
|---|---|
| Structural check | The artifact exists and matches the expected shape (file present, schema valid). |
| Deterministic verification | Automated checks with a reproducible pass/fail outcome (tests, linters, type checks). |
| Independent verifier review | A separate verifier evaluates the outcome against acceptance criteria without reusing the same execution context. |
| Human acceptance | A person reviews the evidence bundle and explicitly accepts, rejects, or requests repair. |
Falsification, not just confirmation
Verifiers are expected to look for reasons an outcome should be rejected, not only reasons to accept it. A blocking finding halts acceptance and is reported with its reason rather than silently retried until it passes.
Current limitations and remediation state
The most recent internal audit identified evidence-integrity findings that limit what can be claimed today. These constraints are stated here rather than omitted.
- The gateway-finish execution path is being remediated to reject arbitrary non-failure JSON; end-to-end verified execution is not yet claimed as a universal property.
- Process authorization binding to exact argument vectors and child effects is in progress; complete process-effect authorization is not yet claimed.
- Local integrity checks are implemented; cross-party non-repudiation (proof a third party can independently verify without trusting Omnacta) is not yet available.
- No synthetic or illustrative trace is ever presented as captured proof.
Read the full evidence model
Trust: Evidence model covers verifier independence, event integrity, and the current audit trail in full.