ttsc 0.30.3 → 0.31.0

package/lib/launcher/internal/TtsxEntryOptions.d.ts

@@ -0,0 +1,50 @@
+import type { parseTtsxCLI } from "./parseTtsxCLI";
+/**
+ * Prepares Node entry options without invoking the compiler or host.
+ *
+ * @evidence contracts/common.md#principled-implementation Separate JavaScript build-option applicability from preload path classification; public launcher callers consume these exact results before starting native execution.
+ * @evidence contracts/common.md#clear-and-simple-design One namespace groups two pure entry-boundary projections with one private lexical relative-path predicate.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Only supported launcher fields and native path APIs decide behavior; no consumer-specific preload, private Node method or fixture answer is substituted.
+ * @evidence contracts/common.md#meaningful-documentation Native purpose and operation prose explain launcher/Node ownership and optional-value meaning, separated from acknowledgment tags.
+ * @evidence contracts/portability.md#os-neutral-implementation Native path.isAbsolute/path.resolve own filesystem spelling; bare and scoped package specifiers retain Node module-resolution ownership without manual case or slash rewriting.
+ * @evidenceExclude contracts/performance.md#efficient-algorithms The namespace groups two concrete operations; their methods describe their own input processing.
+ * @evidenceExclude contracts/performance.md#reuse-equivalent-work This invocation-local projection coordinates no shared computation and retains no historical answer cache.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources Only call-local arrays or a returned path string exist; no process, directory, handle or task is acquired.
+ */
+export declare namespace TtsxEntryOptions {
+    /**
+     * Lists the options JavaScript entries cannot apply to an up-front TypeScript
+     * build.
+     *
+     * Values and program arguments are not options; their spelling remains
+     * intact.
+     *
+     * @evidence contracts/common.md#principled-implementation The parsed launcher fields name up-front build policy; native occurrence widths distinguish compiler and response-file requests from their scalar operands before JavaScript entry applicability is reported.
+     * @evidence contracts/common.md#clear-and-simple-design A fixed field projection followed by one native-frame traversal preserves original request spellings and deterministic diagnostic order.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The result is the actual caller diagnostic input, not a second CLI parser or a test-only whitelist.
+     * @evidence contracts/common.md#meaningful-documentation Native purpose and operation prose explain launcher/Node ownership and optional-value meaning, separated from acknowledgment tags.
+     * @evidenceExclude contracts/portability.md#os-neutral-implementation This pure option record and token classification resolves no filesystem path and starts no process.
+     * @evidence contracts/performance.md#efficient-algorithms Traversing T forwarded tokens advances by each native occurrence width in O(T+B) time for their B inspected token/list bytes and retains at most O(T) returned request references; the fixed launcher fields require bounded additional work.
+     * @evidenceExclude contracts/performance.md#reuse-equivalent-work This invocation-local projection coordinates no shared computation and retains no historical answer cache.
+     * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources Only call-local arrays or a returned path string exist; no process, directory, handle or task is acquired.
+     */
+    function unsupportedJavaScriptBuildOptions(parsed: Exclude<ReturnType<typeof parseTtsxCLI>, "help" | "version">): string[];
+    /**
+     * Anchors file preloads to the invocation directory and leaves package names
+     * to Node.
+     *
+     * Relative file spellings and already absolute paths use native path
+     * resolution; scoped and subpath package requests must not be anchored to the
+     * launcher install.
+     *
+     * @evidence contracts/common.md#principled-implementation Native absolute paths and explicit relative spellings denote files, while other requests remain module specifiers for Node resolution.
+     * @evidence contracts/common.md#clear-and-simple-design One native absolute check and one lexical relative check precede path.resolve; package specifiers return unchanged.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts No foreign resolver is patched and no installed-package lookup or guessed extension changes the caller request.
+     * @evidence contracts/common.md#meaningful-documentation Native purpose and operation prose explain launcher/Node ownership and optional-value meaning, separated from acknowledgment tags.
+     * @evidence contracts/portability.md#os-neutral-implementation Native path.isAbsolute and path.resolve preserve host path semantics; explicit dot/slash or dot/backslash relative forms are classified without case folding or manual file URLs.
+     * @evidence contracts/performance.md#efficient-algorithms Fixed prefix checks and one native path normalization cost O(P) path bytes with no filesystem traversal or per-package lookup.
+     * @evidenceExclude contracts/performance.md#reuse-equivalent-work This invocation-local projection coordinates no shared computation and retains no historical answer cache.
+     * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources Only call-local arrays or a returned path string exist; no process, directory, handle or task is acquired.
+     */
+    function resolvePreload(cwd: string, preload: string): string;
+}

