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: VERIFIED

The evaluated tree is the tree that landed.

The VERIFIED evaluated-candidate evidence is bound to the landed tree shown below.

Evaluated merge-target treeb1ec95450a69
Actual landed treeb1ec95450a69

  1. 1Evaluated

    Bound

    Candidate ff6be1f9c318

    example/acme-service · PR #101

    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 when the merge event was recorded.

    At proof: Current

    Decision-time currentness is shown in details.

  4. 4Landed

    Observed

    Landing observed

    Commit 6bb4a8da2f46 · tree b1ec95450a69

    Squash or single-parent rebase

  5. 5Conclusion

    VERIFIED

    Landed tree matches the evaluated tree.

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

← View all example outcomesTRY IT ON A REAL PR
Evidence details and identifiers
Evaluated candidate
ff6be1f9c318 · tree b1ec95450a69
Evidence currentness
At proof: CURRENT · when merge event arrived: CURRENT · at merge decision: UNAVAILABLE
Landed content
Commit 6bb4a8da2f46 · tree b1ec95450a69 · squash-or-single-rebase
Authoritative relationship
VERIFIED · LANDED_TREE_EQUALS_PROVEN_TREE
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.