What's verified today. Verified today: commits, pull requests and CI results on GitHub.
The “done” that wasn't
The agent said“Pushed the fix to main.”
The destination heldThe commit exists on a local branch that was never pushed.
The agent said“Opened a PR for review.”
The destination heldThe push failed on auth; there is no pull request.
The agent said“All tests pass.”
The destination heldThe check run on that commit concluded failure.
What QED Proof reads
- The branch's own commit list, for the SHA the agent named.
- The pull request itself, and whether it is really open.
- The check runs on that exact commit, and their conclusions.
github.commit.pushgithub.pr.opengithub.checks.pass
Never the agent's own log, trace or report. If the check can't run — no permission, a timeout, an unsupported action — the verdict is Couldn't check, never Verified.
Send your first claim in a few minutes.