package/lib/launcher/internal/TtsxEntryOptions.js

@@ -0,0 +1,94 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TtsxEntryOptions = void 0;
+const node_path_1 = __importDefault(require("node:path"));
+const readCompilerOptionOccurrence_1 = require("../../flags/readCompilerOptionOccurrence");
+/**
+ * Prepares Node entry options without invoking the compiler or host.
+ *
+ * @evidence contracts/common.md#principled-implementation Separate JavaScript build-option applicability from preload path classification; public launcher callers consume these exact results before starting native execution.
+ * @evidence contracts/common.md#clear-and-simple-design One namespace groups two pure entry-boundary projections with one private lexical relative-path predicate.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Only supported launcher fields and native path APIs decide behavior; no consumer-specific preload, private Node method or fixture answer is substituted.
+ * @evidence contracts/common.md#meaningful-documentation Native purpose and operation prose explain launcher/Node ownership and optional-value meaning, separated from acknowledgment tags.
+ * @evidence contracts/portability.md#os-neutral-implementation Native path.isAbsolute/path.resolve own filesystem spelling; bare and scoped package specifiers retain Node module-resolution ownership without manual case or slash rewriting.
+ * @evidenceExclude contracts/performance.md#efficient-algorithms The namespace groups two concrete operations; their methods describe their own input processing.
+ * @evidenceExclude contracts/performance.md#reuse-equivalent-work This invocation-local projection coordinates no shared computation and retains no historical answer cache.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources Only call-local arrays or a returned path string exist; no process, directory, handle or task is acquired.
+ */
+var TtsxEntryOptions;
+(function (TtsxEntryOptions) {
+    /**
+     * Lists the options JavaScript entries cannot apply to an up-front TypeScript
+     * build.
+     *
+     * Values and program arguments are not options; their spelling remains
+     * intact.
+     *
+     * @evidence contracts/common.md#principled-implementation The parsed launcher fields name up-front build policy; native occurrence widths distinguish compiler and response-file requests from their scalar operands before JavaScript entry applicability is reported.
+     * @evidence contracts/common.md#clear-and-simple-design A fixed field projection followed by one native-frame traversal preserves original request spellings and deterministic diagnostic order.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts The result is the actual caller diagnostic input, not a second CLI parser or a test-only whitelist.
+     * @evidence contracts/common.md#meaningful-documentation Native purpose and operation prose explain launcher/Node ownership and optional-value meaning, separated from acknowledgment tags.
+     * @evidenceExclude contracts/portability.md#os-neutral-implementation This pure option record and token classification resolves no filesystem path and starts no process.
+     * @evidence contracts/performance.md#efficient-algorithms Traversing T forwarded tokens advances by each native occurrence width in O(T+B) time for their B inspected token/list bytes and retains at most O(T) returned request references; the fixed launcher fields require bounded additional work.
+     * @evidenceExclude contracts/performance.md#reuse-equivalent-work This invocation-local projection coordinates no shared computation and retains no historical answer cache.
+     * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources Only call-local arrays or a returned path string exist; no process, directory, handle or task is acquired.
+     */
+    function unsupportedJavaScriptBuildOptions(parsed) {
+        const forwarded = [];
+        for (let index = 0; index < parsed.tsgoFlags.length;) {
+            const token = parsed.tsgoFlags[index];
+            if (token.startsWith("-") || token.startsWith("@"))
+                forwarded.push(token);
+            index += (0, readCompilerOptionOccurrence_1.readCompilerOptionOccurrence)(parsed.tsgoFlags, index).width;
+        }
+        return [
+            ...(parsed.project !== undefined ? ["--project"] : []),
+            ...(parsed.cacheDir !== undefined ? ["--cache-dir"] : []),
+            ...(parsed.checkers !== undefined ? ["--checkers"] : []),
+            ...(parsed.noPlugins ? ["--no-plugins"] : []),
+            ...(parsed.singleThreaded ? ["--singleThreaded"] : []),
+            ...forwarded,
+        ];
+    }
+    TtsxEntryOptions.unsupportedJavaScriptBuildOptions = unsupportedJavaScriptBuildOptions;
+    /**
+     * Anchors file preloads to the invocation directory and leaves package names
+     * to Node.
+     *
+     * Relative file spellings and already absolute paths use native path
+     * resolution; scoped and subpath package requests must not be anchored to the
+     * launcher install.
+     *
+     * @evidence contracts/common.md#principled-implementation Native absolute paths and explicit relative spellings denote files, while other requests remain module specifiers for Node resolution.
+     * @evidence contracts/common.md#clear-and-simple-design One native absolute check and one lexical relative check precede path.resolve; package specifiers return unchanged.
+     * @evidence contracts/common.md#prohibited-implementation-shortcuts No foreign resolver is patched and no installed-package lookup or guessed extension changes the caller request.
+     * @evidence contracts/common.md#meaningful-documentation Native purpose and operation prose explain launcher/Node ownership and optional-value meaning, separated from acknowledgment tags.
+     * @evidence contracts/portability.md#os-neutral-implementation Native path.isAbsolute and path.resolve preserve host path semantics; explicit dot/slash or dot/backslash relative forms are classified without case folding or manual file URLs.
+     * @evidence contracts/performance.md#efficient-algorithms Fixed prefix checks and one native path normalization cost O(P) path bytes with no filesystem traversal or per-package lookup.
+     * @evidenceExclude contracts/performance.md#reuse-equivalent-work This invocation-local projection coordinates no shared computation and retains no historical answer cache.
+     * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources Only call-local arrays or a returned path string exist; no process, directory, handle or task is acquired.
+     */
+    function resolvePreload(cwd, preload) {
+        if (node_path_1.default.isAbsolute(preload) || isRelativeSpecifier(preload)) {
+            return node_path_1.default.resolve(cwd, preload);
+        }
+        return preload;
+    }
+    TtsxEntryOptions.resolvePreload = resolvePreload;
+    /**
+     * Explicit relative file spellings; bare package specifiers remain module
+     * requests.
+     */
+    function isRelativeSpecifier(specifier) {
+        return (specifier === "." ||
+            specifier === ".." ||
+            specifier.startsWith("./") ||
+            specifier.startsWith("../") ||
+            specifier.startsWith(".\\") ||
+            specifier.startsWith("..\\"));
+    }
+})(TtsxEntryOptions || (exports.TtsxEntryOptions = TtsxEntryOptions = {}));
+//# sourceMappingURL=TtsxEntryOptions.js.map

