@ttsc/graph 0.27.0 → 0.28.0

package/lib/model/TtscGraphSession.js

@@ -45,7 +45,9 @@ const nativeExecutable_1 = require("../nativeExecutable");
 const resolveGraphBinary_1 = require("../resolveGraphBinary");
 const TtscGraphMemory_1 = require("./TtscGraphMemory");
 const TtscGraphShardStore_1 = require("./TtscGraphShardStore");
+const TtscLintDaemon_1 = require("./TtscLintDaemon");
 const loadGraph_1 = require("./loadGraph");
+const publishedArtifacts_1 = require("./publishedArtifacts");
 /**
  * The serve protocol version this client speaks.
  *
@@ -75,6 +77,26 @@ class TtscGraphSession {
     queue = Promise.resolve();
     current;
     shardStore = new TtscGraphShardStore_1.TtscGraphShardStore();
+    /**
+     * The artifact answer the resident child was last handed, and the state of
+     * the inputs it came from.
+     *
+     * `undefined` only before a child exists. Once one does this is always an
+     * answer, including the answer that the project publishes nothing — which
+     * still carries inputs, so that adding a publisher is something a running
+     * session can notice.
+     */
+    artifacts;
+    /**
+     * One resident `@ttsc/lint` sidecar per plugin binary, opened lazily.
+     *
+     * A republish asks two verbs of every configured publisher, and a session
+     * republishes whenever a document moves. Held open, those questions cost a
+     * request each instead of a process, a plugin load and a configuration
+     * evaluation each. Keyed by binary because that is what a daemon is: the same
+     * binary answering for the same project.
+     */
+    daemons = new Map();
     closed = false;
     constructor(options) {
         // Resolve the platform binary from the project this session serves, so the
@@ -144,6 +166,13 @@ class TtscGraphSession {
         if (this.closed)
             return;
         this.closed = true;
+        // The sidecars outlive nothing. A daemon is a child process this session
+        // opened, and a session that closed without stopping them would leave one
+        // resident Program per configured publisher alive for as long as the parent
+        // ran.
+        for (const daemon of this.daemons.values())
+            daemon.close();
+        this.daemons.clear();
         const error = new Error("@ttsc/graph: native session closed");
         if (this.child !== undefined)
             this.failChild(this.child, error);
@@ -153,6 +182,7 @@ class TtscGraphSession {
     async refresh(signal) {
         // The protocol version and the envelope shape were both settled in onLine,
         // before this frame was ever routed here.
+        await this.republishArtifacts(signal);
         const response = await this.request(signal);
         this.assertResponseSemantics(response);
         if (response.error !== undefined) {
@@ -211,6 +241,53 @@ class TtscGraphSession {
             this.failChild(this.child, error);
         throw error;
     }
+    /**
+     * Re-derive the artifact set when the documents or configuration behind it
+     * moved, before the request that would otherwise answer with the old one.
+     *
+     * A resident session is invalidated by the compiler's own build universe, and
+     * none of this is in it: the documents a rule reads are not Program inputs,
+     * which is the property that keeps a Markdown edit from costing a typecheck.
+     * The cost of that property is that nothing else notices the edit at all, so
+     * this is what notices it.
+     *
+     * Only the overlay is replaced. The child is not restarted and the Program is
+     * not reloaded — the native session compares the file it is handed against
+     * the one it applied, and re-projects the resident program when they differ.
+     *
+     * Asked of sidecars this session keeps open, and awaited rather than blocking
+     * the event loop. A republish still costs the rule a Program — the daemon is
+     * told to drop its warm one, because the sources a claim activates against
+     * have been edited too — but not a process, a plugin load and a configuration
+     * evaluation per verb. An already-cancelled request does not start one.
+     */
+    async republishArtifacts(signal) {
+        if (signal?.aborted)
+            return;
+        // A child yet to be spawned publishes on the way up, so there is nothing
+        // here to keep fresh until one does.
+        if (this.child === undefined || this.artifacts === undefined)
+            return;
+        if (!(0, publishedArtifacts_1.artifactsAreStale)(this.artifacts))
+            return;
+        const next = await (0, publishedArtifacts_1.publishArtifactsResident)({ cwd: this.cwd, tsconfig: this.tsconfig }, (plugin) => this.daemon(plugin));
+        // The new answer is taken whatever it says, including that the project now
+        // publishes nothing. Keeping the old set on a `null` would be guessing that
+        // the publisher failed rather than that it was removed, and guessing wrong
+        // in that direction is the unrecoverable one: a session that answers with
+        // artifacts from a plugin the user deleted keeps doing so until it is
+        // restarted, while a transient failure is repaired by the next edit.
+        this.artifacts = next;
+    }
+    /** The open sidecar for one plugin, opened on first use. */
+    daemon(plugin) {
+        const open = this.daemons.get(plugin.binary);
+        if (open !== undefined)
+            return open;
+        const created = new TtscLintDaemon_1.TtscLintDaemon(plugin, this.cwd, this.tsconfig);
+        this.daemons.set(plugin.binary, created);
+        return created;
+    }
     request(signal) {
         if (signal?.aborted)
             throw cancelledError(signal);
@@ -232,7 +309,18 @@ class TtscGraphSession {
                 pending.abort();
                 return;
             }
-            child.process.stdin.write(`${JSON.stringify({ id, graphSnapshotVersion: GRAPH_SNAPSHOT_PROTOCOL_VERSION })}\n`, (error) => {
+            child.process.stdin.write(`${JSON.stringify({
+                id,
+                graphSnapshotVersion: GRAPH_SNAPSHOT_PROTOCOL_VERSION,
+                // Empty when the project publishes nothing, which withdraws whatever
+                // the server holds: a publisher the user removed must stop being
+                // answered with, and omitting the field instead would say only that
+                // this client has no opinion. Omitted only before a child exists,
+                // which no request reaches.
+                artifacts: this.artifacts === undefined
+                    ? undefined
+                    : (this.artifacts.file ?? ""),
+            })}\n`, (error) => {
                 if (error === null || error === undefined)
                     return;
                 if (this.pending.get(id) !== pending)
@@ -252,7 +340,19 @@ class TtscGraphSession {
             this.child.process.signalCode === null) {
             return this.child;
         }
-        const process = (0, node_child_process_1.spawn)(this.binary, ["serve", "--cwd", this.cwd, "--tsconfig", this.tsconfig], { stdio: ["pipe", "pipe", "pipe"], windowsHide: true });
+        const artifacts = (0, publishedArtifacts_1.publishArtifacts)({
+            cwd: this.cwd,
+            tsconfig: this.tsconfig,
+        });
+        this.artifacts = artifacts;
+        const process = (0, node_child_process_1.spawn)(this.binary, [
+            "serve",
+            "--cwd",
+            this.cwd,
+            "--tsconfig",
+            this.tsconfig,
+            ...(artifacts.file === null ? [] : ["--artifacts", artifacts.file]),
+        ], { stdio: ["pipe", "pipe", "pipe"], windowsHide: true });
         const lines = node_readline_1.default.createInterface({ input: process.stdout });
         const child = { process, lines, stderr: "" };
         this.child = child;
@@ -313,7 +413,7 @@ class TtscGraphSession {
                 const _ip3 = input => "string" === typeof input["tsconfig"];
                 const _ip4 = input => Array.isArray(input["diagnostics"]) && input["diagnostics"].every(elem => "object" === typeof elem && null !== elem && _io8(elem));
                 const _ip5 = input => Array.isArray(input["nodes"]) && input["nodes"].every(elem => "object" === typeof elem && null !== elem && _io9(elem));
-                const _ip6 = input => Array.isArray(input["edges"]) && input["edges"].every(elem => "object" === typeof elem && null !== elem && _io15(elem));
+                const _ip6 = input => Array.isArray(input["edges"]) && input["edges"].every(elem => "object" === typeof elem && null !== elem && _io16(elem));
                 const _ip7 = input => "number" === typeof input["schemaVersion"];
                 const _ip8 = input => "object" === typeof input["producer"] && null !== input["producer"] && _io3(input["producer"]);
                 const _ip9 = input => "object" === typeof input["universe"] && null !== input["universe"] && _io4(input["universe"]);
@@ -332,11 +432,15 @@ class TtscGraphSession {
                 const _ip21 = input => undefined === input["enumMembers"] || Array.isArray(input["enumMembers"]) && input["enumMembers"].every(elem => "object" === typeof elem && null !== elem && _io10(elem));
                 const _ip22 = input => undefined === input["objectMembers"] || Array.isArray(input["objectMembers"]) && input["objectMembers"].every(elem => "object" === typeof elem && null !== elem && _io11(elem));
                 const _ip23 = input => undefined === input["decorators"] || Array.isArray(input["decorators"]) && input["decorators"].every(elem => "object" === typeof elem && null !== elem && _io12(elem));
-                const _ip24 = input => undefined === input["signature"] || "string" === typeof input["signature"];
-                const _ip25 = input => "class" === input["kind"] || "enum" === input["kind"] || "function" === input["kind"] || "interface" === input["kind"] || "method" === input["kind"] || "module" === input["kind"] || "type" === input["kind"] || "variable" === input["kind"];
-                const _ip26 = input => undefined === input["evidence"] || "object" === typeof input["evidence"] && null !== input["evidence"] && _io14(input["evidence"]);
-                const _ip27 = input => undefined === input["implementation"] || "object" === typeof input["implementation"] && null !== input["implementation"] && _io14(input["implementation"]);
-                const _ip28 = input => "string" === typeof input["key"];
+                const _ip24 = input => undefined === input["docTags"] || Array.isArray(input["docTags"]) && input["docTags"].every(elem => "object" === typeof elem && null !== elem && _io14(elem));
+                const _ip25 = input => undefined === input["signature"] || "string" === typeof input["signature"];
+                const _ip26 = input => true === _iv1.has(input["kind"]);
+                const _iv1 = new Set(["class", "enum", "function", "interface", "markdown_document", "markdown_section", "method", "module", "prisma_column", "prisma_model", "prisma_relation", "swagger_operation", "type", "variable"]);
+                const _ip27 = input => undefined === input["parent"] || "string" === typeof input["parent"];
+                const _ip28 = input => undefined === input["evidence"] || "object" === typeof input["evidence"] && null !== input["evidence"] && _io15(input["evidence"]);
+                const _ip29 = input => undefined === input["implementation"] || "object" === typeof input["implementation"] && null !== input["implementation"] && _io15(input["implementation"]);
+                const _iv2 = new Set(["accesses", "calls", "doc_ref", "exports", "extends", "implements", "instantiates", "overrides", "renders", "type_ref"]);
+                const _ip30 = input => "string" === typeof input["key"];
                 const _ap0 = (input, _path, _exceptionable = true) => "number" === typeof input["protocolVersion"] || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".protocolVersion",
@@ -348,9 +452,9 @@ class TtscGraphSession {
                     path: _path + ".capabilities",
                     expected: "Array<string>",
                     value: input["capabilities"]
-                }, _errorFactory)) && input["capabilities"].every((elem, _index17) => "string" === typeof elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input["capabilities"].every((elem, _index18) => "string" === typeof elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".capabilities[" + _index17 + "]",
+                    path: _path + ".capabilities[" + _index18 + "]",
                     expected: "string",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -376,14 +480,14 @@ class TtscGraphSession {
                     path: _path + ".diagnostics",
                     expected: "Array<ITtscGraphDump.IDiagnostic>",
                     value: input["diagnostics"]
-                }, _errorFactory)) && input["diagnostics"].every((elem, _index18) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input["diagnostics"].every((elem, _index19) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".diagnostics[" + _index18 + "]",
+                    path: _path + ".diagnostics[" + _index19 + "]",
                     expected: "ITtscGraphDump.IDiagnostic",
                     value: elem
-                }, _errorFactory)) && _ao8(elem, _path + ".diagnostics[" + _index18 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao8(elem, _path + ".diagnostics[" + _index19 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".diagnostics[" + _index18 + "]",
+                    path: _path + ".diagnostics[" + _index19 + "]",
                     expected: "ITtscGraphDump.IDiagnostic",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -397,14 +501,14 @@ class TtscGraphSession {
                     path: _path + ".nodes",
                     expected: "Array<ITtscGraphDump.INode>",
                     value: input["nodes"]
-                }, _errorFactory)) && input["nodes"].every((elem, _index19) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input["nodes"].every((elem, _index20) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".nodes[" + _index19 + "]",
+                    path: _path + ".nodes[" + _index20 + "]",
                     expected: "ITtscGraphDump.INode",
                     value: elem
-                }, _errorFactory)) && _ao9(elem, _path + ".nodes[" + _index19 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao9(elem, _path + ".nodes[" + _index20 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".nodes[" + _index19 + "]",
+                    path: _path + ".nodes[" + _index20 + "]",
                     expected: "ITtscGraphDump.INode",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -418,14 +522,14 @@ class TtscGraphSession {
                     path: _path + ".edges",
                     expected: "Array<ITtscGraphDump.IEdge>",
                     value: input["edges"]
-                }, _errorFactory)) && input["edges"].every((elem, _index20) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input["edges"].every((elem, _index21) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".edges[" + _index20 + "]",
+                    path: _path + ".edges[" + _index21 + "]",
                     expected: "ITtscGraphDump.IEdge",
                     value: elem
-                }, _errorFactory)) && _ao15(elem, _path + ".edges[" + _index20 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao16(elem, _path + ".edges[" + _index21 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".edges[" + _index20 + "]",
+                    path: _path + ".edges[" + _index21 + "]",
                     expected: "ITtscGraphDump.IEdge",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -521,9 +625,9 @@ class TtscGraphSession {
                     path: _path + ".modifiers",
                     expected: "(Array<TtscGraphNodeModifier> | undefined)",
                     value: input["modifiers"]
-                }, _errorFactory)) && input["modifiers"].every((elem, _index24) => true === _av0.has(elem) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input["modifiers"].every((elem, _index25) => true === _av0.has(elem) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".modifiers[" + _index24 + "]",
+                    path: _path + ".modifiers[" + _index25 + "]",
                     expected: _ae0,
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -539,9 +643,9 @@ class TtscGraphSession {
                     path: _path + ".literals",
                     expected: "(Array<string> | undefined)",
                     value: input["literals"]
-                }, _errorFactory)) && input["literals"].every((elem, _index25) => "string" === typeof elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input["literals"].every((elem, _index26) => "string" === typeof elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".literals[" + _index25 + "]",
+                    path: _path + ".literals[" + _index26 + "]",
                     expected: "string",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -555,14 +659,14 @@ class TtscGraphSession {
                     path: _path + ".enumMembers",
                     expected: "(Array<ITtscGraphNode.IEnumMember> | undefined)",
                     value: input["enumMembers"]
-                }, _errorFactory)) && input["enumMembers"].every((elem, _index26) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input["enumMembers"].every((elem, _index27) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".enumMembers[" + _index26 + "]",
+                    path: _path + ".enumMembers[" + _index27 + "]",
                     expected: "ITtscGraphNode.IEnumMember",
                     value: elem
-                }, _errorFactory)) && _ao10(elem, _path + ".enumMembers[" + _index26 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao10(elem, _path + ".enumMembers[" + _index27 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".enumMembers[" + _index26 + "]",
+                    path: _path + ".enumMembers[" + _index27 + "]",
                     expected: "ITtscGraphNode.IEnumMember",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -576,14 +680,14 @@ class TtscGraphSession {
                     path: _path + ".objectMembers",
                     expected: "(Array<ITtscGraphNode.IObjectMember> | undefined)",
                     value: input["objectMembers"]
-                }, _errorFactory)) && input["objectMembers"].every((elem, _index27) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input["objectMembers"].every((elem, _index28) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".objectMembers[" + _index27 + "]",
+                    path: _path + ".objectMembers[" + _index28 + "]",
                     expected: "ITtscGraphNode.IObjectMember",
                     value: elem
-                }, _errorFactory)) && _ao11(elem, _path + ".objectMembers[" + _index27 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao11(elem, _path + ".objectMembers[" + _index28 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".objectMembers[" + _index27 + "]",
+                    path: _path + ".objectMembers[" + _index28 + "]",
                     expected: "ITtscGraphNode.IObjectMember",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -597,14 +701,14 @@ class TtscGraphSession {
                     path: _path + ".decorators",
                     expected: "(Array<ITtscGraphDecorator> | undefined)",
                     value: input["decorators"]
-                }, _errorFactory)) && input["decorators"].every((elem, _index28) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input["decorators"].every((elem, _index29) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".decorators[" + _index28 + "]",
+                    path: _path + ".decorators[" + _index29 + "]",
                     expected: "ITtscGraphDecorator",
                     value: elem
-                }, _errorFactory)) && _ao12(elem, _path + ".decorators[" + _index28 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao12(elem, _path + ".decorators[" + _index29 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".decorators[" + _index28 + "]",
+                    path: _path + ".decorators[" + _index29 + "]",
                     expected: "ITtscGraphDecorator",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -613,41 +717,72 @@ class TtscGraphSession {
                     expected: "(Array<ITtscGraphDecorator> | undefined)",
                     value: input["decorators"]
                 }, _errorFactory);
-                const _ap24 = (input, _path, _exceptionable = true) => undefined === input["signature"] || "string" === typeof input["signature"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap24 = (input, _path, _exceptionable = true) => undefined === input["docTags"] || (Array.isArray(input["docTags"]) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".docTags",
+                    expected: "(Array<ITtscGraphDocTag> | undefined)",
+                    value: input["docTags"]
+                }, _errorFactory)) && input["docTags"].every((elem, _index30) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".docTags[" + _index30 + "]",
+                    expected: "ITtscGraphDocTag",
+                    value: elem
+                }, _errorFactory)) && _ao14(elem, _path + ".docTags[" + _index30 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".docTags[" + _index30 + "]",
+                    expected: "ITtscGraphDocTag",
+                    value: elem
+                }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".docTags",
+                    expected: "(Array<ITtscGraphDocTag> | undefined)",
+                    value: input["docTags"]
+                }, _errorFactory);
+                const _ap25 = (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 _ap25 = (input, _path, _exceptionable = true) => "class" === input["kind"] || "enum" === input["kind"] || "function" === input["kind"] || "interface" === input["kind"] || "method" === input["kind"] || "module" === input["kind"] || "type" === input["kind"] || "variable" === input["kind"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap26 = (input, _path, _exceptionable = true) => true === _av1.has(input["kind"]) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".kind",
-                    expected: "(\"class\" | \"enum\" | \"function\" | \"interface\" | \"method\" | \"module\" | \"type\" | \"variable\")",
+                    expected: _ae1,
                     value: input["kind"]
                 }, _errorFactory);
