@typespec/emitter-framework 0.15.0-dev.1 → 0.15.0-dev.2

package/dist/src/core/scc-set.test.js

@@ -0,0 +1,192 @@
+import { Tester } from "#test/test-host.js";
+import { computed } from "@alloy-js/core";
+import { t } from "@typespec/compiler/testing";
+import { describe, expect, it, vi } from "vitest";
+import { SCCSet } from "./scc-set.js";
+import { typeDependencyConnector } from "./type-connector.js";
+describe("SCCSet", () => {
+  it("topologically orders items", () => {
+    const edges = new Map([["model", ["serializer"]], ["serializer", ["helpers"]], ["helpers", []]]);
+    const set = new SCCSet(item => edges.get(item) ?? []);
+    set.add("model");
+    set.add("serializer");
+    set.add("helpers");
+    expect([...set.items]).toEqual(["helpers", "serializer", "model"]);
+    expect(componentValues(set)).toEqual(["helpers", "serializer", "model"]);
+  });
+  it("groups strongly connected components", () => {
+    const edges = new Map([["a", ["b"]], ["b", ["a", "c"]], ["c", []]]);
+    const set = new SCCSet(item => edges.get(item) ?? []);
+    set.add("a");
+    set.add("b");
+    set.add("c");
+    expect(componentValues(set)).toEqual(["c", ["a", "b"]]);
+    expect(set.items).toEqual(["c", "a", "b"]);
+  });
+  it("defers placeholders until added", () => {
+    const edges = new Map([["root", ["child"]], ["child", []]]);
+    const set = new SCCSet(item => edges.get(item) ?? []);
+    set.add("root");
+    expect(set.items).toEqual(["root"]);
+    expect(componentValues(set)).toEqual(["root"]);
+    set.add("child");
+    expect(set.items).toEqual(["child", "root"]);
+    expect(componentValues(set)).toEqual(["child", "root"]);
+  });
+  it("surfaces reachable nodes when requested", () => {
+    const edges = new Map([["root", ["child"]], ["child", ["leaf"]], ["leaf", []]]);
+    const set = new SCCSet(item => edges.get(item) ?? [], {
+      includeReachable: true
+    });
+    set.add("root");
+    expect(set.items).toEqual(["leaf", "child", "root"]);
+    expect(componentValues(set)).toEqual(["leaf", "child", "root"]);
+  });
+  it("mutates arrays in place when adding", () => {
+    const edges = new Map([["only", []]]);
+    const connector = vi.fn(item => edges.get(item) ?? []);
+    const set = new SCCSet(connector);
+    set.add("only");
+    const firstItems = set.items;
+    const firstComponents = set.components;
+    expect(set.items).toBe(firstItems);
+    expect(set.components).toBe(firstComponents);
+    expect(connector).toHaveBeenCalledTimes(1);
+    set.add("late");
+    expect(connector).toHaveBeenCalledTimes(2);
+    expect(set.items).toBe(firstItems);
+    expect(set.components).toBe(firstComponents);
+    expect(firstItems).toEqual(["only", "late"]);
+    expect(componentValuesFrom(firstComponents)).toEqual(["only", "late"]);
+  });
+  it("notifies computed observers", () => {
+    const edges = new Map([["model", ["serializer"]], ["serializer", ["helpers"]], ["helpers", []], ["cycle-a", ["cycle-b"]], ["cycle-b", ["cycle-a"]]]);
+    const set = new SCCSet(item => edges.get(item) ?? []);
+    const observedItems = computed(() => [...set.items]);
+    const observedComponents = computed(() => componentValues(set));
+    const observedCycle = computed(() => {
+      const cycle = set.components.find(component => Array.isArray(component.value));
+      if (!cycle || !Array.isArray(cycle.value)) {
+        return [];
+      }
+      return [...cycle.value];
+    });
+    expect(observedItems.value).toEqual([]);
+    expect(observedComponents.value).toEqual([]);
+    expect(observedCycle.value).toEqual([]);
+    set.add("model");
+    expect(observedItems.value).toEqual(["model"]);
+    expect(observedComponents.value).toEqual(["model"]);
+    set.add("serializer");
+    expect(observedItems.value).toEqual(["serializer", "model"]);
+    expect(observedComponents.value).toEqual(["serializer", "model"]);
+    set.add("helpers");
+    expect(observedItems.value).toEqual(["helpers", "serializer", "model"]);
+    expect(observedComponents.value).toEqual(["helpers", "serializer", "model"]);
+    set.add("cycle-a");
+    expect(observedCycle.value).toEqual([]);
+    set.add("cycle-b");
+    expect(observedCycle.value).toEqual(["cycle-a", "cycle-b"]);
+  });
+  it("orders dependent nodes even when added out of order", () => {
+    const edges = new Map([["Leaf", []], ["Indexed", ["Record"]], ["Record", ["Leaf"]], ["Base", ["Leaf"]], ["Derived", ["Base", "Indexed"]], ["CycleA", ["CycleB"]], ["CycleB", ["CycleA"]]]);
+    const insertionOrder = ["Derived", "Indexed", "Leaf", "Base", "CycleA", "CycleB"];
+    const set = new SCCSet(item => edges.get(item) ?? []);
+    for (const item of insertionOrder) {
+      set.add(item);
+    }
+    expect([...set.items]).toEqual(["Leaf", "Indexed", "Base", "Derived", "CycleA", "CycleB"]);
+    expect(componentValues(set)).toEqual(["Leaf", "Indexed", "Base", "Derived", ["CycleA", "CycleB"]]);
+  });
+  it("batch adds nodes and recomputes once", () => {
+    const edges = new Map([["Leaf", []], ["Indexed", ["Record"]], ["Record", ["Leaf"]], ["Base", ["Leaf"]], ["Derived", ["Base", "Indexed"]], ["CycleA", ["CycleB"]], ["CycleB", ["CycleA"]]]);
+    const insertionOrder = ["Derived", "Indexed", "Leaf", "Base", "CycleA", "CycleB"];
+    const set = new SCCSet(item => edges.get(item) ?? []);
+    set.addAll(insertionOrder);
+    expect([...set.items]).toEqual(["Leaf", "Indexed", "Base", "Derived", "CycleA", "CycleB"]);
+    expect(componentValues(set)).toEqual(["Leaf", "Indexed", "Base", "Derived", ["CycleA", "CycleB"]]);
+  });
+  it("exposes component connections", () => {
+    const edges = new Map([["Leaf", []], ["Base", ["Leaf"]], ["Indexed", ["Leaf"]], ["Derived", ["Base", "Indexed"]], ["CycleA", ["CycleB"]], ["CycleB", ["CycleA"]]]);
+    const set = new SCCSet(item => edges.get(item) ?? []);
+    set.addAll(["Derived", "Base", "Indexed", "Leaf", "CycleA", "CycleB"]);
+    const getSingleton = name => set.components.find(component => component.value === name);
+    const format = components => Array.from(components, component => Array.isArray(component.value) ? component.value.join(",") : component.value).sort();
+    const derived = getSingleton("Derived");
+    const base = getSingleton("Base");
+    const indexed = getSingleton("Indexed");
+    const leaf = getSingleton("Leaf");
+    const cycle = set.components.find(component => Array.isArray(component.value));
+    expect(format(derived.references)).toEqual(["Base", "Indexed"]);
+    expect(format(base.references)).toEqual(["Leaf"]);
+    expect(format(base.referencedBy)).toEqual(["Derived"]);
+    expect(format(indexed.referencedBy)).toEqual(["Derived"]);
+    expect(format(leaf.referencedBy)).toEqual(["Base", "Indexed"]);
+    expect(format(cycle.references)).toEqual([]);
+    expect(format(cycle.referencedBy)).toEqual([]);
+  });
+  it("orders TypeSpec models via connector", async () => {
+    const tester = await Tester.createInstance();
+    const {
+      Leaf,
+      Indexed,
+      Base,
+      Derived,
+      CycleA,
+      CycleB
+    } = await tester.compile(t.code`
+        @test model ${t.model("Leaf")} {
+          value: string;
+        }
+
+        @test model ${t.model("Indexed")} extends Record<Leaf> {}
+
+        @test model ${t.model("Base")} {
+          leaf: Leaf;
+        }
+
+        @test model ${t.model("Derived")} extends Base {
+          payload: Indexed;
+        }
+
+        @test model ${t.model("CycleA")} {
+          next: CycleB;
+        }
+
+        @test model ${t.model("CycleB")} {
+          prev: CycleA;
+        }
+      `);
+    const models = [Derived, Indexed, Leaf, Base, CycleA, CycleB];
+    const set = new SCCSet(typeDependencyConnector);
+    for (const type of models) {
+      set.add(type);
+    }
+    const itemNames = set.items.map(getTypeLabel);
+    expect(itemNames).toEqual(["Leaf", "Indexed", "Base", "Derived", "CycleA", "CycleB"]);
+    const componentNames = set.components.map(formatComponent);
+    expect(componentNames).toEqual(["Leaf", "Indexed", "Base", "Derived", ["CycleA", "CycleB"]]);
+  });
+});
+function componentValues(set) {
+  return componentValuesFrom(set.components);
+}
+function componentValuesFrom(components) {
+  return components.map(component => component.value);
+}
+function getTypeLabel(type) {
+  if ("name" in type && typeof type.name === "string" && type.name) {
+    return type.name;
+  }
+  return type.kind;
+}
+function formatComponent(component) {
+  return formatComponentValue(component.value);
+}
+function formatComponentValue(componentValue) {
+  if (Array.isArray(componentValue)) {
+    return componentValue.map(getTypeLabel);
+  }
+  return getTypeLabel(componentValue);
+}
+//# sourceMappingURL=scc-set.test.js.map

