@quereus/quereus 4.21.1 → 4.22.0

package/dist/src/core/database-cardinality-feedback.d.ts

@@ -0,0 +1,146 @@
+/**
+ * The observed row-count overlay: exact base-table sizes seen during execution.
+ *
+ * One per `Database`. The planner reads it through `plannedRowCount`
+ * (`planner/stats/table-cardinality.ts`), where an answering entry outranks the
+ * catalog's `ANALYZE` count. This module owns the record policy — which
+ * observations are worth keeping, and when one has moved far enough from what
+ * plans were costed against to call it a *shift* — and the entries' lifetime.
+ *
+ * Validity is schema identity: an entry answers only for the exact `TableSchema`
+ * object it was observed under. Any swap (`ANALYZE`, `ALTER TABLE`, drop and
+ * re-create) silences it, and a schema-change listener evicts it. The identity
+ * check is the correctness guard; the listener is memory hygiene.
+ *
+ * Execution feeds it through {@link CardinalityFeedbackManager.publish}, which admits
+ * only counts of committed state: a count taken inside a transaction is held until
+ * that transaction commits ({@link CardinalityFeedbackManager.onCommitted}) and
+ * dropped if it rolls back ({@link CardinalityFeedbackManager.onRolledBack}).
+ *
+ * A shift reaches prepared statements through `onShift`; each statement paces its
+ * re-plans with a {@link FeedbackReplanState}.
+ *
+ * Nothing here is persisted: a new `Database` starts empty. See
+ * docs/progressive-optimizer.md §3.2–3.6.
+ */
+import type { OptimizerTuning } from '../planner/optimizer-tuning.js';
+import { CardinalityObservations } from '../runtime/cardinality-observations.js';
+import { type ObservedRowCounts } from '../planner/stats/table-cardinality.js';
+import type { TableSchema } from '../schema/table.js';
+import type { Database } from './database.js';
+/** Database internals the manager needs — keeps it constructible without the full `Database`. */
+export interface CardinalityFeedbackManagerContext {
+    readonly schemaManager: Database['schemaManager'];
+    /** Read on every record, so `Database.updateOptimizerTuning` takes effect immediately. */
+    getTuning(): OptimizerTuning;
+    /** True when no transaction (explicit or implicit) is open. */
+    getAutocommit(): boolean;
+    /**
+     * A recorded count moved at least `cardinalityFeedback.shiftFactor` away from the
+     * entry's baseline: plans costed against the old number may be wrong. `key` is the
+     * lowercased `schema.table`.
+     */
+    onShift(key: string): void;
+}
+/** By-value view of one valid entry, for tests and diagnostics. */
+export interface ObservedRowCountSnapshot {
+    readonly schemaName: string;
+    readonly tableName: string;
+    readonly rows: number;
+    /** What the catalog (`ANALYZE`) says for the same table; `undefined` when never analyzed. */
+    readonly catalogRows: number | undefined;
+    readonly baselineRows: number;
+    readonly observations: number;
+    readonly shifts: number;
+}
+/** The overlay's key for a table: lowercased `schema.table`. Shifts are reported under it. */
+export declare function overlayTableKey(schemaName: string, tableName: string): string;
+/**
+ * One prepared statement's feedback re-plan cooldown (docs/progressive-optimizer.md §3.6).
+ * A shift marks the cached plan; the mark is acted on at an execution start, never
+ * mid-execution. The first feedback re-plan is immediate; re-plan `k + 1` waits until the
+ * statement has executed `cooldown × 2^min(k − 1, 6)` times since re-plan `k` — a mark
+ * arriving sooner stays pending until then.
+ */
+export declare class FeedbackReplanState {
+    private marked;
+    /** Feedback re-plans so far. */
+    private replans;
+    /** Executions started since the last feedback re-plan, the re-planning one included. */
+    private executionsSinceReplan;
+    /** A table the cached plan reads shifted. */
+    markShift(): void;
+    /** The cached plan was dropped for any reason; whatever compiles next reads the current overlay. */
+    onPlanDropped(): void;
+    /** Counts one execution; true when the marked plan must be dropped before it runs. */
+    onExecutionStart(cooldown: number): boolean;
+    private requiredExecutions;
+}
+export declare class CardinalityFeedbackManager implements ObservedRowCounts {
+    private readonly ctx;
+    /**
+     * Lowercased `schema.table` → entry, the change-log / work-counter key convention.
+     * `Map` insertion order doubles as recency: a hit or a record re-inserts, so the
+     * first key is the least recently used.
+     */
+    private readonly entries;
+    /**
+     * Observations made inside the open transaction, held until it ends; same key as
+     * `entries`, last count per table wins. Bounded by the distinct tables one
+     * transaction observes.
+     */
+    private readonly pending;
+    /** {@link onRolledBack} calls so far; each execution's sink records it at start. */
+    private rollbacks;
+    private unsubscribeSchemaChanges;
+    constructor(ctx: CardinalityFeedbackManagerContext);
+    observedRows(table: TableSchema): number | undefined;
+    /**
+     * Offer one exact row count of `table`, observed by a complete enumeration of
+     * committed state. Applies the record policy (docs/progressive-optimizer.md §3.4):
+     * ignored when the schema object is superseded or when both the observation and the
+     * current estimate are small; otherwise recorded, and reported through `onShift`
+     * when it has moved `shiftFactor` from the entry's baseline.
+     */
+    record(table: TableSchema, rows: number): void;
+    /**
+     * Offer one finished execution's observations (docs/progressive-optimizer.md §3.5).
+     * A committed read (`readCommitted`) or an execution that ended with no transaction
+     * open saw committed state and is recorded now. Anything else may include the open
+     * transaction's uncommitted writes, so it is held for {@link onCommitted} — unless a
+     * rollback ran during the execution (typically a failing statement's own statement
+     * savepoint, which fires before publication): then a completed scan may have counted
+     * rows that no longer exist, and the whole execution is discarded.
+     */
+    publish(observations: CardinalityObservations, options: {
+        readCommitted: boolean;
+    }): void;
+    /** A fresh per-execution sink, stamped so {@link publish} can tell whether a rollback ran under it. */
+    beginObservations(): CardinalityObservations;
+    /**
+     * The open transaction committed: record what it held, except tables it wrote.
+     * Such a count was taken mid-transaction, possibly before later writes in the same
+     * transaction, and the change log cannot say which came first. `changedCounts` is
+     * the change log keyed like `entries` — every table the transaction wrote, even one
+     * whose writes cancelled out — and is not built when nothing is held.
+     */
+    onCommitted(changedCounts: () => Map<string, number>): void;
+    /** The open transaction, or some of its work, was undone: forget everything held. */
+    onRolledBack(): void;
+    /** Forget every observation, held ones included; later compiles read the catalog only. */
+    clear(): void;
+    /** Valid entries, by value, least recently used first. Does not refresh recency. */
+    snapshot(): ObservedRowCountSnapshot[];
+    dispose(): void;
+    private subscribeToSchemaChanges;
+    private recordAll;
+    /** The entry under `key` if it was observed against `table`; a stale one is replaced on record. */
+    private validEntry;
+    private touch;
+    /**
+     * Drop least-recently-used entries past the cap. No `onShift`: plans already built
+     * keep their snapshot, and the next compile falls back to catalog or default numbers.
+     */
+    private evictBeyond;
+}
+//# sourceMappingURL=database-cardinality-feedback.d.ts.map