package/lib/launcher/internal/TtsxEntryOptions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TtsxEntryOptions.js","sourceRoot":"","sources":["../../../src/launcher/internal/TtsxEntryOptions.ts"],"names":[],"mappings":";;;;;;AAAA,0DAA6B;AAE7B,2FAAwF;AAGxF;;;;;;;;;;;GAWG;AACH,IAAiB,gBAAgB,CA0EhC;AA1ED,WAAiB,gBAAgB;IAC/B;;;;;;;;;;;;;;;OAeG;IACH,SAAgB,iCAAiC,CAC/C,MAAoE;QAEpE,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,GAAI,CAAC;YACtD,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAE,CAAC;YACvC,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1E,KAAK,IAAI,IAAA,2DAA4B,EAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC;QACvE,CAAC;QACD,OAAO;YACL,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACzD,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,GAAG,SAAS;SACb,CAAC;IACJ,CAAC;IAjBe,iBAAA,iCAAiC,oCAiBhD,CAAA;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,SAAgB,cAAc,CAAC,GAAW,EAAE,OAAe;QACzD,IAAI,mBAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7D,OAAO,mBAAI,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IALe,iBAAA,cAAc,iBAK7B,CAAA;IAED;;;OAGG;IACH,SAAS,mBAAmB,CAAC,SAAiB;QAC5C,OAAO,CACL,SAAS,KAAK,GAAG;YACjB,SAAS,KAAK,IAAI;YAClB,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC;YAC1B,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC;YAC3B,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC;YAC3B,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAC7B,CAAC;IACJ,CAAC;AACH,CAAC,EA1EgB,gBAAgB,aAAhB,gBAAgB,GAAhB,gBAAgB,QA0EhC"}

package/lib/launcher/internal/assertNoSolutionBuild.d.ts