package/dist/src/core/scc-set.test.js.map

@@ -0,0 +1 @@
+{"version":3,"names":["Tester","computed","t","describe","expect","it","vi","SCCSet","typeDependencyConnector","edges","Map","set","item","get","add","items","toEqual","componentValues","includeReachable","connector","fn","firstItems","firstComponents","components","toBe","toHaveBeenCalledTimes","componentValuesFrom","observedItems","observedComponents","observedCycle","cycle","find","component","Array","isArray","value","insertionOrder","addAll","getSingleton","name","format","from","join","sort","derived","base","indexed","leaf","references","referencedBy","tester","createInstance","Leaf","Indexed","Base","Derived","CycleA","CycleB","compile","code","model","models","type","itemNames","map","getTypeLabel","componentNames","formatComponent","kind","formatComponentValue","componentValue"],"sources":["../../../src/core/scc-set.test.ts"],"sourcesContent":[null],"mappings":"AAAA,SAASA,MAAM,QAAQ,oBAAoB;AAC3C,SAASC,QAAQ,QAAQ,gBAAgB;AAEzC,SAASC,CAAC,QAAQ,4BAA4B;AAC9C,SAASC,QAAQ,EAAEC,MAAM,EAAEC,EAAE,EAAEC,EAAE,QAAQ,QAAQ;AACjD,SAASC,MAAM,QAA6C,cAAc;AAC1E,SAASC,uBAAuB,QAAQ,qBAAqB;AAE7DL,QAAQ,CAAC,QAAQ,EAAE,MAAM;EACvBE,EAAE,CAAC,4BAA4B,EAAE,MAAM;IACrC,MAAMI,KAAK,GAAG,IAAIC,GAAG,CAAmB,CACtC,CAAC,OAAO,EAAE,CAAC,YAAY,CAAC,CAAC,EACzB,CAAC,YAAY,EAAE,CAAC,SAAS,CAAC,CAAC,EAC3B,CAAC,SAAS,EAAE,EAAE,CAAC,CAChB,CAAC;IAEF,MAAMC,GAAG,GAAG,IAAIJ,MAAM,CAAUK,IAAI,IAAKH,KAAK,CAACI,GAAG,CAACD,IAAI,CAAC,IAAI,EAAE,CAAC;IAC/DD,GAAG,CAACG,GAAG,CAAC,OAAO,CAAC;IAChBH,GAAG,CAACG,GAAG,CAAC,YAAY,CAAC;IACrBH,GAAG,CAACG,GAAG,CAAC,SAAS,CAAC;IAElBV,MAAM,CAAC,CAAC,GAAGO,GAAG,CAACI,KAAK,CAAC,CAAC,CAACC,OAAO,CAAC,CAAC,SAAS,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;IAClEZ,MAAM,CAACa,eAAe,CAACN,GAAG,CAAC,CAAC,CAACK,OAAO,CAAC,CAAC,SAAS,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;EAC1E,CAAC,CAAC;EAEFX,EAAE,CAAC,sCAAsC,EAAE,MAAM;IAC/C,MAAMI,KAAK,GAAG,IAAIC,GAAG,CAAmB,CACtC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EACZ,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EACjB,CAAC,GAAG,EAAE,EAAE,CAAC,CACV,CAAC;IAEF,MAAMC,GAAG,GAAG,IAAIJ,MAAM,CAAUK,IAAI,IAAKH,KAAK,CAACI,GAAG,CAACD,IAAI,CAAC,IAAI,EAAE,CAAC;IAC/DD,GAAG,CAACG,GAAG,CAAC,GAAG,CAAC;IACZH,GAAG,CAACG,GAAG,CAAC,GAAG,CAAC;IACZH,GAAG,CAACG,GAAG,CAAC,GAAG,CAAC;IAEZV,MAAM,CAACa,eAAe,CAACN,GAAG,CAAC,CAAC,CAACK,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACvDZ,MAAM,CAACO,GAAG,CAACI,KAAK,CAAC,CAACC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;EAC5C,CAAC,CAAC;EAEFX,EAAE,CAAC,iCAAiC,EAAE,MAAM;IAC1C,MAAMI,KAAK,GAAG,IAAIC,GAAG,CAAmB,CACtC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC,EACnB,CAAC,OAAO,EAAE,EAAE,CAAC,CACd,CAAC;IAEF,MAAMC,GAAG,GAAG,IAAIJ,MAAM,CAAUK,IAAI,IAAKH,KAAK,CAACI,GAAG,CAACD,IAAI,CAAC,IAAI,EAAE,CAAC;IAE/DD,GAAG,CAACG,GAAG,CAAC,MAAM,CAAC;IACfV,MAAM,CAACO,GAAG,CAACI,KAAK,CAAC,CAACC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC;IACnCZ,MAAM,CAACa,eAAe,CAACN,GAAG,CAAC,CAAC,CAACK,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC;IAE9CL,GAAG,CAACG,GAAG,CAAC,OAAO,CAAC;IAChBV,MAAM,CAACO,GAAG,CAACI,KAAK,CAAC,CAACC,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC5CZ,MAAM,CAACa,eAAe,CAACN,GAAG,CAAC,CAAC,CAACK,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;EACzD,CAAC,CAAC;EAEFX,EAAE,CAAC,yCAAyC,EAAE,MAAM;IAClD,MAAMI,KAAK,GAAG,IAAIC,GAAG,CAAmB,CACtC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC,EACnB,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,EACnB,CAAC,MAAM,EAAE,EAAE,CAAC,CACb,CAAC;IAEF,MAAMC,GAAG,GAAG,IAAIJ,MAAM,CAAUK,IAAI,IAAKH,KAAK,CAACI,GAAG,CAACD,IAAI,CAAC,IAAI,EAAE,EAAE;MAAEM,gBAAgB,EAAE;IAAK,CAAC,CAAC;IAC3FP,GAAG,CAACG,GAAG,CAAC,MAAM,CAAC;IAEfV,MAAM,CAACO,GAAG,CAACI,KAAK,CAAC,CAACC,OAAO,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACpDZ,MAAM,CAACa,eAAe,CAACN,GAAG,CAAC,CAAC,CAACK,OAAO,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;EACjE,CAAC,CAAC;EAEFX,EAAE,CAAC,qCAAqC,EAAE,MAAM;IAC9C,MAAMI,KAAK,GAAG,IAAIC,GAAG,CAAmB,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;IACvD,MAAMS,SAAS,GAAGb,EAAE,CAACc,EAAE,CAAER,IAAY,IAAKH,KAAK,CAACI,GAAG,CAACD,IAAI,CAAC,IAAI,EAAE,CAAC;IAEhE,MAAMD,GAAG,GAAG,IAAIJ,MAAM,CAACY,SAAS,CAAC;IACjCR,GAAG,CAACG,GAAG,CAAC,MAAM,CAAC;IAEf,MAAMO,UAAU,GAAGV,GAAG,CAACI,KAAK;IAC5B,MAAMO,eAAe,GAAGX,GAAG,CAACY,UAAU;IAEtCnB,MAAM,CAACO,GAAG,CAACI,KAAK,CAAC,CAACS,IAAI,CAACH,UAAU,CAAC;IAClCjB,MAAM,CAACO,GAAG,CAACY,UAAU,CAAC,CAACC,IAAI,CAACF,eAAe,CAAC;IAC5ClB,MAAM,CAACe,SAAS,CAAC,CAACM,qBAAqB,CAAC,CAAC,CAAC;IAE1Cd,GAAG,CAACG,GAAG,CAAC,MAAM,CAAC;IACfV,MAAM,CAACe,SAAS,CAAC,CAACM,qBAAqB,CAAC,CAAC,CAAC;IAC1CrB,MAAM,CAACO,GAAG,CAACI,KAAK,CAAC,CAACS,IAAI,CAACH,UAAU,CAAC;IAClCjB,MAAM,CAACO,GAAG,CAACY,UAAU,CAAC,CAACC,IAAI,CAACF,eAAe,CAAC;IAC5ClB,MAAM,CAACiB,UAAU,CAAC,CAACL,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5CZ,MAAM,CAACsB,mBAAmB,CAACJ,eAAe,CAAC,CAAC,CAACN,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;EACxE,CAAC,CAAC;EAEFX,EAAE,CAAC,6BAA6B,EAAE,MAAM;IACtC,MAAMI,KAAK,GAAG,IAAIC,GAAG,CAAmB,CACtC,CAAC,OAAO,EAAE,CAAC,YAAY,CAAC,CAAC,EACzB,CAAC,YAAY,EAAE,CAAC,SAAS,CAAC,CAAC,EAC3B,CAAC,SAAS,EAAE,EAAE,CAAC,EACf,CAAC,SAAS,EAAE,CAAC,SAAS,CAAC,CAAC,EACxB,CAAC,SAAS,EAAE,CAAC,SAAS,CAAC,CAAC,CACzB,CAAC;IAEF,MAAMC,GAAG,GAAG,IAAIJ,MAAM,CAAUK,IAAI,IAAKH,KAAK,CAACI,GAAG,CAACD,IAAI,CAAC,IAAI,EAAE,CAAC;IAC/D,MAAMe,aAAa,GAAG1B,QAAQ,CAAC,MAAM,CAAC,GAAGU,GAAG,CAACI,KAAK,CAAC,CAAC;IACpD,MAAMa,kBAAkB,GAAG3B,QAAQ,CAAC,MAAMgB,eAAe,CAACN,GAAG,CAAC,CAAC;IAC/D,MAAMkB,aAAa,GAAG5B,QAAQ,CAAC,MAAM;MACnC,MAAM6B,KAAK,GAAGnB,GAAG,CAACY,UAAU,CAACQ,IAAI,CAAEC,SAAS,IAAKC,KAAK,CAACC,OAAO,CAACF,SAAS,CAACG,KAAK,CAAC,CAAC;MAChF,IAAI,CAACL,KAAK,IAAI,CAACG,KAAK,CAACC,OAAO,CAACJ,KAAK,CAACK,KAAK,CAAC,EAAE;QACzC,OAAO,EAAE;MACX;MACA,OAAO,CAAC,GAAGL,KAAK,CAACK,KAAK,CAAC;IACzB,CAAC,CAAC;IAEF/B,MAAM,CAACuB,aAAa,CAACQ,KAAK,CAAC,CAACnB,OAAO,CAAC,EAAE,CAAC;IACvCZ,MAAM,CAACwB,kBAAkB,CAACO,KAAK,CAAC,CAACnB,OAAO,CAAC,EAAE,CAAC;IAC5CZ,MAAM,CAACyB,aAAa,CAACM,KAAK,CAAC,CAACnB,OAAO,CAAC,EAAE,CAAC;IAEvCL,GAAG,CAACG,GAAG,CAAC,OAAO,CAAC;IAChBV,MAAM,CAACuB,aAAa,CAACQ,KAAK,CAAC,CAACnB,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC;IAC9CZ,MAAM,CAACwB,kBAAkB,CAACO,KAAK,CAAC,CAACnB,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC;IAEnDL,GAAG,CAACG,GAAG,CAAC,YAAY,CAAC;IACrBV,MAAM,CAACuB,aAAa,CAACQ,KAAK,CAAC,CAACnB,OAAO,CAAC,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC5DZ,MAAM,CAACwB,kBAAkB,CAACO,KAAK,CAAC,CAACnB,OAAO,CAAC,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAEjEL,GAAG,CAACG,GAAG,CAAC,SAAS,CAAC;IAClBV,MAAM,CAACuB,aAAa,CAACQ,KAAK,CAAC,CAACnB,OAAO,CAAC,CAAC,SAAS,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;IACvEZ,MAAM,CAACwB,kBAAkB,CAACO,KAAK,CAAC,CAACnB,OAAO,CAAC,CAAC,SAAS,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;IAE5EL,GAAG,CAACG,GAAG,CAAC,SAAS,CAAC;IAClBV,MAAM,CAACyB,aAAa,CAACM,KAAK,CAAC,CAACnB,OAAO,CAAC,EAAE,CAAC;IAEvCL,GAAG,CAACG,GAAG,CAAC,SAAS,CAAC;IAClBV,MAAM,CAACyB,aAAa,CAACM,KAAK,CAAC,CAACnB,OAAO,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;EAC7D,CAAC,CAAC;EAEFX,EAAE,CAAC,qDAAqD,EAAE,MAAM;IAC9D,MAAMI,KAAK,GAAG,IAAIC,GAAG,CAAmB,CACtC,CAAC,MAAM,EAAE,EAAE,CAAC,EACZ,CAAC,SAAS,EAAE,CAAC,QAAQ,CAAC,CAAC,EACvB,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,EACpB,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,EAClB,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,EAChC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EACtB,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,CACvB,CAAC;IAEF,MAAM0B,cAAc,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC;IACjF,MAAMzB,GAAG,GAAG,IAAIJ,MAAM,CAAUK,IAAI,IAAKH,KAAK,CAACI,GAAG,CAACD,IAAI,CAAC,IAAI,EAAE,CAAC;IAC/D,KAAK,MAAMA,IAAI,IAAIwB,cAAc,EAAE;MACjCzB,GAAG,CAACG,GAAG,CAACF,IAAI,CAAC;IACf;IAEAR,MAAM,CAAC,CAAC,GAAGO,GAAG,CAACI,KAAK,CAAC,CAAC,CAACC,OAAO,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC1FZ,MAAM,CAACa,eAAe,CAACN,GAAG,CAAC,CAAC,CAACK,OAAO,CAAC,CACnC,MAAM,EACN,SAAS,EACT,MAAM,EACN,SAAS,EACT,CAAC,QAAQ,EAAE,QAAQ,CAAC,CACrB,CAAC;EACJ,CAAC,CAAC;EAEFX,EAAE,CAAC,sCAAsC,EAAE,MAAM;IAC/C,MAAMI,KAAK,GAAG,IAAIC,GAAG,CAAmB,CACtC,CAAC,MAAM,EAAE,EAAE,CAAC,EACZ,CAAC,SAAS,EAAE,CAAC,QAAQ,CAAC,CAAC,EACvB,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,EACpB,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,EAClB,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,EAChC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EACtB,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,CACvB,CAAC;IAEF,MAAM0B,cAAc,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC;IACjF,MAAMzB,GAAG,GAAG,IAAIJ,MAAM,CAAUK,IAAI,IAAKH,KAAK,CAACI,GAAG,CAACD,IAAI,CAAC,IAAI,EAAE,CAAC;IAC/DD,GAAG,CAAC0B,MAAM,CAACD,cAAc,CAAC;IAE1BhC,MAAM,CAAC,CAAC,GAAGO,GAAG,CAACI,KAAK,CAAC,CAAC,CAACC,OAAO,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC1FZ,MAAM,CAACa,eAAe,CAACN,GAAG,CAAC,CAAC,CAACK,OAAO,CAAC,CACnC,MAAM,EACN,SAAS,EACT,MAAM,EACN,SAAS,EACT,CAAC,QAAQ,EAAE,QAAQ,CAAC,CACrB,CAAC;EACJ,CAAC,CAAC;EAEFX,EAAE,CAAC,+BAA+B,EAAE,MAAM;IACxC,MAAMI,KAAK,GAAG,IAAIC,GAAG,CAAmB,CACtC,CAAC,MAAM,EAAE,EAAE,CAAC,EACZ,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,EAClB,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,CAAC,EACrB,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,EAChC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EACtB,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,CACvB,CAAC;IAEF,MAAMC,GAAG,GAAG,IAAIJ,MAAM,CAAUK,IAAI,IAAKH,KAAK,CAACI,GAAG,CAACD,IAAI,CAAC,IAAI,EAAE,CAAC;IAC/DD,GAAG,CAAC0B,MAAM,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAEtE,MAAMC,YAAY,GAAIC,IAAY,IAChC5B,GAAG,CAACY,UAAU,CAACQ,IAAI,CAAEC,SAAS,IAAKA,SAAS,CAACG,KAAK,KAAKI,IAAI,CAAE;IAC/D,MAAMC,MAAM,GAAIjB,UAA0C,IACxDU,KAAK,CAACQ,IAAI,CAAClB,UAAU,EAAGS,SAAS,IAC/BC,KAAK,CAACC,OAAO,CAACF,SAAS,CAACG,KAAK,CAAC,GAAGH,SAAS,CAACG,KAAK,CAACO,IAAI,CAAC,GAAG,CAAC,GAAGV,SAAS,CAACG,KACzE,CAAC,CAACQ,IAAI,CAAC,CAAC;IAEV,MAAMC,OAAO,GAAGN,YAAY,CAAC,SAAS,CAAC;IACvC,MAAMO,IAAI,GAAGP,YAAY,CAAC,MAAM,CAAC;IACjC,MAAMQ,OAAO,GAAGR,YAAY,CAAC,SAAS,CAAC;IACvC,MAAMS,IAAI,GAAGT,YAAY,CAAC,MAAM,CAAC;IACjC,MAAMR,KAAK,GAAGnB,GAAG,CAACY,UAAU,CAACQ,IAAI,CAAEC,SAAS,IAAKC,KAAK,CAACC,OAAO,CAACF,SAAS,CAACG,KAAK,CAAC,CAAE;IAEjF/B,MAAM,CAACoC,MAAM,CAACI,OAAO,CAACI,UAAU,CAAC,CAAC,CAAChC,OAAO,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC/DZ,MAAM,CAACoC,MAAM,CAACK,IAAI,CAACG,UAAU,CAAC,CAAC,CAAChC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC;IACjDZ,MAAM,CAACoC,MAAM,CAACK,IAAI,CAACI,YAAY,CAAC,CAAC,CAACjC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC;IACtDZ,MAAM,CAACoC,MAAM,CAACM,OAAO,CAACG,YAAY,CAAC,CAAC,CAACjC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC;IACzDZ,MAAM,CAACoC,MAAM,CAACO,IAAI,CAACE,YAAY,CAAC,CAAC,CAACjC,OAAO,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC9DZ,MAAM,CAACoC,MAAM,CAACV,KAAK,CAACkB,UAAU,CAAC,CAAC,CAAChC,OAAO,CAAC,EAAE,CAAC;IAC5CZ,MAAM,CAACoC,MAAM,CAACV,KAAK,CAACmB,YAAY,CAAC,CAAC,CAACjC,OAAO,CAAC,EAAE,CAAC;EAChD,CAAC,CAAC;EAEFX,EAAE,CAAC,sCAAsC,EAAE,YAAY;IACrD,MAAM6C,MAAM,GAAG,MAAMlD,MAAM,CAACmD,cAAc,CAAC,CAAC;IAC5C,MAAM;MAAEC,IAAI;MAAEC,OAAO;MAAEC,IAAI;MAAEC,OAAO;MAAEC,MAAM;MAAEC;IAAO,CAAC,GAAG,MAAMP,MAAM,CAACQ,OAAO,CAC3ExD,CAAC,CAACyD,IAAI;AACZ,sBAAsBzD,CAAC,CAAC0D,KAAK,CAAC,MAAM,CAAC;AACrC;AACA;AACA;AACA,sBAAsB1D,CAAC,CAAC0D,KAAK,CAAC,SAAS,CAAC;AACxC;AACA,sBAAsB1D,CAAC,CAAC0D,KAAK,CAAC,MAAM,CAAC;AACrC;AACA;AACA;AACA,sBAAsB1D,CAAC,CAAC0D,KAAK,CAAC,SAAS,CAAC;AACxC;AACA;AACA;AACA,sBAAsB1D,CAAC,CAAC0D,KAAK,CAAC,QAAQ,CAAC;AACvC;AACA;AACA;AACA,sBAAsB1D,CAAC,CAAC0D,KAAK,CAAC,QAAQ,CAAC;AACvC;AACA;AACA,OACI,CAAC;IAED,MAAMC,MAAM,GAAG,CAACN,OAAO,EAAEF,OAAO,EAAED,IAAI,EAAEE,IAAI,EAAEE,MAAM,EAAEC,MAAM,CAAW;IACvE,MAAM9C,GAAG,GAAG,IAAIJ,MAAM,CAAOC,uBAAuB,CAAC;IACrD,KAAK,MAAMsD,IAAI,IAAID,MAAM,EAAE;MACzBlD,GAAG,CAACG,GAAG,CAACgD,IAAI,CAAC;IACf;IAEA,MAAMC,SAAS,GAAGpD,GAAG,CAACI,KAAK,CAACiD,GAAG,CAACC,YAAY,CAAC;IAC7C7D,MAAM,CAAC2D,SAAS,CAAC,CAAC/C,OAAO,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAErF,MAAMkD,cAAc,GAAGvD,GAAG,CAACY,UAAU,CAACyC,GAAG,CAACG,eAAe,CAAC;IAC1D/D,MAAM,CAAC8D,cAAc,CAAC,CAAClD,OAAO,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;EAC9F,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF,SAASC,eAAeA,CAAIN,GAAc,EAAoB;EAC5D,OAAOe,mBAAmB,CAACf,GAAG,CAACY,UAAU,CAAC;AAC5C;AAEA,SAASG,mBAAmBA,CAAIH,UAAsC,EAAoB;EACxF,OAAOA,UAAU,CAACyC,GAAG,CAAEhC,SAAS,IAAKA,SAAS,CAACG,KAAK,CAAC;AACvD;AAEA,SAAS8B,YAAYA,CAACH,IAAU,EAAU;EACxC,IAAI,MAAM,IAAIA,IAAI,IAAI,OAAOA,IAAI,CAACvB,IAAI,KAAK,QAAQ,IAAIuB,IAAI,CAACvB,IAAI,EAAE;IAChE,OAAOuB,IAAI,CAACvB,IAAI;EAClB;EACA,OAAOuB,IAAI,CAACM,IAAI;AAClB;AAIA,SAASD,eAAeA,CAACnC,SAA6B,EAAkB;EACtE,OAAOqC,oBAAoB,CAACrC,SAAS,CAACG,KAAK,CAAC;AAC9C;AAEA,SAASkC,oBAAoBA,CAACC,cAAiC,EAAkB;EAC/E,IAAIrC,KAAK,CAACC,OAAO,CAACoC,cAAc,CAAC,EAAE;IACjC,OAAQA,cAAc,CAAYN,GAAG,CAACC,YAAY,CAAC;EACrD;EACA,OAAOA,YAAY,CAACK,cAAc,CAAC;AACrC","ignoreList":[]}

