feat(compat): add native TypeScript transpileModule subset

Cargo.toml

@@ -48,6 +48,7 @@ members = [
     "crates/perry-ext-pdf",
     "crates/perry-ext-ads",
     "crates/perry-ext-node-forge",
+    "crates/perry-ext-typescript",
     "crates/perry-wasm-host",
     "crates/perry-container-compose",
     "crates/perry-container-e2e",
@@ -343,6 +344,10 @@ not_unsafe_ptr_arg_deref = "allow"
 swc_ecma_parser = "32.0"
 swc_ecma_ast = "19.0"
 swc_common = "18.0"
+swc_ecma_codegen = "21.0"
+swc_ecma_transforms_base = "32.0"
+swc_ecma_transforms_react = "35.0"
+swc_ecma_transforms_typescript = "35.0"
 
 # Runtime dependencies
 # bdwgc for garbage collection (Boehm GC)
@@ -489,6 +494,7 @@ perry-ext-fastify = { path = "crates/perry-ext-fastify" }
 perry-ext-pdf = { path = "crates/perry-ext-pdf" }
 perry-ext-ads = { path = "crates/perry-ext-ads" }
 perry-ext-node-forge = { path = "crates/perry-ext-node-forge" }
+perry-ext-typescript = { path = "crates/perry-ext-typescript" }
 perry-stdlib = { path = "crates/perry-stdlib" }
 perry-diagnostics = { path = "crates/perry-diagnostics" }
 perry-ui-model = { path = "crates/perry-ui-model" }

changelog.d/8535-typescript-transpile-module.md

@@ -0,0 +1,6 @@
+### Added
+
+- OpenCode Code Mode can use its audited `typescript` runtime surface through
+  a native SWC-backed `transpileModule` provider, including TS/TSX lowering,
+  compiler enum constants, and diagnostic formatting, without embedding the
+  upstream TypeScript compiler or a JavaScript engine.

crates/perry-api-manifest/src/entries.rs

@@ -187,6 +187,9 @@ pub const NATIVE_MODULES: &[&str] = &[
     // for Socket Firewall's TLS-MITM CA so forge's pure-JS crypto isn't
     // AOT-compiled.
     "node-forge",
+    // #8511: the runtime `transpileModule` subset used by OpenCode Code Mode.
+    // The upstream compiler is deliberately not compiled into the app.
+    "typescript",
 ];
 
 /// Node built-in submodules that Perry routes through the

crates/perry-api-manifest/src/entries/part_2.rs

@@ -8,6 +8,14 @@
 use super::*;
 
 pub(crate) const API_MANIFEST_PART_2: &[ApiEntry] = &[
+    // #8511: deliberately narrow TypeScript runtime compatibility. These are
+    // the only value exports audited in OpenCode Code Mode; strict manifest
+    // gating makes every other TypeScript compiler API fail explicitly.
+    method("typescript", "transpileModule", false, None),
+    method("typescript", "flattenDiagnosticMessageText", false, None),
+    property("typescript", "ScriptTarget"),
+    property("typescript", "ModuleKind"),
+    property("typescript", "DiagnosticCategory"),
     method_sig(
         "lodash",
         "drop",

crates/perry-codegen/src/ext_registry.rs

@@ -622,6 +622,8 @@ const EXT_PREFIX_REGISTRY: &[(&str, &str)] = &[
     // node-forge PKI subset — RSA keygen, X.509 build/sign, PEM
     // (perry-ext-node-forge). Hyphenated package → underscored prefix.
     ("js_node_forge_", "node-forge"),
+    // Native runtime TypeScript transpilation subset (#8511).
+    ("js_typescript_", "typescript"),
 ];
 
 /// Process-wide collector of provider keys observed during codegen.

crates/perry-codegen/src/lower_call/native_table/mod.rs

@@ -35,6 +35,7 @@ mod node_misc;
 mod thread_lodash;
 mod tls_events;
 mod tui;
+mod typescript;
 mod undici;
 mod utils_crypto;
 mod yoga;
@@ -176,6 +177,7 @@ pub(super) static NATIVE_MODULE_TABLE: LazyLock<Vec<NativeModSig>> = LazyLock::n
     v.extend_from_slice(media::MEDIA_ROWS);
     v.extend_from_slice(native_profile::NATIVE_PROFILE_ROWS);
     v.extend_from_slice(tui::TUI_ROWS);
+    v.extend_from_slice(typescript::TYPESCRIPT_ROWS);
     v.extend_from_slice(yoga::YOGA_ROWS);
     v.extend_from_slice(extras::EXTRAS_ROWS);
     v.extend_from_slice(http_client::HTTP_CLIENT_ROWS);

crates/perry-codegen/src/lower_call/native_table/typescript.rs

@@ -0,0 +1,24 @@
+use super::*;
+
+/// Native TypeScript runtime-transpilation subset used by OpenCode Code Mode
+/// (#8511). The compiler enums are folded by HIR and therefore need no rows.
+pub(super) const TYPESCRIPT_ROWS: &[NativeModSig] = &[
+    NativeModSig {
+        module: "typescript",
+        has_receiver: false,
+        method: "transpileModule",
+        class_filter: None,
+        runtime: "js_typescript_transpile_module",
+        args: &[NA_STR, NA_F64],
+        ret: NR_OBJ_FROM_JSON_STR,
+    },
+    NativeModSig {
+        module: "typescript",
+        has_receiver: false,
+        method: "flattenDiagnosticMessageText",
+        class_filter: None,
+        runtime: "js_typescript_flatten_diagnostic_message_text",
+        args: &[NA_F64, NA_STR, NA_F64],
+        ret: NR_STR,
+    },
+];

crates/perry-ext-typescript/Cargo.toml

@@ -0,0 +1,26 @@
+[package]
+name = "perry-ext-typescript"
+version.workspace = true
+edition.workspace = true
+license.workspace = true
+description = "Native TypeScript transpileModule compatibility subset for Perry"
+
+[lints]
+workspace = true
+
+[lib]
+crate-type = ["staticlib", "rlib"]
+
+[dependencies]
+perry-ffi.workspace = true
+serde.workspace = true
+serde_json.workspace = true
+swc_common.workspace = true
+swc_ecma_ast.workspace = true
+swc_ecma_codegen.workspace = true
+# Keep this aligned with the parser generation used by the SWC transform
+# crates below so native applications do not link two parser copies.
+swc_ecma_parser = "29.0"
+swc_ecma_transforms_base.workspace = true
+swc_ecma_transforms_react.workspace = true
+swc_ecma_transforms_typescript.workspace = true