@@ -1,17 +1,15 @@
-import { type ParseResult } from "../../flags/parser";
+import { type ParseResult } from "../../flags/ParseResult";
 /**
  * Refuse tsgo's solution-build mode (`--build` / `-b`) in the launcher's own
  * voice, for whichever launcher parsed the arguments.
  *
- * Every ttsc build lane hands tsgo an argument list that opens with the project
- * ttsc resolved (`-p <tsconfig>` in `createTsgoBuildArgs`), because ttsc — not
- * tsgo — owns the `extends` chain, plugin config discovery, cache keys, and the
- * resident session's identity, and pins that one resolved project instead of
- * forwarding raw argv. A forwarded `--build` therefore always arrives after
- * `-p`, and tsgo replies "Option '--build' must be the first command line
- * argument" even though the user wrote it first. No spelling of the command
- * line can satisfy that diagnostic, so the flag is rejected here rather than
- * forwarded into an error that blames the user's argument order.
+ * Project-dependent builds select one config for plugin discovery, cache keys
+ * and resident identity. The direct compiler argv opens with that selection
+ * (`-p <tsconfig>` in `createTsgoBuildArgs`); TypeScript-Go still reads its own
+ * config and inheritance. Forwarding `--build` on this lane would place it
+ * after `-p`, producing "Option '--build' must be the first command line
+ * argument" even when the user wrote it first. Rejecting the unsupported mode
+ * here preserves the single-project contract instead of blaming user order.
  *
  * Both launchers refuse it, because both reach tsgo through the same pinned
  * project. `ttsx` additionally builds one entry inside that project, so a mode
@@ -27,5 +25,14 @@ import { type ParseResult } from "../../flags/parser";
  * `forwardAfterFirstPositional` and `honorDoubleDashSeparator`, so a token
  * after the entry lands in `result.tail` and never in `result.values`; reading
  * `values` is what keeps `ttsx script.ts --build` the user program's own flag.
+ *
+ * @evidence contracts/common.md#principled-implementation Presence in the launcher's parsed values identifies a requested unsupported compiler mode; the program's post-entry arguments are outside this map.
+ * @evidence contracts/common.md#clear-and-simple-design A shared pre-build guard owns this unsupported-mode diagnostic for both launchers instead of rewriting compiler argument order.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts The rejection follows the supported single-project contract, including an explicit false token, without compensating for a tsgo diagnostic through a synthetic solution build.
+ * @evidence contracts/common.md#meaningful-documentation Native paragraphs explain pinned-project semantics, presence detection and the boundary with user-program flags, with tags separated from prose.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources One presence check returns or throws without retaining the parsed map or acquiring a native resource.
+ * @evidenceExclude contracts/performance.md#efficient-algorithms One canonical-key membership check makes a fixed mode decision; flag parsing and compiler execution belong to their existing owners.
+ * @evidenceExclude contracts/performance.md#reuse-equivalent-work A mode refusal coordinates no producer computation or cross-call result.
+ * @evidenceExclude contracts/portability.md#os-neutral-implementation This guard inspects a canonical option key and constructs diagnostic text; native paths, processes and OS capability discovery are outside its operation.
  */
 export declare function assertNoSolutionBuild(result: ParseResult, errorPrefix: string): void;

package/lib/launcher/internal/assertNoSolutionBuild.js

@@ -5,15 +5,13 @@ exports.assertNoSolutionBuild = assertNoSolutionBuild;
  * Refuse tsgo's solution-build mode (`--build` / `-b`) in the launcher's own
  * voice, for whichever launcher parsed the arguments.
  *
- * Every ttsc build lane hands tsgo an argument list that opens with the project
- * ttsc resolved (`-p <tsconfig>` in `createTsgoBuildArgs`), because ttsc — not
- * tsgo — owns the `extends` chain, plugin config discovery, cache keys, and the
- * resident session's identity, and pins that one resolved project instead of
- * forwarding raw argv. A forwarded `--build` therefore always arrives after
- * `-p`, and tsgo replies "Option '--build' must be the first command line
- * argument" even though the user wrote it first. No spelling of the command
- * line can satisfy that diagnostic, so the flag is rejected here rather than
- * forwarded into an error that blames the user's argument order.
+ * Project-dependent builds select one config for plugin discovery, cache keys
+ * and resident identity. The direct compiler argv opens with that selection
+ * (`-p <tsconfig>` in `createTsgoBuildArgs`); TypeScript-Go still reads its own
+ * config and inheritance. Forwarding `--build` on this lane would place it
+ * after `-p`, producing "Option '--build' must be the first command line
+ * argument" even when the user wrote it first. Rejecting the unsupported mode
+ * here preserves the single-project contract instead of blaming user order.
  *
  * Both launchers refuse it, because both reach tsgo through the same pinned
  * project. `ttsx` additionally builds one entry inside that project, so a mode