package/dist/src/core/database-cardinality-feedback.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"database-cardinality-feedback.d.ts","sourceRoot":"","sources":["../../../src/core/database-cardinality-feedback.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAmB,KAAK,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAEhG,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAK9C,iGAAiG;AACjG,MAAM,WAAW,iCAAiC;IACjD,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAC;IAClD,0FAA0F;IAC1F,SAAS,IAAI,eAAe,CAAC;IAC7B,+DAA+D;IAC/D,aAAa,IAAI,OAAO,CAAC;IACzB;;;;OAIG;IACH,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAaD,mEAAmE;AACnE,MAAM,WAAW,wBAAwB;IACxC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6FAA6F;IAC7F,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB;AAUD,8FAA8F;AAC9F,wBAAgB,eAAe,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAE7E;AASD;;;;;;GAMG;AACH,qBAAa,mBAAmB;IAC/B,OAAO,CAAC,MAAM,CAAS;IACvB,gCAAgC;IAChC,OAAO,CAAC,OAAO,CAAK;IACpB,wFAAwF;IACxF,OAAO,CAAC,qBAAqB,CAAK;IAElC,6CAA6C;IAC7C,SAAS,IAAI,IAAI;IAIjB,oGAAoG;IACpG,aAAa,IAAI,IAAI;IAIrB,sFAAsF;IACtF,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO;IAW3C,OAAO,CAAC,kBAAkB;CAG1B;AAED,qBAAa,0BAA2B,YAAW,iBAAiB;IAiBvD,OAAO,CAAC,QAAQ,CAAC,GAAG;IAhBhC;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoC;IAC5D;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA6E;IACrG,oFAAoF;IACpF,OAAO,CAAC,SAAS,CAAK;IACtB,OAAO,CAAC,wBAAwB,CAA6B;gBAEhC,GAAG,EAAE,iCAAiC;IAInE,YAAY,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS;IAQpD;;;;;;OAMG;IACH,MAAM,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IA2B9C;;;;;;;;OAQG;IACH,OAAO,CAAC,YAAY,EAAE,uBAAuB,EAAE,OAAO,EAAE;QAAE,aAAa,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI;IAczF,uGAAuG;IACvG,iBAAiB,IAAI,uBAAuB;IAI5C;;;;;;OAMG;IACH,WAAW,CAAC,aAAa,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI;IAmB3D,qFAAqF;IACrF,YAAY,IAAI,IAAI;IAKpB,0FAA0F;IAC1F,KAAK,IAAI,IAAI;IAKb,oFAAoF;IACpF,QAAQ,IAAI,wBAAwB,EAAE;IAkBtC,OAAO,IAAI,IAAI;IAQf,OAAO,CAAC,wBAAwB;IAYhC,OAAO,CAAC,SAAS;IAMjB,mGAAmG;IACnG,OAAO,CAAC,UAAU;IAKlB,OAAO,CAAC,KAAK;IAKb;;;OAGG;IACH,OAAO,CAAC,WAAW;CAMnB"}

package/dist/src/core/database-cardinality-feedback.js

