@maiaos/protocol 0.1.0-canary.1

package/dist/session-guard/result-effect-schema.d.ts

@@ -0,0 +1,166 @@
+import * as Schema from "effect/Schema";
+export declare const PROJECT_GUARD_AGGREGATE_TYPE = "project_guard";
+export declare const projectGuardShowResultEffectSchema: Schema.Struct<{
+    readonly guard: Schema.Struct<{
+        readonly limits: Schema.Struct<{
+            readonly maxDepth: Schema.Int;
+            readonly maxLeasesPerSession: Schema.Int;
+            readonly maxLiveChildren: Schema.Int;
+            readonly maxMessagesPerMinute: Schema.Int;
+        }>;
+        readonly projectId: Schema.String;
+        readonly revision: Schema.String;
+        readonly schemaVersion: Schema.Literal<"maia.session-guard/v1">;
+        readonly source: Schema.Literals<readonly ["default", "project"]>;
+        readonly updatedAt: Schema.optional<Schema.String>;
+    }>;
+    readonly method: Schema.Literal<"project.guard.show">;
+}>;
+/** The current guard, the proposed limits and the one-time proof that binds them. */
+export declare const projectGuardPreviewResultEffectSchema: Schema.Struct<{
+    readonly inputDigest: Schema.String;
+    readonly proof: Schema.String;
+    readonly actorId: Schema.String;
+    readonly commandId: Schema.String;
+    readonly current: Schema.Struct<{
+        readonly limits: Schema.Struct<{
+            readonly maxDepth: Schema.Int;
+            readonly maxLeasesPerSession: Schema.Int;
+            readonly maxLiveChildren: Schema.Int;
+            readonly maxMessagesPerMinute: Schema.Int;
+        }>;
+        readonly projectId: Schema.String;
+        readonly revision: Schema.String;
+        readonly schemaVersion: Schema.Literal<"maia.session-guard/v1">;
+        readonly source: Schema.Literals<readonly ["default", "project"]>;
+        readonly updatedAt: Schema.optional<Schema.String>;
+    }>;
+    readonly expectedRevision: Schema.String;
+    readonly expiresAt: Schema.String;
+    readonly issuedAt: Schema.String;
+    readonly limits: Schema.Struct<{
+        readonly maxDepth: Schema.Int;
+        readonly maxLeasesPerSession: Schema.Int;
+        readonly maxLiveChildren: Schema.Int;
+        readonly maxMessagesPerMinute: Schema.Int;
+    }>;
+    readonly method: Schema.Literal<"project.guard.preview">;
+    readonly projectId: Schema.String;
+}>;
+export declare const projectGuardConfirmResultEffectSchema: Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly delivery: Schema.Literals<readonly ["duplicate", "new"]>;
+    readonly expectedRevision: Schema.String;
+    readonly guard: Schema.Struct<{
+        readonly limits: Schema.Struct<{
+            readonly maxDepth: Schema.Int;
+            readonly maxLeasesPerSession: Schema.Int;
+            readonly maxLiveChildren: Schema.Int;
+            readonly maxMessagesPerMinute: Schema.Int;
+        }>;
+        readonly projectId: Schema.String;
+        readonly revision: Schema.String;
+        readonly schemaVersion: Schema.Literal<"maia.session-guard/v1">;
+        readonly source: Schema.Literals<readonly ["default", "project"]>;
+        readonly updatedAt: Schema.optional<Schema.String>;
+    }>;
+    readonly inputDigest: Schema.String;
+    readonly method: Schema.Literal<"project.guard.confirm">;
+    readonly receipt: Schema.Struct<{
+        readonly actorId: Schema.String;
+        readonly aggregateRevision: Schema.String;
+        readonly commandId: Schema.String;
+        readonly createdAt: Schema.String;
+        readonly eventCursor: Schema.String;
+        readonly method: Schema.String;
+        readonly receiptId: Schema.String;
+        readonly schemaVersion: Schema.Literal<1>;
+        readonly state: Schema.Literal<"succeeded">;
+        readonly target: Schema.Struct<{
+            readonly id: Schema.String;
+            readonly type: Schema.String;
+        }>;
+        readonly updatedAt: Schema.String;
+    }>;
+}>;
+export declare const projectGuardResultEffectSchema: Schema.Union<readonly [Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly delivery: Schema.Literals<readonly ["duplicate", "new"]>;
+    readonly expectedRevision: Schema.String;
+    readonly guard: Schema.Struct<{
+        readonly limits: Schema.Struct<{
+            readonly maxDepth: Schema.Int;
+            readonly maxLeasesPerSession: Schema.Int;
+            readonly maxLiveChildren: Schema.Int;
+            readonly maxMessagesPerMinute: Schema.Int;
+        }>;
+        readonly projectId: Schema.String;
+        readonly revision: Schema.String;
+        readonly schemaVersion: Schema.Literal<"maia.session-guard/v1">;
+        readonly source: Schema.Literals<readonly ["default", "project"]>;
+        readonly updatedAt: Schema.optional<Schema.String>;
+    }>;
+    readonly inputDigest: Schema.String;
+    readonly method: Schema.Literal<"project.guard.confirm">;
+    readonly receipt: Schema.Struct<{
+        readonly actorId: Schema.String;
+        readonly aggregateRevision: Schema.String;
+        readonly commandId: Schema.String;
+        readonly createdAt: Schema.String;
+        readonly eventCursor: Schema.String;
+        readonly method: Schema.String;
+        readonly receiptId: Schema.String;
+        readonly schemaVersion: Schema.Literal<1>;
+        readonly state: Schema.Literal<"succeeded">;
+        readonly target: Schema.Struct<{
+            readonly id: Schema.String;
+            readonly type: Schema.String;
+        }>;
+        readonly updatedAt: Schema.String;
+    }>;
+}>, Schema.Struct<{
+    readonly inputDigest: Schema.String;
+    readonly proof: Schema.String;
+    readonly actorId: Schema.String;
+    readonly commandId: Schema.String;
+    readonly current: Schema.Struct<{
+        readonly limits: Schema.Struct<{
+            readonly maxDepth: Schema.Int;
+            readonly maxLeasesPerSession: Schema.Int;
+            readonly maxLiveChildren: Schema.Int;
+            readonly maxMessagesPerMinute: Schema.Int;
+        }>;
+        readonly projectId: Schema.String;
+        readonly revision: Schema.String;
+        readonly schemaVersion: Schema.Literal<"maia.session-guard/v1">;
+        readonly source: Schema.Literals<readonly ["default", "project"]>;
+        readonly updatedAt: Schema.optional<Schema.String>;
+    }>;
+    readonly expectedRevision: Schema.String;
+    readonly expiresAt: Schema.String;
+    readonly issuedAt: Schema.String;
+    readonly limits: Schema.Struct<{
+        readonly maxDepth: Schema.Int;
+        readonly maxLeasesPerSession: Schema.Int;
+        readonly maxLiveChildren: Schema.Int;
+        readonly maxMessagesPerMinute: Schema.Int;
+    }>;
+    readonly method: Schema.Literal<"project.guard.preview">;
+    readonly projectId: Schema.String;
+}>, Schema.Struct<{
+    readonly guard: Schema.Struct<{
+        readonly limits: Schema.Struct<{
+            readonly maxDepth: Schema.Int;
+            readonly maxLeasesPerSession: Schema.Int;
+            readonly maxLiveChildren: Schema.Int;
+            readonly maxMessagesPerMinute: Schema.Int;
+        }>;
+        readonly projectId: Schema.String;
+        readonly revision: Schema.String;
+        readonly schemaVersion: Schema.Literal<"maia.session-guard/v1">;
+        readonly source: Schema.Literals<readonly ["default", "project"]>;
+        readonly updatedAt: Schema.optional<Schema.String>;
+    }>;
+    readonly method: Schema.Literal<"project.guard.show">;
+}>]>;
+//# sourceMappingURL=result-effect-schema.d.ts.map

