@maiaos/protocol 0.1.0-canary.1

package/dist/execution/relocation/effect-schema.js

@@ -0,0 +1,182 @@
+import * as Schema from "effect/Schema";
+import { commandReceiptEffectSchema } from "../../command-receipt/effect-schema.js";
+import { aggregateRevisionEffectSchema, protocolIdentifierEffectSchema, recordedAtEffectSchema, } from "../../envelope/effect-schema.js";
+import { LOCAL_HOST_PROFILE_ID } from "../catalog/index.js";
+import { EXECUTION_RELOCATION_SCHEMA_VERSION, MAX_EXECUTION_RELOCATION_BLOCKERS, MAX_EXECUTION_RELOCATION_CHECKPOINT_BYTES, } from "./version.js";
+const revisionEffectSchema = aggregateRevisionEffectSchema;
+const sha256DigestEffectSchema = Schema.String.check(Schema.makeFilter((value) => /^sha256:[a-f0-9]{64}$/u.test(value), {
+    expected: "a lowercase SHA-256 digest",
+}));
+const gitRevisionEffectSchema = Schema.String.check(Schema.makeFilter((value) => /^(?:[a-f0-9]{40}|[a-f0-9]{64})$/u.test(value), {
+    expected: "an exact Git object revision",
+}));
+export const executionRelocationBlockerEffectSchema = Schema.Literals([
+    "runtime_bound",
+    "session_not_idle",
+    "source_dirty",
+    "source_placement_missing",
+    "target_profile_unsupported",
+    "turn_active",
+]);
+export const executionRelocationPhaseEffectSchema = Schema.Literals([
+    "checkpointing",
+    "completed",
+    "creating_standby",
+    "cutover_committed",
+    "draining_source",
+    "failed",
+    "outcome_unknown",
+    "prepared",
+]);
+export const executionRelocationCheckpointEffectSchema = Schema.Struct({
+    byteLength: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0), Schema.isLessThanOrEqualTo(MAX_EXECUTION_RELOCATION_CHECKPOINT_BYTES)),
+    contentDigest: sha256DigestEffectSchema,
+    createdAt: recordedAtEffectSchema,
+    id: protocolIdentifierEffectSchema,
+    kind: Schema.Literal("local-identity"),
+    schemaVersion: Schema.Literal(EXECUTION_RELOCATION_SCHEMA_VERSION),
+    sourceInstanceId: protocolIdentifierEffectSchema,
+    sourceRevision: gitRevisionEffectSchema,
+    targetInstanceId: protocolIdentifierEffectSchema,
+    workspaceId: protocolIdentifierEffectSchema,
+});
+const relocationOperationCommonFields = {
+    commandId: protocolIdentifierEffectSchema,
+    id: protocolIdentifierEffectSchema,
+    revision: revisionEffectSchema,
+    schemaVersion: Schema.Literal(EXECUTION_RELOCATION_SCHEMA_VERSION),
+    sessionId: protocolIdentifierEffectSchema,
+    sourceInstanceId: protocolIdentifierEffectSchema,
+    workspaceId: protocolIdentifierEffectSchema,
+};
+export const executionRelocationOperationEffectSchema = Schema.Union([
+    Schema.Struct({
+        ...relocationOperationCommonFields,
+        cleanup: Schema.Literal("pending"),
+        phase: Schema.Literals(["checkpointing", "creating_standby", "prepared"]),
+        state: Schema.Literals(["dispatching", "prepared"]),
+    }),
+    Schema.Struct({
+        ...relocationOperationCommonFields,
+        checkpointId: protocolIdentifierEffectSchema,
+        cleanup: Schema.Literal("clean"),
+        fencingEpoch: revisionEffectSchema,
+        phase: Schema.Literals([
+            "completed",
+            "cutover_committed",
+            "draining_source",
+        ]),
+        placementRevision: revisionEffectSchema,
+        state: Schema.Literal("succeeded"),
+        targetInstanceId: protocolIdentifierEffectSchema,
+    }),
+    Schema.Struct({
+        ...relocationOperationCommonFields,
+        cleanup: Schema.Literal("clean"),
+        failure: executionRelocationBlockerEffectSchema,
+        phase: Schema.Literal("failed"),
+        state: Schema.Literal("failed"),
+    }),
+    Schema.Struct({
+        ...relocationOperationCommonFields,
+        cleanup: Schema.Literal("unknown"),
+        phase: Schema.Literal("outcome_unknown"),
+        state: Schema.Literal("outcome_unknown"),
+    }),
+]);
+const relocationPlanEffectSchema = Schema.Struct({
+    blockers: Schema.Array(executionRelocationBlockerEffectSchema).check(Schema.isMaxLength(MAX_EXECUTION_RELOCATION_BLOCKERS)),
+    digest: sha256DigestEffectSchema,
+    eligible: Schema.Boolean,
+    expectedFencingEpoch: revisionEffectSchema,
+    expectedPlacementRevision: revisionEffectSchema,
+    expectedSessionRevision: revisionEffectSchema,
+    id: protocolIdentifierEffectSchema,
+    sessionId: protocolIdentifierEffectSchema,
+    sourceInstanceId: protocolIdentifierEffectSchema,
+    targetProfileId: Schema.Literal(LOCAL_HOST_PROFILE_ID),
+    workspaceId: protocolIdentifierEffectSchema,
+}).check(Schema.makeFilter((plan) => plan.eligible === (plan.blockers.length === 0), {
+    expected: "a relocation plan whose eligibility matches its blockers",
+}));
+export const executionRelocationPlanParametersEffectSchema = Schema.Struct({
+    expectedFencingEpoch: revisionEffectSchema,
+    expectedPlacementRevision: revisionEffectSchema,
+    expectedSessionRevision: revisionEffectSchema,
+    sessionId: protocolIdentifierEffectSchema,
+    targetProfileId: Schema.Literal(LOCAL_HOST_PROFILE_ID),
+});
+export const executionRelocationPlanResultEffectSchema = Schema.Struct({
+    method: Schema.Literal("execution.relocation.plan"),
+    plan: relocationPlanEffectSchema,
+});
+export const executionRelocationApplyParametersEffectSchema = Schema.Struct({
+    commandId: protocolIdentifierEffectSchema,
+    expectedFencingEpoch: revisionEffectSchema,
+    expectedPlacementRevision: revisionEffectSchema,
+    expectedSessionRevision: revisionEffectSchema,
+    planDigest: sha256DigestEffectSchema,
+    planId: protocolIdentifierEffectSchema,
+    sessionId: protocolIdentifierEffectSchema,
+});
+export const executionRelocationApplyResultEffectSchema = Schema.Struct({
+    checkpoint: Schema.optional(executionRelocationCheckpointEffectSchema),
+    delivery: Schema.Literals(["duplicate", "new"]),
+    method: Schema.Literal("execution.relocation.apply"),
+    operation: executionRelocationOperationEffectSchema,
+    receipt: commandReceiptEffectSchema,
+}).check(Schema.makeFilter((result) => result.receipt.actorId === "actor_local_user" &&
+    result.receipt.commandId === result.operation.commandId &&
+    result.receipt.method === result.method &&
+    result.receipt.target.id === result.operation.sessionId &&
+    result.receipt.target.type === "session" &&
+    (result.operation.state === "succeeded"
+        ? result.checkpoint?.id === result.operation.checkpointId
+        : result.checkpoint === undefined), { expected: "an exact receipt-backed local relocation projection" }));
+export const executionRelocationShowParametersEffectSchema = Schema.Struct({
+    relocationId: protocolIdentifierEffectSchema,
+});
+export const executionRelocationShowResultEffectSchema = Schema.Struct({
+    checkpoint: Schema.optional(executionRelocationCheckpointEffectSchema),
+    method: Schema.Literal("execution.relocation.show"),
+    operation: executionRelocationOperationEffectSchema,
+});
+export const executionRelocationReconcileParametersEffectSchema = Schema.Struct({
+    commandId: protocolIdentifierEffectSchema,
+    expectedOperationRevision: revisionEffectSchema,
+    relocationId: protocolIdentifierEffectSchema,
+});
+export const executionRelocationReconcileResultEffectSchema = Schema.Struct({
+    delivery: Schema.Literals(["duplicate", "new"]),
+    method: Schema.Literal("execution.relocation.reconcile"),
+    operation: executionRelocationOperationEffectSchema,
+    receipt: commandReceiptEffectSchema,
+}).check(Schema.makeFilter((result) => result.receipt.actorId === "actor_local_user" &&
+    result.receipt.method === result.method &&
+    result.receipt.target.id === result.operation.sessionId &&
+    result.receipt.target.type === "session", { expected: "a receipt-backed relocation reconciliation projection" }));
+export const executionRelocationRequestPayloadEffectSchema = Schema.Union([
+    Schema.Struct({
+        method: Schema.Literal("execution.relocation.apply"),
+        parameters: executionRelocationApplyParametersEffectSchema,
+    }),
+    Schema.Struct({
+        method: Schema.Literal("execution.relocation.plan"),
+        parameters: executionRelocationPlanParametersEffectSchema,
+    }),
+    Schema.Struct({
+        method: Schema.Literal("execution.relocation.reconcile"),
+        parameters: executionRelocationReconcileParametersEffectSchema,
+    }),
+    Schema.Struct({
+        method: Schema.Literal("execution.relocation.show"),
+        parameters: executionRelocationShowParametersEffectSchema,
+    }),
+]);
+export const executionRelocationSuccessResultEffectSchema = Schema.Union([
+    executionRelocationApplyResultEffectSchema,
+    executionRelocationPlanResultEffectSchema,
+    executionRelocationReconcileResultEffectSchema,
+    executionRelocationShowResultEffectSchema,
+]);
+//# sourceMappingURL=effect-schema.js.map

