@decidio/sdk 0.4.3 → 0.4.4

package/CHANGELOG.md

@@ -4,6 +4,43 @@ 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.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
+went up"). Its design questions (a mandatory `--issuer`, out-of-band issuer distribution, npm provenance) are founder
+calls in the backlog; these are its small findings, each with a vector that was red first.
+
+- **Frames never wider than the terminal.** The 0.4.2 frames had a width FLOOR of 84 columns, and the terminal driver
+  that gates the tours ran only at 300 columns - so on the most common width, 80, every border wrapped. The floor now
+  yields to the terminal, and both suites run the approval tour at 80 columns: no frame line wider than the window,
+  every frame line closes with its border.
+- **The update gate knows a project-local install.** `npm install @decidio/sdk` then `npx @decidio/sdk …` (this
+  README's own path) runs the CLI from the project's node_modules; the gate offered `npm i -g` (global state nobody
+  asked for) and then re-ran the same old local file. Three shapes now, each upgraded the way it was installed:
+  project-local → `npm i @decidio/sdk@latest` in that project; global → `-g`; under npx → the `@latest` form,
+  printed. The re-run the gate spawns carries `DECIDIO_UPDATE_REEXEC=1` and never checks again, so a version that did
+  not move cannot loop the prompt. (Python: `pip install -U` already upgrades the interpreter that is running; it
+  gains the re-run marker.)
+- **A key-less agent `.env` is left alone.** The tour used its own `.env.quickstart` only when `.env` held a signing
+  key; the SDK's `agentKey` is optional, so an agent configured without one had its agent fields overwritten and then
+  stripped by cleanup. ANY agent identity in `.env` (`DECIDIO_AGENT_ID`, `_DID`, `_KEY` or `DECIDIO_API_TOKEN`) now
+  sends the tour to its own file. Vector: such a file is byte-identical after the tour and its cleanup.
+- **The ④ frame names what was sealed** without `--explain`: `decision  payInvoice $86,000 · APPROVED · routed to
+  a human by policy (no auto-approve rule for this agent)` (REJECTED on the denial's record).
+- A `.gitignore` the tour CREATES also ignores `node_modules/`; an existing file gets only the secret entries.
+- `openapi.yaml` now states the release version (it read 0.1.11 beside a 0.4.3 package), and a seven-manifest
+  lockstep check (`packages/conformance/manifests.mjs`: both package.json, both package-lock.json, pyproject,
+  `__init__`, openapi) runs in CI and on the publish path - 0.4.3 shipped with both locks a version behind.
+- Documented: the token recovery journal's vocabulary (`minted`, `retired how=persisted`, `retired how=revoked`,
+  `probe`) - `persisted` means the credential file holds the token and is its handle, not that it was revoked.
+- **`logout` says what it does** (prodsec second pass on 0.4.3 - "A / A-", two Lows): it forgets the stored sign-in on
+  this computer; the session token itself stays valid until it expires - there is no server-side revocation yet, and no
+  wording implies one any more (`logout`, cleanup, the sign-in prompt, the usage page, both READMEs). Vectors: the
+  statement is asserted, and `logout` makes no API call.
+- The shipped `.d.ts` state-machine comment names the terminal `discarded` state beside the chain that omitted it.
+- Confirmed as intended, no change: the online `receipt` command prints the tokenized identities your access
+  covers ("Resolved for you"); the file keeps its tokens.
+
 ## 0.4.3 — the stale-install gate, frames you can read at a glance, and a phone door that lands
 
 The founder's UAT round 2, second half (2026-09-04). Nobody is on 0.4.2 yet, so it was never tagged; this carries both.

package/README.md

@@ -648,9 +648,10 @@ that fits every other confirm error.
 - `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 through npm and re-runs your command; `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.
+- **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.
 - `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 end that sign-in. 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).
+- `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)
 
 The CLI's stream contract: **stdout carries results only** (safe to pipe — `--json` output is
