@maiaos/node 0.1.0-canary.44938d4.manual.1

package/dist/orchestration/storage.d.ts

@@ -0,0 +1,200 @@
+import type { DatabaseSync, StatementSync } from "node:sqlite";
+import { type OrchestrationAggregate, type OrchestrationDelivery, type OrchestrationDispatchShowParameters, type OrchestrationDispatchShowResult, type OrchestrationInboxAckParameters, type OrchestrationInboxAckResult, type OrchestrationInboxCheckParameters, type OrchestrationInboxCheckResult, type OrchestrationRunCreateParameters, type OrchestrationRunCreateResult, type OrchestrationRunListParameters, type OrchestrationRunListResult, type OrchestrationRunShowResult, type OrchestrationTaskListParameters, type OrchestrationTaskListResult, type OrchestrationTaskShowParameters, type OrchestrationTaskShowResult } from "@maiaos/protocol";
+import { Schema } from "effect";
+import { type PersistedCommand, type PersistedCommandResult } from "../storage/journal.js";
+export declare const ORCHESTRATION_RUN_AGGREGATE_TYPE = "orchestration-run";
+export declare const ORCHESTRATION_MAILBOX_AGGREGATE_TYPE = "orchestration-mailbox";
+declare const LOCAL_USER_ACTOR_ID = "actor_local_user";
+export declare const id: (prefix: string) => string;
+export declare const requireLocalCoordinatorActor: (actorId: string) => asserts actorId is typeof LOCAL_USER_ACTOR_ID;
+export declare const statementWithBigInts: (database: DatabaseSync, sql: string) => StatementSync;
+declare const runRowSchema: Schema.Struct<{
+    readonly coordinatorActorId: Schema.String;
+    readonly coordinatorEpoch: Schema.BigInt;
+    readonly createdAt: Schema.String;
+    readonly dispatchTaskId: Schema.String;
+    readonly id: Schema.String;
+    readonly messageContentBytes: Schema.BigInt;
+    readonly revision: Schema.BigInt;
+    readonly rootTaskId: Schema.String;
+    readonly state: Schema.String;
+    readonly terminalId: Schema.String;
+    readonly updatedAt: Schema.String;
+    readonly workspaceId: Schema.String;
+}>;
+export type RunRow = typeof runRowSchema.Type;
+declare const taskRowSchema: Schema.Struct<{
+    readonly clientKey: Schema.String;
+    readonly createdAt: Schema.String;
+    readonly id: Schema.String;
+    readonly objective: Schema.String;
+    readonly revision: Schema.BigInt;
+    readonly runId: Schema.String;
+    readonly state: Schema.String;
+    readonly updatedAt: Schema.String;
+    readonly workspaceId: Schema.String;
+}>;
+export type TaskRow = typeof taskRowSchema.Type;
+declare const attemptRowSchema: Schema.Struct<{
+    readonly createdAt: Schema.String;
+    readonly id: Schema.String;
+    readonly ordinal: Schema.BigInt;
+    readonly revision: Schema.BigInt;
+    readonly runId: Schema.String;
+    readonly state: Schema.String;
+    readonly taskId: Schema.String;
+    readonly updatedAt: Schema.String;
+}>;
+export type AttemptRow = typeof attemptRowSchema.Type;
+declare const dispatchRowSchema: Schema.Struct<{
+    readonly attemptId: Schema.String;
+    readonly createdAt: Schema.String;
+    readonly failureCode: Schema.NullOr<Schema.String>;
+    readonly failurePlatform: Schema.NullOr<Schema.String>;
+    readonly id: Schema.String;
+    readonly revision: Schema.BigInt;
+    readonly runId: Schema.String;
+    readonly state: Schema.String;
+    readonly taskId: Schema.String;
+    readonly terminalId: Schema.String;
+    readonly updatedAt: Schema.String;
+}>;
+export type DispatchRow = typeof dispatchRowSchema.Type;
+declare const mailboxRowSchema: Schema.Struct<{
+    readonly contentBytes: Schema.BigInt;
+    readonly createdAt: Schema.String;
+    readonly deliveryCount: Schema.BigInt;
+    readonly headSequence: Schema.BigInt;
+    readonly id: Schema.String;
+    readonly ownerId: Schema.String;
+    readonly ownerKind: Schema.String;
+    readonly revision: Schema.BigInt;
+    readonly runId: Schema.String;
+    readonly updatedAt: Schema.String;
+}>;
+type MailboxRow = typeof mailboxRowSchema.Type;
+declare const questionRowSchema: Schema.Struct<{
+    readonly answer: Schema.NullOr<Schema.String>;
+    readonly askMessageId: Schema.String;
+    readonly attemptId: Schema.String;
+    readonly body: Schema.String;
+    readonly createdAt: Schema.String;
+    readonly dispatchId: Schema.String;
+    readonly id: Schema.String;
+    readonly replyMessageId: Schema.NullOr<Schema.String>;
+    readonly revision: Schema.BigInt;
+    readonly runId: Schema.String;
+    readonly state: Schema.String;
+    readonly subject: Schema.String;
+    readonly taskId: Schema.String;
+    readonly updatedAt: Schema.String;
+}>;
+export type QuestionRow = typeof questionRowSchema.Type;
+export declare const decodeQuestionRow: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => {
+    readonly answer: string | null;
+    readonly askMessageId: string;
+    readonly attemptId: string;
+    readonly body: string;
+    readonly createdAt: string;
+    readonly dispatchId: string;
+    readonly id: string;
+    readonly replyMessageId: string | null;
+    readonly revision: bigint;
+    readonly runId: string;
+    readonly state: string;
+    readonly subject: string;
+    readonly taskId: string;
+    readonly updatedAt: string;
+};
+export declare const readRunRow: (database: DatabaseSync, runId: string) => RunRow;
+export declare const readTaskRows: (database: DatabaseSync, runId: string) => readonly TaskRow[];
+export declare const readAttemptRow: (database: DatabaseSync, runId: string) => AttemptRow;
+export declare const readDispatchRow: (database: DatabaseSync, runId: string) => DispatchRow;
+export declare const readOrchestrationAggregate: (database: DatabaseSync, runId: string) => OrchestrationAggregate;
+export declare const readOrchestrationDelivery: (database: DatabaseSync, deliveryId: string) => OrchestrationDelivery;
+export declare const requireCoordinator: (database: DatabaseSync, runId: string, coordinatorEpoch: number) => RunRow;
+export declare const requireDispatchScope: (database: DatabaseSync, scope: {
+    readonly dispatchId: string;
+    readonly expectedDispatchRevision: string;
+    readonly expectedRunRevision: string;
+    readonly run: RunRow;
+}) => DispatchRow;
+export declare const requireOneChange: (result: {
+    readonly changes: bigint | number;
+}, message: string) => void;
+export type PublishMessageInput = {
+    readonly body: string;
+    readonly deliveryId?: string;
+    readonly messageId?: string;
+    readonly owner: {
+        readonly id: string;
+        readonly kind: "dispatch" | "run";
+    };
+    readonly questionId?: string;
+    readonly runId: string;
+    readonly subject: string;
+    readonly type: "dispatch" | "dispatch-settled" | "question" | "reply";
+};
+export type PreparedOrchestrationPublication = {
+    readonly contentBytes: number;
+    readonly deliveryId: string;
+    readonly digest: string;
+    readonly input: PublishMessageInput;
+    readonly mailbox: MailboxRow;
+    readonly messageId: string;
+    readonly nextMailboxRevision: bigint;
+    readonly nextSequence: bigint;
+    readonly recordedAt: string;
+    readonly run: RunRow;
+};
+export declare const prepareOrchestrationPublication: (database: DatabaseSync, input: PublishMessageInput, recordedAt: string) => PreparedOrchestrationPublication;
+export declare const persistOrchestrationPublication: (database: DatabaseSync, publication: PreparedOrchestrationPublication) => string;
+export declare const publishMessage: (database: DatabaseSync, input: PublishMessageInput, recordedAt: string) => string;
+export declare const requireTerminalAuthority: (database: DatabaseSync, workspaceId: string, terminalId: string) => {
+    readonly code: string;
+    readonly platform: string;
+    readonly revision: bigint;
+    readonly state: string;
+    readonly workspaceId: string;
+    readonly workspaceRevision: bigint;
+};
+export type CommandPointer = {
+    readonly deliveryId?: string;
+    readonly runId: string;
+};
+export declare const readCommandPointer: (result: PersistedCommandResult) => CommandPointer;
+export declare const commandBase: (input: {
+    readonly actorId: string;
+    readonly aggregateId: string;
+    readonly aggregateType: string;
+    readonly commandId: string;
+    readonly eventPayload: unknown;
+    readonly eventType: string;
+    readonly expectedRevision: bigint;
+    readonly method: string;
+    readonly pointer: CommandPointer;
+    readonly requestDigest: string;
+}) => PersistedCommand;
+type RunCreateInput = {
+    readonly actorId: string;
+    readonly parameters: OrchestrationRunCreateParameters;
+    readonly requestDigest: string;
+};
+export declare const createOrchestrationRun: (database: DatabaseSync, input: RunCreateInput, recordedAt: string) => OrchestrationRunCreateResult;
+export declare const showOrchestrationRun: (database: DatabaseSync, runId: string) => OrchestrationRunShowResult;
+export declare const listOrchestrationRuns: (database: DatabaseSync, rawParameters: OrchestrationRunListParameters) => OrchestrationRunListResult;
+export declare const encodedOrchestrationTaskListResult: (input: unknown) => OrchestrationTaskListResult;
+export declare const listOrchestrationTasks: (database: DatabaseSync, rawParameters: OrchestrationTaskListParameters) => OrchestrationTaskListResult;
+export declare const encodedOrchestrationTaskShowResult: (input: unknown) => OrchestrationTaskShowResult;
+export declare const showOrchestrationTask: (database: DatabaseSync, rawParameters: OrchestrationTaskShowParameters) => OrchestrationTaskShowResult;
+export declare const encodedOrchestrationDispatchShowResult: (input: unknown) => OrchestrationDispatchShowResult;
+export declare const showOrchestrationDispatch: (database: DatabaseSync, rawParameters: OrchestrationDispatchShowParameters) => OrchestrationDispatchShowResult;
+export declare const checkOrchestrationInbox: (database: DatabaseSync, parameters: OrchestrationInboxCheckParameters, recordedAt: string) => OrchestrationInboxCheckResult;
+type InboxAckInput = {
+    readonly actorId: string;
+    readonly parameters: OrchestrationInboxAckParameters;
+    readonly requestDigest: string;
+};
+export declare const acknowledgeOrchestrationDelivery: (database: DatabaseSync, input: InboxAckInput, recordedAt: string) => OrchestrationInboxAckResult;
+export {};
+//# sourceMappingURL=storage.d.ts.map