package/dist/execution/relocation/effect-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-schema.js","sourceRoot":"","sources":["../../../src/execution/relocation/effect-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,0BAA0B,EAAE,MAAM,wCAAwC,CAAC;AACpF,OAAO,EACL,6BAA6B,EAC7B,8BAA8B,EAC9B,sBAAsB,GACvB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,OAAO,EACL,mCAAmC,EACnC,iCAAiC,EACjC,yCAAyC,GAC1C,MAAM,cAAc,CAAC;AAEtB,MAAM,oBAAoB,GAAG,6BAA6B,CAAC;AAC3D,MAAM,wBAAwB,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAClD,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;IACjE,QAAQ,EAAE,4BAA4B;CACvC,CAAC,CACH,CAAC;AACF,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CACjD,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kCAAkC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;IAC3E,QAAQ,EAAE,8BAA8B;CACzC,CAAC,CACH,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,MAAM,CAAC,QAAQ,CAAC;IACpE,eAAe;IACf,kBAAkB;IAClB,cAAc;IACd,0BAA0B;IAC1B,4BAA4B;IAC5B,aAAa;CACd,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oCAAoC,GAAG,MAAM,CAAC,QAAQ,CAAC;IAClE,eAAe;IACf,WAAW;IACX,kBAAkB;IAClB,mBAAmB;IACnB,iBAAiB;IACjB,QAAQ;IACR,iBAAiB;IACjB,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yCAAyC,GAAG,MAAM,CAAC,MAAM,CAAC;IACrE,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAC1B,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAChC,MAAM,CAAC,mBAAmB,CAAC,yCAAyC,CAAC,CACtE;IACD,aAAa,EAAE,wBAAwB;IACvC,SAAS,EAAE,sBAAsB;IACjC,EAAE,EAAE,8BAA8B;IAClC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACtC,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,mCAAmC,CAAC;IAClE,gBAAgB,EAAE,8BAA8B;IAChD,cAAc,EAAE,uBAAuB;IACvC,gBAAgB,EAAE,8BAA8B;IAChD,WAAW,EAAE,8BAA8B;CAC5C,CAAC,CAAC;AAEH,MAAM,+BAA+B,GAAG;IACtC,SAAS,EAAE,8BAA8B;IACzC,EAAE,EAAE,8BAA8B;IAClC,QAAQ,EAAE,oBAAoB;IAC9B,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,mCAAmC,CAAC;IAClE,SAAS,EAAE,8BAA8B;IACzC,gBAAgB,EAAE,8BAA8B;IAChD,WAAW,EAAE,8BAA8B;CACnC,CAAC;AAEX,MAAM,CAAC,MAAM,wCAAwC,GAAG,MAAM,CAAC,KAAK,CAAC;IACnE,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,+BAA+B;QAClC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;QAClC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,eAAe,EAAE,kBAAkB,EAAE,UAAU,CAAC,CAAC;QACzE,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;KACpD,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,+BAA+B;QAClC,YAAY,EAAE,8BAA8B;QAC5C,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;QAChC,YAAY,EAAE,oBAAoB;QAClC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC;YACrB,WAAW;YACX,mBAAmB;YACnB,iBAAiB;SAClB,CAAC;QACF,iBAAiB,EAAE,oBAAoB;QACvC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;QAClC,gBAAgB,EAAE,8BAA8B;KACjD,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,+BAA+B;QAClC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;QAChC,OAAO,EAAE,sCAAsC;QAC/C,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC/B,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;KAChC,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,+BAA+B;QAClC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;QAClC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC;QACxC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC;KACzC,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,0BAA0B,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/C,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC,KAAK,CAClE,MAAM,CAAC,WAAW,CAAC,iCAAiC,CAAC,CACtD;IACD,MAAM,EAAE,wBAAwB;IAChC,QAAQ,EAAE,MAAM,CAAC,OAAO;IACxB,oBAAoB,EAAE,oBAAoB;IAC1C,yBAAyB,EAAE,oBAAoB;IAC/C,uBAAuB,EAAE,oBAAoB;IAC7C,EAAE,EAAE,8BAA8B;IAClC,SAAS,EAAE,8BAA8B;IACzC,gBAAgB,EAAE,8BAA8B;IAChD,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC;IACtD,WAAW,EAAE,8BAA8B;CAC5C,CAAC,CAAC,KAAK,CACN,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE;IAC1E,QAAQ,EAAE,0DAA0D;CACrE,CAAC,CACH,CAAC;AAEF,MAAM,CAAC,MAAM,6CAA6C,GAAG,MAAM,CAAC,MAAM,CAAC;IACzE,oBAAoB,EAAE,oBAAoB;IAC1C,yBAAyB,EAAE,oBAAoB;IAC/C,uBAAuB,EAAE,oBAAoB;IAC7C,SAAS,EAAE,8BAA8B;IACzC,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC;CACvD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yCAAyC,GAAG,MAAM,CAAC,MAAM,CAAC;IACrE,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACnD,IAAI,EAAE,0BAA0B;CACjC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,8CAA8C,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1E,SAAS,EAAE,8BAA8B;IACzC,oBAAoB,EAAE,oBAAoB;IAC1C,yBAAyB,EAAE,oBAAoB;IAC/C,uBAAuB,EAAE,oBAAoB;IAC7C,UAAU,EAAE,wBAAwB;IACpC,MAAM,EAAE,8BAA8B;IACtC,SAAS,EAAE,8BAA8B;CAC1C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,0CAA0C,GAAG,MAAM,CAAC,MAAM,CAAC;IACtE,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,yCAAyC,CAAC;IACtE,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC/C,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,4BAA4B,CAAC;IACpD,SAAS,EAAE,wCAAwC;IACnD,OAAO,EAAE,0BAA0B;CACpC,CAAC,CAAC,KAAK,CACN,MAAM,CAAC,UAAU,CACf,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,OAAO,CAAC,OAAO,KAAK,kBAAkB;IAC7C,MAAM,CAAC,OAAO,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,CAAC,SAAS;IACvD,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;IACvC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,MAAM,CAAC,SAAS,CAAC,SAAS;IACvD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;IACxC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,KAAK,WAAW;QACrC,CAAC,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,KAAK,MAAM,CAAC,SAAS,CAAC,YAAY;QACzD,CAAC,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,EACtC,EAAE,QAAQ,EAAE,qDAAqD,EAAE,CACpE,CACF,CAAC;AAEF,MAAM,CAAC,MAAM,6CAA6C,GAAG,MAAM,CAAC,MAAM,CAAC;IACzE,YAAY,EAAE,8BAA8B;CAC7C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yCAAyC,GAAG,MAAM,CAAC,MAAM,CAAC;IACrE,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,yCAAyC,CAAC;IACtE,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACnD,SAAS,EAAE,wCAAwC;CACpD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,kDAAkD,GAAG,MAAM,CAAC,MAAM,CAC7E;IACE,SAAS,EAAE,8BAA8B;IACzC,yBAAyB,EAAE,oBAAoB;IAC/C,YAAY,EAAE,8BAA8B;CAC7C,CACF,CAAC;AAEF,MAAM,CAAC,MAAM,8CAA8C,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1E,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC/C,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,gCAAgC,CAAC;IACxD,SAAS,EAAE,wCAAwC;IACnD,OAAO,EAAE,0BAA0B;CACpC,CAAC,CAAC,KAAK,CACN,MAAM,CAAC,UAAU,CACf,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,OAAO,CAAC,OAAO,KAAK,kBAAkB;IAC7C,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;IACvC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,MAAM,CAAC,SAAS,CAAC,SAAS;IACvD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,EAC1C,EAAE,QAAQ,EAAE,uDAAuD,EAAE,CACtE,CACF,CAAC;AAEF,MAAM,CAAC,MAAM,6CAA6C,GAAG,MAAM,CAAC,KAAK,CAAC;IACxE,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,4BAA4B,CAAC;QACpD,UAAU,EAAE,8CAA8C;KAC3D,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,2BAA2B,CAAC;QACnD,UAAU,EAAE,6CAA6C;KAC1D,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,gCAAgC,CAAC;QACxD,UAAU,EAAE,kDAAkD;KAC/D,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,2BAA2B,CAAC;QACnD,UAAU,EAAE,6CAA6C;KAC1D,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,4CAA4C,GAAG,MAAM,CAAC,KAAK,CAAC;IACvE,0CAA0C;IAC1C,yCAAyC;IACzC,8CAA8C;IAC9C,yCAAyC;CAC1C,CAAC,CAAC"}

