From 8d7be6bdaea8e868ef088244b60b6e61de6dfb13 Mon Sep 17 00:00:00 2001 From: Ion Alpha Date: Mon, 29 Jun 2026 18:28:48 +0000 Subject: [PATCH] docs: point the README at the demo walkthrough The `demo/` directory has a runnable proof walkthrough, but nothing in the README links to it. Add a one-line pointer from the verifiable-execution entry so a reader can find it. --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index b0ef959..73ad741 100644 --- a/README.md +++ b/README.md @@ -235,7 +235,9 @@ Flynn is built to be handed real authority over untrusted input and real tools. an independent party can confirm what the agent did, and that the record was not altered, without trusting the host. `flynn spine verify ` checks a run from the durable store alone, and the record follows the open [Provetrail](https://github.com/ionalpha/provetrail) - format so any conformant verifier can check it. + format so any conformant verifier can check it. The [`demo/`](demo/) directory is a + runnable walkthrough: a signed but ungoverned or unproven record is rejected, a real + one verifies. The [threat model](docs/THREAT_MODEL.md) sets out the trust boundaries and which defense covers each class of attack, marking what is enforced today versus planned. To report a