ttsc 0.34.2 → 0.35.0

package/lib/compiler/internal/build/RuntimeBuildCache.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RuntimeBuildCache.js","sourceRoot":"","sources":["../../../../src/compiler/internal/build/RuntimeBuildCache.ts"],"names":[],"mappings":";;;;;;AAAA,8DAAiC;AACjC,sDAAyB;AACzB,0DAA6B;AAE7B,yDAAsD;AACtD,2FAAwF;AAGxF;;;;;;;;;;;;;;GAcG;AACH,IAAiB,iBAAiB,CAoOjC;AApOD,WAAiB,iBAAiB;IAChC,MAAM,MAAM,GAAG,uBAAuB,CAAC;IACvC,MAAM,SAAS,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC;IAEpC;;;;;;;;;;;;;;;;OAgBG;IACH,SAAgB,GAAG,CAAC,KAWnB;QACC,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC;QACxD,IAAI,QAA4B,CAAC;QACjC,IAAI,CAAC;YACH,QAAQ,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;QAC7B,CAAC;QAAC,MAAM,CAAC;YACP,qCAAqC;QACvC,CAAC;QACD,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,KAAK,EAAE,CAAC;QACjD,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,GAAG,IAAI,GAAG,QAAQ,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,mBAAI,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,GAAG,OAAO,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,iBAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,cAAc,EAAE,IAAI,IAAI,CAAC,IAAI,GAAG,SAAS;gBAClE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;YACrD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAC3D,IACE,QAAQ,CAAC,MAAM,KAAK,MAAM;gBAC1B,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ;gBACpC,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAE1C,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;YACpD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC3C,IACE,KAAK,CAAC,QAAQ,KAAK,QAAQ;gBAC3B,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;gBACjC,CAAC,mBAAI,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;gBAC/B,KAAK,CAAC,MAAM,EAAE,MAAM,KAAK,CAAC;gBAC1B,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;gBAC7B,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC;gBAEzC,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;YACrD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;YAChC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACnC,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;oBACtB,MAAM,CAAC,MAAM,KAAK,CAAC;oBACnB,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ;oBAC7B,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ;oBAC7B,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;oBACxB,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;oBACpB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC;oBAEjE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;gBAClD,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACvB,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,IAAI,EAAE,CAAC;gBACjE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,mBAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;oBAClD,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;YAC/D,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBAC1C,MAAM,MAAM,GAAG,mBAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBAC9C,iBAAE,CAAC,SAAS,CAAC,mBAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBACxD,iBAAE,CAAC,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBACvE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACxB,CAAC;YACD,IACE,KAAK,CAAC,OAAO,EAAE,KAAK,QAAQ;gBAC5B,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC;gBAEzC,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;YACzD,IAAA,uCAAkB,EAAC,IAAI,CAAC,CAAC;YACzB,mBAAQ,CAAC,oBAAoB,CAAC,qBAAqB,EAAE;gBACnD,OAAO,EAAE,QAAQ;gBACjB,GAAG;aACJ,CAAC,CAAC;YACH,OAAO,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9D,CAAC;QAAC,MAAM,CAAC;YACP,KAAK,MAAM,MAAM,IAAI,QAAQ;gBAC3B,IAAI,CAAC;oBACH,iBAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;gBACxB,CAAC;gBAAC,MAAM,CAAC;oBACP,iEAAiE;gBACnE,CAAC;QACL,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC;QACvC,IAAI,SAA6B,CAAC;QAClC,IAAI,CAAC;YACH,MAAM,OAAO,GAAuB,EAAE,CAAC;YACvC,IAAI,WAAW,GAAG,CAAC,CAAC;YACpB,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAChC,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;gBACjC,KAAK,MAAM,KAAK,IAAI,iBAAE,CAAC,WAAW,CAAC,SAAS,EAAE;oBAC5C,aAAa,EAAE,IAAI;iBACpB,CAAC,EAAE,CAAC;oBACH,MAAM,MAAM,GAAG,mBAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;oBAChD,IAAI,KAAK,CAAC,cAAc,EAAE;wBAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;oBACtE,IAAI,KAAK,CAAC,WAAW,EAAE;wBAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;yBACzC,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;wBACxB,WAAW,IAAI,iBAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC;wBACxC,IAAI,WAAW,GAAG,SAAS,GAAG,GAAG;4BAAE,OAAO,MAAM,CAAC;wBACjD,OAAO,CAAC,IAAI,CAAC;4BACX,mBAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC;4BACpC,iBAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;yBAC3C,CAAC,CAAC;oBACL,CAAC;;wBAAM,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;gBACvD,CAAC;YACH,CAAC;YACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC;YACxC,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC;gBAC7B,QAAQ;gBACR,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,MAAM;gBACN,OAAO;aACR,CAAC,CAAC;YACH,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC;gBAC1B,MAAM,EAAE,MAAM;gBACd,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC;gBACrB,OAAO;aACR,CAAC,CAAC;YACH,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,SAAS;gBAAE,OAAO,MAAM,CAAC;YACvD,IAAI,KAAK,CAAC,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC;gBACrE,OAAO,MAAM,CAAC;YAChB,iBAAE,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACnD,IAAI,iBAAE,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,cAAc,EAAE;gBAAE,OAAO,MAAM,CAAC;YAClE,SAAS,GAAG,mBAAI,CAAC,IAAI,CACnB,KAAK,CAAC,SAAS,EACf,GAAG,GAAG,IAAI,qBAAM,CAAC,UAAU,EAAE,MAAM,CACpC,CAAC;YACF,iBAAE,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YAClD,iBAAE,CAAC,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YAC/B,mBAAQ,CAAC,oBAAoB,CAAC,qBAAqB,EAAE;gBACnD,OAAO,EAAE,UAAU;gBACnB,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACP,2DAA2D;QAC7D,CAAC;gBAAS,CAAC;YACT,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,IAAI,CAAC;oBACH,iBAAE,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;gBAC3B,CAAC;gBAAC,MAAM,CAAC;oBACP,yCAAyC;gBAC3C,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAtJe,kBAAA,GAAG,MAsJlB,CAAA;IAED,yDAAyD;IACzD,SAAS,MAAM,CAAC,IAAY;QAC1B,OAAO,qBAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChE,CAAC;IAED,4DAA4D;IAC5D,SAAS,YAAY,CAAC,IAAY;QAChC,OAAO,CACL,IAAI,CAAC,MAAM,KAAK,CAAC;YACjB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YACpB,CAAC,mBAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YACtB,mBAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE;YAC5B,mBAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI;YAC7B,IAAI,KAAK,GAAG;YACZ,IAAI,KAAK,IAAI;YACb,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,mBAAI,CAAC,GAAG,CAAC,CAClC,CAAC;IACJ,CAAC;IAED,yEAAyE;IACzE,SAAS,QAAQ,CACf,MAAuB,EACvB,QAAgB,EAChB,OAAe;QAEf,MAAM,IAAI,GAAG,CAAC,MAAc,EAAU,EAAE;YACtC,MAAM,QAAQ,GAAG,mBAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACjD,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC;gBACzB,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;YAChE,OAAO,mBAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC,CAAC;QACF,OAAO;YACL,GAAG,MAAM;YACT,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC;YAC5C,cAAc,EACZ,MAAM,CAAC,cAAc,KAAK,SAAS;gBACjC,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC;oBAC/D,IAAI,CAAC,MAAM,CAAC;oBACZ,OAAO;iBACR,CAAC,CACH;YACP,0BAA0B,EACxB,MAAM,CAAC,0BAA0B,KAAK,SAAS;gBAC7C,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,0BAA0B,CAAC,CAAC,GAAG,CACnD,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAC7C,CACF;YACP,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;YACnD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;SACpD,CAAC;IACJ,CAAC;AACH,CAAC,EApOgB,iBAAiB,aAAjB,iBAAiB,GAAjB,iBAAiB,QAoOjC"}

