@ttsc/graph 0.19.2 → 0.20.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 loadGraph_1 = require("./loadGraph");
 /**
  * The serve protocol version this client speaks.
  *
@@ -53,6 +54,9 @@ const TtscGraphMemory_1 = require("./TtscGraphMemory");
  * 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 TERMINATION_GRACE_MS = 1000;
 /**
  * Resident bridge to `ttscgraph serve`.
  *
@@ -65,14 +69,20 @@ class TtscGraphSession {
     cwd;
     tsconfig;
     binary;
+    requestTimeoutMs;
     child;
-    stderr = "";
     nextId = 0;
     pending = new Map();
     queue = Promise.resolve();
     current;
     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`.
@@ -86,20 +96,49 @@ 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() {
+    graph(options = {}) {
+        if (this.closed) {
+            return Promise.reject(new Error("@ttsc/graph: native session is closed"));
+        }
         let resolve;
         let reject;
+        let started = false;
+        let settled = false;
         const result = new Promise((res, rej) => {
-            resolve = res;
-            reject = rej;
+            resolve = (graph) => {
+                if (settled)
+                    return;
+                settled = true;
+                res(graph);
+            };
+            reject = (error) => {
+                if (settled)
+                    return;
+                settled = true;
+                rej(error);
+            };
         });
+        const cancelQueued = () => {
+            if (!started)
+                reject(cancelledError(options.signal));
+        };
+        if (options.signal?.aborted) {
+            reject(cancelledError(options.signal));
+            return result;
+        }
+        options.signal?.addEventListener("abort", cancelQueued, { once: true });
         this.queue = this.queue
             .catch(() => undefined)
             .then(async () => {
+            started = true;
+            options.signal?.removeEventListener("abort", cancelQueued);
+            if (settled)
+                return;
             try {
-                resolve(await this.refresh());
+                resolve(await this.refresh(options.signal));
             }
             catch (error) {
                 reject(asError(error));
@@ -109,17 +148,19 @@ class TtscGraphSession {
     }
     /** Close the native session. Safe to call more than once. */
     close() {
+        if (this.closed)
+            return;
         this.closed = true;
-        const child = this.child;
-        this.child = undefined;
-        if (child !== undefined && !child.killed)
-            child.stdin.end();
-        this.failPending(new Error("@ttsc/graph: native session closed"));
+        const error = new Error("@ttsc/graph: native session closed");
+        if (this.child !== undefined)
+            this.failChild(this.child, error);
+        else
+            this.failPending(error);
     }
