@ttsc/graph 0.30.3 → 0.31.0

package/lib/model/TtscGraphNativeArguments.d.ts

@@ -0,0 +1,40 @@
+/**
+ * Native argument vectors for graph and lint resident processes.
+ *
+ * @evidence contracts/common.md#principled-implementation Separate argv elements preserve project and artifact coordinates exactly, while lint's existing equals-form flags carry its manifest and context.
+ * @evidence contracts/common.md#clear-and-simple-design Two builders centralize the actual resident launch contracts used by their respective facades.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Supported native flags are retained without new CLI options, shell strings or fixture-specific arguments.
+ * @evidence contracts/common.md#meaningful-documentation Each builder states its protocol and the absence meaning of optional artifact/context coordinates.
+ * @evidenceExclude contracts/portability.md#os-neutral-implementation The namespace groups argv builders; serve and lint own their native coordinate representation.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources returns plain arrays and holds no handle.
+ * @evidenceExclude contracts/performance.md#efficient-algorithms groups two builders that each return a fixed-shape array.
+ * @evidenceExclude contracts/performance.md#reuse-equivalent-work its builders recompute a small array per spawn, so nothing is shared.
+ */
+export declare namespace TtscGraphNativeArguments {
+    /**
+     * Graph serve argv; a null artifact answer adds no startup overlay flag.
+     *
+     * @evidence contracts/common.md#principled-implementation Separate argv fields preserve graph cwd/config and the optional artifact path without shell parsing.
+     * @evidence contracts/common.md#clear-and-simple-design This builder is the actual facade's single launch-vector owner for serve.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts Existing supported flags are mapped directly; there is no shell command or fixture branch.
+     * @evidence contracts/common.md#meaningful-documentation The native headline states the protocol and the optional coordinate's absence meaning.
+     * @evidence contracts/portability.md#os-neutral-implementation Node spawn consumes the returned argv vector with native coordinate strings intact; no slash rewriting or shell quoting interprets paths, manifests or contexts.
+     * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources returns a fresh value and keeps no handle or state.
+     * @evidenceExclude contracts/performance.md#efficient-algorithms concatenates a fixed argv with at most one optional pair, in constant work.
+     * @evidenceExclude contracts/performance.md#reuse-equivalent-work builds one argv per spawn.
+     */
+    function serve(cwd: string, tsconfig: string, artifacts: string | null): string[];
+    /**
+     * Lint daemon argv; absent context retains the context-free rule contract.
+     *
+     * @evidence contracts/common.md#principled-implementation Equals-form argv fields retain the sidecar manifest and optional context as one native argument each.
+     * @evidence contracts/common.md#clear-and-simple-design This builder is the actual facade's single launch-vector owner for lint.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts Existing supported flags are mapped directly; there is no shell command or fixture branch.
+     * @evidence contracts/common.md#meaningful-documentation The native headline states the protocol and the optional coordinate's absence meaning.
+     * @evidence contracts/portability.md#os-neutral-implementation Node spawn consumes the returned argv vector with native coordinate strings intact; no slash rewriting or shell quoting interprets paths, manifests or contexts.
+     * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources returns a fresh value and keeps no handle or state.
+     * @evidenceExclude contracts/performance.md#efficient-algorithms concatenates a fixed argv with at most one optional entry, in constant work.
+     * @evidenceExclude contracts/performance.md#reuse-equivalent-work builds one argv per spawn.
+     */
+    function lint(cwd: string, tsconfig: string, manifest: string, context?: string): string[];
+}

package/lib/model/TtscGraphNativeArguments.js