-                const _ap26 = (input, _path, _exceptionable = true) => undefined === input["evidence"] || ("object" === typeof input["evidence"] && null !== input["evidence"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _av1 = new Set(["class", "enum", "function", "interface", "markdown_document", "markdown_section", "method", "module", "prisma_column", "prisma_model", "prisma_relation", "swagger_operation", "type", "variable"]);
+                const _ae1 = "(\"class\" | \"enum\" | \"function\" | \"interface\" | \"markdown_document\" | \"markdown_section\" | \"method\" | \"module\" | \"prisma_column\" | \"prisma_model\" | \"prisma_relation\" | \"swagger_operation\" | \"type\" | \"variable\")";
+                const _ap27 = (input, _path, _exceptionable = true) => undefined === input["parent"] || "string" === typeof input["parent"] || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".parent",
+                    expected: "(string | undefined)",
+                    value: input["parent"]
+                }, _errorFactory);
+                const _ap28 = (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)) && _ao14(input["evidence"], _path + ".evidence", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao15(input["evidence"], _path + ".evidence", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".evidence",
                     expected: "(ITtscGraphSpan | undefined)",
                     value: input["evidence"]
                 }, _errorFactory);
-                const _ap27 = (input, _path, _exceptionable = true) => undefined === input["implementation"] || ("object" === typeof input["implementation"] && null !== input["implementation"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ap29 = (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, {
+                }, _errorFactory)) && _ao15(input["implementation"], _path + ".implementation", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".implementation",
                     expected: "(ITtscGraphSpan | undefined)",
                     value: input["implementation"]
                 }, _errorFactory);