@@ -0,0 +1,274 @@
+/**
+ * The observed row-count overlay: exact base-table sizes seen during execution.
+ *
+ * One per `Database`. The planner reads it through `plannedRowCount`
+ * (`planner/stats/table-cardinality.ts`), where an answering entry outranks the
+ * catalog's `ANALYZE` count. This module owns the record policy — which
+ * observations are worth keeping, and when one has moved far enough from what
+ * plans were costed against to call it a *shift* — and the entries' lifetime.
+ *
+ * Validity is schema identity: an entry answers only for the exact `TableSchema`
+ * object it was observed under. Any swap (`ANALYZE`, `ALTER TABLE`, drop and
+ * re-create) silences it, and a schema-change listener evicts it. The identity
+ * check is the correctness guard; the listener is memory hygiene.
+ *
+ * Execution feeds it through {@link CardinalityFeedbackManager.publish}, which admits
+ * only counts of committed state: a count taken inside a transaction is held until
+ * that transaction commits ({@link CardinalityFeedbackManager.onCommitted}) and
+ * dropped if it rolls back ({@link CardinalityFeedbackManager.onRolledBack}).
+ *
+ * A shift reaches prepared statements through `onShift`; each statement paces its
+ * re-plans with a {@link FeedbackReplanState}.
+ *
+ * Nothing here is persisted: a new `Database` starts empty. See
+ * docs/progressive-optimizer.md §3.2–3.6.
+ */
+import { createLogger } from '../common/logger.js';
+import { CardinalityObservations } from '../runtime/cardinality-observations.js';
+import { catalogRowCount } from '../planner/stats/table-cardinality.js';
+const log = createLogger('core:cardinality-feedback');
+const debugLog = log.extend('debug');
+/**
+ * Distance between two counts as a ratio ≥ 1. The `+ 1` on both sides keeps a zero
+ * count finite and makes tiny counts compare sanely (0 vs 3 is 4×, not infinite).
+ */
+function rowCountSpread(a, b) {
+    return (Math.max(a, b) + 1) / (Math.min(a, b) + 1);
+}
+/** The overlay's key for a table: lowercased `schema.table`. Shifts are reported under it. */
+export function overlayTableKey(schemaName, tableName) {
+    return `${schemaName}.${tableName}`.toLowerCase();
+}
+function tableKey(table) {
+    return overlayTableKey(table.schemaName, table.name);
+}
+/** Cap on the cooldown's doubling: re-plans past the seventh wait `64 × replanCooldown` executions. */
+const MAX_COOLDOWN_DOUBLINGS = 6;
+/**
+ * One prepared statement's feedback re-plan cooldown (docs/progressive-optimizer.md §3.6).
+ * A shift marks the cached plan; the mark is acted on at an execution start, never
+ * mid-execution. The first feedback re-plan is immediate; re-plan `k + 1` waits until the
+ * statement has executed `cooldown × 2^min(k − 1, 6)` times since re-plan `k` — a mark
+ * arriving sooner stays pending until then.
+ */
+export class FeedbackReplanState {
+    marked = false;
+    /** Feedback re-plans so far. */
+    replans = 0;
+    /** Executions started since the last feedback re-plan, the re-planning one included. */
+    executionsSinceReplan = 0;
+    /** A table the cached plan reads shifted. */
+    markShift() {
+        this.marked = true;
+    }
+    /** The cached plan was dropped for any reason; whatever compiles next reads the current overlay. */
+    onPlanDropped() {
+        this.marked = false;
+    }
+    /** Counts one execution; true when the marked plan must be dropped before it runs. */
+    onExecutionStart(cooldown) {
+        const due = this.marked && (this.replans === 0 || this.executionsSinceReplan >= this.requiredExecutions(cooldown));
+        if (due) {
+            this.marked = false;
+            this.replans++;
+            this.executionsSinceReplan = 0;
+        }
+        this.executionsSinceReplan++;
+        return due;
+    }
+    requiredExecutions(cooldown) {
+        return cooldown * 2 ** Math.min(this.replans - 1, MAX_COOLDOWN_DOUBLINGS);
+    }
+}
+export class CardinalityFeedbackManager {
+    ctx;
+    /**
+     * Lowercased `schema.table` → entry, the change-log / work-counter key convention.
+     * `Map` insertion order doubles as recency: a hit or a record re-inserts, so the
+     * first key is the least recently used.
+     */
+    entries = new Map();
+    /**
+     * Observations made inside the open transaction, held until it ends; same key as
+     * `entries`, last count per table wins. Bounded by the distinct tables one
+     * transaction observes.
+     */
+    pending = new Map();
+    /** {@link onRolledBack} calls so far; each execution's sink records it at start. */
+    rollbacks = 0;
+    unsubscribeSchemaChanges = null;
+    constructor(ctx) {
+        this.ctx = ctx;
+        this.subscribeToSchemaChanges();
+    }
+    observedRows(table) {
+        const key = tableKey(table);
+        const entry = this.entries.get(key);
+        if (!entry || entry.schema !== table)
+            return undefined;
+        this.touch(key, entry);
+        return entry.rows;
+    }
+    /**
+     * Offer one exact row count of `table`, observed by a complete enumeration of
+     * committed state. Applies the record policy (docs/progressive-optimizer.md §3.4):
+     * ignored when the schema object is superseded or when both the observation and the
+     * current estimate are small; otherwise recorded, and reported through `onShift`
+     * when it has moved `shiftFactor` from the entry's baseline.
+     */
+    record(table, rows) {
+        if (this.ctx.schemaManager.findTable(table.name, table.schemaName) !== table) {
+            debugLog('Ignored %d rows for %s.%s: observed under a superseded schema', rows, table.schemaName, table.name);
+            return;
+        }
+        const tuning = this.ctx.getTuning();
+        const policy = tuning.cardinalityFeedback;
+        const key = tableKey(table);
+        const existing = this.validEntry(key, table);
+        const before = existing?.rows ?? catalogRowCount(table) ?? tuning.defaultRowEstimate;
+        if (Math.max(before, rows) <= policy.minRows)
+            return;
+        const entry = existing ?? { schema: table, rows, baselineRows: before, observations: 0, shifts: 0 };
+        entry.rows = rows;
+        entry.observations++;
+        this.touch(key, entry);
+        this.evictBeyond(policy.maxTables);
+        const shifted = rowCountSpread(rows, entry.baselineRows) >= policy.shiftFactor;
+        debugLog('Recorded %d rows for %s (was %d, baseline %d)%s', rows, key, before, entry.baselineRows, shifted ? ' — shift' : '');
+        if (!shifted)
+            return;
+        log('Shift on %s: baseline %d -> %d rows', key, entry.baselineRows, rows);
+        entry.baselineRows = rows;
+        entry.shifts++;
+        this.ctx.onShift(key);
+    }
+    /**
+     * Offer one finished execution's observations (docs/progressive-optimizer.md §3.5).
+     * A committed read (`readCommitted`) or an execution that ended with no transaction
+     * open saw committed state and is recorded now. Anything else may include the open
+     * transaction's uncommitted writes, so it is held for {@link onCommitted} — unless a
+     * rollback ran during the execution (typically a failing statement's own statement
+     * savepoint, which fires before publication): then a completed scan may have counted
+     * rows that no longer exist, and the whole execution is discarded.
+     */
+    publish(observations, options) {
+        if (options.readCommitted) {
+            this.recordAll(observations);
+        }
+        else if (observations.rollbacksAtStart !== this.rollbacks) {
+            debugLog('Discarded observations: work was rolled back during the execution');
+        }
+        else if (this.ctx.getAutocommit()) {
+            this.recordAll(observations);
+        }
+        else {
+            for (const [table, rows] of observations.entries()) {
+                this.pending.set(tableKey(table), { table, rows });
+            }
+        }
+    }
+    /** A fresh per-execution sink, stamped so {@link publish} can tell whether a rollback ran under it. */
+    beginObservations() {
+        return new CardinalityObservations(this.rollbacks);
+    }
+    /**
+     * The open transaction committed: record what it held, except tables it wrote.
+     * Such a count was taken mid-transaction, possibly before later writes in the same
+     * transaction, and the change log cannot say which came first. `changedCounts` is
+     * the change log keyed like `entries` — every table the transaction wrote, even one
+     * whose writes cancelled out — and is not built when nothing is held.
+     */
+    onCommitted(changedCounts) {
+        // NOTE: external-change ingestion with `captureChanges: false` writes rows the change
+        // log never sees, so a count held from before such a batch is applied. Only an estimate
+        // lags; if those batches ever routinely shrink or grow tables, have them veto here too.
+        if (this.pending.size === 0)
+            return;
+        try {
+            const changed = changedCounts();
+            for (const [key, { table, rows }] of this.pending) {
+                if (changed.has(key)) {
+                    debugLog('Dropped %d rows for %s: the committing transaction wrote it', rows, key);
+                    continue;
+                }
+                this.record(table, rows);
+            }
+        }
+        finally {
+            this.pending.clear();
+        }
+    }
+    /** The open transaction, or some of its work, was undone: forget everything held. */
+    onRolledBack() {
+        this.pending.clear();
+        this.rollbacks++;
+    }
+    /** Forget every observation, held ones included; later compiles read the catalog only. */
+    clear() {
+        this.entries.clear();
+        this.pending.clear();
+    }
+    /** Valid entries, by value, least recently used first. Does not refresh recency. */
+    snapshot() {
+        const out = [];
+        for (const entry of this.entries.values()) {
+            const { schema } = entry;
+            if (this.ctx.schemaManager.findTable(schema.name, schema.schemaName) !== schema)
+                continue;
+            out.push({
+                schemaName: schema.schemaName,
+                tableName: schema.name,
+                rows: entry.rows,
+                catalogRows: catalogRowCount(schema),
+                baselineRows: entry.baselineRows,
+                observations: entry.observations,
+                shifts: entry.shifts,
+            });
+        }
+        return out;
+    }
+    dispose() {
+        if (this.unsubscribeSchemaChanges) {
+            this.unsubscribeSchemaChanges();
+            this.unsubscribeSchemaChanges = null;
+        }
+        this.clear();
+    }
+    subscribeToSchemaChanges() {
+        const notifier = this.ctx.schemaManager.getChangeNotifier();
+        this.unsubscribeSchemaChanges = notifier.addListener((event) => {
+            // Keyed by `oldObject`, not the event's name: a rename reports the NEW name.
+            // `DETACH` fires no per-table events; its tables' entries never match again
+            // and age out under the LRU cap.
+            if (event.type === 'table_modified' || event.type === 'table_removed') {
+                this.entries.delete(tableKey(event.oldObject));
+            }
+        });
+    }
+    recordAll(observations) {
+        for (const [table, rows] of observations.entries()) {
+            this.record(table, rows);
+        }
+    }
+    /** The entry under `key` if it was observed against `table`; a stale one is replaced on record. */
+    validEntry(key, table) {
+        const entry = this.entries.get(key);
+        return entry?.schema === table ? entry : undefined;
+    }
+    touch(key, entry) {
+        this.entries.delete(key);
+        this.entries.set(key, entry);
+    }
+    /**
+     * Drop least-recently-used entries past the cap. No `onShift`: plans already built
+     * keep their snapshot, and the next compile falls back to catalog or default numbers.
+     */
+    evictBeyond(maxTables) {
+        for (const key of this.entries.keys()) {
+            if (this.entries.size <= maxTables)
+                return;
+            this.entries.delete(key);
+        }
+    }
+}
+//# sourceMappingURL=database-cardinality-feedback.js.map

