@ttsc/graph 0.19.1 → 0.19.3

package/lib/model/loadGraph.js

@@ -36,6 +36,7 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
     return (mod && mod.__esModule) ? mod : { "default": mod };
 };
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.DUMP_SCHEMA_VERSION = void 0;
 exports.loadGraph = loadGraph;
 const _assertGuard_1 = __importStar(require("typia/lib/internal/_assertGuard"));
 const node_child_process_1 = require("node:child_process");
@@ -47,6 +48,20 @@ const TtscGraphMemory_1 = require("./TtscGraphMemory");
 // monorepo runs to many megabytes, well past spawnSync's 1 MiB default, so the
 // buffer is raised to a ceiling no real graph reaches.
 const MAX_DUMP_BYTES = 1024 * 1024 * 1024;
+/**
+ * The dump schema version this client reads.
+ *
+ * Keep it equal to `DumpSchemaVersion` in
+ * `packages/ttsc/internal/graph/provenance.go`. The two are hand-synchronized,
+ * and `dump_schema_version_matches_the_typescript_client_test.go` reads this
+ * constant out of this file and fails if the pair drifts.
+ *
+ * Exported because the resident session reads the same dump body over the serve
+ * protocol and has to hold it to the same number: the envelope's version and the
+ * body's are independent, so a producer can speak this protocol and still send a
+ * body from another schema.
+ */
+exports.DUMP_SCHEMA_VERSION = 3;
 /**
  * Build the resident {@link TtscGraphMemory} for a project by running `ttscgraph
  * dump` once and loading its JSON. This is the one-shot path for direct callers
@@ -83,6 +98,13 @@ function loadGraph(options = {}) {
  * {@link ITtscGraphDump} shape so a malformed or stale dump fails loudly here
  * rather than producing wrong answers downstream, and the schema version is
  * checked so an incompatible producer is refused.
+ *
+ * The version is read before the shape: a dump from another schema is entitled
+ * to another shape, so asserting first would report the mismatch as a field
+ * complaint about a contract that producer never agreed to. A dump also
+ * outlives the process that wrote it — this is the one-shot path, and the JSON
+ * on disk may be from any build — so the version is the first question to ask
+ * of it.
  */
 function parseDump(json) {
     let value;
@@ -92,15 +114,33 @@ function parseDump(json) {
     catch (error) {
         throw new Error(`@ttsc/graph: dump output is not valid JSON: ${error instanceof Error ? error.message : String(error)}`);
     }
+    const version = (() => {
+        const _io0 = input => "object" === typeof input.provenance && null !== input.provenance && _io1(input.provenance);
+        const _io1 = input => "number" === typeof input.schemaVersion;
+        return input => "object" === typeof input && null !== input && _io0(input);
+    })()(value) ? value.provenance.schemaVersion
+        : undefined;
+    if (version !== exports.DUMP_SCHEMA_VERSION) {
+        throw new Error(`@ttsc/graph: ttscgraph dump is schema ${version === undefined ? "unknown" : `v${String(version)}`}, this client reads v${String(exports.DUMP_SCHEMA_VERSION)}. ` +
+            "Install a matching `ttsc` (the binary resolves from the target " +
+            "project, or from TTSC_GRAPH_BINARY).");
+    }
     return (() => {
+        const _ip0 = input => "string" === typeof input["file"];
         const _iv0 = new Set(["class", "enum", "external_symbol", "file", "function", "interface", "method", "module", "namespace", "package", "parameter", "property", "type", "variable"]);
-        const _ip0 = input => "string" === typeof input["name"];
+        const _ip1 = input => "string" === typeof input["name"];
         const _iv1 = new Set(["abstract", "async", "const", "declare", "default", "export", "optional", "private", "protected", "public", "readonly", "static"]);
-        const _ip1 = input => undefined === input["evidence"] || "object" === typeof input["evidence"] && null !== input["evidence"] && _io4(input["evidence"]);
+        const _ip2 = input => undefined === input["evidence"] || "object" === typeof input["evidence"] && null !== input["evidence"] && _io12(input["evidence"]);
         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) => "string" === typeof input["file"] || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".file",
+            expected: "string",
+            value: input["file"]
+        }, _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 _ap0 = (input, _path, _exceptionable = true) => "string" === typeof input["name"] || _assertGuard_1._assertGuard(_exceptionable, {
+        const _ap1 = (input, _path, _exceptionable = true) => "string" === typeof input["name"] || _assertGuard_1._assertGuard(_exceptionable, {
             method: "typia.assert",
             path: _path + ".name",
             expected: "string",
@@ -108,12 +148,12 @@ function parseDump(json) {
         }, _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 _ap1 = (input, _path, _exceptionable = true) => undefined === input["evidence"] || ("object" === typeof input["evidence"] && null !== input["evidence"] || _assertGuard_1._assertGuard(_exceptionable, {
+        const _ap2 = (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)) && _ao4(input["evidence"], _path + ".evidence", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+        }, _errorFactory)) && _ao12(input["evidence"], _path + ".evidence", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
             method: "typia.assert",
             path: _path + ".evidence",
             expected: "(ITtscGraphSpan | undefined)",
@@ -131,19 +171,49 @@ function parseDump(json) {
             path: _path + ".tsconfig",
             expected: "string",
             value: input.tsconfig
+        }, _errorFactory)) && (("object" === typeof input.provenance && null !== input.provenance || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".provenance",
+            expected: "ITtscGraphDump.IProvenance",
+            value: input.provenance
+        }, _errorFactory)) && _ao1(input.provenance, _path + ".provenance", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            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, _index13) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".diagnostics[" + _index13 + "]",
+            expected: "ITtscGraphDump.IDiagnostic",
+            value: elem
+        }, _errorFactory)) && _ao7(elem, _path + ".diagnostics[" + _index13 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".diagnostics[" + _index13 + "]",
+            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, _index6) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+        }, _errorFactory)) && input.nodes.every((elem, _index14) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
             method: "typia.assert",
-            path: _path + ".nodes[" + _index6 + "]",
+            path: _path + ".nodes[" + _index14 + "]",
             expected: "ITtscGraphDump.INode",
             value: elem
-        }, _errorFactory)) && _ao1(elem, _path + ".nodes[" + _index6 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+        }, _errorFactory)) && _ao8(elem, _path + ".nodes[" + _index14 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
             method: "typia.assert",
-            path: _path + ".nodes[" + _index6 + "]",
+            path: _path + ".nodes[" + _index14 + "]",
             expected: "ITtscGraphDump.INode",
             value: elem
         }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -156,14 +226,14 @@ function parseDump(json) {
             path: _path + ".edges",
             expected: "Array<ITtscGraphDump.IEdge>",
             value: input.edges
-        }, _errorFactory)) && input.edges.every((elem, _index7) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+        }, _errorFactory)) && input.edges.every((elem, _index15) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
             method: "typia.assert",
-            path: _path + ".edges[" + _index7 + "]",
+            path: _path + ".edges[" + _index15 + "]",
             expected: "ITtscGraphDump.IEdge",
             value: elem
-        }, _errorFactory)) && _ao5(elem, _path + ".edges[" + _index7 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+        }, _errorFactory)) && _ao13(elem, _path + ".edges[" + _index15 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
             method: "typia.assert",
-            path: _path + ".edges[" + _index7 + "]",
+            path: _path + ".edges[" + _index15 + "]",
             expected: "ITtscGraphDump.IEdge",
             value: elem
         }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -172,105 +242,80 @@ function parseDump(json) {
             expected: "Array<ITtscGraphDump.IEdge>",
             value: input.edges
         }, _errorFactory));