@@ -0,0 +1,64 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TtscGraphNativeArguments = void 0;
+/**
+ * Native argument vectors for graph and lint resident processes.
+ *
+ * @evidence contracts/common.md#principled-implementation Separate argv elements preserve project and artifact coordinates exactly, while lint's existing equals-form flags carry its manifest and context.
+ * @evidence contracts/common.md#clear-and-simple-design Two builders centralize the actual resident launch contracts used by their respective facades.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Supported native flags are retained without new CLI options, shell strings or fixture-specific arguments.
+ * @evidence contracts/common.md#meaningful-documentation Each builder states its protocol and the absence meaning of optional artifact/context coordinates.
+ * @evidenceExclude contracts/portability.md#os-neutral-implementation The namespace groups argv builders; serve and lint own their native coordinate representation.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources returns plain arrays and holds no handle.
+ * @evidenceExclude contracts/performance.md#efficient-algorithms groups two builders that each return a fixed-shape array.
+ * @evidenceExclude contracts/performance.md#reuse-equivalent-work its builders recompute a small array per spawn, so nothing is shared.
+ */
+var TtscGraphNativeArguments;
+(function (TtscGraphNativeArguments) {
+    /**
+     * Graph serve argv; a null artifact answer adds no startup overlay flag.
+     *
+     * @evidence contracts/common.md#principled-implementation Separate argv fields preserve graph cwd/config and the optional artifact path without shell parsing.
+     * @evidence contracts/common.md#clear-and-simple-design This builder is the actual facade's single launch-vector owner for serve.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts Existing supported flags are mapped directly; there is no shell command or fixture branch.
+     * @evidence contracts/common.md#meaningful-documentation The native headline states the protocol and the optional coordinate's absence meaning.
+     * @evidence contracts/portability.md#os-neutral-implementation Node spawn consumes the returned argv vector with native coordinate strings intact; no slash rewriting or shell quoting interprets paths, manifests or contexts.
+     * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources returns a fresh value and keeps no handle or state.
+     * @evidenceExclude contracts/performance.md#efficient-algorithms concatenates a fixed argv with at most one optional pair, in constant work.
+     * @evidenceExclude contracts/performance.md#reuse-equivalent-work builds one argv per spawn.
+     */
+    function serve(cwd, tsconfig, artifacts) {
+        return [
+            "serve",
+            "--cwd",
+            cwd,
+            "--tsconfig",
+            tsconfig,
+            ...(artifacts === null ? [] : ["--artifacts", artifacts]),
+        ];
+    }
+    TtscGraphNativeArguments.serve = serve;
+    /**
+     * Lint daemon argv; absent context retains the context-free rule contract.
+     *
+     * @evidence contracts/common.md#principled-implementation Equals-form argv fields retain the sidecar manifest and optional context as one native argument each.
+     * @evidence contracts/common.md#clear-and-simple-design This builder is the actual facade's single launch-vector owner for lint.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts Existing supported flags are mapped directly; there is no shell command or fixture branch.
+     * @evidence contracts/common.md#meaningful-documentation The native headline states the protocol and the optional coordinate's absence meaning.
+     * @evidence contracts/portability.md#os-neutral-implementation Node spawn consumes the returned argv vector with native coordinate strings intact; no slash rewriting or shell quoting interprets paths, manifests or contexts.
+     * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources returns a fresh value and keeps no handle or state.
+     * @evidenceExclude contracts/performance.md#efficient-algorithms concatenates a fixed argv with at most one optional entry, in constant work.
+     * @evidenceExclude contracts/performance.md#reuse-equivalent-work builds one argv per spawn.
+     */
+    function lint(cwd, tsconfig, manifest, context) {
+        return [
+            "lsp-serve",
+            `--cwd=${cwd}`,
+            `--tsconfig=${tsconfig}`,
+            `--plugins-json=${manifest}`,
+            ...(context === undefined ? [] : [`--project-context-json=${context}`]),
+        ];
+    }
+    TtscGraphNativeArguments.lint = lint;
+})(TtscGraphNativeArguments || (exports.TtscGraphNativeArguments = TtscGraphNativeArguments = {}));
+//# sourceMappingURL=TtscGraphNativeArguments.js.map

