effect-agent 0.1.0-beta.12 → 0.1.0-beta.121

package/dist/durable/ThreadProjection.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ThreadProjection.mjs","names":[],"sources":["../../src/durable/ThreadProjection.ts"],"sourcesContent":["import { Schema } from \"effect\";\n\nimport { ThreadId, RunId, ToolCallId } from \"../core/Identifiers.ts\";\nimport { EMPTY_TAIL_DIGEST } from \"./Digest.ts\";\nimport type { CanonicalRecordEnvelope } from \"./Records.ts\";\nimport {\n  AbortRequested,\n  CanonicalSequence,\n  Digest,\n  PersistedJson,\n  SubagentJoined,\n  SubagentLineageRecorded,\n  SubagentRequested,\n  SubagentStarted,\n  SubmissionSettledRecord,\n  ToolApprovalDecided,\n  ToolApprovalRequested,\n  ToolCallPrepared,\n  ToolCallUnknown,\n} from \"./Records.ts\";\n\n/** One prepared ordinary Tool Call still awaiting a canonical settled/resolved outcome. */\nexport class OpenToolCallState extends Schema.Class<OpenToolCallState>(\n  \"@effect-agent/thread/OpenToolCallState\",\n)({\n  toolCallId: ToolCallId,\n  toolName: ToolCallPrepared.fields.toolName,\n  turn: ToolCallPrepared.fields.turn,\n  runId: RunId,\n}) {}\n\n/** The canonical approval trail: requests and decisions in canonical order. */\nexport const ApprovalRecord = Schema.Union([ToolApprovalRequested, ToolApprovalDecided]);\nexport type ApprovalRecord = typeof ApprovalRecord.Type;\n\n/**\n * Parent-side view of one Subagent Invocation, keyed by the parent Run and Tool Call: the canonical\n * `SubagentRequested`/`SubagentStarted`/`SubagentJoined` payloads as they become canonical\n * in history. A disposable derived view — the canonical records and the child's\n * own Settlement remain the recovery truth (DUR-015).\n */\nexport class SubagentInvocationState extends Schema.Class<SubagentInvocationState>(\n  \"@effect-agent/thread/SubagentInvocationState\",\n)({\n  runId: RunId,\n  toolCallId: ToolCallId,\n  requested: Schema.optionalKey(SubagentRequested),\n  started: Schema.optionalKey(SubagentStarted),\n  joined: Schema.optionalKey(SubagentJoined),\n}) {}\n\n/**\n * Rebuildable canonical projection. It contains only canonical values and can be discarded and\n * reconstructed from the record stream at any time.\n *\n * Phase 4 added `settlements` and `abortRequests`; Phase 5 added `openToolCalls` (the\n * prepared-minus-settled/resolved fold), `unknownToolCalls`, and `approvals`; S2 adds\n * `subagentInvocations` (the parent-side requested/started/joined fold) and `parentLink` (the\n * child-side immutable lineage). A checkpoint whose persisted state lacks these fields fails to\n * decode against this schema; callers must reject the checkpoint and rebuild the projection from\n * canonical records (documented disposable-checkpoint behavior, STORE-007/STORE-008).\n * Version 2 scopes Tool identities by Run. Earlier projections must rebuild, including empty\n * invocation views that may have already lost an earlier Run's unresolved Tool evidence.\n * `ModelResponseRecorded` advances `throughSequence` without dedicated projection state: Prompt\n * reconstruction reads canonical records directly.\n */\nexport class ThreadProjection extends Schema.Class<ThreadProjection>(\n  \"@effect-agent/thread/ThreadProjection\",\n)({\n  schemaVersion: Schema.Literal(2),\n  threadId: ThreadId,\n  throughSequence: CanonicalSequence,\n  tailDigest: Digest,\n  inputs: Schema.Array(PersistedJson),\n  modelOutputs: Schema.Array(PersistedJson),\n  completedRuns: Schema.Array(RunId),\n  failedRuns: Schema.Array(RunId),\n  settlements: Schema.Array(SubmissionSettledRecord),\n  abortRequests: Schema.Array(AbortRequested),\n  openToolCalls: Schema.Array(OpenToolCallState),\n  unknownToolCalls: Schema.Array(ToolCallUnknown),\n  approvals: Schema.Array(ApprovalRecord),\n  subagentInvocations: Schema.Array(SubagentInvocationState),\n  parentLink: Schema.optionalKey(SubagentLineageRecorded),\n}) {}\n\nexport const initialThreadProjection = (threadId: ThreadId): ThreadProjection =>\n  ThreadProjection.make({\n    schemaVersion: 2,\n    threadId,\n    throughSequence: Schema.decodeSync(CanonicalSequence)(0),\n    tailDigest: EMPTY_TAIL_DIGEST,\n    inputs: [],\n    modelOutputs: [],\n    completedRuns: [],\n    failedRuns: [],\n    settlements: [],\n    abortRequests: [],\n    openToolCalls: [],\n    unknownToolCalls: [],\n    approvals: [],\n    subagentInvocations: [],\n  });\n\n/**\n * Idempotent per-Run-and-Tool-Call upsert of the parent-side Subagent fold. Deterministic record\n * identities make duplicates impossible in one canonical stream; the first canonical payload of\n * each stage wins so a replayed reduce is a no-op.\n */\nconst upsertSubagentInvocation = (\n  invocations: ReadonlyArray<SubagentInvocationState>,\n  payload: SubagentRequested | SubagentStarted | SubagentJoined,\n): ReadonlyArray<SubagentInvocationState> => {\n  const existing = invocations.find(\n    (invocation) =>\n      invocation.runId === payload.runId && invocation.toolCallId === payload.toolCallId,\n  );\n\n  const requested =\n    existing?.requested ?? (payload._tag === \"SubagentRequested\" ? payload : undefined);\n\n  const started = existing?.started ?? (payload._tag === \"SubagentStarted\" ? payload : undefined);\n  const joined = existing?.joined ?? (payload._tag === \"SubagentJoined\" ? payload : undefined);\n\n  const next = SubagentInvocationState.make({\n    runId: payload.runId,\n    toolCallId: payload.toolCallId,\n    ...(requested === undefined ? {} : { requested }),\n    ...(started === undefined ? {} : { started }),\n    ...(joined === undefined ? {} : { joined }),\n  });\n\n  return existing === undefined\n    ? [...invocations, next]\n    : invocations.map((invocation) =>\n        invocation.runId === payload.runId && invocation.toolCallId === payload.toolCallId\n          ? next\n          : invocation,\n      );\n};\n\n/** Pure one-record Thread transition. */\nexport const reduceThreadRecord = (\n  projection: ThreadProjection,\n  envelope: CanonicalRecordEnvelope,\n  tailDigest: Digest = projection.tailDigest,\n): ThreadProjection => {\n  const payload = envelope.record.payload;\n\n  const inputs =\n    payload._tag === \"UserInputRecorded\"\n      ? [...projection.inputs, payload.input]\n      : projection.inputs;\n\n  const modelOutputs =\n    payload._tag === \"ModelCompleted\"\n      ? [...projection.modelOutputs, payload.output]\n      : projection.modelOutputs;\n\n  const completedRuns =\n    payload._tag === \"RunCompleted\"\n      ? [...projection.completedRuns, payload.runId]\n      : projection.completedRuns;\n\n  const failedRuns =\n    payload._tag === \"RunFailed\"\n      ? [...projection.failedRuns, payload.runId]\n      : projection.failedRuns;\n\n  const settlements =\n    payload._tag === \"SubmissionSettled\"\n      ? [...projection.settlements, payload]\n      : projection.settlements;\n\n  const abortRequests =\n    payload._tag === \"AbortRequested\"\n      ? [...projection.abortRequests, payload]\n      : projection.abortRequests;\n\n  // `ToolCallPrepared` opens a call; `ToolCallSettled` (results batch or late settle) and\n  // `ToolCallResolved` (DUR-017) close it. `ToolCallUnknown` does NOT close it: the call stays\n  // open until an authorized resolution or a recovered result arrives.\n  const openToolCalls =\n    payload._tag === \"ToolCallPrepared\"\n      ? projection.openToolCalls.some(\n          (call) => call.runId === payload.runId && call.toolCallId === payload.toolCallId,\n        )\n        ? projection.openToolCalls\n        : [\n            ...projection.openToolCalls,\n            OpenToolCallState.make({\n              toolCallId: payload.toolCallId,\n              toolName: payload.toolName,\n              turn: payload.turn,\n              runId: payload.runId,\n            }),\n          ]\n      : payload._tag === \"ToolCallSettled\" || payload._tag === \"ToolCallResolved\"\n        ? projection.openToolCalls.filter(\n            (call) => call.runId !== payload.runId || call.toolCallId !== payload.toolCallId,\n          )\n        : projection.openToolCalls;\n\n  const unknownToolCalls =\n    payload._tag === \"ToolCallUnknown\"\n      ? [...projection.unknownToolCalls, payload]\n      : projection.unknownToolCalls;\n\n  const approvals =\n    payload._tag === \"ToolApprovalRequested\" || payload._tag === \"ToolApprovalDecided\"\n      ? [...projection.approvals, payload]\n      : projection.approvals;\n\n  const subagentInvocations =\n    payload._tag === \"SubagentRequested\" ||\n    payload._tag === \"SubagentStarted\" ||\n    payload._tag === \"SubagentJoined\"\n      ? upsertSubagentInvocation(projection.subagentInvocations, payload)\n      : projection.subagentInvocations;\n\n  // The child-side lineage is immutable (SUB-004): the first canonical record wins forever.\n  const parentLink =\n    projection.parentLink ?? (payload._tag === \"SubagentLineageRecorded\" ? payload : undefined);\n\n  return ThreadProjection.make({\n    schemaVersion: 2,\n    threadId: projection.threadId,\n    throughSequence: envelope.sequence,\n    tailDigest,\n    inputs,\n    modelOutputs,\n    completedRuns,\n    failedRuns,\n    settlements,\n    abortRequests,\n    openToolCalls,\n    unknownToolCalls,\n    approvals,\n    subagentInvocations,\n    ...(parentLink === undefined ? {} : { parentLink }),\n  });\n};\n\n/** Pure full replay from the canonical beginning. */\nexport const replayThread = (\n  threadId: ThreadId,\n  records: ReadonlyArray<CanonicalRecordEnvelope>,\n  tailDigest: Digest = EMPTY_TAIL_DIGEST,\n): ThreadProjection =>\n  replayThreadFromCheckpoint(initialThreadProjection(threadId), records, tailDigest);\n\n/**\n * Pure checkpoint replay. A validated checkpoint projection and its canonical tail produce the\n * same reducer path as full replay for every later record.\n * Decode persisted state with `ThreadProjection` first; an incompatible state requires full replay.\n */\nexport const replayThreadFromCheckpoint = (\n  checkpoint: ThreadProjection,\n  records: ReadonlyArray<CanonicalRecordEnvelope>,\n  tailDigest: Digest = checkpoint.tailDigest,\n): ThreadProjection => {\n  let projection = checkpoint;\n\n  for (const record of records) {\n    projection = reduceThreadRecord(projection, record, tailDigest);\n  }\n\n  return projection;\n};\n"],"mappings":";;;;;;;;;;;;;;;;;AAsBA,IAAa,oBAAb,cAAuC,OAAO,MAC5C,wCACF,CAAC,CAAC;CACA,YAAY;CACZ,UAAU,iBAAiB,OAAO;CAClC,MAAM,iBAAiB,OAAO;CAC9B,OAAO;AACT,CAAC,CAAC,CAAC,CAAC;;AAGJ,MAAa,iBAAiB,OAAO,MAAM,CAAC,uBAAuB,mBAAmB,CAAC;;;;;;;AASvF,IAAa,0BAAb,cAA6C,OAAO,MAClD,8CACF,CAAC,CAAC;CACA,OAAO;CACP,YAAY;CACZ,WAAW,OAAO,YAAY,iBAAiB;CAC/C,SAAS,OAAO,YAAY,eAAe;CAC3C,QAAQ,OAAO,YAAY,cAAc;AAC3C,CAAC,CAAC,CAAC,CAAC;;;;;;;;;;;;;;;;AAiBJ,IAAa,mBAAb,cAAsC,OAAO,MAC3C,uCACF,CAAC,CAAC;CACA,eAAe,OAAO,QAAQ,CAAC;CAC/B,UAAU;CACV,iBAAiB;CACjB,YAAY;CACZ,QAAQ,OAAO,MAAM,aAAa;CAClC,cAAc,OAAO,MAAM,aAAa;CACxC,eAAe,OAAO,MAAM,KAAK;CACjC,YAAY,OAAO,MAAM,KAAK;CAC9B,aAAa,OAAO,MAAM,uBAAuB;CACjD,eAAe,OAAO,MAAM,cAAc;CAC1C,eAAe,OAAO,MAAM,iBAAiB;CAC7C,kBAAkB,OAAO,MAAM,eAAe;CAC9C,WAAW,OAAO,MAAM,cAAc;CACtC,qBAAqB,OAAO,MAAM,uBAAuB;CACzD,YAAY,OAAO,YAAY,uBAAuB;AACxD,CAAC,CAAC,CAAC,CAAC;AAEJ,MAAa,2BAA2B,aACtC,iBAAiB,KAAK;CACpB,eAAe;CACf;CACA,iBAAiB,OAAO,WAAW,iBAAiB,CAAC,CAAC,CAAC;CACvD,YAAY;CACZ,QAAQ,CAAC;CACT,cAAc,CAAC;CACf,eAAe,CAAC;CAChB,YAAY,CAAC;CACb,aAAa,CAAC;CACd,eAAe,CAAC;CAChB,eAAe,CAAC;CAChB,kBAAkB,CAAC;CACnB,WAAW,CAAC;CACZ,qBAAqB,CAAC;AACxB,CAAC;;;;;;AAOH,MAAM,4BACJ,aACA,YAC2C;CAC3C,MAAM,WAAW,YAAY,MAC1B,eACC,WAAW,UAAU,QAAQ,SAAS,WAAW,eAAe,QAAQ,UAC5E;CAEA,MAAM,YACJ,UAAU,cAAc,QAAQ,SAAS,sBAAsB,UAAU,KAAA;CAE3E,MAAM,UAAU,UAAU,YAAY,QAAQ,SAAS,oBAAoB,UAAU,KAAA;CACrF,MAAM,SAAS,UAAU,WAAW,QAAQ,SAAS,mBAAmB,UAAU,KAAA;CAElF,MAAM,OAAO,wBAAwB,KAAK;EACxC,OAAO,QAAQ;EACf,YAAY,QAAQ;EACpB,GAAI,cAAc,KAAA,IAAY,CAAC,IAAI,EAAE,UAAU;EAC/C,GAAI,YAAY,KAAA,IAAY,CAAC,IAAI,EAAE,QAAQ;EAC3C,GAAI,WAAW,KAAA,IAAY,CAAC,IAAI,EAAE,OAAO;CAC3C,CAAC;CAED,OAAO,aAAa,KAAA,IAChB,CAAC,GAAG,aAAa,IAAI,IACrB,YAAY,KAAK,eACf,WAAW,UAAU,QAAQ,SAAS,WAAW,eAAe,QAAQ,aACpE,OACA,UACN;AACN;;AAGA,MAAa,sBACX,YACA,UACA,aAAqB,WAAW,eACX;CACrB,MAAM,UAAU,SAAS,OAAO;CAEhC,MAAM,SACJ,QAAQ,SAAS,sBACb,CAAC,GAAG,WAAW,QAAQ,QAAQ,KAAK,IACpC,WAAW;CAEjB,MAAM,eACJ,QAAQ,SAAS,mBACb,CAAC,GAAG,WAAW,cAAc,QAAQ,MAAM,IAC3C,WAAW;CAEjB,MAAM,gBACJ,QAAQ,SAAS,iBACb,CAAC,GAAG,WAAW,eAAe,QAAQ,KAAK,IAC3C,WAAW;CAEjB,MAAM,aACJ,QAAQ,SAAS,cACb,CAAC,GAAG,WAAW,YAAY,QAAQ,KAAK,IACxC,WAAW;CAEjB,MAAM,cACJ,QAAQ,SAAS,sBACb,CAAC,GAAG,WAAW,aAAa,OAAO,IACnC,WAAW;CAEjB,MAAM,gBACJ,QAAQ,SAAS,mBACb,CAAC,GAAG,WAAW,eAAe,OAAO,IACrC,WAAW;CAKjB,MAAM,gBACJ,QAAQ,SAAS,qBACb,WAAW,cAAc,MACtB,SAAS,KAAK,UAAU,QAAQ,SAAS,KAAK,eAAe,QAAQ,UACxE,IACE,WAAW,gBACX,CACE,GAAG,WAAW,eACd,kBAAkB,KAAK;EACrB,YAAY,QAAQ;EACpB,UAAU,QAAQ;EAClB,MAAM,QAAQ;EACd,OAAO,QAAQ;CACjB,CAAC,CACH,IACF,QAAQ,SAAS,qBAAqB,QAAQ,SAAS,qBACrD,WAAW,cAAc,QACtB,SAAS,KAAK,UAAU,QAAQ,SAAS,KAAK,eAAe,QAAQ,UACxE,IACA,WAAW;CAEnB,MAAM,mBACJ,QAAQ,SAAS,oBACb,CAAC,GAAG,WAAW,kBAAkB,OAAO,IACxC,WAAW;CAEjB,MAAM,YACJ,QAAQ,SAAS,2BAA2B,QAAQ,SAAS,wBACzD,CAAC,GAAG,WAAW,WAAW,OAAO,IACjC,WAAW;CAEjB,MAAM,sBACJ,QAAQ,SAAS,uBACjB,QAAQ,SAAS,qBACjB,QAAQ,SAAS,mBACb,yBAAyB,WAAW,qBAAqB,OAAO,IAChE,WAAW;CAGjB,MAAM,aACJ,WAAW,eAAe,QAAQ,SAAS,4BAA4B,UAAU,KAAA;CAEnF,OAAO,iBAAiB,KAAK;EAC3B,eAAe;EACf,UAAU,WAAW;EACrB,iBAAiB,SAAS;EAC1B;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA,GAAI,eAAe,KAAA,IAAY,CAAC,IAAI,EAAE,WAAW;CACnD,CAAC;AACH;;AAGA,MAAa,gBACX,UACA,SACA,aAAqB,sBAErB,2BAA2B,wBAAwB,QAAQ,GAAG,SAAS,UAAU;;;;;;AAOnF,MAAa,8BACX,YACA,SACA,aAAqB,WAAW,eACX;CACrB,IAAI,aAAa;CAEjB,KAAK,MAAM,UAAU,SACnB,aAAa,mBAAmB,YAAY,QAAQ,UAAU;CAGhE,OAAO;AACT"}

