@lossless.org/client 1.23.1 → 1.23.2

package/ts/nosqldb/classes.exactpersistence.ts

@@ -1956,7 +1956,7 @@ export class SmartdataExactCollection<
     // the write-revision partition it held is read first.
     const previousPartitionsRead = current._smartdataRevision === undefined
       && await readPreviousWriteRevisions(
-        this.collection.smartdataDb, this.collection.mongoDbCollection, sessionArg, selector, deadlineArg,
+        this.collection, sessionArg, selector, deadlineArg,
       );
     const reportTransition = (): void => {
       reportSmartdataCollectionWrite(
@@ -2064,7 +2064,7 @@ export class SmartdataExactCollection<
         };
     const previousPartitionsRead = current._smartdataRevision === undefined
       && await readPreviousWriteRevisions(
-        this.collection.smartdataDb, this.collection.mongoDbCollection, sessionArg, selector, deadlineArg,
+        this.collection, sessionArg, selector, deadlineArg,
       );
     let result: plugins.mongodb.DeleteResult;
     const deleteOptions = { session: sessionArg, ...deadlineArg.commandOptions() };

package/ts/nosqldb/classes.readtracker.ts

@@ -1162,6 +1162,16 @@ export const captureSmartdataCollectionChange = (
   return () => applyChanges(dbArg, collectionArg, [{ kind: 'unknown', touched: 'all', startedAt: 0 }]);
 };
 
+/**
+ * @internal Whether an update by operators leaves a field as each document it
+ * updates held it: no operator names the field or a path through it. An update
+ * the tracker cannot follow may change any field.
+ */
+export const updateLeavesField = (updateArg: unknown, fieldArg: string): boolean => {
+  const { touched } = analyzeUpdate(updateArg, false);
+  return touched !== 'all' && ![...touched].some((pathArg) => pathsOverlap(pathArg, fieldArg));
+};
+
 /**
  * @internal The write-revision counters one acknowledged write bumps: the
  * partition of each document state it names before and after, and the shared

package/ts/nosqldb/classes.session.ts

@@ -1067,19 +1067,26 @@ const bumpTransactionRevisions = (
  * documents a write by selector is about to change, and returns whether it
  * did; the write's report then states `previousPartitionsRead`. `false` when
  * the database keeps no revisions or the write runs outside an owned
- * transaction.
+ * transaction. `false` without a read, too, when the collection's model
+ * persists no partition field: its documents count on the shared counter,
+ * which the write's report bumps for each document state it cannot place, and
+ * every read of the collection depends on that counter.
  */
 export const readPreviousWriteRevisions = async (
-  ownerArg: SmartdataDb,
-  collectionArg: plugins.mongodb.Collection<any>,
+  collectionArg: SmartdataCollection<any>,
   rawSessionArg: plugins.mongodb.ClientSession | undefined,
   selectorArg: unknown,
   deadlineArg: SmartdataOperationDeadline,
 ): Promise<boolean> => {
-  if (!rawSessionArg || !isSmartdataWriteRevisionsActive(ownerArg)) return false;
+  const owner = collectionArg.smartdataDb;
+  if (!rawSessionArg || !isSmartdataWriteRevisionsActive(owner)) return false;
   const binding = bindingsByRawSession.get(rawSessionArg);
-  if (!binding?.transactionActive || binding.owner !== ownerArg) return false;
-  const ids = await readPreviousRevisionIds(ownerArg, collectionArg, rawSessionArg, selectorArg, deadlineArg);
+  if (!binding?.transactionActive || binding.owner !== owner) return false;
+  const persistedFields = collectionArg.getBoundModelSchema()?.persistedFields;
+  if (persistedFields && !persistedFields.includes(writeRevisionsPartitionField(owner)!)) return false;
+  const ids = await readPreviousRevisionIds(
+    owner, collectionArg.mongoDbCollection, rawSessionArg, selectorArg, deadlineArg,
+  );
   bumpTransactionRevisions(binding, ids);
   return true;
 };