@maiaos/protocol 0.1.0-canary.1

package/dist/execution/effect-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-schema.d.ts","sourceRoot":"","sources":["../../src/execution/effect-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AA+BxC,eAAO,MAAM,uCAAuC;;;;;;;;;;;;EAgBlD,CAAC;AAEH,eAAO,MAAM,4BAA4B;;;;;;;EAOvC,CAAC;AAEH,eAAO,MAAM,2BAA2B;;;;;;;EAOtC,CAAC;AAEH,eAAO,MAAM,uCAAuC;;;;;;IASlD,CAAC;AAEH,eAAO,MAAM,qCAAqC;;;;;;;;;;EAIhD,CAAC;AAEH,eAAO,MAAM,wCAAwC;;;;;;;;;;;;;;EAQnD,CAAC;AAIH,eAAO,MAAM,6BAA6B;;;;;;;;EAQxC,CAAC;AAEH,eAAO,MAAM,yCAAyC,6CACzB,CAAC;AAE9B,eAAO,MAAM,4CAA4C;;EAEvD,CAAC;AAQH,eAAO,MAAM,iDAAiD;;;;;;;;;;;;;;;;;IAU5D,CAAC;AAEH,eAAO,MAAM,qCAAqC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMhD,CAAC;AA8CH,eAAO,MAAM,wCAAwC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKlD,CAAC;AAUJ,eAAO,MAAM,6CAA6C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAevD,CAAC;AAEJ,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA6B9C,CAAC;AAEH,eAAO,MAAM,kCAAkC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAQ7C,CAAC;AACH,OAAO,EACL,6CAA6C,EAC7C,4CAA4C,GAC7C,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,2CAA2C,EAC3C,0CAA0C,GAC3C,MAAM,6BAA6B,CAAC"}

package/dist/execution/effect-schema.js

