COUNTERPROOF
PROOF LAB / 001
interactive fixturesource ↗
01—

EVIDENCE REPLAY FOR AI-ASSISTED PULL REQUESTS

Green says it passes now.
Prove the exact claim.

CounterProof replays the same submitted evidence against pre-change code, then checks whether the PR changed the test or CI judge. It tells you what the evidence establishes — not whether the PR should merge.

PR PROOF LAB / SAME TEST · TWO WORLDS
PR HEAD PASS tests/test_tenant_scope.py
same changed test →
BASE CODE + PR TEST FAIL pre-change behavior reproduced
REGRESSION WITNESS WITNESSED proof integrity · CLEAN
EVIDENCE SCOPE SUBMITTED JUDGE product oracle · UNVERIFIED
A green test is a current-state fact. A regression witness is a before/after claim you can replay.
CP—001
INCIDENT

RECORDED FAILURE

Loading case…

CAUSE LENS

Pick the explanation worth testing. Confidence is not truth; it only sets the first probe.

—
WORLDLINE
recorded world
candidate world
select a cause
Choose a cause above to prepare a mutation.
02—

REALITY LAB / FIELD EVIDENCE

Real PRs changed the product.

CounterProof is not tuned only against fixtures. These public AI-assisted pull requests exposed proof boundaries, infrastructure false positives, and evidence-integrity gaps in the tool itself.

witnessed proof boundary review required inconclusive open probe
HAVE A PR YOU DON'T TRUST?

Drop the PR and the claim you do not trust. No CounterProof install required.

BRING A REAL PR →
03—

CAPABILITY TRUTH TABLE

What is real today,
and what is still a research target.