package/dist/execution/relocation/index.d.ts

@@ -0,0 +1,3 @@
+export { type ExecutionRelocationApplyParameters, executionRelocationApplyParametersSchema, type ExecutionRelocationApplyResult, executionRelocationApplyResultSchema, type ExecutionRelocationBlocker, executionRelocationBlockerSchema, type ExecutionRelocationCheckpoint, executionRelocationCheckpointSchema, type ExecutionRelocationOperation, executionRelocationOperationSchema, type ExecutionRelocationPhase, executionRelocationPhaseSchema, type ExecutionRelocationPlanParameters, executionRelocationPlanParametersSchema, type ExecutionRelocationPlanResult, executionRelocationPlanResultSchema, type ExecutionRelocationReconcileParameters, executionRelocationReconcileParametersSchema, type ExecutionRelocationReconcileResult, executionRelocationReconcileResultSchema, type ExecutionRelocationShowParameters, executionRelocationShowParametersSchema, type ExecutionRelocationShowResult, executionRelocationShowResultSchema, } from "./contract.js";
+export { EXECUTION_RELOCATION_SCHEMA_VERSION, MAX_EXECUTION_RELOCATION_BLOCKERS, MAX_EXECUTION_RELOCATION_CHECKPOINT_BYTES, } from "./version.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/execution/relocation/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/execution/relocation/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,kCAAkC,EACvC,wCAAwC,EACxC,KAAK,8BAA8B,EACnC,oCAAoC,EACpC,KAAK,0BAA0B,EAC/B,gCAAgC,EAChC,KAAK,6BAA6B,EAClC,mCAAmC,EACnC,KAAK,4BAA4B,EACjC,kCAAkC,EAClC,KAAK,wBAAwB,EAC7B,8BAA8B,EAC9B,KAAK,iCAAiC,EACtC,uCAAuC,EACvC,KAAK,6BAA6B,EAClC,mCAAmC,EACnC,KAAK,sCAAsC,EAC3C,4CAA4C,EAC5C,KAAK,kCAAkC,EACvC,wCAAwC,EACxC,KAAK,iCAAiC,EACtC,uCAAuC,EACvC,KAAK,6BAA6B,EAClC,mCAAmC,GACpC,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,mCAAmC,EACnC,iCAAiC,EACjC,yCAAyC,GAC1C,MAAM,cAAc,CAAC"}