package/dist/session-guard/result-effect-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-effect-schema.d.ts","sourceRoot":"","sources":["../../src/session-guard/result-effect-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAexC,eAAO,MAAM,4BAA4B,kBAAkB,CAAC;AAE5D,eAAO,MAAM,kCAAkC;;;;;;;;;;;;;;;EAG7C,CAAC;AAEH,qFAAqF;AACrF,eAAO,MAAM,qCAAqC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmBjD,CAAC;AAYF,eAAO,MAAM,qCAAqC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgB/C,CAAC;AAEJ,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAIzC,CAAC"}

package/dist/session-guard/result-effect-schema.js

@@ -0,0 +1,48 @@
+import * as Schema from "effect/Schema";
+import { commandReceiptEffectSchema } from "../command-receipt/effect-schema.js";
+import { aggregateRevisionEffectSchema, protocolIdentifierEffectSchema as id, recordedAtEffectSchema, } from "../envelope/effect-schema.js";
+import { projectGuardConfirmationEffectFields, projectGuardEffectSchema, sessionGuardLimitsEffectSchema, } from "./request-effect-schema.js";
+export const PROJECT_GUARD_AGGREGATE_TYPE = "project_guard";
+export const projectGuardShowResultEffectSchema = Schema.Struct({
+    guard: projectGuardEffectSchema,
+    method: Schema.Literal("project.guard.show"),
+});
+/** The current guard, the proposed limits and the one-time proof that binds them. */
+export const projectGuardPreviewResultEffectSchema = Schema.Struct({
+    ...projectGuardConfirmationEffectFields,
+    actorId: id,
+    commandId: id,
+    current: projectGuardEffectSchema,
+    expectedRevision: aggregateRevisionEffectSchema,
+    expiresAt: recordedAtEffectSchema,
+    issuedAt: recordedAtEffectSchema,
+    limits: sessionGuardLimitsEffectSchema,
+    method: Schema.Literal("project.guard.preview"),
+    projectId: id,
+}).check(Schema.makeFilter((value) => value.current.projectId === value.projectId &&
+    value.current.revision === value.expectedRevision &&
+    Date.parse(value.issuedAt) < Date.parse(value.expiresAt), { expected: "a preview of the Project's current guard, before it expires" }));
+const projectGuardConfirmStructEffectSchema = Schema.Struct({
+    commandId: id,
+    delivery: Schema.Literals(["duplicate", "new"]),
+    expectedRevision: aggregateRevisionEffectSchema,
+    guard: projectGuardEffectSchema,
+    inputDigest: projectGuardConfirmationEffectFields.inputDigest,
+    method: Schema.Literal("project.guard.confirm"),
+    receipt: commandReceiptEffectSchema,
+});
+export const projectGuardConfirmResultEffectSchema = projectGuardConfirmStructEffectSchema.check(Schema.makeFilter((value) => value.guard.source === "project" &&
+    BigInt(value.guard.revision) === BigInt(value.expectedRevision) + 1n &&
+    value.receipt.commandId === value.commandId &&
+    value.receipt.method === value.method &&
+    value.receipt.target.type === PROJECT_GUARD_AGGREGATE_TYPE &&
+    value.receipt.target.id === value.guard.projectId &&
+    value.receipt.aggregateRevision === value.guard.revision, {
+    expected: "confirmed Project guards advanced by one revision and bound to their receipt",
+}));
+export const projectGuardResultEffectSchema = Schema.Union([
+    projectGuardConfirmResultEffectSchema,
+    projectGuardPreviewResultEffectSchema,
+    projectGuardShowResultEffectSchema,
+]);
+//# sourceMappingURL=result-effect-schema.js.map

