@ttsc/wasm 0.11.0-dev.20260517

package/src/api.ts

@@ -0,0 +1,112 @@
+// Type-safe wrapper around the `globalThis[apiName]` object a host-built wasm
+// installs. Every consumer wasm (the base `ttsc.wasm`, the website's
+// `playground.wasm`, typia's `ttsc-typia.wasm`) exposes the same surface, so
+// one set of types covers them all.
+
+export interface ITtscApi {
+  /** Build metadata reported by the wasm. Useful for diagnostics. */
+  version(): ITtscVersion;
+
+  /** Compile a project: typecheck + emit. `result` is JSON; `parseResult<ITtscCompileResult>` deserializes it. */
+  build(opts: ITtscBuildOpts): Promise<ITtscResult>;
+
+  /** Typecheck without emit. `result` is JSON; `parseResult<ITtscCompileResult>` deserializes it. */
+  check(opts: ITtscBuildOpts): Promise<ITtscResult>;
+
+  /**
+   * Return every source file the program saw, keyed by project-relative
+   * path. Used by playgrounds that want to render the TypeScript view after
+   * a source rewriter (e.g. paths) has run. `result` is JSON; use
+   * `parseResult<ITtscTransformResult>` to deserialize.
+   */
+  transform(opts: ITtscBuildOpts): Promise<ITtscResult>;
+
+  /**
+   * Dispatch a registered plugin's subcommand. Returns the captured stdout /
+   * stderr (the same streams the native sidecar binary would write to)
+   * together with the exit code.
+   */
+  plugin(opts: ITtscPluginOpts): Promise<ITtscResult>;
+
+  /** Names of the plugins this wasm was built with. */
+  plugins(): string[];
+}
+
+export interface ITtscVersion {
+  version: string;
+  commit: string;
+  date: string;
+  go: string;
+  goos: string;
+  goarch: string;
+}
+
+export interface ITtscBuildOpts {
+  /** Absolute virtual path the project lives at inside the MemFS. */
+  cwd: string;
+  /** tsconfig path, relative to `cwd`. Defaults to `tsconfig.json`. */
+  tsconfig?: string;
+}
+
+export interface ITtscPluginOpts {
+  /** Plugin id registered with `host.Expose` (e.g. `@ttsc/banner`). */
+  name: string;
+  /** Subcommand the plugin's Run will receive (e.g. `build`). */
+  command: string;
+  /** Forwarded as `--cwd=<value>`. */
+  cwd?: string;
+  /** Forwarded as `--tsconfig=<value>`. Defaults to `tsconfig.json`. */
+  tsconfig?: string;
+  /** Any extra key/value pairs map to `--key=value` argv entries. */
+  [key: string]: string | boolean | number | undefined;
+}
+
+export interface ITtscResult {
+  /** Exit code. 0 = success, 2 = usage error, 3 = runtime error. */
+  code: number;
+  /** Anything the wasm wrote to its stdout stream. */
+  stdout: string;
+  /** Anything the wasm wrote to its stderr stream. */
+  stderr: string;
+  /**
+   * For the base endpoints, the JSON-encoded compile/transform result. For
+   * the plugin endpoint, this is empty — the plugin's own output sits in
+   * stdout/stderr. Use `parseResult<T>` to deserialize.
+   */
+  result: string;
+}
+
+export interface ITtscCompileResult {
+  diagnostics?: ITtscDiagnostic[];
+  output: Record<string, string>;
+}
+
+export interface ITtscTransformResult {
+  diagnostics?: ITtscDiagnostic[];
+  typescript: Record<string, string>;
+}
+
+export interface ITtscDiagnostic {
+  file: string | null;
+  category: "error" | "warning";
+  code: number;
+  start?: number;
+  length?: number;
+  line?: number;
+  character?: number;
+  messageText: string;
+}
+
+/**
+ * Parse the `result` field of an ITtscResult into the structured payload.
+ * The wasm returns JSON as a string because js.ValueOf does not handle large
+ * nested maps efficiently. Callers JSON.parse exactly once at the boundary.
+ */
+export function parseResult<T>(result: ITtscResult): T | null {
+  if (!result.result) return null;
+  try {
+    return JSON.parse(result.result) as T;
+  } catch {
+    return null;
+  }
+}

