@patterkit/compiler 0.7.1 → 0.9.0

package/dist/index.cjs

@@ -24,6 +24,8 @@ __export(index_exports, {
   PATTER_SCOPE: () => PATTER_SCOPE,
   compileExpression: () => compileExpression,
   exportBundle: () => exportBundle,
+  extensionNodes: () => extensionNodes,
+  extensionPass: () => extensionPass,
   externalGameScopes: () => externalGameScopes,
   hostScopesToSpec: () => import_dialect4.hostScopesToSpec,
   projectScopes: () => projectScopes,
@@ -53,14 +55,14 @@ function sameScope(a, b) {
   return norm(a) === norm(b);
 }
 function projectScopes(project, merged) {
-  const own = project.scopeRegistry;
-  if (!merged) return { host: own, external: [], notes: [] };
+  const own2 = project.scopeRegistry;
+  if (!merged) return { host: own2, external: [], notes: [] };
   const notes = [];
   const hosted = [];
   const bundled = /* @__PURE__ */ new Set();
   let changed = false;
   const shared = (token) => token === PATTER_SCOPE ? void 0 : merged.spec.scopes.find((s) => s.token === token);
-  for (const h of own?.scopes ?? []) {
+  for (const h of own2?.scopes ?? []) {
     const s = shared(h.token);
     const who = merged.owners.get(h.token);
     if (!s || !who) {
@@ -96,7 +98,7 @@ function projectScopes(project, merged) {
     changed = true;
   }
   const external = merged.spec.scopes.filter((s) => s.token !== PATTER_SCOPE && !bundled.has(s.token));
-  const host = !changed ? own : hosted.length ? { version: own?.version ?? 1, scopes: hosted } : void 0;
+  const host = !changed ? own2 : hosted.length ? { version: own2?.version ?? 1, scopes: hosted } : void 0;
   return { host, external, notes };
 }
 function externalGameScopes(strict, merged) {
@@ -154,7 +156,7 @@ function validateConditions(input, options = {}) {
   const validateElement = (blocks, sceneProps, onEntry, elementId) => {
     const schema = (0, import_dialect2.buildSchema)(input.project, sceneProps, foreign);
     const checkedSchema = checked ? (0, import_dialect2.buildSchema)(input.project, sceneProps, checked) : void 0;
-    const check = (nodeId, field, src) => {
+    const check = (nodeId, field, src, assignedTo) => {
       let ast;
       try {
         ast = (0, import_expr.parse)(src, dialect);
@@ -162,7 +164,7 @@ function validateConditions(input, options = {}) {
         issues.push({ nodeId, field, src, severity: "error", message: e instanceof Error ? e.message : String(e) });
         return;
       }
-      const strict = (0, import_expr.validateExpr)(ast, schema, dialect);
+      const strict = [...(0, import_expr.validateExpr)(ast, schema, dialect), ...assignedTo ? (0, import_expr.validateAssignment)(assignedTo, ast, schema, dialect) : []];
       for (const iss of strict) {
         issues.push({ nodeId, field, src, severity: iss.severity, message: iss.message });
       }
@@ -215,7 +217,7 @@ function validateConditions(input, options = {}) {
     const checkEffects = (nodeId, list, label) => {
       for (const e of list ?? []) {
         checkTarget(nodeId, `${label}.set`, e.target);
-        check(nodeId, `${label}.set`, e.value);
+        check(nodeId, `${label}.set`, e.value, TARGET_REF.test(e.target) ? (0, import_dialect2.splitRef)(e.target, isScopeToken) : void 0);
       }
     };
     checkEffects(elementId, onEntry, "onEntry");
@@ -346,13 +348,279 @@ function readOnlyForeignTargets(spec) {
 var import_dialect4 = require("@patterkit/dialect");
 
 // src/export.ts
+var import_scoperegistry = require("@wildwinter/scoperegistry");
 var import_core = require("@patterkit/core");
 var import_dialect3 = require("@patterkit/dialect");
+var import_model3 = require("@patterkit/model");
+
+// src/extensions.ts
 var import_model2 = require("@patterkit/model");
+var import_extensions = require("@wildwinter/toolkit/extensions");
+function extensionNodes(project, scenes) {
+  const nodes = /* @__PURE__ */ new Map();
+  const add = (id, kind, scene, gameData) => {
+    if (!nodes.has(id)) nodes.set(id, { kind, ...scene !== void 0 ? { scene } : {}, ...gameData !== void 0 ? { gameData } : {} });
+  };
+  add(project.project.id, "project", void 0, void 0);
+  for (const scene of scenes) {
+    const s = scene.id;
+    add(s, "scene", s, scene.gameData);
+    const walk = (children, inChoice) => {
+      for (const node of children ?? []) {
+        if (node.type === "group") {
+          if (inChoice) {
+            add(node.id, "option", s, node.gameData);
+            if (node.prompt) add(node.prompt.id, node.prompt.kind, s, node.prompt.gameData);
+          }
+          walk(node.children ?? [], node.selector === "choice");
+          continue;
+        }
+        add(node.id, "snippet", s, node.gameData);
+        for (const beat of node.beats ?? []) add(beat.id, beat.kind, s, beat.gameData);
+      }
+    };
+    for (const block of scene.blocks ?? []) {
+      add(block.id, "block", s, block.gameData);
+      walk(block.children ?? [], false);
+    }
+  }
+  return nodes;
+}
+var issueOf = (file, p, prefix = "", node) => ({
+  severity: p.severity,
+  file,
+  code: p.code,
+  ...node !== void 0 ? { node } : {},
+  message: p.path === "" ? `${prefix}${p.message}` : `${prefix}${p.path}: ${p.message}`
+});
+var folderOf = (path) => {
+  const parts = path.split(/[\\/]/);
+  return parts.length >= 2 ? parts[parts.length - 2] : void 0;
+};
+var own = (o, k) => Object.prototype.hasOwnProperty.call(o, k);
+function extensionPass(input) {
+  const { project, scenes } = input;
+  const issues = [];
+  const projectPath = input.projectPath ?? "";
+  const taken = project.extensions ?? {};
+  const manifests = /* @__PURE__ */ new Map();
+  for (const m of input.manifests) {
+    const problems = (0, import_extensions.manifestProblems)(m.manifest);
+    for (const p of problems) issues.push(issueOf(m.path, p, "manifest "));
+    let sound2 = !problems.some((p) => p.severity === "error");
+    const id = m.manifest?.id;
+    if (sound2 && id !== m.id) {
+      issues.push({
+        severity: "error",
+        file: m.path,
+        message: `the manifest's id is "${String(id)}", but its file is named for "${m.id}"; a manifest is called <id>${import_model2.MANIFEST_EXTENSION}`
+      });
+      sound2 = false;
+    }
+    if (sound2 && m.manifest.targets.patter === void 0) {
+      issues.push({
+        severity: "warning",
+        file: m.path,
+        message: `"${m.id}" isn't a Patter extension: its manifest targets no Patter node kind, so it adds nothing here`
+      });
+    }
+    manifests.set(m.id, { path: m.path, manifest: m.manifest, sound: sound2 });
+  }
+  const takenList = [];
+  for (const [id, entry] of Object.entries(taken)) {
+    const m = manifests.get(id);
+    const version = typeof entry?.version === "string" ? entry.version : "";
+    const settings = entry?.settings ?? {};
+    if (m === void 0) {
+      issues.push({
+        severity: "warning",
+        file: projectPath,
+        message: `the project takes the Patter extension "${id}", but has no manifest for it at ${import_model2.EXTENSIONS_DIR}/${id}${import_model2.MANIFEST_EXTENSION}; its data is left as it is, and not compiled`
+      });
+      takenList.push({ id, settings });
+      continue;
+    }
+    if (!m.sound) {
+      takenList.push({ id, settings });
+      continue;
+    }
+    const manifest = m.manifest;
+    if (version !== manifest.version) {
+      issues.push({
+        severity: "warning",
+        file: projectPath,
+        message: `the project takes "${id}" ${version === "" ? "with no version" : `at version ${version}`}, but its manifest is version ${manifest.version}; run \`patter format\` to take it (renamed stages are renamed in the data as it does)`
+      });
+    }
+    const known = new Set((manifest.settings ?? []).map((s) => s.name));
+    for (const [name, value] of Object.entries(settings)) {
+      if (!known.has(name)) {
+        issues.push({ severity: "warning", file: projectPath, message: `"${id}" has no setting "${name}"; it's ignored` });
+      } else if (typeof value !== "string" || !/^[A-Za-z_][A-Za-z0-9_]*$/.test(value)) {
+        issues.push({
+          severity: "error",
+          file: projectPath,
+          message: `"${id}"'s setting "${name}" names a gameData field, so it's a field name, not ${JSON.stringify(value)}`
+        });
+      }
+    }
+    takenList.push({ id, settings, manifest });
+  }
+  const sound = new Map(takenList.filter((t) => t.manifest !== void 0).map((t) => [t.id, t.manifest]));
+  const nodes = extensionNodes(project, scenes);
+  const claims = takenList.flatMap((t) => t.manifest ? (0, import_extensions.resolvedClaims)(t.manifest, "patter", t.settings) : []);
+  for (const p of (0, import_extensions.claimClashes)(claims)) issues.push({ severity: p.severity, file: projectPath, code: p.code, message: p.message });
+  issues.push(...claimIssues(input, nodes, claims));
+  const exists = (kind, id) => kind === "cast" ? (project.cast ?? []).some((c) => c.name === id) : nodes.get(id)?.kind === kind;
+  const sceneIds = new Set(scenes.map((s) => s.id));
+  const values = /* @__PURE__ */ new Map();
+  const projectValues = /* @__PURE__ */ new Map();
+  for (const { path, shard } of [...input.shards].sort((a, b) => a.path < b.path ? -1 : a.path > b.path ? 1 : 0)) {
+    const folder = folderOf(path);
+    if (folder !== void 0 && shard.extension !== folder) {
+      issues.push({
+        severity: "error",
+        file: path,
+        message: `this shard says it holds "${String(shard.extension)}", but it sits in the folder for "${folder}"`
+      });
+      continue;
+    }
+    const ext = shard.extension;
+    if (!own(taken, ext)) {
+      issues.push({
+        severity: "warning",
+        file: path,
+        message: `data for the Patter extension "${ext}", which the project doesn't take; it's left as it is, and not compiled`
+      });
+      continue;
+    }
+    const entries = shard.entries;
+    if (typeof entries !== "object" || entries === null || Array.isArray(entries)) {
+      issues.push({ severity: "error", file: path, message: "entries are an object, by node kind and then node id" });
+      continue;
+    }
+    const shardScene = shard.scene === import_model2.PROJECT_LOCALE_SCENE ? void 0 : shard.scene;
+    const sceneKnown = shardScene === void 0 || sceneIds.has(shardScene);
+    if (!sceneKnown) {
+      issues.push({
+        severity: "warning",
+        file: path,
+        message: `this shard is for scene "${shard.scene}", which the project doesn't have; its entries are compiled where their nodes are`
+      });
+    }
+    for (const p of (0, import_extensions.orphanedEntries)(shard, exists)) issues.push(issueOf(path, p));
+    const manifest = sound.get(ext);
+    if (manifest === void 0) continue;
+    for (const [kind, byNode] of Object.entries(entries)) {
+      if (!import_extensions.HOSTS.patter.kinds.includes(kind)) {
+        issues.push({
+          severity: "warning",
+          file: path,
+          message: `entries.${kind}: "${kind}" isn't a Patter node kind; these entries are kept, and not compiled`
+        });
+        continue;
+      }
+      const target = (0, import_extensions.targetOf)(manifest, "patter", kind);
+      if (target === void 0) {
+        issues.push({
+          severity: "warning",
+          file: path,
+          message: `entries.${kind}: "${ext}" declares nothing for a ${kind}; these entries are kept, and not compiled`
+        });
+        continue;
+      }
+      if (typeof byNode !== "object" || byNode === null || Array.isArray(byNode)) continue;
+      for (const [id, entry] of Object.entries(byNode)) {
+        const node = nodes.get(id);
+        if (node === void 0 || node.kind !== kind) continue;
+        if (sceneKnown && node.scene !== shardScene) {
+          issues.push({
+            severity: "warning",
+            file: path,
+            node: id,
+            message: `entries.${kind}.${id} belongs ${node.scene === void 0 ? "in the project's own shard" : `in scene "${node.scene}"'s shard`}; it's compiled from here all the same`
+          });
+        }
+        const problems = (0, import_extensions.entryProblems)(target, entry, { exists });
+        for (const p of problems) issues.push(issueOf(path, p, `entries.${kind}.${id}${p.path === "" ? ": " : "."}`, id));
+        if (problems.some((p) => p.severity === "error")) continue;
+        const compiled = (0, import_extensions.compileEntry)(target, entry);
+        if (compiled === void 0) continue;
+        if (kind === "project") {
+          projectValues.set(ext, compiled);
+          continue;
+        }
+        values.set(id, { ...values.get(id) ?? {}, [ext]: compiled });
+      }
+    }
+  }
+  const bundle = {};
+  for (const [id, manifest] of [...sound.entries()].sort(([a], [b]) => a < b ? -1 : a > b ? 1 : 0)) {
+    const fields = {};
+    for (const kind of Object.keys(manifest.targets.patter ?? {}).sort()) {
+      const target = (0, import_extensions.targetOf)(manifest, "patter", kind);
+      if (target !== void 0) fields[kind] = (0, import_extensions.compiledTarget)(target);
+    }
+    const projectEntry = projectValues.get(id);
+    bundle[id] = { version: manifest.version, fields, ...projectEntry !== void 0 ? { project: projectEntry } : {} };
+  }
+  const sortedNodes = new Map([...values.entries()].map(([id, v]) => [id, sortRecord(v)]));
+  return { issues, compiled: { bundle, nodes: sortedNodes } };
+}
+function sortRecord(r) {
+  return Object.fromEntries(Object.keys(r).sort().map((k) => [k, r[k]]));
+}
+function claimIssues(input, nodes, claims) {
+  const issues = [];
+  const projectPath = input.projectPath ?? "";
+  const declared = input.project.gameDataFields ?? {};
+  for (const claim of claims) {
+    const decl = (declared[claim.kind] ?? []).find((d) => d.name === claim.field);
+    if (decl === void 0) {
+      issues.push({
+        severity: "warning",
+        file: projectPath,
+        message: `the Patter extension "${claim.extension}" claims the ${claim.kind} gameData field "${claim.field}", which the project doesn't declare`
+      });
+      continue;
+    }
+    if (decl.type !== claim.claim.type) {
+      issues.push({
+        severity: "error",
+        file: projectPath,
+        message: `the Patter extension "${claim.extension}" claims the ${claim.kind} gameData field "${claim.field}" as ${claim.claim.type}, but the project declares it as ${decl.type}`
+      });
+      continue;
+    }
+    for (const [id, node] of nodes) {
+      if (node.kind !== claim.kind || node.gameData === void 0 || !own(node.gameData, claim.field)) continue;
+      const file = (node.scene !== void 0 ? input.sceneFiles?.[node.scene] : void 0) ?? projectPath;
+      for (const p of (0, import_extensions.valueProblems)(claim.claim, node.gameData[claim.field])) {
+        issues.push({
+          severity: p.severity,
+          file,
+          node: id,
+          code: p.code,
+          message: `${claim.kind} '${id}' gameData "${claim.field}", as the Patter extension "${claim.extension}" claims it: ${p.message}`
+        });
+      }
+    }
+  }
+  return issues;
+}
+
+// src/export.ts
+function compileBeat(beat, ctx) {
+  const values = ctx.extensions.get(beat.id);
+  if (values === void 0 && !Object.prototype.hasOwnProperty.call(beat, "extensions")) return beat;
+  const { extensions: _source, ...rest } = beat;
+  return values !== void 0 ? { ...rest, extensions: values } : rest;
+}
 function compileEffect(e, foreign) {
   return { kind: "set", target: e.target, value: compileExpression(e.value, foreign) };
 }
-function compileNode(node, foreign) {
+function compileNode(node, ctx) {
+  const { foreign } = ctx;
   if (node.type === "group") {
     return {
       id: node.id,
@@ -361,13 +629,15 @@ function compileNode(node, foreign) {
       selector: node.selector,
       shared: node.shared,
       options: node.options,
-      children: node.children.map((c) => compileNode(c, foreign)),
+      children: node.children.map((c) => compileNode(c, ctx)),
       padAfterDefault: node.padAfterDefault,
       // line padding: the default for the beats inside
       gameData: node.gameData,
+      extensions: ctx.extensions.get(node.id),
+      // a choice's option's extension values
       tags: node.tags,
       // author tags (#215), accumulated at runtime
-      prompt: node.prompt,
+      prompt: node.prompt && compileBeat(node.prompt, ctx),
       // option-position only (spec §5)
       secretUntilEligible: node.secretUntilEligible,
       sticky: node.sticky,
@@ -378,12 +648,13 @@ function compileNode(node, foreign) {
     id: node.id,
     type: "snippet",
     condition: node.condition !== void 0 ? compileExpression(node.condition, foreign) : void 0,
-    beats: node.beats,
+    beats: node.beats && node.beats.map((b) => compileBeat(b, ctx)),
     onEnter: node.onEnter?.map((e) => compileEffect(e, foreign)),
     onExit: node.onExit?.map((e) => compileEffect(e, foreign)),
     padAfterDefault: node.padAfterDefault,
     // line padding: the default for the beats inside
     gameData: node.gameData,
+    extensions: ctx.extensions.get(node.id),
     tags: node.tags,
     // author tags (#215)
     jump: node.jump,
@@ -392,22 +663,24 @@ function compileNode(node, foreign) {
     fallback: node.fallback
   };
 }
-function compileBlock(block, foreign) {
+function compileBlock(block, ctx) {
   return {
     id: block.id,
     type: "block",
     name: block.name,
     ...block.gameId ? { gameId: block.gameId } : {},
     // host-facing address; runtime falls back to the name slug
-    children: block.children.map((c) => compileNode(c, foreign)),
+    children: block.children.map((c) => compileNode(c, ctx)),
     padAfterDefault: block.padAfterDefault,
     // line padding: the default for the beats inside
     gameData: block.gameData,
+    extensions: ctx.extensions.get(block.id),
     tags: block.tags
     // author tags (#215)
   };
 }
-function compileScene(scene, foreign) {
+function compileScene(scene, ctx) {
+  const { foreign } = ctx;
   return {
     id: scene.id,
     type: "scene",
@@ -417,11 +690,12 @@ function compileScene(scene, foreign) {
     padAfterDefault: scene.padAfterDefault,
     // line padding: the default for the beats inside
     gameData: scene.gameData,
+    extensions: ctx.extensions.get(scene.id),
     tags: scene.tags,
     // author tags (#215)
     onEntry: scene.onEntry?.map((e) => compileEffect(e, foreign)),
     sceneProps: scene.sceneProps,
-    blocks: scene.blocks.map((b) => compileBlock(b, foreign))
+    blocks: scene.blocks.map((b) => compileBlock(b, ctx))
   };
 }
 function externalScopesIn(scenes, external) {
@@ -443,6 +717,9 @@ function externalScopesIn(scenes, external) {
   walk(scenes);
   return [...found].sort();
 }
+function resolved(decls) {
+  return decls?.map((d) => d.default === void 0 ? { ...d, default: (0, import_scoperegistry.defaultFor)(d) } : d);
+}
 function exportBundle(input) {
   const { project, scenes, locales = [], includeLocales } = input;
   const hostScopes = projectScopes(project, input.gameScopes).host;
@@ -452,12 +729,16 @@ function exportBundle(input) {
     version: foreignScopes?.version ?? 1,
     scopes: [...foreignScopes?.scopes ?? [], ...gameExternal.map((s) => ({ token: s.token }))]
   });
+  const ext = input.extensions;
+  const compiledExt = project.extensions !== void 0 || ext !== void 0 && (ext.manifests.length > 0 || ext.shards.length > 0) ? extensionPass({ project, scenes, manifests: ext?.manifests ?? [], shards: ext?.shards ?? [] }).compiled : void 0;
+  const extensionSection = compiledExt !== void 0 && Object.keys(compiledExt.bundle).length > 0 ? compiledExt.bundle : void 0;
+  const ctx = { foreign: compileScopes, extensions: compiledExt?.nodes ?? /* @__PURE__ */ new Map() };
   const scenesOut = {};
-  for (const scene of scenes) scenesOut[scene.id] = compileScene(scene, compileScopes);
+  for (const scene of scenes) scenesOut[scene.id] = compileScene(scene, ctx);
   const externalScopes = externalScopesIn(scenesOut, /* @__PURE__ */ new Set([...import_dialect3.EXTERNAL_SCOPES, ...gameExternal.map((s) => s.token)]));
-  const qualifiers = (0, import_model2.usedQualifiers)(project, scenes).map((q) => ({ gameId: q.gameId, name: q.name }));
-  const usedPairs = new Set((0, import_model2.usedSpeakerPairs)(scenes).map((p) => `${p.character}\0${p.qualifier}`));
-  const speakerPattern = qualifiers.length > 0 && project.speakerPattern !== void 0 && project.speakerPattern !== import_model2.DEFAULT_SPEAKER_PATTERN ? project.speakerPattern : void 0;
+  const qualifiers = (0, import_model3.usedQualifiers)(project, scenes).map((q) => ({ gameId: q.gameId, name: q.name }));
+  const usedPairs = new Set((0, import_model3.usedSpeakerPairs)(scenes).map((p) => `${p.character}\0${p.qualifier}`));
+  const speakerPattern = qualifiers.length > 0 && project.speakerPattern !== void 0 && project.speakerPattern !== import_model3.DEFAULT_SPEAKER_PATTERN ? project.speakerPattern : void 0;
   const strings = {};
   for (const loc of locales) {
     if (includeLocales && !includeLocales.includes(loc.locale)) continue;
@@ -484,7 +765,9 @@ function exportBundle(input) {
         properties: project.properties ?? [],
         ...foreignScopes ? { scopeRegistry: foreignScopes } : {},
         ...qualifiers.length > 0 ? { qualifiers } : {},
-        ...typeof project.padAfterDefault === "number" ? { padAfterDefault: project.padAfterDefault } : {}
+        ...typeof project.padAfterDefault === "number" ? { padAfterDefault: project.padAfterDefault } : {},
+        // Each node's values are in `scenes`; the declarations and the project's own values are here.
+        ...extensionSection !== void 0 ? { extensions: extensionSection } : {}
       }, { trailingComma: false })),
       // Structure-only fingerprint (live bundle refresh): the same hash with the string tables left
       // out. Same structureHash + a different hash = a text-only edit, safe to swap in place with
@@ -495,7 +778,8 @@ function exportBundle(input) {
         properties: project.properties ?? [],
         ...foreignScopes ? { scopeRegistry: foreignScopes } : {},
         ...qualifiers.length > 0 ? { qualifiers } : {},
-        ...typeof project.padAfterDefault === "number" ? { padAfterDefault: project.padAfterDefault } : {}
+        ...typeof project.padAfterDefault === "number" ? { padAfterDefault: project.padAfterDefault } : {},
+        ...extensionSection !== void 0 ? { extensions: extensionSection } : {}
       }, { trailingComma: false }))
     },
     voiced: project.voiced ?? false,
@@ -517,13 +801,20 @@ function exportBundle(input) {
     ...speakerPattern !== void 0 ? { speakerPattern } : {},
     // The project's own line-padding default, only when it sets one: absent, every runtime uses the built-in one.
     ...typeof project.padAfterDefault === "number" ? { padAfterDefault: project.padAfterDefault } : {},
-    properties: project.properties,
+    properties: resolved(project.properties),
+    // A host scope's declarations ship as written: there, "no default" is the game's to supply, and saying
+    // so is what an integrator reads the bundle for.
     scopeRegistry: hostScopes,
-    gameDataFields: project.gameDataFields,
+    gameDataFields: project.gameDataFields && Object.fromEntries(
+      Object.entries(project.gameDataFields).map(([kind, fields]) => [kind, resolved(fields)])
+    ),
+    // The extensions the project takes: each one's version, its compiled declarations by node kind (every
+    // default resolved, editor-only fields and the editor's words left out) and the project node's values.
+    ...extensionSection !== void 0 ? { extensions: extensionSection } : {},
     // Closed-caption delimiters ride along only when the project pins a non-default pair (#214); the
     // runtime falls back to `[` / `]` when absent, so default projects keep their exact prior bundle.
     ...project.closedCaptions ? { closedCaptions: project.closedCaptions } : {},
-    scenes: scenesOut,
+    scenes: Object.fromEntries(Object.entries(scenesOut).map(([id, sc]) => [id, sc.sceneProps ? { ...sc, sceneProps: resolved(sc.sceneProps) } : sc])),
     strings,
     // Other engines' scopes the content names, so the engine can say when the game has not registered one.
     ...externalScopes.length > 0 ? { externalScopes } : {}
@@ -535,6 +826,8 @@ function exportBundle(input) {
   PATTER_SCOPE,
   compileExpression,
   exportBundle,
+  extensionNodes,
+  extensionPass,
   externalGameScopes,
   hostScopesToSpec,
   projectScopes,

package/dist/index.d.cts

@@ -1,6 +1,6 @@
 import { ScopeRegistrySpec, ScopeSpec } from '@wildwinter/scoperegistry';
 import { MergedScopes } from '@wildwinter/scoperegistry/scopes';
-import { Expression, ProjectFile, Scene, LocaleFile, Bundle, HostScopeRegistry } from '@patterkit/model';
+import { Expression, ProjectFile, Scene, LocaleFile, BundleExtension, NodeExtensions, ExtensionShard, GameData, Bundle, HostScopeRegistry } from '@patterkit/model';
 export { EXTERNAL_SCOPES, hostScopesToSpec } from '@patterkit/dialect';
 
 /**
@@ -62,6 +62,70 @@ declare function validateInterpolation(input: {
     locales?: LocaleFile[];
 }, options?: ValidateOptions): ConditionIssue[];
 
+/** One extension's manifest, as a project keeps it (`extensions/<id>.extension.json`). */
+interface ExtensionManifestFile {
+    /** Where it is, for the report. */
+    path: string;
+    /** The file's stem, which names the extension it should be. */
+    id: string;
+    /** The parsed JSON, unchecked: the pass says whether it is sound. */
+    manifest: unknown;
+}
+/** One extension data shard (`.patterextension`), with where it is. */
+interface ExtensionShardFile {
+    /** `<layout.extensions>/<extension id>/<scene file stem>.patterextension`: the folder names the extension. */
+    path: string;
+    shard: ExtensionShard;
+}
+/** What the pass reads: the project, its scenes, and its extension files. */
+interface ExtensionPassInput {
+    project: ProjectFile;
+    scenes: Scene[];
+    manifests: readonly ExtensionManifestFile[];
+    shards: readonly ExtensionShardFile[];
+    /** The project file's path, for the report (default `""`). */
+    projectPath?: string;
+    /** Each scene's file, by scene id, for the report. */
+    sceneFiles?: Readonly<Record<string, string>>;
+}
+/** One thing the pass found. `file` is the file to open; `node` the node id, when it is about one. */
+interface ExtensionIssue {
+    severity: "error" | "warning";
+    file: string;
+    node?: string;
+    /** The toolkit's stable name for the problem, when it is one of the toolkit's. */
+    code?: string;
+    message: string;
+}
+/** What the pass hands the bundle. */
+interface CompiledExtensions {
+    /** The bundle's `extensions` section, by extension id. Empty when the project takes none. */
+    readonly bundle: Record<string, BundleExtension>;
+    /** Each node's compiled values, by node id: what goes on the node as `extensions`. */
+    readonly nodes: ReadonlyMap<string, NodeExtensions>;
+}
+/** A node the project has: its kind, the scene it belongs to (none for the project's own), and its gameData. */
+interface ExtensionNode {
+    readonly kind: string;
+    readonly scene?: string;
+    readonly gameData?: GameData;
+}
+/**
+ * Every node an extension can attach to, by id (ids are project-unique): the project, each scene, block and
+ * snippet, a choice's options (the groups directly inside a `choice` group, as gameData's `option` is), and
+ * every beat by its kind, an option's prompt beat included. A bare snippet in a choice stays a snippet.
+ */
+declare function extensionNodes(project: ProjectFile, scenes: readonly Scene[]): Map<string, ExtensionNode>;
+/**
+ * Validate every extension, and compile what may be compiled. `issues` is the pass's report; `compiled` is
+ * what the bundle carries. Data whose manifest is missing or unsound is reported and left out of the bundle,
+ * never changed; an entry with an error is left out on its own.
+ */
+declare function extensionPass(input: ExtensionPassInput): {
+    issues: ExtensionIssue[];
+    compiled: CompiledExtensions;
+};
+
 interface ExportInput {
     project: ProjectFile;
     scenes: Scene[];
@@ -82,6 +146,17 @@ interface ExportInput {
      * does: named in `externalScopes`, never baked in.
      */
     gameScopes?: MergedScopes;
+    /**
+     * The project's Patter extensions: its manifests and its extension data shards. Each node's values are
+     * compiled inline under `extensions`, and the bundle's `extensions` section carries each extension the
+     * project takes. Absent or empty, with no extension taken, the bundle and its hashes are exactly what they
+     * were. What is wrong with the data is validate's to report (`extensionPass`); here an entry with an
+     * error is simply left out.
+     */
+    extensions?: {
+        manifests: readonly ExtensionManifestFile[];
+        shards: readonly ExtensionShardFile[];
+    };
 }
 /** Compile a project's source into the runtime bundle. */
 declare function exportBundle(input: ExportInput): Bundle;
@@ -116,4 +191,4 @@ declare function projectScopes(project: ProjectFile, merged?: MergedScopes): Pro
  */
 declare function externalGameScopes(strict: ScopeRegistrySpec | undefined, merged?: MergedScopes): ScopeSpec[];
 
-export { type ConditionIssue, type ExportInput, type HostScopeNote, PATTER_SCOPE, type ProjectScopes, type ValidateOptions, compileExpression, exportBundle, externalGameScopes, projectScopes, validateConditions, validateInterpolation };
+export { type CompiledExtensions, type ConditionIssue, type ExportInput, type ExtensionIssue, type ExtensionManifestFile, type ExtensionNode, type ExtensionPassInput, type ExtensionShardFile, type HostScopeNote, PATTER_SCOPE, type ProjectScopes, type ValidateOptions, compileExpression, exportBundle, extensionNodes, extensionPass, externalGameScopes, projectScopes, validateConditions, validateInterpolation };

package/dist/index.d.ts

@@ -1,6 +1,6 @@
 import { ScopeRegistrySpec, ScopeSpec } from '@wildwinter/scoperegistry';
 import { MergedScopes } from '@wildwinter/scoperegistry/scopes';
-import { Expression, ProjectFile, Scene, LocaleFile, Bundle, HostScopeRegistry } from '@patterkit/model';
+import { Expression, ProjectFile, Scene, LocaleFile, BundleExtension, NodeExtensions, ExtensionShard, GameData, Bundle, HostScopeRegistry } from '@patterkit/model';
 export { EXTERNAL_SCOPES, hostScopesToSpec } from '@patterkit/dialect';
 
 /**
@@ -62,6 +62,70 @@ declare function validateInterpolation(input: {
     locales?: LocaleFile[];
 }, options?: ValidateOptions): ConditionIssue[];
 
+/** One extension's manifest, as a project keeps it (`extensions/<id>.extension.json`). */
+interface ExtensionManifestFile {
+    /** Where it is, for the report. */
+    path: string;
+    /** The file's stem, which names the extension it should be. */
+    id: string;
+    /** The parsed JSON, unchecked: the pass says whether it is sound. */
+    manifest: unknown;
+}
+/** One extension data shard (`.patterextension`), with where it is. */
+interface ExtensionShardFile {
+    /** `<layout.extensions>/<extension id>/<scene file stem>.patterextension`: the folder names the extension. */
+    path: string;
+    shard: ExtensionShard;
+}
+/** What the pass reads: the project, its scenes, and its extension files. */
+interface ExtensionPassInput {
+    project: ProjectFile;
+    scenes: Scene[];
+    manifests: readonly ExtensionManifestFile[];
+    shards: readonly ExtensionShardFile[];
+    /** The project file's path, for the report (default `""`). */
+    projectPath?: string;
+    /** Each scene's file, by scene id, for the report. */
+    sceneFiles?: Readonly<Record<string, string>>;
+}
+/** One thing the pass found. `file` is the file to open; `node` the node id, when it is about one. */
+interface ExtensionIssue {
+    severity: "error" | "warning";
+    file: string;
+    node?: string;
+    /** The toolkit's stable name for the problem, when it is one of the toolkit's. */
+    code?: string;
+    message: string;
+}
+/** What the pass hands the bundle. */
+interface CompiledExtensions {
+    /** The bundle's `extensions` section, by extension id. Empty when the project takes none. */
+    readonly bundle: Record<string, BundleExtension>;
+    /** Each node's compiled values, by node id: what goes on the node as `extensions`. */
+    readonly nodes: ReadonlyMap<string, NodeExtensions>;
+}
+/** A node the project has: its kind, the scene it belongs to (none for the project's own), and its gameData. */
+interface ExtensionNode {
+    readonly kind: string;
+    readonly scene?: string;
+    readonly gameData?: GameData;
+}
+/**
+ * Every node an extension can attach to, by id (ids are project-unique): the project, each scene, block and
+ * snippet, a choice's options (the groups directly inside a `choice` group, as gameData's `option` is), and
+ * every beat by its kind, an option's prompt beat included. A bare snippet in a choice stays a snippet.
+ */
+declare function extensionNodes(project: ProjectFile, scenes: readonly Scene[]): Map<string, ExtensionNode>;
+/**
+ * Validate every extension, and compile what may be compiled. `issues` is the pass's report; `compiled` is
+ * what the bundle carries. Data whose manifest is missing or unsound is reported and left out of the bundle,
+ * never changed; an entry with an error is left out on its own.
+ */
+declare function extensionPass(input: ExtensionPassInput): {
+    issues: ExtensionIssue[];
+    compiled: CompiledExtensions;
+};
+
 interface ExportInput {
     project: ProjectFile;
     scenes: Scene[];
@@ -82,6 +146,17 @@ interface ExportInput {
      * does: named in `externalScopes`, never baked in.
      */
     gameScopes?: MergedScopes;
+    /**
+     * The project's Patter extensions: its manifests and its extension data shards. Each node's values are
+     * compiled inline under `extensions`, and the bundle's `extensions` section carries each extension the
+     * project takes. Absent or empty, with no extension taken, the bundle and its hashes are exactly what they
+     * were. What is wrong with the data is validate's to report (`extensionPass`); here an entry with an
+     * error is simply left out.
+     */
+    extensions?: {
+        manifests: readonly ExtensionManifestFile[];
+        shards: readonly ExtensionShardFile[];
+    };
 }
 /** Compile a project's source into the runtime bundle. */
 declare function exportBundle(input: ExportInput): Bundle;
@@ -116,4 +191,4 @@ declare function projectScopes(project: ProjectFile, merged?: MergedScopes): Pro
  */
 declare function externalGameScopes(strict: ScopeRegistrySpec | undefined, merged?: MergedScopes): ScopeSpec[];
 
-export { type ConditionIssue, type ExportInput, type HostScopeNote, PATTER_SCOPE, type ProjectScopes, type ValidateOptions, compileExpression, exportBundle, externalGameScopes, projectScopes, validateConditions, validateInterpolation };
+export { type CompiledExtensions, type ConditionIssue, type ExportInput, type ExtensionIssue, type ExtensionManifestFile, type ExtensionNode, type ExtensionPassInput, type ExtensionShardFile, type HostScopeNote, PATTER_SCOPE, type ProjectScopes, type ValidateOptions, compileExpression, exportBundle, extensionNodes, extensionPass, externalGameScopes, projectScopes, validateConditions, validateInterpolation };

package/dist/index.js

@@ -1,5 +1,5 @@
 // src/expressions.ts
-import { compile, parse, validateExpr } from "@wildwinter/expr";
+import { compile, parse, validateAssignment, validateExpr } from "@wildwinter/expr";
 import { dialectWithForeignScopes, buildSchema, extractSlots, splitRef, withEngineScopes, hostScopesToSpec as hostScopesToSpec2 } from "@patterkit/dialect";
 import { referenceNote } from "@wildwinter/scoperegistry/scopes";
 
@@ -19,14 +19,14 @@ function sameScope(a, b) {
   return norm(a) === norm(b);
 }
 function projectScopes(project, merged) {
-  const own = project.scopeRegistry;
-  if (!merged) return { host: own, external: [], notes: [] };
+  const own2 = project.scopeRegistry;
+  if (!merged) return { host: own2, external: [], notes: [] };
   const notes = [];
   const hosted = [];
   const bundled = /* @__PURE__ */ new Set();
   let changed = false;
   const shared = (token) => token === PATTER_SCOPE ? void 0 : merged.spec.scopes.find((s) => s.token === token);
-  for (const h of own?.scopes ?? []) {
+  for (const h of own2?.scopes ?? []) {
     const s = shared(h.token);
     const who = merged.owners.get(h.token);
     if (!s || !who) {
@@ -62,7 +62,7 @@ function projectScopes(project, merged) {
     changed = true;
   }
   const external = merged.spec.scopes.filter((s) => s.token !== PATTER_SCOPE && !bundled.has(s.token));
-  const host = !changed ? own : hosted.length ? { version: own?.version ?? 1, scopes: hosted } : void 0;
+  const host = !changed ? own2 : hosted.length ? { version: own2?.version ?? 1, scopes: hosted } : void 0;
   return { host, external, notes };
 }
 function externalGameScopes(strict, merged) {
@@ -120,7 +120,7 @@ function validateConditions(input, options = {}) {
   const validateElement = (blocks, sceneProps, onEntry, elementId) => {
     const schema = buildSchema(input.project, sceneProps, foreign);
     const checkedSchema = checked ? buildSchema(input.project, sceneProps, checked) : void 0;
-    const check = (nodeId, field, src) => {
+    const check = (nodeId, field, src, assignedTo) => {
       let ast;
       try {
         ast = parse(src, dialect);
@@ -128,7 +128,7 @@ function validateConditions(input, options = {}) {
         issues.push({ nodeId, field, src, severity: "error", message: e instanceof Error ? e.message : String(e) });
         return;
       }
-      const strict = validateExpr(ast, schema, dialect);
+      const strict = [...validateExpr(ast, schema, dialect), ...assignedTo ? validateAssignment(assignedTo, ast, schema, dialect) : []];
       for (const iss of strict) {
         issues.push({ nodeId, field, src, severity: iss.severity, message: iss.message });
       }
@@ -181,7 +181,7 @@ function validateConditions(input, options = {}) {
     const checkEffects = (nodeId, list, label) => {
       for (const e of list ?? []) {
         checkTarget(nodeId, `${label}.set`, e.target);
-        check(nodeId, `${label}.set`, e.value);
+        check(nodeId, `${label}.set`, e.value, TARGET_REF.test(e.target) ? splitRef(e.target, isScopeToken) : void 0);
       }
     };
     checkEffects(elementId, onEntry, "onEntry");
@@ -312,13 +312,290 @@ function readOnlyForeignTargets(spec) {
 import { hostScopesToSpec as hostScopesToSpec4, EXTERNAL_SCOPES as EXTERNAL_SCOPES2 } from "@patterkit/dialect";
 
 // src/export.ts
+import { defaultFor } from "@wildwinter/scoperegistry";
 import { canonicalStringify, hash32 } from "@patterkit/core";
 import { hostScopesToSpec as hostScopesToSpec3, withEngineScopes as withEngineScopes2, EXTERNAL_SCOPES } from "@patterkit/dialect";
 import { usedQualifiers, usedSpeakerPairs, DEFAULT_SPEAKER_PATTERN } from "@patterkit/model";
+
+// src/extensions.ts
+import { EXTENSIONS_DIR, MANIFEST_EXTENSION, PROJECT_LOCALE_SCENE } from "@patterkit/model";
+import {
+  HOSTS,
+  claimClashes,
+  compileEntry,
+  compiledTarget,
+  entryProblems,
+  manifestProblems,
+  orphanedEntries,
+  resolvedClaims,
+  targetOf,
+  valueProblems
+} from "@wildwinter/toolkit/extensions";
+function extensionNodes(project, scenes) {
+  const nodes = /* @__PURE__ */ new Map();
+  const add = (id, kind, scene, gameData) => {
+    if (!nodes.has(id)) nodes.set(id, { kind, ...scene !== void 0 ? { scene } : {}, ...gameData !== void 0 ? { gameData } : {} });
+  };
+  add(project.project.id, "project", void 0, void 0);
+  for (const scene of scenes) {
+    const s = scene.id;
+    add(s, "scene", s, scene.gameData);
+    const walk = (children, inChoice) => {
+      for (const node of children ?? []) {
+        if (node.type === "group") {
+          if (inChoice) {
+            add(node.id, "option", s, node.gameData);
+            if (node.prompt) add(node.prompt.id, node.prompt.kind, s, node.prompt.gameData);
+          }
+          walk(node.children ?? [], node.selector === "choice");
+          continue;
+        }
+        add(node.id, "snippet", s, node.gameData);
+        for (const beat of node.beats ?? []) add(beat.id, beat.kind, s, beat.gameData);
+      }
+    };
+    for (const block of scene.blocks ?? []) {
+      add(block.id, "block", s, block.gameData);
+      walk(block.children ?? [], false);
+    }
+  }
+  return nodes;
+}
+var issueOf = (file, p, prefix = "", node) => ({
+  severity: p.severity,
+  file,
+  code: p.code,
+  ...node !== void 0 ? { node } : {},
+  message: p.path === "" ? `${prefix}${p.message}` : `${prefix}${p.path}: ${p.message}`
+});
+var folderOf = (path) => {
+  const parts = path.split(/[\\/]/);
+  return parts.length >= 2 ? parts[parts.length - 2] : void 0;
+};
+var own = (o, k) => Object.prototype.hasOwnProperty.call(o, k);
+function extensionPass(input) {
+  const { project, scenes } = input;
+  const issues = [];
+  const projectPath = input.projectPath ?? "";
+  const taken = project.extensions ?? {};
+  const manifests = /* @__PURE__ */ new Map();
+  for (const m of input.manifests) {
+    const problems = manifestProblems(m.manifest);
+    for (const p of problems) issues.push(issueOf(m.path, p, "manifest "));
+    let sound2 = !problems.some((p) => p.severity === "error");
+    const id = m.manifest?.id;
+    if (sound2 && id !== m.id) {
+      issues.push({
+        severity: "error",
+        file: m.path,
+        message: `the manifest's id is "${String(id)}", but its file is named for "${m.id}"; a manifest is called <id>${MANIFEST_EXTENSION}`
+      });
+      sound2 = false;
+    }
+    if (sound2 && m.manifest.targets.patter === void 0) {
+      issues.push({
+        severity: "warning",
+        file: m.path,
+        message: `"${m.id}" isn't a Patter extension: its manifest targets no Patter node kind, so it adds nothing here`
+      });
+    }
+    manifests.set(m.id, { path: m.path, manifest: m.manifest, sound: sound2 });
+  }
+  const takenList = [];
+  for (const [id, entry] of Object.entries(taken)) {
+    const m = manifests.get(id);
+    const version = typeof entry?.version === "string" ? entry.version : "";
+    const settings = entry?.settings ?? {};
+    if (m === void 0) {
+      issues.push({
+        severity: "warning",
+        file: projectPath,
+        message: `the project takes the Patter extension "${id}", but has no manifest for it at ${EXTENSIONS_DIR}/${id}${MANIFEST_EXTENSION}; its data is left as it is, and not compiled`
+      });
+      takenList.push({ id, settings });
+      continue;
+    }
+    if (!m.sound) {
+      takenList.push({ id, settings });
+      continue;
+    }
+    const manifest = m.manifest;
+    if (version !== manifest.version) {
+      issues.push({
+        severity: "warning",
+        file: projectPath,
+        message: `the project takes "${id}" ${version === "" ? "with no version" : `at version ${version}`}, but its manifest is version ${manifest.version}; run \`patter format\` to take it (renamed stages are renamed in the data as it does)`
+      });
+    }
+    const known = new Set((manifest.settings ?? []).map((s) => s.name));
+    for (const [name, value] of Object.entries(settings)) {
+      if (!known.has(name)) {
+        issues.push({ severity: "warning", file: projectPath, message: `"${id}" has no setting "${name}"; it's ignored` });
+      } else if (typeof value !== "string" || !/^[A-Za-z_][A-Za-z0-9_]*$/.test(value)) {
+        issues.push({
+          severity: "error",
+          file: projectPath,
+          message: `"${id}"'s setting "${name}" names a gameData field, so it's a field name, not ${JSON.stringify(value)}`
+        });
+      }
+    }
+    takenList.push({ id, settings, manifest });
+  }
+  const sound = new Map(takenList.filter((t) => t.manifest !== void 0).map((t) => [t.id, t.manifest]));
+  const nodes = extensionNodes(project, scenes);
+  const claims = takenList.flatMap((t) => t.manifest ? resolvedClaims(t.manifest, "patter", t.settings) : []);
+  for (const p of claimClashes(claims)) issues.push({ severity: p.severity, file: projectPath, code: p.code, message: p.message });
+  issues.push(...claimIssues(input, nodes, claims));
+  const exists = (kind, id) => kind === "cast" ? (project.cast ?? []).some((c) => c.name === id) : nodes.get(id)?.kind === kind;
+  const sceneIds = new Set(scenes.map((s) => s.id));
+  const values = /* @__PURE__ */ new Map();
+  const projectValues = /* @__PURE__ */ new Map();
+  for (const { path, shard } of [...input.shards].sort((a, b) => a.path < b.path ? -1 : a.path > b.path ? 1 : 0)) {
+    const folder = folderOf(path);
+    if (folder !== void 0 && shard.extension !== folder) {
+      issues.push({
+        severity: "error",
+        file: path,
+        message: `this shard says it holds "${String(shard.extension)}", but it sits in the folder for "${folder}"`
+      });
+      continue;
+    }
+    const ext = shard.extension;
+    if (!own(taken, ext)) {
+      issues.push({
+        severity: "warning",
+        file: path,
+        message: `data for the Patter extension "${ext}", which the project doesn't take; it's left as it is, and not compiled`
+      });
+      continue;
+    }
+    const entries = shard.entries;
+    if (typeof entries !== "object" || entries === null || Array.isArray(entries)) {
+      issues.push({ severity: "error", file: path, message: "entries are an object, by node kind and then node id" });
+      continue;
+    }
+    const shardScene = shard.scene === PROJECT_LOCALE_SCENE ? void 0 : shard.scene;
+    const sceneKnown = shardScene === void 0 || sceneIds.has(shardScene);
+    if (!sceneKnown) {
+      issues.push({
+        severity: "warning",
+        file: path,
+        message: `this shard is for scene "${shard.scene}", which the project doesn't have; its entries are compiled where their nodes are`
+      });
+    }
+    for (const p of orphanedEntries(shard, exists)) issues.push(issueOf(path, p));
+    const manifest = sound.get(ext);
+    if (manifest === void 0) continue;
+    for (const [kind, byNode] of Object.entries(entries)) {
+      if (!HOSTS.patter.kinds.includes(kind)) {
+        issues.push({
+          severity: "warning",
+          file: path,
+          message: `entries.${kind}: "${kind}" isn't a Patter node kind; these entries are kept, and not compiled`
+        });
+        continue;
+      }
+      const target = targetOf(manifest, "patter", kind);
+      if (target === void 0) {
+        issues.push({
+          severity: "warning",
+          file: path,
+          message: `entries.${kind}: "${ext}" declares nothing for a ${kind}; these entries are kept, and not compiled`
+        });
+        continue;
+      }
+      if (typeof byNode !== "object" || byNode === null || Array.isArray(byNode)) continue;
+      for (const [id, entry] of Object.entries(byNode)) {
+        const node = nodes.get(id);
+        if (node === void 0 || node.kind !== kind) continue;
+        if (sceneKnown && node.scene !== shardScene) {
+          issues.push({
+            severity: "warning",
+            file: path,
+            node: id,
+            message: `entries.${kind}.${id} belongs ${node.scene === void 0 ? "in the project's own shard" : `in scene "${node.scene}"'s shard`}; it's compiled from here all the same`
+          });
+        }
+        const problems = entryProblems(target, entry, { exists });
+        for (const p of problems) issues.push(issueOf(path, p, `entries.${kind}.${id}${p.path === "" ? ": " : "."}`, id));
+        if (problems.some((p) => p.severity === "error")) continue;
+        const compiled = compileEntry(target, entry);
+        if (compiled === void 0) continue;
+        if (kind === "project") {
+          projectValues.set(ext, compiled);
+          continue;
+        }
+        values.set(id, { ...values.get(id) ?? {}, [ext]: compiled });
+      }
+    }
+  }
+  const bundle = {};
+  for (const [id, manifest] of [...sound.entries()].sort(([a], [b]) => a < b ? -1 : a > b ? 1 : 0)) {
+    const fields = {};
+    for (const kind of Object.keys(manifest.targets.patter ?? {}).sort()) {
+      const target = targetOf(manifest, "patter", kind);
+      if (target !== void 0) fields[kind] = compiledTarget(target);
+    }
+    const projectEntry = projectValues.get(id);
+    bundle[id] = { version: manifest.version, fields, ...projectEntry !== void 0 ? { project: projectEntry } : {} };
+  }
+  const sortedNodes = new Map([...values.entries()].map(([id, v]) => [id, sortRecord(v)]));
+  return { issues, compiled: { bundle, nodes: sortedNodes } };
+}
+function sortRecord(r) {
+  return Object.fromEntries(Object.keys(r).sort().map((k) => [k, r[k]]));
+}
+function claimIssues(input, nodes, claims) {
+  const issues = [];
+  const projectPath = input.projectPath ?? "";
+  const declared = input.project.gameDataFields ?? {};
+  for (const claim of claims) {
+    const decl = (declared[claim.kind] ?? []).find((d) => d.name === claim.field);
+    if (decl === void 0) {
+      issues.push({
+        severity: "warning",
+        file: projectPath,
+        message: `the Patter extension "${claim.extension}" claims the ${claim.kind} gameData field "${claim.field}", which the project doesn't declare`
+      });
+      continue;
+    }
+    if (decl.type !== claim.claim.type) {
+      issues.push({
+        severity: "error",
+        file: projectPath,
+        message: `the Patter extension "${claim.extension}" claims the ${claim.kind} gameData field "${claim.field}" as ${claim.claim.type}, but the project declares it as ${decl.type}`
+      });
+      continue;
+    }
+    for (const [id, node] of nodes) {
+      if (node.kind !== claim.kind || node.gameData === void 0 || !own(node.gameData, claim.field)) continue;
+      const file = (node.scene !== void 0 ? input.sceneFiles?.[node.scene] : void 0) ?? projectPath;
+      for (const p of valueProblems(claim.claim, node.gameData[claim.field])) {
+        issues.push({
+          severity: p.severity,
+          file,
+          node: id,
+          code: p.code,
+          message: `${claim.kind} '${id}' gameData "${claim.field}", as the Patter extension "${claim.extension}" claims it: ${p.message}`
+        });
+      }
+    }
+  }
+  return issues;
+}
+
+// src/export.ts
+function compileBeat(beat, ctx) {
+  const values = ctx.extensions.get(beat.id);
+  if (values === void 0 && !Object.prototype.hasOwnProperty.call(beat, "extensions")) return beat;
+  const { extensions: _source, ...rest } = beat;
+  return values !== void 0 ? { ...rest, extensions: values } : rest;
+}
 function compileEffect(e, foreign) {
   return { kind: "set", target: e.target, value: compileExpression(e.value, foreign) };
 }
-function compileNode(node, foreign) {
+function compileNode(node, ctx) {
+  const { foreign } = ctx;
   if (node.type === "group") {
     return {
       id: node.id,
@@ -327,13 +604,15 @@ function compileNode(node, foreign) {
       selector: node.selector,
       shared: node.shared,
       options: node.options,
-      children: node.children.map((c) => compileNode(c, foreign)),
+      children: node.children.map((c) => compileNode(c, ctx)),
       padAfterDefault: node.padAfterDefault,
       // line padding: the default for the beats inside
       gameData: node.gameData,
+      extensions: ctx.extensions.get(node.id),
+      // a choice's option's extension values
       tags: node.tags,
       // author tags (#215), accumulated at runtime
-      prompt: node.prompt,
+      prompt: node.prompt && compileBeat(node.prompt, ctx),
       // option-position only (spec §5)
       secretUntilEligible: node.secretUntilEligible,
       sticky: node.sticky,
@@ -344,12 +623,13 @@ function compileNode(node, foreign) {
     id: node.id,
     type: "snippet",
     condition: node.condition !== void 0 ? compileExpression(node.condition, foreign) : void 0,
-    beats: node.beats,
+    beats: node.beats && node.beats.map((b) => compileBeat(b, ctx)),
     onEnter: node.onEnter?.map((e) => compileEffect(e, foreign)),
     onExit: node.onExit?.map((e) => compileEffect(e, foreign)),
     padAfterDefault: node.padAfterDefault,
     // line padding: the default for the beats inside
     gameData: node.gameData,
+    extensions: ctx.extensions.get(node.id),
     tags: node.tags,
     // author tags (#215)
     jump: node.jump,
@@ -358,22 +638,24 @@ function compileNode(node, foreign) {
     fallback: node.fallback
   };
 }
-function compileBlock(block, foreign) {
+function compileBlock(block, ctx) {
   return {
     id: block.id,
     type: "block",
     name: block.name,
     ...block.gameId ? { gameId: block.gameId } : {},
     // host-facing address; runtime falls back to the name slug
-    children: block.children.map((c) => compileNode(c, foreign)),
+    children: block.children.map((c) => compileNode(c, ctx)),
     padAfterDefault: block.padAfterDefault,
     // line padding: the default for the beats inside
     gameData: block.gameData,
+    extensions: ctx.extensions.get(block.id),
     tags: block.tags
     // author tags (#215)
   };
 }
-function compileScene(scene, foreign) {
+function compileScene(scene, ctx) {
+  const { foreign } = ctx;
   return {
     id: scene.id,
     type: "scene",
@@ -383,11 +665,12 @@ function compileScene(scene, foreign) {
     padAfterDefault: scene.padAfterDefault,
     // line padding: the default for the beats inside
     gameData: scene.gameData,
+    extensions: ctx.extensions.get(scene.id),
     tags: scene.tags,
     // author tags (#215)
     onEntry: scene.onEntry?.map((e) => compileEffect(e, foreign)),
     sceneProps: scene.sceneProps,
-    blocks: scene.blocks.map((b) => compileBlock(b, foreign))
+    blocks: scene.blocks.map((b) => compileBlock(b, ctx))
   };
 }
 function externalScopesIn(scenes, external) {
@@ -409,6 +692,9 @@ function externalScopesIn(scenes, external) {
   walk(scenes);
   return [...found].sort();
 }
+function resolved(decls) {
+  return decls?.map((d) => d.default === void 0 ? { ...d, default: defaultFor(d) } : d);
+}
 function exportBundle(input) {
   const { project, scenes, locales = [], includeLocales } = input;
   const hostScopes = projectScopes(project, input.gameScopes).host;
@@ -418,8 +704,12 @@ function exportBundle(input) {
     version: foreignScopes?.version ?? 1,
     scopes: [...foreignScopes?.scopes ?? [], ...gameExternal.map((s) => ({ token: s.token }))]
   });
+  const ext = input.extensions;
+  const compiledExt = project.extensions !== void 0 || ext !== void 0 && (ext.manifests.length > 0 || ext.shards.length > 0) ? extensionPass({ project, scenes, manifests: ext?.manifests ?? [], shards: ext?.shards ?? [] }).compiled : void 0;
+  const extensionSection = compiledExt !== void 0 && Object.keys(compiledExt.bundle).length > 0 ? compiledExt.bundle : void 0;
+  const ctx = { foreign: compileScopes, extensions: compiledExt?.nodes ?? /* @__PURE__ */ new Map() };
   const scenesOut = {};
-  for (const scene of scenes) scenesOut[scene.id] = compileScene(scene, compileScopes);
+  for (const scene of scenes) scenesOut[scene.id] = compileScene(scene, ctx);
   const externalScopes = externalScopesIn(scenesOut, /* @__PURE__ */ new Set([...EXTERNAL_SCOPES, ...gameExternal.map((s) => s.token)]));
   const qualifiers = usedQualifiers(project, scenes).map((q) => ({ gameId: q.gameId, name: q.name }));
   const usedPairs = new Set(usedSpeakerPairs(scenes).map((p) => `${p.character}\0${p.qualifier}`));
@@ -450,7 +740,9 @@ function exportBundle(input) {
         properties: project.properties ?? [],
         ...foreignScopes ? { scopeRegistry: foreignScopes } : {},
         ...qualifiers.length > 0 ? { qualifiers } : {},
-        ...typeof project.padAfterDefault === "number" ? { padAfterDefault: project.padAfterDefault } : {}
+        ...typeof project.padAfterDefault === "number" ? { padAfterDefault: project.padAfterDefault } : {},
+        // Each node's values are in `scenes`; the declarations and the project's own values are here.
+        ...extensionSection !== void 0 ? { extensions: extensionSection } : {}
       }, { trailingComma: false })),
       // Structure-only fingerprint (live bundle refresh): the same hash with the string tables left
       // out. Same structureHash + a different hash = a text-only edit, safe to swap in place with
@@ -461,7 +753,8 @@ function exportBundle(input) {
         properties: project.properties ?? [],
         ...foreignScopes ? { scopeRegistry: foreignScopes } : {},
         ...qualifiers.length > 0 ? { qualifiers } : {},
-        ...typeof project.padAfterDefault === "number" ? { padAfterDefault: project.padAfterDefault } : {}
+        ...typeof project.padAfterDefault === "number" ? { padAfterDefault: project.padAfterDefault } : {},
+        ...extensionSection !== void 0 ? { extensions: extensionSection } : {}
       }, { trailingComma: false }))
     },
     voiced: project.voiced ?? false,
@@ -483,13 +776,20 @@ function exportBundle(input) {
     ...speakerPattern !== void 0 ? { speakerPattern } : {},
     // The project's own line-padding default, only when it sets one: absent, every runtime uses the built-in one.
     ...typeof project.padAfterDefault === "number" ? { padAfterDefault: project.padAfterDefault } : {},
-    properties: project.properties,
+    properties: resolved(project.properties),
+    // A host scope's declarations ship as written: there, "no default" is the game's to supply, and saying
+    // so is what an integrator reads the bundle for.
     scopeRegistry: hostScopes,
-    gameDataFields: project.gameDataFields,
+    gameDataFields: project.gameDataFields && Object.fromEntries(
+      Object.entries(project.gameDataFields).map(([kind, fields]) => [kind, resolved(fields)])
+    ),
+    // The extensions the project takes: each one's version, its compiled declarations by node kind (every
+    // default resolved, editor-only fields and the editor's words left out) and the project node's values.
+    ...extensionSection !== void 0 ? { extensions: extensionSection } : {},
     // Closed-caption delimiters ride along only when the project pins a non-default pair (#214); the
     // runtime falls back to `[` / `]` when absent, so default projects keep their exact prior bundle.
     ...project.closedCaptions ? { closedCaptions: project.closedCaptions } : {},
-    scenes: scenesOut,
+    scenes: Object.fromEntries(Object.entries(scenesOut).map(([id, sc]) => [id, sc.sceneProps ? { ...sc, sceneProps: resolved(sc.sceneProps) } : sc])),
     strings,
     // Other engines' scopes the content names, so the engine can say when the game has not registered one.
     ...externalScopes.length > 0 ? { externalScopes } : {}
@@ -500,6 +800,8 @@ export {
   PATTER_SCOPE,
   compileExpression,
   exportBundle,
+  extensionNodes,
+  extensionPass,
   externalGameScopes,
   hostScopesToSpec4 as hostScopesToSpec,
   projectScopes,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@patterkit/compiler",
-  "version": "0.7.1",
+  "version": "0.9.0",
   "description": "Patter compiler: compile condition/effect expressions, validate them, and export source to the runtime bundle.",
   "type": "module",
   "license": "MIT",
@@ -34,15 +34,16 @@
     "build": "tsup src/index.ts --format esm,cjs --dts --clean"
   },
   "dependencies": {
-    "@patterkit/model": "0.14.0",
-    "@patterkit/core": "0.7.1",
-    "@patterkit/dialect": "0.2.11",
-    "@wildwinter/expr": "^0.5.0"
+    "@patterkit/model": "0.16.0",
+    "@patterkit/core": "0.9.0",
+    "@patterkit/dialect": "0.2.13",
+    "@wildwinter/expr": "^0.6.0",
+    "@wildwinter/toolkit": "^0.2.0"
   },
   "peerDependencies": {
-    "@wildwinter/scoperegistry": ">=0.8.0 <1.0.0"
+    "@wildwinter/scoperegistry": ">=0.9.0 <1.0.0"
   },
   "devDependencies": {
-    "@wildwinter/scoperegistry": ">=0.8.0 <1.0.0"
+    "@wildwinter/scoperegistry": ">=0.9.0 <1.0.0"
   }
 }