diff --git a/README.md b/README.md index 52f66c2..49bd187 100644 --- a/README.md +++ b/README.md @@ -47,7 +47,7 @@ Most tools confirm that your tests pass. PromiseProof answers the one question a ## See the proof -Two states of the hosted verifier. Same evaluator, no model in the verdict path, nothing uploaded. +Three states, no setup: the verifier passes, breaks under a tamper, and the same authority gates your CI. Same evaluator, no model in the verdict path, nothing uploaded.
PromiseProof verifier returning PASS with five passing clauses @@ -63,14 +63,15 @@ Two states of the hosted verifier. Same evaluator, no model in the verdict path, Change one load-bearing observation and the same evaluator flips to BROKEN_PROMISE with PP_IDENTIFIABLE_EVENT_LEAK, while the report you sealed a moment ago no longer reproduces (STALE_OR_MISMATCH). A PASS cannot be carried onto changed evidence.
-The first two beats, the broken promise and the bounded investigation, play in order in the [five-stage walkthrough](https://promiseproof.alex0paiva0.workers.dev/walkthrough/). +
+ +
+ Terminal running the PromiseProof gate: a kept promise exits 0, a broken promise exits 2 +
+ The same deterministic authority in your terminal and CI: a kept promise exits 0, a broken one exits 2 and fails the build. +
- +The full lifecycle, from broken promise to proof, plays in order in the [five-stage walkthrough](https://promiseproof.alex0paiva0.workers.dev/walkthrough/). ## The problem diff --git a/docs/screenshots/03-unchanged-verifier.png b/docs/screenshots/03-unchanged-verifier.png index 649294e..b44dc8f 100644 Binary files a/docs/screenshots/03-unchanged-verifier.png and b/docs/screenshots/03-unchanged-verifier.png differ diff --git a/docs/screenshots/04-challenge-and-ci.png b/docs/screenshots/04-challenge-and-ci.png index 2104f38..f60ffff 100644 Binary files a/docs/screenshots/04-challenge-and-ci.png and b/docs/screenshots/04-challenge-and-ci.png differ diff --git a/docs/screenshots/05-cli-gate.png b/docs/screenshots/05-cli-gate.png new file mode 100644 index 0000000..60f189c Binary files /dev/null and b/docs/screenshots/05-cli-gate.png differ