@skillstech/thunderlang 0.3.0 → 0.4.2

package/CHANGELOG.md

@@ -3,6 +3,47 @@
 All notable changes to `@skillstech/thunderlang`. Pre-1.0: the language and the
 `intent-graph-v1` schema version independently and may still change.
 
+## 0.4.2
+
+The evidence-graph release. Additive; no breaking changes.
+
+- **Evidence projections.** ThunderLang can now project its verification into `evidence-event-v1`
+  events (`evidenceType: tool_verified`) for the shared SkillsTech proof spine: `thunder evidence
+  <file>` emits `intent.proven`, and `--evidence` on `verify-diff` / `conform` / `drift` emits
+  `change.gated` / `conformance.verified` / `intent.drift`. The projections are pure, offline, and
+  safe-derived (ids, hashes, verdicts, diagnostic codes, and counts only , never source, secret
+  values, finding messages, or expected/actual values). The library exports `toEvidenceEvents`,
+  `verifyDiffToEvidence`, `conformToEvidence`, and `driftToEvidence`. The network push to the spine
+  is intentionally left to the org-layer/CI, so the compiler stays offline and deterministic.
+- **Fix: `thunder lift` emits canonical `.thunder` drafts** instead of the legacy `.intent`
+  extension, on both single-file and repo lifts.
+
+## 0.4.1
+
+The coherence release. Additive; no breaking changes. Version chosen to align with OpenThunder
+(TL and OT version in lockstep; OT is moving from 0.4.0 to match).
+
+- **Python code generation.** `thunder gen <file> --target python` now emits a typed Python 3
+  scaffold, aligning the codegen axis with live execution. Also fixes a real gap: C# and Java `gen`
+  silently dropped `requires` preconditions that TypeScript emitted; they are now emitted as guided
+  TODOs.
+- **Language support matrix.** New `docs/language-support-matrix.md` documents the three axes , lift
+  (14 languages), gen, and live target execution (4) , and makes them discoverable.
+- **VS Code extension.** `editors/vscode/` ships a real extension: syntax highlighting and a Language
+  Server client that launches `thunder lsp`. Packageable with `vsce package`.
+- **Grouped, scannable CLI help.** `thunder --help` is reorganized into nine labeled groups with a
+  one-line mental model. Command behavior is unchanged (help text only); a test guards that no
+  command was dropped.
+- **Verify-real-code loop, productized.** New MCP tools `intent_prove`, `intent_conform`, and
+  `intent_drift` let AI agents drive the full loop. `docs/verifying-ai-changes.md` is rewritten as
+  the headline workflow (author intent, write code, prove conformance, gate the merge) with a CI
+  recipe.
+- **Honest Playwright scaffolds.** The exported Playwright tests now open with `test.fixme` so an
+  unfilled scaffold cannot pass vacuously.
+- **intent-graph-v1 stability policy.** New `docs/schema-stability.md` commits to additive-only type
+  sets within v1, an IR version that moves independently of the package, a deprecation policy, and a
+  road to 1.0, so consumers like OpenThunder can depend on the IR safely.
+
 ## 0.3.0
 
 The 14-language lift release. Additive; no breaking changes. Restores the OpenThunder -> ThunderLang

package/README.md

