@decidio/sdk 0.4.4 → 0.6.0

package/CHANGELOG.md

@@ -4,6 +4,77 @@ Release notes for the client SDK. The Python package `decidio` ships the same ch
 version (the two are conformance-locked twins). Each entry names what changed, what a reader must do
 on upgrade, and what proved it.
 
+## 0.6.0 — `quickstart --demo`: the whole tour on your machine, no account
+
+An uninvited developer could not run the tour at all: a workspace needs an invite (no open signup, by ruling). A
+hosted sandbox was designed, red-teamed by the privacy council (BLOCK as written; eight design-level highs) and then
+costed against the alternatives: the cheapest, least-maintenance path for a stranger's first two minutes is a LOCAL
+demo with a hosted page for the phone moment. Founder ruling 2026-09-05.
+
+- **`npx @decidio/sdk quickstart --demo`** runs the SAME tour code against an in-process stand-in of the Decidio API
+  on 127.0.0.1 (`demo-gate.ts`, shipped in this package): register, mint, gate, route, approve or reject, execute
+  once, and a REAL Ed25519 receipt signed by a key generated for the run — verifiable offline with the shipped
+  verifier, and provably NOT the hosted issuer's (pinning it to the hosted DID fails). Nothing hosted, no account, no
+  workspace: the tour runs in a temporary folder and leaves exactly one file behind, the receipt (never over an
+  existing one). Its content says `recordSeries: local-demo`.
+- **The web and phone doors still work.** The stand-in asks a hosted RELAY (`POST /demo/relay`) for a code, a link to
+  the demo decision page (`app.decidioai.com/demo/<code>`) and a QR; the page shows the product's decision surface for
+  the tour's fixed scenario and writes one word — approve or reject — which the stand-in reads while the tour waits.
+  The relay holds no account, no record and no personal data; a code lives ten minutes, takes one verdict, and every
+  failure answers with one shape. Offline (relay unreachable) the tour is terminal-only and says so.
+- **Honesty is asserted, not hoped:** the frames say LOCAL DEMO; ④ says the issuer is a key this demo generated and
+  where real tours pin theirs; the smoke plants the forbidden phrases ("PINNED to your workspace issuer", "hosted
+  synthetic sandbox", "your trust anchor") and asserts the directory diff is the receipt alone; a decision made on the
+  page reaches the terminal with no keystroke. The sign-in dead end now offers `--demo`.
+- **On a phone the demo IS the phone app's screen.** A phone that opens the demo link (the QR, or the link on a phone)
+  lands on the phone build's own decision screen — the same Detail the installed app renders, with Approve and Reject
+  where they always are — not the desktop panel squeezed into a phone viewport (founder UAT round 2). It holds no
+  session and says LOCAL DEMO in one line; the decided moment says the terminal seals. Host-side only: nothing in this
+  package changed for it.
+- **The demo leaves your sign-in alone.** `quickstart --demo` never signs in, so its cleanup no longer ends a stored
+  sign-in that happens to be on the computer (it did, in the founder's UAT; the smoke now plants one and asserts it
+  survives, silently).
+- TypeScript CLI first — `npx @decidio/sdk quickstart` is where an uninvited developer arrives; the Python twin gains
+  `--demo` when asked for (the version bump is in lockstep).
+
+## 0.5.0 — `verify` pins by default
+
+**Breaking, on purpose (founder ruling 2026-09-04, after the prodsec review of 0.4.3).** Every CLI verify door - `npx
+@decidio/sdk verify`, the standalone `decidio-verify`, `python -m decidio verify` and `python -m decidio.verify` -
+now REFUSES to run without `--issuer <did:key>` (exit 2, with the remedy printed). An unpinned VALID only proves the
+file agrees with itself: the reviewer forged a self-signed "wire all funds" receipt and the exit code said yes. Scripts
+trust exit status, not warnings, so the safe check is now the default and the structural check is a named choice:
+`--allow-unpinned` runs it, and its verdict carries the UNPINNED warning as before. `--allow-unpinned` together with
+`--issuer` is refused as ambiguous, like a disagreeing repeated pin.
+
+- **What to change:** add `--issuer <your workspace DID>` to any scripted verify (the `receipt` command prints the
+  DID; the app's record-verify panel shows it), or `--allow-unpinned` where you genuinely want structure only.
+- **Unchanged:** the LIBRARY (`verifyReceipt(vc)` / `verify_receipt(vc)`) still verifies unpinned when no issuer is
+  passed - a caller reads `issuer` in the result and decides; the CLIs are what scripts trust blindly.
+- Vectors in all three suites: the refusal (exit 2, names `--issuer` and `--allow-unpinned`), the named unpinned run
+  reaching a verdict, both flags refused together. The usage pages, both READMEs and the `receipt` command's hint
+  say the new rule; the live selftest names its one unpinned run.
+- **The sealed payload names two fields for what they are (schemaVersion 2).** `deciders` → `nominatedDeciders` (the
+  people nominated IN ADVANCE; the ratifier is who decided, so `nominated deciders: 0, ratified: yes` reads as it
+  should) and, inside `authority`, `appliedLimits` → `evaluatedLimits` (what the request was measured against - the
+  requested amount, the auto-approve threshold, the hard cap - not limits that "applied"). New records carry the v2
+  `payloadSchemaUri`; the canonicalization (`jcs-v1`) is unchanged, so verification is untouched. Both verifiers print
+  `nominated deciders: N` and read the v1 names too (every record sealed before 0.5.0 is lab test data). Founder
+  ruling 2026-09-04: rename now, while no customer record carries the old names.
+- **From the 0.4.4 first-run audit (B+), the small items** (founder: go): quickstart checks connectivity BEFORE its
+  first disk write (a dead host leaves the directory untouched and says "Nothing was written"); `tokens list --mine`
+  after cleanup reads this directory's agents from the token recovery journal; `receipt` prints resolved identities
+  only on a terminal (a pipe or a log gets a one-line note; `--json` hands them over explicitly); the ④ frame says the
+  issuer DID was first seen over this connection and where to cross-check it (`<api>/api/did`, public, no sign-in);
+  the help page and README say what cleanup leaves behind; the README no longer calls the lab ONE SHARED workspace
+  (every invited tester has their own), explains the in-memory quota counter, lists `receipt --json` and `dev --port`,
+  and calls the journal append-only by behaviour, not by enforcement. Vectors: the dead-host tour, `--mine` from the
+  journal, the receipt in a pipe vs on a terminal.
+- Two Lows from the prodsec retest of 0.4.4: `quickstart cleanup` with nothing to clean still ENDS the stored sign-in
+  (the early "Nothing to clean up here" return skipped it, contradicting the documented promise; vector in both
+  suites), and the resume module's comments say `lost_race` / `already_resolved` where the runtime does (they still
+  said `unknown`); `onResolved` is documented as firing for every outcome except `unknown`.
+
 ## 0.4.4 — the small findings of the 0.4.3 prodsec run: frames at 80 columns, a local install upgrades in place, a key-less .env survives the tour
 
 An external prodsec reviewer ran 0.4.3 from a stranger's install (2026-09-04; grade B, "trust in the core mechanics

package/README.md

@@ -9,7 +9,8 @@ is the two-minute tour, the sign-in and the token admin around it. Install, wrap
 ## The two-minute tour
 
 ```bash
-npx @decidio/sdk quickstart
+npx @decidio/sdk quickstart          # against your workspace (you need an invite - request one below)
+npx @decidio/sdk quickstart --demo   # no invite yet? the same tour on this machine, against a local stand-in of the API
 ```
 
 One command, guided: it registers a fresh agent (key generated locally), gates a demo action
@@ -29,17 +30,18 @@ prints the approve command and exits rather than approve its own request (CI can
 
 ## Quickstart — seven steps to your first sealed receipt
 
-Under 30 minutes, no help needed. You'll need Node 20.6+ and a terminal.
+Under 30 minutes for all seven steps (the tour itself is two minutes), no help needed. You'll need Node 20.6+ and a terminal.
 
 **You'll need a Decidio workspace.** → Request one at [decidioai.com](https://decidioai.com/#early-access)
 
-The hosted sandbox is synthetic data, safe to experiment in. Note it is ONE SHARED workspace:
-workspace-wide views like `tokens list` or `approvals` show every lab member's agents and
-decisions — the shared-lab boundary working as designed. Production workspaces are per-tenant.
+The hosted sandbox is synthetic data, safe to experiment in. Every invited tester gets their OWN
+workspace: workspace-wide views like `tokens list` or `approvals` show every agent and decision in
+your workspace — yours alone unless you invite others into it. Production workspaces are per-tenant too.
 
 Lab workspaces have a **governed-action allowance** (currently 30 actions/hour); hitting it raises
 a typed `DecidioRateLimitError` naming the limit and reset time — nothing is routed or executed —
-and `tokens list` shows your remaining allowance any time.
+and `tokens list` shows your remaining allowance any time. The counter is in memory, per API instance: a
+deploy resets it, so `30/30` right after a governed action means the API restarted, not that the action was free.
 
 **PowerShell users** — the equivalents for every Bash idiom used below:
 
@@ -66,7 +68,7 @@ npx @decidio/sdk init --unique my-agent   # --unique appends a random suffix: co
 > Just ran `npx @decidio/sdk quickstart` in this directory and kept its agent? Its `.env` already
 > works — skip this step and continue at step 3.
 
-Every CLI command talks to the hosted sandbox by default and announces its target host on
+Every network command talks to the hosted sandbox by default (`verify` is offline) and announces its target host on
 stderr each run — set `DECIDIO_API_URL` (env or `.env`) to point at another Decidio instead.
 
 `init` signs you into your workspace (email + password, or paste the sign-in link from your
@@ -152,9 +154,10 @@ npx @decidio/sdk verify --issuer <did:key:...> decidio-receipt-<decisionId>.json
 ```
 
 Lead with the pin: `--issuer` binds the check to YOUR workspace's DID (the `receipt` command
-prints it from the authenticated response, so it is already on your screen). An UNPINNED
-`verify` proves internal consistency only — any keyholder could have issued such a file — and
-says so; pinned verification proves *who*. The download is an authenticated fetch from your
+prints it from the authenticated response, so it is already on your screen). Since 0.5.0 the
+CLI refuses to run without it: an UNPINNED check proves internal consistency only — any keyholder
+could have issued such a file — so it is a named choice (`--allow-unpinned`), and its verdict says
+so; pinned verification proves *who*. The download is an authenticated fetch from your
 workspace; the *verification* is fully offline — the verifier ships inside this package (no second download, no registry probe, same
 implementation as the standalone `@decidio/verify`). The receipt is a W3C Verifiable
 Credential: signature and content binding verify with no Decidio account and no network — the
@@ -523,14 +526,14 @@ ever wanted it is an offline job with every writer stopped.
 The cryptography is only half the evidence. These are the fields that an outside reader has
 actually misread on a first run, and what each one means.
 
-**`ratified: yes` next to `deciders: 0` is not a contradiction.** `deciders` is the list of people
+**`ratified: yes` next to `nominated deciders: 0` is not a contradiction.** `nominatedDeciders` is the list of people
 nominated **in advance** to decide. When an agent's request is *routed* rather than pre-assigned,
 that list is empty — nobody was nominated, because the request had not happened yet. The person who
 actually decided is the **ratifier** (`ratifiedBy`). So a receipt for a human-approved action reads
-`deciders: 0, ratified: yes`, and the human is recorded, in the field named for the role they
+`nominated deciders: 0, ratified: yes`, and the human is recorded, in the field named for the role they
 played. The verifier prints this explanation whenever the pair appears.
 
-**`appliedLimits` is what the request was MEASURED AGAINST, not a rule that fired.** It holds up to
+**`evaluatedLimits` is what the request was MEASURED AGAINST, not a rule that fired.** (Receipts sealed before 0.5.0 spell these two `deciders` and `appliedLimits` - schemaVersion 1; the verifier reads both.) It holds up to
 three entries, and only those that have a value: `requested_amount` (the amount actually asked for),
 `auto_approve_threshold` and `hard_cap` (the ceilings on the agent's own token). So a decision routed
 to a human because *no rule matched* can still list an `auto_approve_threshold` — that is the bar the
@@ -551,14 +554,14 @@ the roadmap; today the URN is an identifier only, and this note exists so it doe
 
 **`prevHash` proves a pointer, not an ancestry.** A non-null `prevHash` shows this record was
 sealed after a specific predecessor, but a single-file verification cannot check that predecessor
-exists or is what it claims. Verify a chain (`verify a.json b.json c.json`) when the sequence
+exists or is what it claims. Verify a chain (`verify --issuer <did> a.json b.json c.json`) when the sequence
 matters.
 
 **Pinning is trust-on-first-use.** The first time you fetch a receipt, the record *and* the issuer
 DID arrive in the same authenticated response — so that first check trusts the connection, not the
 key. What pinning buys is everything afterwards: record the DID once, out of band if you can, and
 every later verification is checked against a key you chose rather than one you were handed. The
-verifier says so on every unpinned run.
+verifier refuses an unpinned run unless you ask for one (`--allow-unpinned`), and marks that verdict.
 
 ## Upgrading from 0.2.x to 0.3.0
 
@@ -638,21 +641,23 @@ that fits every other confirm error.
 
 - `quickstart` — the guided two-minute tour (gate → approve → execute → proof)
   - `--auto-approve-demo` approves the tour's own synthetic decision so it can run headless; it
-    then CLEANS UP the tour agent and token automatically. Pass `--keep-agent` to keep them.
+    then revokes the tour token and deletes its local credentials automatically (the inert
+    registration row and the permanent sealed record stay). Pass `--keep-agent` to keep them.
   - An interactive run keeps the agent by default and offers cleanup at the end;
     `quickstart cleanup` works later too.
 - `init [agentId] [--unique] [--force] [--expires-days N]` — sign in, register, mint the agent token, write `.env` (+ `.gitignore` entries). Refuses to overwrite a *different* agent's key in this directory; `--force` backs the old `.env` up first.
 - `doctor` — config, connectivity, and what your current token can do
 - `approvals [--mine] [--json]` / `approvals approve|reject <id> [reason]` — the human side, from your terminal (the list is workspace-wide; `--mine` narrows it to this directory's agent)
-- `receipt <id>` — download a sealed decision's Authority Receipt to a `.json` file
+- `receipt <id> [--json]` — download a sealed decision's Authority Receipt to a `.json` file (`--json`: stdout is the JSON result only; the identities your access covers print only on a terminal, or in the JSON)
 - `verify [--issuer <did>] <file>...` — verify receipts offline (the canonical verifier; the standalone `@decidio/verify` package is the same implementation, for auditors who want zero Decidio dependency — the sdk depends on the verifier released alongside it, at the same version). Unknown flags are refused, never ignored. Fully offline AND fully decoupled: it touches no network and reads no `.env` — a receipt verifies identically from an empty directory.
 - `tokens list [--mine]` / `tokens revoke <jti>` — see and kill agent tokens (values are never re-shown; the jti is the revocation handle). Each row carries its status — `active`, `expired`, or `REVOKED <date>` — so the list confirms the revocations it performs; re-revoking is an honest no-op (exit 1). The list is workspace-wide (a shared workspace shows every member's agents); `--mine` narrows to this directory's agent
 - `quickstart cleanup` — revoke the tour's token and delete its local credentials. What stays, honestly: sealed records (permanent by design) and the agent's registration row (inert without key or token; server-side deregistration is on the roadmap) Also ends the stored sign-in.
 - **Update check.** Network commands ask the public npm registry once a day whether a newer version exists; if so, an interactive run asks `Upgrade now? [y/n]` first (`y` upgrades the way you installed - `npm i @decidio/sdk@latest` in the project for a local install, `-g` for a global one, and under `npx` it prints the `@latest` form - then re-runs your command once; `n` exits), a headless run prints the notice and continues (`DECIDIO_REQUIRE_LATEST=1` makes it exit). `DECIDIO_NO_UPDATE_CHECK=1` skips it. Nothing is sent to Decidio; `verify` never checks.
-- **The token recovery journal** (`.decidio-token-journal`, owner-only, gitignored; ids and timestamps, never a token value). One JSON row per event: `minted` (a token was issued, written BEFORE its credential file), `retired how=persisted` (the credential file now holds it - the token is live and that file is its handle; not revoked), `retired how=revoked` (revoked server-side), `probe` (a durability check). `doctor` names rows still outstanding; `quickstart cleanup` sweeps them.
+- **The token recovery journal** (`.decidio-token-journal`, owner-only, gitignored; ids and timestamps, never a token value; append-only by the CLI's behaviour — not OS-enforced or tamper-evident). One JSON row per event: `minted` (a token was issued, written BEFORE its credential file), `retired how=persisted` (the credential file now holds it - the token is live and that file is its handle; not revoked), `retired how=revoked` (revoked server-side), `probe` (a durability check). `doctor` names rows still outstanding; `quickstart cleanup` sweeps them.
+- `quickstart --demo` — the same tour with no account: an in-process stand-in of the API on 127.0.0.1 (shipped in this package) answers every door, a key generated for the run signs a real receipt (its content says `local-demo`; pinning it to the hosted issuer fails), and the web/phone door is a hosted demo decision page reached through a one-word relay (no account, no record, ten minutes). Your folder gains exactly one file, the receipt. Offline, the tour is terminal-only and says so.
 - `quickstart --phone web` — the QR at the human step opens the phone web rendering even when the Decidio app is installed (by default it opens the app when there is one).
 - `login [email]` / `logout` — sign in ONCE (the CLI emails you a link; you paste it) and forget that sign-in on this computer (the session token itself stays valid until it expires (up to 30 days) — there is no server-side revocation yet). The session is stored in your user profile, owner-only, bound to the terminal window that created it, for 30 days; `DECIDIO_SESSION_TOKEN` in the environment outranks it (headless shells).
-- `dev [--target URL]` — local relay for the resume webhook (operator setups)
+- `dev [--target URL] [--port N]` — local relay for the resume webhook (operator setups)
 
 The CLI's stream contract: **stdout carries results only** (safe to pipe — `--json` output is
 pure JSON); errors, usage shown on *error* paths, and the per-run target-host announcement go
@@ -706,7 +711,7 @@ the next reader grades a promise, not a moving target:
 - **The issuer DID is trust on first use.** The tour and `receipt` print your workspace's issuer DID
   from the same authenticated response that carries the receipt. Pinned verification is only as strong
   as where you keep that DID: record it through a channel you trust independently (your app's
-  record-verify panel today; a published well-known location is on the roadmap).
+  record-verify panel, and published in the open by the Decidio host you use at `<api>/api/did` — for the hosted sandbox https://decidio-api.onrender.com/api/did).
 - **Verification is cryptographic, not schema validation.** `VALID` means the issuer's key signed these
   canonical claims; the sealed-payload schema the receipt names by hash is not shipped, so a
   structurally odd but correctly signed document is not refused on shape. Shipping the schema is on

package/dist/cli.js

@@ -1,7 +1,7 @@
 #!/usr/bin/env node
-import { readFileSync, writeFileSync, existsSync, appendFileSync, chmodSync, rmSync, openSync, writeSync, fsyncSync, closeSync, renameSync, mkdirSync } from "node:fs";
+import { readFileSync, writeFileSync, existsSync, appendFileSync, chmodSync, rmSync, openSync, writeSync, fsyncSync, closeSync, renameSync, mkdirSync, mkdtempSync, readdirSync, copyFileSync } from "node:fs";
 import { randomBytes } from "node:crypto";
-import { homedir } from "node:os";
+import { homedir, tmpdir } from "node:os";
 import { join as joinPath, resolve as resolvePath, sep as pathSep } from "node:path";
 import { createServer } from "node:http";
 import { execFileSync, spawnSync } from "node:child_process";
@@ -12,7 +12,8 @@ import { createRequire } from "node:module";
 import { generateKeypair, assertSafeTransport, redactUrl } from "./signing.js";
 import { hardenFile } from "./resume.js";
 import { withApproval, DecidioRateLimitError, DecidioRejectedError, DecidioTimeoutError, didFromPrivateKey } from "./index.js";
-import { verifyReceipt, runVerify } from "@decidio/verify";
+import { verifyReceipt, runVerify, pinRequiredMessage } from "@decidio/verify";
+import { startDemoGate } from "./demo-gate.js";
 const VERSION = (() => {
     try {
         return createRequire(import.meta.url)("../package.json").version;
@@ -65,7 +66,13 @@ if (!OFFLINE_CMD)
         if (process.env[k] === undefined)
             process.env[k] = v;
     }
-const API = (process.env.DECIDIO_API_URL ?? "https://decidio-api.onrender.com").replace(/\/$/, "");
+let API = (process.env.DECIDIO_API_URL ?? "https://decidio-api.onrender.com").replace(/\/$/, "");
+let DEMO = false;
+function enterDemo(url) { API = url; process.env.DECIDIO_API_URL = url; DEMO = true; }
+const pinWords = () => (DEMO ? "PINNED to this demo's own key" : "PINNED to your workspace issuer");
+const issuerNote = () => (DEMO
+    ? "· a key this demo generated for this run — real tours pin the host's published DID at https://decidio-api.onrender.com/api/did"
+    : `· your trust anchor — first seen over this signed-in connection; cross-check ${API}/api/did, then verify --issuer <did> <receipt.json>`);
 const TOKEN = () => process.env.DECIDIO_API_TOKEN;
 const ENV_PATH = ".env";
 const log = (...a) => console.log(...a);
@@ -399,6 +406,8 @@ function recordKindOf(credential) {
     }
 }
 function sessionReminder() {
+    if (DEMO)
+        return;
     log(`  ⚠ agent code launched from THIS terminal inherits your sign-in — run logout first (it forgets the sign-in here; the token itself stays valid until it expires); if you`);
     log(`    exported DECIDIO_SESSION_TOKEN, unset it ${dim("(bash/zsh: unset DECIDIO_SESSION_TOKEN · PowerShell: Remove-Item Env:DECIDIO_SESSION_TOKEN)")}`);
 }
@@ -564,6 +573,7 @@ async function loginFlow(purpose, emailArg) {
     }
     log(`  ✔ sign-in email requested for ${email} — check your inbox and spam; paste the link (or its login= code; single-use, 15 minutes)`);
     log(dim(`    invite-only lab: a link arrives only for an invited address — not invited yet? request access: decidioai.com/#early-access`));
+    log(dim(`    or see the whole story on this machine right now, no account: npx @decidio/sdk quickstart --demo`));
     const pasted = await ask("  link or code: ");
     if (!pasted) {
         log("  ✘ nothing pasted — re-run when you have the email.");
@@ -1040,7 +1050,10 @@ async function cmdReceipt(id, jsonMode = false) {
     }
     if (conf?.status)
         log(`  Sealed credential: the authority decision (its confirmation field reads "pending" forever — immutable). Current record evidence tier: ${conf.status}${conf.confirmed ? " (confirmed)" : ""}.`);
-    if (resolved && Object.keys(resolved).length) {
+    if (resolved && Object.keys(resolved).length && !process.stdout.isTTY) {
+        log(`  ${Object.keys(resolved).length} identity field(s) your access covers are shown only on a terminal (this is a pipe or a log) — use --json to receive them explicitly.`);
+    }
+    else if (resolved && Object.keys(resolved).length) {
         log(`  Resolved for you (${Object.keys(resolved).length} field${Object.keys(resolved).length === 1 ? "" : "s"} your access covers — the FILE keeps the tokens, so it stays verifiable and safe to hand on):`);
         for (const [tok, val] of Object.entries(resolved))
             log(`    ${tok}  →  ${val}`);
@@ -1051,11 +1064,12 @@ async function cmdReceipt(id, jsonMode = false) {
         log(``);
         log(`${issuer}`);
         log(``);
+        log(`  Cross-check it out of band — the same DID is published by this Decidio host at ${API}/api/did (public, no sign-in).`);
         log(`  Then verify, pinned to it (the same DID, inline — copy from the line above, not this one,`);
         log(`  which your terminal may wrap):`);
         log(`    npx @decidio/sdk verify --issuer ${issuer} ${name}`);
-        log(`  Without --issuer the verifier proves the receipt is internally consistent, but NOT who`);
-        log(`  issued it; it says so in its output.`);
+        log(`  The verifier refuses to run without --issuer: a pin is what makes VALID mean "issued by your`);
+        log(`  workspace"; --allow-unpinned runs a structural check only, and says so.`);
     }
     else {
         log(`  To also prove WHO issued it, pin your workspace's issuer DID (shown in your app's record verify panel):`);
@@ -1065,6 +1079,7 @@ async function cmdReceipt(id, jsonMode = false) {
 }
 function cmdVerify(argsIn) {
     let expectedIssuer;
+    let allowUnpinned = false;
     const files = [];
     for (let i = 0; i < argsIn.length; i++) {
         const a = argsIn[i];
@@ -1072,6 +1087,10 @@ function cmdVerify(argsIn) {
             files.push(...argsIn.slice(i + 1));
             break;
         }
+        if (a === "--allow-unpinned") {
+            allowUnpinned = true;
+            continue;
+        }
         if (a === "--issuer") {
             const v = argsIn[i + 1];
             if (v === undefined || v === "" || v.startsWith("-")) {
@@ -1102,10 +1121,18 @@ function cmdVerify(argsIn) {
         }
     }
     if (!files.length) {
-        err("usage: npx @decidio/sdk verify [--issuer <did:key>] <receipt.json> [more.json ...]");
+        err("usage: npx @decidio/sdk verify --issuer <did:key> <receipt.json> [more.json ...]   (or --allow-unpinned)");
         err("  Verifies Authority Receipts OFFLINE — signature, content binding, and (for several files) chain order.");
         return 2;
     }
+    if (expectedIssuer !== undefined && allowUnpinned) {
+        err("✘ --allow-unpinned and --issuer together — an unpinned check and a pinned one are different questions; ask one.");
+        return 2;
+    }
+    if (expectedIssuer === undefined && !allowUnpinned) {
+        err(pinRequiredMessage("npx @decidio/sdk verify"));
+        return 2;
+    }
     const texts = new Map();
     for (const f of files) {
         try {
@@ -1129,6 +1156,38 @@ function valuedOpt(args, flag) {
     return eq ? eq.slice(flag.length + 1) : undefined;
 }
 async function cmdQuickstart(opts = {}) {
+    if (!opts.demo)
+        return cmdQuickstartInner(opts);
+    const relayBase = SHELL_ENV.DECIDIO_DEMO_RELAY_URL === undefined ? "https://decidio-api.onrender.com" : (SHELL_ENV.DECIDIO_DEMO_RELAY_URL || null);
+    const gate = await startDemoGate({ relayBase });
+    enterDemo(gate.url);
+    const origin = process.cwd();
+    const work = mkdtempSync(joinPath(tmpdir(), "decidio-demo-"));
+    process.chdir(work);
+    try {
+        return await cmdQuickstartInner(opts);
+    }
+    finally {
+        process.chdir(origin);
+        for (const f of readdirSync(work)) {
+            if (!/^decidio-receipt-.*\.json$/.test(f))
+                continue;
+            let target = joinPath(origin, f);
+            if (existsSync(target))
+                target = joinPath(origin, f.replace(/\.json$/, `.${Date.now()}.json`));
+            try {
+                copyFileSync(joinPath(work, f), target);
+                log(`  receipt kept here: ${target.slice(origin.length + 1)}   ${dim("(the demo's agent, token and files lived in a temporary folder, now removed)")}`);
+            }
+            catch (e) {
+                err(`  ⚠ could not copy the receipt into this folder (${e?.message ?? e}) — it is at ${joinPath(work, f)}`);
+            }
+        }
+        rmSync(work, { recursive: true, force: true });
+        await gate.close();
+    }
+}
+async function cmdQuickstartInner(opts = {}) {
     const t0 = Date.now();
     EXPLAIN = !!opts.explain;
     if (opts.phone !== undefined && opts.phone !== "app" && opts.phone !== "web") {
@@ -1136,7 +1195,10 @@ async function cmdQuickstart(opts = {}) {
         return 2;
     }
     log(bold("Decidio quickstart") + " — gate an action, route it to a human, execute on approval, hold the proof.");
-    log(`  Target: ${API}${process.env.DECIDIO_API_URL ? "" : dim("  (the hosted synthetic sandbox — set DECIDIO_API_URL to use your own)")}`);
+    if (DEMO)
+        log(`  Target: LOCAL DEMO — an in-process stand-in for the Decidio API on this machine (${API}); nothing hosted, nothing kept`);
+    else
+        log(`  Target: ${API}${process.env.DECIDIO_API_URL ? "" : dim("  (the hosted synthetic sandbox — set DECIDIO_API_URL to use your own)")}`);
     hostAnnounced = true;
     if (EXPLAIN) {
         log("  This tour will: register one synthetic agent · mint a 7-DAY floor-limited token ·");
@@ -1146,19 +1208,29 @@ async function cmdQuickstart(opts = {}) {
         log("  · create one synthetic decision and its sealed record (records are permanent by design) · wait up to");
         log("  5 minutes for your y (approve) or n (reject) at the human step. Cleanup offer at the end.");
     }
+    else if (DEMO) {
+        log(dim("  Creates here: the receipt only (decidio-receipt-<id>.json). The demo's agent, token and working files live in a temporary"));
+        log(dim("  folder that is removed at the end; the web/phone door is a hosted demo page — nothing signs in, no record exists anywhere else."));
+    }
     else {
         log(dim("  Creates here: a synthetic agent + 7-day token (.env), .decidio-token-journal (revocation ids, no secrets), .gitignore entries incl."));
         log(dim("  .decidio-pending/ (the durable store), the receipt as decidio-receipt-<id>.json, one sealed record (permanent). --explain for the long form."));
     }
     log("");
-    const session = await acquireSession("The quickstart");
+    const session = DEMO ? "demo-session" : await acquireSession("The quickstart");
     if (!session)
         return 1;
     const prior = readEnvFile();
     const envFile = ["DECIDIO_AGENT_KEY", "DECIDIO_AGENT_ID", "DECIDIO_AGENT_DID", "DECIDIO_API_TOKEN"].some((k) => (prior[k] ?? "").trim()) ? ".env.quickstart" : ENV_PATH;
     if (!assertNotTracked(envFile))
         return 1;
-    ensureGitignore();
+    const reach = await api("/api/health", {}, "", true);
+    if (!(reach.status >= 200 && reach.status < 300)) {
+        err(`✘ cannot reach ${API}${reach.status ? ` (HTTP ${reach.status})` : " (no response)"} — check the network (or DECIDIO_API_URL) and re-run. Nothing was written.`);
+        return 1;
+    }
+    if (!DEMO)
+        ensureGitignore();
     let agentId = `quickstart-${randomBytes(5).toString("hex")}`;
     if (EXPLAIN)
         log(`  Registering agent "${agentId}"…`);
@@ -1282,7 +1354,7 @@ async function cmdQuickstart(opts = {}) {
     block("①", "Register a synthetic agent", [
         `${bold("agent")}    ${agentId}`,
         `${bold("key")}      generated locally · only the public half was registered`,
-        `${bold("token")}    7-day, floor-limited${mint.body.expiresAt ? ` · expires ${String(mint.body.expiresAt).slice(0, 10)}` : ""} · written to ${envFile}`,
+        `${bold("token")}    ${DEMO ? "demo token (one hour, this machine only)" : "7-day, floor-limited"}${mint.body.expiresAt ? ` · expires ${String(mint.body.expiresAt).slice(0, 10)}` : ""} · written to ${envFile}`,
     ]);
     if (EXPLAIN) {
         log(`  The tour runs exactly this, the BLOCKING primitive (your real agent uses guard.protect instead:`);
@@ -1342,10 +1414,12 @@ async function cmdQuickstart(opts = {}) {
         const plainLink = `${APP_URL}/queue?focus=${encodeURIComponent(decisionId)}`;
         const rows = [
             `${bold("here")}         Type y to approve or n to reject, then Enter   ${dim("(waits up to 5 minutes)")}`,
-            `${bold("web app")}      ${link(doorLink ?? plainLink)}   ${dim(doorLink ? "(one-time sign-in · 5 minutes)" : "(sign in there if it asks)")}`,
+            DEMO
+                ? (doorLink ? `${bold("web page")}     ${link(doorLink)}   ${dim("(the demo decision page · nothing signs in)")}` : `${bold("web page")}     ${dim("the web and phone doors need the internet — the demo relay was unreachable, so this run is terminal-only")}`)
+                : `${bold("web app")}      ${link(doorLink ?? plainLink)}   ${dim(doorLink ? "(one-time sign-in · 5 minutes)" : "(sign in there if it asks)")}`,
         ];
         if (qr) {
-            rows.push(`${bold("your phone")}   scan — the same one-time sign-in${opts.phone === "web" ? ", in the phone browser (--phone web)" : ": the Decidio app if it is installed, the browser if not"}`);
+            rows.push(DEMO ? `${bold("your phone")}   scan — the same demo decision page, in your phone's browser` : `${bold("your phone")}   scan — the same one-time sign-in${opts.phone === "web" ? ", in the phone browser (--phone web)" : ": the Decidio app if it is installed, the browser if not"}`);
             for (const l of qr.split("\n"))
                 if (l.trim().length)
                     rows.push("             " + l);
@@ -1469,17 +1543,17 @@ async function cmdQuickstart(opts = {}) {
                     return failTour(1);
                 const issuer = rec.body?.issuer;
                 const v = verifyReceipt(rec.body.credential, issuer);
-                const kindLine = `${v.valid ? "✔ VALID" : "✘ INVALID"} — ${fname} (signature + content binding, offline${issuer ? ", PINNED to your workspace issuer" : ""}) · record kind: ${recordKindOf(rec.body.credential) ?? "?"}`;
+                const kindLine = `${v.valid ? "✔ VALID" : "✘ INVALID"} — ${fname} (signature + content binding, offline${issuer ? ", " + pinWords() : ""}) · record kind: ${recordKindOf(rec.body.credential) ?? "?"}`;
                 if (!v.valid || !issuer) {
                     log(`  ${kindLine}`);
                     err(`  ✘ the denial's receipt did not verify PINNED (${!issuer ? "no issuer DID from the server" : v.reason ?? "no reason given"}) — the tour did not complete.`);
                     return failTour(1);
                 }
                 block("④", "The record", [
-                    `✔ VALID — ${fname} ${dim("(signature + content binding, offline, PINNED to your workspace issuer)")}`,
+                    `✔ VALID — ${fname} ${dim(`(signature + content binding, offline, ${pinWords()})`)}`,
                     `${bold("decision")} payInvoice $86,000 · REJECTED · routed to a human by policy (no auto-approve rule for this agent)`,
                     `${bold("record")}   record kind: ${recordKindOf(rec.body.credential) ?? "?"} ${dim("— the denial is sealed too")}`,
-                    `${bold("issuer")}   ${issuer} ${dim("· your trust anchor: verify --issuer <did> <receipt.json>")}`,
+                    `${bold("issuer")}   ${issuer} ${dim(issuerNote())}`,
                 ], "bad");
                 denialVerified = true;
             }
@@ -1507,7 +1581,8 @@ async function cmdQuickstart(opts = {}) {
         }
         log("");
         sessionReminder();
-        log(`${bold("Where next")}  your queue ${link(APP_URL)} · README "Production mode: durable async resume" ${dim("· built by OmniTwin — decidioai.com/#early-access")}`);
+        if (!DEMO)
+            log(`${bold("Where next")}  your queue ${link(APP_URL)} · README "Production mode: durable async resume" ${dim("· built by OmniTwin — decidioai.com/#early-access")}`);
     }
     else {
         const ap = decidedOutside ? { status: 200, body: { alreadyResolved: true } } : await api(`/api/decisions/${encodeURIComponent(decisionId)}/approve`, { method: "POST", body: JSON.stringify({ reason: opts.autoApproveDemo && !interactive ? "quickstart --auto-approve-demo (automated)" : "quickstart" }) }, session);
@@ -1543,7 +1618,7 @@ async function cmdQuickstart(opts = {}) {
             return failTour(1);
         const issuer = rec.body?.issuer;
         const v = verifyReceipt(rec.body.credential, issuer);
-        const kindLine = `${v.valid ? "✔ VALID" : "✘ INVALID"} — ${fname} (signature + content binding, offline${issuer ? ", PINNED to your workspace issuer" : ""}) · record kind: ${recordKindOf(rec.body.credential) ?? "?"}`;
+        const kindLine = `${v.valid ? "✔ VALID" : "✘ INVALID"} — ${fname} (signature + content binding, offline${issuer ? ", " + pinWords() : ""}) · record kind: ${recordKindOf(rec.body.credential) ?? "?"}`;
         if (!v.valid || !issuer)
             log(`  ${kindLine}`);
         if (!v.valid) {
@@ -1561,33 +1636,44 @@ async function cmdQuickstart(opts = {}) {
         const detail = await api(`/api/records/${encodeURIComponent(decisionId)}`, {}, session);
         const tier = detail.body?.record?.confirmation?.status;
         block("④", "The receipt", [
-            `✔ VALID — ${fname} ${dim("(signature + content binding, offline, PINNED to your workspace issuer)")}`,
+            `✔ VALID — ${fname} ${dim(`(signature + content binding, offline, ${pinWords()})`)}`,
             `${bold("decision")} payInvoice $86,000 · APPROVED · routed to a human by policy (no auto-approve rule for this agent)`,
             `${bold("record")}   record kind: ${recordKindOf(rec.body.credential) ?? "?"}${tier ? ` · evidence: ${tier}` : ""} ${dim("— the receipt seals the DECISION; execution evidence lives on the record")}`,
-            `${bold("issuer")}   ${issuer} ${dim("· your trust anchor: verify --issuer <did> <receipt.json>")}`,
+            `${bold("issuer")}   ${issuer} ${dim(issuerNote())}`,
         ], "good");
         const secs = Math.round((Date.now() - t0) / 1000);
         block("✔", `Done in ${secs}s`, [
             `${bold("gated")}        payInvoice $86,000 — ROUTED to a human as ${decisionId}`,
             `${bold("decided")}      ${decidedOutside ? "approved in the web app (or on your phone)" : opts.autoApproveDemo ? "approved by --auto-approve-demo (automated, and labeled so on the record)" : "approved by you, here"}`,
             `${bold("executed")}     your function ran once, AFTER approval`,
-            `${bold("receipt")}      VALID — verified offline, pinned to your workspace issuer (④ above)`,
+            `${bold("receipt")}      VALID — verified offline, pinned to ${DEMO ? "this demo's own key" : "your workspace issuer"} (④ above)`,
             dim("gated → routed to a human → approved → executed once → a receipt you can verify offline"),
         ], "good");
         log("");
-        log(bold("Take it to your real agent — the .env here already works:"));
-        log(`  import { guard } from "@decidio/sdk";`);
-        log(`  const doIt = guard.protect(doItRaw, (a) => ({ action: "yourAction", amount: a.amount, scope: "YourScope" }));${dim("   // durable by default")}`);
-        log("");
-        if (EXPLAIN) {
-            log(`  The README's seven-step flow is this same blocking flow in your own code; if you keep this agent, its .env`);
-            log(`  already works here, so skip that flow's init step. Production is DURABLE mode (default) + one worker.`);
+        if (DEMO) {
+            log(bold("That was the mechanism — on this machine, against a stand-in. The product runs it against your workspace:"));
+            log(`  request access: decidioai.com/#early-access · have an invite? npx @decidio/sdk login, then npx @decidio/sdk quickstart`);
+            log("");
+        }
+        else {
+            log(bold("Take it to your real agent — the .env here already works:"));
+            log(`  import { guard } from "@decidio/sdk";`);
+            log(`  const doIt = guard.protect(doItRaw, (a) => ({ action: "yourAction", amount: a.amount, scope: "YourScope" }));${dim("   // durable by default")}`);
+            log("");
+            if (EXPLAIN) {
+                log(`  The README's seven-step flow is this same blocking flow in your own code; if you keep this agent, its .env`);
+                log(`  already works here, so skip that flow's init step. Production is DURABLE mode (default) + one worker.`);
+            }
         }
         sessionReminder();
-        log(`${bold("Where next")}  your queue ${link(APP_URL)} · README "Production mode: durable async resume" ${dim("· built by OmniTwin — decidioai.com/#early-access")}`);
+        if (!DEMO)
+            log(`${bold("Where next")}  your queue ${link(APP_URL)} · README "Production mode: durable async resume" ${dim("· built by OmniTwin — decidioai.com/#early-access")}`);
     }
     let doCleanup = false;
-    if (interactive) {
+    if (DEMO) {
+        doCleanup = true;
+    }
+    else if (interactive) {
         const answer = await ask(`\nKeep this agent for development? [Enter = keep · c + Enter = clean up now]: `);
         doCleanup = answer.trim().toLowerCase() === "c";
         if (!doCleanup)
@@ -1735,7 +1821,7 @@ async function quickstartCleanup(session, envFile) {
         });
         if (kept.length === 0) {
             rmSync(envFile);
-            log(`  ✔ ${envFile} deleted (the agent's local key is gone — the registered agent is now inert)`);
+            log(`  ✔ ${envFile} deleted (the agent's local key is gone — ${DEMO ? "the temporary folder follows" : "the registered agent is now inert"})`);
         }
         else {
             writeSecretFile(envFile, kept.join("\n") + "\n");
@@ -1751,9 +1837,13 @@ async function quickstartCleanup(session, envFile) {
             log(`      npx @decidio/sdk approvals reject ${c.id} "quickstart cleanup"`);
         }
     }
-    log(`  • What remains, by design: the sealed decision record (records are permanent — that is the product)`);
-    log(`    and the agent's registration row (inert without key or token; server-side deregistration is on the roadmap).`);
-    if (existsSync(JOURNAL_PATH))
+    if (DEMO)
+        log(`  • nothing remains: the demo's stand-in agent, token and files go with the temporary folder — only the receipt is kept`);
+    else {
+        log(`  • What remains, by design: the sealed decision record (records are permanent — that is the product)`);
+        log(`    and the agent's registration row (inert without key or token; server-side deregistration is on the roadmap).`);
+    }
+    if (!DEMO && existsSync(JOURNAL_PATH))
         log(`  • Also kept: ${JOURNAL_PATH} — the ids and timestamps of what this directory minted and revoked (no secrets). Gitignored; owner-only where the OS supports it.`);
     if (existsSync(".decidio-pending")) {
         log(`  • Also kept: .decidio-pending/ — this agent's own execution ledger: whatever this agent parked (call arguments,`);
@@ -1761,6 +1851,8 @@ async function quickstartCleanup(session, envFile) {
         log(`    pending and you do not want the history, remove it:`);
         log(`      ${process.platform === "win32" ? "Remove-Item -Recurse .decidio-pending" : "rm -r .decidio-pending"}`);
     }
+    if (DEMO)
+        return 0;
     if (endSession())
         log(`  ✔ signed out — the stored sign-in is removed from this computer (the token itself stays valid until it expires; npx @decidio/sdk login to sign in again).`);
     else if (process.env.DECIDIO_SESSION_TOKEN)
@@ -1778,7 +1870,16 @@ async function cmdTokens(sub, jti, mineOnly = false) {
         err("usage: npx @decidio/sdk tokens revoke <jti>   (find the jti with: npx @decidio/sdk tokens list)");
         return 2;
     }
-    if (mineOnly && !process.env.DECIDIO_AGENT_ID) {
+    const journalAgents = (() => {
+        try {
+            return [...new Set(journalRows().map((row) => row?.agentId).filter((a) => typeof a === "string" && a.length > 0))];
+        }
+        catch {
+            return [];
+        }
+    })();
+    const myAgents = process.env.DECIDIO_AGENT_ID ? [process.env.DECIDIO_AGENT_ID] : journalAgents;
+    if (mineOnly && !myAgents.length) {
         err(`✘ --mine needs an agent identity, and there is no DECIDIO_AGENT_ID in this directory's .env or your environment.`);
         err(`  Run this from your agent's directory (where init wrote .env), or drop --mine for the workspace-wide list.`);
         return 2;
@@ -1818,8 +1919,8 @@ async function cmdTokens(sub, jti, mineOnly = false) {
         return 1;
     }
     const all = r.body?.tokens ?? r.body ?? [];
-    const myAgent = process.env.DECIDIO_AGENT_ID;
-    const tokens = mineOnly ? all.filter((t) => t.agentId === myAgent) : all;
+    const myAgent = process.env.DECIDIO_AGENT_ID || (journalAgents.length ? `${journalAgents.join(", ")} (from the token recovery journal)` : undefined);
+    const tokens = mineOnly ? all.filter((t) => myAgents.includes(t.agentId)) : all;
     if (!Array.isArray(tokens) || !tokens.length) {
         log(mineOnly ? `No agent tokens for "${myAgent}"${all.length ? ` (${all.length} elsewhere in this workspace — drop --mine to see them)` : ""}.` : "No agent tokens in this workspace.");
         return 0;
@@ -1888,9 +1989,12 @@ THE TOUR
                                        automated; ends with a keep-or-cleanup choice; --explain prints
                                        the long narration of each step; --phone web makes the QR open
                                        the phone web rendering even when the Decidio app is installed)
-  npx @decidio/sdk quickstart cleanup  revoke the tour's token + delete its local credentials
+  npx @decidio/sdk quickstart cleanup  revoke the tour's token + delete its local credentials (the inert
+                                       registration row and the permanent sealed record stay)
                                        (and end the stored sign-in)
   npx @decidio/sdk quickstart --auto-approve-demo   headless tour; cleans up after itself
+  npx @decidio/sdk quickstart --demo   the same tour against a LOCAL stand-in of the API — no account needed; the
+                                       web/phone door is a hosted demo page; the receipt is the one thing kept
                                        (add --keep-agent to KEEP the tour agent + token)
 
 SIGN IN (once)
@@ -1922,7 +2026,8 @@ APPROVALS AND RECEIPTS
                                          ... approve <id> -- "-50% cut, per the board"
                                          ... approve <id> --reason "-50% cut, per the board"
   npx @decidio/sdk receipt <id> [--json]   download a sealed decision's Authority Receipt (.json)
-  npx @decidio/sdk verify [--issuer <did>] <receipt.json> [more...]   verify receipts OFFLINE
+  npx @decidio/sdk verify --issuer <did> <receipt.json> [more...]   verify receipts OFFLINE, pinned to your
+                                       workspace's issuer (--allow-unpinned: structural check only)
 
 DEVELOPMENT
   npx @decidio/sdk dev [--target URL] [--port N]   local relay for the resume webhook
@@ -2056,14 +2161,14 @@ async function main(argv) {
     }
     const argsIn = argv.slice(3);
     const KNOWN = {
-        quickstart: { flags: ["--explain", "--auto-approve-demo", "--keep-agent"], valued: ["--phone"] },
+        quickstart: { flags: ["--explain", "--auto-approve-demo", "--keep-agent", "--demo"], valued: ["--phone"] },
         login: { flags: [] },
         logout: { flags: [] },
         init: { flags: ["--unique", "--force"], valued: ["--expires-days"] },
         doctor: { flags: [] },
         approvals: { flags: ["--json", "--mine"], valued: ["--reason"] },
         receipt: { flags: ["--json"] },
-        verify: { flags: [], valued: ["--issuer"] },
+        verify: { flags: ["--allow-unpinned"], valued: ["--issuer"] },
         tokens: { flags: ["--mine"] },
         dev: { flags: [], valued: ["--target", "--port"] },
     };
@@ -2143,6 +2248,8 @@ async function main(argv) {
                     log(held.length
                         ? `Nothing to clean up here: no tour credentials. The token recovery journal names ${held.length} live token(s) held by a credential file here (${held.map((j) => j.jti).join(", ")}) — not tour tokens, left alone; doctor lists them.`
                         : "Nothing to clean up here: no .env.quickstart, .env doesn't belong to a quickstart agent, and the token recovery journal has no live token to act on.");
+                    if (endSession())
+                        log(`  ✔ signed out — the stored sign-in is removed from this computer (the token itself stays valid until it expires).`);
                     return 0;
                 }
                 const session = await acquireSession("Cleaning the quickstart up");
@@ -2150,7 +2257,7 @@ async function main(argv) {
                     return 1;
                 return quickstartCleanup(session, envFile);
             }
-            return cmdQuickstart({ autoApproveDemo: argsIn.includes("--auto-approve-demo"), keepAgent: argsIn.includes("--keep-agent"), explain: argsIn.includes("--explain"), phone: valuedOpt(argsIn, "--phone") });
+            return cmdQuickstart({ demo: argsIn.includes("--demo"), autoApproveDemo: argsIn.includes("--auto-approve-demo"), keepAgent: argsIn.includes("--keep-agent"), explain: argsIn.includes("--explain"), phone: valuedOpt(argsIn, "--phone") });
         }
         case "init": {
             const unique = argsIn.includes("--unique");

package/dist/demo-gate.d.ts

@@ -0,0 +1,16 @@
+export interface DemoGate {
+    /** http://127.0.0.1:<port> — point the tour here. */
+    url: string;
+    /** The did:key of the key generated for THIS run (never the hosted issuer's). */
+    issuerDid: string;
+    /** Whether the hosted relay answered (the web/phone door exists) — null until session-link was asked. */
+    relayReachable: () => boolean | null;
+    close(): Promise<void>;
+}
+export interface DemoGateOptions {
+    /** Base URL of the hosted relay; null = offline (terminal-only). Default: the hosted sandbox API. */
+    relayBase?: string | null;
+    /** Milliseconds to wait for the relay on each call. */
+    relayTimeoutMs?: number;
+}
+export declare function startDemoGate(opts?: DemoGateOptions): Promise<DemoGate>;

package/dist/demo-gate.js

@@ -0,0 +1,161 @@
+import { createServer } from "node:http";
+import { createHash, generateKeyPairSync, randomBytes, sign as edSign } from "node:crypto";
+import { jcsCanonicalize } from "@decidio/verify";
+const B58 = "123456789ABCDEFGHJKLMNPQRSTUVWXYZabcdefghijkmnopqrstuvwxyz";
+function b58(buf) {
+    const digits = [0];
+    for (const byte of buf) {
+        let carry = byte;
+        for (let i = 0; i < digits.length; i++) {
+            carry += digits[i] << 8;
+            digits[i] = carry % 58;
+            carry = (carry / 58) | 0;
+        }
+        while (carry) {
+            digits.push(carry % 58);
+            carry = (carry / 58) | 0;
+        }
+    }
+    let out = "";
+    for (const b of buf) {
+        if (b === 0)
+            out += B58[0];
+        else
+            break;
+    }
+    return out + digits.reverse().map((d) => B58[d]).join("");
+}
+const DECISION_ID = "D-DEMO-1";
+const D_NUMBER = "D·0001";
+export async function startDemoGate(opts = {}) {
+    const relayBase = opts.relayBase === undefined ? "https://decidio-api.onrender.com" : opts.relayBase;
+    const relayTimeoutMs = opts.relayTimeoutMs ?? 2000;
+    const issuerKey = generateKeyPairSync("ed25519");
+    const issuerRaw = Buffer.from(issuerKey.publicKey.export({ format: "der", type: "spki" })).subarray(-32);
+    const issuerDid = "did:key:z" + b58(Buffer.concat([Buffer.from([0xed, 0x01]), issuerRaw]));
+    const sealedAt = new Date().toISOString();
+    let verdict = null;
+    let relayCode = null;
+    let relayOk = null;
+    const relayFetch = async (path, init = {}) => {
+        if (!relayBase)
+            return null;
+        const ctl = new AbortController();
+        const t = setTimeout(() => ctl.abort(), relayTimeoutMs);
+        try {
+            const r = await fetch(`${relayBase.replace(/\/$/, "")}${path}`, { ...init, signal: ctl.signal, headers: { "content-type": "application/json", ...(init.headers ?? {}) } });
+            if (r.status === 204)
+                return {};
+            if (!r.ok)
+                return null;
+            return await r.json().catch(() => ({}));
+        }
+        catch {
+            return null;
+        }
+        finally {
+            clearTimeout(t);
+        }
+    };
+    const issueReceipt = (kind) => {
+        const canonical = `{"accountableParty":"[PERSON_1]","action":"payInvoice","amount":"[AMOUNT_2]","recordKind":"${kind}","recordSeries":"local-demo"}`;
+        const contentHash = createHash("sha256").update(canonical, "utf8").digest("hex");
+        const context = ["https://www.w3.org/ns/credentials/v2"];
+        const doc = {
+            "@context": context,
+            type: ["VerifiableCredential", "DecidioAuthorityRecord"],
+            issuer: issuerDid,
+            validFrom: sealedAt,
+            credentialSubject: { id: `urn:decidio:decision:${DECISION_ID}`, recordId: DECISION_ID, dNumber: D_NUMBER, contentHash, prevHash: null, recordCanonical: canonical },
+        };
+        const cfg = {
+            "@context": context, type: "DataIntegrityProof", cryptosuite: "eddsa-jcs-2022",
+            created: sealedAt, verificationMethod: `${issuerDid}#${issuerDid.slice("did:key:".length)}`, proofPurpose: "assertionMethod",
+        };
+        const signingInput = Buffer.concat([
+            createHash("sha256").update(Buffer.from(jcsCanonicalize(cfg), "utf8")).digest(),
+            createHash("sha256").update(Buffer.from(jcsCanonicalize(doc), "utf8")).digest(),
+        ]);
+        return { ...doc, proof: { ...cfg, proofValue: "z" + b58(edSign(null, signingInput, issuerKey.privateKey)) } };
+    };
+    const server = createServer((req, res) => {
+        let raw = "";
+        req.on("data", (c) => (raw += c));
+        req.on("end", async () => {
+            let body;
+            try {
+                body = raw ? JSON.parse(raw) : undefined;
+            }
+            catch {
+                body = undefined;
+            }
+            const path = (req.url ?? "").split("?")[0];
+            const send = (o, status = 200) => { res.writeHead(status, { "content-type": "application/json" }); res.end(JSON.stringify(o)); };
+            try {
+                if (path === "/api/health")
+                    return send({ ok: true, demo: true });
+                if (path === "/api/did")
+                    return send({ did: issuerDid, method: "did:key", alg: "Ed25519", demo: true });
+                if (path === "/api/decisions/cards")
+                    return send({ cards: [] });
+                if (path === "/api/agents/register")
+                    return send({ agentId: body?.agentId, did: body?.did });
+                if (path === "/api/workspace/agent-token" && req.method === "POST")
+                    return send({ token: "demo-agent-token", workspaceId: "local-demo", jti: `jti-demo-${randomBytes(4).toString("hex")}`, expiresAt: new Date(Date.now() + 3_600_000).toISOString() });
+                if (path === "/api/workspace/agent-token" && req.method === "GET")
+                    return send({ tokens: [] });
+                if (/^\/api\/workspace\/agent-token\/[^/]+$/.test(path) && req.method === "DELETE")
+                    return send({ ok: true, changed: true });
+                if (path === "/agent/authorize") {
+                    verdict = null;
+                    return send({ decision: "route", decisionId: DECISION_ID, receiptId: "R-DEMO-1" });
+                }
+                if (path.startsWith("/agent/status/")) {
+                    if (!verdict && relayCode) {
+                        const r = await relayFetch(`/demo/relay/${relayCode}`);
+                        if (r && (r.verdict === "approve" || r.verdict === "reject"))
+                            verdict = r.verdict;
+                    }
+                    return send(verdict === "reject" ? { state: "rejected", reason: "quickstart: rejected by the approver" } : { state: verdict === "approve" ? "approved" : "pending" });
+                }
+                if (/^\/api\/decisions\/[^/]+\/(approve|reject)$/.test(path)) {
+                    const already = verdict !== null;
+                    verdict = path.endsWith("/reject") ? "reject" : "approve";
+                    if (relayCode && !already)
+                        void relayFetch(`/demo/relay/${relayCode}`, { method: "PUT", body: JSON.stringify({ verdict }) });
+                    return send({ ok: true, decisionId: DECISION_ID, sealed: true, ...(already ? { alreadyResolved: true } : {}) });
+                }
+                if (path === "/agent/confirm")
+                    return send({ ok: true, confirmation: "application_confirmed", recordId: DECISION_ID });
+                if (path === "/demo/session-link") {
+                    const r = await relayFetch("/demo/relay", { method: "POST", body: JSON.stringify({ decisionId: DECISION_ID }) });
+                    if (r && typeof r.code === "string" && /^[0-9A-HJKMNP-TV-Z]{13}$/.test(r.code) && typeof r.link === "string" && /^https?:\/\//.test(r.link)) {
+                        relayCode = r.code;
+                        relayOk = true;
+                        return send({ status: "ok", link: r.link, qr: typeof r.qr === "string" ? r.qr : null, expiresAt: r.expiresAt ?? null });
+                    }
+                    relayOk = false;
+                    return send({ status: "unavailable", error: "the demo relay is unreachable — this run is terminal-only" }, 503);
+                }
+                if (/^\/api\/records\/[^/]+\/verify$/.test(path)) {
+                    const cred = issueReceipt(verdict === "reject" ? "denial" : "approval");
+                    return send({ dNumber: D_NUMBER, issuer: issuerDid, alg: "Ed25519", valid: true, signatureValid: true, contentBound: true, matchesRecord: true, payloadMatches: true, hash: cred.credentialSubject.contentHash, prevHash: null, credential: cred });
+                }
+                if (/^\/api\/records\/[^/]+$/.test(path))
+                    return send({ record: { confirmation: verdict === "approve" ? { status: "application_confirmed", confirmed: true } : { status: "pending", confirmed: false } } });
+                return send({ error: "not part of the local demo" }, 404);
+            }
+            catch (e) {
+                return send({ error: String(e?.message ?? e) }, 500);
+            }
+        });
+    });
+    await new Promise((r) => server.listen(0, "127.0.0.1", r));
+    const port = server.address().port;
+    return {
+        url: `http://127.0.0.1:${port}`,
+        issuerDid,
+        relayReachable: () => relayOk,
+        close: () => new Promise((r) => server.close(() => r())),
+    };
+}

package/dist/resume.d.ts

@@ -470,7 +470,7 @@ export type RecoveryState =
 "parked"
 /** Claimed by an attempt that never reached the invocation boundary, so the handler PROVABLY
  *  did not run — but the row is not parked either: `list()` excludes it and every ordinary
- *  signal answers `unknown`, so nothing will pick it up on its own. It is stalled until an
+ *  signal answers `lost_race`, so nothing will pick it up on its own. It is stalled until an
  *  operator releases it. Reporting this as "parked" (as 0.2.0's first draft did) told a UI an
  *  approved action was still queued to resume when in fact it had been silently dropped. */
  | "claimed_stalled"
@@ -582,8 +582,9 @@ export interface ResumeConfig {
     /** The callback URL Decidio should POST the verdict to (webhook transport). Sent
      *  on /agent/authorize so the decision carries it; omit when using the poll worker. */
     resumeUrl?: string;
-    /** Fired after every terminal resolution (executed / indeterminate / rejected / blocked /
-     *  no_handler), via either transport. Use it to log, close a listener, or exit a CLI.
+    /** Fired for every outcome except `unknown` (executed / indeterminate / rejected / blocked /
+     *  no_handler / already_resolved / lost_race), via either transport. Use it to log, close a
+     *  listener, or exit a CLI.
      *  `indeterminate` is new in 0.2.0 and DOES fire here: a handler that ran and then threw is a
      *  terminal outcome for automation — nothing will retry it — so a listener that only handled
      *  the old four would silently miss the one case that needs a human. */
@@ -601,8 +602,9 @@ export interface ResumeController extends ResumeConfig {
     /** Park a routed action WITH its integrity binding (prefer this over store.put — the
      *  binding is what lets resolve() refuse a tampered payload). */
     park(p: Omit<PendingAction, "createdAt" | "argsSig">): Promise<void>;
-    /** Drive a parked decision to completion once a verdict is known. Idempotent:
-     *  a second call after success finds nothing parked → "unknown" (no double-write). */
+    /** Drive a parked decision to completion once a verdict is known. Idempotent: a second call
+     *  after success answers `already_resolved` (no double-write); an id this SDK never parked
+     *  answers `unknown`; a call that loses the pre-invocation claim answers `lost_race`. */
     resolve(input: {
         decisionId: string;
         verdict: "approved" | "rejected" | "blocked";

package/openapi.yaml

@@ -5,7 +5,7 @@
 openapi: 3.1.0
 info:
   title: Decidio Agent Gate
-  version: 0.4.4   # tracks the SDK release - checked by packages/conformance/manifests.mjs
+  version: 0.6.0   # tracks the SDK release - checked by packages/conformance/manifests.mjs
   description: >
     Authorize an AI-agent action (proceed | route | block), confirm the captured outcome, and
     receive the signed resume webhook when a routed action is decided. Every outcome seals a

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@decidio/sdk",
-  "version": "0.4.4",
+  "version": "0.6.0",
   "description": "One-line approval gate for AI-agent actions. Wrap a risky tool call with guard.protect(); Decidio's policy engine decides proceed | route | block, a human approves routed actions, and every outcome is sealed as a verifiable Authority Receipt.",
   "license": "Apache-2.0",
   "type": "module",
@@ -84,7 +84,7 @@
     "prepublishOnly": "npm run typecheck && npm run build && node ../publish-boundary/check.mjs --only @decidio/sdk"
   },
   "dependencies": {
-    "@decidio/verify": "0.4.4"
+    "@decidio/verify": "0.6.0"
   },
   "author": "OmniTwin Technologies Inc.",
   "bugs": {