@@ -0,0 +1,189 @@
+import * as Schema from "effect/Schema";
+import { commandReceiptEffectSchema } from "../command-receipt/effect-schema.js";
+import { aggregateRevisionEffectSchema, protocolIdentifierEffectSchema, } from "../envelope/effect-schema.js";
+import { workspaceEffectSchema } from "../project-workspace/effect-schema.js";
+import { EXECUTION_SCHEMA_VERSION, LOCAL_DEFAULT_POLICY_ID, LOCAL_HOST_PROFILE_ID, LOCAL_HOST_PROVIDER_ID, } from "./catalog/index.js";
+import { executionFileReadParametersEffectSchema, executionFileReadResultEffectSchema, } from "./file-operation-effect-schema.js";
+import { executionCommandRunParametersEffectSchema, executionCommandRunResultEffectSchema, } from "./operation-effect-schema.js";
+import { executionPlacementCreateParametersEffectSchema, executionPlacementCreateResultEffectSchema, executionPlacementShowParametersEffectSchema, executionPlacementShowResultEffectSchema, } from "./placement/effect-schema.js";
+const revisionEffectSchema = aggregateRevisionEffectSchema;
+export const executionProviderDescriptorEffectSchema = Schema.Struct({
+    binding: Schema.Literal("unavailable"),
+    builtIn: Schema.Literal(true),
+    deploymentMode: Schema.Literal("agentless"),
+    id: Schema.Literal(LOCAL_HOST_PROVIDER_ID),
+    kind: Schema.Literal("local-host"),
+    reason: Schema.Literal("local_provider_unbound"),
+    releaseQualified: Schema.Literal(false),
+    revision: Schema.Literal("1"),
+    schemaVersion: Schema.Literal(EXECUTION_SCHEMA_VERSION),
+    trust: Schema.Literal("trusted_host"),
+    unsupportedCapabilities: Schema.Tuple([
+        Schema.Literal("isolation"),
+        Schema.Literal("ports"),
+        Schema.Literal("snapshots"),
+    ]),
+});
+export const executionProfileEffectSchema = Schema.Struct({
+    builtIn: Schema.Literal(true),
+    id: Schema.Literal(LOCAL_HOST_PROFILE_ID),
+    name: Schema.Literal("Local host"),
+    providerId: Schema.Literal(LOCAL_HOST_PROVIDER_ID),
+    revision: Schema.Literal("1"),
+    schemaVersion: Schema.Literal(EXECUTION_SCHEMA_VERSION),
+});
+export const placementPolicyEffectSchema = Schema.Struct({
+    builtIn: Schema.Literal(true),
+    id: Schema.Literal(LOCAL_DEFAULT_POLICY_ID),
+    name: Schema.Literal("Local default"),
+    profileIds: Schema.Tuple([Schema.Literal(LOCAL_HOST_PROFILE_ID)]),
+    revision: Schema.Literal("1"),
+    schemaVersion: Schema.Literal(EXECUTION_SCHEMA_VERSION),
+});
+export const workspaceExecutionSelectionEffectSchema = Schema.Union([
+    Schema.Struct({
+        id: protocolIdentifierEffectSchema,
+        kind: Schema.Literal("profile"),
+    }),
+    Schema.Struct({
+        id: protocolIdentifierEffectSchema,
+        kind: Schema.Literal("policy"),
+    }),
+]);
+export const workspaceExecutionBindingEffectSchema = Schema.Struct({
+    selection: workspaceExecutionSelectionEffectSchema,
+    workspaceId: protocolIdentifierEffectSchema,
+    workspaceRevision: revisionEffectSchema,
+});
+export const workspaceExecutionResolutionEffectSchema = Schema.Struct({
+    reason: Schema.Literal("local_provider_unbound"),
+    selectedProfileId: protocolIdentifierEffectSchema,
+    selection: workspaceExecutionSelectionEffectSchema,
+    source: Schema.Literals(["node-default", "workspace"]),
+    status: Schema.Literal("unavailable"),
+    workspaceId: protocolIdentifierEffectSchema,
+    workspaceRevision: revisionEffectSchema,
+});
+const emptyParametersEffectSchema = Schema.Record(Schema.String, Schema.Never);
+export const executionInstanceEffectSchema = Schema.Struct({
+    id: protocolIdentifierEffectSchema,
+    profileId: Schema.Literal(LOCAL_HOST_PROFILE_ID),
+    providerId: Schema.Literal(LOCAL_HOST_PROVIDER_ID),
+    revision: revisionEffectSchema,
+    schemaVersion: Schema.Literal(EXECUTION_SCHEMA_VERSION),
+    state: Schema.Literal("folder-bound"),
+    workspaceId: protocolIdentifierEffectSchema,
+});
+export const executionCatalogGetParametersEffectSchema = emptyParametersEffectSchema;
+export const workspaceExecutionShowParametersEffectSchema = Schema.Struct({
+    workspaceId: protocolIdentifierEffectSchema,
+});
+const workspaceExecutionCommandBaseFields = {
+    commandId: protocolIdentifierEffectSchema,
+    expectedRevision: revisionEffectSchema,
+    workspaceId: protocolIdentifierEffectSchema,
+};
+export const workspaceExecutionConfigureParametersEffectSchema = Schema.Union([
+    Schema.Struct({
+        ...workspaceExecutionCommandBaseFields,
+        operation: Schema.Literal("clear"),
+    }),
+    Schema.Struct({
+        ...workspaceExecutionCommandBaseFields,
+        operation: Schema.Literal("set"),
+        selection: workspaceExecutionSelectionEffectSchema,
+    }),
+]);
+export const executionCatalogGetResultEffectSchema = Schema.Struct({
+    defaultPolicyId: Schema.Literal(LOCAL_DEFAULT_POLICY_ID),
+    method: Schema.Literal("execution.catalog.get"),
+    policies: Schema.Tuple([placementPolicyEffectSchema]),
+    profiles: Schema.Tuple([executionProfileEffectSchema]),
+    providers: Schema.Tuple([executionProviderDescriptorEffectSchema]),
+});
+const selectionsMatch = (left, right) => left.kind === right.kind && left.id === right.id;
+const selectionIsBuiltIn = (selection) => selection.kind === "profile"
+    ? selection.id === LOCAL_HOST_PROFILE_ID
+    : selection.id === LOCAL_DEFAULT_POLICY_ID;
+const workspaceProjectionMatches = (input) => (input.instance === undefined ||
+    input.instance.workspaceId === input.workspace.id) &&
+    input.resolution.workspaceId === input.workspace.id &&
+    input.resolution.workspaceRevision === input.workspace.revision &&
+    input.resolution.selectedProfileId === LOCAL_HOST_PROFILE_ID &&
+    selectionIsBuiltIn(input.resolution.selection) &&
+    (input.binding === undefined
+        ? input.resolution.source === "node-default" &&
+            input.resolution.selection.kind === "policy" &&
+            input.resolution.selection.id === LOCAL_DEFAULT_POLICY_ID
+        : input.binding.workspaceId === input.workspace.id &&
+            input.binding.workspaceRevision === input.workspace.revision &&
+            input.resolution.source === "workspace" &&
+            selectionsMatch(input.binding.selection, input.resolution.selection));
+const workspaceExecutionShowResultStructEffectSchema = Schema.Struct({
+    binding: Schema.optional(workspaceExecutionBindingEffectSchema),
+    instance: Schema.optional(executionInstanceEffectSchema),
+    method: Schema.Literal("workspace.execution.show"),
+    resolution: workspaceExecutionResolutionEffectSchema,
+    workspace: workspaceEffectSchema,
+});
+export const workspaceExecutionShowResultEffectSchema = workspaceExecutionShowResultStructEffectSchema.check(Schema.makeFilter(workspaceProjectionMatches, {
+    expected: "an exact workspace execution projection",
+}));
+const workspaceExecutionConfigureResultStructEffectSchema = Schema.Struct({
+    binding: Schema.optional(workspaceExecutionBindingEffectSchema),
+    delivery: Schema.Literals(["new", "duplicate"]),
+    method: Schema.Literal("workspace.execution.configure"),
+    receipt: commandReceiptEffectSchema,
+    resolution: workspaceExecutionResolutionEffectSchema,
+    workspace: workspaceEffectSchema,
+});
+export const workspaceExecutionConfigureResultEffectSchema = workspaceExecutionConfigureResultStructEffectSchema.check(Schema.makeFilter((result) => workspaceProjectionMatches(result) &&
+    result.receipt.actorId === "actor_local_user" &&
+    result.receipt.method === result.method &&
+    result.receipt.target.type === "workspace" &&
+    result.receipt.target.id === result.workspace.id &&
+    result.receipt.aggregateRevision === result.workspace.revision, {
+    expected: "an exact receipt-backed workspace execution configuration projection",
+}));
+export const executionRequestPayloadEffectSchema = Schema.Union([
+    Schema.Struct({
+        method: Schema.Literal("execution.catalog.get"),
+        parameters: executionCatalogGetParametersEffectSchema,
+    }),
+    Schema.Struct({
+        method: Schema.Literal("execution.command.run"),
+        parameters: executionCommandRunParametersEffectSchema,
+    }),
+    Schema.Struct({
+        method: Schema.Literal("execution.file.read"),
+        parameters: executionFileReadParametersEffectSchema,
+    }),
+    Schema.Struct({
+        method: Schema.Literal("execution.placement.create"),
+        parameters: executionPlacementCreateParametersEffectSchema,
+    }),
+    Schema.Struct({
+        method: Schema.Literal("execution.placement.show"),
+        parameters: executionPlacementShowParametersEffectSchema,
+    }),
+    Schema.Struct({
+        method: Schema.Literal("workspace.execution.show"),
+        parameters: workspaceExecutionShowParametersEffectSchema,
+    }),
+    Schema.Struct({
+        method: Schema.Literal("workspace.execution.configure"),
+        parameters: workspaceExecutionConfigureParametersEffectSchema,
+    }),
+]);
+export const executionSuccessResultEffectSchema = Schema.Union([
+    executionCatalogGetResultEffectSchema,
+    executionCommandRunResultEffectSchema,
+    executionFileReadResultEffectSchema,
+    executionPlacementCreateResultEffectSchema,
+    executionPlacementShowResultEffectSchema,
+    workspaceExecutionShowResultEffectSchema,
+    workspaceExecutionConfigureResultEffectSchema,
+]);
+export { executionRelocationRequestPayloadEffectSchema, executionRelocationSuccessResultEffectSchema, } from "./relocation/effect-schema.js";
+export { executionWorktreeRequestPayloadEffectSchema, executionWorktreeSuccessResultEffectSchema, } from "./worktree/effect-schema.js";
+//# sourceMappingURL=effect-schema.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effect-schema.js","sourceRoot":"","sources":["../../src/execution/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,GAC/B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAE9E,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,uCAAuC,EACvC,mCAAmC,GACpC,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,yCAAyC,EACzC,qCAAqC,GACtC,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,8CAA8C,EAC9C,0CAA0C,EAC1C,4CAA4C,EAC5C,wCAAwC,GACzC,MAAM,8BAA8B,CAAC;AAEtC,MAAM,oBAAoB,GAAG,6BAA6B,CAAC;AAC3D,MAAM,CAAC,MAAM,uCAAuC,GAAG,MAAM,CAAC,MAAM,CAAC;IACnE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC;IACtC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;IAC7B,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;IAC3C,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC;IAC1C,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,wBAAwB,CAAC;IAChD,gBAAgB,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;IACvC,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;IAC7B,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACvD,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC;IACrC,uBAAuB,EAAE,MAAM,CAAC,KAAK,CAAC;QACpC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;QAC3B,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;QACvB,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;KAC5B,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,4BAA4B,GAAG,MAAM,CAAC,MAAM,CAAC;IACxD,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;IAC7B,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC;IACzC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC;IAClD,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;IAC7B,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,wBAAwB,CAAC;CACxD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,2BAA2B,GAAG,MAAM,CAAC,MAAM,CAAC;IACvD,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;IAC7B,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC;IAC3C,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC;IACrC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC;IACjE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;IAC7B,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,wBAAwB,CAAC;CACxD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,uCAAuC,GAAG,MAAM,CAAC,KAAK,CAAC;IAClE,MAAM,CAAC,MAAM,CAAC;QACZ,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;KAChC,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;KAC/B,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qCAAqC,GAAG,MAAM,CAAC,MAAM,CAAC;IACjE,SAAS,EAAE,uCAAuC;IAClD,WAAW,EAAE,8BAA8B;IAC3C,iBAAiB,EAAE,oBAAoB;CACxC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,wCAAwC,GAAG,MAAM,CAAC,MAAM,CAAC;IACpE,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,wBAAwB,CAAC;IAChD,iBAAiB,EAAE,8BAA8B;IACjD,SAAS,EAAE,uCAAuC;IAClD,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;IACtD,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC;IACrC,WAAW,EAAE,8BAA8B;IAC3C,iBAAiB,EAAE,oBAAoB;CACxC,CAAC,CAAC;AAEH,MAAM,2BAA2B,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;AAE/E,MAAM,CAAC,MAAM,6BAA6B,GAAG,MAAM,CAAC,MAAM,CAAC;IACzD,EAAE,EAAE,8BAA8B;IAClC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC;IAChD,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC;IAClD,QAAQ,EAAE,oBAAoB;IAC9B,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACvD,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC;IACrC,WAAW,EAAE,8BAA8B;CAC5C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yCAAyC,GACpD,2BAA2B,CAAC;AAE9B,MAAM,CAAC,MAAM,4CAA4C,GAAG,MAAM,CAAC,MAAM,CAAC;IACxE,WAAW,EAAE,8BAA8B;CAC5C,CAAC,CAAC;AAEH,MAAM,mCAAmC,GAAG;IAC1C,SAAS,EAAE,8BAA8B;IACzC,gBAAgB,EAAE,oBAAoB;IACtC,WAAW,EAAE,8BAA8B;CAC5C,CAAC;AAEF,MAAM,CAAC,MAAM,iDAAiD,GAAG,MAAM,CAAC,KAAK,CAAC;IAC5E,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,mCAAmC;QACtC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;KACnC,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,GAAG,mCAAmC;QACtC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QAChC,SAAS,EAAE,uCAAuC;KACnD,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qCAAqC,GAAG,MAAM,CAAC,MAAM,CAAC;IACjE,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACxD,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC;IAC/C,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,2BAA2B,CAAC,CAAC;IACrD,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,4BAA4B,CAAC,CAAC;IACtD,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,uCAAuC,CAAC,CAAC;CACnE,CAAC,CAAC;AAQH,MAAM,eAAe,GAAG,CACtB,IAA6B,EAC7B,KAA8B,EACrB,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC;AAE/D,MAAM,kBAAkB,GAAG,CAAC,SAAkC,EAAW,EAAE,CACzE,SAAS,CAAC,IAAI,KAAK,SAAS;IAC1B,CAAC,CAAC,SAAS,CAAC,EAAE,KAAK,qBAAqB;IACxC,CAAC,CAAC,SAAS,CAAC,EAAE,KAAK,uBAAuB,CAAC;AAE/C,MAAM,0BAA0B,GAAG,CAAC,KAKnC,EAAW,EAAE,CACZ,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS;IAC3B,KAAK,CAAC,QAAQ,CAAC,WAAW,KAAK,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;IACpD,KAAK,CAAC,UAAU,CAAC,WAAW,KAAK,KAAK,CAAC,SAAS,CAAC,EAAE;IACnD,KAAK,CAAC,UAAU,CAAC,iBAAiB,KAAK,KAAK,CAAC,SAAS,CAAC,QAAQ;IAC/D,KAAK,CAAC,UAAU,CAAC,iBAAiB,KAAK,qBAAqB;IAC5D,kBAAkB,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC;IAC9C,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;QAC1B,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,cAAc;YAC1C,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ;YAC5C,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,KAAK,uBAAuB;QAC3D,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,KAAK,KAAK,CAAC,SAAS,CAAC,EAAE;YAChD,KAAK,CAAC,OAAO,CAAC,iBAAiB,KAAK,KAAK,CAAC,SAAS,CAAC,QAAQ;YAC5D,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,WAAW;YACvC,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;AAE5E,MAAM,8CAA8C,GAAG,MAAM,CAAC,MAAM,CAAC;IACnE,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,qCAAqC,CAAC;IAC/D,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,6BAA6B,CAAC;IACxD,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,0BAA0B,CAAC;IAClD,UAAU,EAAE,wCAAwC;IACpD,SAAS,EAAE,qBAAqB;CACjC,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,wCAAwC,GACnD,8CAA8C,CAAC,KAAK,CAClD,MAAM,CAAC,UAAU,CAAC,0BAA0B,EAAE;IAC5C,QAAQ,EAAE,yCAAyC;CACpD,CAAC,CACH,CAAC;AAEJ,MAAM,mDAAmD,GAAG,MAAM,CAAC,MAAM,CAAC;IACxE,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,qCAAqC,CAAC;IAC/D,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC/C,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,+BAA+B,CAAC;IACvD,OAAO,EAAE,0BAA0B;IACnC,UAAU,EAAE,wCAAwC;IACpD,SAAS,EAAE,qBAAqB;CACjC,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,6CAA6C,GACxD,mDAAmD,CAAC,KAAK,CACvD,MAAM,CAAC,UAAU,CACf,CAAC,MAAM,EAAE,EAAE,CACT,0BAA0B,CAAC,MAAM,CAAC;IAClC,MAAM,CAAC,OAAO,CAAC,OAAO,KAAK,kBAAkB;IAC7C,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;IACvC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW;IAC1C,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,MAAM,CAAC,SAAS,CAAC,EAAE;IAChD,MAAM,CAAC,OAAO,CAAC,iBAAiB,KAAK,MAAM,CAAC,SAAS,CAAC,QAAQ,EAChE;IACE,QAAQ,EACN,sEAAsE;CACzE,CACF,CACF,CAAC;AAEJ,MAAM,CAAC,MAAM,mCAAmC,GAAG,MAAM,CAAC,KAAK,CAAC;IAC9D,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC;QAC/C,UAAU,EAAE,yCAAyC;KACtD,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC;QAC/C,UAAU,EAAE,yCAAyC;KACtD,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC;QAC7C,UAAU,EAAE,uCAAuC;KACpD,CAAC;IACF,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,0BAA0B,CAAC;QAClD,UAAU,EAAE,4CAA4C;KACzD,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,0BAA0B,CAAC;QAClD,UAAU,EAAE,4CAA4C;KACzD,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,+BAA+B,CAAC;QACvD,UAAU,EAAE,iDAAiD;KAC9D,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,kCAAkC,GAAG,MAAM,CAAC,KAAK,CAAC;IAC7D,qCAAqC;IACrC,qCAAqC;IACrC,mCAAmC;IACnC,0CAA0C;IAC1C,wCAAwC;IACxC,wCAAwC;IACxC,6CAA6C;CAC9C,CAAC,CAAC;AACH,OAAO,EACL,6CAA6C,EAC7C,4CAA4C,GAC7C,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,2CAA2C,EAC3C,0CAA0C,GAC3C,MAAM,6BAA6B,CAAC"}