-    async refresh() {
+    async refresh(signal) {
         // The protocol version and the envelope shape were both settled in onLine,
         // before this frame was ever routed here.
-        const response = await this.request();
+        const response = await this.request(signal);
         if (response.error !== undefined) {
             throw new Error(`@ttsc/graph: ${response.error}`);
         }
@@ -134,16 +175,37 @@ class TtscGraphSession {
         }
         return this.current;
     }
-    request() {
+    request(signal) {
+        if (signal?.aborted)
+            throw cancelledError(signal);
         const child = this.ensureChild();
         const id = ++this.nextId;
         return new Promise((resolve, reject) => {
-            this.pending.set(id, { resolve, reject });
-            child.stdin.write(`${JSON.stringify({ id })}\n`, (error) => {
+            const pending = {
+                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 });
+            }
+            this.pending.set(id, pending);
+            if (signal?.aborted) {
+                pending.abort();
+                return;
+            }
+            child.process.stdin.write(`${JSON.stringify({ id })}\n`, (error) => {
                 if (error === null || error === undefined)
                     return;
-                this.pending.delete(id);
-                reject(new Error(`@ttsc/graph: could not request native snapshot: ${error.message}`));
+                if (this.pending.get(id) !== pending)
+                    return;
+                this.failChild(child, new Error(`@ttsc/graph: could not request native snapshot: ${error.message}`));
             });
         });
     }
@@ -153,34 +215,37 @@ class TtscGraphSession {
             // process; an orphaned resident compiler would outlive the MCP server.
             throw new Error("@ttsc/graph: native session is closed");
         }
-        if (this.child !== undefined && this.child.exitCode === null) {
+        if (this.child !== undefined &&
+            this.child.process.exitCode === null &&
+            this.child.process.signalCode === null) {
             return this.child;
         }
-        this.stderr = "";
-        const child = (0, node_child_process_1.spawn)(this.binary, ["serve", "--cwd", this.cwd, "--tsconfig", this.tsconfig], { stdio: ["pipe", "pipe", "pipe"], windowsHide: true });
+        const process = (0, node_child_process_1.spawn)(this.binary, ["serve", "--cwd", this.cwd, "--tsconfig", this.tsconfig], { stdio: ["pipe", "pipe", "pipe"], windowsHide: true });
+        const lines = node_readline_1.default.createInterface({ input: process.stdout });
+        const child = { process, lines, stderr: "" };
         this.child = child;
-        child.stderr.setEncoding("utf8");
-        child.stderr.on("data", (chunk) => {
-            this.stderr = (this.stderr + chunk).slice(-64 * 1024);
+        process.stderr.setEncoding("utf8");
+        process.stderr.on("data", (chunk) => {
+            child.stderr = (child.stderr + chunk).slice(-64 * 1024);
         });
-        const lines = node_readline_1.default.createInterface({ input: child.stdout });
-        lines.on("line", (line) => this.onLine(line));
-        child.on("error", (error) => this.failChild(child, error));
-        child.on("exit", (code, signal) => {
+        lines.on("line", (line) => this.onLine(child, line));
+        process.on("error", (error) => this.failChild(child, new Error(`@ttsc/graph: native session failed: ${error.message}`)));
+        process.on("exit", (code, signal) => {
             if (this.child !== child)
                 return;
-            this.child = undefined;
-            this.failPending(new Error(`@ttsc/graph: native session exited (code=${String(code)}, signal=${String(signal)})${this.stderr.trim() === "" ? "" : `: ${this.stderr.trim()}`}`));
+            this.failChild(child, new Error(`@ttsc/graph: native session exited (code=${String(code)}, signal=${String(signal)})${stderrSuffix(child)}`), false);
         });
         return child;
     }
-    onLine(line) {
+    onLine(child, line) {
+        if (this.child !== child)
+            return;
         let parsed;
         try {
             parsed = JSON.parse(line);
         }
         catch (error) {
-            this.failPending(new Error(`@ttsc/graph: native session returned invalid JSON: ${asError(error).message}`));
+            this.failChild(child, new Error(`@ttsc/graph: native session returned invalid JSON: ${asError(error).message}`));
             return;
         }
         // Read the version before the shape, because a server speaking another
@@ -197,7 +262,7 @@ class TtscGraphSession {
         if (version !== PROTOCOL_VERSION) {
             // Session-wide: a version mismatch is not one bad frame, it is the wrong
             // binary, and every request against it is equally doomed.
-            this.failPending(new Error(`@ttsc/graph: ttscgraph speaks serve protocol ${version === undefined ? "an unknown version" : `v${String(version)}`}, this client speaks v${String(PROTOCOL_VERSION)}. ` +
+            this.failChild(child, new Error(`@ttsc/graph: ttscgraph speaks serve protocol ${version === undefined ? "an unknown version" : `v${String(version)}`}, this client speaks v${String(PROTOCOL_VERSION)}. ` +
                 "Install a matching `ttsc` (the binary resolves from the target " +
                 "project, or from TTSC_GRAPH_BINARY)."));
             return;
@@ -212,19 +277,33 @@ class TtscGraphSession {
             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 _ip2 = input => "string" === typeof input["name"];
+                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 _ip3 = input => undefined === input["evidence"] || "object" === typeof input["evidence"] && null !== input["evidence"] && _io12(input["evidence"]);
+                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, {
                     method: "typia.assert",
                     path: _path + ".capabilities",
                     expected: "Array<string>",
                     value: input["capabilities"]
-                }, _errorFactory)) && input["capabilities"].every((elem, _index11) => "string" === typeof elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input["capabilities"].every((elem, _index14) => "string" === typeof elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".capabilities[" + _index11 + "]",
+                    path: _path + ".capabilities[" + _index14 + "]",
                     expected: "string",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -239,27 +318,181 @@ class TtscGraphSession {
                     expected: "string",
                     value: input["file"]
                 }, _errorFactory);
+                const _ap2 = (input, _path, _exceptionable = true) => "string" === typeof input["id"] || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".id",
+                    expected: "string",
+                    value: input["id"]
+                }, _errorFactory);
+                const _ap3 = (input, _path, _exceptionable = true) => true === _av0.has(input["kind"]) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".kind",
+                    expected: _ae0,
+                    value: input["kind"]
+                }, _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 _ap2 = (input, _path, _exceptionable = true) => "string" === typeof input["name"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap4 = (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, {
+                    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, {
+                    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, {
+                    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, {
+                    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, {
+                    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, {
+                    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, {
+                    method: "typia.assert",
+                    path: _path + ".modifiers[" + _index21 + "]",
+                    expected: _ae1,
+                    value: elem
+                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".modifiers",
+                    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 _ap3 = (input, _path, _exceptionable = true) => undefined === input["evidence"] || ("object" === typeof input["evidence"] && null !== input["evidence"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap11 = (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, {
+                    method: "typia.assert",
+                    path: _path + ".literals[" + _index22 + "]",
+                    expected: "string",
+                    value: elem
+                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".literals",
+                    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, {
+                    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, {
+                    method: "typia.assert",
+                    path: _path + ".enumMembers[" + _index23 + "]",
+                    expected: "ITtscGraphNode.IEnumMember",
+                    value: elem
+                }, _errorFactory)) && _ao10(elem, _path + ".enumMembers[" + _index23 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".enumMembers[" + _index23 + "]",
+                    expected: "ITtscGraphNode.IEnumMember",
+                    value: elem
+                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".enumMembers",
+                    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, {
+                    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, {
+                    method: "typia.assert",
+                    path: _path + ".objectMembers[" + _index24 + "]",
+                    expected: "ITtscGraphNode.IObjectMember",
+                    value: elem
+                }, _errorFactory)) && _ao11(elem, _path + ".objectMembers[" + _index24 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".objectMembers[" + _index24 + "]",
+                    expected: "ITtscGraphNode.IObjectMember",
+                    value: elem
+                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".objectMembers",
+                    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, {
+                    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, {
+                    method: "typia.assert",
+                    path: _path + ".decorators[" + _index25 + "]",
+                    expected: "ITtscGraphDecorator",
+                    value: elem
+                }, _errorFactory)) && _ao12(elem, _path + ".decorators[" + _index25 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".decorators[" + _index25 + "]",
+                    expected: "ITtscGraphDecorator",
+                    value: elem
+                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".decorators",
+                    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, {
+                    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, {
                     method: "typia.assert",
                     path: _path + ".evidence",
                     expected: "(ITtscGraphSpan | undefined)",
                     value: input["evidence"]
-                }, _errorFactory)) && _ao12(input["evidence"], _path + ".evidence", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao14(input["evidence"], _path + ".evidence", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".evidence",
                     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, {
+                    method: "typia.assert",
+                    path: _path + ".implementation",
+                    expected: "(ITtscGraphSpan | undefined)",
+                    value: input["implementation"]
+                }, _errorFactory)) && _ao14(input["implementation"], _path + ".implementation", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".implementation",
+                    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 _ao0 = (input, _path, _exceptionable = true) => ("number" === typeof input.id || _assertGuard_1._assertGuard(_exceptionable, {
@@ -323,14 +556,14 @@ class TtscGraphSession {
                     path: _path + ".diagnostics",
                     expected: "Array<ITtscGraphDump.IDiagnostic>",
                     value: input.diagnostics
-                }, _errorFactory)) && input.diagnostics.every((elem, _index12) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.diagnostics.every((elem, _index15) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".diagnostics[" + _index12 + "]",
+                    path: _path + ".diagnostics[" + _index15 + "]",
                     expected: "ITtscGraphDump.IDiagnostic",
                     value: elem
-                }, _errorFactory)) && _ao8(elem, _path + ".diagnostics[" + _index12 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao8(elem, _path + ".diagnostics[" + _index15 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".diagnostics[" + _index12 + "]",
+                    path: _path + ".diagnostics[" + _index15 + "]",
                     expected: "ITtscGraphDump.IDiagnostic",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -343,14 +576,14 @@ class TtscGraphSession {
                     path: _path + ".nodes",
                     expected: "Array<ITtscGraphDump.INode>",
                     value: input.nodes
-                }, _errorFactory)) && input.nodes.every((elem, _index13) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.nodes.every((elem, _index16) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".nodes[" + _index13 + "]",
+                    path: _path + ".nodes[" + _index16 + "]",
                     expected: "ITtscGraphDump.INode",
                     value: elem
-                }, _errorFactory)) && _ao9(elem, _path + ".nodes[" + _index13 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao9(elem, _path + ".nodes[" + _index16 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".nodes[" + _index13 + "]",
+                    path: _path + ".nodes[" + _index16 + "]",
                     expected: "ITtscGraphDump.INode",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -363,14 +596,14 @@ class TtscGraphSession {
                     path: _path + ".edges",
                     expected: "Array<ITtscGraphDump.IEdge>",
                     value: input.edges
-                }, _errorFactory)) && input.edges.every((elem, _index14) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.edges.every((elem, _index17) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".edges[" + _index14 + "]",
+                    path: _path + ".edges[" + _index17 + "]",
                     expected: "ITtscGraphDump.IEdge",
                     value: elem
-                }, _errorFactory)) && _ao13(elem, _path + ".edges[" + _index14 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao15(elem, _path + ".edges[" + _index17 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".edges[" + _index14 + "]",
+                    path: _path + ".edges[" + _index17 + "]",
                     expected: "ITtscGraphDump.IEdge",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -379,19 +612,36 @@ class TtscGraphSession {
                     expected: "Array<ITtscGraphDump.IEdge>",
                     value: input.edges
                 }, _errorFactory));
-                const _ao10 = (input, _path, _exceptionable = true) => _ap2(input, _path, true && _exceptionable) && ((Array.isArray(input.arguments) || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ao10 = (input, _path, _exceptionable = true) => _ap4(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, {
+                    method: "typia.assert",
+                    path: _path + ".kind",
+                    expected: "(\"method\" | \"property\")",
+                    value: input.kind
+                }, _errorFactory)) && (undefined === input.line || "number" === typeof input.line || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    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, {
                     method: "typia.assert",
                     path: _path + ".arguments",
                     expected: "Array<ITtscGraphDecorator.IArgument>",
                     value: input.arguments
-                }, _errorFactory)) && input.arguments.every((elem, _index20) => ("object" === typeof elem && null !== elem && false === Array.isArray(elem) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.arguments.every((elem, _index26) => ("object" === typeof elem && null !== elem && false === Array.isArray(elem) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".arguments[" + _index20 + "]",
+                    path: _path + ".arguments[" + _index26 + "]",
                     expected: "ITtscGraphDecorator.IArgument",
                     value: elem
-                }, _errorFactory)) && _ao11(elem, _path + ".arguments[" + _index20 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao13(elem, _path + ".arguments[" + _index26 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".arguments[" + _index20 + "]",
+                    path: _path + ".arguments[" + _index26 + "]",
                     expected: "ITtscGraphDecorator.IArgument",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -400,13 +650,13 @@ class TtscGraphSession {
                     expected: "Array<ITtscGraphDecorator.IArgument>",
                     value: input.arguments
                 }, _errorFactory));
-                const _ao11 = (input, _path, _exceptionable = true) => undefined === input.literal || "string" === typeof input.literal || "number" === typeof input.literal || "boolean" === typeof input.literal || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ao13 = (input, _path, _exceptionable = true) => undefined === input.literal || "string" === typeof input.literal || "number" === typeof input.literal || "boolean" === typeof input.literal || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".literal",
                     expected: "(boolean | number | string | undefined)",
                     value: input.literal
                 }, _errorFactory);
-                const _ao12 = (input, _path, _exceptionable = true) => (undefined === input.file || "string" === typeof input.file || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ao14 = (input, _path, _exceptionable = true) => (undefined === input.file || "string" === typeof input.file || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".file",
                     expected: "(string | undefined)",
@@ -432,7 +682,7 @@ class TtscGraphSession {
                     expected: "(number | undefined)",
                     value: input.endCol
                 }, _errorFactory));
-                const _ao13 = (input, _path, _exceptionable = true) => ("string" === typeof input.from || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ao15 = (input, _path, _exceptionable = true) => ("string" === typeof input.from || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".from",
                     expected: "string",
@@ -447,7 +697,7 @@ class TtscGraphSession {
                     path: _path + ".kind",
                     expected: _ae2,
                     value: input.kind
-                }, _errorFactory)) && _ap3(input, _path, true && _exceptionable);
+                }, _errorFactory)) && _ap16(input, _path, true && _exceptionable);
                 const _ao2 = (input, _path, _exceptionable = true) => ("number" === typeof input.schemaVersion || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".schemaVersion",
@@ -478,14 +728,14 @@ class TtscGraphSession {
                     path: _path + ".sources",
                     expected: "Array<ITtscGraphDump.ISourceDigest>",
                     value: input.sources
-                }, _errorFactory)) && input.sources.every((elem, _index15) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.sources.every((elem, _index18) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".sources[" + _index15 + "]",
+                    path: _path + ".sources[" + _index18 + "]",
                     expected: "ITtscGraphDump.ISourceDigest",
                     value: elem
-                }, _errorFactory)) && _ao7(elem, _path + ".sources[" + _index15 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao7(elem, _path + ".sources[" + _index18 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".sources[" + _index15 + "]",
+                    path: _path + ".sources[" + _index18 + "]",
                     expected: "ITtscGraphDump.ISourceDigest",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -515,14 +765,14 @@ class TtscGraphSession {
                     path: _path + ".configs",
                     expected: "Array<ITtscGraphDump.IFileDigest>",
                     value: input.configs
-                }, _errorFactory)) && input.configs.every((elem, _index16) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.configs.every((elem, _index19) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".configs[" + _index16 + "]",
+                    path: _path + ".configs[" + _index19 + "]",
                     expected: "ITtscGraphDump.IFileDigest",
                     value: elem
-                }, _errorFactory)) && _ao5(elem, _path + ".configs[" + _index16 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao5(elem, _path + ".configs[" + _index19 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".configs[" + _index16 + "]",
+                    path: _path + ".configs[" + _index19 + "]",
                     expected: "ITtscGraphDump.IFileDigest",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -535,14 +785,14 @@ class TtscGraphSession {
                     path: _path + ".roots",
                     expected: "Array<ITtscGraphDump.IRootFile>",
                     value: input.roots
-                }, _errorFactory)) && input.roots.every((elem, _index17) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.roots.every((elem, _index20) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".roots[" + _index17 + "]",
+                    path: _path + ".roots[" + _index20 + "]",
                     expected: "ITtscGraphDump.IRootFile",
                     value: elem
-                }, _errorFactory)) && _ao6(elem, _path + ".roots[" + _index17 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao6(elem, _path + ".roots[" + _index20 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".roots[" + _index17 + "]",
+                    path: _path + ".roots[" + _index20 + "]",
                     expected: "ITtscGraphDump.IRootFile",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -600,93 +850,15 @@ class TtscGraphSession {
                     expected: "string",
                     value: input.message
                 }, _errorFactory));
-                const _ao9 = (input, _path, _exceptionable = true) => ("string" === typeof input.id || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".id",
-                    expected: "string",
-                    value: input.id
-                }, _errorFactory)) && (true === _av0.has(input.kind) || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".kind",
-                    expected: _ae0,
-                    value: input.kind
-                }, _errorFactory)) && _ap2(input, _path, true && _exceptionable) && (undefined === input.qualifiedName || "string" === typeof input.qualifiedName || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".qualifiedName",
-                    expected: "(string | undefined)",
-                    value: input.qualifiedName
-                }, _errorFactory)) && _ap1(input, _path, true && _exceptionable) && ("boolean" === typeof input.external || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".external",
-                    expected: "boolean",
-                    value: input.external
-                }, _errorFactory)) && (undefined === input.ignored || "boolean" === typeof input.ignored || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".ignored",
-                    expected: "(boolean | undefined)",
-                    value: input.ignored
-                }, _errorFactory)) && (undefined === input.exported || "boolean" === typeof input.exported || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".exported",
-                    expected: "(boolean | undefined)",
-                    value: input.exported
-                }, _errorFactory)) && (undefined === input.closure || "boolean" === typeof input.closure || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".closure",
-                    expected: "(boolean | undefined)",
-                    value: input.closure
-                }, _errorFactory)) && (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, _index18) => true === _av1.has(elem) || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".modifiers[" + _index18 + "]",
-                    expected: _ae1,
-                    value: elem
-                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".modifiers",
-                    expected: "(Array<TtscGraphNodeModifier> | undefined)",
-                    value: input.modifiers
-                }, _errorFactory)) && (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, _index19) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".decorators[" + _index19 + "]",
-                    expected: "ITtscGraphDecorator",
-                    value: elem
-                }, _errorFactory)) && _ao10(elem, _path + ".decorators[" + _index19 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".decorators[" + _index19 + "]",
-                    expected: "ITtscGraphDecorator",
-                    value: elem
-                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".decorators",
-                    expected: "(Array<ITtscGraphDecorator> | undefined)",
-                    value: input.decorators
-                }, _errorFactory)) && _ap3(input, _path, true && _exceptionable) && (undefined === input.implementation || ("object" === typeof input.implementation && null !== input.implementation || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".implementation",
-                    expected: "(ITtscGraphSpan | undefined)",
-                    value: input.implementation
-                }, _errorFactory)) && _ao12(input.implementation, _path + ".implementation", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
-                    method: "typia.assert",
-                    path: _path + ".implementation",
-                    expected: "(ITtscGraphSpan | undefined)",
-                    value: input.implementation
-                }, _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 && _io13(elem)));
-                const _io10 = input => _ip2(input) && (Array.isArray(input.arguments) && input.arguments.every(elem => "object" === typeof elem && null !== elem && false === Array.isArray(elem) && _io11(elem)));
-                const _io11 = input => undefined === input.literal || "string" === typeof input.literal || "number" === typeof input.literal || "boolean" === typeof input.literal;
-                const _io12 = 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 _io13 = input => "string" === typeof input.from && "string" === typeof input.to && true === _iv2.has(input.kind) && _ip3(input);
+                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 _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 _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)));
@@ -694,7 +866,7 @@ class TtscGraphSession {
                 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 => "string" === typeof input.id && true === _iv0.has(input.kind) && _ip2(input) && (undefined === input.qualifiedName || "string" === typeof input.qualifiedName) && _ip1(input) && "boolean" === typeof input.external && (undefined === input.ignored || "boolean" === typeof input.ignored) && (undefined === input.exported || "boolean" === typeof input.exported) && (undefined === input.closure || "boolean" === typeof input.closure) && (undefined === input.modifiers || Array.isArray(input.modifiers) && input.modifiers.every(elem => true === _iv1.has(elem))) && (undefined === input.decorators || Array.isArray(input.decorators) && input.decorators.every(elem => "object" === typeof elem && null !== elem && _io10(elem))) && _ip3(input) && (undefined === input.implementation || "object" === typeof input.implementation && null !== input.implementation && _io12(input.implementation));
+                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 __is = input => "object" === typeof input && null !== input && _io0(input);
                 let _errorFactory;
                 return (input, errorFactory) => {
@@ -717,27 +889,107 @@ class TtscGraphSession {
             })()(parsed);
         }
         catch (error) {
-            this.failPending(new Error(`@ttsc/graph: native session returned an unreadable response: ${asError(error).message}`));
+            this.failChild(child, new Error(`@ttsc/graph: native session returned an unreadable response: ${asError(error).message}`));
+            return;
+        }
+        // The envelope's version is not the body's, and only the envelope has been
+        // held to one so far. A producer can speak this protocol and still carry a
+        // dump from another schema — the two move apart the moment a node field is
+        // added without the frame around it changing — and then the facts that field
+        // holds are silently absent rather than refused. `literals` is exactly that
+        // 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) {
+            // 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)}. ` +
+                "Install a matching `ttsc` (the binary resolves from the target " +
+                "project, or from TTSC_GRAPH_BINARY)."));
             return;
         }
         const pending = this.pending.get(response.id);