@@ -11,7 +11,7 @@ Part of [ThunderLang](https://thunderlang.dev), the intent language for AI-era s
 ## Install
 
 ```bash
-npm install -g @skillstech/thunderlang     # then: intent check path/to/Mission.intent
+npm install -g @skillstech/thunderlang     # then: thunder check path/to/Mission.intent
 npx @skillstech/thunderlang help           # or run without installing
 ```
 
@@ -19,36 +19,36 @@ npx @skillstech/thunderlang help           # or run without installing
 
 ```bash
 # Author & check
-intent init [Name]           # scaffold a runnable starter mission
-intent check <file|dir>      # semantic diagnostics (exit 1 on error); a dir gates the repo
-intent fmt <file|dir> -w     # canonical formatting (whitespace only; comments preserved)
-intent build <file>          # docs, contract graph, test plan, .intent-proof.json
-intent graph <file>          # the canonical Intent Graph (intent-graph-v1)
-intent check . --format sarif   # SARIF 2.1.0 for GitHub/GitLab code scanning
-intent schema                # emit the graph schema + diagnostic catalog
-intent rules  ·  intent explain <CODE>   # the full diagnostic catalog / one code
-intent proof --schema        # the canonical proof envelope schema (intent-proof-v1)
+thunder init [Name]           # scaffold a runnable starter mission
+thunder check <file|dir>      # semantic diagnostics (exit 1 on error); a dir gates the repo
+thunder fmt <file|dir> -w     # canonical formatting (whitespace only; comments preserved)
+thunder build <file>          # docs, contract graph, test plan, .intent-proof.json
+thunder graph <file>          # the canonical Intent Graph (intent-graph-v1)
+thunder check . --format sarif   # SARIF 2.1.0 for GitHub/GitLab code scanning
+thunder schema                # emit the graph schema + diagnostic catalog
+thunder rules  ·  thunder explain <CODE>   # the full diagnostic catalog / one code
+thunder proof --schema        # the canonical proof envelope schema (intent-proof-v1)
 
 # Execute (no AI, no generated code)
-intent run <file> --inputs '{"age":20}'    # evaluate the decision(s) against inputs
-intent simulate <file> --events submit,approve  # walk the lifecycle(s)
-intent test <file>                          # run in-file test blocks (case/scenario)
-intent outcomes <file>                      # evaluate outcome contracts vs results
-intent style <file>                         # resolve style intents vs the canonical token space
+thunder run <file> --inputs '{"age":20}'    # evaluate the decision(s) against inputs
+thunder simulate <file> --events submit,approve  # walk the lifecycle(s)
+thunder test <file>                          # run in-file test blocks (case/scenario)
+thunder outcomes <file>                      # evaluate outcome contracts vs results
+thunder style <file>                         # resolve style intents vs the canonical token space
 
 # Interop  (9 export formats)
-intent export <file> --format dmn|bpmn|smv|jsonschema|openapi|tokens|css|mermaid|playwright
-intent import <file> [--format dmn|bpmn] [--json]   # lift DMN/BPMN into intent
-intent source <file|graph.json>             # regenerate .intent from a graph
-intent migrate <graph.json> [--to <ver>]    # upgrade a persisted graph
-intent verify <proof.json> [src]            # confirm a proof matches its source
+thunder export <file> --format dmn|bpmn|smv|jsonschema|openapi|tokens|css|mermaid|playwright
+thunder import <file> [--format dmn|bpmn] [--json]   # lift DMN/BPMN into intent
+thunder source <file|graph.json>             # regenerate .intent from a graph
+thunder migrate <graph.json> [--to <ver>]    # upgrade a persisted graph
+thunder verify <proof.json> [src]            # confirm a proof matches its source
 
 # Navigate & compare
-intent atlas <dir> [--search q]   intent index <dir>
-intent diff <before> <after>      intent merge <base> <ours> <theirs>
+thunder atlas <dir> [--search q]   thunder index <dir>
+thunder diff <before> <after>      thunder merge <base> <ours> <theirs>
 
 # Code <-> intent
-intent lift <file>   intent approve <file>   intent drift <file>
+thunder lift <file>   thunder approve <file>   thunder drift <file>
 ```
 
 Run `thunder help` for the full reference.
@@ -75,8 +75,8 @@ test Eligibility
 ```
 
 ```bash
-intent run mission.intent --inputs '{"age":20,"score":90}'   # -> Eligible, with a trace
-intent test mission.intent                                    # -> 1/1 passed
+thunder run mission.intent --inputs '{"age":20,"score":90}'   # -> Eligible, with a trace
+thunder test mission.intent                                    # -> 1/1 passed
 ```
 
 No AI, no generated code. The intent itself decides.

package/dist/core.cjs

@@ -161,6 +161,7 @@ __export(core_exports, {
   toDesignTokens: () => toDesignTokens,
   toFinding: () => toFinding,
   toJava: () => toJava,
+  toPython: () => toPython,
   toTypeScript: () => toTypeScript,
   twelveFactorReport: () => twelveFactorReport,
   twelveFactorSummary: () => twelveFactorSummary,
@@ -3336,6 +3337,7 @@ function exprToCode(src, { inputs = [], dialect = "js" } = {}) {
 var exprToJs = (src, opts = {}) => exprToCode(src, { ...opts, dialect: "js" });
 var exprToCSharp = (src, opts = {}) => exprToCode(src, { ...opts, dialect: "csharp" });
 var exprToJava = (src, opts = {}) => exprToCode(src, { ...opts, dialect: "java" });
+var exprToPython = (src, opts = {}) => exprToCode(src, { ...opts, dialect: "python" });
 
 // src/runtime.mjs
 var RUNTIME_SCHEMA = "intent-runtime-v1";
@@ -4288,7 +4290,7 @@ function notesSummary(ast) {
     byLens
   };
 }
-var COMPILER_VERSION = "0.3.0";
+var COMPILER_VERSION = "0.4.2";
 var PROOF_SCHEMA_VERSION = "0.1.0";
 var SOURCE_PRODUCT = "skillstech-compiler";
 function buildContractGraph(ast, generatedAt) {
@@ -5711,7 +5713,7 @@ function liftRepo(files, { language } = {}) {
     const base = slug(r.lifted.mission);
     const n = (usedNames.get(base) || 0) + 1;
     usedNames.set(base, n);
-    const outName = n === 1 ? `${base}.intent` : `${base}-${n}.intent`;
+    const outName = n === 1 ? `${base}.thunder` : `${base}-${n}.thunder`;
     missions.push({
       mission: r.lifted.mission,
       sourceFile: file,
@@ -6671,7 +6673,7 @@ function toCSharp(ast) {
       try {
         cond = exprToCSharp(r.when, { inputs });
       } catch {
-        cond = `false /* TODO: "${r.when}" */`;
+        cond = `false /* TODO: could not translate "${r.when}" */`;
       }
       L.push(`    if (${cond}) return ${JSON.stringify(r.result)}; // rule ${r.name}`);
     }