package/dist/execution/file-operation-contract.d.ts

@@ -0,0 +1,106 @@
+import type { InferRuntimeSchema } from "../runtime-schema/index.js";
+export declare const executionFileReadOperationSchema: import("../runtime-schema/runtime-schema.js").RuntimeSchema<{
+    readonly commandId: string;
+    readonly id: string;
+    readonly instanceId: string;
+    readonly instanceRevision: string;
+    readonly revision: string;
+    readonly schemaVersion: "maia.execution/v1alpha1";
+    readonly state: "prepared" | "running";
+} | {
+    readonly commandId: string;
+    readonly id: string;
+    readonly instanceId: string;
+    readonly instanceRevision: string;
+    readonly revision: string;
+    readonly schemaVersion: "maia.execution/v1alpha1";
+    readonly byteLength: number;
+    readonly bytesBase64: string;
+    readonly contentDigest: string;
+    readonly state: "succeeded";
+} | {
+    readonly commandId: string;
+    readonly id: string;
+    readonly instanceId: string;
+    readonly instanceRevision: string;
+    readonly revision: string;
+    readonly schemaVersion: "maia.execution/v1alpha1";
+    readonly failure: "file_changed" | "file_not_found" | "file_not_regular" | "file_too_large" | "path_invalid";
+    readonly state: "failed";
+} | {
+    readonly commandId: string;
+    readonly id: string;
+    readonly instanceId: string;
+    readonly instanceRevision: string;
+    readonly revision: string;
+    readonly schemaVersion: "maia.execution/v1alpha1";
+    readonly state: "outcome_unknown";
+}>;
+export type ExecutionFileReadOperation = InferRuntimeSchema<typeof executionFileReadOperationSchema>;
+export declare const executionFileReadParametersSchema: import("../runtime-schema/runtime-schema.js").RuntimeSchema<{
+    readonly commandId: string;
+    readonly expectedRevision: string;
+    readonly instanceId: string;
+    readonly relativePath: string;
+}>;
+export type ExecutionFileReadParameters = InferRuntimeSchema<typeof executionFileReadParametersSchema>;
+export declare const executionFileReadResultSchema: import("../runtime-schema/runtime-schema.js").RuntimeSchema<{
+    readonly delivery: "duplicate" | "new";
+    readonly method: "execution.file.read";
+    readonly operation: {
+        readonly commandId: string;
+        readonly id: string;
+        readonly instanceId: string;
+        readonly instanceRevision: string;
+        readonly revision: string;
+        readonly schemaVersion: "maia.execution/v1alpha1";
+        readonly state: "prepared" | "running";
+    } | {
+        readonly commandId: string;
+        readonly id: string;
+        readonly instanceId: string;
+        readonly instanceRevision: string;
+        readonly revision: string;
+        readonly schemaVersion: "maia.execution/v1alpha1";
+        readonly byteLength: number;
+        readonly bytesBase64: string;
+        readonly contentDigest: string;
+        readonly state: "succeeded";
+    } | {
+        readonly commandId: string;
+        readonly id: string;
+        readonly instanceId: string;
+        readonly instanceRevision: string;
+        readonly revision: string;
+        readonly schemaVersion: "maia.execution/v1alpha1";
+        readonly failure: "file_changed" | "file_not_found" | "file_not_regular" | "file_too_large" | "path_invalid";
+        readonly state: "failed";
+    } | {
+        readonly commandId: string;
+        readonly id: string;
+        readonly instanceId: string;
+        readonly instanceRevision: string;
+        readonly revision: string;
+        readonly schemaVersion: "maia.execution/v1alpha1";
+        readonly state: "outcome_unknown";
+    };
+    readonly receipt: {
+        readonly actorId: string;
+        readonly aggregateRevision: string;
+        readonly commandId: string;
+        readonly createdAt: string;
+        readonly eventCursor: string;
+        readonly method: string;
+        readonly receiptId: string;
+        readonly schemaVersion: 1;
+        readonly state: "succeeded";
+        readonly target: {
+            readonly id: string;
+            readonly type: string;
+        };
+        readonly updatedAt: string;
+    };
+}>;
+export type ExecutionFileReadResult = InferRuntimeSchema<typeof executionFileReadResultSchema>;
+export { MAX_EXECUTION_FILE_PATH_SEGMENTS, MAX_EXECUTION_FILE_READ_BYTES, MAX_EXECUTION_FILE_RELATIVE_PATH_BYTES, } from "./file-operation-version.js";
+//# sourceMappingURL=file-operation-contract.d.ts.map