@@ -660,7 +661,7 @@ result and prints on stdout. Exit codes: 0 success · 1 failure or honest no-op
 
 Commands that administer your workspace (`init`, `approvals`, `receipt`, `tokens`) use a **session**
 sign-in: `login` stores it in your user profile (owner-only, bound to this terminal window, 30 days;
-`logout` or `quickstart cleanup` ends it), or `DECIDIO_SESSION_TOKEN` supplies it for headless shells. What lands on disk in `.env`: the agent's floor-limited
+`logout` or `quickstart cleanup` forgets it here — the token itself stays valid until it expires), or `DECIDIO_SESSION_TOKEN` supplies it for headless shells. What lands on disk in `.env`: the agent's floor-limited
 API token, its locally-generated private signing key, and a webhook secret (used only in
 operator deployments) — `init` adds `.env` to `.gitignore` for you; move secrets to a secret
 manager for production.

package/dist/cli.js

@@ -2,7 +2,7 @@
 import { readFileSync, writeFileSync, existsSync, appendFileSync, chmodSync, rmSync, openSync, writeSync, fsyncSync, closeSync, renameSync, mkdirSync } from "node:fs";
 import { randomBytes } from "node:crypto";
 import { homedir } from "node:os";
-import { join as joinPath } from "node:path";
+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";
 import { createInterface } from "node:readline";
@@ -378,12 +378,15 @@ function assertNotTracked(path) {
 }
 function ensureGitignore() {
     const entries = [".env", ".env.quickstart", ".env.*.bak", ".env.*.tmp", ".decidio-pending/", ".decidio-token-journal"];
-    const existing = existsSync(".gitignore") ? readFileSync(".gitignore", "utf8") : "";
+    const creating = !existsSync(".gitignore");
+    if (creating)
+        entries.push("node_modules/");
+    const existing = creating ? "" : readFileSync(".gitignore", "utf8");
     const missing = entries.filter((e) => !existing.split(/\r?\n/).some((l) => l.trim() === e || l.trim() === e.replace(/\/$/, "")));
     if (!missing.length)
         return;
     appendFileSync(".gitignore", (existing && !existing.endsWith("\n") ? "\n" : "") + missing.join("\n") + "\n");
-    log(`✔ added ${missing.join(" + ")} to .gitignore (new secret files here will not be committed)`);
+    log(`✔ ${creating ? "wrote" : "added"} ${missing.join(" + ")} to .gitignore (secret files here will not be committed)`);
 }
 function recordKindOf(credential) {
     try {
@@ -396,7 +399,7 @@ function recordKindOf(credential) {
     }
 }
 function sessionReminder() {
-    log(`  ⚠ agent code launched from THIS terminal inherits your sign-in — run logout first (it also ends on close or cleanup); if you`);
+    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)")}`);
 }
 const TTY_OUT = !!process.stdout.isTTY && !process.env.NO_COLOR && process.env.TERM !== "dumb";