-                const _ap28 = (input, _path, _exceptionable = true) => "string" === typeof input["key"] || _assertGuard_1._assertGuard(_exceptionable, {
+                const _av2 = new Set(["accesses", "calls", "doc_ref", "exports", "extends", "implements", "instantiates", "overrides", "renders", "type_ref"]);
+                const _ae2 = "(\"accesses\" | \"calls\" | \"doc_ref\" | \"exports\" | \"extends\" | \"implements\" | \"instantiates\" | \"overrides\" | \"renders\" | \"type_ref\")";
+                const _ap30 = (input, _path, _exceptionable = true) => "string" === typeof input["key"] || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".key",
                     expected: "string",
@@ -683,7 +818,7 @@ class TtscGraphSession {
                     path: _path + ".snapshot",
                     expected: "(ITtscGraphSnapshot.ITransaction | undefined)",
                     value: input.snapshot
-                }, _errorFactory)) && _ao16(input.snapshot, _path + ".snapshot", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao17(input.snapshot, _path + ".snapshot", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".snapshot",
                     expected: "(ITtscGraphSnapshot.ITransaction | undefined)",
@@ -721,20 +856,20 @@ class TtscGraphSession {
                     path: _path + ".line",
                     expected: "(number | undefined)",
                     value: input.line
-                }, _errorFactory)) && _ap24(input, _path, true && _exceptionable);
+                }, _errorFactory)) && _ap25(input, _path, true && _exceptionable);
                 const _ao12 = (input, _path, _exceptionable = true) => _ap13(input, _path, true && _exceptionable) && ((Array.isArray(input.arguments) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".arguments",
                     expected: "Array<ITtscGraphDecorator.IArgument>",
                     value: input.arguments
-                }, _errorFactory)) && input.arguments.every((elem, _index29) => ("object" === typeof elem && null !== elem && false === Array.isArray(elem) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.arguments.every((elem, _index31) => ("object" === typeof elem && null !== elem && false === Array.isArray(elem) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".arguments[" + _index29 + "]",
+                    path: _path + ".arguments[" + _index31 + "]",
                     expected: "ITtscGraphDecorator.IArgument",
                     value: elem
-                }, _errorFactory)) && _ao13(elem, _path + ".arguments[" + _index29 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao13(elem, _path + ".arguments[" + _index31 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".arguments[" + _index29 + "]",
+                    path: _path + ".arguments[" + _index31 + "]",
                     expected: "ITtscGraphDecorator.IArgument",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -749,7 +884,13 @@ class TtscGraphSession {
                     expected: "(boolean | number | string | undefined)",
                     value: input.literal
                 }, _errorFactory);
-                const _ao14 = (input, _path, _exceptionable = true) => (undefined === input.file || "string" === typeof input.file || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ao14 = (input, _path, _exceptionable = true) => _ap13(input, _path, true && _exceptionable) && (undefined === input.text || "string" === typeof input.text || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".text",
+                    expected: "(string | undefined)",
+                    value: input.text
+                }, _errorFactory));
+                const _ao15 = (input, _path, _exceptionable = true) => (undefined === input.file || "string" === typeof input.file || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".file",
                     expected: "(string | undefined)",
@@ -775,7 +916,7 @@ class TtscGraphSession {
                     expected: "(number | undefined)",
                     value: input.endCol
                 }, _errorFactory));
