@voltro/protocol 0.14.0 → 0.15.0

package/CHANGELOG.md

@@ -39,6 +39,133 @@ _Changes staged for the next release accumulate here (rolled up from
 
 ---
 
+## [0.15.0] — 2026-07-27
+
+### ⚠ BREAKING
+
+- **@voltro/cli** — **A rename now carries the ALIASED importers, not only the relative ones.**
+
+  An app's web build stopped compiling after `voltro update`: 84 relative imports were rewritten correctly, 163 aliased ones across 88 files were not, and `tsc` reported 249 errors on names that no longer existed. Nothing in the codemod's output hinted that a whole class of import had been skipped.
+
+  Two independent halves, and each alone leaves the imports stale:
+
+  - The codemod's ts-morph project was built with **no `baseUrl` and no `paths`**, so `@/components/link` resolved to nothing. It now gets the compiler's own shape — the raw `paths`, not the pre-resolved Vite table, because a `paths` target is relative to `baseUrl` by definition and an absolute one does not resolve. - `SourceFile.move()` rewrites relative specifiers and **nothing else**, which is correct on its own terms: ts-morph cannot know whether the alias mapping or the file is meant to change. So the codemods now rewrite the aliased ones themselves, narrowly — only specifiers that RESOLVED to the moved file, and only the trailing stem, which needs no alias table and so cannot disagree with one. The run reports how many it rewrote.
+
+  **A file an exact `paths` entry names is left alone and reported.** Renaming `link.tsx` while `"@/link": ["src/components/link.tsx"]` points at it leaves the mapping resolving to nothing — and the same path is usually repeated in a vite/vitest alias table no codemod owns. One app hit this and then saw a taxonomy violation reported on a file the codemod had itself created.
+
+  **`page/unsuffixed-in-pages` is now an error, not a warning.** The comment justifying the warning contradicted the scanner it described: that bucket is already narrowed to a default export nothing imports, which is what an unmigrated page looks like and what a co-located component never does. The failure it names is invisible everywhere else — an unmigrated route simply 404s, with a clean `tsc` and a green suite. One app finished a migration with 51 of them. `codemod: none`: the rename it asks for already ships as `0.14.0/03_pages-suffix`, and nothing about a user's SOURCE changes here — what changes is that `voltro check` now fails on a route that does not route.
+- **@voltro/protocol, @voltro/client, @voltro/web** — **`errorTag` moves from `@voltro/client` to `@voltro/protocol`.**
+
+  It reads the `_tag` that `toRpc` writes, so it now lives beside `toRpc` — one file owning both ends of that contract. Where it used to live had a cost invisible from inside the framework: an app's shared error handler sat in a package that pulled only `@voltro/i18n`, and reading a tag would have meant depending on the entire client package for seven lines. They declined, and kept parsing message strings with a regex — the exact outcome the helper exists to prevent.
+
+  `@voltro/web` re-exports the client surface, so it loses the symbol too — the same codemod covers an app that imported it from there.
+
+  Not re-exported from `@voltro/client`: two import paths for one helper is how the next reader learns the wrong one. The transform codemod repoints the import, preserving an alias (`errorTag as tagOf`) and the type-only form, and merges into an existing `@voltro/protocol` import rather than adding a second.
+
+  While moving it, its doc comment gained the thing that matters at the call site and was only implied before: **`instanceof` does not hold on the client.** What arrives there was decoded from JSON and never constructed, so match on the tag, not on the class. One team read the old wording as a promise that `instanceof` works and was right to say so.
+
+### Added
+
+- **@voltro/protocol, @voltro/cli** — **An auth strategy reaches the app's DataStore, on `input.store`.**
+
+  ```ts
+  const sessionStrategy: AuthStrategy = {
+    id: 'db-session',
+    resolve: async ({ headers, store }) => {
+      if (store === undefined) return { kind: 'skip' }        // still booting
+      const [row] = await store.query(sessions.byToken(headers.authorization))
+      return row ? { kind: 'matched', subject: toSubject(row) } : { kind: 'skip' }
+    },
+  }
+  ```
+
+  Without it, a DB-backed strategy — a session row, an API-key record, a PAT table — had to open a SECOND connection path beside the framework's, to the same database the request store opens a moment later. One adopter's `auth/db.ts` is 105 lines of exactly that: a second `ManagedRuntime` plus a `MysqlClient`, load-bearing for their session lookup and their ApiKeyStore. Every DB-backed OIDC / SAML / PAT integration rebuilds it, which is what made this a framework gap rather than an app's problem.
+
+  It is the **same value** `auth.resolveScopes` already receives, through the **same lazy getter** — one ref, two consumers, rather than each caller reaching for the store its own way. That is deliberate: `voltro dev` builds the store AFTER the auth chain and `voltro serve` builds it BEFORE, so a value captured at config time would be `undefined` forever in dev and correct in production. The getter is read ONCE per request, not once per strategy.
+
+  `store` is `undefined` only while the store is still being built, and on an app with no store — a strategy should `skip` rather than throw. It is the BOOT store, not a request-scoped one: strategies resolve before a request store exists.
+
+  **Not narrowed to a read-only surface**, and the reason is worth stating: the narrower type would be the better guarantee, `DataStore` is the driver SPI, and giving strategies a different type from the one `resolveScopes` gets would put two views of one object in the same file. A strategy that writes during subject resolution is a design mistake; the type system is not going to catch it for you. Read users / sessions / keys, do not run domain writes.
+
+### Fixed
+
+- **@voltro/cli** — `voltro dev` terminates when its dev server does, instead of living forever.
+
+  The supervisor never watched its child die. `runChild` was an `Effect.acquireUseRelease` whose `use` was `Effect.never`, so `proc.on('exit')` existed ONLY in the release path — and that path runs when the fiber is interrupted (a restart, a signal), never when the child exits by itself. Two more places assumed the same thing: `runSupervisor` was typed `Effect<never>`, and `dev.ts` returned `new Promise(() => {})` after starting it.
+
+  So a boot that aborted — an unreachable database, a refused migration, a failed env gate — left the child dead and the supervisor waiting for a file change that nobody was there to make. Measured, not inferred: one developer machine carried 15 such `voltro dev` process pairs, `ppid=1`, the oldest 7 days old, every one a boot that had failed against a remote database. They hold a watcher and a terminal-less process each; in CI the same shape keeps a runner busy after the job "finished".
+
+  `use` now awaits the child (`awaitChildExit`) and the supervisor races that against the watch loop, so whichever happens first decides. A restart still does NOT end it — `stopChild` interrupts the fiber, so the deferred is never completed on that path. A child killed by a signal reports `code: null`, which is reported as a failure rather than a clean 0.
+
+  What a self-exit MEANS then depends on whether anyone is watching, because the two failure modes pull in opposite directions:
+
+  - **Interactive** (stdout is a TTY) — a crashed boot is something you are about to fix, so the supervisor says so and keeps watching. The next save restarts it, which is what every other dev server does; stopping would throw away the watcher mid-edit and make you retype the command. - **Non-interactive** — nobody is going to fix anything. `voltro dev` exits with the child's code, so a failed boot is a failed command. This is the case that produced the invisible processes, and the one CI actually waits on.
+
+  A CLEAN exit always stops, watched or not. `VOLTRO_DEV_KEEP_ALIVE=1|0` forces the answer for what the TTY check cannot see — a CI runner with a TTY allocated, or a wrapper that pipes output while a human still watches it — and cannot keep a clean exit alive, which would turn a deliberate shutdown into a hang.
+
+  Pinned against REAL child processes, because the defect was an Effect that never settled — a stubbed `once('exit')` that resolves is exactly what would have passed while the bug shipped.
+- **@voltro/database** — **A user-facing message that names an API must have one — now checked in CI.**
+
+  The sibling of the claimed-wiring check. That one asserts a doc comment's claimed caller exists; this one asserts a message's claimed API exists. Same failure shape, worse audience: a doc comment is read by somebody browsing, a refusal by somebody already blocked and looking for the sanctioned way out.
+
+  It exists for a reported bug that nothing could have caught. The drop-table refusal offered, as its FIRST option, *"chain `.dropped()` on it"* — tables have no such marker, only columns do. Doc SAMPLES are typechecked; message strings are not, and cannot be. Three of one release's reported defects lived in that blind spot.
+
+  Three rules, each with an unambiguous answer, because a noisy gate is skipped and then costs more than it saves:
+
+  - a `VOLTRO_*` variable a message tells you to **set** must be read somewhere, - a `` `.method()` `` a message tells you to **chain** must be a callable MEMBER of a published type, - a `--flag` in a `voltro …` instruction must be parsed.
+
+  The member rule is the one that took two attempts. The first version asked "does this name exist in the public surface" and the motivating bug **passed it**: `dropped` is exported, as a free `dropped()` you write as a column's value. A dotted claim is a claim about something chainable, so a free function and a `readonly dropped?: boolean` data property are both correctly rejected now.
+
+  **It immediately found a second instance nobody had reported** — the drop-COLUMN refusal also said "chain `.dropped()`", one level down from the reported one, and the real spelling is `<column>: dropped()` as the field's value. Close enough to guess from, which is why it survived.
+
+  Ships with a `--selftest` that runs first in CI, for the reason the changelog gate has one: a check that has quietly stopped detecting anything still prints green, and green is read as evidence.
+- **@voltro/database** — **Two migration refusals sent people the wrong way** — the worst place for a bad hint, because whoever reads one is already blocked and looking for the sanctioned way out.
+
+  **The drop-table refusal recommended an API that does not exist.** Its first option was *"add it to your declared set + chain `.dropped()` on it"*. There is no table-level `dropped()` — only the column marker. The recommendation was also the conceptually RIGHT one, which is what made it expensive: the two options that do work are both worse, so a reader picks the one they cannot follow.
+
+  There is now a real per-table answer: **`VOLTRO_DESTRUCTIVE_OK` accepts a table list**, not just `1`. `VOLTRO_DESTRUCTIVE_OK=old_things` acknowledges the data loss for that table and leaves every other lossy op in the plan blocked. `1` still means all of them — which is rarely what somebody means, and was previously the only way to say anything. A user with one intended drop and three other lossy ops had to acknowledge all four or hand-write a `DROP TABLE` migration, the path 0.14.0's own upgrade note warns against.
+
+  The message also states why there is deliberately no table marker: a dropped COLUMN leaves a slot worth documenting in the declaration; a dropped TABLE leaves nothing, so the marker would be a dead entry you must remember to delete.
+
+  **The drop-column refusal never mentioned `renamedFrom`.** It offered "chain `.dropped()`" or "restore the field" — and followed literally on a rename, the first costs exactly the data the user was trying to keep. When the plan drops AND adds columns on the same table, the message now leads with *"did you rename one?"* and names both sides. The evidence was in the plan the whole time.
+
+  Finding that required fixing a second thing: the footer read only the BLOCKED operations, and an `add-column` is `safe`. The counterpart of a rename was never in the list it was looking at.
+- **@voltro/cli** — **0.14.0's taxonomy codemod renamed two kinds of file it should not have, and a repo that already upgraded carries the damage with a green build.** Both were found by adopters running it on real projects; both are silent — the rename succeeds, the imports are rewritten, nothing throws.
+
+  **A framework primitive was treated as an undeclared file.** `health.route.tsx` → `health.route.component.tsx`, five times in one app. The codemod kept its OWN list of "suffixes that already carry a contract" instead of reading `fileConventions.ts`, and `.route.` was not on it — the exact drift that module exists to prevent, reproduced inside a file that imports from it. The list is gone; the registry answers now, and it gained `ROUTE_PATTERN` plus a `carriesFrameworkConvention()` every consumer shares.
+
+  The root cause underneath was worse than a missing entry: `export default defineRestRoute({...})` resolved to the placeholder name `Default`, which starts with a capital, and was counted as a COMPONENT on that basis. A default export is now only evidence of a component when the exported thing is callable — so a convention nobody has registered yet is safe too.
+
+  **A file with no exports was called a type file.** `test-setup.ts` → `test-setup.types.ts`, while `vitest.config.ts` still named `./test-setup.ts` as a **string**. Not an import, so nothing rewrote it and nothing failed: that suite would have run without its setup and stayed green. Five more went the same way — a registry module, two migration runners, a `.register.ts`, and a code generator whose `export` tokens live inside template strings.
+
+  `*.types.ts` promises "zero runtime exports", and that promise only means something for a file that exports TYPES. Zero of everything promises nothing, and renames a module whose whole purpose is being imported for effect — where the filename is often the only reference there is. It now requires at least one exported type.
+
+  **The shipped codemod undoes both**, and can only reach files whose content proves the suffix was wrong: a `.component.` on a name that already carries a framework convention, and a `.types.` on a file that exports nothing at all. It also prints the one thing it cannot fix — references by PATH rather than by import (a vitest `setupFiles`, a tsconfig `include`, a Docker `COPY`) were strings on the way out and are strings on the way back.
+- **@voltro/cli** — Three ways `voltro update` failed on a real adopter's host, none of which we could have found ourselves — each needs a machine we do not have.
+
+  **The install could not run here, and the refusal left the tree half-upgraded.** Their install runs in a container against its own store. `voltro update` ran the package manager on the host anyway; pnpm refused (it wanted to remove `node_modules` and had no TTY to ask) and exited — after the version bumps were already written and before any codemod ran. That is the state this command's own documentation calls the worst one to be in, and it was reachable by design.
+
+  `--no-install` now writes the bump and stops, saying plainly that the tree is half-upgraded and naming both remaining steps. The install-failed message points at it too. Note what this is not: a compatibility flag. It is a mode for a host where the install is somebody else's job, and it ends by telling you the job is not done.
+
+  **The codemod scan exhausted a 12 GB heap, and said nothing about why.** The crash was a bare V8 out-of-memory stack. The scan pruned the directories WE know about — `node_modules`, `dist`, `.turbo` — which cannot cover a project's own heavy ignored trees (a build cache, a data dump, a virtualenv).
+
+  Inside a git repository the scan now asks git: `git ls-files --cached --others --exclude-standard` is exactly "files this project considers its own", and a codemod rewrites source — source that git ignores is not source we may rewrite. It also removes the traversal, so there is nothing left to exhaust memory on. Outside a repo the walk remains, now with a ceiling that REPORTS which directory to exclude instead of dying namelessly.
+
+  **"not a Voltro app" was the wrong conclusion.** Said of a directory containing an `app.config.ts`, it sends the reader looking for the wrong problem. Three web apps in a workspace inherited from another tool had their `@voltro/*` dependencies in an ancestor `package.json` — the apps ARE Voltro apps; only the declaration lives elsewhere. With an `app.config.ts` present the message now says that, and names the two ways forward.
+
+  **A monorepo may keep ONE root `package.json`** with its apps carrying only an `app.config.ts`. Running `voltro update` inside such an app used to say "no package.json at <dir>" — true, and useless. It now recognises the layout, says it is supported, and prints the command with the root already filled in.
+- **@voltro/cli** — **`voltro update --only <id>`**, and a summary that stops contradicting itself.
+
+  `--only` runs just the named codemods (repeatable or comma-separated; ids are what `--dry-run` prints). The ask behind it: two of three codemods were load-bearing for one app — without them, 52 type errors and 51 routes that 404 — while the third was elective, and the repairing tool refuses on a dirty tree, so there was no way to take the necessary half first.
+
+  It is deliberately NOT a `--required` flag over a REQUIRED/OPTIONAL axis on each codemod. "Required" would have to mean *this app does not run without it*, and that is a property of the app: `03_pages-suffix` is unavoidable for a project with pages and irrelevant to an api-only one. Marking it on the codemod would encode a guess as a contract. An unknown id is an error listing the ids that ARE available — "it did nothing" and "you typed it wrong" otherwise look identical.
+
+  **The summary counted only edited files, and renames vanished from it.** The before-snapshot is keyed by PATH, so a moved file has no entry under its new one: a pass that renamed 238 files and edited 9 importers reported `(9 files)`, understating the change by a factor of 26 in the line a user plans around. Moves are now paired by content and reported separately — `(238 renamed, 9 edited)`.
+
+  **A dry run no longer speaks in the past tense.** It printed `✓ <id> — <title>`, the same line a real run prints. Now `·` and `[would apply]`.
+
+---
+
 ## [0.14.0] — 2026-07-26
 
 ### ⚠ BREAKING

package/dist/apikey.d.ts

@@ -1,3 +1,4 @@
+import { DataStore } from '@voltro/database';
 import { Schema } from 'effect';
 
 export declare interface ApiKeyRecord {
@@ -94,6 +95,29 @@ declare interface AuthStrategy {
 declare interface AuthStrategyInput {
     readonly headers: Readonly<Record<string, string | undefined>>;
     readonly clientId: number;
+    /**
+     * The app's DataStore, for a strategy that must READ to identify the caller.
+     *
+     * Without it, a DB-backed strategy — a session row, an API-key record, a PAT
+     * table — had to open a SECOND connection path beside the framework's, to the
+     * same database the request store opens a moment later. One adopter's
+     * `auth/db.ts` is 105 lines of exactly that: a second `ManagedRuntime` plus a
+     * `MysqlClient`, load-bearing for session lookup and their ApiKeyStore. Every
+     * DB-backed OIDC / SAML / PAT integration rebuilds it.
+     *
+     * It is the SAME value `auth.resolveScopes` receives — one store, handed to
+     * both, rather than a second narrower type for the same object. A read-only
+     * surface would be the better guarantee and it is not available cheaply here:
+     * `DataStore` is the driver SPI, and a strategy that writes during subject
+     * resolution is a design mistake the type system is not going to catch for
+     * you. Read users / sessions / keys; do not run domain writes.
+     *
+     * It is the BOOT store, not a request-scoped one — strategies resolve before
+     * a request store exists. `undefined` only while the store is still being
+     * built (`voltro dev` builds it after the auth chain; `voltro serve` before),
+     * and on an app with no store at all.
+     */
+    readonly store?: DataStore;
 }
 
 /** A strategy's verdict on a request.

package/dist/{auth-DVrHg739.js → auth-BPdyOBsd.js}

@@ -58,21 +58,25 @@ var r = t.Record({
 		scopes: n
 	};
 }, x = (e, t) => async (n) => {
-	for (let r of e) {
-		let e = await r.resolve(n);
-		if (e.kind === "matched") return t?.resolveScopes === void 0 ? e.subject : b(e.subject, await t.resolveScopes(e.subject, n));
+	let r = t?.getStore?.(), i = r === void 0 ? n : {
+		...n,
+		store: r
+	};
+	for (let n of e) {
+		let e = await n.resolve(i);
+		if (e.kind === "matched") return t?.resolveScopes === void 0 ? e.subject : b(e.subject, await t.resolveScopes(e.subject, i));
 		if (e.kind === "failed") {
 			t?.onStrategyFailed?.({
-				strategyId: r.id,
+				strategyId: n.id,
 				reason: e.reason
 			});
 			break;
 		}
 	}
-	if (t?.fallback) return t.fallback(n);
-	let r = n.headers["x-tenant"] ?? null;
-	if (r === null && t?.anonymousTenantRequired === !0) throw new S({ reason: "tenant required (x-tenant header missing)" });
-	return d(r);
+	if (t?.fallback) return t.fallback(i);
+	let a = i.headers["x-tenant"] ?? null;
+	if (a === null && t?.anonymousTenantRequired === !0) throw new S({ reason: "tenant required (x-tenant header missing)" });
+	return d(a);
 }, S = class extends t.TaggedError()("Unauthenticated", { reason: t.optional(t.String) }) {}, C = (e, t) => {
 	if (e.type === "anonymous") throw new S(t === void 0 ? {} : { reason: t });
 };

package/dist/index.d.ts

@@ -194,6 +194,29 @@ export declare interface AuthStrategy {
 export declare interface AuthStrategyInput {
     readonly headers: Readonly<Record<string, string | undefined>>;
     readonly clientId: number;
+    /**
+     * The app's DataStore, for a strategy that must READ to identify the caller.
+     *
+     * Without it, a DB-backed strategy — a session row, an API-key record, a PAT
+     * table — had to open a SECOND connection path beside the framework's, to the
+     * same database the request store opens a moment later. One adopter's
+     * `auth/db.ts` is 105 lines of exactly that: a second `ManagedRuntime` plus a
+     * `MysqlClient`, load-bearing for session lookup and their ApiKeyStore. Every
+     * DB-backed OIDC / SAML / PAT integration rebuilds it.
+     *
+     * It is the SAME value `auth.resolveScopes` receives — one store, handed to
+     * both, rather than a second narrower type for the same object. A read-only
+     * surface would be the better guarantee and it is not available cheaply here:
+     * `DataStore` is the driver SPI, and a strategy that writes during subject
+     * resolution is a design mistake the type system is not going to catch for
+     * you. Read users / sessions / keys; do not run domain writes.
+     *
+     * It is the BOOT store, not a request-scoped one — strategies resolve before
+     * a request store exists. `undefined` only while the store is still being
+     * built (`voltro dev` builds it after the auth chain; `voltro serve` before),
+     * and on an app with no store at all.
+     */
+    readonly store?: DataStore;
 }
 
 /** Strategies that need server-side callbacks (OAuth code-exchange,
@@ -363,6 +386,17 @@ export declare const composeAuthStrategies: (strategies: ReadonlyArray<AuthStrat
      * quickly a role change must take effect.
      */
     readonly resolveScopes?: (subject: Subject, input: AuthStrategyInput) => Promise<ReadonlyArray<string>> | ReadonlyArray<string>;
+    /**
+     * Hands every strategy the app's store on `input.store`.
+     *
+     * A GETTER rather than a value, and that is the whole reason this composes
+     * across both boot paths unchanged: `voltro dev` builds the store AFTER the
+     * auth chain and `voltro serve` builds it BEFORE. A value captured here
+     * would be `undefined` forever in dev and correct in serve — a capability
+     * present in production and missing in development, which is the drift
+     * class this repo has been bitten by most.
+     */
+    readonly getStore?: () => unknown;
 }) => ((input: AuthStrategyInput) => Promise<Subject>);
 
 /**
@@ -744,6 +778,23 @@ export declare const diffRows: (prev: ReadonlyArray<PatchRow>, next: ReadonlyArr
  */
 export declare const effectiveScopes: (subject: Subject) => ReadonlyArray<string>;
 