package/lib/compiler/internal/build/RuntimeBuildInputs.d.ts

@@ -0,0 +1,44 @@
+import type { TtscBuildResult } from "../../../structures/internal/TtscBuildResult";
+import type { BuildExecution } from "./BuildExecution";
+import type { RunBuildOptions } from "./RunBuildOptions";
+/**
+ * Prove runtime build inputs through the selected upstream compiler's read-only
+ * effective configuration and source-selection commands. Repeating selection
+ * discovers added roots and changed resolution candidates without guessing a
+ * project boundary or treating workspace links as immutable dependencies.
+ * Native plugin observations add their independently replayed input closure.
+ * Custom compiler overrides require the physical identity of the installed
+ * package compiler; wrappers with undisclosed external inputs stay fresh.
+ *
+ * @evidence contracts/common.md#principled-implementation The actual selected compiler defines effective options and source membership; content and physical identities cover that closure and package scopes, with separate native producer proof for checks.
+ * @evidence contracts/common.md#clear-and-simple-design One factory supplies input capture and result admission to the runtime document store without changing normal build dispatch.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Incomplete descriptors, unsupported effectful compiler modes and unproved native producers and custom compilers without package authority use the existing fresh build rather than weakening diagnostics or substituting a compiler.
+ * @evidence contracts/common.md#meaningful-documentation Native prose describes compiler-owned membership, workspace scope and independent plugin observations.
+ * @evidence contracts/portability.md#os-neutral-implementation The selected executable receives native argv and cwd; source and package scopes use native physical paths and preserve lexical spellings without OS-wide case folding.
+ * @evidence contracts/performance.md#efficient-algorithms Each snapshot runs two read-only native queries and hashes selected source, package, executable and declared host input bytes; shared ancestor sets avoid repeated package-scope walks.
+ * @evidence contracts/performance.md#reuse-equivalent-work A completed emit may be reused only for equal selected input snapshots and currently valid native witnesses; unsupported proof falls back to compilation.
+ * @evidence contracts/performance.md#bound-retention-and-release-resources Query buffers and path/hash records are call-local, with source/report bytes unbounded by this factory; the document store owns persistent byte limits and retention.
+ */
+export declare namespace RuntimeBuildInputs {
+    /**
+     * Construct the proof owners for one private runtime request.
+     * Program-mutating transform hosts need their declared emit-input sidecar.
+     * Check hosts need their declared observation protocol and complete
+     * descriptor discovery; no-plugin builds use the actual compiler's
+     * source/configuration selection directly. Custom selections are reusable
+     * only when they name that same package-backed compiler.
+     *
+     * @evidence contracts/common.md#principled-implementation Eligibility requires a private emitting request, complete descriptor selection and supported check witnesses; captures bracket content identities and native source selection, and result admission requires complete emitted-source ownership.
+     * @evidence contracts/common.md#clear-and-simple-design Two closures share the resolved request while capture owns current selection and admission owns retained generation proof.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts Native transforms without complete emit observations and arbitrary external-code or profiling modes decline reuse rather than inventing input completeness. Custom compiler overrides need matching installed package identity, including inherited dependency hints; the original build remains the fallback.
+     * @evidence contracts/common.md#meaningful-documentation Native prose states current producer support and private-runtime scope, including why fresh transformation remains necessary.
+     * @evidence contracts/portability.md#os-neutral-implementation Source and package observations use native paths and bracketed byte reads, and upstream probes use the original compiler working directory and argv without shell composition.
+     * @evidence contracts/performance.md#efficient-algorithms Capture performs two upstream selection/config queries, actual executable proofs and O(selected bytes) hashes; unique ancestor and path sets bound duplicate reads within one snapshot. Admission replays only recorded native inputs.
+     * @evidence contracts/performance.md#reuse-equivalent-work Equal deterministic snapshots retain compiler arguments, versions, content, scope manifests, plugin binaries/configuration and environment; graph and host witnesses separately gate cached check reuse.
+     * @evidence contracts/performance.md#bound-retention-and-release-resources The resolved context and closures belong to one build; each capture releases local source and native-output buffers on return, with no resident process or historical map retained.
+     */
+    function create(options: RunBuildOptions, execution: ReturnType<typeof BuildExecution.resolveExecutionContext>): {
+        capture: () => string | undefined;
+        admit: (result: TtscBuildResult, emitDir: string) => boolean;
+    } | undefined;
+}

