Skip to content

docs: route CounterProof visitors to live Proof Lab with honest proof boundaries #183

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hippoley merged 1 commit into from
Oct 8, 2026
Merged

docs: route CounterProof visitors to live Proof Lab with honest proof boundaries #183

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
22 changes: 16 additions & 6 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@
![No LLM](https://img.shields.io/badge/core%20PR%20proof-no%20LLM-111111.svg)
![No API key](https://img.shields.io/badge/API%20key-not%20required-111111.svg)

### [**▶ PLAY PROOF LAB**](https://raw.githack.com/hippoley/CounterProof/main/site/standalone.html) · [**? BRING A PR**](https://github.com/hippoley/CounterProof/issues/new?template=reality-probe.yml) · [**⚡ INSTALL**](#30-second-onboarding)
### [**▶ PLAY PROOF LAB**](https://hippoley.github.io/CounterProof/) · [**? BRING A PR**](https://github.com/hippoley/CounterProof/issues/new?template=reality-probe.yml) · [**⚡ INSTALL**](#30-second-onboarding)

[![Open CounterProof Proof Lab](assets/counterproof-hero.svg)](https://raw.githack.com/hippoley/CounterProof/main/site/standalone.html)
[![Open CounterProof Proof Lab](assets/counterproof-hero.svg)](https://hippoley.github.io/CounterProof/)

**One claim · exact candidates · explicit oracle · one auditable receipt.**

Expand All @@ -24,6 +24,16 @@

---

## Start here: inspect a proof, then challenge it

**[▶ Open the live, no-login Proof Lab](https://hippoley.github.io/CounterProof/)** · [Run it yourself](#30-second-onboarding) · [Bring a real PR](https://github.com/hippoley/CounterProof/issues/new?template=reality-probe.yml)

The public Proof Lab is an **interactive illustration backed by bundled fixtures**, not proof that CounterProof executed a live third-party repository in your browser. For independently checkable evidence, start with the [Bluefin source run](https://github.com/hippoley/CounterProof/actions/runs/37412091382), [machine receipt](examples/claim_matrix/receipts/bluefin-4539-flagship-causal.json), and [external evidence ledger](docs/EXTERNAL_EVIDENCE_LEDGER.md).

**The proof boundary matters:** a passing CI job, a convincing demo, a maintainer acknowledgement, and production adoption are four different claims. CounterProof does not treat them as interchangeable.

---

## Flagship proof: one intervention, same oracle, recovery after revert

CounterProof's clearest end-to-end causal case is a controlled replay of [ublue-os/bluefin#4539](https://github.com/ublue-os/bluefin/pull/4539).
Expand Down Expand Up @@ -135,7 +145,7 @@ into:

## See it before you install it

### **[Launch the interactive Proof Lab →](https://raw.githack.com/hippoley/CounterProof/main/site/standalone.html)**
### **[Launch the interactive Proof Lab →](https://hippoley.github.io/CounterProof/)**

The browser experience lets you play with different evidence situations instead of reading another architecture diagram.

Expand Down Expand Up @@ -163,7 +173,7 @@ The browser scenarios are fixtures. **Real evidence comes from the CLI / GitHub

---

[![CounterProof proof walkthrough](assets/proof-walkthrough.svg)](https://raw.githack.com/hippoley/CounterProof/main/site/standalone.html)
[![CounterProof proof walkthrough](assets/proof-walkthrough.svg)](https://hippoley.github.io/CounterProof/)

> **Click the walkthrough to open the live Proof Lab.**

Expand Down Expand Up @@ -697,7 +707,7 @@ http://127.0.0.1:8765

Or just use the public version:

### **[Open Live Proof Lab →](https://raw.githack.com/hippoley/CounterProof/main/site/standalone.html)**
### **[Open Live Proof Lab →](https://hippoley.github.io/CounterProof/)**

---

Expand Down Expand Up @@ -939,6 +949,6 @@ Apache-2.0.

*Claim nothing you can't replay.*

### **[▶ Open the Live Proof Lab](https://raw.githack.com/hippoley/CounterProof/main/site/standalone.html)**
### **[▶ Open the Live Proof Lab](https://hippoley.github.io/CounterProof/)**

</div>
Loading