package/dist/durable/ThreadProjectionMaintenance.d.mts

@@ -0,0 +1,49 @@
+import { Zt as AppendResult, en as FencedAppendRequest } from "../Records-D88mgvyS.mjs";
+import { Context, Effect, Layer, Option, Schema } from "effect";
+declare namespace ThreadProjectionMaintenance_d_exports {
+  export { ThreadProjectionError, ThreadProjectionMaintenance, ThreadProjectionMaintenanceService, drainDue };
+}
+declare const ThreadProjectionError_base: Schema.Class<ThreadProjectionError, Schema.TaggedStruct<"ThreadProjectionError", {
+  readonly operation: Schema.String;
+  readonly message: Schema.String;
+  readonly cause: Schema.optionalKey<Schema.Defect>;
+}>, import("effect/Cause").YieldableError>;
+/** A derived projection failed; the canonical source remains authoritative. */
+export declare class ThreadProjectionError extends ThreadProjectionError_base {}
+/**
+ * Host-owned, disposable indexes over a canonical Thread. Hooks receive raw local source
+ * ports at construction and must not mutate them or acquire source producer ownership.
+ * Rows and their contiguous watermark commit atomically; an empty projection still consumes
+ * its record. Concurrent work must compare the starting watermark before committing.
+ *
+ * No method owns a scheduler. The platform owns wakeups, durable scheduling metadata and
+ * source-producer fencing. Per-call resources belong to Scope; interruption remains interruption.
+ */
+export interface ThreadProjectionMaintenanceService {
+  /**
+   * Runs after a successful source commit and before dependent Tools can execute. An index
+   * caught up through firstSequence - 1 must process the entire committed range, including
+   * empty records, before returning. Canonical batches contain at most 256 records: chunk
+   * within local byte limits and stop at result.lastSequence, never chase a changing tail.
+   * An earlier gap defers to drain. Replayed or superseded ranges are idempotent no-ops.
+   * Failure must leave the unprocessed prefix visible to pendingDeadline.
+   */
+  readonly applyCommitted: (request: FencedAppendRequest, result: AppendResult) => Effect.Effect<void, ThreadProjectionError>;
+  /** One bounded, restartable backfill batch. Never drain until caught up in a loop. */
+  readonly drain: Effect.Effect<void, ThreadProjectionError>;
+  /**
+   * Bounded local inspection. None means caught up; a pending epoch-millisecond deadline
+   * survives reconstruction and repeated reads must not postpone it. Projection backlog
+   * does not gate canonical execution or host approval publication.
+   */
+  readonly pendingDeadline: Effect.Effect<Option.Option<number>, ThreadProjectionError>;
+}
+declare const ThreadProjectionMaintenance_base: Context.ServiceClass<ThreadProjectionMaintenance, "@effect-agent/thread/ThreadProjectionMaintenance", ThreadProjectionMaintenanceService>;
+export declare class ThreadProjectionMaintenance extends ThreadProjectionMaintenance_base {
+  static readonly layer: Layer.Layer<ThreadProjectionMaintenance, never, never>;
+}
+/** Run at most one due backfill batch, preserving typed failures, defects and interruption. */
+export declare const drainDue: Effect.Effect<boolean, ThreadProjectionError, ThreadProjectionMaintenance>;
+//#endregion
+export { ThreadProjectionMaintenance_d_exports as t };
+//# sourceMappingURL=ThreadProjectionMaintenance.d.mts.map

package/dist/durable/ThreadProjectionMaintenance.mjs

