@lossless.org/client 1.18.1 → 1.18.3

package/dist_ts/nosqldb/classes.exactpersistence.d.ts

@@ -132,16 +132,52 @@ export declare class SmartdataExactCollection<TModel extends SmartDataDbDoc<any,
      * reconciliation read runs on the interrupted call's budget.
      */
     private interruptedWriteError;
+    /** The collection's one BSON encoder: every encoding of a row passes here. */
+    private encodeBson;
+    /** The collection's one BSON decoder: every decoding of a row passes here. */
+    private decodeBson;
+    /** Decodes proven canonical bytes into a fresh canonical document. */
+    private decodeCanonical;
+    /**
+     * The exactness proof: the document's sorted encoding must decode and
+     * encode again to the same bytes. Returns those canonical bytes and the
+     * decoding the proof produced, which no caller has seen yet.
+     */
     private canonicalizeDocument;
+    /**
+     * Whether a document encodes canonically to bytes an earlier proof
+     * produced. Equal bytes carry that proof and its assertion over, so the
+     * caller needs neither again; on a mismatch the caller runs the full proof
+     * to report what is wrong.
+     */
+    private encodesAs;
     private assertAllowedTopLevelKeys;
-    private canonicalizePersistedDocument;
-    private canonicalizeStoredDocument;
+    /**
+     * Proves an application body canonical and runs the assertion once, on the
+     * proof's own decoding, which is never handed out. Returns the canonical
+     * bytes of the body.
+     */
+    private provePersistedDocument;
+    /**
+     * Proves a stored envelope canonical, checks its storage metadata and runs
+     * the assertion once on its body. The body is the proof's own decoding with
+     * the metadata removed, so the assertion never sees a document a caller
+     * receives. Returns the canonical bytes of the envelope and of its body.
+     */
+    private proveStoredDocument;
+    /** Proves a stored envelope and returns a fresh canonical decoding of it. */
+    private readStoredDocument;
+    /**
+     * The canonical envelope of a proven body. BSON encodes every element on
+     * its own, so a proven body with inert metadata is canonical as a whole;
+     * only the canonical key order has to be restored.
+     */
+    private composeStoredDocument;
     private assertWithoutMutation;
-    private getPersistedBody;
-    private persistedDocumentsEqual;
-    private storedDocumentsEqual;
     private validateReconcileIdentity;
+    /** The persisted body a model serializes to, before any proof. */
     private serializeModel;
+    /** Proves an insert input and returns the canonical bytes of its body. */
     private createPersistedDocument;
     private hydrateStoredDocument;
     private findByReconcileIdentity;