-                const _ao15 = (input, _path, _exceptionable = true) => ("string" === typeof input.from || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ao16 = (input, _path, _exceptionable = true) => ("string" === typeof input.from || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".from",
                     expected: "string",
@@ -785,13 +926,13 @@ class TtscGraphSession {
                     path: _path + ".to",
                     expected: "string",
                     value: input.to
-                }, _errorFactory)) && ("accesses" === input.kind || "calls" === input.kind || "exports" === input.kind || "extends" === input.kind || "implements" === input.kind || "instantiates" === input.kind || "overrides" === input.kind || "renders" === input.kind || "type_ref" === input.kind || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && (true === _av2.has(input.kind) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".kind",
-                    expected: "(\"accesses\" | \"calls\" | \"exports\" | \"extends\" | \"implements\" | \"instantiates\" | \"overrides\" | \"renders\" | \"type_ref\")",
+                    expected: _ae2,
                     value: input.kind
-                }, _errorFactory)) && _ap26(input, _path, true && _exceptionable);
-                const _ao16 = (input, _path, _exceptionable = true) => _ap0(input, _path, true && _exceptionable) && _ap7(input, _path, true && _exceptionable) && _ap2(input, _path, true && _exceptionable) && _ap3(input, _path, true && _exceptionable) && _ap8(input, _path, true && _exceptionable) && _ap1(input, _path, true && _exceptionable) && _ap9(input, _path, true && _exceptionable) && ("number" === typeof input.sequence || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ap28(input, _path, true && _exceptionable);
+                const _ao17 = (input, _path, _exceptionable = true) => _ap0(input, _path, true && _exceptionable) && _ap7(input, _path, true && _exceptionable) && _ap2(input, _path, true && _exceptionable) && _ap3(input, _path, true && _exceptionable) && _ap8(input, _path, true && _exceptionable) && _ap1(input, _path, true && _exceptionable) && _ap9(input, _path, true && _exceptionable) && ("number" === typeof input.sequence || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".sequence",
                     expected: "number",
@@ -816,14 +957,14 @@ class TtscGraphSession {
                     path: _path + ".upserts",
                     expected: "Array<ITtscGraphSnapshot.IShardUpsert>",
                     value: input.upserts
-                }, _errorFactory)) && input.upserts.every((elem, _index30) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.upserts.every((elem, _index32) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".upserts[" + _index30 + "]",
+                    path: _path + ".upserts[" + _index32 + "]",
                     expected: "ITtscGraphSnapshot.IShardUpsert",
                     value: elem
-                }, _errorFactory)) && _ao17(elem, _path + ".upserts[" + _index30 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao18(elem, _path + ".upserts[" + _index32 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".upserts[" + _index30 + "]",
+                    path: _path + ".upserts[" + _index32 + "]",
                     expected: "ITtscGraphSnapshot.IShardUpsert",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -836,9 +977,9 @@ class TtscGraphSession {
                     path: _path + ".deletes",
                     expected: "Array<string>",
                     value: input.deletes
-                }, _errorFactory)) && input.deletes.every((elem, _index31) => "string" === typeof elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.deletes.every((elem, _index33) => "string" === typeof elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".deletes[" + _index31 + "]",
+                    path: _path + ".deletes[" + _index33 + "]",
                     expected: "string",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -851,14 +992,14 @@ class TtscGraphSession {
                     path: _path + ".manifest",
                     expected: "Array<ITtscGraphSnapshot.IShardReference>",
                     value: input.manifest
-                }, _errorFactory)) && input.manifest.every((elem, _index32) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.manifest.every((elem, _index34) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".manifest[" + _index32 + "]",
+                    path: _path + ".manifest[" + _index34 + "]",
                     expected: "ITtscGraphSnapshot.IShardReference",
                     value: elem
-                }, _errorFactory)) && _ao19(elem, _path + ".manifest[" + _index32 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao20(elem, _path + ".manifest[" + _index34 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".manifest[" + _index32 + "]",
+                    path: _path + ".manifest[" + _index34 + "]",
                     expected: "ITtscGraphSnapshot.IShardReference",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -867,18 +1008,18 @@ class TtscGraphSession {
                     expected: "Array<ITtscGraphSnapshot.IShardReference>",
                     value: input.manifest
                 }, _errorFactory));
