@ttsc/graph 0.23.0 → 0.25.0

package/lib/structures/ITtscGraphSnapshot.d.ts

@@ -37,10 +37,46 @@ export interface ITtscGraphSnapshot {
     changed: boolean;
     /** The snapshot, present exactly when `changed` is true. */
     dump?: ITtscGraphDump;
+    /** Native graph-shard transaction, present for an opted-in changed request. */
+    snapshot?: ITtscGraphSnapshot.ITransaction;
     /** Set when the request produced no snapshot; `mode` is then `"error"`. */
     error?: string;
 }
 export declare namespace ITtscGraphSnapshot {
+    /** Versioned content-addressed transaction emitted by `ttscgraph serve`. */
+    interface ITransaction {
+        protocolVersion: number;
+        schemaVersion: number;
+        project: string;
+        tsconfig: string;
+        producer: ITtscGraphDump.IProducer;
+        capabilities: string[];
+        universe: ITtscGraphDump.IUniverse;
+        sequence: number;
+        generation: string;
+        baseSequence?: number;
+        baseGeneration?: string;
+        upserts: IShardUpsert[];
+        deletes: string[];
+        manifest: IShardReference[];
+    }
+    interface IShardUpsert {
+        digest: string;
+        shard: IShard;
+    }
+    interface IShardReference {
+        key: string;
+        digest: string;
+    }
+    /** One source/config or metadata-owned raw compiler fact shard. */
+    interface IShard {
+        key: string;
+        source?: ITtscGraphDump.ISourceDigest;
+        config?: ITtscGraphDump.IFileDigest;
+        nodes: ITtscGraphDump.INode[];
+        edges: ITtscGraphDump.IEdge[];
+        diagnostics: ITtscGraphDump.IDiagnostic[];
+    }
     /**
      * The computation modes the producer reports, plus the transport's `error`.
      *
@@ -48,7 +84,7 @@ export declare namespace ITtscGraphSnapshot {
      * - `reload`: the build universe moved, so the program was reloaded whole.
      * - `unchanged`: nothing moved; no dump rides it and the last one still holds.
      * - `incremental`: edits applied onto the reused resident program.
-     * - `rebuild`: edits applied, but the program could not be reused.
+     * - `rebuild`: edits applied, but graph projection required a complete build.
      * - `error`: no snapshot was produced.
      */
     type Mode = "initial" | "reload" | "unchanged" | "incremental" | "rebuild" | "error";

package/lib/structures/TtscGraphDumpEdgeKind.d.ts

@@ -0,0 +1,2 @@
+/** Relationship kinds the native Go dump producer can write. */
+export type TtscGraphDumpEdgeKind = "exports" | "calls" | "accesses" | "instantiates" | "type_ref" | "extends" | "implements" | "overrides" | "renders";

package/lib/structures/TtscGraphDumpEdgeKind.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=TtscGraphDumpEdgeKind.js.map

package/lib/structures/TtscGraphDumpEdgeKind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TtscGraphDumpEdgeKind.js","sourceRoot":"","sources":["../../src/structures/TtscGraphDumpEdgeKind.ts"],"names":[],"mappings":""}

package/lib/structures/TtscGraphDumpNodeKind.d.ts

@@ -0,0 +1,2 @@
+/** Declaration kinds the native Go dump producer can write. */
+export type TtscGraphDumpNodeKind = "module" | "function" | "class" | "interface" | "type" | "enum" | "variable" | "method";

package/lib/structures/TtscGraphDumpNodeKind.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=TtscGraphDumpNodeKind.js.map

package/lib/structures/TtscGraphDumpNodeKind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TtscGraphDumpNodeKind.js","sourceRoot":"","sources":["../../src/structures/TtscGraphDumpNodeKind.ts"],"names":[],"mappings":""}

package/lib/structures/TtscGraphEdgeKind.d.ts

@@ -1,16 +1,18 @@
 /**
  * The relationship a directed edge encodes between two {@link ITtscGraphNode}s.
  *
- * Structural edges (`contains`, `exports`, `imports`) come from the declaration
- * pass. Value and type edges (`calls`, `accesses`, `instantiates`, `type_ref`,
+ * Structural `exports` edges come from the native declaration pass, while the
+ * TypeScript memory layer synthesizes `contains` ownership. Value and type
+ * edges (`calls`, `accesses`, `instantiates`, `type_ref`,
  * `extends`, `implements`, `overrides`, `renders`) are resolved by the checker
- * — `renders` is a JSX component use. `decorates` carries a decorator fact and
- * `tests` a test-to-subject relationship.
+ * — `renders` is a JSX component use. Decorators are facts on their target node,
+ * not edges.
  *
  * `dispatches` is the runtime counterpart of `overrides`/`implements`: the
  * checker resolves a call to the declaration it names, and where that
  * declaration is abstract or an interface member, the code that runs is its
  * implementation. It carries the implementation's declaration span, and a
- * traversal that follows what executes emits it in place of the dead end.
+ * traversal that follows what executes emits it in place of the dead end. It is
+ * trace-only and never appears in a native dump.
  */
-export type TtscGraphEdgeKind = "contains" | "exports" | "imports" | "calls" | "accesses" | "instantiates" | "type_ref" | "extends" | "implements" | "overrides" | "dispatches" | "decorates" | "renders" | "tests";
+export type TtscGraphEdgeKind = "contains" | "exports" | "calls" | "accesses" | "instantiates" | "type_ref" | "extends" | "implements" | "overrides" | "dispatches" | "renders";

package/lib/structures/TtscGraphNodeKind.d.ts

@@ -1,12 +1,11 @@
 /**
  * What a graph node represents.
  *
- * The symbol kinds (`file` through `parameter`) are declarations the TypeScript
- * program owns and the checker resolves. `external_symbol` is a
- * dependency-boundary leaf the workspace references but does not declare. The
- * graph keeps it as a named endpoint without walking into the dependency's
- * internals.
+ * The native builder emits declaration kinds from `module` through `method`.
+ * The TypeScript memory layer replaces each module with a `file` container and
+ * refines class/interface member variables to `property`. An external boundary
+ * leaf keeps its real declaration kind and sets `external: true`.
  *
  * Used as the `kind` discriminant on {@link ITtscGraphNode}.
  */
-export type TtscGraphNodeKind = "file" | "package" | "namespace" | "module" | "function" | "class" | "interface" | "type" | "enum" | "variable" | "method" | "property" | "parameter" | "external_symbol";
+export type TtscGraphNodeKind = "file" | "function" | "class" | "interface" | "type" | "enum" | "variable" | "method" | "property";

package/lib/structures/TtscGraphNodeModifier.d.ts

@@ -4,4 +4,4 @@
  * and shape — e.g. a public-API overview filters on `export`, a class outline
  * separates `static` members.
  */
-export type TtscGraphNodeModifier = "export" | "default" | "declare" | "abstract" | "static" | "readonly" | "async" | "const" | "public" | "private" | "protected" | "optional";
+export type TtscGraphNodeModifier = "export" | "default" | "declare" | "abstract" | "static" | "readonly" | "async" | "const" | "public" | "private" | "protected";

package/lib/structures/index.d.ts

@@ -15,5 +15,7 @@ export * from "./ITtscGraphSnapshot";
 export * from "./ITtscGraphSpan";
 export * from "./ITtscGraphTour";
 export * from "./TtscGraphEdgeKind";
+export * from "./TtscGraphDumpEdgeKind";
+export * from "./TtscGraphDumpNodeKind";
 export * from "./TtscGraphNodeKind";
 export * from "./TtscGraphNodeModifier";

package/lib/structures/index.js

@@ -36,6 +36,8 @@ __exportStar(require("./ITtscGraphSnapshot"), exports);
 __exportStar(require("./ITtscGraphSpan"), exports);
 __exportStar(require("./ITtscGraphTour"), exports);
 __exportStar(require("./TtscGraphEdgeKind"), exports);
+__exportStar(require("./TtscGraphDumpEdgeKind"), exports);
+__exportStar(require("./TtscGraphDumpNodeKind"), exports);
 __exportStar(require("./TtscGraphNodeKind"), exports);
 __exportStar(require("./TtscGraphNodeModifier"), exports);
 //# sourceMappingURL=index.js.map

package/lib/structures/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/structures/index.ts"],"names":[],"mappings":";AAAA,uEAAuE;AACvE,0EAA0E;AAC1E,8EAA8E;AAC9E,gFAAgF;AAChF,6BAA6B;;;;;;;;;;;;;;;;AAE7B,0DAAwC;AACxC,wDAAsC;AACtC,mDAAiC;AACjC,mDAAiC;AACjC,uDAAqC;AACrC,qDAAmC;AACnC,sDAAoC;AACpC,0DAAwC;AACxC,mDAAiC;AACjC,uDAAqC;AACrC,qDAAmC;AACnC,mDAAiC;AACjC,oDAAkC;AAClC,uDAAqC;AACrC,mDAAiC;AACjC,mDAAiC;AACjC,sDAAoC;AACpC,sDAAoC;AACpC,0DAAwC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/structures/index.ts"],"names":[],"mappings":";AAAA,uEAAuE;AACvE,0EAA0E;AAC1E,8EAA8E;AAC9E,gFAAgF;AAChF,6BAA6B;;;;;;;;;;;;;;;;AAE7B,0DAAwC;AACxC,wDAAsC;AACtC,mDAAiC;AACjC,mDAAiC;AACjC,uDAAqC;AACrC,qDAAmC;AACnC,sDAAoC;AACpC,0DAAwC;AACxC,mDAAiC;AACjC,uDAAqC;AACrC,qDAAmC;AACnC,mDAAiC;AACjC,oDAAkC;AAClC,uDAAqC;AACrC,mDAAiC;AACjC,mDAAiC;AACjC,sDAAoC;AACpC,0DAAwC;AACxC,0DAAwC;AACxC,sDAAoC;AACpC,0DAAwC"}

package/lib/view.js

@@ -52,7 +52,22 @@ function runView(argv) {
     }
     (0, nativeExecutable_1.ensureExecutable)(binary);
     process.stderr.write(`@ttsc/graph: building the graph for ${opts.cwd} (${opts.tsconfig})...\n`);
-    const dump = (0, node_child_process_1.spawnSync)(binary, ["dump", "--cwd", opts.cwd, "--tsconfig", opts.tsconfig], { encoding: "utf8", maxBuffer: 1024 * 1024 * 1024 });
+    // The dump goes to a file rather than a pipe, so no output ceiling applies.
+    const capture = (0, nativeExecutable_1.captureProcessOutput)();
+    let dump;
+    let dumpStdout;
+    let dumpStderr;
+    try {
+        dump = (0, node_child_process_1.spawnSync)(binary, ["dump", "--cwd", opts.cwd, "--tsconfig", opts.tsconfig], {
+            stdio: ["ignore", capture.stdoutFd, capture.stderrFd],
+            windowsHide: true,
+        });
+        dumpStdout = capture.read("stdout");
+        dumpStderr = capture.read("stderr");
+    }
+    finally {
+        capture.dispose();
+    }
     if (dump.error) {
         process.stderr.write(`@ttsc/graph: ${dump.error.message}\n`);
         return 1;
@@ -63,7 +78,7 @@ function runView(argv) {
     }
     let raw;
     try {
-        raw = (0, loadGraph_1.parseDump)(dump.stdout);
+        raw = (0, loadGraph_1.parseDump)(dumpStdout);
     }
     catch (error) {
         const message = error instanceof Error ? error.message : String(error);

package/lib/view.js.map

@@ -1 +1 @@
-{"version":3,"file":"view.js","sourceRoot":"","sources":["../src/view.ts"],"names":[],"mappings":";;;;;;AAAA,2DAAsD;AACtD,sDAAyB;AACzB,0DAA6B;AAC7B,0DAA6B;AAE7B,iDAKwB;AACxB,iDAA8C;AAC9C,yDAAsD;AACtD,qCAAkC;AAClC,6DAA0D;AAU1D,SAAS,aAAa,CAAC,IAAuB;IAC5C,MAAM,MAAM,GAAG,IAAA,mCAAoB,EAAC,IAAI,EAAE;QACxC,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;QAC/C,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;QAC/D,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;QACjD,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;QACnD,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;KAC5D,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,IAAA,6BAAc,EAAC,MAAM,CAAC,CAAC;IACvC,OAAO;QACL,GAAG,OAAO;QACV,IAAI,EACF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI;YACzB,CAAC,CAAC,IAAA,uCAAwB,EAAC,MAAM,EAAE,MAAM,EAAE,KAAM,CAAC;YAClD,CAAC,CAAC,CAAC;QACP,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI;QACjC,QAAQ,EACN,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,IAAI;YAC9B,CAAC,CAAC,IAAA,oCAAqB,EAAC,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,gBAAgB,CAAC;YACrE,CAAC,CAAC,IAAI;KACX,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,iBAAwB,IAAuB;IAC7C,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAEjC,8EAA8E;IAC9E,4EAA4E;IAC5E,MAAM,MAAM,GAAG,IAAA,uCAAkB,EAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,uDAAuD;YACrD,qDAAqD;YACrD,iDAAiD,CACpD,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAA,mCAAgB,EAAC,MAAM,CAAC,CAAC;IAEzB,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,uCAAuC,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,QAAQ,QAAQ,CAC1E,CAAC;IACF,MAAM,IAAI,GAAG,IAAA,8BAAS,EACpB,MAAM,EACN,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,EACxD,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,EAAE,CACpD,CAAC;IACF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;QAC7D,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,4BAA4B,CAAC,CAAC;QAClE,OAAO,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,IAAI,GAAiC,CAAC;IACtC,IAAI,CAAC;QACH,GAAG,GAAG,IAAA,qBAAS,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,OAAO,CAAC,UAAU,CAAC,cAAc,CAAC;YAChC,CAAC,CAAC,GAAG,OAAO,IAAI;YAChB,CAAC,CAAC,mDAAmD,OAAO,IAAI,CACnE,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,OAAO,GAAG,IAAA,eAAM,EAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IACzD,OAAO,CAAC,OAAO,GAAG,mBAAI,CAAC,QAAQ,CAAC,mBAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAE1C,MAAM,SAAS,GAAG,mBAAI,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACjD,IAAI,SAAiB,CAAC;IACtB,IAAI,QAAgB,CAAC;IACrB,IAAI,CAAC;QACH,SAAS,GAAG,iBAAE,CAAC,YAAY,CAAC,mBAAI,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;QAChE,QAAQ,GAAG,iBAAE,CAAC,YAAY,CAAC,mBAAI,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;IAChE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,+CAA+C,MAAM,CAAC,GAAG,CAAC,KAAK;YAC7D,0BAA0B,CAC7B,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,MAAM,GAAG,mBAAI,CAAC,YAAY,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;QAC5C,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;YAC1B,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAAC,CAAC;YAC3D,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,GAAG,KAAK,YAAY,EAAE,CAAC;YAChC,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE;gBACjB,cAAc,EAAE,uCAAuC;aACxD,CAAC,CAAC;YACH,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,0BAA0B,EAAE,CAAC,CAAC;YACnE,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACrB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,QAAQ,GAAG,aAAa,IAAI,CAAC,IAAI,EAAE,CAAC;IACxC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAA4B,EAAE,EAAE;QAClD,IAAI,MAAM;YAAE,OAAO;QACnB,MAAM,GAAG,IAAI,CAAC;QACd,MAAM,MAAM,GACV,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;YAC5B,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE;YACnC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;QACpB,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,iDAAiD,QAAQ,KAAK,MAAM,MAAM,CAC3E,CAAC;QACF,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACrB,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,MAAM,CAAC,KAAK,EAAE,CAAC;YACf,MAAM,CAAC,mBAAmB,EAAE,EAAE,CAAC;QACjC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;QACzC,IAAI,MAAM;YAAE,OAAO;QACnB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,MAAM,IAAI,GACR,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACpE,QAAQ,GAAG,aAAa,IAAI,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,oBAAoB,IAAI,GAAG,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9B,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,gBAAgB,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,YAAY,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,QAAQ;YAC5F,UAAU,MAAM,CAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,MAAM,CAAC,QAAQ,CAAC,cAAc,EAAE,KAAK,CACxF,CAAC;QACF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,yCAAyC,GAAG,IAAI,CAAC,CAAC;QACvE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;QAC7D,IAAI,IAAI,CAAC,IAAI;YAAE,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IACH,wEAAwE;AAC1E,CAAC;AAED,kFAAkF;AAClF,SAAS,WAAW,CAAC,GAAW;IAC9B,IAAI,CAAC;QACH,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO;YAC9B,IAAA,0BAAK,EAAC,KAAK,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE;gBACrC,KAAK,EAAE,QAAQ;gBACf,QAAQ,EAAE,IAAI;aACf,CAAC,CAAC,KAAK,EAAE,CAAC;aACR,IAAI,OAAO,CAAC,QAAQ,KAAK,QAAQ;YACpC,IAAA,0BAAK,EAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;;YAC/D,IAAA,0BAAK,EAAC,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;IAC7E,CAAC;IAAC,MAAM,CAAC;QACP,kDAAkD;IACpD,CAAC;AACH,CAAC"}
+{"version":3,"file":"view.js","sourceRoot":"","sources":["../src/view.ts"],"names":[],"mappings":";;;;;;AAAA,2DAAsD;AACtD,sDAAyB;AACzB,0DAA6B;AAC7B,0DAA6B;AAE7B,iDAKwB;AACxB,iDAA8C;AAC9C,yDAA4E;AAC5E,qCAAkC;AAClC,6DAA0D;AAU1D,SAAS,aAAa,CAAC,IAAuB;IAC5C,MAAM,MAAM,GAAG,IAAA,mCAAoB,EAAC,IAAI,EAAE;QACxC,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;QAC/C,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;QAC/D,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;QACjD,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;QACnD,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;KAC5D,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,IAAA,6BAAc,EAAC,MAAM,CAAC,CAAC;IACvC,OAAO;QACL,GAAG,OAAO;QACV,IAAI,EACF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI;YACzB,CAAC,CAAC,IAAA,uCAAwB,EAAC,MAAM,EAAE,MAAM,EAAE,KAAM,CAAC;YAClD,CAAC,CAAC,CAAC;QACP,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI;QACjC,QAAQ,EACN,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,IAAI;YAC9B,CAAC,CAAC,IAAA,oCAAqB,EAAC,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,gBAAgB,CAAC;YACrE,CAAC,CAAC,IAAI;KACX,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,iBAAwB,IAAuB;IAC7C,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAEjC,8EAA8E;IAC9E,4EAA4E;IAC5E,MAAM,MAAM,GAAG,IAAA,uCAAkB,EAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,uDAAuD;YACrD,qDAAqD;YACrD,iDAAiD,CACpD,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAA,mCAAgB,EAAC,MAAM,CAAC,CAAC;IAEzB,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,uCAAuC,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,QAAQ,QAAQ,CAC1E,CAAC;IACF,4EAA4E;IAC5E,MAAM,OAAO,GAAG,IAAA,uCAAoB,GAAE,CAAC;IACvC,IAAI,IAAI,CAAC;IACT,IAAI,UAAkB,CAAC;IACvB,IAAI,UAAkB,CAAC;IACvB,IAAI,CAAC;QACH,IAAI,GAAG,IAAA,8BAAS,EACd,MAAM,EACN,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,EACxD;YACE,KAAK,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC;YACrD,WAAW,EAAE,IAAI;SAClB,CACF,CAAC;QACF,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpC,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,OAAO,EAAE,CAAC;IACpB,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;QAC7D,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,4BAA4B,CAAC,CAAC;QAClE,OAAO,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,IAAI,GAAiC,CAAC;IACtC,IAAI,CAAC;QACH,GAAG,GAAG,IAAA,qBAAS,EAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,OAAO,CAAC,UAAU,CAAC,cAAc,CAAC;YAChC,CAAC,CAAC,GAAG,OAAO,IAAI;YAChB,CAAC,CAAC,mDAAmD,OAAO,IAAI,CACnE,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,OAAO,GAAG,IAAA,eAAM,EAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IACzD,OAAO,CAAC,OAAO,GAAG,mBAAI,CAAC,QAAQ,CAAC,mBAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAE1C,MAAM,SAAS,GAAG,mBAAI,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACjD,IAAI,SAAiB,CAAC;IACtB,IAAI,QAAgB,CAAC;IACrB,IAAI,CAAC;QACH,SAAS,GAAG,iBAAE,CAAC,YAAY,CAAC,mBAAI,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;QAChE,QAAQ,GAAG,iBAAE,CAAC,YAAY,CAAC,mBAAI,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;IAChE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,+CAA+C,MAAM,CAAC,GAAG,CAAC,KAAK;YAC7D,0BAA0B,CAC7B,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,MAAM,GAAG,mBAAI,CAAC,YAAY,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;QAC5C,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;YAC1B,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAAC,CAAC;YAC3D,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,GAAG,KAAK,YAAY,EAAE,CAAC;YAChC,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE;gBACjB,cAAc,EAAE,uCAAuC;aACxD,CAAC,CAAC;YACH,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,0BAA0B,EAAE,CAAC,CAAC;YACnE,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACrB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,QAAQ,GAAG,aAAa,IAAI,CAAC,IAAI,EAAE,CAAC;IACxC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAA4B,EAAE,EAAE;QAClD,IAAI,MAAM;YAAE,OAAO;QACnB,MAAM,GAAG,IAAI,CAAC;QACd,MAAM,MAAM,GACV,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;YAC5B,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE;YACnC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;QACpB,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,iDAAiD,QAAQ,KAAK,MAAM,MAAM,CAC3E,CAAC;QACF,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACrB,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,MAAM,CAAC,KAAK,EAAE,CAAC;YACf,MAAM,CAAC,mBAAmB,EAAE,EAAE,CAAC;QACjC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;QACzC,IAAI,MAAM;YAAE,OAAO;QACnB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,MAAM,IAAI,GACR,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACpE,QAAQ,GAAG,aAAa,IAAI,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,oBAAoB,IAAI,GAAG,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9B,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,gBAAgB,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,YAAY,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,QAAQ;YAC5F,UAAU,MAAM,CAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,MAAM,CAAC,QAAQ,CAAC,cAAc,EAAE,KAAK,CACxF,CAAC;QACF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,yCAAyC,GAAG,IAAI,CAAC,CAAC;QACvE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;QAC7D,IAAI,IAAI,CAAC,IAAI;YAAE,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IACH,wEAAwE;AAC1E,CAAC;AAED,kFAAkF;AAClF,SAAS,WAAW,CAAC,GAAW;IAC9B,IAAI,CAAC;QACH,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO;YAC9B,IAAA,0BAAK,EAAC,KAAK,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE;gBACrC,KAAK,EAAE,QAAQ;gBACf,QAAQ,EAAE,IAAI;aACf,CAAC,CAAC,KAAK,EAAE,CAAC;aACR,IAAI,OAAO,CAAC,QAAQ,KAAK,QAAQ;YACpC,IAAA,0BAAK,EAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;;YAC/D,IAAA,0BAAK,EAAC,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;IAC7E,CAAC;IAAC,MAAM,CAAC;QACP,kDAAkD;IACpD,CAAC;AACH,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ttsc/graph",
-  "version": "0.23.0",
+  "version": "0.25.0",
   "description": "Checker-resolved architecture graph over MCP for coding agents, backed by ttsc's in-process TypeScript-Go compiler.",
   "main": "lib/index.js",
   "types": "lib/index.d.ts",
@@ -20,7 +20,7 @@
     "typia": "13.2.0"
   },
   "peerDependencies": {
-    "ttsc": "^0.23.0"
+    "ttsc": "^0.25.0"
   },
   "keywords": [
     "ttsc",
@@ -42,7 +42,7 @@
     "three": "^0.184.0",
     "three-forcegraph": "^1.43.4",
     "typescript": "^7.0.2",
-    "ttsc": "0.23.0"
+    "ttsc": "0.25.0"
   },
   "repository": {
     "type": "git",

package/src/index.ts

@@ -83,6 +83,37 @@ export function runGraph(
   );
 }
 
+/** The help spellings `ttscgraph` itself accepts, mirrored for the fallback. */
+const DUMP_HELP_FLAGS = new Set(["--help", "-help", "-h"]);
+
+/**
+ * Print a `dump` usage summary when the native binary cannot be resolved.
+ *
+ * This is a fallback, not a second contract: `cmd/ttscgraph/main.go` owns these
+ * flags and answers whenever it is installed. Keep this short and point at that
+ * authority, so a drift degrades to a stale summary rather than a wrong
+ * answer.
+ */
+function printDumpHelp(): void {
+  process.stdout.write(
+    [
+      "Usage: ttsc-graph dump [options]",
+      "",
+      "Write the whole compiler graph as JSON to stdout: every node and edge,",
+      "none of the MCP response caps.",
+      "",
+      "Options:",
+      "  --cwd <dir>        Project root (default: current directory).",
+      "  --tsconfig <path>  Project tsconfig path (default: tsconfig.json).",
+      "  --pretty           Indent the JSON output.",
+      "",
+      "The native `ttscgraph` binary owns these flags and is not installed here,",
+      "so this summary may lag it. Install `ttsc` and rerun for the exact list.",
+      "",
+    ].join("\n"),
+  );
+}
+
 /**
  * Pass `dump` through to the native binary, inheriting stdio so the JSON lands
  * on this process's stdout. Returns the child's exit code.
@@ -93,6 +124,15 @@ function runDump(argv: readonly string[]): number {
   const { cwd } = projectOptions(parseLauncherOptions(argv, DUMP_OPTIONS));
   const binary = resolveGraphBinary(process.env, cwd);
   if (binary === null) {
+    // `ttscgraph` owns the flag contract, so a resolvable binary always answers
+    // `--help` itself and stays the single source of truth. It cannot answer
+    // when it is absent, and that is exactly when a caller is most likely to be
+    // asking what the command needs — so fall back to a summary that names the
+    // authority rather than making usage unreachable behind an install error.
+    if (argv.some((argument) => DUMP_HELP_FLAGS.has(argument))) {
+      printDumpHelp();
+      return 0;
+    }
     process.stderr.write(
       "@ttsc/graph: could not resolve the ttscgraph binary. " +
         "Install `ttsc` so its platform package is present, " +

package/src/model/TtscGraphMemory.ts

@@ -27,7 +27,7 @@ export class TtscGraphMemory {
 
   /** The absolute project root the dump was built for. */
   readonly project: string;
-  /** Every node, raw plus synthesized (file containers). */
+  /** Every post-fold node, including refined properties and file containers. */
   readonly nodes: readonly ITtscGraphNode[];
   /** Every edge, raw plus synthesized containment. */
   readonly edges: readonly ITtscGraphEdge[];
@@ -190,20 +190,22 @@ function synthesize(dump: ITtscGraphDump): {
   // small — the two copies are 17% of the document, 55 MB of VS Code's 323 MB,
   // paid again in the encode, the pipe, the parse and the validation. Nothing
   // downstream of this line sees a span without its file.
-  const nodes: ITtscGraphNode[] = dump.nodes
-    .filter((n) => n.kind !== "module")
-    .map((n) => {
-      const { evidence, implementation, ...rest } = n;
-      return {
+  const nodes: ITtscGraphNode[] = dump.nodes.flatMap((n): ITtscGraphNode[] => {
+    if (n.kind === "module") return [];
+    const { evidence, implementation, ...rest } = n;
+    return [
+      {
         ...rest,
+        kind: n.kind,
         ...(evidence !== undefined
           ? { evidence: spanIn(evidence, n.file) }
           : {}),
         ...(implementation !== undefined
           ? { implementation: spanIn(implementation, n.file) }
           : {}),
-      };
-    });
+      },
+    ];
+  });
   const edges: ITtscGraphEdge[] = dump.edges.map((edge) => {
     const { evidence, ...rest } = edge;
     const from = moduleIds.get(edge.from);

package/src/model/TtscGraphSession.ts

@@ -6,6 +6,7 @@ import { ensureExecutable } from "../nativeExecutable";
 import { resolveGraphBinary } from "../resolveGraphBinary";
 import { ITtscGraphSnapshot } from "../structures/ITtscGraphSnapshot";
 import { TtscGraphMemory } from "./TtscGraphMemory";
+import { TtscGraphShardStore } from "./TtscGraphShardStore";
 import { DUMP_SCHEMA_VERSION } from "./loadGraph";
 
 /**
@@ -17,15 +18,13 @@ import { DUMP_SCHEMA_VERSION } from "./loadGraph";
  * constant out of this file and fails if the pair drifts.
  */
 const PROTOCOL_VERSION = 1;
-const DEFAULT_REQUEST_TIMEOUT_MS = 300_000;
-const MAX_TIMER_MS = 2_147_483_647;
+const GRAPH_SNAPSHOT_PROTOCOL_VERSION = 1;
 const TERMINATION_GRACE_MS = 1_000;
 
 interface Pending {
   child: NativeChild;
   resolve: (response: ITtscGraphSnapshot) => void;
   reject: (error: Error) => void;
-  timer: NodeJS.Timeout;
   signal?: AbortSignal;
   abort?: () => void;
 }
@@ -44,11 +43,6 @@ export interface TtscGraphSessionOptions {
   tsconfig: string;
   /** Absolute native binary path, resolved from `cwd` when omitted. */
   binary?: string;
-  /**
-   * Maximum time for one native snapshot response. Defaults to five minutes,
-   * which is more than ten times the published 28.7-second VS Code cold index.
-   */
-  requestTimeoutMs?: number;
 }
 
 /** Per-call controls for a native graph refresh. */
@@ -69,26 +63,15 @@ export class TtscGraphSession {
   private readonly cwd: string;
   private readonly tsconfig: string;
   private readonly binary: string;
-  private readonly requestTimeoutMs: number;
   private child: NativeChild | undefined;
   private nextId = 0;
   private readonly pending = new Map<number, Pending>();
   private queue: Promise<void> = Promise.resolve();
   private current: TtscGraphMemory | undefined;
+  private shardStore = new TtscGraphShardStore();
   private closed = false;
 
   public constructor(options: TtscGraphSessionOptions) {
-    const requestTimeoutMs =
-      options.requestTimeoutMs ?? DEFAULT_REQUEST_TIMEOUT_MS;
-    if (
-      !Number.isSafeInteger(requestTimeoutMs) ||
-      requestTimeoutMs <= 0 ||
-      requestTimeoutMs > MAX_TIMER_MS
-    ) {
-      throw new TypeError(
-        `@ttsc/graph: requestTimeoutMs must be an integer between 1 and ${String(MAX_TIMER_MS)}`,
-      );
-    }
     // Resolve the platform binary from the project this session serves, so the
     // MCP server started from an unrelated directory still finds the target's
     // installed `ttsc`.
@@ -105,7 +88,6 @@ export class TtscGraphSession {
     this.cwd = options.cwd;
     this.tsconfig = options.tsconfig;
     this.binary = binary;
-    this.requestTimeoutMs = requestTimeoutMs;
   }
 
   /** Return a graph for the current disk snapshot, serialized per tool call. */
@@ -167,16 +149,30 @@ export class TtscGraphSession {
     // The protocol version and the envelope shape were both settled in onLine,
     // before this frame was ever routed here.
     const response = await this.request(signal);
+    this.assertResponseSemantics(response);
     if (response.error !== undefined) {
       throw new Error(`@ttsc/graph: ${response.error}`);
     }
     if (response.changed) {
-      if (response.dump === undefined) {
+      if (response.snapshot !== undefined) {
+        try {
+          this.current = TtscGraphMemory.from(
+            this.shardStore.apply(response.snapshot),
+          );
+        } catch (error) {
+          const failure = asError(error);
+          if (this.child !== undefined) this.failChild(this.child, failure);
+          throw failure;
+        }
+      } else if (response.dump !== undefined) {
+        // A serve-protocol-v1 binary predating graph shard negotiation ignores
+        // the optional request field and retains the complete-dump response.
+        this.current = TtscGraphMemory.from(response.dump);
+      } else {
         throw new Error(
-          `@ttsc/graph: native ${response.mode} response omitted its dump`,
+          `@ttsc/graph: native ${response.mode} response omitted both graph snapshot protocol v${String(GRAPH_SNAPSHOT_PROTOCOL_VERSION)} data and a compatible dump`,
         );
       }
-      this.current = TtscGraphMemory.from(response.dump);
     }
     if (this.current === undefined) {
       throw new Error(
@@ -186,6 +182,30 @@ export class TtscGraphSession {
     return this.current;
   }
 
+  private assertResponseSemantics(response: ITtscGraphSnapshot): void {
+    const bodies =
+      Number(response.dump !== undefined) +
+      Number(response.snapshot !== undefined);
+    let problem: string | undefined;
+    if (response.error !== undefined) {
+      if (response.mode !== "error" || response.changed || bodies !== 0) {
+        problem = "an error response carried snapshot state";
+      }
+    } else if (response.mode === "error") {
+      problem = "an error-mode response omitted its error";
+    } else if (response.changed) {
+      if (response.mode === "unchanged" || bodies !== 1) {
+        problem = "a changed response did not carry exactly one snapshot body";
+      }
+    } else if (response.mode !== "unchanged" || bodies !== 0) {
+      problem = "an unchanged response carried changed mode or snapshot state";
+    }
+    if (problem === undefined) return;
+    const error = new Error(`@ttsc/graph: native session returned ${problem}`);
+    if (this.child !== undefined) this.failChild(this.child, error);
+    throw error;
+  }
+
   private request(signal?: AbortSignal): Promise<ITtscGraphSnapshot> {
     if (signal?.aborted) throw cancelledError(signal);
     const child = this.ensureChild();
@@ -195,17 +215,8 @@ export class TtscGraphSession {
         child,
         resolve,
         reject,
-        timer: setTimeout(() => {
-          this.failChild(
-            child,
-            new Error(
-              `@ttsc/graph: native snapshot request timed out after ${String(this.requestTimeoutMs)} ms${stderrSuffix(child)}`,
-            ),
-          );
-        }, this.requestTimeoutMs),
         signal,
       };
-      pending.timer.unref();
       if (signal !== undefined) {
         pending.abort = () =>
           this.failChild(child, cancelledError(signal, child));
@@ -216,16 +227,19 @@ export class TtscGraphSession {
         pending.abort!();
         return;
       }
-      child.process.stdin.write(`${JSON.stringify({ id })}\n`, (error) => {
-        if (error === null || error === undefined) return;
-        if (this.pending.get(id) !== pending) return;
-        this.failChild(
-          child,
-          new Error(
-            `@ttsc/graph: could not request native snapshot: ${error.message}`,
-          ),
-        );
-      });
+      child.process.stdin.write(
+        `${JSON.stringify({ id, graphSnapshotVersion: GRAPH_SNAPSHOT_PROTOCOL_VERSION })}\n`,
+        (error) => {
+          if (error === null || error === undefined) return;
+          if (this.pending.get(id) !== pending) return;
+          this.failChild(
+            child,
+            new Error(
+              `@ttsc/graph: could not request native snapshot: ${error.message}`,
+            ),
+          );
+        },
+      );
     });
   }
 
@@ -344,8 +358,10 @@ export class TtscGraphSession {
     // looking like a type with no members. Hold the body to its own number too,
     // once the frame is understood.
     if (
-      response.dump !== undefined &&
-      response.dump.provenance.schemaVersion !== DUMP_SCHEMA_VERSION
+      (response.dump !== undefined &&
+        response.dump.provenance.schemaVersion !== DUMP_SCHEMA_VERSION) ||
+      (response.snapshot !== undefined &&
+        response.snapshot.schemaVersion !== DUMP_SCHEMA_VERSION)
     ) {
       // Session-wide, for the same reason the protocol mismatch above is: it is
       // the wrong binary, not one bad frame.
@@ -353,7 +369,8 @@ export class TtscGraphSession {
         child,
         new Error(
           `@ttsc/graph: ttscgraph sends dump schema v${String(
-            response.dump.provenance.schemaVersion,
+            response.dump?.provenance.schemaVersion ??
+              response.snapshot?.schemaVersion,
           )}, this client reads v${String(DUMP_SCHEMA_VERSION)}. ` +
             "Install a matching `ttsc` (the binary resolves from the target " +
             "project, or from TTSC_GRAPH_BINARY).",
@@ -371,6 +388,7 @@ export class TtscGraphSession {
     if (this.child !== child) return;
     this.child = undefined;
     this.current = undefined;
+    this.shardStore = new TtscGraphShardStore();
     child.lines.close();
     this.failPending(error, child);
     if (terminate) terminateChild(child.process);
@@ -391,7 +409,6 @@ export class TtscGraphSession {
   ): void {
     if (this.pending.get(id) !== pending) return;
     this.pending.delete(id);
-    clearTimeout(pending.timer);
     if (pending.signal !== undefined && pending.abort !== undefined) {
       pending.signal.removeEventListener("abort", pending.abort);
     }