@lossless.org/client 1.21.1 → 1.22.0

package/dist_ts/nosqldb/classes.writerevisions.js

@@ -0,0 +1,246 @@
+import * as plugins from './plugins.js';
+import { assertDataOptions } from './classes.operationbudget.js';
+import { SmartdataPersistenceError, isMongoDuplicateKeyError } from './classes.persistence.js';
+/** The collection that holds the counters. */
+export const writeRevisionsCollectionName = '__smartdata_write_revisions';
+/** The counter every write revision belongs to; a new generation restarts all counters. */
+const epochId = '$epoch';
+const maximumPartitionLength = 512;
+const maximumPinnedPartitions = 64;
+/** Beyond this many documents, a write by selector bumps the shared counter instead. */
+export const maximumPreReadDocuments = 1024;
+const snapshotTimeoutMs = 5_000;
+const partitionFields = new WeakMap();
+/** @internal Validates and records the option; called once by the database's constructor. */
+export const configureSmartdataWriteRevisions = (dbArg, optionsArg) => {
+    if (optionsArg === undefined)
+        return;
+    const { partitionField } = assertDataOptions(optionsArg, ['partitionField']);
+    if (typeof partitionField !== 'string'
+        || partitionField.length === 0
+        || !partitionField.isWellFormed()
+        || partitionField.includes('.')
+        || partitionField.startsWith('$')
+        || partitionField === '_id') {
+        throw new SmartdataPersistenceError('invalid_argument', 'Write revisions require a top-level partition field other than _id: no "." and no leading "$".');
+    }
+    partitionFields.set(dbArg, partitionField);
+};
+/** @internal The configured partition field, whether or not the engine can carry revisions. */
+export const writeRevisionsPartitionField = (dbArg) => partitionFields.get(dbArg);
+/** @internal Write revisions are configured and the engine runs transactions. */
+export const isSmartdataWriteRevisionsActive = (dbArg) => partitionFields.has(dbArg) && dbArg.capabilities?.transactions === 'available';
+/** A string the counters can name, or `undefined`. */
+const partitionOf = (valueArg) => typeof valueArg === 'string' && valueArg.length <= maximumPartitionLength && valueArg.isWellFormed()
+    ? valueArg
+    : undefined;
+/** @internal The counter of one partition of a collection. */
+export const partitionRevisionId = (collectionArg, partitionArg) => `${collectionArg}$s${partitionArg}`;
+/** @internal The counter of a collection's writes that no partition can place. */
+export const sharedRevisionId = (collectionArg) => `${collectionArg}$*`;
+/**
+ * @internal The counter a stored value of the partition field belongs to:
+ * its partition's for a string the counters can name, the shared one otherwise.
+ */
+export const revisionIdOfValue = (collectionArg, valueArg) => {
+    const partition = partitionOf(valueArg);
+    return partition === undefined
+        ? sharedRevisionId(collectionArg)
+        : partitionRevisionId(collectionArg, partition);
+};
+const isPlainRecord = (valueArg) => {
+    if (typeof valueArg !== 'object' || valueArg === null || Array.isArray(valueArg))
+        return false;
+    const prototype = Object.getPrototypeOf(valueArg);
+    return prototype === Object.prototype || prototype === null;
+};
+/**
+ * The partitions a filter pins the field to: a string, `{ $eq: string }` or
+ * `{ $in: [...strings] }` beside other operators, at the top level or inside
+ * `$and`. The first pin found wins.
+ */
+const pinnedPartitions = (filterArg, fieldArg) => {
+    if (!isPlainRecord(filterArg))
+        return undefined;
+    if (Object.hasOwn(filterArg, fieldArg)) {
+        const condition = filterArg[fieldArg];
+        if (typeof condition === 'string') {
+            const partition = partitionOf(condition);
+            if (partition !== undefined)
+                return [partition];
+        }
+        else if (isPlainRecord(condition)
+            && Object.keys(condition).length > 0
+            && Object.keys(condition).every((keyArg) => keyArg.startsWith('$'))) {
+            if (Object.hasOwn(condition, '$eq')) {
+                const partition = partitionOf(condition.$eq);
+                if (partition !== undefined)
+                    return [partition];
+            }
+            const values = condition.$in;
+            if (Array.isArray(values)
+                && values.length > 0
+                && values.length <= maximumPinnedPartitions
+                && values.every((valueArg) => partitionOf(valueArg) !== undefined)) {
+                return [...new Set(values)];
+            }
+        }
+    }
+    if (Array.isArray(filterArg.$and)) {
+        for (const conjunct of filterArg.$and) {
+            const partitions = pinnedPartitions(conjunct, fieldArg);
+            if (partitions)
+                return partitions;
+        }
+    }
+    return undefined;
+};
+/*
+ * Snapshot keys: `e` for the epoch, `c<id>` for one counter and `r<collection>`
+ * for the sum of every counter of a collection.
+ */
+const epochKey = 'e';
+const counterKey = (idArg) => `c${idArg}`;
+const rangeKey = (collectionArg) => `r${collectionArg}`;
+/**
+ * @internal The snapshot keys one read depends on. A read the field pins
+ * depends on its partitions and the shared counter, which holds every
+ * document whose field holds no single string; any other read depends on the
+ * whole collection.
+ */
+export const writeRevisionKeysOfRead = (dbArg, collectionArg, kindArg, filterArg) => {
+    const field = partitionFields.get(dbArg);
+    const partitions = field === undefined || kindArg === 'collection'
+        ? undefined
+        : pinnedPartitions(filterArg, field);
+    if (!partitions)
+        return [epochKey, rangeKey(collectionArg)];
+    return [
+        epochKey,
+        counterKey(sharedRevisionId(collectionArg)),
+        ...partitions.map((partitionArg) => counterKey(partitionRevisionId(collectionArg, partitionArg))),
+    ];
+};
+const revisionsCollection = (mongoDbArg) => mongoDbArg.collection(writeRevisionsCollectionName);
+const connectedDb = (dbArg) => {
+    if (dbArg.status !== 'connected' || !dbArg.mongoDb) {
+        throw new SmartdataPersistenceError('unsupported_operation', 'Write revisions require a connected SmartdataDb.');
+    }
+    return dbArg.mongoDb;
+};
+/**
+ * @internal The current value of each snapshot key, or `undefined` for a key
+ * whose value cannot be known: a missing epoch means the counters restarted.
+ * Bounded by its own deadline.
+ */
+export const readWriteRevisionSnapshot = async (dbArg, keysArg) => {
+    const collection = revisionsCollection(connectedDb(dbArg));
+    const signal = AbortSignal.timeout(snapshotTimeoutMs);
+    const expiresAt = performance.now() + snapshotTimeoutMs;
+    const options = () => ({
+        timeoutMS: Math.max(1, Math.ceil(expiresAt - performance.now())),
+        timeoutMode: 'cursorLifetime',
+        signal,
+    });
+    const counterIds = keysArg.flatMap((keyArg) => keyArg.startsWith('c') ? [keyArg.slice(1)] : []);
+    const ranges = keysArg.flatMap((keyArg) => keyArg.startsWith('r') ? [keyArg.slice(1)] : []);
+    const [counters, ...sums] = await Promise.all([
+        collection.find({ _id: { $in: [epochId, ...counterIds] } }, { projection: { n: 1, generation: 1 }, ...options() }).toArray(),
+        ...ranges.map((collectionArg) => collection.aggregate([
+            { $match: { _id: { $gte: `${collectionArg}$`, $lt: `${collectionArg}%` } } },
+            { $group: { _id: null, n: { $sum: '$n' } } },
+        ], options()).toArray()),
+    ]);
+    const byId = new Map(counters.map((documentArg) => [documentArg._id, documentArg]));
+    const snapshot = new Map();
+    const epoch = byId.get(epochId);
+    snapshot.set(epochKey, typeof epoch?.generation === 'string' && Number.isSafeInteger(epoch.n)
+        ? `${epoch.generation}:${epoch.n}`
+        : undefined);
+    for (const id of counterIds) {
+        const counter = byId.get(id);
+        snapshot.set(counterKey(id), counter === undefined
+            ? '0'
+            : Number.isSafeInteger(counter.n) ? String(counter.n) : undefined);
+    }
+    for (const [index, collectionArg] of ranges.entries()) {
+        const sum = sums[index].length === 0 ? 0 : sums[index][0].n;
+        snapshot.set(rangeKey(collectionArg), typeof sum === 'number' && Number.isSafeInteger(sum)
+            ? String(sum)
+            : undefined);
+    }
+    return snapshot;
+};
+/**
+ * @internal Creates the epoch of a database that has none, before `init()`
+ * publishes the connection. Another process creating it at the same time is
+ * fine.
+ */
+export const ensureSmartdataWriteRevisions = async (mongoDbArg, optionsArg = {}) => {
+    try {
+        await revisionsCollection(mongoDbArg).updateOne({ _id: epochId }, { $setOnInsert: { n: 0, generation: plugins.nodeCrypto.randomUUID() } }, { upsert: true, ...optionsArg });
+    }
+    catch (errorArg) {
+        if (!isMongoDuplicateKeyError(errorArg))
+            throw errorArg;
+    }
+};
+/**
+ * @internal Bumps the epoch, which every read set depends on, so every read
+ * set of every process stops being current. An epoch that went missing is
+ * recreated with a new generation.
+ */
+export const bumpSmartdataWriteRevisionEpoch = async (dbArg, optionsArg) => {
+    const collection = revisionsCollection(connectedDb(dbArg));
+    const bump = () => collection.updateOne({ _id: epochId }, { $inc: { n: 1 }, $setOnInsert: { generation: plugins.nodeCrypto.randomUUID() } }, { upsert: true, ...optionsArg });
+    try {
+        await bump();
+    }
+    catch (errorArg) {
+        // A concurrent upsert created the epoch first; the update now matches it.
+        if (!isMongoDuplicateKeyError(errorArg))
+            throw errorArg;
+        await bump();
+    }
+};
+/**
+ * @internal Bumps the counters a transaction's writes touched, inside that
+ * transaction, right before its commit. Sorted, so concurrent transactions
+ * take the counters in one order.
+ */
+export const flushSmartdataWriteRevisions = async (mongoDbArg, rawSessionArg, idsArg, signalArg) => {
+    if (idsArg.size === 0)
+        return;
+    await revisionsCollection(mongoDbArg).bulkWrite([...idsArg].sort().map((idArg) => ({
+        updateOne: { filter: { _id: idArg }, update: { $inc: { n: 1 } }, upsert: true },
+    })), {
+        ordered: true,
+        session: rawSessionArg,
+        ...(signalArg === undefined ? {} : { signal: signalArg }),
+    });
+};
+/**
+ * @internal The counters of the documents a write by selector is about to
+ * change, read in its transaction before it runs. Snapshot isolation makes
+ * them exactly the documents the write sees. More documents than the bound,
+ * or a value the counters cannot name, bump the shared counter.
+ */
+export const readPreviousRevisionIds = async (dbArg, collectionArg, rawSessionArg, selectorArg, deadlineArg) => {
+    const field = partitionFields.get(dbArg);
+    const documents = await collectionArg.find(selectorArg, {
+        projection: { [field]: 1, _id: 0 },
+        limit: maximumPreReadDocuments + 1,
+        session: rawSessionArg,
+        ...deadlineArg.cursorOptions(),
+    }).toArray();
+    const ids = new Set();
+    if (documents.length > maximumPreReadDocuments) {
+        ids.add(sharedRevisionId(collectionArg.collectionName));
+        return ids;
+    }
+    for (const document of documents) {
+        ids.add(revisionIdOfValue(collectionArg.collectionName, Object.hasOwn(document, field) ? document[field] : undefined));
+    }
+    return ids;
+};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2xhc3Nlcy53cml0ZXJldmlzaW9ucy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3RzL25vc3FsZGIvY2xhc3Nlcy53cml0ZXJldmlzaW9ucy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssT0FBTyxNQUFNLGNBQWMsQ0FBQztBQUd4QyxPQUFPLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUVqRSxPQUFPLEVBQUUseUJBQXlCLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQWtCL0YsOENBQThDO0FBQzlDLE1BQU0sQ0FBQyxNQUFNLDRCQUE0QixHQUFHLDZCQUE2QixDQUFDO0FBUTFFLDJGQUEyRjtBQUMzRixNQUFNLE9BQU8sR0FBRyxRQUFRLENBQUM7QUFDekIsTUFBTSxzQkFBc0IsR0FBRyxHQUFHLENBQUM7QUFDbkMsTUFBTSx1QkFBdUIsR0FBRyxFQUFFLENBQUM7QUFDbkMsd0ZBQXdGO0FBQ3hGLE1BQU0sQ0FBQyxNQUFNLHVCQUF1QixHQUFHLElBQUksQ0FBQztBQUM1QyxNQUFNLGlCQUFpQixHQUFHLEtBQUssQ0FBQztBQUVoQyxNQUFNLGVBQWUsR0FBRyxJQUFJLE9BQU8sRUFBdUIsQ0FBQztBQUUzRCw2RkFBNkY7QUFDN0YsTUFBTSxDQUFDLE1BQU0sZ0NBQWdDLEdBQUcsQ0FBQyxLQUFrQixFQUFFLFVBQW1CLEVBQVEsRUFBRTtJQUNoRyxJQUFJLFVBQVUsS0FBSyxTQUFTO1FBQUUsT0FBTztJQUNyQyxNQUFNLEVBQUUsY0FBYyxFQUFFLEdBQUcsaUJBQWlCLENBQUMsVUFBVSxFQUFFLENBQUMsZ0JBQWdCLENBQUMsQ0FBQyxDQUFDO0lBQzdFLElBQ0UsT0FBTyxjQUFjLEtBQUssUUFBUTtXQUMvQixjQUFjLENBQUMsTUFBTSxLQUFLLENBQUM7V0FDM0IsQ0FBQyxjQUFjLENBQUMsWUFBWSxFQUFFO1dBQzlCLGNBQWMsQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDO1dBQzVCLGNBQWMsQ0FBQyxVQUFVLENBQUMsR0FBRyxDQUFDO1dBQzlCLGNBQWMsS0FBSyxLQUFLLEVBQzNCLENBQUM7UUFDRCxNQUFNLElBQUkseUJBQXlCLENBQUMsa0JBQWtCLEVBQ3BELGdHQUFnRyxDQUFDLENBQUM7SUFDdEcsQ0FBQztJQUNELGVBQWUsQ0FBQyxHQUFHLENBQUMsS0FBSyxFQUFFLGNBQWMsQ0FBQyxDQUFDO0FBQzdDLENBQUMsQ0FBQztBQUVGLCtGQUErRjtBQUMvRixNQUFNLENBQUMsTUFBTSw0QkFBNEIsR0FBRyxDQUFDLEtBQWtCLEVBQXNCLEVBQUUsQ0FDckYsZUFBZSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsQ0FBQztBQUU3QixpRkFBaUY7QUFDakYsTUFBTSxDQUFDLE1BQU0sK0JBQStCLEdBQUcsQ0FBQyxLQUFrQixFQUFXLEVBQUUsQ0FDN0UsZUFBZSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsSUFBSSxLQUFLLENBQUMsWUFBWSxFQUFFLFlBQVksS0FBSyxXQUFXLENBQUM7QUFFakYsc0RBQXNEO0FBQ3RELE1BQU0sV0FBVyxHQUFHLENBQUMsUUFBaUIsRUFBc0IsRUFBRSxDQUM1RCxPQUFPLFFBQVEsS0FBSyxRQUFRLElBQUksUUFBUSxDQUFDLE1BQU0sSUFBSSxzQkFBc0IsSUFBSSxRQUFRLENBQUMsWUFBWSxFQUFFO0lBQ2xHLENBQUMsQ0FBQyxRQUFRO0lBQ1YsQ0FBQyxDQUFDLFNBQVMsQ0FBQztBQUVoQiw4REFBOEQ7QUFDOUQsTUFBTSxDQUFDLE1BQU0sbUJBQW1CLEdBQUcsQ0FBQyxhQUFxQixFQUFFLFlBQW9CLEVBQVUsRUFBRSxDQUN6RixHQUFHLGFBQWEsS0FBSyxZQUFZLEVBQUUsQ0FBQztBQUV0QyxrRkFBa0Y7QUFDbEYsTUFBTSxDQUFDLE1BQU0sZ0JBQWdCLEdBQUcsQ0FBQyxhQUFxQixFQUFVLEVBQUUsQ0FBQyxHQUFHLGFBQWEsSUFBSSxDQUFDO0FBRXhGOzs7R0FHRztBQUNILE1BQU0sQ0FBQyxNQUFNLGlCQUFpQixHQUFHLENBQUMsYUFBcUIsRUFBRSxRQUFpQixFQUFVLEVBQUU7SUFDcEYsTUFBTSxTQUFTLEdBQUcsV0FBVyxDQUFDLFFBQVEsQ0FBQyxDQUFDO0lBQ3hDLE9BQU8sU0FBUyxLQUFLLFNBQVM7UUFDNUIsQ0FBQyxDQUFDLGdCQUFnQixDQUFDLGFBQWEsQ0FBQztRQUNqQyxDQUFDLENBQUMsbUJBQW1CLENBQUMsYUFBYSxFQUFFLFNBQVMsQ0FBQyxDQUFDO0FBQ3BELENBQUMsQ0FBQztBQUVGLE1BQU0sYUFBYSxHQUFHLENBQUMsUUFBaUIsRUFBdUMsRUFBRTtJQUMvRSxJQUFJLE9BQU8sUUFBUSxLQUFLLFFBQVEsSUFBSSxRQUFRLEtBQUssSUFBSSxJQUFJLEtBQUssQ0FBQyxPQUFPLENBQUMsUUFBUSxDQUFDO1FBQUUsT0FBTyxLQUFLLENBQUM7SUFDL0YsTUFBTSxTQUFTLEdBQUcsTUFBTSxDQUFDLGNBQWMsQ0FBQyxRQUFRLENBQUMsQ0FBQztJQUNsRCxPQUFPLFNBQVMsS0FBSyxNQUFNLENBQUMsU0FBUyxJQUFJLFNBQVMsS0FBSyxJQUFJLENBQUM7QUFDOUQsQ0FBQyxDQUFDO0FBRUY7Ozs7R0FJRztBQUNILE1BQU0sZ0JBQWdCLEdBQUcsQ0FBQyxTQUFrQixFQUFFLFFBQWdCLEVBQXdCLEVBQUU7SUFDdEYsSUFBSSxDQUFDLGFBQWEsQ0FBQyxTQUFTLENBQUM7UUFBRSxPQUFPLFNBQVMsQ0FBQztJQUNoRCxJQUFJLE1BQU0sQ0FBQyxNQUFNLENBQUMsU0FBUyxFQUFFLFFBQVEsQ0FBQyxFQUFFLENBQUM7UUFDdkMsTUFBTSxTQUFTLEdBQUcsU0FBUyxDQUFDLFFBQVEsQ0FBQyxDQUFDO1FBQ3RDLElBQUksT0FBTyxTQUFTLEtBQUssUUFBUSxFQUFFLENBQUM7WUFDbEMsTUFBTSxTQUFTLEdBQUcsV0FBVyxDQUFDLFNBQVMsQ0FBQyxDQUFDO1lBQ3pDLElBQUksU0FBUyxLQUFLLFNBQVM7Z0JBQUUsT0FBTyxDQUFDLFNBQVMsQ0FBQyxDQUFDO1FBQ2xELENBQUM7YUFBTSxJQUNMLGFBQWEsQ0FBQyxTQUFTLENBQUM7ZUFDckIsTUFBTSxDQUFDLElBQUksQ0FBQyxTQUFTLENBQUMsQ0FBQyxNQUFNLEdBQUcsQ0FBQztlQUNqQyxNQUFNLENBQUMsSUFBSSxDQUFDLFNBQVMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxDQUFDLE1BQU0sRUFBRSxFQUFFLENBQUMsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLENBQUMsQ0FBQyxFQUNuRSxDQUFDO1lBQ0QsSUFBSSxNQUFNLENBQUMsTUFBTSxDQUFDLFNBQVMsRUFBRSxLQUFLLENBQUMsRUFBRSxDQUFDO2dCQUNwQyxNQUFNLFNBQVMsR0FBRyxXQUFXLENBQUMsU0FBUyxDQUFDLEdBQUcsQ0FBQyxDQUFDO2dCQUM3QyxJQUFJLFNBQVMsS0FBSyxTQUFTO29CQUFFLE9BQU8sQ0FBQyxTQUFTLENBQUMsQ0FBQztZQUNsRCxDQUFDO1lBQ0QsTUFBTSxNQUFNLEdBQUcsU0FBUyxDQUFDLEdBQUcsQ0FBQztZQUM3QixJQUNFLEtBQUssQ0FBQyxPQUFPLENBQUMsTUFBTSxDQUFDO21CQUNsQixNQUFNLENBQUMsTUFBTSxHQUFHLENBQUM7bUJBQ2pCLE1BQU0sQ0FBQyxNQUFNLElBQUksdUJBQXVCO21CQUN4QyxNQUFNLENBQUMsS0FBSyxDQUFDLENBQUMsUUFBUSxFQUFFLEVBQUUsQ0FBQyxXQUFXLENBQUMsUUFBUSxDQUFDLEtBQUssU0FBUyxDQUFDLEVBQ2xFLENBQUM7Z0JBQ0QsT0FBTyxDQUFDLEdBQUcsSUFBSSxHQUFHLENBQUMsTUFBa0IsQ0FBQyxDQUFDLENBQUM7WUFDMUMsQ0FBQztRQUNILENBQUM7SUFDSCxDQUFDO0lBQ0QsSUFBSSxLQUFLLENBQUMsT0FBTyxDQUFDLFNBQVMsQ0FBQyxJQUFJLENBQUMsRUFBRSxDQUFDO1FBQ2xDLEtBQUssTUFBTSxRQUFRLElBQUksU0FBUyxDQUFDLElBQUksRUFBRSxDQUFDO1lBQ3RDLE1BQU0sVUFBVSxHQUFHLGdCQUFnQixDQUFDLFFBQVEsRUFBRSxRQUFRLENBQUMsQ0FBQztZQUN4RCxJQUFJLFVBQVU7Z0JBQUUsT0FBTyxVQUFVLENBQUM7UUFDcEMsQ0FBQztJQUNILENBQUM7SUFDRCxPQUFPLFNBQVMsQ0FBQztBQUNuQixDQUFDLENBQUM7QUFFRjs7O0dBR0c7QUFDSCxNQUFNLFFBQVEsR0FBRyxHQUFHLENBQUM7QUFDckIsTUFBTSxVQUFVLEdBQUcsQ0FBQyxLQUFhLEVBQVUsRUFBRSxDQUFDLElBQUksS0FBSyxFQUFFLENBQUM7QUFDMUQsTUFBTSxRQUFRLEdBQUcsQ0FBQyxhQUFxQixFQUFVLEVBQUUsQ0FBQyxJQUFJLGFBQWEsRUFBRSxDQUFDO0FBRXhFOzs7OztHQUtHO0FBQ0gsTUFBTSxDQUFDLE1BQU0sdUJBQXVCLEdBQUcsQ0FDckMsS0FBa0IsRUFDbEIsYUFBcUIsRUFDckIsT0FBNkMsRUFDN0MsU0FBa0IsRUFDUixFQUFFO0lBQ1osTUFBTSxLQUFLLEdBQUcsZUFBZSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsQ0FBQztJQUN6QyxNQUFNLFVBQVUsR0FBRyxLQUFLLEtBQUssU0FBUyxJQUFJLE9BQU8sS0FBSyxZQUFZO1FBQ2hFLENBQUMsQ0FBQyxTQUFTO1FBQ1gsQ0FBQyxDQUFDLGdCQUFnQixDQUFDLFNBQVMsRUFBRSxLQUFLLENBQUMsQ0FBQztJQUN2QyxJQUFJLENBQUMsVUFBVTtRQUFFLE9BQU8sQ0FBQyxRQUFRLEVBQUUsUUFBUSxDQUFDLGFBQWEsQ0FBQyxDQUFDLENBQUM7SUFDNUQsT0FBTztRQUNMLFFBQVE7UUFDUixVQUFVLENBQUMsZ0JBQWdCLENBQUMsYUFBYSxDQUFDLENBQUM7UUFDM0MsR0FBRyxVQUFVLENBQUMsR0FBRyxDQUFDLENBQUMsWUFBWSxFQUFFLEVBQUUsQ0FBQyxVQUFVLENBQUMsbUJBQW1CLENBQUMsYUFBYSxFQUFFLFlBQVksQ0FBQyxDQUFDLENBQUM7S0FDbEcsQ0FBQztBQUNKLENBQUMsQ0FBQztBQUVGLE1BQU0sbUJBQW1CLEdBQUcsQ0FBQyxVQUE4QixFQUFFLEVBQUUsQ0FDN0QsVUFBVSxDQUFDLFVBQVUsQ0FBeUIsNEJBQTRCLENBQUMsQ0FBQztBQUU5RSxNQUFNLFdBQVcsR0FBRyxDQUFDLEtBQWtCLEVBQXNCLEVBQUU7SUFDN0QsSUFBSSxLQUFLLENBQUMsTUFBTSxLQUFLLFdBQVcsSUFBSSxDQUFDLEtBQUssQ0FBQyxPQUFPLEVBQUUsQ0FBQztRQUNuRCxNQUFNLElBQUkseUJBQXlCLENBQUMsdUJBQXVCLEVBQ3pELGtEQUFrRCxDQUFDLENBQUM7SUFDeEQsQ0FBQztJQUNELE9BQU8sS0FBSyxDQUFDLE9BQU8sQ0FBQztBQUN2QixDQUFDLENBQUM7QUFFRjs7OztHQUlHO0FBQ0gsTUFBTSxDQUFDLE1BQU0seUJBQXlCLEdBQUcsS0FBSyxFQUM1QyxLQUFrQixFQUNsQixPQUEwQixFQUNnQixFQUFFO0lBQzVDLE1BQU0sVUFBVSxHQUFHLG1CQUFtQixDQUFDLFdBQVcsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDO0lBQzNELE1BQU0sTUFBTSxHQUFHLFdBQVcsQ0FBQyxPQUFPLENBQUMsaUJBQWlCLENBQUMsQ0FBQztJQUN0RCxNQUFNLFNBQVMsR0FBRyxXQUFXLENBQUMsR0FBRyxFQUFFLEdBQUcsaUJBQWlCLENBQUM7SUFDeEQsTUFBTSxPQUFPLEdBQUcsR0FBRyxFQUFFLENBQUMsQ0FBQztRQUNyQixTQUFTLEVBQUUsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFDLEVBQUUsSUFBSSxDQUFDLElBQUksQ0FBQyxTQUFTLEdBQUcsV0FBVyxDQUFDLEdBQUcsRUFBRSxDQUFDLENBQUM7UUFDaEUsV0FBVyxFQUFFLGdCQUF5QjtRQUN0QyxNQUFNO0tBQ1AsQ0FBQyxDQUFDO0lBQ0gsTUFBTSxVQUFVLEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQUFDLE1BQU0sRUFBRSxFQUFFLENBQUMsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxNQUFNLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDO0lBQ2hHLE1BQU0sTUFBTSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FBQyxNQUFNLEVBQUUsRUFBRSxDQUFDLE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsTUFBTSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQztJQUM1RixNQUFNLENBQUMsUUFBUSxFQUFFLEdBQUcsSUFBSSxDQUFDLEdBQUcsTUFBTSxPQUFPLENBQUMsR0FBRyxDQUFDO1FBQzVDLFVBQVUsQ0FBQyxJQUFJLENBQ2IsRUFBRSxHQUFHLEVBQUUsRUFBRSxHQUFHLEVBQUUsQ0FBQyxPQUFPLEVBQUUsR0FBRyxVQUFVLENBQUMsRUFBRSxFQUFFLEVBQzFDLEVBQUUsVUFBVSxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsRUFBRSxVQUFVLEVBQUUsQ0FBQyxFQUFFLEVBQUUsR0FBRyxPQUFPLEVBQUUsRUFBRSxDQUN0RCxDQUFDLE9BQU8sRUFBRTtRQUNYLEdBQUcsTUFBTSxDQUFDLEdBQUcsQ0FBQyxDQUFDLGFBQWEsRUFBRSxFQUFFLENBQUMsVUFBVSxDQUFDLFNBQVMsQ0FBaUI7WUFDcEUsRUFBRSxNQUFNLEVBQUUsRUFBRSxHQUFHLEVBQUUsRUFBRSxJQUFJLEVBQUUsR0FBRyxhQUFhLEdBQUcsRUFBRSxHQUFHLEVBQUUsR0FBRyxhQUFhLEdBQUcsRUFBRSxFQUFFLEVBQUU7WUFDNUUsRUFBRSxNQUFNLEVBQUUsRUFBRSxHQUFHLEVBQUUsSUFBSSxFQUFFLENBQUMsRUFBRSxFQUFFLElBQUksRUFBRSxJQUFJLEVBQUUsRUFBRSxFQUFFO1NBQzdDLEVBQUUsT0FBTyxFQUFFLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQztLQUN6QixDQUFDLENBQUM7SUFDSCxNQUFNLElBQUksR0FBRyxJQUFJLEdBQUcsQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDLENBQUMsV0FBVyxFQUFFLEVBQUUsQ0FBQyxDQUFDLFdBQVcsQ0FBQyxHQUFHLEVBQUUsV0FBVyxDQUFDLENBQUMsQ0FBQyxDQUFDO0lBQ3BGLE1BQU0sUUFBUSxHQUFHLElBQUksR0FBRyxFQUE4QixDQUFDO0lBQ3ZELE1BQU0sS0FBSyxHQUFHLElBQUksQ0FBQyxHQUFHLENBQUMsT0FBTyxDQUFDLENBQUM7SUFDaEMsUUFBUSxDQUFDLEdBQUcsQ0FBQyxRQUFRLEVBQUUsT0FBTyxLQUFLLEVBQUUsVUFBVSxLQUFLLFFBQVEsSUFBSSxNQUFNLENBQUMsYUFBYSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUM7UUFDM0YsQ0FBQyxDQUFDLEdBQUcsS0FBSyxDQUFDLFVBQVUsSUFBSSxLQUFLLENBQUMsQ0FBQyxFQUFFO1FBQ2xDLENBQUMsQ0FBQyxTQUFTLENBQUMsQ0FBQztJQUNmLEtBQUssTUFBTSxFQUFFLElBQUksVUFBVSxFQUFFLENBQUM7UUFDNUIsTUFBTSxPQUFPLEdBQUcsSUFBSSxDQUFDLEdBQUcsQ0FBQyxFQUFFLENBQUMsQ0FBQztRQUM3QixRQUFRLENBQUMsR0FBRyxDQUFDLFVBQVUsQ0FBQyxFQUFFLENBQUMsRUFBRSxPQUFPLEtBQUssU0FBUztZQUNoRCxDQUFDLENBQUMsR0FBRztZQUNMLENBQUMsQ0FBQyxNQUFNLENBQUMsYUFBYSxDQUFDLE9BQU8sQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsTUFBTSxDQUFDLE9BQU8sQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsU0FBUyxDQUFDLENBQUM7SUFDdkUsQ0FBQztJQUNELEtBQUssTUFBTSxDQUFDLEtBQUssRUFBRSxhQUFhLENBQUMsSUFBSSxNQUFNLENBQUMsT0FBTyxFQUFFLEVBQUUsQ0FBQztRQUN0RCxNQUFNLEdBQUcsR0FBRyxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUMsTUFBTSxLQUFLLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBQzVELFFBQVEsQ0FBQyxHQUFHLENBQUMsUUFBUSxDQUFDLGFBQWEsQ0FBQyxFQUFFLE9BQU8sR0FBRyxLQUFLLFFBQVEsSUFBSSxNQUFNLENBQUMsYUFBYSxDQUFDLEdBQUcsQ0FBQztZQUN4RixDQUFDLENBQUMsTUFBTSxDQUFDLEdBQUcsQ0FBQztZQUNiLENBQUMsQ0FBQyxTQUFTLENBQUMsQ0FBQztJQUNqQixDQUFDO0lBQ0QsT0FBTyxRQUFRLENBQUM7QUFDbEIsQ0FBQyxDQUFDO0FBRUY7Ozs7R0FJRztBQUNILE1BQU0sQ0FBQyxNQUFNLDZCQUE2QixHQUFHLEtBQUssRUFDaEQsVUFBOEIsRUFDOUIsVUFBVSxHQUFpRCxFQUFFLEVBQzlDLEVBQUU7SUFDakIsSUFBSSxDQUFDO1FBQ0gsTUFBTSxtQkFBbUIsQ0FBQyxVQUFVLENBQUMsQ0FBQyxTQUFTLENBQzdDLEVBQUUsR0FBRyxFQUFFLE9BQU8sRUFBRSxFQUNoQixFQUFFLFlBQVksRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDLEVBQUUsVUFBVSxFQUFFLE9BQU8sQ0FBQyxVQUFVLENBQUMsVUFBVSxFQUFFLEVBQUUsRUFBRSxFQUN2RSxFQUFFLE1BQU0sRUFBRSxJQUFJLEVBQUUsR0FBRyxVQUFVLEVBQUUsQ0FDaEMsQ0FBQztJQUNKLENBQUM7SUFBQyxPQUFPLFFBQVEsRUFBRSxDQUFDO1FBQ2xCLElBQUksQ0FBQyx3QkFBd0IsQ0FBQyxRQUFRLENBQUM7WUFBRSxNQUFNLFFBQVEsQ0FBQztJQUMxRCxDQUFDO0FBQ0gsQ0FBQyxDQUFDO0FBRUY7Ozs7R0FJRztBQUNILE1BQU0sQ0FBQyxNQUFNLCtCQUErQixHQUFHLEtBQUssRUFDbEQsS0FBa0IsRUFDbEIsVUFBd0QsRUFDekMsRUFBRTtJQUNqQixNQUFNLFVBQVUsR0FBRyxtQkFBbUIsQ0FBQyxXQUFXLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQztJQUMzRCxNQUFNLElBQUksR0FBRyxHQUFHLEVBQUUsQ0FBQyxVQUFVLENBQUMsU0FBUyxDQUNyQyxFQUFFLEdBQUcsRUFBRSxPQUFPLEVBQUUsRUFDaEIsRUFBRSxJQUFJLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQyxFQUFFLEVBQUUsWUFBWSxFQUFFLEVBQUUsVUFBVSxFQUFFLE9BQU8sQ0FBQyxVQUFVLENBQUMsVUFBVSxFQUFFLEVBQUUsRUFBRSxFQUNqRixFQUFFLE1BQU0sRUFBRSxJQUFJLEVBQUUsR0FBRyxVQUFVLEVBQUUsQ0FDaEMsQ0FBQztJQUNGLElBQUksQ0FBQztRQUNILE1BQU0sSUFBSSxFQUFFLENBQUM7SUFDZixDQUFDO0lBQUMsT0FBTyxRQUFRLEVBQUUsQ0FBQztRQUNsQiwwRUFBMEU7UUFDMUUsSUFBSSxDQUFDLHdCQUF3QixDQUFDLFFBQVEsQ0FBQztZQUFFLE1BQU0sUUFBUSxDQUFDO1FBQ3hELE1BQU0sSUFBSSxFQUFFLENBQUM7SUFDZixDQUFDO0FBQ0gsQ0FBQyxDQUFDO0FBRUY7Ozs7R0FJRztBQUNILE1BQU0sQ0FBQyxNQUFNLDRCQUE0QixHQUFHLEtBQUssRUFDL0MsVUFBOEIsRUFDOUIsYUFBNEMsRUFDNUMsTUFBMkIsRUFDM0IsU0FBa0MsRUFDbkIsRUFBRTtJQUNqQixJQUFJLE1BQU0sQ0FBQyxJQUFJLEtBQUssQ0FBQztRQUFFLE9BQU87SUFDOUIsTUFBTSxtQkFBbUIsQ0FBQyxVQUFVLENBQUMsQ0FBQyxTQUFTLENBQUMsQ0FBQyxHQUFHLE1BQU0sQ0FBQyxDQUFDLElBQUksRUFBRSxDQUFDLEdBQUcsQ0FBQyxDQUFDLEtBQUssRUFBRSxFQUFFLENBQUMsQ0FBQztRQUNqRixTQUFTLEVBQUUsRUFBRSxNQUFNLEVBQUUsRUFBRSxHQUFHLEVBQUUsS0FBSyxFQUFFLEVBQUUsTUFBTSxFQUFFLEVBQUUsSUFBSSxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUMsRUFBRSxFQUFFLEVBQUUsTUFBTSxFQUFFLElBQUksRUFBRTtLQUNoRixDQUFDLENBQUMsRUFBRTtRQUNILE9BQU8sRUFBRSxJQUFJO1FBQ2IsT0FBTyxFQUFFLGFBQWE7UUFDdEIsR0FBRyxDQUFDLFNBQVMsS0FBSyxTQUFTLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsRUFBRSxNQUFNLEVBQUUsU0FBUyxFQUFFLENBQUM7S0FDMUQsQ0FBQyxDQUFDO0FBQ0wsQ0FBQyxDQUFDO0FBRUY7Ozs7O0dBS0c7QUFDSCxNQUFNLENBQUMsTUFBTSx1QkFBdUIsR0FBRyxLQUFLLEVBQzFDLEtBQWtCLEVBQ2xCLGFBQThDLEVBQzlDLGFBQTRDLEVBQzVDLFdBQW9CLEVBQ3BCLFdBQXVDLEVBQ2pCLEVBQUU7SUFDeEIsTUFBTSxLQUFLLEdBQUcsZUFBZSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUUsQ0FBQztJQUMxQyxNQUFNLFNBQVMsR0FBRyxNQUFNLGFBQWEsQ0FBQyxJQUFJLENBQUMsV0FBMEMsRUFBRTtRQUNyRixVQUFVLEVBQUUsRUFBRSxDQUFDLEtBQUssQ0FBQyxFQUFFLENBQUMsRUFBRSxHQUFHLEVBQUUsQ0FBQyxFQUFFO1FBQ2xDLEtBQUssRUFBRSx1QkFBdUIsR0FBRyxDQUFDO1FBQ2xDLE9BQU8sRUFBRSxhQUFhO1FBQ3RCLEdBQUcsV0FBVyxDQUFDLGFBQWEsRUFBRTtLQUMvQixDQUFDLENBQUMsT0FBTyxFQUFFLENBQUM7SUFDYixNQUFNLEdBQUcsR0FBRyxJQUFJLEdBQUcsRUFBVSxDQUFDO0lBQzlCLElBQUksU0FBUyxDQUFDLE1BQU0sR0FBRyx1QkFBdUIsRUFBRSxDQUFDO1FBQy9DLEdBQUcsQ0FBQyxHQUFHLENBQUMsZ0JBQWdCLENBQUMsYUFBYSxDQUFDLGNBQWMsQ0FBQyxDQUFDLENBQUM7UUFDeEQsT0FBTyxHQUFHLENBQUM7SUFDYixDQUFDO0lBQ0QsS0FBSyxNQUFNLFFBQVEsSUFBSSxTQUFTLEVBQUUsQ0FBQztRQUNqQyxHQUFHLENBQUMsR0FBRyxDQUFDLGlCQUFpQixDQUFDLGFBQWEsQ0FBQyxjQUFjLEVBQ3BELE1BQU0sQ0FBQyxNQUFNLENBQUMsUUFBUSxFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUMsQ0FBQyxRQUFRLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFDLFNBQVMsQ0FBQyxDQUFDLENBQUM7SUFDbkUsQ0FBQztJQUNELE9BQU8sR0FBRyxDQUFDO0FBQ2IsQ0FBQyxDQUFDIn0=

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lossless.org/client",
-  "version": "1.21.1",
+  "version": "1.22.0",
   "private": false,
   "description": "One typed client for NoSQLDB, MongoDB, SQLDB, MariaDB, ClickHouse and S3 object storage.",
   "exports": {
@@ -81,15 +81,15 @@
     "@aws-sdk/client-s3": "^3.1039.0",
     "@clickhouse/client": "1.23.1",
     "@git.zone/tsbuild": "6.0.2",
-    "@git.zone/tsbundle": "3.1.4",
-    "@git.zone/tsrun": "3.0.2",
+    "@git.zone/tsbundle": "3.2.0",
+    "@git.zone/tsrun": "3.0.3",
     "@git.zone/tstest": "7.2.0",
     "@lossless.org/nosqldb": "8.0.2",
     "@lossless.org/nosqldb-qualified": "npm:@lossless.org/nosqldb@10.7.2",
     "@lossless.org/objectstorage": "10.3.1",
     "@lossless.org/sqldb": "0.2.3",
     "@push.rocks/qenv": "^6.1.3",
-    "@types/node": "26.6.3",
+    "@types/node": "26.6.4",
     "mariadb": "3.5.4",
     "mongodb-memory-server": "11.1.0"
   },

