From 5e6ecf3e1eeb2715f97eadf37ed5e7ae9a1b7193 Mon Sep 17 00:00:00 2001 From: hippo <135493401+hippoley@users.noreply.github.com> Date: Sat, 26 Sep 2026 10:28:30 +0800 Subject: [PATCH 1/5] fix: align Proof Lab evidence scope --- site/index.html | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/site/index.html b/site/index.html index 4571908..fd12f19 100644 --- a/site/index.html +++ b/site/index.html @@ -3,8 +3,8 @@ - - Counterproof · Proof Lab + + CounterProof · Proof Lab @@ -18,9 +18,9 @@
01—
-

PROOF-OF-FIX FOR AGENT PULL REQUESTS

-

Green says it passes now.
Prove it failed before the fix.

-

Counterproof replays the PR’s changed tests against pre-change code, then checks whether the same PR weakened the tests or CI that produced the evidence.

+

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.

@@ -52,9 +52,9 @@

Green says it passes now.
Prove it failed before the fix.

WITNESSED proof integrity · CLEAN
- UNIFIED PROOF - VERIFIED - proof ready · TRUE + EVIDENCE SCOPE + SUBMITTED JUDGE + product oracle · UNVERIFIED
@@ -234,7 +234,7 @@

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

From f2a03de0cf416601b37df79852c9574dd8c98b61 Mon Sep 17 00:00:00 2001 From: hippo <135493401+hippoley@users.noreply.github.com> Date: Sat, 26 Sep 2026 10:28:43 +0800 Subject: [PATCH 2/5] fix: align Proof Lab evidence scope --- site/app.js | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/site/app.js b/site/app.js index 4d334d6..697670e 100644 --- a/site/app.js +++ b/site/app.js @@ -20,11 +20,11 @@ const witnessScenarios = { baseNote: "pre-change behavior reproduced", verdict: "WITNESSED", integrity: "proof integrity · CLEAN", - proofStatus: "VERIFIED", - proofReady: "proof ready · TRUE", + proofStatus: "SUBMITTED JUDGE", + proofReady: "product oracle · UNVERIFIED", proofClass: "verified", explanation: "The changed test passes on the PR, fails on the old code, and the evidence surface is clean.", - takeaway: "The configured Counterproof evidence contract is satisfied." + takeaway: "The regression is witnessed under the submitted judge; broader product correctness remains unproven." }, "weak-test": { head: "PASS", @@ -34,7 +34,7 @@ const witnessScenarios = { verdict: "NOT WITNESSED", integrity: "proof integrity · CLEAN", proofStatus: "UNPROVEN", - proofReady: "proof ready · FALSE", + proofReady: "submitted judge · INSUFFICIENT", proofClass: "unproven", explanation: "Green on HEAD is not enough when the same test was already green on BASE.", takeaway: "The configured evidence does not prove the regression." @@ -47,10 +47,10 @@ const witnessScenarios = { verdict: "WITNESSED", integrity: "proof integrity · CI/TEST SURFACE CHANGED", proofStatus: "REVIEW REQUIRED", - proofReady: "proof ready · FALSE", + proofReady: "judge changed · REVIEW", proofClass: "review", explanation: "The regression witness exists, but the PR also changed how evidence is produced.", - takeaway: "The witness survives, but the unified proof is blocked until the judge is reviewed." + takeaway: "The witness survives, but changed evidence-producing machinery requires reviewer inspection before any broader claim." }, "suite-delta": { head: "PASS", @@ -60,7 +60,7 @@ const witnessScenarios = { verdict: "SUITE DELTA", integrity: "proof integrity · CLEAN", proofStatus: "SUITE DELTA", - proofReady: "proof ready · FALSE", + proofReady: "exact witness · UNPROVEN", proofClass: "suite", explanation: "The whole suite distinguishes HEAD from BASE, but the changed test was not isolated.", takeaway: "Useful evidence, but deliberately weaker than an exact Regression Witness." From b14f8e3f4e595d81669b019423d4efe234543dcb Mon Sep 17 00:00:00 2001 From: hippo <135493401+hippoley@users.noreply.github.com> Date: Sat, 26 Sep 2026 10:28:46 +0800 Subject: [PATCH 3/5] fix: align Proof Lab evidence scope --- site/standalone.html | 48 ++++++++++++++++++++++---------------------- 1 file changed, 24 insertions(+), 24 deletions(-) diff --git a/site/standalone.html b/site/standalone.html index d97fc2f..1303d44 100644 --- a/site/standalone.html +++ b/site/standalone.html @@ -3,8 +3,8 @@ - - Counterproof · Proof Lab + + CounterProof · Proof Lab