MissingProof

Worked Examples: AI Claims Verified Against Their Sources

Eight cases from our development benchmark — each with claim, sources, verdict, failure locus, and the exact missing evidence. Including the trap case a good verifier must NOT flag.

These examples come from the labeled benchmark used to develop and test MissingProof's verification architecture. Every case is small enough to check by hand — which is the point: you can confirm each verdict yourself, then consider what happens at a hundred answers a day.

1. Causal fabrication

AI claim: "Revenue increased 15% in Q3 because of iPhone sales."

Sources provided:

Verdict: ⚠️ Unsupported · Failure locus: BRIDGE

Facts ~100% — both statements are quoted from source. Reasoning ~0% — no passage states the causal link, and strong segment performance plus rising revenue does not entail causation.

The missing proof: A source statement attributing the Q3 increase to iPhone sales — e.g. a product revenue attribution breakdown.

2. Adjacency laundered into causation

AI claim: "The rebranding campaign drove the doubling of website traffic."

Sources provided:

Verdict: ⚠️ Unsupported · Failure locus: BRIDGE

Both facts fully supported. The causal relation rests entirely on the two events sharing a month — which establishes nothing.

The missing proof: Analytics attribution data or a statement linking the campaign to the traffic change.

3. Attribution escalation

AI claim: "The working group concluded that remote work increases productivity."

Sources provided:

Verdict: ⚠️ Unsupported · Failure locus: BRIDGE

The discussion is supported; the conclusion is fabricated — and 'mixed findings' actively undercuts it.

The missing proof: A source recording the group actually reaching that conclusion.

4. Precision inflation

AI claim: "Exactly 103 users signed up during the beta."

Sources provided:

Verdict: ⚠️ Unsupported · Failure locus: PREMISE

The source establishes an approximate figure. '103' asserts precision the source never contained — the specific number has no generator in the evidence.

The missing proof: A registration record or report containing the exact count.

5. Certainty inflation

AI claim: "The new policy will definitely reduce operational costs by next year."

Sources provided:

Verdict: ⚠️ Unsupported · Failure locus: BRIDGE

The source's claim includes its hedge — 'may, pending the pilot.' Restating it as certainty asserts a different, stronger claim no source makes.

The missing proof: A source making the definitive commitment — e.g. post-pilot confirmation.

6. Unsupported synthesis across chunks

AI claim: "Product B caused the company's revenue increase."

Sources provided:

Verdict: ⚠️ Unsupported · Failure locus: BRIDGE

Three true facts, retrieved perfectly. Their synthesis into causation is the fabrication — B's share and B's growth do not establish B as the driver.

The missing proof: A statement attributing the company-level increase to Product B specifically.

7. Contradiction — unfixable by evidence

AI claim: "Revenue grew in Q3."

Sources provided:

Verdict: ⛔ Contradicted · Failure locus: CONTRADICTION

The source states the opposite. No additional evidence can repair this claim — the claim itself must change. MissingProof marks these separately from missing-evidence gaps because the remediation is entirely different.

8. The trap case — supported causation

AI claim: "Revenue increased in Q3 because of strong iPhone sales."

Sources provided:

Verdict: ✅ Supported · Failure locus: —

Facts supported AND reasoning supported — the causal relation is explicitly stated in the source. A verifier must pass this case; flagging every causal claim would make the tool useless. The difference between this and case 1 is exactly one source sentence.

What the set demonstrates

Seven of eight failures here would score as "faithful" under answer-level similarity, because each is constructed from genuinely supported source text. The fabrications live in relations, precision, and certainty — properties visible only when facts and reasoning are verified separately. And case 8 shows the other half of the job: a causal claim that is supported must pass, which is why MissingProof scores whether the relation is stated or entailed rather than pattern-matching on causal language.

Run any of these yourself — or your own case — free