effect 4.0.0-beta.65 → 4.0.0-beta.67

package/src/unstable/eventlog/EventLog.ts

@@ -1,4 +1,20 @@
 /**
+ * Typed event-log runtime for appending domain events to an `EventJournal` and
+ * replaying entries from remote replicas.
+ *
+ * This module is used to define event-log schemas, register handlers for event
+ * groups, build clients that write typed payloads, and connect local journals to
+ * authenticated remote sessions. It is useful for event-sourced state,
+ * offline-first synchronization, audit trails, and replicated stores where each
+ * event must run its handler before the entry is committed.
+ *
+ * Local appends encode payloads with the event schema and commit only after the
+ * registered handler succeeds. Remote replay decodes entries with the same
+ * schema, passes duplicate or conflicting entries to handlers, may run
+ * compaction before committing, and invalidates registered reactivity keys.
+ * Remote sessions depend on the current `Identity` and `CurrentStoreId`, so use
+ * stable values when multiple replicas or stores must share the same log.
+ *
  * @since 4.0.0
  */
 import * as Context from "../../Context.ts"
@@ -28,8 +44,14 @@ import { StoreId } from "./EventLogMessage.ts"
 import type { EventLogRemote } from "./EventLogRemote.ts"
 
 /**
- * @since 4.0.0
+ * Service for writing typed event-log events through registered handlers.
+ *
+ * `write` encodes the event payload, runs the matching handler, commits the entry
+ * only when the handler succeeds, and exposes access to the underlying journal
+ * entries and destroy operation.
+ *
  * @category tags
+ * @since 4.0.0
  */
 export class EventLog extends Context.Service<EventLog, {
   readonly write: <Groups extends EventGroup.Any, Tag extends Event.Tag<EventGroup.Events<Groups>>>(options: {
@@ -45,8 +67,11 @@ export class EventLog extends Context.Service<EventLog, {
 }>()("effect/eventlog/EventLog") {}
 
 /**
- * @since 4.0.0
+ * Scoped registry used by `EventLog` to collect event handlers, compaction
+ * handlers, remote replicas, and reactivity invalidation keys.
+ *
  * @category Registry
+ * @since 4.0.0
  */
 export class Registry extends Context.Service<Registry, {
   readonly registerHandlerUnsafe: (options: {
@@ -81,8 +106,11 @@ export class Registry extends Context.Service<Registry, {
 }>()("effect/unstable/eventlog/EventLog/Registry") {}
 
 /**
- * @since 4.0.0
+ * Provides an in-memory `Registry` for event handlers, compactors, remote
+ * replicas, and reactivity keys.
+ *
  * @category Registry
+ * @since 4.0.0
  */
 export const layerRegistry = Layer.effect(
   Registry,
@@ -145,8 +173,13 @@ export const layerRegistry = Layer.effect(
 )
 
 /**
- * @since 4.0.0
+ * Event-log identity containing a public key and redacted private key material.
+ *
+ * The identity is used by remote replication for authentication and by the
+ * encryption service to derive signing and encryption keys.
+ *
  * @category models
+ * @since 4.0.0
  */
 export class Identity extends Context.Service<Identity, {
   readonly publicKey: string
@@ -154,27 +187,35 @@ export class Identity extends Context.Service<Identity, {
 }>()("effect/eventlog/EventLog/Identity") {}
 
 /**
- * @since 4.0.0
+ * Type-level identifier used to brand `EventLogSchema` values.
+ *
  * @category schema
+ * @since 4.0.0
  */
 export type SchemaTypeId = "~effect/eventlog/EventLog/Schema"
 
 /**
- * @since 4.0.0
+ * Runtime property key used to identify `EventLogSchema` values.
+ *
  * @category schema
+ * @since 4.0.0
  */
 export const SchemaTypeId: SchemaTypeId = "~effect/eventlog/EventLog/Schema"
 
 /**
- * @since 4.0.0
+ * Returns `true` when a value carries the `EventLogSchema` marker.
+ *
  * @category schema
+ * @since 4.0.0
  */
 export const isEventLogSchema = (u: unknown): u is EventLogSchema<EventGroup.Any> =>
   Predicate.hasProperty(u, SchemaTypeId)
 
 /**
- * @since 4.0.0
+ * Schema describing the event groups that can be written through an `EventLog`.
+ *
  * @category schema
+ * @since 4.0.0
  */
 export interface EventLogSchema<Groups extends EventGroup.Any> {
   readonly [SchemaTypeId]: SchemaTypeId
@@ -182,8 +223,10 @@ export interface EventLogSchema<Groups extends EventGroup.Any> {
 }
 
 /**
- * @since 4.0.0
+ * Creates an `EventLogSchema` from one or more event groups.
+ *
  * @category schema
+ * @since 4.0.0
  */
 export const schema = <Groups extends ReadonlyArray<EventGroup.Any>>(
   ...groups: Groups
@@ -196,22 +239,30 @@ export const schema = <Groups extends ReadonlyArray<EventGroup.Any>>(
 }
 
 /**
- * @since 4.0.0
+ * Type-level identifier used to brand `Handlers` values.
+ *
  * @category handlers
+ * @since 4.0.0
  */
 export type HandlersTypeId = "~effect/eventlog/EventLog/Handlers"
 
 /**
- * @since 4.0.0
+ * Runtime property key used to identify `Handlers` values.
+ *
  * @category handlers
+ * @since 4.0.0
  */
 export const HandlersTypeId: HandlersTypeId = "~effect/eventlog/EventLog/Handlers"
 
 /**
- * Represents a handled `EventGroup`.
+ * Builder for the handlers associated with an `EventGroup`.
+ *
+ * The `Events` type parameter tracks the event tags that still need handlers, and
+ * each call to `handle` records a handler while accumulating any required
+ * services.
  *
- * @since 4.0.0
  * @category handlers
+ * @since 4.0.0
  */
 export interface Handlers<
   R,
@@ -245,21 +296,30 @@ export interface Handlers<
 }
 
 /**
- * @since 4.0.0
+ * Namespace containing helper types for `Handlers` values and handler-producing
+ * layers.
+ *
  * @category handlers
+ * @since 4.0.0
  */
 export declare namespace Handlers {
   /**
-   * @since 4.0.0
+   * Type that matches any `Handlers` value regardless of its services or remaining
+   * events.
+   *
    * @category handlers
+   * @since 4.0.0
    */
   export interface Any {
     readonly [HandlersTypeId]: unknown
   }
 
   /**
-   * @since 4.0.0
+   * Runtime representation of one registered event handler, including its event
+   * metadata, captured context, and handler function.
+   *
    * @category handlers
+   * @since 4.0.0
    */
   export type Item<R> = {
     readonly event: Event.AnyWithProps
@@ -276,8 +336,13 @@ export declare namespace Handlers {
   }
 
   /**
-   * @since 4.0.0
+   * Validates that a handler builder returned all required handlers.
+   *
+   * If any event tag remains unhandled, the type evaluates to an explanatory
+   * compile-time error string.
+   *
    * @category handlers
+   * @since 4.0.0
    */
   export type ValidateReturn<A> = A extends (
     | Handlers<
@@ -297,8 +362,10 @@ export declare namespace Handlers {
     `Must return the implemented handlers`
 
   /**
-   * @since 4.0.0
+   * Extracts the error type from an effect that produces `Handlers`.
+   *
    * @category handlers
+   * @since 4.0.0
    */
   export type Error<A> = A extends Effect.Effect<
     Handlers<
@@ -311,8 +378,11 @@ export declare namespace Handlers {
     never
 
   /**
-   * @since 4.0.0
+   * Computes the services required by a `Handlers` value or by an effect that
+   * produces one, including event schema services.
+   *
    * @category handlers
+   * @since 4.0.0
    */
   export type Services<A> = A extends Handlers<
     infer _R,
@@ -330,8 +400,13 @@ export declare namespace Handlers {
 }
 
 /**
- * @since 4.0.0
+ * Context reference for the store id used by event-log writes and remote
+ * replication.
+ *
+ * Defaults to the branded store id `"default"`.
+ *
  * @category models
+ * @since 4.0.0
  */
 export class CurrentStoreId extends Context.Reference<StoreId>("effect/eventlog/EventLog/CurrentStoreId", {
   defaultValue: constant(StoreId.make("default"))
@@ -345,8 +420,11 @@ const RedactedUint8Array = Schema.Uint8ArrayFromBase64.pipe(
 )
 
 /**
- * @since 4.0.0
+ * Schema for an event-log identity with a string public key and redacted
+ * base64-encoded private key bytes.
+ *
  * @category schema
+ * @since 4.0.0
  */
 export const IdentitySchema = Schema.Struct({
   publicKey: Schema.String,
@@ -363,8 +441,12 @@ const IdentityStringSchema = Schema.StringFromBase64Url.pipe(
 )
 
 /**
- * @since 4.0.0
+ * Decodes a base64url identity string produced by `encodeIdentityString`.
+ *
+ * Invalid input throws a schema decoding error.
+ *
  * @category constructors
+ * @since 4.0.0
  */
 export const decodeIdentityString = (value: string): Identity["Service"] => {
   const decoded = Schema.decodeUnknownSync(IdentityStringSchema)(value)
@@ -375,8 +457,11 @@ export const decodeIdentityString = (value: string): Identity["Service"] => {
 }
 
 /**
- * @since 4.0.0
+ * Encodes an event-log identity as a base64url string containing the public key
+ * and private key bytes.
+ *
  * @category constructors
+ * @since 4.0.0
  */
 export const encodeIdentityString = (identity: Identity["Service"]): string =>
   Schema.encodeSync(IdentityStringSchema)({
@@ -385,8 +470,11 @@ export const encodeIdentityString = (identity: Identity["Service"]): string =>
   })
 
 /**
- * @since 4.0.0
+ * Generates a new event-log identity using the configured
+ * `EventLogEncryption` service.
+ *
  * @category constructors
+ * @since 4.0.0
  */
 export const makeIdentity: Effect.Effect<Identity["Service"], never, EventLogEncryption.EventLogEncryption> =
   EventLogEncryption.EventLogEncryption.use((_) => _.generateIdentity)
@@ -425,8 +513,13 @@ const makeHandlers = (options: {
 }): Handlers<any, any> => Object.assign(Object.create(handlersProto), options)
 
 /**
- * @since 4.0.0
+ * Creates a layer that registers handlers for every event in an event group.
+ *
+ * The callback receives a `Handlers` builder; its return type is checked so every
+ * event in the group is handled.
+ *
  * @category handlers
+ * @since 4.0.0
  */
 export const group = <Events extends Event.Any, Return>(
   group: EventGroup.EventGroup<Events>,
@@ -455,8 +548,13 @@ export const group = <Events extends Event.Any, Return>(
   ) as any
 
 /**
- * @since 4.0.0
+ * Registers a compaction handler for an event group.
+ *
+ * During remote replay, matching entries are decoded, grouped by primary key, and
+ * passed to the compaction effect, which may write replacement entries.
+ *
  * @category compaction
+ * @since 4.0.0
  */
 export const groupCompaction = <Events extends Event.Any, R>(
   group: EventGroup.EventGroup<Events>,
@@ -546,8 +644,13 @@ export const groupCompaction = <Events extends Event.Any, R>(
   )
 
 /**
- * @since 4.0.0
+ * Registers reactivity keys to invalidate when events from a group are written or
+ * replayed.
+ *
+ * Pass a single key list for all events or a mapping from event tag to key list.
+ *
  * @category reactivity
+ * @since 4.0.0
  */
 export const groupReactivity = <Events extends Event.Any>(
   group: EventGroup.EventGroup<Events>,
@@ -571,8 +674,14 @@ export const groupReactivity = <Events extends Event.Any>(
   )
 
 /**
- * @since 4.0.0
+ * Builds the effect used to replay entries received from a remote event log.
+ *
+ * The returned handler decodes the entry and conflicts with the registered event
+ * schema, runs the matching handler with the supplied identity and store id, logs
+ * failures, and invalidates configured reactivity keys.
+ *
  * @category handlers
+ * @since 4.0.0
  */
 export const makeReplayFromRemote = (options: {
   readonly handlers: ReadonlyMap<string, Handlers.Item<any>>
@@ -816,8 +925,11 @@ const make = Effect.gen(function*() {
 })
 
 /**
- * @since 4.0.0
+ * Provides `EventLog` and `Registry` using the configured `EventJournal` and
+ * `Identity`.
+ *
  * @category layers
+ * @since 4.0.0
  */
 export const layerEventLog: Layer.Layer<EventLog | Registry, never, EventJournal | Identity> = Layer.effect(
   EventLog,
@@ -828,8 +940,10 @@ export const layerEventLog: Layer.Layer<EventLog | Registry, never, EventJournal
 )
 
 /**
- * @since 4.0.0
+ * Combines event-group handler layers with the `EventLog` runtime for a schema.
+ *
  * @category layers
+ * @since 4.0.0
  */
 export const layer = <Groups extends EventGroup.Any, E, R>(
   _schema: EventLogSchema<Groups>,
@@ -844,8 +958,14 @@ export const layer = <Groups extends EventGroup.Any, E, R>(
   )
 
 /**
- * @since 4.0.0
+ * Creates a typed client function for writing events defined by an
+ * `EventLogSchema`.
+ *
+ * The returned function delegates to the `EventLog` service and preserves each
+ * event's success and error types.
+ *
  * @category client
+ * @since 4.0.0
  */
 export const makeClient = <Groups extends EventGroup.Any>(
   schema: EventLogSchema<Groups>

package/src/unstable/eventlog/EventLogEncryption.ts

@@ -1,4 +1,24 @@
 /**
+ * Event-log encryption primitives for encrypted remote replication.
+ *
+ * This module defines the `EventLogEncryption` service used by encrypted
+ * `EventLogRemote` clients to turn local journal entries into encrypted remote
+ * payloads, decrypt encrypted changes received from a server, hash byte data,
+ * and create event-log identities. It is useful when events need to be
+ * replicated through infrastructure that stores or transports only ciphertext,
+ * such as an encrypted event-log server, offline-first synchronization backend,
+ * or multi-device replicated store.
+ *
+ * Encryption keys are deterministically derived from the identity private key
+ * material, so the same stable identity is required to decrypt entries across
+ * sessions and devices. The public key identifies the replicated log, while the
+ * private key material must remain secret and must not be rotated without a
+ * migration plan for existing encrypted entries. The default implementation
+ * uses Web Crypto AES-GCM with generated initialization vectors that are stored
+ * alongside encrypted entries; persisted ciphertext, IVs, entry schemas, and
+ * identity key derivation labels are part of the compatibility surface for
+ * future event-log encryption versions.
+ *
  * @since 4.0.0
  */
 import * as Context from "../../Context.ts"
@@ -12,8 +32,11 @@ import type { Identity } from "./EventLog.ts"
 import { makeGetIdentityRootSecretMaterial } from "./internal/identityRootSecretDerivation.ts"
 
 /**
- * @since 4.0.0
+ * Schema for an encrypted journal entry paired with the id of the original
+ * entry.
+ *
  * @category models
+ * @since 4.0.0
  */
 export const EncryptedEntry = Schema.Struct({
   entryId: EntryId,
@@ -21,14 +44,19 @@ export const EncryptedEntry = Schema.Struct({
 })
 
 /**
- * @since 4.0.0
+ * Type of an encrypted remote entry, including its remote sequence number,
+ * initialization vector, entry id, and encrypted entry bytes.
+ *
  * @category models
+ * @since 4.0.0
  */
 export interface EncryptedRemoteEntry extends Schema.Schema.Type<typeof EncryptedRemoteEntry> {}
 
 /**
- * @since 4.0.0
+ * Schema for encrypted entries exchanged with a remote event-log server.
+ *
  * @category models
+ * @since 4.0.0
  */
 export const EncryptedRemoteEntry = Schema.Struct({
   sequence: Schema.Number,
@@ -46,8 +74,11 @@ const toArrayBuffer = (data: Uint8Array): ArrayBuffer => {
 const toBufferSource = (data: Uint8Array): ArrayBufferView<ArrayBuffer> => new Uint8Array(toArrayBuffer(data))
 
 /**
- * @since 4.0.0
+ * Service used by event-log replication for identity generation, entry
+ * encryption and decryption, and SHA-256 hashing.
+ *
  * @category services
+ * @since 4.0.0
  */
 export class EventLogEncryption extends Context.Service<EventLogEncryption, {
   readonly encrypt: (
@@ -67,8 +98,11 @@ export class EventLogEncryption extends Context.Service<EventLogEncryption, {
 }>()("effect/eventlog/EventLogEncryption") {}
 
 /**
- * @since 4.0.0
+ * Creates an `EventLogEncryption` service backed by the Web Crypto `SubtleCrypto`
+ * APIs from the supplied `Crypto` implementation.
+ *
  * @category encryption
+ * @since 4.0.0
  */
 export const makeEncryptionSubtle = (crypto: Crypto): Effect.Effect<EventLogEncryption["Service"]> =>
   Effect.sync(() => {
@@ -132,8 +166,10 @@ export const makeEncryptionSubtle = (crypto: Crypto): Effect.Effect<EventLogEncr
   })
 
 /**
- * @since 4.0.0
+ * Provides `EventLogEncryption` using `globalThis.crypto`.
+ *
  * @category encryption
+ * @since 4.0.0
  */
 export const layerSubtle: Layer.Layer<EventLogEncryption> = Layer.effect(
   EventLogEncryption,