@astrale-os/kernel-core 0.9.0-beta.9 → 0.9.0

package/dist/schema/callables/entrypoint.js

@@ -0,0 +1,12 @@
+import { edgeClass } from '@astrale-os/kernel-dsl/v1';
+import { Domain } from '../domain/index.js';
+import { Edge } from '../meta/index.js';
+import { View } from './view.js';
+export const Entrypoint = edgeClass.directed({
+    abstract: false,
+    source: { as: 'view', accepts: [View], outgoing: '0..1' },
+    target: { as: 'domain', accepts: [Domain], incoming: '0..1' },
+    description: 'The one View a Domain opens by default; a Domain declares at most one.',
+    extends: [Edge],
+    constraints: { noSelf: true },
+});

package/dist/schema/callables/execution.d.ts

@@ -0,0 +1,569 @@
+import { type builder } from '@astrale-os/kernel-dsl/v1';
+export declare const Execution: builder.NodeClass<{
+    readonly depth: 1;
+    readonly abstract: false;
+    readonly extends: readonly [builder.ClassReferenceProjection<"node", {
+        readonly abstract: true;
+        readonly depth: 0;
+        readonly properties: never;
+        readonly methods: Readonly<Record<never, never>>;
+    }, never, never, never>, builder.ClassReferenceProjection<"node", {
+        readonly abstract: true;
+        readonly depth: 1;
+        readonly properties: {
+            readonly createdAt: builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "createdAt", "self", undefined>;
+            readonly updatedAt: builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "updatedAt", "self", undefined>;
+        };
+        readonly methods: Readonly<Record<never, never>>;
+    }, builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "createdAt", builder.ClassOwnerProjection<"node", {
+        readonly abstract: true;
+        readonly depth: 1;
+        readonly properties: {
+            readonly createdAt: builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "createdAt", "self", undefined>;
+            readonly updatedAt: builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "updatedAt", "self", undefined>;
+        };
+        readonly methods: Readonly<Record<never, never>>;
+    }, builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "createdAt", unknown, undefined> | builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "updatedAt", unknown, undefined>, never, never>, undefined> | builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "updatedAt", builder.ClassOwnerProjection<"node", {
+        readonly abstract: true;
+        readonly depth: 1;
+        readonly properties: {
+            readonly createdAt: builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "createdAt", "self", undefined>;
+            readonly updatedAt: builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "updatedAt", "self", undefined>;
+        };
+        readonly methods: Readonly<Record<never, never>>;
+    }, builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "createdAt", unknown, undefined> | builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "updatedAt", unknown, undefined>, never, never>, undefined>, never, never>];
+    readonly properties: {
+        readonly function: builder.AuthoredPropertyProjection<import("@astrale-os/kernel-dsl/value").Value, import("@astrale-os/kernel-dsl/value").Value, true, "function", "self", undefined>;
+        readonly version: builder.AuthoredPropertyProjection<import("@astrale-os/kernel-dsl/value").Value, import("@astrale-os/kernel-dsl/value").Value, true, "version", "self", undefined>;
+        readonly domain: builder.AuthoredPropertyProjection<import("@astrale-os/kernel-dsl/value").Value, import("@astrale-os/kernel-dsl/value").Value, true, "domain", "self", undefined>;
+        readonly principal: builder.AuthoredPropertyProjection<import("@astrale-os/kernel-dsl/value").Value, import("@astrale-os/kernel-dsl/value").Value, true, "principal", "self", undefined>;
+        readonly receiver: builder.AuthoredPropertyProjection<import("@astrale-os/kernel-dsl/value").Value, import("@astrale-os/kernel-dsl/value").Value, false, "receiver", "self", never>;
+        readonly key: builder.AuthoredPropertyProjection<import("@astrale-os/kernel-dsl/value").Value, import("@astrale-os/kernel-dsl/value").Value, true, "key", "self", undefined>;
+        readonly input: builder.AuthoredPropertyProjection<import("@astrale-os/kernel-dsl/value").Value, import("@astrale-os/kernel-dsl/value").Value, true, "input", "self", undefined>;
+    };
+    readonly methods: Readonly<{
+        status: builder.Method<builder.CallableProjection<Record<string, never>, {
+            readonly mode: 'value';
+            readonly value: {
+                id: string;
+                function: string;
+                version: string;
+                state: "cancelled" | "completed" | "expired" | "failed" | "paused" | "pending" | "running" | "waiting";
+                createdAt: string;
+                detail?: {
+                    phase: "activating" | "attempting" | "awaiting" | "cancelled" | "classifying" | "completed" | "draining" | "rejected" | "validating";
+                    class?: "immediate" | "noop" | "revalidate" | undefined;
+                    mode?: "maintenance" | "online" | undefined;
+                    validation?: {
+                        scope: "full" | "incremental";
+                        counts: "exact" | "sample";
+                    } | undefined;
+                    progress?: {
+                        pages: number;
+                        interruptions: number;
+                    } | undefined;
+                    instance?: "attempt" | "draining" | "open" | "repair" | undefined;
+                    command?: number | undefined;
+                    expires?: number | undefined;
+                    attempt?: {
+                        number: number;
+                        destination: "previous" | "target";
+                    } | undefined;
+                    report?: {
+                        attempt: number;
+                        destination: "previous" | "target";
+                        result: "aborted" | "interrupted" | "migration-required";
+                        reason?: string | undefined;
+                        summary?: unknown;
+                    } | undefined;
+                    uncertified?: {
+                        since: number;
+                        session?: string | undefined;
+                        operator?: string | undefined;
+                        reason?: string | undefined;
+                    } | undefined;
+                } | undefined;
+                outcome?: {
+                    kind: "completed";
+                    value: unknown;
+                } | {
+                    kind: "failed";
+                    error: {
+                        code: string;
+                        message: string;
+                        family?: string | undefined;
+                        details?: unknown;
+                    };
+                } | {
+                    kind: "cancelled";
+                } | undefined;
+            } | {
+                id: string;
+                state: "deleted";
+                outcome: {
+                    kind: "completed";
+                    value: unknown;
+                } | {
+                    kind: "failed";
+                    error: {
+                        code: string;
+                        message: string;
+                        family?: string | undefined;
+                        details?: unknown;
+                    };
+                } | {
+                    kind: "cancelled";
+                };
+            };
+        }, "authenticated", false, false, undefined>>;
+        result: builder.Method<builder.CallableProjection<{
+            waitMs?: number | undefined;
+        }, {
+            readonly mode: 'value';
+            readonly value: {
+                kind: "completed";
+                value: unknown;
+            } | {
+                kind: "failed";
+                error: {
+                    code: string;
+                    message: string;
+                    family?: string | undefined;
+                    details?: unknown;
+                };
+            } | {
+                kind: "cancelled";
+            };
+        }, "authenticated", false, false, undefined>>;
+        cancel: builder.Method<builder.CallableProjection<{
+            force?: boolean | undefined;
+        }, {
+            readonly mode: 'value';
+            readonly value: {
+                id: string;
+                function: string;
+                version: string;
+                state: "cancelled" | "completed" | "expired" | "failed" | "paused" | "pending" | "running" | "waiting";
+                createdAt: string;
+                detail?: {
+                    phase: "activating" | "attempting" | "awaiting" | "cancelled" | "classifying" | "completed" | "draining" | "rejected" | "validating";
+                    class?: "immediate" | "noop" | "revalidate" | undefined;
+                    mode?: "maintenance" | "online" | undefined;
+                    validation?: {
+                        scope: "full" | "incremental";
+                        counts: "exact" | "sample";
+                    } | undefined;
+                    progress?: {
+                        pages: number;
+                        interruptions: number;
+                    } | undefined;
+                    instance?: "attempt" | "draining" | "open" | "repair" | undefined;
+                    command?: number | undefined;
+                    expires?: number | undefined;
+                    attempt?: {
+                        number: number;
+                        destination: "previous" | "target";
+                    } | undefined;
+                    report?: {
+                        attempt: number;
+                        destination: "previous" | "target";
+                        result: "aborted" | "interrupted" | "migration-required";
+                        reason?: string | undefined;
+                        summary?: unknown;
+                    } | undefined;
+                    uncertified?: {
+                        since: number;
+                        session?: string | undefined;
+                        operator?: string | undefined;
+                        reason?: string | undefined;
+                    } | undefined;
+                } | undefined;
+                outcome?: {
+                    kind: "completed";
+                    value: unknown;
+                } | {
+                    kind: "failed";
+                    error: {
+                        code: string;
+                        message: string;
+                        family?: string | undefined;
+                        details?: unknown;
+                    };
+                } | {
+                    kind: "cancelled";
+                } | undefined;
+            } | {
+                id: string;
+                state: "deleted";
+                outcome: {
+                    kind: "completed";
+                    value: unknown;
+                } | {
+                    kind: "failed";
+                    error: {
+                        code: string;
+                        message: string;
+                        family?: string | undefined;
+                        details?: unknown;
+                    };
+                } | {
+                    kind: "cancelled";
+                };
+            };
+        }, "authenticated", false, false, undefined>>;
+        signal: builder.Method<builder.CallableProjection<{
+            name: string;
+            value: unknown;
+        }, {
+            readonly mode: 'value';
+            readonly value: Record<string, never>;
+        }, "authenticated", false, false, undefined>>;
+        resume: builder.Method<builder.CallableProjection<Record<string, never>, {
+            readonly mode: 'value';
+            readonly value: {
+                id: string;
+                function: string;
+                version: string;
+                state: "cancelled" | "completed" | "expired" | "failed" | "paused" | "pending" | "running" | "waiting";
+                createdAt: string;
+                detail?: {
+                    phase: "activating" | "attempting" | "awaiting" | "cancelled" | "classifying" | "completed" | "draining" | "rejected" | "validating";
+                    class?: "immediate" | "noop" | "revalidate" | undefined;
+                    mode?: "maintenance" | "online" | undefined;
+                    validation?: {
+                        scope: "full" | "incremental";
+                        counts: "exact" | "sample";
+                    } | undefined;
+                    progress?: {
+                        pages: number;
+                        interruptions: number;
+                    } | undefined;
+                    instance?: "attempt" | "draining" | "open" | "repair" | undefined;
+                    command?: number | undefined;
+                    expires?: number | undefined;
+                    attempt?: {
+                        number: number;
+                        destination: "previous" | "target";
+                    } | undefined;
+                    report?: {
+                        attempt: number;
+                        destination: "previous" | "target";
+                        result: "aborted" | "interrupted" | "migration-required";
+                        reason?: string | undefined;
+                        summary?: unknown;
+                    } | undefined;
+                    uncertified?: {
+                        since: number;
+                        session?: string | undefined;
+                        operator?: string | undefined;
+                        reason?: string | undefined;
+                    } | undefined;
+                } | undefined;
+                outcome?: {
+                    kind: "completed";
+                    value: unknown;
+                } | {
+                    kind: "failed";
+                    error: {
+                        code: string;
+                        message: string;
+                        family?: string | undefined;
+                        details?: unknown;
+                    };
+                } | {
+                    kind: "cancelled";
+                } | undefined;
+            } | {
+                id: string;
+                state: "deleted";
+                outcome: {
+                    kind: "completed";
+                    value: unknown;
+                } | {
+                    kind: "failed";
+                    error: {
+                        code: string;
+                        message: string;
+                        family?: string | undefined;
+                        details?: unknown;
+                    };
+                } | {
+                    kind: "cancelled";
+                };
+            };
+        }, "authenticated", false, false, undefined>>;
+        delete: builder.Method<builder.CallableProjection<Record<string, never>, {
+            readonly mode: 'value';
+            readonly value: Record<string, never>;
+        }, "authenticated", false, false, undefined>>;
+    }>;
+    readonly effectiveProperties: builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "createdAt", builder.ClassOwnerProjection<"node", {
+        readonly abstract: true;
+        readonly depth: 1;
+        readonly properties: {
+            readonly createdAt: builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "createdAt", "self", undefined>;
+            readonly updatedAt: builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "updatedAt", "self", undefined>;
+        };
+        readonly methods: Readonly<Record<never, never>>;
+    }, builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "createdAt", unknown, undefined> | builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "updatedAt", unknown, undefined>, never, never>, undefined> | builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "updatedAt", builder.ClassOwnerProjection<"node", {
+        readonly abstract: true;
+        readonly depth: 1;
+        readonly properties: {
+            readonly createdAt: builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "createdAt", "self", undefined>;
+            readonly updatedAt: builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "updatedAt", "self", undefined>;
+        };
+        readonly methods: Readonly<Record<never, never>>;
+    }, builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "createdAt", unknown, undefined> | builder.AuthoredPropertyProjection<never, import("@astrale-os/kernel-dsl/value").Value, true, "updatedAt", unknown, undefined>, never, never>, undefined> | (builder.AuthoredPropertyProjection<import("@astrale-os/kernel-dsl/value").Value, import("@astrale-os/kernel-dsl/value").Value, true, "domain", "self", undefined> | builder.AuthoredPropertyProjection<import("@astrale-os/kernel-dsl/value").Value, import("@astrale-os/kernel-dsl/value").Value, true, "function", "self", undefined> | builder.AuthoredPropertyProjection<import("@astrale-os/kernel-dsl/value").Value, import("@astrale-os/kernel-dsl/value").Value, true, "input", "self", undefined> | builder.AuthoredPropertyProjection<import("@astrale-os/kernel-dsl/value").Value, import("@astrale-os/kernel-dsl/value").Value, true, "key", "self", undefined> | builder.AuthoredPropertyProjection<import("@astrale-os/kernel-dsl/value").Value, import("@astrale-os/kernel-dsl/value").Value, true, "principal", "self", undefined> | builder.AuthoredPropertyProjection<import("@astrale-os/kernel-dsl/value").Value, import("@astrale-os/kernel-dsl/value").Value, false, "receiver", "self", never> | builder.AuthoredPropertyProjection<import("@astrale-os/kernel-dsl/value").Value, import("@astrale-os/kernel-dsl/value").Value, true, "version", "self", undefined>);
+    readonly abstractInstanceMethods: never;
+    readonly abstractStaticMethods: never;
+    readonly effectiveInstanceMethods: builder.AuthoredMethodProjection<builder.Method<builder.CallableProjection<Record<string, never>, {
+        readonly mode: 'value';
+        readonly value: Record<string, never>;
+    }, "authenticated", false, false, undefined>>, "delete", "self"> | builder.AuthoredMethodProjection<builder.Method<builder.CallableProjection<Record<string, never>, {
+        readonly mode: 'value';
+        readonly value: {
+            id: string;
+            function: string;
+            version: string;
+            state: "cancelled" | "completed" | "expired" | "failed" | "paused" | "pending" | "running" | "waiting";
+            createdAt: string;
+            detail?: {
+                phase: "activating" | "attempting" | "awaiting" | "cancelled" | "classifying" | "completed" | "draining" | "rejected" | "validating";
+                class?: "immediate" | "noop" | "revalidate" | undefined;
+                mode?: "maintenance" | "online" | undefined;
+                validation?: {
+                    scope: "full" | "incremental";
+                    counts: "exact" | "sample";
+                } | undefined;
+                progress?: {
+                    pages: number;
+                    interruptions: number;
+                } | undefined;
+                instance?: "attempt" | "draining" | "open" | "repair" | undefined;
+                command?: number | undefined;
+                expires?: number | undefined;
+                attempt?: {
+                    number: number;
+                    destination: "previous" | "target";
+                } | undefined;
+                report?: {
+                    attempt: number;
+                    destination: "previous" | "target";
+                    result: "aborted" | "interrupted" | "migration-required";
+                    reason?: string | undefined;
+                    summary?: unknown;
+                } | undefined;
+                uncertified?: {
+                    since: number;
+                    session?: string | undefined;
+                    operator?: string | undefined;
+                    reason?: string | undefined;
+                } | undefined;
+            } | undefined;
+            outcome?: {
+                kind: "completed";
+                value: unknown;
+            } | {
+                kind: "failed";
+                error: {
+                    code: string;
+                    message: string;
+                    family?: string | undefined;
+                    details?: unknown;
+                };
+            } | {
+                kind: "cancelled";
+            } | undefined;
+        } | {
+            id: string;
+            state: "deleted";
+            outcome: {
+                kind: "completed";
+                value: unknown;
+            } | {
+                kind: "failed";
+                error: {
+                    code: string;
+                    message: string;
+                    family?: string | undefined;
+                    details?: unknown;
+                };
+            } | {
+                kind: "cancelled";
+            };
+        };
+    }, "authenticated", false, false, undefined>>, "resume", "self"> | builder.AuthoredMethodProjection<builder.Method<builder.CallableProjection<Record<string, never>, {
+        readonly mode: 'value';
+        readonly value: {
+            id: string;
+            function: string;
+            version: string;
+            state: "cancelled" | "completed" | "expired" | "failed" | "paused" | "pending" | "running" | "waiting";
+            createdAt: string;
+            detail?: {
+                phase: "activating" | "attempting" | "awaiting" | "cancelled" | "classifying" | "completed" | "draining" | "rejected" | "validating";
+                class?: "immediate" | "noop" | "revalidate" | undefined;
+                mode?: "maintenance" | "online" | undefined;
+                validation?: {
+                    scope: "full" | "incremental";
+                    counts: "exact" | "sample";
+                } | undefined;
+                progress?: {
+                    pages: number;
+                    interruptions: number;
+                } | undefined;
+                instance?: "attempt" | "draining" | "open" | "repair" | undefined;
+                command?: number | undefined;
+                expires?: number | undefined;
+                attempt?: {
+                    number: number;
+                    destination: "previous" | "target";
+                } | undefined;
+                report?: {
+                    attempt: number;
+                    destination: "previous" | "target";
+                    result: "aborted" | "interrupted" | "migration-required";
+                    reason?: string | undefined;
+                    summary?: unknown;
+                } | undefined;
+                uncertified?: {
+                    since: number;
+                    session?: string | undefined;
+                    operator?: string | undefined;
+                    reason?: string | undefined;
+                } | undefined;
+            } | undefined;
+            outcome?: {
+                kind: "completed";
+                value: unknown;
+            } | {
+                kind: "failed";
+                error: {
+                    code: string;
+                    message: string;
+                    family?: string | undefined;
+                    details?: unknown;
+                };
+            } | {
+                kind: "cancelled";
+            } | undefined;
+        } | {
+            id: string;
+            state: "deleted";
+            outcome: {
+                kind: "completed";
+                value: unknown;
+            } | {
+                kind: "failed";
+                error: {
+                    code: string;
+                    message: string;
+                    family?: string | undefined;
+                    details?: unknown;
+                };
+            } | {
+                kind: "cancelled";
+            };
+        };
+    }, "authenticated", false, false, undefined>>, "status", "self"> | builder.AuthoredMethodProjection<builder.Method<builder.CallableProjection<{
+        waitMs?: number | undefined;
+    }, {
+        readonly mode: 'value';
+        readonly value: {
+            kind: "completed";
+            value: unknown;
+        } | {
+            kind: "failed";
+            error: {
+                code: string;
+                message: string;
+                family?: string | undefined;
+                details?: unknown;
+            };
+        } | {
+            kind: "cancelled";
+        };
+    }, "authenticated", false, false, undefined>>, "result", "self"> | builder.AuthoredMethodProjection<builder.Method<builder.CallableProjection<{
+        force?: boolean | undefined;
+    }, {
+        readonly mode: 'value';
+        readonly value: {
+            id: string;
+            function: string;
+            version: string;
+            state: "cancelled" | "completed" | "expired" | "failed" | "paused" | "pending" | "running" | "waiting";
+            createdAt: string;
+            detail?: {
+                phase: "activating" | "attempting" | "awaiting" | "cancelled" | "classifying" | "completed" | "draining" | "rejected" | "validating";
+                class?: "immediate" | "noop" | "revalidate" | undefined;
+                mode?: "maintenance" | "online" | undefined;
+                validation?: {
+                    scope: "full" | "incremental";
+                    counts: "exact" | "sample";
+                } | undefined;
+                progress?: {
+                    pages: number;
+                    interruptions: number;
+                } | undefined;
+                instance?: "attempt" | "draining" | "open" | "repair" | undefined;
+                command?: number | undefined;
+                expires?: number | undefined;
+                attempt?: {
+                    number: number;
+                    destination: "previous" | "target";
+                } | undefined;
+                report?: {
+                    attempt: number;
+                    destination: "previous" | "target";
+                    result: "aborted" | "interrupted" | "migration-required";
+                    reason?: string | undefined;
+                    summary?: unknown;
+                } | undefined;
+                uncertified?: {
+                    since: number;
+                    session?: string | undefined;
+                    operator?: string | undefined;
+                    reason?: string | undefined;
+                } | undefined;
+            } | undefined;
+            outcome?: {
+                kind: "completed";
+                value: unknown;
+            } | {
+                kind: "failed";
+                error: {
+                    code: string;
+                    message: string;
+                    family?: string | undefined;
+                    details?: unknown;
+                };
+            } | {
+                kind: "cancelled";
+            } | undefined;
+        } | {
+            id: string;
+            state: "deleted";
+            outcome: {
+                kind: "completed";
+                value: unknown;
+            } | {
+                kind: "failed";
+                error: {
+                    code: string;
+                    message: string;
+                    family?: string | undefined;
+                    details?: unknown;
+                };
+            } | {
+                kind: "cancelled";
+            };
+        };
+    }, "authenticated", false, false, undefined>>, "cancel", "self"> | builder.AuthoredMethodProjection<builder.Method<builder.CallableProjection<{
+        name: string;
+        value: unknown;
+    }, {
+        readonly mode: 'value';
+        readonly value: Record<string, never>;
+    }, "authenticated", false, false, undefined>>, "signal", "self">;
+    readonly effectiveStaticMethods: never;
+}>;