package/dist/execution/file-operation-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-operation-contract.d.ts","sourceRoot":"","sources":["../../src/execution/file-operation-contract.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAQrE,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE5C,CAAC;AACF,MAAM,MAAM,0BAA0B,GAAG,kBAAkB,CACzD,OAAO,gCAAgC,CACxC,CAAC;AAEF,eAAO,MAAM,iCAAiC;;;;;EAE7C,CAAC;AACF,MAAM,MAAM,2BAA2B,GAAG,kBAAkB,CAC1D,OAAO,iCAAiC,CACzC,CAAC;AAEF,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEzC,CAAC;AACF,MAAM,MAAM,uBAAuB,GAAG,kBAAkB,CACtD,OAAO,6BAA6B,CACrC,CAAC;AACF,OAAO,EACL,gCAAgC,EAChC,6BAA6B,EAC7B,sCAAsC,GACvC,MAAM,6BAA6B,CAAC"}

package/dist/execution/file-operation-contract.js

@@ -0,0 +1,7 @@
+import { makeEffectRuntimeSchema } from "../runtime-schema/effect-schema.js";
+import { executionFileReadOperationEffectSchema, executionFileReadParametersEffectSchema, executionFileReadResultEffectSchema, } from "./file-operation-effect-schema.js";
+export const executionFileReadOperationSchema = makeEffectRuntimeSchema(executionFileReadOperationEffectSchema);
+export const executionFileReadParametersSchema = makeEffectRuntimeSchema(executionFileReadParametersEffectSchema);
+export const executionFileReadResultSchema = makeEffectRuntimeSchema(executionFileReadResultEffectSchema);
+export { MAX_EXECUTION_FILE_PATH_SEGMENTS, MAX_EXECUTION_FILE_READ_BYTES, MAX_EXECUTION_FILE_RELATIVE_PATH_BYTES, } from "./file-operation-version.js";
+//# sourceMappingURL=file-operation-contract.js.map