package/dist/src/core/type-connector.d.ts

@@ -0,0 +1,8 @@
+import type { Type } from "@typespec/compiler";
+/**
+ * Connector for {@link TypeSpec} {@link Type}s that captures the type graph edges used for
+ * topological ordering. Each returned dependency represents an incoming edge for the source
+ * type, e.g. a model depends on its base model, property types, and indexer key/value types.
+ */
+export declare function typeDependencyConnector(type: Type): Iterable<Type>;
+//# sourceMappingURL=type-connector.d.ts.map

package/dist/src/core/type-connector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-connector.d.ts","sourceRoot":"","sources":["../../../src/core/type-connector.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAE/C;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAElE"}

package/dist/src/core/type-connector.js

@@ -0,0 +1,63 @@
+/**
+ * Connector for {@link TypeSpec} {@link Type}s that captures the type graph edges used for
+ * topological ordering. Each returned dependency represents an incoming edge for the source
+ * type, e.g. a model depends on its base model, property types, and indexer key/value types.
+ */
+export function typeDependencyConnector(type) {
+  return iterateTypeDependencies(type);
+}
+function* iterateTypeDependencies(type) {
+  switch (type.kind) {
+    case "Model":
+      if (type.baseModel) {
+        yield type.baseModel;
+      }
+      if (type.indexer) {
+        yield type.indexer.key;
+        yield type.indexer.value;
+      }
+      for (const property of type.properties.values()) {
+        yield property.type;
+      }
+      break;
+    case "ModelProperty":
+      yield type.type;
+      break;
+    case "Interface":
+      for (const operation of type.operations.values()) {
+        yield operation;
+      }
+      break;
+    case "Operation":
+      yield type.parameters;
+      yield type.returnType;
+      break;
+    case "Union":
+      for (const variant of type.variants.values()) {
+        yield variant;
+      }
+      break;
+    case "UnionVariant":
+      yield type.type;
+      break;
+    case "Tuple":
+      yield* type.values;
+      break;
+    case "Enum":
+      for (const member of type.members.values()) {
+        yield member;
+      }
+      break;
+    case "EnumMember":
+      if (type.sourceMember) {
+        yield type.sourceMember;
+      }
+      break;
+    case "Scalar":
+      if (type.baseScalar) {
+        yield type.baseScalar;
+      }
+      break;
+  }
+}
+//# sourceMappingURL=type-connector.js.map