@@ -409,7 +412,7 @@ const visibleLength = (s) => s.replace(/\x1b\[[0-9;]*m|\x1b\]8;;[^\x1b]*\x1b\\/g
 function frameWidth(rows) {
     const cols = (process.stdout.columns ?? 0) > 20 ? process.stdout.columns : 120;
     const widest = rows.reduce((m, r) => Math.max(m, visibleLength(r)), 0);
-    return Math.max(FRAME_WIDTH, Math.min(widest + 4, cols - 1));
+    return Math.min(cols - 1, Math.max(FRAME_WIDTH, widest + 4));
 }
 function block(n, title, rows, tone) {
     const tint = tone === "choice" ? (process.env.TERM?.includes("256") || process.env.COLORTERM || process.env.WT_SESSION ? "38;5;208" : "33") : tone === "good" ? "32" : tone === "bad" ? "31" : null;
@@ -538,7 +541,7 @@ function endSession() {
     }
 }
 async function loginFlow(purpose, emailArg) {
-    log(purpose === "Signing in" ? `Sign in once — 30 days, or until this terminal closes, logout, or cleanup.` : `${purpose} needs your Decidio workspace sign-in — once: 30 days, or until this terminal closes, logout, or cleanup.`);
+    log(purpose === "Signing in" ? `Sign in once — kept on this computer for 30 days, or until this terminal closes, logout, or cleanup.` : `${purpose} needs your Decidio workspace sign-in — once: kept on this computer for 30 days, or until this terminal closes, logout, or cleanup.`);
     const email = emailArg ?? await ask("  email: ");
     if (!email) {
         log("  ✘ no email given - re-run when you have it.");
@@ -617,9 +620,12 @@ async function cmdLogin(emailArg) {
     const token = await loginFlow("Signing in", emailArg);
     return token ? 0 : 1;
 }
+const TRUTH_SESSION = "The session token itself stays valid until it expires (up to 30 days) — there is no server-side revocation yet";
 function cmdLogout() {
-    if (endSession())
-        log("✔ signed out — the stored sign-in is removed.");
+    if (endSession()) {
+        log("✔ signed out — the stored sign-in is removed from this computer.");
+        log(`  ${TRUTH_SESSION}; if you exported DECIDIO_SESSION_TOKEN or pasted the link anywhere else, those copies still work.`);
+    }
     else
         log("• no stored sign-in on this machine for this Decidio.");
     if (process.env.DECIDIO_SESSION_TOKEN)
@@ -1148,7 +1154,8 @@ async function cmdQuickstart(opts = {}) {
     const session = await acquireSession("The quickstart");
     if (!session)
         return 1;
-    const envFile = readEnvFile().DECIDIO_AGENT_KEY ? ".env.quickstart" : ENV_PATH;
+    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();
@@ -1470,6 +1477,7 @@ async function cmdQuickstart(opts = {}) {
                 }
                 block("④", "The record", [
                     `✔ VALID — ${fname} ${dim("(signature + content binding, offline, PINNED to your workspace issuer)")}`,
+                    `${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>")}`,
                 ], "bad");
@@ -1554,6 +1562,7 @@ async function cmdQuickstart(opts = {}) {
         const tier = detail.body?.record?.confirmation?.status;
         block("④", "The receipt", [
             `✔ VALID — ${fname} ${dim("(signature + content binding, offline, PINNED to your workspace issuer)")}`,
+            `${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>")}`,
         ], "good");
@@ -1753,7 +1762,7 @@ async function quickstartCleanup(session, envFile) {
         log(`      ${process.platform === "win32" ? "Remove-Item -Recurse .decidio-pending" : "rm -r .decidio-pending"}`);
     }
     if (endSession())
-        log(`  ✔ signed out — the stored sign-in is ended (npx @decidio/sdk login to sign in again).`);
+        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)
         log(`  • DECIDIO_SESSION_TOKEN is still exported in this shell — unset it when you are done.`);
     return 0;
@@ -1886,8 +1895,9 @@ THE TOUR
 
 SIGN IN (once)
   npx @decidio/sdk login [email]       sign in ONCE: the CLI emails you a link, you paste it; the sign-in
-                                       lasts 30 days, or until this terminal closes, logout, or cleanup
-  npx @decidio/sdk logout              end the stored sign-in
+                                       is kept on this computer 30 days, or until this terminal closes, logout, or cleanup
+  npx @decidio/sdk logout              forget the stored sign-in on this computer (the token itself stays valid
+                                       until it expires — there is no server-side revocation yet)
 
 YOUR AGENT AND ITS TOKENS
   npx @decidio/sdk init [agentId]      sign in, register the agent, mint its API token, write .env
@@ -1923,7 +1933,8 @@ NOTES
   DECIDIO_API_URL says otherwise; the target host is announced on stderr each run. "verify" is
   fully offline — it touches no network and reads no .env.
   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 and re-runs your command; n exits); a headless
+  an interactive run asks "Upgrade now? [y/n]" first (y upgrades the way you installed - global, or in the
+  project for a local install; under npx it prints the @latest form - and re-runs your command; n exits); a headless
   run prints the notice and continues (DECIDIO_REQUIRE_LATEST=1 makes it exit). DECIDIO_NO_UPDATE_CHECK=1 skips
   the check. Nothing is sent to Decidio; verify never checks.
   Help: --help (or -h) after any command prints this page - one page for every command.
@@ -1976,13 +1987,23 @@ async function latestPublished() {
     }
 }
 async function updateGate(cmd, argv) {
-    if (!cmd || !GATED_CMDS.has(cmd) || SHELL_ENV.DECIDIO_NO_UPDATE_CHECK || VERSION === "unknown" || VERSION.includes("-"))
+    if (!cmd || !GATED_CMDS.has(cmd) || SHELL_ENV.DECIDIO_NO_UPDATE_CHECK || SHELL_ENV.DECIDIO_UPDATE_REEXEC || VERSION === "unknown" || VERSION.includes("-"))
         return null;
     const latest = await latestPublished();
     if (!latest || !semverNewer(latest, VERSION))
         return null;
-    const underNpx = /[\\/]_npx[\\/]/.test(process.argv[1] ?? "");
-    const upgradeCmd = underNpx ? `npx @decidio/sdk@latest ${argv.slice(2).join(" ")}` : "npm i -g @decidio/sdk@latest";
+    const entry = process.argv[1] ?? "";
+    const underNpx = /[\\/]_npx[\\/]/.test(entry);
+    const localRoot = (() => {
+        const m = /^(.*?)[\\/]node_modules[\\/]@decidio[\\/]sdk[\\/]/.exec(entry);
+        if (!m)
+            return null;
+        const norm = (s) => (process.platform === "win32" ? s.toLowerCase() : s);
+        const root = resolvePath(m[1]);
+        const cwd = norm(process.cwd());
+        return cwd === norm(root) || cwd.startsWith(norm(root) + pathSep) ? root : null;
+    })();
+    const upgradeCmd = underNpx ? `npx @decidio/sdk@latest ${argv.slice(2).join(" ")}` : localRoot ? "npm i @decidio/sdk@latest" : "npm i -g @decidio/sdk@latest";
     const notice = `${latest} is available (you have ${VERSION}).`;
     if (!(process.stdin.isTTY && process.stdout.isTTY)) {
         err(`⚠ ${notice} Upgrade: ${upgradeCmd}`);
@@ -2005,14 +2026,14 @@ async function updateGate(cmd, argv) {
         log(`  would run: ${upgradeCmd}`);
         return null;
     }
-    log(`  upgrading: ${upgradeCmd}`);
-    const up = spawnSync(process.platform === "win32" ? "npm.cmd" : "npm", ["i", "-g", "@decidio/sdk@latest"], { stdio: "inherit", shell: process.platform === "win32", env: SHELL_ENV });
+    log(`  upgrading: ${upgradeCmd}${localRoot ? ` (in ${localRoot})` : ""}`);
+    const up = spawnSync(process.platform === "win32" ? "npm.cmd" : "npm", localRoot ? ["i", "@decidio/sdk@latest"] : ["i", "-g", "@decidio/sdk@latest"], { stdio: "inherit", shell: process.platform === "win32", env: SHELL_ENV, ...(localRoot ? { cwd: localRoot } : {}) });
     if (up.status !== 0) {
         err(`✘ the upgrade did not complete (exit ${up.status ?? "?"}) — run it by hand: ${upgradeCmd}`);
         return 1;
     }
     log(`  ✔ upgraded — re-running: decidio ${argv.slice(2).join(" ")}`);
-    const rerun = spawnSync(process.execPath, [process.argv[1], ...argv.slice(2)], { stdio: "inherit", env: SHELL_ENV });
+    const rerun = spawnSync(process.execPath, [process.argv[1], ...argv.slice(2)], { stdio: "inherit", env: { ...SHELL_ENV, DECIDIO_UPDATE_REEXEC: "1" } });
     return rerun.status ?? 1;
 }
 async function main(argv) {

package/dist/resume.d.ts

@@ -37,6 +37,7 @@ export interface PendingAction {
 /** The durable execution state machine (v2).
  *
  *  parked → claimed_preinvoke → invoking → (executed_unreported | indeterminate) → reported
+ *  plus the terminal `discarded` (a human or policy said NO: written from parked/claimed_preinvoke, never invoked).
  *
  *  THE ONE RULE: nothing transitions BACK to parked once `invoking` has been written. Deletion
  *  is cleanup, never the single-use guarantee — that was the 0.1.x model, and a store whose

package/openapi.yaml

@@ -5,7 +5,7 @@
 openapi: 3.1.0
 info:
   title: Decidio Agent Gate
-  version: 0.1.11
+  version: 0.4.4   # 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.3",
+  "version": "0.4.4",
   "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.3"
+    "@decidio/verify": "0.4.4"
   },
   "author": "OmniTwin Technologies Inc.",
   "bugs": {