package/dist/execution/file-operation-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-operation-contract.js","sourceRoot":"","sources":["../../src/execution/file-operation-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAG7E,OAAO,EACL,sCAAsC,EACtC,uCAAuC,EACvC,mCAAmC,GACpC,MAAM,mCAAmC,CAAC;AAE3C,MAAM,CAAC,MAAM,gCAAgC,GAAG,uBAAuB,CACrE,sCAAsC,CACvC,CAAC;AAKF,MAAM,CAAC,MAAM,iCAAiC,GAAG,uBAAuB,CACtE,uCAAuC,CACxC,CAAC;AAKF,MAAM,CAAC,MAAM,6BAA6B,GAAG,uBAAuB,CAClE,mCAAmC,CACpC,CAAC;AAIF,OAAO,EACL,gCAAgC,EAChC,6BAA6B,EAC7B,sCAAsC,GACvC,MAAM,6BAA6B,CAAC"}

package/dist/execution/file-operation-effect-schema.d.ts

@@ -0,0 +1,102 @@
+import * as Schema from "effect/Schema";
+export declare const executionFileReadParametersEffectSchema: Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly expectedRevision: Schema.String;
+    readonly instanceId: Schema.String;
+    readonly relativePath: Schema.String;
+}>;
+export declare const executionFileReadOperationEffectSchema: Schema.Union<readonly [Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly id: Schema.String;
+    readonly instanceId: Schema.String;
+    readonly instanceRevision: Schema.String;
+    readonly revision: Schema.String;
+    readonly schemaVersion: Schema.Literal<"maia.execution/v1alpha1">;
+    readonly state: Schema.Literals<readonly ["prepared", "running"]>;
+}>, Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly id: Schema.String;
+    readonly instanceId: Schema.String;
+    readonly instanceRevision: Schema.String;
+    readonly revision: Schema.String;
+    readonly schemaVersion: Schema.Literal<"maia.execution/v1alpha1">;
+    readonly byteLength: Schema.Int;
+    readonly bytesBase64: Schema.String;
+    readonly contentDigest: Schema.String;
+    readonly state: Schema.Literal<"succeeded">;
+}>, Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly id: Schema.String;
+    readonly instanceId: Schema.String;
+    readonly instanceRevision: Schema.String;
+    readonly revision: Schema.String;
+    readonly schemaVersion: Schema.Literal<"maia.execution/v1alpha1">;
+    readonly failure: Schema.Literals<readonly ["file_changed", "file_not_found", "file_not_regular", "file_too_large", "path_invalid"]>;
+    readonly state: Schema.Literal<"failed">;
+}>, Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly id: Schema.String;
+    readonly instanceId: Schema.String;
+    readonly instanceRevision: Schema.String;
+    readonly revision: Schema.String;
+    readonly schemaVersion: Schema.Literal<"maia.execution/v1alpha1">;
+    readonly state: Schema.Literal<"outcome_unknown">;
+}>]>;
+export declare const executionFileReadResultEffectSchema: Schema.Struct<{
+    readonly delivery: Schema.Literals<readonly ["duplicate", "new"]>;
+    readonly method: Schema.Literal<"execution.file.read">;
+    readonly operation: Schema.Union<readonly [Schema.Struct<{
+        readonly commandId: Schema.String;
+        readonly id: Schema.String;
+        readonly instanceId: Schema.String;
+        readonly instanceRevision: Schema.String;
+        readonly revision: Schema.String;
+        readonly schemaVersion: Schema.Literal<"maia.execution/v1alpha1">;
+        readonly state: Schema.Literals<readonly ["prepared", "running"]>;
+    }>, Schema.Struct<{
+        readonly commandId: Schema.String;
+        readonly id: Schema.String;
+        readonly instanceId: Schema.String;
+        readonly instanceRevision: Schema.String;
+        readonly revision: Schema.String;
+        readonly schemaVersion: Schema.Literal<"maia.execution/v1alpha1">;
+        readonly byteLength: Schema.Int;
+        readonly bytesBase64: Schema.String;
+        readonly contentDigest: Schema.String;
+        readonly state: Schema.Literal<"succeeded">;
+    }>, Schema.Struct<{
+        readonly commandId: Schema.String;
+        readonly id: Schema.String;
+        readonly instanceId: Schema.String;
+        readonly instanceRevision: Schema.String;
+        readonly revision: Schema.String;
+        readonly schemaVersion: Schema.Literal<"maia.execution/v1alpha1">;
+        readonly failure: Schema.Literals<readonly ["file_changed", "file_not_found", "file_not_regular", "file_too_large", "path_invalid"]>;
+        readonly state: Schema.Literal<"failed">;
+    }>, Schema.Struct<{
+        readonly commandId: Schema.String;
+        readonly id: Schema.String;
+        readonly instanceId: Schema.String;
+        readonly instanceRevision: Schema.String;
+        readonly revision: Schema.String;
+        readonly schemaVersion: Schema.Literal<"maia.execution/v1alpha1">;
+        readonly state: Schema.Literal<"outcome_unknown">;
+    }>]>;
+    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;
+    }>;
+}>;
+//# sourceMappingURL=file-operation-effect-schema.d.ts.map

