@voltro/sql-postgres 0.18.0 → 0.19.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,159 @@ _Changes staged for the next release accumulate here (rolled up from
39
39
 
40
40
  ---
41
41
 
42
+ ## [0.19.0] — 2026-07-29
43
+
44
+ ### ⚠ BREAKING
45
+
46
+ - **@voltro/plugin-audit** — **The durable audit sink stops writing credentials to a log table by default.** `redactInput` defaults to `'all'` — the payload becomes `{ __redacted: 'all' }`, which still proves a payload existed. `redactInput: 'none'` restores the previous behaviour, and a function gives field-level control.
47
+
48
+ `AuditEvent.input` is the raw mutation input, so an unredacted trail is where a password change, an API key at issuance and a PAT land — the one place nobody thinks to look for a credential. Losing payload detail is visible the first time you read a row; leaking a credential is not visible at all, which is why the default moved rather than staying opt-in.
49
+
50
+ **It is deliberately NOT driven by `.serverOnly()` / `.sensitive()`,** which is the design a consumer proposed and the one that cannot work: those markers live on TABLE COLUMNS and this is a mutation's INPUT. `changePassword({ oldPassword, newPassword })` has no column to consult, so a marker-driven default would cover exactly 0% of the motivating case while reading, to whoever configured it, like protection. (`.sensitive()` is also the export axis, not "unsafe to log" — the category error the three-marker table exists to prevent.)
51
+
52
+ Also:
53
+
54
+ - **`record: 'all' | 'errors' | predicate`** — filters by OUTCOME, where `include`/`exclude` filter by tag. `'errors'` is the forensic core and pairs with `plugin-versioning` for the successful writes. **`'all'` stays the default** on purpose: defaulting to errors would silently stop recording successes on upgrade, and "what did this compromised account touch" is answered by successes. - **`errorTag`** — the typed error's `_tag`, flattened out of the `outcome` json and indexable. `null` for an untagged failure rather than a guess: "this had no tag" and "the tag is 'Error'" are different, and a column that invents the second makes every filter on it quietly wrong. - **Two indices for the questions asked under pressure** — `(subjectId, status, at)` and `(tenantId, status, at)`. "Every denied call by subject X in the last 30 days" and "every failure against tenant Y" were both unindexed; the existing `byAuditTag` / `byAuditTrace` cannot serve either. - **Retention registers itself** — 365 days, `VOLTRO_AUDIT_LOG_TTL_HOURS`, drained by the boot sweep. "Pair it with the governance sweep" was a docs sentence rather than a default, so nobody did. - **Erasure is deliberately NOT auto-registered.** Erasing a subject must not delete the record that they were refused four hundred times — that record *is* the evidence. Anonymise instead; the docs carry the `subjectScopes` entry to paste, and it stays a decision the app makes explicitly.
55
+
56
+ **Migration** — `voltro update` prints it (`0.19.0/02_audit-redact-input-default`, `manual`, and it fires only for apps that mount the plugin). Nothing stops compiling and existing rows are untouched; what changes is what the NEXT row records. Keep the new default unless you know your mutation inputs carry no secrets; pass a function for field-level control; or opt back in explicitly with `redactInput: 'none'`. The codemod deliberately does NOT write `'none'` into your config — a transform could do it perfectly, which is exactly why it must not: it would pin every adopter to the behaviour the default moved away from and report the migration as complete.
57
+
58
+ *Why this is `BREAKING` and not `Changed`: it is a silent behaviour change on upgrade. Nothing fails, which is the problem — an operator who never reads this section keeps a trail that has quietly lost its payload detail. `BREAKING` is what routes it into `voltro update`.*
59
+ - **@voltro/cli, @voltro/database** — **`.serverOnly()` now gates where it said it did.** A wire-reachable query that declares a `.serverOnly()` column of its source table in its `output` fails the boot under `voltro serve`, and makes `voltro doctor` exit non-zero. `voltro dev` still warns.
60
+
61
+ It shipped as one `log.warn` and nothing else — in every command — while `ColumnBuilder.serverOnly()`'s own doc comment and the seeded `AGENTS.md` marker table both said "**the boot audit — it FAILS the boot**, it does not warn". A team read the strong sentence, adopted the marker on four credential columns, injected a deliberate leak to check, and watched the server come up serving the leaking query. That is the register this repo keeps meeting from a new angle: *a check that prints instead of gating still reads as coverage* — here on the one marker whose entire job is the enforcement.
62
+
63
+ Two smaller things went with it, both of which had misled the reporter:
64
+
65
+ - **The message names the command.** It was emitted through a module-level logger scoped `voltro:dev`, so a warning from `voltro serve` announced itself as dev — which is why they concluded, and reported, that the audit does not run in production at all. It did; it just misattributed itself and stopped nothing. - **The audit is computed once, in `loadDiscovered`**, the discovery dev / serve / doctor / check all share — the same reasoning `validateRegisteredRelations()` lives there for. Dev and serve may disagree about what a leak COSTS; they must not disagree about what a leak IS.
66
+
67
+ `VOLTRO_SERVER_ONLY` moves the line both ways: `strict` fails `voltro dev` too, `warn` downgrades serve, `off` silences it. The downgrades are documented rather than hidden, because the alternative to a stated escape hatch is deleting the marker, and a check whose only way out is to disable it gets disabled.
68
+
69
+ `voltro check` deliberately does NOT run it: it has a live-api mode with no access to your table definitions, and a rule that fires in one of its two modes is worse than one that fires in neither.
70
+
71
+ **Migration** — `voltro update` prints it (`0.19.0/01_server-only-gates-the-boot`, `manual`, and it fires only for apps that actually use the marker). Run `voltro doctor` BEFORE you deploy: it reports exactly what `voltro serve` will now refuse, with no deploy involved. Each finding has two honest fixes and only its author can choose — the column is not wire-safe (drop it from the query's `output`, keep the marker), or the marker is wrong (drop the `.serverOnly()`). Do not substitute `.encrypted()`: that is the at-rest axis, the runtime decrypts for the handler, and reading it as "safe to expose" is the category error the three-marker table exists to prevent. To ship while triaging, `VOLTRO_SERVER_ONLY=warn` downgrades serve back to a warning — a bridge, not a setting to keep.
72
+
73
+ *Why this is `BREAKING` and not `Changed`: no signature moves and nothing that compiled stops compiling, so the literal type-level test does not catch it. It can still turn a booting production app into one that refuses — which is the point, the boot it refuses is the one shipping the column — and that failure lands at DEPLOY time. Filing it as `Changed` would have kept it out of the one section the stability contract names as the migration path, and out of `voltro update` entirely, because codemods hang off `BREAKING`. Both doc claims were corrected in the same change, so the `.d.ts`, the agent template and the docs site now describe the same behaviour.*
74
+
75
+ ### Added
76
+
77
+ - **@voltro/plugin-audit** — **`auditByTrace` / `auditBySubject` — the read side of the correlation join.**
78
+
79
+ `byAuditTrace` and `byAuditSubjectStatus` shipped in the same release with **no caller**. That is the identical defect the versioning side had and that its own entry points were added to fix, repeated on the other half of the join one file away: an index nobody can enter is a query the app still hand-writes, and the docs then demonstrate a raw select over a framework-internal table.
80
+
81
+ It surfaced by checking an adopting team's design document against the code rather than from memory. Their §6 asks for *"a read-side composition joining `_voltro_row_history` × the audit sink (on `traceId`) × `actors`"* — which needs BOTH halves to have an entry point, or neither is usable.
82
+
83
+ ```ts
84
+ const calls = await auditByTrace(ctx.store, traceId) // who called, and was it refused
85
+ const changed = await historyByTrace(ctx.store, traceId, tenantId) // what it changed
86
+ const denied = await auditBySubject(ctx.store, actorId, { status: 'error' })
87
+ ```
88
+
89
+ `auditBySubject` takes `status` as a real argument rather than leaving the caller to filter in JS — the index is `(subjectId, status, at)`, so a filter applied after fetching would not use it. `limit` defaults to 100, because an actor's history is unbounded and an entry point that returns all of it is one you call once in production.
90
+
91
+ *They were also not exported from the package index when first written — built, tested, and unreachable. Caught before shipping; worth recording because "it has a test" and "a consumer can call it" are different claims.*
92
+ - **@voltro/database, @voltro/runtime, @voltro/protocol, @voltro/cli, @voltro/plugin-versioning, @voltro/plugin-audit, @voltro/voltro** — **`ChangeEvent` carries the calling `traceId` and `subjectId`** — the join key that lets `plugin-versioning` (what changed) and `auditPlugin` (who called, and whether they were refused) be read as one trail.
93
+
94
+ Both halves shipped and neither could be joined to the other. A consumer put it exactly right: *"we are not asking you to build our audit feature. We are asking for the join key that lets anyone build one on the three pieces you have already shipped."*
95
+
96
+ **The mechanism, and the part that was an empirical question rather than a design one.** Identity is known one layer up (`subject` in the middleware, `traceId` at the rpc boundary) and the event is created several layers down, inside each dialect store's private emit. Threading a context argument through every `DataStore` method to reach it would change the port every driver implements, for metadata that is ambient by nature — so it rides an `AsyncLocalStorage` (`@voltro/database`'s `writeAttribution.ts`), the same shape as the existing trace and replica-routing contexts.
97
+
98
+ Whether that survives a SQL store was *not* obvious: the write goes through `ManagedRuntime.runPromise`, so the read happens inside an Effect fiber, and a scheduler draining fibers from a shared loop would run them under the async context of whoever created the drain. If that were true the attribution would be silently ABSENT — a join key that is simply never there, on a trail nobody checks until an incident. Verified against a real sqlite store, including the transactional path (which queues events and flushes them post-commit, *outside* the scope — which is why the stamp goes at event CREATION, not delivery).
99
+
100
+ - **One call site, not one per method.** The scope is established at the rpc executor boundary, so it covers every write the handler makes — `ctx.store`, `EffectStore`, the crud helpers, a plugin interceptor's own writes. Wrapping the store middleware instead would have meant wrapping each mutating method and hoping the next one added remembers. - **`subjectId` is the same identity `audit()` stamps** (`actingUserId`, now exported so there is one source). Two answers to "who wrote this row" on one write would be worse than one; which API *key* was used is recoverable from the audit row sharing the `traceId`. - **Absent is a fact, not a gap** — no request behind the write (seed, startup hook, schedule, workflow step), or an event from another replica, where stamping the local ambient trace would attribute a remote write to a local call. The keys are omitted rather than set to `undefined`, so an unattributed event is byte-identical to one from before this existed. - **`dev.ts` and `serveCommand.ts` no longer hand-mirror the plugin fan-out.** They built that object literal separately in two files; a field added to one and not the other gives a plugin the data in dev and silence in production, and both files typecheck alone. Now `toPluginChangeEvent`.
101
+
102
+ `_voltro_row_history` gains `traceId` / `subjectId` plus `byTrace` and `bySubject` indices — "what did this call touch" and "what did this actor touch" were previously unanswerable at any speed, since `byRow` requires already knowing which row you are asking about. `changedBy` now prefers the caller over the row's `audit()` stamp, which fixes a reported case for free: the stamp is `null` for every write through the boot store, so a login route produced version rows with no actor at all.
103
+
104
+ *`apiSurface: compatible`: every golden line this touches is either a pure addition (the new fields and `actingUserId`) or api-extractor renumbering an import alias — `Subject_2` became `Subject` across `runtime` and the `voltro` re-export because a new import changed the ordering. No declaration changed shape and no call site is affected.*
105
+ - **@voltro/cli** — **`voltro doctor`'s hand-roll detector gains six rules and ranks its findings by file count.**
106
+
107
+ An adopting team audited four apps by hand against the framework's "reach for instead" table and produced twenty items, each with a count (`1631` files with a manual `rows[0]`, `500` queries with `input.offset`, `306` forms, `368` relations declared against `17` uses). **The detector already reported eleven of those twenty, with counts.** These are rules for what it missed — the findings that made a person do work a scan should have done:
108
+
109
+ - **`offset-pagination`** — `.offset(` / `input.offset` / `.skip(` on a list query. `hand-cursor` did not catch this: it wants `hasMore` AND `limit+1`, which is a hand-rolled *keyset* pager. Plain OFFSET is a different smell with a worse ending — O(n) in the page number, so it does not fail, it just stops loading once the table is big, on the tables (audit logs, time entries) that get big first. - **`oauth-token-table`** — an `accessToken`/`refreshToken` column on an app table → `defineConnection({ kind: 'oauth2' })`. The reporting team's version of this leaked: a `json()` column holding a Slack payload with the token inside, readable by every colleague in the tenant. - **`non-incremental-aggregate`** — a `count/sum/avg/min/max` aggregate with no `incremental:`, rescanned in full on every refresh. - **`external-state-library`** — jotai / zustand / mobx / redux → `defineStore`. A second runtime beside the reactive engine, and one that does not participate in the subscription graph. - **`hand-route-module`** — importing a hand-maintained `routes` / `urls` module instead of `.framework/routes.generated`, where a renamed page is a compile error rather than a 404 someone finds in production. - **`hand-permission-check`** — a component reading a permission bag by hand instead of `useCan` / `useResourceCan`.
110
+
111
+ **And the findings are now ordered by file count rather than by the order the rules happen to be declared in.** A reader facing twenty findings acts on the top of the list, so an arbitrary order silently decides what gets fixed. The reporting team ranked their own work by exactly that number and had to count it by hand, because this printed the same facts unranked. Effort we cannot know; magnitude we can.
112
+
113
+ *Two of these rules were caught being wrong by their own tests before shipping: `offset-pagination`'s first version checked only `input.offset` and did not match its own fixture (a narrow rule reports nothing and reads like a clean codebase), and the ranking test passed with the sort deleted until the fixture was rebuilt so declaration order and count order disagree.*
114
+ - **@voltro/plugin-versioning** — **`historyByTrace` / `historyBySubject` — the entry points the new indices existed for.** Plus their Effect twins.
115
+
116
+ The correlation bridge added `byTrace` and `bySubject` to `_voltro_row_history` in the same release, and shipped them with no caller: `rowHistory` requires a `rowId` you already have, which is the wrong way round during an incident, when what you have is a trace or an actor. The docs demonstrated a raw `ctx.store.select('_voltro_row_history')`, which is the shape an index is supposed to save you from writing.
117
+
118
+ Both are tenant-scoped exactly like `rowHistory` (own-tenant rows plus null-tenant rows from untenanted source tables; `undefined` skips the filter, for system paths only). `historyBySubject` takes a `limit`, default 100, because an actor's history is unbounded and an entry point that returns all of it is one you call once in production and never again.
119
+
120
+ **And a bug this surfaced.** The stored-row → `VersionRow` decoder was written inline inside `versionsOf`, before the bridge existed, and silently dropped `traceId` / `subjectId` — so `rowHistory()` returned rows missing the very field the feature exists to carry. Extracted to one `rowToVersion` now shared by all three readers, which is why the drift was possible in the first place.
121
+ - **@voltro/cli, @voltro/database** — **`setRowFilter` is now named in the always-loaded agent core**, with the distinction that makes it findable.
122
+
123
+ A team migrating eleven hand-written row filters reported missing it **twice** — once in a full framework audit, and once while telling a colleague in writing that the framework has no row-filter primitive. The depth doc covers it well; a depth doc is opened by someone who already suspects the topic. The core's SERVER rubric asked *"a permission check?"* and answered with two BOOLEAN questions, so a reader holding a row-VISIBILITY question took the nearest-fitting answer and wrote the filter by hand. Eleven times.
124
+
125
+ The rubric now asks it directly, and the pairing is the point:
126
+
127
+ > `guards:` → *may I call this procedure?* → a typed `ScopeError`. > `setRowFilter` → *which rows may I see?* → the rows are simply absent.
128
+
129
+ Plus the failure it deletes — a `WHERE ownerId = me` in the list handler covers the query and **not** the subscription — and the trap they lost time to: `load` must read through an UNFILTERED store, because applying the filter to its own loader recurses until the stack blows.
130
+
131
+ Also:
132
+
133
+ - **`voltro doctor` gains `unexercised-row-filter`.** Their 7466 tests stayed green when the filter landed because not one passed `rowFilter:` to `makeTestContext`; they only noticed because they sabotage their own predicates before believing a pass, and four sabotages ran green. `makeTestContext({ rowFilter })` being opt-in is right — a process-global in a parallel suite would be worse — but the consequence is a visibility rule nothing verifies. Same class as a suite reporting `passed` with no database. - **`MATCHES_NO_ROWS` is exported from `@voltro/database`.** They wrote `eq('id', '')` for "this caller sees nothing", because the natural spelling `inSet(col, [])` is the one that is dangerous in most query builders: an empty `IN ()` gets dropped, and a dropped predicate does not narrow, it WIDENS to the whole tenant. Here it is safe — the SQL compiler emits `FALSE`, the memory evaluator returns false — but that held by accident, with no test enforcing it. Now pinned in both evaluators, including the mirror case: an empty `notIn` matches EVERYTHING.
134
+
135
+ *The doctor rule was itself wrong when first written: it read the normal source set, which excludes test files, so it could never observe the passing case and would have fired unconditionally on every app. Caught by writing the negative test.*
136
+ - **@voltro/database, @voltro/plugin-versioning, @voltro/sql-postgres, @voltro/sql-mysql, @voltro/sql-mssql, @voltro/sql-sqlite** — **`versioningPlugin({ timing: 'in-transaction' })` — the history row commits or rolls back WITH the change it records.** Default stays `'post-commit'`.
137
+
138
+ Post-commit recording is lossy by construction: between COMMIT and the forked history write there is a window, and a process that dies inside it leaves the change permanent and the trail silent. The size of the window is not the point — the direction is. A missing entry cannot be told apart from "nothing happened", so a trail that can lose entries proves nothing. Retry does not close it either; the process that would retry is the one that died.
139
+
140
+ This was the sole reason an adopting team could not replace their hand-rolled audit writer — called from **315 of 358 mutation handlers**, with the 43 misses being what happens to any rule that depends on someone remembering.
141
+
142
+ **What a recorder receives is an `append`, not a store.** Bound to the caller's transaction, insert-only. It cannot open a nested transaction (which throws by design), cannot read-modify-write its way into a deadlock, and "append-only" stops being a docs claim and becomes the shape of the only thing it is handed.
143
+
144
+ **The rejection is the guarantee, not a defect.** When the history insert fails, a transaction offers exactly two outcomes: the mutation fails with it, or the error is swallowed and the change commits without its entry — which is post-commit's hole with the cost already paid. There is no third option, so recorders do not swallow.
145
+
146
+ **Why the default did not move.** In-transaction makes the history table a hard dependency of every covered write path: its availability becomes your write path's availability, and every covered write holds locks longer. Post-commit loses at worst one entry; in-transaction can at worst stop writes to the covered tables. Right trade for a compliance trail, wrong one for the undo / time-travel use this plugin also serves.
147
+
148
+ **It refuses the in-memory store at boot** rather than silently no-op'ing. `memory` is the default dev store; an option that appears to work where it is cheapest to try and stops where it matters is worse than one that says so. Two limits hold in both timings and are documented: `store.raw()` produces no change event and is absent from the trail, and a write made outside a transaction is recorded immediately after rather than atomically.
149
+
150
+ *Two design claims in the plan for this were wrong and are corrected there. "Twelve write sites across three layers, no funnel" was true of `storeMiddleware` and irrelevant — each dialect store funnels every write through one private `routeEvent`, which is where this hooks. "Bulk writes have no per-row post-image" was simply false: `updateMany` already issues `RETURNING *` and emits one event per affected row, so bulk needed no special case at all. Both were found by looking in the middleware instead of the store — twice.*
151
+
152
+ ### Fixed
153
+
154
+ - **@voltro/cli** — **A `voltro serve` that refuses to boot says why, instead of blaming the serve bundle.** A deliberate refusal — a missing `VOLTRO_SESSION_SECRET`, a `.serverOnly()` leak — came out of the launcher as:
155
+
156
+ ```
157
+ [voltro] serve bundle failed to load: VOLTRO_SESSION_SECRET is not set — refusing to serve. …
158
+ [voltro] FATAL: production `voltro serve` requires a precompiled serve bundle at …
159
+ but it is missing or failed to load. Run `voltro build` before serving …
160
+ ```
161
+
162
+ The real reason is on the first line, under a wrong headline, followed by a louder and more confident wrong instruction. An operator whose first deploy forgot the session secret is told to rebuild an artefact that is fine — and rebuilding it produces the identical output, so the loop has no exit.
163
+
164
+ The cause is a catch that has to exist: `bin/voltro.mjs` imports the precompiled serve bundle inside a `try`, because an unusable bundle must degrade to the tsx path rather than kill the boot. It could not tell "this artefact is broken" from "this app decided not to start". Refusals now carry a marker (`bootRefusal.ts`) and the launcher prints them and exits 1.
165
+
166
+ The marker is the error's `name`, a plain string, rather than a class: the serve bundle INLINES the framework, so the thrown Error crosses an instance boundary where `instanceof` does not survive — the same reason the core-table registry is keyed by `Symbol.for`.
167
+
168
+ Found by running the new `.serverOnly()` gate against a real fixture rather than by reading it, which is also how the misleading pair came into view: the session-secret case had been shipping that way for a while.
169
+ - **@voltro/sql-postgres, @voltro/sql-mysql** — **`insertIgnore` explains a second-unique conflict instead of reporting an internal invariant.** The message was `row conflicted but lookup found nothing`, which tells a caller nothing they can act on.
170
+
171
+ It is reachable by ordinary means, and on mariadb it is the *common* path: `INSERT IGNORE` swallows ANY unique violation, so a row with a fresh `id` and a duplicate `slug` is skipped, and the lookup by the named `conflictColumns` then finds nothing. A team with `tenants (id PK, slug UNIQUE)` hits it on the first duplicate slug.
172
+
173
+ The message now names the columns that were checked, the table, and the actual cause — a different unique constraint fired, and `insertIgnore` models one conflict target. This is step 1 of `plans/framework-insertignore-any-unique.md` and is deliberately independent of the feature: whether or not `conflictColumns: 'any'` ever ships, this error should have been readable.
174
+ - **@voltro/cli** — **`ui/unlinked` and `ui/orphaned` resolve through barrel re-exports.** A `*.component.ui.tsx` reached only via `export { X } from './x'` was reported as unrendered, however many pages actually rendered it.
175
+
176
+ On the app that reported it, `PageContent` is imported by 42 pages — every one of them through `@/components/shared` — and doctor said `imported only by: index.ts, its own test`. It was the last false positive standing after the alias fix took that app from 16 findings to 2.
177
+
178
+ The rules ask "does anything RENDER this". A barrel is a real importer and renders nothing, so stopping at the first importer answers a different question than the one asked — but only in an app that has an `index.ts`, which is why it survived.
179
+
180
+ The walk is narrowed by NAME rather than opened up wholesale: a downstream file counts only if it imports one of the names the barrel republishes from that file (aliases followed, `export *` expanded to the file's own exports, type-only re-exports ignored — they publish nothing at runtime). Without that narrowing, `export *` on a 40-entry barrel would credit its entire readership to every entry and `ui/orphaned` would quietly stop finding anything — trading a visible false positive for a silent false negative. There is a test for exactly that direction: a barrel with a used entry and a dead one must still report the dead one.
181
+
182
+ ### Internal (no consumer-facing effect)
183
+
184
+ - **@voltro/protocol** — **`PluginHttpRouteRequest.store` names all four absences instead of one.** The docstring said "It is not tenant-scoped" and left soft-delete filtering, audit stamping and row-level security to be inferred from "everything that does not need a Subject".
185
+
186
+ A team planning to port 19 raw-SQL sites onto that seam inferred the opposite: they wrote down "a store read adds `deletedAt IS NULL`" as the trap with teeth on their list — a soft-deleted user logging back in would go from "found and revived" to "not found → insert → unique violation on email" — and deferred the whole port partly over it. The store does no such thing; it is the raw store plus the storage codec. Naming exactly one of four absences reads as an exhaustive list.
187
+
188
+ The docstring now carries the same table the `AuthStrategyInput.store` docs do, with the soft-delete row called out for anyone porting: a read here returns tombstones the way their SQL did, so a lookup that must see one needs no opt-out. (`.withDeleted()` is the opt-out on `ctx.store`, which *does* apply the filter.) Doc-only; the behaviour is unchanged and was already correct.
189
+ - **`ci.yml` gains a `workflow_dispatch` trigger.** The full matrix — 11 database services plus the SQL Server AG init containers — is not reachable from a push to `main`: `paths-ignore` plus the job-level `if: github.event_name != 'push'` mean a main push runs static checks only.
190
+
191
+ So the only ways to exercise it were a pull request and the release gate, which meant a change to the workflow itself could sit unrun until it fired for the first time INSIDE a release — where a failure costs a ~40-minute round-trip and blocks the publish. That is precisely the position this repo was in.
192
+
193
+ ---
194
+
42
195
  ## [0.18.0] — 2026-07-28
43
196
 
44
197
  ### ⚠ BREAKING
@@ -116,6 +269,8 @@ _Changes staged for the next release accumulate here (rolled up from
116
269
  The consequence was a silent wrong answer rather than an error. An auth strategy reading an `.encrypted()` column got the literal string `enc:v1:…` back — which compares, concatenates, renders and logs perfectly well, and simply never matches the token it is compared to. The failure surfaces as "wrong credential". On the write side it was worse and unrecoverable: an insert through that store wrote PLAINTEXT into a column the schema declares encrypted.
117
270
 
118
271
  The line is now **everything that does not need a Subject**, not "less than `ctx.store`". Wired in `voltro dev` and `voltro serve` in the same change (`wrapStoreWithBootCodec`); `raw()` is deliberately left as a pass-through, since it is the documented escape hatch for hand-written SQL and re-encoding rows a caller asked for verbatim would be its own surprise.
272
+
273
+ **Upgrading: a reader that compensated for the missing codec by hand now gets the decoded value.** Two shapes, and they land differently. A hand-rolled `decryptField` on the way out is HARMLESS — it passes a non-`enc:v1:` value through unchanged, so the call simply stops doing anything. A hand-rolled `JSON.parse(row.someJsonColumn)` on a column the codec now deserialises is NOT: it is handed an object and throws. If you read an `.encrypted()` or array column through `AuthStrategyInput.store` / `PluginHttpRouteRequest.store` and unpacked it yourself, grep those call sites — the ones typed as a `string | ReadonlyArray<string>` union already survive, a bare `JSON.parse` does not. (Reported by an adopter whose two such reads happened to be written defensively, which is why their upgrade was silent.)
119
274
  - **@voltro/cli** — **The remaining file-moving codemods narrow their projects too**, and the shared project is no longer a stale snapshot.
120
275
 
121
276
  `0.14.0/03_pages-suffix` is gated on `/src/pages/` throughout — plus each app's `app.config.ts`, which is how it tells a real web app's pages from a library that merely keeps components under `src/pages/`. `0.15.0/01_undo-mistaken-taxonomy-renames` only ever renames `*.component[.ui].ts(x)` and an export-less `*.types.ts(x)`. Both now declare that scope and take the importer closure instead of the workspace.
@@ -169,15 +324,15 @@ _Changes staged for the next release accumulate here (rolled up from
169
324
  The catalogue said a `*.component.tsx` promises "exactly one component **(+ types)**", which reads as "types are the only exception". It never was — the rule counts components, and a `const COLUMNS = […]` beside the table that renders it was always allowed. The docs now say so in both languages.
170
325
  - **@voltro/cli** — **The seeded `AGENTS.md` / `CLAUDE.md` never mentioned `.serverOnly()` — the one marker that decides leak vs no leak.**
171
326
 
172
- Reported from a strict-mode pass over five apps: the template documents `.encrypted()`, `audit()`, `tenant()`, `softDelete()`, `.check()`, `validate()` — and not the marker whose absence the **boot audit hard-fails on**. Depth existed (`database/sensitivity`, `data/crud`, both languages); the always-loaded core simply never pointed at it, so an agent or a human following the template never learned the marker exists.
327
+ Reported from a strict-mode pass over five apps: the template documents `.encrypted()`, `audit()`, `tenant()`, `softDelete()`, `.check()`, `validate()` — and not the marker that decides leak vs no leak. *(Corrected after publication: this entry said the boot audit "hard-fails" on it. It did not — it was a single `log.warn`, in every command. The next release makes the claim true; see that entry.)* Depth existed (`database/sensitivity`, `data/crud`, both languages); the always-loaded core simply never pointed at it, so an agent or a human following the template never learned the marker exists.
173
328
 
174
329
  The core now carries a short section on the three markers as ORTHOGONAL questions, because the substitution is the real hazard:
175
330
 
176
- | Marker | Answers | Enforced by | |---|---|---| | `.serverOnly()` | may this leave the server at all? | the boot audit — it FAILS the boot | | `.sensitive()` / `.safe()` | may it appear in an export? | the masking profile, fail-closed | | `.encrypted()` | is it encrypted at rest? | the store's codec |
331
+ | Marker | Answers | Enforced by | |---|---|---| | `.serverOnly()` | may this leave the server at all? | an audit — see the correction above | | `.sensitive()` / `.safe()` | may it appear in an export? | the masking profile, fail-closed | | `.encrypted()` | is it encrypted at rest? | the store's codec |
177
332
 
178
333
  Reading `.encrypted()` as "safe to expose" is a category error and a plausible one — the runtime decrypts for the handler, so an encrypted column reaches a client like any other unless it is ALSO `.serverOnly()`.
179
334
 
180
- **The doc-drift guard is why this survived, so it grew the missing half.** It asserted the core carries the EXPORT axis (`.sensitive(`, fail-closed, the export endpoint) and said nothing about the wire axis. There is now a matching assertion for `.serverOnly()`, the boot audit, and the orthogonality — verified by deleting the section and watching it go red.
335
+ **The doc-drift guard is why this survived, so it grew the missing half.** It asserted the core carries the EXPORT axis (`.sensitive(`, fail-closed, the export endpoint) and said nothing about the wire axis. There is now a matching assertion for `.serverOnly()`, the enforcement, and the orthogonality — verified by deleting the section and watching it go red. *(It asked only for the words "boot audit", which the template supplied while promising a failure nothing performed. The next release makes it name the commands that gate.)*
181
336
  - **@voltro/cli** — **`voltro dev` could not start at all in a strict-pnpm install: the supervisor respawned with a bare `--import tsx`.**
182
337
 
183
338
  Node resolves a bare specifier against the CHILD's working directory. `@voltro/cli` declares tsx; the user's app does not — so under a non-hoisting layout tsx lives inside `node_modules/.pnpm/@voltro+cli@…/node_modules/tsx` and is invisible from the app root. The first respawn died with `Cannot find package 'tsx'`, naming a package the reader never asked for and cannot usefully install.
package/dist/index.d.ts CHANGED
@@ -165,6 +165,12 @@ export declare class PostgresDataStore implements DataStore {
165
165
  private executeDelete;
166
166
  /** Inside a transaction → push into the per-call events buffer (drained
167
167
  * on commit, dropped on throw); outside → emit live. */
168
+ /**
169
+ * Append a row inside the caller's transaction — the narrow, insert-only path
170
+ * an in-transaction recorder is handed. NOT `executeInsert`: that would
171
+ * re-enter `routeEvent` and emit a change event for the trail's own table.
172
+ */
173
+ private appendInTxn;
168
174
  private routeEvent;
169
175
  query(descriptor: QueryDescriptor): Promise<ReadonlyArray<Row>>;
170
176
  raw<T extends object = Row>(fragment: RawSqlFragment, _opts?: {
package/dist/index.js CHANGED
@@ -4,9 +4,9 @@ import p from "pg";
4
4
  import { EventEmitter as m } from "node:events";
5
5
  import { createLogger as h } from "@voltro/logger";
6
6
  import { SqlClient as g, TransactionConnection as _ } from "@effect/sql/SqlClient";
7
- import { EagerCardinalityError as v, attachEagerLoads as y, compileEagerJson as b, compilePredicate as x, compileRawFragment as S, compileSelect as C, encodeRowForSchema as w, hasEagerLoads as T, isTableReactive as E, raiseChangeListenerCeiling as D, requireTable as O, stampGeneratedId as k, stampGeneratedIds as A } from "@voltro/database";
7
+ import { EagerCardinalityError as v, attachEagerLoads as y, attributionFields as b, compileEagerJson as x, compilePredicate as S, compileRawFragment as C, compileSelect as w, encodeRowForSchema as T, hasEagerLoads as E, isTableReactive as D, raiseChangeListenerCeiling as O, recordsTable as k, requireTable as A, runWriteRecorders as j, stampGeneratedId as M, stampGeneratedIds as N } from "@voltro/database";
8
8
  //#region src/sqlLayer.ts
9
- var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*$/, N = (t) => {
9
+ var P = (e) => e ? { rejectUnauthorized: !1 } : !1, F = /^[A-Za-z_][A-Za-z0-9_]*$/, I = (t) => {
10
10
  if (t.schema === void 0) return e.layerConfig({
11
11
  host: r.succeed(t.host),
12
12
  port: r.succeed(t.port),
@@ -14,9 +14,9 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
14
14
  password: r.succeed(u.make(t.password)),
15
15
  database: r.succeed(t.database),
16
16
  ...t.maxConnections === void 0 ? {} : { maxConnections: r.succeed(t.maxConnections) },
17
- ...t.ssl === void 0 ? {} : { ssl: r.succeed(j(t.ssl)) }
17
+ ...t.ssl === void 0 ? {} : { ssl: r.succeed(P(t.ssl)) }
18
18
  });
19
- if (!M.test(t.schema)) throw Error(`DB_SCHEMA '${t.schema}' is not a valid postgres identifier (expected ${M}).`);
19
+ if (!F.test(t.schema)) throw Error(`DB_SCHEMA '${t.schema}' is not a valid postgres identifier (expected ${F}).`);
20
20
  let n = t.schema, a = i.acquireRelease(i.sync(() => new p.Pool({
21
21
  host: t.host,
22
22
  port: t.port,
@@ -24,11 +24,11 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
24
24
  password: t.password,
25
25
  database: t.database,
26
26
  ...t.maxConnections === void 0 ? {} : { max: t.maxConnections },
27
- ...t.ssl === void 0 ? {} : { ssl: j(t.ssl) },
27
+ ...t.ssl === void 0 ? {} : { ssl: P(t.ssl) },
28
28
  options: `-c search_path="${n}"`
29
29
  })), (e) => i.promise(() => e.end()));
30
30
  return e.layerFromPool({ acquire: a });
31
- }, P = (e) => {
31
+ }, L = (e) => {
32
32
  let t = e.get("sslmode");
33
33
  if (t !== null) {
34
34
  if (t === "require") return !0;
@@ -41,10 +41,10 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
41
41
  if (n === "false" || n === "0") return !1;
42
42
  throw Error(`DB_URL '?ssl=${n}' is not supported by the postgres dialect — use 'true'/'1' or 'false'/'0'.`);
43
43
  }
44
- }, F = (e) => {
44
+ }, R = (e) => {
45
45
  let t = e.schema === void 0 ? {} : { schema: e.schema };
46
46
  if (e.url) {
47
- let n = new URL(e.url), r = e.ssl ?? P(n.searchParams);
47
+ let n = new URL(e.url), r = e.ssl ?? L(n.searchParams);
48
48
  return {
49
49
  host: n.hostname || "localhost",
50
50
  port: n.port ? Number(n.port) : 5432,
@@ -66,20 +66,20 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
66
66
  ...e.ssl === void 0 ? {} : { ssl: e.ssl },
67
67
  ...t
68
68
  };
69
- }, I = (e) => N(F(e)), L = /* @__PURE__ */ new Set(["40001", "40P01"]), R = (e) => {
69
+ }, z = (e) => I(R(e)), B = /* @__PURE__ */ new Set(["40001", "40P01"]), V = (e) => {
70
70
  let t = e;
71
71
  for (let e = 0; e < 5 && typeof t == "object" && t; e++) {
72
72
  let e = t.code;
73
73
  if (typeof e == "string") return e;
74
74
  t = t.cause;
75
75
  }
76
- }, z = (e) => {
77
- let t = R(e);
78
- return t !== void 0 && L.has(t);
79
- }, B = (e) => z(e) ? "retry" : "noRetry", V = ["json"], H = h({ scope: "voltro:postgres" }), U = async (e) => {
80
- let t = e.tracerLayer ? s.mergeAll(e.sqlLayer, e.tracerLayer) : e.sqlLayer, n = c.make(t), r = await n.runPromise(g), i = e.changeStrategy ?? "inline", a = new W(r, n, i, e.cdcChannel ?? "framework_changes");
76
+ }, H = (e) => {
77
+ let t = V(e);
78
+ return t !== void 0 && B.has(t);
79
+ }, U = (e) => H(e) ? "retry" : "noRetry", W = ["json"], G = h({ scope: "voltro:postgres" }), K = async (e) => {
80
+ let t = e.tracerLayer ? s.mergeAll(e.sqlLayer, e.tracerLayer) : e.sqlLayer, n = c.make(t), r = await n.runPromise(g), i = e.changeStrategy ?? "inline", a = new q(r, n, i, e.cdcChannel ?? "framework_changes");
81
81
  return i === "cdc" && await a.startCdcConsumer(), a;
82
- }, W = class {
82
+ }, q = class {
83
83
  sql;
84
84
  runtime;
85
85
  changeStrategy;
@@ -88,16 +88,16 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
88
88
  cdcFiber = null;
89
89
  inflightTxns = 0;
90
90
  constructor(e, t, n, r) {
91
- this.sql = e, this.runtime = t, this.changeStrategy = n, this.cdcChannel = r, D(this.emitter);
91
+ this.sql = e, this.runtime = t, this.changeStrategy = n, this.cdcChannel = r, O(this.emitter);
92
92
  }
93
93
  withNamespace(e) {
94
- return e === null ? this : new K(this, e);
94
+ return e === null ? this : new Y(this, e);
95
95
  }
96
96
  async runInNamespace(e, t) {
97
97
  this.inflightTxns++;
98
98
  let n = this.sql, r = this.sql.withTransaction(i.flatMap(i.serviceOption(_), (r) => {
99
99
  if (l.isNone(r)) return i.fail(/* @__PURE__ */ Error("PostgresDataStore.runInNamespace: TransactionConnection missing."));
100
- let a = r.value, o = i.provideService(n`SET LOCAL search_path TO ${n(e)}`, _, a), s = new G(this, a);
100
+ let a = r.value, o = i.provideService(n`SET LOCAL search_path TO ${n(e)}`, _, a), s = new J(this, a);
101
101
  return i.flatMap(o, () => i.tryPromise({
102
102
  try: () => t(s).then((e) => ({
103
103
  result: e,
@@ -118,28 +118,28 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
118
118
  }
119
119
  __postgresReplicationFriend = { runEffect: (e) => this.runtime.runPromise(e) };
120
120
  async executeQuery(e, t) {
121
- let n = C(e, this.sql), r = t ? i.provideService(n, _, t) : n;
121
+ let n = w(e, this.sql), r = t ? i.provideService(n, _, t) : n;
122
122
  return this.runtime.runPromise(r);
123
123
  }
124
124
  async executeInsert(e, t, n, r) {
125
- t = k(e, t);
126
- let a = this.sql, o = a`INSERT INTO ${a(e)} ${a.insert(w(t, e, V))} RETURNING *`, s = n ? i.provideService(o, _, n) : o, c = (await this.runtime.runPromise(s))[0];
125
+ t = M(e, t);
126
+ let a = this.sql, o = a`INSERT INTO ${a(e)} ${a.insert(T(t, e, W))} RETURNING *`, s = n ? i.provideService(o, _, n) : o, c = (await this.runtime.runPromise(s))[0];
127
127
  if (!c) throw Error(`PostgresDataStore.insert: no row returned for table '${e}'`);
128
- return this.changeStrategy === "inline" && this.routeEvent({
128
+ return this.changeStrategy === "inline" && await this.routeEvent({
129
129
  table: e,
130
130
  op: "insert",
131
131
  old: null,
132
132
  new: c
133
- }, r), c;
133
+ }, r, n), c;
134
134
  }
135
135
  async executeUpdate(e, t, n, r, a) {
136
- let o = this.sql, s = o`UPDATE ${o(e)} SET ${o.update(w(n, e, V))} WHERE ${o("id")} = ${t} RETURNING *`, c = r ? i.provideService(s, _, r) : s, l = (await this.runtime.runPromise(c))[0];
137
- return l ? (this.changeStrategy === "inline" && this.routeEvent({
136
+ let o = this.sql, s = o`UPDATE ${o(e)} SET ${o.update(T(n, e, W))} WHERE ${o("id")} = ${t} RETURNING *`, c = r ? i.provideService(s, _, r) : s, l = (await this.runtime.runPromise(c))[0];
137
+ return l ? (this.changeStrategy === "inline" && await this.routeEvent({
138
138
  table: e,
139
139
  op: "update",
140
140
  old: null,
141
141
  new: l
142
- }, a), l) : null;
142
+ }, a, r), l) : null;
143
143
  }
144
144
  async executeUpsert(e, t, n, r, a) {
145
145
  let o = this.sql;
@@ -151,88 +151,102 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
151
151
  if (r) return u(r);
152
152
  this.inflightTxns++;
153
153
  try {
154
- let e = i.suspend(() => this.sql.withTransaction(i.flatMap(i.serviceOption(_), (e) => l.isNone(e) ? i.fail(/* @__PURE__ */ Error("PostgresDataStore.upsert: TransactionConnection missing.")) : i.promise(() => u(e.value))))), t = d.exponential("10 millis").pipe(d.compose(d.recurs(3)), d.whileInput(z));
154
+ let e = i.suspend(() => this.sql.withTransaction(i.flatMap(i.serviceOption(_), (e) => l.isNone(e) ? i.fail(/* @__PURE__ */ Error("PostgresDataStore.upsert: TransactionConnection missing.")) : i.promise(() => u(e.value))))), t = d.exponential("10 millis").pipe(d.compose(d.recurs(3)), d.whileInput(H));
155
155
  return await this.runtime.runPromise(e.pipe(i.retry(t)));
156
156
  } finally {
157
157
  this.inflightTxns--;
158
158
  }
159
159
  }
160
- let s = n.conflictColumns.map((e) => o`${o(e)}`), c = Object.keys(t).filter((e) => t[e] !== void 0), u = n.update === void 0 ? c.filter((e) => e !== "id" && !n.conflictColumns.includes(e)) : n.update, f = u.length > 0 ? o.csv(u.map((e) => o`${o(e)} = EXCLUDED.${o(e)}`)) : o`${o(n.conflictColumns[0])} = EXCLUDED.${o(n.conflictColumns[0])}`, p = o`INSERT INTO ${o(e)} ${o.insert(w(t, e, V))} ON CONFLICT (${o.csv(s)}) DO UPDATE SET ${f} RETURNING *`, m = r ? i.provideService(p, _, r) : p, h = (await this.runtime.runPromise(m))[0];
160
+ let s = n.conflictColumns.map((e) => o`${o(e)}`), c = Object.keys(t).filter((e) => t[e] !== void 0), u = n.update === void 0 ? c.filter((e) => e !== "id" && !n.conflictColumns.includes(e)) : n.update, f = u.length > 0 ? o.csv(u.map((e) => o`${o(e)} = EXCLUDED.${o(e)}`)) : o`${o(n.conflictColumns[0])} = EXCLUDED.${o(n.conflictColumns[0])}`, p = o`INSERT INTO ${o(e)} ${o.insert(T(t, e, W))} ON CONFLICT (${o.csv(s)}) DO UPDATE SET ${f} RETURNING *`, m = r ? i.provideService(p, _, r) : p, h = (await this.runtime.runPromise(m))[0];
161
161
  if (!h) throw Error(`PostgresDataStore.upsert: no row returned for table '${e}'`);
162
162
  if (this.changeStrategy === "inline") {
163
163
  let n = t.id !== void 0 && t.id === h.id ? "insert" : "update";
164
- this.routeEvent({
164
+ await this.routeEvent({
165
165
  table: e,
166
166
  op: n,
167
167
  old: null,
168
168
  new: h
169
- }, a);
169
+ }, a, r);
170
170
  }
171
171
  return h;
172
172
  }
173
173
  async executeInsertIgnore(e, t, n, r, a) {
174
- t = k(e, t);
175
- let o = this.sql, s = n.conflictColumns.map((e) => o`${o(e)}`), c = o`INSERT INTO ${o(e)} ${o.insert(w(t, e, V))} ON CONFLICT (${o.csv(s)}) DO NOTHING RETURNING *`, l = r ? i.provideService(c, _, r) : c, u = (await this.runtime.runPromise(l))[0];
176
- if (u) return this.changeStrategy === "inline" && this.routeEvent({
174
+ t = M(e, t);
175
+ let o = this.sql, s = n.conflictColumns.map((e) => o`${o(e)}`), c = o`INSERT INTO ${o(e)} ${o.insert(T(t, e, W))} ON CONFLICT (${o.csv(s)}) DO NOTHING RETURNING *`, l = r ? i.provideService(c, _, r) : c, u = (await this.runtime.runPromise(l))[0];
176
+ if (u) return this.changeStrategy === "inline" && await this.routeEvent({
177
177
  table: e,
178
178
  op: "insert",
179
179
  old: null,
180
180
  new: u
181
- }, a), u;
181
+ }, a, r), u;
182
182
  let d = n.conflictColumns.map((e) => o`${o(e)} = ${t[e]}`), f = o`SELECT * FROM ${o(e)} WHERE ${o.and(d)} LIMIT 1`, p = r ? i.provideService(f, _, r) : f, m = await this.runtime.runPromise(p);
183
- if (!m[0]) throw Error("PostgresDataStore.insertIgnore: row conflicted but lookup found nothing");
183
+ if (!m[0]) throw Error(`PostgresDataStore.insertIgnore: the insert was skipped as a conflict, but no existing row matches conflictColumns [${n.conflictColumns.join(", ")}] on '${e}'. A DIFFERENT unique constraint fired — a second unique index, or the primary key when you named something else. insertIgnore models ONE conflict target: name the columns of the constraint that actually collides, or handle the unique violation yourself.`);
184
184
  return m[0];
185
185
  }
186
186
  async executeInsertMany(e, t, n, r) {
187
- if (t = A(e, t), t.length === 0) return [];
188
- let a = this.sql, o = a`INSERT INTO ${a(e)} ${a.insert(t.map((t) => w(t, e, V)))} RETURNING *`, s = n ? i.provideService(o, _, n) : o, c = await this.runtime.runPromise(s);
189
- if (this.changeStrategy === "inline") for (let t of c) this.routeEvent({
187
+ if (t = N(e, t), t.length === 0) return [];
188
+ let a = this.sql, o = a`INSERT INTO ${a(e)} ${a.insert(t.map((t) => T(t, e, W)))} RETURNING *`, s = n ? i.provideService(o, _, n) : o, c = await this.runtime.runPromise(s);
189
+ if (this.changeStrategy === "inline") for (let t of c) await this.routeEvent({
190
190
  table: e,
191
191
  op: "insert",
192
192
  old: null,
193
193
  new: t
194
- }, r);
194
+ }, r, n);
195
195
  return c;
196
196
  }
197
197
  async executePatchJson(e, t, n, r, a, o) {
198
198
  let s = this.sql, c = n.split("."), l = c[0], u = c.slice(1), d = JSON.stringify(r ?? null), f = u.length === 0 ? s`${s(l)} = COALESCE(${s(l)}, '{}'::jsonb) || ${d}::jsonb` : s`${s(l)} = jsonb_set(COALESCE(${s(l)}, '{}'::jsonb), ${`{${u.join(",")}}`}, ${d}::jsonb, true)`, p = s`UPDATE ${s(e)} SET ${f} WHERE ${s("id")} = ${t} RETURNING *`, m = a ? i.provideService(p, _, a) : p, h = (await this.runtime.runPromise(m))[0];
199
- return h ? (this.changeStrategy === "inline" && this.routeEvent({
199
+ return h ? (this.changeStrategy === "inline" && await this.routeEvent({
200
200
  table: e,
201
201
  op: "update",
202
202
  old: null,
203
203
  new: h
204
- }, o), h) : null;
204
+ }, o, a), h) : null;
205
205
  }
206
206
  async executeDelete(e, t, n, r) {
207
207
  let a = this.sql, o = a`DELETE FROM ${a(e)} WHERE ${a("id")} = ${t} RETURNING *`, s = n ? i.provideService(o, _, n) : o, c = (await this.runtime.runPromise(s))[0];
208
- return c ? (this.changeStrategy === "inline" && this.routeEvent({
208
+ return c ? (this.changeStrategy === "inline" && await this.routeEvent({
209
209
  table: e,
210
210
  op: "delete",
211
211
  old: c,
212
212
  new: null
213
- }, r), !0) : !1;
214
- }
215
- routeEvent(e, t) {
216
- E(e.table) && (t === null ? this.emitter.emit("change", e) : t.push(e));
213
+ }, r, n), !0) : !1;
214
+ }
215
+ async appendInTxn(e, t, n) {
216
+ let r = this.sql, a = r`INSERT INTO ${r(e)} ${r.insert(T(t, e, W))}`;
217
+ await this.runtime.runPromise(n ? i.provideService(a, _, n) : a);
218
+ }
219
+ async routeEvent(e, t, n = null) {
220
+ e = {
221
+ ...b(),
222
+ ...e
223
+ }, k(e.table) && await j((e, t) => this.appendInTxn(e, t, n), {
224
+ table: e.table,
225
+ op: e.op,
226
+ next: e.new,
227
+ prev: e.old,
228
+ traceId: e.traceId,
229
+ subjectId: e.subjectId
230
+ }), D(e.table) && (t === null ? this.emitter.emit("change", e) : t.push(e));
217
231
  }
218
232
  query(e) {
219
233
  return this.runWithEager(e, null);
220
234
  }
221
235
  raw(e, t) {
222
- let n = S(e, this.sql);
236
+ let n = C(e, this.sql);
223
237
  return this.runtime.runPromise(n);
224
238
  }
225
239
  async runWithEager(e, t) {
226
- if (!T(e)) return this.executeQuery(e, t);
227
- let n = b(e, this.sql, "postgres");
240
+ if (!E(e)) return this.executeQuery(e, t);
241
+ let n = x(e, this.sql, "postgres");
228
242
  if (n !== null) try {
229
243
  let e = t ? i.provideService(n.fragment, _, t) : n.fragment, r = await this.runtime.runPromise(e);
230
244
  return n.decode(r);
231
245
  } catch (e) {
232
246
  if (e instanceof v) throw e;
233
- H.warn("postgres JSON-agg eager-load failed; falling back to walker", { err: e });
247
+ G.warn("postgres JSON-agg eager-load failed; falling back to walker", { err: e });
234
248
  }
235
- return y(await this.executeQuery(e, t), e.eager, e.sourceTable ?? O(e.table), (e) => this.executeQuery(e, t));
249
+ return y(await this.executeQuery(e, t), e.eager, e.sourceTable ?? A(e.table), (e) => this.executeQuery(e, t));
236
250
  }
237
251
  getInternalRunWithEager() {
238
252
  return (e, t) => this.runWithEager(e, t);
@@ -259,23 +273,23 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
259
273
  return this.executeDeleteMany(e, t, null, null);
260
274
  }
261
275
  async executeUpdateMany(e, t, n, r, a) {
262
- let o = this.sql, s = x(n.where, o), c = o`UPDATE ${o(e)} SET ${o.update(w(t, e, V))} WHERE ${s} RETURNING *`, l = r ? i.provideService(c, _, r) : c, u = await this.runtime.runPromise(l);
263
- if (this.changeStrategy === "inline") for (let t of u) this.routeEvent({
276
+ let o = this.sql, s = S(n.where, o), c = o`UPDATE ${o(e)} SET ${o.update(T(t, e, W))} WHERE ${s} RETURNING *`, l = r ? i.provideService(c, _, r) : c, u = await this.runtime.runPromise(l);
277
+ if (this.changeStrategy === "inline") for (let t of u) await this.routeEvent({
264
278
  table: e,
265
279
  op: "update",
266
280
  old: null,
267
281
  new: t
268
- }, a);
282
+ }, a, r);
269
283
  return u.length;
270
284
  }
271
285
  async executeDeleteMany(e, t, n, r) {
272
- let a = this.sql, o = x(t.where, a), s = a`DELETE FROM ${a(e)} WHERE ${o} RETURNING *`, c = n ? i.provideService(s, _, n) : s, l = await this.runtime.runPromise(c);
273
- if (this.changeStrategy === "inline") for (let t of l) this.routeEvent({
286
+ let a = this.sql, o = S(t.where, a), s = a`DELETE FROM ${a(e)} WHERE ${o} RETURNING *`, c = n ? i.provideService(s, _, n) : s, l = await this.runtime.runPromise(c);
287
+ if (this.changeStrategy === "inline") for (let t of l) await this.routeEvent({
274
288
  table: e,
275
289
  op: "delete",
276
290
  old: t,
277
291
  new: null
278
- }, r);
292
+ }, r, n);
279
293
  return l.length;
280
294
  }
281
295
  upsert(e, t, n) {
@@ -323,7 +337,7 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
323
337
  let n = ++t;
324
338
  return this.sql.withTransaction(i.flatMap(i.serviceOption(_), (t) => {
325
339
  if (l.isNone(t)) return i.fail(/* @__PURE__ */ Error("PostgresDataStore.transactional: TransactionConnection unexpectedly missing inside withTransaction."));
326
- let r = new G(this, t.value);
340
+ let r = new J(this, t.value);
327
341
  return i.tryPromise({
328
342
  try: () => e(r).then((e) => ({
329
343
  result: e,
@@ -333,7 +347,7 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
333
347
  catch: (e) => e
334
348
  });
335
349
  }));
336
- }), o = d.exponential("10 millis").pipe(d.compose(d.recurs(3)), d.whileInput(z)), s = r.pipe(i.retry(o), i.withSpan("store.transactional", { attributes: {
350
+ }), o = d.exponential("10 millis").pipe(d.compose(d.recurs(3)), d.whileInput(H)), s = r.pipe(i.retry(o), i.withSpan("store.transactional", { attributes: {
337
351
  "db.system": "postgresql",
338
352
  "db.operation": "transaction"
339
353
  } }));
@@ -354,7 +368,7 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
354
368
  return this.changeStrategy === "cdc" ? "fleet" : "local";
355
369
  }
356
370
  injectExternalChange(e) {
357
- E(e.table) && this.emitter.emit("change", {
371
+ D(e.table) && this.emitter.emit("change", {
358
372
  ...e,
359
373
  origin: "injected"
360
374
  });
@@ -366,7 +380,7 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
366
380
  if (this.inflightTxns > 0) {
367
381
  let t = Date.now() + e;
368
382
  for (; this.inflightTxns > 0 && Date.now() < t;) await new Promise((e) => setTimeout(e, 25));
369
- this.inflightTxns > 0 && H.warn("close: grace period expired with in-flight transactions — forcing dispose", {
383
+ this.inflightTxns > 0 && G.warn("close: grace period expired with in-flight transactions — forcing dispose", {
370
384
  gracePeriodMs: e,
371
385
  inflight: this.inflightTxns
372
386
  });
@@ -382,12 +396,12 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
382
396
  let t = JSON.parse(e);
383
397
  this.injectExternalChange(t);
384
398
  } catch (e) {
385
- H.warn("cdc: bad payload", { channel: this.cdcChannel }, e);
399
+ G.warn("cdc: bad payload", { channel: this.cdcChannel }, e);
386
400
  }
387
401
  };
388
402
  this.cdcFiber = this.runtime.runFork(e.pipe(f.runForEach((e) => i.sync(() => n(e)))));
389
403
  }
390
- }, G = class {
404
+ }, J = class {
391
405
  parent;
392
406
  txn;
393
407
  events = [];
@@ -441,7 +455,7 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
441
455
  this.events.length = 0;
442
456
  }
443
457
  }
444
- }, K = class {
458
+ }, Y = class {
445
459
  parent;
446
460
  namespace;
447
461
  constructor(e, t) {
@@ -495,14 +509,14 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
495
509
  return r === void 0 ? Promise.reject(/* @__PURE__ */ Error("PostgresNamespaceView.raw: underlying store has no raw()")) : r(e, t);
496
510
  });
497
511
  }
498
- }, q = (e) => e.__postgresReplicationFriend ?? null, J = (e, t) => {
512
+ }, X = (e) => e.__postgresReplicationFriend ?? null, Z = (e, t) => {
499
513
  let [n, r] = e.split("/"), [i, a] = t.split("/");
500
514
  if (!n || !r || !i || !a) throw Error(`postgres LSN compare: invalid format (${e} vs ${t})`);
501
515
  let o = parseInt(n, 16), s = parseInt(r, 16), c = parseInt(i, 16);
502
516
  return o === c ? s - parseInt(a, 16) : o - c;
503
- }, Y = () => ({
517
+ }, Q = () => ({
504
518
  async capturePrimaryPosition(e) {
505
- let t = q(e);
519
+ let t = X(e);
506
520
  if (t === null) throw Error("postgresReplicationAdapter: primary is not a PostgresDataStore (missing __postgresReplicationFriend). Pass the postgres store directly.");
507
521
  return t.runEffect(i.gen(function* () {
508
522
  let e = (yield* (yield* g)`SELECT pg_current_wal_lsn()::text AS lsn`)[0]?.lsn;
@@ -510,7 +524,7 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
510
524
  }));
511
525
  },
512
526
  async probeReplicaPosition(e) {
513
- let t = q(e);
527
+ let t = X(e);
514
528
  if (t === null) throw Error("postgresReplicationAdapter: replica is not a PostgresDataStore.");
515
529
  return t.runEffect(i.gen(function* () {
516
530
  let e = (yield* (yield* g)`
@@ -520,14 +534,14 @@ var j = (e) => e ? { rejectUnauthorized: !1 } : !1, M = /^[A-Za-z_][A-Za-z0-9_]*
520
534
  }));
521
535
  },
522
536
  compare(e, t) {
523
- return J(t, e) >= 0 ? "caught-up" : "behind";
537
+ return Z(t, e) >= 0 ? "caught-up" : "behind";
524
538
  }
525
- }), X = {
539
+ }), $ = {
526
540
  id: "postgres",
527
- makeSqlLayer: (e) => I(e),
528
- makeStore: (e) => U(e),
541
+ makeSqlLayer: (e) => z(e),
542
+ makeStore: (e) => K(e),
529
543
  compileContains: (e, t, n) => n`${e} ILIKE ${`%${t.replace(/[\\%_]/g, (e) => `\\${e}`)}%`} ESCAPE '\\'`,
530
- retryFilter: B
544
+ retryFilter: U
531
545
  };
532
546
  //#endregion
533
- export { e as PgClient, F as connectionFromConfig, U as makePostgresDataStore, N as makePostgresSqlLayer, I as makePostgresSqlLayerFromConfig, X as postgresDialect, Y as postgresReplicationAdapter, B as postgresRetryFilter };
547
+ export { e as PgClient, R as connectionFromConfig, K as makePostgresDataStore, I as makePostgresSqlLayer, z as makePostgresSqlLayerFromConfig, $ as postgresDialect, Q as postgresReplicationAdapter, U as postgresRetryFilter };
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@voltro/sql-postgres",
3
- "version": "0.18.0",
3
+ "version": "0.19.0",
4
4
  "description": "PostgreSQL dialect adapter for Voltro's cross-dialect DataStore (LISTEN/NOTIFY reactivity, logical-replication CDC).",
5
5
  "keywords": [
6
6
  "voltro",
@@ -34,8 +34,8 @@
34
34
  "dependencies": {
35
35
  "@effect/sql": "^0.51.1",
36
36
  "@effect/sql-pg": "^0.52.1",
37
- "@voltro/database": "0.18.0",
38
- "@voltro/logger": "0.18.0",
37
+ "@voltro/database": "0.19.0",
38
+ "@voltro/logger": "0.19.0",
39
39
  "pg": "^8.22.0"
40
40
  },
41
41
  "peerDependencies": {