@skillstech/thunderlang 0.1.6 → 0.2.0

package/dist/core.cjs

@@ -471,7 +471,7 @@ var IL_AUTHOR_RULE_ROWS = [
   { ruleId: "IL-SEC-002", area: "security", severity: "blocker", blocks: ["release"], summary: "API returns a secret with no auth requirement." },
   { ruleId: "IL-TYPE-001", area: "type", severity: "info", blocks: [], summary: "Field uses an unrecognized (likely mistyped) type." },
   // 12-Factor Agents conformance (twelve-factor-v1). Advisory: an intent's alignment with the
-  // humanlayer/12-factor-agents principles. `intent twelve-factor` scores these.
+  // humanlayer/12-factor-agents principles. `thunder twelve-factor` scores these.
   { ruleId: "IL-12F-01", area: "twelve-factor", severity: "info", blocks: [], summary: "F1 Natural language to tool calls: model dispatch as a decision/command." },
   { ruleId: "IL-12F-02", area: "twelve-factor", severity: "info", blocks: [], summary: "F2 Own your prompts: behavior is an owned, guaranteed contract, not a black box." },
   { ruleId: "IL-12F-03", area: "twelve-factor", severity: "info", blocks: [], summary: "F3 Own your context window: declare a scope boundary." },
@@ -497,8 +497,8 @@ var IL_CORE_RULE_ROWS = [
   { ruleId: "unknown-block", area: "core", severity: "info", blocks: [], summary: "Unrecognized top-level block." },
   { ruleId: "INTENT-ARCH-001", area: "architecture", severity: "warning", blocks: [], summary: "Architecture rule not understood." },
   { ruleId: "INTENT-AI-010", area: "ai", severity: "warning", blocks: [], summary: "Unsupported implementation scope." },
-  { ruleId: "INTENT_NOTE_UNKNOWN_LENS", area: "note", severity: "info", blocks: [], summary: "IntentLens note uses an unknown lens." },
-  { ruleId: "INTENT_NOTE_EMPTY", area: "note", severity: "info", blocks: [], summary: "IntentLens note is empty." }
+  { ruleId: "INTENT_NOTE_UNKNOWN_LENS", area: "note", severity: "info", blocks: [], summary: "ThunderLens note uses an unknown lens." },
+  { ruleId: "INTENT_NOTE_EMPTY", area: "note", severity: "info", blocks: [], summary: "ThunderLens note is empty." }
 ];
 var RULE_PHASES = ["author", "verify"];
 var RULE_OWNERS = ["IL", "OT"];
@@ -572,7 +572,7 @@ function intentProofJsonSchema() {
       sourceProduct: { type: "string" },
       missionName: { type: ["string", "null"] },
       sourceFile: { type: "string" },
-      // sha256:<hex> , the source fingerprint `intent verify` re-checks for drift/tampering.
+      // sha256:<hex> , the source fingerprint `thunder verify` re-checks for drift/tampering.
       sourceHash: { type: "string", pattern: "^sha256:[0-9a-f]{64}$" },
       compilerVersion: { type: "string" },
       generatedAt: { type: ["string", "null"] },
@@ -789,6 +789,60 @@ function parseDecision(name, node2) {
   }
   return dec;
 }
+function parseProperty(name, node2) {
+  const prop = { name, vars: [], decide: null, expects: [], line: node2.line };
+  for (const c of node2.children.filter((x) => !isNote(x))) {
+    const k = firstWord(c.text);
+    const a = rest(c.text);
+    if (k === "forAll" || k === "forall") {
+      for (const v of c.children.filter((x) => !isNote(x))) {
+        const m = v.text.trim().match(/^([A-Za-z_]\w*)\s*:\s*(\w+)(?:\s+where\s+(.+))?$/);
+        if (!m) continue;
+        const whereChild = (v.children || []).find((x) => firstWord(x.text) === "where");
+        prop.vars.push({ name: m[1], type: m[2], where: m[3] || (whereChild ? rest(whereChild.text) : null) });
+      }
+    } else if (k === "decide") prop.decide = a || c.children[0] && c.children[0].text.trim() || null;
+    else if (k === "when") {
+      const dm = a.match(/(?:decide|execute)\s+(\w+)/);
+      if (dm) prop.decide = dm[1];
+    } else if (k === "expect") for (const e of c.children.filter((x) => !isNote(x))) prop.expects.push(e.text.trim());
+  }
+  return prop;
+}
+function parseEvaluation(name, node2) {
+  const ev = { name, dataset: null, requires: [], line: node2.line };
+  for (const c of node2.children.filter((x) => !isNote(x))) {
+    const k = firstWord(c.text);
+    const a = rest(c.text);
+    if (k === "dataset") ev.dataset = a || c.children[0] && c.children[0].text.trim() || null;
+    else if (k === "require") {
+      for (const r of c.children.filter((x) => !isNote(x))) {
+        const m = r.text.trim().match(/^([A-Za-z_][\w.]*)\s*(>=|<=|==|!=|>|<)\s*(-?[\d.]+)$/);
+        if (m) ev.requires.push({ metric: m[1], op: m[2], threshold: parseFloat(m[3]) });
+      }
+    }
+  }
+  return ev;
+}
+function parseScenario(name, node2) {
+  const sc = { name, given: [], when: [], then: [], never: [], eventually: [], line: node2.line };
+  const clausesOf = (c) => {
+    const items = leafItems(c);
+    return items.length ? items : rest(c.text) ? [rest(c.text)] : [];
+  };
+  for (const c of node2.children.filter((x) => !isNote(x))) {
+    const k = firstWord(c.text);
+    if (k === "given") sc.given.push(...clausesOf(c));
+    else if (k === "when") sc.when.push(...clausesOf(c));
+    else if (k === "then") sc.then.push(...clausesOf(c));
+    else if (k === "never") sc.never.push(...clausesOf(c));
+    else if (k === "eventually") {
+      const within = (rest(c.text).match(/within\s+(.+)/) || [])[1] || null;
+      sc.eventually.push({ within, clauses: leafItems(c) });
+    }
+  }
+  return sc;
+}
 function parseLifecycle(name, node2) {
   const lc = { name, states: [], transitions: [], terminals: [], line: node2.line };
   for (const c of node2.children.filter((x) => !isNote(x))) {
@@ -821,7 +875,13 @@ function parseInvariant(name, node2) {
   for (const c of kids(node2)) {
     const k = firstWord(c.text);
     if (k === "verify") inv.verify.push(rest(c.text));
-    else if (k === "because") inv.because = rest(c.text);
+    else if (k === "id") {
+      const v = rest(c.text);
+      if (v) {
+        inv.id = v;
+        inv.stableId = v;
+      }
+    } else if (k === "because") inv.because = rest(c.text);
     else if (k === "statement") inv.statement = rest(c.text) || leafItems(c).join(" ");
     else if (k === "scope") inv.scope = (rest(c.text) || leafItems(c).join(" ")).toLowerCase();
     else if (k === "severity") inv.severity = (rest(c.text) || leafItems(c).join(" ")).toLowerCase();
@@ -907,11 +967,12 @@ function parseHandler(trigger, node2) {
     actions
   };
 }
+var VERIFY_KINDS = /* @__PURE__ */ new Set(["assertion", "static", "runtime", "evidence", "tool", "approval", "formal"]);
 function upsertRule(list, statement, line) {
   const id = slug(statement);
   let r = list.find((x) => x.id === id);
   if (!r) {
-    r = { id, statement, because: null, verify: [], notes: [], line };
+    r = { id, statement, because: null, verify: [], verifications: [], notes: [], line };
     list.push(r);
   }
   return r;
@@ -920,8 +981,28 @@ function applyDetail(rule, node2) {
   for (const c of node2.children) {
     const kw = firstWord(c.text);
     if (kw === "because") rule.because = rest(c.text) || c.children[0] && c.children[0].text || null;
-    else if (kw === "verify") rule.verify.push(rest(c.text) || c.children[0] && c.children[0].text || "");
-    else if (isNote(c)) rule.notes.push(parseNoteNode(c));
+    else if (kw === "verify") {
+      const a = rest(c.text);
+      const m = a && a.match(/^by\s+(\w+)/i);
+      if (m) {
+        const kind = m[1].toLowerCase();
+        const details = (c.children || []).filter((x) => !isNote(x)).map((x) => x.text.trim()).filter(Boolean);
+        rule.verifications.push({ kind: VERIFY_KINDS.has(kind) ? kind : "unknown", declared: kind, details });
+        rule.verify.push(details.length ? `${kind}: ${details.join("; ")}` : `by ${kind}`);
+      } else {
+        const v = a || c.children[0] && c.children[0].text || "";
+        if (v) {
+          rule.verify.push(v);
+          rule.verifications.push({ kind: "unclassified", declared: null, details: [v] });
+        }
+      }
+    } else if (kw === "id") {
+      const v = rest(c.text) || c.children[0] && c.children[0].text;
+      if (v) {
+        rule.id = v;
+        rule.stableId = v;
+      }
+    } else if (isNote(c)) rule.notes.push(parseNoteNode(c));
   }
   rule.verify = rule.verify.filter(Boolean);
 }
@@ -986,6 +1067,9 @@ function parseIntent(source) {
     handlers: [],
     // Decisions, rules, process (Gap 4)
     decisions: [],
+    properties: [],
+    scenarios: [],
+    evaluations: [],
     // Governance: waivers , governed exceptions to blocking diagnostics (Gap 5)
     waivers: [],
     // Data purpose + privacy , governed data elements (Gap 6)
@@ -1214,6 +1298,15 @@ function parseIntent(source) {
       case "decision":
         ast.decisions.push(parseDecision(arg, node2));
         break;
+      case "property":
+        ast.properties.push(parseProperty(arg, node2));
+        break;
+      case "scenario":
+        ast.scenarios.push(parseScenario(arg, node2));
+        break;
+      case "evaluation":
+        ast.evaluations.push(parseEvaluation(arg, node2));
+        break;
       // ── System profile ──
       case "capability": {
         const cap = { name: arg, description: null, implements: [], line: node2.line };
@@ -3198,21 +3291,23 @@ function compileExpr(src) {
 function evalExpr(src, inputs = {}) {
   return compileExpr(src)(inputs);
 }
+var C_LOGIC = { and: (a, b) => `(${a} && ${b})`, or: (a, b) => `(${a} || ${b})`, not: (a) => `!${a}`, bool: (v) => String(v) };
 var DIALECTS = {
-  js: { eq: (a, b) => `${a} === ${b}`, neq: (a, b) => `${a} !== ${b}`, inList: (list, x) => `[${list.join(", ")}].includes(${x})`, nil: "undefined" },
-  csharp: { eq: (a, b) => `${a} == ${b}`, neq: (a, b) => `${a} != ${b}`, inList: (list, x) => `new[]{${list.join(", ")}}.Contains(${x})`, nil: "null" },
-  java: { eq: (a, b) => `java.util.Objects.equals(${a}, ${b})`, neq: (a, b) => `!java.util.Objects.equals(${a}, ${b})`, inList: (list, x) => `java.util.List.of(${list.join(", ")}).contains(${x})`, nil: "null" }
+  js: { ...C_LOGIC, eq: (a, b) => `${a} === ${b}`, neq: (a, b) => `${a} !== ${b}`, inList: (list, x) => `[${list.join(", ")}].includes(${x})`, nil: "undefined" },
+  csharp: { ...C_LOGIC, eq: (a, b) => `${a} == ${b}`, neq: (a, b) => `${a} != ${b}`, inList: (list, x) => `new[]{${list.join(", ")}}.Contains(${x})`, nil: "null" },
+  java: { ...C_LOGIC, eq: (a, b) => `java.util.Objects.equals(${a}, ${b})`, neq: (a, b) => `!java.util.Objects.equals(${a}, ${b})`, inList: (list, x) => `java.util.List.of(${list.join(", ")}).contains(${x})`, nil: "null" },
+  python: { and: (a, b) => `(${a} and ${b})`, or: (a, b) => `(${a} or ${b})`, not: (a) => `(not ${a})`, bool: (v) => v ? "True" : "False", eq: (a, b) => `${a} == ${b}`, neq: (a, b) => `${a} != ${b}`, inList: (list, x) => `${x} in [${list.join(", ")}]`, nil: "None" }
 };
 function renderExpr(src, inputs, D) {
   const known = new Set(inputs);
   const r = (n) => {
     switch (n.k) {
       case "or":
-        return `(${r(n.a)} || ${r(n.b)})`;
+        return D.or(r(n.a), r(n.b));
       case "and":
-        return `(${r(n.a)} && ${r(n.b)})`;
+        return D.and(r(n.a), r(n.b));
       case "not":
-        return `!${r(n.a)}`;
+        return D.not(r(n.a));
       case "neg":
         return `-${r(n.a)}`;
       case "arith":
@@ -3226,7 +3321,7 @@ function renderExpr(src, inputs, D) {
       case "list":
         return `[${n.items.map(r).join(", ")}]`;
       case "lit":
-        return typeof n.v === "string" ? JSON.stringify(n.v) : String(n.v);
+        return typeof n.v === "string" ? JSON.stringify(n.v) : typeof n.v === "boolean" ? D.bool(n.v) : String(n.v);
       case "ref":
         return known.has(n.path) || known.has(n.path.split(".")[0]) ? n.path : JSON.stringify(n.path);
       default:
@@ -3359,14 +3454,14 @@ function buildGuard(ast, { denyResults, mask = "[redacted]" } = {}) {
   }
   function decide(name, inputs) {
     const d = decisions.get(name);
-    if (!d) throw new Error(`intent guard: no decision "${name}"`);
+    if (!d) throw new Error(`thunder guard: no decision "${name}"`);
     const r = evaluateDecision(d, inputs || {});
     return { ...r, allowed: !isDenied(r.result) };
   }
   function assertAllowed(name, inputs) {
     const r = decide(name, inputs);
     if (!r.allowed) {
-      const e = new Error(`intent guard: decision "${name}" denied the action (result: ${r.result})`);
+      const e = new Error(`thunder guard: decision "${name}" denied the action (result: ${r.result})`);
       e.code = "INTENT_GUARD_DENIED";
       e.decision = name;
       e.result = r.result;
@@ -3570,7 +3665,7 @@ var FACTORS = [
       const scoped = len(ast.scope?.include) + len(ast.scope?.exclude);
       if (scoped) return { verdict: "satisfied", evidence: `context boundary declared (scope: ${len(ast.scope.include)} include / ${len(ast.scope.exclude)} exclude)` };
       if (len(ast.requires)) return { verdict: "partial", evidence: "dependencies declared but no explicit scope boundary", fix: "Declare `scope include/exclude` so the context window is curated, not unbounded." };
-      return { verdict: "absent", evidence: "no scope declared", fix: "Add a `scope` block to bound what belongs in context (IntentLens/Focus narrows it further)." };
+      return { verdict: "absent", evidence: "no scope declared", fix: "Add a `scope` block to bound what belongs in context (ThunderLens/Focus narrows it further)." };
     }
   },
   {
@@ -4035,7 +4130,7 @@ function toDesignTokens(ast) {
     });
     for (const t of si.tokens) {
       const leaf = { $value: coerceValue(t.value), $type: tokenType(t.path) };
-      if (!isKnownPath(t.path)) leaf.$extensions = { "dev.thunderlang": { canonical: false } };
+      if (!isKnownPath(t.path)) leaf.$extensions = { "dev.intentlanguage": { canonical: false } };
       setPath(root, t.path, leaf);
     }
   }
@@ -4043,7 +4138,7 @@ function toDesignTokens(ast) {
     $description: `Design tokens for ${ast.title || ast.mission || "intent"} (generated from style_intent by @skillstech/thunderlang)`,
     ...root,
     $extensions: {
-      "dev.thunderlang": {
+      "dev.intentlanguage": {
         schema: DESIGN_TOKENS_SCHEMA,
         format: "W3C Design Tokens (DTCG)",
         source: ast.mission || null,
@@ -4193,7 +4288,7 @@ function notesSummary(ast) {
     byLens
   };
 }
-var COMPILER_VERSION = "0.1.0";
+var COMPILER_VERSION = "0.2.0";
 var PROOF_SCHEMA_VERSION = "0.1.0";
 var SOURCE_PRODUCT = "skillstech-compiler";
 function buildContractGraph(ast, generatedAt) {
@@ -4686,13 +4781,15 @@ function buildProof(ast, { sourceFile, sourceHash, targetsRequested, targetsGene
       id: g.id,
       text: g.statement,
       status: g.verify.length > 0 || verifiedText ? "planned" : "needs_verification",
-      evidence: g.verify
+      evidence: g.verify,
+      verifications: g.verifications || []
     })),
     neverRules: ast.neverRules.map((n) => ({
       id: n.id,
       text: n.statement,
       status: n.verify.length > 0 ? "planned" : "needs_verification",
-      evidence: n.verify
+      evidence: n.verify,
+      verifications: n.verifications || []
     })),
     errors: (ast.errors || []).map((e) => ({ name: e.name })),
     examples: (ast.examples || []).map((ex) => ({ given: ex.given, expect: ex.expect })),
@@ -5527,7 +5624,7 @@ var LANG_EXT = {
   ruby: "rb",
   perl: "pl"
 };
-function liftSource(source, { language = "typescript", file = "", seeds } = {}) {
+function liftSource(source, { language = "typescript", file = "", seeds = void 0 } = {}) {
   const key = String(language).toLowerCase();
   const adapter = ADAPTERS[key];
   if (!adapter) {
@@ -5597,7 +5694,7 @@ function renderLensDoc(ast, lens) {
   const L = [];
   L.push(`# ${m} , for the ${lens} reader`, "");
   L.push(
-    `> IntentLens \`${lens}\` notes are woven in below. They explain meaning for this`,
+    `> ThunderLens \`${lens}\` notes are woven in below. They explain meaning for this`,
     `> audience; they are documentation, not verification.`,
     ""
   );
@@ -6069,7 +6166,7 @@ function fingerprint(parts) {
   return `fp_${h.toString(16)}`;
 }
 function makeScope({ type = "custom", title = null, seeds = [], projectId = null, createdBy = null, createdAt = null, ...rest2 } = {}) {
-  if (!SCOPE_TYPES.includes(type)) throw new Error(`intent focus: unknown scope type "${type}"`);
+  if (!SCOPE_TYPES.includes(type)) throw new Error(`thunder focus: unknown scope type "${type}"`);
   return {
     schema: FOCUS_SCHEMA,
     scopeId: `scope.${type}.${fingerprint([type, ...seeds].map(String))}`,

package/dist/index.cjs

@@ -450,6 +450,60 @@ function parseDecision(name, node2) {
   }
   return dec;
 }
+function parseProperty(name, node2) {
+  const prop = { name, vars: [], decide: null, expects: [], line: node2.line };
+  for (const c of node2.children.filter((x) => !isNote(x))) {
+    const k = firstWord(c.text);
+    const a = rest(c.text);
+    if (k === "forAll" || k === "forall") {
+      for (const v of c.children.filter((x) => !isNote(x))) {
+        const m = v.text.trim().match(/^([A-Za-z_]\w*)\s*:\s*(\w+)(?:\s+where\s+(.+))?$/);
+        if (!m) continue;
+        const whereChild = (v.children || []).find((x) => firstWord(x.text) === "where");
+        prop.vars.push({ name: m[1], type: m[2], where: m[3] || (whereChild ? rest(whereChild.text) : null) });
+      }
+    } else if (k === "decide") prop.decide = a || c.children[0] && c.children[0].text.trim() || null;
+    else if (k === "when") {
+      const dm = a.match(/(?:decide|execute)\s+(\w+)/);
+      if (dm) prop.decide = dm[1];
+    } else if (k === "expect") for (const e of c.children.filter((x) => !isNote(x))) prop.expects.push(e.text.trim());
+  }
+  return prop;
+}
+function parseEvaluation(name, node2) {
+  const ev = { name, dataset: null, requires: [], line: node2.line };
+  for (const c of node2.children.filter((x) => !isNote(x))) {
+    const k = firstWord(c.text);
+    const a = rest(c.text);
+    if (k === "dataset") ev.dataset = a || c.children[0] && c.children[0].text.trim() || null;
+    else if (k === "require") {
+      for (const r of c.children.filter((x) => !isNote(x))) {
+        const m = r.text.trim().match(/^([A-Za-z_][\w.]*)\s*(>=|<=|==|!=|>|<)\s*(-?[\d.]+)$/);
+        if (m) ev.requires.push({ metric: m[1], op: m[2], threshold: parseFloat(m[3]) });
+      }
+    }
+  }
+  return ev;
+}
+function parseScenario(name, node2) {
+  const sc = { name, given: [], when: [], then: [], never: [], eventually: [], line: node2.line };
+  const clausesOf = (c) => {
+    const items = leafItems(c);
+    return items.length ? items : rest(c.text) ? [rest(c.text)] : [];
+  };
+  for (const c of node2.children.filter((x) => !isNote(x))) {
+    const k = firstWord(c.text);
+    if (k === "given") sc.given.push(...clausesOf(c));
+    else if (k === "when") sc.when.push(...clausesOf(c));
+    else if (k === "then") sc.then.push(...clausesOf(c));
+    else if (k === "never") sc.never.push(...clausesOf(c));
+    else if (k === "eventually") {
+      const within = (rest(c.text).match(/within\s+(.+)/) || [])[1] || null;
+      sc.eventually.push({ within, clauses: leafItems(c) });
+    }
+  }
+  return sc;
+}
 function parseLifecycle(name, node2) {
   const lc = { name, states: [], transitions: [], terminals: [], line: node2.line };
   for (const c of node2.children.filter((x) => !isNote(x))) {
@@ -482,7 +536,13 @@ function parseInvariant(name, node2) {
   for (const c of kids(node2)) {
     const k = firstWord(c.text);
     if (k === "verify") inv.verify.push(rest(c.text));
-    else if (k === "because") inv.because = rest(c.text);
+    else if (k === "id") {
+      const v = rest(c.text);
+      if (v) {
+        inv.id = v;
+        inv.stableId = v;
+      }
+    } else if (k === "because") inv.because = rest(c.text);
     else if (k === "statement") inv.statement = rest(c.text) || leafItems(c).join(" ");
     else if (k === "scope") inv.scope = (rest(c.text) || leafItems(c).join(" ")).toLowerCase();
     else if (k === "severity") inv.severity = (rest(c.text) || leafItems(c).join(" ")).toLowerCase();
@@ -568,11 +628,12 @@ function parseHandler(trigger, node2) {
     actions
   };
 }
+var VERIFY_KINDS = /* @__PURE__ */ new Set(["assertion", "static", "runtime", "evidence", "tool", "approval", "formal"]);
 function upsertRule(list, statement, line) {
   const id = slug(statement);
   let r = list.find((x) => x.id === id);
   if (!r) {
-    r = { id, statement, because: null, verify: [], notes: [], line };
+    r = { id, statement, because: null, verify: [], verifications: [], notes: [], line };
     list.push(r);
   }
   return r;
@@ -581,8 +642,28 @@ function applyDetail(rule, node2) {
   for (const c of node2.children) {
     const kw = firstWord(c.text);
     if (kw === "because") rule.because = rest(c.text) || c.children[0] && c.children[0].text || null;
-    else if (kw === "verify") rule.verify.push(rest(c.text) || c.children[0] && c.children[0].text || "");
-    else if (isNote(c)) rule.notes.push(parseNoteNode(c));
+    else if (kw === "verify") {
+      const a = rest(c.text);
+      const m = a && a.match(/^by\s+(\w+)/i);
+      if (m) {
+        const kind = m[1].toLowerCase();
+        const details = (c.children || []).filter((x) => !isNote(x)).map((x) => x.text.trim()).filter(Boolean);
+        rule.verifications.push({ kind: VERIFY_KINDS.has(kind) ? kind : "unknown", declared: kind, details });
+        rule.verify.push(details.length ? `${kind}: ${details.join("; ")}` : `by ${kind}`);
+      } else {
+        const v = a || c.children[0] && c.children[0].text || "";
+        if (v) {
+          rule.verify.push(v);
+          rule.verifications.push({ kind: "unclassified", declared: null, details: [v] });
+        }
+      }
+    } else if (kw === "id") {
+      const v = rest(c.text) || c.children[0] && c.children[0].text;
+      if (v) {
+        rule.id = v;
+        rule.stableId = v;
+      }
+    } else if (isNote(c)) rule.notes.push(parseNoteNode(c));
   }
   rule.verify = rule.verify.filter(Boolean);
 }
@@ -647,6 +728,9 @@ function parseIntent(source) {
     handlers: [],
     // Decisions, rules, process (Gap 4)
     decisions: [],
+    properties: [],
+    scenarios: [],
+    evaluations: [],
     // Governance: waivers , governed exceptions to blocking diagnostics (Gap 5)
     waivers: [],
     // Data purpose + privacy , governed data elements (Gap 6)
@@ -875,6 +959,15 @@ function parseIntent(source) {
       case "decision":
         ast.decisions.push(parseDecision(arg, node2));
         break;
+      case "property":
+        ast.properties.push(parseProperty(arg, node2));
+        break;
+      case "scenario":
+        ast.scenarios.push(parseScenario(arg, node2));
+        break;
+      case "evaluation":
+        ast.evaluations.push(parseEvaluation(arg, node2));
+        break;
       // ── System profile ──
       case "capability": {
         const cap = { name: arg, description: null, implements: [], line: node2.line };
@@ -1309,7 +1402,7 @@ var FACTORS = [
       const scoped = len(ast.scope?.include) + len(ast.scope?.exclude);
       if (scoped) return { verdict: "satisfied", evidence: `context boundary declared (scope: ${len(ast.scope.include)} include / ${len(ast.scope.exclude)} exclude)` };
       if (len(ast.requires)) return { verdict: "partial", evidence: "dependencies declared but no explicit scope boundary", fix: "Declare `scope include/exclude` so the context window is curated, not unbounded." };
-      return { verdict: "absent", evidence: "no scope declared", fix: "Add a `scope` block to bound what belongs in context (IntentLens/Focus narrows it further)." };
+      return { verdict: "absent", evidence: "no scope declared", fix: "Add a `scope` block to bound what belongs in context (ThunderLens/Focus narrows it further)." };
     }
   },
   {
@@ -1977,7 +2070,7 @@ function toDesignTokens(ast) {
     });
     for (const t of si.tokens) {
       const leaf = { $value: coerceValue(t.value), $type: tokenType(t.path) };
-      if (!isKnownPath(t.path)) leaf.$extensions = { "dev.thunderlang": { canonical: false } };
+      if (!isKnownPath(t.path)) leaf.$extensions = { "dev.intentlanguage": { canonical: false } };
       setPath(root, t.path, leaf);
     }
   }
@@ -1985,7 +2078,7 @@ function toDesignTokens(ast) {
     $description: `Design tokens for ${ast.title || ast.mission || "intent"} (generated from style_intent by @skillstech/thunderlang)`,
     ...root,
     $extensions: {
-      "dev.thunderlang": {
+      "dev.intentlanguage": {
         schema: DESIGN_TOKENS_SCHEMA,
         format: "W3C Design Tokens (DTCG)",
         source: ast.mission || null,
@@ -2194,7 +2287,7 @@ function notesSummary(ast) {
     byLens
   };
 }
-var COMPILER_VERSION = "0.1.0";
+var COMPILER_VERSION = "0.2.0";
 var PROOF_SCHEMA_VERSION = "0.1.0";
 var SOURCE_PRODUCT = "skillstech-compiler";
 function buildContractGraph(ast, generatedAt) {
@@ -2687,13 +2780,15 @@ function buildProof(ast, { sourceFile, sourceHash, targetsRequested, targetsGene
       id: g.id,
       text: g.statement,
       status: g.verify.length > 0 || verifiedText ? "planned" : "needs_verification",
-      evidence: g.verify
+      evidence: g.verify,
+      verifications: g.verifications || []
     })),
     neverRules: ast.neverRules.map((n) => ({
       id: n.id,
       text: n.statement,
       status: n.verify.length > 0 ? "planned" : "needs_verification",
-      evidence: n.verify
+      evidence: n.verify,
+      verifications: n.verifications || []
     })),
     errors: (ast.errors || []).map((e) => ({ name: e.name })),
     examples: (ast.examples || []).map((ex) => ({ given: ex.given, expect: ex.expect })),
@@ -2750,7 +2845,7 @@ function intentProofJsonSchema() {
       sourceProduct: { type: "string" },
       missionName: { type: ["string", "null"] },
       sourceFile: { type: "string" },
-      // sha256:<hex> , the source fingerprint `intent verify` re-checks for drift/tampering.
+      // sha256:<hex> , the source fingerprint `thunder verify` re-checks for drift/tampering.
       sourceHash: { type: "string", pattern: "^sha256:[0-9a-f]{64}$" },
       compilerVersion: { type: "string" },
       generatedAt: { type: ["string", "null"] },
@@ -2862,7 +2957,7 @@ function renderLensDoc(ast, lens) {
   const L = [];
   L.push(`# ${m} , for the ${lens} reader`, "");
   L.push(
-    `> IntentLens \`${lens}\` notes are woven in below. They explain meaning for this`,
+    `> ThunderLens \`${lens}\` notes are woven in below. They explain meaning for this`,
     `> audience; they are documentation, not verification.`,
     ""
   );
@@ -3104,7 +3199,7 @@ function getHover(source, position = {}) {
         target: lens,
         kind: "note_lens",
         title: `note ${lens}`,
-        description: LENS_INFO[lens] || "An IntentLens reader lens.",
+        description: LENS_INFO[lens] || "An ThunderLens reader lens.",
         examples: [],
         relatedSuggestions: []
       }
@@ -3904,7 +3999,7 @@ var LANG_EXT = {
   ruby: "rb",
   perl: "pl"
 };
-function liftSource(source, { language = "typescript", file = "", seeds } = {}) {
+function liftSource(source, { language = "typescript", file = "", seeds = void 0 } = {}) {
   const key = String(language).toLowerCase();
   const adapter = ADAPTERS[key];
   if (!adapter) {
@@ -4051,7 +4146,7 @@ function checkDrift(intentText, codeSource, { language = "typescript" } = {}) {
       add("warning", "INTENT_DRIFT_STALE_PROOF", "The approved intent was edited after approval (hash mismatch). Re-approve it.");
     }
   } else {
-    add("info", "INTENT_DRIFT_NOT_APPROVED", "This intent has no approval block. Approve it first: intent approve <file>.");
+    add("info", "INTENT_DRIFT_NOT_APPROVED", "This intent has no approval block. Approve it first: thunder approve <file>.");
   }
   const lift = liftSource(codeSource, { language });
   if (!lift.ok) {
@@ -5677,7 +5772,7 @@ var IL_AUTHOR_RULE_ROWS = [
   { ruleId: "IL-SEC-002", area: "security", severity: "blocker", blocks: ["release"], summary: "API returns a secret with no auth requirement." },
   { ruleId: "IL-TYPE-001", area: "type", severity: "info", blocks: [], summary: "Field uses an unrecognized (likely mistyped) type." },
   // 12-Factor Agents conformance (twelve-factor-v1). Advisory: an intent's alignment with the
-  // humanlayer/12-factor-agents principles. `intent twelve-factor` scores these.
+  // humanlayer/12-factor-agents principles. `thunder twelve-factor` scores these.
   { ruleId: "IL-12F-01", area: "twelve-factor", severity: "info", blocks: [], summary: "F1 Natural language to tool calls: model dispatch as a decision/command." },
   { ruleId: "IL-12F-02", area: "twelve-factor", severity: "info", blocks: [], summary: "F2 Own your prompts: behavior is an owned, guaranteed contract, not a black box." },
   { ruleId: "IL-12F-03", area: "twelve-factor", severity: "info", blocks: [], summary: "F3 Own your context window: declare a scope boundary." },
@@ -5703,8 +5798,8 @@ var IL_CORE_RULE_ROWS = [
   { ruleId: "unknown-block", area: "core", severity: "info", blocks: [], summary: "Unrecognized top-level block." },
   { ruleId: "INTENT-ARCH-001", area: "architecture", severity: "warning", blocks: [], summary: "Architecture rule not understood." },
   { ruleId: "INTENT-AI-010", area: "ai", severity: "warning", blocks: [], summary: "Unsupported implementation scope." },
-  { ruleId: "INTENT_NOTE_UNKNOWN_LENS", area: "note", severity: "info", blocks: [], summary: "IntentLens note uses an unknown lens." },
-  { ruleId: "INTENT_NOTE_EMPTY", area: "note", severity: "info", blocks: [], summary: "IntentLens note is empty." }
+  { ruleId: "INTENT_NOTE_UNKNOWN_LENS", area: "note", severity: "info", blocks: [], summary: "ThunderLens note uses an unknown lens." },
+  { ruleId: "INTENT_NOTE_EMPTY", area: "note", severity: "info", blocks: [], summary: "ThunderLens note is empty." }
 ];
 var RULE_PHASES = ["author", "verify"];
 var RULE_OWNERS = ["IL", "OT"];
@@ -6088,21 +6183,23 @@ function compileExpr(src) {
 function evalExpr(src, inputs = {}) {
   return compileExpr(src)(inputs);
 }
+var C_LOGIC = { and: (a, b) => `(${a} && ${b})`, or: (a, b) => `(${a} || ${b})`, not: (a) => `!${a}`, bool: (v) => String(v) };
 var DIALECTS = {
-  js: { eq: (a, b) => `${a} === ${b}`, neq: (a, b) => `${a} !== ${b}`, inList: (list, x) => `[${list.join(", ")}].includes(${x})`, nil: "undefined" },
-  csharp: { eq: (a, b) => `${a} == ${b}`, neq: (a, b) => `${a} != ${b}`, inList: (list, x) => `new[]{${list.join(", ")}}.Contains(${x})`, nil: "null" },
-  java: { eq: (a, b) => `java.util.Objects.equals(${a}, ${b})`, neq: (a, b) => `!java.util.Objects.equals(${a}, ${b})`, inList: (list, x) => `java.util.List.of(${list.join(", ")}).contains(${x})`, nil: "null" }
+  js: { ...C_LOGIC, eq: (a, b) => `${a} === ${b}`, neq: (a, b) => `${a} !== ${b}`, inList: (list, x) => `[${list.join(", ")}].includes(${x})`, nil: "undefined" },
+  csharp: { ...C_LOGIC, eq: (a, b) => `${a} == ${b}`, neq: (a, b) => `${a} != ${b}`, inList: (list, x) => `new[]{${list.join(", ")}}.Contains(${x})`, nil: "null" },
+  java: { ...C_LOGIC, eq: (a, b) => `java.util.Objects.equals(${a}, ${b})`, neq: (a, b) => `!java.util.Objects.equals(${a}, ${b})`, inList: (list, x) => `java.util.List.of(${list.join(", ")}).contains(${x})`, nil: "null" },
+  python: { and: (a, b) => `(${a} and ${b})`, or: (a, b) => `(${a} or ${b})`, not: (a) => `(not ${a})`, bool: (v) => v ? "True" : "False", eq: (a, b) => `${a} == ${b}`, neq: (a, b) => `${a} != ${b}`, inList: (list, x) => `${x} in [${list.join(", ")}]`, nil: "None" }
 };
 function renderExpr(src, inputs, D) {
   const known = new Set(inputs);
   const r = (n) => {
     switch (n.k) {
       case "or":
-        return `(${r(n.a)} || ${r(n.b)})`;
+        return D.or(r(n.a), r(n.b));
       case "and":
-        return `(${r(n.a)} && ${r(n.b)})`;
+        return D.and(r(n.a), r(n.b));
       case "not":
-        return `!${r(n.a)}`;
+        return D.not(r(n.a));
       case "neg":
         return `-${r(n.a)}`;
       case "arith":
@@ -6116,7 +6213,7 @@ function renderExpr(src, inputs, D) {
       case "list":
         return `[${n.items.map(r).join(", ")}]`;
       case "lit":
-        return typeof n.v === "string" ? JSON.stringify(n.v) : String(n.v);
+        return typeof n.v === "string" ? JSON.stringify(n.v) : typeof n.v === "boolean" ? D.bool(n.v) : String(n.v);
       case "ref":
         return known.has(n.path) || known.has(n.path.split(".")[0]) ? n.path : JSON.stringify(n.path);
       default:
@@ -6237,7 +6334,7 @@ function runTests(ast) {
         const inputs = coerce(c.given);
         const run = evaluateDecision(dec, inputs);
         const pass = c.expect == null || String(run.result) === String(c.expect);
-        results.push({ ...label, kind: "decision", expected: c.expect, actual: run.result, pass, ...run.ok ? {} : { note: "a condition failed to evaluate" } });
+        results.push({ ...label, kind: "decision", expected: c.expect, actual: run.result, matched: run.matched, pass, ...run.ok ? {} : { note: "a condition failed to evaluate" } });
       } else if (lc) {
         const sim = simulateLifecycle(lc, c.events || []);
         const passState = c.expect == null || sim.finalState === c.expect;
@@ -7246,7 +7343,7 @@ function fingerprint(parts) {
   return `fp_${h.toString(16)}`;
 }
 function makeScope({ type = "custom", title = null, seeds = [], projectId = null, createdBy = null, createdAt = null, ...rest2 } = {}) {
-  if (!SCOPE_TYPES.includes(type)) throw new Error(`intent focus: unknown scope type "${type}"`);
+  if (!SCOPE_TYPES.includes(type)) throw new Error(`thunder focus: unknown scope type "${type}"`);
   return {
     schema: FOCUS_SCHEMA,
     scopeId: `scope.${type}.${fingerprint([type, ...seeds].map(String))}`,
@@ -8071,7 +8168,7 @@ function payloadOf(seq, entry, prev) {
   };
 }
 function record(ledger, entry) {
-  if (!entry || !ENTRY_TYPES.includes(entry.type)) throw new Error(`intent ledger: unknown entry type "${entry?.type}"`);
+  if (!entry || !ENTRY_TYPES.includes(entry.type)) throw new Error(`thunder ledger: unknown entry type "${entry?.type}"`);
   const base = ledger && Array.isArray(ledger.entries) ? ledger : emptyLedger();
   const payload = payloadOf(base.entries.length, entry, base.head);
   const hash = sha256(JSON.stringify(payload));
@@ -8218,7 +8315,7 @@ function emptyEventLog() {
 }
 function recordEvent(log, event) {
   if (!event || !INTENT_AI_EVENTS.includes(event.type)) {
-    throw new Error(`intent ai events: unknown event type "${event?.type}"`);
+    throw new Error(`thunder ai events: unknown event type "${event?.type}"`);
   }
   const base = log && Array.isArray(log.events) ? log : emptyEventLog();
   return { ...base, events: [...base.events, event] };
@@ -8582,14 +8679,14 @@ function buildGuard(ast, { denyResults, mask = "[redacted]" } = {}) {
   }
   function decide(name, inputs) {
     const d = decisions.get(name);
-    if (!d) throw new Error(`intent guard: no decision "${name}"`);
+    if (!d) throw new Error(`thunder guard: no decision "${name}"`);
     const r = evaluateDecision(d, inputs || {});
     return { ...r, allowed: !isDenied(r.result) };
   }
   function assertAllowed(name, inputs) {
     const r = decide(name, inputs);
     if (!r.allowed) {
-      const e = new Error(`intent guard: decision "${name}" denied the action (result: ${r.result})`);
+      const e = new Error(`thunder guard: decision "${name}" denied the action (result: ${r.result})`);
       e.code = "INTENT_GUARD_DENIED";
       e.decision = name;
       e.result = r.result;