package/dist/execution/file-operation-effect-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-operation-effect-schema.d.ts","sourceRoot":"","sources":["../../src/execution/file-operation-effect-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAmExC,eAAO,MAAM,uCAAuC;;;;;EAKlD,CAAC;AA2CH,eAAO,MAAM,sCAAsC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAKjD,CAAC;AASH,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAa7C,CAAC"}

package/dist/execution/file-operation-effect-schema.js

@@ -0,0 +1,91 @@
+import * as Schema from "effect/Schema";
+import { commandReceiptEffectSchema } from "../command-receipt/effect-schema.js";
+import { aggregateRevisionEffectSchema, protocolIdentifierEffectSchema, } from "../envelope/effect-schema.js";
+import { EXECUTION_SCHEMA_VERSION } from "./catalog/index.js";
+import { MAX_EXECUTION_FILE_PATH_SEGMENTS, MAX_EXECUTION_FILE_READ_BYTES, MAX_EXECUTION_FILE_RELATIVE_PATH_BYTES, } from "./file-operation-version.js";
+const utf8Bytes = (value) => new TextEncoder().encode(value).byteLength;
+const portableRelativePath = (value) => {
+    if (value.startsWith("/") ||
+        value.includes("\\") ||
+        value.includes("\0") ||
+        /^[A-Za-z]:/u.test(value) ||
+        utf8Bytes(value) > MAX_EXECUTION_FILE_RELATIVE_PATH_BYTES) {
+        return false;
+    }
+    const segments = value.split("/");
+    return (segments.length <= MAX_EXECUTION_FILE_PATH_SEGMENTS &&
+        segments.every((segment) => segment.length > 0 && segment !== "." && segment !== ".."));
+};
+const relativePathEffectSchema = Schema.String.check(Schema.isMinLength(1), Schema.isMaxLength(MAX_EXECUTION_FILE_RELATIVE_PATH_BYTES), Schema.makeFilter(portableRelativePath, {
+    expected: "a bounded portable relative path without empty, dot, dot-dot, backslash, drive, or NUL segments",
+}));
+const decodedBase64Bytes = (value) => {
+    let padding = 0;
+    if (value.endsWith("=="))
+        padding = 2;
+    else if (value.endsWith("="))
+        padding = 1;
+    return (value.length / 4) * 3 - padding;
+};
+const boundedFileBytesEffectSchema = Schema.String.check(Schema.makeFilter((value) => /^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==|[A-Za-z0-9+/]{3}=)?$/u.test(value) && decodedBase64Bytes(value) <= MAX_EXECUTION_FILE_READ_BYTES, { expected: "base64 file content within 65536 decoded bytes" }));
+const contentDigestEffectSchema = Schema.String.check(Schema.isPattern(/^sha256:[0-9a-f]{64}$/u));
+export const executionFileReadParametersEffectSchema = Schema.Struct({
+    commandId: protocolIdentifierEffectSchema,
+    expectedRevision: aggregateRevisionEffectSchema,
+    instanceId: protocolIdentifierEffectSchema,
+    relativePath: relativePathEffectSchema,
+});
+const executionFileReadOperationFields = {
+    commandId: protocolIdentifierEffectSchema,
+    id: protocolIdentifierEffectSchema,
+    instanceId: protocolIdentifierEffectSchema,
+    instanceRevision: aggregateRevisionEffectSchema,
+    revision: aggregateRevisionEffectSchema,
+    schemaVersion: Schema.Literal(EXECUTION_SCHEMA_VERSION),
+};
+const pendingExecutionFileReadOperationEffectSchema = Schema.Struct({
+    ...executionFileReadOperationFields,
+    state: Schema.Literals(["prepared", "running"]),
+});
+const succeededExecutionFileReadOperationEffectSchema = Schema.Struct({
+    ...executionFileReadOperationFields,
+    byteLength: Schema.Int.check(Schema.isBetween({ maximum: MAX_EXECUTION_FILE_READ_BYTES, minimum: 0 })),
+    bytesBase64: boundedFileBytesEffectSchema,
+    contentDigest: contentDigestEffectSchema,
+    state: Schema.Literal("succeeded"),
+});
+const failedExecutionFileReadOperationEffectSchema = Schema.Struct({
+    ...executionFileReadOperationFields,
+    failure: Schema.Literals([
+        "file_changed",
+        "file_not_found",
+        "file_not_regular",
+        "file_too_large",
+        "path_invalid",
+    ]),
+    state: Schema.Literal("failed"),
+});
+const unknownExecutionFileReadOperationEffectSchema = Schema.Struct({
+    ...executionFileReadOperationFields,
+    state: Schema.Literal("outcome_unknown"),
+});
+export const executionFileReadOperationEffectSchema = Schema.Union([
+    pendingExecutionFileReadOperationEffectSchema,
+    succeededExecutionFileReadOperationEffectSchema,
+    failedExecutionFileReadOperationEffectSchema,
+    unknownExecutionFileReadOperationEffectSchema,
+]);
+const executionFileReadResultStructEffectSchema = Schema.Struct({
+    delivery: Schema.Literals(["duplicate", "new"]),
+    method: Schema.Literal("execution.file.read"),
+    operation: executionFileReadOperationEffectSchema,
+    receipt: commandReceiptEffectSchema,
+});
+export const executionFileReadResultEffectSchema = executionFileReadResultStructEffectSchema.check(Schema.makeFilter((result) => result.receipt.actorId === "actor_local_user" &&
+    result.receipt.method === result.method &&
+    result.receipt.target.type === "execution_instance" &&
+    result.receipt.target.id === result.operation.instanceId &&
+    result.receipt.aggregateRevision ===
+        result.operation.instanceRevision &&
+    result.receipt.commandId === result.operation.commandId, { expected: "an exact receipt-backed execution file read projection" }));
+//# sourceMappingURL=file-operation-effect-schema.js.map

