ttsc 0.33.0 → 0.34.0

package/src/plugin/internal/source/hashPluginBuildEnvironment.ts

@@ -2,6 +2,7 @@ import crypto from "node:crypto";
 import fs from "node:fs";
 import path from "node:path";
 
+import { CompilerTarget } from "./CompilerTarget";
 import { GoEnvironmentReading } from "./GoEnvironmentReading";
 import { GoSourceInputs } from "./GoSourceInputs";
 import { GoToolResolution } from "./GoToolResolution";
@@ -46,7 +47,7 @@ import { spawnGoTool } from "./spawnGoTool";
  * @param identities Record store that lets a new process prove the GOROOT
  *   corpus and executable bytes from their metadata (`PluginContentIdentities`,
  *   #1722); without it every process reads them.
- * @evidence contracts/common.md#principled-implementation Fixed artifact flags, observed compiler bytes/version, selected reported-or-fallback build values, named command executables and selected SDK files enter the same framed identity used by source-state reporting. Fallback values and metadata-qualified reuse are explicit premises, not complete observation of arbitrary toolchain inputs.
+ * @evidence contracts/common.md#principled-implementation Fixed artifact flags, observed compiler bytes/version, selected reported-or-fallback build values, named command executables and selected SDK files enter the same framed identity used by source-state reporting. Fallback values and metadata-qualified reuse are explicit premises, not complete observation of arbitrary toolchain inputs. GOFLAGS enters without ttsc's own compiler-target tag, so the caller's environment reproduces a 7.1 load's digest; targets are separated by their overlay modules in the build key.
  * @evidence contracts/common.md#clear-and-simple-design Private helpers separate compiler identity, Go-reported settings, external variables and SDK content while sharing one hash sink and optional pre-read witness.
  * @evidence contracts/common.md#prohibited-implementation-shortcuts Cache signatures include real identity/change metadata and effective invocation context; failed SDK witnessing refuses reuse rather than accepting a VERSION-only proxy.
  * @evidence contracts/common.md#meaningful-documentation Native documentation names the input classes and witness purpose; private comments explain context-sensitive compiler memoization and SDK exclusions without treating a passing check as proof.
@@ -495,6 +496,13 @@ function normalizeGoBuildEnvValue(
     PluginBuildEnvironmentWitness.add(witness, path.join(value, "VERSION"));
     return resolveGoRootCacheIdentity(value, filesystem, witness, identities);
   }
+  if (key === "GOFLAGS") {
+    // ttsc's compiler-target tag is not the caller's Go environment. Omitting
+    // it lets a reader holding the caller's environment reproduce a source
+    // state a 7.1 load reported; the build key separates targets through their
+    // overlay modules instead.
+    return CompilerTarget.withoutTag(value);
+  }
   if (GO_BUILD_COMMAND_ENV_KEYS.has(key)) {
     return `${value}\0${resolveCommandCacheIdentity(
       value,

package/targets/7.1/bridge/ast/enums_gen.go

@@ -0,0 +1,174 @@
+// Code generated by packages/ttsc/tools/shim_audit -fix. DO NOT EDIT.
+//
+// Completes every exposed enum family: re-exports each member not already
+// re-exported elsewhere in the shim package, so a plugin that can name the
+// enum type can name all of its values. Prevents a partially re-exported
+// family (a sibling const silently missing). Regenerate after a typescript-go bump with
+// `pnpm --filter ttsc shim:audit -fix`.
+
+package ast
+
+import innerast "github.com/microsoft/TypeScript/tsc/internal/ast"
+
+const (
+  CommentDirectiveKindUnknown                    = innerast.CommentDirectiveKindUnknown
+  KindSourceKeyword                              = innerast.KindSourceKeyword
+  ModifierFlagsAbstract                          = innerast.ModifierFlagsAbstract
+  ModifierFlagsAccessibilityModifier             = innerast.ModifierFlagsAccessibilityModifier
+  ModifierFlagsAccessor                          = innerast.ModifierFlagsAccessor
+  ModifierFlagsAll                               = innerast.ModifierFlagsAll
+  ModifierFlagsAsync                             = innerast.ModifierFlagsAsync
+  ModifierFlagsConst                             = innerast.ModifierFlagsConst
+  ModifierFlagsDecorator                         = innerast.ModifierFlagsDecorator
+  ModifierFlagsDefault                           = innerast.ModifierFlagsDefault
+  ModifierFlagsDeprecated                        = innerast.ModifierFlagsDeprecated
+  ModifierFlagsExport                            = innerast.ModifierFlagsExport
+  ModifierFlagsExportDefault                     = innerast.ModifierFlagsExportDefault
+  ModifierFlagsHasComputedFlags                  = innerast.ModifierFlagsHasComputedFlags
+  ModifierFlagsHasComputedJSDocModifiers         = innerast.ModifierFlagsHasComputedJSDocModifiers
+  ModifierFlagsIn                                = innerast.ModifierFlagsIn
+  ModifierFlagsJSDocCacheOnlyModifiers           = innerast.ModifierFlagsJSDocCacheOnlyModifiers
+  ModifierFlagsJSDocOnlyModifiers                = innerast.ModifierFlagsJSDocOnlyModifiers
+  ModifierFlagsJSDocOverride                     = innerast.ModifierFlagsJSDocOverride
+  ModifierFlagsJSDocPrivate                      = innerast.ModifierFlagsJSDocPrivate
+  ModifierFlagsJSDocProtected                    = innerast.ModifierFlagsJSDocProtected
+  ModifierFlagsJSDocPublic                       = innerast.ModifierFlagsJSDocPublic
+  ModifierFlagsJSDocReadonly                     = innerast.ModifierFlagsJSDocReadonly
+  ModifierFlagsJavaScript                        = innerast.ModifierFlagsJavaScript
+  ModifierFlagsModifier                          = innerast.ModifierFlagsModifier
+  ModifierFlagsNonCacheOnlyModifiers             = innerast.ModifierFlagsNonCacheOnlyModifiers
+  ModifierFlagsNonPublicAccessibilityModifier    = innerast.ModifierFlagsNonPublicAccessibilityModifier
+  ModifierFlagsNone                              = innerast.ModifierFlagsNone
+  ModifierFlagsOut                               = innerast.ModifierFlagsOut
+  ModifierFlagsOverride                          = innerast.ModifierFlagsOverride
+  ModifierFlagsParameterPropertyModifier         = innerast.ModifierFlagsParameterPropertyModifier
+  ModifierFlagsPublic                            = innerast.ModifierFlagsPublic
+  ModifierFlagsStatic                            = innerast.ModifierFlagsStatic
+  ModifierFlagsSyntacticModifiers                = innerast.ModifierFlagsSyntacticModifiers
+  ModifierFlagsSyntacticOnlyModifiers            = innerast.ModifierFlagsSyntacticOnlyModifiers
+  ModifierFlagsSyntacticOrJSDocModifiers         = innerast.ModifierFlagsSyntacticOrJSDocModifiers
+  ModifierFlagsTypeScriptModifier                = innerast.ModifierFlagsTypeScriptModifier
+  NodeFlagsAmbient                               = innerast.NodeFlagsAmbient
+  NodeFlagsAwaitUsing                            = innerast.NodeFlagsAwaitUsing
+  NodeFlagsConstant                              = innerast.NodeFlagsConstant
+  NodeFlagsContainsThis                          = innerast.NodeFlagsContainsThis
+  NodeFlagsContextFlags                          = innerast.NodeFlagsContextFlags
+  NodeFlagsDecoratorContext                      = innerast.NodeFlagsDecoratorContext
+  NodeFlagsDisallowConditionalTypesContext       = innerast.NodeFlagsDisallowConditionalTypesContext
+  NodeFlagsDisallowInContext                     = innerast.NodeFlagsDisallowInContext
+  NodeFlagsExportContext                         = innerast.NodeFlagsExportContext
+  NodeFlagsHasAsyncFunctions                     = innerast.NodeFlagsHasAsyncFunctions
+  NodeFlagsHasExplicitReturn                     = innerast.NodeFlagsHasExplicitReturn
+  NodeFlagsHasImplicitReturn                     = innerast.NodeFlagsHasImplicitReturn
+  NodeFlagsHasJSDoc                              = innerast.NodeFlagsHasJSDoc
+  NodeFlagsIdentifierHasExtendedUnicodeEscape    = innerast.NodeFlagsIdentifierHasExtendedUnicodeEscape
+  NodeFlagsIdentifierIsInJSDocNamespace          = innerast.NodeFlagsIdentifierIsInJSDocNamespace
+  NodeFlagsInWithStatement                       = innerast.NodeFlagsInWithStatement
+  NodeFlagsJSDoc                                 = innerast.NodeFlagsJSDoc
+  NodeFlagsJavaScriptFile                        = innerast.NodeFlagsJavaScriptFile
+  NodeFlagsJsonFile                              = innerast.NodeFlagsJsonFile
+  NodeFlagsNestedNamespace                       = innerast.NodeFlagsNestedNamespace
+  NodeFlagsPermanentlySetIncrementalFlags        = innerast.NodeFlagsPermanentlySetIncrementalFlags
+  NodeFlagsPossiblyContainsDeprecatedTag         = innerast.NodeFlagsPossiblyContainsDeprecatedTag
+  NodeFlagsPossiblyContainsDynamicImport         = innerast.NodeFlagsPossiblyContainsDynamicImport
+  NodeFlagsPossiblyContainsImportMeta            = innerast.NodeFlagsPossiblyContainsImportMeta
+  NodeFlagsReachabilityAndEmitFlags              = innerast.NodeFlagsReachabilityAndEmitFlags
+  NodeFlagsReachabilityCheckFlags                = innerast.NodeFlagsReachabilityCheckFlags
+  NodeFlagsReparsed                              = innerast.NodeFlagsReparsed
+  NodeFlagsReparserTransformedLiteral            = innerast.NodeFlagsReparserTransformedLiteral
+  NodeFlagsThisNodeHasError                      = innerast.NodeFlagsThisNodeHasError
+  NodeFlagsThisNodeOrAnySubNodesHasError         = innerast.NodeFlagsThisNodeOrAnySubNodesHasError
+  NodeFlagsTypeExcludesFlags                     = innerast.NodeFlagsTypeExcludesFlags
+  NodeFlagsUnreachable                           = innerast.NodeFlagsUnreachable
+  NodeFlagsUsing                                 = innerast.NodeFlagsUsing
+  NodeFlagsYieldContext                          = innerast.NodeFlagsYieldContext
+  SymbolFlagsAccessor                            = innerast.SymbolFlagsAccessor
+  SymbolFlagsAccessorExcludes                    = innerast.SymbolFlagsAccessorExcludes
+  SymbolFlagsAliasExcludes                       = innerast.SymbolFlagsAliasExcludes
+  SymbolFlagsAll                                 = innerast.SymbolFlagsAll
+  SymbolFlagsAssignment                          = innerast.SymbolFlagsAssignment
+  SymbolFlagsBlockScoped                         = innerast.SymbolFlagsBlockScoped
+  SymbolFlagsBlockScopedVariable                 = innerast.SymbolFlagsBlockScopedVariable
+  SymbolFlagsBlockScopedVariableExcludes         = innerast.SymbolFlagsBlockScopedVariableExcludes
+  SymbolFlagsClass                               = innerast.SymbolFlagsClass
+  SymbolFlagsClassExcludes                       = innerast.SymbolFlagsClassExcludes
+  SymbolFlagsClassMember                         = innerast.SymbolFlagsClassMember
+  SymbolFlagsConstEnum                           = innerast.SymbolFlagsConstEnum
+  SymbolFlagsConstEnumExcludes                   = innerast.SymbolFlagsConstEnumExcludes
+  SymbolFlagsConstEnumOnlyModule                 = innerast.SymbolFlagsConstEnumOnlyModule
+  SymbolFlagsConstructor                         = innerast.SymbolFlagsConstructor
+  SymbolFlagsEnum                                = innerast.SymbolFlagsEnum
+  SymbolFlagsEnumMember                          = innerast.SymbolFlagsEnumMember
+  SymbolFlagsEnumMemberExcludes                  = innerast.SymbolFlagsEnumMemberExcludes
+  SymbolFlagsExportDoesNotSupportDefaultModifier = innerast.SymbolFlagsExportDoesNotSupportDefaultModifier
+  SymbolFlagsExportHasLocal                      = innerast.SymbolFlagsExportHasLocal
+  SymbolFlagsExportStar                          = innerast.SymbolFlagsExportStar
+  SymbolFlagsExportSupportsDefaultModifier       = innerast.SymbolFlagsExportSupportsDefaultModifier
+  SymbolFlagsExportValue                         = innerast.SymbolFlagsExportValue
+  SymbolFlagsFunction                            = innerast.SymbolFlagsFunction
+  SymbolFlagsFunctionExcludes                    = innerast.SymbolFlagsFunctionExcludes
+  SymbolFlagsFunctionScopedVariable              = innerast.SymbolFlagsFunctionScopedVariable
+  SymbolFlagsFunctionScopedVariableExcludes      = innerast.SymbolFlagsFunctionScopedVariableExcludes
+  SymbolFlagsGetAccessor                         = innerast.SymbolFlagsGetAccessor
+  SymbolFlagsGetAccessorExcludes                 = innerast.SymbolFlagsGetAccessorExcludes
+  SymbolFlagsGlobalLookup                        = innerast.SymbolFlagsGlobalLookup
+  SymbolFlagsInterface                           = innerast.SymbolFlagsInterface
+  SymbolFlagsInterfaceExcludes                   = innerast.SymbolFlagsInterfaceExcludes
+  SymbolFlagsLateBindingContainer                = innerast.SymbolFlagsLateBindingContainer
+  SymbolFlagsMethod                              = innerast.SymbolFlagsMethod
+  SymbolFlagsMethodExcludes                      = innerast.SymbolFlagsMethodExcludes
+  SymbolFlagsModule                              = innerast.SymbolFlagsModule
+  SymbolFlagsModuleExports                       = innerast.SymbolFlagsModuleExports
+  SymbolFlagsModuleMember                        = innerast.SymbolFlagsModuleMember
+  SymbolFlagsNamespaceModule                     = innerast.SymbolFlagsNamespaceModule
+  SymbolFlagsNamespaceModuleExcludes             = innerast.SymbolFlagsNamespaceModuleExcludes
+  SymbolFlagsNone                                = innerast.SymbolFlagsNone
+  SymbolFlagsObjectLiteral                       = innerast.SymbolFlagsObjectLiteral
+  SymbolFlagsParameterExcludes                   = innerast.SymbolFlagsParameterExcludes
+  SymbolFlagsProperty                            = innerast.SymbolFlagsProperty
+  SymbolFlagsPropertyExcludes                    = innerast.SymbolFlagsPropertyExcludes
+  SymbolFlagsPropertyOrAccessor                  = innerast.SymbolFlagsPropertyOrAccessor
+  SymbolFlagsPrototype                           = innerast.SymbolFlagsPrototype
+  SymbolFlagsRegularEnum                         = innerast.SymbolFlagsRegularEnum
+  SymbolFlagsRegularEnumExcludes                 = innerast.SymbolFlagsRegularEnumExcludes
+  SymbolFlagsReplaceableByMethod                 = innerast.SymbolFlagsReplaceableByMethod
+  SymbolFlagsSetAccessor                         = innerast.SymbolFlagsSetAccessor
+  SymbolFlagsSetAccessorExcludes                 = innerast.SymbolFlagsSetAccessorExcludes
+  SymbolFlagsSignature                           = innerast.SymbolFlagsSignature
+  SymbolFlagsTransient                           = innerast.SymbolFlagsTransient
+  SymbolFlagsTypeAlias                           = innerast.SymbolFlagsTypeAlias
+  SymbolFlagsTypeAliasExcludes                   = innerast.SymbolFlagsTypeAliasExcludes
+  SymbolFlagsTypeLiteral                         = innerast.SymbolFlagsTypeLiteral
+  SymbolFlagsTypeParameter                       = innerast.SymbolFlagsTypeParameter
+  SymbolFlagsTypeParameterExcludes               = innerast.SymbolFlagsTypeParameterExcludes
+  SymbolFlagsValue                               = innerast.SymbolFlagsValue
+  SymbolFlagsValueModule                         = innerast.SymbolFlagsValueModule
+  SymbolFlagsValueModuleExcludes                 = innerast.SymbolFlagsValueModuleExcludes
+  SymbolFlagsVariable                            = innerast.SymbolFlagsVariable
+  TokenFlagsBinaryOrOctalSpecifier               = innerast.TokenFlagsBinaryOrOctalSpecifier
+  TokenFlagsBinarySpecifier                      = innerast.TokenFlagsBinarySpecifier
+  TokenFlagsContainsInvalidEscape                = innerast.TokenFlagsContainsInvalidEscape
+  TokenFlagsContainsInvalidSeparator             = innerast.TokenFlagsContainsInvalidSeparator
+  TokenFlagsContainsLeadingZero                  = innerast.TokenFlagsContainsLeadingZero
+  TokenFlagsContainsSeparator                    = innerast.TokenFlagsContainsSeparator
+  TokenFlagsExtendedUnicodeEscape                = innerast.TokenFlagsExtendedUnicodeEscape
+  TokenFlagsHexEscape                            = innerast.TokenFlagsHexEscape
+  TokenFlagsHexSpecifier                         = innerast.TokenFlagsHexSpecifier
+  TokenFlagsIsInvalid                            = innerast.TokenFlagsIsInvalid
+  TokenFlagsNumericLiteralFlags                  = innerast.TokenFlagsNumericLiteralFlags
+  TokenFlagsOctal                                = innerast.TokenFlagsOctal
+  TokenFlagsOctalSpecifier                       = innerast.TokenFlagsOctalSpecifier
+  TokenFlagsPrecedingJSDocComment                = innerast.TokenFlagsPrecedingJSDocComment
+  TokenFlagsPrecedingJSDocLeadingAsterisks       = innerast.TokenFlagsPrecedingJSDocLeadingAsterisks
+  TokenFlagsPrecedingJSDocWithDeprecated         = innerast.TokenFlagsPrecedingJSDocWithDeprecated
+  TokenFlagsPrecedingJSDocWithSeeOrLink          = innerast.TokenFlagsPrecedingJSDocWithSeeOrLink
+  TokenFlagsPrecedingLineBreak                   = innerast.TokenFlagsPrecedingLineBreak
+  TokenFlagsRegularExpressionLiteralFlags        = innerast.TokenFlagsRegularExpressionLiteralFlags
+  TokenFlagsScientific                           = innerast.TokenFlagsScientific
+  TokenFlagsSingleQuote                          = innerast.TokenFlagsSingleQuote
+  TokenFlagsStringLiteralFlags                   = innerast.TokenFlagsStringLiteralFlags
+  TokenFlagsTemplateLiteralLikeFlags             = innerast.TokenFlagsTemplateLiteralLikeFlags
+  TokenFlagsUnicodeEscape                        = innerast.TokenFlagsUnicodeEscape
+  TokenFlagsUnterminated                         = innerast.TokenFlagsUnterminated
+  TokenFlagsWithSpecifier                        = innerast.TokenFlagsWithSpecifier
+)

package/targets/7.1/bridge/ast/extra-shim.json

@@ -0,0 +1,4 @@
+{
+  "ExtraMethods": {},
+  "ExtraFields": {}
+}

package/targets/7.1/bridge/ast/go.mod

@@ -0,0 +1,14 @@
+module github.com/microsoft/TypeScript/tsc/shim/ast
+
+go 1.27
+
+require github.com/microsoft/TypeScript/tsc v0.0.0-20261019224239-28534d760906
+
+require (
+	github.com/klauspost/compress v1.20.0 // indirect
+	github.com/klauspost/cpuid/v2 v2.2.10 // indirect
+	github.com/zeebo/xxh3 v1.1.0 // indirect
+	golang.org/x/sync v0.23.0 // indirect
+	golang.org/x/sys v0.48.0 // indirect
+	golang.org/x/text v0.42.0 // indirect
+)

package/targets/7.1/bridge/ast/go.sum

@@ -0,0 +1,20 @@
+github.com/google/go-cmp v0.7.0 h1:wk8382ETsv4JYUZwIsn6YpYiWiBsYLSJiTsyBybVuN8=
+github.com/google/go-cmp v0.7.0/go.mod h1:pXiqmnSA92OHEEa9HXL2W4E7lf9JzCmGVUdgjX3N/iU=
+github.com/klauspost/compress v1.20.0 h1:a3C1ke2ohxFymNlb2HWAHjDeKCI90scRskErZkR0ezA=
+github.com/klauspost/compress v1.20.0/go.mod h1:LUdAzn7YLVvxLpc7y3V1m40wESHTgc1422pwwBSKYuI=
+github.com/klauspost/cpuid/v2 v2.2.10 h1:tBs3QSyvjDyFTq3uoc/9xFpCuOsJQFNPiAhYdw2skhE=
+github.com/klauspost/cpuid/v2 v2.2.10/go.mod h1:hqwkgyIinND0mEev00jJYCxPNVRVXFQeu1XKlok6oO0=
+github.com/microsoft/TypeScript/tsc v0.0.0-20261019224239-28534d760906 h1:Wn+Kp4ORyay6jJwvOng7G8pTD6HOP+Fwx8si66Wq7Bk=
+github.com/microsoft/TypeScript/tsc v0.0.0-20261019224239-28534d760906/go.mod h1:28hWKaTYwRARPm0T9Y0XvdvYpU2HtjONzsMqAdYLucY=
+github.com/zeebo/assert v1.3.0 h1:g7C04CbJuIDKNPFHmsk4hwZDO5O+kntRxzaUoNXj+IQ=
+github.com/zeebo/assert v1.3.0/go.mod h1:Pq9JiuJQpG8JLJdtkwrJESF0Foym2/D9XMU5ciN/wJ0=
+github.com/zeebo/xxh3 v1.1.0 h1:s7DLGDK45Dyfg7++yxI0khrfwq9661w9EN78eP/UZVs=
+github.com/zeebo/xxh3 v1.1.0/go.mod h1:IisAie1LELR4xhVinxWS5+zf1lA4p0MW4T+w+W07F5s=
+golang.org/x/sync v0.23.0 h1:KameEIfc1IkluZyXWLn39Wd4tURc6GbCiISGiZm2bQk=
+golang.org/x/sync v0.23.0/go.mod h1:sUUOizhqBxiL6pEWpqNLUiaJn1ShEbZ6BBqskPbjZm0=
+golang.org/x/sys v0.48.0 h1:bbX/i/6MgT9BVLM9RT1thmxL04yeTAhbEz4SyadbXoo=
+golang.org/x/sys v0.48.0/go.mod h1:hNLxWAXmnKAxqDtdwIYC4bM9oQPEecfsnNMuSxOs3og=
+golang.org/x/text v0.42.0 h1:JbOZXgfeCPU9gacVtYliJqOhD+zhrEqK4LfdpmlUZqI=
+golang.org/x/text v0.42.0/go.mod h1:ojzP1Z+2QtioaF8DTtO8K5q7JWVVYwZKenzujK0Zd0E=
+gotest.tools/v3 v3.5.2 h1:7koQfIKdy+I8UTetycgUqXWSDwpgv193Ka+qRsmBY8Q=
+gotest.tools/v3 v3.5.2/go.mod h1:LtdLGcnqToBH83WByAAi/wiwSFCArdFIUV/xxN4pcjA=