@skillstech/thunderlang 0.2.0 → 0.3.0

package/CHANGELOG.md

@@ -3,6 +3,19 @@
 All notable changes to `@skillstech/thunderlang`. Pre-1.0: the language and the
 `intent-graph-v1` schema version independently and may still change.
 
+## 0.3.0
+
+The 14-language lift release. Additive; no breaking changes. Restores the OpenThunder -> ThunderLang
+recover-intent loop for every language OpenThunder's archgraph core can now discover.
+
+- **Kotlin, Scala, and Elixir lift adapters.** `thunder lift` now extracts candidate intent from
+  `.kt`/`.kts`, `.scala`/`.sc`, and `.ex`/`.exs`, bringing the supported-language count to 14. A new
+  `name: Type` parameter parser handles the JVM signature shape; Elixir joins the dynamic-language set.
+- **Fix: repo-walk language coverage.** `LIFT_EXTS` was stale and silently skipped Python, Java, C#,
+  Go, C++, PHP, and Ruby during repo/`--all` lifts; it now mirrors the full adapter set.
+- **Fix: single-file lift language detection.** `thunder lift <file>` now auto-detects the language by
+  extension instead of defaulting to TypeScript, consistent with `--all`/repo modes.
+
 ## 0.2.0
 
 The cross-language target execution release. Additive; no breaking changes.

package/dist/core.cjs

@@ -4288,7 +4288,7 @@ function notesSummary(ast) {
     byLens
   };
 }
-var COMPILER_VERSION = "0.2.0";
+var COMPILER_VERSION = "0.3.0";
 var PROOF_SCHEMA_VERSION = "0.1.0";
 var SOURCE_PRODUCT = "skillstech-compiler";
 function buildContractGraph(ast, generatedAt) {
@@ -5378,6 +5378,112 @@ function extractFactsRuby(source, file = "input.rb") {
   }
   return { schemaVersion: IR_SCHEMA_VERSION, sourceLanguage: "ruby", sourceRoot: file, functions, tests, errors };
 }
