@ductape/sdk 0.4.3 → 0.4.5

package/dist/database/atomic-batch.d.ts

@@ -0,0 +1,51 @@
+import type { ITransaction } from './types/transaction.interface';
+export interface AtomicBatchOperation {
+    name: string;
+    operation: 'insert' | 'update' | 'delete' | 'upsert';
+    table: string;
+    data?: Record<string, unknown> | Record<string, unknown>[];
+    where?: Record<string, unknown>;
+    conflictKeys?: string[];
+    returning?: boolean;
+    /** Exact primitive count, not matched count. MongoDB update counts modified documents. */
+    expectedCount?: number;
+    /** Output label -> JSON pointer into this operation's actual primitive result. */
+    project?: Record<string, string>;
+}
+export interface AtomicBatchOptions {
+    product: string;
+    env: string;
+    database: string;
+    /** Original opaque session, forwarded unchanged to every operation. */
+    session?: string;
+    /** Explicit maintenance classification; does not grant or bypass access. */
+    system?: {
+        reason: string;
+    };
+    transaction?: ITransaction;
+    operations: AtomicBatchOperation[];
+}
+export interface AtomicBatchResult {
+    status: 'committed' | 'pending';
+    transactionId: string;
+    results: Record<string, unknown>;
+}
+export declare class AtomicBatchError extends Error {
+    readonly code: 'BATCH_VALIDATION' | 'BATCH_GUARD_FAILED' | 'BATCH_OPERATION_FAILED' | 'BATCH_COMMIT_UNKNOWN';
+    readonly outcome: 'not_started' | 'aborted' | 'rollback_unknown' | 'commit_unknown';
+    readonly operation?: string;
+    readonly transactionId?: string;
+    constructor(code: 'BATCH_VALIDATION' | 'BATCH_GUARD_FAILED' | 'BATCH_OPERATION_FAILED' | 'BATCH_COMMIT_UNKNOWN', outcome: 'not_started' | 'aborted' | 'rollback_unknown' | 'commit_unknown', operation?: string, transactionId?: string);
+}
+export interface AtomicBatchHost {
+    preflight(options: AtomicBatchOptions): Promise<void>;
+    executeNative?(options: AtomicBatchOptions): Promise<AtomicBatchResult | undefined>;
+    begin(options: AtomicBatchOptions): Promise<ITransaction>;
+    validateTransaction?(options: AtomicBatchOptions, transaction: ITransaction): Promise<void>;
+    execute(operation: AtomicBatchOperation, options: AtomicBatchOptions, transaction: ITransaction): Promise<{
+        count: number;
+    }>;
+}
+export declare function validateAtomicBatch(options: AtomicBatchOptions): void;
+/** Sequential ACID executor. No automatic write replay and no provider callbacks. */
+export declare function executeAtomicBatch(host: AtomicBatchHost, options: AtomicBatchOptions): Promise<AtomicBatchResult>;

package/dist/database/atomic-batch.js