package/dist/src/core/database-cardinality-feedback.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"database-cardinality-feedback.js","sourceRoot":"","sources":["../../../src/core/database-cardinality-feedback.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,eAAe,EAA0B,MAAM,uCAAuC,CAAC;AAKhG,MAAM,GAAG,GAAG,YAAY,CAAC,2BAA2B,CAAC,CAAC;AACtD,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAwCrC;;;GAGG;AACH,SAAS,cAAc,CAAC,CAAS,EAAE,CAAS;IAC3C,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,eAAe,CAAC,UAAkB,EAAE,SAAiB;IACpE,OAAO,GAAG,UAAU,IAAI,SAAS,EAAE,CAAC,WAAW,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,QAAQ,CAAC,KAAkB;IACnC,OAAO,eAAe,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;AACtD,CAAC;AAED,uGAAuG;AACvG,MAAM,sBAAsB,GAAG,CAAC,CAAC;AAEjC;;;;;;GAMG;AACH,MAAM,OAAO,mBAAmB;IACvB,MAAM,GAAG,KAAK,CAAC;IACvB,gCAAgC;IACxB,OAAO,GAAG,CAAC,CAAC;IACpB,wFAAwF;IAChF,qBAAqB,GAAG,CAAC,CAAC;IAElC,6CAA6C;IAC7C,SAAS;QACR,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;IACpB,CAAC;IAED,oGAAoG;IACpG,aAAa;QACZ,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IACrB,CAAC;IAED,sFAAsF;IACtF,gBAAgB,CAAC,QAAgB;QAChC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,IAAI,IAAI,CAAC,qBAAqB,IAAI,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC;QACnH,IAAI,GAAG,EAAE,CAAC;YACT,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;YACpB,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,qBAAqB,GAAG,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC7B,OAAO,GAAG,CAAC;IACZ,CAAC;IAEO,kBAAkB,CAAC,QAAgB;QAC1C,OAAO,QAAQ,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,EAAE,sBAAsB,CAAC,CAAC;IAC3E,CAAC;CACD;AAED,MAAM,OAAO,0BAA0B;IAiBT;IAhB7B;;;;OAIG;IACc,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC5D;;;;OAIG;IACc,OAAO,GAAG,IAAI,GAAG,EAAkE,CAAC;IACrG,oFAAoF;IAC5E,SAAS,GAAG,CAAC,CAAC;IACd,wBAAwB,GAAwB,IAAI,CAAC;IAE7D,YAA6B,GAAsC;QAAtC,QAAG,GAAH,GAAG,CAAmC;QAClE,IAAI,CAAC,wBAAwB,EAAE,CAAC;IACjC,CAAC;IAED,YAAY,CAAC,KAAkB;QAC9B,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK;YAAE,OAAO,SAAS,CAAC;QACvD,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACvB,OAAO,KAAK,CAAC,IAAI,CAAC;IACnB,CAAC;IAED;;;;;;OAMG;IACH,MAAM,CAAC,KAAkB,EAAE,IAAY;QACtC,IAAI,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,KAAK,KAAK,EAAE,CAAC;YAC9E,QAAQ,CAAC,+DAA+D,EAAE,IAAI,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAC9G,OAAO;QACR,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,MAAM,CAAC,mBAAmB,CAAC;QAC1C,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,QAAQ,EAAE,IAAI,IAAI,eAAe,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,kBAAkB,CAAC;QACrF,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO;YAAE,OAAO;QAErD,MAAM,KAAK,GAAG,QAAQ,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QACpG,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;QAClB,KAAK,CAAC,YAAY,EAAE,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACvB,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAEnC,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC;QAC/E,QAAQ,CAAC,iDAAiD,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9H,IAAI,CAAC,OAAO;YAAE,OAAO;QACrB,GAAG,CAAC,qCAAqC,EAAE,GAAG,EAAE,KAAK,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QAC1E,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;QAC1B,KAAK,CAAC,MAAM,EAAE,CAAC;QACf,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACvB,CAAC;IAED;;;;;;;;OAQG;IACH,OAAO,CAAC,YAAqC,EAAE,OAAmC;QACjF,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;YAC3B,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAC9B,CAAC;aAAM,IAAI,YAAY,CAAC,gBAAgB,KAAK,IAAI,CAAC,SAAS,EAAE,CAAC;YAC7D,QAAQ,CAAC,mEAAmE,CAAC,CAAC;QAC/E,CAAC;aAAM,IAAI,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,EAAE,CAAC;YACrC,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAC9B,CAAC;aAAM,CAAC;YACP,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;gBACpD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACpD,CAAC;QACF,CAAC;IACF,CAAC;IAED,uGAAuG;IACvG,iBAAiB;QAChB,OAAO,IAAI,uBAAuB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACpD,CAAC;IAED;;;;;;OAMG;IACH,WAAW,CAAC,aAAwC;QACnD,sFAAsF;QACtF,wFAAwF;QACxF,wFAAwF;QACxF,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO;QACpC,IAAI,CAAC;YACJ,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAChC,KAAK,MAAM,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACnD,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACtB,QAAQ,CAAC,6DAA6D,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;oBACnF,SAAS;gBACV,CAAC;gBACD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC1B,CAAC;QACF,CAAC;gBAAS,CAAC;YACV,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACtB,CAAC;IACF,CAAC;IAED,qFAAqF;IACrF,YAAY;QACX,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC,SAAS,EAAE,CAAC;IAClB,CAAC;IAED,0FAA0F;IAC1F,KAAK;QACJ,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IACtB,CAAC;IAED,oFAAoF;IACpF,QAAQ;QACP,MAAM,GAAG,GAA+B,EAAE,CAAC;QAC3C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;YACzB,IAAI,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,KAAK,MAAM;gBAAE,SAAS;YAC1F,GAAG,CAAC,IAAI,CAAC;gBACR,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,SAAS,EAAE,MAAM,CAAC,IAAI;gBACtB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,WAAW,EAAE,eAAe,CAAC,MAAM,CAAC;gBACpC,YAAY,EAAE,KAAK,CAAC,YAAY;gBAChC,YAAY,EAAE,KAAK,CAAC,YAAY;gBAChC,MAAM,EAAE,KAAK,CAAC,MAAM;aACpB,CAAC,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,CAAC;IACZ,CAAC;IAED,OAAO;QACN,IAAI,IAAI,CAAC,wBAAwB,EAAE,CAAC;YACnC,IAAI,CAAC,wBAAwB,EAAE,CAAC;YAChC,IAAI,CAAC,wBAAwB,GAAG,IAAI,CAAC;QACtC,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,CAAC;IACd,CAAC;IAEO,wBAAwB;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,iBAAiB,EAAE,CAAC;QAC5D,IAAI,CAAC,wBAAwB,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,KAAwB,EAAE,EAAE;YACjF,6EAA6E;YAC7E,4EAA4E;YAC5E,iCAAiC;YACjC,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBACvE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;YAChD,CAAC;QACF,CAAC,CAAC,CAAC;IACJ,CAAC;IAEO,SAAS,CAAC,YAAqC;QACtD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;YACpD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC;IACF,CAAC;IAED,mGAAmG;IAC3F,UAAU,CAAC,GAAW,EAAE,KAAkB;QACjD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,OAAO,KAAK,EAAE,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACpD,CAAC;IAEO,KAAK,CAAC,GAAW,EAAE,KAAoB;QAC9C,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC;IAED;;;OAGG;IACK,WAAW,CAAC,SAAiB;QACpC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;YACvC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,SAAS;gBAAE,OAAO;YAC3C,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;IACF,CAAC;CACD"}

