@ttsc/graph 0.16.5 → 0.16.6

package/lib/TtscGraphApplication.js

@@ -1,21 +1,20 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.TtscGraphApplication = void 0;
-const runExpand_1 = require("./server/runExpand");
-const runIndex_1 = require("./server/runIndex");
+const runDetails_1 = require("./server/runDetails");
+const runEntrypoints_1 = require("./server/runEntrypoints");
+const runLookup_1 = require("./server/runLookup");
 const runOverview_1 = require("./server/runOverview");
-const runQuery_1 = require("./server/runQuery");
 const runTrace_1 = require("./server/runTrace");
 /**
  * The MCP tool surface as a plain class over the resident
  * {@link TtscGraphMemory}.
  *
- * Each public method is one MCP tool — `typia.llm.controller` reflects
- * {@link ITtscGraphApplication} to generate every tool's JSON schema and
- * argument validator from these signatures and their JSDoc, with no
- * hand-written schema. The methods delegate to the pure tool functions in
- * `./server`, which are unit-testable without a transport; this class only
- * binds them to the graph.
+ * Its public method is the MCP tool: `typia.llm.controller` reflects
+ * {@link ITtscGraphApplication} to generate the tool's JSON schema and argument
+ * validator from the signature and JSDoc, with no hand-written schema. The
+ * method delegates to the pure graph functions in `./server`, which are
+ * unit-testable without a transport; this class only binds them to the graph.
  *
  * Every method answers from the resident graph; none recompiles. Output is kept
  * compact and bounded so a model can read structure without a file read, which
@@ -26,20 +25,34 @@ class TtscGraphApplication {
     constructor(source) {
         this.graph = typeof source === "function" ? source : () => source;
     }
-    graph_index(props) {
-        return (0, runIndex_1.runIndex)(this.graph(), props);
-    }
-    graph_overview(props) {
-        return (0, runOverview_1.runOverview)(this.graph(), props);
-    }
-    graph_expand(props) {
-        return (0, runExpand_1.runExpand)(this.graph(), props);
-    }
-    graph_query(props) {
-        return (0, runQuery_1.runQuery)(this.graph(), props);
-    }
-    graph_trace(props) {
-        return (0, runTrace_1.runTrace)(this.graph(), props);
+    query(props) {
+        switch (props.request.type) {
+            case "entrypoints":
+                return { result: (0, runEntrypoints_1.runEntrypoints)(this.graph(), props.request) };
+            case "lookup":
+                return { result: (0, runLookup_1.runLookup)(this.graph(), props.request) };
+            case "trace":
+                return { result: (0, runTrace_1.runTrace)(this.graph(), props.request) };
+            case "details":
+                return { result: (0, runDetails_1.runDetails)(this.graph(), props.request) };
+            case "overview":
+                return { result: (0, runOverview_1.runOverview)(this.graph(), props.request) };
+            case "escape": {
+                const result = {
+                    type: "escape",
+                    skipped: true,
+                    reason: props.request.reason,
+                };
+                if (props.request.nextStep !== undefined) {
+                    result.nextStep = props.request.nextStep;
+                }
+                return {
+                    result,
+                };
+            }
+            default:
+                throw new Error("Unknown graph request type");
+        }
     }
 }
 exports.TtscGraphApplication = TtscGraphApplication;

package/lib/TtscGraphApplication.js.map

@@ -1 +1 @@
-{"version":3,"file":"TtscGraphApplication.js","sourceRoot":"","sources":["../src/TtscGraphApplication.ts"],"names":[],"mappings":";;;AACA,kDAA+C;AAC/C,gDAA6C;AAC7C,sDAAmD;AACnD,gDAA6C;AAC7C,gDAA6C;AAU7C;;;;;;;;;;;;;;GAcG;AACH;IACmB,KAAK,CAAwB;IAE9C,YAAmB,MAAuB;QACxC,IAAI,CAAC,KAAK,GAAG,OAAO,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC;IACpE,CAAC;IAEM,WAAW,CAAC,KAA6B;QAC9C,OAAO,IAAA,mBAAQ,EAAC,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;IAEM,cAAc,CAAC,KAAgC;QACpD,OAAO,IAAA,yBAAW,EAAC,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;IAC1C,CAAC;IAEM,YAAY,CAAC,KAA8B;QAChD,OAAO,IAAA,qBAAS,EAAC,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;IAEM,WAAW,CAAC,KAA6B;QAC9C,OAAO,IAAA,mBAAQ,EAAC,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;IAEM,WAAW,CAAC,KAA6B;QAC9C,OAAO,IAAA,mBAAQ,EAAC,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;CACF"}
+{"version":3,"file":"TtscGraphApplication.js","sourceRoot":"","sources":["../src/TtscGraphApplication.ts"],"names":[],"mappings":";;;AACA,oDAAiD;AACjD,4DAAyD;AACzD,kDAA+C;AAC/C,sDAAmD;AACnD,gDAA6C;AAM7C;;;;;;;;;;;;;GAaG;AACH;IACmB,KAAK,CAAwB;IAE9C,YAAmB,MAAuB;QACxC,IAAI,CAAC,KAAK,GAAG,OAAO,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC;IACpE,CAAC;IAEM,KAAK,CACV,KAAmC;QAEnC,QAAQ,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YAC3B,KAAK,aAAa;gBAChB,OAAO,EAAE,MAAM,EAAE,IAAA,+BAAc,EAAC,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACjE,KAAK,QAAQ;gBACX,OAAO,EAAE,MAAM,EAAE,IAAA,qBAAS,EAAC,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5D,KAAK,OAAO;gBACV,OAAO,EAAE,MAAM,EAAE,IAAA,mBAAQ,EAAC,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3D,KAAK,SAAS;gBACZ,OAAO,EAAE,MAAM,EAAE,IAAA,uBAAU,EAAC,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7D,KAAK,UAAU;gBACb,OAAO,EAAE,MAAM,EAAE,IAAA,yBAAW,EAAC,IAAI,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9D,KAAK,QAAQ,EAAE,CAAC;gBACd,MAAM,MAAM,GAAqB;oBAC/B,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,IAAI;oBACb,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;iBAC7B,CAAC;gBACF,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACzC,MAAM,CAAC,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;gBAC3C,CAAC;gBACD,OAAO;oBACL,MAAM;iBACP,CAAC;YACJ,CAAC;YACD;gBACE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;CACF"}

package/lib/model/loadGraph.js

@@ -251,6 +251,16 @@ function parseDump(json) {
             path: _path + ".evidence",
             expected: "(ITtscGraphEvidence | undefined)",
             value: input.evidence
+        }, _errorFactory)) && (undefined === input.implementation || ("object" === typeof input.implementation && null !== input.implementation || _a._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".implementation",
+            expected: "(ITtscGraphEvidence | undefined)",
+            value: input.implementation
+        }, _errorFactory)) && _ao4(input.implementation, _path + ".implementation", true && _exceptionable) || _a._assertGuard(_exceptionable, {
+            method: "typia.assert",
+            path: _path + ".implementation",
+            expected: "(ITtscGraphEvidence | undefined)",
+            value: input.implementation
         }, _errorFactory));
         const _ao2 = (input, _path, _exceptionable = true) => ("string" === typeof input.name || _a._assertGuard(_exceptionable, {
             method: "typia.assert",
@@ -262,7 +272,7 @@ function parseDump(json) {
             path: _path + ".arguments",
             expected: "Array<ITtscGraphDecorator.IArgument>",
             value: input.arguments
-        }, _errorFactory)) && input.arguments.every((elem, _index17) => ("object" === typeof elem && null !== elem || _a._assertGuard(_exceptionable, {
+        }, _errorFactory)) && input.arguments.every((elem, _index17) => ("object" === typeof elem && null !== elem && false === Array.isArray(elem) || _a._assertGuard(_exceptionable, {
             method: "typia.assert",
             path: _path + ".arguments[" + _index17 + "]",
             expected: "ITtscGraphDecorator.IArgument",
@@ -278,17 +288,12 @@ function parseDump(json) {
             expected: "Array<ITtscGraphDecorator.IArgument>",
             value: input.arguments
         }, _errorFactory));
-        const _ao3 = (input, _path, _exceptionable = true) => ("string" === typeof input.text || _a._assertGuard(_exceptionable, {
-            method: "typia.assert",
-            path: _path + ".text",
-            expected: "string",
-            value: input.text
-        }, _errorFactory)) && (undefined === input.literal || "string" === typeof input.literal || "number" === typeof input.literal || "boolean" === typeof input.literal || _a._assertGuard(_exceptionable, {
+        const _ao3 = (input, _path, _exceptionable = true) => undefined === input.literal || "string" === typeof input.literal || "number" === typeof input.literal || "boolean" === typeof input.literal || _a._assertGuard(_exceptionable, {
             method: "typia.assert",
             path: _path + ".literal",
             expected: "(boolean | number | string | undefined)",
             value: input.literal
-        }, _errorFactory));
+        }, _errorFactory);
         const _ao4 = (input, _path, _exceptionable = true) => ("string" === typeof input.file || _a._assertGuard(_exceptionable, {
             method: "typia.assert",
             path: _path + ".file",
@@ -314,11 +319,6 @@ function parseDump(json) {
             path: _path + ".endCol",
             expected: "(number | undefined)",
             value: input.endCol
-        }, _errorFactory)) && (undefined === input.text || "string" === typeof input.text || _a._assertGuard(_exceptionable, {
-            method: "typia.assert",
-            path: _path + ".text",
-            expected: "(string | undefined)",
-            value: input.text
         }, _errorFactory));
         const _ao5 = (input, _path, _exceptionable = true) => ("string" === typeof input.from || _a._assertGuard(_exceptionable, {
             method: "typia.assert",
@@ -388,10 +388,10 @@ function parseDump(json) {
             value: input.node
         }, _errorFactory));
         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))) && (undefined === input.diagnostics || Array.isArray(input.diagnostics) && input.diagnostics.every(elem => "object" === typeof elem && null !== elem && _io6(elem)));
-        const _io1 = input => "string" === typeof input.id && true === _iv4.has(input.kind) && "string" === typeof input.name && (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.modifiers || Array.isArray(input.modifiers) && input.modifiers.every(elem => true === _iv6.has(elem))) && (undefined === input.decorators || Array.isArray(input.decorators) && input.decorators.every(elem => "object" === typeof elem && null !== elem && _io2(elem))) && (undefined === input.evidence || "object" === typeof input.evidence && null !== input.evidence && _io4(input.evidence));
-        const _io2 = input => "string" === typeof input.name && (Array.isArray(input.arguments) && input.arguments.every(elem => "object" === typeof elem && null !== elem && _io3(elem)));
-        const _io3 = input => "string" === typeof input.text && (undefined === input.literal || "string" === typeof input.literal || "number" === typeof input.literal || "boolean" === typeof input.literal);
-        const _io4 = input => "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) && (undefined === input.text || "string" === typeof input.text);
+        const _io1 = input => "string" === typeof input.id && true === _iv4.has(input.kind) && "string" === typeof input.name && (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.modifiers || Array.isArray(input.modifiers) && input.modifiers.every(elem => true === _iv6.has(elem))) && (undefined === input.decorators || Array.isArray(input.decorators) && input.decorators.every(elem => "object" === typeof elem && null !== elem && _io2(elem))) && (undefined === input.evidence || "object" === typeof input.evidence && null !== input.evidence && _io4(input.evidence)) && (undefined === input.implementation || "object" === typeof input.implementation && null !== input.implementation && _io4(input.implementation));
+        const _io2 = input => "string" === typeof input.name && (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 => "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 === _iv9.has(input.kind) && (undefined === input.evidence || "object" === typeof input.evidence && null !== input.evidence && _io4(input.evidence));
         const _io6 = input => "string" === typeof input.file && "number" === typeof input.line && (undefined === input.column || "number" === typeof input.column) && ("string" === typeof input.code || "number" === typeof input.code) && "string" === typeof input.message && (undefined === input.severity || "error" === input.severity || "hint" === input.severity || "info" === input.severity || "warning" === input.severity) && (undefined === input.origin || "lint" === input.origin || "plugin" === input.origin || "tsc" === input.origin) && (undefined === input.node || "string" === typeof input.node);
         const __is = input => "object" === typeof input && null !== input && _io0(input);

package/lib/server/accessAliases.js

@@ -0,0 +1,53 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.accessAliasesFor = accessAliasesFor;
+/**
+ * Derive stable access-path aliases for a member edge from its source
+ * expression. If a hop reaches `Owner.member` through `obj.path.member`, the
+ * alias `Owner.path.member` keeps both the resolved owner and the concrete
+ * access path visible without reopening source.
+ */
+function accessAliasesFor(node, evidenceText) {
+    if (node === undefined ||
+        node.qualifiedName === undefined ||
+        evidenceText === undefined) {
+        return undefined;
+    }
+    const segments = dottedSegments(evidenceText);
+    if (segments.length < 2 || segments[segments.length - 1] !== node.name) {
+        return undefined;
+    }
+    const dot = node.qualifiedName.lastIndexOf(".");
+    if (dot < 0)
+        return undefined;
+    const owner = node.qualifiedName.slice(0, dot);
+    const suffix = segments.slice(1).join(".");
+    const aliases = new Set();
+    for (const candidate of [...ownerDisplayAliases(owner), owner]) {
+        const alias = `${candidate}.${suffix}`;
+        if (alias !== node.qualifiedName)
+            aliases.add(alias);
+    }
+    return aliases.size > 0 ? [...aliases] : undefined;
+}
+function dottedSegments(text) {
+    const normalized = text.trim().replace(/\?\./g, ".");
+    const parts = normalized.split(".");
+    if (parts.length < 2)
+        return [];
+    return parts.every((part) => /^[A-Za-z_$][\w$]*$/.test(part)) ? parts : [];
+}
+function ownerDisplayAliases(owner) {
+    const display = owner.replace(/^_+/, "");
+    const out = new Set();
+    for (const suffix of ["Internals", "Internal"]) {
+        if (display.length > suffix.length && display.endsWith(suffix)) {
+            out.add(display.slice(0, -suffix.length));
+        }
+    }
+    if (out.size === 0 && display !== owner)
+        out.add(display);
+    out.delete(owner);
+    return [...out];
+}
+//# sourceMappingURL=accessAliases.js.map

package/lib/server/accessAliases.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"accessAliases.js","sourceRoot":"","sources":["../../src/server/accessAliases.ts"],"names":[],"mappings":";;;AAEA;;;;;GAKG;AACH,0BACE,IAAgC,EAChC,YAAgC;IAEhC,IACE,IAAI,KAAK,SAAS;QAClB,IAAI,CAAC,aAAa,KAAK,SAAS;QAChC,YAAY,KAAK,SAAS,EAC1B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,QAAQ,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC;IAC9C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QACvE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAE9B,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,SAAS,IAAI,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;QAC/D,MAAM,KAAK,GAAG,GAAG,SAAS,IAAI,MAAM,EAAE,CAAC;QACvC,IAAI,KAAK,KAAK,IAAI,CAAC,aAAa;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACrD,CAAC;AAED,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAC7E,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAa;IACxC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,MAAM,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC;QAC/C,IAAI,OAAO,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/D,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,OAAO,KAAK,KAAK;QAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1D,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAClB,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;AAClB,CAAC"}