package/src/index.ts

@@ -0,0 +1,28 @@
+// Public entry point for `@ttsc/wasm`.
+//
+// Re-exports the boot helper, MemFS bridge, and typed API surface. Plugin
+// authors and playground builders consume these. The Go-side scaffolding
+// (`host/`) is shipped alongside on disk but loaded via `go build`, not
+// imported from JS.
+
+export { bootTtsc } from "./instantiate";
+export type { IBootTtscOptions, IBootResult } from "./instantiate";
+
+export { createMemFS, MemFSError } from "./MemFS";
+export type {
+  IMemFSHost,
+  IWasmExecFS,
+  IFileStats,
+} from "./MemFS";
+
+export type {
+  ITtscApi,
+  ITtscVersion,
+  ITtscBuildOpts,
+  ITtscPluginOpts,
+  ITtscResult,
+  ITtscCompileResult,
+  ITtscTransformResult,
+  ITtscDiagnostic,
+} from "./api";
+export { parseResult } from "./api";

package/src/instantiate.ts

@@ -0,0 +1,114 @@
+// Boots a host-built wasm and returns the JS-side handle.
+//
+// Order of operations matters: wasm_exec.js installs default no-op fs/process
+// shims if `globalThis.fs` is missing at load time, so we must install our
+// MemFS BEFORE importing wasm_exec.js.
+//
+// The boot helper is parameterized by `apiName` so any wasm built with
+// `host.Expose(...)` can be loaded the same way. The base wasm uses "ttsc";
+// downstream consumers pick their own (e.g. "ttscPlayground", "ttscTypia").
+
+import { createMemFS, type IMemFSHost } from "./MemFS";
+import type { ITtscApi } from "./api";
+
+declare const importScripts: (...urls: string[]) => void;
+
+export interface IBootTtscOptions {
+  /** URL of the .wasm to fetch. */
+  wasmUrl: string;
+  /** URL of wasm_exec.js. Defaults to the same directory as wasmUrl. */
+  wasmExecUrl?: string;
+  /**
+   * globalThis property name the wasm binds. Must match the value the wasm
+   * was built with (the `apiName` passed to `host.Expose`). Defaults to
+   * "ttsc".
+   */
+  apiName?: string;
+  /**
+   * Optional pre-existing MemFS host. When omitted, a fresh one is created
+   * and stored on the returned BootResult. Pass an existing host when you
+   * want to boot multiple wasms over the same filesystem (e.g. base ttsc +
+   * a typia wasm) so they share project sources.
+   */
+  host?: IMemFSHost;
+}
+
+export interface IBootResult {
+  api: ITtscApi;
+  host: IMemFSHost;
+}
+
+/** Boot a host-built wasm. Re-entrant only if you reuse the same `host`. */
+export async function bootTtsc(options: IBootTtscOptions): Promise<IBootResult> {
+  const wasmUrl = options.wasmUrl;
+  const wasmExecUrl = options.wasmExecUrl ?? defaultWasmExecUrl(wasmUrl);
+  const apiName = options.apiName ?? "ttsc";
+
+  const host = options.host ?? createMemFS();
+  const globalAny = globalThis as Record<string, unknown>;
+  // Only install fs / process if they aren't already in place. A caller
+  // booting a second wasm over the same MemFS reuses the same shims.
+  if (!globalAny.fs) globalAny.fs = host.fs;
+  if (!globalAny.process) globalAny.process = createProcessShim();
+
+  // wasm_exec.js installs `globalThis.Go`. It also reads globalThis.fs at
+  // module-eval time, so this import must follow the assignment above.
+  importScripts(wasmExecUrl);
+
+  const ready = new Promise<void>((resolve) => {
+    globalAny[apiName + "Ready"] = resolve;
+  });
+
+  const goCtor = (globalAny as { Go: new () => IGoInstance }).Go;
+  const go = new goCtor();
+
+  const response = await fetch(wasmUrl);
+  if (!response.ok) {
+    throw new Error(
+      `bootTtsc: failed to fetch ${wasmUrl}: ${response.status}`,
+    );
+  }
+  const wasm = await WebAssembly.instantiateStreaming(response, go.importObject);
+  // go.run never resolves until the wasm exits; we don't await it.
+  void go.run(wasm.instance);
+  await ready;
+
+  const api = (globalAny as Record<string, ITtscApi | undefined>)[apiName];
+  if (!api)
+    throw new Error(
+      `bootTtsc: ${apiName} global was not set — was the wasm built with host.Expose(${JSON.stringify(apiName)}, ...)?`,
+    );
+  return { api, host };
+}
+
+function defaultWasmExecUrl(wasmUrl: string): string {
+  const slash = wasmUrl.lastIndexOf("/");
+  if (slash < 0) return "wasm_exec.js";
+  return wasmUrl.slice(0, slash + 1) + "wasm_exec.js";
+}
+
+interface IGoInstance {
+  importObject: WebAssembly.Imports;
+  run(instance: WebAssembly.Instance): Promise<void>;
+}
+
+function createProcessShim(): Record<string, unknown> {
+  return {
+    getuid: () => -1,
+    getgid: () => -1,
+    geteuid: () => -1,
+    getegid: () => -1,
+    getgroups: () => {
+      throw new Error("not implemented");
+    },
+    pid: -1,
+    ppid: -1,
+    umask: () => {
+      throw new Error("not implemented");
+    },
+    cwd: () => "/",
+    chdir: () => {
+      /* no-op; the workspace lives inside the MemFS */
+    },
+  };
+}