package/lib/model/TtscGraphNativeArguments.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TtscGraphNativeArguments.js","sourceRoot":"","sources":["../../src/model/TtscGraphNativeArguments.ts"],"names":[],"mappings":";;;AAAA;;;;;;;;;;;GAWG;AACH,IAAiB,wBAAwB,CAsDxC;AAtDD,WAAiB,wBAAwB;IACvC;;;;;;;;;;;OAWG;IACH,SAAgB,KAAK,CACnB,GAAW,EACX,QAAgB,EAChB,SAAwB;QAExB,OAAO;YACL,OAAO;YACP,OAAO;YACP,GAAG;YACH,YAAY;YACZ,QAAQ;YACR,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;SAC1D,CAAC;IACJ,CAAC;IAbe,yBAAA,KAAK,QAapB,CAAA;IAED;;;;;;;;;;;OAWG;IACH,SAAgB,IAAI,CAClB,GAAW,EACX,QAAgB,EAChB,QAAgB,EAChB,OAAgB;QAEhB,OAAO;YACL,WAAW;YACX,SAAS,GAAG,EAAE;YACd,cAAc,QAAQ,EAAE;YACxB,kBAAkB,QAAQ,EAAE;YAC5B,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,0BAA0B,OAAO,EAAE,CAAC,CAAC;SACxE,CAAC;IACJ,CAAC;IAbe,yBAAA,IAAI,OAanB,CAAA;AACH,CAAC,EAtDgB,wBAAwB,aAAxB,wBAAwB,GAAxB,wBAAwB,QAsDxC"}

package/lib/model/TtscGraphNodeId.d.ts

@@ -1,7 +1,21 @@
-/** The structured components carried by a graph symbol id. */
+/**
+ * The structured components carried by a graph symbol id.
+ *
+ * @evidence contracts/common.md#principled-implementation Decoded path and name preserve quoted identity components; optional kind supports legacy ids without a suffix.
+ * @evidence contracts/common.md#clear-and-simple-design Three components isolate identity grammar from graph node payloads.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Legacy kind absence is explicit rather than replaced by a guessed declaration category.
+ * @evidence contracts/common.md#meaningful-documentation Native member comments describe decoded components and the legacy optional suffix.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources data shape only: it holds no handle, task or retained state.
+ * @evidenceExclude contracts/performance.md#efficient-algorithms data shape only: it contains no loop or algorithm.
+ * @evidenceExclude contracts/performance.md#reuse-equivalent-work data shape only: it computes nothing another request could share.
+ * @evidenceExclude contracts/portability.md#os-neutral-implementation data shape only: it touches no file, path or process.
+ */
 export interface ITtscGraphNodeId {
+    /** Unquoted producer path coordinate. */
     path: string;
+    /** Unquoted simple or owner-qualified declaration name. */
     name: string;
+    /** Declaration kind suffix, absent on accepted legacy identities. */
     kind?: string;
 }
 /**
@@ -9,9 +23,47 @@ export interface ITtscGraphNodeId {
  *
  * The producer quotes `#` and `\\` inside path and name. This reader also
  * accepts pre-codec ordinary ids, so a current package can read an older dump.
+ *
+ * Returns undefined for a missing unquoted separator or empty name/kind.
+ *
+ * @evidence contracts/common.md#principled-implementation Escape-parity locates the component separator, then the final colon and inverse quoting recover identity parts without position dependence.
+ * @evidence contracts/common.md#clear-and-simple-design Separator discovery and quoting are private codec helpers; this function owns assembling the parsed record.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Legacy UNC handling preserves a supported older encoding rather than guessing identity from basename or source position.
+ * @evidence contracts/common.md#meaningful-documentation Native prose documents quoting, legacy support and malformed-input absence before acknowledgment tags.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources returns a small record and retains nothing.
+ * @evidenceExclude contracts/performance.md#efficient-algorithms one scan for the unescaped hash, one lastIndexOf and one unescape pass, linear in the id length.
+ * @evidenceExclude contracts/performance.md#reuse-equivalent-work pure per-call work with no cache, so there is nothing to share or invalidate.
+ * @evidenceExclude contracts/portability.md#os-neutral-implementation decodes an id string whose path component is text that is never resolved or opened.
  */
 export declare function parseTtscGraphNodeId(id: string): ITtscGraphNodeId | undefined;
