@yielded/agent-storage-cloudflare 0.1.0-beta.167 → 0.1.0-beta.169

package/src/MemoryProtocol.ts

@@ -168,7 +168,7 @@ export class MemoryOwnerIdentity extends Context.Service<
 
 export const memoryWireBytes = (text: string): number => new TextEncoder().encode(text).byteLength;
 
-export const decodeMemoryWire = Effect.fn("decodeMemoryWire")(function* <A, I>(
+export const decodeMemoryWire = Effect.fnUntraced(function* <A, I>(
   schema: Schema.Codec<A, I, never>,
   raw: unknown,
   maxBytes: number,
@@ -185,7 +185,7 @@ export const decodeMemoryWire = Effect.fn("decodeMemoryWire")(function* <A, I>(
   );
 });
 
-export const encodeMemoryWire = Effect.fn("encodeMemoryWire")(function* <A, I>(
+export const encodeMemoryWire = Effect.fnUntraced(function* <A, I>(
   schema: Schema.Codec<A, I, never, never>,
   value: A,
   maxBytes: number,
@@ -201,7 +201,7 @@ export const encodeMemoryWire = Effect.fn("encodeMemoryWire")(function* <A, I>(
 });
 
 /** One local read for Get, or per distinct candidate source. No discovery or background work. */
-export const handleMemoryOwnerRequest = Effect.fn("MemoryOwner.handleRequest")(function* (
+export const handleMemoryOwnerRequest = Effect.fnUntraced(function* (
   raw: unknown,
   limits: MemoryRpcLimits = defaultMemoryRpcLimits,
 ): Effect.fn.Return<

package/src/PortProtocol.ts

@@ -1,3 +1,4 @@
+import { IntegrityReport } from "@yielded/agent/admin";
 import { DurableRuntimeFailpointError } from "@yielded/agent/durable-failpoint";
 import { ThreadId } from "@yielded/agent/identifiers";
 import {
@@ -9,7 +10,12 @@ import {
   MessageDeliveryPageRequest,
   MessageDeliveryPage,
 } from "@yielded/agent/message-delivery";
-import { CanonicalRecordEnvelope } from "@yielded/agent/records";
+import { ReadEnvelope } from "@yielded/agent/record-format";
+import { PromptRecordEnvelope } from "@yielded/agent/records";
+import {
+  SettlementPublication,
+  SettlementPublicationResult,
+} from "@yielded/agent/settlement-publisher";
 import {
   AbortCommand,
   WorkerStopCommand,
@@ -24,31 +30,55 @@ import {
   ChildSettledOutcome,
   JoinedToHost,
   LedgerError,
+  OwnershipLost,
   MarkReadyRequest,
   SettlementConflict,
   SubmissionLookup,
   SubmissionLookupByKey,
   SubmissionSnapshot,
+  FundingOwnerRequest,
+  FundingOwner,
 } from "@yielded/agent/submission-ledger";
+import {
+  ThreadArchiveRange,
+  ThreadArchiveRangePage,
+  ThreadArchiveRangeRead,
+  ThreadArchiveRangeRequest,
+  ThreadArchiveRangeSeal,
+  ThreadArchiveRangePublish,
+} from "@yielded/agent/thread-archive-range";
 import {
   AppendConflict,
+  ExecutionRead,
+  ExecutionCheckpoint,
   AppendResult,
   ThreadExport,
   ThreadPeerCountRequest,
   ThreadExportRequest,
   ThreadIdentity,
   ThreadIdentityRequest,
+  ThreadWorkerCapacityRequest,
+  ThreadWorkerCapacity,
+  ThreadVerificationRequest,
   ThreadMaterialization,
   ThreadNotMaterialized,
+  ThreadExportRejected,
   ThreadReadRequest,
+  ThreadPromptRead,
   ThreadStoreError,
   ThreadTail,
   ThreadTailRequest,
-  FenceRejected,
-  FencedAppendRequest,
+  AppendRequest,
 } from "@yielded/agent/thread-store";
+import {
+  ThreadWorkRequest,
+  ThreadWorkPage,
+  WorkIndexRebuildRequest,
+  WorkIndexProgress,
+  WorkDiscoveryUnavailable,
+} from "@yielded/agent/thread-work";
 import { WorkerAdmissionRequest } from "@yielded/agent/worker-admission";
-import { Schema } from "effect";
+import { Schema, SchemaGetter } from "effect";
 
 /**
  * The cross-Durable-Object port protocol (plan §1.3, D-P6-3): Schema request/response/error
@@ -66,11 +96,12 @@ import { Schema } from "effect";
  * - worker: `admitWorker` (ledger admission, materialization, creation, origin, readiness);
  * - ledger: `admit`, `markReady`, `lookup`, `resolveAdmission`, `requestAbort`,
  *   `recordChildSettled`;
- * - store: `materialize`, `append`, `read` (one page), `readIdentity`, `inspectTail`, `export`.
+ * - publisher: `publish`;
+ * - store: `materialize`, `append`, `read` and `readPrompt` (one page), `readIdentity`,
+ *   `inspectTail`, `export`, `countPeerMessages`, `work.page`, `work.rebuild`.
  *
- * Every other port operation is lane-local and has no envelope. A foreign disposable
- * recovery-cache load returns a miss so the caller can replay canonical history. Other
- * foreign operations fail fast and typed instead of widening the distributed surface.
+ * Every other port operation is lane-local and has no envelope. Foreign operations
+ * fail fast and typed instead of widening the distributed surface.
  *
  * Failures cross the boundary as the `PortFailure` union and re-decode on the caller side to
  * the SAME tagged error types the local facet would have produced, so routed calls keep
@@ -133,6 +164,11 @@ export class LedgerLookupCall extends Schema.TaggedClass<LedgerLookupCall>(
   request: SubmissionLookup,
 }) {}
 
+export class LedgerFundingOwnerCall extends Schema.TaggedClass<LedgerFundingOwnerCall>()(
+  "LedgerFundingOwner",
+  { request: FundingOwnerRequest },
+) {}
+
 /** Routed `SubmissionLedger.resolveAdmission` — the SUB-031 tri-state authority call. */
 export class LedgerResolveAdmissionCall extends Schema.TaggedClass<LedgerResolveAdmissionCall>(
   "@effect-agent/storage-cloudflare/LedgerResolveAdmissionCall",
@@ -174,6 +210,17 @@ export class LedgerRecordChildSettledCall extends Schema.TaggedClass<LedgerRecor
   request: ChildSettledNotification,
 }) {}
 
+/** Publish canonical settlement intent at the owning Thread. */
+export class SettlementPublishCall extends Schema.TaggedClass<SettlementPublishCall>()(
+  "SettlementPublish",
+  { request: SettlementPublication },
+) {}
+
+export class SettlementPublishResult extends Schema.TaggedClass<SettlementPublishResult>()(
+  "SettlementPublishResult",
+  { result: SettlementPublicationResult },
+) {}
+
 /** Routed `ThreadStore.materialize` against the owning Object. */
 export class StoreMaterializeCall extends Schema.TaggedClass<StoreMaterializeCall>(
   "@effect-agent/storage-cloudflare/StoreMaterializeCall",
@@ -185,7 +232,7 @@ export class StoreMaterializeCall extends Schema.TaggedClass<StoreMaterializeCal
 export class StoreAppendCall extends Schema.TaggedClass<StoreAppendCall>(
   "@effect-agent/storage-cloudflare/StoreAppendCall",
 )("StoreAppend", {
-  request: FencedAppendRequest,
+  request: AppendRequest,
 }) {}
 
 /** Routed one-page `ThreadStore.read`; the page bound is the request's own `limit`. */
@@ -195,6 +242,11 @@ export class StoreReadPageCall extends Schema.TaggedClass<StoreReadPageCall>(
   request: ThreadReadRequest,
 }) {}
 
+export class StoreReadPromptCall extends Schema.TaggedClass<StoreReadPromptCall>()(
+  "StoreReadPrompt",
+  { request: ThreadPromptRead },
+) {}
+
 /** Routed `ThreadStore.inspectTail` against the owning Object. */
 export class StoreInspectTailCall extends Schema.TaggedClass<StoreInspectTailCall>(
   "@effect-agent/storage-cloudflare/StoreInspectTailCall",
@@ -209,6 +261,21 @@ export class StoreReadIdentityCall extends Schema.TaggedClass<StoreReadIdentityC
   request: ThreadIdentityRequest,
 }) {}
 
+export class StoreReadExecutionCall extends Schema.TaggedClass<StoreReadExecutionCall>()(
+  "StoreReadExecution",
+  { request: ExecutionRead },
+) {}
+
+export class StoreWorkerCapacityCall extends Schema.TaggedClass<StoreWorkerCapacityCall>()(
+  "StoreWorkerCapacity",
+  { request: ThreadWorkerCapacityRequest },
+) {}
+
+export class StoreVerificationCall extends Schema.TaggedClass<StoreVerificationCall>()(
+  "StoreVerification",
+  { request: ThreadVerificationRequest },
+) {}
+
 /** Routed `ThreadStore.export` against the owning Object. */
 export class StoreExportCall extends Schema.TaggedClass<StoreExportCall>(
   "@effect-agent/storage-cloudflare/StoreExportCall",
@@ -221,6 +288,16 @@ export class StoreCountPeerMessagesCall extends Schema.TaggedClass<StoreCountPee
   { request: ThreadPeerCountRequest },
 ) {}
 
+/** Work maintenance is routed to the exact Thread's authoritative owner. */
+export class StoreWorkPageCall extends Schema.TaggedClass<StoreWorkPageCall>()("StoreWorkPage", {
+  request: ThreadWorkRequest,
+}) {}
+
+export class StoreWorkRebuildCall extends Schema.TaggedClass<StoreWorkRebuildCall>()(
+  "StoreWorkRebuild",
+  { request: WorkIndexRebuildRequest },
+) {}
+
 export class MessageDeliveryListCall extends Schema.TaggedClass<MessageDeliveryListCall>()(
   "MessageDeliveryList",
   { request: MessageDeliveryPageRequest },
@@ -231,26 +308,56 @@ export class MessageDeliveryCompleteCall extends Schema.TaggedClass<MessageDeliv
   { key: MessageDeliveryKey, completion: MessageDeliveryCompletion },
 ) {}
 
+export class StoreRangePageCall extends Schema.TaggedClass<StoreRangePageCall>()("StoreRangePage", {
+  request: ThreadArchiveRangeRead,
+}) {}
+
+export class StoreRangeSealCall extends Schema.TaggedClass<StoreRangeSealCall>()("StoreRangeSeal", {
+  request: ThreadArchiveRangeSeal,
+}) {}
+
+export class StoreRangeArchiveCall extends Schema.TaggedClass<StoreRangeArchiveCall>()(
+  "StoreRangeArchive",
+  { request: ThreadArchiveRangePublish },
+) {}
+
+export class StoreRangeVerifyCall extends Schema.TaggedClass<StoreRangeVerifyCall>()(
+  "StoreRangeVerify",
+  { request: ThreadArchiveRangeRequest },
+) {}
+
 /** Every request that may cross a Durable Object boundary — the CLOSED route-capable subset. */
 export const PortRequest = Schema.Union([
+  SettlementPublishCall,
   WorkerAdmitCall,
   MessageDeliveryListCall,
   MessageDeliveryCompleteCall,
   LedgerAdmitCall,
   LedgerMarkReadyCall,
   LedgerLookupCall,
+  LedgerFundingOwnerCall,
   LedgerResolveAdmissionCall,
   LedgerRequestAbortCall,
   LedgerStopWorkerCall,
   LedgerInspectWorkerCall,
   LedgerRecordChildSettledCall,
+  StoreRangePageCall,
+  StoreRangeSealCall,
+  StoreRangeArchiveCall,
+  StoreRangeVerifyCall,
   StoreMaterializeCall,
   StoreAppendCall,
   StoreReadPageCall,
+  StoreReadPromptCall,
   StoreInspectTailCall,
   StoreReadIdentityCall,
+  StoreReadExecutionCall,
+  StoreWorkerCapacityCall,
+  StoreVerificationCall,
   StoreExportCall,
   StoreCountPeerMessagesCall,
+  StoreWorkPageCall,
+  StoreWorkRebuildCall,
 ]);
 
 export type PortRequest = typeof PortRequest.Type;
@@ -318,21 +425,56 @@ export class StoreAppendResult extends Schema.TaggedClass<StoreAppendResult>(
 export class StoreReadPageResult extends Schema.TaggedClass<StoreReadPageResult>(
   "@effect-agent/storage-cloudflare/StoreReadPageResult",
 )("StoreReadPageResult", {
-  records: Schema.Array(CanonicalRecordEnvelope).check(Schema.isMaxLength(1_024)),
+  records: Schema.Array(ReadEnvelope).check(Schema.isMaxLength(1_024)),
 }) {}
 
+export class StoreReadPromptResult extends Schema.TaggedClass<StoreReadPromptResult>()(
+  "StoreReadPromptResult",
+  {
+    records: Schema.Array(PromptRecordEnvelope).check(Schema.isMaxLength(1_024)),
+  },
+) {}
+
 export class StoreInspectTailResult extends Schema.TaggedClass<StoreInspectTailResult>(
   "@effect-agent/storage-cloudflare/StoreInspectTailResult",
 )("StoreInspectTailResult", {
   tail: ThreadTail,
 }) {}
 
+export class StoreReadExecutionResult extends Schema.TaggedClass<StoreReadExecutionResult>()(
+  "StoreReadExecutionResult",
+  { checkpoint: Schema.OptionFromNullOr(ExecutionCheckpoint) },
+) {}
+
 export class StoreReadIdentityResult extends Schema.TaggedClass<StoreReadIdentityResult>(
   "@effect-agent/storage-cloudflare/StoreReadIdentityResult",
 )("StoreReadIdentityResult", {
-  identity: ThreadIdentity,
+  identity: Schema.Struct({
+    ...ThreadIdentity.fields,
+    records: Schema.Array(ReadEnvelope).check(Schema.isMaxLength(3)),
+  }).pipe(
+    Schema.decodeTo(Schema.toType(ThreadIdentity), {
+      decode: SchemaGetter.transform((fields) => ThreadIdentity.make(fields)),
+      encode: SchemaGetter.transform((identity) => identity),
+    }),
+  ),
 }) {}
 
+export class LedgerFundingOwnerResult extends Schema.TaggedClass<LedgerFundingOwnerResult>()(
+  "LedgerFundingOwnerResult",
+  { funding: FundingOwner },
+) {}
+
+export class StoreWorkerCapacityResult extends Schema.TaggedClass<StoreWorkerCapacityResult>()(
+  "StoreWorkerCapacityResult",
+  { capacity: ThreadWorkerCapacity },
+) {}
+
+export class StoreVerificationResult extends Schema.TaggedClass<StoreVerificationResult>()(
+  "StoreVerificationResult",
+  { report: IntegrityReport },
+) {}
+
 export class StoreExportResult extends Schema.TaggedClass<StoreExportResult>(
   "@effect-agent/storage-cloudflare/StoreExportResult",
 )("StoreExportResult", {
@@ -344,6 +486,16 @@ export class StoreCountPeerMessagesResult extends Schema.TaggedClass<StoreCountP
   { count: Schema.Int.check(Schema.isBetween({ minimum: 0, maximum: 1000 })) },
 ) {}
 
+export class StoreWorkPageResult extends Schema.TaggedClass<StoreWorkPageResult>()(
+  "StoreWorkPageResult",
+  { page: ThreadWorkPage },
+) {}
+
+export class StoreWorkRebuildResult extends Schema.TaggedClass<StoreWorkRebuildResult>()(
+  "StoreWorkRebuildResult",
+  { progress: WorkIndexProgress },
+) {}
+
 export class MessageDeliveryListResult extends Schema.TaggedClass<MessageDeliveryListResult>()(
   "MessageDeliveryListResult",
   { page: MessageDeliveryPage },
@@ -354,26 +506,58 @@ export class MessageDeliveryCompleteResult extends Schema.TaggedClass<MessageDel
   { record: MessageDeliveryRecord },
 ) {}
 
+export class StoreRangePageResult extends Schema.TaggedClass<StoreRangePageResult>()(
+  "StoreRangePageResult",
+  { page: ThreadArchiveRangePage },
+) {}
+
+export class StoreRangeSealResult extends Schema.TaggedClass<StoreRangeSealResult>()(
+  "StoreRangeSealResult",
+  { range: Schema.Option(ThreadArchiveRange) },
+) {}
+
+export class StoreRangeArchiveResult extends Schema.TaggedClass<StoreRangeArchiveResult>()(
+  "StoreRangeArchiveResult",
+  { range: ThreadArchiveRange },
+) {}
+
+export class StoreRangeVerifyResult extends Schema.TaggedClass<StoreRangeVerifyResult>()(
+  "StoreRangeVerifyResult",
+  { range: ThreadArchiveRange },
+) {}
+
 /** Every successful routed result. Callers narrow by the tag their request implies. */
 export const PortResult = Schema.Union([
+  SettlementPublishResult,
   WorkerAdmitResult,
   MessageDeliveryListResult,
   MessageDeliveryCompleteResult,
   LedgerAdmitResult,
   LedgerMarkReadyResult,
   LedgerLookupResult,
+  LedgerFundingOwnerResult,
   LedgerResolveAdmissionResult,
   LedgerRequestAbortResult,
   LedgerStopWorkerResult,
   LedgerInspectWorkerResult,
   LedgerRecordChildSettledResult,
+  StoreRangePageResult,
+  StoreRangeSealResult,
+  StoreRangeArchiveResult,
+  StoreRangeVerifyResult,
   StoreMaterializeResult,
   StoreAppendResult,
   StoreReadPageResult,
+  StoreReadPromptResult,
   StoreInspectTailResult,
   StoreReadIdentityResult,
+  StoreReadExecutionResult,
+  StoreWorkerCapacityResult,
+  StoreVerificationResult,
   StoreExportResult,
   StoreCountPeerMessagesResult,
+  StoreWorkPageResult,
+  StoreWorkRebuildResult,
 ]);
 
 export type PortResult = typeof PortResult.Type;
@@ -388,6 +572,7 @@ export type PortResult = typeof PortResult.Type;
  * thread ports declare, so a routed caller observes identical error tags and fields.
  */
 export const PortFailure = Schema.Union([
+  OwnershipLost,
   DurableRuntimeFailpointError,
   MessageDeliveryError,
   MessageDeliveryFailpointError,
@@ -397,9 +582,10 @@ export const PortFailure = Schema.Union([
   JoinedToHost,
   LedgerError,
   ThreadStoreError,
+  WorkDiscoveryUnavailable,
   ThreadNotMaterialized,
+  ThreadExportRejected,
   AppendConflict,
-  FenceRejected,
   PortProtocolError,
 ]);