package/dist/session-guard/result-effect-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-effect-schema.js","sourceRoot":"","sources":["../../src/session-guard/result-effect-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,EACL,6BAA6B,EAC7B,8BAA8B,IAAI,EAAE,EACpC,sBAAsB,GACvB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,oCAAoC,EACpC,wBAAwB,EACxB,8BAA8B,GAC/B,MAAM,4BAA4B,CAAC;AAEpC,MAAM,CAAC,MAAM,4BAA4B,GAAG,eAAe,CAAC;AAE5D,MAAM,CAAC,MAAM,kCAAkC,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9D,KAAK,EAAE,wBAAwB;IAC/B,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC;CAC7C,CAAC,CAAC;AAEH,qFAAqF;AACrF,MAAM,CAAC,MAAM,qCAAqC,GAAG,MAAM,CAAC,MAAM,CAAC;IACjE,GAAG,oCAAoC;IACvC,OAAO,EAAE,EAAE;IACX,SAAS,EAAE,EAAE;IACb,OAAO,EAAE,wBAAwB;IACjC,gBAAgB,EAAE,6BAA6B;IAC/C,SAAS,EAAE,sBAAsB;IACjC,QAAQ,EAAE,sBAAsB;IAChC,MAAM,EAAE,8BAA8B;IACtC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC;IAC/C,SAAS,EAAE,EAAE;CACd,CAAC,CAAC,KAAK,CACN,MAAM,CAAC,UAAU,CACf,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,OAAO,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;IAC3C,KAAK,CAAC,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC,gBAAgB;IACjD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,EAC1D,EAAE,QAAQ,EAAE,6DAA6D,EAAE,CAC5E,CACF,CAAC;AAEF,MAAM,qCAAqC,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1D,SAAS,EAAE,EAAE;IACb,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC/C,gBAAgB,EAAE,6BAA6B;IAC/C,KAAK,EAAE,wBAAwB;IAC/B,WAAW,EAAE,oCAAoC,CAAC,WAAW;IAC7D,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC;IAC/C,OAAO,EAAE,0BAA0B;CACpC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qCAAqC,GAChD,qCAAqC,CAAC,KAAK,CACzC,MAAM,CAAC,UAAU,CACf,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS;IAChC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,GAAG,EAAE;IACpE,KAAK,CAAC,OAAO,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;IAC3C,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;IACrC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,4BAA4B;IAC1D,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,SAAS;IACjD,KAAK,CAAC,OAAO,CAAC,iBAAiB,KAAK,KAAK,CAAC,KAAK,CAAC,QAAQ,EAC1D;IACE,QAAQ,EACN,8EAA8E;CACjF,CACF,CACF,CAAC;AAEJ,MAAM,CAAC,MAAM,8BAA8B,GAAG,MAAM,CAAC,KAAK,CAAC;IACzD,qCAAqC;IACrC,qCAAqC;IACrC,kCAAkC;CACnC,CAAC,CAAC"}