package/dist/src/core/database-transaction.d.ts

@@ -41,6 +41,9 @@ export interface TransactionManagerContext {
     /** Called after a successful commit, before the change log is cleared. The callback
      *  materializes per-table committed row counts only if a consumer wants them. */
     recordCommittedChangeCounts(counts: () => Map<string, number>): void;
+    /** Called when work of the open transaction is undone: a rollback, a failed commit,
+     *  or a `rollback to savepoint`. Bookkeeping only — errors are logged, never thrown. */
+    transactionRolledBack(): void;
 }
 /**
  * Op kind for a captured row change.
@@ -126,6 +129,8 @@ export declare class TransactionManager {
      * Rolls back the current transaction on all connections.
      */
     rollbackTransaction(): Promise<void>;
+    /** Tell the context work was undone, isolated like commit bookkeeping. */
+    private notifyRolledBack;
     /**
      * Ensures we're in a transaction. If in autocommit mode, starts an implicit transaction.
      */
@@ -220,8 +225,10 @@ export declare class TransactionManager {
      * so the whole reading is O(tables × layers) with no scan.
      *
      * Inherits the change log's coalescing — ten updates to one row count as one,
-     * and an insert followed by a delete of the same key leaves no entry at all.
-     * That makes this a *distinct rows touched* measure.
+     * and an insert followed by a delete of the same key counts zero. That makes
+     * this a *distinct rows touched* measure. A table written whose changes all
+     * cancelled out still appears, with count 0: the key set is every table the
+     * transaction wrote, which held cardinality observations rely on.
      *
      * Deliberately approximate across layers: the same key changed in two live
      * savepoint layers is counted twice. Deduplicating would cost a scan of every

package/dist/src/core/database-transaction.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"database-transaction.d.ts","sourceRoot":"","sources":["../../../src/core/database-transaction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAIxD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAMnE;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,UAAU,CAAC;AAExD;;;GAGG;AACH,MAAM,WAAW,yBAAyB;IACzC,+CAA+C;IAC/C,iBAAiB,IAAI,sBAAsB,EAAE,CAAC;IAC9C,qCAAqC;IACrC,eAAe,IAAI,oBAAoB,CAAC;IACxC,wCAAwC;IACxC,sBAAsB,IAAI,uBAAuB,CAAC;IAClD;;8CAE0C;IAC1C,mBAAmB,CAAC,IAAI,CAAC,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAChE,iDAAiD;IACjD,yBAAyB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3C;;sBAEkB;IAClB,qBAAqB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACvC;qFACiF;IACjF,2BAA2B,CAAC,MAAM,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC;CACrE;AAED;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAexD;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC3B,oFAAoF;IACpF,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAClC;AAiBD;;;;;;GAMG;AACH,qBAAa,kBAAkB;IA2BlB,OAAO,CAAC,QAAQ,CAAC,GAAG;IA1BhC,OAAO,CAAC,YAAY,CAAQ;IAC5B,OAAO,CAAC,aAAa,CAAS;IAC9B,OAAO,CAAC,iBAAiB,CAAkC;IAE3D,0EAA0E;IAC1E,OAAO,CAAC,SAAS,CAA6B;IAC9C,2CAA2C;IAC3C,OAAO,CAAC,eAAe,CAAwB;IAE/C,4DAA4D;IAC5D,OAAO,CAAC,cAAc,CAAgB;IAEtC,sFAAsF;IACtF,OAAO,CAAC,aAAa,CAAyC;IAE9D,8FAA8F;IAC9F,OAAO,CAAC,6BAA6B,CAAS;IAC9C,qEAAqE;IACrE,OAAO,CAAC,mBAAmB,CAAS;IAEpC;;;wEAGoE;IACpE,OAAO,CAAC,0BAA0B,CAAqC;gBAE1C,GAAG,EAAE,yBAAyB;IAM3D,iDAAiD;IACjD,aAAa,IAAI,OAAO;IAIxB,gDAAgD;IAChD,eAAe,IAAI,OAAO;IAI1B,iFAAiF;IACjF,oBAAoB,IAAI,iBAAiB,GAAG,IAAI;IAIhD;;;;;;OAMG;IACH,6BAA6B,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,IAAI,GAAG,IAAI;IAItE,gDAAgD;IAChD,qBAAqB,IAAI,OAAO;IAIhC,0FAA0F;IAC1F,+BAA+B,IAAI,OAAO;IAI1C,+EAA+E;IAC/E,qBAAqB,IAAI,OAAO;IAIhC;;;;;OAKG;IACH,uBAAuB,IAAI,MAAM;IAQjC;;;OAGG;IACG,gBAAgB,CAAC,MAAM,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC;IAyChE;;;OAGG;IACG,iBAAiB,IAAI,OAAO,CAAC,IAAI,CAAC;IAsFxC;;OAEG;IACG,mBAAmB,IAAI,OAAO,CAAC,IAAI,CAAC;IAoC1C;;OAEG;IACG,iBAAiB,IAAI,OAAO,CAAC,IAAI,CAAC;IAMxC;;OAEG;IACG,kBAAkB,IAAI,OAAO,CAAC,IAAI,CAAC;IAMzC;;OAEG;IACG,oBAAoB,IAAI,OAAO,CAAC,IAAI,CAAC;IAM3C;;;OAGG;IACH,4BAA4B,IAAI,IAAI;IAWpC;;OAEG;IACG,yBAAyB,IAAI,OAAO,CAAC,IAAI,CAAC;IAahD;;;;;OAKG;IACH,mBAAmB,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,GAAG,MAAM,IAAI;IAkCrE;;;;;;;;;OASG;IACH,OAAO,CAAC,iBAAiB;IAIzB,iEAAiE;IACjE,OAAO,CAAC,WAAW;IAMnB,mDAAmD;IACnD,OAAO,CAAC,UAAU;IAMlB;;;;OAIG;IACH,OAAO,CAAC,iBAAiB;IAezB;;;;;;;;;OASG;IACH,OAAO,CAAC,WAAW;IAKnB;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAkDvB,6EAA6E;IAC7E,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI;IAWhF,4EAA4E;IAC5E,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI;IAWhF;;;;;;;;;;;;;OAaG;IACH,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI;IAmB7F,yCAAyC;IACzC,oBAAoB,IAAI,GAAG,CAAC,MAAM,CAAC;IAYnC;;;;;;;;;;;;OAYG;IACH,mBAAmB,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAa1C,iFAAiF;IACjF,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,EAAE;IAkB/C;;;;;;;;;;;;OAYG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,MAAM,EAAE,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,QAAQ,EAAE,EAAE;IAsD5G,gCAAgC;IAChC,cAAc,IAAI,IAAI;IAWtB;;;OAGG;IACH,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAOrC;;;OAGG;IACH,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAQnC;;;;;OAKG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAYtC;;;;;;OAMG;IACH,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAuBzC,sDAAsD;IACtD,OAAO,CAAC,mBAAmB;IAM3B,2CAA2C;IAC3C,OAAO,CAAC,sBAAsB;IAM9B;;;;;;OAMG;IACH,OAAO,CAAC,qBAAqB;CAiB7B"}
+{"version":3,"file":"database-transaction.d.ts","sourceRoot":"","sources":["../../../src/core/database-transaction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAIxD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAMnE;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,UAAU,CAAC;AAExD;;;GAGG;AACH,MAAM,WAAW,yBAAyB;IACzC,+CAA+C;IAC/C,iBAAiB,IAAI,sBAAsB,EAAE,CAAC;IAC9C,qCAAqC;IACrC,eAAe,IAAI,oBAAoB,CAAC;IACxC,wCAAwC;IACxC,sBAAsB,IAAI,uBAAuB,CAAC;IAClD;;8CAE0C;IAC1C,mBAAmB,CAAC,IAAI,CAAC,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAChE,iDAAiD;IACjD,yBAAyB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3C;;sBAEkB;IAClB,qBAAqB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACvC;qFACiF;IACjF,2BAA2B,CAAC,MAAM,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC;IACrE;4FACwF;IACxF,qBAAqB,IAAI,IAAI,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAexD;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC3B,oFAAoF;IACpF,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAClC;AAiBD;;;;;;GAMG;AACH,qBAAa,kBAAkB;IA2BlB,OAAO,CAAC,QAAQ,CAAC,GAAG;IA1BhC,OAAO,CAAC,YAAY,CAAQ;IAC5B,OAAO,CAAC,aAAa,CAAS;IAC9B,OAAO,CAAC,iBAAiB,CAAkC;IAE3D,0EAA0E;IAC1E,OAAO,CAAC,SAAS,CAA6B;IAC9C,2CAA2C;IAC3C,OAAO,CAAC,eAAe,CAAwB;IAE/C,4DAA4D;IAC5D,OAAO,CAAC,cAAc,CAAgB;IAEtC,sFAAsF;IACtF,OAAO,CAAC,aAAa,CAAyC;IAE9D,8FAA8F;IAC9F,OAAO,CAAC,6BAA6B,CAAS;IAC9C,qEAAqE;IACrE,OAAO,CAAC,mBAAmB,CAAS;IAEpC;;;wEAGoE;IACpE,OAAO,CAAC,0BAA0B,CAAqC;gBAE1C,GAAG,EAAE,yBAAyB;IAM3D,iDAAiD;IACjD,aAAa,IAAI,OAAO;IAIxB,gDAAgD;IAChD,eAAe,IAAI,OAAO;IAI1B,iFAAiF;IACjF,oBAAoB,IAAI,iBAAiB,GAAG,IAAI;IAIhD;;;;;;OAMG;IACH,6BAA6B,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,IAAI,GAAG,IAAI;IAItE,gDAAgD;IAChD,qBAAqB,IAAI,OAAO;IAIhC,0FAA0F;IAC1F,+BAA+B,IAAI,OAAO;IAI1C,+EAA+E;IAC/E,qBAAqB,IAAI,OAAO;IAIhC;;;;;OAKG;IACH,uBAAuB,IAAI,MAAM;IAQjC;;;OAGG;IACG,gBAAgB,CAAC,MAAM,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC;IA8ChE;;;OAGG;IACG,iBAAiB,IAAI,OAAO,CAAC,IAAI,CAAC;IAwFxC;;OAEG;IACG,mBAAmB,IAAI,OAAO,CAAC,IAAI,CAAC;IAqC1C,0EAA0E;IAC1E,OAAO,CAAC,gBAAgB;IAQxB;;OAEG;IACG,iBAAiB,IAAI,OAAO,CAAC,IAAI,CAAC;IAMxC;;OAEG;IACG,kBAAkB,IAAI,OAAO,CAAC,IAAI,CAAC;IAMzC;;OAEG;IACG,oBAAoB,IAAI,OAAO,CAAC,IAAI,CAAC;IAM3C;;;OAGG;IACH,4BAA4B,IAAI,IAAI;IAWpC;;OAEG;IACG,yBAAyB,IAAI,OAAO,CAAC,IAAI,CAAC;IAahD;;;;;OAKG;IACH,mBAAmB,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,GAAG,MAAM,IAAI;IAkCrE;;;;;;;;;OASG;IACH,OAAO,CAAC,iBAAiB;IAIzB,iEAAiE;IACjE,OAAO,CAAC,WAAW;IAMnB,mDAAmD;IACnD,OAAO,CAAC,UAAU;IAMlB;;;;OAIG;IACH,OAAO,CAAC,iBAAiB;IAezB;;;;;;;;;OASG;IACH,OAAO,CAAC,WAAW;IAKnB;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAkDvB,6EAA6E;IAC7E,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI;IAWhF,4EAA4E;IAC5E,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI;IAWhF;;;;;;;;;;;;;OAaG;IACH,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI;IAmB7F,yCAAyC;IACzC,oBAAoB,IAAI,GAAG,CAAC,MAAM,CAAC;IAYnC;;;;;;;;;;;;;;OAcG;IACH,mBAAmB,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAY1C,iFAAiF;IACjF,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,EAAE;IAkB/C;;;;;;;;;;;;OAYG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,MAAM,EAAE,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,QAAQ,EAAE,EAAE;IAsD5G,gCAAgC;IAChC,cAAc,IAAI,IAAI;IAWtB;;;OAGG;IACH,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAOrC;;;OAGG;IACH,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAQnC;;;;;OAKG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAYtC;;;;;;OAMG;IACH,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAwBzC,sDAAsD;IACtD,OAAO,CAAC,mBAAmB;IAM3B,2CAA2C;IAC3C,OAAO,CAAC,sBAAsB;IAM9B;;;;;;OAMG;IACH,OAAO,CAAC,qBAAqB;CAiB7B"}

package/dist/src/core/database-transaction.js

@@ -107,6 +107,11 @@ export class TransactionManager {
                     // Upgrade implicit to explicit
                     debugLog('Upgrading implicit transaction to explicit (BEGIN encountered).');
                     this.transactionSource = 'explicit';
+                    // NOTE: held cardinality observations survive the upgrade (same transaction),
+                    // but this clear forgets which tables were written before it, so a pre-upgrade
+                    // write after an observation would no longer veto that observation at commit.
+                    // Unreached today — every implicit transaction ends with its statement — if
+                    // BEGIN can ever run inside one that wrote, keep the written-table set here.
                     this.clearChangeLog();
                     return;
                 }
@@ -189,15 +194,16 @@ export class TransactionManager {
             catch (err) {
                 errorLog('Post-commit watcher dispatch threw: %O', err);
             }
-            // Auto-analyze staleness bookkeeping, same window: the change log is
-            // still alive. The counts map is thunked so it is never materialized
-            // when the feature is off, and the whole call is isolated — a
-            // bookkeeping error must never fail a transaction that has committed.
+            // Commit bookkeeping (auto-analyze staleness, held cardinality
+            // observations), same window: the change log is still alive. The counts
+            // map is thunked so it is never materialized when no consumer wants it,
+            // and the whole call is isolated — a bookkeeping error must never fail a
+            // transaction that has committed.
             try {
                 this.ctx.recordCommittedChangeCounts(() => this.getChangedRowCounts());
             }
             catch (err) {
-                errorLog('Auto-analyze commit bookkeeping threw: %O', err);
+                errorLog('Commit bookkeeping threw: %O', err);
             }
             // Materialized views are NOT a post-commit consumer: each is row-time
             // maintained synchronously at the DML boundary, so its backing table is
@@ -207,6 +213,7 @@ export class TransactionManager {
             // On pre-commit assertion failure (or commit error), rollback all connections
             const conns = this.ctx.getAllConnections();
             await Promise.allSettled(conns.map(c => c.rollback()));
+            this.notifyRolledBack();
             throw e;
         }
         finally {
@@ -257,6 +264,16 @@ export class TransactionManager {
             this.isAutocommit = true;
             this.transactionSource = null;
             this.clearChangeLog();
+            this.notifyRolledBack();
+        }
+    }
+    /** Tell the context work was undone, isolated like commit bookkeeping. */
+    notifyRolledBack() {
+        try {
+            this.ctx.transactionRolledBack();
+        }
+        catch (err) {
+            errorLog('Rollback bookkeeping threw: %O', err);
         }
     }
     /**
@@ -542,8 +559,10 @@ export class TransactionManager {
      * so the whole reading is O(tables × layers) with no scan.
      *
      * Inherits the change log's coalescing — ten updates to one row count as one,
-     * and an insert followed by a delete of the same key leaves no entry at all.
-     * That makes this a *distinct rows touched* measure.
+     * and an insert followed by a delete of the same key counts zero. That makes
+     * this a *distinct rows touched* measure. A table written whose changes all
+     * cancelled out still appears, with count 0: the key set is every table the
+     * transaction wrote, which held cardinality observations rely on.
      *
      * Deliberately approximate across layers: the same key changed in two live
      * savepoint layers is counted twice. Deduplicating would cost a scan of every
@@ -553,8 +572,6 @@ export class TransactionManager {
         const result = new Map();
         const collect = (m) => {
             for (const [t, rowMap] of m) {
-                if (rowMap.size === 0)
-                    continue;
                 result.set(t, (result.get(t) ?? 0) + rowMap.size);
             }
         };
@@ -721,6 +738,7 @@ export class TransactionManager {
         this.savepointStack.length = index + 1;
         // Re-create a fresh layer for the preserved savepoint
         this.beginSavepointLayer();
+        this.notifyRolledBack();
         return index;
     }
     // ============================================================================