port-control-graph-contract 0.0.0-stage → 0.1.0

package/package.json

@@ -1,6 +1,11 @@
 {
   "name": "port-control-graph-contract",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
-}
+  "version": "0.1.0",
+  "type": "module",
+  "exports": {
+    ".": "./src/index.ts"
+  },
+  "files": [
+    "src"
+  ]
+}

package/src/index.ts

@@ -0,0 +1,62 @@
+export interface PortEdge<I, P, E> {
+  readonly id: E;
+  readonly from: { readonly node: I; readonly port: P };
+  readonly to: { readonly node: I; readonly port: P };
+}
+export interface ControlShape<P> {
+  readonly role: "step" | "choice" | "loop" | "exit";
+  readonly enter: P;
+  readonly next?: P;
+  readonly branches?: readonly {
+    readonly port: P;
+    readonly order: number;
+    readonly default?: boolean;
+  }[];
+  readonly body?: P;
+}
+export interface PortControlGraph<N, I, P, E> {
+  readonly entry: I;
+  readonly nodes: readonly N[];
+  readonly edges: readonly PortEdge<I, P, E>[];
+}
+export interface ControlGraphRuntime<N, I, P> {
+  readonly nodeId: (node: N) => I;
+  readonly shape: (node: N) => ControlShape<P>;
+}
+export type StructuredStatement<N, I, P> =
+  | { readonly kind: "node"; readonly node: N }
+  | {
+      readonly kind: "choice";
+      readonly node: N;
+      readonly branches: readonly {
+        readonly port: P;
+        readonly body: readonly StructuredStatement<N, I, P>[];
+      }[];
+    }
+  | {
+      readonly kind: "loop";
+      readonly node: N;
+      readonly body: readonly StructuredStatement<N, I, P>[];
+    }
+  | { readonly kind: "block-ref"; readonly block: number; readonly source: I };
+export interface StructuredForest<N, I, P> {
+  readonly statements: readonly StructuredStatement<N, I, P>[];
+  readonly blocks: readonly {
+    readonly id: number;
+    readonly source: I;
+    readonly statements: readonly StructuredStatement<N, I, P>[];
+  }[];
+  readonly inferredNext: readonly { readonly owner: I; readonly next: I }[];
+}
+export interface GraphDiagnostic<I, E> {
+  readonly code: string;
+  readonly message: string;
+  readonly node?: I;
+  readonly edge?: E;
+}
+export type LowerGraphResult<N, I, P, E> =
+  | { readonly ok: true; readonly forest: StructuredForest<N, I, P> }
+  | {
+      readonly ok: false;
+      readonly diagnostics: readonly GraphDiagnostic<I, E>[];
+    };

package/README.md

@@ -1,3 +0,0 @@
-# Temporary Holding Version
-
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.