effect 4.0.7 → 4.1.0

package/dist/eventlog/EventLogEncryption.js

@@ -1,4 +1,8 @@
 import * as Context from "../Context.js";
+import * as Aead from "../crypto/Aead.js";
+import * as Digest from "../crypto/Digest.js";
+import * as SecureRandom from "../crypto/SecureRandom.js";
+import * as WebCrypto from "../crypto/WebCrypto.js";
 import * as Effect from "../Effect.js";
 import * as SchemaBinary from "../encoding/SchemaBinary.js";
 import * as Layer from "../Layer.js";
@@ -6,7 +10,8 @@ import * as Redacted from "../Redacted.js";
 import * as Schema from "../Schema.js";
 import * as Transferable from "../workers/Transferable.js";
 import { EntryFields, entryFromFields, EntryId, RemoteEntry } from "./EventJournal.js";
-import { makeGetIdentityRootSecretMaterial } from "./internal/identityRootSecretDerivation.js";
+import { toBatches } from "./internal/batches.js";
+import { cachedByIdentity, deriveEncryptionKey } from "./internal/identityRootSecretDerivation.js";
 /**
  * Schema for a batch of journal entries encrypted as one AES-GCM message.
  *
@@ -42,27 +47,6 @@ export const EncryptedRemoteBatch = /*#__PURE__*/Schema.Struct({
   sequence: Schema.Natural,
   ...EncryptedBatch.fields
 });