package/dist/src/core/type-connector.js.map

@@ -0,0 +1 @@
+{"version":3,"names":["typeDependencyConnector","type","iterateTypeDependencies","kind","baseModel","indexer","key","value","property","properties","values","operation","operations","parameters","returnType","variant","variants","member","members","sourceMember","baseScalar"],"sources":["../../../src/core/type-connector.ts"],"sourcesContent":[null],"mappings":"AAEA;AACA;AACA;AACA;AACA;AACA,OAAO,SAASA,uBAAuBA,CAACC,IAAU,EAAkB;EAClE,OAAOC,uBAAuB,CAACD,IAAI,CAAC;AACtC;AAEA,UAAUC,uBAAuBA,CAACD,IAAU,EAA0B;EACpE,QAAQA,IAAI,CAACE,IAAI;IACf,KAAK,OAAO;MACV,IAAIF,IAAI,CAACG,SAAS,EAAE;QAClB,MAAMH,IAAI,CAACG,SAAS;MACtB;MAEA,IAAIH,IAAI,CAACI,OAAO,EAAE;QAChB,MAAMJ,IAAI,CAACI,OAAO,CAACC,GAAG;QACtB,MAAML,IAAI,CAACI,OAAO,CAACE,KAAK;MAC1B;MAEA,KAAK,MAAMC,QAAQ,IAAIP,IAAI,CAACQ,UAAU,CAACC,MAAM,CAAC,CAAC,EAAE;QAC/C,MAAMF,QAAQ,CAACP,IAAI;MACrB;MACA;IACF,KAAK,eAAe;MAClB,MAAMA,IAAI,CAACA,IAAI;MACf;IACF,KAAK,WAAW;MACd,KAAK,MAAMU,SAAS,IAAIV,IAAI,CAACW,UAAU,CAACF,MAAM,CAAC,CAAC,EAAE;QAChD,MAAMC,SAAS;MACjB;MACA;IACF,KAAK,WAAW;MACd,MAAMV,IAAI,CAACY,UAAU;MACrB,MAAMZ,IAAI,CAACa,UAAU;MACrB;IACF,KAAK,OAAO;MACV,KAAK,MAAMC,OAAO,IAAId,IAAI,CAACe,QAAQ,CAACN,MAAM,CAAC,CAAC,EAAE;QAC5C,MAAMK,OAAO;MACf;MACA;IACF,KAAK,cAAc;MACjB,MAAMd,IAAI,CAACA,IAAI;MACf;IACF,KAAK,OAAO;MACV,OAAOA,IAAI,CAACS,MAAM;MAClB;IACF,KAAK,MAAM;MACT,KAAK,MAAMO,MAAM,IAAIhB,IAAI,CAACiB,OAAO,CAACR,MAAM,CAAC,CAAC,EAAE;QAC1C,MAAMO,MAAM;MACd;MACA;IACF,KAAK,YAAY;MACf,IAAIhB,IAAI,CAACkB,YAAY,EAAE;QACrB,MAAMlB,IAAI,CAACkB,YAAY;MACzB;MACA;IACF,KAAK,QAAQ;MACX,IAAIlB,IAAI,CAACmB,UAAU,EAAE;QACnB,MAAMnB,IAAI,CAACmB,UAAU;MACvB;MACA;EACJ;AACF","ignoreList":[]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@typespec/emitter-framework",
-  "version": "0.15.0-dev.1",
+  "version": "0.15.0-dev.2",
   "type": "module",
   "main": "dist/index.js",
   "repository": {
@@ -41,14 +41,14 @@
     "@alloy-js/core": "^0.22.0",
     "@alloy-js/csharp": "^0.22.0",
     "@alloy-js/typescript": "^0.22.0",
-    "@typespec/compiler": "^1.7.0"
+    "@typespec/compiler": "^1.7.1"
   },
   "devDependencies": {
     "@alloy-js/cli": "^0.22.0",
     "@alloy-js/core": "^0.22.0",
     "@alloy-js/rollup-plugin": "^0.1.0",
     "@alloy-js/typescript": "^0.22.0",
-    "@typespec/compiler": "^1.7.0",
+    "@typespec/compiler": "^1.7.1",
     "concurrently": "^9.1.2",
     "pathe": "^2.0.3",
     "prettier": "~3.6.2",

package/package.json.bak

@@ -1,6 +1,6 @@
 {
   "name": "@typespec/emitter-framework",
-  "version": "0.15.0-dev.1",
+  "version": "0.15.0-dev.2",
   "type": "module",
   "main": "dist/index.js",
   "repository": {
@@ -58,14 +58,14 @@
     "@alloy-js/core": "^0.22.0",
     "@alloy-js/csharp": "^0.22.0",
     "@alloy-js/typescript": "^0.22.0",
-    "@typespec/compiler": "^1.7.0"
+    "@typespec/compiler": "^1.7.1"
   },
   "devDependencies": {
     "@alloy-js/cli": "^0.22.0",
     "@alloy-js/core": "^0.22.0",
     "@alloy-js/rollup-plugin": "^0.1.0",
     "@alloy-js/typescript": "^0.22.0",
-    "@typespec/compiler": "^1.7.0",
+    "@typespec/compiler": "^1.7.1",
     "concurrently": "^9.1.2",
     "pathe": "^2.0.3",
     "prettier": "~3.6.2",

package/src/core/index.ts

@@ -1,4 +1,6 @@
 export * from "./components/index.js";
 export * from "./context/index.js";
+export * from "./scc-set.js";
 export * from "./transport-name-policy.js";
+export * from "./type-connector.js";
 export * from "./write-output.js";

package/src/core/scc-set.test.ts

@@ -0,0 +1,293 @@
+import { Tester } from "#test/test-host.js";
+import { computed } from "@alloy-js/core";
+import type { Type } from "@typespec/compiler";
+import { t } from "@typespec/compiler/testing";
+import { describe, expect, it, vi } from "vitest";
+import { SCCSet, type NestedArray, type SCCComponent } from "./scc-set.js";
+import { typeDependencyConnector } from "./type-connector.js";
+
+describe("SCCSet", () => {
+  it("topologically orders items", () => {
+    const edges = new Map<string, string[]>([
+      ["model", ["serializer"]],
+      ["serializer", ["helpers"]],
+      ["helpers", []],
+    ]);
+
+    const set = new SCCSet<string>((item) => edges.get(item) ?? []);
+    set.add("model");
+    set.add("serializer");
+    set.add("helpers");
+
+    expect([...set.items]).toEqual(["helpers", "serializer", "model"]);
+    expect(componentValues(set)).toEqual(["helpers", "serializer", "model"]);
+  });
+
+  it("groups strongly connected components", () => {
+    const edges = new Map<string, string[]>([
+      ["a", ["b"]],
+      ["b", ["a", "c"]],
+      ["c", []],
+    ]);
+
+    const set = new SCCSet<string>((item) => edges.get(item) ?? []);
+    set.add("a");
+    set.add("b");
+    set.add("c");
+
+    expect(componentValues(set)).toEqual(["c", ["a", "b"]]);
+    expect(set.items).toEqual(["c", "a", "b"]);
+  });
+
+  it("defers placeholders until added", () => {
+    const edges = new Map<string, string[]>([
+      ["root", ["child"]],
+      ["child", []],
+    ]);
+
+    const set = new SCCSet<string>((item) => edges.get(item) ?? []);
+
+    set.add("root");
+    expect(set.items).toEqual(["root"]);
+    expect(componentValues(set)).toEqual(["root"]);
+
+    set.add("child");
+    expect(set.items).toEqual(["child", "root"]);
+    expect(componentValues(set)).toEqual(["child", "root"]);
+  });
+
+  it("surfaces reachable nodes when requested", () => {
+    const edges = new Map<string, string[]>([
+      ["root", ["child"]],
+      ["child", ["leaf"]],
+      ["leaf", []],
+    ]);
+
+    const set = new SCCSet<string>((item) => edges.get(item) ?? [], { includeReachable: true });
+    set.add("root");
+
+    expect(set.items).toEqual(["leaf", "child", "root"]);
+    expect(componentValues(set)).toEqual(["leaf", "child", "root"]);
+  });
+
+  it("mutates arrays in place when adding", () => {
+    const edges = new Map<string, string[]>([["only", []]]);
+    const connector = vi.fn((item: string) => edges.get(item) ?? []);
+
+    const set = new SCCSet(connector);
+    set.add("only");
+
+    const firstItems = set.items;
+    const firstComponents = set.components;
+
+    expect(set.items).toBe(firstItems);
+    expect(set.components).toBe(firstComponents);
+    expect(connector).toHaveBeenCalledTimes(1);
+
+    set.add("late");
+    expect(connector).toHaveBeenCalledTimes(2);
+    expect(set.items).toBe(firstItems);
+    expect(set.components).toBe(firstComponents);
+    expect(firstItems).toEqual(["only", "late"]);
+    expect(componentValuesFrom(firstComponents)).toEqual(["only", "late"]);
+  });
+
+  it("notifies computed observers", () => {
+    const edges = new Map<string, string[]>([
+      ["model", ["serializer"]],
+      ["serializer", ["helpers"]],
+      ["helpers", []],
+      ["cycle-a", ["cycle-b"]],
+      ["cycle-b", ["cycle-a"]],
+    ]);
+
+    const set = new SCCSet<string>((item) => edges.get(item) ?? []);
+    const observedItems = computed(() => [...set.items]);
+    const observedComponents = computed(() => componentValues(set));
+    const observedCycle = computed(() => {
+      const cycle = set.components.find((component) => Array.isArray(component.value));
+      if (!cycle || !Array.isArray(cycle.value)) {
+        return [];
+      }
+      return [...cycle.value];
+    });
+
+    expect(observedItems.value).toEqual([]);
+    expect(observedComponents.value).toEqual([]);
+    expect(observedCycle.value).toEqual([]);
+
+    set.add("model");
+    expect(observedItems.value).toEqual(["model"]);
+    expect(observedComponents.value).toEqual(["model"]);
+
+    set.add("serializer");
+    expect(observedItems.value).toEqual(["serializer", "model"]);
+    expect(observedComponents.value).toEqual(["serializer", "model"]);
+
+    set.add("helpers");
+    expect(observedItems.value).toEqual(["helpers", "serializer", "model"]);
+    expect(observedComponents.value).toEqual(["helpers", "serializer", "model"]);
+
+    set.add("cycle-a");
+    expect(observedCycle.value).toEqual([]);
+
+    set.add("cycle-b");
+    expect(observedCycle.value).toEqual(["cycle-a", "cycle-b"]);
+  });
+
+  it("orders dependent nodes even when added out of order", () => {
+    const edges = new Map<string, string[]>([
+      ["Leaf", []],
+      ["Indexed", ["Record"]],
+      ["Record", ["Leaf"]],
+      ["Base", ["Leaf"]],
+      ["Derived", ["Base", "Indexed"]],
+      ["CycleA", ["CycleB"]],
+      ["CycleB", ["CycleA"]],
+    ]);
+
+    const insertionOrder = ["Derived", "Indexed", "Leaf", "Base", "CycleA", "CycleB"];
+    const set = new SCCSet<string>((item) => edges.get(item) ?? []);
+    for (const item of insertionOrder) {
+      set.add(item);
+    }
+
+    expect([...set.items]).toEqual(["Leaf", "Indexed", "Base", "Derived", "CycleA", "CycleB"]);
+    expect(componentValues(set)).toEqual([
+      "Leaf",
+      "Indexed",
+      "Base",
+      "Derived",
+      ["CycleA", "CycleB"],
+    ]);
+  });
+
+  it("batch adds nodes and recomputes once", () => {
+    const edges = new Map<string, string[]>([
+      ["Leaf", []],
+      ["Indexed", ["Record"]],
+      ["Record", ["Leaf"]],
+      ["Base", ["Leaf"]],
+      ["Derived", ["Base", "Indexed"]],
+      ["CycleA", ["CycleB"]],
+      ["CycleB", ["CycleA"]],
+    ]);
+
+    const insertionOrder = ["Derived", "Indexed", "Leaf", "Base", "CycleA", "CycleB"];
+    const set = new SCCSet<string>((item) => edges.get(item) ?? []);
+    set.addAll(insertionOrder);
+
+    expect([...set.items]).toEqual(["Leaf", "Indexed", "Base", "Derived", "CycleA", "CycleB"]);
+    expect(componentValues(set)).toEqual([
+      "Leaf",
+      "Indexed",
+      "Base",
+      "Derived",
+      ["CycleA", "CycleB"],
+    ]);
+  });
+
+  it("exposes component connections", () => {
+    const edges = new Map<string, string[]>([
+      ["Leaf", []],
+      ["Base", ["Leaf"]],
+      ["Indexed", ["Leaf"]],
+      ["Derived", ["Base", "Indexed"]],
+      ["CycleA", ["CycleB"]],
+      ["CycleB", ["CycleA"]],
+    ]);
+
+    const set = new SCCSet<string>((item) => edges.get(item) ?? []);
+    set.addAll(["Derived", "Base", "Indexed", "Leaf", "CycleA", "CycleB"]);
+
+    const getSingleton = (name: string) =>
+      set.components.find((component) => component.value === name)!;
+    const format = (components: Iterable<SCCComponent<string>>) =>
+      Array.from(components, (component) =>
+        Array.isArray(component.value) ? component.value.join(",") : component.value,
+      ).sort();
+
+    const derived = getSingleton("Derived");
+    const base = getSingleton("Base");
+    const indexed = getSingleton("Indexed");
+    const leaf = getSingleton("Leaf");
+    const cycle = set.components.find((component) => Array.isArray(component.value))!;
+
+    expect(format(derived.references)).toEqual(["Base", "Indexed"]);
+    expect(format(base.references)).toEqual(["Leaf"]);
+    expect(format(base.referencedBy)).toEqual(["Derived"]);
+    expect(format(indexed.referencedBy)).toEqual(["Derived"]);
+    expect(format(leaf.referencedBy)).toEqual(["Base", "Indexed"]);
+    expect(format(cycle.references)).toEqual([]);
+    expect(format(cycle.referencedBy)).toEqual([]);
+  });
+
+  it("orders TypeSpec models via connector", async () => {
+    const tester = await Tester.createInstance();
+    const { Leaf, Indexed, Base, Derived, CycleA, CycleB } = await tester.compile(
+      t.code`
+        @test model ${t.model("Leaf")} {
+          value: string;
+        }
+
+        @test model ${t.model("Indexed")} extends Record<Leaf> {}
+
+        @test model ${t.model("Base")} {
+          leaf: Leaf;
+        }
+
+        @test model ${t.model("Derived")} extends Base {
+          payload: Indexed;
+        }
+
+        @test model ${t.model("CycleA")} {
+          next: CycleB;
+        }
+
+        @test model ${t.model("CycleB")} {
+          prev: CycleA;
+        }
+      `,
+    );
+
+    const models = [Derived, Indexed, Leaf, Base, CycleA, CycleB] as Type[];
+    const set = new SCCSet<Type>(typeDependencyConnector);
+    for (const type of models) {
+      set.add(type);
+    }
+
+    const itemNames = set.items.map(getTypeLabel);
+    expect(itemNames).toEqual(["Leaf", "Indexed", "Base", "Derived", "CycleA", "CycleB"]);
+
+    const componentNames = set.components.map(formatComponent);
+    expect(componentNames).toEqual(["Leaf", "Indexed", "Base", "Derived", ["CycleA", "CycleB"]]);
+  });
+});
+
+function componentValues<T>(set: SCCSet<T>): NestedArray<T>[] {
+  return componentValuesFrom(set.components);
+}
+
+function componentValuesFrom<T>(components: readonly SCCComponent<T>[]): NestedArray<T>[] {
+  return components.map((component) => component.value);
+}
+
+function getTypeLabel(type: Type): string {
+  if ("name" in type && typeof type.name === "string" && type.name) {
+    return type.name;
+  }
+  return type.kind;
+}
+
+type ComponentLabel = string | string[];
+
+function formatComponent(component: SCCComponent<Type>): ComponentLabel {
+  return formatComponentValue(component.value);
+}
+
+function formatComponentValue(componentValue: NestedArray<Type>): ComponentLabel {
+  if (Array.isArray(componentValue)) {
+    return (componentValue as Type[]).map(getTypeLabel);
+  }
+  return getTypeLabel(componentValue);
+}