package/vendor/shim/ast/extra-shim.json

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

package/vendor/shim/ast/go.mod

@@ -0,0 +1,5 @@
+module github.com/microsoft/typescript-go/shim/ast
+
+go 1.26
+
+require github.com/microsoft/typescript-go v0.0.0-20260429010842-56ab4af42157

package/vendor/shim/ast/lint.go

@@ -0,0 +1,328 @@
+// Lint-oriented additions to the AST shim.
+//
+// This file groups the helpers and node-flag constants the `@ttsc/lint`
+// plugin needs to navigate the tree.
+//
+// Everything here is a pure re-export of `internal/ast` symbols — there is
+// no behavior, no copy of upstream logic. Adding a new node type is
+// mechanical: add a `type X = innerast.X` line and the matching
+// `KindX = innerast.KindX` entry.
+package ast
+
+import (
+  innerast "github.com/microsoft/typescript-go/internal/ast"
+)
+
+// ---- Node-list / visitor primitives ----
+
+type Visitor = innerast.Visitor
+type NodeFlags = innerast.NodeFlags
+type ModifierFlags = innerast.ModifierFlags
+
+// ---- Statement-shaped node types ----
+
+type Block = innerast.Block
+type BreakStatement = innerast.BreakStatement
+type CaseBlock = innerast.CaseBlock
+type CaseOrDefaultClause = innerast.CaseOrDefaultClause
+type CatchClause = innerast.CatchClause
+type ContinueStatement = innerast.ContinueStatement
+type DebuggerStatement = innerast.DebuggerStatement
+type DoStatement = innerast.DoStatement
+type EmptyStatement = innerast.EmptyStatement
+type ExpressionStatement = innerast.ExpressionStatement
+type ForInOrOfStatement = innerast.ForInOrOfStatement
+type ForStatement = innerast.ForStatement
+type FunctionDeclaration = innerast.FunctionDeclaration
+type IfStatement = innerast.IfStatement
+type LabeledStatement = innerast.LabeledStatement
+type ModuleDeclaration = innerast.ModuleDeclaration
+type ModuleBlock = innerast.ModuleBlock
+type ReturnStatement = innerast.ReturnStatement
+type SwitchStatement = innerast.SwitchStatement
+type ThrowStatement = innerast.ThrowStatement
+type TryStatement = innerast.TryStatement
+type VariableDeclaration = innerast.VariableDeclaration
+type VariableDeclarationList = innerast.VariableDeclarationList
+type VariableStatement = innerast.VariableStatement
+type WhileStatement = innerast.WhileStatement
+type WithStatement = innerast.WithStatement
+
+// ---- Class / module / enum shapes ----
+
+type ClassDeclaration = innerast.ClassDeclaration
+type ClassExpression = innerast.ClassExpression
+type ClassStaticBlockDeclaration = innerast.ClassStaticBlockDeclaration
+type ConstructorDeclaration = innerast.ConstructorDeclaration
+type EnumDeclaration = innerast.EnumDeclaration
+type EnumMember = innerast.EnumMember
+type GetAccessorDeclaration = innerast.GetAccessorDeclaration
+type SetAccessorDeclaration = innerast.SetAccessorDeclaration
+type HeritageClause = innerast.HeritageClause
+type PropertyDeclaration = innerast.PropertyDeclaration
+
+// ---- Module syntax ----
+
+type ImportDeclaration = innerast.ImportDeclaration
+type ImportSpecifier = innerast.ImportSpecifier
+type ImportEqualsDeclaration = innerast.ImportEqualsDeclaration
+type ExternalModuleReference = innerast.ExternalModuleReference
+type NamedImports = innerast.NamedImports
+type NamespaceImport = innerast.NamespaceImport
+type ExportDeclaration = innerast.ExportDeclaration
+type ExportSpecifier = innerast.ExportSpecifier
+type ExportAssignment = innerast.ExportAssignment
+type ImportTypeNode = innerast.ImportTypeNode
+
+// ---- Binding patterns ----
+
+type BindingElement = innerast.BindingElement
+type BindingPattern = innerast.BindingPattern
+
+// ---- Expressions ----
+
+type ArrayLiteralExpression = innerast.ArrayLiteralExpression
+type ArrowFunction = innerast.ArrowFunction
+type AsExpression = innerast.AsExpression
+type AwaitExpression = innerast.AwaitExpression
+type BinaryExpression = innerast.BinaryExpression
+type ConditionalExpression = innerast.ConditionalExpression
+type DeleteExpression = innerast.DeleteExpression
+type ElementAccessExpression = innerast.ElementAccessExpression
+type FunctionExpression = innerast.FunctionExpression
+type NewExpression = innerast.NewExpression
+type NonNullExpression = innerast.NonNullExpression
+type ObjectLiteralExpression = innerast.ObjectLiteralExpression
+type ParenthesizedExpression = innerast.ParenthesizedExpression
+type PostfixUnaryExpression = innerast.PostfixUnaryExpression
+type PropertyAccessExpression = innerast.PropertyAccessExpression
+type PropertyAssignment = innerast.PropertyAssignment
+type ShorthandPropertyAssignment = innerast.ShorthandPropertyAssignment
+type SpreadAssignment = innerast.SpreadAssignment
+type SpreadElement = innerast.SpreadElement
+type TaggedTemplateExpression = innerast.TaggedTemplateExpression
+type TemplateExpression = innerast.TemplateExpression
+type TemplateSpan = innerast.TemplateSpan
+type TypeAssertion = innerast.TypeAssertion
+type TypeOperatorNode = innerast.TypeOperatorNode
+type TypeOfExpression = innerast.TypeOfExpression
+type VoidExpression = innerast.VoidExpression
+type YieldExpression = innerast.YieldExpression
+type RegularExpressionLiteral = innerast.RegularExpressionLiteral
+type SatisfiesExpression = innerast.SatisfiesExpression
+
+// ---- Comment directives (ban-ts-comment) ----
+
+type CommentDirective = innerast.CommentDirective
+type CommentDirectiveKind = innerast.CommentDirectiveKind
+
+// ---- Source file parse options (test harness) ----
+
+type SourceFileParseOptions = innerast.SourceFileParseOptions
+type ExternalModuleIndicatorOptions = innerast.ExternalModuleIndicatorOptions
+
+// ---- Node-flag constants ----
+
+const (
+  NodeFlagsNone         = innerast.NodeFlagsNone
+  NodeFlagsSynthesized  = innerast.NodeFlagsSynthesized
+  NodeFlagsLet          = innerast.NodeFlagsLet
+  NodeFlagsConst        = innerast.NodeFlagsConst
+  NodeFlagsBlockScoped  = innerast.NodeFlagsBlockScoped
+  NodeFlagsAwaitContext = innerast.NodeFlagsAwaitContext
+)
+
+// ---- Statement / declaration / expression kinds ----
+
+const (
+  KindSourceFile = innerast.KindSourceFile
+
+  // Statements
+  KindBlock                   = innerast.KindBlock
+  KindBreakStatement          = innerast.KindBreakStatement
+  KindCaseBlock               = innerast.KindCaseBlock
+  KindCaseClause              = innerast.KindCaseClause
+  KindCatchClause             = innerast.KindCatchClause
+  KindContinueStatement       = innerast.KindContinueStatement
+  KindDebuggerStatement       = innerast.KindDebuggerStatement
+  KindDefaultClause           = innerast.KindDefaultClause
+  KindDoStatement             = innerast.KindDoStatement
+  KindEmptyStatement          = innerast.KindEmptyStatement
+  KindExpressionStatement     = innerast.KindExpressionStatement
+  KindForInStatement          = innerast.KindForInStatement
+  KindForOfStatement          = innerast.KindForOfStatement
+  KindForStatement            = innerast.KindForStatement
+  KindIfStatement             = innerast.KindIfStatement
+  KindLabeledStatement        = innerast.KindLabeledStatement
+  KindReturnStatement         = innerast.KindReturnStatement
+  KindSwitchStatement         = innerast.KindSwitchStatement
+  KindThrowStatement          = innerast.KindThrowStatement
+  KindTryStatement            = innerast.KindTryStatement
+  KindVariableDeclaration     = innerast.KindVariableDeclaration
+  KindVariableDeclarationList = innerast.KindVariableDeclarationList
+  KindVariableStatement       = innerast.KindVariableStatement
+  KindWhileStatement          = innerast.KindWhileStatement
+  KindWithStatement           = innerast.KindWithStatement
+
+  // Class / enum / module
+  KindClassDeclaration    = innerast.KindClassDeclaration
+  KindClassExpression     = innerast.KindClassExpression
+  KindConstructor         = innerast.KindConstructor
+  KindEnumDeclaration     = innerast.KindEnumDeclaration
+  KindEnumMember          = innerast.KindEnumMember
+  KindGetAccessor         = innerast.KindGetAccessor
+  KindSetAccessor         = innerast.KindSetAccessor
+  KindHeritageClause      = innerast.KindHeritageClause
+  KindPropertyDeclaration = innerast.KindPropertyDeclaration
+
+  // Module syntax
+  KindExportAssignment        = innerast.KindExportAssignment
+  KindExportDeclaration       = innerast.KindExportDeclaration
+  KindImportEqualsDeclaration = innerast.KindImportEqualsDeclaration
+  KindExternalModuleReference = innerast.KindExternalModuleReference
+  KindImportType              = innerast.KindImportType
+  KindImportKeyword           = innerast.KindImportKeyword
+
+  // Binding
+  KindBindingElement       = innerast.KindBindingElement
+  KindObjectBindingPattern = innerast.KindObjectBindingPattern
+  KindArrayBindingPattern  = innerast.KindArrayBindingPattern
+  KindOmittedExpression    = innerast.KindOmittedExpression
+
+  // Expressions
+  KindArrayLiteralExpression      = innerast.KindArrayLiteralExpression
+  KindArrowFunction               = innerast.KindArrowFunction
+  KindAsExpression                = innerast.KindAsExpression
+  KindAwaitExpression             = innerast.KindAwaitExpression
+  KindBinaryExpression            = innerast.KindBinaryExpression
+  KindConditionalExpression       = innerast.KindConditionalExpression
+  KindDeleteExpression            = innerast.KindDeleteExpression
+  KindElementAccessExpression     = innerast.KindElementAccessExpression
+  KindFunctionExpression          = innerast.KindFunctionExpression
+  KindNewExpression               = innerast.KindNewExpression
+  KindNonNullExpression           = innerast.KindNonNullExpression
+  KindObjectLiteralExpression     = innerast.KindObjectLiteralExpression
+  KindParenthesizedExpression     = innerast.KindParenthesizedExpression
+  KindPostfixUnaryExpression      = innerast.KindPostfixUnaryExpression
+  KindPropertyAssignment          = innerast.KindPropertyAssignment
+  KindShorthandPropertyAssignment = innerast.KindShorthandPropertyAssignment
+  KindSpreadAssignment            = innerast.KindSpreadAssignment
+  KindSpreadElement               = innerast.KindSpreadElement
+  KindTaggedTemplateExpression    = innerast.KindTaggedTemplateExpression
+  KindTemplateExpression          = innerast.KindTemplateExpression
+  KindTemplateSpan                = innerast.KindTemplateSpan
+  KindTypeAssertionExpression     = innerast.KindTypeAssertionExpression
+  KindTypeOfExpression            = innerast.KindTypeOfExpression
+  KindVoidExpression              = innerast.KindVoidExpression
+  KindYieldExpression             = innerast.KindYieldExpression
+  KindRegularExpressionLiteral    = innerast.KindRegularExpressionLiteral
+  KindSatisfiesExpression         = innerast.KindSatisfiesExpression
+
+  // Keywords / tokens used by rules
+  KindThisKeyword                  = innerast.KindThisKeyword
+  KindSuperKeyword                 = innerast.KindSuperKeyword
+  KindEqualsToken                  = innerast.KindEqualsToken
+  KindEqualsEqualsToken            = innerast.KindEqualsEqualsToken
+  KindEqualsEqualsEqualsToken      = innerast.KindEqualsEqualsEqualsToken
+  KindExclamationEqualsToken       = innerast.KindExclamationEqualsToken
+  KindExclamationEqualsEqualsToken = innerast.KindExclamationEqualsEqualsToken
+  KindLessThanToken                = innerast.KindLessThanToken
+  KindGreaterThanToken             = innerast.KindGreaterThanToken
+  KindLessThanEqualsToken          = innerast.KindLessThanEqualsToken
+  KindGreaterThanEqualsToken       = innerast.KindGreaterThanEqualsToken
+  KindPlusToken                    = innerast.KindPlusToken
+  KindPlusEqualsToken              = innerast.KindPlusEqualsToken
+  KindMinusEqualsToken             = innerast.KindMinusEqualsToken
+  KindAsteriskToken                = innerast.KindAsteriskToken
+  KindSlashToken                   = innerast.KindSlashToken
+  KindAmpersandAmpersandToken      = innerast.KindAmpersandAmpersandToken
+  KindBarBarToken                  = innerast.KindBarBarToken
+  KindQuestionQuestionToken        = innerast.KindQuestionQuestionToken
+  KindExclamationToken             = innerast.KindExclamationToken
+  KindTildeToken                   = innerast.KindTildeToken
+  KindInKeyword                    = innerast.KindInKeyword
+  KindInstanceOfKeyword            = innerast.KindInstanceOfKeyword
+  KindAsKeyword                    = innerast.KindAsKeyword
+  KindPlusPlusToken                = innerast.KindPlusPlusToken
+  KindMinusMinusToken              = innerast.KindMinusMinusToken
+  KindDotToken                     = innerast.KindDotToken
+
+  // Bitwise / shift / exponent operator tokens — needed by
+  // no-bitwise, prefer-exponentiation-operator, etc.
+  KindAmpersandToken                               = innerast.KindAmpersandToken
+  KindBarToken                                     = innerast.KindBarToken
+  KindCaretToken                                   = innerast.KindCaretToken
+  KindLessThanLessThanToken                        = innerast.KindLessThanLessThanToken
+  KindGreaterThanGreaterThanToken                  = innerast.KindGreaterThanGreaterThanToken
+  KindGreaterThanGreaterThanGreaterThanToken       = innerast.KindGreaterThanGreaterThanGreaterThanToken
+  KindAsteriskAsteriskToken                        = innerast.KindAsteriskAsteriskToken
+  KindAmpersandAmpersandEqualsToken                = innerast.KindAmpersandAmpersandEqualsToken
+  KindBarBarEqualsToken                            = innerast.KindBarBarEqualsToken
+  KindQuestionQuestionEqualsToken                  = innerast.KindQuestionQuestionEqualsToken
+  KindAsteriskEqualsToken                          = innerast.KindAsteriskEqualsToken
+  KindSlashEqualsToken                             = innerast.KindSlashEqualsToken
+  KindPercentEqualsToken                           = innerast.KindPercentEqualsToken
+  KindAsteriskAsteriskEqualsToken                  = innerast.KindAsteriskAsteriskEqualsToken
+  KindAmpersandEqualsToken                         = innerast.KindAmpersandEqualsToken
+  KindBarEqualsToken                               = innerast.KindBarEqualsToken
+  KindCaretEqualsToken                             = innerast.KindCaretEqualsToken
+  KindLessThanLessThanEqualsToken                  = innerast.KindLessThanLessThanEqualsToken
+  KindGreaterThanGreaterThanEqualsToken            = innerast.KindGreaterThanGreaterThanEqualsToken
+  KindGreaterThanGreaterThanGreaterThanEqualsToken = innerast.KindGreaterThanGreaterThanGreaterThanEqualsToken
+  KindCommaToken                                   = innerast.KindCommaToken
+  KindQuestionToken                                = innerast.KindQuestionToken
+
+  // Metaprogramming / privacy / async syntax
+  KindMetaProperty                = innerast.KindMetaProperty
+  KindPrivateIdentifier           = innerast.KindPrivateIdentifier
+  KindClassStaticBlockDeclaration = innerast.KindClassStaticBlockDeclaration
+
+  // Misc syntax used by suggestion rules
+  KindSymbolKeyword = innerast.KindSymbolKeyword
+  KindObjectKeyword = innerast.KindObjectKeyword
+
+  // Modifier-style keywords
+  KindAsyncKeyword    = innerast.KindAsyncKeyword
+  KindAwaitKeyword    = innerast.KindAwaitKeyword
+  KindReadonlyKeyword = innerast.KindReadonlyKeyword
+  KindStaticKeyword   = innerast.KindStaticKeyword
+  KindAbstractKeyword = innerast.KindAbstractKeyword
+  KindExportKeyword   = innerast.KindExportKeyword
+  KindDeclareKeyword  = innerast.KindDeclareKeyword
+  KindModuleKeyword   = innerast.KindModuleKeyword
+  KindTypeKeyword     = innerast.KindTypeKeyword
+
+  // TypeScript-specific kinds used by ts rules
+  KindCallSignature      = innerast.KindCallSignature
+  KindConstructSignature = innerast.KindConstructSignature
+  KindTypeQuery          = innerast.KindTypeQuery
+  KindTypeOperator       = innerast.KindTypeOperator
+)
+
+// ---- Comment-directive kind constants ----
+
+const (
+  CommentDirectiveKindIgnore      = innerast.CommentDirectiveKindIgnore
+  CommentDirectiveKindExpectError = innerast.CommentDirectiveKindExpectError
+)
+
+// ---- Helpers ----
+
+// GetCombinedNodeFlags returns the combined node flags for a declaration,
+// consulting parents where applicable. This is what `IsLet` / `IsConst` use
+// internally; lint rules need it to detect `var` declarations whose flag
+// lives on the VariableDeclarationList rather than the declaration itself.
+func GetCombinedNodeFlags(node *Node) NodeFlags {
+  return innerast.GetCombinedNodeFlags(node)
+}
+
+// IsLet reports whether the declaration was introduced by `let` / `using`.
+func IsLet(node *Node) bool { return GetCombinedNodeFlags(node)&NodeFlagsLet != 0 }
+
+// IsConst reports whether the declaration was introduced by `const` /
+// `await using` / `using`.
+func IsConst(node *Node) bool { return GetCombinedNodeFlags(node)&NodeFlagsConst != 0 }
+
+// IsVar reports whether the declaration was introduced by `var`. The block
+// scoped flag bits are clear when the keyword is plain `var`.
+func IsVar(node *Node) bool { return GetCombinedNodeFlags(node)&NodeFlagsBlockScoped == 0 }