-/** Encode a symbol identity without making its component boundaries ambiguous. */
+/**
+ * Encode a symbol identity without making its component boundaries ambiguous.
+ *
+ * Quotes backslashes and hashes in path/name before adding the hash separator
+ * and kind suffix. The caller supplies a supported declaration kind.
+ *
+ * @evidence contracts/common.md#principled-implementation Escaping delimiter characters before concatenation makes path/name boundaries recoverable by the corresponding parser.
+ * @evidence contracts/common.md#clear-and-simple-design One writer shares a quoting helper for both components.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Identity uses actual path/name/kind rather than shortened fixture-specific aliases.
+ * @evidence contracts/common.md#meaningful-documentation Native prose identifies quoting and the kind precondition without exposing implementation bodies.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources returns a string and retains nothing.
+ * @evidenceExclude contracts/performance.md#efficient-algorithms two replaceAll passes over path and name, linear in their length.
+ * @evidenceExclude contracts/performance.md#reuse-equivalent-work pure per-call work with no cache, so there is nothing to share or invalidate.
+ * @evidenceExclude contracts/portability.md#os-neutral-implementation quotes path text without resolving it or touching the filesystem.
+ */
 export declare function writeTtscGraphNodeId(path: string, name: string, kind: string): string;
-/** Return the raw path component when id is a symbol identity. */
+/**
+ * Return the unquoted path component when id is a symbol identity.
+ *
+ * Malformed ids return undefined under the shared parser's rules.
+ *
+ * @evidence contracts/common.md#principled-implementation Delegating to the full parser preserves escape and legacy grammar before selecting its path.
+ * @evidence contracts/common.md#clear-and-simple-design The adapter adds no independent delimiter parsing policy.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Paths are not sliced at the first raw hash, which may be quoted identity content.
+ * @evidence contracts/common.md#meaningful-documentation Native prose states decoded output and malformed-input absence.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources returns a string and retains nothing.
+ * @evidenceExclude contracts/performance.md#efficient-algorithms delegates to the id parser and reads one field.
+ * @evidenceExclude contracts/performance.md#reuse-equivalent-work pure per-call work with no cache, so there is nothing to share or invalidate.
+ * @evidenceExclude contracts/portability.md#os-neutral-implementation extracts the path component of an id as text without resolving it.
+ */
 export declare function ttscGraphNodeIdPath(id: string): string | undefined;

package/lib/model/TtscGraphNodeId.js

@@ -8,6 +8,17 @@ exports.ttscGraphNodeIdPath = ttscGraphNodeIdPath;
  *
  * The producer quotes `#` and `\\` inside path and name. This reader also
  * accepts pre-codec ordinary ids, so a current package can read an older dump.
+ *
+ * Returns undefined for a missing unquoted separator or empty name/kind.
+ *
+ * @evidence contracts/common.md#principled-implementation Escape-parity locates the component separator, then the final colon and inverse quoting recover identity parts without position dependence.
+ * @evidence contracts/common.md#clear-and-simple-design Separator discovery and quoting are private codec helpers; this function owns assembling the parsed record.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Legacy UNC handling preserves a supported older encoding rather than guessing identity from basename or source position.
+ * @evidence contracts/common.md#meaningful-documentation Native prose documents quoting, legacy support and malformed-input absence before acknowledgment tags.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources returns a small record and retains nothing.
+ * @evidenceExclude contracts/performance.md#efficient-algorithms one scan for the unescaped hash, one lastIndexOf and one unescape pass, linear in the id length.
+ * @evidenceExclude contracts/performance.md#reuse-equivalent-work pure per-call work with no cache, so there is nothing to share or invalidate.
+ * @evidenceExclude contracts/portability.md#os-neutral-implementation decodes an id string whose path component is text that is never resolved or opened.
  */
 function parseTtscGraphNodeId(id) {
     const hash = graphNodeIdHash(id);
@@ -25,11 +36,38 @@ function parseTtscGraphNodeId(id) {
         ...(colon < 0 ? {} : { kind: tail.slice(colon + 1) }),
     };
 }
