@synnaxlabs/client 0.54.2 → 0.55.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.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -126,8 +138,8 @@ export declare const nodeZ: z.ZodObject<{
             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<{
+    }, z.core.$strip>>]>;
+    inputs: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -227,8 +239,8 @@ export declare const nodeZ: z.ZodObject<{
             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<{
+    }, z.core.$strip>>]>;
+    outputs: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -328,23 +340,21 @@ export declare const nodeZ: z.ZodObject<{
             chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
         }, z.core.$strip>;
         value: z.ZodOptional<z.ZodUnknown>;
-    }, z.core.$strip>>]>>;
-    channels: z.ZodOptional<z.ZodObject<{
+    }, z.core.$strip>>]>;
+    channels: z.ZodObject<{
         read: z.ZodRecord<z.ZodUInt32, z.ZodString>;
         write: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-    }, z.core.$strip>>;
+    }, 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.ZodRecord<z.ZodUInt32, z.ZodInt>;
 }, 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.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -468,8 +488,8 @@ export declare const functionZ: z.ZodObject<{
             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<{
+    }, z.core.$strip>>]>;
+    inputs: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -569,8 +589,8 @@ export declare const functionZ: z.ZodObject<{
             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<{
+    }, z.core.$strip>>]>;
+    outputs: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -670,18 +690,18 @@ export declare const functionZ: z.ZodObject<{
             chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
         }, z.core.$strip>;
         value: z.ZodOptional<z.ZodUnknown>;
-    }, z.core.$strip>>]>>;
-    channels: z.ZodOptional<z.ZodObject<{
+    }, z.core.$strip>>]>;
+    channels: z.ZodObject<{
         read: z.ZodRecord<z.ZodUInt32, z.ZodString>;
         write: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-    }, z.core.$strip>>;
+    }, 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<{
     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<{
     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.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -1010,8 +1030,8 @@ export declare const nodesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
             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<{
+    }, z.core.$strip>>]>;
+    inputs: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -1111,8 +1131,8 @@ export declare const nodesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
             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<{
+    }, z.core.$strip>>]>;
+    outputs: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -1212,15 +1232,13 @@ export declare const nodesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
             chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
         }, z.core.$strip>;
         value: z.ZodOptional<z.ZodUnknown>;
-    }, z.core.$strip>>]>>;
-    channels: z.ZodOptional<z.ZodObject<{
+    }, z.core.$strip>>]>;
+    channels: z.ZodObject<{
         read: z.ZodRecord<z.ZodUInt32, z.ZodString>;
         write: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-    }, z.core.$strip>>;
+    }, 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<{
     source: {
         node: string;
@@ -1230,7 +1248,7 @@ export declare const edgesZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly
         node: string;
         param: string;
     };
-    kind?: EdgeKind | undefined;
+    kind: EdgeKind;
 }[], null | undefined>>, z.ZodArray<z.ZodObject<{
     source: z.ZodObject<{
         node: 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>>;
+    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<{
     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<{
     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.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -1579,8 +1597,8 @@ export declare const functionsZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<reado
             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<{
+    }, z.core.$strip>>]>;
+    inputs: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -1680,8 +1698,8 @@ export declare const functionsZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<reado
             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<{
+    }, z.core.$strip>>]>;
+    outputs: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
         name: string;
         type: {
             kind: types.Kind;
@@ -1781,84 +1799,49 @@ export declare const functionsZ: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<reado
             chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
         }, z.core.$strip>;
         value: z.ZodOptional<z.ZodUnknown>;
-    }, z.core.$strip>>]>>;
-    channels: z.ZodOptional<z.ZodObject<{
+    }, z.core.$strip>>]>;
+    channels: z.ZodObject<{
         read: z.ZodRecord<z.ZodUInt32, z.ZodString>;
         write: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-    }, z.core.$strip>>;