package/lib/compiler/internal/build/RuntimeBuildInputs.js

@@ -0,0 +1,282 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RuntimeBuildInputs = void 0;
+const node_crypto_1 = __importDefault(require("node:crypto"));
+const node_fs_1 = __importDefault(require("node:fs"));
+const node_path_1 = __importDefault(require("node:path"));
+const resolveNodeBinary_1 = require("../../../internal/resolveNodeBinary");
+const runtimeExecutableIdentity_1 = require("../../../internal/runtimeExecutableIdentity");
+const PluginContentIdentities_1 = require("../../../plugin/internal/source/PluginContentIdentities");
+const pluginSourceStateHolds_1 = require("../../../plugin/internal/source/pluginSourceStateHolds");
+const CompilerArgumentsInspection_1 = require("../CompilerArgumentsInspection");
+const resolveTsgo_1 = require("../resolveTsgo");
+const SidecarEnvironment_1 = require("../sharedHost/SidecarEnvironment");
+const spawnNative_1 = require("../spawnNative");
+const PassthroughFlags_1 = require("./PassthroughFlags");
+const RuntimeInputProof_1 = require("./RuntimeInputProof");
+const TsgoArguments_1 = require("./TsgoArguments");
+/**
+ * Prove runtime build inputs through the selected upstream compiler's read-only
+ * effective configuration and source-selection commands. Repeating selection
+ * discovers added roots and changed resolution candidates without guessing a
+ * project boundary or treating workspace links as immutable dependencies.
+ * Native plugin observations add their independently replayed input closure.
+ * Custom compiler overrides require the physical identity of the installed
+ * package compiler; wrappers with undisclosed external inputs stay fresh.
+ *
+ * @evidence contracts/common.md#principled-implementation The actual selected compiler defines effective options and source membership; content and physical identities cover that closure and package scopes, with separate native producer proof for checks.
+ * @evidence contracts/common.md#clear-and-simple-design One factory supplies input capture and result admission to the runtime document store without changing normal build dispatch.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Incomplete descriptors, unsupported effectful compiler modes and unproved native producers and custom compilers without package authority use the existing fresh build rather than weakening diagnostics or substituting a compiler.
+ * @evidence contracts/common.md#meaningful-documentation Native prose describes compiler-owned membership, workspace scope and independent plugin observations.
+ * @evidence contracts/portability.md#os-neutral-implementation The selected executable receives native argv and cwd; source and package scopes use native physical paths and preserve lexical spellings without OS-wide case folding.
+ * @evidence contracts/performance.md#efficient-algorithms Each snapshot runs two read-only native queries and hashes selected source, package, executable and declared host input bytes; shared ancestor sets avoid repeated package-scope walks.
+ * @evidence contracts/performance.md#reuse-equivalent-work A completed emit may be reused only for equal selected input snapshots and currently valid native witnesses; unsupported proof falls back to compilation.
+ * @evidence contracts/performance.md#bound-retention-and-release-resources Query buffers and path/hash records are call-local, with source/report bytes unbounded by this factory; the document store owns persistent byte limits and retention.
+ */
+var RuntimeBuildInputs;
+(function (RuntimeBuildInputs) {
+    /**
+     * Construct the proof owners for one private runtime request.
+     * Program-mutating transform hosts need their declared emit-input sidecar.
+     * Check hosts need their declared observation protocol and complete
+     * descriptor discovery; no-plugin builds use the actual compiler's
+     * source/configuration selection directly. Custom selections are reusable
+     * only when they name that same package-backed compiler.
+     *
+     * @evidence contracts/common.md#principled-implementation Eligibility requires a private emitting request, complete descriptor selection and supported check witnesses; captures bracket content identities and native source selection, and result admission requires complete emitted-source ownership.
+     * @evidence contracts/common.md#clear-and-simple-design Two closures share the resolved request while capture owns current selection and admission owns retained generation proof.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts Native transforms without complete emit observations and arbitrary external-code or profiling modes decline reuse rather than inventing input completeness. Custom compiler overrides need matching installed package identity, including inherited dependency hints; the original build remains the fallback.
+     * @evidence contracts/common.md#meaningful-documentation Native prose states current producer support and private-runtime scope, including why fresh transformation remains necessary.
+     * @evidence contracts/portability.md#os-neutral-implementation Source and package observations use native paths and bracketed byte reads, and upstream probes use the original compiler working directory and argv without shell composition.
+     * @evidence contracts/performance.md#efficient-algorithms Capture performs two upstream selection/config queries, actual executable proofs and O(selected bytes) hashes; unique ancestor and path sets bound duplicate reads within one snapshot. Admission replays only recorded native inputs.
+     * @evidence contracts/performance.md#reuse-equivalent-work Equal deterministic snapshots retain compiler arguments, versions, content, scope manifests, plugin binaries/configuration and environment; graph and host witnesses separately gate cached check reuse.
+     * @evidence contracts/performance.md#bound-retention-and-release-resources The resolved context and closures belong to one build; each capture releases local source and native-output buffers on return, with no resident process or historical map retained.
+     */
+    function create(options, execution) {
+        if (options.runtimeCacheDir === undefined ||
+            typeof options.isolateOutputsTo !== "string" ||
+            options.emit !== true ||
+            options.format === true ||
+            execution.pluginSetupFailure !== undefined ||
+            execution.compilerSelection.inspectionError !== undefined ||
+            PassthroughFlags_1.PassthroughFlags.forwardsTerminalTsgoFlag(options))
+            return undefined;
+        const loaded = execution.pluginLoad;
+        if (execution.nativePlugins.some((plugin) => plugin.stage === "check"
+            ? plugin.capabilities?.checkObservations !== true
+            : plugin.capabilities?.emitObservations !== true) ||
+            (loaded !== undefined &&
+                (!loaded.discoveryInputsComplete ||
+                    !loaded.descriptorReadsDeclared ||
+                    loaded.observationsComplete === false)))
+            return undefined;
+        const emitDir = options.isolateOutputsTo;
+        const args = TsgoArguments_1.TsgoArguments.createTsgoBuildArgs(execution, options, {
+            listEmittedFiles: false,
+        });
+        const env = SidecarEnvironment_1.SidecarEnvironment.merge(process.env, options.env);
+        // A custom executable can be a wrapper with undisclosed external inputs.
+        // Inherited hints to the installed compiler still have package authority.
+        if (execution.tsgo.packageJson === "") {
+            try {
+                const packaged = (0, resolveTsgo_1.resolveTsgo)({
+                    cwd: execution.projectRoot,
+                    env: SidecarEnvironment_1.SidecarEnvironment.merge(env, { TTSC_TSGO_BINARY: undefined }),
+                });
+                if (node_fs_1.default.realpathSync.native(packaged.binary) !==
+                    node_fs_1.default.realpathSync.native(execution.tsgo.binary))
+                    return undefined;
+            }
+            catch {
+                return undefined;
+            }
+        }
+        const identities = execution.identities ??
+            PluginContentIdentities_1.PluginContentIdentities.open({
+                projectRoot: execution.projectRoot,
+                cacheDir: node_path_1.default.dirname(options.runtimeCacheDir),
+                env,
+            });
+        if (identities === undefined)
+            return undefined;
+        let inspected;
+        try {
+            inspected = CompilerArgumentsInspection_1.CompilerArgumentsInspection.inspect(args, execution.compilerSelection.compilerArgsCwd);
+        }
+        catch {
+            return undefined;
+        }
+        if (inspected.args.some((arg) => /^--?(?:runExternalCode|generateTrace|generateCpuProfile|pprofDir|diagnostics|extendedDiagnostics|traceResolution|explainFiles|listFiles|listEmittedFiles|build|watch)(?:=|$)/i.test(arg)))
+            return undefined;
+        return {
+            capture: () => {
+                try {
+                    if (process.env.TTSC_PLUGIN_DESCRIPTOR_LOAD === "1")
+                        return undefined;
+                    const node = execution.nativePlugins.length === 0
+                        ? undefined
+                        : (0, resolveNodeBinary_1.resolveNodeBinary)(env, execution.projectRoot, identities);
+                    if (execution.nativePlugins.length !== 0 && node === undefined)
+                        return undefined;
+                    const binaries = [
+                        ...new Set([
+                            execution.tsgo.binary,
+                            ...execution.nativePlugins.map((plugin) => plugin.binary),
+                            ...(node === undefined ? [] : [node]),
+                        ]),
+                    ];
+                    const compilerIdentities = binaries.map((binary) => (0, runtimeExecutableIdentity_1.runtimeExecutableIdentity)(binary, identities));
+                    if (compilerIdentities.some((identity) => identity === undefined))
+                        return undefined;
+                    for (const [directory, state] of Object.entries(loaded?.pluginSources ?? {}))
+                        if (!(0, pluginSourceStateHolds_1.pluginSourceStateHolds)(directory, state, {
+                            projectRoot: execution.projectRoot,
+                        }))
+                            return undefined;
+                    const query = (flags) => {
+                        const result = (0, spawnNative_1.spawnNative)(execution.tsgo.binary, [...args, ...flags], { cwd: execution.compilerSelection.compilerArgsCwd, env });
+                        if (result.error || result.status !== 0 || result.signal !== null)
+                            throw new Error("runtime input inspection unavailable");
+                        return String(result.stdout);
+                    };
+                    const config = JSON.parse(query(["--showConfig"]));
+                    if (!config ||
+                        typeof config.compilerOptions !== "object" ||
+                        config.compilerOptions === null ||
+                        config.references?.length ||
+                        config.compilerOptions.runExternalCode === true ||
+                        [
+                            "generateTrace",
+                            "generateCpuProfile",
+                            "pprofDir",
+                            "diagnostics",
+                            "extendedDiagnostics",
+                            "traceResolution",
+                            "explainFiles",
+                            "listFiles",
+                            "listEmittedFiles",
+                        ].some((name) => config.compilerOptions[name]))
+                        return undefined;
+                    const listed = query([
+                        "--listFilesOnly",
+                        "true",
+                        "--listEmittedFiles",
+                        "false",
+                    ])
+                        .split(/\r?\n/)
+                        .filter((line) => line.length !== 0);
+                    if (listed.length === 0 ||
+                        !listed.every((file) => node_path_1.default.isAbsolute(file) && /\.(?:[cm]?[jt]sx?|json)$/i.test(file)))
+                        return undefined;
+                    const inputs = new Set([
+                        ...listed,
+                        ...execution.project.configPaths,
+                        ...inspected.observations.keys(),
+                    ]);
+                    const scopes = new Set();
+                    for (const file of listed) {
+                        for (const spelling of [file, node_fs_1.default.realpathSync.native(file)]) {
+                            let directory = node_path_1.default.dirname(spelling);
+                            while (!scopes.has(directory)) {
+                                scopes.add(directory);
+                                inputs.add(node_path_1.default.join(directory, "package.json"));
+                                const parent = node_path_1.default.dirname(directory);
+                                if (parent === directory)
+                                    break;
+                                directory = parent;
+                            }
+                        }
+                    }
+                    const hashes = [...inputs].sort().map((file) => {
+                        try {
+                            const observed = JSON.parse(CompilerArgumentsInspection_1.CompilerArgumentsInspection.observeInputFile(file));
+                            return [file, observed[0], observed[2]];
+                        }
+                        catch (error) {
+                            if (error.code !== "ENOENT" &&
+                                error.code !== "ENOTDIR")
+                                throw error;
+                            return [file, null, null];
+                        }
+                    });
+                    const hostInputs = [];
+                    for (const [file, expected] of Object.entries(loaded?.hostInputHashes ?? {}).sort(([a], [b]) => (a < b ? -1 : a > b ? 1 : 0))) {
+                        const [physical, hash] = RuntimeInputProof_1.RuntimeInputProof.observeHostInput(file);
+                        if (hash !== expected ||
+                            physical !== loaded?.hostInputRealpaths[file])
+                            return undefined;
+                        hostInputs.push([file, physical, hash]);
+                    }
+                    for (const [file, before] of inspected.observations)
+                        if (CompilerArgumentsInspection_1.CompilerArgumentsInspection.observeInputFile(file) !== before)
+                            return undefined;
+                    // Only private destination values are normalized. The relative layout
+                    // remains in the identity because source maps are output-relative.
+                    for (const key of [
+                        "outDir",
+                        "declarationDir",
+                        "tsBuildInfoFile",
+                        "outFile",
+                    ])
+                        if (typeof config.compilerOptions[key] === "string" &&
+                            (node_path_1.default.resolve(node_path_1.default.dirname(execution.tsconfig), config.compilerOptions[key]) === options.isolateOutputsTo ||
+                                node_path_1.default
+                                    .resolve(node_path_1.default.dirname(execution.tsconfig), config.compilerOptions[key])
+                                    .startsWith(emitDir + node_path_1.default.sep)))
+                            config.compilerOptions[key] =
+                                "<private-output>" +
+                                    node_path_1.default.relative(emitDir, node_path_1.default.resolve(node_path_1.default.dirname(execution.tsconfig), config.compilerOptions[key]));
+                    // Upstream synthesizes an exclusion for the overridden outDir too.
+                    if (Array.isArray(config.exclude))
+                        config.exclude = config.exclude.map((name) => typeof name === "string" &&
+                            node_path_1.default.resolve(node_path_1.default.dirname(execution.tsconfig), name) === emitDir
+                            ? "<private-output>"
+                            : name);
+                    const environment = Object.entries(env)
+                        .filter(([key]) => !/^TTSX_RUNTIME_/i.test(key))
+                        .sort(([a], [b]) => (a < b ? -1 : a > b ? 1 : 0));
+                    return JSON.stringify({
+                        format: 1,
+                        version: identities.version,
+                        compilerIdentities,
+                        config,
+                        hashes,
+                        hostInputs,
+                        environment: node_crypto_1.default
+                            .createHash("sha256")
+                            .update(JSON.stringify(environment))
+                            .digest("hex"),
+                        project: execution.tsconfig,
+                        cwd: execution.compilerSelection.compilerArgsCwd,
+                        layout: node_path_1.default.relative(emitDir, execution.projectRoot),
+                        unchecked: options.skipDiagnosticsCheck === true,
+                        plugins: execution.nativePlugins,
+                        pluginSources: loaded?.pluginSources,
+                        descriptor: loaded?.hostInputHashes,
+                    });
+                }
+                catch {
+                    return undefined;
+                }
+            },
+            admit: (result, emitDir) => {
+                if (result.status !== 0 ||
+                    result.emittedSources === undefined ||
+                    Object.keys(result.emittedSourceProofFailures ?? {}).length !== 0 ||
+                    !Object.values(result.emittedSources).every((sources) => Array.isArray(sources) &&
+                        sources.length > 0 &&
+                        sources.every((source) => typeof source === "string" && node_path_1.default.isAbsolute(source))))
+                    return false;
+                if (execution.nativePlugins.length !== 0 &&
+                    result.graph?.inputObservations === undefined)
+                    return false;
+                return RuntimeInputProof_1.RuntimeInputProof.holds(result, execution.projectRoot, emitDir);
+            },
+        };
+    }
+    RuntimeBuildInputs.create = create;
+})(RuntimeBuildInputs || (exports.RuntimeBuildInputs = RuntimeBuildInputs = {}));
+//# sourceMappingURL=RuntimeBuildInputs.js.map