-                const _ao17 = (input, _path, _exceptionable = true) => _ap11(input, _path, true && _exceptionable) && (("object" === typeof input.shard && null !== input.shard || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ao18 = (input, _path, _exceptionable = true) => _ap11(input, _path, true && _exceptionable) && (("object" === typeof input.shard && null !== input.shard || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".shard",
                     expected: "ITtscGraphSnapshot.IShard",
                     value: input.shard
-                }, _errorFactory)) && _ao18(input.shard, _path + ".shard", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao19(input.shard, _path + ".shard", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".shard",
                     expected: "ITtscGraphSnapshot.IShard",
                     value: input.shard
                 }, _errorFactory));
-                const _ao18 = (input, _path, _exceptionable = true) => _ap28(input, _path, true && _exceptionable) && (undefined === input.source || ("object" === typeof input.source && null !== input.source || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ao19 = (input, _path, _exceptionable = true) => _ap30(input, _path, true && _exceptionable) && (undefined === input.source || ("object" === typeof input.source && null !== input.source || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".source",
                     expected: "(ITtscGraphDump.ISourceDigest | undefined)",
@@ -899,20 +1040,29 @@ class TtscGraphSession {
                     expected: "(ITtscGraphDump.IFileDigest | undefined)",
                     value: input.config
                 }, _errorFactory)) && _ap5(input, _path, true && _exceptionable) && _ap6(input, _path, true && _exceptionable) && _ap4(input, _path, true && _exceptionable);
-                const _ao19 = (input, _path, _exceptionable = true) => _ap28(input, _path, true && _exceptionable) && _ap11(input, _path, true && _exceptionable);
-                const _ao2 = (input, _path, _exceptionable = true) => _ap7(input, _path, true && _exceptionable) && _ap1(input, _path, true && _exceptionable) && _ap8(input, _path, true && _exceptionable) && _ap9(input, _path, true && _exceptionable) && ((Array.isArray(input.sources) || _assertGuard_1._assertGuard(_exceptionable, {
+                const _ao2 = (input, _path, _exceptionable = true) => _ap7(input, _path, true && _exceptionable) && _ap1(input, _path, true && _exceptionable) && _ap8(input, _path, true && _exceptionable) && (undefined === input.artifactProducer || ("object" === typeof input.artifactProducer && null !== input.artifactProducer || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".artifactProducer",
+                    expected: "(ITtscGraphDump.IProducer | undefined)",
+                    value: input.artifactProducer
+                }, _errorFactory)) && _ao3(input.artifactProducer, _path + ".artifactProducer", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                    method: "typia.assert",
+                    path: _path + ".artifactProducer",
+                    expected: "(ITtscGraphDump.IProducer | undefined)",
+                    value: input.artifactProducer
+                }, _errorFactory)) && _ap9(input, _path, true && _exceptionable) && ((Array.isArray(input.sources) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".sources",
                     expected: "Array<ITtscGraphDump.ISourceDigest>",
                     value: input.sources
-                }, _errorFactory)) && input.sources.every((elem, _index21) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.sources.every((elem, _index22) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".sources[" + _index21 + "]",
+                    path: _path + ".sources[" + _index22 + "]",
                     expected: "ITtscGraphDump.ISourceDigest",
                     value: elem
-                }, _errorFactory)) && _ao7(elem, _path + ".sources[" + _index21 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao7(elem, _path + ".sources[" + _index22 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".sources[" + _index21 + "]",
+                    path: _path + ".sources[" + _index22 + "]",
                     expected: "ITtscGraphDump.ISourceDigest",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -921,6 +1071,7 @@ class TtscGraphSession {
                     expected: "Array<ITtscGraphDump.ISourceDigest>",
                     value: input.sources
                 }, _errorFactory));
+                const _ao20 = (input, _path, _exceptionable = true) => _ap30(input, _path, true && _exceptionable) && _ap11(input, _path, true && _exceptionable);
                 const _ao3 = (input, _path, _exceptionable = true) => ("string" === typeof input.tool || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
                     path: _path + ".tool",
@@ -942,14 +1093,14 @@ class TtscGraphSession {
                     path: _path + ".configs",
                     expected: "Array<ITtscGraphDump.IFileDigest>",
                     value: input.configs
-                }, _errorFactory)) && input.configs.every((elem, _index22) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.configs.every((elem, _index23) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".configs[" + _index22 + "]",
+                    path: _path + ".configs[" + _index23 + "]",
                     expected: "ITtscGraphDump.IFileDigest",
                     value: elem
-                }, _errorFactory)) && _ao5(elem, _path + ".configs[" + _index22 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao5(elem, _path + ".configs[" + _index23 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".configs[" + _index22 + "]",
+                    path: _path + ".configs[" + _index23 + "]",
                     expected: "ITtscGraphDump.IFileDigest",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -962,14 +1113,14 @@ class TtscGraphSession {
                     path: _path + ".roots",
                     expected: "Array<ITtscGraphDump.IRootFile>",
                     value: input.roots
-                }, _errorFactory)) && input.roots.every((elem, _index23) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && input.roots.every((elem, _index24) => ("object" === typeof elem && null !== elem || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".roots[" + _index23 + "]",
+                    path: _path + ".roots[" + _index24 + "]",
                     expected: "ITtscGraphDump.IRootFile",
                     value: elem
-                }, _errorFactory)) && _ao6(elem, _path + ".roots[" + _index23 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
+                }, _errorFactory)) && _ao6(elem, _path + ".roots[" + _index24 + "]", true && _exceptionable) || _assertGuard_1._assertGuard(_exceptionable, {
                     method: "typia.assert",
-                    path: _path + ".roots[" + _index23 + "]",
+                    path: _path + ".roots[" + _index24 + "]",
                     expected: "ITtscGraphDump.IRootFile",
                     value: elem
                 }, _errorFactory)) || _assertGuard_1._assertGuard(_exceptionable, {
@@ -1022,27 +1173,28 @@ class TtscGraphSession {
                     expected: "string",
                     value: input.message
                 }, _errorFactory));