package/dist/orchestration/storage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage.d.ts","sourceRoot":"","sources":["../../src/orchestration/storage.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE/D,OAAO,EAaL,KAAK,sBAAsB,EAE3B,KAAK,qBAAqB,EAE1B,KAAK,mCAAmC,EAExC,KAAK,+BAA+B,EAEpC,KAAK,+BAA+B,EACpC,KAAK,2BAA2B,EAEhC,KAAK,iCAAiC,EACtC,KAAK,6BAA6B,EAIlC,KAAK,gCAAgC,EAErC,KAAK,4BAA4B,EAEjC,KAAK,8BAA8B,EAEnC,KAAK,0BAA0B,EAE/B,KAAK,0BAA0B,EAG/B,KAAK,+BAA+B,EAEpC,KAAK,2BAA2B,EAEhC,KAAK,+BAA+B,EAEpC,KAAK,2BAA2B,EAGjC,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAIhC,OAAO,EAIL,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAC5B,MAAM,uBAAuB,CAAC;AAG/B,eAAO,MAAM,gCAAgC,sBAAsB,CAAC;AACpE,eAAO,MAAM,oCAAoC,0BAA0B,CAAC;AAC5E,QAAA,MAAM,mBAAmB,qBAAqB,CAAC;AAE/C,eAAO,MAAM,EAAE,GAAI,QAAQ,MAAM,KAAG,MACa,CAAC;AAElD,eAAO,MAAM,4BAA4B,EAAE,CACzC,OAAO,EAAE,MAAM,KACZ,OAAO,CAAC,OAAO,IAAI,OAAO,mBAO9B,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,UAAU,YAAY,EACtB,KAAK,MAAM,KACV,aAIF,CAAC;AAEF,QAAA,MAAM,YAAY;;;;;;;;;;;;;EAahB,CAAC;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,YAAY,CAAC,IAAI,CAAC;AAG9C,QAAA,MAAM,aAAa;;;;;;;;;;EAUjB,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC;AAWhD,QAAA,MAAM,gBAAgB;;;;;;;;;EASpB,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAC;AAGtD,QAAA,MAAM,iBAAiB;;;;;;;;;;;;EAYrB,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAC;AAGxD,QAAA,MAAM,gBAAgB;;;;;;;;;;;EAWpB,CAAC;AACH,KAAK,UAAU,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAC;AAG/C,QAAA,MAAM,iBAAiB;;;;;;;;;;;;;;;EAerB,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAC;AACxD,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;CAA8C,CAAC;AA0C7E,eAAO,MAAM,UAAU,GAAI,UAAU,YAAY,EAAE,OAAO,MAAM,KAAG,MAgBlE,CAAC;AAEF,eAAO,MAAM,YAAY,GACvB,UAAU,YAAY,EACtB,OAAO,MAAM,KACZ,SAAS,OAAO,EASkB,CAAC;AAEtC,eAAO,MAAM,cAAc,GACzB,UAAU,YAAY,EACtB,OAAO,MAAM,KACZ,UAcF,CAAC;AAEF,eAAO,MAAM,eAAe,GAC1B,UAAU,YAAY,EACtB,OAAO,MAAM,KACZ,WAgBF,CAAC;AAgLF,eAAO,MAAM,0BAA0B,GACrC,UAAU,YAAY,EACtB,OAAO,MAAM,KACZ,sBAUF,CAAC;AA2DF,eAAO,MAAM,yBAAyB,GACpC,UAAU,YAAY,EACtB,YAAY,MAAM,KACjB,qBAoBF,CAAC;AAyBF,eAAO,MAAM,kBAAkB,GAC7B,UAAU,YAAY,EACtB,OAAO,MAAM,EACb,kBAAkB,MAAM,KACvB,MAaF,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,UAAU,YAAY,EACtB,OAAO;IACL,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,KACA,WAcF,CAAC;AAoBF,eAAO,MAAM,gBAAgB,GAC3B,QAAQ;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,EAC7C,SAAS,MAAM,KACd,IAIF,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,KAAK,CAAA;KAAE,CAAC;IAC3E,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,kBAAkB,GAAG,UAAU,GAAG,OAAO,CAAC;CACvE,CAAC;AAEF,MAAM,MAAM,gCAAgC,GAAG;IAC7C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAsCF,eAAO,MAAM,+BAA+B,GAC1C,UAAU,YAAY,EACtB,OAAO,mBAAmB,EAC1B,YAAY,MAAM,KACjB,gCAmBF,CAAC;AAuGF,eAAO,MAAM,+BAA+B,GAC1C,UAAU,YAAY,EACtB,aAAa,gCAAgC,KAC5C,MAMF,CAAC;AAEF,eAAO,MAAM,cAAc,GACzB,UAAU,YAAY,EACtB,OAAO,mBAAmB,EAC1B,YAAY,MAAM,KACjB,MAOF,CAAC;AA8BF,eAAO,MAAM,wBAAwB,GACnC,UAAU,YAAY,EACtB,aAAa,MAAM,EACnB,YAAY,MAAM;;;;;;;CAWnB,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAC7B,QAAQ,sBAAsB,KAC7B,cAqBF,CAAC;AAEF,eAAO,MAAM,WAAW,GAAI,OAAO;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,KAAG,gBAaF,CAAC;AA6OH,KAAK,cAAc,GAAG;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,gCAAgC,CAAC;IACtD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,CAAC;AAqGF,eAAO,MAAM,sBAAsB,GACjC,UAAU,YAAY,EACtB,OAAO,cAAc,EACrB,YAAY,MAAM,KACjB,4BAgBF,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,UAAU,YAAY,EACtB,OAAO,MAAM,KACZ,0BAIC,CAAC;AAoEL,eAAO,MAAM,qBAAqB,GAChC,UAAU,YAAY,EACtB,eAAe,8BAA8B,KAC5C,0BAYF,CAAC;AAeF,eAAO,MAAM,kCAAkC,GAC7C,OAAO,OAAO,KACb,2BAqBF,CAAC;AA2DF,eAAO,MAAM,sBAAsB,GACjC,UAAU,YAAY,EACtB,eAAe,+BAA+B,KAC7C,2BAmBF,CAAC;AAwCF,eAAO,MAAM,kCAAkC,GAC7C,OAAO,OAAO,KACb,2BAqBF,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,UAAU,YAAY,EACtB,eAAe,+BAA+B,KAC7C,2BAeF,CAAC;AAuBF,eAAO,MAAM,sCAAsC,GACjD,OAAO,OAAO,KACb,+BAqBF,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,UAAU,YAAY,EACtB,eAAe,mCAAmC,KACjD,+BASF,CAAC;AA8JF,eAAO,MAAM,uBAAuB,GAClC,UAAU,YAAY,EACtB,YAAY,iCAAiC,EAC7C,YAAY,MAAM,KACjB,6BAGA,CAAC;AAuBJ,KAAK,aAAa,GAAG;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,+BAA+B,CAAC;IACrD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,CAAC;AAgQF,eAAO,MAAM,gCAAgC,GAC3C,UAAU,YAAY,EACtB,OAAO,aAAa,EACpB,YAAY,MAAM,KACjB,2BAsBF,CAAC"}