@@ -0,0 +1,33 @@
+import { t as __exportAll } from "../rolldown-runtime-D7D4PA-g.mjs";
+import { Clock, Context, Effect, Layer, Option, Schema } from "effect";
+//#region src/durable/ThreadProjectionMaintenance.ts
+var ThreadProjectionMaintenance_exports = /* @__PURE__ */ __exportAll({
+	ThreadProjectionError: () => ThreadProjectionError,
+	ThreadProjectionMaintenance: () => ThreadProjectionMaintenance,
+	drainDue: () => drainDue
+});
+/** A derived projection failed; the canonical source remains authoritative. */
+var ThreadProjectionError = class extends Schema.TaggedError()("ThreadProjectionError", {
+	operation: Schema.String,
+	message: Schema.String,
+	cause: Schema.optionalKey(Schema.Defect())
+}) {};
+var ThreadProjectionMaintenance = class extends Context.Service()("@effect-agent/thread/ThreadProjectionMaintenance") {
+	static layer = Layer.succeed(this)({
+		applyCommitted: () => Effect.void,
+		drain: Effect.void,
+		pendingDeadline: Effect.succeed(Option.none())
+	});
+};
+/** Run at most one due backfill batch, preserving typed failures, defects and interruption. */
+const drainDue = Effect.gen(function* () {
+	const projection = yield* ThreadProjectionMaintenance;
+	const deadline = yield* projection.pendingDeadline;
+	if (Option.isNone(deadline) || deadline.value > (yield* Clock.currentTimeMillis)) return false;
+	yield* projection.drain;
+	return true;
+});
+//#endregion
+export { ThreadProjectionError, ThreadProjectionMaintenance, drainDue, ThreadProjectionMaintenance_exports as t };
+
+//# sourceMappingURL=ThreadProjectionMaintenance.mjs.map

package/dist/durable/ThreadProjectionMaintenance.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ThreadProjectionMaintenance.mjs","names":[],"sources":["../../src/durable/ThreadProjectionMaintenance.ts"],"sourcesContent":["import { Clock, Context, Effect, Layer, Option, Schema } from \"effect\";\n\nimport type { AppendResult, FencedAppendRequest } from \"./ThreadStore.ts\";\n\n/** A derived projection failed; the canonical source remains authoritative. */\nexport class ThreadProjectionError extends Schema.TaggedError<ThreadProjectionError>()(\n  \"ThreadProjectionError\",\n  {\n    operation: Schema.String,\n    message: Schema.String,\n    cause: Schema.optionalKey(Schema.Defect()),\n  },\n) {}\n\n/**\n * Host-owned, disposable indexes over a canonical Thread. Hooks receive raw local source\n * ports at construction and must not mutate them or acquire source producer ownership.\n * Rows and their contiguous watermark commit atomically; an empty projection still consumes\n * its record. Concurrent work must compare the starting watermark before committing.\n *\n * No method owns a scheduler. The platform owns wakeups, durable scheduling metadata and\n * source-producer fencing. Per-call resources belong to Scope; interruption remains interruption.\n */\nexport interface ThreadProjectionMaintenanceService {\n  /**\n   * Runs after a successful source commit and before dependent Tools can execute. An index\n   * caught up through firstSequence - 1 must process the entire committed range, including\n   * empty records, before returning. Canonical batches contain at most 256 records: chunk\n   * within local byte limits and stop at result.lastSequence, never chase a changing tail.\n   * An earlier gap defers to drain. Replayed or superseded ranges are idempotent no-ops.\n   * Failure must leave the unprocessed prefix visible to pendingDeadline.\n   */\n  readonly applyCommitted: (\n    request: FencedAppendRequest,\n    result: AppendResult,\n  ) => Effect.Effect<void, ThreadProjectionError>;\n  /** One bounded, restartable backfill batch. Never drain until caught up in a loop. */\n  readonly drain: Effect.Effect<void, ThreadProjectionError>;\n  /**\n   * Bounded local inspection. None means caught up; a pending epoch-millisecond deadline\n   * survives reconstruction and repeated reads must not postpone it. Projection backlog\n   * does not gate canonical execution or host approval publication.\n   */\n  readonly pendingDeadline: Effect.Effect<Option.Option<number>, ThreadProjectionError>;\n}\n\nexport class ThreadProjectionMaintenance extends Context.Service<\n  ThreadProjectionMaintenance,\n  ThreadProjectionMaintenanceService\n>()(\"@effect-agent/thread/ThreadProjectionMaintenance\") {\n  static readonly layer = Layer.succeed(this)({\n    applyCommitted: () => Effect.void,\n    drain: Effect.void,\n    pendingDeadline: Effect.succeed(Option.none()),\n  });\n}\n\n/** Run at most one due backfill batch, preserving typed failures, defects and interruption. */\nexport const drainDue = Effect.gen(function* () {\n  const projection = yield* ThreadProjectionMaintenance;\n  const deadline = yield* projection.pendingDeadline;\n\n  if (Option.isNone(deadline) || deadline.value > (yield* Clock.currentTimeMillis)) return false;\n  yield* projection.drain;\n\n  return true;\n});\n"],"mappings":";;;;;;;;;AAKA,IAAa,wBAAb,cAA2C,OAAO,YAAmC,CAAC,CACpF,yBACA;CACE,WAAW,OAAO;CAClB,SAAS,OAAO;CAChB,OAAO,OAAO,YAAY,OAAO,OAAO,CAAC;AAC3C,CACF,CAAC,CAAC,CAAC;AAkCH,IAAa,8BAAb,cAAiD,QAAQ,QAGvD,CAAC,CAAC,kDAAkD,CAAC,CAAC;CACtD,OAAgB,QAAQ,MAAM,QAAQ,IAAI,CAAC,CAAC;EAC1C,sBAAsB,OAAO;EAC7B,OAAO,OAAO;EACd,iBAAiB,OAAO,QAAQ,OAAO,KAAK,CAAC;CAC/C,CAAC;AACH;;AAGA,MAAa,WAAW,OAAO,IAAI,aAAa;CAC9C,MAAM,aAAa,OAAO;CAC1B,MAAM,WAAW,OAAO,WAAW;CAEnC,IAAI,OAAO,OAAO,QAAQ,KAAK,SAAS,SAAS,OAAO,MAAM,oBAAoB,OAAO;CACzF,OAAO,WAAW;CAElB,OAAO;AACT,CAAC"}

package/dist/durable/ThreadStore.d.mts

@@ -0,0 +1,2 @@
+import { $t as FenceRejected, An as getRecord, Cn as ThreadStoreDiagnostic, Dn as ThreadTail, Mn as readOutstanding, Nn as readWorkerState, On as ThreadTailRequest, Qt as CheckpointRejected, Sn as ThreadStore, Tn as ThreadStoreFailure, Xt as AppendConflict, Zt as AppendResult, _n as ThreadReadRequest, an as SelectedThreadRead, bn as ThreadRunInputRequest, cn as ThreadExport, dn as ThreadNotMaterialized, en as FencedAppendRequest, fn as ThreadObservation, gn as ThreadRead, hn as ThreadPeerCountRequest, in as SaveRecoveryCheckpointRequest, jn as getRunInput, kn as ThreadWorkerStateRequest, ln as ThreadExportRequest, mn as ThreadOutstandingRequest, nn as MAX_THREAD_EXPORT_RECORDS, on as ThreadCheckpoint, pn as ThreadOutstanding, rn as SaveCheckpointRequest, sn as ThreadCheckpoints, tn as LoadCheckpointRequest, un as ThreadMaterialization, vn as ThreadRecordRequest, wn as ThreadStoreError, xn as ThreadSelection, yn as ThreadRecoveryCheckpoints } from "../Records-D88mgvyS.mjs";
+export { AppendConflict, AppendResult, CheckpointRejected, FenceRejected, FencedAppendRequest, LoadCheckpointRequest, MAX_THREAD_EXPORT_RECORDS, SaveCheckpointRequest, SaveRecoveryCheckpointRequest, SelectedThreadRead, ThreadCheckpoint, ThreadCheckpoints, ThreadExport, ThreadExportRequest, ThreadMaterialization, ThreadNotMaterialized, ThreadObservation, ThreadOutstanding, ThreadOutstandingRequest, ThreadPeerCountRequest, ThreadRead, ThreadReadRequest, ThreadRecordRequest, ThreadRecoveryCheckpoints, ThreadRunInputRequest, ThreadSelection, ThreadStore, ThreadStoreDiagnostic, ThreadStoreError, ThreadStoreFailure, ThreadTail, ThreadTailRequest, ThreadWorkerStateRequest, getRecord, getRunInput, readOutstanding, readWorkerState };

package/dist/durable/ThreadStore.mjs