-                const _ao9 = (input, _path, _exceptionable = true) => _ap12(input, _path, true && _exceptionable) && _ap13(input, _path, true && _exceptionable) && _ap14(input, _path, true && _exceptionable) && _ap10(input, _path, true && _exceptionable) && _ap15(input, _path, true && _exceptionable) && _ap16(input, _path, true && _exceptionable) && _ap17(input, _path, true && _exceptionable) && _ap18(input, _path, true && _exceptionable) && _ap19(input, _path, true && _exceptionable) && _ap20(input, _path, true && _exceptionable) && _ap21(input, _path, true && _exceptionable) && _ap22(input, _path, true && _exceptionable) && _ap23(input, _path, true && _exceptionable) && _ap24(input, _path, true && _exceptionable) && _ap25(input, _path, true && _exceptionable) && _ap26(input, _path, true && _exceptionable) && _ap27(input, _path, true && _exceptionable);
-                const _io0 = input => "number" === typeof input.id && _ip0(input) && ("error" === input.mode || "incremental" === input.mode || "initial" === input.mode || "rebuild" === input.mode || "reload" === input.mode || "unchanged" === input.mode) && _ip1(input) && "boolean" === typeof input.changed && (undefined === input.dump || "object" === typeof input.dump && null !== input.dump && _io1(input.dump)) && (undefined === input.snapshot || "object" === typeof input.snapshot && null !== input.snapshot && _io16(input.snapshot)) && (undefined === input.error || "string" === typeof input.error);
+                const _ao9 = (input, _path, _exceptionable = true) => _ap12(input, _path, true && _exceptionable) && _ap13(input, _path, true && _exceptionable) && _ap14(input, _path, true && _exceptionable) && _ap10(input, _path, true && _exceptionable) && _ap15(input, _path, true && _exceptionable) && _ap16(input, _path, true && _exceptionable) && _ap17(input, _path, true && _exceptionable) && _ap18(input, _path, true && _exceptionable) && _ap19(input, _path, true && _exceptionable) && _ap20(input, _path, true && _exceptionable) && _ap21(input, _path, true && _exceptionable) && _ap22(input, _path, true && _exceptionable) && _ap23(input, _path, true && _exceptionable) && _ap24(input, _path, true && _exceptionable) && _ap25(input, _path, true && _exceptionable) && _ap26(input, _path, true && _exceptionable) && _ap27(input, _path, true && _exceptionable) && _ap28(input, _path, true && _exceptionable) && _ap29(input, _path, true && _exceptionable);
+                const _io0 = input => "number" === typeof input.id && _ip0(input) && ("error" === input.mode || "incremental" === input.mode || "initial" === input.mode || "rebuild" === input.mode || "reload" === input.mode || "unchanged" === input.mode) && _ip1(input) && "boolean" === typeof input.changed && (undefined === input.dump || "object" === typeof input.dump && null !== input.dump && _io1(input.dump)) && (undefined === input.snapshot || "object" === typeof input.snapshot && null !== input.snapshot && _io17(input.snapshot)) && (undefined === input.error || "string" === typeof input.error);
                 const _io1 = input => _ip2(input) && _ip3(input) && ("object" === typeof input.provenance && null !== input.provenance && _io2(input.provenance)) && _ip4(input) && _ip5(input) && _ip6(input);
                 const _io10 = input => _ip13(input) && (undefined === input.value || "string" === typeof input.value);