@@ -0,0 +1,174 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.AtomicBatchError = void 0;
+exports.validateAtomicBatch = validateAtomicBatch;
+exports.executeAtomicBatch = executeAtomicBatch;
+class AtomicBatchError extends Error {
+    constructor(code, outcome, operation, transactionId) {
+        // Never copy provider errors here: they can contain parameters and credentials.
+        super(`${code}: ${outcome}${operation ? ` (${operation})` : ''}`);
+        this.code = code;
+        this.outcome = outcome;
+        this.operation = operation;
+        this.transactionId = transactionId;
+        this.name = 'AtomicBatchError';
+    }
+}
+exports.AtomicBatchError = AtomicBatchError;
+const forbidden = new Set(['__proto__', 'constructor', 'prototype']);
+function fail() { throw new AtomicBatchError('BATCH_VALIDATION', 'not_started'); }
+function record(value) {
+    return !!value && typeof value === 'object' && !Array.isArray(value)
+        && (Object.getPrototypeOf(value) === Object.prototype || Object.getPrototypeOf(value) === null);
+}
+function keys(value, allowed) {
+    if (Object.keys(value).some(key => !allowed.includes(key) || forbidden.has(key)))
+        fail();
+}
+function pointer(value, path) {
+    if (path === '')
+        return value;
+    if (!path.startsWith('/') || /~(?![01])/u.test(path))
+        fail();
+    for (const encoded of path.slice(1).split('/')) {
+        const key = encoded.replace(/~1/g, '/').replace(/~0/g, '~');
+        if (forbidden.has(key) || value === null || typeof value !== 'object' || !Object.prototype.hasOwnProperty.call(value, key))
+            fail();
+        value = value[key];
+    }
+    return value;
+}
+function walk(value, visit, depth = 0) {
+    if (depth > 32)
+        fail();
+    if (Array.isArray(value))
+        return value.map(item => walk(item, visit, depth + 1));
+    if (record(value)) {
+        if (Object.prototype.hasOwnProperty.call(value, '$batchRef')) {
+            keys(value, ['$batchRef']);
+            const ref = value.$batchRef;
+            if (!record(ref))
+                fail();
+            keys(ref, ['operation', 'path']);
+            if (typeof ref.operation !== 'string' || typeof ref.path !== 'string')
+                fail();
+            return visit(ref);
+        }
+        return Object.fromEntries(Object.entries(value).map(([key, child]) => {
+            if (forbidden.has(key))
+                fail();
+            return [key, walk(child, visit, depth + 1)];
+        }));
+    }
+    if (value !== null && typeof value === 'object')
+        fail();
+    if (typeof value === 'function' || typeof value === 'symbol' || typeof value === 'bigint' || value === undefined)
+        fail();
+    if (typeof value === 'number' && !Number.isFinite(value))
+        fail();
+    return value;
+}
+function validateAtomicBatch(options) {
+    if (!record(options))
+        fail();
+    keys(options, ['product', 'env', 'database', 'session', 'system', 'transaction', 'operations']);
+    for (const value of [options.product, options.env, options.database])
+        if (typeof value !== 'string' || !value.trim())
+            fail();
+    if (options.session !== undefined && (typeof options.session !== 'string' || !options.session.trim()))
+        fail();
+    if (options.system !== undefined) {
+        if (!record(options.system))
+            fail();
+        keys(options.system, ['reason']);
+        if (typeof options.system.reason !== 'string' || !options.system.reason.trim())
+            fail();
+    }
+    if (!!options.session === !!options.system)
+        fail();
+    if (!Array.isArray(options.operations) || !options.operations.length || options.operations.length > 100)
+        fail();
+    const prior = new Set();
+    for (const op of options.operations) {
+        if (!record(op))
+            fail();
+        keys(op, ['name', 'operation', 'table', 'data', 'where', 'conflictKeys', 'returning', 'expectedCount', 'project']);
+        if (typeof op.name !== 'string' || !/^[a-zA-Z][a-zA-Z0-9_-]{0,63}$/.test(op.name) || prior.has(op.name) || forbidden.has(op.name))
+            fail();
+        if (typeof op.table !== 'string' || !op.table.trim() || op.table.startsWith('_ductape_') || op.table.startsWith('system.'))
+            fail();
+        if (!['insert', 'update', 'delete', 'upsert'].includes(op.operation))
+            fail();
+        if (op.operation !== 'delete' && !record(op.data) && !(op.operation === 'insert' && Array.isArray(op.data) && op.data.length && op.data.every(record)))
+            fail();
+        if (['update', 'delete'].includes(op.operation) && (!record(op.where) || !Object.keys(op.where).length))
+            fail();
+        if (op.operation === 'upsert' && (!Array.isArray(op.conflictKeys) || !op.conflictKeys.length || op.conflictKeys.some(key => typeof key !== 'string' || !key || forbidden.has(key))))
+            fail();
+        if (op.returning !== undefined && typeof op.returning !== 'boolean')
+            fail();
+        if (op.expectedCount !== undefined && (!Number.isSafeInteger(op.expectedCount) || op.expectedCount < 0))
+            fail();
+        if (op.project !== undefined && (!record(op.project) || Object.values(op.project).some(path => typeof path !== 'string' || (path !== '' && !path.startsWith('/')))))
+            fail();
+        walk(op, ref => { if (!prior.has(ref.operation))
+            fail(); return null; });
+        prior.add(op.name);
+    }
+    if (Buffer.byteLength(JSON.stringify(options.operations)) > 1024 * 1024)
+        fail();
+}
+/** Sequential ACID executor. No automatic write replay and no provider callbacks. */
+async function executeAtomicBatch(host, options) {
+    var _a, _b, _c;
+    validateAtomicBatch(options);
+    // Snapshot caller-owned inputs before awaiting; preserve the opaque session and transaction.
+    options = Object.assign(Object.assign({}, options), { operations: JSON.parse(JSON.stringify(options.operations)) });
+    // References are resolved later, so use a JSON snapshot retaining their declarative form.
+    await host.preflight(options);
+    const native = await ((_a = host.executeNative) === null || _a === void 0 ? void 0 : _a.call(host, options));
+    if (native)
+        return native;
+    const transaction = (_b = options.transaction) !== null && _b !== void 0 ? _b : await host.begin(options);
+    const results = Object.create(null);
+    const projected = Object.create(null);
+    let operation;
+    let guard = false;
+    try {
+        await ((_c = host.validateTransaction) === null || _c === void 0 ? void 0 : _c.call(host, options, transaction));
+        for (const source of options.operations) {
+            operation = source.name;
+            if (!transaction.isActive())
+                throw new Error('inactive transaction');
+            const op = walk(source, ref => pointer(results[ref.operation], ref.path));
+            const result = await host.execute(op, options, transaction);
+            if (op.expectedCount !== undefined && result.count !== op.expectedCount) {
+                guard = true;
+                throw new Error('count guard failed');
+            }
+            results[op.name] = result;
+            projected[op.name] = op.project ? Object.fromEntries(Object.entries(op.project).map(([key, path]) => [key, pointer(result, path)])) : result;
+        }
+    }
+    catch (_d) {
+        let outcome = transaction.status === 'rolled_back' ? 'aborted' : 'rollback_unknown';
+        try {
+            if (transaction.isActive()) {
+                await transaction.rollback();
+                outcome = 'aborted';
+            }
+        }
+        catch ( /* Preserve uncertainty, not the provider payload. */_e) { /* Preserve uncertainty, not the provider payload. */ }
+        throw new AtomicBatchError(guard ? 'BATCH_GUARD_FAILED' : 'BATCH_OPERATION_FAILED', outcome, operation, transaction.id);
+    }
+    if (options.transaction)
+        return { status: 'pending', transactionId: transaction.id, results: projected };
+    try {
+        await transaction.commit();
+    }
+    catch (_f) {
+        throw new AtomicBatchError('BATCH_COMMIT_UNKNOWN', 'commit_unknown', undefined, transaction.id);
+    }
+    return { status: 'committed', transactionId: transaction.id, results: projected };
+}
+//# sourceMappingURL=atomic-batch.js.map