package/dist/execution/file-operation-effect-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-operation-effect-schema.js","sourceRoot":"","sources":["../../src/execution/file-operation-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,GAC/B,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EACL,gCAAgC,EAChC,6BAA6B,EAC7B,sCAAsC,GACvC,MAAM,6BAA6B,CAAC;AAErC,MAAM,SAAS,GAAG,CAAC,KAAa,EAAU,EAAE,CAC1C,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC;AAE7C,MAAM,oBAAoB,GAAG,CAAC,KAAa,EAAW,EAAE;IACtD,IACE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;QACrB,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QACpB,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QACpB,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC;QACzB,SAAS,CAAC,KAAK,CAAC,GAAG,sCAAsC,EACzD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAClC,OAAO,CACL,QAAQ,CAAC,MAAM,IAAI,gCAAgC;QACnD,QAAQ,CAAC,KAAK,CACZ,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,IAAI,CACvE,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAClD,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EACrB,MAAM,CAAC,WAAW,CAAC,sCAAsC,CAAC,EAC1D,MAAM,CAAC,UAAU,CAAC,oBAAoB,EAAE;IACtC,QAAQ,EACN,iGAAiG;CACpG,CAAC,CACH,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,KAAa,EAAU,EAAE;IACnD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC,CAAC;SACjC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC,CAAC;IAC1C,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CACtD,MAAM,CAAC,UAAU,CACf,CAAC,KAAK,EAAE,EAAE,CACR,mEAAmE,CAAC,IAAI,CACtE,KAAK,CACN,IAAI,kBAAkB,CAAC,KAAK,CAAC,IAAI,6BAA6B,EACjE,EAAE,QAAQ,EAAE,gDAAgD,EAAE,CAC/D,CACF,CAAC;AAEF,MAAM,yBAAyB,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CACnD,MAAM,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAC3C,CAAC;AAEF,MAAM,CAAC,MAAM,uCAAuC,GAAG,MAAM,CAAC,MAAM,CAAC;IACnE,SAAS,EAAE,8BAA8B;IACzC,gBAAgB,EAAE,6BAA6B;IAC/C,UAAU,EAAE,8BAA8B;IAC1C,YAAY,EAAE,wBAAwB;CACvC,CAAC,CAAC;AAEH,MAAM,gCAAgC,GAAG;IACvC,SAAS,EAAE,8BAA8B;IACzC,EAAE,EAAE,8BAA8B;IAClC,UAAU,EAAE,8BAA8B;IAC1C,gBAAgB,EAAE,6BAA6B;IAC/C,QAAQ,EAAE,6BAA6B;IACvC,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,wBAAwB,CAAC;CACxD,CAAC;AAEF,MAAM,6CAA6C,GAAG,MAAM,CAAC,MAAM,CAAC;IAClE,GAAG,gCAAgC;IACnC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;CAChD,CAAC,CAAC;AAEH,MAAM,+CAA+C,GAAG,MAAM,CAAC,MAAM,CAAC;IACpE,GAAG,gCAAgC;IACnC,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAC1B,MAAM,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,6BAA6B,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CACzE;IACD,WAAW,EAAE,4BAA4B;IACzC,aAAa,EAAE,yBAAyB;IACxC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;CACnC,CAAC,CAAC;AAEH,MAAM,4CAA4C,GAAG,MAAM,CAAC,MAAM,CAAC;IACjE,GAAG,gCAAgC;IACnC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC;QACvB,cAAc;QACd,gBAAgB;QAChB,kBAAkB;QAClB,gBAAgB;QAChB,cAAc;KACf,CAAC;IACF,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;CAChC,CAAC,CAAC;AAEH,MAAM,6CAA6C,GAAG,MAAM,CAAC,MAAM,CAAC;IAClE,GAAG,gCAAgC;IACnC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC;CACzC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,sCAAsC,GAAG,MAAM,CAAC,KAAK,CAAC;IACjE,6CAA6C;IAC7C,+CAA+C;IAC/C,4CAA4C;IAC5C,6CAA6C;CAC9C,CAAC,CAAC;AAEH,MAAM,yCAAyC,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9D,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC/C,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC;IAC7C,SAAS,EAAE,sCAAsC;IACjD,OAAO,EAAE,0BAA0B;CACpC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,mCAAmC,GAC9C,yCAAyC,CAAC,KAAK,CAC7C,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,IAAI,KAAK,oBAAoB;IACnD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,MAAM,CAAC,SAAS,CAAC,UAAU;IACxD,MAAM,CAAC,OAAO,CAAC,iBAAiB;QAC9B,MAAM,CAAC,SAAS,CAAC,gBAAgB;IACnC,MAAM,CAAC,OAAO,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,CAAC,SAAS,EACzD,EAAE,QAAQ,EAAE,wDAAwD,EAAE,CACvE,CACF,CAAC"}

package/dist/execution/file-operation-version.d.ts

@@ -0,0 +1,4 @@
+export declare const MAX_EXECUTION_FILE_READ_BYTES: number;
+export declare const MAX_EXECUTION_FILE_RELATIVE_PATH_BYTES = 4096;
+export declare const MAX_EXECUTION_FILE_PATH_SEGMENTS = 128;
+//# sourceMappingURL=file-operation-version.d.ts.map

package/dist/execution/file-operation-version.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-operation-version.d.ts","sourceRoot":"","sources":["../../src/execution/file-operation-version.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,6BAA6B,QAAY,CAAC;AACvD,eAAO,MAAM,sCAAsC,OAAO,CAAC;AAC3D,eAAO,MAAM,gCAAgC,MAAM,CAAC"}

package/dist/execution/file-operation-version.js