-        if (pending === undefined)
+        if (pending === undefined || pending.child !== child)
+            return;
+        this.settlePending(response.id, pending, response);
+    }
+    failChild(child, error, terminate = true) {
+        if (this.child !== child)
             return;
-        this.pending.delete(response.id);
-        pending.resolve(response);
+        this.child = undefined;
+        this.current = undefined;
+        child.lines.close();
+        this.failPending(error, child);
+        if (terminate)
+            terminateChild(child.process);
     }
-    failChild(child, error) {
-        if (this.child === child)
-            this.child = undefined;
-        this.failPending(new Error(`@ttsc/graph: native session failed: ${error.message}`));
+    failPending(error, child) {
+        for (const [id, pending] of this.pending) {
+            if (child === undefined || pending.child === child) {
+                this.settlePending(id, pending, error);
+            }
+        }
     }
-    failPending(error) {
-        for (const pending of this.pending.values())
-            pending.reject(error);
-        this.pending.clear();
+    settlePending(id, pending, result) {
+        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);
+        }
+        if (result instanceof Error)
+            pending.reject(result);
+        else
+            pending.resolve(result);
     }
 }
 exports.TtscGraphSession = TtscGraphSession;
+function terminateChild(child) {
+    if (!child.stdin.destroyed)
+        child.stdin.destroy();
+    if (child.exitCode !== null || child.signalCode !== null)
+        return;
+    try {
+        child.kill();
+    }
+    catch {
+        return;
+    }
+    const force = setTimeout(() => {
+        if (child.exitCode !== null || child.signalCode !== null)
+            return;
+        try {
+            child.kill("SIGKILL");
+        }
+        catch {
+            // The process exited between the liveness check and the signal.
+        }
+    }, TERMINATION_GRACE_MS);
+    force.unref();
+    child.once("exit", () => clearTimeout(force));
+}
+function cancelledError(signal, child) {
+    const error = new Error(`@ttsc/graph: native snapshot request cancelled${abortDetail(signal)}${child === undefined ? "" : stderrSuffix(child)}`);
+    error.name = "AbortError";
+    return error;
+}
+function abortDetail(signal) {
+    const reason = signal?.reason;
+    if (reason === undefined)
+        return "";
+    try {
+        return `: ${reason instanceof Error ? reason.message : String(reason)}`;
+    }
+    catch {
+        return "";
+    }
+}
+function stderrSuffix(child) {
+    const stderr = child.stderr.trim();
+    return stderr === "" ? "" : `: ${stderr}`;
+}
 function asError(error) {
     return error instanceof Error ? error : new Error(String(error));
 }