package/dist/database/atomic-batch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"atomic-batch.js","sourceRoot":"","sources":["../../src/database/atomic-batch.ts"],"names":[],"mappings":";;;AAiGA,kDA6BC;AAGD,gDAiCC;AAhID,MAAa,gBAAiB,SAAQ,KAAK;IACzC,YACkB,IAAmG,EACnG,OAA0E,EAC1E,SAAkB,EAClB,aAAsB;QAEtC,gFAAgF;QAChF,KAAK,CAAC,GAAG,IAAI,KAAK,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QANlD,SAAI,GAAJ,IAAI,CAA+F;QACnG,YAAO,GAAP,OAAO,CAAmE;QAC1E,cAAS,GAAT,SAAS,CAAS;QAClB,kBAAa,GAAb,aAAa,CAAS;QAItC,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAXD,4CAWC;AAUD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;AACrE,SAAS,IAAI,KAAY,MAAM,IAAI,gBAAgB,CAAC,kBAAkB,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;AACzF,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;WAC/D,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;AACpG,CAAC;AACD,SAAS,IAAI,CAAC,KAA8B,EAAE,OAAiB;IAC7D,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAAE,IAAI,EAAE,CAAC;AAC3F,CAAC;AACD,SAAS,OAAO,CAAC,KAAc,EAAE,IAAY;IAC3C,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC9B,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,IAAI,EAAE,CAAC;IAC7D,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5D,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;YAAE,IAAI,EAAE,CAAC;QACnI,KAAK,GAAI,KAAiC,CAAC,GAAG,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,IAAI,CAAC,KAAc,EAAE,KAAkE,EAAE,KAAK,GAAG,CAAC;IACzG,IAAI,KAAK,GAAG,EAAE;QAAE,IAAI,EAAE,CAAC;IACvB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IACjF,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAClB,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC,KAAK,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;YAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC;YAC5B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;gBAAE,IAAI,EAAE,CAAC;YACzB,IAAI,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;YACjC,IAAI,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ;gBAAE,IAAI,EAAE,CAAC;YAC9E,OAAO,KAAK,CAAC,GAA0C,CAAC,CAAC;QAC3D,CAAC;QACD,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;YACnE,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,IAAI,EAAE,CAAC;YAC/B,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC,CAAC;IACN,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,IAAI,EAAE,CAAC;IACxD,IAAI,OAAO,KAAK,KAAK,UAAU,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,SAAS;QAAE,IAAI,EAAE,CAAC;IACzH,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,IAAI,EAAE,CAAC;IACjE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAgB,mBAAmB,CAAC,OAA2B;IAC7D,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;QAAE,IAAI,EAAE,CAAC;IAC7B,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC;IAChG,KAAK,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC;QAAE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE;YAAE,IAAI,EAAE,CAAC;IAC7H,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAAE,IAAI,EAAE,CAAC;IAC9G,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,IAAI,EAAE,CAAC;QACpC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjC,IAAI,OAAO,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE;YAAE,IAAI,EAAE,CAAC;IACzF,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM;QAAE,IAAI,EAAE,CAAC;IACnD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,GAAG;QAAE,IAAI,EAAE,CAAC;IAChH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAAE,IAAI,EAAE,CAAC;QACxB,IAAI,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,eAAe,EAAE,SAAS,CAAC,CAAC,CAAC;QACnH,IAAI,OAAO,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,+BAA+B,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,IAAI,EAAE,CAAC;QAC1I,IAAI,OAAO,EAAE,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,IAAI,EAAE,CAAC;QACnI,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,SAAS,CAAC;YAAE,IAAI,EAAE,CAAC;QAC7E,IAAI,EAAE,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAAE,IAAI,EAAE,CAAC;QAC/J,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;YAAE,IAAI,EAAE,CAAC;QAChH,IAAI,EAAE,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,GAAG,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,IAAI,EAAE,CAAC;QAC5L,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,EAAE,CAAC,SAAS,KAAK,SAAS;YAAE,IAAI,EAAE,CAAC;QAC5E,IAAI,EAAE,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,aAAa,GAAG,CAAC,CAAC;YAAE,IAAI,EAAE,CAAC;QAChH,IAAI,EAAE,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAAE,IAAI,EAAE,CAAC;QAC5K,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,IAAI,EAAE,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACzE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI;QAAE,IAAI,EAAE,CAAC;AAClF,CAAC;AAED,qFAAqF;AAC9E,KAAK,UAAU,kBAAkB,CAAC,IAAqB,EAAE,OAA2B;;IACzF,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC7B,6FAA6F;IAC7F,OAAO,mCAAQ,OAAO,KAAE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,CAA2B,GAAE,CAAC;IAC/G,0FAA0F;IAC1F,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,MAAM,CAAA,MAAA,IAAI,CAAC,aAAa,qDAAG,OAAO,CAAC,CAAA,CAAC;IACnD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,WAAW,GAAG,MAAA,OAAO,CAAC,WAAW,mCAAI,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrE,MAAM,OAAO,GAA4B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7D,MAAM,SAAS,GAA4B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC/D,IAAI,SAA6B,CAAC;IAClC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,CAAC;QACH,MAAM,CAAA,MAAA,IAAI,CAAC,mBAAmB,qDAAG,OAAO,EAAE,WAAW,CAAC,CAAA,CAAC;QACvD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACxC,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC;YACxB,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE;gBAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;YACrE,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAyB,CAAC;YAClG,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;YAC5D,IAAI,EAAE,CAAC,aAAa,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC,aAAa,EAAE,CAAC;gBAAC,KAAK,GAAG,IAAI,CAAC;gBAAC,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;YAAC,CAAC;YACjI,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;YAC1B,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAC/I,CAAC;IACH,CAAC;IAAC,WAAM,CAAC;QACP,IAAI,OAAO,GAAmC,WAAW,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC;QACpH,IAAI,CAAC;YAAC,IAAI,WAAW,CAAC,QAAQ,EAAE,EAAE,CAAC;gBAAC,MAAM,WAAW,CAAC,QAAQ,EAAE,CAAC;gBAAC,OAAO,GAAG,SAAS,CAAC;YAAC,CAAC;QAAC,CAAC;QAAC,QAAQ,qDAAqD,IAAvD,CAAC,CAAC,qDAAqD,CAAC,CAAC;QAC1J,MAAM,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,wBAAwB,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;IAC1H,CAAC;IACD,IAAI,OAAO,CAAC,WAAW;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,WAAW,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACzG,IAAI,CAAC;QAAC,MAAM,WAAW,CAAC,MAAM,EAAE,CAAC;IAAC,CAAC;IACnC,WAAM,CAAC;QAAC,MAAM,IAAI,gBAAgB,CAAC,sBAAsB,EAAE,gBAAgB,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC;IAC1G,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AACpF,CAAC"}

