Skip to content

The Evidence Contract Behind a Defensible AI Acceptance Decision

A passing test, a signature and a benchmark score are different evidence types. The evidence contract binds each to one artifact before it counts.

5 min readEvaluation and assurance

Research area 76: Evidence-carrying artifacts and acceptance-contract engineering

In brief

  • A single pass or fail badge hides which requirement actually failed.
  • The evidence contract binds each claim to an artifact, requirement, dependency slice and verifier.
  • The 2026 evidence supports the bindings, not a validated end to end system.

Evidence-carrying artifacts and acceptance-contract engineering replaces a single green checkmark with a specific, checkable claim: which exact artifact, tested against which exact requirement, under which assumptions, by which method. A passed test, a signed transformation and a model's own judgment are different kinds of evidence, and none proves what a blended pass or fail score implies. Leaders who fund one all-purpose verification step are buying a badge, not a defensible decision.

What it is

An evidence-carrying artifact is any object under review, source code, a binary, a model checkpoint, a configuration, a dataset, or a proposed action, paired with typed evidence bound to its exact identity, not its name or version label. A source hash is not a binary hash, so the build recipe and every dependency affecting the claim travels with the artifact.

Requirements are not all the same kind of thing: some are mechanically decidable, some formally provable only under stated assumptions, some behaviorally testable, some statistically estimated, some frankly subjective. A program that never checks whether the requirement itself was adequate is checking the wrong thing carefully.

Four principles hold the discipline together: name the exact artifact, never a mutable label such as latest. Classify every requirement by kind. Bind evidence to the artifact's digest, the requirement's version, its dependency slice, and the verifier that produced it. Never collapse a proof, a test result, a benchmark score, a signature and a model's opinion into one verified flag, since each rests on a different trusted base.

Why it matters now

Production systems increasingly generate the artifacts they will later be judged on, alongside the proofs used to accept them, and a checker that waves through something defective looks identical, from outside, to one that caught a real problem. A preliminary August 2026 study of a trusted large-language-model compiler framework ran its bounded checker with an unwind bound of 20, restricted matrix sizes and several checks turned off, and let its language model fallback override the verifier's own rejection. Across 30 PolyBench benchmark programs, the hybrid still did not reach perfect correctness.

A September 2026 study of a multi-day autonomous development harness found separate role prompts inside it do not demonstrate independent verification. Boards that assume an agent checking its own work equals independent review are underwriting a risk the evidence does not support.

The architecture

The clearest way to build this is what I call the evidence contract: every acceptance decision binds four things about evidence before it counts, and every mandatory requirement has to hold at once, not on average.

The animation opens on a single node showing an average score that looks like a pass, with no gate actually checked yet. A dot climbs four rungs, artifact, requirement, dependencies and verifier, the four bindings of the evidence contract, each lighting in turn as the claim binds to it. From the top rung two paths branch outward. One reaches a green node labeled Accepted, where every binding held and the mandatory gates cleared. The other reaches a red node labeled Unknown or expired, where one binding broke and the gate blocked acceptance regardless of the score. The diagram fades to an empty stage and repeats.
The evidence contract: four bindings before an AI artifact is accepted

The first binding is identity: the exact artifact digest, not a filename or release label. The second is the requirement: a specific, versioned claim, classified by kind, assumptions written down. The third is the dependency slice: everything the claim depends on, so a build flag, schema or evaluator changing can invalidate it even when the artifact's bytes have not moved. The fourth is the verifier: the method, tool version and environment that produced the result, and who had authority to run it. Only once all four hold does evidence count, and the decision requires every mandatory clause, typically security, authorization and correctness, to pass together. A weighted average must never let an excellent score offset a failed mandatory gate: a candidate scoring near perfectly on speed and style and zero on a required authorization check has failed.

Two failure modes recur: a hidden environment variable can let unrelated claims go stale together, and agreement between two reviewers is not independence, since two instances of the same model can share the same systematic mistake. A signed transformation record supports a lineage claim under a trusted issuer, never a claim that the transformation was correct.

How to lead it

Ownership belongs with a team structurally separate from whoever builds the artifact under review, since a verifier the producer can quietly override fails the contract's core requirement.

Fund a content-addressed manifest naming every artifact by digest, a requirement graph classified by kind, typed evidence bound to it, and a deterministic evaluator applying mandatory gates conjunctively rather than averaged. Measure how many requirements were verified, rejected with a reason, or returned unknown, alongside the re-verification rate after a dependency change, not one aggregate pass rate. Stop accepting a signature as proof of correctness, and stop letting the same model grade its own output as the only evidence behind an irreversible action.

Two decisions belong to the executive alone: where the line sits between a mandatory gate and a softer weighted judgment, and what the organization accepts when full reproducibility is not possible.

What it is worth

Money and risk show up in three places: engineering time chasing a high aggregate score instead of a sound mandatory gate, downstream cost when a hidden gate failure reaches production, and unnecessary re-verification spend when invalidation runs too conservatively. Measure the mandatory-gate false-accept rate on known-good and known-defective artifacts, and the re-verification cost per dependency change.

What the 2026 evidence supports is narrower than the usual pitch: bounded verification settings limit what a pass certifies, and a signed lineage record does not establish semantic truth. It does not yet support a validated, running version of the full evidence-contract architecture proposed here, which its own source material calls an original synthesis, not independently implemented or tested. Two of the five primary studies are graded preliminary or first-party only. No dollar figure or return percentage appears anywhere in the underlying evidence.

Questions leaders ask

What is an evidence-carrying artifact?
It is any object under review, source code, a binary, a model checkpoint, a configuration, a dataset or a proposed action, paired with typed evidence bound to its exact digest rather than its name. Each piece of evidence also carries the requirement it addresses, the dependencies it relied on, and the verifier that produced it, so a reviewer can see exactly what was checked and what was not.
Why can't we just average our AI system's test scores into one pass or fail number?
Because a high average can hide a failed mandatory requirement. A candidate that scores near perfectly on speed and style and zero on a required authorization check has failed, and a mean across those three numbers says nothing useful about whether it should ship. Security, authorization and correctness style requirements belong in a conjunctive gate that every one of them has to clear, never in a weighted average that lets strength in one area offset failure in another.
Does a cryptographic signature or an attested transformation record prove an AI-generated artifact is correct?
No. A 2026 study of signed transformation records for large-language-model APIs found that they support a defined lineage claim, meaning who produced a change and under what authority, when the issuer is trusted. They do not establish that the resulting artifact is semantically correct. Treat a signature as proof of who did something, never as proof that what they did was right.
If two AI reviewers agree an artifact is fine, is that independent verification?
Not automatically. A 2026 study of a multi-day autonomous development harness found that separate role prompts inside the same system do not, on their own, demonstrate independent verification, since two instances of the same underlying model can share the same systematic blind spot even when prompted differently. Independence has to come from a genuinely different implementation, a different measurement method, or a separately authored reviewer, and it should be stated which one is actually in use.
How much of this evidence-contract approach has actually been proven in production?
Less than the framework implies, and the underlying research says so directly. It describes the full architecture, binding, conjunctive gates and dependency-aware invalidation, as an original synthesis of five studies, not something independently implemented or validated. Two of those five studies are graded preliminary. The rules for adequacy testing and for exporting a reproducible evidence bundle are both marked partial rather than settled, and no return figure appears anywhere in the source evidence.

Want this thinking applied to your organization?