package/dist/schema/callables/execution.js

@@ -0,0 +1,32 @@
+import { nodeClass, property } from '@astrale-os/kernel-dsl/v1';
+import { ExecutionMethods } from '../kernel/syscalls/declarations/index.js';
+import { Node, Timestamped } from '../meta/index.js';
+const nodeId = {
+    type: 'string',
+    minLength: 1,
+    maxLength: 255,
+    fullMatch: '[A-Za-z0-9._-]+',
+};
+// Immutable facts written once by the durable call path through trusted qualification. Generic
+// mutation cannot create an Execution, change its Properties or rewrite its created_by Edge; its
+// authority Domain deletes it by ordinary mutation. `function` is a scalar, not an Edge, so deleting
+// the Function never has to detach its Executions. State and outcome are read through the engine.
+// Runtime admits every Execution method against these facts; a public read sees none of them, since
+// `input` carries the arguments of the call. The constant rule joins nothing, where a relational
+// read Policy would join every polymorphic Query reaching Node or Timestamped.
+export const Execution = nodeClass({
+    abstract: false,
+    description: 'One accepted durable call of a Function, recorded as immutable facts.',
+    extends: [Node, Timestamped],
+    policies: { read: false, traverse: false },
+    properties: {
+        function: nodeId,
+        version: { type: 'string', fullMatch: 'sha256:[0-9a-f]{64}' },
+        domain: nodeId,
+        principal: nodeId,
+        receiver: property(nodeId, { required: false }),
+        key: { type: 'string', minLength: 1, maxLength: 128 },
+        input: {},
+    },
+    methods: ExecutionMethods,
+});