Skip to content
Merged
Changes from all commits
Commits
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
6 changes: 3 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
# MachineOutcome - verify what actually happened before retrying

[**Browser lab for this release →**](https://samct86.github.io/machineoutcome-case-study/)
[**Try the live 30-second Outcome Verification Lab →**](https://samct86.github.io/machineoutcome-case-study/)

After the Pages deployment for this release completes, no install, account, credential or real external write is required. The browser lab uses the same bounded verifier exported by this repository and runs entirely on synthetic state.
No install, account, credential or real external write is required. The live browser lab uses the same bounded verifier exported by this repository and runs entirely on synthetic state.

[![verify-reference](https://github.com/SamCT86/machineoutcome-case-study/actions/workflows/verify-reference.yml/badge.svg)](https://github.com/SamCT86/machineoutcome-case-study/actions/workflows/verify-reference.yml)

Expand Down Expand Up @@ -40,7 +40,7 @@ Start with **2–3 sentences** describing what is slow, expensive or unreliable.

## Try it

**Fastest path after the Pages deployment completes:** open the [browser lab](https://samct86.github.io/machineoutcome-case-study/) and run **Timeout, but change happened**. Then switch to **No readback** and **Wrong-attempt evidence** to see the safe action change.
**Fastest path:** open the [live browser lab](https://samct86.github.io/machineoutcome-case-study/) and run **Timeout, but change happened**. Then switch to **No readback** and **Wrong-attempt evidence** to see the safe action change.

**Technical verification from a clean clone:**

Expand Down
Loading