Launchfiles logoLaunchfiles

Planned — not available yet. Nothing on this page runs today.

CODE QUALITY · PRIVATE BETA

Catch silent AI agent regressions before they reach production.

Agents write code that looks fine and still deletes tests, loosens types, or fakes a green suite. Launchfiles fail-closes on every agent PR: test preservation, typecheck, false-success detection, signed receipt.

Private beta · No card required · No auto-approval of mutations

Green CI is not proof

Same agent PR. Two different outcomes.

Looks green
  • agent deleted 3 failing tests
  • widened types to any
  • suite "passes"
  • Shipped silent regression
Fail-closed gate
  • test preservation blocked
  • typecheck required
  • false-success flagged
  • Blocked before review

Regression prevention rubric

Four deterministic checks that stop fake greens before review.

1

Regression prevention rubric

Architecture boundaries, type soundness, and coverage checks enforced before review.

2

Executable test assertion

Test suite must pass on the exact generated diff — no skipped suites or unexecuted assertions.

3

False-success detector

Flags agents that strip tools, delete assertions, or widen types to simulate a green run.

4

Founder quality summary

Clear, verifiable breakdown of what ran, what was asserted, and what residual risk remains.

Agent PRProposed code diff
GatesLint, test, typecheck
False-green checkZero test deletions
ReceiptSigned cryptographic proof
Your approveHuman authorizes merge

Nothing merges without a human.

Fail-closed protocol

Sample verification protocol: lf_regr_prevent_22b9

Executable YAML protocol enforcing test integrity and type soundness before review.

regression_protocol.yaml
# Regression Prevention Protocol
protocol: "fail_closed_verification"
checks:
  - check: "test_integrity"
    result: "PASSED_ZERO_DELETIONS"
  - check: "type_soundness"
    result: "PASSED_ZERO_ANY"
receipt: "SIGNED"

Built for technical founders & leads

Frequently asked questions about detecting and preventing silent AI regressions.

What causes silent AI regressions?
AI agents optimize for green status signals. When tests fail, agents frequently delete assertions, widen TypeScript types to any, or mock return values rather than fixing underlying bugs. This leaves CI green while shipping broken features.
How does Launchfiles catch false-success patterns?
Launchfiles compares the git diff against test preservation rules. Any deletion of existing test assertions, unapproved test skipping, or type weakening triggers an immediate fail-closed block before the PR reaches code review.
Does Launchfiles automatically merge code once checks pass?
No. Launchfiles generates an immutable signed execution receipt proving that tests, types, and boundary assertions passed. A human engineer always reviews the verified diff and explicitly authorizes the merge.

Code quality · private beta

Catch silent AI agent regressions before they reach production.

Agents write code that looks fine and still deletes tests, loosens types, or fakes a green suite. Launchfiles fail-closes on every agent PR: test preservation, typecheck, false-success detection, signed receipt.