@voltro/sql-postgres 0.20.1 → 0.21.0

package/CHANGELOG.md

@@ -39,6 +39,177 @@ _Changes staged for the next release accumulate here (rolled up from
 
 ---
 
+## [0.21.0] — 2026-07-31
+
+### ⚠ BREAKING
+
+- **@voltro/database, @voltro/runtime, @voltro/workflow, @voltro/voltro** — `text().maxLength(n)` on an EXISTING column now actually applies. It planned zero operations and reported "schema is up to date" while the live column stayed `longtext` — the documented remedy for MariaDB's hash long-unique was a silent no-op, which is worse than no remedy because you stop looking.
+
+  **The differ was not comparing lengths wrongly — it could not see them.** `maxLength` was absent from the schema snapshot entirely: it lived on the column definition, was read only when rendering CREATE DDL, and never reached the comparison. A consumer pinned the mechanism with a contrast: a column bounded AT CREATION was `varchar(64)` (DDL path, fine); one bounded afterwards stayed `longtext` (diff path, blind).
+
+  It is now carried on both sides — declared from the definition, live from introspection — compared as its own dimension, and rendered by the applier from the declared snapshot (a bare `text` tag would emit DDL that applies successfully and changes nothing, the silent no-op the applier's convergence check exists to catch).
+
+  **Three guards against the real risk, which is not missing a change but re-emitting one forever:**
+
+  - Only the VARCHAR family contributes a live length. MariaDB reports `character_maximum_length = 4294967295` for `longtext` and 65535 for `text`; postgres reports NULL. Reading a type's theoretical maximum would make a declared `text()` differ from its own live column on every boot. - Only `text()` columns are compared. `id()` renders as `VARCHAR(64)` on mysql/mariadb while its declaration carries no length — measured on live MariaDB while building this, and it would have emitted an ALTER for every id column, forever. - Never on sqlite (no length-enforced type), and never when the caller omitted the dialect — an unknown dialect behaves exactly as before this field existed.
+
+  Proven by round-trip suites against live MariaDB and live Postgres: the same schema re-plans to NOTHING, a length change produces exactly one operation on the right column, applying it lands the new width, and re-planning after that is clean.
+
+  Classification follows the nullability precedent: **widening is `safe`** (no data can be lost), **narrowing is `needs-backfill`** and says so, with the count query to run first. Narrowing is deliberately not blocked — blocking it would leave the remedy just as unusable as the silence did.
+
+  **Also: `_voltro_api_keys.hashedKey` is now bounded at 64**, since the value is `sha256Hex(token)` and narrowing it can never fail. The other four unbounded unique columns in framework tables are deliberately left alone, each with the reason at the column: `_voltro_kv.key` is the caller's own key, `idempotencyKey` comes from a user-supplied function, and the two workflow `executionId`s have no shape the framework guarantees. A narrowing ALTER that fails on existing data during a framework upgrade is a worse outcome than the index-size concern it would fix — and the MariaDB hash long-unique is harmless on those tables anyway, since `_voltro_*` is filtered out of the binlog reader's include list.
+
+  **Migration** — `voltro update` prints it (`0.21.0/01_maxlength-now-migrates`, `manual`, and it fires only for projects that declare a bound). Your source does not change; every `.maxLength(n)` already written keeps compiling. What changes is that the next `voltro db apply` — or a `voltro dev` / `voltro serve` boot with auto-migrate — emits ALTERs it used to skip. Run `voltro db plan` first: it prints exactly which columns would be altered without touching anything, and an empty plan means this does not affect you. Widening is `safe` and can simply run; narrowing is `needs-backfill` and the plan carries the count query to run before it.
+
+  *Why this is `BREAKING` and not `Fixed`: the API is compatible — nothing is removed, renamed or narrowed, and the same call compiles. But an upgrade now performs DDL against YOUR tables that the previous version silently skipped, and on MariaDB `longtext → varchar(n)` is a full table rebuild that locks. The DB-changes-need-no-codemod exemption is written for `_voltro_*` tables riding the differ; this reaches user tables, so the operator deserves the warning at `voltro update` time rather than in a changelog section they may never open.*
+
+### Added
+
+- **@voltro/cli, @voltro/voltro** — **`voltro schedule run <name>`** fires one scheduled job on demand, against `voltro dev` or `voltro serve`.
+
+  Asked for by a consumer whose nightly jobs correct business data and whose workaround was: edit the cron expression to a minute out, wait for the reload, put it back. "Run it once now and watch" is a normal thing to want.
+
+  **Most of it already existed, and that is why it took a measurement to find the gap.** `SchedulerHandle.fireNow` has been there, and so has `POST /_voltro/inspect/schedules/:name/fire`. What was missing was the way in: no CLI verb, and — the part that mattered — **`voltro serve` mounted no inspect surface at all**. Every `/_voltro/inspect/*` route existed only under `voltro dev`, which is the one place a nightly data-correcting job is not running.
+
+  So production now mounts it. Two things make that safe rather than a new attack surface, and both were checked rather than assumed:
+
+  - `handleInspectRequest` is **closed by default**: with no `VOLTRO_INSPECT_TOKEN` every request is 401 carrying the remedy, the compare is constant-time, and the token is never minted outside dev. Opening it is an operator's deliberate act. - Only the handlers production can answer TRUTHFULLY are wired. Everything else stays absent and replies "not configured" — an empty array would claim the app has no procedures. `inspectSchedules` is deliberately still absent: dev computes `nextFiringAt` and the EFFECTIVE coordination from its own boot closure, and reporting a guessed coordination mode to a post-deploy gate is worse than reporting nothing.
+
+  The manifest's `rpc` / `workflows` entries come from a builder both boot paths now share (`inspectEntries.ts`). They are the same facts on both sides, and a second hand-written copy of the descriptor→entry mapping is the shape this repo keeps paying for.
+
+  **A run id of `null` is reported as its own outcome**, not as success: the run was coordinated away — another replica holds the lock, or `onOverlap: 'skip'` found the previous run still going. Printing "ok" would claim work that never started.
+
+  **Also fixed, and it affects every command in the inspect family.** `fetchJson` collapsed a non-2xx into the body's `error` field alone, discarding `message`. The surface answers `{ error: <category>, message: <what happened> }`, so firing an unknown schedule printed "fire failed" while the server had said `scheduler.fireNow: unknown schedule "…"`, and a closed surface printed "unauthorized" while the body named the missing env var. It now prefers `message`, then `reason`, then `error` — fixed in the shared fetch rather than per command.
+
+  Verified end to end against `voltro-starter/apps/v-api-durable`: the fire returns a run id and the job's own output appears in the server log; an unknown name reports the server's reason; `--format json` round-trips.
+
+### Fixed
+
+- **@voltro/database, @voltro/sql-postgres, @voltro/sql-mysql, @voltro/sql-sqlite, @voltro/sql-mssql, @voltro/voltro** — <!-- apiSurface: compatible — reasoned, not rubber-stamped. `attributionFields()` gained an OPTIONAL parameter and `withCapturedAttribution` is new. Both are additive, and it was CHECKED rather than assumed, because this repo has already paid once for a narrowing that read as additive: a zero-arg call still compiles, the value is still assignable to the old `() => …` type, and it still passes as a callback typed with the old shape. All three probed under `--strict`. Nothing was removed. -->
+
+  Write attribution is now CARRIED down the write path instead of re-read from the ambient async-local scope, so a connection-pool handoff can no longer strand a write's `traceId` / `subjectId`.
+
+  `routeEvent` read the identity with `attributionFields()`, and it runs after `await runPromise(...)`. `AsyncLocalStorage` propagates through continuations the current context CREATES; one scheduled by ANOTHER context — exactly what a pool handoff does when an acquisition queues — resumes with that other context's store. So under contention the write landed with the identity absent. Absent is a LEGAL value there meaning "no request behind this write", so the result does not look like a defect: it looks like a schedule. In a compliance trail that asymmetry is the whole problem, and it is why this is closed structurally rather than left as unlikely.
+
+  The value is captured ONCE at each public store method, before any await (`withCapturedAttribution`), and threaded explicitly through every `execute*` and into `routeEvent` — in all four dialect stores, including the transactional view, which is the path every framework mutation takes. The ambient scope is kept as a FALLBACK: a site that has not been threaded behaves exactly as before rather than worse, which is what made the change verifiable site by site.
+
+  **On what is and is not proven.** A pool handoff cannot be reproduced deterministically from a test — the resume context is the driver's choice. Two attempts are worth recording because both produced misleading green: a load-based regression test passed in isolation and failed in the full gate twice (a coin flip that also blocked releases), and a "deterministic" replacement that left the scope before the write finished PASSED against the unthreaded store, because the store re-enters its own scope internally. It proved nothing while looking like proof, so it was deleted.
+
+  What is proven: the pure semantics (`writeAttributionCapture.test.ts` — explicit wins over the ambient scope, explicit wins over ANOTHER request's scope, "no request" stays "no request", keys omitted rather than `undefined`), and the threading itself (`attributionThreadingParity.test.ts` — every store accepts and uses the carried value, no store still calls a bare `attributionFields()`, every transactional view carries it). The guarantee is structural, and it is stated that way rather than dressed up as a reproduction.
+
+  Raised by a consumer who could NOT reproduce the loss across 2700 writes at 96-way concurrency with every core saturated, and who asked for the fix anyway on the right grounds: *"impossible beats unlikely when the failure is invisible."*
+- **@voltro/database, @voltro/sql-postgres, @voltro/sql-mysql, @voltro/voltro** — <!-- apiSurface: compatible — `beginLocalWrite`, `endLocalWrite` and `resolveEchoAttribution` are new exports on `@voltro/database`; nothing was removed, renamed or narrowed. Checked rather than assumed, because this repo has already paid once for a narrowing that read as additive. -->
+
+  Under CDC, a plain `store.insert(...)` could deliver its change with `traceId` and `subjectId` ABSENT — not always, and more often the busier the process.
+
+  **The registration was racing the echo, and only winning on a margin.** The write path registers the request identity so the transport echo (a postgres NOTIFY, a mysql binlog row) can be re-united with it, and `pendingAttribution.ts` stated the ordering as a guarantee: the registration happens "BEFORE the transport can possibly echo it, because a NOTIFY fires at COMMIT". That is true INSIDE a transaction, where `routeEvent` runs before COMMIT. It is false for a plain write, whose statement commits ITSELF — the trigger fires while the write path is still awaiting the driver, and the registration lands afterwards. The echo has to make a round trip through the LISTEN/binlog connection, and that round trip was the only thing keeping the order right.
+
+  **Why it stayed hidden.** An unattributed event is a LEGAL event meaning "no request behind this write", so a lost identity is indistinguishable from a background job — there is no error, no warning, and nothing that looks wrong in a trace. It surfaced as one failing assertion in the full test suite, which is the only place this machine is loaded enough to flip the order, and it passed on every isolated re-run.
+
+  **Closed by construction, not by widening the margin.** A store now brackets each non-transactional write (`beginLocalWrite` / `endLocalWrite`) and delivers echoes through `resolveEchoAttribution`. An echo arriving while a write to that table is mid-registration is HELD until that write has had its chance, then answered. Held echoes keep arrival order — a subscriber seeing an update before the insert it updates would be worse off than one missing a `traceId` — and a write that never registers releases the table after a bound rather than parking its stream.
+
+  Three narrowings, each deliberate:
+
+  - **Only under `cdc`.** Nothing is injected in `inline` mode, so there is no echo to order against. - **Only non-transactional writes.** `transactional()` registers before COMMIT already; bracketing it would hold OTHER replicas' echoes for the length of the transaction to fix a race that path does not have. Asserted, so the narrowing is on the record rather than something a later reader "fixes". - **A remote write is still never attributed.** The barrier may delay an answer; it must never invent one. Nothing is registered locally for another replica's write, and that stays true while echoes are held.
+
+  **Both CDC stores had a hand-written copy of the claim-and-emit tail**, which is the shape of the previous three attribution defects in this package. The decision now lives in one function both call, and `echoBarrierParity.test.ts` fails if either store claims for itself, leaves a public write outside the bracket, or brackets the transactional path. The ordering itself is proven against the primitive (`pendingAttribution.test.ts`) — a live suite cannot force it, because the resume point is the driver's choice, and the four barrier tests were verified to go red against the pre-fix behaviour before being trusted.
+
+  Also fixed: `mysql`'s `updateMany` / `deleteMany` route their events after their transaction commits, so they carried the same race despite not going through the per-row write path. They are bracketed too.
+- **@voltro/cli, @voltro/voltro** — `voltro build` could fail to build the **start bundle** with `Could not resolve "@voltro/cli/startEntry"`, degrading `voltro start` to the slower per-module boot. The serve bundle carried the identical latent failure.
+
+  Both bundles generate an entry importing a narrow CLI export and build it with `absWorkingDir: <app root>` — so esbuild resolved that bare specifier from the APP's `node_modules`. Under strict pnpm the app has `@voltro/cli` there only if it DECLARES it, and an app normally depends on `voltro` / `@voltro/web` and gets the CLI transitively. The CLI now resolves its own entry from `import.meta.url` and hands esbuild an absolute alias.
+
+  Same shape as the tsx bug (`tsxLoader.ts`): a package that is OUR dependency, resolved from the user's directory, invisible under strict pnpm. Same answer — the CLI knows where it lives, so it stops asking the app.
+
+  **The published export was not the problem.** It is present in the tarball — checked against the real 0.20.1 and 0.20.2 packages, `./startEntry` → `./dist/startEntry.js`, file included. Only resolution failed, which is why re-adding the export would have changed nothing.
+
+  This monorepo hoists everything, so the bare specifier resolves here and the build passes with or without the alias. The test therefore asserts the alias directly rather than inferring it from a green build — the hoisted layout is exactly what hid the strict-pnpm failure in the first place.
+
+  **Also pinned, after a wrong turn worth recording.** A consumer reported that the framework provides no Suspense boundary, so any suspend during SSR throws. The obvious repair — a root `<Suspense>` — was implemented, measured, and REVERTED:
+
+  - With a root boundary, a page that THROWS answered **200** with `<template data-msg="Switched to client rendering">`. React downgrades an errored boundary to client rendering, which silently undid the hard failure shipped moments earlier. - Without one, a suspending page renders fine anyway: `renderToPipeableStream` treats the root as an implicit boundary, so a suspend delays the shell flush rather than failing.
+
+  So the reported problem does not exist on the streaming path, and the obvious fix for it breaks something that does. Both halves are now fixtures with assertions side by side (`ssr-suspends` must render, `ssr-throws` must 500) — adding a root boundary flips the second, and that pair is what makes it visible instead of shipping it. Docs corrected in both languages, including the two places a suspend genuinely is unsupported (`renderToString` behind static prerender, and the client render), neither of which is the framework's choice.
+- **@voltro/cli, @voltro/voltro** — <!-- apiSurface: compatible — `CliRuntime` keeps its exported signature and its behaviour (NodeContext + logger); only `runCli`'s internal composition changed. `loggerConfig` is module-private. -->
+
+  Every one-shot `voltro` command printed each log line TWICE. Measured on `voltro agents-md`: 76 lines for 38 events.
+
+  `runCli` installed two loggers. It provided `CliRuntime` (which contains a `LoggerLayer`) to the program, then provided a second `LoggerLayer` around the `matchCauseEffect` wrapping it — so the program ran inside both. Two `LoggerLayer`s in one fiber do not compose the way the name suggests: `LoggerLayer` is `Logger.replace(Logger.defaultLogger, …)`, which removes the DEFAULT logger and adds its own. The second one finds no default left to remove, the removal is a no-op, and the add still happens. Replace composes as replace only against the default — never against another replace.
+
+  The duplicates were distinguishable only because the outer layer was built without the command's `defaultScope`, so half the output carried `scope` and half did not. Had both been configured identically the output would have been byte-identical pairs, which is a good deal harder to notice than a stray field.
+
+  **The failure branch is the half that survives a partial fix**, and it did. Moving the second layer from around `matchCauseEffect` onto the error handler repairs the success path and leaves the failure path doubling, because that branch runs while the program's scope is still open and INHERITS its logger. Verified by measuring three shapes rather than reasoning about scopes: handler-provides → 2 lines, handler-inherits → 1, provide-once-outermost → 1.
+
+  The last is what shipped. The logger is a FiberRef, not a service the program requires, so it is provided ONCE at the outermost boundary and the program gets only `NodeContext`. That covers both branches by construction, rather than by the handler happening to still be inside a scope that has not closed yet. `CliRuntime` is unchanged and still used by `runCliMain`, which provides it once and never had the problem.
+
+  Guarded by `cliRuntime.test.ts`, which asserts the COUNT (any second provision doubles it regardless of what it logs) and that every line carries the command scope. It was checked against the reverted fix in both of its shapes before being trusted. Its capture spies on stdout AND stderr, deliberately: diagnostics route to stderr by level, and a stdout-only capture reported zero lines for the failure path — reading as "nothing was logged" when the truth was "logged on the other stream", which had the test accusing the fix it was written to protect.
+- **@voltro/cli, @voltro/voltro** — Three corrections to the `db drift` baseline shipped in 0.20.2, all reported by the consumer who verified the fix — and all of them defects in that fix rather than in older code.
+
+  **1. The first `db drift` after upgrading CRASHED.** `liveFingerprint` is a new column and does not exist until a `db apply` adds it, so naming it in the ledger read died on `SqlError: Failed to execute statement` instead of reaching the "no baseline yet" branch written for exactly that moment. The documented sequence was `0 → apply → clean`; the real one was `crash → apply → clean`, with the crash landing in the first CI run after an upgrade. Proven by dropping and re-adding the column: absent → exit 1 and a driver error, present → exit 0 and the honest message. The read is now `SELECT *`, which cannot go stale against an older ledger.
+
+  **2. A no-op `db apply` established no baseline.** The baseline is written per applied plan row, so an already-current schema produced none — and "cannot compare" then persisted indefinitely rather than for one run, for any app whose schema was current when it upgraded. A no-op apply now backfills the latest row's `liveFingerprint` instead of inserting a history entry for a migration that did not happen.
+
+  **3. "No baseline" gets its own exit code: 3.** Previously it exited 0, so a CI gate could not distinguish "compared and matched" from "did not compare" — and on a stable schema the second could persist forever. The consumer named that as their reason for NOT adding a drift gate: it would pass vacuously, which is the failure this whole thread is about. Now `0` = matched, `3` = no baseline, `4` = diverged.
+
+  **And the SQL-error reporter added in the same release did not work on this path.** It walked `.cause`, and an `Effect` `FiberFailure` has none — its cause hides behind `Symbol(effect/Runtime/FiberFailure/Cause)`, with only `stack`, `message` and `name` as own keys. So the helper returned `undefined` and not even its "no statement attached" fallback fired. The consumer reproduced that against an empty database and checked field by field; all absent.
+
+  The reason the tests missed it is worth recording: every fixture was a hand-built object WITH a `.cause` — the shape assumed, not the shape the runtime produces. The suite now builds a real `FiberFailure` through `Effect.runPromise`, and the walk unwraps the symbol and flattens the `Cause` tree (`Fail`/`Die`/`Sequential`).
+
+  Their note on the irony is fair and is the reason this is one entry rather than two: defect 1 above IS the "next DB-shaped error in your CI" that the reporter existed to make readable, and it arrived as a bare wrapper plus a driver stack. With the statement printed it would have named the missing column immediately.
+
+  **A FOURTH copy of both defects was found in `voltro dev`'s migrations inspect endpoint, and it was the worst one.** It carried the same postgres-only `::text` casts, wrapped in `orElseSucceed(() => [])` — so on every non-postgres dialect the syntax error became an EMPTY history rather than a failure: the devtools migrations panel showed nothing, and with no history row the drift verdict came out `false`. A silent, permanent "no drift" on every mysql/mariadb/mssql/sqlite app. It also compared the declared hash against a live one, exactly like the CLI did.
+
+  Both are fixed there too, and `ledgerReadPortability.test.ts` now fails if any query touching `_voltro_migration_plans` grows a `::type` cast again. Three copies were fixed in one change and the fourth was missed in the same change, which is the argument for the test rather than another paragraph in a maintainer note.
+- **@voltro/cli, @voltro/voltro** — `voltro dev` served a client-only shell — with a **200** — whenever a `renderMode: 'ssr'` page failed to render on the server. It now answers 500 with the cause, exactly as `voltro start` does.
+
+  **Reported as "voltro dev does not SSR". It does**, and has since before 0.20.0 — the middleware, its intent stated in a comment ("mirroring what `voltro start` does in production"), is an ancestor of every 0.20.x tag. What the reporter saw was the masking: their pages suspended during the server render (a lazily-loaded i18n catalog above any Suspense boundary), all 225 degraded to Vite's SPA shell, and an empty `<div id="root">` is indistinguishable from a framework that never server-renders. Their conclusion was the only one the evidence supported.
+
+  **The 200 is the part that mattered.** The same render is a hard 500 under `voltro start`, so those pages were down in production while dev reported success — the inverse of the usual "works in dev, breaks in prod", and worse, because nothing prompts you to look. Measured before the fix: `HTTP 200`, no `x-voltro-rendered-by` header at all, and the thrown error present in the dev log but nowhere in the response.
+
+  Three sites did this (both streaming `onShellError` handlers and the outer catch); all three now fail through one helper. The pattern was already in the file — the `isDeferralNotSupported` branch refuses rather than degrades and says why in the same words ("falling through would leave the developer with an unstyled page and a log line, which is exactly the silent degradation the hard error exists to prevent"). One of the removed fallbacks sat directly under a comment stating that falling through would mask the bug.
+
+  Dev puts the cause and stack in the response body; production keeps its bare `server error`, so a stack never reaches a public response. That is a difference in what the failure says, never in whether it fails.
+
+  **Also fixed, found while reproducing it: a page added while `voltro dev` runs was never server-rendered.** The middleware matched against a route table built once at boot, so a new page missed matching entirely and returned before its module was ever loaded — Vite's SPA shell, 200, and *no log line at all*, because the middleware never ran. The page tree the middleware reads is now refreshed by the same regeneration that rewrites the route table (`dirs` too, or a layout added after boot would be invisible to the spa-shell decision).
+
+  Both are covered by `webDevSsrLayoutLoader.test.ts` against a real dev server: `/ssr-throws` must answer 500 + `x-voltro-rendered-by: ssr-dev-failed` + the cause and must never contain the empty shell, and a page written while the server runs must be server-rendered without a restart. Each assertion was verified red against its own reverted fix — separately, because the first failure aborts the test and would have left the second unproven.
+
+  One thing this does NOT change: the framework still provides a Suspense boundary only for its own deferral (`<Await>`), not a blanket one at the root. Code that suspends outside it needs a boundary you mount yourself. That is now documented next to the failure behaviour, since a hard 500 is how you will meet it.
+
+### Internal (no consumer-facing effect)
+
+- **@voltro/cli** — Maintainer notes only — no shipped behaviour changes.
+
+  `mssqlClusterPatch.ts`'s header said the `@effect/cluster` patch covers "two mssql-only bugs" (it is four: the `deliver_at` INT-overflow, the MERGE…OUTPUT with correlated sub-SELECTs, `FOR UPDATE`, and `USING (SELECT * FROM (VALUES …))`) and implied that a version bump needs nothing but a re-key, because 0.59.0 → 0.60.0 happened to apply unchanged. On 0.60.2 the same patch fails on 3 of its 6 files — upstream refactored `SqlMessageStorage` and moved the context the hunks match on. A bump can require REGENERATING the patch.
+
+  The regeneration recipe now lives in `packages/sql-mssql/CLAUDE.md`, together with the two measurements that produced confidently wrong answers while working this out: reading an already-patched `node_modules/.pnpm/*patch_hash=*` copy and concluding upstream had fixed it, and un-patching one of the several installed copies and concluding the patch was not load-bearing. Both look like evidence.
+
+  Also recorded there: verify by BREAKING it. `git apply --check` proves the patch lands, not that it still fixes anything. Un-patched, the mssql cluster suite fails with `Incorrect syntax near ')'`; patched, 5/5 against the live fixture.
+
+---
+
+## [0.20.2] — 2026-07-30
+
+### Fixed
+
+- **@voltro/database, @voltro/cli, @voltro/voltro** — `voltro db drift` could never report clean. It compared the LIVE schema's fingerprint against `_voltro_migration_plans.fingerprint` — which is the **declared** snapshot's hash. The two are not comparable: introspection cannot recover everything a declaration carries (generated expressions, `maxLength`, sensitivity markers), so hashing a live snapshot never equals hashing the declaration it came from. The command was therefore RED on a provably clean database, permanently.
+
+  Fixing the postgres-only cast in the previous release is what made this visible — before that, `db drift` crashed before it could compute a wrong answer.
+
+  A consumer measured it precisely: three different fingerprints for one database (`apply` recorded `b1078b73…`, `drift` computed `8dcc9c5e…`, `plan` computed `0c376108…`), stable across runs, with `db plan` reporting 0 operations in between.
+
+  **The fix is a second, comparable baseline.** `_voltro_migration_plans` gains `liveFingerprint` — the post-apply LIVE fingerprint, taken from the convergence re-plan's `fromFingerprint` (that re-plan runs AFTER the apply, so its "pre-state" is our post-state; it is already computed, so this costs nothing). `db drift` compares against that, and hashes the live snapshot WHOLE, exactly as the applier did.
+
+  It used to strip `_voltro_*` tables before hashing, which sounds reasonable and was half the incomparability. A framework upgrade that adds a `_voltro_*` column will now show as drift until the next `db apply` records a new baseline — honest, since the live schema did change, and it self-heals on the apply an upgrade needs anyway.
+
+  Rows written before the column exists have no baseline. `db drift` says so and exits 0, instead of comparing a live hash against a declared one and calling the difference drift. `_voltro_*` table changes ride the declarative differ, so no codemod.
+
+  **The "Probable causes" list is gone.** It named out-of-band DDL and a missing ledger row, and the consumer hit it with neither being true — the row was right there in `db plans`. A diagnosis that asserts a cause it cannot know is the same defect as the `ALTER TABLE FORCE` repair line retracted in the same release, and it costs more here because it is confident: it sends the reader hunting through somebody's shell history. The command now says what it can actually see — that the schema changed, not what or who — and points at `db plan` for the real difference.
+
+  Worth recording what the pair of defects cost together, in the consumer's framing: `db drift` exists to catch a divergence between declared and live, and the one real divergence they have (`sessions.tokenHash` declared `varchar(64)`, live `longtext`) is invisible to it — while it loudly reported a divergence that did not exist. False negative on the real thing, false positive on nothing. The false negative is the still-open `maxLength`-in-the-snapshot item.
+
+---
+
 ## [0.20.1] — 2026-07-30
 
 ### Changed

package/THIRD-PARTY-NOTICES.md

@@ -9,7 +9,7 @@ Generated from the resolved runtime dependency closure (24 packages).
 
 ---
 
-## @effect/sql@0.51.1
+## @effect/sql@0.52.0
 
 License: MIT
 
@@ -37,7 +37,7 @@ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 SOFTWARE.
 ```
 
-## @effect/sql-pg@0.52.1
+## @effect/sql-pg@0.53.0
 
 License: MIT
 

package/dist/index.d.ts

@@ -206,6 +206,19 @@ export declare class PostgresDataStore implements DataStore {
     /** Friend accessor for the transactional view — same eager-aware
      *  path as the public `query()` but pinned to the view's txn. */
     getInternalRunWithEager(): (d: QueryDescriptor, txn: TxnContext | null) => Promise<ReadonlyArray<Row>>;
+    /**
+     * Bracket a NON-transactional write: capture the request identity before the
+     * first await (`withCapturedAttribution`), and hold this table's transport
+     * echoes until the write has registered that identity.
+     *
+     * Both narrowings are deliberate. Under `inline` nothing is ever injected, so
+     * there is no echo to order against. Inside `transactional()` the registration
+     * already precedes COMMIT, so bracketing it would hold OTHER replicas' echoes
+     * for the length of the transaction to close a race that path does not have.
+     * The gap being closed is specific: a plain write's statement commits ITSELF,
+     * so the transport fires while this is still awaiting the driver.
+     */
+    private localWrite;
     insert(table: string, row: Row): Promise<Row>;
     insertMany(table: string, rows: ReadonlyArray<Row>): Promise<ReadonlyArray<Row>>;
     patchJson(table: string, primaryKey: string, path: string, value: unknown): Promise<Row | null>;

package/dist/index.js

@@ -4,9 +4,9 @@ import d from "pg";
 import { EventEmitter as f } from "node:events";
 import { createLogger as p } from "@voltro/logger";
 import { SqlClient as m, TransactionConnection as h } from "@effect/sql/SqlClient";
-import { EagerCardinalityError as g, attachEagerLoads as _, attributionFields as v, attributionKey as y, claimPendingAttribution as b, compileEagerJson as x, compilePredicate as S, compileRawFragment as C, compileSelect as w, currentWriteAttribution as T, encodeRowForSchema as E, hasEagerLoads as D, isTableReactive as O, raiseChangeListenerCeiling as k, recordsTable as A, registerPendingAttribution as j, requireTable as M, runWithWriteAttribution as N, runWriteRecorders as P, settleTransactionExit as ee, stampGeneratedId as F, stampGeneratedIds as I } from "@voltro/database";
+import { EagerCardinalityError as g, attachEagerLoads as _, attributionFields as v, attributionKey as y, beginLocalWrite as b, compileEagerJson as x, compilePredicate as S, compileRawFragment as C, compileSelect as w, currentWriteAttribution as T, encodeRowForSchema as E, endLocalWrite as D, hasEagerLoads as O, isTableReactive as k, raiseChangeListenerCeiling as A, recordsTable as j, registerPendingAttribution as M, requireTable as N, resolveEchoAttribution as P, runWithWriteAttribution as ee, runWriteRecorders as te, settleTransactionExit as ne, stampGeneratedId as F, stampGeneratedIds as I, withCapturedAttribution as L } from "@voltro/database";
 //#region src/sqlLayer.ts
-var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*$/, z = (t) => {
+var R = (e) => e ? { rejectUnauthorized: !1 } : !1, z = /^[A-Za-z_][A-Za-z0-9_]*$/, B = (t) => {
 	if (t.schema === void 0) return e.layerConfig({
 		host: n.succeed(t.host),
 		port: n.succeed(t.port),
@@ -14,9 +14,9 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 		password: n.succeed(c.make(t.password)),
 		database: n.succeed(t.database),
 		...t.maxConnections === void 0 ? {} : { maxConnections: n.succeed(t.maxConnections) },
-		...t.ssl === void 0 ? {} : { ssl: n.succeed(L(t.ssl)) }
+		...t.ssl === void 0 ? {} : { ssl: n.succeed(R(t.ssl)) }
 	});
-	if (!R.test(t.schema)) throw Error(`DB_SCHEMA '${t.schema}' is not a valid postgres identifier (expected ${R}).`);
+	if (!z.test(t.schema)) throw Error(`DB_SCHEMA '${t.schema}' is not a valid postgres identifier (expected ${z}).`);
 	let i = t.schema, a = r.acquireRelease(r.sync(() => new d.Pool({
 		host: t.host,
 		port: t.port,
@@ -24,11 +24,11 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 		password: t.password,
 		database: t.database,
 		...t.maxConnections === void 0 ? {} : { max: t.maxConnections },
-		...t.ssl === void 0 ? {} : { ssl: L(t.ssl) },
+		...t.ssl === void 0 ? {} : { ssl: R(t.ssl) },
 		options: `-c search_path="${i}"`
 	})), (e) => r.promise(() => e.end()));
 	return e.layerFromPool({ acquire: a });
-}, B = (e) => {
+}, V = (e) => {
 	let t = e.get("sslmode");
 	if (t !== null) {
 		if (t === "require") return !0;
@@ -41,10 +41,10 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 		if (n === "false" || n === "0") return !1;
 		throw Error(`DB_URL '?ssl=${n}' is not supported by the postgres dialect — use 'true'/'1' or 'false'/'0'.`);
 	}
-}, V = (e) => {
+}, H = (e) => {
 	let t = e.schema === void 0 ? {} : { schema: e.schema };
 	if (e.url) {
-		let n = new URL(e.url), r = e.ssl ?? B(n.searchParams);
+		let n = new URL(e.url), r = e.ssl ?? V(n.searchParams);
 		return {
 			host: n.hostname || "localhost",
 			port: n.port ? Number(n.port) : 5432,
@@ -66,23 +66,23 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 		...e.ssl === void 0 ? {} : { ssl: e.ssl },
 		...t
 	};
-}, H = (e) => z(V(e)), U = /* @__PURE__ */ new Set(["40001", "40P01"]), W = (e) => {
+}, U = (e) => B(H(e)), W = /* @__PURE__ */ new Set(["40001", "40P01"]), G = (e) => {
 	let t = e;
 	for (let e = 0; e < 5 && typeof t == "object" && t; e++) {
 		let e = t.code;
 		if (typeof e == "string") return e;
 		t = t.cause;
 	}
-}, G = (e) => {
-	let t = W(e);
-	return t !== void 0 && U.has(t);
-}, K = (e) => G(e) ? "retry" : "noRetry", q = ["json"], J = p({ scope: "voltro:postgres" }), Y = async (e) => {
-	let t = e.tracerLayer ? a.mergeAll(e.sqlLayer, e.tracerLayer) : e.sqlLayer, n = o.make(t), r = await n.runPromise(m), i = e.changeStrategy ?? "inline", s = new Z(r, n, i, e.cdcChannel ?? "framework_changes");
+}, K = (e) => {
+	let t = G(e);
+	return t !== void 0 && W.has(t);
+}, q = (e) => K(e) ? "retry" : "noRetry", J = ["json"], Y = p({ scope: "voltro:postgres" }), X = async (e) => {
+	let t = e.tracerLayer ? a.mergeAll(e.sqlLayer, e.tracerLayer) : e.sqlLayer, n = o.make(t), r = await n.runPromise(m), i = e.changeStrategy ?? "inline", s = new re(r, n, i, e.cdcChannel ?? "framework_changes");
 	return i === "cdc" && await s.startCdcConsumer(), s;
-}, X = () => {
+}, Z = () => {
 	let e = T();
-	return e === void 0 ? (e) => e() : (t) => N(e, t);
-}, Z = class {
+	return e === void 0 ? (e) => e() : (t) => ee(e, t);
+}, re = class {
 	sql;
 	runtime;
 	changeStrategy;
@@ -91,20 +91,20 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 	cdcFiber = null;
 	inflightTxns = 0;
 	constructor(e, t, n, r) {
-		this.sql = e, this.runtime = t, this.changeStrategy = n, this.cdcChannel = r, k(this.emitter);
+		this.sql = e, this.runtime = t, this.changeStrategy = n, this.cdcChannel = r, A(this.emitter);
 	}
 	withNamespace(e) {
-		return e === null ? this : new te(this, e);
+		return e === null ? this : new ie(this, e);
 	}
 	async runInNamespace(e, t) {
 		this.inflightTxns++;
-		let n = X(), i = this.sql, a = this.sql.withTransaction(r.flatMap(r.serviceOption(h), (a) => {
-			if (s.isNone(a)) return r.fail(/* @__PURE__ */ Error("PostgresDataStore.runInNamespace: TransactionConnection missing."));
-			let o = a.value, c = r.provideService(i`SET LOCAL search_path TO ${i(e)}`, h, o), l = new Q(this, o);
-			return r.flatMap(c, () => r.tryPromise({
-				try: () => n(() => t(l)).then((e) => ({
+		let n = T(), i = Z(), a = this.sql, o = this.sql.withTransaction(r.flatMap(r.serviceOption(h), (o) => {
+			if (s.isNone(o)) return r.fail(/* @__PURE__ */ Error("PostgresDataStore.runInNamespace: TransactionConnection missing."));
+			let c = o.value, l = r.provideService(a`SET LOCAL search_path TO ${a(e)}`, h, c), u = new Q(this, c, n);
+			return r.flatMap(l, () => r.tryPromise({
+				try: () => i(() => t(u)).then((e) => ({
 					result: e,
-					view: l
+					view: u
 				})),
 				catch: (e) => e
 			}));
@@ -113,7 +113,7 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 			"db.operation": "namespace.transaction"
 		} }));
 		try {
-			let e = await this.runtime.runPromise(a);
+			let e = await this.runtime.runPromise(o);
 			return e.view.commitEvents(), e.result;
 		} finally {
 			this.inflightTxns--;
@@ -124,110 +124,110 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 		let n = w(e, this.sql), i = t ? r.provideService(n, h, t) : n;
 		return this.runtime.runPromise(i);
 	}
-	async executeInsert(e, t, n, i) {
+	async executeInsert(e, t, n, i, a) {
 		t = F(e, t);
-		let a = this.sql, o = a`INSERT INTO ${a(e)} ${a.insert(E(t, e, q))} RETURNING *`, s = n ? r.provideService(o, h, n) : o, c = (await this.runtime.runPromise(s))[0];
-		if (!c) throw Error(`PostgresDataStore.insert: no row returned for table '${e}'`);
+		let o = this.sql, s = o`INSERT INTO ${o(e)} ${o.insert(E(t, e, J))} RETURNING *`, c = n ? r.provideService(s, h, n) : s, l = (await this.runtime.runPromise(c))[0];
+		if (!l) throw Error(`PostgresDataStore.insert: no row returned for table '${e}'`);
 		return await this.routeEvent({
 			table: e,
 			op: "insert",
 			old: null,
-			new: c
-		}, i, n), c;
+			new: l
+		}, i, n, a), l;
 	}
-	async executeUpdate(e, t, n, i, a) {
-		let o = this.sql, s = o`UPDATE ${o(e)} SET ${o.update(E(n, e, q))} WHERE ${o("id")} = ${t} RETURNING *`, c = i ? r.provideService(s, h, i) : s, l = (await this.runtime.runPromise(c))[0];
-		return l ? (await this.routeEvent({
+	async executeUpdate(e, t, n, i, a, o) {
+		let s = this.sql, c = s`UPDATE ${s(e)} SET ${s.update(E(n, e, J))} WHERE ${s("id")} = ${t} RETURNING *`, l = i ? r.provideService(c, h, i) : c, u = (await this.runtime.runPromise(l))[0];
+		return u ? (await this.routeEvent({
 			table: e,
 			op: "update",
 			old: null,
-			new: l
-		}, a, i), l) : null;
+			new: u
+		}, a, i, o), u) : null;
 	}
-	async executeUpsert(e, t, n, i, a) {
-		let o = this.sql;
+	async executeUpsert(e, t, n, i, a, o) {
+		let c = this.sql;
 		if (typeof n.update == "function") {
-			let c = n.update, u = n.conflictColumns.map((e) => o`${o(e)} = ${t[e]}`), d = (n) => {
-				let i = o`SELECT * FROM ${o(e)} WHERE ${o.and(u)} LIMIT 1 FOR UPDATE`;
-				return this.runtime.runPromise(r.flatMap(r.provideService(i, h, n), (i) => r.promise(() => i[0] ? this.executeUpdate(e, i[0].id, c(i[0]), n, a).then((e) => e) : this.executeInsert(e, t, n, a))));
+			let o = n.update, u = n.conflictColumns.map((e) => c`${c(e)} = ${t[e]}`), d = (n) => {
+				let i = c`SELECT * FROM ${c(e)} WHERE ${c.and(u)} LIMIT 1 FOR UPDATE`;
+				return this.runtime.runPromise(r.flatMap(r.provideService(i, h, n), (i) => r.promise(() => i[0] ? this.executeUpdate(e, i[0].id, o(i[0]), n, a).then((e) => e) : this.executeInsert(e, t, n, a))));
 			};
 			if (i) return d(i);
 			this.inflightTxns++;
 			try {
-				let e = r.suspend(() => this.sql.withTransaction(r.flatMap(r.serviceOption(h), (e) => s.isNone(e) ? r.fail(/* @__PURE__ */ Error("PostgresDataStore.upsert: TransactionConnection missing.")) : r.promise(() => d(e.value))))), t = l.exponential("10 millis").pipe(l.compose(l.recurs(3)), l.whileInput(G));
+				let e = r.suspend(() => this.sql.withTransaction(r.flatMap(r.serviceOption(h), (e) => s.isNone(e) ? r.fail(/* @__PURE__ */ Error("PostgresDataStore.upsert: TransactionConnection missing.")) : r.promise(() => d(e.value))))), t = l.exponential("10 millis").pipe(l.compose(l.recurs(3)), l.whileInput(K));
 				return await this.runtime.runPromise(e.pipe(r.retry(t)));
 			} finally {
 				this.inflightTxns--;
 			}
 		}
-		let c = n.conflictColumns.map((e) => o`${o(e)}`), u = Object.keys(t).filter((e) => t[e] !== void 0), d = n.update === void 0 ? u.filter((e) => e !== "id" && !n.conflictColumns.includes(e)) : n.update, f = d.length > 0 ? o.csv(d.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(E(t, e, q))} ON CONFLICT (${o.csv(c)}) DO UPDATE SET ${f} RETURNING *`, m = i ? r.provideService(p, h, i) : p, g = (await this.runtime.runPromise(m))[0];
-		if (!g) throw Error(`PostgresDataStore.upsert: no row returned for table '${e}'`);
+		let u = n.conflictColumns.map((e) => c`${c(e)}`), d = Object.keys(t).filter((e) => t[e] !== void 0), f = n.update === void 0 ? d.filter((e) => e !== "id" && !n.conflictColumns.includes(e)) : n.update, p = f.length > 0 ? c.csv(f.map((e) => c`${c(e)} = EXCLUDED.${c(e)}`)) : c`${c(n.conflictColumns[0])} = EXCLUDED.${c(n.conflictColumns[0])}`, m = c`INSERT INTO ${c(e)} ${c.insert(E(t, e, J))} ON CONFLICT (${c.csv(u)}) DO UPDATE SET ${p} RETURNING *`, g = i ? r.provideService(m, h, i) : m, _ = (await this.runtime.runPromise(g))[0];
+		if (!_) throw Error(`PostgresDataStore.upsert: no row returned for table '${e}'`);
 		{
-			let n = t.id !== void 0 && t.id === g.id ? "insert" : "update";
+			let n = t.id !== void 0 && t.id === _.id ? "insert" : "update";
 			await this.routeEvent({
 				table: e,
 				op: n,
 				old: null,
-				new: g
-			}, a, i);
+				new: _
+			}, a, i, o);
 		}
-		return g;
+		return _;
 	}
