@voltro/runtime 0.53.0 → 0.54.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/CHANGELOG.md CHANGED
@@ -39,6 +39,201 @@ _Changes staged for the next release accumulate here (rolled up from
39
39
 
40
40
  ---
41
41
 
42
+ ## [0.54.0] — 2026-08-27
43
+
44
+ ### ⚠ BREAKING
45
+
46
+ - **@voltro/local-first** — **`CrdtDocHandle.onUpdate` now tells its handler whether the update was LOCAL.** The signature gains a second argument: `onUpdate((update, { local }) => …)`. `local: false` means the blob came from folding somebody else's state through `applyState`.
47
+
48
+ Without it, an echo guard could not be written correctly on the public surface. Applying a peer's update fires the same handler a local edit does, so an app pushing from `onUpdate` re-broadcasts what it just received — measured with three tabs open, one keystroke produced three server writes instead of one. It converges (the merge is idempotent), but the amplification scales with the session.
49
+
50
+ The only app-level workaround was an `applying` boolean around `applyState`, and that is correct **only** while the backend emits synchronously — a property `CrdtBackend` deliberately does not promise ("the backend decision lives behind our abstraction so it can change"). So the flag had to come from the backend: the yjs one tags its own folds with a symbol origin and reports anything else as local.
51
+
52
+ `codemod: none` — the parameter is ADDITIVE. An existing single-argument handler keeps compiling and keeps behaving exactly as before; there is nothing to rewrite. Read the flag when you push from `onUpdate`, which is what `useCrdtDoc` does for you.
53
+ - **@voltro/local-first** — **`RUNTIME_SEAMS` lists ONE seam now, not three** — `['sync-transport-app-tags']`. `RuntimeSeam` narrows with it. The two removed entries left in opposite directions, and `seams.ts` was asserting both halves of the contradiction at once: its `DONE` prose said the presence broker binding shipped while the array beside it still named `presence-broker-binding` as open.
54
+
55
+ - `presence-broker-binding` is BUILT. `usePresenceChannel` (`@voltro/plugin-presence/web`) rides the framework's own presence lane, so cross-replica fan-out belongs to the broadcast plugin and there is one presence wire rather than two; the shape is pinned by `presence/channelParity.test-d.ts`. - `wasm-sqlite-durable-adapter` was REJECTED, with the reasoning recorded in `mirror/queryMirror.ts`: the client's query surface is `(tag, input)` and predicates never exist client-side, so a browser SQL engine would evaluate a language the client never sees. A decision is not a gap, and listing it as one invites somebody to close it. A SQLite BACKING beneath `KvStore` remains available and is a different door.
56
+
57
+ `codemod: none` because nothing in the framework reads this constant and nothing asks a user to: it is a documentation manifest that happens to be typed. There is no mechanical rewrite for a removed member of one — the correction is the sentence above.
58
+
59
+ The docs site's "what's shipped vs. a runtime seam" table carried the same two rows in both languages and now carries one, with both departures stated rather than silently dropped: "we have not built it" and "we decided against it" are different answers and a reader is entitled to know which one applies.
60
+
61
+ ### Added
62
+
63
+ - **@voltro/content, @voltro/cli** — **Relative images inside markdown content are copied into the build, and their `src` rewritten to the copy.** `![cover](./cover.png)` now lands in `dist/assets/content-media/<hash>.<ext>` and the rendered HTML points there. `voltro dev` serves the same URL shape on demand from the source file, so a page's HTML does not change between development and a build.
64
+
65
+ Nothing moved those files before: the artifact emit wrote JSON and the renderer emitted the relative src verbatim, so a built blog asked the browser for a path that exists only in the source tree — while `routing/assets.md` said, in both languages, that the content pipeline copied and hashed them.
66
+
67
+ A reference to a file that does not exist now FAILS the build and names the path. The alternative — emit the src and continue — is the defect itself: the page renders, the browser 404s, and the build says nothing.
68
+
69
+ Absolute (`/…`) and remote sources are untouched; they are not the build's to move. Copy and content-hash only — build-time transformation (resize / format) remains a named non-goal for markdown content, because a markdown reference carries no width and no `sizes` to derive one from. The `?image` pipeline stays the answer where that matters.
70
+
71
+ Renderers outside the framework's build are unaffected: `@voltro/content` exposes this as a registered resolver (`setContentAssetResolver`), and with none registered a relative src is left exactly as written rather than rewritten to a path nothing serves.
72
+ - **@voltro/cli, @voltro/runtime** — **The server-side CRDT compaction threshold is an `app.config.ts` field now, not an environment variable only.** `crdt.compactMaxBytes` (default 512 KiB, `0` disables) decides when a merged `crdtText()` / `crdtDoc()` blob is soft-compacted — re-encoded through a live doc, same lineage, so every outstanding client update still merges. `VOLTRO_CRDT_COMPACT_MAX_BYTES` still wins over it: an operator acting on a running deployment outranks what the project declared.
73
+
74
+ This is the standing rule ("every number the framework picks on your behalf is a config field with a default, plus an env override"), applied to the one knob that had only the environment half. A threshold sized for a document shape is a property of the project, so it belongs in a file a reviewer reads and a deploy carries — not in whatever `env:` block somebody remembered to set.
75
+
76
+ Resolved by ONE builder both boot paths call (`wireCrdtTunables`), registered into the process slot the merge path reads — the `wireReactiveSocketTunables` shape, for the reason that shape exists: two paths resolving a value separately is how they come to disagree. `setCrdtCompactMaxBytes` was exported and called by nothing before this; the runtime kept a lazy env read for a process that never runs a boot path (a unit test), and that remains the fallback rather than a second answer.
77
+
78
+ Note `0` is a value here, not an absence — it means "do not compact" — so the resolver's floor is `>= 0` on both the config and the env side. The `> 0` floor the other tunables use would have silently dropped a declared zero.
79
+ - **@voltro/cli** — **The gRPC surface's shutdown drain budget is configurable — `grpc.drainMs` (default 5000, `0` forces immediately, env `VOLTRO_GRPC_DRAIN_MS`).** It was a `5_000` literal in the `stop()` closure.
80
+
81
+ It is a knob rather than a measured constant, and the distinction is worth stating because the framework deliberately refuses knobs elsewhere on the same page (compression levels are fixed — "a knob nobody can pick correctly is worse than a measured default"). A compression level has no input outside the process. A drain budget has two, and neither is ours: the orchestrator's termination grace, past which SIGKILL arrives and a longer budget is decorative; and the app's longest legitimately in-flight call, below which every rolling deploy force-closes work that would have finished. The default fits the 30 s grace both kubernetes and `docker stop` default to.
82
+
83
+ The `grpc:` config shape was also declared THREE times — `ApiAppConfig`, `ServeApiOptions` and the shared builder's options — which is how a field lands on two of them. It is one exported `GrpcSurfaceConfig` now, referenced by all three, so the shared builder both boot paths already call is the only thing that reads it.
84
+
85
+ The boot line and the budget-exceeded warning both name the resolved value, so what a process will wait is visible before the shutdown rather than after it.
86
+ - **@voltro/cli** — **Partial prerendering's counters are now real metrics — they were incremented by both boot paths and read by nothing, while the observability docs listed them among the exportable ones.** A reader who went looking for them at the OTLP or Prometheus endpoint found nothing there: `pprMetrics()` was a `globalThis` counter slot with no registry bridge, no inspect endpoint and no log line.
87
+
88
+ Five series, all labelled `page` — the DECLARED route pattern (`/blog/[slug]`), never a resolved URL: `voltro_ppr_shell_serves_total`, `voltro_ppr_hole_passes_total`, `voltro_ppr_hole_settles_total`, `voltro_ppr_hole_errors_total`, and the `voltro_ppr_hole_pass_seconds` histogram. They land in Effect's global `MetricRegistry`, so `@voltro/plugin-prometheus`' `GET /metrics` and `GET /_voltro/inspect/metrics` both see them with nothing to register — the same placement `@voltro/database` uses for `voltro_db_*`.
89
+
90
+ `voltro_ppr_hole_errors_total` is the one to alert on, and it is a separate series rather than a `status` label for a reason: a failed hole pass is invisible from outside. The shell is already on the wire with a `200`, so the page renders and every `<Await>` boundary silently stays on its fallback forever.
91
+
92
+ Two things changed beyond the bridge. The last/max latency PAIR is gone in favour of the histogram — a last value plus a monotonic max answers strictly less, and the max never comes back down. And `voltro dev` now counts shell serves too; the counter previously existed only on the `voltro start` path, which for a metric is the silent kind of drift (the series simply reads zero).
93
+
94
+ The `globalThis` slot is deleted rather than kept beside the registry: two counters for one fact is how a dashboard and a scrape target come to disagree.
95
+ - **@voltro/plugin-presence** — `resolveMember` now receives the app's `store`, and `identityFields:` closes the hole in the obvious resolver.
96
+
97
+ Both from a deployment that adopted the hook and reported what it cost them.
98
+
99
+ **The store.** The resolver's whole job is a by-id read, and `app.config.ts` — where it is declared — is evaluated long before a migrated `DataStore` exists. The workaround is a module cell filled from a `*.startup.ts`; the plugin already receives the store through `bindDataStore`, so it hands it to the resolver instead: `resolveMember: ({ subject, store }) => …`.
100
+
101
+ **The hole.** Resolved fields merge OVER the caller's `meta`, so a key the resolver does not return keeps whatever the client sent. A resolver returning only what it found — `{ userName }` for a user with no avatar — therefore leaves a caller-supplied `avatarUrl`, or a `userName` the resolver has never heard of, standing in the roster every other member reads. That is the exact substitution the hook exists to prevent, and the doc comment's promise ("a caller cannot override what the server says about them") was broader than the behaviour: it holds only for the keys returned on that call.
102
+
103
+ `identityFields: ['userName', 'avatarUrl']` names the keys the SERVER owns. They are stripped from the caller's `meta` BEFORE the merge, so the answer is the same on every call whether or not the resolver produced a value. Ignored without a `resolveMember` — with no server identity to protect, stripping a client field would only delete data the app put there deliberately. Returning every identity key (`null` where you have no value) remains the alternative, and is what the reporting deployment did.
104
+ - **@voltro/plugin-queue** — **Queue consumers now export Prometheus series and open one tracing span per message, continuing the producer's trace.** Both were specified and neither was built: `voltro_queue_consumed_total` had zero occurrences anywhere in the repo, and `traceparent` was copied out of the message headers onto `ctx.traceparent` — a value a handler can forward by hand, not a trace. A Kafka hop was where every distributed trace ended.
105
+
106
+ Four series, all in Effect's global `MetricRegistry` (so `GET /metrics` and `GET /_voltro/inspect/metrics` both see them): `voltro_queue_consumed_total{topic,outcome}`, `voltro_queue_retries_total{topic}`, `voltro_queue_produced_total{topic}` and the `voltro_queue_lag_messages{topic,partition}` gauge.
107
+
108
+ `outcome` is a closed two-value union — `ok` and `dead-lettered` together are every message the runner finished with, so the dead-letter rate is a division with no second series to join. A message abandoned by a REBALANCE is deliberately in neither: it was not consumed here, its new owner redelivers and counts it there, and counting it twice would make that ratio wrong in the direction of looking healthy.
109
+
110
+ Lag costs no extra round trip — `highWatermark` already rides along in the fetch response, so it is arithmetic on data the provider was handed. It is recorded in the provider rather than the runner because that is the only layer holding the watermark; the runner could only get it by asking the broker. Offsets are parsed as `BigInt` so a long-lived topic cannot lose precision, and an unparseable pair records nothing rather than a zero: "no lag" and "we could not tell" must not read the same.
111
+
112
+ The per-topic inspect counters stay, and each fact is now moved by exactly ONE recorder that writes both the slot and the series, so the dashboard and the scrape target cannot drift.
113
+
114
+ Each message is processed inside a `queue.consume` span whose parent is the incoming `traceparent`, parsed by the same `externalSpanFromTraceparent` the inbound-webhook path uses — so a malformed or all-zero header means "no parent" (a fresh root span), never a failed message. The span covers the whole message including retries and the dead-letter publish, and carries the OTel `messaging.*` attributes plus `voltro.queue.outcome`. The topic is an attribute, not part of the span name.
115
+
116
+ Known limit, measured rather than assumed: a span opened from DETACHED work does not reach an OTLP exporter, because the framework's tracer is a `Layer` provided only inside the rpc server's scope. This is framework-wide (`cdcOut.deliver` and `plugin.<name>.schedule-fire` are the same shape) and is stated in the queue docs rather than implied away. The metrics are unaffected — the metric registry is a process global.
117
+ - **@voltro/runtime, @voltro/voltro** — `setRowFilter({ …, tables: ['bookmarks', 'recentSearches'] })` — declare which tables your filter may narrow, and delta-resume survives everywhere else.
118
+
119
+ Delta-resume is excluded for a subscription whose row set is re-resolved per delivery: replaying deltas could serve rows the subject has since lost. But the question the runtime could ask was only "is a filter registered in this process?", so ONE registration disabled cheap reconnects for every subscription in the app — a deployment measured a filter narrowing 4 tables costing the feature on all 173 of their query descriptors, 55 of whose source tables the filter never touches.
120
+
121
+ The exclusion is per table now. A declared filter keeps resume for every subscription whose source is not in its set; an undeclared filter keeps today's conservative behaviour (the runtime cannot know which tables the predicate may reach, and "unknown" must read as "yes").
122
+
123
+ **Declared, not probed** — and the difference is soundness, not taste. Resolving the scope at subscribe and treating `predicate(ctx, source) === undefined` as safe is the cheaper version: it is wrong, because the predicate is a function of freshly loaded context, so a table it does not narrow now may be narrowed on the next delivery — which is the entire reason the filter is re-resolved per delivery. A static list is a promise about every future resolution, and the runtime holds the app to it: a predicate returned for an undeclared table raises the new `RowFilterDeclarationViolated` at the read that did it (the request fails, a subscription is revoked) rather than serving rows under a resume grant the declaration no longer earns.
124
+
125
+ Eager loads (`.with(...)`) stay excluded wholesale — a relation resolves below the seam that narrows (see the sibling entry).
126
+
127
+ `apiSurface: compatible` — the golden also picks up `subscribeDescriptor` gaining its `reauthorize`/`refilter` parameters, which landed in the SSE/gRPC row-filter fix without a regeneration. That member is a framework-internal transport binding: the only implementors are the two boot paths (`serveApi.ts`, `dev.ts`), both already passing the new arguments. No user code implements or calls it, so no code that compiled stops compiling.
128
+ - **@voltro/local-first** — **`useCrdtDoc` — the transport half `useCrdtEditor` had no partner for.** `useCrdtEditor({ doc })` takes a `CrdtDocHandle` and owns the editor lifecycle; getting that handle wired to a server was app-level glue until now. Import it from `@voltro/local-first/react`:
129
+
130
+ ```tsx
131
+ const shared = useCrdtDoc({
132
+ cell: { table: 'documents', id, column: 'body' },
133
+ remote: row.data?.body ?? null, // the reactive query streaming the row
134
+ push: (w) => save.mutate({ id: w.id, update: w.update }),
135
+ })
136
+ // in a CHILD component, so useCrdtEditor is never a conditional hook call:
137
+ const editor = useCrdtEditor({ doc })
138
+ ```
139
+
140
+ It returns `{ doc, loaded, outstanding, synced, setOnline }`. `doc` is `null` until the mount effect has run — the document is built in an effect, never during render, which is what a rich-text binding gets wrong first (constructing during render crashes a prerender and leaves a second instance alive under StrictMode).
141
+
142
+ **It is `createSyncClient`-backed, not new glue.** The four-line hand-rolled version loses the offline queue, the bounded retry, `outstanding`/`synced`, the per-cell coalescence that drains 1000 offline keystrokes as O(1) pushes, durable persistence, and the discipline that a `null` row means NOT LOADED rather than an empty document — fold an empty document over a loading row and the first keystroke can push a state that erases what was stored.
143
+
144
+ **The echo guard is the part that could not be written outside the package until now.** A `crdtDoc()` handle is mutated by the EDITOR, so local edits arrive as `onUpdate` callbacks — and folding a peer's state through `applyState` fires the same callback. The hook pushes only when `local` is true. Without that, every client re-broadcasts what it just received.
145
+
146
+ `useCrdtText` and `useCrdtDoc` now build their sync client through one shared internal seam rather than two copies of the same transport wiring.
147
+
148
+ ### Fixed
149
+
150
+ - **@voltro/runtime** — A row filter was bypassed for any table reached through `.with(...)`.
151
+
152
+ The filter is AND-merged onto a read's BASE table by the store middleware; an eager load is resolved BELOW that seam — the memory store recurses through its own raw read, the SQL stores fold the relation into one join — so the relation's rows never passed the code that would narrow them. Measured on one data set: a filter restricting `readers` to the caller returned exactly the caller's row on a direct read and BOTH rows through `.with({ readers: true })`.
153
+
154
+ Applying the filter inside eager compilation is the real fix and it is a per-dialect change. Until then the read REFUSES rather than serves, naming the table and both ways out (read it as its own query, or drop it from the `.with(...)`). Only relations reaching a table the filter actually narrows are affected; every other eager load is untouched, and an app with no filter pays nothing.
155
+
156
+ Silent exposure is the one outcome that must not survive the gap — the same reasoning that makes this module refuse to fail open when `load` fails.
157
+ - **@voltro/cli** — **The AGENTS.md seeder executed every app's `app.config.ts`, so seeding one app could stop another from booting.** It walked `apps/<proj>/<app>` for the whole workspace and `import()`ed each config to read its `plugins:` list. An `app.config.ts` is not inert: it imports the app's schema, which calls `databaseHandle(...)`, which REGISTERS every table. Two apps that each declare an `actors` table therefore collided —
158
+
159
+ ```
160
+ duplicate table 'actors' registration: two different table descriptors claim the same name.
161
+ ```
162
+
163
+ — and the app being booted was the one that failed. A reference project could not start at all.
164
+
165
+ The seeder parses the config now instead of importing it, resolving each plugin's package by pairing the identifiers called inside the `plugins: [...]` block with the import that introduced them (so a renamed import still lands on the right package), and reading the `{ name: '…' }` form directly. A plugin it cannot attribute is dropped rather than guessed: the index is a filter, and a wrong row is worse than a missing one.
166
+
167
+ The rule this encodes: **a step that writes documentation must not execute application modules.** Nothing about composing an index needs a config's runtime value, and the sibling app-discovery pass was already reading the same file as text for its `type:` check.
168
+
169
+ Worth knowing for the next diagnosis: two different descriptors for one name reads like one module evaluated twice, so the investigation went looking for split module identity (pnpm symlink vs real path, ESM cache keying). It was two DIFFERENT apps, pulled in by a documentation step — found by tracing what actually resolved, not by reasoning about what could.
170
+ - **@voltro/cli** — **`voltro build` read the PREVIOUS build's config, so every `app.config.ts` change landed one build late.** `loadConfig` prefers the precompiled `.framework/dist/server/appConfig.js` when it exists — correct for `serve` / `start`, which cannot read TypeScript, and exactly wrong for the command that WRITES that file. Anything consumed before the config is recompiled took the stale value: `fonts`, `images`, `seo`, `theme`, `locales`.
171
+
172
+ Silent in the worst way: the second build is always right, so the symptom is "my change did nothing" followed by "…and now it works", with no error either time. Measured by setting `title` to a probe value, building, and finding the old title in the generated shell.
173
+
174
+ `voltro dev` already carried this fix, with the reasoning written on the option itself. The build path is the one that makes the artefact, so it is the last place that should trust it.
175
+ - **@voltro/local-first** — **`useCrdtEditor` built its editor during RENDER, so a default page could not mount it and StrictMode leaked one.** The Tiptap instance was constructed inside a `useMemo`, which runs while rendering. Two consequences, both real:
176
+
177
+ - **Server render threw.** Tiptap needs `window`; a page mounting this hook failed prerender with `there is no window object available`. `renderMode` defaults to `'static'`, so that is the ordinary page, not an exotic one. - **React's double-invoked render built TWO editors** and the cleanup destroyed only the last, leaving the first alive holding its Yjs binding. `useCrdtText`'s own comment documents exactly this shape as a bug; the editor had it anyway.
178
+
179
+ Construction moved into an effect, and the cleanup destroys THAT instance rather than whatever the ref currently holds — reading the ref destroys the new editor on a rebuild and leaves the old one running.
180
+
181
+ `extensions` is no longer a dependency. Callers pass an inline array literal, which is a fresh identity every render, so listing it rebuilt the whole editor per keystroke; it is read at construction from a ref instead. The trade is stated rather than hidden: changing `extensions` after mount does not rebuild the editor — remount with a `key` if you need that.
182
+
183
+ **`CrdtDocHandle` is exported now.** It is the parameter type of `useCrdtEditor`, and it was declared, used across the package, and exported from nowhere — visible in the built `.d.ts` only as a bare `declare interface`, which no import can reach. An app binding an editor could not type its own variable.
184
+ - **@voltro/cli** — `middleware.ts`'s `cspNonce` now reaches the scripts in a STREAMED response's `<head>`. Both boot paths handed the nonce to React — which stamps only the scripts React itself emits — and not to the driver that composes the head, so on the arm a plain `renderMode: 'ssr'` page takes, `renderDeferredRegistryScript()` (executable inline JS) and the `__voltro_state__` payload went out bare under the very `script-src 'nonce-…'` policy the same response set. A deferring page's registry was therefore the one script the browser refused to run. The `renderMode: 'spa'` layout-shell arms were unstamped end to end for the same reason and are fixed with them.
185
+
186
+ `stampScriptNonce` also stops mistaking `data-nonce="…"` or a `?nonce=` query parameter for a nonce attribute, which left exactly the tags a policy then blocked unstamped.
187
+
188
+ Still open, and now documented rather than implied: the settle `<script>` an `<Await>` boundary emits inside the streamed body is part of the rendered tree, so neither stamper reaches it — `defer()` and `cspNonce` do not compose yet.
189
+ - **@voltro/runtime, @voltro/cli, @voltro/plugin-queue, @voltro/plugin-cdc-out** — **A span opened by detached work reached no exporter.** The tracer is a `Layer` provided at `startRpcServer`'s outermost scope, so `Effect.withSpan` inside a handler resolves the configured OpenTelemetry tracer. Work that runs OUTSIDE a request fiber — a broker callback, a schedule firing, a CDC delivery — reaches Effect through its own `runPromise`, which resolves the DEFAULT tracer: it creates spans and hands them to nobody. Measured against a live tracing layer: **0 finished spans**, for three framework span sites that all read as instrumented (`queue.consume`, `cdcOut.deliver`, `plugin.<name>.schedule-fire`).
190
+
191
+ The server now publishes its tracer instance into a process cell (`globalThis` + `Symbol.for`, for the same duplicate-instance reason `coreTablesRegistry` and the row filter are there), and detached work runs under it via `withServerTracer`. That is exactly the correction the LOGGER already had one line over in `rpcServer.ts` — detached fibers "start from the default runtime and carry their own", and were given one; the tracer never was.
192
+
193
+ Not a second provider: a per-plugin tracer means a second `NodeTracerProvider` with an exporter nothing flushes at shutdown, and global OTel registration is refused on purpose. There is one tracer, built where it always was.
194
+
195
+ `withServerTracer` is a no-op when nothing is published — a unit test, an embedder, a process with no rpc server — never a throw and never a second tracer. Pinned by `serverTracer.test.ts`, whose second case drives the defect directly: without the wrapper, the same span never reaches the tracer under test.
196
+ - **@voltro/local-first** — **`useCrdtEditor` was unreachable from a published install.** `@voltro/local-first`'s source `exports` map carried `./editor`, its `publishConfig.exports` — the map an npm install actually resolves — carried only `.` and `./react`, and the build emitted no editor bundle. So the rich-text editor binding worked inside this monorepo (where `workspace:*` resolves the source map) and gave every user `ERR_PACKAGE_PATH_NOT_EXPORTED`, while the docs taught it.
197
+
198
+ `editor` is a build entry now, `./editor` is in the published exports, and it has its own api-extractor report so the surface is checked like the other two. An entry point that is documented and not built is a feature that exists for nobody outside this repo, and the two maps diverging is the shape that hides it: the one you read is not the one users resolve.
199
+ - **@voltro/web** — `responseHeaders` and `cspNonce` are on the type users actually write against.
200
+
201
+ The CSP-nonce and response-header feature shipped with its fields declared in the CLI's internal `MiddlewareResult` and NOT in the one `@voltro/web/middleware` publishes — the type `defineMiddleware` checks a user's `run` against. The runtime honoured both fields; the compiler refused them. So the documented way to set a `Content-Security-Policy` from middleware produced TS2322, and the only way to use a working feature was to cast around its own type.
202
+
203
+ Two definitions of one shape is what allowed it: the half that gained the feature is not the half a user writes against. The published type carries both fields now, with the same documented limits (a prerendered `static` file is served without a render, so no middleware runs; `cspNonce` is `ssr` only, because an isr render is cached and a cached nonce is a lie the browser enforces).
204
+
205
+ Caught by the `web-layout-loader` fixture, which is the only place that writes this type the way a user does.
206
+ - **@voltro/cli** — `voltro mobile <dir>` read its directory with a predicate that treats every flag as valued.
207
+
208
+ The command found its root with a hand-rolled scan — first argument that does not start with `-` and is not preceded by a `--flag`. Two things go wrong with that shape, and `cliPositionalFlagSafety.test.ts` exists because they have gone wrong before:
209
+
210
+ - it treats a BOOLEAN flag as consuming the next argument, so `voltro mobile links --help ./app` decided `./app` was `--help`'s value and silently fell back to `process.cwd()`; - it matched with `indexOf`, the FIRST occurrence, so an argument whose text appears twice was judged by the wrong position.
211
+
212
+ It uses `firstPositional(args, VALUED_FLAGS)` now, with the three flags that actually take a value declared rather than inferred.
213
+ - **@voltro/database** — Adding a `.default(…)` to an EXISTING `text()` column no longer kills the migration on MySQL. MySQL refuses a DEFAULT on a TEXT/BLOB column outright (`BLOB, TEXT, GEOMETRY or JSON column 'x' can't have a default value`), where MariaDB allows it — so the same declaration applied on one engine and failed mid-migration on the other. `CREATE TABLE` has always answered this by widening such a column to `VARCHAR(255)` (`NVARCHAR(450)` on SQL Server, where the reason is indexability); the ALTER path now applies that same answer, reshaping the column to the declared shape instead of setting a default on whatever the column happened to be. A column therefore ends up with the same type whether the default was declared before or after the table existed. Postgres (TEXT takes a DEFAULT) and SQLite (rebuilds to the declared shape) are unchanged. Note the narrowing: on mysql/mariadb the column becomes `VARCHAR(255)`, so the ALTER fails loudly if an existing row is longer — use `text().maxLength(n)` to choose the width. The same widening rule also reached `ADD COLUMN`, which on SQL Server had emitted `NVARCHAR(MAX)` for a column `CREATE TABLE` renders as `NVARCHAR(450)`.
214
+ - **@voltro/cli** — **Validation errors on the no-JavaScript form path rendered in English on every locale.** `validateFields` resolves message ids through a locale whose default is `documentLocale()` — it reads `<html lang>`, and outside a browser that is always `'en'`. The `/form/*` handler runs on the server, so a German page's 422 came back with English field errors while the same form with JavaScript rendered German; the flash carries the resolved strings, so hydration kept them.
215
+
216
+ The handler now resolves the locale from THIS request through the same resolver the surrounding page render and the ISR cache key already use (cookie › `Accept-Language` › the app's default). It is a required option on `makeFormPostHandler` rather than an optional one: both boot paths mount that handler separately, and an option nobody has to pass is one a new mount silently omits — landing straight back on the browser default. An app with no `locales` configured answers `'en'` explicitly.
217
+
218
+ **Under URL-prefix i18n the referring path outranks that chain.** There the language IS the URL (`/de/todos`) and the cookie may say something else entirely, so a cookie-only answer renders errors for a page the user is not on. The handler passes the referer's path to the resolver and both boot paths check it against the app's declared `locales` first, through one shared `localeFromPathPrefix` — a first segment that is not a declared locale (`/design/…`) falls through to the cookie chain rather than being mistaken for one. This is the "referer path vs. locale cookie" question the no-JS form work left open; the answer is both, in that order.
219
+ - **@voltro/client** — `useOutbox`'s `resolveConflict(id, input)` now actually replays the entry it resolved. It replayed against the pre-resolution queue — `replay` reads the queue through a ref, and the `setQueue` beside it had not landed yet — so the entry it was handed was still `conflict`, `replayable()` stopped at it, and nothing was sent. The resolution then sat in the queue as `pending` with no further replay scheduled, and every write queued behind it stayed blocked with it: a conflict that could be resolved in the UI and never left the device.
220
+ - **@voltro/runtime, @voltro/cli** — **A subscription opened over SSE or gRPC ignored the registered row filter — every read, not just the first.** `dispatcher.subscribe` resolves row visibility itself and treats a missing `refilter` as "this app has no row filter", so it read the descriptor unnarrowed. The WebSocket path always supplied one (`bindSubscription`'s `defaultRefilter`); the SSE and gRPC projections go through `makeQuerySubscriber`, whose `subscribeDescriptor` callback passed three arguments and dropped the trailing pair. Both boot paths were affected identically, so nothing a dev/serve parity check looks at could see it.
221
+
222
+ The same omission dropped the per-delivery guard re-check, which `data/grpc.md` and the 0.53.0 notes stated as a property: a revoked scope did not end a descriptor-query stream on those two transports. Computed queries were never affected (they re-run their handler, guards included), and neither was any app without a registered row filter.
223
+
224
+ Three things changed. `makeDefaultRefilter` moved to `@voltro/runtime`'s `rowFilter` module — it was private to the WebSocket entrypoint, and the transports that could not reach it are exactly the ones that went unfiltered. `QuerySubscriberDeps.subscribeDescriptor` takes the reauthorizer and the refilter as REQUIRED parameters, so a future transport cannot omit them by writing a shorter callback. And `dispatcher.subscribe` now THROWS, by name, when no refilter is passed while a filter is registered: reading unfiltered on purpose is available, but has to be said out loud with `NO_ROW_FILTER`. That is the same correction `ctx.rowFilter` already carries one layer up — `undefined` may mean "this app has none", never "the caller forgot".
225
+
226
+ Pinned by `subscriberTransportRefilter.test.ts`, which drives a real dispatcher through a store that evaluates predicates and asserts the foreign row never crosses the wire in ANY frame, with a positive control so an empty stream cannot pass.
227
+ - **@voltro/cli** — **A template could not ship a font or an image — the scaffolder corrupted every binary file.** `scaffoldFromTemplate` read each file with `readFile(src, 'utf8')` and wrote the string back. That call does not throw on binary input: it substitutes U+FFFD for every undecodable sequence and returns a string, so a woff2 went in at 15 344 bytes and came out at 27 572, silently, in every scaffolded project.
228
+
229
+ Substitution is now gated on a text-extension allowlist and everything else is copied byte-for-byte. Extension-less files and dotfiles (`Dockerfile`, `.gitignore`, `LICENSE`) count as text — they carry tokens, and treating them as binary would ship a literal `{{appName}}`.
230
+
231
+ The comment above that line already claimed "we hard-fail if a template author adds one so the failure is visible at boot". There was no such check, and there could not be one on that call. There is now: a file whose extension says text but whose bytes are not valid UTF-8 is REFUSED by name rather than written corrupt, so an allowlist that is wrong about a file fails loudly instead of quietly.
232
+
233
+ Nothing could see this. `voltro-templates`' own harness classifies files itself and copies non-text ones byte-for-byte, so `pnpm test:templates` was green over a rendering the scaffolder does not perform — it validated the harness, not the scaffold a user receives.
234
+
235
+ ---
236
+
42
237
  ## [0.53.0] — 2026-08-26
43
238
 
44
239
  ### ⚠ BREAKING
package/dist/index.d.ts CHANGED
@@ -2640,6 +2640,8 @@ export declare const counter: (name: string, description?: string) => Metric.Met
2640
2640
  */
2641
2641
  export declare const countRunningWorkflows: (store: DataStore) => Promise<number>;
2642
2642
 
2643
+ export declare const crdtCompactMaxBytes: () => number;
2644
+
2643
2645
  /**
2644
2646
  * Every firing instant of `def` in `(from, to]`, oldest first, bounded by
2645
2647
  * `cap + 1` entries.
@@ -2917,6 +2919,8 @@ export declare const DEFAULT_CLAIM_BUCKET_MS = 60000;
2917
2919
 
2918
2920
  export declare const DEFAULT_COMPRESSION_MIN_BYTES = 1024;
2919
2921
 
2922
+ export declare const DEFAULT_CRDT_COMPACT_MAX_BYTES: number;
2923
+
2920
2924
  /**
2921
2925
  * How many subscribers one change event is delivered to CONCURRENTLY.
2922
2926
  *
@@ -3301,7 +3305,12 @@ export declare class Dispatcher {
3301
3305
  /** Re-run the query's `guards:` before every delivery — see
3302
3306
  * `ActiveSubscription.reauthorize`. Omitted for unguarded queries. */
3303
3307
  reauthorize?: () => Promise<unknown>,
3304
- /** Re-resolve row visibility per delivery — see `ActiveSubscription.refilter`. */
3308
+ /** Re-resolve row visibility per delivery — see `ActiveSubscription.refilter`.
3309
+ *
3310
+ * Optional ONLY in the sense that an app with no registered row filter has
3311
+ * nothing to resolve; it is not the caller's choice. Omitting it while a
3312
+ * filter IS registered throws below, because the read would then ignore the
3313
+ * filter entirely. Build it with `makeDefaultRefilter(subject)`. */
3305
3314
  refilter?: () => Promise<RowFilterScope>): Promise<() => void>;
3306
3315
  /**
3307
3316
  * Tear a subscription down because it can no longer be served CORRECTLY
@@ -5552,6 +5561,25 @@ export declare const makeCoordinatedScheduler: (deps: CoordinatedScheduleDeps) =
5552
5561
  */
5553
5562
  export declare const makeDataLoader: (deps: LoaderDeps) => DataLoader;
5554
5563
 
5564
+ /**
5565
+ * The per-delivery refilter EVERY subscribing transport must hand the
5566
+ * dispatcher — the one that re-resolves this subject's visibility before each
5567
+ * delivery instead of freezing it at subscribe.
5568
+ *
5569
+ * It lives here, beside the registration it reads, because it was a private
5570
+ * helper of the WebSocket entrypoint and the transports that did not import it
5571
+ * did not filter at all. `dispatcher.subscribe` resolves visibility itself and
5572
+ * treats an absent refilter as "this app has no filter", so a transport that
5573
+ * simply omitted the argument read the UNFILTERED descriptor — on the initial
5574
+ * snapshot and on every delta. The SSE and gRPC projections omitted it.
5575
+ *
5576
+ * Returning `undefined` when no filter is registered is the fast path, not an
5577
+ * opt-out: it is what keeps a filterless app free of a per-delivery await, and
5578
+ * `dispatcher.subscribe` refuses the ambiguous case (nothing passed WHILE a
5579
+ * filter is registered) rather than reading it as this one.
5580
+ */
5581
+ export declare const makeDefaultRefilter: (subject: Subject, onError?: (error: unknown) => void) => (() => Promise<RowFilterScope>) | undefined;
5582
+
5555
5583
  /** `__voltro.connections.disconnect` — forget the caller's credential. */
5556
5584
  export declare const makeDisconnectConnectionExecutor: (deps: ConnectionBuiltinDeps) => (input: {
5557
5585
  readonly connectionId: string;
@@ -6768,6 +6796,16 @@ export declare const publishEvent: <Name extends string, Key extends Schema.Sche
6768
6796
  readonly deferred: boolean;
6769
6797
  }, EventPublishError>;
6770
6798
 
6799
+ /**
6800
+ * A Layer that publishes whatever tracer is in scope when it is built.
6801
+ *
6802
+ * Provided immediately INSIDE the tracer layer at boot, so it captures the
6803
+ * configured tracer rather than the default one. With tracing off it captures
6804
+ * Effect's no-op tracer, which is the correct answer — detached work then
6805
+ * behaves exactly as in-request work does.
6806
+ */
6807
+ export declare const publishServerTracerLayer: Layer.Layer<never, never, never>;
6808
+
6771
6809
  /**
6772
6810
  * The two scopes, composed once, for every path that finalises a descriptor.
6773
6811
  *
@@ -6829,9 +6867,23 @@ export declare interface QueryProducerDeps<D> {
6829
6867
  }
6830
6868
 
6831
6869
  export declare interface QuerySubscriberDeps<D> extends QueryProducerDeps<D> {
6832
- /** Open a dispatcher subscription for a finalized descriptor. */
6833
- readonly subscribeDescriptor: (descriptor: D, emit: (event: unknown) => void, context: ServeRequestContext) => Promise<() => void>;
6834
- /** Open a dispatcher subscription for a COMPUTED query (re-runs on source change). */
6870
+ /**
6871
+ * Open a dispatcher subscription for a finalized descriptor.
6872
+ *
6873
+ * `reauthorize` and `refilter` are REQUIRED parameters of this callback, not
6874
+ * optional extras, and the requirement is the guard: they used to be
6875
+ * `dispatcher.subscribe`'s trailing optional arguments, this callback simply
6876
+ * did not pass them, and the dispatcher reads their absence as "this query is
6877
+ * unguarded and this app has no row filter". So the SSE and gRPC projections
6878
+ * re-ran no guard and read the UNFILTERED descriptor — initial snapshot and
6879
+ * every delta — while the WebSocket path (which goes through
6880
+ * `bindSubscription`) did both. Threading them through the signature makes the
6881
+ * next transport unable to repeat that by omission.
6882
+ */
6883
+ readonly subscribeDescriptor: (descriptor: D, emit: (event: unknown) => void, context: ServeRequestContext, reauthorize: (() => Promise<unknown>) | undefined, refilter: (() => Promise<RowFilterScope>) | undefined) => Promise<() => void>;
6884
+ /** Open a dispatcher subscription for a COMPUTED query (re-runs on source change).
6885
+ * A computed query re-runs its HANDLER per change, so guards and the row
6886
+ * filter are re-applied by that re-run — it needs no separate pair. */
6835
6887
  readonly subscribeComputed: (computed: ComputedQuery, emit: (event: unknown) => void, context: ServeRequestContext) => Promise<() => void>;
6836
6888
  }
6837
6889
 
@@ -8219,8 +8271,71 @@ export declare interface RowFilter<Ctx = unknown> {
8219
8271
  * the handler still carries the check the filter was meant to replace.
8220
8272
  */
8221
8273
  readonly onLoadError?: 'fail' | 'deny';
8274
+ /**
8275
+ * The ONLY tables this filter may narrow. Optional; declaring it buys
8276
+ * delta-resume back for every subscription whose source is not in the set.
8277
+ *
8278
+ * WHY IT EXISTS. A subscription whose row set is re-resolved per delivery
8279
+ * must not replay deltas on reconnect — the answer can change while the
8280
+ * socket is down (a membership ends) and a wrong replay leaks rows. But the
8281
+ * question the framework could ask was only "is a filter registered at
8282
+ * all?", so ONE registration disabled delta-resume for the whole process. A
8283
+ * deployment measured a filter narrowing 4 tables costing the feature on all
8284
+ * 173 of their query descriptors, 55 of whose source tables it never touches.
8285
+ *
8286
+ * WHY A DECLARATION RATHER THAN A PROBE. Resolving the scope at subscribe
8287
+ * and treating `predicate(ctx, source) === undefined` as safe is cheaper and
8288
+ * unsound: the predicate is a function of freshly loaded context, so a table
8289
+ * it does not narrow now may be narrowed on the next delivery — which is the
8290
+ * entire reason the refilter is per-delivery. A static list is a promise
8291
+ * about every future resolution.
8292
+ *
8293
+ * IT IS VERIFIED, not trusted. Returning a predicate for a table outside
8294
+ * this set raises {@link RowFilterDeclarationViolated} at the read that did
8295
+ * it — the request fails and a subscription is revoked, rather than serving
8296
+ * rows under a resume grant the declaration no longer earns. An undeclared
8297
+ * filter (this field absent) keeps the conservative behaviour: no resume
8298
+ * anywhere, no verification.
8299
+ *
8300
+ * setRowFilter({
8301
+ * load, predicate,
8302
+ * tables: ['bookmarks', 'recentSearches', 'todoSchedules', 'todoTags'],
8303
+ * })
8304
+ */
8305
+ readonly tables?: ReadonlyArray<string>;
8306
+ }
8307
+
8308
+ /**
8309
+ * A row filter narrowed a table its `tables:` declaration does not list.
8310
+ *
8311
+ * Fail-closed by construction: the declaration is what the framework hands
8312
+ * delta-resume, so a filter that quietly narrows beyond it would have rings
8313
+ * recorded for a table whose visibility CAN change — the leak the exclusion
8314
+ * exists to prevent. Raised at the read that violated it, naming the table and
8315
+ * the fix, rather than degrading to an unfiltered or empty answer.
8316
+ */
8317
+ export declare class RowFilterDeclarationViolated extends RowFilterDeclarationViolated_base {
8222
8318
  }
8223
8319
 
8320
+ declare const RowFilterDeclarationViolated_base: Schema.TaggedErrorClass<RowFilterDeclarationViolated, "RowFilterDeclarationViolated", {
8321
+ readonly _tag: Schema.tag<"RowFilterDeclarationViolated">;
8322
+ } & {
8323
+ /** The table the predicate narrowed. */
8324
+ table: typeof Schema.String;
8325
+ /** The declared set, for the message. */
8326
+ declared: Schema.Array$<typeof Schema.String>;
8327
+ }>;
8328
+
8329
+ /**
8330
+ * Could the registered filter narrow ANY of `tables`?
8331
+ *
8332
+ * The question delta-resume asks before recording a ring. Answers `true`
8333
+ * whenever it cannot prove otherwise — no declaration means the framework does
8334
+ * not know which tables the predicate may reach, and "unknown" must read as
8335
+ * "yes" or the exclusion stops protecting anything.
8336
+ */
8337
+ export declare const rowFilterMayNarrow: (tables: ReadonlyArray<string>) => boolean;
8338
+
8224
8339
  /**
8225
8340
  * Is a row filter registered right now — asked by a path about to serve an
8226
8341
  * UNFILTERED read.
@@ -8342,9 +8457,16 @@ export declare interface RpcServerOptions<Rpcs extends Rpc.Any> {
8342
8457
  * http app, so it fires on EVERY request — inspect, webhooks, AND the
8343
8458
  * rpc websocket upgrade — before auth/routing. A non-null return
8344
8459
  * short-circuits with that response (e.g. a rate-limit 429 / geo-block
8345
- * 451). Absent → no wrapper. Fail-OPEN: a throwing interceptor is
8346
- * swallowed and the request continues, so a buggy shield can't take
8347
- * the whole listener down.
8460
+ * 451). Absent → no wrapper.
8461
+ *
8462
+ * FAIL-CLOSED: a throwing interceptor answers 500 and logs, it does NOT
8463
+ * let the request through. The composed chain is where security gates
8464
+ * live (an IP shield, a tenant fence — anything a plugin mounts
8465
+ * pre-auth), and a gate that crashes open has silently stopped
8466
+ * guarding while still reading as installed. An interceptor that must
8467
+ * not take the listener down with its own dependency owns that
8468
+ * decision itself — plugin-ratelimit's httpShield catches its store
8469
+ * failure and degrades to "unlimited, loudly" rather than throwing.
8348
8470
  */
8349
8471
  readonly pluginHttpInterceptor?: HttpRequestInterceptor;
8350
8472
  /**
@@ -9276,12 +9398,19 @@ export declare type ServeRpcInterceptor = (base: Effect.Effect<unknown, unknown,
9276
9398
  readonly target?: ReadonlyArray<string>;
9277
9399
  }) => Effect.Effect<unknown, unknown, never>;
9278
9400
 
9401
+ /** The published tracer, or `undefined` when tracing is off / no server booted. */
9402
+ export declare const serverTracer: () => Tracer.Tracer | undefined;
9403
+
9279
9404
  export declare const setBufferedBytes: (label: string, bytes: number) => void;
9280
9405
 
9281
9406
  /** Register the process-wide connection resolver (or clear with `undefined`).
9282
9407
  * Called by the CLI at boot; tests call it directly. */
9283
9408
  export declare const setConnectionResolver: (resolver: ConnectionResolver | undefined) => void;
9284
9409
 
9410
+ /** Boot/test override — the slot `wireCrdtTunables` writes. `null` restores
9411
+ * env/default resolution. */
9412
+ export declare const setCrdtCompactMaxBytes: (maxBytes: number | null) => void;
9413
+
9285
9414
  /** Register the field cipher (or clear with `undefined`). */
9286
9415
  export declare const setFieldCipher: (cipher: FieldCipher | undefined) => void;
9287
9416
 
@@ -9305,6 +9434,9 @@ export declare const setRowFilter: <Ctx>(filter: RowFilter<Ctx> | undefined) =>
9305
9434
  /** Install the process-wide secrets backend (called once at boot). */
9306
9435
  export declare const setSecretsBackend: (backend: SecretsBackend) => void;
9307
9436
 
9437
+ /** Publish the server's tracer. Called once, from inside the provided scope. */
9438
+ export declare const setServerTracer: (tracer: Tracer.Tracer | undefined) => void;
9439
+
9308
9440
  /** Install the finding sink. `undefined` turns recording back off. */
9309
9441
  export declare const setSourceGapSink: (fn: ((finding: string) => void) | undefined) => void;
9310
9442
 
@@ -10742,6 +10874,16 @@ export declare const withRowFilter: <R extends ServeRequestContext>(request: R)
10742
10874
  */
10743
10875
  export declare const withScopedRequest: <R extends ServeRequestContext, A>(requestContext: R, body: (scoped: R) => A | Effect.Effect<A, unknown, never>) => A | Effect.Effect<A, unknown, never>;
10744
10876
 
10877
+ /**
10878
+ * Run detached work under the server's tracer, so a span it opens is exported
10879
+ * rather than created and dropped.
10880
+ *
10881
+ * A no-op when nothing is published (a unit test, an embedder, a process with no
10882
+ * rpc server) — never a second tracer, never a throw. The alternative to this
10883
+ * function is not "a different tracer", it is silence.
10884
+ */
10885
+ export declare const withServerTracer: <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>;
10886
+
10745
10887
  /**
10746
10888
  * What the gate decided. `passthrough` is the common case — no controls
10747
10889
  * declared — and is distinct from `start` so the facade can skip the commit