Evidence can be green
- ✓ Tests passed
- ✓ CI passed
- ✓ Static analysis passed
- ✓ Human review passed
Independent acceptance
Define done. Build with your agent or ours. FalseGreen decides if the exact change is accepted.
$2,999per Job
Buy a JobOne bounded consequential engineering scope. Production Beta.
Independent acceptance
Tests passed
The agent said done
FalseGreen: FAILED
The agent doesn’t get the final say.
Product demonstration
A coding agent says the work is done. Tests pass. FalseGreen checks the frozen definition before that exact revision earns acceptance.
Coding agent reports implementation complete after 47 passing tests. FalseGreen independently evaluates the frozen definition of done and returns Failed because a revoked refresh token can still mint a new session. The implementation is repaired and reverified against the unchanged boundary. FalseGreen returns Accepted for the exact revision, and FalseGreen PR Gate then accepts that same revision in CI.
When to buy
Authentication, billing, migrations, infrastructure, access control, and release-critical behavior.
If this change is commodity work, don’t buy a FalseGreen Job.
The acceptance gap
Tests and review produce evidence. They do not define what “done” means.
The acceptance platform
Software, formal, security, and UI evidence meet at one frozen boundary.
FalseGreen independently evaluates one consequential software change against the definition of done agreed before the result is judged.
Software verification
Formal verification
Existing workflow
Connect Codex or Claude Code. Run and track Jobs.
Connect an existing agent →Enforcement after acceptance
PR Gate checks that the accepted result belongs to the current PR head. A new commit needs its own result.
Explore PR Gate →How a Job works
A human defines the consequential outcome.
FalseGreen freezes the definition before judgment.
A human or agent implements the change.
FalseGreen checks the exact resulting source.
Accepted / Failed / Insufficient Evidence.
If repair is allowed, the builder repairs against the same frozen boundary. The target does not move.
Proof
FalseGreen found a production integrity problem after ordinary signals were green.
Read FalseGreen on FalseGreen →Formal evidence showed the frozen boundary was not established until repair and reverification.
2h 44m from frozen target to FalseGreen ACCEPT. Less than 30 minutes of estimated human attention.
Read Ada / SPARK →Qualification
Tell us the change. We can determine whether it belongs inside one bounded Job.
A consequential change with a definition of done and an independent result worth the price.
Commodity work, routine cleanup, or a request for another generic reviewer.
The offer
$2,999
One bounded consequential engineering scope under one frozen definition of done.
Job support
Language and framework support is scoped to the Job, including Lean formal proof evidence.
See Job language and framework support →Trust
If being wrong about it would cost substantially more than $2,999, it may be a FalseGreen Job.