-        const _ao1 = (input, _path, _exceptionable = true) => ("string" === typeof input.id || _assertGuard_1._assertGuard(_exceptionable, {
+        const _ao1 = (input, _path, _exceptionable = true) => ("number" === typeof input.schemaVersion || _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)) && _ap0(input, _path, true && _exceptionable) && (undefined === input.qualifiedName || "string" === typeof input.qualifiedName || _assertGuard_1._assertGuard(_exceptionable, {
+            path: _path + ".schemaVersion",
+            expected: "number",
+            value: input.schemaVersion
+        }, _errorFactory)) && ((Array.isArray(input.capabilities) || _assertGuard_1._assertGuard(_exceptionable, {
             method: "typia.assert",
-            path: _path + ".qualifiedName",
-            expected: "(string | undefined)",
-            value: input.qualifiedName
-        }, _errorFactory)) && ("string" === typeof input.file || _assertGuard_1._assertGuard(_exceptionable, {
+            path: _path + ".capabilities",
+            expected: "Array<string>",
+            value: input.capabilities
+        }, _errorFactory)) && input.capabilities.every((elem, _index16) => "string" === typeof elem || _assertGuard_1._assertGuard(_exceptionable, {
             method: "typia.assert",
-            path: _path + ".file",
+            path: _path + ".capabilities[" + _index16 + "]",
             expected: "string",
-            value: input.file
-        }, _errorFactory)) && ("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, _index8) => true === _av1.has(elem) || _assertGuard_1._assertGuard(_exceptionable, {
-            method: "typia.assert",
-            path: _path + ".modifiers[" + _index8 + "]",
-            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, _index9) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
-            method: "typia.assert",
-            path: _path + ".decorators[" + _index9 + "]",
-            expected: "ITtscGraphDecorator",
+            path: _path + ".capabilities",
+            expected: "Array<string>",
+            value: input.capabilities
+        }, _errorFactory)) && (("object" === typeof input.producer && null !== input.producer || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".producer",
+            expected: "ITtscGraphDump.IProducer",
+            value: input.producer
+        }, _errorFactory)) && _ao2(input.producer, _path + ".producer", true && _exceptionable) || _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, {
+            method: "typia.assert",
+            path: _path + ".universe",
+            expected: "ITtscGraphDump.IUniverse",
+            value: input.universe
+        }, _errorFactory)) && _ao3(input.universe, _path + ".universe", true && _exceptionable) || _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, {
+            method: "typia.assert",
+            path: _path + ".sources",
+            expected: "Array<ITtscGraphDump.ISourceDigest>",
+            value: input.sources
+        }, _errorFactory)) && input.sources.every((elem, _index17) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".sources[" + _index17 + "]",
+            expected: "ITtscGraphDump.ISourceDigest",
             value: elem
-        }, _errorFactory)) && _ao2(elem, _path + ".decorators[" + _index9 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+        }, _errorFactory)) && _ao6(elem, _path + ".sources[" + _index17 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
             method: "typia.assert",
-            path: _path + ".decorators[" + _index9 + "]",
-            expected: "ITtscGraphDecorator",
+            path: _path + ".sources[" + _index17 + "]",
+            expected: "ITtscGraphDump.ISourceDigest",
             value: elem
         }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
             method: "typia.assert",