package/readme.md

@@ -118,6 +118,7 @@ Family imports preserve the established SmartData and SmartBucket names and cons
 | Subclasses need their own binding | a subclass of a bound model that declares decorators or a persistence policy of its own and no `@Collection()`, `@managed()` or `defineCollectionModel()` binding is refused with `invalid_configuration` on every read and write, so it never writes through the parent's schema; an undecorated subclass keeps the inherited binding |
 | Observing this process's writes | `db.observeWrites({ fields, listener })` — one frozen report per acknowledged model write, `{ collection, kind, documents, anchors }` with the requested top-level fields of the written documents and of the selector's equality anchors; writes inside a `db.createSession()` transaction are reported after the commit, never after a rollback; works on NoSQLDB, where `watch()` is unsupported |
 | Following this process's reads | `db.trackReads(fn)` resolves `{ result, reads }`; `reads.changed` turns true once a write this process makes through the database's models could have changed what a model read of `fn` returned, judged by the read's query and the ids it returned, and a write it cannot place counts as one that did, so a cache keyed by `reads` rebuilds only what a write touched; works on NoSQLDB |
+| Following every process's writes | with `new SmartdataDb({ ..., writeRevisions: { partitionField: 'organizationId' } })` in every writer, the awaited `reads.isCurrent()` is true while no model write of any process could have changed the reads, counted per collection and partition value in the write's transaction, so one organization's writes keep another's sets current; `db.invalidateTrackedReads()` states raw writes and migrations; needs an engine identified as NoSQLDB, elsewhere `isCurrent()` is always false |
 | Disposable test databases on a unix socket | `SmartdataTestDatabase.create({ connection: { socketPath } })` from `@lossless.org/client/testsupport` reaches an engine that listens only on a unix-domain socket, fault helpers included; the loopback `host`/`port` form is unchanged |
 
 `docs/source/smartdata/readme.md` documents each one with its refusals.