package/dist/database/databases.service.d.ts

@@ -10,6 +10,7 @@
 import { IConnectionConfig, IConnectionResult, IConnectionContext, IDatabaseConfig } from './types/connection.interface';
 import { IQueryOptions, IQueryResult, IRawQueryOptions, IRawQueryResult } from './types/query.interface';
 import { IInsertOptions, IInsertResult, IUpdateOptions, IUpdateResult, IDeleteOptions, IDeleteResult, IUpsertOptions, IUpsertResult } from './types/write.interface';
+import { AtomicBatchOptions, AtomicBatchResult } from './atomic-batch';
 import { ITransactionOptions, ITransaction, ITransactionCallback } from './types/transaction.interface';
 import { IAggregateOptions, IAggregateResult, ICountOptions, ISumOptions, IAvgOptions, IMinMaxOptions, IGroupByOptions, IGroupByResult } from './types/aggregation.interface';
 import { ICreateTableOptions, ITableDefinition, IAlterTableOperation, ITableSchema, ITableInfo, ICreateIndexOptions, IDropIndexOptions, IListIndexesOptions, IIndexInfo, IIndexStatistics, SimpleFieldType, ISimpleFieldDefinition, ISimpleSchemaDefinition, ISimpleCreateOptions, ISimpleDropOptions, ISimpleIndexOptions } from './types/schema.interface';