+    }, 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<{
+export interface Scope {
     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<{
-    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.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, 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<{
         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.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
             name: string;
             type: {
                 kind: types.Kind;
@@ -2189,8 +2175,8 @@ export declare const irZ: z.ZodObject<{
                 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<{
+        }, z.core.$strip>>]>;
+        inputs: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
             name: string;
             type: {
                 kind: types.Kind;
@@ -2290,8 +2276,8 @@ export declare const irZ: z.ZodObject<{
                 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<{
+        }, z.core.$strip>>]>;
+        outputs: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
             name: string;
             type: {
                 kind: types.Kind;
@@ -2391,16 +2377,16 @@ export declare const irZ: z.ZodObject<{
                 chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
             }, z.core.$strip>;
             value: z.ZodOptional<z.ZodUnknown>;
-        }, z.core.$strip>>]>>;
-        channels: z.ZodOptional<z.ZodObject<{
+        }, z.core.$strip>>]>;
+        channels: z.ZodObject<{
             read: z.ZodRecord<z.ZodUInt32, z.ZodString>;
             write: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-        }, z.core.$strip>>;
-    }, z.core.$strip>>]>>;
-    nodes: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+        }, z.core.$strip>;
+    }, z.core.$strip>>]>;
+    nodes: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, 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<{
         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.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
             name: string;
             type: {
                 kind: types.Kind;
@@ -2729,8 +2715,8 @@ export declare const irZ: z.ZodObject<{
                 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<{
+        }, z.core.$strip>>]>;
+        inputs: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
             name: string;
             type: {
                 kind: types.Kind;
@@ -2830,8 +2816,8 @@ export declare const irZ: z.ZodObject<{
                 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<{
+        }, z.core.$strip>>]>;
+        outputs: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
             name: string;
             type: {
                 kind: types.Kind;
@@ -2931,13 +2917,13 @@ export declare const irZ: z.ZodObject<{
                 chanDirection: z.ZodOptional<z.ZodEnum<typeof types.ChanDirection>>;
             }, z.core.$strip>;
             value: z.ZodOptional<z.ZodUnknown>;
-        }, z.core.$strip>>]>>;
-        channels: z.ZodOptional<z.ZodObject<{
+        }, z.core.$strip>>]>;
+        channels: z.ZodObject<{
             read: z.ZodRecord<z.ZodUInt32, z.ZodString>;
             write: z.ZodRecord<z.ZodUInt32, z.ZodString>;
-        }, z.core.$strip>>;
-    }, z.core.$strip>>]>>;
-    edges: z.ZodOptional<z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
+        }, z.core.$strip>;
+    }, z.core.$strip>>]>;
+    edges: z.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<{
         source: {
             node: string;
             param: string;
@@ -2946,7 +2932,7 @@ export declare const irZ: z.ZodObject<{
             node: string;
             param: string;
         };
-        kind?: EdgeKind | undefined;
+        kind: EdgeKind;
     }[], null | undefined>>, z.ZodArray<z.ZodObject<{
         source: z.ZodObject<{
             node: 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>>]>;
-    }, z.core.$strip>>]>>;
-    authorities: z.ZodOptional<z.ZodObject<{
+        kind: z.ZodEnum<typeof EdgeKind>;
+    }, z.core.$strip>>]>;
+    authorities: z.ZodObject<{
         default: z.ZodOptional<z.ZodInt>;
-        channels: z.ZodOptional<z.ZodRecord<z.ZodUInt32, z.ZodInt>>;
-    }, z.core.$strip>>;
+        channels: z.ZodRecord<z.ZodUInt32, z.ZodInt>;
+    }, 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.ZodUnion<readonly [z.ZodPipe<z.ZodUnion<readonly [z.ZodNull, z.ZodUndefined]>, z.ZodTransform<Member[], null | undefined>>, z.ZodArray<z.ZodType<Member, unknown, z.core.$ZodTypeInternals<Member, unknown>>>]>;
+export type Members = z.infer<typeof membersZ>;
 //# sourceMappingURL=types.gen.d.ts.map