package/dist/execution/relocation/index.js

@@ -0,0 +1,3 @@
+export { executionRelocationApplyParametersSchema, executionRelocationApplyResultSchema, executionRelocationBlockerSchema, executionRelocationCheckpointSchema, executionRelocationOperationSchema, executionRelocationPhaseSchema, executionRelocationPlanParametersSchema, executionRelocationPlanResultSchema, executionRelocationReconcileParametersSchema, executionRelocationReconcileResultSchema, executionRelocationShowParametersSchema, executionRelocationShowResultSchema, } from "./contract.js";
+export { EXECUTION_RELOCATION_SCHEMA_VERSION, MAX_EXECUTION_RELOCATION_BLOCKERS, MAX_EXECUTION_RELOCATION_CHECKPOINT_BYTES, } from "./version.js";
+//# sourceMappingURL=index.js.map

package/dist/execution/relocation/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/execution/relocation/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,wCAAwC,EAExC,oCAAoC,EAEpC,gCAAgC,EAEhC,mCAAmC,EAEnC,kCAAkC,EAElC,8BAA8B,EAE9B,uCAAuC,EAEvC,mCAAmC,EAEnC,4CAA4C,EAE5C,wCAAwC,EAExC,uCAAuC,EAEvC,mCAAmC,GACpC,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,mCAAmC,EACnC,iCAAiC,EACjC,yCAAyC,GAC1C,MAAM,cAAc,CAAC"}

