ttsc 0.33.0 → 0.34.0

package/internal/graph/resolve.go

@@ -67,14 +67,15 @@ func (g *Graph) resolve(checker *shimchecker.Checker, ref *shimast.Node) *Target
   return target
 }
 
-// Resolve uses the checker's external GetSymbolAtLocation API, then requests an
-// aliased symbol when one is reported. That API deliberately returns a contextual
+// Resolve uses the checker's external symbol APIs, including source-value lookup
+// for shorthand properties and contextual property lookup for destructuring and
+// JSX attributes, then unwraps aliases. These APIs return a contextual
 // symbol, not a universal type-checking binding guarantee. A valid checker and
 // parented source-tree ref are required. Nil means no reported symbol; a symbol
 // without a source declaration can instead return a target with empty File.
 //
-// @evidence contracts/common.md#principled-implementation The supported external symbol API and alias API supply a contextual endpoint; representative declaration selection prefers non-declaration-file bodies without certifying physical ownership or every expression's type-checking binding.
-// @evidence contracts/common.md#clear-and-simple-design Symbol lookup, alias unwrapping and declaration classification form one endpoint adapter shared by graph relation passes.
+// @evidence contracts/common.md#principled-implementation Supported upstream symbol, shorthand-value and contextual-type/property queries supply endpoints for their respective syntax. Alias unwrapping and representative declaration selection prefer workspace bodies without certifying physical ownership or every expression's type-checking binding.
+// @evidence contracts/common.md#clear-and-simple-design Syntax-specific supported checker queries feed shared alias unwrapping and declaration classification in one endpoint adapter.
 // @evidence contracts/common.md#prohibited-implementation-shortcuts Barrel resolution uses the supported checker API rather than guessing export files or rewriting foreign state.
 // @evidence contracts/common.md#meaningful-documentation Native prose states alias behavior, unresolved outcomes and source ownership, with documentation-skill tag spacing.
 // @evidence contracts/performance.md#efficient-algorithms Delegated contextual lookup/alias resolution can perform lazy semantic work beyond the returned symbol. Up to three declaration passes, source ancestry and filename classification add declaration-count/depth/string costs; this adapter itself performs no repository scan.
@@ -97,11 +98,35 @@ func Resolve(checker *shimchecker.Checker, ref *shimast.Node) *Target {
       return nil
     }
   }
-  symbol := checker.GetSymbolAtLocation(ref)
+  var symbol *shimast.Symbol
+  switch ref.Kind {
+  case shimast.KindShorthandPropertyAssignment:
+    symbol = checker.GetShorthandAssignmentValueSymbol(ref)
+  case shimast.KindBindingElement:
+    binding := ref.AsBindingElement()
+    if ref.Parent != nil && ref.Parent.Kind == shimast.KindObjectBindingPattern && binding.DotDotDotToken == nil {
+      name := binding.PropertyName
+      if name == nil {
+        name = binding.Name()
+      }
+      if property, ok := staticObjectMemberName(name); ok {
+        symbol = checker.GetPropertyOfType(checker.GetTypeAtLocation(ref.Parent), property)
+      }
+    }
+  case shimast.KindJsxAttribute:
+    if property, ok := staticObjectMemberName(ref.Name()); ok && ref.Parent != nil {
+      // Zero requests the upstream API's ordinary contextual type, with no flags.
+      if contextual := checker.GetContextualType(ref.Parent, 0); contextual != nil {
+        symbol = checker.GetPropertyOfType(contextual, property)
+      }
+    }
+  default:
+    symbol = checker.GetSymbolAtLocation(ref)
+  }
   if symbol == nil {
     return nil
   }