+/**
+ * Read the `_tag` off a thrown error value, or `undefined` when it has none.
+ *
+ * It lives here, beside `toRpc`, because `toRpc` is what puts the tag on the
+ * wire — one file owns both ends of that contract. It used to live in
+ * `@voltro/client`, and being there had a cost nobody could see from inside the
+ * framework: an app's shared error handler lived in a package that pulled only
+ * `@voltro/i18n`, so reading a tag meant taking a dependency on the whole client
+ * for seven lines. `_tag` is a wire concept, and protocol owns the wire.
+ *
+ * Works on a `Schema.TaggedError` instance AND on the plain `{ _tag: … }` object
+ * the wire actually emits — which is the distinction that matters at the call
+ * site: `instanceof` does NOT hold on the client, because what arrives there was
+ * decoded from JSON and never constructed. Match on the tag, not on the class.
+ */
+export declare const errorTag: (err: unknown) => string | undefined;
+
 /** Normalize the `exposeAsTool` shorthand. `true` is only valid when the
  *  descriptor carries a top-level `description`; callers pass that in. */
 export declare type ExposeAsTool = boolean | ExposeAsToolSpec;
@@ -2209,36 +2260,36 @@ export declare class SubjectService extends SubjectService_base {
 
 declare const SubjectService_base: Context.TagClass<SubjectService, "@voltro/Subject", {
     readonly id: string;
-    readonly type: "user";
     readonly tenantId: string;
+    readonly type: "user";
     readonly scopes?: readonly string[] | undefined;
     readonly metadata?: {
         readonly [x: string]: unknown;
     } | undefined;
 } | {
     readonly id: string;
-    readonly type: "apiKey";
     readonly tenantId: string;
+    readonly type: "apiKey";
     readonly scopes?: readonly string[] | undefined;
     readonly metadata?: {
         readonly [x: string]: unknown;
     } | undefined;
 } | {
     readonly id: string;
-    readonly type: "serviceAccount";
     readonly tenantId: string;
+    readonly type: "serviceAccount";
     readonly scopes?: readonly string[] | undefined;
     readonly metadata?: {
         readonly [x: string]: unknown;
     } | undefined;
 } | {
     readonly id: null;
-    readonly type: "anonymous";
     readonly tenantId: string | null;
+    readonly type: "anonymous";
 } | {
     readonly id: string;
-    readonly type: "system";
     readonly tenantId: null;
+    readonly type: "system";
     readonly scopes?: readonly string[] | undefined;
     readonly metadata?: {
         readonly [x: string]: unknown;

package/dist/index.js

@@ -1,5 +1,5 @@
 import { C as e, D as t, E as n, S as r, T as i, _ as a, a as o, b as ee, c as te, d as ne, f as s, g as re, h as ie, i as ae, l as oe, m as se, n as ce, o as le, p as ue, r as de, s as fe, t as pe, u as me, v as he, w as ge, x as _e, y as ve } from "./serverErrorBus-DhIVDkCi.js";
-import { a as ye, c as be, d as xe, f as Se, i as Ce, l as we, n as Te, o as Ee, p as De, r as Oe, s as ke, t as Ae, u as je } from "./auth-DVrHg739.js";
+import { a as ye, c as be, d as xe, f as Se, i as Ce, l as we, n as Te, o as Ee, p as De, r as Oe, s as ke, t as Ae, u as je } from "./auth-BPdyOBsd.js";
 import { Context as Me, Layer as Ne, Schema as c } from "effect";
 import { Rpc as l } from "@effect/rpc";
 //#region src/rowPatch.ts
@@ -133,13 +133,17 @@ var Pe = c.Union(c.String, c.Number), u = c.Record({
 	error: y(e.error, t),
 	stream: !0
 }), He = (e) => {
+	if (typeof e != "object" || !e) return;
+	let t = e._tag;
+	return typeof t == "string" ? t : void 0;
+}, Ue = (e) => {
 	switch (e.kind) {
 		case "query": return x(e);
 		case "mutation": return S(e);
 		case "action": return C(e);
 		case "stream": return w(e);
 	}
-}, Ue = (e) => {
+}, We = (e) => {
 	let t = e.input, n = t === void 0 ? {} : { input: t }, r = e.output, i = r === void 0 ? {} : { output: r };
 	if (e.kind === "query") return {
 		kind: "query",
@@ -180,15 +184,15 @@ var Pe = c.Union(c.String, c.Number), u = c.Record({
 			..."shapeItem" in e && e.shapeItem !== void 0 ? { shapeItem: e.shapeItem } : {}
 		}))
 	};
-}, We = (e) => e, Ge = (e) => e, Ke = (e) => {
+}, Ge = (e) => e, Ke = (e) => e, qe = (e) => {
 	if (e.length !== 0) return (t, n) => e.reduceRight((e, t) => t(e, n), t);
-}, qe = (e, t) => {
+}, Je = (e, t) => {
 	let n = Me.GenericTag(e);
 	return {
 		Tag: n,
 		Live: Ne.succeed(n, t)
 	};
-}, Je = (e, t, n) => {
+}, Ye = (e, t, n) => {
 	if (!t) return { ok: !0 };
 	let r = T(n);
 	if (!r) return {
@@ -198,7 +202,7 @@ var Pe = c.Union(c.String, c.Number), u = c.Record({
 	let i = t.trim();
 	if (i === "*" || i === "") return { ok: !0 };
 	let a = i.split(/\s+/).filter((e) => e.length > 0);
-	for (let i of a) if (!Ye(i, r)) return {
+	for (let i of a) if (!Xe(i, r)) return {
 		ok: !1,
 		reason: `plugin "${e}" requires framework ${t}, running ${n}`
 	};
@@ -211,7 +215,7 @@ var Pe = c.Union(c.String, c.Number), u = c.Record({
 		patch: Number(t[3]),
 		pre: t[4] ?? ""
 	} : null;
-}, E = (e, t) => e.major === t.major ? e.minor === t.minor ? e.patch === t.patch ? e.pre && !t.pre ? -1 : !e.pre && t.pre ? 1 : e.pre && t.pre ? e.pre < t.pre ? -1 : +(e.pre > t.pre) : 0 : e.patch - t.patch : e.minor - t.minor : e.major - t.major, Ye = (e, t) => {
+}, E = (e, t) => e.major === t.major ? e.minor === t.minor ? e.patch === t.patch ? e.pre && !t.pre ? -1 : !e.pre && t.pre ? 1 : e.pre && t.pre ? e.pre < t.pre ? -1 : +(e.pre > t.pre) : 0 : e.patch - t.patch : e.minor - t.minor : e.major - t.major, Xe = (e, t) => {
 	if (e === "*") return !0;
 	if (e.startsWith("^")) {
 		let n = T(e.slice(1));
@@ -233,12 +237,12 @@ var Pe = c.Union(c.String, c.Number), u = c.Record({
 	}
 	let r = T(e);
 	return r ? E(t, r) === 0 : !1;
-}, D = c.Literal("running", "succeeded", "failed", "cancelled", "suspended"), O = c.Literal("cancel", "terminate", "abandon"), Xe = c.Struct({
+}, D = c.Literal("running", "succeeded", "failed", "cancelled", "suspended"), Ze = c.Literal("cancel", "terminate", "abandon"), Qe = c.Struct({
 	id: c.String,
 	workflowName: c.String,
 	executionId: c.String,
 	status: c.Literal("running")
-}), k = c.Struct({
+}), O = c.Struct({
 	id: c.String,
 	tag: c.String,
 	executionId: c.String,
@@ -257,12 +261,12 @@ var Pe = c.Union(c.String, c.Number), u = c.Record({
 	durationMs: c.NullOr(c.Number),
 	traceId: c.NullOr(c.String),
 	parentExecutionId: c.NullOr(c.String),
-	parentClosePolicy: c.NullOr(O)
-}), A = c.Struct({
+	parentClosePolicy: c.NullOr(Ze)
+}), k = c.Struct({
 	tag: c.optional(c.String),
 	status: c.optional(D),
 	limit: c.optional(c.Number)
-}), j = c.Struct({
+}), A = c.Struct({
 	id: c.String,
 	runId: c.String,
 	stepName: c.String,
@@ -277,7 +281,7 @@ var Pe = c.Union(c.String, c.Number), u = c.Record({
 	startedAt: c.Date,
 	completedAt: c.NullOr(c.Date),
 	durationMs: c.NullOr(c.Number)
-}), M = c.Struct({
+}), j = c.Struct({
 	id: c.String,
 	runId: c.String,
 	eventType: c.String,
@@ -285,7 +289,7 @@ var Pe = c.Union(c.String, c.Number), u = c.Record({
 	occurredAt: c.Date,
 	stepName: c.NullOr(c.String),
 	attempt: c.NullOr(c.Number)
-}), N = c.Struct({
+}), M = c.Struct({
 	id: c.String,
 	name: c.String,
 	payload: c.Unknown,
@@ -293,7 +297,7 @@ var Pe = c.Union(c.String, c.Number), u = c.Record({
 	subject: c.NullOr(c.Unknown),
 	traceId: c.NullOr(c.String),
 	occurredAt: c.Date
-}), P = c.Struct({
+}), N = c.Struct({
 	id: c.String,
 	eventId: c.String,
 	eventName: c.String,
@@ -306,13 +310,13 @@ var Pe = c.Union(c.String, c.Number), u = c.Record({
 	errorMessage: c.NullOr(c.String),
 	createdAt: c.Date,
 	completedAt: c.NullOr(c.Date)
-}), F = c.Struct({ id: c.String }), I = c.Struct({ runId: c.String }), L = c.Struct({
+}), P = c.Struct({ id: c.String }), F = c.Struct({ runId: c.String }), I = c.Struct({
 	name: c.optional(c.String),
 	limit: c.optional(c.Number)
-}), R = c.Struct({ eventId: c.String }), z = c.Struct({
+}), L = c.Struct({ eventId: c.String }), R = c.Struct({
 	workflowName: c.String,
 	executionId: c.String
-}), Ze = c.Struct({
+}), z = c.Struct({
 	id: c.String,
 	signalName: c.String,
 	payload: c.optional(c.Unknown)
@@ -326,49 +330,49 @@ var Pe = c.Union(c.String, c.Number), u = c.Record({
 	updateId: c.String,
 	completedEventId: c.String,
 	result: c.Unknown
-}), Qe = g({
+}), $e = g({
 	name: "__voltro.workflow.run",
 	source: "_voltro_workflow_runs",
-	input: F,
-	output: c.Array(k)
-}), $e = g({
+	input: P,
+	output: c.Array(O)
+}), et = g({
 	name: "__voltro.workflow.runs",
 	source: "_voltro_workflow_runs",
-	input: A,
-	output: c.Array(k)
-}), et = g({
+	input: k,
+	output: c.Array(O)
+}), tt = g({
 	name: "__voltro.workflow.run.steps",
 	source: "_voltro_workflow_run_steps",
-	input: I,
-	output: c.Array(j)
-}), tt = g({
+	input: F,
+	output: c.Array(A)
+}), nt = g({
 	name: "__voltro.workflow.run.events",
 	source: "_voltro_workflow_run_events",
-	input: I,
-	output: c.Array(M)
-}), nt = g({
+	input: F,
+	output: c.Array(j)
+}), rt = g({
 	name: "__voltro.workflow.domainEvents",
 	source: "_voltro_workflow_events",
-	input: L,
-	output: c.Array(N)
-}), rt = g({
+	input: I,
+	output: c.Array(M)
+}), it = g({
 	name: "__voltro.workflow.event.deliveries",
 	source: "_voltro_workflow_event_deliveries",
-	input: R,
-	output: c.Array(P)
-}), it = v({
+	input: L,
+	output: c.Array(N)
+}), at = v({
 	name: "__voltro.workflow.cancel",
-	input: z,
+	input: R,
 	output: c.Struct({ ok: c.Boolean })
-}), at = v({
+}), ot = v({
 	name: "__voltro.workflow.resume",
-	input: z,
+	input: R,
 	output: c.Struct({ ok: c.Boolean })
-}), ot = v({
+}), st = v({
 	name: "__voltro.workflow.signal",
-	input: Ze,
+	input: z,
 	output: c.Struct({ eventId: c.String })
-}), st = v({
+}), ct = v({
 	name: "__voltro.workflow.update",
 	input: B,
 	output: V
@@ -382,33 +386,33 @@ var Pe = c.Union(c.String, c.Number), u = c.Record({
 }), K = class extends c.TaggedError()("UndoNotFound", { invocationId: c.String }) {}, q = class extends c.TaggedError()("UndoForbidden", { invocationId: c.String }) {}, J = class extends c.TaggedError()("UndoConflict", {
 	invocationId: c.String,
 	reason: c.Literal("conflict", "action")
-}) {}, Y = c.Union(K, q, J), ct = g({
+}) {}, Y = c.Union(K, q, J), lt = g({
 	name: H,
 	source: "_voltro_undo_log",
 	input: c.Struct({ limit: c.optional(c.Number) }),
 	output: c.Array(G)
-}), lt = _({
+}), ut = _({
 	name: U,
 	input: c.Struct({ invocationId: c.String }),
 	output: c.Struct({ ok: c.Boolean }),
 	error: Y
-}), ut = _({
+}), dt = _({
 	name: W,
 	input: c.Struct({ invocationId: c.String }),
 	output: c.Struct({ ok: c.Boolean }),
 	error: Y
-}), X = "__voltro.connections.list", dt = "__voltro.connections.start", ft = "__voltro.connections.submitToken", pt = "__voltro.connections.disconnect", Z = c.Literal("oauth2", "pat"), mt = c.Literal("disconnected", "connected", "expired", "revoked", "error"), ht = c.Struct({
+}), X = "__voltro.connections.list", ft = "__voltro.connections.start", pt = "__voltro.connections.submitToken", mt = "__voltro.connections.disconnect", Z = c.Literal("oauth2", "pat"), ht = c.Literal("disconnected", "connected", "expired", "revoked", "error"), gt = c.Struct({
 	connectionId: c.String,
 	kind: Z,
 	label: c.String,
-	status: mt,
+	status: ht,
 	accountId: c.NullOr(c.String),
 	accountLabel: c.NullOr(c.String),
 	scopes: c.Array(c.String),
 	expiresAt: c.NullOr(c.String),
 	lastError: c.NullOr(c.String),
 	connectedAt: c.NullOr(c.String)
-}), gt = class extends c.TaggedError()("ConnectionNotDeclared", { connectionId: c.String }) {}, _t = class extends c.TaggedError()("ConnectionSubjectRequired", { connectionId: c.String }) {}, vt = class extends c.TaggedError()("ConnectionKindMismatch", {
+}), _t = class extends c.TaggedError()("ConnectionNotDeclared", { connectionId: c.String }) {}, vt = class extends c.TaggedError()("ConnectionSubjectRequired", { connectionId: c.String }) {}, yt = class extends c.TaggedError()("ConnectionKindMismatch", {
 	connectionId: c.String,
 	expected: Z,
 	actual: Z
@@ -416,13 +420,13 @@ var Pe = c.Union(c.String, c.Number), u = c.Record({
 	connectionId: c.String,
 	reason: c.String,
 	transient: c.Boolean
-}) {}, $ = c.Union(gt, _t, vt, Q), yt = g({
+}) {}, $ = c.Union(_t, vt, yt, Q), bt = g({
 	name: X,
 	source: "_voltro_connections",
 	input: c.Struct({}),
-	output: c.Array(ht)
-}), bt = v({
-	name: dt,
+	output: c.Array(gt)
+}), xt = v({
+	name: ft,
 	input: c.Struct({
 		connectionId: c.String,
 		redirectTo: c.optional(c.String)
@@ -432,22 +436,22 @@ var Pe = c.Union(c.String, c.Number), u = c.Record({
 		state: c.String
 	}),
 	error: $
-}), xt = _({
-	name: ft,
+}), St = _({
+	name: pt,
 	input: c.Struct({
 		connectionId: c.String,
 		token: c.String
 	}),
 	output: c.Struct({ ok: c.Boolean }),
 	error: $
-}), St = _({
-	name: pt,
+}), Ct = _({
+	name: mt,
 	input: c.Struct({ connectionId: c.String }),
 	output: c.Struct({ ok: c.Boolean }),
 	error: $
-}), Ct = (e) => {
+}), wt = (e) => {
 	let t = e instanceof Date ? e.getTime() : typeof e == "number" ? e : typeof e == "string" ? new Date(e).getTime() : 0;
 	return Number.isNaN(t) ? 0 : t;
-}, wt = 1;
+}, Tt = 1;
 //#endregion
-export { te as ADMIN_SCOPE, oe as APIKEY_ISSUE_ORG_SCOPE, me as APIKEY_ISSUE_OTHER_SCOPE, ne as APIKEY_ISSUE_SELF_SCOPE, Ae as AuthMiddleware, X as CONNECTIONS_LIST_TAG, pt as CONNECTION_DISCONNECT_TAG, dt as CONNECTION_START_TAG, ft as CONNECTION_SUBMIT_TOKEN_TAG, Q as ConnectionHandshakeFailed, Te as ConnectionInfo, Oe as ConnectionInfoMiddleware, Z as ConnectionKind, vt as ConnectionKindMismatch, gt as ConnectionNotDeclared, ht as ConnectionState, mt as ConnectionStatus, _t as ConnectionSubjectRequired, wt as PROTOCOL_VERSION, s as ScopeError, Ce as Subject, ye as SubjectService, U as UNDO_APPLY_TAG, H as UNDO_LOG_TAG, W as UNDO_REDO_TAG, Ee as Unauthenticated, J as UndoConflict, q as UndoForbidden, G as UndoLogEntry, K as UndoNotFound, z as WorkflowControlInputSchema, N as WorkflowDomainEventRowSchema, L as WorkflowDomainEventsInputSchema, R as WorkflowEventDeliveriesInputSchema, P as WorkflowEventDeliveryRowSchema, O as WorkflowParentClosePolicySchema, M as WorkflowRunEventRowSchema, Xe as WorkflowRunHandleSchema, F as WorkflowRunRefSchema, k as WorkflowRunRowSchema, D as WorkflowRunStatusSchema, j as WorkflowRunStepRowSchema, I as WorkflowRunTableRefSchema, A as WorkflowRunsInputSchema, Ze as WorkflowSignalInputSchema, B as WorkflowUpdateInputSchema, V as WorkflowUpdateResultSchema, C as actionToRpc, ue as advisoryResourceGuardWarning, ke as anonymousSubject, ze as applyRowPatch, be as assertAuthenticated, de as beginIdempotent, Je as checkFrameworkCompat, se as checkGuards, ie as checkGuardsEffect, we as composeAuthStrategies, Ke as composeRpcInterceptors, St as connectionDisconnectDescriptor, bt as connectionStartDescriptor, xt as connectionSubmitTokenDescriptor, yt as connectionsListQueryDescriptor, v as defineAction, _ as defineMutation, We as definePlugin, Ge as definePluginRoute, qe as definePluginService, g as defineQuery, Ve as defineStream, Le as diffRows, re as effectiveScopes, ae as failIdempotent, a as findAdvisoryResourceGuards, o as finishIdempotent, he as getPolicyGuardResolver, ve as getResourceScopeResolver, je as hasCallbackRoutes, ee as hasEffectiveScope, _e as hasScope, p as idToPath, le as idempotencyScope, Re as isIdKeyed, r as isPolicyCheck, Be as isPolicyGuard, xe as isSystemSubject, fe as memoryIdempotencyStore, S as mutationToRpc, Ue as normalizeDescriptor, Fe as pathToId, pe as publishServerError, x as queryToRpc, e as requireScope, d as rowPatchOpSchema, f as rowPatchSchema, ge as setEffectiveScopes, i as setPolicyGuardResolver, n as setResourceScopeResolver, w as streamToRpc, t as subjectScopes, ce as subscribeServerErrors, h as subscriptionEvent, Se as systemSubject, De as tenantScopedSubject, He as toRpc, Ct as tsMs, lt as undoApplyDescriptor, ct as undoLogQueryDescriptor, ut as undoRedoDescriptor, it as workflowCancelDescriptor, nt as workflowDomainEventsQueryDescriptor, rt as workflowEventDeliveriesQueryDescriptor, at as workflowResumeDescriptor, tt as workflowRunEventsQueryDescriptor, Qe as workflowRunQueryDescriptor, et as workflowRunStepsQueryDescriptor, $e as workflowRunsQueryDescriptor, ot as workflowSignalDescriptor, st as workflowUpdateDescriptor };
+export { te as ADMIN_SCOPE, oe as APIKEY_ISSUE_ORG_SCOPE, me as APIKEY_ISSUE_OTHER_SCOPE, ne as APIKEY_ISSUE_SELF_SCOPE, Ae as AuthMiddleware, X as CONNECTIONS_LIST_TAG, mt as CONNECTION_DISCONNECT_TAG, ft as CONNECTION_START_TAG, pt as CONNECTION_SUBMIT_TOKEN_TAG, Q as ConnectionHandshakeFailed, Te as ConnectionInfo, Oe as ConnectionInfoMiddleware, Z as ConnectionKind, yt as ConnectionKindMismatch, _t as ConnectionNotDeclared, gt as ConnectionState, ht as ConnectionStatus, vt as ConnectionSubjectRequired, Tt as PROTOCOL_VERSION, s as ScopeError, Ce as Subject, ye as SubjectService, U as UNDO_APPLY_TAG, H as UNDO_LOG_TAG, W as UNDO_REDO_TAG, Ee as Unauthenticated, J as UndoConflict, q as UndoForbidden, G as UndoLogEntry, K as UndoNotFound, R as WorkflowControlInputSchema, M as WorkflowDomainEventRowSchema, I as WorkflowDomainEventsInputSchema, L as WorkflowEventDeliveriesInputSchema, N as WorkflowEventDeliveryRowSchema, Ze as WorkflowParentClosePolicySchema, j as WorkflowRunEventRowSchema, Qe as WorkflowRunHandleSchema, P as WorkflowRunRefSchema, O as WorkflowRunRowSchema, D as WorkflowRunStatusSchema, A as WorkflowRunStepRowSchema, F as WorkflowRunTableRefSchema, k as WorkflowRunsInputSchema, z as WorkflowSignalInputSchema, B as WorkflowUpdateInputSchema, V as WorkflowUpdateResultSchema, C as actionToRpc, ue as advisoryResourceGuardWarning, ke as anonymousSubject, ze as applyRowPatch, be as assertAuthenticated, de as beginIdempotent, Ye as checkFrameworkCompat, se as checkGuards, ie as checkGuardsEffect, we as composeAuthStrategies, qe as composeRpcInterceptors, Ct as connectionDisconnectDescriptor, xt as connectionStartDescriptor, St as connectionSubmitTokenDescriptor, bt as connectionsListQueryDescriptor, v as defineAction, _ as defineMutation, Ge as definePlugin, Ke as definePluginRoute, Je as definePluginService, g as defineQuery, Ve as defineStream, Le as diffRows, re as effectiveScopes, He as errorTag, ae as failIdempotent, a as findAdvisoryResourceGuards, o as finishIdempotent, he as getPolicyGuardResolver, ve as getResourceScopeResolver, je as hasCallbackRoutes, ee as hasEffectiveScope, _e as hasScope, p as idToPath, le as idempotencyScope, Re as isIdKeyed, r as isPolicyCheck, Be as isPolicyGuard, xe as isSystemSubject, fe as memoryIdempotencyStore, S as mutationToRpc, We as normalizeDescriptor, Fe as pathToId, pe as publishServerError, x as queryToRpc, e as requireScope, d as rowPatchOpSchema, f as rowPatchSchema, ge as setEffectiveScopes, i as setPolicyGuardResolver, n as setResourceScopeResolver, w as streamToRpc, t as subjectScopes, ce as subscribeServerErrors, h as subscriptionEvent, Se as systemSubject, De as tenantScopedSubject, Ue as toRpc, wt as tsMs, ut as undoApplyDescriptor, lt as undoLogQueryDescriptor, dt as undoRedoDescriptor, at as workflowCancelDescriptor, rt as workflowDomainEventsQueryDescriptor, it as workflowEventDeliveriesQueryDescriptor, ot as workflowResumeDescriptor, nt as workflowRunEventsQueryDescriptor, $e as workflowRunQueryDescriptor, tt as workflowRunStepsQueryDescriptor, et as workflowRunsQueryDescriptor, st as workflowSignalDescriptor, ct as workflowUpdateDescriptor };

package/dist/jwt.d.ts

@@ -1,3 +1,4 @@
+import { DataStore } from '@voltro/database';
 import { Schema } from 'effect';
 
 /** Pluggable auth strategy. Strategies are SYNC-fast on no-match
@@ -32,6 +33,29 @@ declare interface AuthStrategy {
 declare interface AuthStrategyInput {
     readonly headers: Readonly<Record<string, string | undefined>>;
     readonly clientId: number;
+    /**
+     * The app's DataStore, for a strategy that must READ to identify the caller.
+     *
+     * Without it, a DB-backed strategy — a session row, an API-key record, a PAT
+     * table — had to open a SECOND connection path beside the framework's, to the
+     * same database the request store opens a moment later. One adopter's
+     * `auth/db.ts` is 105 lines of exactly that: a second `ManagedRuntime` plus a
+     * `MysqlClient`, load-bearing for session lookup and their ApiKeyStore. Every
+     * DB-backed OIDC / SAML / PAT integration rebuilds it.
+     *
+     * It is the SAME value `auth.resolveScopes` receives — one store, handed to
+     * both, rather than a second narrower type for the same object. A read-only
+     * surface would be the better guarantee and it is not available cheaply here:
+     * `DataStore` is the driver SPI, and a strategy that writes during subject
+     * resolution is a design mistake the type system is not going to catch for
+     * you. Read users / sessions / keys; do not run domain writes.
+     *
+     * It is the BOOT store, not a request-scoped one — strategies resolve before
+     * a request store exists. `undefined` only while the store is still being
+     * built (`voltro dev` builds it after the auth chain; `voltro serve` before),
+     * and on an app with no store at all.
+     */
+    readonly store?: DataStore;
 }
 
 /**

package/dist/rest.js

@@ -1,5 +1,5 @@
 import { a as e, i as t, o as n, r, t as i } from "./serverErrorBus-DhIVDkCi.js";
-import { s as a } from "./auth-DVrHg739.js";
+import { s as a } from "./auth-BPdyOBsd.js";
 import { Effect as o, Schema as s } from "effect";
 //#region src/publicApi.ts
 var c = (e, t) => t.method ?? (e === "query" ? "GET" : "POST"), l = (e, t) => t.path ?? `/${t.version ?? "v1"}/${e.replace(/\./g, "/")}`, u = (e, t, n) => {

package/dist/session.js

@@ -1,4 +1,4 @@
-import { i as e } from "./auth-DVrHg739.js";
+import { i as e } from "./auth-BPdyOBsd.js";
 import { Schema as t } from "effect";
 import { createHmac as n, timingSafeEqual as r } from "node:crypto";
 //#region src/session.ts

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@voltro/protocol",
-  "version": "0.14.0",
+  "version": "0.15.0",
   "description": "The Voltro wire + plugin contract — defineQuery/Mutation/Action/Stream, definePlugin, sessions / JWT / API-keys, and the RPC protocol.",
   "keywords": [
     "voltro",
@@ -53,7 +53,7 @@
   },
   "dependencies": {
     "@effect/sql": "^0.51.1",
-    "@voltro/database": "0.14.0",
+    "@voltro/database": "0.15.0",
     "jose": "^6.2.3"
   },
   "peerDependencies": {