package/dist/execution/relocation/version.d.ts

@@ -0,0 +1,4 @@
+export declare const EXECUTION_RELOCATION_SCHEMA_VERSION = "maia.execution-relocation/v1alpha1";
+export declare const MAX_EXECUTION_RELOCATION_BLOCKERS = 16;
+export declare const MAX_EXECUTION_RELOCATION_CHECKPOINT_BYTES: number;
+//# sourceMappingURL=version.d.ts.map

package/dist/execution/relocation/version.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../../../src/execution/relocation/version.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,mCAAmC,uCACV,CAAC;AAEvC,eAAO,MAAM,iCAAiC,KAAK,CAAC;AACpD,eAAO,MAAM,yCAAyC,QAAc,CAAC"}

package/dist/execution/relocation/version.js

@@ -0,0 +1,4 @@
+export const EXECUTION_RELOCATION_SCHEMA_VERSION = "maia.execution-relocation/v1alpha1";
+export const MAX_EXECUTION_RELOCATION_BLOCKERS = 16;
+export const MAX_EXECUTION_RELOCATION_CHECKPOINT_BYTES = 1024 * 1024;
+//# sourceMappingURL=version.js.map

package/dist/execution/relocation/version.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../../../src/execution/relocation/version.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,mCAAmC,GAC9C,oCAAoC,CAAC;AAEvC,MAAM,CAAC,MAAM,iCAAiC,GAAG,EAAE,CAAC;AACpD,MAAM,CAAC,MAAM,yCAAyC,GAAG,IAAI,GAAG,IAAI,CAAC"}