+function parseNameColonTypeParams(raw) {
+  return splitTopLevel(raw, ",").map((p) => p.trim()).filter(Boolean).map((p) => {
+    const cleaned = p.replace(/@\w+(\([^)]*\))?/g, "").replace(/^(?:val|var|vararg|implicit|final|lazy)\s+/, "").replace(/=.*$/, "").trim();
+    const mm = cleaned.match(/^([A-Za-z_]\w*)\s*:\s*(.+)$/);
+    if (mm) return { name: mm[1], type: mm[2].trim() };
+    return { name: cleaned.replace(/[^\w].*$/, "") || cleaned, type: null };
+  });
+}
+function extractFactsKotlin(source, file = "input.kt") {
+  let m;
+  const functions = [];
+  const tests = [];
+  const seen = /* @__PURE__ */ new Set();
+  const testMethods = /* @__PURE__ */ new Set();
+  const ta = /@Test\b[\s\S]{0,120}?\bfun\s+(?:`([^`]+)`|(\w+))\s*\(/g;
+  while (m = ta.exec(source)) testMethods.add(m[1] || m[2]);
+  const fnRe = /\bfun\s+(?:<[^>]*>\s*)?(?:[A-Za-z_][\w.]*\.)?(?:`([^`]+)`|([A-Za-z_]\w*))\s*\(([^)]*)\)\s*(?::\s*([^{=\n]+))?/g;
+  while (m = fnRe.exec(source)) {
+    const name = m[1] || m[2];
+    if (testMethods.has(name)) {
+      if (!tests.some((t) => t.name === name)) tests.push({ name, file, line: lineOf(source, m.index) });
+      continue;
+    }
+    if (seen.has(name)) continue;
+    seen.add(name);
+    functions.push({ name, file, line: lineOf(source, m.index), parameters: parseNameColonTypeParams(m[3] || ""), returnType: m[4] ? m[4].trim() : null, evidence: [{ kind: "fun", file, line: lineOf(source, m.index) }] });
+  }
+  const errors = [];
+  const addErr = addErrOf(errors, /* @__PURE__ */ new Set(), { _src: source, _file: file });
+  let mm;
+  const ce = /class\s+(\w*(?:Exception|Error))\b/g;
+  while (mm = ce.exec(source)) addErr(mm[1], mm.index);
+  const th = /throw\s+(\w+)\s*\(/g;
+  while (mm = th.exec(source)) addErr(mm[1], mm.index);
+  return { schemaVersion: IR_SCHEMA_VERSION, sourceLanguage: "kotlin", sourceRoot: file, functions, tests, errors };
+}
+function extractFactsScala(source, file = "input.scala") {
+  let m;
+  const functions = [];
+  const tests = [];
+  const seen = /* @__PURE__ */ new Set();
+  const fnRe = /\bdef\s+([A-Za-z_]\w*)\s*(?:\[[^\]]*\])?\s*\(([^)]*)\)\s*(?::\s*([^={\n]+))?/g;
+  while (m = fnRe.exec(source)) {
+    const name = m[1];
+    if (seen.has(name)) continue;
+    seen.add(name);
+    functions.push({ name, file, line: lineOf(source, m.index), parameters: parseNameColonTypeParams(m[2] || ""), returnType: m[3] ? m[3].trim() : null, evidence: [{ kind: "def", file, line: lineOf(source, m.index) }] });
+  }
+  const seenT = /* @__PURE__ */ new Set();
+  const addTest = (n, idx) => {
+    const k = String(n).toLowerCase();
+    if (n && !seenT.has(k)) {
+      seenT.add(k);
+      tests.push({ name: n, file, line: lineOf(source, idx) });
+    }
+  };
+  const tr = /\btest\s*\(\s*"([^"]+)"/g;
+  while (m = tr.exec(source)) addTest(m[1], m.index);
+  const inRe = /"([^"]+)"\s+(?:in|should|must)\b/g;
+  while (m = inRe.exec(source)) addTest(m[1], m.index);
+  const errors = [];
+  const addErr = addErrOf(errors, /* @__PURE__ */ new Set(), { _src: source, _file: file });
+  let mm;
+  const ce = /class\s+(\w*(?:Exception|Error))\b/g;
+  while (mm = ce.exec(source)) addErr(mm[1], mm.index);
+  const th = /throw\s+new\s+(\w+)\s*\(/g;
+  while (mm = th.exec(source)) addErr(mm[1], mm.index);
+  return { schemaVersion: IR_SCHEMA_VERSION, sourceLanguage: "scala", sourceRoot: file, functions, tests, errors };
+}
+function extractFactsElixir(source, file = "input.ex") {
+  let m;
+  const functions = [];
+  const tests = [];
+  const seen = /* @__PURE__ */ new Set();
+  const seenT = /* @__PURE__ */ new Set();
+  const addTest = (n, idx) => {
+    const k = String(n).toLowerCase();
+    if (n && !seenT.has(k)) {
+      seenT.add(k);
+      tests.push({ name: n, file, line: lineOf(source, idx) });
+    }
+  };
+  const tr = /\btest\s+"([^"]+)"/g;
+  while (m = tr.exec(source)) addTest(m[1], m.index);
+  const fnRe = /^[ \t]*defp?\s+([a-z_]\w*[!?]?)\s*(?:\(([^)]*)\))?/gm;
+  while (m = fnRe.exec(source)) {
+    const name = m[1];
+    if (seen.has(name)) continue;
+    seen.add(name);
+    const parameters = splitTopLevel(m[2] || "", ",").map((p) => p.trim()).filter(Boolean).map((p) => ({ name: p.split(/\\\\/)[0].trim().replace(/^%\{?/, "").replace(/[^\w].*$/, "") || p, type: null }));
+    functions.push({ name, file, line: lineOf(source, m.index), indent: (m[0].match(/^[ \t]*/) || [""])[0].length, parameters, returnType: null, evidence: [{ kind: "def", file, line: lineOf(source, m.index) }] });
+  }
+  const errors = [];
+  const seenErr = /* @__PURE__ */ new Set();
+  const addErr = (n, idx) => {
+    if (n && !seenErr.has(n)) {
+      seenErr.add(n);
+      errors.push({ name: n, file, line: lineOf(source, idx) });
+    }
+  };
+  const modErr = /defmodule\s+([\w.]*(?:Error|Exception))\b/g;
+  while (m = modErr.exec(source)) addErr(m[1].split(".").pop(), m.index);
+  const raiseRe = /raise\s+([A-Z][\w.]*)/g;
+  while (m = raiseRe.exec(source)) addErr(m[1].split(".").pop(), m.index);
+  return { schemaVersion: IR_SCHEMA_VERSION, sourceLanguage: "elixir", sourceRoot: file, functions, tests, errors };
+}
 var ADAPTERS = {
   typescript: extractFactsTypeScript,
   ts: extractFactsTypeScript,
@@ -5401,10 +5507,18 @@ var ADAPTERS = {
   cc: extractFactsCpp,
   php: extractFactsPhp,
   ruby: extractFactsRuby,
-  rb: extractFactsRuby
+  rb: extractFactsRuby,
+  kotlin: extractFactsKotlin,
+  kt: extractFactsKotlin,
+  kts: extractFactsKotlin,
+  scala: extractFactsScala,
+  sc: extractFactsScala,
+  elixir: extractFactsElixir,
+  ex: extractFactsElixir,
+  exs: extractFactsElixir
 };
-var SUPPORTED_LANGUAGES = ["typescript", "javascript", "python", "java", "csharp", "go", "rust", "cpp", "php", "ruby", "perl"];
-var DYNAMIC_LANGUAGES = /* @__PURE__ */ new Set(["perl", "javascript", "python", "ruby", "php"]);
+var SUPPORTED_LANGUAGES = ["typescript", "javascript", "python", "java", "csharp", "go", "rust", "cpp", "php", "ruby", "perl", "kotlin", "scala", "elixir"];
+var DYNAMIC_LANGUAGES = /* @__PURE__ */ new Set(["perl", "javascript", "python", "ruby", "php", "elixir"]);
 var LANG_DISPLAY = {
   typescript: "TypeScript",
   javascript: "JavaScript",
@@ -5416,7 +5530,10 @@ var LANG_DISPLAY = {
   cpp: "C++",
   php: "PHP",
   ruby: "Ruby",
-  perl: "Perl"
+  perl: "Perl",
+  kotlin: "Kotlin",
+  scala: "Scala",
+  elixir: "Elixir"
 };
 function unwrapReturn(ret) {
   if (!ret) return { output: null, error: null };
@@ -5540,6 +5657,9 @@ function languageForFile(file) {
   if (/\.(cpp|cc|cxx|hpp|hh|c|h)$/i.test(file)) return "cpp";
   if (/\.php$/i.test(file)) return "php";
   if (/\.rb$/i.test(file)) return "ruby";
+  if (/\.kts?$/i.test(file)) return "kotlin";
+  if (/\.(scala|sc)$/i.test(file)) return "scala";
+  if (/\.exs?$/i.test(file)) return "elixir";
   if (/\.(mjs|cjs|jsx?)$/i.test(file)) return "javascript";
   return "typescript";
 }
@@ -5547,7 +5667,7 @@ function isPublicFn(fn, language) {
   const name = fn.name || "";
   if (/(?:Internal|Impl|_impl|_helper|_test|Helper)$/.test(name)) return false;
   if (language === "go" || language === "golang") return /^[A-Z]/.test(name) && name !== "Test";
-  if (language === "python" || language === "ruby") return !name.startsWith("_") && (fn.indent == null || fn.indent <= 4);
+  if (language === "python" || language === "ruby" || language === "elixir") return !name.startsWith("_") && (fn.indent == null || fn.indent <= 4);
   return !name.startsWith("_") && name !== "init" && name !== "constructor";
 }
 function liftAll(source, { language = "typescript", file = "", publicOnly = true } = {}) {
@@ -5622,7 +5742,10 @@ var LANG_EXT = {
   cpp: "cpp",
   php: "php",
   ruby: "rb",
-  perl: "pl"
+  perl: "pl",
+  kotlin: "kt",
+  scala: "scala",
+  elixir: "ex"
 };
 function liftSource(source, { language = "typescript", file = "", seeds = void 0 } = {}) {
   const key = String(language).toLowerCase();

package/dist/index.cjs

@@ -2287,7 +2287,7 @@ function notesSummary(ast) {
     byLens
   };
 }
-var COMPILER_VERSION = "0.2.0";
+var COMPILER_VERSION = "0.3.0";
 var PROOF_SCHEMA_VERSION = "0.1.0";
 var SOURCE_PRODUCT = "skillstech-compiler";
 function buildContractGraph(ast, generatedAt) {
@@ -3753,6 +3753,112 @@ function extractFactsRuby(source, file = "input.rb") {
   }
   return { schemaVersion: IR_SCHEMA_VERSION, sourceLanguage: "ruby", sourceRoot: file, functions, tests, errors };
 }
+function parseNameColonTypeParams(raw) {
+  return splitTopLevel(raw, ",").map((p) => p.trim()).filter(Boolean).map((p) => {
+    const cleaned = p.replace(/@\w+(\([^)]*\))?/g, "").replace(/^(?:val|var|vararg|implicit|final|lazy)\s+/, "").replace(/=.*$/, "").trim();
+    const mm = cleaned.match(/^([A-Za-z_]\w*)\s*:\s*(.+)$/);
+    if (mm) return { name: mm[1], type: mm[2].trim() };
+    return { name: cleaned.replace(/[^\w].*$/, "") || cleaned, type: null };
+  });
+}
+function extractFactsKotlin(source, file = "input.kt") {
+  let m;
+  const functions = [];
+  const tests = [];
+  const seen = /* @__PURE__ */ new Set();
+  const testMethods = /* @__PURE__ */ new Set();
+  const ta = /@Test\b[\s\S]{0,120}?\bfun\s+(?:`([^`]+)`|(\w+))\s*\(/g;
+  while (m = ta.exec(source)) testMethods.add(m[1] || m[2]);
+  const fnRe = /\bfun\s+(?:<[^>]*>\s*)?(?:[A-Za-z_][\w.]*\.)?(?:`([^`]+)`|([A-Za-z_]\w*))\s*\(([^)]*)\)\s*(?::\s*([^{=\n]+))?/g;
+  while (m = fnRe.exec(source)) {
+    const name = m[1] || m[2];
+    if (testMethods.has(name)) {
+      if (!tests.some((t) => t.name === name)) tests.push({ name, file, line: lineOf(source, m.index) });
+      continue;
+    }
+    if (seen.has(name)) continue;
+    seen.add(name);
+    functions.push({ name, file, line: lineOf(source, m.index), parameters: parseNameColonTypeParams(m[3] || ""), returnType: m[4] ? m[4].trim() : null, evidence: [{ kind: "fun", file, line: lineOf(source, m.index) }] });
+  }
+  const errors = [];
+  const addErr = addErrOf(errors, /* @__PURE__ */ new Set(), { _src: source, _file: file });
+  let mm;
+  const ce = /class\s+(\w*(?:Exception|Error))\b/g;
+  while (mm = ce.exec(source)) addErr(mm[1], mm.index);
+  const th = /throw\s+(\w+)\s*\(/g;
+  while (mm = th.exec(source)) addErr(mm[1], mm.index);
+  return { schemaVersion: IR_SCHEMA_VERSION, sourceLanguage: "kotlin", sourceRoot: file, functions, tests, errors };
+}
+function extractFactsScala(source, file = "input.scala") {
+  let m;
+  const functions = [];
+  const tests = [];
+  const seen = /* @__PURE__ */ new Set();
+  const fnRe = /\bdef\s+([A-Za-z_]\w*)\s*(?:\[[^\]]*\])?\s*\(([^)]*)\)\s*(?::\s*([^={\n]+))?/g;
+  while (m = fnRe.exec(source)) {
+    const name = m[1];
+    if (seen.has(name)) continue;
+    seen.add(name);
+    functions.push({ name, file, line: lineOf(source, m.index), parameters: parseNameColonTypeParams(m[2] || ""), returnType: m[3] ? m[3].trim() : null, evidence: [{ kind: "def", file, line: lineOf(source, m.index) }] });
+  }
+  const seenT = /* @__PURE__ */ new Set();
+  const addTest = (n, idx) => {
+    const k = String(n).toLowerCase();
+    if (n && !seenT.has(k)) {
+      seenT.add(k);
+      tests.push({ name: n, file, line: lineOf(source, idx) });
+    }
+  };
+  const tr = /\btest\s*\(\s*"([^"]+)"/g;
+  while (m = tr.exec(source)) addTest(m[1], m.index);
+  const inRe = /"([^"]+)"\s+(?:in|should|must)\b/g;
+  while (m = inRe.exec(source)) addTest(m[1], m.index);
+  const errors = [];
+  const addErr = addErrOf(errors, /* @__PURE__ */ new Set(), { _src: source, _file: file });
+  let mm;
+  const ce = /class\s+(\w*(?:Exception|Error))\b/g;
+  while (mm = ce.exec(source)) addErr(mm[1], mm.index);
+  const th = /throw\s+new\s+(\w+)\s*\(/g;
+  while (mm = th.exec(source)) addErr(mm[1], mm.index);
+  return { schemaVersion: IR_SCHEMA_VERSION, sourceLanguage: "scala", sourceRoot: file, functions, tests, errors };
+}
+function extractFactsElixir(source, file = "input.ex") {
+  let m;
+  const functions = [];
+  const tests = [];
+  const seen = /* @__PURE__ */ new Set();
+  const seenT = /* @__PURE__ */ new Set();
+  const addTest = (n, idx) => {
+    const k = String(n).toLowerCase();
+    if (n && !seenT.has(k)) {
+      seenT.add(k);
+      tests.push({ name: n, file, line: lineOf(source, idx) });
+    }
+  };
+  const tr = /\btest\s+"([^"]+)"/g;
+  while (m = tr.exec(source)) addTest(m[1], m.index);
+  const fnRe = /^[ \t]*defp?\s+([a-z_]\w*[!?]?)\s*(?:\(([^)]*)\))?/gm;
+  while (m = fnRe.exec(source)) {
+    const name = m[1];
+    if (seen.has(name)) continue;
+    seen.add(name);
+    const parameters = splitTopLevel(m[2] || "", ",").map((p) => p.trim()).filter(Boolean).map((p) => ({ name: p.split(/\\\\/)[0].trim().replace(/^%\{?/, "").replace(/[^\w].*$/, "") || p, type: null }));
+    functions.push({ name, file, line: lineOf(source, m.index), indent: (m[0].match(/^[ \t]*/) || [""])[0].length, parameters, returnType: null, evidence: [{ kind: "def", file, line: lineOf(source, m.index) }] });
+  }
+  const errors = [];
+  const seenErr = /* @__PURE__ */ new Set();
+  const addErr = (n, idx) => {
+    if (n && !seenErr.has(n)) {
+      seenErr.add(n);
+      errors.push({ name: n, file, line: lineOf(source, idx) });
+    }
+  };
+  const modErr = /defmodule\s+([\w.]*(?:Error|Exception))\b/g;
+  while (m = modErr.exec(source)) addErr(m[1].split(".").pop(), m.index);
+  const raiseRe = /raise\s+([A-Z][\w.]*)/g;
+  while (m = raiseRe.exec(source)) addErr(m[1].split(".").pop(), m.index);
+  return { schemaVersion: IR_SCHEMA_VERSION, sourceLanguage: "elixir", sourceRoot: file, functions, tests, errors };
+}
 var ADAPTERS = {
   typescript: extractFactsTypeScript,
   ts: extractFactsTypeScript,
@@ -3776,10 +3882,18 @@ var ADAPTERS = {
   cc: extractFactsCpp,
   php: extractFactsPhp,
   ruby: extractFactsRuby,
-  rb: extractFactsRuby
+  rb: extractFactsRuby,
+  kotlin: extractFactsKotlin,
+  kt: extractFactsKotlin,
+  kts: extractFactsKotlin,
+  scala: extractFactsScala,
+  sc: extractFactsScala,
+  elixir: extractFactsElixir,
+  ex: extractFactsElixir,
+  exs: extractFactsElixir
 };
-var SUPPORTED_LANGUAGES = ["typescript", "javascript", "python", "java", "csharp", "go", "rust", "cpp", "php", "ruby", "perl"];
-var DYNAMIC_LANGUAGES = /* @__PURE__ */ new Set(["perl", "javascript", "python", "ruby", "php"]);
+var SUPPORTED_LANGUAGES = ["typescript", "javascript", "python", "java", "csharp", "go", "rust", "cpp", "php", "ruby", "perl", "kotlin", "scala", "elixir"];
+var DYNAMIC_LANGUAGES = /* @__PURE__ */ new Set(["perl", "javascript", "python", "ruby", "php", "elixir"]);
 var LANG_DISPLAY = {
   typescript: "TypeScript",
   javascript: "JavaScript",
@@ -3791,7 +3905,10 @@ var LANG_DISPLAY = {
   cpp: "C++",
   php: "PHP",
   ruby: "Ruby",
-  perl: "Perl"
+  perl: "Perl",
+  kotlin: "Kotlin",
+  scala: "Scala",
+  elixir: "Elixir"
 };
 function unwrapReturn(ret) {
   if (!ret) return { output: null, error: null };
@@ -3915,6 +4032,9 @@ function languageForFile(file) {
   if (/\.(cpp|cc|cxx|hpp|hh|c|h)$/i.test(file)) return "cpp";
   if (/\.php$/i.test(file)) return "php";
   if (/\.rb$/i.test(file)) return "ruby";
+  if (/\.kts?$/i.test(file)) return "kotlin";
+  if (/\.(scala|sc)$/i.test(file)) return "scala";
+  if (/\.exs?$/i.test(file)) return "elixir";
   if (/\.(mjs|cjs|jsx?)$/i.test(file)) return "javascript";
   return "typescript";
 }
@@ -3922,7 +4042,7 @@ function isPublicFn(fn, language) {
   const name = fn.name || "";
   if (/(?:Internal|Impl|_impl|_helper|_test|Helper)$/.test(name)) return false;
   if (language === "go" || language === "golang") return /^[A-Z]/.test(name) && name !== "Test";
-  if (language === "python" || language === "ruby") return !name.startsWith("_") && (fn.indent == null || fn.indent <= 4);
+  if (language === "python" || language === "ruby" || language === "elixir") return !name.startsWith("_") && (fn.indent == null || fn.indent <= 4);
   return !name.startsWith("_") && name !== "init" && name !== "constructor";
 }
 function liftAll(source, { language = "typescript", file = "", publicOnly = true } = {}) {
@@ -3997,7 +4117,10 @@ var LANG_EXT = {
   cpp: "cpp",
   php: "php",
   ruby: "rb",
-  perl: "pl"
+  perl: "pl",
+  kotlin: "kt",
+  scala: "scala",
+  elixir: "ex"
 };
 function liftSource(source, { language = "typescript", file = "", seeds = void 0 } = {}) {
   const key = String(language).toLowerCase();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@skillstech/thunderlang",
-  "version": "0.2.0",
+  "version": "0.3.0",
   "description": "Deterministic ThunderLang compiler, CLI, and Language Server. No AI required. Turns .thunder files into the canonical Intent Graph, docs, and a proof, and EXECUTES the intent: run decisions, simulate lifecycles, and check outcome contracts. Interops with DMN, BPMN, JSON Schema, and OpenAPI.",
   "type": "module",
   "main": "./src/index.mjs",

package/src/cli.mjs

@@ -98,7 +98,13 @@ import {
 import { parseEventLog, serializeEventLog, recordEvent, timeline } from './ai-events.mjs';
 
 // Recursively collect supported source files, skipping vendored / build dirs.
-const LIFT_EXTS = ['.ts', '.tsx', '.js', '.jsx', '.mjs', '.rs', '.pl', '.pm'];
+// Kept in sync with lift.mjs languageForFile(): every language the lift adapters support,
+// so repo-mode discovery matches the advertised multi-language lift surface.
+const LIFT_EXTS = [
+  '.ts', '.tsx', '.js', '.jsx', '.mjs', '.cjs', '.rs', '.pl', '.pm', '.t',
+  '.py', '.pyi', '.java', '.cs', '.go', '.cpp', '.cc', '.cxx', '.hpp', '.hh', '.c', '.h',
+  '.php', '.rb', '.kt', '.kts', '.scala', '.sc', '.ex', '.exs',
+];
 const SKIP_DIRS = new Set(['node_modules', '.git', 'dist', '.next', 'build', '.intent', 'coverage', '.vercel']);
 // ThunderLang source files. `.thunder` is the canonical public extension; `.tl` is an
 // accepted shorthand; `.intent` stays supported so legacy IntentLang sources keep working.
@@ -846,9 +852,9 @@ test Example
       return;
     }
 
-    // Single-file mode.
+    // Single-file mode. Auto-detect language by extension (consistent with --all / repo modes).
     const src = readFileSync(file, 'utf8');
-    const res = liftSource(src, { language: args.from || 'typescript', file: basename(file) });
+    const res = liftSource(src, { language: args.from || languageForFile(file), file: basename(file) });
     if (!res.ok) { console.error(res.error); process.exit(1); }
     if (args.json) { console.log(JSON.stringify(res.summary, null, 2)); return; }
     if (args.out) {

package/src/emit.mjs

@@ -30,7 +30,7 @@ export function notesSummary(ast) {
   };
 }
 
-export const COMPILER_VERSION = '0.2.0';
+export const COMPILER_VERSION = '0.3.0';
 export const PROOF_SCHEMA_VERSION = '0.1.0';
 // Identifies which ecosystem product emitted this proof. Consumed by SkillsTech
 // Certified to key cert proofs to the compiler. Stable slug per the coordination bus.

package/src/lift.mjs

@@ -393,6 +393,74 @@ export function extractFactsRuby(source, file = 'input.rb') {
   return { schemaVersion: IR_SCHEMA_VERSION, sourceLanguage: 'ruby', sourceRoot: file, functions, tests, errors };
 }
 
+// Params written "name: Type" (Kotlin, Scala). Top-level comma split so generics/tuples
+// like Map<String, Int> or (A, B) don't split mid-type. Strips val/var/vararg/implicit and defaults.
+function parseNameColonTypeParams(raw) {
+  return splitTopLevel(raw, ',').map((p) => p.trim()).filter(Boolean).map((p) => {
+    const cleaned = p.replace(/@\w+(\([^)]*\))?/g, '').replace(/^(?:val|var|vararg|implicit|final|lazy)\s+/, '').replace(/=.*$/, '').trim();
+    const mm = cleaned.match(/^([A-Za-z_]\w*)\s*:\s*(.+)$/);
+    if (mm) return { name: mm[1], type: mm[2].trim() };
+    return { name: cleaned.replace(/[^\w].*$/, '') || cleaned, type: null };
+  });
+}
+
+// ── Kotlin adapter (JVM: fun name(p: Type): Ret, @Test, *Exception) ──────────
+export function extractFactsKotlin(source, file = 'input.kt') {
+  let m; const functions = []; const tests = []; const seen = new Set();
+  const testMethods = new Set(); const ta = /@Test\b[\s\S]{0,120}?\bfun\s+(?:`([^`]+)`|(\w+))\s*\(/g;
+  while ((m = ta.exec(source))) testMethods.add(m[1] || m[2]);
+  const fnRe = /\bfun\s+(?:<[^>]*>\s*)?(?:[A-Za-z_][\w.]*\.)?(?:`([^`]+)`|([A-Za-z_]\w*))\s*\(([^)]*)\)\s*(?::\s*([^{=\n]+))?/g;
+  while ((m = fnRe.exec(source))) {
+    const name = m[1] || m[2];
+    if (testMethods.has(name)) { if (!tests.some((t) => t.name === name)) tests.push({ name, file, line: lineOf(source, m.index) }); continue; }
+    if (seen.has(name)) continue; seen.add(name);
+    functions.push({ name, file, line: lineOf(source, m.index), parameters: parseNameColonTypeParams(m[3] || ''), returnType: m[4] ? m[4].trim() : null, evidence: [{ kind: 'fun', file, line: lineOf(source, m.index) }] });
+  }
+  const errors = []; const addErr = addErrOf(errors, new Set(), { _src: source, _file: file });
+  let mm; const ce = /class\s+(\w*(?:Exception|Error))\b/g; while ((mm = ce.exec(source))) addErr(mm[1], mm.index);
+  const th = /throw\s+(\w+)\s*\(/g; while ((mm = th.exec(source))) addErr(mm[1], mm.index); // Kotlin: no `new`
+  return { schemaVersion: IR_SCHEMA_VERSION, sourceLanguage: 'kotlin', sourceRoot: file, functions, tests, errors };
+}
+
+// ── Scala adapter (def name(p: Type): Ret, ScalaTest, *Exception) ─────────────
+export function extractFactsScala(source, file = 'input.scala') {
+  let m; const functions = []; const tests = []; const seen = new Set();
+  const fnRe = /\bdef\s+([A-Za-z_]\w*)\s*(?:\[[^\]]*\])?\s*\(([^)]*)\)\s*(?::\s*([^={\n]+))?/g;
+  while ((m = fnRe.exec(source))) {
+    const name = m[1];
+    if (seen.has(name)) continue; seen.add(name);
+    functions.push({ name, file, line: lineOf(source, m.index), parameters: parseNameColonTypeParams(m[2] || ''), returnType: m[3] ? m[3].trim() : null, evidence: [{ kind: 'def', file, line: lineOf(source, m.index) }] });
+  }
+  // ScalaTest: `test("desc")` (FunSuite) and `"desc" in { }` / `"desc" should`/`must` (WordSpec/FlatSpec).
+  const seenT = new Set(); const addTest = (n, idx) => { const k = String(n).toLowerCase(); if (n && !seenT.has(k)) { seenT.add(k); tests.push({ name: n, file, line: lineOf(source, idx) }); } };
+  const tr = /\btest\s*\(\s*"([^"]+)"/g; while ((m = tr.exec(source))) addTest(m[1], m.index);
+  const inRe = /"([^"]+)"\s+(?:in|should|must)\b/g; while ((m = inRe.exec(source))) addTest(m[1], m.index);
+  const errors = []; const addErr = addErrOf(errors, new Set(), { _src: source, _file: file });
+  let mm; const ce = /class\s+(\w*(?:Exception|Error))\b/g; while ((mm = ce.exec(source))) addErr(mm[1], mm.index);
+  const th = /throw\s+new\s+(\w+)\s*\(/g; while ((mm = th.exec(source))) addErr(mm[1], mm.index);
+  return { schemaVersion: IR_SCHEMA_VERSION, sourceLanguage: 'scala', sourceRoot: file, functions, tests, errors };
+}
+
+// ── Elixir adapter (dynamic: def/defp name(args), ExUnit test, raise/defexception)
+export function extractFactsElixir(source, file = 'input.ex') {
+  let m; const functions = []; const tests = []; const seen = new Set();
+  const seenT = new Set(); const addTest = (n, idx) => { const k = String(n).toLowerCase(); if (n && !seenT.has(k)) { seenT.add(k); tests.push({ name: n, file, line: lineOf(source, idx) }); } };
+  const tr = /\btest\s+"([^"]+)"/g; while ((m = tr.exec(source))) addTest(m[1], m.index); // ExUnit: test "desc" do
+  const fnRe = /^[ \t]*defp?\s+([a-z_]\w*[!?]?)\s*(?:\(([^)]*)\))?/gm;
+  while ((m = fnRe.exec(source))) {
+    const name = m[1];
+    if (seen.has(name)) continue; seen.add(name);
+    // Elixir params are pattern matches (conn, %{id: id}, x \\ default); take the leading binding name.
+    const parameters = splitTopLevel(m[2] || '', ',').map((p) => p.trim()).filter(Boolean)
+      .map((p) => ({ name: p.split(/\\\\/)[0].trim().replace(/^%\{?/, '').replace(/[^\w].*$/, '') || p, type: null }));
+    functions.push({ name, file, line: lineOf(source, m.index), indent: (m[0].match(/^[ \t]*/) || [''])[0].length, parameters, returnType: null, evidence: [{ kind: 'def', file, line: lineOf(source, m.index) }] });
+  }
+  const errors = []; const seenErr = new Set(); const addErr = (n, idx) => { if (n && !seenErr.has(n)) { seenErr.add(n); errors.push({ name: n, file, line: lineOf(source, idx) }); } };
+  const modErr = /defmodule\s+([\w.]*(?:Error|Exception))\b/g; while ((m = modErr.exec(source))) addErr(m[1].split('.').pop(), m.index);
+  const raiseRe = /raise\s+([A-Z][\w.]*)/g; while ((m = raiseRe.exec(source))) addErr(m[1].split('.').pop(), m.index);
+  return { schemaVersion: IR_SCHEMA_VERSION, sourceLanguage: 'elixir', sourceRoot: file, functions, tests, errors };
+}
+
 const ADAPTERS = {
   typescript: extractFactsTypeScript, ts: extractFactsTypeScript,
   javascript: extractFactsTypeScript, js: extractFactsTypeScript,
@@ -405,13 +473,17 @@ const ADAPTERS = {
   cpp: extractFactsCpp, 'c++': extractFactsCpp, c: extractFactsCpp, cc: extractFactsCpp,
   php: extractFactsPhp,
   ruby: extractFactsRuby, rb: extractFactsRuby,
+  kotlin: extractFactsKotlin, kt: extractFactsKotlin, kts: extractFactsKotlin,
+  scala: extractFactsScala, sc: extractFactsScala,
+  elixir: extractFactsElixir, ex: extractFactsElixir, exs: extractFactsElixir,
 };
-export const SUPPORTED_LANGUAGES = ['typescript', 'javascript', 'python', 'java', 'csharp', 'go', 'rust', 'cpp', 'php', 'ruby', 'perl'];
-const DYNAMIC_LANGUAGES = new Set(['perl', 'javascript', 'python', 'ruby', 'php']);
+export const SUPPORTED_LANGUAGES = ['typescript', 'javascript', 'python', 'java', 'csharp', 'go', 'rust', 'cpp', 'php', 'ruby', 'perl', 'kotlin', 'scala', 'elixir'];
+const DYNAMIC_LANGUAGES = new Set(['perl', 'javascript', 'python', 'ruby', 'php', 'elixir']);
 
 const LANG_DISPLAY = {
   typescript: 'TypeScript', javascript: 'JavaScript', python: 'Python', java: 'Java',
   csharp: 'C#', go: 'Go', rust: 'Rust', cpp: 'C++', php: 'PHP', ruby: 'Ruby', perl: 'Perl',
+  kotlin: 'Kotlin', scala: 'Scala', elixir: 'Elixir',
 };
 
 // Unwrap Result<T, E> / Promise<T> / T -> { output, error }
@@ -558,6 +630,9 @@ export function languageForFile(file) {
   if (/\.(cpp|cc|cxx|hpp|hh|c|h)$/i.test(file)) return 'cpp';
   if (/\.php$/i.test(file)) return 'php';
   if (/\.rb$/i.test(file)) return 'ruby';
+  if (/\.kts?$/i.test(file)) return 'kotlin';
+  if (/\.(scala|sc)$/i.test(file)) return 'scala';
+  if (/\.exs?$/i.test(file)) return 'elixir';
   if (/\.(mjs|cjs|jsx?)$/i.test(file)) return 'javascript';
   return 'typescript';
 }
@@ -577,7 +652,7 @@ function isPublicFn(fn, language) {
   // Common private-helper naming conventions, across languages.
   if (/(?:Internal|Impl|_impl|_helper|_test|Helper)$/.test(name)) return false;
   if (language === 'go' || language === 'golang') return /^[A-Z]/.test(name) && name !== 'Test';
-  if (language === 'python' || language === 'ruby') return !name.startsWith('_') && (fn.indent == null || fn.indent <= 4);
+  if (language === 'python' || language === 'ruby' || language === 'elixir') return !name.startsWith('_') && (fn.indent == null || fn.indent <= 4);
   return !name.startsWith('_') && name !== 'init' && name !== 'constructor';
 }
 
@@ -643,6 +718,7 @@ export function liftRepo(files, { language } = {}) {
 const LANG_EXT = {
   typescript: 'ts', javascript: 'js', python: 'py', java: 'java', csharp: 'cs',
   go: 'go', rust: 'rs', cpp: 'cpp', php: 'php', ruby: 'rb', perl: 'pl',
+  kotlin: 'kt', scala: 'scala', elixir: 'ex',
 };
 
 /**