-const maxBatchEntries = 100;
-const maxBatchPayloadBytes = 256 * 1024;
-// A batch holds at most `maxBatchEntries` entries or `maxBatchPayloadBytes` of
-// payload, whichever comes first. A single larger entry is a batch on its own.
-const toBatches = entries => {
-  const batches = [];
-  let current = [];
-  let bytes = 0;
-  for (const entry of entries) {
-    const size = entry.payload.byteLength;
-    if (current.length > 0 && (current.length === maxBatchEntries || bytes + size > maxBatchPayloadBytes)) {
-      batches.push(current);
-      current = [];
-      bytes = 0;
-    }
-    current.push(entry);
-    bytes += size;
-  }
-  if (current.length > 0) batches.push(current);
-  return batches;
-};
 const textEncoder = /*#__PURE__*/new TextEncoder();
 // The store id is length-prefixed, followed by the 16-byte entry ids.
 const additionalData = (storeId, entryIds) => {
@@ -87,11 +71,6 @@ const equalBytes = (a, b) => {
 const BatchFromSchemaBinary = /*#__PURE__*/SchemaBinary.toCodec(/*#__PURE__*/Schema.NonEmptyArray(EntryFields));
 const encodeBatch = /*#__PURE__*/Schema.encodeEffect(BatchFromSchemaBinary);
 const decodeBatch = /*#__PURE__*/Schema.decodeEffect(BatchFromSchemaBinary);
-const toArrayBuffer = data => {
-  const buffer = new ArrayBuffer(data.byteLength);
-  new Uint8Array(buffer).set(data);
-  return buffer;
-};
 /**
  * Service that provides identity generation, entry
  * encryption and decryption, and SHA-256 hashing for event-log replication.
@@ -107,47 +86,58 @@ const toArrayBuffer = data => {
  */
 export class EventLogEncryption extends /*#__PURE__*/Context.Service()("effect/eventlog/EventLogEncryption") {}
 /**
- * Creates an `EventLogEncryption` service backed by the Web Crypto `SubtleCrypto`
- * APIs from the supplied `Crypto` implementation.
+ * Creates an `EventLogEncryption` service from the `effect/crypto` services.
+ *
+ * **Details**
+ *
+ * Each identity's AES-256-GCM key is derived from its root secret with
+ * `Digest` and cached per identity. Batches are encrypted with `Aead` under a
+ * random 12-byte nonce from `SecureRandom`, which also generates identities.
+ * A batch that fails authentication, or whose entries do not match its entry
+ * ids, is a defect.
  *
  * @stability unstable
- * @category encryption
+ * @category constructors
  * @since 4.0.0
  */
-export const makeEncryptionSubtle = crypto => Effect.sync(() => {
-  const getIdentityRootSecretMaterial = makeGetIdentityRootSecretMaterial(crypto);
+export const make = /*#__PURE__*/Effect.gen(function* () {
+  const aead = yield* Aead.Aead;
+  const digest = yield* Digest.Digest;
+  const random = yield* SecureRandom.SecureRandom;
+  const getEncryptionKey = cachedByIdentity(rootSecret => deriveEncryptionKey(rootSecret).pipe(Effect.map(({
+    encryptionKey
+  }) => encryptionKey), Effect.provideService(Digest.Digest, digest)));
   return EventLogEncryption.of({
     encrypt: Effect.fnUntraced(function* (identity, storeId, entries) {
-      const key = (yield* getIdentityRootSecretMaterial(identity)).encryptionKey;
+      const key = yield* getEncryptionKey(identity);
       const batches = toBatches(entries);
       const data = yield* Effect.orDie(Effect.forEach(batches, batch => encodeBatch(batch)));
-      return yield* Effect.promise(() => Promise.all(batches.map((batch, i) => {
+      return yield* Effect.forEach(batches, (batch, i) => {
         const entryIds = batch.map(entry => entry.id);
-        const iv = crypto.getRandomValues(new Uint8Array(12));
-        return crypto.subtle.encrypt({
-          name: "AES-GCM",
-          iv,
-          additionalData: additionalData(storeId, entryIds),
-          tagLength: 128
-        }, key, data[i]).then(encryptedBatch => ({
+        return Effect.flatMap(random.randomBytes(12), iv => Effect.map(aead.encrypt(key, data[i], {
+          nonce: iv,
+          aad: additionalData(storeId, entryIds)
+        }), encryptedBatch => ({
           entryIds,
-          iv,
-          encryptedBatch: new Uint8Array(encryptedBatch)
-        }));
-      })));
+          iv: iv,
+          encryptedBatch: encryptedBatch
+        })));
+      }, {
+        concurrency: "unbounded"
+      }).pipe(Effect.orDie);
     }),
     decrypt: Effect.fnUntraced(function* (identity, storeId, batches) {
-      const key = (yield* getIdentityRootSecretMaterial(identity)).encryptionKey;
-      const decrypted = yield* Effect.promise(() => Promise.all(batches.map(batch => crypto.subtle.decrypt({
-        name: "AES-GCM",
-        iv: batch.iv,
-        additionalData: additionalData(storeId, batch.entryIds),
-        tagLength: 128
-      }, key, batch.encryptedBatch))));
+      const key = yield* getEncryptionKey(identity);
+      const decrypted = yield* Effect.forEach(batches, batch => aead.decrypt(key, batch.encryptedBatch, {
+        nonce: batch.iv,
+        aad: additionalData(storeId, batch.entryIds)
+      }), {
+        concurrency: "unbounded"
+      }).pipe(Effect.orDie);
       const result = [];
       for (let i = 0; i < batches.length; i++) {
         const batch = batches[i];
-        const fields = yield* Effect.orDie(decodeBatch(new Uint8Array(decrypted[i])));
+        const fields = yield* Effect.orDie(decodeBatch(decrypted[i]));
         const entries = fields.map(entryFromFields);
         if (entries.length !== batch.entryIds.length || entries.some((entry, j) => !equalBytes(entry.id, batch.entryIds[j]))) {
           return yield* Effect.die(new Error("Encrypted batch entries do not match its entry ids"));
@@ -161,24 +151,53 @@ export const makeEncryptionSubtle = crypto => Effect.sync(() => {
       }
       return result;
     }),
-    sha256: data => Effect.promise(() => crypto.subtle.digest("SHA-256", toArrayBuffer(data))).pipe(Effect.map(hash => new Uint8Array(hash))),
-    sha256String: data => Effect.map(Effect.promise(() => crypto.subtle.digest("SHA-256", toArrayBuffer(data))), hash => {
-      const hashArray = Array.from(new Uint8Array(hash));
-      const hashHex = hashArray.map(bytes => bytes.toString(16).padStart(2, "0")).join("");
-      return hashHex;
-    }),
-    generateIdentity: Effect.sync(() => ({
-      publicKey: crypto.randomUUID(),
-      privateKey: Redacted.make(crypto.getRandomValues(new Uint8Array(32)))
+    sha256: data => digest.digest(Digest.sha256, data),
+    generateIdentity: Effect.zipWith(random.uuidV4(), random.randomBytes(32), (publicKey, privateKey) => ({
+      publicKey,
+      privateKey: Redacted.make(privateKey)
     }))
   });
 });
 /**
- * Provides `EventLogEncryption` using `globalThis.crypto`.
+ * Provides `EventLogEncryption` from the `Aead`, `Digest` and `SecureRandom`
+ * services.
+ *
+ * **When to use**
+ *
+ * Use to choose the crypto layers yourself, such as the `NodeCrypto` layers.
+ *
+ * @stability unstable
+ * @category layers
+ * @since 4.0.0
+ */
+export const layer = /*#__PURE__*/Layer.effect(EventLogEncryption, make);
+const layerWebCrypto = /*#__PURE__*/Layer.mergeAll(Aead.layerWebCrypto, Digest.layerWebCrypto).pipe(/*#__PURE__*/Layer.provideMerge(SecureRandom.layerWebCrypto));
+/**
+ * Creates an `EventLogEncryption` service on the Web Crypto layers of
+ * `Aead`, `Digest` and `SecureRandom`, using the supplied `Crypto` object.
+ *
+ * @stability unstable
+ * @category encryption
+ * @since 4.0.0
+ */
+export const makeEncryptionSubtle = crypto =>
+// `local` keeps enclosing Web Crypto layers, built on another `Crypto`, from
+// being reused.
+Effect.provide(make, Layer.provide(layerWebCrypto, WebCrypto.layer(crypto)), {
+  local: true
+});
+/**
+ * Provides `EventLogEncryption` on the Web Crypto layers of `Aead`, `Digest`
+ * and `SecureRandom`.
+ *
+ * **Details**
+ *
+ * The layers use the `Crypto` object of the `WebCrypto` reference, which
+ * defaults to `globalThis.crypto`.
  *
  * @stability unstable
  * @category layers
  * @since 4.0.0
  */
-export const layerSubtle = /*#__PURE__*/Layer.effect(EventLogEncryption, /*#__PURE__*/makeEncryptionSubtle(globalThis.crypto));
+export const layerSubtle = /*#__PURE__*/Layer.provide(layer, layerWebCrypto);
 //# sourceMappingURL=EventLogEncryption.js.map

package/dist/eventlog/EventLogEncryption.js.map

@@ -1 +1 @@
-{"version":3,"file":"EventLogEncryption.js","names":[],"sources":["../../src/eventlog/EventLogEncryption.ts"],"sourcesContent":[null],"mappings":"AAYA,OAAO,KAAK,OAAO,MAAM,eAAe;AACxC,OAAO,KAAK,MAAM,MAAM,cAAc;AACtC,OAAO,KAAK,YAAY,MAAM,6BAA6B;AAC3D,OAAO,KAAK,KAAK,MAAM,aAAa;AACpC,OAAO,KAAK,QAAQ,MAAM,gBAAgB;AAC1C,OAAO,KAAK,MAAM,MAAM,cAAc;AACtC,OAAO,KAAK,YAAY,MAAM,4BAA4B;AAC1D,SAAqB,WAAW,EAAE,eAAe,EAAE,OAAO,EAAE,WAAW,QAAQ,mBAAmB;AAElG,SAAS,iCAAiC,QAAQ,4CAA4C;AAE9F;;;;;;;;;;;;;;AAcA,OAAO,MAAM,cAAc,gBAAG,MAAM,CAAC,MAAM,CAAC;EAC1C,QAAQ,eAAE,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC;EACvC,EAAE,EAAE,YAAY,CAAC,UAAU;EAC3B,cAAc,EAAE,YAAY,CAAC;CAC9B,CAAC;AAqBF;;;;;;;;;;;;AAYA,OAAO,MAAM,oBAAoB,gBAAG,MAAM,CAAC,MAAM,CAAC;EAChD,QAAQ,EAAE,MAAM,CAAC,OAAO;EACxB,GAAG,cAAc,CAAC;CACnB,CAAC;AAEF,MAAM,eAAe,GAAG,GAAG;AAC3B,MAAM,oBAAoB,GAAG,GAAG,GAAG,IAAI;AAEvC;AACA;AACA,MAAM,SAAS,GAAI,OAA6B,IAAiC;EAC/E,MAAM,OAAO,GAAgC,EAAE;EAC/C,IAAI,OAAO,GAAiB,EAAE;EAC9B,IAAI,KAAK,GAAG,CAAC;EACb,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE;IAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU;IACrC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,KAAK,OAAO,CAAC,MAAM,KAAK,eAAe,IAAI,KAAK,GAAG,IAAI,GAAG,oBAAoB,CAAC,EAAE;MACrG,OAAO,CAAC,IAAI,CAAC,OAA+B,CAAC;MAC7C,OAAO,GAAG,EAAE;MACZ,KAAK,GAAG,CAAC;IACX;IACA,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;IACnB,KAAK,IAAI,IAAI;EACf;EACA,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,OAA+B,CAAC;EACrE,OAAO,OAAO;AAChB,CAAC;AAED,MAAM,WAAW,gBAAG,IAAI,WAAW,EAAE;AAErC;AACA,MAAM,cAAc,GAAG,CAAC,OAAe,EAAE,QAAgC,KAA6B;EACpG,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;EACzC,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,GAAG,QAAQ,CAAC,MAAM,GAAG,EAAE,CAAC;EACxE,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,UAAU,CAAC;EACxD,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;EAClB,IAAI,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,UAAU;EACjC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE;IACzB,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,MAAM,IAAI,EAAE;EACd;EACA,OAAO,IAAI;AACb,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,CAAa,EAAE,CAAa,KAAa;EAC3D,IAAI,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU,EAAE,OAAO,KAAK;EAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE;IACrC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,KAAK;EACjC;EACA,OAAO,IAAI;AACb,CAAC;AAED,MAAM,qBAAqB,gBAAG,YAAY,CAAC,OAAO,cAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;AACrF,MAAM,WAAW,gBAAG,MAAM,CAAC,YAAY,CAAC,qBAAqB,CAAC;AAC9D,MAAM,WAAW,gBAAG,MAAM,CAAC,YAAY,CAAC,qBAAqB,CAAC;AAE9D,MAAM,aAAa,GAAI,IAAgB,IAAiB;EACtD,MAAM,MAAM,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC;EAC/C,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;EAChC,OAAO,MAAM;AACf,CAAC;AAED;;;;;;;;;;;;;AAaA,OAAM,MAAO,kBAAmB,sBAAQ,OAAO,CAAC,OAAO,EAcnD,CAAC,oCAAoC,CAAC;AAE1C;;;;;;;;AAQA,OAAO,MAAM,oBAAoB,GAAI,MAAc,IACjD,MAAM,CAAC,IAAI,CAAC,MAAK;EACf,MAAM,6BAA6B,GAAG,iCAAiC,CAAC,MAAM,CAAC;EAE/E,OAAO,kBAAkB,CAAC,EAAE,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,WAAU,QAAQ,EAAE,OAAO,EAAE,OAAO;MAC7D,MAAM,GAAG,GAAG,CAAC,OAAO,6BAA6B,CAAC,QAAQ,CAAC,EAAE,aAAa;MAC1E,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC;MAClC,MAAM,IAAI,GAAG,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAG,KAAK,IAAK,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;MACxF,OAAO,OAAO,MAAM,CAAC,OAAO,CAAC,MAC3B,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,KAAI;QACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAE,KAAK,IAAK,KAAK,CAAC,EAAE,CAA2B;QACzE,MAAM,EAAE,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;QACrD,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAC1B;UAAE,IAAI,EAAE,SAAS;UAAE,EAAE;UAAE,cAAc,EAAE,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC;UAAE,SAAS,EAAE;QAAG,CAAE,EAC1F,GAAG,EACH,IAAI,CAAC,CAAC,CAAC,CACR,CAAC,IAAI,CAAE,cAAc,KAAM;UAAE,QAAQ;UAAE,EAAE;UAAE,cAAc,EAAE,IAAI,UAAU,CAAC,cAAc;QAAC,CAAE,CAAC,CAAC;MAChG,CAAC,CAAC,CAAC,CACJ;IACH,CAAC,CAAC;IACF,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,WAAU,QAAQ,EAAE,OAAO,EAAE,OAAO;MAC7D,MAAM,GAAG,GAAG,CAAC,OAAO,6BAA6B,CAAC,QAAQ,CAAC,EAAE,aAAa;MAC1E,MAAM,SAAS,GAAG,OAAO,MAAM,CAAC,OAAO,CAAC,MACtC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAE,KAAK,IAC5B,MAAM,CAAC,MAAM,CAAC,OAAO,CACnB;QACE,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,cAAc,EAAE,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC;QACvD,SAAS,EAAE;OACZ,EACD,GAAG,EACH,KAAK,CAAC,cAAc,CACrB,CACF,CAAC,CACH;MACD,MAAM,MAAM,GAAuB,EAAE;MACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACvC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7E,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC;QAC3C,IACE,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,QAAQ,CAAC,MAAM,IACxC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EACpE;UACA,OAAO,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QAC3F;QACA,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;UACvC,MAAM,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC;YAAE,cAAc,EAAE,KAAK,CAAC,QAAQ,GAAG,CAAC;YAAE,KAAK,EAAE,OAAO,CAAC,CAAC;UAAC,CAAE,CAAC,CAAC;QACzF;MACF;MACA,OAAO,MAAM;IACf,CAAC,CAAC;IACF,MAAM,EAAG,IAAI,IACX,MAAM,CAAC,OAAO,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAC7E,MAAM,CAAC,GAAG,CAAE,IAAI,IAAK,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAC3C;IACH,YAAY,EAAG,IAAI,IACjB,MAAM,CAAC,GAAG,CACR,MAAM,CAAC,OAAO,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EACzE,IAAI,IAAI;MACP,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC;MAClD,MAAM,OAAO,GAAG,SAAS,CACtB,GAAG,CAAE,KAAK,IAAK,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CACnD,IAAI,CAAC,EAAE,CAAC;MACX,OAAO,OAAO;IAChB,CAAC,CACF;IACH,gBAAgB,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO;MACnC,SAAS,EAAE,MAAM,CAAC,UAAU,EAAE;MAC9B,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;KACrE,CAAC;GACH,CAAC;AACJ,CAAC,CAAC;AAEJ;;;;;;;AAOA,OAAO,MAAM,WAAW,gBAAoC,KAAK,CAAC,MAAM,CACtE,kBAAkB,eAClB,oBAAoB,CAAC,UAAU,CAAC,MAAM,CAAC,CACxC","ignoreList":[]}
+{"version":3,"file":"EventLogEncryption.js","names":[],"sources":["../../src/eventlog/EventLogEncryption.ts"],"sourcesContent":[null],"mappings":"AAYA,OAAO,KAAK,OAAO,MAAM,eAAe;AACxC,OAAO,KAAK,IAAI,MAAM,mBAAmB;AACzC,OAAO,KAAK,MAAM,MAAM,qBAAqB;AAC7C,OAAO,KAAK,YAAY,MAAM,2BAA2B;AACzD,OAAO,KAAK,SAAS,MAAM,wBAAwB;AACnD,OAAO,KAAK,MAAM,MAAM,cAAc;AACtC,OAAO,KAAK,YAAY,MAAM,6BAA6B;AAC3D,OAAO,KAAK,KAAK,MAAM,aAAa;AACpC,OAAO,KAAK,QAAQ,MAAM,gBAAgB;AAC1C,OAAO,KAAK,MAAM,MAAM,cAAc;AACtC,OAAO,KAAK,YAAY,MAAM,4BAA4B;AAC1D,SAAqB,WAAW,EAAE,eAAe,EAAE,OAAO,EAAE,WAAW,QAAQ,mBAAmB;AAElG,SAAS,SAAS,QAAQ,uBAAuB;AACjD,SAAS,gBAAgB,EAAE,mBAAmB,QAAQ,4CAA4C;AAElG;;;;;;;;;;;;;;AAcA,OAAO,MAAM,cAAc,gBAAG,MAAM,CAAC,MAAM,CAAC;EAC1C,QAAQ,eAAE,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC;EACvC,EAAE,EAAE,YAAY,CAAC,UAAU;EAC3B,cAAc,EAAE,YAAY,CAAC;CAC9B,CAAC;AAqBF;;;;;;;;;;;;AAYA,OAAO,MAAM,oBAAoB,gBAAG,MAAM,CAAC,MAAM,CAAC;EAChD,QAAQ,EAAE,MAAM,CAAC,OAAO;EACxB,GAAG,cAAc,CAAC;CACnB,CAAC;AAEF,MAAM,WAAW,gBAAG,IAAI,WAAW,EAAE;AAErC;AACA,MAAM,cAAc,GAAG,CAAC,OAAe,EAAE,QAAgC,KAAgB;EACvF,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;EACzC,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,GAAG,QAAQ,CAAC,MAAM,GAAG,EAAE,CAAC;EACxE,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,UAAU,CAAC;EACxD,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;EAClB,IAAI,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,UAAU;EACjC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE;IACzB,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,MAAM,IAAI,EAAE;EACd;EACA,OAAO,IAAI;AACb,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,CAAa,EAAE,CAAa,KAAa;EAC3D,IAAI,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU,EAAE,OAAO,KAAK;EAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE;IACrC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,KAAK;EACjC;EACA,OAAO,IAAI;AACb,CAAC;AAED,MAAM,qBAAqB,gBAAG,YAAY,CAAC,OAAO,cAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;AACrF,MAAM,WAAW,gBAAG,MAAM,CAAC,YAAY,CAAC,qBAAqB,CAAC;AAC9D,MAAM,WAAW,gBAAG,MAAM,CAAC,YAAY,CAAC,qBAAqB,CAAC;AAE9D;;;;;;;;;;;;;AAaA,OAAM,MAAO,kBAAmB,sBAAQ,OAAO,CAAC,OAAO,EAanD,CAAC,oCAAoC,CAAC;AAE1C;;;;;;;;;;;;;;;AAeA,OAAO,MAAM,IAAI,gBAIb,MAAM,CAAC,GAAG,CAAC,aAAS;EACtB,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI;EAC7B,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,MAAM;EACnC,MAAM,MAAM,GAAG,OAAO,YAAY,CAAC,YAAY;EAC/C,MAAM,gBAAgB,GAAG,gBAAgB,CAAE,UAAU,IACnD,mBAAmB,CAAC,UAAU,CAAC,CAAC,IAAI,CAClC,MAAM,CAAC,GAAG,CAAC,CAAC;IAAE;EAAa,CAAE,KAAK,aAAa,CAAC,EAChD,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAC7C,CACF;EAED,OAAO,kBAAkB,CAAC,EAAE,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,WAAU,QAAQ,EAAE,OAAO,EAAE,OAAO;MAC7D,MAAM,GAAG,GAAG,OAAO,gBAAgB,CAAC,QAAQ,CAAC;MAC7C,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC;MAClC,MAAM,IAAI,GAAG,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAG,KAAK,IAAK,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;MACxF,OAAO,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAI;QACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAE,KAAK,IAAK,KAAK,CAAC,EAAE,CAA2B;QACzE,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,EAAG,EAAE,IAC/C,MAAM,CAAC,GAAG,CACR,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE;UAAE,KAAK,EAAE,EAAE;UAAE,GAAG,EAAE,cAAc,CAAC,OAAO,EAAE,QAAQ;QAAC,CAAE,CAAC,EAChF,cAAc,KAAM;UACnB,QAAQ;UACR,EAAE,EAAE,EAA6B;UACjC,cAAc,EAAE;SACjB,CAAC,CACH,CAAC;MACN,CAAC,EAAE;QAAE,WAAW,EAAE;MAAW,CAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;IACrD,CAAC,CAAC;IACF,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,WAAU,QAAQ,EAAE,OAAO,EAAE,OAAO;MAC7D,MAAM,GAAG,GAAG,OAAO,gBAAgB,CAAC,QAAQ,CAAC;MAC7C,MAAM,SAAS,GAAG,OAAO,MAAM,CAAC,OAAO,CACrC,OAAO,EACN,KAAK,IACJ,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,cAAc,EAAE;QAAE,KAAK,EAAE,KAAK,CAAC,EAAE;QAAE,GAAG,EAAE,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ;MAAC,CAAE,CAAC,EAC5G;QAAE,WAAW,EAAE;MAAW,CAAE,CAC7B,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;MACpB,MAAM,MAAM,GAAuB,EAAE;MACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACvC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAA4B,CAAC,CAAC;QACxF,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC;QAC3C,IACE,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,QAAQ,CAAC,MAAM,IACxC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EACpE;UACA,OAAO,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QAC3F;QACA,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;UACvC,MAAM,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC;YAAE,cAAc,EAAE,KAAK,CAAC,QAAQ,GAAG,CAAC;YAAE,KAAK,EAAE,OAAO,CAAC,CAAC;UAAC,CAAE,CAAC,CAAC;QACzF;MACF;MACA,OAAO,MAAM;IACf,CAAC,CAAC;IACF,MAAM,EAAG,IAAI,IAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC;IACpD,gBAAgB,EAAE,MAAM,CAAC,OAAO,CAC9B,MAAM,CAAC,MAAM,EAAE,EACf,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,EACtB,CAAC,SAAS,EAAE,UAAU,MAAM;MAAE,SAAS;MAAE,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,UAAqC;IAAC,CAAE,CAAC;GAE/G,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;;;AAYA,OAAO,MAAM,KAAK,gBAChB,KAAK,CAAC,MAAM,CAAC,kBAAkB,EAAE,IAAI,CAAC;AAExC,MAAM,cAAc,gBAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,cACpF,KAAK,CAAC,YAAY,CAAC,YAAY,CAAC,cAAc,CAAC,CAChD;AAED;;;;;;;;AAQA,OAAO,MAAM,oBAAoB,GAAI,MAAc;AACjD;AACA;AACA,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE;EAAE,KAAK,EAAE;AAAI,CAAE,CAAC;AAE/F;;;;;;;;;;;;;AAaA,OAAO,MAAM,WAAW,gBAAoC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,cAAc,CAAC","ignoreList":[]}

package/dist/eventlog/EventLogMessage.d.ts

@@ -96,6 +96,7 @@ declare const HelloResponse_base: Schema.Class<HelloResponse, Schema.Struct<{
     readonly remoteId: Schema.brand<Schema.Uint8Array, "effect/eventlog/EventJournal/RemoteId">;
     readonly challenge: Transferable.Transferable<Schema.instanceOf<Uint8Array<ArrayBuffer>, Uint8Array<ArrayBuffer>>>;
     readonly firstSequence: Schema.optional<Schema.Natural>;
+    readonly compaction: Schema.optional<Schema.Literal<true>>;
 }>, {}>;
 /**
  * Response sent by the remote server during the authentication handshake.
@@ -104,6 +105,7 @@ declare const HelloResponse_base: Schema.Class<HelloResponse, Schema.Struct<{
  *
  * Contains the remote id, a challenge for the client to sign, and the lowest
  * assigned sequence (default 0) for initializing acknowledgement cursors.
+ * `compaction` is `true` when the server serves `EventLogCompactionRpcs`.
  *
  * @stability unstable
  * @category protocols
@@ -369,5 +371,282 @@ declare const EventLogRemoteRpcs_base: RpcGroup.RpcGroup<typeof HelloRpc | typeo
  */
 export declare class EventLogRemoteRpcs extends EventLogRemoteRpcs_base {
 }
+declare const CompactionStatus_base: Schema.Class<CompactionStatus, Schema.Struct<{
+    readonly wanted: Schema.Boolean;
+    readonly head: Schema.Int;
+}>, {}>;
+/**
+ * The compaction state of a store, as reported to clients.
+ *
+ * **Details**
+ *
+ * `wanted` is `true` when the server would open a compaction stage. `head` is
+ * the highest stored sequence.
+ *
+ * @stability unstable
+ * @category protocols
+ * @since 4.0.0
+ */
+export declare class CompactionStatus extends CompactionStatus_base {
+}
+declare const CompactionStatusRpc_base: Rpc.Rpc<"EventLog.CompactionStatus", Schema.Struct<{
+    publicKey: Schema.String;
+    storeId: Schema.brand<Schema.String, "effect/eventlog/EventLog/StoreId">;
+}>, typeof CompactionStatus, typeof EventLogProtocolError, typeof EventLogAuthentication, never>;
+/**
+ * RPC that reports a store's compaction state.
+ *
+ * @stability unstable
+ * @category protocols
+ * @since 4.0.0
+ */
+export declare class CompactionStatusRpc extends CompactionStatusRpc_base {
+}
+/**
+ * Schema for the result of opening a compaction stage.
+ *
+ * **Details**
+ *
+ * `Started` pins the stage to the active generation and to the last input
+ * sequence. `Busy` means another stage is open on the store. `NotWanted` means
+ * the store doesn't need compacting.
+ *
+ * @stability unstable
+ * @category protocols
+ * @since 4.0.0
+ */
+export declare const CompactionBeginResult: Schema.Union<readonly [Schema.TaggedStruct<"Started", {
+    readonly stageId: Schema.String;
+}>, Schema.TaggedStruct<"Busy", {}>, Schema.TaggedStruct<"NotWanted", {}>]>;
+/**
+ * The result of opening a compaction stage.
+ *
+ * @stability unstable
+ * @category protocols
+ * @since 4.0.0
+ */
+export type CompactionBeginResult = typeof CompactionBeginResult.Type;
+declare const CompactionBeginRpc_base: Rpc.Rpc<"EventLog.CompactionBegin", Schema.Struct<{
+    publicKey: Schema.String;
+    storeId: Schema.brand<Schema.String, "effect/eventlog/EventLog/StoreId">;
+}>, Schema.Union<readonly [Schema.TaggedStruct<"Started", {
+    readonly stageId: Schema.String;
+}>, Schema.TaggedStruct<"Busy", {}>, Schema.TaggedStruct<"NotWanted", {}>]>, typeof EventLogProtocolError, typeof EventLogAuthentication, never>;
+/**
+ * RPC that opens a compaction stage.
+ *
+ * @stability unstable
+ * @category protocols
+ * @since 4.0.0
+ */
+export declare class CompactionBeginRpc extends CompactionBeginRpc_base {
+}
+/**
+ * Schema for the header of one compaction input batch.
+ *
+ * **Details**
+ *
+ * An entry's input sequence is the batch `sequence` plus its position in
+ * `entryIds`.
+ *
+ * @stability unstable
+ * @category protocols
+ * @since 4.0.0
+ */
+export declare const CompactionInputHeader: Schema.Struct<{
+    readonly sequence: Schema.Natural;
+    readonly entryIds: Schema.NonEmptyArray<Schema.brand<Schema.instanceOf<Uint8Array<ArrayBuffer>, Uint8Array<ArrayBuffer>>, "effect/eventlog/EventJournal/EntryId">>;
+}>;
+/**
+ * The header of one compaction input batch.
+ *
+ * @stability unstable
+ * @category protocols
+ * @since 4.0.0
+ */
+export type CompactionInputHeader = typeof CompactionInputHeader.Type;
+declare const CompactionInputRpc_base: Rpc.Rpc<"EventLog.CompactionInput", Schema.Struct<{
+    publicKey: Schema.String;
+    storeId: Schema.brand<Schema.String, "effect/eventlog/EventLog/StoreId">;
+    stageId: Schema.String;
+}>, import("../rpc/RpcSchema.ts").Stream<Schema.Union<readonly [typeof SingleMessage, typeof ChunkedMessage]>, typeof EventLogProtocolError>, Schema.Never, typeof EventLogAuthentication, never>;
+/**
+ * RPC that streams a stage's input batch headers in input order.
+ *
+ * **Details**
+ *
+ * The input is the pinned snapshot, then the originals up to the stage's
+ * `through`. Headers are framed as `SingleMessage` values or `ChunkedMessage`
+ * parts, as in `ChangesRpc`. It fails with a `NotFound` error once the stage
+ * or its pin is gone.
+ *
+ * @stability unstable
+ * @category protocols
+ * @since 4.0.0
+ */
+export declare class CompactionInputRpc extends CompactionInputRpc_base {
+    static HeadersFromSchemaBinary: SchemaBinary.toCodec<Schema.NonEmptyArray<Schema.Struct<{
+        readonly sequence: Schema.Natural;
+        readonly entryIds: Schema.NonEmptyArray<Schema.brand<Schema.instanceOf<Uint8Array<ArrayBuffer>, Uint8Array<ArrayBuffer>>, "effect/eventlog/EventJournal/EntryId">>;
+    }>>>;
+    static encodeHeaders: (input: readonly [{
+        readonly sequence: number;
+        readonly entryIds: readonly [Uint8Array<ArrayBuffer> & Brand<"effect/eventlog/EventJournal/EntryId">, ...(Uint8Array<ArrayBuffer> & Brand<"effect/eventlog/EventJournal/EntryId">)[]];
+    }, ...{
+        readonly sequence: number;
+        readonly entryIds: readonly [Uint8Array<ArrayBuffer> & Brand<"effect/eventlog/EventJournal/EntryId">, ...(Uint8Array<ArrayBuffer> & Brand<"effect/eventlog/EventJournal/EntryId">)[]];
+    }[]], options?: SchemaAST.ParseOptions) => Effect.Effect<Uint8Array<ArrayBuffer>, Schema.SchemaError, never>;
+    static decodeHeaders: (input: Uint8Array<ArrayBuffer>, options?: SchemaAST.ParseOptions) => Effect.Effect<readonly [{
+        readonly sequence: number;
+        readonly entryIds: readonly [Uint8Array<ArrayBuffer> & Brand<"effect/eventlog/EventJournal/EntryId">, ...(Uint8Array<ArrayBuffer> & Brand<"effect/eventlog/EventJournal/EntryId">)[]];
+    }, ...{
+        readonly sequence: number;
+        readonly entryIds: readonly [Uint8Array<ArrayBuffer> & Brand<"effect/eventlog/EventJournal/EntryId">, ...(Uint8Array<ArrayBuffer> & Brand<"effect/eventlog/EventJournal/EntryId">)[]];
+    }[]], Schema.SchemaError, never>;
+}
+declare const CompactionFetchRpc_base: Rpc.Rpc<"EventLog.CompactionFetch", Schema.Struct<{
+    publicKey: Schema.String;
+    storeId: Schema.brand<Schema.String, "effect/eventlog/EventLog/StoreId">;
+    stageId: Schema.String;
+    batches: Schema.$Array<Schema.Natural>;
+}>, import("../rpc/RpcSchema.ts").Stream<Schema.Union<readonly [typeof SingleMessage, typeof ChunkedMessage]>, typeof EventLogProtocolError>, Schema.Never, typeof EventLogAuthentication, never>;
+/**
+ * RPC that streams the encrypted input batches at the given input sequences.
+ *
+ * **Details**
+ *
+ * `batches` holds the input sequence of each batch to fetch. Batches are framed
+ * and encoded as in `ChangesRpc`. It fails with a `NotFound` error once the
+ * stage or its pin is gone.
+ *
+ * @stability unstable
+ * @category protocols
+ * @since 4.0.0
+ */
+export declare class CompactionFetchRpc extends CompactionFetchRpc_base {
+}
+declare const CompactionPartRpc_base: Rpc.Rpc<"EventLog.CompactionPart", Schema.Struct<{
+    publicKey: Schema.String;
+    storeId: Schema.brand<Schema.String, "effect/eventlog/EventLog/StoreId">;
+    stageId: Schema.String;
+    chunk: typeof ChunkedMessage;
+}>, Schema.Void, typeof EventLogProtocolError, typeof EventLogAuthentication, never>;
+/**
+ * RPC that uploads one piece of a compaction snapshot segment.
+ *
+ * **Details**
+ *
+ * A segment is an encoded non-empty array of encrypted batches, indexed by
+ * `chunk.id`, and is split into pieces when larger than
+ * `ChunkedMessage.chunkSize`. Re-uploading a stored segment is acknowledged
+ * without storing it again. A segment that fails validation aborts the stage
+ * with an `InvalidRequest` error.
+ *
+ * @stability unstable
+ * @category protocols
+ * @since 4.0.0
+ */
+export declare class CompactionPartRpc extends CompactionPartRpc_base {
+    static SegmentFromSchemaBinary: SchemaBinary.toCodec<Schema.NonEmptyArray<Schema.Struct<{
+        readonly entryIds: Schema.NonEmptyArray<Schema.brand<Schema.instanceOf<Uint8Array<ArrayBuffer>, Uint8Array<ArrayBuffer>>, "effect/eventlog/EventJournal/EntryId">>;
+        readonly iv: Transferable.Transferable<Schema.instanceOf<Uint8Array<ArrayBuffer>, Uint8Array<ArrayBuffer>>>;
+        readonly encryptedBatch: Transferable.Transferable<Schema.instanceOf<Uint8Array<ArrayBuffer>, Uint8Array<ArrayBuffer>>>;
+    }>>>;
+    static encodeSegment: (input: readonly [{
+        readonly entryIds: readonly [Uint8Array<ArrayBuffer> & Brand<"effect/eventlog/EventJournal/EntryId">, ...(Uint8Array<ArrayBuffer> & Brand<"effect/eventlog/EventJournal/EntryId">)[]];
+        readonly iv: Uint8Array<ArrayBuffer>;
+        readonly encryptedBatch: Uint8Array<ArrayBuffer>;
+    }, ...{
+        readonly entryIds: readonly [Uint8Array<ArrayBuffer> & Brand<"effect/eventlog/EventJournal/EntryId">, ...(Uint8Array<ArrayBuffer> & Brand<"effect/eventlog/EventJournal/EntryId">)[]];
+        readonly iv: Uint8Array<ArrayBuffer>;
+        readonly encryptedBatch: Uint8Array<ArrayBuffer>;
+    }[]], options?: SchemaAST.ParseOptions) => Effect.Effect<Uint8Array<ArrayBuffer>, Schema.SchemaError, never>;
+    static decodeSegment: (input: Uint8Array<ArrayBuffer>, options?: SchemaAST.ParseOptions) => Effect.Effect<readonly [{
+        readonly entryIds: readonly [Uint8Array<ArrayBuffer> & Brand<"effect/eventlog/EventJournal/EntryId">, ...(Uint8Array<ArrayBuffer> & Brand<"effect/eventlog/EventJournal/EntryId">)[]];
+        readonly iv: Uint8Array<ArrayBuffer>;
+        readonly encryptedBatch: Uint8Array<ArrayBuffer>;
+    }, ...{
+        readonly entryIds: readonly [Uint8Array<ArrayBuffer> & Brand<"effect/eventlog/EventJournal/EntryId">, ...(Uint8Array<ArrayBuffer> & Brand<"effect/eventlog/EventJournal/EntryId">)[]];
+        readonly iv: Uint8Array<ArrayBuffer>;
+        readonly encryptedBatch: Uint8Array<ArrayBuffer>;
+    }[]], Schema.SchemaError, never>;
+}
+declare const CompactionAbortRpc_base: Rpc.Rpc<"EventLog.CompactionAbort", Schema.Struct<{
+    publicKey: Schema.String;
+    storeId: Schema.brand<Schema.String, "effect/eventlog/EventLog/StoreId">;
+    stageId: Schema.String;
+}>, Schema.Void, typeof EventLogProtocolError, typeof EventLogAuthentication, never>;
+/**
+ * RPC that releases an open compaction stage. A late abort is a no-op.
+ *
+ * @stability unstable
+ * @category protocols
+ * @since 4.0.0
+ */
+export declare class CompactionAbortRpc extends CompactionAbortRpc_base {
+}
+/**
+ * Schema for the outcome of a compaction run reported at commit.
+ *
+ * **Details**
+ *
+ * `Snapshot` activates the `segmentCount` uploaded segments. `NoOp` reports a
+ * run that dropped nothing.
+ *
+ * @stability unstable
+ * @category protocols
+ * @since 4.0.0
+ */
+export declare const CompactionResult: Schema.Union<readonly [Schema.TaggedStruct<"Snapshot", {
+    readonly segmentCount: Schema.Natural;
+}>, Schema.TaggedStruct<"NoOp", {}>]>;
+/**
+ * The outcome of a compaction run reported at commit.
+ *
+ * @stability unstable
+ * @category protocols
+ * @since 4.0.0
+ */
+export type CompactionResult = typeof CompactionResult.Type;
+declare const CompactionCommitRpc_base: Rpc.Rpc<"EventLog.CompactionCommit", Schema.Struct<{
+    publicKey: Schema.String;
+    storeId: Schema.brand<Schema.String, "effect/eventlog/EventLog/StoreId">;
+    stageId: Schema.String;
+    result: Schema.Union<readonly [Schema.TaggedStruct<"Snapshot", {
+        readonly segmentCount: Schema.Natural;
+    }>, Schema.TaggedStruct<"NoOp", {}>]>;
+}>, Schema.Literals<readonly ["Committed", "Superseded"]>, typeof EventLogProtocolError, typeof EventLogAuthentication, never>;
+/**
+ * RPC that commits a compaction stage.
+ *
+ * **Details**
+ *
+ * Answers `Superseded` when the stage's pinned generation is no longer active.
+ * Fails with `InvalidRequest`, aborting the stage, when the segments are
+ * incomplete or the kept ids are not a non-empty, repeat-free subsequence of
+ * the pinned input. Fails with `NotFound` when the stage expired, was aborted
+ * or committed, or is unknown, so a retried commit fails too.
+ *
+ * @stability unstable
+ * @category protocols
+ * @since 4.0.0
+ */
+export declare class CompactionCommitRpc extends CompactionCommitRpc_base {
+}
+declare const EventLogCompactionRpcs_base: RpcGroup.RpcGroup<typeof CompactionStatusRpc | typeof CompactionBeginRpc | typeof CompactionInputRpc | typeof CompactionFetchRpc | typeof CompactionPartRpc | typeof CompactionAbortRpc | typeof CompactionCommitRpc>;
+/**
+ * RPC group for encrypted remote compaction.
+ *
+ * **Details**
+ *
+ * Served by the encrypted server alongside `EventLogRemoteRpcs`. Clients call
+ * it only when `HelloResponse.compaction` is set.
+ *
+ * @stability unstable
+ * @category protocols
+ * @since 4.0.0
+ */
+export declare class EventLogCompactionRpcs extends EventLogCompactionRpcs_base {
+}
 export {};
 //# sourceMappingURL=EventLogMessage.d.ts.map

package/dist/eventlog/EventLogMessage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"EventLogMessage.d.ts","sourceRoot":"","sources":["../../src/eventlog/EventLogMessage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAiB,qBAAqB,EAAE,MAAM,aAAa,CAAA;AACvE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,YAAY,MAAM,6BAA6B,CAAA;AAE3D,OAAO,KAAK,GAAG,MAAM,eAAe,CAAA;AACpC,OAAO,KAAK,QAAQ,MAAM,oBAAoB,CAAA;AAC9C,OAAO,KAAK,aAAa,MAAM,yBAAyB,CAAA;AACxD,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,KAAK,SAAS,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,YAAY,MAAM,4BAA4B,CAAA;AAC1D,OAAO,EAAE,KAAK,EAAyC,WAAW,EAAY,MAAM,mBAAmB,CAAA;AACvG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAG7C;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,GAAG,kCAAkC,CAAA;AAE9D;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,EAAE,aAAkD,CAAA;AAE9E;;;;;;GAMG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,KAAK,CAAC,aAAa,CAAC,CAAA;AAEnD;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,iEAAkD,CAAA;;;;;;;;AAEtE;;;;;;;;;;;GAWG;AACH,qBAAa,qBAAsB,SAAQ,0BAQzC;IACA;;;;;OAKG;IACH,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,qBAAqB,CAEhD;CACF;;AAED;;;;;;;GAOG;AACH,qBAAa,sBAAuB,SAAQ,2BAI1C;CAAG;;;;;;AAEL;;;;;;;;;;;GAWG;AACH,qBAAa,aAAc,SAAQ,kBAIjC;CAAG;;AAEL;;;;;;GAMG;AACH,qBAAa,QAAS,SAAQ,aAE5B;CAAG;;;;;;;AAEL;;;;;;;;GAQG;AACH,qBAAa,YAAa,SAAQ,iBAKhC;CAAG;;AAEL;;;;;;GAMG;AACH,qBAAa,eAAgB,SAAQ,oBAGnC;CAAG;;;;AAEL;;;;;;GAMG;AACH,qBAAa,aACX,SAAQ,kBAEN;CACF;;;;;;AAEF;;;;;;;;;;;GAWG;AACH,qBAAa,cACX,SAAQ,mBAQN;IAEF,MAAM,CAAC,SAAS,SAAU;IAE1B,MAAM,CAAC,gBAAgB;wBAEH,KAAK,CAAC,UAAU,CAAC;eAC1B,MAAM;eACN,MAAM;OAEhB;IAED;;;;;OAKG;IACH,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,qBAAqB,CAAC,cAAc,CAAC,CAahF;IAED;;;;;OAKG;IACH,MAAM,CAAC,IAAI,CACT,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,CAAA;QACjC,KAAK,EAAE,MAAM,CAAA;QACb,KAAK,EAAE,MAAM,CAAA;KACd,CAAC,EACF,IAAI,EAAE,cAAc,GACnB,UAAU,CAAC,WAAW,CAAC,GAAG,SAAS,CA4BrC;CACF;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ;;;EAGnB,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAA;;;;;AAE3C;;;;;;;;;;;GAWG;AACH,qBAAa,eAAgB,SAAQ,oBAIA;CAAG;;;;;;;;;;AAExC;;;;;;;;;;;GAWG;AACH,qBAAa,YAAa,SAAQ,iBAIhC;IACA,MAAM,CAAC,gBAAgB,4CAAqC;IAC5D,MAAM,CAAC,MAAM,+HAA6C;IAC1D,MAAM,CAAC,MAAM,+HAA6C;IAC1D,IAAI,OAAO,sEAEV;CACF;;;;;;AAED;;;;;;GAMG;AACH,qBAAa,uBACX,SAAQ,4BAIN;IAEF,MAAM,CAAC,gBAAgB,uDAAgD;IACvE,MAAM,CAAC,MAAM,0IAA6C;IAC1D,MAAM,CAAC,MAAM,SACL,UAAU,CAAC,WAAW,CAAC,YACnB,SAAS,CAAC,YAAY,KAC/B,MAAM,CAAC,MAAM,CAAC,uBAAuB,EAAE,MAAM,CAAC,WAAW,CAAC,CAK1D;IACH,IAAI,OAAO,sEAEV;CACF;;;;;;;AAOD;;;;;;;;;;GAUG;AACH,qBAAa,cAAe,SAAQ,mBAMC;CAAG;;;;;;AAExC;;;;;;;;;;;;GAYG;AACH,qBAAa,UAAW,SAAQ,eASK;IACnC,MAAM,CAAC,yBAAyB;;;;;SAAmE;IACnG,MAAM,CAAC,2BAA2B,iEAA0D;IAC5F,MAAM,CAAC,eAAe;;;;;;;;;;iHAA4D;IAClF,MAAM,CAAC,eAAe;;;;;;;;;;qCAA4D;IAClF,MAAM,CAAC,iBAAiB,2JAA8D;IACtF,MAAM,CAAC,iBAAiB,2JAA8D;CACvF;;AAED;;;;;;;GAOG;AACH,qBAAa,kBAAmB,SAAQ,uBAMvC;CAAG"}
+{"version":3,"file":"EventLogMessage.d.ts","sourceRoot":"","sources":["../../src/eventlog/EventLogMessage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAiB,qBAAqB,EAAE,MAAM,aAAa,CAAA;AACvE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,YAAY,MAAM,6BAA6B,CAAA;AAE3D,OAAO,KAAK,GAAG,MAAM,eAAe,CAAA;AACpC,OAAO,KAAK,QAAQ,MAAM,oBAAoB,CAAA;AAC9C,OAAO,KAAK,aAAa,MAAM,yBAAyB,CAAA;AACxD,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,KAAK,SAAS,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,YAAY,MAAM,4BAA4B,CAAA;AAC1D,OAAO,EAAE,KAAK,EAAyC,WAAW,EAAY,MAAM,mBAAmB,CAAA;AACvG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAG7C;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,GAAG,kCAAkC,CAAA;AAE9D;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,EAAE,aAAkD,CAAA;AAE9E;;;;;;GAMG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,KAAK,CAAC,aAAa,CAAC,CAAA;AAEnD;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,iEAAkD,CAAA;;;;;;;;AAEtE;;;;;;;;;;;GAWG;AACH,qBAAa,qBAAsB,SAAQ,0BAQzC;IACA;;;;;OAKG;IACH,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,qBAAqB,CAEhD;CACF;;AAED;;;;;;;GAOG;AACH,qBAAa,sBAAuB,SAAQ,2BAI1C;CAAG;;;;;;;AAEL;;;;;;;;;;;;GAYG;AACH,qBAAa,aAAc,SAAQ,kBAKjC;CAAG;;AAEL;;;;;;GAMG;AACH,qBAAa,QAAS,SAAQ,aAE5B;CAAG;;;;;;;AAEL;;;;;;;;GAQG;AACH,qBAAa,YAAa,SAAQ,iBAKhC;CAAG;;AAEL;;;;;;GAMG;AACH,qBAAa,eAAgB,SAAQ,oBAGnC;CAAG;;;;AAEL;;;;;;GAMG;AACH,qBAAa,aACX,SAAQ,kBAEN;CACF;;;;;;AAEF;;;;;;;;;;;GAWG;AACH,qBAAa,cACX,SAAQ,mBAQN;IAEF,MAAM,CAAC,SAAS,SAAU;IAE1B,MAAM,CAAC,gBAAgB;wBAEH,KAAK,CAAC,UAAU,CAAC;eAC1B,MAAM;eACN,MAAM;OAEhB;IAED;;;;;OAKG;IACH,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,qBAAqB,CAAC,cAAc,CAAC,CAahF;IAED;;;;;OAKG;IACH,MAAM,CAAC,IAAI,CACT,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,CAAA;QACjC,KAAK,EAAE,MAAM,CAAA;QACb,KAAK,EAAE,MAAM,CAAA;KACd,CAAC,EACF,IAAI,EAAE,cAAc,GACnB,UAAU,CAAC,WAAW,CAAC,GAAG,SAAS,CA4BrC;CACF;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ;;;EAGnB,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAA;;;;;AAE3C;;;;;;;;;;;GAWG;AACH,qBAAa,eAAgB,SAAQ,oBAIA;CAAG;;;;;;;;;;AAExC;;;;;;;;;;;GAWG;AACH,qBAAa,YAAa,SAAQ,iBAIhC;IACA,MAAM,CAAC,gBAAgB,4CAAqC;IAC5D,MAAM,CAAC,MAAM,+HAA6C;IAC1D,MAAM,CAAC,MAAM,+HAA6C;IAC1D,IAAI,OAAO,sEAEV;CACF;;;;;;AAED;;;;;;GAMG;AACH,qBAAa,uBACX,SAAQ,4BAIN;IAEF,MAAM,CAAC,gBAAgB,uDAAgD;IACvE,MAAM,CAAC,MAAM,0IAA6C;IAC1D,MAAM,CAAC,MAAM,SACL,UAAU,CAAC,WAAW,CAAC,YACnB,SAAS,CAAC,YAAY,KAC/B,MAAM,CAAC,MAAM,CAAC,uBAAuB,EAAE,MAAM,CAAC,WAAW,CAAC,CAK1D;IACH,IAAI,OAAO,sEAEV;CACF;;;;;;;AAOD;;;;;;;;;;GAUG;AACH,qBAAa,cAAe,SAAQ,mBAMC;CAAG;;;;;;AAExC;;;;;;;;;;;;GAYG;AACH,qBAAa,UAAW,SAAQ,eASK;IACnC,MAAM,CAAC,yBAAyB;;;;;SAAmE;IACnG,MAAM,CAAC,2BAA2B,iEAA0D;IAC5F,MAAM,CAAC,eAAe;;;;;;;;;;iHAA4D;IAClF,MAAM,CAAC,eAAe;;;;;;;;;;qCAA4D;IAClF,MAAM,CAAC,iBAAiB,2JAA8D;IACtF,MAAM,CAAC,iBAAiB,2JAA8D;CACvF;;AAED;;;;;;;GAOG;AACH,qBAAa,kBAAmB,SAAQ,uBAMvC;CAAG;;;;;AAYJ;;;;;;;;;;;GAWG;AACH,qBAAa,gBACX,SAAQ,qBAGN;CACF;;;;;AAEF;;;;;;GAMG;AACH,qBAAa,mBAAoB,SAAQ,wBAIJ;CAAG;AAExC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,qBAAqB;;2EAMhC,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;;;;;;;AAErE;;;;;;GAMG;AACH,qBAAa,kBAAmB,SAAQ,uBAIH;CAAG;AAExC;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,qBAAqB;;;EAGhC,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;;;;;;AAErE;;;;;;;;;;;;;GAaG;AACH,qBAAa,kBAAmB,SAAQ,uBAKH;IACnC,MAAM,CAAC,uBAAuB;;;SAAoE;IAClG,MAAM,CAAC,aAAa;;;;;;iHAAkE;IACtF,MAAM,CAAC,aAAa;;;;;;qCAAkE;CACvF;;;;;;;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,kBAAmB,SAAQ,uBAQH;CAAG;;;;;;;AAExC;;;;;;;;;;;;;;GAcG;AACH,qBAAa,iBAAkB,SAAQ,sBAMF;IACnC,MAAM,CAAC,uBAAuB;;;;SAA6D;IAC3F,MAAM,CAAC,aAAa;;;;;;;;iHAAiE;IACrF,MAAM,CAAC,aAAa;;;;;;;;qCAAiE;CACtF;;;;;;AAED;;;;;;GAMG;AACH,qBAAa,kBAAmB,SAAQ,uBAGH;CAAG;AAExC;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB;;qCAG3B,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;;;;;;;;;AAE3D;;;;;;;;;;;;;;GAcG;AACH,qBAAa,mBAAoB,SAAQ,wBAOJ;CAAG;;AAExC;;;;;;;;;;;GAWG;AACH,qBAAa,sBAAuB,SAAQ,2BAQ3C;CAAG"}