@@ -0,0 +1,355 @@
+import { t as __exportAll } from "../rolldown-runtime-D7D4PA-g.mjs";
+import { RunId, SubmissionId, ThreadId } from "../core/Identifiers.mjs";
+import { BatchId, CanonicalBatch, CanonicalRecordEnvelope, CanonicalSequence, Digest, ObservationOffset, PersistedJson, ProducerEpoch, RecordId } from "./Records.mjs";
+import { SubmissionLedger, SubmissionLookupById } from "./SubmissionLedger.mjs";
+import { F as toolCallPreparedRecordId, S as runIdForSubmission } from "../RunJournal-BXrq0VIK.mjs";
+import { Context, Effect, Option, Schema, Stream } from "effect";
+//#region src/durable/ThreadStore.ts
+var ThreadStore_exports = /* @__PURE__ */ __exportAll({
+	AppendConflict: () => AppendConflict,
+	AppendResult: () => AppendResult,
+	CheckpointRejected: () => CheckpointRejected,
+	FenceRejected: () => FenceRejected,
+	FencedAppendRequest: () => FencedAppendRequest,
+	LoadCheckpointRequest: () => LoadCheckpointRequest,
+	MAX_THREAD_EXPORT_RECORDS: () => MAX_THREAD_EXPORT_RECORDS,
+	SaveCheckpointRequest: () => SaveCheckpointRequest,
+	SaveRecoveryCheckpointRequest: () => SaveRecoveryCheckpointRequest,
+	SelectedThreadRead: () => SelectedThreadRead,
+	ThreadCheckpoint: () => ThreadCheckpoint,
+	ThreadExport: () => ThreadExport,
+	ThreadExportRequest: () => ThreadExportRequest,
+	ThreadMaterialization: () => ThreadMaterialization,
+	ThreadNotMaterialized: () => ThreadNotMaterialized,
+	ThreadObservation: () => ThreadObservation,
+	ThreadOutstandingRequest: () => ThreadOutstandingRequest,
+	ThreadPeerCountRequest: () => ThreadPeerCountRequest,
+	ThreadRead: () => ThreadRead,
+	ThreadReadRequest: () => ThreadReadRequest,
+	ThreadRecordRequest: () => ThreadRecordRequest,
+	ThreadRunInputRequest: () => ThreadRunInputRequest,
+	ThreadSelection: () => ThreadSelection,
+	ThreadStore: () => ThreadStore,
+	ThreadStoreDiagnostic: () => ThreadStoreDiagnostic,
+	ThreadStoreError: () => ThreadStoreError,
+	ThreadTail: () => ThreadTail,
+	ThreadTailRequest: () => ThreadTailRequest,
+	ThreadWorkerStateRequest: () => ThreadWorkerStateRequest,
+	getRecord: () => getRecord,
+	getRunInput: () => getRunInput,
+	readOutstanding: () => readOutstanding,
+	readWorkerState: () => readWorkerState
+});
+const MAX_THREAD_EXPORT_RECORDS = 131072;
+/** Exact canonical identity; absence is not proof that an admission was never accepted. */
+const ThreadRecordRequest = Schema.Struct({
+	threadId: ThreadId,
+	recordId: RecordId
+});
+/** The original user input for a Run, excluding later joined inputs. */
+const ThreadRunInputRequest = Schema.Struct({
+	threadId: ThreadId,
+	runId: RunId
+});
+const ThreadOutstandingRequest = Schema.Struct({
+	threadId: ThreadId,
+	/** Exceeding this bound fails; a truncated inventory never grants authority. */
+	limit: Schema.Int.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(4096))
+});
+/** Native worker reservation/accounting snapshot at a captured canonical tail. */
+const ThreadWorkerStateRequest = Schema.Struct({
+	threadId: ThreadId,
+	sourceSubmissionId: Schema.optionalKey(SubmissionId),
+	limit: Schema.Int.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(MAX_THREAD_EXPORT_RECORDS))
+});
+/** Saturating lifetime peer-message count: the result is at most the requested cap. */
+const ThreadPeerCountRequest = Schema.Struct({
+	threadId: ThreadId,
+	limit: Schema.Int.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(1e3))
+});
+const incomplete = (operation) => ThreadStoreError.make({
+	operation,
+	message: "Native canonical read is incomplete or corrupt"
+});
+/** Collect a complete bounded selection, using canonical sequence as a sparse cursor. */
+const selectedRecords = Effect.fnUntraced(function* (threadId, selection, limit) {
+	const store = yield* ThreadStore;
+	const records = [];
+	let afterSequence;
+	while (true) {
+		const pageLimit = Math.min(1024, limit + 1 - records.length);
+		const page = yield* Stream.runCollect(store.read({
+			threadId,
+			selection,
+			page: {
+				limit: pageLimit,
+				...afterSequence === void 0 ? {} : { afterSequence }
+			}
+		}));
+		for (const entry of page) {
+			if (entry.threadId !== threadId || entry.sequence <= (afterSequence ?? 0) || "expectedTailSequence" in selection && entry.sequence > selection.expectedTailSequence) return yield* incomplete("read selection identity");
+			afterSequence = entry.sequence;
+			records.push(entry);
+		}
+		if (page.length > pageLimit || records.length > limit) return yield* incomplete("read selection limit");
+		if (page.length < pageLimit) return records;
+	}
+});
+/** Host-owned read: authenticate the Thread and exact locator before calling. */
+const getRecord = Effect.fn("ThreadStore.getRecord")(function* (request) {
+	yield* Schema.decodeEffect(ThreadRecordRequest)(request).pipe(Effect.mapError(() => incomplete("getRecord request")));
+	const records = yield* selectedRecords(request.threadId, {
+		_tag: "RecordId",
+		recordId: request.recordId
+	}, 1);
+	if (records.some((entry) => entry.record.recordId !== request.recordId)) return yield* incomplete("getRecord identity");
+	return Option.fromUndefinedOr(records[0]);
+});
+const getRunInput = Effect.fn("ThreadStore.getRunInput")(function* (request) {
+	yield* Schema.decodeEffect(ThreadRunInputRequest)(request).pipe(Effect.mapError(() => incomplete("getRunInput request")));
+	const records = yield* selectedRecords(request.threadId, {
+		_tag: "RunInput",
+		runId: request.runId
+	}, 1);
+	if (records.some(({ record: { payload } }) => payload._tag !== "UserInputRecorded" || payload.kind !== "user" || payload.runId !== request.runId)) return yield* incomplete("getRunInput identity");
+	return Option.fromUndefinedOr(records[0]);
+});
+/** A bounded snapshot of native lifetime and source-submission worker accounting. */
+const readWorkerState = Effect.fn("ThreadStore.readWorkerState")(function* (request) {
+	yield* Schema.decodeEffect(ThreadWorkerStateRequest)(request).pipe(Effect.mapError(() => incomplete("readWorkerState request")));
+	const tail = yield* (yield* ThreadStore).inspectTail(ThreadTailRequest.make({ threadId: request.threadId }));
+	const records = yield* selectedRecords(request.threadId, {
+		_tag: "WorkerState",
+		expectedTailSequence: tail.tailSequence,
+		expectedTailDigest: tail.tailDigest,
+		...request.sourceSubmissionId === void 0 ? {} : { sourceSubmissionId: request.sourceSubmissionId }
+	}, request.limit);
+	return {
+		threadId: request.threadId,
+		tailSequence: tail.tailSequence,
+		tailDigest: tail.tailDigest,
+		records
+	};
+});
+/**
+* Work is proportional to outstanding records, independent of completed history. Unknown
+* effects survive abort and resolution intent; only canonical closure removes them. A
+* preparation from another Run still requires native recovery before it can be treated as
+* safe. This snapshot grants no execution authority and does not freeze other owners.
+*/
+const readOutstanding = Effect.fn("ThreadStore.readOutstanding")(function* (request) {
+	yield* Schema.decodeEffect(ThreadOutstandingRequest)(request).pipe(Effect.mapError(() => incomplete("readOutstanding request")));
+	const store = yield* ThreadStore;
+	const ledger = yield* SubmissionLedger;
+	const tail = yield* store.inspectTail(ThreadTailRequest.make({ threadId: request.threadId }));
+	const records = yield* selectedRecords(request.threadId, {
+		_tag: "Outstanding",
+		expectedTailSequence: tail.tailSequence,
+		expectedTailDigest: tail.tailDigest
+	}, request.limit);
+	const operations = [];
+	const workerInputs = [];
+	for (const entry of records) {
+		const payload = entry.record.payload;
+		if (payload._tag === "WorkerInputRequested") {
+			workerInputs.push(payload);
+			continue;
+		}
+		if (payload._tag !== "ToolCallPrepared" && payload._tag !== "ToolCallUnknown") return yield* incomplete("readOutstanding record");
+		const preparedEntry = payload._tag === "ToolCallPrepared" ? entry : Option.getOrUndefined(yield* getRecord({
+			threadId: request.threadId,
+			recordId: toolCallPreparedRecordId(payload.runId, payload.turn, payload.toolCallId)
+		}));
+		const inputEntry = Option.getOrUndefined(yield* getRunInput({
+			threadId: request.threadId,
+			runId: payload.runId
+		}));
+		if (preparedEntry === void 0 || inputEntry === void 0 || preparedEntry.sequence > tail.tailSequence || inputEntry.sequence > tail.tailSequence) return yield* incomplete("readOutstanding proof beyond snapshot");
+		const prepared = preparedEntry.record.payload;
+		const input = inputEntry.record.payload;
+		if (prepared?._tag !== "ToolCallPrepared" || prepared.runId !== payload.runId || prepared.turn !== payload.turn || prepared.toolCallId !== payload.toolCallId || prepared.toolName !== payload.toolName || input?._tag !== "UserInputRecorded" || input.submissionId === void 0 || runIdForSubmission(input.submissionId) !== prepared.runId) return yield* incomplete("readOutstanding canonical ownership");
+		const submission = yield* ledger.lookup(SubmissionLookupById.make({ submissionId: input.submissionId }));
+		if (Option.isNone(submission) || submission.value.threadId !== request.threadId) return yield* incomplete("readOutstanding native admission");
+		operations.push({
+			submissionId: input.submissionId,
+			prepared,
+			state: payload._tag === "ToolCallUnknown" ? "unknown" : "prepared"
+		});
+	}
+	return {
+		threadId: request.threadId,
+		throughSequence: tail.tailSequence,
+		complete: true,
+		operations,
+		workerInputs
+	};
+});
+var ThreadMaterialization = class extends Schema.Class("@effect-agent/thread/ThreadMaterialization")({
+	threadId: ThreadId,
+	producerEpoch: ProducerEpoch
+}) {};
+var FencedAppendRequest = class extends Schema.Class("@effect-agent/thread/FencedAppendRequest")({
+	threadId: ThreadId,
+	batch: CanonicalBatch,
+	expectedTailSequence: CanonicalSequence,
+	expectedTailDigest: Digest,
+	producerEpoch: ProducerEpoch
+}) {};
+var AppendResult = class extends Schema.Class("@effect-agent/thread/AppendResult")({
+	firstSequence: CanonicalSequence,
+	lastSequence: CanonicalSequence,
+	tailDigest: Digest,
+	replayed: Schema.Boolean
+}) {};
+var ThreadRead = class extends Schema.Class("@effect-agent/thread/ThreadRead")({
+	threadId: ThreadId,
+	afterSequence: Schema.optionalKey(CanonicalSequence),
+	limit: Schema.Natural.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(1024))
+}) {};
+/** Closed native selections; mutable metadata is read at this exact canonical tail. */
+const ThreadSelection = Schema.Union([
+	Schema.Struct({
+		_tag: Schema.Literal("RecordId"),
+		recordId: RecordId
+	}),
+	Schema.Struct({
+		_tag: Schema.Literal("RunInput"),
+		runId: RunId
+	}),
+	Schema.Struct({
+		_tag: Schema.Literal("Outstanding"),
+		expectedTailSequence: CanonicalSequence,
+		expectedTailDigest: Digest
+	}),
+	Schema.Struct({
+		_tag: Schema.Literal("WorkerExecution"),
+		expectedTailSequence: CanonicalSequence,
+		expectedTailDigest: Digest
+	}),
+	Schema.Struct({
+		_tag: Schema.Literal("WorkerState"),
+		expectedTailSequence: CanonicalSequence,
+		expectedTailDigest: Digest,
+		sourceSubmissionId: Schema.optionalKey(SubmissionId)
+	})
+]);
+/** Nested page makes an old ThreadRead decoder reject, never strip a selection into history. */
+const SelectedThreadRead = Schema.Struct({
+	threadId: ThreadId,
+	selection: ThreadSelection,
+	page: Schema.Struct({
+		afterSequence: Schema.optionalKey(CanonicalSequence),
+		limit: ThreadRead.fields.limit
+	})
+});
+const ThreadReadRequest = Schema.Union([SelectedThreadRead, ThreadRead]);
+var ThreadObservation = class extends Schema.Class("@effect-agent/thread/ThreadObservation")({
+	threadId: ThreadId,
+	afterOffset: Schema.optionalKey(ObservationOffset)
+}) {};
+var ThreadExportRequest = class extends Schema.Class("@effect-agent/thread/ThreadExportRequest")({ threadId: ThreadId }) {};
+var ThreadTailRequest = class extends Schema.Class("@effect-agent/thread/ThreadTailRequest")({ threadId: ThreadId }) {};
+/**
+* The committed tail of one Thread Log. A resuming producer composes its next
+* FencedAppendRequest from this value instead of exporting the whole log.
+*/
+var ThreadTail = class extends Schema.Class("@effect-agent/thread/ThreadTail")({
+	threadId: ThreadId,
+	tailSequence: CanonicalSequence,
+	tailDigest: Digest,
+	producerEpoch: ProducerEpoch
+}) {};
+/** Maximum canonical records represented by one Thread export. */
+var ThreadExport = class extends Schema.Class("@effect-agent/thread/ThreadExport")({
+	format: Schema.Literal("effect-agent/thread@1"),
+	threadId: ThreadId,
+	tailSequence: CanonicalSequence,
+	tailDigest: Digest,
+	records: Schema.Array(CanonicalRecordEnvelope).check(Schema.isMaxLength(MAX_THREAD_EXPORT_RECORDS))
+}) {};
+/**
+* A disposable projection snapshot. Adapters bind its sequence and digest to the canonical
+* log; consumers decode `state` and decide projection compatibility before suffix replay.
+* Legacy metadata is optional for application projections and preserved when supplied.
+* Runtime-owned recovery checkpoints populate and compare it before using cached state.
+*/
+var ThreadCheckpoint = class extends Schema.Class("@effect-agent/thread/ThreadCheckpoint")({
+	schemaVersion: Schema.Literal(1),
+	threadId: ThreadId,
+	throughSequence: CanonicalSequence,
+	tailDigest: Digest,
+	/** @deprecated For application projections; retained for existing data and runtime recovery. */
+	engineVersion: Schema.optionalKey(Schema.NonEmptyString),
+	/** @deprecated For application projections; retained for existing data and runtime recovery. */
+	agentDefinitionDigest: Schema.optionalKey(Digest),
+	/** @deprecated For application projections; retained for existing data and runtime recovery. */
+	modelDigest: Schema.optionalKey(Digest),
+	/** @deprecated For application projections; retained for existing data and runtime recovery. */
+	toolDigest: Schema.optionalKey(Digest),
+	state: PersistedJson,
+	createdAt: Schema.DateTimeUtcFromString
+}) {};
+var SaveCheckpointRequest = class extends Schema.Class("@effect-agent/thread/SaveCheckpointRequest")({ checkpoint: ThreadCheckpoint }) {};
+/** Replace the disposable recovery view only under the current canonical producer fence. */
+var SaveRecoveryCheckpointRequest = class extends Schema.Class("@effect-agent/thread/SaveRecoveryCheckpointRequest")({
+	checkpoint: ThreadCheckpoint,
+	producerEpoch: ProducerEpoch
+}) {};
+var LoadCheckpointRequest = class extends Schema.Class("@effect-agent/thread/LoadCheckpointRequest")({
+	threadId: ThreadId,
+	atOrBeforeSequence: Schema.optionalKey(CanonicalSequence)
+}) {};
+/**
+* Content-free storage provenance constructed by adapters from source-authored labels.
+* Raw foreign lookalikes are not trusted diagnostics. Never include rejected values, SQL,
+* or schema messages.
+*/
+var ThreadStoreDiagnostic = class extends Schema.Class("@effect-agent/thread/ThreadStoreDiagnostic")({
+	causeTag: Schema.String.check(Schema.isMaxLength(128)),
+	operation: Schema.String.check(Schema.isMaxLength(256)),
+	decoder: Schema.optionalKey(Schema.String.check(Schema.isMaxLength(128))),
+	issueTag: Schema.optionalKey(Schema.String.check(Schema.isMaxLength(128))),
+	sequence: Schema.optionalKey(CanonicalSequence)
+}) {};
+var ThreadStoreError = class extends Schema.TaggedError()("ThreadStoreError", {
+	operation: Schema.String,
+	message: Schema.String,
+	cause: Schema.optionalKey(Schema.Defect()),
+	diagnostic: Schema.optionalKey(ThreadStoreDiagnostic)
+}) {};
+var ThreadNotMaterialized = class extends Schema.TaggedError()("ThreadNotMaterialized", { threadId: ThreadId }) {};
+/**
+* A canonical append that cannot commit: `batch-digest` replays a batch ID with different
+* content, `record-identity` reuses a canonical record ID, and `tail` declares a stale expected
+* tail. Tail conflicts carry the actual committed tail as a diagnostic resume hint.
+*/
+var AppendConflict = class extends Schema.TaggedError()("AppendConflict", {
+	threadId: ThreadId,
+	batchId: BatchId,
+	reason: Schema.Literals([
+		"batch-digest",
+		"record-identity",
+		"tail"
+	]),
+	actualTailSequence: Schema.optionalKey(CanonicalSequence),
+	actualTailDigest: Schema.optionalKey(Digest)
+}) {};
+var FenceRejected = class extends Schema.TaggedError()("FenceRejected", {
+	threadId: ThreadId,
+	actualEpoch: ProducerEpoch,
+	attemptedEpoch: ProducerEpoch
+}) {};
+var CheckpointRejected = class extends Schema.TaggedError()("CheckpointRejected", {
+	threadId: ThreadId,
+	reason: Schema.Literals([
+		"ahead-of-tail",
+		"digest-mismatch",
+		"unsupported-version",
+		"corrupt"
+	])
+}) {};
+var ThreadStore = class extends Context.Service()("@effect-agent/thread/ThreadStore") {};
+//#endregion
+export { AppendConflict, AppendResult, CheckpointRejected, FenceRejected, FencedAppendRequest, LoadCheckpointRequest, MAX_THREAD_EXPORT_RECORDS, SaveCheckpointRequest, SaveRecoveryCheckpointRequest, SelectedThreadRead, ThreadCheckpoint, ThreadExport, ThreadExportRequest, ThreadMaterialization, ThreadNotMaterialized, ThreadObservation, ThreadOutstandingRequest, ThreadPeerCountRequest, ThreadRead, ThreadReadRequest, ThreadRecordRequest, ThreadRunInputRequest, ThreadSelection, ThreadStore, ThreadStoreDiagnostic, ThreadStoreError, ThreadTail, ThreadTailRequest, ThreadWorkerStateRequest, getRecord, getRunInput, readOutstanding, readWorkerState, ThreadStore_exports as t };
+
+//# sourceMappingURL=ThreadStore.mjs.map