-/** Encode a symbol identity without making its component boundaries ambiguous. */
+/**
+ * Encode a symbol identity without making its component boundaries ambiguous.
+ *
+ * Quotes backslashes and hashes in path/name before adding the hash separator
+ * and kind suffix. The caller supplies a supported declaration kind.
+ *
+ * @evidence contracts/common.md#principled-implementation Escaping delimiter characters before concatenation makes path/name boundaries recoverable by the corresponding parser.
+ * @evidence contracts/common.md#clear-and-simple-design One writer shares a quoting helper for both components.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Identity uses actual path/name/kind rather than shortened fixture-specific aliases.
+ * @evidence contracts/common.md#meaningful-documentation Native prose identifies quoting and the kind precondition without exposing implementation bodies.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources returns a string and retains nothing.
+ * @evidenceExclude contracts/performance.md#efficient-algorithms two replaceAll passes over path and name, linear in their length.
+ * @evidenceExclude contracts/performance.md#reuse-equivalent-work pure per-call work with no cache, so there is nothing to share or invalidate.
+ * @evidenceExclude contracts/portability.md#os-neutral-implementation quotes path text without resolving it or touching the filesystem.
+ */
 function writeTtscGraphNodeId(path, name, kind) {
     return `${escapeGraphNodeIdPart(path)}#${escapeGraphNodeIdPart(name)}:${kind}`;
 }
-/** Return the raw path component when id is a symbol identity. */
+/**
+ * Return the unquoted path component when id is a symbol identity.
+ *
+ * Malformed ids return undefined under the shared parser's rules.
+ *
+ * @evidence contracts/common.md#principled-implementation Delegating to the full parser preserves escape and legacy grammar before selecting its path.
+ * @evidence contracts/common.md#clear-and-simple-design The adapter adds no independent delimiter parsing policy.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Paths are not sliced at the first raw hash, which may be quoted identity content.
+ * @evidence contracts/common.md#meaningful-documentation Native prose states decoded output and malformed-input absence.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources returns a string and retains nothing.
+ * @evidenceExclude contracts/performance.md#efficient-algorithms delegates to the id parser and reads one field.
+ * @evidenceExclude contracts/performance.md#reuse-equivalent-work pure per-call work with no cache, so there is nothing to share or invalidate.
+ * @evidenceExclude contracts/portability.md#os-neutral-implementation extracts the path component of an id as text without resolving it.
+ */
 function ttscGraphNodeIdPath(id) {
     return parseTtscGraphNodeId(id)?.path;
 }

package/lib/model/TtscGraphNodeId.js.map

