Security

Trust is part of the acceptance boundary.

FalseGreen is built to reduce what you have to trust.

Human intent is frozen outside the builder loop. The coding agent can produce software and evidence, but it cannot mint FalseGreen acceptance. Results stay bound to the exact source that earned them.

Separate intelligence, evidence, and authority

Human intent → frozen boundary
↓ builder implements
Software + builder evidence
↓ independent verification
Exact source-bound result
↓ enforce when required
Coming-soon PR Gate → CI / merge

Trusting the acceptance system

The builder can change the software. It cannot move the finish line.

The human-readable requirement remains authoritative. FalseGreen freezes the definition of done before the implementation is judged, so the coding agent cannot silently redefine success after seeing the result.

Builder

Capability without final authority.

Coding agents can write code, run tests, review their work, and produce evidence. Those are powerful builder-side controls. They do not automatically constitute FalseGreen acceptance.

The builder can produce evidence. The builder cannot mint acceptance.

Acceptance authority

The target stays outside the builder loop.

FalseGreen independently evaluates the finished result against the frozen requirements. Failed assumptions can drive repair, but the builder does not get to weaken the target to make the work pass.

Scoped execution

Arbitrary capability does not imply arbitrary authority.

Customer code and toolchains are treated as untrusted inputs.

Engineering agents may need compilers, test runners, formal provers, infrastructure tools, and other powerful commands. FalseGreen constrains that work around the applicable Task, workspace, source identity, and authority boundary.

No single sandbox is treated as the entire security boundary.

Conceptual authority envelope

  • Task
  • Workspace / source identity
  • Allowed tools and network policy
  • Scoped credentials and writable paths
  • Lifetime
  • Evidence / provenance

Exact-source authority

An ACCEPT is not a floating green badge.

Acceptance belongs to the exact source state that earned it. A changed PR head does not inherit an earlier ACCEPT, and organization authentication does not become organization-wide acceptance authority.

Tasks, Jobs, frozen requirements, source identities, and reports stay scoped to the applicable work. One Job or report cannot stand in for a different repository, workspace, Task, or source state.

head A

FalseGreen ACCEPTED

↓ exact source matches

PR Gate will report ACCEPTED

new commit → head B

head A ACCEPT does not match

PR Gate will report BLOCKED

Fail-closed enforcement

Ambiguity is not acceptance.

When PR Gate is enabled and FalseGreen acceptance is required, it is designed to block if it cannot safely establish authority for the applicable source. A different revision, invalid or revoked Gate credential, ambiguous source identity, or integrity or service failure will not silently become green.

PR Gate is designed to report ACCEPTED, NOT REQUIRED, or BLOCKED according to the repository’s authority state. Enabling Gate will not make every pull request a FalseGreen Job.

A narrow credential

Gate will check authority. It will not create it.

PR Gate will be separate from MCP and will use a dedicated, read-only, organization-scoped credential. It will not create or consume Jobs, change contracts, run verification, manufacture reports, or mint ACCEPT.

Inspectable evidence

Do not take the verdict on faith.

A FalseGreen report makes a bounded claim inspectable: what was verified, against which source, what evidence supports the result, and what was not established.

  • 01the exact source state
  • 02the frozen criteria
  • 03the verification outcome
  • 04the evidence supporting the result
  • 05the limits of what was established

Trusting FalseGreen with your organization

Your content remains yours.

Customers retain ownership of content submitted to FalseGreen. The public Terms grant FalseGreen only the limited rights needed to host, process, transmit, and use that content to provide, secure, maintain, troubleshoot, and improve the Services.

Submitted content

You retain ownership.

FalseGreen receives a limited license to handle submitted content as necessary for the Services and as described in the Privacy Policy.

Data minimization

Submit only what is needed.

The Privacy Policy tells customers not to submit secrets, credentials, or personal information that is not necessary for a verification request.

Safeguards and rights

Security without an absolute promise.

FalseGreen uses commercially reasonable safeguards, but no transmission or storage method is completely secure. Privacy rights may include access, correction, deletion, or a copy of personal information, depending on where you live.

Read the current terms and privacy policy. Found a security issue or have a security-review question?Contact us.

Explicit limits

What FalseGreen does not claim.

  • Not universal correctness. FalseGreen does not guarantee bug-free software. ACCEPT means the frozen criteria were satisfied for the accepted source state.
  • Not a replacement for engineering controls. Tests, CI, security scanners, code review, and engineering judgment remain part of responsible software delivery.
  • Not authority for different source. An ACCEPT for one revision is not authority for another revision.
  • Not universal formal proof. Formal verification applies only to the explicit properties, assumptions, models, and boundaries stated in the result.
  • Not verification inside Gate. When enabled, PR Gate will enforce existing FalseGreen authority; it will not itself perform verification.

Read the boundary

Inspect the claim. Keep authority scoped.