package/dist/durable/ThreadStore.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ThreadStore.mjs","names":[],"sources":["../../src/durable/ThreadStore.ts"],"sourcesContent":["import { Context, Effect, Option, Schema, Stream } from \"effect\";\n\nimport { RunId, SubmissionId, ThreadId } from \"../core/Identifiers.ts\";\nimport type { ToolCallPrepared, WorkerInputRequested } from \"./Records.ts\";\nimport {\n  BatchId,\n  CanonicalBatch,\n  CanonicalRecordEnvelope,\n  CanonicalSequence,\n  Digest,\n  ObservationOffset,\n  PersistedJson,\n  ProducerEpoch,\n  RecordId,\n} from \"./Records.ts\";\nimport { runIdForSubmission, toolCallPreparedRecordId } from \"./RunJournal.ts\";\nimport { SubmissionLedger, SubmissionLookupById } from \"./SubmissionLedger.ts\";\n\nexport const MAX_THREAD_EXPORT_RECORDS = 131_072;\n\n/** Exact canonical identity; absence is not proof that an admission was never accepted. */\nexport const ThreadRecordRequest = Schema.Struct({ threadId: ThreadId, recordId: RecordId });\nexport type ThreadRecordRequest = typeof ThreadRecordRequest.Type;\n\n/** The original user input for a Run, excluding later joined inputs. */\nexport const ThreadRunInputRequest = Schema.Struct({ threadId: ThreadId, runId: RunId });\nexport type ThreadRunInputRequest = typeof ThreadRunInputRequest.Type;\n\nexport const ThreadOutstandingRequest = Schema.Struct({\n  threadId: ThreadId,\n  /** Exceeding this bound fails; a truncated inventory never grants authority. */\n  limit: Schema.Int.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(4_096)),\n});\n\nexport type ThreadOutstandingRequest = typeof ThreadOutstandingRequest.Type;\n\nexport interface ThreadOutstanding {\n  readonly threadId: ThreadId;\n  readonly throughSequence: CanonicalSequence;\n  readonly complete: true;\n  readonly operations: ReadonlyArray<{\n    readonly submissionId: SubmissionId;\n    readonly prepared: ToolCallPrepared;\n    /** Prepared is not an unknown outcome or a grant to execute. */\n    readonly state: \"prepared\" | \"unknown\";\n  }>;\n  /** Source reservations without proof that external effects are resolved. */\n  readonly workerInputs: ReadonlyArray<WorkerInputRequested>;\n}\n\n/** Native worker reservation/accounting snapshot at a captured canonical tail. */\nexport const ThreadWorkerStateRequest = Schema.Struct({\n  threadId: ThreadId,\n  sourceSubmissionId: Schema.optionalKey(SubmissionId),\n  limit: Schema.Int.check(\n    Schema.isGreaterThan(0),\n    Schema.isLessThanOrEqualTo(MAX_THREAD_EXPORT_RECORDS),\n  ),\n});\n\nexport type ThreadWorkerStateRequest = typeof ThreadWorkerStateRequest.Type;\n\n/** Saturating lifetime peer-message count: the result is at most the requested cap. */\nexport const ThreadPeerCountRequest = Schema.Struct({\n  threadId: ThreadId,\n  limit: Schema.Int.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(1000)),\n});\n\nexport type ThreadPeerCountRequest = typeof ThreadPeerCountRequest.Type;\n\nconst incomplete = (operation: string) =>\n  ThreadStoreError.make({\n    operation,\n    message: \"Native canonical read is incomplete or corrupt\",\n  });\n\n/** Collect a complete bounded selection, using canonical sequence as a sparse cursor. */\nconst selectedRecords = Effect.fnUntraced(function* (\n  threadId: ThreadId,\n  selection: ThreadSelection,\n  limit: number,\n) {\n  const store = yield* ThreadStore;\n  const records: Array<CanonicalRecordEnvelope> = [];\n  let afterSequence: CanonicalSequence | undefined;\n\n  while (true) {\n    const pageLimit = Math.min(1024, limit + 1 - records.length);\n\n    const page = yield* Stream.runCollect(\n      store.read({\n        threadId,\n        selection,\n        page: { limit: pageLimit, ...(afterSequence === undefined ? {} : { afterSequence }) },\n      }),\n    );\n\n    for (const entry of page) {\n      if (\n        entry.threadId !== threadId ||\n        entry.sequence <= (afterSequence ?? 0) ||\n        (\"expectedTailSequence\" in selection && entry.sequence > selection.expectedTailSequence)\n      )\n        return yield* incomplete(\"read selection identity\");\n      afterSequence = entry.sequence;\n      records.push(entry);\n    }\n    if (page.length > pageLimit || records.length > limit)\n      return yield* incomplete(\"read selection limit\");\n    if (page.length < pageLimit) return records;\n  }\n});\n\n/** Host-owned read: authenticate the Thread and exact locator before calling. */\nexport const getRecord = Effect.fn(\"ThreadStore.getRecord\")(function* (\n  request: ThreadRecordRequest,\n) {\n  yield* Schema.decodeEffect(ThreadRecordRequest)(request).pipe(\n    Effect.mapError(() => incomplete(\"getRecord request\")),\n  );\n\n  const records = yield* selectedRecords(\n    request.threadId,\n    { _tag: \"RecordId\", recordId: request.recordId },\n    1,\n  );\n\n  if (records.some((entry) => entry.record.recordId !== request.recordId))\n    return yield* incomplete(\"getRecord identity\");\n\n  return Option.fromUndefinedOr(records[0]);\n});\n\nexport const getRunInput = Effect.fn(\"ThreadStore.getRunInput\")(function* (\n  request: ThreadRunInputRequest,\n) {\n  yield* Schema.decodeEffect(ThreadRunInputRequest)(request).pipe(\n    Effect.mapError(() => incomplete(\"getRunInput request\")),\n  );\n\n  const records = yield* selectedRecords(\n    request.threadId,\n    { _tag: \"RunInput\", runId: request.runId },\n    1,\n  );\n\n  if (\n    records.some(\n      ({ record: { payload } }) =>\n        payload._tag !== \"UserInputRecorded\" ||\n        payload.kind !== \"user\" ||\n        payload.runId !== request.runId,\n    )\n  )\n    return yield* incomplete(\"getRunInput identity\");\n\n  return Option.fromUndefinedOr(records[0]);\n});\n\n/** A bounded snapshot of native lifetime and source-submission worker accounting. */\nexport const readWorkerState = Effect.fn(\"ThreadStore.readWorkerState\")(function* (\n  request: ThreadWorkerStateRequest,\n) {\n  yield* Schema.decodeEffect(ThreadWorkerStateRequest)(request).pipe(\n    Effect.mapError(() => incomplete(\"readWorkerState request\")),\n  );\n  const store = yield* ThreadStore;\n  const tail = yield* store.inspectTail(ThreadTailRequest.make({ threadId: request.threadId }));\n\n  const records = yield* selectedRecords(\n    request.threadId,\n    {\n      _tag: \"WorkerState\",\n      expectedTailSequence: tail.tailSequence,\n      expectedTailDigest: tail.tailDigest,\n      ...(request.sourceSubmissionId === undefined\n        ? {}\n        : { sourceSubmissionId: request.sourceSubmissionId }),\n    },\n    request.limit,\n  );\n\n  return {\n    threadId: request.threadId,\n    tailSequence: tail.tailSequence,\n    tailDigest: tail.tailDigest,\n    records,\n  };\n});\n\n/**\n * Work is proportional to outstanding records, independent of completed history. Unknown\n * effects survive abort and resolution intent; only canonical closure removes them. A\n * preparation from another Run still requires native recovery before it can be treated as\n * safe. This snapshot grants no execution authority and does not freeze other owners.\n */\nexport const readOutstanding = Effect.fn(\"ThreadStore.readOutstanding\")(function* (\n  request: ThreadOutstandingRequest,\n) {\n  yield* Schema.decodeEffect(ThreadOutstandingRequest)(request).pipe(\n    Effect.mapError(() => incomplete(\"readOutstanding request\")),\n  );\n  const store = yield* ThreadStore;\n  const ledger = yield* SubmissionLedger;\n  const tail = yield* store.inspectTail(ThreadTailRequest.make({ threadId: request.threadId }));\n\n  const records = yield* selectedRecords(\n    request.threadId,\n    {\n      _tag: \"Outstanding\",\n      expectedTailSequence: tail.tailSequence,\n      expectedTailDigest: tail.tailDigest,\n    },\n    request.limit,\n  );\n\n  const operations: Array<ThreadOutstanding[\"operations\"][number]> = [];\n  const workerInputs: Array<WorkerInputRequested> = [];\n\n  for (const entry of records) {\n    const payload = entry.record.payload;\n\n    if (payload._tag === \"WorkerInputRequested\") {\n      workerInputs.push(payload);\n      continue;\n    }\n    if (payload._tag !== \"ToolCallPrepared\" && payload._tag !== \"ToolCallUnknown\")\n      return yield* incomplete(\"readOutstanding record\");\n\n    const preparedEntry =\n      payload._tag === \"ToolCallPrepared\"\n        ? entry\n        : Option.getOrUndefined(\n            yield* getRecord({\n              threadId: request.threadId,\n              recordId: toolCallPreparedRecordId(payload.runId, payload.turn, payload.toolCallId),\n            }),\n          );\n\n    const inputEntry = Option.getOrUndefined(\n      yield* getRunInput({ threadId: request.threadId, runId: payload.runId }),\n    );\n\n    if (\n      preparedEntry === undefined ||\n      inputEntry === undefined ||\n      preparedEntry.sequence > tail.tailSequence ||\n      inputEntry.sequence > tail.tailSequence\n    )\n      return yield* incomplete(\"readOutstanding proof beyond snapshot\");\n    const prepared = preparedEntry.record.payload;\n    const input = inputEntry.record.payload;\n\n    if (\n      prepared?._tag !== \"ToolCallPrepared\" ||\n      prepared.runId !== payload.runId ||\n      prepared.turn !== payload.turn ||\n      prepared.toolCallId !== payload.toolCallId ||\n      prepared.toolName !== payload.toolName ||\n      input?._tag !== \"UserInputRecorded\" ||\n      input.submissionId === undefined ||\n      runIdForSubmission(input.submissionId) !== prepared.runId\n    )\n      return yield* incomplete(\"readOutstanding canonical ownership\");\n\n    const submission = yield* ledger.lookup(\n      SubmissionLookupById.make({ submissionId: input.submissionId }),\n    );\n\n    if (Option.isNone(submission) || submission.value.threadId !== request.threadId)\n      return yield* incomplete(\"readOutstanding native admission\");\n    operations.push({\n      submissionId: input.submissionId,\n      prepared,\n      state: payload._tag === \"ToolCallUnknown\" ? \"unknown\" : \"prepared\",\n    });\n  }\n\n  return {\n    threadId: request.threadId,\n    throughSequence: tail.tailSequence,\n    complete: true as const,\n    operations,\n    workerInputs,\n  };\n});\n\nexport class ThreadMaterialization extends Schema.Class<ThreadMaterialization>(\n  \"@effect-agent/thread/ThreadMaterialization\",\n)({\n  threadId: ThreadId,\n  producerEpoch: ProducerEpoch,\n}) {}\n\nexport class FencedAppendRequest extends Schema.Class<FencedAppendRequest>(\n  \"@effect-agent/thread/FencedAppendRequest\",\n)({\n  threadId: ThreadId,\n  batch: CanonicalBatch,\n  expectedTailSequence: CanonicalSequence,\n  expectedTailDigest: Digest,\n  producerEpoch: ProducerEpoch,\n}) {}\n\nexport class AppendResult extends Schema.Class<AppendResult>(\"@effect-agent/thread/AppendResult\")({\n  firstSequence: CanonicalSequence,\n  lastSequence: CanonicalSequence,\n  tailDigest: Digest,\n  replayed: Schema.Boolean,\n}) {}\n\nexport class ThreadRead extends Schema.Class<ThreadRead>(\"@effect-agent/thread/ThreadRead\")({\n  threadId: ThreadId,\n  afterSequence: Schema.optionalKey(CanonicalSequence),\n  limit: Schema.Natural.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(1_024)),\n}) {}\n\n/** Closed native selections; mutable metadata is read at this exact canonical tail. */\nexport const ThreadSelection = Schema.Union([\n  Schema.Struct({ _tag: Schema.Literal(\"RecordId\"), recordId: RecordId }),\n  Schema.Struct({ _tag: Schema.Literal(\"RunInput\"), runId: RunId }),\n  Schema.Struct({\n    _tag: Schema.Literal(\"Outstanding\"),\n    expectedTailSequence: CanonicalSequence,\n    expectedTailDigest: Digest,\n  }),\n  Schema.Struct({\n    _tag: Schema.Literal(\"WorkerExecution\"),\n    expectedTailSequence: CanonicalSequence,\n    expectedTailDigest: Digest,\n  }),\n  Schema.Struct({\n    _tag: Schema.Literal(\"WorkerState\"),\n    expectedTailSequence: CanonicalSequence,\n    expectedTailDigest: Digest,\n    sourceSubmissionId: Schema.optionalKey(SubmissionId),\n  }),\n]);\n\nexport type ThreadSelection = typeof ThreadSelection.Type;\n\n/** Nested page makes an old ThreadRead decoder reject, never strip a selection into history. */\nexport const SelectedThreadRead = Schema.Struct({\n  threadId: ThreadId,\n  selection: ThreadSelection,\n  page: Schema.Struct({\n    afterSequence: Schema.optionalKey(CanonicalSequence),\n    limit: ThreadRead.fields.limit,\n  }),\n});\n\nexport type SelectedThreadRead = typeof SelectedThreadRead.Type;\nexport const ThreadReadRequest = Schema.Union([SelectedThreadRead, ThreadRead]);\nexport type ThreadReadRequest = typeof ThreadReadRequest.Type;\n\nexport class ThreadObservation extends Schema.Class<ThreadObservation>(\n  \"@effect-agent/thread/ThreadObservation\",\n)({\n  threadId: ThreadId,\n  afterOffset: Schema.optionalKey(ObservationOffset),\n}) {}\n\nexport class ThreadExportRequest extends Schema.Class<ThreadExportRequest>(\n  \"@effect-agent/thread/ThreadExportRequest\",\n)({\n  threadId: ThreadId,\n}) {}\n\nexport class ThreadTailRequest extends Schema.Class<ThreadTailRequest>(\n  \"@effect-agent/thread/ThreadTailRequest\",\n)({\n  threadId: ThreadId,\n}) {}\n\n/**\n * The committed tail of one Thread Log. A resuming producer composes its next\n * FencedAppendRequest from this value instead of exporting the whole log.\n */\nexport class ThreadTail extends Schema.Class<ThreadTail>(\"@effect-agent/thread/ThreadTail\")({\n  threadId: ThreadId,\n  tailSequence: CanonicalSequence,\n  tailDigest: Digest,\n  producerEpoch: ProducerEpoch,\n}) {}\n\n/** Maximum canonical records represented by one Thread export. */\n\nexport class ThreadExport extends Schema.Class<ThreadExport>(\"@effect-agent/thread/ThreadExport\")({\n  format: Schema.Literal(\"effect-agent/thread@1\"),\n  threadId: ThreadId,\n  tailSequence: CanonicalSequence,\n  tailDigest: Digest,\n  records: Schema.Array(CanonicalRecordEnvelope).check(\n    Schema.isMaxLength(MAX_THREAD_EXPORT_RECORDS),\n  ),\n}) {}\n\n/**\n * A disposable projection snapshot. Adapters bind its sequence and digest to the canonical\n * log; consumers decode `state` and decide projection compatibility before suffix replay.\n * Legacy metadata is optional for application projections and preserved when supplied.\n * Runtime-owned recovery checkpoints populate and compare it before using cached state.\n */\nexport class ThreadCheckpoint extends Schema.Class<ThreadCheckpoint>(\n  \"@effect-agent/thread/ThreadCheckpoint\",\n)({\n  schemaVersion: Schema.Literal(1),\n  threadId: ThreadId,\n  throughSequence: CanonicalSequence,\n  tailDigest: Digest,\n  /** @deprecated For application projections; retained for existing data and runtime recovery. */\n  engineVersion: Schema.optionalKey(Schema.NonEmptyString),\n  /** @deprecated For application projections; retained for existing data and runtime recovery. */\n  agentDefinitionDigest: Schema.optionalKey(Digest),\n  /** @deprecated For application projections; retained for existing data and runtime recovery. */\n  modelDigest: Schema.optionalKey(Digest),\n  /** @deprecated For application projections; retained for existing data and runtime recovery. */\n  toolDigest: Schema.optionalKey(Digest),\n  state: PersistedJson,\n  createdAt: Schema.DateTimeUtcFromString,\n}) {}\n\nexport class SaveCheckpointRequest extends Schema.Class<SaveCheckpointRequest>(\n  \"@effect-agent/thread/SaveCheckpointRequest\",\n)({\n  checkpoint: ThreadCheckpoint,\n}) {}\n\n/** Replace the disposable recovery view only under the current canonical producer fence. */\nexport class SaveRecoveryCheckpointRequest extends Schema.Class<SaveRecoveryCheckpointRequest>(\n  \"@effect-agent/thread/SaveRecoveryCheckpointRequest\",\n)({\n  checkpoint: ThreadCheckpoint,\n  producerEpoch: ProducerEpoch,\n}) {}\n\nexport class LoadCheckpointRequest extends Schema.Class<LoadCheckpointRequest>(\n  \"@effect-agent/thread/LoadCheckpointRequest\",\n)({\n  threadId: ThreadId,\n  atOrBeforeSequence: Schema.optionalKey(CanonicalSequence),\n}) {}\n\n/**\n * Content-free storage provenance constructed by adapters from source-authored labels.\n * Raw foreign lookalikes are not trusted diagnostics. Never include rejected values, SQL,\n * or schema messages.\n */\nexport class ThreadStoreDiagnostic extends Schema.Class<ThreadStoreDiagnostic>(\n  \"@effect-agent/thread/ThreadStoreDiagnostic\",\n)({\n  causeTag: Schema.String.check(Schema.isMaxLength(128)),\n  operation: Schema.String.check(Schema.isMaxLength(256)),\n  decoder: Schema.optionalKey(Schema.String.check(Schema.isMaxLength(128))),\n  issueTag: Schema.optionalKey(Schema.String.check(Schema.isMaxLength(128))),\n  sequence: Schema.optionalKey(CanonicalSequence),\n}) {}\n\nexport class ThreadStoreError extends Schema.TaggedError<ThreadStoreError>()(\"ThreadStoreError\", {\n  operation: Schema.String,\n  message: Schema.String,\n  cause: Schema.optionalKey(Schema.Defect()),\n  diagnostic: Schema.optionalKey(ThreadStoreDiagnostic),\n}) {}\n\nexport class ThreadNotMaterialized extends Schema.TaggedError<ThreadNotMaterialized>()(\n  \"ThreadNotMaterialized\",\n  { threadId: ThreadId },\n) {}\n\n/**\n * A canonical append that cannot commit: `batch-digest` replays a batch ID with different\n * content, `record-identity` reuses a canonical record ID, and `tail` declares a stale expected\n * tail. Tail conflicts carry the actual committed tail as a diagnostic resume hint.\n */\nexport class AppendConflict extends Schema.TaggedError<AppendConflict>()(\"AppendConflict\", {\n  threadId: ThreadId,\n  batchId: BatchId,\n  reason: Schema.Literals([\"batch-digest\", \"record-identity\", \"tail\"]),\n  actualTailSequence: Schema.optionalKey(CanonicalSequence),\n  actualTailDigest: Schema.optionalKey(Digest),\n}) {}\n\nexport class FenceRejected extends Schema.TaggedError<FenceRejected>()(\"FenceRejected\", {\n  threadId: ThreadId,\n  actualEpoch: ProducerEpoch,\n  attemptedEpoch: ProducerEpoch,\n}) {}\n\nexport class CheckpointRejected extends Schema.TaggedError<CheckpointRejected>()(\n  \"CheckpointRejected\",\n  {\n    threadId: ThreadId,\n    reason: Schema.Literals([\"ahead-of-tail\", \"digest-mismatch\", \"unsupported-version\", \"corrupt\"]),\n  },\n) {}\n\nexport type ThreadStoreFailure =\n  | ThreadStoreError\n  | ThreadNotMaterialized\n  | AppendConflict\n  | FenceRejected;\n\n/**\n * Optional, disposable projection storage. Neither history execution nor durable recovery\n * requires it. Adapters that offer it must bind every checkpoint to a canonical batch tail.\n * Application consumers own projection compatibility; this port does not interpret metadata.\n */\nexport interface ThreadCheckpoints {\n  readonly save: (\n    request: SaveCheckpointRequest,\n  ) => Effect.Effect<void, ThreadStoreError | ThreadNotMaterialized | CheckpointRejected>;\n  readonly load: (\n    request: LoadCheckpointRequest,\n  ) => Effect.Effect<\n    Option.Option<ThreadCheckpoint>,\n    ThreadStoreError | ThreadNotMaterialized | CheckpointRejected\n  >;\n}\n\n/**\n * Optional latest-only recovery cache, independent of application projection checkpoints.\n * Saves atomically validate the producer epoch and canonical batch tail. An older snapshot\n * cannot replace a newer one; equal-tail replacement repairs disposable state. Invalid cached\n * data fails with CheckpointRejected, while infrastructure failures remain ThreadStoreError.\n * Loading at an earlier tail or outside the adapter's cache locality may return none so callers\n * can replay canonical records. Canonical records and the ledger remain authority.\n */\nexport interface ThreadRecoveryCheckpoints {\n  readonly save: (\n    request: SaveRecoveryCheckpointRequest,\n  ) => Effect.Effect<\n    void,\n    ThreadStoreError | ThreadNotMaterialized | CheckpointRejected | FenceRejected\n  >;\n  readonly load: ThreadCheckpoints[\"load\"];\n}\n\nexport class ThreadStore extends Context.Service<\n  ThreadStore,\n  {\n    readonly materialize: (\n      request: ThreadMaterialization,\n    ) => Effect.Effect<void, ThreadStoreError | FenceRejected>;\n    readonly append: (\n      request: FencedAppendRequest,\n    ) => Effect.Effect<\n      AppendResult,\n      ThreadStoreError | ThreadNotMaterialized | AppendConflict | FenceRejected\n    >;\n    readonly read: (\n      request: ThreadReadRequest,\n    ) => Stream.Stream<CanonicalRecordEnvelope, ThreadStoreError | ThreadNotMaterialized>;\n    readonly observe: (\n      request: ThreadObservation,\n    ) => Stream.Stream<CanonicalRecordEnvelope, ThreadStoreError | ThreadNotMaterialized>;\n    readonly export: (\n      request: ThreadExportRequest,\n    ) => Effect.Effect<ThreadExport, ThreadStoreError | ThreadNotMaterialized>;\n    readonly inspectTail: (\n      request: ThreadTailRequest,\n    ) => Effect.Effect<ThreadTail, ThreadStoreError | ThreadNotMaterialized>;\n    /** Absent when this adapter does not support disposable checkpoints. */\n    readonly checkpoints?: ThreadCheckpoints | undefined;\n    readonly recoveryCheckpoints?: ThreadRecoveryCheckpoints | undefined;\n    /** Indexed scalar count; unsupported adapters fail closed at the caller. */\n    readonly countPeerMessages?:\n      | ((\n          request: ThreadPeerCountRequest,\n        ) => Effect.Effect<number, ThreadStoreError | ThreadNotMaterialized>)\n      | undefined;\n  }\n>()(\"@effect-agent/thread/ThreadStore\") {}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkBA,MAAa,4BAA4B;;AAGzC,MAAa,sBAAsB,OAAO,OAAO;CAAE,UAAU;CAAU,UAAU;AAAS,CAAC;;AAI3F,MAAa,wBAAwB,OAAO,OAAO;CAAE,UAAU;CAAU,OAAO;AAAM,CAAC;AAGvF,MAAa,2BAA2B,OAAO,OAAO;CACpD,UAAU;;CAEV,OAAO,OAAO,IAAI,MAAM,OAAO,cAAc,CAAC,GAAG,OAAO,oBAAoB,IAAK,CAAC;AACpF,CAAC;;AAmBD,MAAa,2BAA2B,OAAO,OAAO;CACpD,UAAU;CACV,oBAAoB,OAAO,YAAY,YAAY;CACnD,OAAO,OAAO,IAAI,MAChB,OAAO,cAAc,CAAC,GACtB,OAAO,oBAAoB,yBAAyB,CACtD;AACF,CAAC;;AAKD,MAAa,yBAAyB,OAAO,OAAO;CAClD,UAAU;CACV,OAAO,OAAO,IAAI,MAAM,OAAO,cAAc,CAAC,GAAG,OAAO,oBAAoB,GAAI,CAAC;AACnF,CAAC;AAID,MAAM,cAAc,cAClB,iBAAiB,KAAK;CACpB;CACA,SAAS;AACX,CAAC;;AAGH,MAAM,kBAAkB,OAAO,WAAW,WACxC,UACA,WACA,OACA;CACA,MAAM,QAAQ,OAAO;CACrB,MAAM,UAA0C,CAAC;CACjD,IAAI;CAEJ,OAAO,MAAM;EACX,MAAM,YAAY,KAAK,IAAI,MAAM,QAAQ,IAAI,QAAQ,MAAM;EAE3D,MAAM,OAAO,OAAO,OAAO,WACzB,MAAM,KAAK;GACT;GACA;GACA,MAAM;IAAE,OAAO;IAAW,GAAI,kBAAkB,KAAA,IAAY,CAAC,IAAI,EAAE,cAAc;GAAG;EACtF,CAAC,CACH;EAEA,KAAK,MAAM,SAAS,MAAM;GACxB,IACE,MAAM,aAAa,YACnB,MAAM,aAAa,iBAAiB,MACnC,0BAA0B,aAAa,MAAM,WAAW,UAAU,sBAEnE,OAAO,OAAO,WAAW,yBAAyB;GACpD,gBAAgB,MAAM;GACtB,QAAQ,KAAK,KAAK;EACpB;EACA,IAAI,KAAK,SAAS,aAAa,QAAQ,SAAS,OAC9C,OAAO,OAAO,WAAW,sBAAsB;EACjD,IAAI,KAAK,SAAS,WAAW,OAAO;CACtC;AACF,CAAC;;AAGD,MAAa,YAAY,OAAO,GAAG,uBAAuB,CAAC,CAAC,WAC1D,SACA;CACA,OAAO,OAAO,aAAa,mBAAmB,CAAC,CAAC,OAAO,CAAC,CAAC,KACvD,OAAO,eAAe,WAAW,mBAAmB,CAAC,CACvD;CAEA,MAAM,UAAU,OAAO,gBACrB,QAAQ,UACR;EAAE,MAAM;EAAY,UAAU,QAAQ;CAAS,GAC/C,CACF;CAEA,IAAI,QAAQ,MAAM,UAAU,MAAM,OAAO,aAAa,QAAQ,QAAQ,GACpE,OAAO,OAAO,WAAW,oBAAoB;CAE/C,OAAO,OAAO,gBAAgB,QAAQ,EAAE;AAC1C,CAAC;AAED,MAAa,cAAc,OAAO,GAAG,yBAAyB,CAAC,CAAC,WAC9D,SACA;CACA,OAAO,OAAO,aAAa,qBAAqB,CAAC,CAAC,OAAO,CAAC,CAAC,KACzD,OAAO,eAAe,WAAW,qBAAqB,CAAC,CACzD;CAEA,MAAM,UAAU,OAAO,gBACrB,QAAQ,UACR;EAAE,MAAM;EAAY,OAAO,QAAQ;CAAM,GACzC,CACF;CAEA,IACE,QAAQ,MACL,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,uBACjB,QAAQ,SAAS,UACjB,QAAQ,UAAU,QAAQ,KAC9B,GAEA,OAAO,OAAO,WAAW,sBAAsB;CAEjD,OAAO,OAAO,gBAAgB,QAAQ,EAAE;AAC1C,CAAC;;AAGD,MAAa,kBAAkB,OAAO,GAAG,6BAA6B,CAAC,CAAC,WACtE,SACA;CACA,OAAO,OAAO,aAAa,wBAAwB,CAAC,CAAC,OAAO,CAAC,CAAC,KAC5D,OAAO,eAAe,WAAW,yBAAyB,CAAC,CAC7D;CAEA,MAAM,OAAO,QAAO,OADC,YAAA,CACK,YAAY,kBAAkB,KAAK,EAAE,UAAU,QAAQ,SAAS,CAAC,CAAC;CAE5F,MAAM,UAAU,OAAO,gBACrB,QAAQ,UACR;EACE,MAAM;EACN,sBAAsB,KAAK;EAC3B,oBAAoB,KAAK;EACzB,GAAI,QAAQ,uBAAuB,KAAA,IAC/B,CAAC,IACD,EAAE,oBAAoB,QAAQ,mBAAmB;CACvD,GACA,QAAQ,KACV;CAEA,OAAO;EACL,UAAU,QAAQ;EAClB,cAAc,KAAK;EACnB,YAAY,KAAK;EACjB;CACF;AACF,CAAC;;;;;;;AAQD,MAAa,kBAAkB,OAAO,GAAG,6BAA6B,CAAC,CAAC,WACtE,SACA;CACA,OAAO,OAAO,aAAa,wBAAwB,CAAC,CAAC,OAAO,CAAC,CAAC,KAC5D,OAAO,eAAe,WAAW,yBAAyB,CAAC,CAC7D;CACA,MAAM,QAAQ,OAAO;CACrB,MAAM,SAAS,OAAO;CACtB,MAAM,OAAO,OAAO,MAAM,YAAY,kBAAkB,KAAK,EAAE,UAAU,QAAQ,SAAS,CAAC,CAAC;CAE5F,MAAM,UAAU,OAAO,gBACrB,QAAQ,UACR;EACE,MAAM;EACN,sBAAsB,KAAK;EAC3B,oBAAoB,KAAK;CAC3B,GACA,QAAQ,KACV;CAEA,MAAM,aAA6D,CAAC;CACpE,MAAM,eAA4C,CAAC;CAEnD,KAAK,MAAM,SAAS,SAAS;EAC3B,MAAM,UAAU,MAAM,OAAO;EAE7B,IAAI,QAAQ,SAAS,wBAAwB;GAC3C,aAAa,KAAK,OAAO;GACzB;EACF;EACA,IAAI,QAAQ,SAAS,sBAAsB,QAAQ,SAAS,mBAC1D,OAAO,OAAO,WAAW,wBAAwB;EAEnD,MAAM,gBACJ,QAAQ,SAAS,qBACb,QACA,OAAO,eACL,OAAO,UAAU;GACf,UAAU,QAAQ;GAClB,UAAU,yBAAyB,QAAQ,OAAO,QAAQ,MAAM,QAAQ,UAAU;EACpF,CAAC,CACH;EAEN,MAAM,aAAa,OAAO,eACxB,OAAO,YAAY;GAAE,UAAU,QAAQ;GAAU,OAAO,QAAQ;EAAM,CAAC,CACzE;EAEA,IACE,kBAAkB,KAAA,KAClB,eAAe,KAAA,KACf,cAAc,WAAW,KAAK,gBAC9B,WAAW,WAAW,KAAK,cAE3B,OAAO,OAAO,WAAW,uCAAuC;EAClE,MAAM,WAAW,cAAc,OAAO;EACtC,MAAM,QAAQ,WAAW,OAAO;EAEhC,IACE,UAAU,SAAS,sBACnB,SAAS,UAAU,QAAQ,SAC3B,SAAS,SAAS,QAAQ,QAC1B,SAAS,eAAe,QAAQ,cAChC,SAAS,aAAa,QAAQ,YAC9B,OAAO,SAAS,uBAChB,MAAM,iBAAiB,KAAA,KACvB,mBAAmB,MAAM,YAAY,MAAM,SAAS,OAEpD,OAAO,OAAO,WAAW,qCAAqC;EAEhE,MAAM,aAAa,OAAO,OAAO,OAC/B,qBAAqB,KAAK,EAAE,cAAc,MAAM,aAAa,CAAC,CAChE;EAEA,IAAI,OAAO,OAAO,UAAU,KAAK,WAAW,MAAM,aAAa,QAAQ,UACrE,OAAO,OAAO,WAAW,kCAAkC;EAC7D,WAAW,KAAK;GACd,cAAc,MAAM;GACpB;GACA,OAAO,QAAQ,SAAS,oBAAoB,YAAY;EAC1D,CAAC;CACH;CAEA,OAAO;EACL,UAAU,QAAQ;EAClB,iBAAiB,KAAK;EACtB,UAAU;EACV;EACA;CACF;AACF,CAAC;AAED,IAAa,wBAAb,cAA2C,OAAO,MAChD,4CACF,CAAC,CAAC;CACA,UAAU;CACV,eAAe;AACjB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,sBAAb,cAAyC,OAAO,MAC9C,0CACF,CAAC,CAAC;CACA,UAAU;CACV,OAAO;CACP,sBAAsB;CACtB,oBAAoB;CACpB,eAAe;AACjB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,eAAb,cAAkC,OAAO,MAAoB,mCAAmC,CAAC,CAAC;CAChG,eAAe;CACf,cAAc;CACd,YAAY;CACZ,UAAU,OAAO;AACnB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,aAAb,cAAgC,OAAO,MAAkB,iCAAiC,CAAC,CAAC;CAC1F,UAAU;CACV,eAAe,OAAO,YAAY,iBAAiB;CACnD,OAAO,OAAO,QAAQ,MAAM,OAAO,cAAc,CAAC,GAAG,OAAO,oBAAoB,IAAK,CAAC;AACxF,CAAC,CAAC,CAAC,CAAC;;AAGJ,MAAa,kBAAkB,OAAO,MAAM;CAC1C,OAAO,OAAO;EAAE,MAAM,OAAO,QAAQ,UAAU;EAAG,UAAU;CAAS,CAAC;CACtE,OAAO,OAAO;EAAE,MAAM,OAAO,QAAQ,UAAU;EAAG,OAAO;CAAM,CAAC;CAChE,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,aAAa;EAClC,sBAAsB;EACtB,oBAAoB;CACtB,CAAC;CACD,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,iBAAiB;EACtC,sBAAsB;EACtB,oBAAoB;CACtB,CAAC;CACD,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,aAAa;EAClC,sBAAsB;EACtB,oBAAoB;EACpB,oBAAoB,OAAO,YAAY,YAAY;CACrD,CAAC;AACH,CAAC;;AAKD,MAAa,qBAAqB,OAAO,OAAO;CAC9C,UAAU;CACV,WAAW;CACX,MAAM,OAAO,OAAO;EAClB,eAAe,OAAO,YAAY,iBAAiB;EACnD,OAAO,WAAW,OAAO;CAC3B,CAAC;AACH,CAAC;AAGD,MAAa,oBAAoB,OAAO,MAAM,CAAC,oBAAoB,UAAU,CAAC;AAG9E,IAAa,oBAAb,cAAuC,OAAO,MAC5C,wCACF,CAAC,CAAC;CACA,UAAU;CACV,aAAa,OAAO,YAAY,iBAAiB;AACnD,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,sBAAb,cAAyC,OAAO,MAC9C,0CACF,CAAC,CAAC,EACA,UAAU,SACZ,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,oBAAb,cAAuC,OAAO,MAC5C,wCACF,CAAC,CAAC,EACA,UAAU,SACZ,CAAC,CAAC,CAAC,CAAC;;;;;AAMJ,IAAa,aAAb,cAAgC,OAAO,MAAkB,iCAAiC,CAAC,CAAC;CAC1F,UAAU;CACV,cAAc;CACd,YAAY;CACZ,eAAe;AACjB,CAAC,CAAC,CAAC,CAAC;;AAIJ,IAAa,eAAb,cAAkC,OAAO,MAAoB,mCAAmC,CAAC,CAAC;CAChG,QAAQ,OAAO,QAAQ,uBAAuB;CAC9C,UAAU;CACV,cAAc;CACd,YAAY;CACZ,SAAS,OAAO,MAAM,uBAAuB,CAAC,CAAC,MAC7C,OAAO,YAAY,yBAAyB,CAC9C;AACF,CAAC,CAAC,CAAC,CAAC;;;;;;;AAQJ,IAAa,mBAAb,cAAsC,OAAO,MAC3C,uCACF,CAAC,CAAC;CACA,eAAe,OAAO,QAAQ,CAAC;CAC/B,UAAU;CACV,iBAAiB;CACjB,YAAY;;CAEZ,eAAe,OAAO,YAAY,OAAO,cAAc;;CAEvD,uBAAuB,OAAO,YAAY,MAAM;;CAEhD,aAAa,OAAO,YAAY,MAAM;;CAEtC,YAAY,OAAO,YAAY,MAAM;CACrC,OAAO;CACP,WAAW,OAAO;AACpB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,wBAAb,cAA2C,OAAO,MAChD,4CACF,CAAC,CAAC,EACA,YAAY,iBACd,CAAC,CAAC,CAAC,CAAC;;AAGJ,IAAa,gCAAb,cAAmD,OAAO,MACxD,oDACF,CAAC,CAAC;CACA,YAAY;CACZ,eAAe;AACjB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,wBAAb,cAA2C,OAAO,MAChD,4CACF,CAAC,CAAC;CACA,UAAU;CACV,oBAAoB,OAAO,YAAY,iBAAiB;AAC1D,CAAC,CAAC,CAAC,CAAC;;;;;;AAOJ,IAAa,wBAAb,cAA2C,OAAO,MAChD,4CACF,CAAC,CAAC;CACA,UAAU,OAAO,OAAO,MAAM,OAAO,YAAY,GAAG,CAAC;CACrD,WAAW,OAAO,OAAO,MAAM,OAAO,YAAY,GAAG,CAAC;CACtD,SAAS,OAAO,YAAY,OAAO,OAAO,MAAM,OAAO,YAAY,GAAG,CAAC,CAAC;CACxE,UAAU,OAAO,YAAY,OAAO,OAAO,MAAM,OAAO,YAAY,GAAG,CAAC,CAAC;CACzE,UAAU,OAAO,YAAY,iBAAiB;AAChD,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,mBAAb,cAAsC,OAAO,YAA8B,CAAC,CAAC,oBAAoB;CAC/F,WAAW,OAAO;CAClB,SAAS,OAAO;CAChB,OAAO,OAAO,YAAY,OAAO,OAAO,CAAC;CACzC,YAAY,OAAO,YAAY,qBAAqB;AACtD,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,wBAAb,cAA2C,OAAO,YAAmC,CAAC,CACpF,yBACA,EAAE,UAAU,SAAS,CACvB,CAAC,CAAC,CAAC;;;;;;AAOH,IAAa,iBAAb,cAAoC,OAAO,YAA4B,CAAC,CAAC,kBAAkB;CACzF,UAAU;CACV,SAAS;CACT,QAAQ,OAAO,SAAS;EAAC;EAAgB;EAAmB;CAAM,CAAC;CACnE,oBAAoB,OAAO,YAAY,iBAAiB;CACxD,kBAAkB,OAAO,YAAY,MAAM;AAC7C,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,gBAAb,cAAmC,OAAO,YAA2B,CAAC,CAAC,iBAAiB;CACtF,UAAU;CACV,aAAa;CACb,gBAAgB;AAClB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,qBAAb,cAAwC,OAAO,YAAgC,CAAC,CAC9E,sBACA;CACE,UAAU;CACV,QAAQ,OAAO,SAAS;EAAC;EAAiB;EAAmB;EAAuB;CAAS,CAAC;AAChG,CACF,CAAC,CAAC,CAAC;AA2CH,IAAa,cAAb,cAAiC,QAAQ,QAkCvC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC"}