@@ -29,6 +27,15 @@ exports.assertNoSolutionBuild = assertNoSolutionBuild;
  * `forwardAfterFirstPositional` and `honorDoubleDashSeparator`, so a token
  * after the entry lands in `result.tail` and never in `result.values`; reading
  * `values` is what keeps `ttsx script.ts --build` the user program's own flag.
+ *
+ * @evidence contracts/common.md#principled-implementation Presence in the launcher's parsed values identifies a requested unsupported compiler mode; the program's post-entry arguments are outside this map.
+ * @evidence contracts/common.md#clear-and-simple-design A shared pre-build guard owns this unsupported-mode diagnostic for both launchers instead of rewriting compiler argument order.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts The rejection follows the supported single-project contract, including an explicit false token, without compensating for a tsgo diagnostic through a synthetic solution build.
+ * @evidence contracts/common.md#meaningful-documentation Native paragraphs explain pinned-project semantics, presence detection and the boundary with user-program flags, with tags separated from prose.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources One presence check returns or throws without retaining the parsed map or acquiring a native resource.
+ * @evidenceExclude contracts/performance.md#efficient-algorithms One canonical-key membership check makes a fixed mode decision; flag parsing and compiler execution belong to their existing owners.
+ * @evidenceExclude contracts/performance.md#reuse-equivalent-work A mode refusal coordinates no producer computation or cross-call result.
+ * @evidenceExclude contracts/portability.md#os-neutral-implementation This guard inspects a canonical option key and constructs diagnostic text; native paths, processes and OS capability discovery are outside its operation.
  */
 function assertNoSolutionBuild(result, errorPrefix) {
     if (!result.values.has("--build"))

package/lib/launcher/internal/assertNoSolutionBuild.js.map

@@ -1 +1 @@
-{"version":3,"file":"assertNoSolutionBuild.js","sourceRoot":"","sources":["../../../src/launcher/internal/assertNoSolutionBuild.ts"],"names":[],"mappings":";;;AAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,+BACE,MAAmB,EACnB,WAAmB;IAEnB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO;IAC1C,MAAM,IAAI,KAAK,CACb,GAAG,WAAW,+JAA+J,CAC9K,CAAC;AACJ,CAAC"}
+{"version":3,"file":"assertNoSolutionBuild.js","sourceRoot":"","sources":["../../../src/launcher/internal/assertNoSolutionBuild.ts"],"names":[],"mappings":";;;AAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,+BACE,MAAmB,EACnB,WAAmB;IAEnB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO;IAC1C,MAAM,IAAI,KAAK,CACb,GAAG,WAAW,+JAA+J,CAC9K,CAAC;AACJ,CAAC"}

package/lib/launcher/internal/assertTtsxNoWatch.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Refuse `--watch` (or `-w`) before the one-shot ttsx check or build starts.
+ *
+ * A watch that restarts the program is a different feature; the message names
+ * the tools that provide its two halves. Arguments after the entry belong to
+ * the program and never reach this guard. Parsing supplies its compiler tokens
+ * without a cwd and remains in-memory. Preparation supplies the selected
+ * project's actual compiler cwd, after project/reference discovery and before
+ * effective-option reporting, cache writes or a checked build, to inspect
+ * response frames through their shared owner.
+ *
+ * Even an explicit false/null watch request is unsupported, matching direct
+ * launcher flags. Inspection failures propagate before a build starts. The
+ * observation does not pin response bytes against subsequent filesystem edits.
+ *
+ * @evidence contracts/common.md#principled-implementation The same refusal owns direct launcher requests and observed response options; native occurrence widths preserve scalar operands and preparation supplies the selected project root.
+ * @evidence contracts/common.md#clear-and-simple-design One mode guard serves parsing and the pre-build boundary, delegating response expansion to the existing inspection owner.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts No compiler grammar or watcher behavior is replaced; unsupported watch requests throw before execution and inspection failures remain failures.
+ * @evidence contracts/common.md#meaningful-documentation Native paragraphs distinguish direct parsing, project-relative response observation and program argv, and state the observation's lifetime limit.
+ * @evidence contracts/portability.md#os-neutral-implementation Response resolution and UTF decoding belong to the shared native filesystem inspector; the guard receives a native directory rather than assuming the invocation cwd.
+ * @evidence contracts/performance.md#efficient-algorithms One occurrence scan finds response requests and another finds watch. When expansion is needed its delegated path/read/hash/token costs follow all expanded bytes, depth and occurrences without a fixed cap.
+ * @evidenceExclude contracts/performance.md#reuse-equivalent-work Each admission observes the current response contents and retains no historical answer.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources Inspection transfers call-local arrays and synchronous observations; this guard retains no handles, process or cache.
+ */
+export declare function assertTtsxNoWatch(args: readonly string[], compilerCwd?: string): void;

package/lib/launcher/internal/assertTtsxNoWatch.js

@@ -0,0 +1,46 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.assertTtsxNoWatch = assertTtsxNoWatch;
+const CompilerArgumentsInspection_1 = require("../../compiler/internal/CompilerArgumentsInspection");
+const readCompilerOptionOccurrence_1 = require("../../flags/readCompilerOptionOccurrence");
+const readCompilerOptionValues_1 = require("../../flags/readCompilerOptionValues");
+const resolveFlagSpec_1 = require("../../flags/resolveFlagSpec");
+/**
+ * Refuse `--watch` (or `-w`) before the one-shot ttsx check or build starts.
+ *
+ * A watch that restarts the program is a different feature; the message names
+ * the tools that provide its two halves. Arguments after the entry belong to
+ * the program and never reach this guard. Parsing supplies its compiler tokens
+ * without a cwd and remains in-memory. Preparation supplies the selected
+ * project's actual compiler cwd, after project/reference discovery and before
+ * effective-option reporting, cache writes or a checked build, to inspect
+ * response frames through their shared owner.
+ *
+ * Even an explicit false/null watch request is unsupported, matching direct
+ * launcher flags. Inspection failures propagate before a build starts. The
+ * observation does not pin response bytes against subsequent filesystem edits.
+ *
+ * @evidence contracts/common.md#principled-implementation The same refusal owns direct launcher requests and observed response options; native occurrence widths preserve scalar operands and preparation supplies the selected project root.
+ * @evidence contracts/common.md#clear-and-simple-design One mode guard serves parsing and the pre-build boundary, delegating response expansion to the existing inspection owner.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts No compiler grammar or watcher behavior is replaced; unsupported watch requests throw before execution and inspection failures remain failures.
+ * @evidence contracts/common.md#meaningful-documentation Native paragraphs distinguish direct parsing, project-relative response observation and program argv, and state the observation's lifetime limit.
+ * @evidence contracts/portability.md#os-neutral-implementation Response resolution and UTF decoding belong to the shared native filesystem inspector; the guard receives a native directory rather than assuming the invocation cwd.
+ * @evidence contracts/performance.md#efficient-algorithms One occurrence scan finds response requests and another finds watch. When expansion is needed its delegated path/read/hash/token costs follow all expanded bytes, depth and occurrences without a fixed cap.
+ * @evidenceExclude contracts/performance.md#reuse-equivalent-work Each admission observes the current response contents and retains no historical answer.
+ * @evidenceExclude contracts/performance.md#bound-retention-and-release-resources Inspection transfers call-local arrays and synchronous observations; this guard retains no handles, process or cache.
+ */
+function assertTtsxNoWatch(args, compilerCwd) {
+    if (compilerCwd !== undefined &&
+        (0, readCompilerOptionValues_1.readCompilerOptionValues)(args).responseFiles.length !== 0) {
+        args = CompilerArgumentsInspection_1.CompilerArgumentsInspection.inspect(args, compilerCwd).args;
+    }
+    let watching = false;
+    for (let index = 0; !watching && index < args.length;) {
+        watching = (0, resolveFlagSpec_1.resolveFlagSpec)(args[index])?.name === "--watch";
+        index += (0, readCompilerOptionOccurrence_1.readCompilerOptionOccurrence)(args, index).width;
+    }
+    if (!watching)
+        return;
+    throw new Error("ttsx: --watch is not supported; ttsx type-checks once and then runs the entry. For a watching type-check use `ttsc --watch --noEmit`; to restart the program on changes use `node --watch --require ttsc/register <entry.ts>`. Arguments after the entry, including --watch, go to the program.");
+}
+//# sourceMappingURL=assertTtsxNoWatch.js.map

package/lib/launcher/internal/assertTtsxNoWatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertTtsxNoWatch.js","sourceRoot":"","sources":["../../../src/launcher/internal/assertTtsxNoWatch.ts"],"names":[],"mappings":";;;AAAA,qGAAkG;AAClG,2FAAwF;AACxF,mFAAgF;AAChF,iEAA8D;AAE9D;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,2BACE,IAAuB,EACvB,WAAoB;IAEpB,IACE,WAAW,KAAK,SAAS;QACzB,IAAA,mDAAwB,EAAC,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EACzD,CAAC;QACD,IAAI,GAAG,yDAA2B,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC;IACrE,CAAC;IACD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC,QAAQ,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,GAAI,CAAC;QACvD,QAAQ,GAAG,IAAA,iCAAe,EAAC,IAAI,CAAC,KAAK,CAAE,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC;QAC7D,KAAK,IAAI,IAAA,2DAA4B,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC;IAC3D,CAAC;IACD,IAAI,CAAC,QAAQ;QAAE,OAAO;IACtB,MAAM,IAAI,KAAK,CACb,iSAAiS,CAClS,CAAC;AACJ,CAAC"}

package/lib/launcher/internal/buildSingleRootProject.d.ts

@@ -0,0 +1,108 @@
+import { readProjectConfig } from "../../compiler/internal/project/readProjectConfig";
+import type { TtscBuildResult } from "../../structures/internal/TtscBuildResult";
+import type { TtscCommonOptions } from "../../structures/internal/TtscCommonOptions";
+/**
+ * Compile one TypeScript root that its owning project's file set does not
+ * contain, with every compiler option of that project.
+ *
+ * `ttsc` selects a _file set_: a project whose `include` is `src` must emit
+ * only `src` into `outDir`, and a `clear.ts`, a `build/release.ts`, or a
+ * `lint.config.ts` beside the tsconfig has no business in `lib`. `ttsx` needs
+ * that project's compiler options for a file it runs, not its file list. Those
+ * two requirements are not in conflict, but the whole-project build cannot
+ * satisfy the second, so such a root is compiled here through a project that
+ * inherits every option and declares only the root. Two lanes need it: the
+ * launcher's entry when the project build did not emit it, and a TypeScript
+ * file the running program reaches that no build compiled.
+ *
+ * Where the synthesized tsconfig lives depends on what the build reads from its
+ * location. `extends` with an absolute path resolves from anywhere, and every
+ * relative option resolves against the config that declares it, but
+ * `${configDir}` is substituted with the directory of the config tsgo was
+ * given, and the default `typeRoots` and each `types` entry are looked up from
+ * there. A checked build needs all of them exactly as the user's config sees
+ * them, so its tsconfig is written beside the real one, and a directory that
+ * refuses the write is reported by name. TypeScript-Go's command line cannot
+ * combine a project with a file list, and ttsc ships no host that replaces a
+ * project's roots in memory, so no other placement is faithful. An emit-only
+ * build ignores diagnostics, and none of those lookups changes what it emits,
+ * with one exception: `${configDir}` inside `paths` or `baseUrl` decides which
+ * module an import resolves to, and so whether a re-exported name is elided as
+ * a type. Unless its config chain uses `${configDir}`, an emit-only build's
+ * tsconfig is written beside `emitDir` instead, because such a build runs while
+ * the program is running, for an installed package whose directory may be
+ * read-only or for a plugin descriptor whose inputs are fingerprinted by their
+ * directory's metadata, and a file created and removed in the user's tree would
+ * disturb both. The overlay is created exclusively: an occupied name is refused
+ * without writing or removing that entry. After acquisition, closing its
+ * descriptor and removing the overlay are attempted on success or failure;
+ * native cleanup failures may leave the overlay behind.
+ *
+ * `rootDir` is the root of the source's volume. The layout of this emit is
+ * private, so `rootDir` decides nothing here but whether a file of the program
+ * fits under it, and every narrower choice fails some program: the inherited
+ * `rootDir` (`src`) does not contain the root, and a root that imports a
+ * sibling package's source reaches outside any ancestor it shares with the
+ * project. A file outside `rootDir` is TS6059 in a checked build and, in an
+ * emit-only one, an output written beside the user's `.ts`. The caller finds
+ * the output through `EmitOwnershipIndex` against the returned `rootDir`, so
+ * the width costs nothing in precision. A `--rootDir` forwarded on the command
+ * line still wins, as it does in every build, and the returned `rootDir` is
+ * then that one.
+ *
+ * `composite` is switched off. It exists for `tsc -b`, whose project graph
+ * needs every file listed, and inherited here it would reject each import of
+ * the root with TS6307, since only the root is listed. Declarations go with it:
+ * nothing at run time reads them, and an inherited `declarationMap` would
+ * otherwise fail with TS5069 once `composite` no longer implies `declaration`.
+ * An emit-only build also switches `noEmitOnError` off, since it fails only on
+ * an empty output and an inherited `noEmitOnError` would turn any diagnostic
+ * into one.
+ *
+ * @returns The project, effective `rootDir` and compiler-owned source
+ *   provenance for actual written outputs. Missing provenance is not
+ *   synthesized from maps.
+ * @throws When the build fails. A checked build fails on any diagnostic; an
+ *   emit-only build fails only when it produced no JavaScript at all.
+ * @evidence contracts/common.md#principled-implementation A transient extends overlay changes only roots and runtime output constraints, while preserving configDir-sensitive anchors; effective rootDir is returned for output ownership rather than inferred from emitted filenames.
+ * @evidence contracts/common.md#clear-and-simple-design This boundary owns single-root overlay construction and cleanup, delegates project parsing/building, and isolates writable-directory diagnostics in a private helper.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts Private emit layout, disabled declaration/composite products and checked versus installed-package diagnostics are runtime contract distinctions, not source patches or tests-only compiler modes.
+ * @evidence contracts/common.md#meaningful-documentation Native paragraphs explain overlay placement, wide rootDir, diagnostics and cleanup, while separately documented input members preserve their ownership facts.
+ * @evidence contracts/portability.md#os-neutral-implementation Shared filesystem identity selects the source volume from resolved native identity when available and retained spelling otherwise; overlay JSON converts only native separators, preserving literal POSIX backslashes. Public exclusive creation refuses an occupied overlay name without overwriting it; explicit compiler paths avoid shell interpolation and blanket case folding.
+ * @evidence contracts/performance.md#efficient-algorithms Emit-only placement parses the config chain and scans its text for configDir anchors; checked placement skips that scan. Native identity resolution, overlay serialization/write, effective-options preparation and delegated compilation contribute path/input/output byte costs; this boundary performs no source-directory mirror or second whole-project compilation.
+ * @evidence contracts/performance.md#reuse-equivalent-work One effective-options reader for this overlay and exact forwarded tokens is shared by runtime lowering, emit classification and rootDir selection, avoiding duplicate response-file compiler queries. Callers own sharing of completed build generations.
+ * @evidence contracts/performance.md#bound-retention-and-release-resources Exclusive open establishes ownership of one transient tsconfig and descriptor. The descriptor is closed before parsing; finally attempts any remaining close and removal after write, close, parse or build failure, without removing a failed-acquisition entry. Native cleanup failures may retain the overlay; caller owns emit storage and delegated build lifetimes.
+ */
+export declare function buildSingleRootProject(props: {
+    /** The root, in the physical spelling the runtime loads it by. */
+    source: string;
+    /** The owning `tsconfig.json`, whose options the root inherits. */
+    tsconfig: string;
+    /** Directory the build runs in. */
+    projectRoot: string;
+    /** Directory-safe token, unique per concurrent build of one tsconfig. */
+    key: string;
+    /** Where the JavaScript goes. The directory must be private to this build. */
+    emitDir: string;
+    /**
+     * Whether diagnostics stop the build. A root of the user's program is
+     * checked; a root inside an installed package is emit-only, matching the
+     * policy for every other file of that package.
+     */
+    checked: boolean;
+    /** Names the root in a failure: `entry` for the launcher's own entry. */
+    role: "entry" | "root";
+    /** Build options forwarded to `runBuild`. */
+    options?: TtscCommonOptions & {
+        cacheDir?: string;
+    };
+}): {
+    /** Parsed overlay project whose compiler options governed this build. */
+    project: ReturnType<typeof readProjectConfig>;
+    /** Effective native layout root, including any forwarded rootDir override. */
+    rootDir: string;
+    /** Actual written output to compile-time source ledger; absent means unknown. */
+    emittedSources?: TtscBuildResult["emittedSources"];
+    /** Actual output-specific proof refusal context, independent of diagnostics. */
+    emittedSourceProofFailures?: TtscBuildResult["emittedSourceProofFailures"];
+};