@@ -0,0 +1,4 @@
+export const MAX_EXECUTION_FILE_READ_BYTES = 64 * 1024;
+export const MAX_EXECUTION_FILE_RELATIVE_PATH_BYTES = 4096;
+export const MAX_EXECUTION_FILE_PATH_SEGMENTS = 128;
+//# sourceMappingURL=file-operation-version.js.map

package/dist/execution/file-operation-version.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-operation-version.js","sourceRoot":"","sources":["../../src/execution/file-operation-version.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,6BAA6B,GAAG,EAAE,GAAG,IAAI,CAAC;AACvD,MAAM,CAAC,MAAM,sCAAsC,GAAG,IAAI,CAAC;AAC3D,MAAM,CAAC,MAAM,gCAAgC,GAAG,GAAG,CAAC"}

package/dist/execution/index.d.ts

@@ -0,0 +1,8 @@
+export { EXECUTION_SCHEMA_VERSION, LOCAL_DEFAULT_POLICY_ID, LOCAL_HOST_PROFILE_ID, LOCAL_HOST_PROVIDER_ID, LOCAL_WORKTREE_PROFILE_ID, } from "./catalog/index.js";
+export { type ExecutionCatalogGetParameters, executionCatalogGetParametersSchema, type ExecutionCatalogGetResult, executionCatalogGetResultSchema, type ExecutionInstance, executionInstanceSchema, type ExecutionProfile, executionProfileSchema, type ExecutionProviderDescriptor, executionProviderDescriptorSchema, type ExecutionResult, type PlacementPolicy, placementPolicySchema, type WorkspaceExecutionBinding, workspaceExecutionBindingSchema, type WorkspaceExecutionConfigureParameters, workspaceExecutionConfigureParametersSchema, type WorkspaceExecutionConfigureResult, workspaceExecutionConfigureResultSchema, type WorkspaceExecutionResolution, workspaceExecutionResolutionSchema, type WorkspaceExecutionSelection, workspaceExecutionSelectionSchema, type WorkspaceExecutionShowParameters, workspaceExecutionShowParametersSchema, type WorkspaceExecutionShowResult, workspaceExecutionShowResultSchema, } from "./contract.js";
+export type { ExecutionFileReadParameters } from "./file-operation-contract.js";
+export type { ExecutionCommandRunParameters } from "./operation-contract.js";
+export type { ExecutionPlacementCreateParameters, ExecutionPlacementShowParameters, } from "./placement/index.js";
+export type { ExecutionRelocationApplyParameters, ExecutionRelocationApplyResult, ExecutionRelocationPlanParameters, ExecutionRelocationPlanResult, ExecutionRelocationReconcileParameters, ExecutionRelocationReconcileResult, ExecutionRelocationShowParameters, ExecutionRelocationShowResult, } from "./relocation/index.js";
+export type { ExecutionWorktreeCheckpointCreateParameters, ExecutionWorktreeCheckpointShowParameters, ExecutionWorktreeCreateParameters, ExecutionWorktreeImportParameters, ExecutionWorktreeReconcileParameters, ExecutionWorktreeRemoveApplyParameters, ExecutionWorktreeRemovePlanParameters, ExecutionWorktreeStatusParameters, ExecutionWorktreeSuccessResult, } from "./worktree/index.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/execution/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,KAAK,6BAA6B,EAClC,mCAAmC,EACnC,KAAK,yBAAyB,EAC9B,+BAA+B,EAC/B,KAAK,iBAAiB,EACtB,uBAAuB,EACvB,KAAK,gBAAgB,EACrB,sBAAsB,EACtB,KAAK,2BAA2B,EAChC,iCAAiC,EACjC,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,qBAAqB,EACrB,KAAK,yBAAyB,EAC9B,+BAA+B,EAC/B,KAAK,qCAAqC,EAC1C,2CAA2C,EAC3C,KAAK,iCAAiC,EACtC,uCAAuC,EACvC,KAAK,4BAA4B,EACjC,kCAAkC,EAClC,KAAK,2BAA2B,EAChC,iCAAiC,EACjC,KAAK,gCAAgC,EACrC,sCAAsC,EACtC,KAAK,4BAA4B,EACjC,kCAAkC,GACnC,MAAM,eAAe,CAAC;AACvB,YAAY,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAChF,YAAY,EAAE,6BAA6B,EAAE,MAAM,yBAAyB,CAAC;AAC7E,YAAY,EACV,kCAAkC,EAClC,gCAAgC,GACjC,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,kCAAkC,EAClC,8BAA8B,EAC9B,iCAAiC,EACjC,6BAA6B,EAC7B,sCAAsC,EACtC,kCAAkC,EAClC,iCAAiC,EACjC,6BAA6B,GAC9B,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EACV,2CAA2C,EAC3C,yCAAyC,EACzC,iCAAiC,EACjC,iCAAiC,EACjC,oCAAoC,EACpC,sCAAsC,EACtC,qCAAqC,EACrC,iCAAiC,EACjC,8BAA8B,GAC/B,MAAM,qBAAqB,CAAC"}

package/dist/execution/index.js

@@ -0,0 +1,3 @@
+export { EXECUTION_SCHEMA_VERSION, LOCAL_DEFAULT_POLICY_ID, LOCAL_HOST_PROFILE_ID, LOCAL_HOST_PROVIDER_ID, LOCAL_WORKTREE_PROFILE_ID, } from "./catalog/index.js";
+export { executionCatalogGetParametersSchema, executionCatalogGetResultSchema, executionInstanceSchema, executionProfileSchema, executionProviderDescriptorSchema, placementPolicySchema, workspaceExecutionBindingSchema, workspaceExecutionConfigureParametersSchema, workspaceExecutionConfigureResultSchema, workspaceExecutionResolutionSchema, workspaceExecutionSelectionSchema, workspaceExecutionShowParametersSchema, workspaceExecutionShowResultSchema, } from "./contract.js";
+//# sourceMappingURL=index.js.map

package/dist/execution/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/execution/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAEL,mCAAmC,EAEnC,+BAA+B,EAE/B,uBAAuB,EAEvB,sBAAsB,EAEtB,iCAAiC,EAGjC,qBAAqB,EAErB,+BAA+B,EAE/B,2CAA2C,EAE3C,uCAAuC,EAEvC,kCAAkC,EAElC,iCAAiC,EAEjC,sCAAsC,EAEtC,kCAAkC,GACnC,MAAM,eAAe,CAAC"}