Compare
GitHub hosts review, analysis, checks, and merge controls. FalseGreen supplies the independent authority that decides whether a bounded Job earned acceptance.
Quick answer
GitHub is not one verification product: pull-request review records human decisions, CodeQL produces security alerts, status checks report configured automation, and rulesets can require those signals before merge. FalseGreen adds a different layer—the independent decision that one bounded Job satisfied human-defined requirements frozen before judgment.
Alternative or additional layer?
No. FalseGreen does not replace GitHub repositories, pull-request review, CodeQL, status checks, or rulesets. It adds a bounded acceptance authority whose result becomes another exact-source signal in that repository workflow through PR Gate.
What GitHub is good at
Where the overlap is
Both participate in deciding whether software may be trusted or merged. GitHub is the repository and enforcement environment; FalseGreen is the source-bound acceptance authority for a separately defined Job.
The architectural difference
GitHub enforces configured reviews, checks, scanning results, and repository rules. Those mechanisms do not define whether the requested engineering outcome is complete. FalseGreen freezes that outcome first and issues a bounded decision; PR Gate lets GitHub enforce that existing authority without manufacturing it.
Beyond scanner output
FalseGreen overlaps with GitHub wherever it produces code, review, or security evidence. Scanners answer a scoped question; FalseGreen combines that evidence with software behavior, formal obligations, rendered UI, exact source, and the definition of done frozen before judgment—then returns Accepted, Failed, or Insufficient Evidence.
Software
Verify the requested behavior and state.
Formal
Bind Lean proof evidence to exact obligations.
Security
Assess scoped security evidence without making a clean scan the whole verdict.
UI + source
Check rendered outcomes and exact-source identity.
Side by side
✓ means central and explicit. ◐ means partial or adjacent. — means not the product’s primary function.
| Capability | FalseGreen | GitHub |
|---|---|---|
| Primary purposeThe main problem the product is designed to solve. | Independent bounded acceptance | Repository review, analysis, and merge controls |
| Continuous PR or code reviewReviews changes continuously in the normal developer workflow. | ✓ Yes | ✓ Yes |
| Dedicated security or static analysisSpecialized analysis for code quality, vulnerabilities, or security findings. | — Not primary | ✓ Yes |
| Frozen human-defined definition of doneThe bounded acceptance target is established before implementation is judged. | ✓ Yes | ◐ Partial |
| Separate Job acceptance authorityA distinct authority decides whether the separately bounded Job is accepted. | ✓ Yes | — Not primary |
| Job or outcome-level acceptanceAnswers whether the requested bounded engineering outcome is complete. | ✓ Yes | — Not primary |
| Exact-source-bound acceptanceAcceptance belongs explicitly to the exact source state that earned it. | ✓ Yes | ◐ Partial |
| Explicit bounded resultReturns Accepted, Failed, or Insufficient Evidence for the bounded Job. | ✓ Yes | ◐ Partial |
| Exact-source enforcementCan enforce an issued decision against the current source state. | ✓ Yes | ✓ Yes |
FalseGreen PR Gate enforces existing exact-source acceptance for Job-backed pull requests; it does not perform verification. “Not primary” describes product scope, not an unsupported universal absence claim.
When to choose GitHub
Use GitHub’s native capabilities when you need repository hosting, pull-request collaboration, CodeQL alerts, required checks, and branch or ruleset enforcement.
When to use FalseGreen
Use FalseGreen when a particular consequential Job needs an independent acceptance decision that can eventually become one authoritative, exact-source signal in the repository workflow.
Better together
GitHub remains the repository, evidence surface, and merge-control environment. FalseGreen adds a bounded acceptance result; PR Gate enforces an existing result rather than perform verification itself.
The builder layer stays open
The coding-agent layer remains swappable. FalseGreen sits outside the builder, regardless of which supported agent or underlying model performs the implementation.
Official references
When “done” needs authority