Skip to content

docs: point the README at the demo walkthrough #175

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
ion-alpha-dev merged 1 commit into from
Jun 29, 2026
Merged

docs: point the README at the demo walkthrough #175

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
4 changes: 3 additions & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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 <run>` 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
Expand Down
Loading