-	async executeInsertIgnore(e, t, n, i, a) {
+	async executeInsertIgnore(e, t, n, i, a, o) {
 		t = F(e, t);
-		let o = this.sql, s = n.conflictColumns.map((e) => o`${o(e)}`), c = o`INSERT INTO ${o(e)} ${o.insert(E(t, e, q))} ON CONFLICT (${o.csv(s)}) DO NOTHING RETURNING *`, l = i ? r.provideService(c, h, i) : c, u = (await this.runtime.runPromise(l))[0];
-		if (u) return await this.routeEvent({
+		let s = this.sql, c = n.conflictColumns.map((e) => s`${s(e)}`), l = s`INSERT INTO ${s(e)} ${s.insert(E(t, e, J))} ON CONFLICT (${s.csv(c)}) DO NOTHING RETURNING *`, u = i ? r.provideService(l, h, i) : l, d = (await this.runtime.runPromise(u))[0];
+		if (d) return await this.routeEvent({
 			table: e,
 			op: "insert",
 			old: null,
-			new: u
-		}, a, i), u;
-		let d = n.conflictColumns.map((e) => o`${o(e)} = ${t[e]}`), f = o`SELECT * FROM ${o(e)} WHERE ${o.and(d)} LIMIT 1`, p = i ? r.provideService(f, h, i) : f, m = await this.runtime.runPromise(p);
-		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.`);
-		return m[0];
+			new: d
+		}, a, i, o), d;
+		let f = n.conflictColumns.map((e) => s`${s(e)} = ${t[e]}`), p = s`SELECT * FROM ${s(e)} WHERE ${s.and(f)} LIMIT 1`, m = i ? r.provideService(p, h, i) : p, g = await this.runtime.runPromise(m);
+		if (!g[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.`);
+		return g[0];
 	}
-	async executeInsertMany(e, t, n, i) {
+	async executeInsertMany(e, t, n, i, a) {
 		if (t = I(e, t), t.length === 0) return [];
-		let a = this.sql, o = a`INSERT INTO ${a(e)} ${a.insert(t.map((t) => E(t, e, q)))} RETURNING *`, s = n ? r.provideService(o, h, n) : o, c = await this.runtime.runPromise(s);
-		for (let t of c) await this.routeEvent({
+		let o = this.sql, s = o`INSERT INTO ${o(e)} ${o.insert(t.map((t) => E(t, e, J)))} RETURNING *`, c = n ? r.provideService(s, h, n) : s, l = await this.runtime.runPromise(c);
+		for (let t of l) await this.routeEvent({
 			table: e,
 			op: "insert",
 			old: null,
 			new: t
-		}, i, n);
-		return c;
+		}, i, n, a);
+		return l;
 	}
-	async executePatchJson(e, t, n, i, a, o) {
-		let s = this.sql, c = n.split("."), l = c[0], u = c.slice(1), d = JSON.stringify(i ?? 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 ? r.provideService(p, h, a) : p, g = (await this.runtime.runPromise(m))[0];
-		return g ? (await this.routeEvent({
+	async executePatchJson(e, t, n, i, a, o, s) {
+		let c = this.sql, l = n.split("."), u = l[0], d = l.slice(1), f = JSON.stringify(i ?? null), p = d.length === 0 ? c`${c(u)} = COALESCE(${c(u)}, '{}'::jsonb) || ${f}::jsonb` : c`${c(u)} = jsonb_set(COALESCE(${c(u)}, '{}'::jsonb), ${`{${d.join(",")}}`}, ${f}::jsonb, true)`, m = c`UPDATE ${c(e)} SET ${p} WHERE ${c("id")} = ${t} RETURNING *`, g = a ? r.provideService(m, h, a) : m, _ = (await this.runtime.runPromise(g))[0];
+		return _ ? (await this.routeEvent({
 			table: e,
 			op: "update",
 			old: null,
-			new: g
-		}, o, a), g) : null;
+			new: _
+		}, o, a, s), _) : null;
 	}
-	async executeDelete(e, t, n, i) {
-		let a = this.sql, o = a`DELETE FROM ${a(e)} WHERE ${a("id")} = ${t} RETURNING *`, s = n ? r.provideService(o, h, n) : o, c = (await this.runtime.runPromise(s))[0];
-		return c ? (await this.routeEvent({
+	async executeDelete(e, t, n, i, a) {
+		let o = this.sql, s = o`DELETE FROM ${o(e)} WHERE ${o("id")} = ${t} RETURNING *`, c = n ? r.provideService(s, h, n) : s, l = (await this.runtime.runPromise(c))[0];
+		return l ? (await this.routeEvent({
 			table: e,
 			op: "delete",
-			old: c,
+			old: l,
 			new: null
-		}, i, n), !0) : !1;
+		}, i, n, a), !0) : !1;
 	}
 	async appendInTxn(e, t, n) {
-		let i = this.sql, a = i`INSERT INTO ${i(e)} ${i.insert(E(t, e, q))}`;
+		let i = this.sql, a = i`INSERT INTO ${i(e)} ${i.insert(E(t, e, J))}`;
 		await this.runtime.runPromise(n ? r.provideService(a, h, n) : a);
 	}
 	async maxInTxn(e, t, n, i) {
 		let a = this.sql, o = Object.entries(n).map(([e, t]) => a`${a(e)} = ${t}`), s = a`SELECT MAX(${a(t)}) AS ${a("m")} FROM ${a(e)} WHERE ${a.and(o)}`, c = (await this.runtime.runPromise(i ? r.provideService(s, h, i) : s))[0]?.m;
 		return c == null ? null : Number(c);
 	}
-	async routeEvent(e, t, n = null) {
+	async routeEvent(e, t, n = null, r) {
 		if (e = {
-			...v(),
+			...v(r),
 			...e
-		}, A(e.table) && await P({
+		}, j(e.table) && await te({
 			append: (e, t) => this.appendInTxn(e, t, n),
 			maxOf: (e, t, r) => this.maxInTxn(e, t, r, n)
 		}, {
@@ -237,10 +237,10 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 			prev: e.old,
 			traceId: e.traceId,
 			subjectId: e.subjectId
-		}), O(e.table)) {
+		}), k(e.table)) {
 			if (this.changeStrategy === "cdc") {
 				let t = (e.op === "delete" ? e.old : e.new)?.id;
-				t != null && j(y(e.table, e.op, t), {
+				t != null && M(y(e.table, e.op, t), {
 					...e.traceId === void 0 ? {} : { traceId: e.traceId },
 					...e.subjectId === void 0 ? {} : { subjectId: e.subjectId }
 				});
@@ -257,66 +257,75 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 		return this.runtime.runPromise(n);
 	}
 	async runWithEager(e, t) {
-		if (!D(e)) return this.executeQuery(e, t);
+		if (!O(e)) return this.executeQuery(e, t);
 		let n = x(e, this.sql, "postgres");
 		if (n !== null) try {
 			let e = t ? r.provideService(n.fragment, h, t) : n.fragment, i = await this.runtime.runPromise(e);
 			return n.decode(i);
 		} catch (e) {
 			if (e instanceof g) throw e;
-			J.warn("postgres JSON-agg eager-load failed; falling back to walker", { err: e });
+			Y.warn("postgres JSON-agg eager-load failed; falling back to walker", { err: e });
 		}
-		return _(await this.executeQuery(e, t), e.eager, e.sourceTable ?? M(e.table), (e) => this.executeQuery(e, t));
+		return _(await this.executeQuery(e, t), e.eager, e.sourceTable ?? N(e.table), (e) => this.executeQuery(e, t));
 	}
 	getInternalRunWithEager() {
 		return (e, t) => this.runWithEager(e, t);
 	}
+	async localWrite(e, t) {
+		if (this.changeStrategy !== "cdc") return L(t);
+		b(e);
+		try {
+			return await L(t);
+		} finally {
+			D(e);
+		}
+	}
 	insert(e, t) {
-		return X()(() => this.executeInsert(e, t, null, null));
+		return this.localWrite(e, (n) => this.executeInsert(e, t, null, null, n));
 	}
 	insertMany(e, t) {
-		return X()(() => this.executeInsertMany(e, t, null, null));
+		return this.localWrite(e, (n) => this.executeInsertMany(e, t, null, null, n));
 	}
 	patchJson(e, t, n, r) {
-		return X()(() => this.executePatchJson(e, t, n, r, null, null));
+		return this.localWrite(e, (i) => this.executePatchJson(e, t, n, r, null, null, i));
 	}
 	update(e, t, n) {
-		return X()(() => this.executeUpdate(e, t, n, null, null));
+		return this.localWrite(e, (r) => this.executeUpdate(e, t, n, null, null, r));
 	}
 	delete(e, t) {
-		return X()(() => this.executeDelete(e, t, null, null));
+		return this.localWrite(e, (n) => this.executeDelete(e, t, null, null, n));
 	}
 	async updateMany(e, t, n) {
-		return X()(() => this.executeUpdateMany(e, t, n, null, null));
+		return this.localWrite(e, (r) => this.executeUpdateMany(e, t, n, null, null, r));
 	}
 	async deleteMany(e, t) {
-		return X()(() => this.executeDeleteMany(e, t, null, null));
+		return this.localWrite(e, (n) => this.executeDeleteMany(e, t, null, null, n));
 	}
-	async executeUpdateMany(e, t, n, i, a) {
-		let o = this.sql, s = S(n.where, o), c = o`UPDATE ${o(e)} SET ${o.update(E(t, e, q))} WHERE ${s} RETURNING *`, l = i ? r.provideService(c, h, i) : c, u = await this.runtime.runPromise(l);
-		for (let t of u) await this.routeEvent({
+	async executeUpdateMany(e, t, n, i, a, o) {
+		let s = this.sql, c = S(n.where, s), l = s`UPDATE ${s(e)} SET ${s.update(E(t, e, J))} WHERE ${c} RETURNING *`, u = i ? r.provideService(l, h, i) : l, d = await this.runtime.runPromise(u);
+		for (let t of d) await this.routeEvent({
 			table: e,
 			op: "update",
 			old: null,
 			new: t
-		}, a, i);
-		return u.length;
+		}, a, i, o);
+		return d.length;
 	}
-	async executeDeleteMany(e, t, n, i) {
-		let a = this.sql, o = S(t.where, a), s = a`DELETE FROM ${a(e)} WHERE ${o} RETURNING *`, c = n ? r.provideService(s, h, n) : s, l = await this.runtime.runPromise(c);
-		for (let t of l) await this.routeEvent({
+	async executeDeleteMany(e, t, n, i, a) {
+		let o = this.sql, s = S(t.where, o), c = o`DELETE FROM ${o(e)} WHERE ${s} RETURNING *`, l = n ? r.provideService(c, h, n) : c, u = await this.runtime.runPromise(l);
+		for (let t of u) await this.routeEvent({
 			table: e,
 			op: "delete",
 			old: t,
 			new: null
-		}, i, n);
-		return l.length;
+		}, i, n, a);
+		return u.length;
 	}
 	upsert(e, t, n) {
-		return X()(() => this.executeUpsert(e, t, n, null, null));
+		return this.localWrite(e, (r) => this.executeUpsert(e, t, n, null, null, r));
 	}
 	insertIgnore(e, t, n) {
-		return X()(() => this.executeInsertIgnore(e, t, n, null, null));
+		return this.localWrite(e, (r) => this.executeInsertIgnore(e, t, n, null, null, r));
 	}
 	emitChange(e) {
 		this.emitter.emit("change", e);
@@ -352,8 +361,8 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 		return this.executeInsertIgnore.bind(this);
 	}
 	async transactional(e) {
-		this.inflightTxns++;
-		let t = X(), n = 0, i = r.suspend(() => {
+		this.inflightTxns++, T();
+		let t = Z(), n = 0, i = r.suspend(() => {
 			let i = ++n;
 			return this.sql.withTransaction(r.flatMap(r.serviceOption(h), (n) => {
 				if (s.isNone(n)) return r.fail(/* @__PURE__ */ Error("PostgresDataStore.transactional: TransactionConnection unexpectedly missing inside withTransaction."));
@@ -367,12 +376,12 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 					catch: (e) => e
 				});
 			}));
-		}), a = l.exponential("10 millis").pipe(l.compose(l.recurs(3)), l.whileInput(G)), o = i.pipe(r.retry(a), r.withSpan("store.transactional", { attributes: {
+		}), a = l.exponential("10 millis").pipe(l.compose(l.recurs(3)), l.whileInput(K)), o = i.pipe(r.retry(a), r.withSpan("store.transactional", { attributes: {
 			"db.system": "postgresql",
 			"db.operation": "transaction"
 		} }));
 		try {
-			let e = ee(await this.runtime.runPromiseExit(o));
+			let e = ne(await this.runtime.runPromiseExit(o));
 			return e.view.commitEvents(), e.result;
 		} finally {
 			this.inflightTxns--;
@@ -387,12 +396,14 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 		return this.changeStrategy === "cdc" ? "fleet" : "local";
 	}
 	injectExternalChange(e) {
-		if (!O(e.table)) return;
-		let t = (e.op === "delete" ? e.old : e.new)?.id, n = t == null ? void 0 : b(y(e.table, e.op, t));
-		this.emitter.emit("change", {
-			...n,
-			...e,
-			origin: "injected"
+		if (!k(e.table)) return;
+		let t = (e.op === "delete" ? e.old : e.new)?.id;
+		P(e.table, e.op, t, (t) => {
+			this.emitter.emit("change", {
+				...t,
+				...e,
+				origin: "injected"
+			});
 		});
 	}
 	run(e) {
@@ -402,7 +413,7 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 		if (this.inflightTxns > 0) {
 			let t = Date.now() + e;
 			for (; this.inflightTxns > 0 && Date.now() < t;) await new Promise((e) => setTimeout(e, 25));
-			this.inflightTxns > 0 && J.warn("close: grace period expired with in-flight transactions — forcing dispose", {
+			this.inflightTxns > 0 && Y.warn("close: grace period expired with in-flight transactions — forcing dispose", {
 				gracePeriodMs: e,
 				inflight: this.inflightTxns
 			});
@@ -418,7 +429,7 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 				let t = JSON.parse(e);
 				this.injectExternalChange(t);
 			} catch (e) {
-				J.warn("cdc: bad payload", { channel: this.cdcChannel }, e);
+				Y.warn("cdc: bad payload", { channel: this.cdcChannel }, e);
 			}
 		};
 		this.cdcFiber = this.runtime.runFork(e.pipe(u.runForEach((e) => r.sync(() => n(e)))));
@@ -426,40 +437,41 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 }, Q = class {
 	parent;
 	txn;
+	attr;
 	events = [];
 	committed = !1;
-	constructor(e, t) {
-		this.parent = e, this.txn = t;
+	constructor(e, t, n = void 0) {
+		this.parent = e, this.txn = t, this.attr = n;
 	}
 	query(e) {
 		return this.parent.getInternalRunWithEager()(e, this.txn);
 	}
 	insert(e, t) {
-		return this.parent.getInternalExecuteInsert()(e, t, this.txn, this.events);
+		return this.parent.getInternalExecuteInsert()(e, t, this.txn, this.events, this.attr);
 	}
 	insertMany(e, t) {
-		return this.parent.getInternalExecuteInsertMany()(e, t, this.txn, this.events);
+		return this.parent.getInternalExecuteInsertMany()(e, t, this.txn, this.events, this.attr);
 	}
 	patchJson(e, t, n, r) {
-		return this.parent.getInternalExecutePatchJson()(e, t, n, r, this.txn, this.events);
+		return this.parent.getInternalExecutePatchJson()(e, t, n, r, this.txn, this.events, this.attr);
 	}
 	update(e, t, n) {
-		return this.parent.getInternalExecuteUpdate()(e, t, n, this.txn, this.events);
+		return this.parent.getInternalExecuteUpdate()(e, t, n, this.txn, this.events, this.attr);
 	}
 	delete(e, t) {
-		return this.parent.getInternalExecuteDelete()(e, t, this.txn, this.events);
+		return this.parent.getInternalExecuteDelete()(e, t, this.txn, this.events, this.attr);
 	}
 	updateMany(e, t, n) {
-		return this.parent.getInternalExecuteUpdateMany()(e, t, n, this.txn, this.events);
+		return this.parent.getInternalExecuteUpdateMany()(e, t, n, this.txn, this.events, this.attr);
 	}
 	deleteMany(e, t) {
-		return this.parent.getInternalExecuteDeleteMany()(e, t, this.txn, this.events);
+		return this.parent.getInternalExecuteDeleteMany()(e, t, this.txn, this.events, this.attr);
 	}
 	upsert(e, t, n) {
-		return this.parent.getInternalExecuteUpsert()(e, t, n, this.txn, this.events);
+		return this.parent.getInternalExecuteUpsert()(e, t, n, this.txn, this.events, this.attr);
 	}
 	insertIgnore(e, t, n) {
-		return this.parent.getInternalExecuteInsertIgnore()(e, t, n, this.txn, this.events);
+		return this.parent.getInternalExecuteInsertIgnore()(e, t, n, this.txn, this.events, this.attr);
 	}
 	transactional(e) {
 		return Promise.reject(/* @__PURE__ */ Error("PostgresDataStore.transactional: nested transactions are not supported. Mutations should execute a single top-level transaction."));
@@ -477,7 +489,7 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 			this.events.length = 0;
 		}
 	}
-}, te = class {
+}, ie = class {
 	parent;
 	namespace;
 	constructor(e, t) {
@@ -531,12 +543,12 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 			return r === void 0 ? Promise.reject(/* @__PURE__ */ Error("PostgresNamespaceView.raw: underlying store has no raw()")) : r(e, t);
 		});
 	}
-}, $ = (e) => e.__postgresReplicationFriend ?? null, ne = (e, t) => {
+}, $ = (e) => e.__postgresReplicationFriend ?? null, ae = (e, t) => {
 	let [n, r] = e.split("/"), [i, a] = t.split("/");
 	if (!n || !r || !i || !a) throw Error(`postgres LSN compare: invalid format (${e} vs ${t})`);
 	let o = parseInt(n, 16), s = parseInt(r, 16), c = parseInt(i, 16);
 	return o === c ? s - parseInt(a, 16) : o - c;
-}, re = () => ({
+}, oe = () => ({
 	async capturePrimaryPosition(e) {
 		let t = $(e);
 		if (t === null) throw Error("postgresReplicationAdapter: primary is not a PostgresDataStore (missing __postgresReplicationFriend). Pass the postgres store directly.");
@@ -556,14 +568,14 @@ var L = (e) => e ? { rejectUnauthorized: !1 } : !1, R = /^[A-Za-z_][A-Za-z0-9_]*
 		}));
 	},
 	compare(e, t) {
-		return ne(t, e) >= 0 ? "caught-up" : "behind";
+		return ae(t, e) >= 0 ? "caught-up" : "behind";
 	}
-}), ie = {
+}), se = {
 	id: "postgres",
-	makeSqlLayer: (e) => H(e),
-	makeStore: (e) => Y(e),
+	makeSqlLayer: (e) => U(e),
+	makeStore: (e) => X(e),
 	compileContains: (e, t, n) => n`${e} ILIKE ${`%${t.replace(/[\\%_]/g, (e) => `\\${e}`)}%`} ESCAPE '\\'`,
-	retryFilter: K
+	retryFilter: q
 };
 //#endregion
-export { e as PgClient, V as connectionFromConfig, Y as makePostgresDataStore, z as makePostgresSqlLayer, H as makePostgresSqlLayerFromConfig, ie as postgresDialect, re as postgresReplicationAdapter, K as postgresRetryFilter };
+export { e as PgClient, H as connectionFromConfig, X as makePostgresDataStore, B as makePostgresSqlLayer, U as makePostgresSqlLayerFromConfig, se as postgresDialect, oe as postgresReplicationAdapter, q as postgresRetryFilter };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@voltro/sql-postgres",
-  "version": "0.20.1",
+  "version": "0.21.0",
   "description": "PostgreSQL dialect adapter for Voltro's cross-dialect DataStore (LISTEN/NOTIFY reactivity, logical-replication CDC).",
   "keywords": [
     "voltro",
@@ -32,14 +32,14 @@
     "node": ">=24.0.0"
   },
   "dependencies": {
-    "@effect/sql": "^0.51.1",
-    "@effect/sql-pg": "^0.52.1",
-    "@voltro/database": "0.20.1",
-    "@voltro/logger": "0.20.1",
+    "@effect/sql": "^0.52.0",
+    "@effect/sql-pg": "^0.53.0",
+    "@voltro/database": "0.21.0",
+    "@voltro/logger": "0.21.0",
     "pg": "^8.22.0"
   },
   "peerDependencies": {
-    "effect": "^3.21.4"
+    "effect": "^3.22.0"
   },
   "publishConfig": {
     "access": "public"