package/ts/00_commitinfo_data.ts

@@ -3,6 +3,6 @@
  */
 export const commitinfo = {
   name: '@lossless.org/client',
-  version: '1.21.1',
+  version: '1.22.0',
   description: 'One typed client for NoSQLDB, MongoDB, SQLDB, MariaDB, ClickHouse and S3 object storage.'
 }

package/ts/nosqldb/classes.atomicdelete.ts

@@ -1,6 +1,7 @@
 import * as plugins from './plugins.js';
 import type { SmartdataCollection } from './classes.collection.js';
 import {
+  readPreviousWriteRevisions,
   reportSmartdataCollectionWrite,
   runWithOrdinarySmartdataSession,
   type TSmartdataOrdinarySession,
@@ -27,11 +28,15 @@ export const executeAtomicDelete = async <T>(
     {
       ordinaryWrite: true,
       prepared: collectionArg.isInitializedForCurrentDatabase(),
+      prepare: () => collectionArg.init(),
       collectionName: collectionArg.collectionName,
       timeoutMS: optsArg?.timeoutMS,
     },
     async (rawSessionArg, deadlineArg) => {
       await deadlineArg.join(collectionArg.init());
+      const previousPartitionsRead = await readPreviousWriteRevisions(
+        collectionArg.smartdataDb, collectionArg.mongoDbCollection, rawSessionArg, filterArg, deadlineArg,
+      );
       const result = await collectionArg.mongoDbCollection.deleteOne(
         filterArg,
         {
@@ -46,7 +51,7 @@ export const executeAtomicDelete = async <T>(
           'delete',
           null,
           filterArg,
-          { images: 'none' },
+          { images: 'none', ...(previousPartitionsRead ? { previousPartitionsRead } : {}) },
         );
       }
       return result;
@@ -77,12 +82,16 @@ export const executeAtomicDeleteMany = async <T>(
     {
       ordinaryWrite: true,
       prepared: collectionArg.isInitializedForCurrentDatabase(),
+      prepare: () => collectionArg.init(),
       collectionName: collectionArg.collectionName,
       timeoutMS: optsArg?.timeoutMS,
       signal: optsArg?.signal,
     },
     async (rawSessionArg, deadlineArg) => {
       await deadlineArg.join(collectionArg.init());
+      const previousPartitionsRead = await readPreviousWriteRevisions(
+        collectionArg.smartdataDb, collectionArg.mongoDbCollection, rawSessionArg, filterArg, deadlineArg,
+      );
       const result = await collectionArg.mongoDbCollection.deleteMany(
         filterArg,
         {
@@ -97,7 +106,7 @@ export const executeAtomicDeleteMany = async <T>(
           'delete',
           null,
           filterArg,
-          { images: 'none' },
+          { images: 'none', ...(previousPartitionsRead ? { previousPartitionsRead } : {}) },
         );
       }
       return result;

package/ts/nosqldb/classes.atomicfindoneandupdate.ts

@@ -5,8 +5,10 @@ import {
   SmartdataPersistenceError,
 } from './classes.persistence.js';
 import {
+  readPreviousWriteRevisions,
   reportSmartdataCollectionWrite,
   runWithOrdinarySmartdataSession,
+  isOrdinarySessionInTransaction,
   isSmartdataSession,
   failSmartdataTransaction,
   type SmartdataSession,
@@ -100,7 +102,13 @@ export const executeAtomicFindOneAndUpdate = async <T>(
   },
 ): Promise<TAtomicFindOneAndUpdateExecutionResult> => {
   const policy = collectionArg.getBoundModelSchema()?.ordinaryPersistence;
-  if (policy && (!isSmartdataSession(optionsArg.session) || optionsArg.returnDocument !== 'after')) {
+  // The caller's own transaction: one SmartData starts for write revisions
+  // would let a validated update run where it is otherwise refused.
+  if (policy && (
+    !isSmartdataSession(optionsArg.session)
+    || !isOrdinarySessionInTransaction(optionsArg.session)
+    || optionsArg.returnDocument !== 'after'
+  )) {
     throw new SmartdataPersistenceError('unsupported_operation',
       'Validated ordinary updates require an owned transaction and an after image.');
   }
@@ -110,6 +118,7 @@ export const executeAtomicFindOneAndUpdate = async <T>(
     {
       ordinaryWrite: true,
       prepared: collectionArg.isInitializedForCurrentDatabase(),
+      prepare: () => collectionArg.init(),
       collectionName: collectionArg.collectionName,
       timeoutMS: optionsArg.timeoutMS,
     },
@@ -120,6 +129,11 @@ export const executeAtomicFindOneAndUpdate = async <T>(
       }
       await deadlineArg.join(collectionArg.init());
       try {
+        // A before image states the document's previous partition itself.
+        const previousPartitionsRead = optionsArg.returnDocument === 'after'
+          && await readPreviousWriteRevisions(
+            collectionArg.smartdataDb, collectionArg.mongoDbCollection, rawSessionArg, filterArg, deadlineArg,
+          );
         const result = await collectionArg.mongoDbCollection.findOneAndUpdate(
           filterArg,
           updateArg,
@@ -149,6 +163,7 @@ export const executeAtomicFindOneAndUpdate = async <T>(
               {
                 images: classified.document ? optionsArg.returnDocument : 'none',
                 update: updateArg,
+                ...(previousPartitionsRead ? { previousPartitionsRead } : {}),
               },
             );
           }
@@ -202,12 +217,17 @@ export const executeAtomicFindOneAndReplace = async <T>(
     {
       ordinaryWrite: true,
       prepared: collectionArg.isInitializedForCurrentDatabase(),
+      prepare: () => collectionArg.init(),
       collectionName: collectionArg.collectionName,
       timeoutMS: optionsArg.timeoutMS,
     },
     async (rawSessionArg, deadlineArg) => {
       await deadlineArg.join(collectionArg.init());
       try {
+        const previousPartitionsRead = optionsArg.returnDocument === 'after'
+          && await readPreviousWriteRevisions(
+            collectionArg.smartdataDb, collectionArg.mongoDbCollection, rawSessionArg, filterArg, deadlineArg,
+          );
         const result = await collectionArg.mongoDbCollection.findOneAndReplace(
           filterArg,
           replacementArg,
@@ -237,7 +257,10 @@ export const executeAtomicFindOneAndReplace = async <T>(
               ? [classified.document]
               : [classified.document, replacementArg],
             filterArg,
-            { images: optionsArg.returnDocument === 'after' ? 'after' : 'beforeAndAfter' },
+            {
+              images: optionsArg.returnDocument === 'after' ? 'after' : 'beforeAndAfter',
+              ...(previousPartitionsRead ? { previousPartitionsRead } : {}),
+            },
           );
         }
         return classified;

package/ts/nosqldb/classes.atomicupdate.ts

@@ -5,6 +5,7 @@ import {
   normalizeOrdinaryPersistenceError,
 } from './classes.persistence.js';
 import {
+  readPreviousWriteRevisions,
   reportSmartdataCollectionWrite,
   runWithOrdinarySmartdataSession,
   type TSmartdataOrdinarySession,
@@ -35,12 +36,16 @@ export const executeAtomicUpdate = async <T>(
     {
       ordinaryWrite: true,
       prepared: collectionArg.isInitializedForCurrentDatabase(),
+      prepare: () => collectionArg.init(),
       collectionName: collectionArg.collectionName,
       timeoutMS: optsArg?.timeoutMS,
     },
     async (rawSessionArg, deadlineArg) => {
       await deadlineArg.join(collectionArg.init());
       try {
+        const previousPartitionsRead = await readPreviousWriteRevisions(
+          collectionArg.smartdataDb, collectionArg.mongoDbCollection, rawSessionArg, filterArg, deadlineArg,
+        );
         const result = await collectionArg.mongoDbCollection.updateOne(
           filterArg,
           updateArg,
@@ -57,7 +62,7 @@ export const executeAtomicUpdate = async <T>(
             result.upsertedCount > 0 ? 'insert' : 'update',
             optsArg?.observedDocument ? [optsArg.observedDocument] : null,
             filterArg,
-            { images: 'none', update: updateArg },
+            { images: 'none', update: updateArg, ...(previousPartitionsRead ? { previousPartitionsRead } : {}) },
           );
         }
         return result;
@@ -102,11 +107,13 @@ export const executeAtomicUpsertMany = async <T>(
     {
       ordinaryWrite: true,
       prepared: collectionArg.isInitializedForCurrentDatabase(),
+      prepare: () => collectionArg.init(),
       collectionName: collectionArg.collectionName,
       timeoutMS: optsArg?.timeoutMS,
     },
     async (rawSessionArg, deadlineArg) => {
       await deadlineArg.join(collectionArg.init());
+      let previousPartitionsRead = false;
       /**
        * Every entry upserts, so an entry that neither inserted nor failed
        * matched its document.
@@ -123,11 +130,22 @@ export const executeAtomicUpsertMany = async <T>(
             Object.hasOwn(upsertedIdsArg ?? {}, indexArg) ? 'insert' : 'update',
             null,
             operationArg.filter,
-            { images: 'none', update: operationArg.update },
+            {
+              images: 'none',
+              update: operationArg.update,
+              ...(previousPartitionsRead ? { previousPartitionsRead } : {}),
+            },
           );
         });
       };
       try {
+        previousPartitionsRead = await readPreviousWriteRevisions(
+          collectionArg.smartdataDb,
+          collectionArg.mongoDbCollection,
+          rawSessionArg,
+          { $or: operationsArg.map((operationArg) => operationArg.filter) },
+          deadlineArg,
+        );
         const result = await collectionArg.mongoDbCollection.bulkWrite(
           operationsArg.map((operationArg) => ({
             updateOne: {
@@ -193,12 +211,16 @@ export const executeAtomicUpdateMany = async <T>(
     {
       ordinaryWrite: true,
       prepared: collectionArg.isInitializedForCurrentDatabase(),
+      prepare: () => collectionArg.init(),
       collectionName: collectionArg.collectionName,
       timeoutMS: optsArg?.timeoutMS,
     },
     async (rawSessionArg, deadlineArg) => {
       await deadlineArg.join(collectionArg.init());
       try {
+        const previousPartitionsRead = await readPreviousWriteRevisions(
+          collectionArg.smartdataDb, collectionArg.mongoDbCollection, rawSessionArg, filterArg, deadlineArg,
+        );
         const result = await collectionArg.mongoDbCollection.updateMany(
           filterArg,
           updateArg,
@@ -214,7 +236,7 @@ export const executeAtomicUpdateMany = async <T>(
             'update',
             null,
             filterArg,
-            { images: 'none', update: updateArg },
+            { images: 'none', update: updateArg, ...(previousPartitionsRead ? { previousPartitionsRead } : {}) },
           );
         }
         return result;

package/ts/nosqldb/classes.bootstraprecord.ts

@@ -6,8 +6,11 @@ import { snapshotBoundedBsonDocument } from './classes.bsonsnapshot.js';
 import { validateOrdinaryStoredDocument } from './classes.ordinarypersistence.js';
 import { SmartdataPersistenceError, isMongoDuplicateKeyError } from './classes.persistence.js';
 import { readBoundedInspectionCursor } from './classes.namespaceinspection.js';
-import { reportSmartdataWrite, reportSmartdataWriteFailure } from './classes.session.js';
+import {
+  reportSmartdataWrite, reportSmartdataWriteFailure, runWithOrdinarySmartdataSession,
+} from './classes.session.js';
 import { runSmartdataWrite } from './classes.readtracker.js';
+import { isSmartdataWriteRevisionsActive } from './classes.writerevisions.js';
 import {
   collectionModelSchemaResolverSymbol, collectionTopologyDbInspectionSymbol,
   getExpectedCollectionTopologyForSchema, inspectCollectionTopologySnapshot,
@@ -60,7 +63,11 @@ export const insertBootstrapRecord = async (
       )), schema.ordinaryPersistence, schema.persistedFields,
     );
     const expected = getExpectedCollectionTopologyForSchema(schema);
+    const reportInsert = (): void => reportSmartdataWrite(dbArg, undefined, {
+      collection: schema.collectionName, kind: 'insert', documents: [document], images: 'after',
+    });
     let dispatched = false;
+    let reported = false;
     let outcome: TBootstrapOutcome;
     try {
       // Explicit preparation uses this same connection-generation guard.
@@ -85,6 +92,26 @@ export const insertBootstrapRecord = async (
         if (topology.status !== 'absent' && topology.status !== 'exact') return 'invalid_configuration';
         const insertOptions = budget.operationOptions();
         dispatched = true;
+        if (isSmartdataWriteRevisionsActive(dbArg)) {
+          // The insert runs in a transaction of its own that commits its write revisions with it.
+          try {
+            const inserted = await runWithOrdinarySmartdataSession(undefined, dbArg, {
+              ordinaryWrite: true, prepared: true, ...insertOptions,
+            }, async (rawSessionArg, deadlineArg) => {
+              const result = await collection.insertOne(document, {
+                session: rawSessionArg, ...deadlineArg.commandOptions(),
+              });
+              if (!result.acknowledged || result.insertedId !== document._id) return false;
+              reportInsert();
+              return true;
+            });
+            reported = inserted;
+            budget.check();
+            return inserted ? 'inserted' : 'ambiguous_write';
+          } catch (errorArg) {
+            return isMongoDuplicateKeyError(errorArg) ? 'unique_conflict' : 'ambiguous_write';
+          }
+        }
         try {
           const result = await collection.insertOne(document, insertOptions);
           budget.check();
@@ -100,9 +127,7 @@ export const insertBootstrapRecord = async (
           : 'Bootstrap insertion could not inspect the current database connection.');
     }
     if (outcome === 'inserted') {
-      reportSmartdataWrite(dbArg, undefined, {
-        collection: schema.collectionName, kind: 'insert', documents: [document], images: 'after',
-      });
+      if (!reported) reportInsert();
       return Object.freeze({ acknowledged: true, insertedId: document._id as string });
     }
     if (outcome === 'ambiguous_write') reportSmartdataWriteFailure(dbArg, undefined, schema.collectionName);