-  if symbol.Flags&shimast.SymbolFlagsAlias != 0 {
+  if shimast.SymbolFlagsOf(symbol)&shimast.SymbolFlagsAlias != 0 {
     if aliased := shimchecker.Checker_getAliasedSymbol(checker, symbol); aliased != nil {
       symbol = aliased
     }
@@ -111,7 +136,7 @@ func Resolve(checker *shimchecker.Checker, ref *shimast.Node) *Target {
     target.Pos = declaration.Pos()
     target.End = declaration.End()
     if file := shimast.GetSourceFileOfNode(declaration); file != nil {
-      target.File = file.FileName()
+      target.File = string(file.FileName())
       target.External = !IsWorkspaceSourceFile(file)
     }
   }
@@ -131,27 +156,27 @@ func declarationFile(symbol *shimast.Symbol) *shimast.SourceFile {
 }
 
 func declarationNode(symbol *shimast.Symbol) *shimast.Node {
-  if len(symbol.Declarations) == 0 {
+  if len(shimast.SymbolDeclarationsOf(symbol)) == 0 {
     return nil
   }
   // Prefer a non-declaration-file declaration. A declaration-merged symbol (a
   // class paired with an interface, or a function with a namespace) can list a
   // `.d.ts` declaration first; classifying by it would mark a real workspace
   // symbol external and sever it from the graph.
-  for _, declaration := range symbol.Declarations {
+  for _, declaration := range shimast.SymbolDeclarationsOf(symbol) {
     if file := shimast.GetSourceFileOfNode(declaration); file != nil && !file.IsDeclarationFile && declaration.Body() != nil {
       return declaration
     }
   }
-  for _, declaration := range symbol.Declarations {
+  for _, declaration := range shimast.SymbolDeclarationsOf(symbol) {
     if file := shimast.GetSourceFileOfNode(declaration); file != nil && !file.IsDeclarationFile {
       return declaration
     }
   }
-  for _, declaration := range symbol.Declarations {
+  for _, declaration := range shimast.SymbolDeclarationsOf(symbol) {
     if declaration.Body() != nil {
       return declaration
     }
   }
-  return symbol.Declarations[0]
+  return shimast.SymbolDeclarationsOf(symbol)[0]
 }

package/internal/graph/resolve_unwraps_barrel_reexport_to_real_declaration_test.go

@@ -77,11 +77,11 @@ void echoed;
   if raw == nil {
     t.Fatal("GetSymbolAtLocation returned nil for the call-site reference")
   }
-  if raw.Flags&shimast.SymbolFlagsAlias == 0 {
+  if shimast.SymbolFlagsOf(raw)&shimast.SymbolFlagsAlias == 0 {
     t.Fatal("premise broken: the call-site reference is not an alias, so there is no barrel hop to unwrap")
   }
-  if rawFile := declarationFile(raw); rawFile == nil || !strings.HasSuffix(rawFile.FileName(), "main.ts") {
-    t.Fatalf("naive stop did not land on the import in main.ts: %v", raw.Declarations)
+  if rawFile := declarationFile(raw); rawFile == nil || !strings.HasSuffix(string(rawFile.FileName()), "main.ts") {
+    t.Fatalf("naive stop did not land on the import in main.ts: %v", shimast.SymbolDeclarationsOf(raw))
   }
 
   // The bridged walk: Resolve unwraps the alias chain to the real declaration.
@@ -89,7 +89,7 @@ void echoed;
   if resolved == nil {
     t.Fatal("Resolve returned nil for the call-site reference")
   }
-  if resolved.Symbol == nil || resolved.Symbol.Name != "target" {
+  if resolved.Symbol == nil || shimast.SymbolNameOf(resolved.Symbol) != "target" {
     t.Fatalf("Resolve did not land on the target symbol: %+v", resolved.Symbol)
   }
   if !strings.HasSuffix(resolved.File, "impl.ts") {
@@ -105,7 +105,7 @@ void echoed;
   // The helper selects the local declaration's first value identifier; it is a
   // workspace node, not an external leaf.
   local := Resolve(checker, identifier(t, main, "value"))
-  if local == nil || local.Symbol == nil || local.Symbol.Name != "value" {
+  if local == nil || local.Symbol == nil || shimast.SymbolNameOf(local.Symbol) != "value" {
     t.Fatalf("Resolve did not bind the local const reference: %+v", local)
   }
   if !strings.HasSuffix(local.File, "main.ts") || local.External {
@@ -124,7 +124,7 @@ void echoed;
 func sourceFile(t *testing.T, prog *driver.Program, suffix string) *shimast.SourceFile {
   t.Helper()
   for _, file := range prog.SourceFiles() {
-    if strings.HasSuffix(file.FileName(), suffix) {
+    if strings.HasSuffix(string(file.FileName()), suffix) {
       return file
     }
   }

package/internal/graph/source.go

@@ -28,6 +28,6 @@ func IsWorkspaceSourceFile(file *shimast.SourceFile) bool {
   if file == nil || file.IsDeclarationFile {
     return false
   }
-  normalized := filepath.ToSlash(file.FileName())
+  normalized := filepath.ToSlash(string(file.FileName()))
   return !strings.Contains("/"+strings.TrimPrefix(normalized, "/"), "/node_modules/")
 }

package/internal/graph/type_ref_edges_cover_typeof_as_satisfies_test.go

@@ -73,12 +73,12 @@ export const config = { a: 1 } satisfies Config;
   graph := Build(prog)
   path := sourceFile(t, prog, "main.ts").FileName()
 
-  settingsShape := nodeID(path, "SettingsShape", NodeTypeAlias)
-  settings := nodeID(path, "settings", NodeVariable)
-  coerce := nodeID(path, "coerce", NodeFunction)
-  target := nodeID(path, "Target", NodeInterface)
-  config := nodeID(path, "config", NodeVariable)
-  configType := nodeID(path, "Config", NodeInterface)
+  settingsShape := nodeID(string(path), "SettingsShape", NodeTypeAlias)
+  settings := nodeID(string(path), "settings", NodeVariable)
+  coerce := nodeID(string(path), "coerce", NodeFunction)
+  target := nodeID(string(path), "Target", NodeInterface)
+  config := nodeID(string(path), "config", NodeVariable)
+  configType := nodeID(string(path), "Config", NodeInterface)
 
   if !hasEdge(graph, settingsShape, settings, EdgeTypeRef) {
     t.Errorf("missing type-ref edge SettingsShape -> settings (typeof query)")
@@ -86,7 +86,7 @@ export const config = { a: 1 } satisfies Config;
   if !hasEdge(graph, coerce, target, EdgeTypeRef) {
     t.Errorf("missing type-ref edge coerce -> Target (as assertion)")
   }
-  if !hasEdge(graph, nodeID(path, "assertionOnly", NodeFunction), target, EdgeTypeRef) {
+  if !hasEdge(graph, nodeID(string(path), "assertionOnly", NodeFunction), target, EdgeTypeRef) {
     t.Errorf("missing type-ref edge assertionOnly -> Target without a return annotation")
   }
   if !hasEdge(graph, config, configType, EdgeTypeRef) {

package/internal/graph/type_ref_edges_resolve_named_types_across_files_test.go

@@ -45,8 +45,8 @@ export function use(c: Config): string {
   defer func() { _ = prog.Close() }()
 
   graph := Build(prog)
-  use := nodeID(sourceFile(t, prog, "main.ts").FileName(), "use", NodeFunction)
-  config := nodeID(sourceFile(t, prog, "types.ts").FileName(), "Config", NodeInterface)
+  use := nodeID(string(sourceFile(t, prog, "main.ts").FileName()), "use", NodeFunction)
+  config := nodeID(string(sourceFile(t, prog, "types.ts").FileName()), "Config", NodeInterface)
 
   if !hasEdge(graph, use, config, EdgeTypeRef) {
     t.Fatalf("missing type-ref edge use -> Config; edges: %v", graph.Edges)

package/internal/graph/value_access_edges_cover_properties_test.go

@@ -68,11 +68,11 @@ export class Store {
 
   graph := Build(prog)
   path := sourceFile(t, prog, "main.ts").FileName()
-  read := nodeID(path, "Store.read", NodeMethod)
-  write := nodeID(path, "Store.write", NodeMethod)
-  count := nodeID(path, "Store.count", NodeMethod)
-  items := nodeID(path, "Store.items", NodeVariable)
-  seed := nodeID(path, "seed", NodeFunction)
+  read := nodeID(string(path), "Store.read", NodeMethod)
+  write := nodeID(string(path), "Store.write", NodeMethod)
+  count := nodeID(string(path), "Store.count", NodeMethod)
+  items := nodeID(string(path), "Store.items", NodeVariable)
+  seed := nodeID(string(path), "seed", NodeFunction)
 
   if _, ok := graph.Nodes[items]; !ok {
     t.Fatalf("Build did not record Store.items; have %v", nodeIDSet(graph))

package/internal/graph/value_call_edges_attribute_function_assignments_to_members_test.go

@@ -51,13 +51,13 @@ export function install(inst: Service): void {
   graph := Build(prog)
   path := sourceFile(t, prog, "main.ts").FileName()
 
-  run := nodeID(path, "Service.run", NodeMethod)
-  helper := nodeID(path, "helper", NodeFunction)
+  run := nodeID(string(path), "Service.run", NodeMethod)
+  helper := nodeID(string(path), "helper", NodeFunction)
 
   if !hasEdge(graph, run, helper, EdgeValueCall) {
     t.Fatalf("missing value-call edge Service.run -> helper (assigned implementation); edges: %v", graph.Edges)
   }
-  if graph.Nodes[run].ImplementationFile != path ||
+  if graph.Nodes[run].ImplementationFile != string(path) ||
     graph.Nodes[run].ImplementationPos <= 0 ||
     graph.Nodes[run].ImplementationEnd <= graph.Nodes[run].ImplementationPos {
     t.Fatalf("Service.run missing assigned implementation span: %+v", graph.Nodes[run])

package/internal/graph/value_call_edges_cover_jsx_components_test.go

@@ -66,8 +66,8 @@ export function Parent(): JSX.Element {
   graph := Build(prog)
   path := sourceFile(t, prog, "main.tsx").FileName()
 
-  parent := nodeID(path, "Parent", NodeFunction)
-  child := nodeID(path, "Child", NodeFunction)
+  parent := nodeID(string(path), "Parent", NodeFunction)
+  child := nodeID(string(path), "Child", NodeFunction)
 
   if !hasEdge(graph, parent, child, EdgeValueCall) {
     t.Fatalf("missing value-call edge Parent -> Child (JSX component use); edges: %v", graph.Edges)

package/internal/graph/value_call_edges_cover_methods_and_constructors_test.go

@@ -54,9 +54,9 @@ export class Controller {
   graph := Build(prog)
   path := sourceFile(t, prog, "main.ts").FileName()
 
-  handle := nodeID(path, "Controller.handle", NodeMethod)
-  run := nodeID(path, "Service.run", NodeMethod)
-  service := nodeID(path, "Service", NodeClass)
+  handle := nodeID(string(path), "Controller.handle", NodeMethod)
+  run := nodeID(string(path), "Service.run", NodeMethod)
+  service := nodeID(string(path), "Service", NodeClass)
 
   // The callee method node both endpoints need must exist as a real node.
   if _, ok := graph.Nodes[run]; !ok {

package/internal/graph/value_call_edges_cover_variable_bound_callables_test.go

@@ -43,8 +43,8 @@ export const handler = (): void => {
   graph := Build(prog)
   path := sourceFile(t, prog, "main.ts").FileName()
 
-  handler := nodeID(path, "handler", NodeVariable)
-  helper := nodeID(path, "helper", NodeFunction)
+  handler := nodeID(string(path), "handler", NodeVariable)
+  helper := nodeID(string(path), "helper", NodeFunction)
 
   if !hasEdge(graph, handler, helper, EdgeValueCall) {
     t.Fatalf("missing value-call edge handler -> helper (variable-bound callable body); edges: %v", graph.Edges)

package/internal/graph/value_call_edges_do_not_double_record_invoked_member_access_test.go

@@ -56,10 +56,10 @@ func TestValueCallEdgesDoNotDoubleRecordInvokedMemberAccess(t *testing.T) {
 
   graph := Build(prog)
   path := sourceFile(t, prog, "main.ts").FileName()
-  handle := nodeID(path, "handle", NodeFunction)
-  run := nodeID(path, "Providers.Service.run", NodeMethod)
-  service := nodeID(path, "Providers.Service", NodeClass)
-  html := nodeID(path, "Tags.html", NodeFunction)
+  handle := nodeID(string(path), "handle", NodeFunction)
+  run := nodeID(string(path), "Providers.Service.run", NodeMethod)
+  service := nodeID(string(path), "Providers.Service", NodeClass)
+  html := nodeID(string(path), "Tags.html", NodeFunction)
 
   for _, target := range []string{run, service, html} {
     if !hasEdge(graph, handle, target, EdgeValueCall) {

package/internal/graph/value_call_edges_record_construct_versus_call_origin_test.go

@@ -53,9 +53,9 @@ export class Controller {
   graph := Build(prog)
   path := sourceFile(t, prog, "main.ts").FileName()
 
-  handle := nodeID(path, "Controller.handle", NodeMethod)
-  run := nodeID(path, "Service.run", NodeMethod)
-  service := nodeID(path, "Service", NodeClass)
+  handle := nodeID(string(path), "Controller.handle", NodeMethod)
+  run := nodeID(string(path), "Service.run", NodeMethod)
+  service := nodeID(string(path), "Service", NodeClass)
 
   if got := edgeOrigin(graph, handle, run, EdgeValueCall); got != "call" {
     t.Fatalf("Controller.handle -> Service.run: want Origin \"call\", got %q; edges: %v", got, graph.Edges)

package/internal/graph/value_call_edges_resolve_across_files_and_dedupe_test.go

@@ -47,8 +47,8 @@ export function caller(): number {
   defer func() { _ = prog.Close() }()
 
   graph := Build(prog)
-  caller := nodeID(sourceFile(t, prog, "main.ts").FileName(), "caller", NodeFunction)
-  helper := nodeID(sourceFile(t, prog, "util.ts").FileName(), "helper", NodeFunction)
+  caller := nodeID(string(sourceFile(t, prog, "main.ts").FileName()), "caller", NodeFunction)
+  helper := nodeID(string(sourceFile(t, prog, "util.ts").FileName()), "helper", NodeFunction)
 
   count := 0
   for _, edge := range graph.Edges {

package/internal/graph/value_call_edges_skip_self_and_unresolved_test.go

@@ -55,10 +55,10 @@ export function dynamic(host: any): void {
   graph := Build(prog)
   path := sourceFile(t, prog, "main.ts").FileName()
 
-  rec := nodeID(path, "rec", NodeFunction)
-  helper := nodeID(path, "helper", NodeFunction)
-  caller := nodeID(path, "caller", NodeFunction)
-  dynamic := nodeID(path, "dynamic", NodeFunction)
+  rec := nodeID(string(path), "rec", NodeFunction)
+  helper := nodeID(string(path), "helper", NodeFunction)
+  caller := nodeID(string(path), "caller", NodeFunction)
+  dynamic := nodeID(string(path), "dynamic", NodeFunction)
 
   for _, id := range []string{rec, helper, caller, dynamic} {
     if graph.Nodes[id] == nil {

package/internal/graph/value_reads_cover_expression_positions_test.go

@@ -0,0 +1,88 @@
+package graph
+
+import (
+  "path/filepath"
+  "testing"
+
+  "github.com/samchon/ttsc/packages/ttsc/driver"
+)
+
+// Verifies named value uses survive their expression position.
+//
+// 1. Load isolated readers, destructuring and JSX properties with invocation and type-only controls.
+// 2. Build checker-resolved relations from one TSX Program.
+// 3. Require each actual reader and reject type-only, label and declaration-name dependencies.
+//
+// @evidence contracts/testing.md#behavioral-verification Build must record accesses to num, Props.label and Color from every authored reader, while preserving call edges without duplicate accesses and excluding type-only syntax.
+// @evidence contracts/testing.md#independent-expectations Each literal function body independently determines whether it reads the named module value or property. Expected relationships are authored pairs rather than a snapshot of the extractor's output.
+// @evidence contracts/testing.md#distinguishing-cases Return, arithmetic, condition, array, object, shorthand, template, assignment, anonymous closure, destructured aliases/defaults/parameters, JSX and enum uses contrast declaration names, labels, shadowed locals, type queries and direct calls. Existing tests own ordinary dotted and bracket access, dispatch and external leaves.
+// @evidence contracts/testing.md#execution-ownership This Go unit owns a temporary TSX project, loads and closes its compiler Program and calls Build directly; no native binary, installed consumer or agent query is launched.
+func TestValueReadsCoverExpressionPositions(t *testing.T) {
+  t.Setenv(driver.LinkedPluginsEnv, "")
+  root := t.TempDir()
+  writeFile(t, filepath.Join(root, "tsconfig.json"), `{"compilerOptions":{"strict":true,"target":"ES2022","module":"commonjs","jsx":"preserve"},"include":["src"]}`)
+  writeFile(t, filepath.Join(root, "src", "main.tsx"), "declare global { namespace JSX { type Element = unknown; interface IntrinsicElements {} } }\n"+`export const num = 1;
+export enum Color { Red }
+export interface Props { label: number }
+export function Badge(props: Props) { return null; }
+export function asArgument() { return String(num); }
+export function returned() { return num; }
+export function added() { return num + 1; }
+export function tested() { if (num) return 1; return 0; }
+export function inArray() { return [num]; }
+export function inObject() { return { key: num }; }
+export function shorthand() { return { num }; }
+export function inTemplate() { return `+"`${num}`"+`; }
+export function assigned() { const copy = num; return copy; }
+export function closure() { return () => num; }
+export function dotted(props: Props) { return props.label; }
+export function destructured(props: Props) { const { label } = props; return label; }
+export function renamed(props: Props) { const { label: renamed = num } = props; return renamed; }
+export function parameter({ label }: Props) { return label; }
+export function jsxAttribute() { return <Badge label={1} />; }
+export function enumMember() { return Color.Red; }
+export function enumBracket() { return Color["Red"]; }
+export function invoked() { return Badge({ label: 1 }); }
+export function onlyTypes(value: typeof num): Props { return { label: value }; }
+export type OnlyType = { [num]: typeof num };
+export function shadowed() { const num = 2; return num; }
+export function labels() { num: for (;;) { break num; } }
+`)
+  prog, diags, err := driver.LoadProgram(root, "tsconfig.json", driver.LoadProgramOptions{})
+  if err != nil {
+    t.Fatal(err)
+  }
+  defer func() { _ = prog.Close() }()
+  if len(diags) != 0 {
+    t.Fatalf("unexpected diagnostics: %v", diags)
+  }
+  g := Build(prog)
+  file := sourceFile(t, prog, "main.tsx").FileName()
+  for _, reader := range []string{"asArgument", "returned", "added", "tested", "inArray", "inObject", "shorthand", "inTemplate", "assigned", "closure", "renamed"} {
+    if !hasEdge(g, nodeID(string(file), reader, NodeFunction), nodeID(string(file), "num", NodeVariable), EdgeValueAccess) {
+      t.Errorf("%s lost num read", reader)
+    }
+  }
+  for _, reader := range []string{"dotted", "destructured", "renamed", "parameter", "jsxAttribute"} {
+    if !hasEdge(g, nodeID(string(file), reader, NodeFunction), nodeID(string(file), "Props.label", NodeVariable), EdgeValueAccess) {
+      t.Errorf("%s lost Props.label read", reader)
+    }
+  }
+  for _, reader := range []string{"enumMember", "enumBracket"} {
+    if !hasEdge(g, nodeID(string(file), reader, NodeFunction), nodeID(string(file), "Color", NodeEnum), EdgeValueAccess) {
+      t.Errorf("%s lost enum read", reader)
+    }
+  }
+  for _, reader := range []string{"onlyTypes", "shadowed", "labels"} {
+    if hasEdge(g, nodeID(string(file), reader, NodeFunction), nodeID(string(file), "num", NodeVariable), EdgeValueAccess) {
+      t.Errorf("%s invented num read", reader)
+    }
+  }
+  if hasEdge(g, nodeID(string(file), "OnlyType", NodeTypeAlias), nodeID(string(file), "num", NodeVariable), EdgeValueAccess) {
+    t.Error("type-literal computed name invented a runtime read")
+  }
+  from, to := nodeID(string(file), "invoked", NodeFunction), nodeID(string(file), "Badge", NodeFunction)
+  if !hasEdge(g, from, to, EdgeValueCall) || hasEdge(g, from, to, EdgeValueAccess) {
+    t.Error("direct invocation must retain only its call edge")
+  }
+}

package/lib/compiler/internal/buildNativeCompiler.d.ts

@@ -3,14 +3,17 @@
  * the in-memory API compilation paths (`compileProjectInMemory`,
  * `transformProjectInMemory`).
  *
- * The host is the `cmd/ttsc` Go entrypoint compiled with `buildSourcePlugin`.
+ * The host is the `cmd/ttsc` Go entrypoint compiled with `buildSourcePlugin`
+ * against the compiler target of the project's TypeScript line. The 7.0 host
+ * builds from the ttsc module alone, whose own go.mod replaces the 7.0 shims;
+ * the 7.1 host overlays its bridges and facades and carries the 7.1 build tag.
  * The cache key incorporates the ttsc package version and the full `go.mod`
  * contents as supplemental cache tokens. Actual source and selected toolchain
  * identity are established by the owning builder; metadata labels alone do not
  * certify every toolchain upgrade.
  *
  * @returns Absolute path to the compiled host executable.
- * @evidence contracts/common.md#principled-implementation The compiler host is the package's cmd/ttsc Go source built by the same source-plugin artifact owner; package version and full module text supplement that owner's source and environment identity.
+ * @evidence contracts/common.md#principled-implementation The compiler host is the package's cmd/ttsc Go source built by the same source-plugin artifact owner against the project's compiler target, so in-memory compilation checks with the compiler the project's tsc runs; package version and full module text supplement that owner's source and environment identity, and the target's tag and overlays enter it.
  * @evidence contracts/common.md#clear-and-simple-design This adapter supplies the host source, cache anchor and version tokens while buildSourcePlugin owns compilation, locking and artifact admission.
  * @evidence contracts/common.md#prohibited-implementation-shortcuts Version read fallbacks label unavailable metadata; they do not replace the owning builder's actual source/environment proof or synthesize a binary path.
  * @evidence contracts/common.md#meaningful-documentation Native prose identifies the compiler consumers and version-token inputs; separated option members distinguish project cache base, optional override and package source root.

package/lib/compiler/internal/buildNativeCompiler.js

@@ -6,20 +6,26 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.buildNativeCompiler = buildNativeCompiler;
 const node_fs_1 = __importDefault(require("node:fs"));
 const node_path_1 = __importDefault(require("node:path"));
+const CompilerTarget_1 = require("../../plugin/internal/source/CompilerTarget");
+const SourcePluginWorkspace_1 = require("../../plugin/internal/source/SourcePluginWorkspace");
 const buildSourcePlugin_1 = require("../../plugin/internal/source/buildSourcePlugin");
+const SidecarEnvironment_1 = require("./sharedHost/SidecarEnvironment");
 /**
  * Build (or retrieve from cache) the native ttsc compiler host binary used by
  * the in-memory API compilation paths (`compileProjectInMemory`,
  * `transformProjectInMemory`).
  *
- * The host is the `cmd/ttsc` Go entrypoint compiled with `buildSourcePlugin`.
+ * The host is the `cmd/ttsc` Go entrypoint compiled with `buildSourcePlugin`
+ * against the compiler target of the project's TypeScript line. The 7.0 host
+ * builds from the ttsc module alone, whose own go.mod replaces the 7.0 shims;
+ * the 7.1 host overlays its bridges and facades and carries the 7.1 build tag.
  * The cache key incorporates the ttsc package version and the full `go.mod`
  * contents as supplemental cache tokens. Actual source and selected toolchain
  * identity are established by the owning builder; metadata labels alone do not
  * certify every toolchain upgrade.
  *
  * @returns Absolute path to the compiled host executable.
- * @evidence contracts/common.md#principled-implementation The compiler host is the package's cmd/ttsc Go source built by the same source-plugin artifact owner; package version and full module text supplement that owner's source and environment identity.
+ * @evidence contracts/common.md#principled-implementation The compiler host is the package's cmd/ttsc Go source built by the same source-plugin artifact owner against the project's compiler target, so in-memory compilation checks with the compiler the project's tsc runs; package version and full module text supplement that owner's source and environment identity, and the target's tag and overlays enter it.
  * @evidence contracts/common.md#clear-and-simple-design This adapter supplies the host source, cache anchor and version tokens while buildSourcePlugin owns compilation, locking and artifact admission.
  * @evidence contracts/common.md#prohibited-implementation-shortcuts Version read fallbacks label unavailable metadata; they do not replace the owning builder's actual source/environment proof or synthesize a binary path.
  * @evidence contracts/common.md#meaningful-documentation Native prose identifies the compiler consumers and version-token inputs; separated option members distinguish project cache base, optional override and package source root.
@@ -31,12 +37,14 @@ const buildSourcePlugin_1 = require("../../plugin/internal/source/buildSourcePlu
  * @evidence contracts/portability.md#os-neutral-implementation Node path joining selects the package source directory and the owning builder selects native executable/toolchain behavior; no shell command or fixed platform executable name is constructed here.
  */
 function buildNativeCompiler(options) {
+    const callerEnv = SidecarEnvironment_1.SidecarEnvironment.merge(options.env ?? process.env);
+    const line = CompilerTarget_1.CompilerTarget.resolve(options.cacheBaseDir, callerEnv);
     return (0, buildSourcePlugin_1.buildSourcePlugin)({
         baseDir: options.cacheBaseDir,
         cacheDir: options.cacheDir,
-        env: options.env,
+        env: CompilerTarget_1.CompilerTarget.buildEnv(callerEnv, line, options.cacheBaseDir),
         label: "compiler host",
-        overlayDirs: [],
+        overlayDirs: line === "7.0" ? [] : SourcePluginWorkspace_1.SourcePluginWorkspace.findTtscOverlayDirs(line),
         pluginName: "ttsc",
         quiet: true,
         source: node_path_1.default.join(options.packageRoot, "cmd", "ttsc"),

package/lib/compiler/internal/buildNativeCompiler.js.map

@@ -1 +1 @@
-{"version":3,"file":"buildNativeCompiler.js","sourceRoot":"","sources":["../../../src/compiler/internal/buildNativeCompiler.ts"],"names":[],"mappings":";;;;;;AAAA,sDAAyB;AACzB,0DAA6B;AAE7B,sFAAmF;AAEnF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,6BAAoC,OAYnC;IACC,OAAO,IAAA,qCAAiB,EAAC;QACvB,OAAO,EAAE,OAAO,CAAC,YAAY;QAC7B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,KAAK,EAAE,eAAe;QACtB,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,MAAM;QAClB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,mBAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC;QACrD,WAAW,EAAE,qBAAqB,CAAC,OAAO,CAAC,WAAW,CAAC;QACvD,WAAW,EAAE,mBAAmB,CAAC,OAAO,CAAC,WAAW,CAAC;KACtD,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,WAAmB;IAChD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CACpB,iBAAE,CAAC,YAAY,CAAC,mBAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CACvC,CAAC;QAC3B,OAAO,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;IACjE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,OAAO,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,mBAAmB,CAAC,WAAmB;IAC9C,IAAI,CAAC;QACH,OAAO,iBAAE,CAAC,YAAY,CAAC,mBAAI,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;IACnE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC"}
+{"version":3,"file":"buildNativeCompiler.js","sourceRoot":"","sources":["../../../src/compiler/internal/buildNativeCompiler.ts"],"names":[],"mappings":";;;;;;AAAA,sDAAyB;AACzB,0DAA6B;AAE7B,gFAA6E;AAC7E,8FAA2F;AAC3F,sFAAmF;AACnF,wEAAqE;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,6BAAoC,OAYnC;IACC,MAAM,SAAS,GAAG,uCAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,+BAAc,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IACrE,OAAO,IAAA,qCAAiB,EAAC;QACvB,OAAO,EAAE,OAAO,CAAC,YAAY;QAC7B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,GAAG,EAAE,+BAAc,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC;QACnE,KAAK,EAAE,eAAe;QACtB,WAAW,EACT,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,6CAAqB,CAAC,mBAAmB,CAAC,IAAI,CAAC;QACvE,UAAU,EAAE,MAAM;QAClB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,mBAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC;QACrD,WAAW,EAAE,qBAAqB,CAAC,OAAO,CAAC,WAAW,CAAC;QACvD,WAAW,EAAE,mBAAmB,CAAC,OAAO,CAAC,WAAW,CAAC;KACtD,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,WAAmB;IAChD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CACpB,iBAAE,CAAC,YAAY,CAAC,mBAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CACvC,CAAC;QAC3B,OAAO,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;IACjE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,OAAO,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,mBAAmB,CAAC,WAAmB;IAC9C,IAAI,CAAC;QACH,OAAO,iBAAE,CAAC,YAAY,CAAC,mBAAI,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;IACnE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC"}

package/lib/flags/COMPILER_ENUM_WHITESPACE.js

@@ -1,6 +1,6 @@
 "use strict";
 // Code generated by packages/ttsc/scripts/gen-flags.mts. DO NOT EDIT.
-// Source of truth: pinned native OptionsDeclarations and OptionsForWatch.
+// Source of truth: pinned TypeScript 7.0 and 7.1 OptionsDeclarations and OptionsForWatch.
 // Regenerate with: pnpm format
 // Verify in CI with: node packages/ttsc/scripts/check-flags.cjs
 Object.defineProperty(exports, "__esModule", { value: true });

package/lib/flags/COMPILER_ENUM_WHITESPACE.js.map

@@ -1 +1 @@
-{"version":3,"file":"COMPILER_ENUM_WHITESPACE.js","sourceRoot":"","sources":["../../src/flags/COMPILER_ENUM_WHITESPACE.ts"],"names":[],"mappings":";AAAA,sEAAsE;AACtE,0EAA0E;AAC1E,+BAA+B;AAC/B,gEAAgE;;;AAEhE,wEAAwE;AAC3D,QAAA,wBAAwB,GAAwB,IAAI,GAAG,CAAS;IAC3E,IAAI;IACJ,IAAI;IACJ,QAAQ;IACR,IAAI;IACJ,IAAI;IACJ,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH;CACD;IACC;CACD;IACC,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;CACJ,CAAC,CAAC"}
+{"version":3,"file":"COMPILER_ENUM_WHITESPACE.js","sourceRoot":"","sources":["../../src/flags/COMPILER_ENUM_WHITESPACE.ts"],"names":[],"mappings":";AAAA,sEAAsE;AACtE,0FAA0F;AAC1F,+BAA+B;AAC/B,gEAAgE;;;AAEhE,wEAAwE;AAC3D,QAAA,wBAAwB,GAAwB,IAAI,GAAG,CAAS;IAC3E,IAAI;IACJ,IAAI;IACJ,QAAQ;IACR,IAAI;IACJ,IAAI;IACJ,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH;CACD;IACC;CACD;IACC,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;CACJ,CAAC,CAAC"}