OHCAYGOMERGE PROOF

EXAMPLE PROOF · SYNTHETIC PUBLIC DATA

This demonstrates product behavior. It is not a customer result and is not evidence about a real repository.

MERGE TRUTH

Merge truth: NOT_PROVEN

Landing has not yet been observed.

Merge truth remains NOT_PROVEN. Landing has not yet been observed.

Evaluated merge-target treeb1ec95450a69
Actual landed treeUnavailable

  1. 1Evaluated

    Bound

    Candidate ff6be1f9c318

    example/acme-service · PR #103

    Head tree b1ec95450a69 · evaluated target tree b1ec95450a69

  2. 2Evidence

    Bound

    5 evidence claims

    Required check test · 1 current approval · Repository rules

    Approval authority established

  3. 3Currentness

    Current

    Current at the latest retained observation.

    At proof: Current

    No merge decision is bound to this receipt.

  4. 4Landed

    Not proven

    Not yet observed

    No landed commit and tree are bound yet.

    Merge path unavailable

  5. 5Conclusion

    NOT_PROVEN

    Landing has not yet been observed.

    Derived from the Merge Truth record above, not presentation state.

Why this is NOT_PROVEN—not an application error

MERGE PROOF ESTABLISHED

  • Candidate identity and evaluated tree
  • Bound evidence and approval authority
  • Currentness at the retained observation
  • Reconciled provider history through the proof point

COULD NOT ESTABLISH

  • A merge event bound to this receipt
  • The actual landed commit and tree
  • Whether evaluated and landed content correspond

Conclusion: NOT_PROVEN. Merge Proof refused to infer the missing landing fact.

← View all example outcomesTRY IT ON A REAL PR
Evidence details and identifiers
Evaluated candidate
ff6be1f9c318 · tree b1ec95450a69
Evidence currentness
At proof: CURRENT · latest retained observation: CURRENT · no merge decision is bound
Landed content
No merge event is bound to this receipt.
Authoritative relationship
NOT_PROVEN · LANDING_NOT_OBSERVED
Provider history
RECONCILED · PROVIDER_HISTORY_RECONCILED · through 2026-09-28T15:05:00.000Z

Bound claims

  • TARGET: evidence PROVEN · currentness CURRENT
  • CI_EXECUTED:test: evidence PROVEN · currentness CURRENT
  • APPROVAL_CURRENT: evidence PROVEN · currentness CURRENT
  • RULES_SNAPSHOT: evidence PROVEN · currentness CURRENT
  • REMOTE_DURABLE: evidence PROVEN · currentness CURRENT

Download Merge Truth JSON

Replay checks deterministic consistency of recorded evidence; it does not independently authenticate GitHub or establish present currentness.