@@ -1 +1 @@
-{"version":3,"file":"TtscGraphNodeId.js","sourceRoot":"","sources":["../../src/model/TtscGraphNodeId.ts"],"names":[],"mappings":";;;;;AAOA;;;;;GAKG;AACH,8BAAqC,EAAU;IAC7C,MAAM,IAAI,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC;IACjC,IAAI,IAAI,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAChC,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/D,OAAO;QACL,IAAI,EAAE,uBAAuB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,EAAE,uBAAuB,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACtE,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;KACtD,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,8BACE,IAAY,EACZ,IAAY,EACZ,IAAY;IAEZ,OAAO,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;AACjF,CAAC;AAED,kEAAkE;AAClE,6BAAoC,EAAU;IAC5C,OAAO,oBAAoB,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC;AACxC,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAa;IAC5C,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAC9B,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAChD,IAAI,IAAI,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;gBACrE,MAAM,IAAI,IAAI,CAAC;gBACf,KAAK,EAAE,CAAC;gBACR,SAAS;YACX,CAAC;QACH,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,KAAa,EAAE,KAAa;IAClD,OAAO,CACL,KAAK,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CACzE,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,EAAU;IACjC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC/C,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,GAAG;YAAE,SAAS;QAChC,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,IAAI,KAAK,GAAG,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,KAAK,EAAE;YACnE,OAAO,EAAE,CAAC;QACZ,IAAI,OAAO,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;IACtC,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC"}
+{"version":3,"file":"TtscGraphNodeId.js","sourceRoot":"","sources":["../../src/model/TtscGraphNodeId.ts"],"names":[],"mappings":";;;;;AAuBA;;;;;;;;;;;;;;;;GAgBG;AACH,8BAAqC,EAAU;IAC7C,MAAM,IAAI,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC;IACjC,IAAI,IAAI,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAChC,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/D,OAAO;QACL,IAAI,EAAE,uBAAuB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,EAAE,uBAAuB,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACtE,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;KACtD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,8BACE,IAAY,EACZ,IAAY,EACZ,IAAY;IAEZ,OAAO,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;AACjF,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,6BAAoC,EAAU;IAC5C,OAAO,oBAAoB,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC;AACxC,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAa;IAC5C,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAC9B,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAChD,IAAI,IAAI,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;gBACrE,MAAM,IAAI,IAAI,CAAC;gBACf,KAAK,EAAE,CAAC;gBACR,SAAS;YACX,CAAC;QACH,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,KAAa,EAAE,KAAa;IAClD,OAAO,CACL,KAAK,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CACzE,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,EAAU;IACjC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC/C,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,GAAG;YAAE,SAAS;QAChC,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,IAAI,KAAK,GAAG,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,KAAK,EAAE;YACnE,OAAO,EAAE,CAAC;QACZ,IAAI,OAAO,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;IACtC,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC"}

package/lib/model/TtscGraphProjection.d.ts

