@ttsc/graph 0.23.0 → 0.25.0

package/lib/model/TtscGraphSession.js

@@ -44,6 +44,7 @@ const typia_1 = __importDefault(require("typia"));
 const nativeExecutable_1 = require("../nativeExecutable");
 const resolveGraphBinary_1 = require("../resolveGraphBinary");
 const TtscGraphMemory_1 = require("./TtscGraphMemory");
+const TtscGraphShardStore_1 = require("./TtscGraphShardStore");
 const loadGraph_1 = require("./loadGraph");
 /**
  * The serve protocol version this client speaks.
@@ -54,8 +55,7 @@ const loadGraph_1 = require("./loadGraph");
  * constant out of this file and fails if the pair drifts.
  */
 const PROTOCOL_VERSION = 1;
-const DEFAULT_REQUEST_TIMEOUT_MS = 300000;
-const MAX_TIMER_MS = 2147483647;
+const GRAPH_SNAPSHOT_PROTOCOL_VERSION = 1;
 const TERMINATION_GRACE_MS = 1000;
 /**
  * Resident bridge to `ttscgraph serve`.
@@ -69,20 +69,14 @@ class TtscGraphSession {
     cwd;
     tsconfig;
     binary;
-    requestTimeoutMs;
     child;
     nextId = 0;
     pending = new Map();
     queue = Promise.resolve();
     current;
+    shardStore = new TtscGraphShardStore_1.TtscGraphShardStore();
     closed = false;
     constructor(options) {
-        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`.
@@ -96,7 +90,6 @@ 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. */
     graph(options = {}) {
@@ -161,20 +154,63 @@ 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) {
-                throw new Error(`@ttsc/graph: native ${response.mode} response omitted its dump`);
+            if (response.snapshot !== undefined) {
+                try {
+                    this.current = TtscGraphMemory_1.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_1.TtscGraphMemory.from(response.dump);
+            }
+            else {
+                throw new Error(`@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_1.TtscGraphMemory.from(response.dump);
         }
         if (this.current === undefined) {
             throw new Error("@ttsc/graph: native session returned no initial graph snapshot");
         }
         return this.current;
     }
+    assertResponseSemantics(response) {
+        const bodies = Number(response.dump !== undefined) +
+            Number(response.snapshot !== undefined);
+        let problem;
+        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;
+    }
     request(signal) {
         if (signal?.aborted)
             throw cancelledError(signal);
@@ -185,12 +221,8 @@ 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));
                 signal.addEventListener("abort", pending.abort, { once: true });
@@ -200,7 +232,7 @@ class TtscGraphSession {
                 pending.abort();
                 return;
             }
-            child.process.stdin.write(`${JSON.stringify({ id })}\n`, (error) => {
+            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)
@@ -275,35 +307,50 @@ class TtscGraphSession {
             // routes the frame — were the unchecked ones. Anything added to the
             // envelope belongs on this side of that line.
             response = (() => {
-                const _ip0 = input => Array.isArray(input["capabilities"]) && input["capabilities"].every(elem => "string" === typeof elem);
-                const _ip1 = input => "string" === typeof input["file"];
-                const _ip2 = input => "string" === typeof input["id"];
-                const _ip3 = input => true === _iv0.has(input["kind"]);
-                const _iv0 = new Set(["class", "enum", "external_symbol", "file", "function", "interface", "method", "module", "namespace", "package", "parameter", "property", "type", "variable"]);
-                const _ip4 = input => "string" === typeof input["name"];
-                const _ip5 = input => undefined === input["qualifiedName"] || "string" === typeof input["qualifiedName"];
-                const _ip6 = input => "boolean" === typeof input["external"];
-                const _ip7 = input => undefined === input["ignored"] || "boolean" === typeof input["ignored"];
-                const _ip8 = input => undefined === input["exported"] || "boolean" === typeof input["exported"];
-                const _ip9 = input => undefined === input["closure"] || "boolean" === typeof input["closure"];
-                const _ip10 = input => undefined === input["modifiers"] || Array.isArray(input["modifiers"]) && input["modifiers"].every(elem => true === _iv1.has(elem));
-                const _iv1 = new Set(["abstract", "async", "const", "declare", "default", "export", "optional", "private", "protected", "public", "readonly", "static"]);
-                const _ip11 = input => undefined === input["literals"] || Array.isArray(input["literals"]) && input["literals"].every(elem => "string" === typeof elem);
-                const _ip12 = input => undefined === input["enumMembers"] || Array.isArray(input["enumMembers"]) && input["enumMembers"].every(elem => "object" === typeof elem && null !== elem && _io10(elem));
-                const _ip13 = input => undefined === input["objectMembers"] || Array.isArray(input["objectMembers"]) && input["objectMembers"].every(elem => "object" === typeof elem && null !== elem && _io11(elem));
-                const _ip14 = input => undefined === input["decorators"] || Array.isArray(input["decorators"]) && input["decorators"].every(elem => "object" === typeof elem && null !== elem && _io12(elem));
-                const _ip15 = input => undefined === input["signature"] || "string" === typeof input["signature"];
-                const _ip16 = input => undefined === input["evidence"] || "object" === typeof input["evidence"] && null !== input["evidence"] && _io14(input["evidence"]);
-                const _ip17 = input => undefined === input["implementation"] || "object" === typeof input["implementation"] && null !== input["implementation"] && _io14(input["implementation"]);
-                const _iv2 = new Set(["accesses", "calls", "contains", "decorates", "dispatches", "exports", "extends", "implements", "imports", "instantiates", "overrides", "renders", "tests", "type_ref"]);
-                const _ap0 = (input, _path, _exceptionable = true) => (Array.isArray(input["capabilities"]) || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ip0 = input => "number" === typeof input["protocolVersion"];
+                const _ip1 = input => Array.isArray(input["capabilities"]) && input["capabilities"].every(elem => "string" === typeof elem);
+                const _ip2 = input => "string" === typeof input["project"];
+                const _ip3 = input => "string" === typeof input["tsconfig"];
+                const _ip4 = input => Array.isArray(input["diagnostics"]) && input["diagnostics"].every(elem => "object" === typeof elem && null !== elem && _io8(elem));
+                const _ip5 = input => Array.isArray(input["nodes"]) && input["nodes"].every(elem => "object" === typeof elem && null !== elem && _io9(elem));
+                const _ip6 = input => Array.isArray(input["edges"]) && input["edges"].every(elem => "object" === typeof elem && null !== elem && _io15(elem));
+                const _ip7 = input => "number" === typeof input["schemaVersion"];
+                const _ip8 = input => "object" === typeof input["producer"] && null !== input["producer"] && _io3(input["producer"]);
+                const _ip9 = input => "object" === typeof input["universe"] && null !== input["universe"] && _io4(input["universe"]);
+                const _ip10 = input => "string" === typeof input["file"];
+                const _ip11 = input => "string" === typeof input["digest"];
+                const _ip12 = input => "string" === typeof input["id"];
+                const _ip13 = input => "string" === typeof input["name"];
+                const _ip14 = input => undefined === input["qualifiedName"] || "string" === typeof input["qualifiedName"];
+                const _ip15 = input => "boolean" === typeof input["external"];
+                const _ip16 = input => undefined === input["ignored"] || "boolean" === typeof input["ignored"];
+                const _ip17 = input => undefined === input["exported"] || "boolean" === typeof input["exported"];
+                const _ip18 = input => undefined === input["closure"] || "boolean" === typeof input["closure"];
+                const _ip19 = input => undefined === input["modifiers"] || Array.isArray(input["modifiers"]) && input["modifiers"].every(elem => true === _iv0.has(elem));
+                const _iv0 = new Set(["abstract", "async", "const", "declare", "default", "export", "private", "protected", "public", "readonly", "static"]);
+                const _ip20 = input => undefined === input["literals"] || Array.isArray(input["literals"]) && input["literals"].every(elem => "string" === typeof elem);
+                const _ip21 = input => undefined === input["enumMembers"] || Array.isArray(input["enumMembers"]) && input["enumMembers"].every(elem => "object" === typeof elem && null !== elem && _io10(elem));
+                const _ip22 = input => undefined === input["objectMembers"] || Array.isArray(input["objectMembers"]) && input["objectMembers"].every(elem => "object" === typeof elem && null !== elem && _io11(elem));
+                const _ip23 = input => undefined === input["decorators"] || Array.isArray(input["decorators"]) && input["decorators"].every(elem => "object" === typeof elem && null !== elem && _io12(elem));
+                const _ip24 = input => undefined === input["signature"] || "string" === typeof input["signature"];
+                const _ip25 = input => "class" === input["kind"] || "enum" === input["kind"] || "function" === input["kind"] || "interface" === input["kind"] || "method" === input["kind"] || "module" === input["kind"] || "type" === input["kind"] || "variable" === input["kind"];
+                const _ip26 = input => undefined === input["evidence"] || "object" === typeof input["evidence"] && null !== input["evidence"] && _io14(input["evidence"]);
+                const _ip27 = input => undefined === input["implementation"] || "object" === typeof input["implementation"] && null !== input["implementation"] && _io14(input["implementation"]);
+                const _ip28 = input => "string" === typeof input["key"];
+                const _ap0 = (input, _path, _exceptionable = true) => "number" === typeof input["protocolVersion"] || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".protocolVersion",
+                    expected: "number",
+                    value: input["protocolVersion"]
+                }, _errorFactory);
+                const _ap1 = (input, _path, _exceptionable = true) => (Array.isArray(input["capabilities"]) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".capabilities",
                     expected: "Array<string>",
                     value: input["capabilities"]
-                }, _errorFactory)) && input["capabilities"].every((elem, _index14) => "string" === typeof elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input["capabilities"].every((elem, _index17) => "string" === typeof elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".capabilities[" + _index14 + "]",
+                    path: _path + ".capabilities[" + _index17 + "]",
                     expected: "string",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -312,71 +359,172 @@ class TtscGraphSession {
                     expected: "Array<string>",
                     value: input["capabilities"]
                 }, _errorFactory);
-                const _ap1 = (input, _path, _exceptionable = true) => "string" === typeof input["file"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap2 = (input, _path, _exceptionable = true) => "string" === typeof input["project"] || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".project",
+                    expected: "string",
+                    value: input["project"]
+                }, _errorFactory);
+                const _ap3 = (input, _path, _exceptionable = true) => "string" === typeof input["tsconfig"] || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".tsconfig",
+                    expected: "string",
+                    value: input["tsconfig"]
+                }, _errorFactory);
+                const _ap4 = (input, _path, _exceptionable = true) => (Array.isArray(input["diagnostics"]) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".diagnostics",
+                    expected: "Array<ITtscGraphDump.IDiagnostic>",
+                    value: input["diagnostics"]
+                }, _errorFactory)) && input["diagnostics"].every((elem, _index18) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".diagnostics[" + _index18 + "]",
+                    expected: "ITtscGraphDump.IDiagnostic",
+                    value: elem
+                }, _errorFactory)) && _ao8(elem, _path + ".diagnostics[" + _index18 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".diagnostics[" + _index18 + "]",
+                    expected: "ITtscGraphDump.IDiagnostic",
+                    value: elem
+                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".diagnostics",
+                    expected: "Array<ITtscGraphDump.IDiagnostic>",
+                    value: input["diagnostics"]
+                }, _errorFactory);
+                const _ap5 = (input, _path, _exceptionable = true) => (Array.isArray(input["nodes"]) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".nodes",
+                    expected: "Array<ITtscGraphDump.INode>",
+                    value: input["nodes"]
+                }, _errorFactory)) && input["nodes"].every((elem, _index19) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".nodes[" + _index19 + "]",
+                    expected: "ITtscGraphDump.INode",
+                    value: elem
+                }, _errorFactory)) && _ao9(elem, _path + ".nodes[" + _index19 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".nodes[" + _index19 + "]",
+                    expected: "ITtscGraphDump.INode",
+                    value: elem
+                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".nodes",
+                    expected: "Array<ITtscGraphDump.INode>",
+                    value: input["nodes"]
+                }, _errorFactory);
+                const _ap6 = (input, _path, _exceptionable = true) => (Array.isArray(input["edges"]) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".edges",
+                    expected: "Array<ITtscGraphDump.IEdge>",
+                    value: input["edges"]
+                }, _errorFactory)) && input["edges"].every((elem, _index20) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".edges[" + _index20 + "]",
+                    expected: "ITtscGraphDump.IEdge",
+                    value: elem
+                }, _errorFactory)) && _ao15(elem, _path + ".edges[" + _index20 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".edges[" + _index20 + "]",
+                    expected: "ITtscGraphDump.IEdge",
+                    value: elem
+                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".edges",
+                    expected: "Array<ITtscGraphDump.IEdge>",
+                    value: input["edges"]
+                }, _errorFactory);
+                const _ap7 = (input, _path, _exceptionable = true) => "number" === typeof input["schemaVersion"] || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".schemaVersion",
+                    expected: "number",
+                    value: input["schemaVersion"]
+                }, _errorFactory);
+                const _ap8 = (input, _path, _exceptionable = true) => ("object" === typeof input["producer"] && null !== input["producer"] || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".producer",
+                    expected: "ITtscGraphDump.IProducer",
+                    value: input["producer"]
+                }, _errorFactory)) && _ao3(input["producer"], _path + ".producer", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".producer",
+                    expected: "ITtscGraphDump.IProducer",
+                    value: input["producer"]
+                }, _errorFactory);
+                const _ap9 = (input, _path, _exceptionable = true) => ("object" === typeof input["universe"] && null !== input["universe"] || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".universe",
+                    expected: "ITtscGraphDump.IUniverse",
+                    value: input["universe"]
+                }, _errorFactory)) && _ao4(input["universe"], _path + ".universe", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".universe",
+                    expected: "ITtscGraphDump.IUniverse",
+                    value: input["universe"]
+                }, _errorFactory);
+                const _ap10 = (input, _path, _exceptionable = true) => "string" === typeof input["file"] || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".file",
                     expected: "string",
                     value: input["file"]
                 }, _errorFactory);
-                const _ap2 = (input, _path, _exceptionable = true) => "string" === typeof input["id"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap11 = (input, _path, _exceptionable = true) => "string" === typeof input["digest"] || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".id",
+                    path: _path + ".digest",
                     expected: "string",
-                    value: input["id"]
+                    value: input["digest"]
                 }, _errorFactory);
-                const _ap3 = (input, _path, _exceptionable = true) => true === _av0.has(input["kind"]) || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap12 = (input, _path, _exceptionable = true) => "string" === typeof input["id"] || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".kind",
-                    expected: _ae0,
-                    value: input["kind"]
+                    path: _path + ".id",
+                    expected: "string",
+                    value: input["id"]
                 }, _errorFactory);
-                const _av0 = new Set(["class", "enum", "external_symbol", "file", "function", "interface", "method", "module", "namespace", "package", "parameter", "property", "type", "variable"]);
-                const _ae0 = "(\"class\" | \"enum\" | \"external_symbol\" | \"file\" | \"function\" | \"interface\" | \"method\" | \"module\" | \"namespace\" | \"package\" | \"parameter\" | \"property\" | \"type\" | \"variable\")";
-                const _ap4 = (input, _path, _exceptionable = true) => "string" === typeof input["name"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap13 = (input, _path, _exceptionable = true) => "string" === typeof input["name"] || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".name",
                     expected: "string",
                     value: input["name"]
                 }, _errorFactory);
-                const _ap5 = (input, _path, _exceptionable = true) => undefined === input["qualifiedName"] || "string" === typeof input["qualifiedName"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap14 = (input, _path, _exceptionable = true) => undefined === input["qualifiedName"] || "string" === typeof input["qualifiedName"] || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".qualifiedName",
                     expected: "(string | undefined)",
                     value: input["qualifiedName"]
                 }, _errorFactory);
-                const _ap6 = (input, _path, _exceptionable = true) => "boolean" === typeof input["external"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap15 = (input, _path, _exceptionable = true) => "boolean" === typeof input["external"] || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".external",
                     expected: "boolean",
                     value: input["external"]
                 }, _errorFactory);
-                const _ap7 = (input, _path, _exceptionable = true) => undefined === input["ignored"] || "boolean" === typeof input["ignored"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap16 = (input, _path, _exceptionable = true) => undefined === input["ignored"] || "boolean" === typeof input["ignored"] || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".ignored",
                     expected: "(boolean | undefined)",
                     value: input["ignored"]
                 }, _errorFactory);
-                const _ap8 = (input, _path, _exceptionable = true) => undefined === input["exported"] || "boolean" === typeof input["exported"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap17 = (input, _path, _exceptionable = true) => undefined === input["exported"] || "boolean" === typeof input["exported"] || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".exported",
                     expected: "(boolean | undefined)",
                     value: input["exported"]
                 }, _errorFactory);
-                const _ap9 = (input, _path, _exceptionable = true) => undefined === input["closure"] || "boolean" === typeof input["closure"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap18 = (input, _path, _exceptionable = true) => undefined === input["closure"] || "boolean" === typeof input["closure"] || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".closure",
                     expected: "(boolean | undefined)",
                     value: input["closure"]
                 }, _errorFactory);
-                const _ap10 = (input, _path, _exceptionable = true) => undefined === input["modifiers"] || (Array.isArray(input["modifiers"]) || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap19 = (input, _path, _exceptionable = true) => undefined === input["modifiers"] || (Array.isArray(input["modifiers"]) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".modifiers",
                     expected: "(Array<TtscGraphNodeModifier> | undefined)",
                     value: input["modifiers"]
-                }, _errorFactory)) && input["modifiers"].every((elem, _index21) => true === _av1.has(elem) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input["modifiers"].every((elem, _index24) => true === _av0.has(elem) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".modifiers[" + _index21 + "]",
-                    expected: _ae1,
+                    path: _path + ".modifiers[" + _index24 + "]",
+                    expected: _ae0,
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
@@ -384,16 +532,16 @@ class TtscGraphSession {
                     expected: "(Array<TtscGraphNodeModifier> | undefined)",
                     value: input["modifiers"]
                 }, _errorFactory);
-                const _av1 = new Set(["abstract", "async", "const", "declare", "default", "export", "optional", "private", "protected", "public", "readonly", "static"]);
-                const _ae1 = "(\"abstract\" | \"async\" | \"const\" | \"declare\" | \"default\" | \"export\" | \"optional\" | \"private\" | \"protected\" | \"public\" | \"readonly\" | \"static\")";
-                const _ap11 = (input, _path, _exceptionable = true) => undefined === input["literals"] || (Array.isArray(input["literals"]) || _assertGuard_1._assertGuard(_exceptionable, {
+                const _av0 = new Set(["abstract", "async", "const", "declare", "default", "export", "private", "protected", "public", "readonly", "static"]);
+                const _ae0 = "(\"abstract\" | \"async\" | \"const\" | \"declare\" | \"default\" | \"export\" | \"private\" | \"protected\" | \"public\" | \"readonly\" | \"static\")";
+                const _ap20 = (input, _path, _exceptionable = true) => undefined === input["literals"] || (Array.isArray(input["literals"]) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".literals",
                     expected: "(Array<string> | undefined)",
                     value: input["literals"]
-                }, _errorFactory)) && input["literals"].every((elem, _index22) => "string" === typeof elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input["literals"].every((elem, _index25) => "string" === typeof elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".literals[" + _index22 + "]",
+                    path: _path + ".literals[" + _index25 + "]",
                     expected: "string",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -402,19 +550,19 @@ class TtscGraphSession {
                     expected: "(Array<string> | undefined)",
                     value: input["literals"]
                 }, _errorFactory);
-                const _ap12 = (input, _path, _exceptionable = true) => undefined === input["enumMembers"] || (Array.isArray(input["enumMembers"]) || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap21 = (input, _path, _exceptionable = true) => undefined === input["enumMembers"] || (Array.isArray(input["enumMembers"]) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".enumMembers",
                     expected: "(Array<ITtscGraphNode.IEnumMember> | undefined)",
                     value: input["enumMembers"]
-                }, _errorFactory)) && input["enumMembers"].every((elem, _index23) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input["enumMembers"].every((elem, _index26) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".enumMembers[" + _index23 + "]",
+                    path: _path + ".enumMembers[" + _index26 + "]",
                     expected: "ITtscGraphNode.IEnumMember",
                     value: elem
-                }, _errorFactory)) && _ao10(elem, _path + ".enumMembers[" + _index23 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao10(elem, _path + ".enumMembers[" + _index26 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".enumMembers[" + _index23 + "]",
+                    path: _path + ".enumMembers[" + _index26 + "]",
                     expected: "ITtscGraphNode.IEnumMember",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -423,19 +571,19 @@ class TtscGraphSession {
                     expected: "(Array<ITtscGraphNode.IEnumMember> | undefined)",
                     value: input["enumMembers"]
                 }, _errorFactory);
-                const _ap13 = (input, _path, _exceptionable = true) => undefined === input["objectMembers"] || (Array.isArray(input["objectMembers"]) || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap22 = (input, _path, _exceptionable = true) => undefined === input["objectMembers"] || (Array.isArray(input["objectMembers"]) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".objectMembers",
                     expected: "(Array<ITtscGraphNode.IObjectMember> | undefined)",
                     value: input["objectMembers"]
-                }, _errorFactory)) && input["objectMembers"].every((elem, _index24) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input["objectMembers"].every((elem, _index27) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".objectMembers[" + _index24 + "]",
+                    path: _path + ".objectMembers[" + _index27 + "]",
                     expected: "ITtscGraphNode.IObjectMember",
                     value: elem
-                }, _errorFactory)) && _ao11(elem, _path + ".objectMembers[" + _index24 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao11(elem, _path + ".objectMembers[" + _index27 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".objectMembers[" + _index24 + "]",
+                    path: _path + ".objectMembers[" + _index27 + "]",
                     expected: "ITtscGraphNode.IObjectMember",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -444,19 +592,19 @@ class TtscGraphSession {
                     expected: "(Array<ITtscGraphNode.IObjectMember> | undefined)",
                     value: input["objectMembers"]
                 }, _errorFactory);
-                const _ap14 = (input, _path, _exceptionable = true) => undefined === input["decorators"] || (Array.isArray(input["decorators"]) || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap23 = (input, _path, _exceptionable = true) => undefined === input["decorators"] || (Array.isArray(input["decorators"]) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".decorators",
                     expected: "(Array<ITtscGraphDecorator> | undefined)",
                     value: input["decorators"]
-                }, _errorFactory)) && input["decorators"].every((elem, _index25) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input["decorators"].every((elem, _index28) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".decorators[" + _index25 + "]",
+                    path: _path + ".decorators[" + _index28 + "]",
                     expected: "ITtscGraphDecorator",
                     value: elem
-                }, _errorFactory)) && _ao12(elem, _path + ".decorators[" + _index25 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao12(elem, _path + ".decorators[" + _index28 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".decorators[" + _index25 + "]",
+                    path: _path + ".decorators[" + _index28 + "]",
                     expected: "ITtscGraphDecorator",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -465,13 +613,19 @@ class TtscGraphSession {
                     expected: "(Array<ITtscGraphDecorator> | undefined)",
                     value: input["decorators"]
                 }, _errorFactory);
-                const _ap15 = (input, _path, _exceptionable = true) => undefined === input["signature"] || "string" === typeof input["signature"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap24 = (input, _path, _exceptionable = true) => undefined === input["signature"] || "string" === typeof input["signature"] || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".signature",
                     expected: "(string | undefined)",
                     value: input["signature"]
                 }, _errorFactory);
-                const _ap16 = (input, _path, _exceptionable = true) => undefined === input["evidence"] || ("object" === typeof input["evidence"] && null !== input["evidence"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap25 = (input, _path, _exceptionable = true) => "class" === input["kind"] || "enum" === input["kind"] || "function" === input["kind"] || "interface" === input["kind"] || "method" === input["kind"] || "module" === input["kind"] || "type" === input["kind"] || "variable" === input["kind"] || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".kind",
+                    expected: "(\"class\" | \"enum\" | \"function\" | \"interface\" | \"method\" | \"module\" | \"type\" | \"variable\")",
+                    value: input["kind"]
+                }, _errorFactory);
+                const _ap26 = (input, _path, _exceptionable = true) => undefined === input["evidence"] || ("object" === typeof input["evidence"] && null !== input["evidence"] || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".evidence",
                     expected: "(ITtscGraphSpan | undefined)",
@@ -482,7 +636,7 @@ class TtscGraphSession {
                     expected: "(ITtscGraphSpan | undefined)",
                     value: input["evidence"]
                 }, _errorFactory);
-                const _ap17 = (input, _path, _exceptionable = true) => undefined === input["implementation"] || ("object" === typeof input["implementation"] && null !== input["implementation"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap27 = (input, _path, _exceptionable = true) => undefined === input["implementation"] || ("object" === typeof input["implementation"] && null !== input["implementation"] || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".implementation",
                     expected: "(ITtscGraphSpan | undefined)",
@@ -493,24 +647,23 @@ class TtscGraphSession {
                     expected: "(ITtscGraphSpan | undefined)",
                     value: input["implementation"]
                 }, _errorFactory);
-                const _av2 = new Set(["accesses", "calls", "contains", "decorates", "dispatches", "exports", "extends", "implements", "imports", "instantiates", "overrides", "renders", "tests", "type_ref"]);
-                const _ae2 = "(\"accesses\" | \"calls\" | \"contains\" | \"decorates\" | \"dispatches\" | \"exports\" | \"extends\" | \"implements\" | \"imports\" | \"instantiates\" | \"overrides\" | \"renders\" | \"tests\" | \"type_ref\")";
+                const _ap28 = (input, _path, _exceptionable = true) => "string" === typeof input["key"] || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".key",
+                    expected: "string",
+                    value: input["key"]
+                }, _errorFactory);
                 const _ao0 = (input, _path, _exceptionable = true) => ("number" === typeof input.id || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".id",
                     expected: "number",
                     value: input.id
-                }, _errorFactory)) && ("number" === typeof input.protocolVersion || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".protocolVersion",
-                    expected: "number",
-                    value: input.protocolVersion
-                }, _errorFactory)) && ("error" === input.mode || "incremental" === input.mode || "initial" === input.mode || "rebuild" === input.mode || "reload" === input.mode || "unchanged" === input.mode || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ap0(input, _path, true && _exceptionable) && ("error" === input.mode || "incremental" === input.mode || "initial" === input.mode || "rebuild" === input.mode || "reload" === input.mode || "unchanged" === input.mode || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".mode",
                     expected: "(\"error\" | \"incremental\" | \"initial\" | \"rebuild\" | \"reload\" | \"unchanged\")",
                     value: input.mode
-                }, _errorFactory)) && _ap0(input, _path, true && _exceptionable) && ("boolean" === typeof input.changed || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ap1(input, _path, true && _exceptionable) && ("boolean" === typeof input.changed || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".changed",
                     expected: "boolean",
@@ -525,23 +678,23 @@ class TtscGraphSession {
                     path: _path + ".dump",
                     expected: "(ITtscGraphDump | undefined)",
                     value: input.dump
+                }, _errorFactory)) && (undefined === input.snapshot || ("object" === typeof input.snapshot && null !== input.snapshot || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".snapshot",
+                    expected: "(ITtscGraphSnapshot.ITransaction | undefined)",
+                    value: input.snapshot
+                }, _errorFactory)) && _ao16(input.snapshot, _path + ".snapshot", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".snapshot",
+                    expected: "(ITtscGraphSnapshot.ITransaction | undefined)",
+                    value: input.snapshot
                 }, _errorFactory)) && (undefined === input.error || "string" === typeof input.error || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".error",
                     expected: "(string | undefined)",
                     value: input.error
                 }, _errorFactory));
-                const _ao1 = (input, _path, _exceptionable = true) => ("string" === typeof input.project || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".project",
-                    expected: "string",
-                    value: input.project
-                }, _errorFactory)) && ("string" === typeof input.tsconfig || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".tsconfig",
-                    expected: "string",
-                    value: input.tsconfig
-                }, _errorFactory)) && (("object" === typeof input.provenance && null !== input.provenance || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ao1 = (input, _path, _exceptionable = true) => _ap2(input, _path, true && _exceptionable) && _ap3(input, _path, true && _exceptionable) && (("object" === typeof input.provenance && null !== input.provenance || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".provenance",
                     expected: "ITtscGraphDump.IProvenance",
@@ -551,74 +704,14 @@ class TtscGraphSession {
                     path: _path + ".provenance",
                     expected: "ITtscGraphDump.IProvenance",
                     value: input.provenance
-                }, _errorFactory)) && ((Array.isArray(input.diagnostics) || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".diagnostics",
-                    expected: "Array<ITtscGraphDump.IDiagnostic>",
-                    value: input.diagnostics
-                }, _errorFactory)) && input.diagnostics.every((elem, _index15) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".diagnostics[" + _index15 + "]",
-                    expected: "ITtscGraphDump.IDiagnostic",
-                    value: elem
-                }, _errorFactory)) && _ao8(elem, _path + ".diagnostics[" + _index15 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".diagnostics[" + _index15 + "]",
-                    expected: "ITtscGraphDump.IDiagnostic",
-                    value: elem
-                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".diagnostics",
-                    expected: "Array<ITtscGraphDump.IDiagnostic>",
-                    value: input.diagnostics
-                }, _errorFactory)) && ((Array.isArray(input.nodes) || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".nodes",
-                    expected: "Array<ITtscGraphDump.INode>",
-                    value: input.nodes
-                }, _errorFactory)) && input.nodes.every((elem, _index16) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".nodes[" + _index16 + "]",
-                    expected: "ITtscGraphDump.INode",
-                    value: elem
-                }, _errorFactory)) && _ao9(elem, _path + ".nodes[" + _index16 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".nodes[" + _index16 + "]",
-                    expected: "ITtscGraphDump.INode",
-                    value: elem
-                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".nodes",
-                    expected: "Array<ITtscGraphDump.INode>",
-                    value: input.nodes
-                }, _errorFactory)) && ((Array.isArray(input.edges) || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".edges",
-                    expected: "Array<ITtscGraphDump.IEdge>",
-                    value: input.edges
-                }, _errorFactory)) && input.edges.every((elem, _index17) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".edges[" + _index17 + "]",
-                    expected: "ITtscGraphDump.IEdge",
-                    value: elem
-                }, _errorFactory)) && _ao15(elem, _path + ".edges[" + _index17 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".edges[" + _index17 + "]",
-                    expected: "ITtscGraphDump.IEdge",
-                    value: elem
-                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".edges",
-                    expected: "Array<ITtscGraphDump.IEdge>",
-                    value: input.edges
-                }, _errorFactory));
-                const _ao10 = (input, _path, _exceptionable = true) => _ap4(input, _path, true && _exceptionable) && (undefined === input.value || "string" === typeof input.value || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ap4(input, _path, true && _exceptionable) && _ap5(input, _path, true && _exceptionable) && _ap6(input, _path, true && _exceptionable);
+                const _ao10 = (input, _path, _exceptionable = true) => _ap13(input, _path, true && _exceptionable) && (undefined === input.value || "string" === typeof input.value || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".value",
                     expected: "(string | undefined)",
                     value: input.value
                 }, _errorFactory));
-                const _ao11 = (input, _path, _exceptionable = true) => _ap4(input, _path, true && _exceptionable) && ("method" === input.kind || "property" === input.kind || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ao11 = (input, _path, _exceptionable = true) => _ap13(input, _path, true && _exceptionable) && ("method" === input.kind || "property" === input.kind || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".kind",
                     expected: "(\"method\" | \"property\")",
@@ -628,20 +721,20 @@ class TtscGraphSession {
                     path: _path + ".line",
                     expected: "(number | undefined)",
                     value: input.line
-                }, _errorFactory)) && _ap15(input, _path, true && _exceptionable);
-                const _ao12 = (input, _path, _exceptionable = true) => _ap4(input, _path, true && _exceptionable) && ((Array.isArray(input.arguments) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ap24(input, _path, true && _exceptionable);
+                const _ao12 = (input, _path, _exceptionable = true) => _ap13(input, _path, true && _exceptionable) && ((Array.isArray(input.arguments) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".arguments",
                     expected: "Array<ITtscGraphDecorator.IArgument>",
                     value: input.arguments
-                }, _errorFactory)) && input.arguments.every((elem, _index26) => ("object" === typeof elem && null !== elem && false === Array.isArray(elem) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.arguments.every((elem, _index29) => ("object" === typeof elem && null !== elem && false === Array.isArray(elem) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".arguments[" + _index26 + "]",
+                    path: _path + ".arguments[" + _index29 + "]",
                     expected: "ITtscGraphDecorator.IArgument",
                     value: elem
-                }, _errorFactory)) && _ao13(elem, _path + ".arguments[" + _index26 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao13(elem, _path + ".arguments[" + _index29 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".arguments[" + _index26 + "]",
+                    path: _path + ".arguments[" + _index29 + "]",
                     expected: "ITtscGraphDecorator.IArgument",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -692,50 +785,134 @@ class TtscGraphSession {
                     path: _path + ".to",
                     expected: "string",
                     value: input.to
-                }, _errorFactory)) && (true === _av2.has(input.kind) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && ("accesses" === input.kind || "calls" === input.kind || "exports" === input.kind || "extends" === input.kind || "implements" === input.kind || "instantiates" === input.kind || "overrides" === input.kind || "renders" === input.kind || "type_ref" === input.kind || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".kind",
-                    expected: _ae2,
+                    expected: "(\"accesses\" | \"calls\" | \"exports\" | \"extends\" | \"implements\" | \"instantiates\" | \"overrides\" | \"renders\" | \"type_ref\")",
                     value: input.kind
-                }, _errorFactory)) && _ap16(input, _path, true && _exceptionable);
-                const _ao2 = (input, _path, _exceptionable = true) => ("number" === typeof input.schemaVersion || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ap26(input, _path, true && _exceptionable);
+                const _ao16 = (input, _path, _exceptionable = true) => _ap0(input, _path, true && _exceptionable) && _ap7(input, _path, true && _exceptionable) && _ap2(input, _path, true && _exceptionable) && _ap3(input, _path, true && _exceptionable) && _ap8(input, _path, true && _exceptionable) && _ap1(input, _path, true && _exceptionable) && _ap9(input, _path, true && _exceptionable) && ("number" === typeof input.sequence || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".schemaVersion",
+                    path: _path + ".sequence",
                     expected: "number",
-                    value: input.schemaVersion
-                }, _errorFactory)) && _ap0(input, _path, true && _exceptionable) && (("object" === typeof input.producer && null !== input.producer || _assertGuard_1._assertGuard(_exceptionable, {
+                    value: input.sequence
+                }, _errorFactory)) && ("string" === typeof input.generation || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".producer",
-                    expected: "ITtscGraphDump.IProducer",
-                    value: input.producer
-                }, _errorFactory)) && _ao3(input.producer, _path + ".producer", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    path: _path + ".generation",
+                    expected: "string",
+                    value: input.generation
+                }, _errorFactory)) && (undefined === input.baseSequence || "number" === typeof input.baseSequence || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".producer",
-                    expected: "ITtscGraphDump.IProducer",
-                    value: input.producer
-                }, _errorFactory)) && (("object" === typeof input.universe && null !== input.universe || _assertGuard_1._assertGuard(_exceptionable, {
+                    path: _path + ".baseSequence",
+                    expected: "(number | undefined)",
+                    value: input.baseSequence
+                }, _errorFactory)) && (undefined === input.baseGeneration || "string" === typeof input.baseGeneration || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".universe",
-                    expected: "ITtscGraphDump.IUniverse",
-                    value: input.universe
-                }, _errorFactory)) && _ao4(input.universe, _path + ".universe", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    path: _path + ".baseGeneration",
+                    expected: "(string | undefined)",
+                    value: input.baseGeneration
+                }, _errorFactory)) && ((Array.isArray(input.upserts) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".universe",
-                    expected: "ITtscGraphDump.IUniverse",
-                    value: input.universe
-                }, _errorFactory)) && ((Array.isArray(input.sources) || _assertGuard_1._assertGuard(_exceptionable, {
+                    path: _path + ".upserts",
+                    expected: "Array<ITtscGraphSnapshot.IShardUpsert>",
+                    value: input.upserts
+                }, _errorFactory)) && input.upserts.every((elem, _index30) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".upserts[" + _index30 + "]",
+                    expected: "ITtscGraphSnapshot.IShardUpsert",
+                    value: elem
+                }, _errorFactory)) && _ao17(elem, _path + ".upserts[" + _index30 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".upserts[" + _index30 + "]",
+                    expected: "ITtscGraphSnapshot.IShardUpsert",
+                    value: elem
+                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".upserts",
+                    expected: "Array<ITtscGraphSnapshot.IShardUpsert>",
+                    value: input.upserts
+                }, _errorFactory)) && ((Array.isArray(input.deletes) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".deletes",
+                    expected: "Array<string>",
+                    value: input.deletes
+                }, _errorFactory)) && input.deletes.every((elem, _index31) => "string" === typeof elem || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".deletes[" + _index31 + "]",
+                    expected: "string",
+                    value: elem
+                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".deletes",
+                    expected: "Array<string>",
+                    value: input.deletes
+                }, _errorFactory)) && ((Array.isArray(input.manifest) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".manifest",
+                    expected: "Array<ITtscGraphSnapshot.IShardReference>",
+                    value: input.manifest
+                }, _errorFactory)) && input.manifest.every((elem, _index32) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".manifest[" + _index32 + "]",
+                    expected: "ITtscGraphSnapshot.IShardReference",
+                    value: elem
+                }, _errorFactory)) && _ao19(elem, _path + ".manifest[" + _index32 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".manifest[" + _index32 + "]",
+                    expected: "ITtscGraphSnapshot.IShardReference",
+                    value: elem
+                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".manifest",
+                    expected: "Array<ITtscGraphSnapshot.IShardReference>",
+                    value: input.manifest
+                }, _errorFactory));
+                const _ao17 = (input, _path, _exceptionable = true) => _ap11(input, _path, true && _exceptionable) && (("object" === typeof input.shard && null !== input.shard || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".shard",
+                    expected: "ITtscGraphSnapshot.IShard",
+                    value: input.shard
+                }, _errorFactory)) && _ao18(input.shard, _path + ".shard", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".shard",
+                    expected: "ITtscGraphSnapshot.IShard",
+                    value: input.shard
+                }, _errorFactory));
+                const _ao18 = (input, _path, _exceptionable = true) => _ap28(input, _path, true && _exceptionable) && (undefined === input.source || ("object" === typeof input.source && null !== input.source || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".source",
+                    expected: "(ITtscGraphDump.ISourceDigest | undefined)",
+                    value: input.source
+                }, _errorFactory)) && _ao7(input.source, _path + ".source", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".source",
+                    expected: "(ITtscGraphDump.ISourceDigest | undefined)",
+                    value: input.source
+                }, _errorFactory)) && (undefined === input.config || ("object" === typeof input.config && null !== input.config || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".config",
+                    expected: "(ITtscGraphDump.IFileDigest | undefined)",
+                    value: input.config
+                }, _errorFactory)) && _ao5(input.config, _path + ".config", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".config",
+                    expected: "(ITtscGraphDump.IFileDigest | undefined)",
+                    value: input.config
+                }, _errorFactory)) && _ap5(input, _path, true && _exceptionable) && _ap6(input, _path, true && _exceptionable) && _ap4(input, _path, true && _exceptionable);
+                const _ao19 = (input, _path, _exceptionable = true) => _ap28(input, _path, true && _exceptionable) && _ap11(input, _path, true && _exceptionable);
+                const _ao2 = (input, _path, _exceptionable = true) => _ap7(input, _path, true && _exceptionable) && _ap1(input, _path, true && _exceptionable) && _ap8(input, _path, true && _exceptionable) && _ap9(input, _path, true && _exceptionable) && ((Array.isArray(input.sources) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".sources",
                     expected: "Array<ITtscGraphDump.ISourceDigest>",
                     value: input.sources
-                }, _errorFactory)) && input.sources.every((elem, _index18) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.sources.every((elem, _index21) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".sources[" + _index18 + "]",
+                    path: _path + ".sources[" + _index21 + "]",
                     expected: "ITtscGraphDump.ISourceDigest",
                     value: elem
-                }, _errorFactory)) && _ao7(elem, _path + ".sources[" + _index18 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao7(elem, _path + ".sources[" + _index21 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".sources[" + _index18 + "]",
+                    path: _path + ".sources[" + _index21 + "]",
                     expected: "ITtscGraphDump.ISourceDigest",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -765,14 +942,14 @@ class TtscGraphSession {
                     path: _path + ".configs",
                     expected: "Array<ITtscGraphDump.IFileDigest>",
                     value: input.configs
-                }, _errorFactory)) && input.configs.every((elem, _index19) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.configs.every((elem, _index22) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".configs[" + _index19 + "]",
+                    path: _path + ".configs[" + _index22 + "]",
                     expected: "ITtscGraphDump.IFileDigest",
                     value: elem
-                }, _errorFactory)) && _ao5(elem, _path + ".configs[" + _index19 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao5(elem, _path + ".configs[" + _index22 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".configs[" + _index19 + "]",
+                    path: _path + ".configs[" + _index22 + "]",
                     expected: "ITtscGraphDump.IFileDigest",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -785,14 +962,14 @@ class TtscGraphSession {
                     path: _path + ".roots",
                     expected: "Array<ITtscGraphDump.IRootFile>",
                     value: input.roots
-                }, _errorFactory)) && input.roots.every((elem, _index20) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.roots.every((elem, _index23) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".roots[" + _index20 + "]",
+                    path: _path + ".roots[" + _index23 + "]",
                     expected: "ITtscGraphDump.IRootFile",
                     value: elem
-                }, _errorFactory)) && _ao6(elem, _path + ".roots[" + _index20 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao6(elem, _path + ".roots[" + _index23 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".roots[" + _index20 + "]",
+                    path: _path + ".roots[" + _index23 + "]",
                     expected: "ITtscGraphDump.IRootFile",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -801,19 +978,14 @@ class TtscGraphSession {
                     expected: "Array<ITtscGraphDump.IRootFile>",
                     value: input.roots
                 }, _errorFactory));
-                const _ao5 = (input, _path, _exceptionable = true) => _ap1(input, _path, true && _exceptionable) && ("string" === typeof input.digest || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".digest",
-                    expected: "string",
-                    value: input.digest
-                }, _errorFactory));
+                const _ao5 = (input, _path, _exceptionable = true) => _ap10(input, _path, true && _exceptionable) && _ap11(input, _path, true && _exceptionable);
                 const _ao6 = (input, _path, _exceptionable = true) => ("string" === typeof input.config || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".config",
                     expected: "string",
                     value: input.config
-                }, _errorFactory)) && _ap1(input, _path, true && _exceptionable);
-                const _ao7 = (input, _path, _exceptionable = true) => _ap1(input, _path, true && _exceptionable) && ("string" === typeof input.checkerDigest || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ap10(input, _path, true && _exceptionable);
+                const _ao7 = (input, _path, _exceptionable = true) => _ap10(input, _path, true && _exceptionable) && ("string" === typeof input.checkerDigest || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".checkerDigest",
                     expected: "string",
@@ -824,7 +996,7 @@ class TtscGraphSession {
                     expected: "string",
                     value: input.diskDigest
                 }, _errorFactory));
-                const _ao8 = (input, _path, _exceptionable = true) => _ap1(input, _path, true && _exceptionable) && ("number" === typeof input.line || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ao8 = (input, _path, _exceptionable = true) => _ap10(input, _path, true && _exceptionable) && ("number" === typeof input.line || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".line",
                     expected: "number",
@@ -850,23 +1022,27 @@ class TtscGraphSession {
                     expected: "string",
                     value: input.message
                 }, _errorFactory));
-                const _ao9 = (input, _path, _exceptionable = true) => _ap2(input, _path, true && _exceptionable) && _ap3(input, _path, true && _exceptionable) && _ap4(input, _path, true && _exceptionable) && _ap5(input, _path, true && _exceptionable) && _ap1(input, _path, true && _exceptionable) && _ap6(input, _path, true && _exceptionable) && _ap7(input, _path, true && _exceptionable) && _ap8(input, _path, true && _exceptionable) && _ap9(input, _path, true && _exceptionable) && _ap10(input, _path, true && _exceptionable) && _ap11(input, _path, true && _exceptionable) && _ap12(input, _path, true && _exceptionable) && _ap13(input, _path, true && _exceptionable) && _ap14(input, _path, true && _exceptionable) && _ap15(input, _path, true && _exceptionable) && _ap16(input, _path, true && _exceptionable) && _ap17(input, _path, true && _exceptionable);
-                const _io0 = input => "number" === typeof input.id && "number" === typeof input.protocolVersion && ("error" === input.mode || "incremental" === input.mode || "initial" === input.mode || "rebuild" === input.mode || "reload" === input.mode || "unchanged" === input.mode) && _ip0(input) && "boolean" === typeof input.changed && (undefined === input.dump || "object" === typeof input.dump && null !== input.dump && _io1(input.dump)) && (undefined === input.error || "string" === typeof input.error);
-                const _io1 = input => "string" === typeof input.project && "string" === typeof input.tsconfig && ("object" === typeof input.provenance && null !== input.provenance && _io2(input.provenance)) && (Array.isArray(input.diagnostics) && input.diagnostics.every(elem => "object" === typeof elem && null !== elem && _io8(elem))) && (Array.isArray(input.nodes) && input.nodes.every(elem => "object" === typeof elem && null !== elem && _io9(elem))) && (Array.isArray(input.edges) && input.edges.every(elem => "object" === typeof elem && null !== elem && _io15(elem)));
-                const _io10 = input => _ip4(input) && (undefined === input.value || "string" === typeof input.value);
-                const _io11 = input => _ip4(input) && ("method" === input.kind || "property" === input.kind) && (undefined === input.line || "number" === typeof input.line) && _ip15(input);
-                const _io12 = input => _ip4(input) && (Array.isArray(input.arguments) && input.arguments.every(elem => "object" === typeof elem && null !== elem && false === Array.isArray(elem) && _io13(elem)));
+                const _ao9 = (input, _path, _exceptionable = true) => _ap12(input, _path, true && _exceptionable) && _ap13(input, _path, true && _exceptionable) && _ap14(input, _path, true && _exceptionable) && _ap10(input, _path, true && _exceptionable) && _ap15(input, _path, true && _exceptionable) && _ap16(input, _path, true && _exceptionable) && _ap17(input, _path, true && _exceptionable) && _ap18(input, _path, true && _exceptionable) && _ap19(input, _path, true && _exceptionable) && _ap20(input, _path, true && _exceptionable) && _ap21(input, _path, true && _exceptionable) && _ap22(input, _path, true && _exceptionable) && _ap23(input, _path, true && _exceptionable) && _ap24(input, _path, true && _exceptionable) && _ap25(input, _path, true && _exceptionable) && _ap26(input, _path, true && _exceptionable) && _ap27(input, _path, true && _exceptionable);
+                const _io0 = input => "number" === typeof input.id && _ip0(input) && ("error" === input.mode || "incremental" === input.mode || "initial" === input.mode || "rebuild" === input.mode || "reload" === input.mode || "unchanged" === input.mode) && _ip1(input) && "boolean" === typeof input.changed && (undefined === input.dump || "object" === typeof input.dump && null !== input.dump && _io1(input.dump)) && (undefined === input.snapshot || "object" === typeof input.snapshot && null !== input.snapshot && _io16(input.snapshot)) && (undefined === input.error || "string" === typeof input.error);
+                const _io1 = input => _ip2(input) && _ip3(input) && ("object" === typeof input.provenance && null !== input.provenance && _io2(input.provenance)) && _ip4(input) && _ip5(input) && _ip6(input);
+                const _io10 = input => _ip13(input) && (undefined === input.value || "string" === typeof input.value);
+                const _io11 = input => _ip13(input) && ("method" === input.kind || "property" === input.kind) && (undefined === input.line || "number" === typeof input.line) && _ip24(input);
+                const _io12 = input => _ip13(input) && (Array.isArray(input.arguments) && input.arguments.every(elem => "object" === typeof elem && null !== elem && false === Array.isArray(elem) && _io13(elem)));
                 const _io13 = input => undefined === input.literal || "string" === typeof input.literal || "number" === typeof input.literal || "boolean" === typeof input.literal;
                 const _io14 = input => (undefined === input.file || "string" === typeof input.file) && "number" === typeof input.startLine && (undefined === input.startCol || "number" === typeof input.startCol) && (undefined === input.endLine || "number" === typeof input.endLine) && (undefined === input.endCol || "number" === typeof input.endCol);
-                const _io15 = input => "string" === typeof input.from && "string" === typeof input.to && true === _iv2.has(input.kind) && _ip16(input);
-                const _io2 = input => "number" === typeof input.schemaVersion && _ip0(input) && ("object" === typeof input.producer && null !== input.producer && _io3(input.producer)) && ("object" === typeof input.universe && null !== input.universe && _io4(input.universe)) && (Array.isArray(input.sources) && input.sources.every(elem => "object" === typeof elem && null !== elem && _io7(elem)));
+                const _io15 = input => "string" === typeof input.from && "string" === typeof input.to && ("accesses" === input.kind || "calls" === input.kind || "exports" === input.kind || "extends" === input.kind || "implements" === input.kind || "instantiates" === input.kind || "overrides" === input.kind || "renders" === input.kind || "type_ref" === input.kind) && _ip26(input);
+                const _io16 = input => _ip0(input) && _ip7(input) && _ip2(input) && _ip3(input) && _ip8(input) && _ip1(input) && _ip9(input) && "number" === typeof input.sequence && "string" === typeof input.generation && (undefined === input.baseSequence || "number" === typeof input.baseSequence) && (undefined === input.baseGeneration || "string" === typeof input.baseGeneration) && (Array.isArray(input.upserts) && input.upserts.every(elem => "object" === typeof elem && null !== elem && _io17(elem))) && (Array.isArray(input.deletes) && input.deletes.every(elem => "string" === typeof elem)) && (Array.isArray(input.manifest) && input.manifest.every(elem => "object" === typeof elem && null !== elem && _io19(elem)));
+                const _io17 = input => _ip11(input) && ("object" === typeof input.shard && null !== input.shard && _io18(input.shard));
+                const _io18 = input => _ip28(input) && (undefined === input.source || "object" === typeof input.source && null !== input.source && _io7(input.source)) && (undefined === input.config || "object" === typeof input.config && null !== input.config && _io5(input.config)) && _ip5(input) && _ip6(input) && _ip4(input);
+                const _io19 = input => _ip28(input) && _ip11(input);
+                const _io2 = input => _ip7(input) && _ip1(input) && _ip8(input) && _ip9(input) && (Array.isArray(input.sources) && input.sources.every(elem => "object" === typeof elem && null !== elem && _io7(elem)));
                 const _io3 = input => "string" === typeof input.tool && "string" === typeof input.version && "string" === typeof input.typescript;
                 const _io4 = input => Array.isArray(input.configs) && input.configs.every(elem => "object" === typeof elem && null !== elem && _io5(elem)) && (Array.isArray(input.roots) && input.roots.every(elem => "object" === typeof elem && null !== elem && _io6(elem)));
-                const _io5 = input => _ip1(input) && "string" === typeof input.digest;
-                const _io6 = input => "string" === typeof input.config && _ip1(input);
-                const _io7 = input => _ip1(input) && "string" === typeof input.checkerDigest && "string" === typeof input.diskDigest;
-                const _io8 = input => _ip1(input) && "number" === typeof input.line && "number" === typeof input.column && "number" === typeof input.code && ("error" === input.category || "warning" === input.category) && "string" === typeof input.message;
-                const _io9 = input => _ip2(input) && _ip3(input) && _ip4(input) && _ip5(input) && _ip1(input) && _ip6(input) && _ip7(input) && _ip8(input) && _ip9(input) && _ip10(input) && _ip11(input) && _ip12(input) && _ip13(input) && _ip14(input) && _ip15(input) && _ip16(input) && _ip17(input);
+                const _io5 = input => _ip10(input) && _ip11(input);
+                const _io6 = input => "string" === typeof input.config && _ip10(input);
+                const _io7 = input => _ip10(input) && "string" === typeof input.checkerDigest && "string" === typeof input.diskDigest;
+                const _io8 = input => _ip10(input) && "number" === typeof input.line && "number" === typeof input.column && "number" === typeof input.code && ("error" === input.category || "warning" === input.category) && "string" === typeof input.message;
+                const _io9 = input => _ip12(input) && _ip13(input) && _ip14(input) && _ip10(input) && _ip15(input) && _ip16(input) && _ip17(input) && _ip18(input) && _ip19(input) && _ip20(input) && _ip21(input) && _ip22(input) && _ip23(input) && _ip24(input) && _ip25(input) && _ip26(input) && _ip27(input);
                 const __is = input => "object" === typeof input && null !== input && _io0(input);
                 let _errorFactory;
                 return (input, errorFactory) => {
@@ -900,11 +1076,14 @@ class TtscGraphSession {
         // shape: an older producer resolves no value set, so a union comes back
         // 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 !== loadGraph_1.DUMP_SCHEMA_VERSION) {
+        if ((response.dump !== undefined &&
+            response.dump.provenance.schemaVersion !== loadGraph_1.DUMP_SCHEMA_VERSION) ||
+            (response.snapshot !== undefined &&
+                response.snapshot.schemaVersion !== loadGraph_1.DUMP_SCHEMA_VERSION)) {
             // Session-wide, for the same reason the protocol mismatch above is: it is
             // the wrong binary, not one bad frame.
-            this.failChild(child, new Error(`@ttsc/graph: ttscgraph sends dump schema v${String(response.dump.provenance.schemaVersion)}, this client reads v${String(loadGraph_1.DUMP_SCHEMA_VERSION)}. ` +
+            this.failChild(child, new Error(`@ttsc/graph: ttscgraph sends dump schema v${String(response.dump?.provenance.schemaVersion ??
+                response.snapshot?.schemaVersion)}, this client reads v${String(loadGraph_1.DUMP_SCHEMA_VERSION)}. ` +
                 "Install a matching `ttsc` (the binary resolves from the target " +
                 "project, or from TTSC_GRAPH_BINARY)."));
             return;
@@ -919,6 +1098,7 @@ class TtscGraphSession {
             return;
         this.child = undefined;
         this.current = undefined;
+        this.shardStore = new TtscGraphShardStore_1.TtscGraphShardStore();
         child.lines.close();
         this.failPending(error, child);
         if (terminate)
@@ -935,7 +1115,6 @@ class TtscGraphSession {
         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);
         }