package/lib/compiler/internal/build/RuntimeBuildInputs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RuntimeBuildInputs.js","sourceRoot":"","sources":["../../../../src/compiler/internal/build/RuntimeBuildInputs.ts"],"names":[],"mappings":";;;;;;AAAA,8DAAiC;AACjC,sDAAyB;AACzB,0DAA6B;AAE7B,2EAAwE;AACxE,2FAAwF;AACxF,qGAAkG;AAClG,mGAAgG;AAEhG,gFAA6E;AAC7E,gDAA6C;AAC7C,yEAAsE;AACtE,gDAA6C;AAE7C,yDAAsD;AAEtD,2DAAwD;AACxD,mDAAgD;AAEhD;;;;;;;;;;;;;;;;;GAiBG;AACH,IAAiB,kBAAkB,CAuTlC;AAvTD,WAAiB,kBAAkB;IACjC;;;;;;;;;;;;;;;;OAgBG;IACH,SAAgB,MAAM,CACpB,OAAwB,EACxB,SAAoE;QAOpE,IACE,OAAO,CAAC,eAAe,KAAK,SAAS;YACrC,OAAO,OAAO,CAAC,gBAAgB,KAAK,QAAQ;YAC5C,OAAO,CAAC,IAAI,KAAK,IAAI;YACrB,OAAO,CAAC,MAAM,KAAK,IAAI;YACvB,SAAS,CAAC,kBAAkB,KAAK,SAAS;YAC1C,SAAS,CAAC,iBAAiB,CAAC,eAAe,KAAK,SAAS;YACzD,mCAAgB,CAAC,wBAAwB,CAAC,OAAO,CAAC;YAElD,OAAO,SAAS,CAAC;QACnB,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC;QACpC,IACE,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CACtC,MAAM,CAAC,KAAK,KAAK,OAAO;YACtB,CAAC,CAAC,MAAM,CAAC,YAAY,EAAE,iBAAiB,KAAK,IAAI;YACjD,CAAC,CAAC,MAAM,CAAC,YAAY,EAAE,gBAAgB,KAAK,IAAI,CACnD;YACD,CAAC,MAAM,KAAK,SAAS;gBACnB,CAAC,CAAC,MAAM,CAAC,uBAAuB;oBAC9B,CAAC,MAAM,CAAC,uBAAuB;oBAC/B,MAAM,CAAC,oBAAoB,KAAK,KAAK,CAAC,CAAC;YAE3C,OAAO,SAAS,CAAC;QACnB,MAAM,OAAO,GAAG,OAAO,CAAC,gBAAgB,CAAC;QACzC,MAAM,IAAI,GAAG,6BAAa,CAAC,mBAAmB,CAAC,SAAS,EAAE,OAAO,EAAE;YACjE,gBAAgB,EAAE,KAAK;SACxB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,uCAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QAC/D,yEAAyE;QACzE,0EAA0E;QAC1E,IAAI,SAAS,CAAC,IAAI,CAAC,WAAW,KAAK,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC;gBACH,MAAM,QAAQ,GAAG,IAAA,yBAAW,EAAC;oBAC3B,GAAG,EAAE,SAAS,CAAC,WAAW;oBAC1B,GAAG,EAAE,uCAAkB,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC;iBACpE,CAAC,CAAC;gBACH,IACE,iBAAE,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;oBACvC,iBAAE,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC;oBAE7C,OAAO,SAAS,CAAC;YACrB,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QACD,MAAM,UAAU,GACd,SAAS,CAAC,UAAU;YACpB,iDAAuB,CAAC,IAAI,CAAC;gBAC3B,WAAW,EAAE,SAAS,CAAC,WAAW;gBAClC,QAAQ,EAAE,mBAAI,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC;gBAC/C,GAAG;aACJ,CAAC,CAAC;QACL,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,IAAI,SAAiE,CAAC;QACtE,IAAI,CAAC;YACH,SAAS,GAAG,yDAA2B,CAAC,OAAO,CAC7C,IAAI,EACJ,SAAS,CAAC,iBAAiB,CAAC,eAAe,CAC5C,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IACE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAC1B,+KAA+K,CAAC,IAAI,CAClL,GAAG,CACJ,CACF;YAED,OAAO,SAAS,CAAC;QACnB,OAAO;YACL,OAAO,EAAE,GAAG,EAAE;gBACZ,IAAI,CAAC;oBACH,IAAI,OAAO,CAAC,GAAG,CAAC,2BAA2B,KAAK,GAAG;wBAAE,OAAO,SAAS,CAAC;oBACtE,MAAM,IAAI,GACR,SAAS,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;wBAClC,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,IAAA,qCAAiB,EAAC,GAAG,EAAE,SAAS,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;oBAChE,IAAI,SAAS,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,SAAS;wBAC5D,OAAO,SAAS,CAAC;oBACnB,MAAM,QAAQ,GAAG;wBACf,GAAG,IAAI,GAAG,CAAC;4BACT,SAAS,CAAC,IAAI,CAAC,MAAM;4BACrB,GAAG,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;4BACzD,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;yBACtC,CAAC;qBACH,CAAC;oBACF,MAAM,kBAAkB,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACjD,IAAA,qDAAyB,EAAC,MAAM,EAAE,UAAU,CAAC,CAC9C,CAAC;oBACF,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,SAAS,CAAC;wBAC/D,OAAO,SAAS,CAAC;oBACnB,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAC7C,MAAM,EAAE,aAAa,IAAI,EAAE,CAC5B;wBACC,IACE,CAAC,IAAA,+CAAsB,EAAC,SAAS,EAAE,KAAK,EAAE;4BACxC,WAAW,EAAE,SAAS,CAAC,WAAW;yBACnC,CAAC;4BAEF,OAAO,SAAS,CAAC;oBACrB,MAAM,KAAK,GAAG,CAAC,KAAe,EAAE,EAAE;wBAChC,MAAM,MAAM,GAAG,IAAA,yBAAW,EACxB,SAAS,CAAC,IAAI,CAAC,MAAM,EACrB,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,EACnB,EAAE,GAAG,EAAE,SAAS,CAAC,iBAAiB,CAAC,eAAe,EAAE,GAAG,EAAE,CAC1D,CAAC;wBACF,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI;4BAC/D,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;wBAC1D,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;oBAC/B,CAAC,CAAC;oBACF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;oBACnD,IACE,CAAC,MAAM;wBACP,OAAO,MAAM,CAAC,eAAe,KAAK,QAAQ;wBAC1C,MAAM,CAAC,eAAe,KAAK,IAAI;wBAC/B,MAAM,CAAC,UAAU,EAAE,MAAM;wBACzB,MAAM,CAAC,eAAe,CAAC,eAAe,KAAK,IAAI;wBAC/C;4BACE,eAAe;4BACf,oBAAoB;4BACpB,UAAU;4BACV,aAAa;4BACb,qBAAqB;4BACrB,iBAAiB;4BACjB,cAAc;4BACd,WAAW;4BACX,kBAAkB;yBACnB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;wBAE9C,OAAO,SAAS,CAAC;oBACnB,MAAM,MAAM,GAAG,KAAK,CAAC;wBACnB,iBAAiB;wBACjB,MAAM;wBACN,oBAAoB;wBACpB,OAAO;qBACR,CAAC;yBACC,KAAK,CAAC,OAAO,CAAC;yBACd,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;oBACvC,IACE,MAAM,CAAC,MAAM,KAAK,CAAC;wBACnB,CAAC,MAAM,CAAC,KAAK,CACX,CAAC,IAAI,EAAE,EAAE,CACP,mBAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,CAClE;wBAED,OAAO,SAAS,CAAC;oBACnB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC;wBACrB,GAAG,MAAM;wBACT,GAAG,SAAS,CAAC,OAAO,CAAC,WAAW;wBAChC,GAAG,SAAS,CAAC,YAAY,CAAC,IAAI,EAAE;qBACjC,CAAC,CAAC;oBACH,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;oBACjC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;wBAC1B,KAAK,MAAM,QAAQ,IAAI,CAAC,IAAI,EAAE,iBAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;4BAC5D,IAAI,SAAS,GAAG,mBAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;4BACvC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gCAC9B,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gCACtB,MAAM,CAAC,GAAG,CAAC,mBAAI,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC;gCACjD,MAAM,MAAM,GAAG,mBAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;gCACvC,IAAI,MAAM,KAAK,SAAS;oCAAE,MAAM;gCAChC,SAAS,GAAG,MAAM,CAAC;4BACrB,CAAC;wBACH,CAAC;oBACH,CAAC;oBACD,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;wBAC7C,IAAI,CAAC;4BACH,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CACzB,yDAA2B,CAAC,gBAAgB,CAAC,IAAI,CAAC,CACnD,CAAC;4BACF,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;wBAC1C,CAAC;wBAAC,OAAO,KAAK,EAAE,CAAC;4BACf,IACG,KAA+B,CAAC,IAAI,KAAK,QAAQ;gCACjD,KAA+B,CAAC,IAAI,KAAK,SAAS;gCAEnD,MAAM,KAAK,CAAC;4BACd,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;wBAC5B,CAAC;oBACH,CAAC,CAAC,CAAC;oBACH,MAAM,UAAU,GAA6C,EAAE,CAAC;oBAChE,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAC3C,MAAM,EAAE,eAAe,IAAI,EAAE,CAC9B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;wBACnD,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,qCAAiB,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;wBAClE,IACE,IAAI,KAAK,QAAQ;4BACjB,QAAQ,KAAK,MAAM,EAAE,kBAAkB,CAAC,IAAI,CAAC;4BAE7C,OAAO,SAAS,CAAC;wBACnB,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;oBAC1C,CAAC;oBACD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,SAAS,CAAC,YAAY;wBACjD,IAAI,yDAA2B,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,MAAM;4BAC/D,OAAO,SAAS,CAAC;oBACrB,sEAAsE;oBACtE,mEAAmE;oBACnE,KAAK,MAAM,GAAG,IAAI;wBAChB,QAAQ;wBACR,gBAAgB;wBAChB,iBAAiB;wBACjB,SAAS;qBACV;wBACC,IACE,OAAO,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,QAAQ;4BAC/C,CAAC,mBAAI,CAAC,OAAO,CACX,mBAAI,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,EAChC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAC5B,KAAK,OAAO,CAAC,gBAAgB;gCAC5B,mBAAI;qCACD,OAAO,CACN,mBAAI,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,EAChC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAC5B;qCACA,UAAU,CAAC,OAAO,GAAG,mBAAI,CAAC,GAAG,CAAC,CAAC;4BAEpC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC;gCACzB,kBAAkB;oCAClB,mBAAI,CAAC,QAAQ,CACX,OAAO,EACP,mBAAI,CAAC,OAAO,CACV,mBAAI,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,EAChC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAC5B,CACF,CAAC;oBACR,mEAAmE;oBACnE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC;wBAC/B,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAa,EAAE,EAAE,CACpD,OAAO,IAAI,KAAK,QAAQ;4BACxB,mBAAI,CAAC,OAAO,CAAC,mBAAI,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,KAAK,OAAO;4BAC9D,CAAC,CAAC,kBAAkB;4BACpB,CAAC,CAAC,IAAI,CACT,CAAC;oBACJ,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;yBACpC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;yBAC/C,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACpD,OAAO,IAAI,CAAC,SAAS,CAAC;wBACpB,MAAM,EAAE,CAAC;wBACT,OAAO,EAAE,UAAU,CAAC,OAAO;wBAC3B,kBAAkB;wBAClB,MAAM;wBACN,MAAM;wBACN,UAAU;wBACV,WAAW,EAAE,qBAAM;6BAChB,UAAU,CAAC,QAAQ,CAAC;6BACpB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;6BACnC,MAAM,CAAC,KAAK,CAAC;wBAChB,OAAO,EAAE,SAAS,CAAC,QAAQ;wBAC3B,GAAG,EAAE,SAAS,CAAC,iBAAiB,CAAC,eAAe;wBAChD,MAAM,EAAE,mBAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,WAAW,CAAC;wBACrD,SAAS,EAAE,OAAO,CAAC,oBAAoB,KAAK,IAAI;wBAChD,OAAO,EAAE,SAAS,CAAC,aAAa;wBAChC,aAAa,EAAE,MAAM,EAAE,aAAa;wBACpC,UAAU,EAAE,MAAM,EAAE,eAAe;qBACpC,CAAC,CAAC;gBACL,CAAC;gBAAC,MAAM,CAAC;oBACP,OAAO,SAAS,CAAC;gBACnB,CAAC;YACH,CAAC;YACD,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE;gBACzB,IACE,MAAM,CAAC,MAAM,KAAK,CAAC;oBACnB,MAAM,CAAC,cAAc,KAAK,SAAS;oBACnC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,0BAA0B,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC;oBACjE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,KAAK,CACzC,CAAC,OAAO,EAAE,EAAE,CACV,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;wBACtB,OAAO,CAAC,MAAM,GAAG,CAAC;wBAClB,OAAO,CAAC,KAAK,CACX,CAAC,MAAM,EAAE,EAAE,CACT,OAAO,MAAM,KAAK,QAAQ,IAAI,mBAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CACxD,CACJ;oBAED,OAAO,KAAK,CAAC;gBACf,IACE,SAAS,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;oBACpC,MAAM,CAAC,KAAK,EAAE,iBAAiB,KAAK,SAAS;oBAE7C,OAAO,KAAK,CAAC;gBACf,OAAO,qCAAiB,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YACzE,CAAC;SACF,CAAC;IACJ,CAAC;IApSe,mBAAA,MAAM,SAoSrB,CAAA;AACH,CAAC,EAvTgB,kBAAkB,aAAlB,kBAAkB,GAAlB,kBAAkB,QAuTlC"}