package/dist/durable/ThreadStoreConformance.d.mts

@@ -0,0 +1,28 @@
+import { Qt as CheckpointRejected, Sn as ThreadStore, Tn as ThreadStoreFailure } from "../Records-D88mgvyS.mjs";
+import { Effect, Schema } from "effect";
+//#region src/durable/ThreadStoreConformance.d.ts
+declare const ThreadStoreConformanceViolation_base: Schema.Class<ThreadStoreConformanceViolation, Schema.TaggedStruct<"ThreadStoreConformanceViolation", {
+  readonly caseName: Schema.String;
+  readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/** A ThreadStore contract invariant that an adapter under test violated. */
+export declare class ThreadStoreConformanceViolation extends ThreadStoreConformanceViolation_base {}
+export type ThreadStoreConformanceFailure = ThreadStoreFailure | CheckpointRejected | ThreadStoreConformanceViolation;
+/**
+ * One adapter-neutral ThreadStore contract case. Each case owns disjoint
+ * Thread identities, so a suite may run every case against one shared store
+ * instance or against a fresh store per case.
+ */
+export interface ThreadStoreConformanceCase {
+  readonly name: string;
+  readonly run: Effect.Effect<void, ThreadStoreConformanceFailure, ThreadStore>;
+}
+/**
+ * The shared, adapter-parameterized ThreadStore contract suite (STORE-010). Every
+ * durable adapter test suite must execute each case against its own store provisioning.
+ */
+export declare const threadStoreConformanceCases: ReadonlyArray<ThreadStoreConformanceCase>;
+/** Additional contract cases only for adapters advertising `ThreadStore.checkpoints`. */
+export declare const threadCheckpointConformanceCases: ReadonlyArray<ThreadStoreConformanceCase>;
+//#endregion
+//# sourceMappingURL=ThreadStoreConformance.d.mts.map