feat(bridge-core): add enumerateTraversalIds for bridge traversal path enumeration

packages/bridge-core/src/enumerate-traversals.ts

@@ -0,0 +1,202 @@
+/**
+ * Enumerate all possible traversal paths through a Bridge.
+ *
+ * Every bridge has a finite set of execution paths ("traversals"),
+ * determined by the wire structure alone — independent of runtime values.
+ *
+ * Examples:
+ *   `o <- i.a || i.b catch i.c`  →  3 traversals (primary, fallback, catch)
+ *   `o <- i.arr[] as a { .data <- a.a ?? a.b }`  →  3 traversals
+ *      (empty-array, primary for .data, nullish fallback for .data)
+ *
+ * Used for complexity assessment and will integrate into the execution
+ * engine for monitoring.
+ */
+
+import type { Bridge, Wire, WireFallback } from "./types.ts";
+
+// ── Public types ────────────────────────────────────────────────────────────
+
+/**
+ * A single traversal path through a bridge wire.
+ */
+export interface TraversalEntry {
+  /** Stable identifier for this traversal path. */
+  id: string;
+  /** Index of the originating wire in `bridge.wires` (-1 for synthetic entries like empty-array). */
+  wireIndex: number;
+  /** Target path segments from the wire's `to` NodeRef. */
+  target: string[];
+  /** Classification of this traversal path. */
+  kind:
+    | "primary"
+    | "fallback"
+    | "catch"
+    | "empty-array"
+    | "then"
+    | "else"
+    | "const";
+  /** Fallback chain index (only when kind is `"fallback"`). */
+  fallbackIndex?: number;
+  /** Gate type (only when kind is `"fallback"`): `"falsy"` for `||`, `"nullish"` for `??`. */
+  gateType?: "falsy" | "nullish";
+}
+
+// ── Helpers ─────────────────────────────────────────────────────────────────
+
+function pathKey(path: string[]): string {
+  return path.length > 0 ? path.join(".") : "*";
+}
+
+function hasCatch(w: Wire): boolean {
+  if ("value" in w) return false;
+  return (
+    w.catchFallback != null ||
+    w.catchFallbackRef != null ||
+    w.catchControl != null
+  );
+}
+
+/**
+ * True when the wire is an array-source wire that simply feeds an array
+ * iteration scope without any fallback/catch choices of its own.
+ *
+ * Such wires always execute (to fetch the array), so they are not a
+ * traversal "choice".  The separate `empty-array` entry already covers
+ * the "no elements" outcome.
+ */
+function isPlainArraySourceWire(
+  w: Wire,
+  arrayIterators: Record<string, string> | undefined,
+): boolean {
+  if (!arrayIterators) return false;
+  if (!("from" in w)) return false;
+  if (w.from.element) return false;
+  const targetPath = w.to.path.join(".");
+  if (!(targetPath in arrayIterators)) return false;
+  return !w.fallbacks?.length && !hasCatch(w);
+}
+
+function addFallbackEntries(
+  entries: TraversalEntry[],
+  base: string,
+  wireIndex: number,
+  target: string[],
+  fallbacks: WireFallback[] | undefined,
+): void {
+  if (!fallbacks) return;
+  for (let i = 0; i < fallbacks.length; i++) {
+    entries.push({
+      id: `${base}/fallback:${i}`,
+      wireIndex,
+      target,
+      kind: "fallback",
+      fallbackIndex: i,
+      gateType: fallbacks[i].type,
+    });
+  }
+}
+
+function addCatchEntry(
+  entries: TraversalEntry[],
+  base: string,
+  wireIndex: number,
+  target: string[],
+  w: Wire,
+): void {
+  if (hasCatch(w)) {
+    entries.push({ id: `${base}/catch`, wireIndex, target, kind: "catch" });
+  }
+}
+
+// ── Main function ───────────────────────────────────────────────────────────
+
+/**
+ * Enumerate every possible traversal path through a bridge.
+ *
+ * Returns a flat list of {@link TraversalEntry} objects, one per
+ * unique code-path through the bridge's wires.  The total length
+ * of the returned array is a useful proxy for bridge complexity.
+ */
+export function enumerateTraversalIds(bridge: Bridge): TraversalEntry[] {
+  const entries: TraversalEntry[] = [];
+
+  // Track per-target occurrence counts for disambiguation when
+  // multiple wires write to the same target (overdefinition).
+  const targetCounts = new Map<string, number>();
+
+  for (let i = 0; i < bridge.wires.length; i++) {
+    const w = bridge.wires[i];
+    const target = w.to.path;
+    const tKey = pathKey(target);
+
+    // Disambiguate overdefined targets (same target written by >1 wire).
+    const seen = targetCounts.get(tKey) ?? 0;
+    targetCounts.set(tKey, seen + 1);
+    const base = seen > 0 ? `${tKey}#${seen}` : tKey;
+
+    // ── Constant wire ───────────────────────────────────────────────
+    if ("value" in w) {
+      entries.push({ id: `${base}/const`, wireIndex: i, target, kind: "const" });
+      continue;
+    }
+
+    // ── Pull wire ───────────────────────────────────────────────────
+    if ("from" in w) {
+      // Skip plain array source wires — they always execute and the
+      // separate "empty-array" entry covers the "no elements" path.
+      if (!isPlainArraySourceWire(w, bridge.arrayIterators)) {
+        entries.push({
+          id: `${base}/primary`,
+          wireIndex: i,
+          target,
+          kind: "primary",
+        });
+        addFallbackEntries(entries, base, i, target, w.fallbacks);
+        addCatchEntry(entries, base, i, target, w);
+      }
+      continue;
+    }
+
+    // ── Conditional (ternary) wire ──────────────────────────────────
+    if ("cond" in w) {
+      entries.push({ id: `${base}/then`, wireIndex: i, target, kind: "then" });
+      entries.push({ id: `${base}/else`, wireIndex: i, target, kind: "else" });
+      addFallbackEntries(entries, base, i, target, w.fallbacks);
+      addCatchEntry(entries, base, i, target, w);
+      continue;
+    }
+
+    // ── condAnd / condOr (logical binary) ───────────────────────────
+    entries.push({
+      id: `${base}/primary`,
+      wireIndex: i,
+      target,
+      kind: "primary",
+    });
+    if ("condAnd" in w) {
+      addFallbackEntries(entries, base, i, target, w.fallbacks);
+      addCatchEntry(entries, base, i, target, w);
+    } else {
+      // condOr
+      const wo = w as Extract<Wire, { condOr: unknown }>;
+      addFallbackEntries(entries, base, i, target, wo.fallbacks);
+      addCatchEntry(entries, base, i, target, w);
+    }
+  }
+
+  // ── Array iterators — each scope adds an "empty-array" path ─────
+  if (bridge.arrayIterators) {
+    for (const key of Object.keys(bridge.arrayIterators)) {
+      const id = key ? `${key}/empty-array` : "*/empty-array";
+      entries.push({
+        id,
+        wireIndex: -1,
+        target: key ? key.split(".") : [],
+        kind: "empty-array",
+      });
+    }
+  }
+
+  return entries;
+}

packages/bridge-core/src/index.ts

@@ -82,6 +82,11 @@ export type {
   WireFallback,
 } from "./types.ts";
 
+// ── Traversal enumeration ───────────────────────────────────────────────────
+
+export { enumerateTraversalIds } from "./enumerate-traversals.ts";
+export type { TraversalEntry } from "./enumerate-traversals.ts";
+
 // ── Utilities ───────────────────────────────────────────────────────────────
 
 export { parsePath } from "./utils.ts";