@@ -6680,6 +6682,7 @@ function toCSharp(ast) {
   const inName = (ast.inputs || []).length ? `${subject}Input` : null;
   const outName = (ast.outputs || []).length ? `${subject}Output` : "void";
   L.push(`  public static ${outName} Run(${inName ? `${inName} input` : ""})`, "  {");
+  for (const r of ast.requires || []) L.push(`    // precondition: ${r}  , TODO: validate`);
   for (const n of ast.neverRules || []) L.push(`    // NEVER: ${n.statement}`);
   for (const g of ast.guarantees || []) L.push(`    // GUARANTEE: ${g.statement}`);
   L.push('    throw new NotImplementedException("TODO: implement , the intent above defines what this must do.");', "  }");
@@ -6740,7 +6743,7 @@ function toJava(ast) {
       try {
         cond = exprToJava(r.when, { inputs });
       } catch {
-        cond = `false /* TODO: "${r.when}" */`;
+        cond = `false /* TODO: could not translate "${r.when}" */`;
       }
       L.push(`    if (${cond}) return ${JSON.stringify(r.result)}; // rule ${r.name}`);
     }
@@ -6749,18 +6752,98 @@ function toJava(ast) {
   const inName = (ast.inputs || []).length ? `${subject}Input` : null;
   const outName = (ast.outputs || []).length ? `${subject}Output` : "void";
   L.push(`  public static ${outName} run(${inName ? `${inName} input` : ""}) {`);
+  for (const r of ast.requires || []) L.push(`    // precondition: ${r}  , TODO: validate`);
   for (const n of ast.neverRules || []) L.push(`    // NEVER: ${n.statement}`);
   for (const g of ast.guarantees || []) L.push(`    // GUARANTEE: ${g.statement}`);
   L.push('    throw new UnsupportedOperationException("TODO: implement , the intent above defines what this must do.");', "  }");
   L.push("}", "");
   return L.join("\n");
 }
+var PY_TYPES = {
+  Email: "str",
+  Url: "str",
+  UserId: "str",
+  AccountId: "str",
+  OrderId: "str",
+  InvoiceId: "str",
+  CustomerId: "str",
+  Secret: "str",
+  Token: "str",
+  Jwt: "str",
+  IdempotencyKey: "str",
+  Currency: "str",
+  Date: "str",
+  DateTime: "str",
+  Money: "float",
+  Percentage: "float",
+  Count: "int",
+  Duration: "int",
+  Flag: "bool"
+};
+function pyType(type, domain) {
+  if (!type) return "object";
+  const list = /^List<(.+)>$/.exec(type);
+  if (list) return `list[${pyType(list[1], domain)}]`;
+  const base = type.replace(/\(.*\)/, "");
+  if (PY_TYPES[base]) return PY_TYPES[base];
+  domain.add(base);
+  return base;
+}
+var snake = (s) => pascal2(s).replace(/([a-z0-9])([A-Z])/g, "$1_$2").toLowerCase();
+function toPython(ast) {
+  const subject = pascal2(subjectName(ast) || "Intent");
+  const domain = /* @__PURE__ */ new Set();
+  const L = [
+    `# ${subject} , generated from ThunderLang (intent-codegen-v1). Deterministic, no AI.`,
+    "# The dataclass contract and the decision logic are fully determined by the intent;",
+    "# business logic marked TODO is yours, bound by the guarantees and never-rules below.",
+    ""
+  ];
+  const hasData = (ast.inputs || []).length || (ast.outputs || []).length;
+  if (hasData) L.push("from __future__ import annotations", "from dataclasses import dataclass", "");
+  const cls = (name, fields) => fields.length ? ["@dataclass", `class ${name}:`, ...fields.map((f) => `    ${f.name}: ${pyType(f.type, domain)}`), ""] : [];
+  if ((ast.inputs || []).length) L.push(...cls(`${subject}Input`, ast.inputs));
+  if ((ast.outputs || []).length) L.push(...cls(`${subject}Output`, ast.outputs));
+  for (const d of ast.decisions || []) {
+    const inputs = d.inputs || [];
+    L.push(`# decision ${d.name} , first matching rule wins.`);
+    L.push(`def ${snake(d.name)}(${inputs.join(", ")}) -> str:`);
+    for (const r of d.rules || []) {
+      let cond, note = "";
+      try {
+        cond = exprToPython(r.when, { inputs });
+      } catch {
+        cond = "False";
+        note = `  # TODO: could not translate "${r.when}"`;
+      }
+      L.push(`    if ${cond}:${note}`);
+      L.push(`        return ${JSON.stringify(r.result)}  # rule ${r.name}`);
+    }
+    L.push(`    return ${JSON.stringify(d.default ?? "Undecided")}  # default`, "");
+  }
+  const inName = (ast.inputs || []).length ? `${subject}Input` : null;
+  const outName = (ast.outputs || []).length ? `${subject}Output` : "None";
+  L.push(`def run(${inName ? `input: ${inName}` : ""}) -> ${outName}:`);
+  for (const r of ast.requires || []) L.push(`    # precondition: ${r}  , TODO: validate`);
+  for (const n of ast.neverRules || []) L.push(`    # NEVER: ${n.statement}`);
+  for (const g of ast.guarantees || []) L.push(`    # GUARANTEE: ${g.statement}`);
+  L.push('    raise NotImplementedError("TODO: implement , the intent above defines what this must do.")', "");
+  const stubs = [...domain].filter((t) => !PY_TYPES[t] && /^[A-Z]/.test(t)).sort();
+  if (stubs.length) {
+    L.push("# Domain types referenced by the intent , complete these.");
+    for (const t of stubs) L.push(`class ${t}: pass  # TODO: fields`);
+    L.push("");
+  }
+  return L.join("\n");
+}
 var GENERATORS = {
   typescript: toTypeScript,
   ts: toTypeScript,
   csharp: toCSharp,
   cs: toCSharp,
-  java: toJava
+  java: toJava,
+  python: toPython,
+  py: toPython
 };
 
 // src/changes.mjs
@@ -6977,6 +7060,7 @@ function changeReport(pairs) {
   toDesignTokens,
   toFinding,
   toJava,
+  toPython,
   toTypeScript,
   twelveFactorReport,
   twelveFactorSummary,