tjs-lang 0.6.43 → 0.6.44

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tjs-lang",
-  "version": "0.6.43",
+  "version": "0.6.44",
   "description": "Type-safe JavaScript dialect with runtime validation, sandboxed VM execution, and AI agent orchestration. Transpiles TypeScript to validated JS with fuel-metered execution for untrusted code.",
   "keywords": [
     "typescript",

package/src/cli/tjs.ts

@@ -20,7 +20,7 @@ import { emit } from './commands/emit'
 import { convert } from './commands/convert'
 import { test } from './commands/test'
 
-const VERSION = '0.6.43'
+const VERSION = '0.6.44'
 
 const HELP = `
 tjs - Typed JavaScript CLI

package/src/lang/emitters/dts.ts

@@ -453,6 +453,15 @@ function detectTypeDeclarations(source: string): Map<string, string> {
     result.set(m[1], m[2].trim())
   }
 
+  // Block with TS type body: Type Name { // TS: original type }
+  const tsBodyRe =
+    /^[ \t]*(?:export\s+)?Type\s+(\w+)\s*\{[^}]*\/\/\s*TS:\s*(.+?)(?:\n|\s*\})/gm
+  while ((m = tsBodyRe.exec(source)) !== null) {
+    if (!result.has(m[1])) {
+      result.set(m[1], `__ts__:${m[2].trim()}`) // prefix marks TS passthrough
+    }
+  }
+
   // Empty block: Type Name {} (no example — degraded type, emit as any)
   const emptyBlockRe = /^[ \t]*(?:export\s+)?Type\s+(\w+)\s*\{\s*\}/gm
   while ((m = emptyBlockRe.exec(source)) !== null) {
@@ -653,7 +662,11 @@ export function generateDTS(
     const isExported = hasAnyExport ? !!exportInfo?.exported : true
     if (!isExported) continue
 
-    if (exampleStr === '') {
+    if (exampleStr.startsWith('__ts__:')) {
+      // Preserved TS type body — emit verbatim as type alias
+      const tsBody = exampleStr.slice(7)
+      lines.push(`export type ${name} = ${tsBody};`)
+    } else if (exampleStr === '') {
       // Empty Type {} — degraded from TS type alias, emit as type = any
       lines.push(`export type ${name} = any;`)
     } else {

package/src/lang/emitters/from-ts.ts

@@ -1262,9 +1262,11 @@ function transformTypeAliasToType(
 
   const example = typeToExample(node.type, undefined, warnings)
 
-  // 'any' and 'undefined' — skip declaration (undeclared = any in TJS)
+  // 'any' and 'undefined' — preserve original TS body for DTS round-tripping
   if (example === 'any' || example === 'undefined') {
-    return `Type ${typeName} {}`
+    const originalType = node.type.getText(sourceFile).trim()
+    // Include the TS type body so the DTS emitter can recover it
+    return `Type ${typeName} {\n  // TS: ${originalType}\n}`
   }
 
   // For simple primitive types, use short form