package/lib/compiler/internal/build/RuntimeInputProof.d.ts

@@ -0,0 +1,50 @@
+import type { TtscBuildResult } from "../../../structures/internal/TtscBuildResult";
+/**
+ * Replay the compiler and native input witnesses of a completed runtime build.
+ * Read predicates keep their original text or raw-byte codec; absence, entry
+ * kind, physical target and directory membership remain independent predicates.
+ * Failed or unsupported observations withhold reuse.
+ *
+ * @evidence contracts/common.md#principled-implementation Replay compares generation witnesses with current existence, stat, decoded text, physical identity and directory membership. Native version-one file, optional-file, entry and directory codecs use explicit tags, raw file/link bytes and sorted nul-delimited records. Compiler text strips UTF-8 BOM or decodes even UTF-16LE/BE bytes before SHA-256; host directory presence uses its separate domain marker.
+ * @evidence contracts/common.md#clear-and-simple-design One namespace separates result admission, declared host inputs, compiler predicates and the native version-one codec. Private physical/absence and SHA-256 helpers serve the codecs without merging their meanings.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Unknown codecs, failed reads and producer proof failures decline admission. Only ENOENT/ENOTDIR prove absence; other physical-resolution errors remain unavailable. Following stat classifies compiler views while lstat retains native link kinds; only the producer private output subtree is excluded.
+ * @evidence contracts/common.md#meaningful-documentation Native prose identifies generation proof, codec ownership and refusal semantics; private helper comments identify query, byte, decoded-text and null/error boundaries.
+ * @evidence contracts/portability.md#os-neutral-implementation Native stat, lstat and realpath retain actual kinds, targets and spellings without case assumptions. POSIX directory names/link targets stay raw bytes, Windows names follow the producer UTF-8 codec, and compiler directory entries sort by UTF-8 bytes.
+ * @evidence contracts/performance.md#efficient-algorithms Replay visits recorded predicates and their bytes or immediate directory entries rather than unrelated trees. Hashing and BOM decoding cost O(bytes), including a big-endian copy; directory codecs cost O(N log N) sorting plus encoded bytes and link queries. Physical resolution follows native path/link traversal.
+ * @evidence contracts/performance.md#reuse-equivalent-work Every retained predicate is observed anew to authorize completed-result reuse. Host capture and admission share the producer codec; no path memo, watcher silence or historical hash independently grants authority.
+ * @evidence contracts/performance.md#bound-retention-and-release-resources Read buffers, decoded text, paths and sorted directory members are call-local and have no proof-reader byte or entry cap. Synchronous calls retain no handle, watcher, process or historical population; only returned proof values escape.
+ */
+export declare namespace RuntimeInputProof {
+    /**
+     * Validate result-level host witnesses and every reported compiler predicate.
+     * The caller independently proves the selected compiler, project membership
+     * and plugin selection; an absent graph alone grants no completeness.
+     *
+     * @evidence contracts/common.md#principled-implementation Explicit incomplete observations and any graph failure reject reuse; host paths require both content and physical witnesses, and rich compiler predicates are replayed under their own codec.
+     * @evidence contracts/common.md#clear-and-simple-design One admission pass delegates individual compiler observations and native codecs.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts Missing witness fields never become an empty successful observation, and only the caller-owned private output subtree is excluded.
+     * @evidence contracts/common.md#meaningful-documentation Native prose identifies result admission and the caller's separate completeness obligations.
+     * @evidence contracts/portability.md#os-neutral-implementation Native path resolution anchors producer-relative graph keys, and current physical paths come from native realpath.
+     * @evidence contracts/performance.md#efficient-algorithms Input and predicate populations drive replay; each read hashes its actual bytes and directories sort immediate entry records.
+     * @evidence contracts/performance.md#reuse-equivalent-work Generation witnesses, rather than an identity-key match, decide whether a completed build remains reusable.
+     * @evidence contracts/performance.md#bound-retention-and-release-resources Temporary path and predicate records are invocation-owned without retained handles or history.
+     */
+    function holds(result: TtscBuildResult, projectRoot: string, emitDir: string): boolean;
+    /**
+     * Observe a declared host input under its existing raw-file or directory-kind
+     * codec. Descriptor resolution can declare directories as presence inputs;
+     * those are distinct from compiler source reads and directory enumeration.
+     * Native identity and metadata bracket the observation. Missing paths carry
+     * null witnesses, while unavailable or changing observations throw.
+     *
+     * @evidence contracts/common.md#principled-implementation Raw file bytes and the existing ttsc:host-input:directory domain marker reproduce the descriptor/native host-input contract, with physical identity and full native metadata checked before and after.
+     * @evidence contracts/common.md#clear-and-simple-design One observer supplies the same declared-host codec to input capture and retained-result admission, independently of compiler text and enumeration predicates.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts Only ENOENT/ENOTDIR establish absence; unsupported entry kinds, read failures and changing witnesses refuse reuse instead of becoming empty content.
+     * @evidence contracts/common.md#meaningful-documentation Native prose distinguishes directory presence from directory membership, states the producer codec and explains failure semantics.
+     * @evidence contracts/portability.md#os-neutral-implementation Native following stat, realpath and byte reads retain actual host links and physical spellings without OS-name or separator guesses.
+     * @evidence contracts/performance.md#efficient-algorithms File observations hash their complete byte buffer and bracket native metadata; directory presence hashes a fixed marker without scanning members.
+     * @evidence contracts/performance.md#reuse-equivalent-work Capture and admission share the producer's codec, but every invocation observes current witnesses and retains no path-only truth.
+     * @evidence contracts/performance.md#bound-retention-and-release-resources Read buffers and stat records are call-local; synchronous filesystem calls leave no retained handle or watcher.
+     */
+    function observeHostInput(file: string): readonly [string | null, string | null];
+}