@@ -67,6 +68,7 @@ export declare class DatabaseService {
     private currentContext;
     private adapterFactory;
     private transactionManager;
+    private readonly transactionScopes;
     private schemaManagers;
     private migrationEngines;
     private actionManager;
@@ -605,6 +607,8 @@ export declare class DatabaseService {
      * }
      */
     beginTransaction(options: ITransactionOptions): Promise<ITransaction>;
+    /** Bounded ACID batch. Unsupported adapters and configured triggers fail closed. */
+    atomicBatch(options: AtomicBatchOptions): Promise<AtomicBatchResult>;
     /**
      * Create a new table
      *

package/dist/database/databases.service.js

@@ -48,10 +48,17 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.databaseService = exports.DatabaseConnection = exports.DatabaseService = void 0;
 const enums_1 = require("./types/enums");
 const presave_processor_1 = require("./presave/presave-processor");
+const atomic_batch_1 = require("./atomic-batch");
+const dynamodb_adapter_1 = require("./adapters/dynamodb.adapter");
+const transaction_manager_1 = require("./transactions/transaction-manager");
+const mongodb_adapter_1 = require("./adapters/mongodb.adapter");
+const postgresql_adapter_1 = require("./adapters/postgresql.adapter");
+const mysql_adapter_1 = require("./adapters/mysql.adapter");
+const context_1 = require("../context");
 const adapter_factory_1 = require("./adapters/adapter.factory");
 const query_builder_1 = require("./operators/query-builder");
 const aggregation_builder_1 = require("./operators/aggregation-builder");
-const transaction_manager_1 = require("./transactions/transaction-manager");
+const transaction_manager_2 = require("./transactions/transaction-manager");
 const schema_manager_1 = require("./schema/schema-manager");
 const migration_engine_1 = require("./migrations/migration-engine");
 const action_manager_1 = require("./actions/action-manager");
@@ -94,6 +101,7 @@ class DatabaseService {
         this.adapters = new Map();
         this.connectionContexts = new Map();
         this.currentContext = null;
+        this.transactionScopes = new WeakMap();
         this.schemaManagers = new Map();
         this.migrationEngines = new Map();
         /** Service configuration */
@@ -116,7 +124,7 @@ class DatabaseService {
         this.config = config || null;
         this.preInitializedProductBuilder = config === null || config === void 0 ? void 0 : config.preInitializedProductBuilder;
         this.adapterFactory = new adapter_factory_1.AdapterFactory();
-        this.transactionManager = new transaction_manager_1.TransactionManager();
+        this.transactionManager = new transaction_manager_2.TransactionManager();
         this.actionManager = new action_manager_1.ActionManager(this);
         this._privateKey = (config === null || config === void 0 ? void 0 : config.private_key) || '';
         if ((config === null || config === void 0 ? void 0 : config.default_product) || (config === null || config === void 0 ? void 0 : config.default_env)) {
@@ -1973,7 +1981,109 @@ class DatabaseService {
     async beginTransaction(options) {
         await this.ensureAdapterFor(options);
         const adapter = this.getAdapter(options);
-        return this.transactionManager.beginTransaction(adapter, options);
+        const transaction = await this.transactionManager.beginTransaction(adapter, options);
+        this.transactionScopes.set(transaction, JSON.stringify([options.product, options.env, options.database]));
+        return transaction;
+    }
+    /** Bounded ACID batch. Unsupported adapters and configured triggers fail closed. */
+    async atomicBatch(options) {
+        var _a;
+        const logs = [];
+        const batch = { id: (0, processor_utils_1.generateObjectId)(), logs, system: !!options.system };
+        let outcome = 'not_started';
+        try {
+            const result = await (0, context_1.runWithExecutionContext)((0, context_1.createExecutionContext)({ database_batch: batch }), () => (0, atomic_batch_1.executeAtomicBatch)({
+                preflight: async (scope) => {
+                    var _a;
+                    await this.ensureAdapterFor(scope);
+                    if (((_a = this.currentContext) === null || _a === void 0 ? void 0 : _a.product) && this.currentContext.product !== scope.product) {
+                        throw new Error('Atomic batch product must match the active database context');
+                    }
+                    if (scope.session && !(await this.getProductBuilder(scope.product)).fetchPrivateKey()) {
+                        throw new Error('Atomic batch cannot verify the provided user session');
+                    }
+                    const adapter = this.getAdapter(scope);
+                    if (!(adapter instanceof mongodb_adapter_1.MongoDBAdapter || adapter instanceof postgresql_adapter_1.PostgreSQLAdapter || adapter instanceof mysql_adapter_1.MySQLAdapter || adapter instanceof dynamodb_adapter_1.DynamoDBAdapter)) {
+                        throw new Error('This adapter cannot provide the required multi-table ACID contract; Cassandra logged batches are not a substitute');
+                    }
+                    if (scope.transaction && (!(scope.transaction instanceof transaction_manager_1.Transaction) || !scope.transaction.belongsTo(adapter) || !scope.transaction.isActive()
+                        || this.transactionScopes.get(scope.transaction) !== JSON.stringify([scope.product, scope.env, scope.database]))) {
+                        throw new Error('Atomic batch transaction does not belong to the active database connection');
+                    }
+                    if (scope.transaction && (adapter instanceof postgresql_adapter_1.PostgreSQLAdapter || adapter instanceof mysql_adapter_1.MySQLAdapter)
+                        && scope.transaction.isolationLevel !== enums_1.IsolationLevel.SERIALIZABLE) {
+                        throw new Error('Borrowed SQL batch transactions must use SERIALIZABLE isolation');
+                    }
+                    const triggers = await this.fetchTriggers(scope.product, scope.database);
+                    if (triggers.length)
+                        throw new Error('Atomic batch does not yet support configured triggers; use a transaction-local outbox');
+                    if (adapter instanceof mongodb_adapter_1.MongoDBAdapter)
+                        await adapter.assertAtomicBatchSupport([...new Set(scope.operations.map(op => op.table))]);
+                },
+                executeNative: async (scope) => {
+                    var _a, _b, _c, _d;
+                    const adapter = this.getAdapter(scope);
+                    if (!(adapter instanceof dynamodb_adapter_1.DynamoDBAdapter))
+                        return undefined;
+                    let resolved = scope;
+                    let sessionLogFields = {};
+                    if (scope.session) {
+                        const builder = await this.getProductBuilder(scope.product);
+                        const { processSessionForExecution } = await Promise.resolve().then(() => __importStar(require('../sessions')));
+                        const result = await processSessionForExecution(scope.session, builder.fetchPrivateKey(), scope, scope.env, {
+                            fetchSessionSelector: async (tag) => { var _a; return (_a = (await builder.fetchSession(tag))) === null || _a === void 0 ? void 0 : _a.selector; },
+                        });
+                        if (result.error)
+                            throw new atomic_batch_1.AtomicBatchError('BATCH_VALIDATION', 'not_started');
+                        resolved = Object.assign(Object.assign({}, scope), { operations: result.input.operations });
+                        sessionLogFields = result.logFields;
+                    }
+                    this.initializeLogService();
+                    const start = Date.now();
+                    try {
+                        const result = await adapter.atomicBatch(resolved);
+                        (_a = this.logService) === null || _a === void 0 ? void 0 : _a.add(Object.assign({ product_tag: scope.product, workspace_id: ((_b = this.config) === null || _b === void 0 ? void 0 : _b.workspace_id) || '', env: scope.env, app_env: scope.env, process_id: result.transactionId, type: logs_types_1.LogEventTypes.DATABASE, parent_tag: scope.database, child_tag: 'atomicBatch', start, end: Date.now(), message: 'Database atomic batch - success', status: logs_types_1.LogEventStatus.SUCCESS, successful_execution: true, data: { operations: scope.operations.map(op => ({ name: op.name, operation: op.operation, table: op.table })) } }, sessionLogFields));
+                        return result;
+                    }
+                    catch (error) {
+                        (_c = this.logService) === null || _c === void 0 ? void 0 : _c.add(Object.assign({ product_tag: scope.product, workspace_id: ((_d = this.config) === null || _d === void 0 ? void 0 : _d.workspace_id) || '', env: scope.env, app_env: scope.env, process_id: batch.id, type: logs_types_1.LogEventTypes.DATABASE, parent_tag: scope.database, child_tag: 'atomicBatch', start, end: Date.now(), message: 'Database atomic batch - failed', status: logs_types_1.LogEventStatus.FAIL, failed_execution: true, data: { outcome: error instanceof atomic_batch_1.AtomicBatchError ? error.outcome : 'not_started' } }, sessionLogFields));
+                        throw error;
+                    }
+                },
+                validateTransaction: async (scope, transaction) => {
+                    const adapter = this.getAdapter(scope);
+                    if (adapter instanceof postgresql_adapter_1.PostgreSQLAdapter || adapter instanceof mysql_adapter_1.MySQLAdapter) {
+                        await adapter.assertAtomicBatchSupport([...new Set(scope.operations.map(op => op.table))], transaction);
+                    }
+                },
+                begin: (scope) => this.beginTransaction({ product: scope.product, env: scope.env, database: scope.database, isolationLevel: enums_1.IsolationLevel.SERIALIZABLE }),
+                execute: async (op, scope, transaction) => {
+                    const input = { product: scope.product, env: scope.env, database: scope.database, session: scope.session,
+                        table: op.table, transaction, returning: op.returning };
+                    switch (op.operation) {
+                        case 'insert': return this.insert(Object.assign(Object.assign({}, input), { data: op.data }));
+                        case 'update': return this.update(Object.assign(Object.assign({}, input), { where: op.where, data: op.data }));
+                        case 'delete': return this.delete(Object.assign(Object.assign({}, input), { where: op.where }));
+                        case 'upsert': return this.upsert(Object.assign(Object.assign({}, input), { data: op.data, conflictKeys: op.conflictKeys }));
+                    }
+                },
+            }, options));
+            outcome = result.status;
+            return result;
+        }
+        catch (error) {
+            outcome = error instanceof atomic_batch_1.AtomicBatchError ? error.outcome : 'not_started';
+            throw error;
+        }
+        finally {
+            for (const emit of logs) {
+                try {
+                    emit(outcome);
+                }
+                catch ( /* Telemetry cannot change transaction outcome. */_b) { /* Telemetry cannot change transaction outcome. */ }
+            }
+            void ((_a = this.logService) === null || _a === void 0 ? void 0 : _a.publish().catch(() => { }));
+        }
     }
     // ==================== SCHEMA OPERATIONS ====================
     /**
@@ -2839,6 +2949,9 @@ class DatabaseService {
             return await fn(adapter);
         }
         catch (error) {
+            // An uncertain transactional write must never be replayed on a fresh connection.
+            if (options.transaction)
+                throw error;
             if (!this.isConnectionError(error))
                 throw error;
             await this.connect({