Demo runbook โ the two-act loop, click by click
Doubles as the 5-minute video script. BOTH acts run today, with an autonomous
agent, a seeded mirage, and real ed25519 signatures throughout.
Setup (three terminals + the site)
.venv/Scripts/python -m uvicorn gatehouse_verify.app:app --port 8000 --app-dir services/verify
pnpm --dir apps/supervisor dev # :5173 supervisor dashboard (two authority tabs)
pnpm --dir apps/agent-client dev # :5174 the agent โ autonomous mode ON by default
pnpm site # :1337 the site (optional backdrop)
Record :5173 as primary; cut to :5174 for the agent's beats. reset demo
(top right) restarts everything clean.
Act I โ the gate (~3 min)
| # | Do (on :5173, Authority Alpha) | Say / show |
|---|---|---|
| 0 | Click cold open: spoofed identity | Red refusal + gate.identity_refused on the rail. "An identity that does not verify is refused before assessment โ on the record." |
| 1 | On :5174, VERA (autonomous) approaches by itself โ watch it appear in Alpha's queue. Click its queue card | The queue is the theme: agents wait at the gate, each with its own mini-rail. Identity card: real did:key, real ed25519 binding. |
| 2 | Preset sovereign 0.9 โ run assessment | The witness-draw cards DEAL themselves (staggered animation), seeded from the agent's own bytes. "It could not know which six while it wrote." |
| 3 | Linger on the instrument | The tetrahedron stands at det 0.95; the gauge fills past the fly threshold (drawn from the same config as the law on the right); the lattice vertex pulses at stratum 6. |
| 4 | Click set the understanding challenge โ then CUT TO :5174 | The agent's log: "I am askedโฆ I answer in my own words." Its answer arrives on the dashboard by itself; anchors light; pass โฅ 0.6. "The rubric never left the supervisor's side โ the keyhole endpoint enforces it." (For the mimicry beat: paste the prompt itself as a transcript โ score 0.) |
| 5 | Type an approval rationale โ approve โ issue the credential | Two gates close; the VRC card: "two REAL ed25519 signatures over the same canonical bytes โ unforgeable alone." Manifest: VALIDATED โ fly. |
| 6 | Admit MIRAGE (queue) โ preset the mirage profile โ assess โ challenge (it answers plausibly, passes) โ approve โ issue | The tetrahedron SINKS (det 0.095, sandbox band); verdict MIRAGE โ sandbox: no credential, scope caged to sandbox.*. "It talks well. The instruments are not listening to the talk." |
| 7 | Rail: tamper demo | One byte flipped client-side; the chain breaks red in the supervisor's OWN browser; h(ฯ) drops. Restore. |
Act II โ the pool (~90 sec)
| # | Do | Say / show |
|---|---|---|
| 1 | On Alpha (VERA selected, flying): assemble attestation bundle | The bundle shows minimisation live: 17 incidents โ >=10; timestamps โ 2026-Q3; vectors โ cardinality 3; IOCs โ one digest. R = 0.096 < 1. The three face parameters read aloud: against whom, how long, combinable with what. |
| 2 | transmit to Authority Beta โ switch to the Beta tab | Beta's inbox: โ accepted โ verified from the bytes plus ONE public status lookup. "Nothing disclosed outside scope; Beta never saw an incident." |
| 3 | Back on Alpha: type a revocation rationale โ revoke | The REVOKED stamp; relying-party strip โโโ; cut to :5174 โ "I no longer verify anywhere." |
| 4 | On Beta: re-verify inbox | The bundle flips to โ refused โ carrier credential is revoked. "Revocation propagates: the pool heals itself." On Beta's rail: pool.bundle_refused with the propagation rationale. |
Troubleshooting
- Nothing loads โ uvicorn isn't on :8000 (both Vite proxies target it).
- The agent doesn't act โ check :5174's autonomous toggle is ON and the
right authority is selected; it polls every 1.5 s. - 409 on issue โ a gate is genuinely unpassed; the refusal is on the rail.
- State stale โ both apps poll (~1.2 s); refresh is always safe, the
server holds all state.
Assets
Source: docs/demo-runbook.md
upstream: github.com/mitchuski/kyra_gatehouse ยท the repo is the source of truth; this page is a projection that records its origin ยท author: Mitchell Travers ยท (โ๏ธโฅโฟปโฅ๐ง)๐
โ Welcome Visitors