@synnaxlabs/client 0.54.2 → 0.56.0

package/dist/src/arc/ir/types.gen.d.ts

@@ -6,6 +6,18 @@ export declare enum EdgeKind {
     conditional = 2
 }
 export declare const edgeKindZ: z.ZodEnum<typeof EdgeKind>;
+export declare enum ScopeMode {
+    unspecified = 0,
+    parallel = 1,
+    sequential = 2
+}
+export declare const scopeModeZ: z.ZodEnum<typeof ScopeMode>;
+export declare enum Liveness {
+    unspecified = 0,
+    always = 1,
+    gated = 2
+}
+export declare const livenessZ: z.ZodEnum<typeof Liveness>;
 /** Handle is a reference to a specific parameter on a specific node in the dataflow graph. */
 export declare const handleZ: z.ZodObject<{
     node: z.ZodString;
@@ -26,7 +38,7 @@ export interface Body extends z.infer<typeof bodyZ> {
 export declare const nodeZ: z.ZodObject<{
     key: z.ZodString;
     type: z.ZodString;
-    config: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+    config: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -99,7 +111,7 @@ export declare const nodeZ: z.ZodObject<{
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+    }[], null>>, z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         type: z.ZodObject<{
             inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -107,7 +119,7 @@ export declare const nodeZ: z.ZodObject<{
             config: z.ZodOptional<typeof types.paramsZ>;
             kind: z.ZodEnum<typeof types.Kind>;
             name: z.ZodString;
-            readonly elem: z.ZodOptional<typeof types.typeZ>;
+            elem: z.ZodOptional<typeof types.typeZ>;
             unit: z.ZodOptional<z.ZodObject<{
                 dimensions: z.ZodObject<{
                     length: z.ZodInt;
@@ -122,12 +134,12 @@ export declare const nodeZ: z.ZodObject<{
                 scale: z.ZodNumber;
                 name: z.ZodString;
             }, z.core.$strip>>;
-            readonly constraint: z.ZodOptional<typeof types.typeZ>;
+            constraint: z.ZodOptional<typeof types.typeZ>;
             chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
         }, z.core.$strip>;
         value: z.ZodOptional<z.ZodUnknown>;
     }, z.core.$strip>>]>>;
-    inputs: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+    inputs: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -200,7 +212,7 @@ export declare const nodeZ: z.ZodObject<{
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+    }[], null>>, z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         type: z.ZodObject<{
             inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -208,7 +220,7 @@ export declare const nodeZ: z.ZodObject<{
             config: z.ZodOptional<typeof types.paramsZ>;
             kind: z.ZodEnum<typeof types.Kind>;
             name: z.ZodString;
-            readonly elem: z.ZodOptional<typeof types.typeZ>;
+            elem: z.ZodOptional<typeof types.typeZ>;
             unit: z.ZodOptional<z.ZodObject<{
                 dimensions: z.ZodObject<{
                     length: z.ZodInt;
@@ -223,12 +235,12 @@ export declare const nodeZ: z.ZodObject<{
                 scale: z.ZodNumber;
                 name: z.ZodString;
             }, z.core.$strip>>;
-            readonly constraint: z.ZodOptional<typeof types.typeZ>;
+            constraint: z.ZodOptional<typeof types.typeZ>;
             chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
         }, z.core.$strip>;
         value: z.ZodOptional<z.ZodUnknown>;
     }, z.core.$strip>>]>>;
-    outputs: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+    outputs: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -301,7 +313,7 @@ export declare const nodeZ: z.ZodObject<{
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+    }[], null>>, z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         type: z.ZodObject<{
             inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -309,7 +321,7 @@ export declare const nodeZ: z.ZodObject<{
             config: z.ZodOptional<typeof types.paramsZ>;
             kind: z.ZodEnum<typeof types.Kind>;
             name: z.ZodString;
-            readonly elem: z.ZodOptional<typeof types.typeZ>;
+            elem: z.ZodOptional<typeof types.typeZ>;
             unit: z.ZodOptional<z.ZodObject<{
                 dimensions: z.ZodObject<{
                     length: z.ZodInt;
@@ -324,27 +336,25 @@ export declare const nodeZ: z.ZodObject<{
                 scale: z.ZodNumber;
                 name: z.ZodString;
             }, z.core.$strip>>;
-            readonly constraint: z.ZodOptional<typeof types.typeZ>;
+            constraint: z.ZodOptional<typeof types.typeZ>;
             chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
         }, z.core.$strip>;
         value: z.ZodOptional<z.ZodUnknown>;
     }, z.core.$strip>>]>>;
-    channels: z.ZodOptional<z.ZodObject<{
-        read: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-        write: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-    }, z.core.$strip>>;
+    channels: z.ZodObject<{
+        read: z.ZodType<Record<number, string>, unknown, z.core.$ZodTypeInternals<Record<number, string>, unknown>>;
+        write: z.ZodType<Record<number, string>, unknown, z.core.$ZodTypeInternals<Record<number, string>, unknown>>;
+    }, z.core.$strip>;
 }, z.core.$strip>;
 export interface Node extends z.infer<typeof nodeZ> {
 }
 /** Authorities holds the static authority declarations from an Arc program. */
 export declare const authoritiesZ: z.ZodObject<{
     default: z.ZodOptional<z.ZodInt>;
-    channels: z.ZodOptional<z.ZodRecord<z.ZodUInt32, z.ZodInt>>;
+    channels: z.ZodType<Record<number, number>, unknown, z.core.$ZodTypeInternals<Record<number, number>, unknown>>;
 }, z.core.$strip>;
 export interface Authorities extends z.infer<typeof authoritiesZ> {
 }
-export declare const stratumZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[], null | undefined>>, z.ZodArray<z.ZodString>]>;
-export type Stratum = z.infer<typeof stratumZ>;
 /** Edge is a dataflow connection between node parameters in the Arc graph. */
 export declare const edgeZ: z.ZodObject<{
     source: z.ZodObject<{
@@ -355,10 +365,20 @@ export declare const edgeZ: z.ZodObject<{
         node: z.ZodString;
         param: z.ZodString;
     }, z.core.$strip>;
-    kind: z.ZodOptional<z.ZodEnum<typeof EdgeKind>>;
+    kind: z.ZodEnum<typeof EdgeKind>;
 }, z.core.$strip>;
 export interface Edge extends z.infer<typeof edgeZ> {
 }
+/** Transition is a declarative state-transition rule on a sequential Scope. */
+export declare const transitionZ: z.ZodObject<{
+    on: z.ZodObject<{
+        node: z.ZodString;
+        param: z.ZodString;
+    }, z.core.$strip>;
+    targetKey: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export interface Transition extends z.infer<typeof transitionZ> {
+}
 /**
  * Function is a function template definition with typed parameters, serving as a
  * blueprint for node instantiation.
@@ -368,7 +388,7 @@ export declare const functionZ: z.ZodObject<{
     body: z.ZodOptional<z.ZodObject<{
         raw: z.ZodString;
     }, z.core.$strip>>;
-    config: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+    config: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -441,7 +461,7 @@ export declare const functionZ: z.ZodObject<{
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+    }[], null>>, z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         type: z.ZodObject<{
             inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -449,7 +469,7 @@ export declare const functionZ: z.ZodObject<{
             config: z.ZodOptional<typeof types.paramsZ>;
             kind: z.ZodEnum<typeof types.Kind>;
             name: z.ZodString;
-            readonly elem: z.ZodOptional<typeof types.typeZ>;
+            elem: z.ZodOptional<typeof types.typeZ>;
             unit: z.ZodOptional<z.ZodObject<{
                 dimensions: z.ZodObject<{
                     length: z.ZodInt;
@@ -464,12 +484,12 @@ export declare const functionZ: z.ZodObject<{
                 scale: z.ZodNumber;
                 name: z.ZodString;
             }, z.core.$strip>>;
-            readonly constraint: z.ZodOptional<typeof types.typeZ>;
+            constraint: z.ZodOptional<typeof types.typeZ>;
             chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
         }, z.core.$strip>;
         value: z.ZodOptional<z.ZodUnknown>;
     }, z.core.$strip>>]>>;
-    inputs: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+    inputs: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -542,7 +562,7 @@ export declare const functionZ: z.ZodObject<{
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+    }[], null>>, z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         type: z.ZodObject<{
             inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -550,7 +570,7 @@ export declare const functionZ: z.ZodObject<{
             config: z.ZodOptional<typeof types.paramsZ>;
             kind: z.ZodEnum<typeof types.Kind>;
             name: z.ZodString;
-            readonly elem: z.ZodOptional<typeof types.typeZ>;
+            elem: z.ZodOptional<typeof types.typeZ>;
             unit: z.ZodOptional<z.ZodObject<{
                 dimensions: z.ZodObject<{
                     length: z.ZodInt;
@@ -565,12 +585,12 @@ export declare const functionZ: z.ZodObject<{
                 scale: z.ZodNumber;
                 name: z.ZodString;
             }, z.core.$strip>>;
-            readonly constraint: z.ZodOptional<typeof types.typeZ>;
+            constraint: z.ZodOptional<typeof types.typeZ>;
             chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
         }, z.core.$strip>;
         value: z.ZodOptional<z.ZodUnknown>;
     }, z.core.$strip>>]>>;
-    outputs: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+    outputs: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -643,7 +663,7 @@ export declare const functionZ: z.ZodObject<{
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+    }[], null>>, z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         type: z.ZodObject<{
             inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -651,7 +671,7 @@ export declare const functionZ: z.ZodObject<{
             config: z.ZodOptional<typeof types.paramsZ>;
             kind: z.ZodEnum<typeof types.Kind>;
             name: z.ZodString;
-            readonly elem: z.ZodOptional<typeof types.typeZ>;
+            elem: z.ZodOptional<typeof types.typeZ>;
             unit: z.ZodOptional<z.ZodObject<{
                 dimensions: z.ZodObject<{
                     length: z.ZodInt;
@@ -666,22 +686,22 @@ export declare const functionZ: z.ZodObject<{
                 scale: z.ZodNumber;
                 name: z.ZodString;
             }, z.core.$strip>>;
-            readonly constraint: z.ZodOptional<typeof types.typeZ>;
+            constraint: z.ZodOptional<typeof types.typeZ>;
             chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
         }, z.core.$strip>;
         value: z.ZodOptional<z.ZodUnknown>;
     }, z.core.$strip>>]>>;
-    channels: z.ZodOptional<z.ZodObject<{
-        read: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-        write: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-    }, z.core.$strip>>;
+    channels: z.ZodObject<{
+        read: z.ZodType<Record<number, string>, unknown, z.core.$ZodTypeInternals<Record<number, string>, unknown>>;
+        write: z.ZodType<Record<number, string>, unknown, z.core.$ZodTypeInternals<Record<number, string>, unknown>>;
+    }, z.core.$strip>;
 }, z.core.$strip>;
 export interface Function extends z.infer<typeof functionZ> {
 }
-export declare const nodesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+export declare const nodesZ: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
     key: string;
     type: string;
-    config?: {
+    config: {
         name: string;
         type: {
             kind: types.Kind;
@@ -754,8 +774,8 @@ export declare const nodesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[] | undefined;
-    inputs?: {
+    }[];
+    inputs: {
         name: string;
         type: {
             kind: types.Kind;
@@ -828,8 +848,8 @@ export declare const nodesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[] | undefined;
-    outputs?: {
+    }[];
+    outputs: {
         name: string;
         type: {
             kind: types.Kind;
@@ -902,15 +922,15 @@ export declare const nodesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[] | undefined;
-    channels?: {
+    }[];
+    channels: {
         read: Record<number, string>;
         write: Record<number, string>;
-    } | undefined;
-}[], null | undefined>>, z.ZodArray<z.ZodObject<{
+    };
+}[], null>>, z.ZodArray<z.ZodObject<{
     key: z.ZodString;
     type: z.ZodString;
-    config: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+    config: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -983,7 +1003,7 @@ export declare const nodesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+    }[], null>>, z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         type: z.ZodObject<{
             inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -991,7 +1011,7 @@ export declare const nodesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
             config: z.ZodOptional<typeof types.paramsZ>;
             kind: z.ZodEnum<typeof types.Kind>;
             name: z.ZodString;
-            readonly elem: z.ZodOptional<typeof types.typeZ>;
+            elem: z.ZodOptional<typeof types.typeZ>;
             unit: z.ZodOptional<z.ZodObject<{
                 dimensions: z.ZodObject<{
                     length: z.ZodInt;
@@ -1006,12 +1026,12 @@ export declare const nodesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
                 scale: z.ZodNumber;
                 name: z.ZodString;
             }, z.core.$strip>>;
-            readonly constraint: z.ZodOptional<typeof types.typeZ>;
+            constraint: z.ZodOptional<typeof types.typeZ>;
             chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
         }, z.core.$strip>;
         value: z.ZodOptional<z.ZodUnknown>;
     }, z.core.$strip>>]>>;
-    inputs: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+    inputs: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -1084,7 +1104,7 @@ export declare const nodesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+    }[], null>>, z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         type: z.ZodObject<{
             inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -1092,7 +1112,7 @@ export declare const nodesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
             config: z.ZodOptional<typeof types.paramsZ>;
             kind: z.ZodEnum<typeof types.Kind>;
             name: z.ZodString;
-            readonly elem: z.ZodOptional<typeof types.typeZ>;
+            elem: z.ZodOptional<typeof types.typeZ>;
             unit: z.ZodOptional<z.ZodObject<{
                 dimensions: z.ZodObject<{
                     length: z.ZodInt;
@@ -1107,12 +1127,12 @@ export declare const nodesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
                 scale: z.ZodNumber;
                 name: z.ZodString;
             }, z.core.$strip>>;
-            readonly constraint: z.ZodOptional<typeof types.typeZ>;
+            constraint: z.ZodOptional<typeof types.typeZ>;
             chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
         }, z.core.$strip>;
         value: z.ZodOptional<z.ZodUnknown>;
     }, z.core.$strip>>]>>;
-    outputs: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+    outputs: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -1185,7 +1205,7 @@ export declare const nodesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+    }[], null>>, z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         type: z.ZodObject<{
             inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -1193,7 +1213,7 @@ export declare const nodesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
             config: z.ZodOptional<typeof types.paramsZ>;
             kind: z.ZodEnum<typeof types.Kind>;
             name: z.ZodString;
-            readonly elem: z.ZodOptional<typeof types.typeZ>;
+            elem: z.ZodOptional<typeof types.typeZ>;
             unit: z.ZodOptional<z.ZodObject<{
                 dimensions: z.ZodObject<{
                     length: z.ZodInt;
@@ -1208,20 +1228,18 @@ export declare const nodesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
                 scale: z.ZodNumber;
                 name: z.ZodString;
             }, z.core.$strip>>;
-            readonly constraint: z.ZodOptional<typeof types.typeZ>;
+            constraint: z.ZodOptional<typeof types.typeZ>;
             chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
         }, z.core.$strip>;
         value: z.ZodOptional<z.ZodUnknown>;
     }, z.core.$strip>>]>>;
-    channels: z.ZodOptional<z.ZodObject<{
-        read: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-        write: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-    }, z.core.$strip>>;
-}, z.core.$strip>>]>;
+    channels: z.ZodObject<{
+        read: z.ZodType<Record<number, string>, unknown, z.core.$ZodTypeInternals<Record<number, string>, unknown>>;
+        write: z.ZodType<Record<number, string>, unknown, z.core.$ZodTypeInternals<Record<number, string>, unknown>>;
+    }, z.core.$strip>;
+}, z.core.$strip>>]>>;
 export type Nodes = z.infer<typeof nodesZ>;
-export declare const strataZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[][], null | undefined>>, z.ZodArray<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[], null | undefined>>, z.ZodArray<z.ZodString>]>>]>;
-export type Strata = z.infer<typeof strataZ>;
-export declare const edgesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+export declare const edgesZ: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
     source: {
         node: string;
         param: string;
@@ -1230,8 +1248,8 @@ export declare const edgesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
         node: string;
         param: string;
     };
-    kind?: EdgeKind | undefined;
-}[], null | undefined>>, z.ZodArray<z.ZodObject<{
+    kind: EdgeKind;
+}[], null>>, z.ZodArray<z.ZodObject<{
     source: z.ZodObject<{
         node: z.ZodString;
         param: z.ZodString;
@@ -1240,15 +1258,12 @@ export declare const edgesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
         node: z.ZodString;
         param: z.ZodString;
     }, z.core.$strip>;
-    kind: z.ZodOptional<z.ZodEnum<typeof EdgeKind>>;
-}, z.core.$strip>>]>;
+    kind: z.ZodEnum<typeof EdgeKind>;
+}, z.core.$strip>>]>>;
 export type Edges = z.infer<typeof edgesZ>;
-export declare const functionsZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+export declare const functionsZ: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
     key: string;
-    body?: {
-        raw: string;
-    } | undefined;
-    config?: {
+    config: {
         name: string;
         type: {
             kind: types.Kind;
@@ -1321,8 +1336,8 @@ export declare const functionsZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<reado
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[] | undefined;
-    inputs?: {
+    }[];
+    inputs: {
         name: string;
         type: {
             kind: types.Kind;
@@ -1395,8 +1410,8 @@ export declare const functionsZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<reado
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[] | undefined;
-    outputs?: {
+    }[];
+    outputs: {
         name: string;
         type: {
             kind: types.Kind;
@@ -1469,17 +1484,20 @@ export declare const functionsZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<reado
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[] | undefined;
-    channels?: {
+    }[];
+    channels: {
         read: Record<number, string>;
         write: Record<number, string>;
+    };
+    body?: {
+        raw: string;
     } | undefined;
-}[], null | undefined>>, z.ZodArray<z.ZodObject<{
+}[], null>>, z.ZodArray<z.ZodObject<{
     key: z.ZodString;
     body: z.ZodOptional<z.ZodObject<{
         raw: z.ZodString;
     }, z.core.$strip>>;
-    config: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+    config: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -1552,7 +1570,7 @@ export declare const functionsZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<reado
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+    }[], null>>, z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         type: z.ZodObject<{
             inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -1560,7 +1578,7 @@ export declare const functionsZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<reado
             config: z.ZodOptional<typeof types.paramsZ>;
             kind: z.ZodEnum<typeof types.Kind>;
             name: z.ZodString;
-            readonly elem: z.ZodOptional<typeof types.typeZ>;
+            elem: z.ZodOptional<typeof types.typeZ>;
             unit: z.ZodOptional<z.ZodObject<{
                 dimensions: z.ZodObject<{
                     length: z.ZodInt;
@@ -1575,12 +1593,12 @@ export declare const functionsZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<reado
                 scale: z.ZodNumber;
                 name: z.ZodString;
             }, z.core.$strip>>;
-            readonly constraint: z.ZodOptional<typeof types.typeZ>;
+            constraint: z.ZodOptional<typeof types.typeZ>;
             chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
         }, z.core.$strip>;
         value: z.ZodOptional<z.ZodUnknown>;
     }, z.core.$strip>>]>>;
-    inputs: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+    inputs: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -1653,7 +1671,7 @@ export declare const functionsZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<reado
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+    }[], null>>, z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         type: z.ZodObject<{
             inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -1661,7 +1679,7 @@ export declare const functionsZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<reado
             config: z.ZodOptional<typeof types.paramsZ>;
             kind: z.ZodEnum<typeof types.Kind>;
             name: z.ZodString;
-            readonly elem: z.ZodOptional<typeof types.typeZ>;
+            elem: z.ZodOptional<typeof types.typeZ>;
             unit: z.ZodOptional<z.ZodObject<{
                 dimensions: z.ZodObject<{
                     length: z.ZodInt;
@@ -1676,12 +1694,12 @@ export declare const functionsZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<reado
                 scale: z.ZodNumber;
                 name: z.ZodString;
             }, z.core.$strip>>;
-            readonly constraint: z.ZodOptional<typeof types.typeZ>;
+            constraint: z.ZodOptional<typeof types.typeZ>;
             chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
         }, z.core.$strip>;
         value: z.ZodOptional<z.ZodUnknown>;
     }, z.core.$strip>>]>>;
-    outputs: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+    outputs: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -1754,7 +1772,7 @@ export declare const functionsZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<reado
             chanDirection?: types.ChanDirection | undefined;
         };
         value?: unknown;
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+    }[], null>>, z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         type: z.ZodObject<{
             inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -1762,7 +1780,7 @@ export declare const functionsZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<reado
             config: z.ZodOptional<typeof types.paramsZ>;
             kind: z.ZodEnum<typeof types.Kind>;
             name: z.ZodString;
-            readonly elem: z.ZodOptional<typeof types.typeZ>;
+            elem: z.ZodOptional<typeof types.typeZ>;
             unit: z.ZodOptional<z.ZodObject<{
                 dimensions: z.ZodObject<{
                     length: z.ZodInt;
@@ -1777,88 +1795,53 @@ export declare const functionsZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<reado
                 scale: z.ZodNumber;
                 name: z.ZodString;
             }, z.core.$strip>>;
-            readonly constraint: z.ZodOptional<typeof types.typeZ>;
+            constraint: z.ZodOptional<typeof types.typeZ>;
             chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
         }, z.core.$strip>;
         value: z.ZodOptional<z.ZodUnknown>;
     }, z.core.$strip>>]>>;
-    channels: z.ZodOptional<z.ZodObject<{
-        read: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-        write: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-    }, z.core.$strip>>;
-}, z.core.$strip>>]>;
+    channels: z.ZodObject<{
+        read: z.ZodType<Record<number, string>, unknown, z.core.$ZodTypeInternals<Record<number, string>, unknown>>;
+        write: z.ZodType<Record<number, string>, unknown, z.core.$ZodTypeInternals<Record<number, string>, unknown>>;
+    }, z.core.$strip>;
+}, z.core.$strip>>]>>;
 export type Functions = z.infer<typeof functionsZ>;
 /**
- * Stage is a stage in a sequence state machine, containing active nodes and their
- * execution stratification.
+ * Member is a tagged union representing a single child of a Scope. Exactly one
+ * of nodeKey or scope is set. The member's lookup key (used as the
+ * target of `=> name` transitions) is derived from the set variant via
+ * Member.key().
  */
-export declare const stageZ: z.ZodObject<{
-    key: z.ZodString;
-    nodes: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[], null | undefined>>, z.ZodArray<z.ZodString>]>;
-    strata: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[][], null | undefined>>, z.ZodArray<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[], null | undefined>>, z.ZodArray<z.ZodString>]>>]>;
-}, z.core.$strip>;
-export interface Stage extends z.infer<typeof stageZ> {
+export interface Member {
+    nodeKey?: string;
+    scope?: Scope;
 }
+export declare const memberZ: z.ZodType<Member>;
 /**
- * Sequence is a state machine defining ordered stages of execution, where entry point
- * is always the first stage.
+ * Scope is the unified Layer 2 execution primitive. Parameterized by mode
+ * (parallel or sequential) and liveness (always-live or gated). Parallel
+ * scopes organize members into strata; sequential scopes run one step
+ * at a time and advance via transitions.
  */
-export declare const sequenceZ: z.ZodObject<{
-    key: z.ZodString;
-    stages: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
-        key: string;
-        nodes: string[];
-        strata: string[][];
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
-        key: z.ZodString;
-        nodes: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[], null | undefined>>, z.ZodArray<z.ZodString>]>;
-        strata: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[][], null | undefined>>, z.ZodArray<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[], null | undefined>>, z.ZodArray<z.ZodString>]>>]>;
-    }, z.core.$strip>>]>;
-}, z.core.$strip>;
-export interface Sequence extends z.infer<typeof sequenceZ> {
-}
-export declare const stagesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
-    key: string;
-    nodes: string[];
-    strata: string[][];
-}[], null | undefined>>, z.ZodArray<z.ZodObject<{
-    key: z.ZodString;
-    nodes: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[], null | undefined>>, z.ZodArray<z.ZodString>]>;
-    strata: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[][], null | undefined>>, z.ZodArray<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[], null | undefined>>, z.ZodArray<z.ZodString>]>>]>;
-}, z.core.$strip>>]>;
-export type Stages = z.infer<typeof stagesZ>;
-export declare const sequencesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+export interface Scope {
     key: string;
-    stages: {
-        key: string;
-        nodes: string[];
-        strata: string[][];
-    }[];
-}[], null | undefined>>, z.ZodArray<z.ZodObject<{
-    key: z.ZodString;
-    stages: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
-        key: string;
-        nodes: string[];
-        strata: string[][];
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
-        key: z.ZodString;
-        nodes: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[], null | undefined>>, z.ZodArray<z.ZodString>]>;
-        strata: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[][], null | undefined>>, z.ZodArray<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[], null | undefined>>, z.ZodArray<z.ZodString>]>>]>;
-    }, z.core.$strip>>]>;
-}, z.core.$strip>>]>;
-export type Sequences = z.infer<typeof sequencesZ>;
+    mode: ScopeMode;
+    liveness: Liveness;
+    activation?: Handle;
+    strata: Members[];
+    steps: Members;
+    transitions: Transition[];
+}
+export declare const scopeZ: z.ZodType<Scope>;
 /**
  * IR is the intermediate representation of an Arc program as a dataflow graph
  * with stratified execution, bridging semantic analysis and WebAssembly
  * compilation.
  */
 export declare const irZ: z.ZodObject<{
-    functions: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+    functions: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
         key: string;
-        body?: {
-            raw: string;
-        } | undefined;
-        config?: {
+        config: {
             name: string;
             type: {
                 kind: types.Kind;
@@ -1931,8 +1914,8 @@ export declare const irZ: z.ZodObject<{
                 chanDirection?: types.ChanDirection | undefined;
             };
             value?: unknown;
-        }[] | undefined;
-        inputs?: {
+        }[];
+        inputs: {
             name: string;
             type: {
                 kind: types.Kind;
@@ -2005,8 +1988,8 @@ export declare const irZ: z.ZodObject<{
                 chanDirection?: types.ChanDirection | undefined;
             };
             value?: unknown;
-        }[] | undefined;
-        outputs?: {
+        }[];
+        outputs: {
             name: string;
             type: {
                 kind: types.Kind;
@@ -2079,17 +2062,20 @@ export declare const irZ: z.ZodObject<{
                 chanDirection?: types.ChanDirection | undefined;
             };
             value?: unknown;
-        }[] | undefined;
-        channels?: {
+        }[];
+        channels: {
             read: Record<number, string>;
             write: Record<number, string>;
+        };
+        body?: {
+            raw: string;
         } | undefined;
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+    }[], null>>, z.ZodArray<z.ZodObject<{
         key: z.ZodString;
         body: z.ZodOptional<z.ZodObject<{
             raw: z.ZodString;
         }, z.core.$strip>>;
-        config: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+        config: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
             name: string;
             type: {
                 kind: types.Kind;
@@ -2162,7 +2148,7 @@ export declare const irZ: z.ZodObject<{
                 chanDirection?: types.ChanDirection | undefined;
             };
             value?: unknown;
-        }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+        }[], null>>, z.ZodArray<z.ZodObject<{
             name: z.ZodString;
             type: z.ZodObject<{
                 inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -2170,7 +2156,7 @@ export declare const irZ: z.ZodObject<{
                 config: z.ZodOptional<typeof types.paramsZ>;
                 kind: z.ZodEnum<typeof types.Kind>;
                 name: z.ZodString;
-                readonly elem: z.ZodOptional<typeof types.typeZ>;
+                elem: z.ZodOptional<typeof types.typeZ>;
                 unit: z.ZodOptional<z.ZodObject<{
                     dimensions: z.ZodObject<{
                         length: z.ZodInt;
@@ -2185,12 +2171,12 @@ export declare const irZ: z.ZodObject<{
                     scale: z.ZodNumber;
                     name: z.ZodString;
                 }, z.core.$strip>>;
-                readonly constraint: z.ZodOptional<typeof types.typeZ>;
+                constraint: z.ZodOptional<typeof types.typeZ>;
                 chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
             }, z.core.$strip>;
             value: z.ZodOptional<z.ZodUnknown>;
         }, z.core.$strip>>]>>;
-        inputs: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+        inputs: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
             name: string;
             type: {
                 kind: types.Kind;
@@ -2263,7 +2249,7 @@ export declare const irZ: z.ZodObject<{
                 chanDirection?: types.ChanDirection | undefined;
             };
             value?: unknown;
-        }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+        }[], null>>, z.ZodArray<z.ZodObject<{
             name: z.ZodString;
             type: z.ZodObject<{
                 inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -2271,7 +2257,7 @@ export declare const irZ: z.ZodObject<{
                 config: z.ZodOptional<typeof types.paramsZ>;
                 kind: z.ZodEnum<typeof types.Kind>;
                 name: z.ZodString;
-                readonly elem: z.ZodOptional<typeof types.typeZ>;
+                elem: z.ZodOptional<typeof types.typeZ>;
                 unit: z.ZodOptional<z.ZodObject<{
                     dimensions: z.ZodObject<{
                         length: z.ZodInt;
@@ -2286,12 +2272,12 @@ export declare const irZ: z.ZodObject<{
                     scale: z.ZodNumber;
                     name: z.ZodString;
                 }, z.core.$strip>>;
-                readonly constraint: z.ZodOptional<typeof types.typeZ>;
+                constraint: z.ZodOptional<typeof types.typeZ>;
                 chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
             }, z.core.$strip>;
             value: z.ZodOptional<z.ZodUnknown>;
         }, z.core.$strip>>]>>;
-        outputs: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+        outputs: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
             name: string;
             type: {
                 kind: types.Kind;
@@ -2364,7 +2350,7 @@ export declare const irZ: z.ZodObject<{
                 chanDirection?: types.ChanDirection | undefined;
             };
             value?: unknown;
-        }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+        }[], null>>, z.ZodArray<z.ZodObject<{
             name: z.ZodString;
             type: z.ZodObject<{
                 inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -2372,7 +2358,7 @@ export declare const irZ: z.ZodObject<{
                 config: z.ZodOptional<typeof types.paramsZ>;
                 kind: z.ZodEnum<typeof types.Kind>;
                 name: z.ZodString;
-                readonly elem: z.ZodOptional<typeof types.typeZ>;
+                elem: z.ZodOptional<typeof types.typeZ>;
                 unit: z.ZodOptional<z.ZodObject<{
                     dimensions: z.ZodObject<{
                         length: z.ZodInt;
@@ -2387,20 +2373,20 @@ export declare const irZ: z.ZodObject<{
                     scale: z.ZodNumber;
                     name: z.ZodString;
                 }, z.core.$strip>>;
-                readonly constraint: z.ZodOptional<typeof types.typeZ>;
+                constraint: z.ZodOptional<typeof types.typeZ>;
                 chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
             }, z.core.$strip>;
             value: z.ZodOptional<z.ZodUnknown>;
         }, z.core.$strip>>]>>;
-        channels: z.ZodOptional<z.ZodObject<{
-            read: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-            write: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-        }, z.core.$strip>>;
+        channels: z.ZodObject<{
+            read: z.ZodType<Record<number, string>, unknown, z.core.$ZodTypeInternals<Record<number, string>, unknown>>;
+            write: z.ZodType<Record<number, string>, unknown, z.core.$ZodTypeInternals<Record<number, string>, unknown>>;
+        }, z.core.$strip>;
     }, z.core.$strip>>]>>;
-    nodes: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+    nodes: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
         key: string;
         type: string;
-        config?: {
+        config: {
             name: string;
             type: {
                 kind: types.Kind;
@@ -2473,8 +2459,8 @@ export declare const irZ: z.ZodObject<{
                 chanDirection?: types.ChanDirection | undefined;
             };
             value?: unknown;
-        }[] | undefined;
-        inputs?: {
+        }[];
+        inputs: {
             name: string;
             type: {
                 kind: types.Kind;
@@ -2547,8 +2533,8 @@ export declare const irZ: z.ZodObject<{
                 chanDirection?: types.ChanDirection | undefined;
             };
             value?: unknown;
-        }[] | undefined;
-        outputs?: {
+        }[];
+        outputs: {
             name: string;
             type: {
                 kind: types.Kind;
@@ -2621,15 +2607,15 @@ export declare const irZ: z.ZodObject<{
                 chanDirection?: types.ChanDirection | undefined;
             };
             value?: unknown;
-        }[] | undefined;
-        channels?: {
+        }[];
+        channels: {
             read: Record<number, string>;
             write: Record<number, string>;
-        } | undefined;
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+        };
+    }[], null>>, z.ZodArray<z.ZodObject<{
         key: z.ZodString;
         type: z.ZodString;
-        config: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+        config: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
             name: string;
             type: {
                 kind: types.Kind;
@@ -2702,7 +2688,7 @@ export declare const irZ: z.ZodObject<{
                 chanDirection?: types.ChanDirection | undefined;
             };
             value?: unknown;
-        }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+        }[], null>>, z.ZodArray<z.ZodObject<{
             name: z.ZodString;
             type: z.ZodObject<{
                 inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -2710,7 +2696,7 @@ export declare const irZ: z.ZodObject<{
                 config: z.ZodOptional<typeof types.paramsZ>;
                 kind: z.ZodEnum<typeof types.Kind>;
                 name: z.ZodString;
-                readonly elem: z.ZodOptional<typeof types.typeZ>;
+                elem: z.ZodOptional<typeof types.typeZ>;
                 unit: z.ZodOptional<z.ZodObject<{
                     dimensions: z.ZodObject<{
                         length: z.ZodInt;
@@ -2725,12 +2711,12 @@ export declare const irZ: z.ZodObject<{
                     scale: z.ZodNumber;
                     name: z.ZodString;
                 }, z.core.$strip>>;
-                readonly constraint: z.ZodOptional<typeof types.typeZ>;
+                constraint: z.ZodOptional<typeof types.typeZ>;
                 chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
             }, z.core.$strip>;
             value: z.ZodOptional<z.ZodUnknown>;
         }, z.core.$strip>>]>>;
-        inputs: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+        inputs: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
             name: string;
             type: {
                 kind: types.Kind;
@@ -2803,7 +2789,7 @@ export declare const irZ: z.ZodObject<{
                 chanDirection?: types.ChanDirection | undefined;
             };
             value?: unknown;
-        }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+        }[], null>>, z.ZodArray<z.ZodObject<{
             name: z.ZodString;
             type: z.ZodObject<{
                 inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -2811,7 +2797,7 @@ export declare const irZ: z.ZodObject<{
                 config: z.ZodOptional<typeof types.paramsZ>;
                 kind: z.ZodEnum<typeof types.Kind>;
                 name: z.ZodString;
-                readonly elem: z.ZodOptional<typeof types.typeZ>;
+                elem: z.ZodOptional<typeof types.typeZ>;
                 unit: z.ZodOptional<z.ZodObject<{
                     dimensions: z.ZodObject<{
                         length: z.ZodInt;
@@ -2826,12 +2812,12 @@ export declare const irZ: z.ZodObject<{
                     scale: z.ZodNumber;
                     name: z.ZodString;
                 }, z.core.$strip>>;
-                readonly constraint: z.ZodOptional<typeof types.typeZ>;
+                constraint: z.ZodOptional<typeof types.typeZ>;
                 chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
             }, z.core.$strip>;
             value: z.ZodOptional<z.ZodUnknown>;
         }, z.core.$strip>>]>>;
-        outputs: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+        outputs: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
             name: string;
             type: {
                 kind: types.Kind;
@@ -2904,7 +2890,7 @@ export declare const irZ: z.ZodObject<{
                 chanDirection?: types.ChanDirection | undefined;
             };
             value?: unknown;
-        }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+        }[], null>>, z.ZodArray<z.ZodObject<{
             name: z.ZodString;
             type: z.ZodObject<{
                 inputs: z.ZodOptional<typeof types.paramsZ>;
@@ -2912,7 +2898,7 @@ export declare const irZ: z.ZodObject<{
                 config: z.ZodOptional<typeof types.paramsZ>;
                 kind: z.ZodEnum<typeof types.Kind>;
                 name: z.ZodString;
-                readonly elem: z.ZodOptional<typeof types.typeZ>;
+                elem: z.ZodOptional<typeof types.typeZ>;
                 unit: z.ZodOptional<z.ZodObject<{
                     dimensions: z.ZodObject<{
                         length: z.ZodInt;
@@ -2927,17 +2913,17 @@ export declare const irZ: z.ZodObject<{
                     scale: z.ZodNumber;
                     name: z.ZodString;
                 }, z.core.$strip>>;
-                readonly constraint: z.ZodOptional<typeof types.typeZ>;
+                constraint: z.ZodOptional<typeof types.typeZ>;
                 chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
             }, z.core.$strip>;
             value: z.ZodOptional<z.ZodUnknown>;
         }, z.core.$strip>>]>>;
-        channels: z.ZodOptional<z.ZodObject<{
-            read: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-            write: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-        }, z.core.$strip>>;
+        channels: z.ZodObject<{
+            read: z.ZodType<Record<number, string>, unknown, z.core.$ZodTypeInternals<Record<number, string>, unknown>>;
+            write: z.ZodType<Record<number, string>, unknown, z.core.$ZodTypeInternals<Record<number, string>, unknown>>;
+        }, z.core.$strip>;
     }, z.core.$strip>>]>>;
-    edges: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+    edges: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<{
         source: {
             node: string;
             param: string;
@@ -2946,8 +2932,8 @@ export declare const irZ: z.ZodObject<{
             node: string;
             param: string;
         };
-        kind?: EdgeKind | undefined;
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
+        kind: EdgeKind;
+    }[], null>>, z.ZodArray<z.ZodObject<{
         source: z.ZodObject<{
             node: z.ZodString;
             param: z.ZodString;
@@ -2956,33 +2942,16 @@ export declare const irZ: z.ZodObject<{
             node: z.ZodString;
             param: z.ZodString;
         }, z.core.$strip>;
-        kind: z.ZodOptional<z.ZodEnum<typeof EdgeKind>>;
-    }, z.core.$strip>>]>>;
-    strata: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[][], null | undefined>>, z.ZodArray<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[], null | undefined>>, z.ZodArray<z.ZodString>]>>]>>;
-    sequences: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
-        key: string;
-        stages: {
-            key: string;
-            nodes: string[];
-            strata: string[][];
-        }[];
-    }[], null | undefined>>, z.ZodArray<z.ZodObject<{
-        key: z.ZodString;
-        stages: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
-            key: string;
-            nodes: string[];
-            strata: string[][];
-        }[], null | undefined>>, z.ZodArray<z.ZodObject<{
-            key: z.ZodString;
-            nodes: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[], null | undefined>>, z.ZodArray<z.ZodString>]>;
-            strata: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[][], null | undefined>>, z.ZodArray<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<string[], null | undefined>>, z.ZodArray<z.ZodString>]>>]>;
-        }, z.core.$strip>>]>;
+        kind: z.ZodEnum<typeof EdgeKind>;
     }, z.core.$strip>>]>>;
-    authorities: z.ZodOptional<z.ZodObject<{
+    authorities: z.ZodObject<{
         default: z.ZodOptional<z.ZodInt>;
-        channels: z.ZodOptional<z.ZodRecord<z.ZodUInt32, z.ZodInt>>;
-    }, z.core.$strip>>;
+        channels: z.ZodType<Record<number, number>, unknown, z.core.$ZodTypeInternals<Record<number, number>, unknown>>;
+    }, z.core.$strip>;
+    root: z.ZodType<Scope, unknown, z.core.$ZodTypeInternals<Scope, unknown>>;
 }, z.core.$strip>;
 export interface IR extends z.infer<typeof irZ> {
 }
+export declare const membersZ: z.ZodDefault<z.ZodUnion<readonly [z.ZodPipe<z.ZodNull, z.ZodTransform<Member[], null>>, z.ZodArray<z.ZodType<Member, unknown, z.core.$ZodTypeInternals<Member, unknown>>>]>>;
+export type Members = z.infer<typeof membersZ>;
 //# sourceMappingURL=types.gen.d.ts.map