@@ -0,0 +1,156 @@
+import { ITtscGraphDump } from "../structures/ITtscGraphDump";
+import { ITtscGraphEdge } from "../structures/ITtscGraphEdge";
+import { ITtscGraphNode } from "../structures/ITtscGraphNode";
+import { TtscGraphReadonly } from "./TtscGraphReadonly";
+/**
+ * Immutable structural projection components for validated resident facts.
+ *
+ * Node refinement and containment depend on all declarations in the same file;
+ * export reanchoring depends on the source node's module declaration. Grouping
+ * both raw nodes and source-owned edges by that file captures these
+ * dependencies, including metadata/artifact nodes sharing it. Global metadata
+ * invalidates all components, and complete generation order is reconstructed
+ * independently.
+ *
+ * @evidence contracts/common.md#principled-implementation Frozen raw reference sequences prove unchanged component inputs; all same-file declarations and source edges participate, so lexical collisions, module folding and artifact parents cannot borrow stale derived facts.
+ * @evidence contracts/common.md#clear-and-simple-design Full synthesis remains one implementation used by cold construction and invalidated components; create owns dependency partitioning and immutable component reuse.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts The store still validates the complete generation first. No content witness, owner or raw edge is skipped to obtain reuse, and public DTOs are never frozen by borrowing.
+ * @evidence contracts/common.md#meaningful-documentation Native prose explains actual synthesis dependencies, metadata invalidation and generation ordering rather than claiming universally delta-only work.
+ * @evidence contracts/performance.md#efficient-algorithms Grouping and generation ordering scan all raw references. Only changed file components synthesize outer records and detach/freeze nested facts once; metadata changes rebuild all. Reference arrays/maps remain linear in generation size.
+ * @evidence contracts/performance.md#reuse-equivalent-work Equal frozen node/edge sequences and equal project/config/producer/capability/universe metadata retain the component. Cross-file edge changes invalidate their owning component; target absence remains a store validation error.
+ * @evidence contracts/performance.md#bound-retention-and-release-resources Returned state retains only current file components and generation arrays; deleted components are omitted and no previous State reference is stored.
+ * @evidenceExclude contracts/portability.md#os-neutral-implementation In-memory fact coordinates and reference identity select reuse; no native filesystem or process operation runs here.
+ */
+export declare namespace TtscGraphProjection {
+    /**
+     * Current projection and the inputs qualifying each immutable component.
+     *
+     * @evidence contracts/common.md#principled-implementation The metadata witness and complete raw reference sequences distinguish reusable components from invalidated ones; generation arrays preserve global order.
+     * @evidence contracts/common.md#clear-and-simple-design One current state groups dependency witnesses and projected output; it contains no previous-state link.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts Component validity is established by create after store validation rather than assumed from a file name.
+     * @evidence contracts/common.md#meaningful-documentation The headline describes the dependency witness; member comments distinguish its coordinates and ordered outputs.
+     * @evidenceExclude contracts/performance.md#efficient-algorithms State describes data; create owns scanning and synthesis.
+     * @evidenceExclude contracts/performance.md#reuse-equivalent-work State carries witnesses; create decides whether they qualify reuse.
+     * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources State owns no lifecycle operation; its model and session control lifetime.
+     * @evidenceExclude contracts/portability.md#os-neutral-implementation In-memory data only, without native coordinates being opened or resolved.
+     */
+    interface State {
+        /** Project, build-universe and producer authority for these components. */
+        readonly metadata: string;
+        /** Complete same-file synthesis inputs and their projected immutable facts. */
+        readonly components: ReadonlyMap<string, Component>;
+        /** Non-module declarations followed by file containers in full-model order. */
+        readonly nodes: readonly TtscGraphReadonly<ITtscGraphNode>[];
+        /** Original relation order followed by synthesized ownership relations. */
+        readonly edges: readonly TtscGraphReadonly<ITtscGraphEdge>[];
+    }
+    /**
+     * Detach a caller's full dump before exposing synthesized immutable facts.
+     *
+     * Synthesis borrows nested facts synchronously and changes only new outer
+     * records. Final recursive copying detaches those facts before freezing or
+     * exposing the result, for mutable callers and frozen resident inputs alike.
+     *
+     * @evidence contracts/common.md#principled-implementation Readonly borrowed synthesis inputs preserve caller ownership; only fresh outer records change, and final recursive copying isolates every nested record before freezing and publication.
+     * @evidence contracts/common.md#clear-and-simple-design Cold models and invalidated components use the same synthesis implementation.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts Native export relations remain authoritative and no caller-owned DTO is frozen in place.
+     * @evidence contracts/common.md#meaningful-documentation Native prose states caller ownership, synchronous borrowing, construction-local changes and the final immutable publication boundary.
+     * @evidence contracts/performance.md#efficient-algorithms Synthesis scans facts and indexes owner handles; only colliding handles require candidate scans. One final recursive copy costs the selected fact population's nested bytes, without an intermediate mutable DTO copy.
+     * @evidenceExclude contracts/performance.md#reuse-equivalent-work This operation constructs a supplied population; create selects components requiring construction.
+     * @evidence contracts/performance.md#bound-retention-and-release-resources The returned frozen facts transfer to the model/component owner; no historical state is retained here.
+     * @evidenceExclude contracts/portability.md#os-neutral-implementation In-memory synthesis and copying perform no native operations.
+     */
+    function full(dump: TtscGraphReadonly<Pick<ITtscGraphDump, "nodes" | "edges">>): {
+        readonly nodes: readonly {
+            readonly id: string;
+            readonly kind: import("../structures").TtscGraphNodeKind;
+            readonly parent?: string;
+            readonly name: string;
+            readonly qualifiedName?: string;
+            readonly file: string;
+            readonly external: boolean;
+            readonly ignored?: boolean;
+            readonly exported?: boolean;
+            readonly closure?: boolean;
+            readonly modifiers?: readonly import("../structures").TtscGraphNodeModifier[] | undefined;
+            readonly literals?: readonly string[] | undefined;
+            readonly enumMembers?: readonly {
+                readonly name: string;
+                readonly value?: string;
+            }[] | undefined;
+            readonly objectMembers?: readonly {
+                readonly name: string;
+                readonly kind: "property" | "method";
+                readonly line?: number;
+                readonly signature?: string;
+            }[] | undefined;
+            readonly decorators?: readonly {
+                readonly name: string;
+                readonly arguments: readonly {
+                    readonly literal?: string | number | boolean;
+                }[];
+            }[] | undefined;
+            readonly docTags?: readonly {
+                readonly name: string;
+                readonly text?: string;
+            }[] | undefined;
+            readonly signature?: string;
+            readonly evidence?: {
+                readonly file: string;
+                readonly startLine: number;
+                readonly startCol?: number;
+                readonly endLine?: number;
+                readonly endCol?: number;
+            } | undefined;
+            readonly implementation?: {
+                readonly file: string;
+                readonly startLine: number;
+                readonly startCol?: number;
+                readonly endLine?: number;
+                readonly endCol?: number;
+            } | undefined;
+        }[];
+        readonly edges: readonly {
+            readonly from: string;
+            readonly to: string;
+            readonly kind: import("../structures").TtscGraphEdgeKind;
+            readonly evidence?: {
+                readonly file: string;
+                readonly startLine: number;
+                readonly startCol?: number;
+                readonly endLine?: number;
+                readonly endCol?: number;
+            } | undefined;
+        }[];
+    };
+    /**
+     * Reuse only components with the same complete synthesis input sequence.
+     *
+     * The caller supplies store-owned frozen facts after complete validation.
+     * Same-file declarations determine lexical owners and module anchors; source
+     * edges belong to that same component. Output ordering remains
+     * generation-wide.
+     *
+     * @evidence contracts/common.md#principled-implementation Complete ordered raw inputs and global metadata qualify each component. Synthesis dependencies are local to a node's file, while cross-file edge target existence has already been validated by the store.
+     * @evidence contracts/common.md#clear-and-simple-design Partitioning, component selection and global output ordering are separate stages; full owns the shared synthesis implementation.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts Every raw node and source edge participates; no ownership, provenance or manifest validation is skipped and no native relation is invented.
+     * @evidence contracts/common.md#meaningful-documentation Native paragraphs explain the frozen-input premise and why same-file declarations and source edges form the dependency boundary.
+     * @evidence contracts/performance.md#efficient-algorithms Linear reference grouping/equality and generation ordering remain necessary. Invalidated components borrow nested inputs during synthesis and detach/freeze once at full's publication boundary, with temporary maps/arrays proportional to current facts.
+     * @evidence contracts/performance.md#reuse-equivalent-work Exact raw reference sequences plus project/config/schema/capability/producer/universe metadata retain equivalent components. Changed owner declarations or source relations invalidate the whole dependent file component.
+     * @evidence contracts/performance.md#bound-retention-and-release-resources New state retains only current components and output arrays; deleted components disappear and no previous state is linked.
+     * @evidenceExclude contracts/portability.md#os-neutral-implementation Fact coordinates select in-memory groups; no filesystem or process operation interprets them.
+     */
+    function create(dump: TtscGraphReadonly<ITtscGraphDump>, previous?: State): State;
+}
+type RawNode = TtscGraphReadonly<ITtscGraphDump.INode>;
+type RawEdge = TtscGraphReadonly<ITtscGraphDump.IEdge>;
+/** One file's complete immutable raw dependencies and derived output. */
+interface Component {
+    readonly rawNodes: readonly RawNode[];
+    readonly rawEdges: readonly RawEdge[];
+    readonly nodes: ReadonlyMap<string, TtscGraphReadonly<ITtscGraphNode>>;
+    readonly file: TtscGraphReadonly<ITtscGraphNode> | undefined;
+    readonly edges: ReadonlyMap<RawEdge, TtscGraphReadonly<ITtscGraphEdge>>;
+    readonly structural: ReadonlyMap<string, TtscGraphReadonly<ITtscGraphEdge>>;
+}
+export {};