by OHCAYGO
Merge-Proof
Prove whether a merge was validated against the state it actually landed on.
“CI was green” doesn’t always answer that — especially when AI agents write PRs fast and the base moves while the PR is open.
It means the available evidence doesn’t establish that the merged state was the validated state.
The question we measure
When an AI-authored (or agent-assisted) change merges, can you show evidence it was checked against the tree it actually merged into?
A clean Git merge is not that evidence.
What you get
- Clear verdicts: VERIFIED / NOT_PROVEN / FAIL (where applicable)
- Plain-English explanation of what the evidence shows — and what it doesn’t
- Evidence coverage (which controls we could establish)
- Recommendations: what to change — and when to do nothing
We optimize for decision clarity, not alarm volume.
Public sample
Methodology sample on a public repository (microsoft/kiota):
- 77 agent-trailer squash merges analyzed
- 75 VERIFIED · 2 NOT_PROVEN
- After analyst review: residual issues were low-signal / process context — default recommendation was essentially do nothing
Download sample assessment PDF
Microsoft is not a customer. This was a public methodology demonstration.
How a paid pilot works (today)
Not (yet) self-serve upload → pay → auto-email. Current delivery = guided assessment.
- You say yes and we agree scope (repos / recent merges).
- You grant access — or run collection yourself and share the JSON (preferred for private code).
- We run Merge-Proof analysis and human review of noteworthy hits.
- You receive a written report + short readout.
- Invoice on agreed terms (pilots often: deposit or full payment before final PDF).
Open-source engine: anyone can run the tool.
Paid OHCAYGO engagement: scoped analysis, interpretation, and a client-ready report.
Remote · scoped · written report
Typical pilot: a small number of repos / recent merges, agreed on a call.
What this is not
- Not a bug finder or security scanner
- Not “your code is unsafe” scoring
- Not a replacement for CodeRabbit / Graphite / merge queues — it asks a narrower evidence question those tools may not answer
About OHCAYGO
OHCAYGO builds tools so small and mid-size teams can operate with clearer evidence and better decisions — enhancing people, not replacing them.
Merge-Proof is one product in that family.