-            path: _path + ".decorators",
-            expected: "(Array<ITtscGraphDecorator> | undefined)",
-            value: input.decorators
-        }, _errorFactory)) && _ap1(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)) && _ao4(input.implementation, _path + ".implementation", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
-            method: "typia.assert",
-            path: _path + ".implementation",
-            expected: "(ITtscGraphSpan | undefined)",
-            value: input.implementation
+            path: _path + ".sources",
+            expected: "Array<ITtscGraphDump.ISourceDigest>",
+            value: input.sources
         }, _errorFactory));
-        const _ao2 = (input, _path, _exceptionable = true) => _ap0(input, _path, true && _exceptionable) && ((Array.isArray(input.arguments) || _assertGuard_1._assertGuard(_exceptionable, {
+        const _ao10 = (input, _path, _exceptionable = true) => _ap1(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, _index10) => ("object" === typeof elem && null !== elem && false === Array.isArray(elem) || _assertGuard_1._assertGuard(_exceptionable, {
+        }, _errorFactory)) && input.arguments.every((elem, _index24) => ("object" === typeof elem && null !== elem && false === Array.isArray(elem) || _assertGuard_1._assertGuard(_exceptionable, {
             method: "typia.assert",
-            path: _path + ".arguments[" + _index10 + "]",
+            path: _path + ".arguments[" + _index24 + "]",
             expected: "ITtscGraphDecorator.IArgument",
             value: elem
-        }, _errorFactory)) && _ao3(elem, _path + ".arguments[" + _index10 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+        }, _errorFactory)) && _ao11(elem, _path + ".arguments[" + _index24 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
             method: "typia.assert",
-            path: _path + ".arguments[" + _index10 + "]",
+            path: _path + ".arguments[" + _index24 + "]",
             expected: "ITtscGraphDecorator.IArgument",
             value: elem
         }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -279,13 +324,13 @@ function parseDump(json) {
             expected: "Array<ITtscGraphDecorator.IArgument>",
             value: input.arguments
         }, _errorFactory));
-        const _ao3 = (input, _path, _exceptionable = true) => undefined === input.literal || "string" === typeof input.literal || "number" === typeof input.literal || "boolean" === typeof input.literal || _assertGuard_1._assertGuard(_exceptionable, {
+        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, {
             method: "typia.assert",
             path: _path + ".literal",
             expected: "(boolean | number | string | undefined)",
             value: input.literal
         }, _errorFactory);
-        const _ao4 = (input, _path, _exceptionable = true) => (undefined === input.file || "string" === typeof input.file || _assertGuard_1._assertGuard(_exceptionable, {
+        const _ao12 = (input, _path, _exceptionable = true) => (undefined === input.file || "string" === typeof input.file || _assertGuard_1._assertGuard(_exceptionable, {
             method: "typia.assert",
             path: _path + ".file",
             expected: "(string | undefined)",
@@ -311,7 +356,7 @@ function parseDump(json) {
             expected: "(number | undefined)",
             value: input.endCol
         }, _errorFactory));
-        const _ao5 = (input, _path, _exceptionable = true) => ("string" === typeof input.from || _assertGuard_1._assertGuard(_exceptionable, {
+        const _ao13 = (input, _path, _exceptionable = true) => ("string" === typeof input.from || _assertGuard_1._assertGuard(_exceptionable, {
             method: "typia.assert",
             path: _path + ".from",
             expected: "string",
@@ -326,13 +371,249 @@ function parseDump(json) {
             path: _path + ".kind",
             expected: _ae2,
             value: input.kind
-        }, _errorFactory)) && _ap1(input, _path, true && _exceptionable);
-        const _io0 = input => "string" === typeof input.project && "string" === typeof input.tsconfig && (Array.isArray(input.nodes) && input.nodes.every(elem => "object" === typeof elem && null !== elem && _io1(elem))) && (Array.isArray(input.edges) && input.edges.every(elem => "object" === typeof elem && null !== elem && _io5(elem)));
-        const _io1 = input => "string" === typeof input.id && true === _iv0.has(input.kind) && _ip0(input) && (undefined === input.qualifiedName || "string" === typeof input.qualifiedName) && "string" === typeof input.file && "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 && _io2(elem))) && _ip1(input) && (undefined === input.implementation || "object" === typeof input.implementation && null !== input.implementation && _io4(input.implementation));
-        const _io2 = input => _ip0(input) && (Array.isArray(input.arguments) && input.arguments.every(elem => "object" === typeof elem && null !== elem && false === Array.isArray(elem) && _io3(elem)));
-        const _io3 = input => undefined === input.literal || "string" === typeof input.literal || "number" === typeof input.literal || "boolean" === typeof input.literal;
-        const _io4 = 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 _io5 = input => "string" === typeof input.from && "string" === typeof input.to && true === _iv2.has(input.kind) && _ip1(input);
+        }, _errorFactory)) && _ap2(input, _path, true && _exceptionable);
+        const _ao2 = (input, _path, _exceptionable = true) => ("string" === typeof input.tool || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".tool",
+            expected: "string",
+            value: input.tool
+        }, _errorFactory)) && ("string" === typeof input.version || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".version",
+            expected: "string",
+            value: input.version
+        }, _errorFactory)) && ("string" === typeof input.typescript || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".typescript",
+            expected: "string",
+            value: input.typescript
+        }, _errorFactory));
+        const _ao3 = (input, _path, _exceptionable = true) => ((Array.isArray(input.configs) || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".configs",
+            expected: "Array<ITtscGraphDump.IFileDigest>",
+            value: input.configs
+        }, _errorFactory)) && input.configs.every((elem, _index18) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".configs[" + _index18 + "]",
+            expected: "ITtscGraphDump.IFileDigest",
+            value: elem
+        }, _errorFactory)) && _ao4(elem, _path + ".configs[" + _index18 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".configs[" + _index18 + "]",
+            expected: "ITtscGraphDump.IFileDigest",
+            value: elem
+        }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".configs",
+            expected: "Array<ITtscGraphDump.IFileDigest>",
+            value: input.configs
+        }, _errorFactory)) && ((Array.isArray(input.roots) || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".roots",
+            expected: "Array<ITtscGraphDump.IRootFile>",
+            value: input.roots
+        }, _errorFactory)) && input.roots.every((elem, _index19) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".roots[" + _index19 + "]",
+            expected: "ITtscGraphDump.IRootFile",
+            value: elem
+        }, _errorFactory)) && _ao5(elem, _path + ".roots[" + _index19 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".roots[" + _index19 + "]",
+            expected: "ITtscGraphDump.IRootFile",
+            value: elem
+        }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".roots",
+            expected: "Array<ITtscGraphDump.IRootFile>",
+            value: input.roots
+        }, _errorFactory));
+        const _ao4 = (input, _path, _exceptionable = true) => _ap0(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) => ("string" === typeof input.config || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".config",
+            expected: "string",
+            value: input.config
+        }, _errorFactory)) && _ap0(input, _path, true && _exceptionable);
+        const _ao6 = (input, _path, _exceptionable = true) => _ap0(input, _path, true && _exceptionable) && ("string" === typeof input.checkerDigest || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".checkerDigest",
+            expected: "string",
+            value: input.checkerDigest
+        }, _errorFactory)) && ("string" === typeof input.diskDigest || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".diskDigest",
+            expected: "string",
+            value: input.diskDigest
+        }, _errorFactory));
+        const _ao7 = (input, _path, _exceptionable = true) => _ap0(input, _path, true && _exceptionable) && ("number" === typeof input.line || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".line",
+            expected: "number",
+            value: input.line
+        }, _errorFactory)) && ("number" === typeof input.column || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".column",
+            expected: "number",
+            value: input.column
+        }, _errorFactory)) && ("number" === typeof input.code || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".code",
+            expected: "number",
+            value: input.code
+        }, _errorFactory)) && ("error" === input.category || "warning" === input.category || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".category",
+            expected: "(\"error\" | \"warning\")",
+            value: input.category
+        }, _errorFactory)) && ("string" === typeof input.message || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".message",
+            expected: "string",
+            value: input.message
+        }, _errorFactory));
+        const _ao8 = (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)) && _ap1(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)) && _ap0(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, _index20) => true === _av1.has(elem) || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".modifiers[" + _index20 + "]",
+            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.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, _index21) => "string" === typeof elem || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".literals[" + _index21 + "]",
+            expected: "string",
+            value: elem
+        }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".literals",
+            expected: "(Array<string> | undefined)",
+            value: input.literals
+        }, _errorFactory)) && (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, _index22) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".enumMembers[" + _index22 + "]",
+            expected: "ITtscGraphNode.IEnumMember",
+            value: elem
+        }, _errorFactory)) && _ao9(elem, _path + ".enumMembers[" + _index22 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".enumMembers[" + _index22 + "]",
+            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)) && (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, _index23) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".decorators[" + _index23 + "]",
+            expected: "ITtscGraphDecorator",
+            value: elem
+        }, _errorFactory)) && _ao10(elem, _path + ".decorators[" + _index23 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".decorators[" + _index23 + "]",
+            expected: "ITtscGraphDecorator",
+            value: elem
+        }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".decorators",
+            expected: "(Array<ITtscGraphDecorator> | undefined)",
+            value: input.decorators
+        }, _errorFactory)) && _ap2(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) => _ap1(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 _io0 = input => "string" === typeof input.project && "string" === typeof input.tsconfig && ("object" === typeof input.provenance && null !== input.provenance && _io1(input.provenance)) && (Array.isArray(input.diagnostics) && input.diagnostics.every(elem => "object" === typeof elem && null !== elem && _io7(elem))) && (Array.isArray(input.nodes) && input.nodes.every(elem => "object" === typeof elem && null !== elem && _io8(elem))) && (Array.isArray(input.edges) && input.edges.every(elem => "object" === typeof elem && null !== elem && _io13(elem)));
+        const _io1 = input => "number" === typeof input.schemaVersion && (Array.isArray(input.capabilities) && input.capabilities.every(elem => "string" === typeof elem)) && ("object" === typeof input.producer && null !== input.producer && _io2(input.producer)) && ("object" === typeof input.universe && null !== input.universe && _io3(input.universe)) && (Array.isArray(input.sources) && input.sources.every(elem => "object" === typeof elem && null !== elem && _io6(elem)));
+        const _io10 = input => _ip1(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) && _ip2(input);
+        const _io2 = input => "string" === typeof input.tool && "string" === typeof input.version && "string" === typeof input.typescript;
+        const _io3 = input => Array.isArray(input.configs) && input.configs.every(elem => "object" === typeof elem && null !== elem && _io4(elem)) && (Array.isArray(input.roots) && input.roots.every(elem => "object" === typeof elem && null !== elem && _io5(elem)));
+        const _io4 = input => _ip0(input) && "string" === typeof input.digest;
+        const _io5 = input => "string" === typeof input.config && _ip0(input);
+        const _io6 = input => _ip0(input) && "string" === typeof input.checkerDigest && "string" === typeof input.diskDigest;
+        const _io7 = input => _ip0(input) && "number" === typeof input.line && "number" === typeof input.column && "number" === typeof input.code && ("error" === input.category || "warning" === input.category) && "string" === typeof input.message;
+        const _io8 = input => "string" === typeof input.id && true === _iv0.has(input.kind) && _ip1(input) && (undefined === input.qualifiedName || "string" === typeof input.qualifiedName) && _ip0(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.literals || Array.isArray(input.literals) && input.literals.every(elem => "string" === typeof elem)) && (undefined === input.enumMembers || Array.isArray(input.enumMembers) && input.enumMembers.every(elem => "object" === typeof elem && null !== elem && _io9(elem))) && (undefined === input.decorators || Array.isArray(input.decorators) && input.decorators.every(elem => "object" === typeof elem && null !== elem && _io10(elem))) && _ip2(input) && (undefined === input.implementation || "object" === typeof input.implementation && null !== input.implementation && _io12(input.implementation));
+        const _io9 = input => _ip1(input) && (undefined === input.value || "string" === typeof input.value);
         const __is = input => "object" === typeof input && null !== input && _io0(input);
         let _errorFactory;
         return (input, errorFactory) => {