-                const _io11 = input => _ip13(input) && ("method" === input.kind || "property" === input.kind) && (undefined === input.line || "number" === typeof input.line) && _ip24(input);
+                const _io11 = input => _ip13(input) && ("method" === input.kind || "property" === input.kind) && (undefined === input.line || "number" === typeof input.line) && _ip25(input);
                 const _io12 = input => _ip13(input) && (Array.isArray(input.arguments) && input.arguments.every(elem => "object" === typeof elem && null !== elem && false === Array.isArray(elem) && _io13(elem)));
                 const _io13 = input => undefined === input.literal || "string" === typeof input.literal || "number" === typeof input.literal || "boolean" === typeof input.literal;
-                const _io14 = input => (undefined === input.file || "string" === typeof input.file) && "number" === typeof input.startLine && (undefined === input.startCol || "number" === typeof input.startCol) && (undefined === input.endLine || "number" === typeof input.endLine) && (undefined === input.endCol || "number" === typeof input.endCol);
-                const _io15 = input => "string" === typeof input.from && "string" === typeof input.to && ("accesses" === input.kind || "calls" === input.kind || "exports" === input.kind || "extends" === input.kind || "implements" === input.kind || "instantiates" === input.kind || "overrides" === input.kind || "renders" === input.kind || "type_ref" === input.kind) && _ip26(input);
-                const _io16 = input => _ip0(input) && _ip7(input) && _ip2(input) && _ip3(input) && _ip8(input) && _ip1(input) && _ip9(input) && "number" === typeof input.sequence && "string" === typeof input.generation && (undefined === input.baseSequence || "number" === typeof input.baseSequence) && (undefined === input.baseGeneration || "string" === typeof input.baseGeneration) && (Array.isArray(input.upserts) && input.upserts.every(elem => "object" === typeof elem && null !== elem && _io17(elem))) && (Array.isArray(input.deletes) && input.deletes.every(elem => "string" === typeof elem)) && (Array.isArray(input.manifest) && input.manifest.every(elem => "object" === typeof elem && null !== elem && _io19(elem)));
-                const _io17 = input => _ip11(input) && ("object" === typeof input.shard && null !== input.shard && _io18(input.shard));
-                const _io18 = input => _ip28(input) && (undefined === input.source || "object" === typeof input.source && null !== input.source && _io7(input.source)) && (undefined === input.config || "object" === typeof input.config && null !== input.config && _io5(input.config)) && _ip5(input) && _ip6(input) && _ip4(input);
-                const _io19 = input => _ip28(input) && _ip11(input);
-                const _io2 = input => _ip7(input) && _ip1(input) && _ip8(input) && _ip9(input) && (Array.isArray(input.sources) && input.sources.every(elem => "object" === typeof elem && null !== elem && _io7(elem)));
+                const _io14 = input => _ip13(input) && (undefined === input.text || "string" === typeof input.text);
+                const _io15 = 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 _io16 = input => "string" === typeof input.from && "string" === typeof input.to && true === _iv2.has(input.kind) && _ip28(input);
+                const _io17 = input => _ip0(input) && _ip7(input) && _ip2(input) && _ip3(input) && _ip8(input) && _ip1(input) && _ip9(input) && "number" === typeof input.sequence && "string" === typeof input.generation && (undefined === input.baseSequence || "number" === typeof input.baseSequence) && (undefined === input.baseGeneration || "string" === typeof input.baseGeneration) && (Array.isArray(input.upserts) && input.upserts.every(elem => "object" === typeof elem && null !== elem && _io18(elem))) && (Array.isArray(input.deletes) && input.deletes.every(elem => "string" === typeof elem)) && (Array.isArray(input.manifest) && input.manifest.every(elem => "object" === typeof elem && null !== elem && _io20(elem)));
+                const _io18 = input => _ip11(input) && ("object" === typeof input.shard && null !== input.shard && _io19(input.shard));
+                const _io19 = input => _ip30(input) && (undefined === input.source || "object" === typeof input.source && null !== input.source && _io7(input.source)) && (undefined === input.config || "object" === typeof input.config && null !== input.config && _io5(input.config)) && _ip5(input) && _ip6(input) && _ip4(input);
+                const _io2 = input => _ip7(input) && _ip1(input) && _ip8(input) && (undefined === input.artifactProducer || "object" === typeof input.artifactProducer && null !== input.artifactProducer && _io3(input.artifactProducer)) && _ip9(input) && (Array.isArray(input.sources) && input.sources.every(elem => "object" === typeof elem && null !== elem && _io7(elem)));
+                const _io20 = input => _ip30(input) && _ip11(input);
                 const _io3 = input => "string" === typeof input.tool && "string" === typeof input.version && "string" === typeof input.typescript;
                 const _io4 = input => Array.isArray(input.configs) && input.configs.every(elem => "object" === typeof elem && null !== elem && _io5(elem)) && (Array.isArray(input.roots) && input.roots.every(elem => "object" === typeof elem && null !== elem && _io6(elem)));
                 const _io5 = input => _ip10(input) && _ip11(input);
                 const _io6 = input => "string" === typeof input.config && _ip10(input);
                 const _io7 = input => _ip10(input) && "string" === typeof input.checkerDigest && "string" === typeof input.diskDigest;
                 const _io8 = input => _ip10(input) && "number" === typeof input.line && "number" === typeof input.column && "number" === typeof input.code && ("error" === input.category || "warning" === input.category) && "string" === typeof input.message;
-                const _io9 = input => _ip12(input) && _ip13(input) && _ip14(input) && _ip10(input) && _ip15(input) && _ip16(input) && _ip17(input) && _ip18(input) && _ip19(input) && _ip20(input) && _ip21(input) && _ip22(input) && _ip23(input) && _ip24(input) && _ip25(input) && _ip26(input) && _ip27(input);
+                const _io9 = input => _ip12(input) && _ip13(input) && _ip14(input) && _ip10(input) && _ip15(input) && _ip16(input) && _ip17(input) && _ip18(input) && _ip19(input) && _ip20(input) && _ip21(input) && _ip22(input) && _ip23(input) && _ip24(input) && _ip25(input) && _ip26(input) && _ip27(input) && _ip28(input) && _ip29(input);
                 const __is = input => "object" === typeof input && null !== input && _io0(input);
                 let _errorFactory;
                 return (input, errorFactory) => {