@wildwinter/toolkit 0.2.4 → 0.2.6

package/dist/extensions.d.cts

@@ -18,7 +18,7 @@ declare const HOSTS: Readonly<Record<HostName, HostSpec>>;
 declare const SCALAR_TYPES: readonly ["text", "multiline", "number", "boolean", "enum", "flags", "quality"];
 type ScalarType = typeof SCALAR_TYPES[number];
 /** Every type a value can take. */
-declare const VALUE_TYPES: readonly ["text", "multiline", "number", "boolean", "enum", "flags", "quality", "reference", "record", "map", "list"];
+declare const VALUE_TYPES: readonly ["text", "multiline", "number", "boolean", "enum", "flags", "quality", "reference", "pick", "record", "map", "list"];
 type ValueType = typeof VALUE_TYPES[number];
 /** A JSON value, as extension data holds it. */
 type JsonValue = null | boolean | number | string | JsonValue[] | {
@@ -39,6 +39,8 @@ interface TypeDecl {
     readonly renamedStages?: Readonly<Record<string, string>>;
     /** A reference's node kind. */
     readonly to?: string;
+    /** A pick's sources, in the order its choices are shown. */
+    readonly from?: readonly PickSource[];
     /** A record's fields. */
     readonly fields?: readonly FieldDecl[];
     /** A map's key. */
@@ -58,6 +60,17 @@ interface TypeDecl {
     /** Optional in source: the type's own default when absent (`defaultOf`). */
     readonly default?: unknown;
 }
+/**
+ * Where a pick's choices come from: fixed words, the nodes of a reference kind (by id, as a reference holds
+ * them), or a list of text on the extension's own project node, by that field's name.
+ */
+type PickSource = {
+    readonly words: readonly string[];
+} | {
+    readonly to: string;
+} | {
+    readonly list: string;
+};
 /** A named field: a target's, or a record's. */
 interface FieldDecl extends TypeDecl {
     readonly name: string;
@@ -98,6 +111,23 @@ interface Manifest {
     readonly docs?: string;
     readonly settings?: readonly SettingDecl[];
     readonly targets: Readonly<Partial<Record<HostName, Readonly<Record<string, TargetDecl>>>>>;
+    /** Views the extension's installed package supplies (tier 2), each a web component a host opens in a window. */
+    readonly views?: readonly ViewDecl[];
+    /** Other extensions whose data this one's views read, by id. */
+    readonly reads?: readonly string[];
+}
+/** A view: a web component in the extension's installed package, opened by a host in a floating window. */
+interface ViewDecl {
+    /** Lower case, digits and hyphens, unique within the manifest. */
+    readonly id: string;
+    /** The window's title and the menu item. */
+    readonly name: string;
+    /** The component's script, a relative path within the package, such as `view/sheet.js`. */
+    readonly entry: string;
+    /** The custom element the script defines, such as `pattershot-sheet`. */
+    readonly element: string;
+    /** The hosts that offer it; every host the manifest targets when absent. */
+    readonly hosts?: readonly HostName[];
 }
 /** One thing wrong, with where it is. A host words it in its own report shape. */
 interface Problem {
@@ -132,6 +162,11 @@ interface UnresolvedEntry {
 declare function parseManifest(text: string): Manifest;
 /** Every problem with a manifest, by path. An empty list means it is sound. */
 declare function manifestProblems(manifest: unknown): Problem[];
+/** A package path a view's entry may name: relative, forward slashes, no `.` or `..` segment, a `.js` file. */
+declare function isViewEntry(entry: unknown): entry is string;
+/** The views a host offers from a manifest: those naming the host, or every view when it names none and the
+ *  manifest targets the host. A view that fails its checks is left out. */
+declare function viewsFor(manifest: Manifest, host: HostName): ViewDecl[];
 /** The host field each of a manifest's settings names, the project's choice
  *  first, else the setting's default. */
 declare function settingValues(manifest: Manifest, chosen?: Readonly<Record<string, unknown>>): Record<string, string>;
@@ -162,16 +197,54 @@ declare function effectiveClaim<C extends ClaimDecl>(claim: C, hostDecl: {
     readonly default?: unknown;
 }): C;
 
-/** What the host knows about its nodes, for references. */
+/** What the host knows about its nodes, for references, and about the extension's project lists, for picks. */
 interface ValueContext {
     /** Does a node of `kind` with `id` exist? Absent, references are not checked
      *  (a host checking a manifest's default, say, has no nodes to hand). */
     readonly exists?: (kind: string, id: string) => boolean;
+    /** The entries of a list of text on the extension's own project node, by field name (`pickLists`), for a
+     *  pick's `list` source. Absent, list sources are not checked. */
+    readonly list?: (name: string) => readonly string[] | undefined;
 }
 /** Every problem with `value` as a value of `decl`, paths relative to the value. */
 declare function valueProblems(decl: TypeDecl, value: unknown, ctx?: ValueContext, path?: string): Problem[];
 /** Every problem with one node's entry, against its target. */
 declare function entryProblems(target: TargetDecl, entry: unknown, ctx?: ValueContext, path?: string): Problem[];
+/** What a host offers a pick: the nodes of a reference kind, and the extension's project lists. */
+interface PickSources {
+    /** The nodes of `kind`, by id, with the name the author knows each by (the id when absent). */
+    readonly nodes?: (kind: string) => readonly {
+        readonly id: string;
+        readonly label?: string;
+    }[];
+    /** As `ValueContext.list`. */
+    readonly list?: (name: string) => readonly string[] | undefined;
+}
+/** One choice of a pick: the text a value holds, the name it is shown by, and where it comes from. */
+interface PickChoice {
+    readonly value: string;
+    readonly label: string;
+    readonly source: PickSource;
+}
+/**
+ * Every choice a pick offers, source by source in its declared order, each source's own in its order. A name
+ * in two sources appears under each (`pickClashes` reports it); an empty entry is left out, as empty means
+ * automatic.
+ */
+declare function pickChoices(decl: TypeDecl, src: PickSources): PickChoice[];
+/**
+ * A pick's names that more than one of its sources holds (a character and a point of interest both called
+ * Gate): a warning each, once, for the project; each value naming one has its own from `valueProblems`.
+ */
+declare function pickClashes(decl: TypeDecl, src: PickSources, path?: string): Problem[];
+/**
+ * The lists of text a pick's `list` sources name, read off the extension's project entry: each a list field of
+ * the extension's `project` target holding text, the entry's own value else the field's default. Undefined for a
+ * name that is no such field.
+ */
+declare function pickLists(projectTarget: TargetDecl | undefined, projectEntry: Readonly<Record<string, unknown>> | undefined): (name: string) => readonly string[] | undefined;
+/** A list without ids holding text: what a pick's `list` source names. */
+declare function isTextList(decl: TypeDecl): boolean;
 /**
  * A declaration's default: the one it gives, else its type's. A scalar's is
  * the kernel's (`defaultFor`: false, 0, "", the first enum value, no flags,
@@ -345,4 +418,4 @@ declare const atKey: (base: string, key: string) => string;
 /** `base` and then list position `i`. */
 declare const atIndex: (base: string, i: number) => string;
 
-export { ATOMIC, COMMENTS, type ClaimDecl, type Conflict, type ConflictKind, type DataMergeResult, type ExtensionData, type FieldDecl, HOSTS, type HostName, type HostSpec, type JsonValue, MANIFEST_FILE_SUFFIX, MANIFEST_SCHEMA, type Manifest, type MergeWarning, type Problem, type ResolvedClaim, SCALAR_TYPES, SET, type ScalarType, type SettingDecl, type StageRename, type Strategy, type TargetDecl, type TreeMergeOptions, type TreeMergeResult, type TypeDecl, UNRESOLVED_KEY, type UnresolvedEntry, VALUE_TYPES, type ValueContext, type ValueType, atIndex, atKey, claimClashes, compileEntry, compiledTarget, defaultOf, effectiveClaim, entryProblems, extensionDataStrategy, keyedBy, manifestProblems, mapOf, markUnresolved, mergeComments, mergeExtensionData, mergeTree, objectOf, orphanedEntries, parseManifest, renameStages, resolvedClaims, settingValues, stableStringify, strategyForTarget, strategyForType, targetOf, unresolvedOf, unresolvedProblems, valueProblems, withoutMark };
+export { ATOMIC, COMMENTS, type ClaimDecl, type Conflict, type ConflictKind, type DataMergeResult, type ExtensionData, type FieldDecl, HOSTS, type HostName, type HostSpec, type JsonValue, MANIFEST_FILE_SUFFIX, MANIFEST_SCHEMA, type Manifest, type MergeWarning, type PickChoice, type PickSource, type PickSources, type Problem, type ResolvedClaim, SCALAR_TYPES, SET, type ScalarType, type SettingDecl, type StageRename, type Strategy, type TargetDecl, type TreeMergeOptions, type TreeMergeResult, type TypeDecl, UNRESOLVED_KEY, type UnresolvedEntry, VALUE_TYPES, type ValueContext, type ValueType, type ViewDecl, atIndex, atKey, claimClashes, compileEntry, compiledTarget, defaultOf, effectiveClaim, entryProblems, extensionDataStrategy, isTextList, isViewEntry, keyedBy, manifestProblems, mapOf, markUnresolved, mergeComments, mergeExtensionData, mergeTree, objectOf, orphanedEntries, parseManifest, pickChoices, pickClashes, pickLists, renameStages, resolvedClaims, settingValues, stableStringify, strategyForTarget, strategyForType, targetOf, unresolvedOf, unresolvedProblems, valueProblems, viewsFor, withoutMark };

package/dist/extensions.d.ts

@@ -18,7 +18,7 @@ declare const HOSTS: Readonly<Record<HostName, HostSpec>>;
 declare const SCALAR_TYPES: readonly ["text", "multiline", "number", "boolean", "enum", "flags", "quality"];
 type ScalarType = typeof SCALAR_TYPES[number];
 /** Every type a value can take. */
-declare const VALUE_TYPES: readonly ["text", "multiline", "number", "boolean", "enum", "flags", "quality", "reference", "record", "map", "list"];
+declare const VALUE_TYPES: readonly ["text", "multiline", "number", "boolean", "enum", "flags", "quality", "reference", "pick", "record", "map", "list"];
 type ValueType = typeof VALUE_TYPES[number];
 /** A JSON value, as extension data holds it. */
 type JsonValue = null | boolean | number | string | JsonValue[] | {
@@ -39,6 +39,8 @@ interface TypeDecl {
     readonly renamedStages?: Readonly<Record<string, string>>;
     /** A reference's node kind. */
     readonly to?: string;
+    /** A pick's sources, in the order its choices are shown. */
+    readonly from?: readonly PickSource[];
     /** A record's fields. */
     readonly fields?: readonly FieldDecl[];
     /** A map's key. */
@@ -58,6 +60,17 @@ interface TypeDecl {
     /** Optional in source: the type's own default when absent (`defaultOf`). */
     readonly default?: unknown;
 }
+/**
+ * Where a pick's choices come from: fixed words, the nodes of a reference kind (by id, as a reference holds
+ * them), or a list of text on the extension's own project node, by that field's name.
+ */
+type PickSource = {
+    readonly words: readonly string[];
+} | {
+    readonly to: string;
+} | {
+    readonly list: string;
+};
 /** A named field: a target's, or a record's. */
 interface FieldDecl extends TypeDecl {
     readonly name: string;
@@ -98,6 +111,23 @@ interface Manifest {
     readonly docs?: string;
     readonly settings?: readonly SettingDecl[];
     readonly targets: Readonly<Partial<Record<HostName, Readonly<Record<string, TargetDecl>>>>>;
+    /** Views the extension's installed package supplies (tier 2), each a web component a host opens in a window. */
+    readonly views?: readonly ViewDecl[];
+    /** Other extensions whose data this one's views read, by id. */
+    readonly reads?: readonly string[];
+}
+/** A view: a web component in the extension's installed package, opened by a host in a floating window. */
+interface ViewDecl {
+    /** Lower case, digits and hyphens, unique within the manifest. */
+    readonly id: string;
+    /** The window's title and the menu item. */
+    readonly name: string;
+    /** The component's script, a relative path within the package, such as `view/sheet.js`. */
+    readonly entry: string;
+    /** The custom element the script defines, such as `pattershot-sheet`. */
+    readonly element: string;
+    /** The hosts that offer it; every host the manifest targets when absent. */
+    readonly hosts?: readonly HostName[];
 }
 /** One thing wrong, with where it is. A host words it in its own report shape. */
 interface Problem {
@@ -132,6 +162,11 @@ interface UnresolvedEntry {
 declare function parseManifest(text: string): Manifest;
 /** Every problem with a manifest, by path. An empty list means it is sound. */
 declare function manifestProblems(manifest: unknown): Problem[];
+/** A package path a view's entry may name: relative, forward slashes, no `.` or `..` segment, a `.js` file. */
+declare function isViewEntry(entry: unknown): entry is string;
+/** The views a host offers from a manifest: those naming the host, or every view when it names none and the
+ *  manifest targets the host. A view that fails its checks is left out. */
+declare function viewsFor(manifest: Manifest, host: HostName): ViewDecl[];
 /** The host field each of a manifest's settings names, the project's choice
  *  first, else the setting's default. */
 declare function settingValues(manifest: Manifest, chosen?: Readonly<Record<string, unknown>>): Record<string, string>;
@@ -162,16 +197,54 @@ declare function effectiveClaim<C extends ClaimDecl>(claim: C, hostDecl: {
     readonly default?: unknown;
 }): C;
 
-/** What the host knows about its nodes, for references. */
+/** What the host knows about its nodes, for references, and about the extension's project lists, for picks. */
 interface ValueContext {
     /** Does a node of `kind` with `id` exist? Absent, references are not checked
      *  (a host checking a manifest's default, say, has no nodes to hand). */
     readonly exists?: (kind: string, id: string) => boolean;
+    /** The entries of a list of text on the extension's own project node, by field name (`pickLists`), for a
+     *  pick's `list` source. Absent, list sources are not checked. */
+    readonly list?: (name: string) => readonly string[] | undefined;
 }
 /** Every problem with `value` as a value of `decl`, paths relative to the value. */
 declare function valueProblems(decl: TypeDecl, value: unknown, ctx?: ValueContext, path?: string): Problem[];
 /** Every problem with one node's entry, against its target. */
 declare function entryProblems(target: TargetDecl, entry: unknown, ctx?: ValueContext, path?: string): Problem[];
+/** What a host offers a pick: the nodes of a reference kind, and the extension's project lists. */
+interface PickSources {
+    /** The nodes of `kind`, by id, with the name the author knows each by (the id when absent). */
+    readonly nodes?: (kind: string) => readonly {
+        readonly id: string;
+        readonly label?: string;
+    }[];
+    /** As `ValueContext.list`. */
+    readonly list?: (name: string) => readonly string[] | undefined;
+}
+/** One choice of a pick: the text a value holds, the name it is shown by, and where it comes from. */
+interface PickChoice {
+    readonly value: string;
+    readonly label: string;
+    readonly source: PickSource;
+}
+/**
+ * Every choice a pick offers, source by source in its declared order, each source's own in its order. A name
+ * in two sources appears under each (`pickClashes` reports it); an empty entry is left out, as empty means
+ * automatic.
+ */
+declare function pickChoices(decl: TypeDecl, src: PickSources): PickChoice[];
+/**
+ * A pick's names that more than one of its sources holds (a character and a point of interest both called
+ * Gate): a warning each, once, for the project; each value naming one has its own from `valueProblems`.
+ */
+declare function pickClashes(decl: TypeDecl, src: PickSources, path?: string): Problem[];
+/**
+ * The lists of text a pick's `list` sources name, read off the extension's project entry: each a list field of
+ * the extension's `project` target holding text, the entry's own value else the field's default. Undefined for a
+ * name that is no such field.
+ */
+declare function pickLists(projectTarget: TargetDecl | undefined, projectEntry: Readonly<Record<string, unknown>> | undefined): (name: string) => readonly string[] | undefined;
+/** A list without ids holding text: what a pick's `list` source names. */
+declare function isTextList(decl: TypeDecl): boolean;
 /**
  * A declaration's default: the one it gives, else its type's. A scalar's is
  * the kernel's (`defaultFor`: false, 0, "", the first enum value, no flags,
@@ -345,4 +418,4 @@ declare const atKey: (base: string, key: string) => string;
 /** `base` and then list position `i`. */
 declare const atIndex: (base: string, i: number) => string;
 
-export { ATOMIC, COMMENTS, type ClaimDecl, type Conflict, type ConflictKind, type DataMergeResult, type ExtensionData, type FieldDecl, HOSTS, type HostName, type HostSpec, type JsonValue, MANIFEST_FILE_SUFFIX, MANIFEST_SCHEMA, type Manifest, type MergeWarning, type Problem, type ResolvedClaim, SCALAR_TYPES, SET, type ScalarType, type SettingDecl, type StageRename, type Strategy, type TargetDecl, type TreeMergeOptions, type TreeMergeResult, type TypeDecl, UNRESOLVED_KEY, type UnresolvedEntry, VALUE_TYPES, type ValueContext, type ValueType, atIndex, atKey, claimClashes, compileEntry, compiledTarget, defaultOf, effectiveClaim, entryProblems, extensionDataStrategy, keyedBy, manifestProblems, mapOf, markUnresolved, mergeComments, mergeExtensionData, mergeTree, objectOf, orphanedEntries, parseManifest, renameStages, resolvedClaims, settingValues, stableStringify, strategyForTarget, strategyForType, targetOf, unresolvedOf, unresolvedProblems, valueProblems, withoutMark };
+export { ATOMIC, COMMENTS, type ClaimDecl, type Conflict, type ConflictKind, type DataMergeResult, type ExtensionData, type FieldDecl, HOSTS, type HostName, type HostSpec, type JsonValue, MANIFEST_FILE_SUFFIX, MANIFEST_SCHEMA, type Manifest, type MergeWarning, type PickChoice, type PickSource, type PickSources, type Problem, type ResolvedClaim, SCALAR_TYPES, SET, type ScalarType, type SettingDecl, type StageRename, type Strategy, type TargetDecl, type TreeMergeOptions, type TreeMergeResult, type TypeDecl, UNRESOLVED_KEY, type UnresolvedEntry, VALUE_TYPES, type ValueContext, type ValueType, type ViewDecl, atIndex, atKey, claimClashes, compileEntry, compiledTarget, defaultOf, effectiveClaim, entryProblems, extensionDataStrategy, isTextList, isViewEntry, keyedBy, manifestProblems, mapOf, markUnresolved, mergeComments, mergeExtensionData, mergeTree, objectOf, orphanedEntries, parseManifest, pickChoices, pickClashes, pickLists, renameStages, resolvedClaims, settingValues, stableStringify, strategyForTarget, strategyForType, targetOf, unresolvedOf, unresolvedProblems, valueProblems, viewsFor, withoutMark };

package/dist/extensions.js

@@ -18,7 +18,7 @@ var HOSTS = {
   }
 };
 var SCALAR_TYPES = ["text", "multiline", "number", "boolean", "enum", "flags", "quality"];
-var VALUE_TYPES = [...SCALAR_TYPES, "reference", "record", "map", "list"];
+var VALUE_TYPES = [...SCALAR_TYPES, "reference", "pick", "record", "map", "list"];
 
 // src/extensions/path.ts
 var IDENTIFIER = /^[A-Za-z_$][A-Za-z0-9_$]*$/;
@@ -102,6 +102,26 @@ function valueProblems(decl, value, ctx = {}, path = "") {
         out.push(err("no-such-node", path, `${where(path)} names ${decl.to} "${value}", which does not exist`));
       }
       break;
+    case "pick": {
+      if (typeof value !== "string") {
+        wrong("one of its choices, as text");
+        break;
+      }
+      if (value === "") break;
+      const sources = decl.from ?? [];
+      const holding = sources.filter((s) => sourceHolds(s, value, ctx) === true);
+      if (holding.length > 1) {
+        out.push({
+          severity: "warning",
+          code: "pick-ambiguous",
+          path,
+          message: `${where(path)} is "${value}", which is ${holding.map(sourceWord).join(" and ")}`
+        });
+      } else if (holding.length === 0 && sources.every((s) => sourceHolds(s, value, ctx) !== void 0)) {
+        out.push(err("not-a-choice", path, `${where(path)} is "${value}", which is not one of its choices`));
+      }
+      break;
+    }
     case "record":
       if (!isObject(value)) {
         wrong("an object");
@@ -181,11 +201,69 @@ function entryProblems(target, entry, ctx = {}, path = "") {
   }
   return fieldsProblems(target.fields ?? [], entry, ctx, path);
 }
+function sourceHolds(source, value, ctx) {
+  if ("words" in source) return Array.isArray(source.words) && source.words.includes(value);
+  if ("to" in source) return ctx.exists === void 0 ? void 0 : ctx.exists(source.to, value);
+  if ("list" in source) return ctx.list === void 0 ? void 0 : (ctx.list(source.list) ?? []).includes(value);
+  return false;
+}
+function sourceWord(source) {
+  if ("words" in source) return "a fixed word";
+  if ("to" in source) return source.to === "cast" ? "a cast member" : `a ${source.to}`;
+  return `an entry of the list "${source.list}"`;
+}
+function pickChoices(decl, src) {
+  const out = [];
+  for (const source of decl.from ?? []) {
+    if ("words" in source) {
+      for (const w of source.words ?? []) if (typeof w === "string" && w !== "") out.push({ value: w, label: w, source });
+    } else if ("to" in source) {
+      for (const n of src.nodes?.(source.to) ?? []) if (n.id !== "") out.push({ value: n.id, label: n.label ?? n.id, source });
+    } else if ("list" in source) {
+      for (const e of src.list?.(source.list) ?? []) if (e !== "") out.push({ value: e, label: e, source });
+    }
+  }
+  return out;
+}
+function pickClashes(decl, src, path = "") {
+  const by = /* @__PURE__ */ new Map();
+  for (const c of pickChoices(decl, src)) {
+    const held = by.get(c.value) ?? [];
+    if (!held.includes(c.source)) held.push(c.source);
+    by.set(c.value, held);
+  }
+  const out = [];
+  for (const [name, sources] of by) {
+    if (sources.length < 2) continue;
+    out.push({
+      severity: "warning",
+      code: "pick-clash",
+      path,
+      options: [name],
+      message: `"${name}" is ${sources.map(sourceWord).join(" and ")}, so a value naming it is ambiguous`
+    });
+  }
+  return out;
+}
+function pickLists(projectTarget, projectEntry) {
+  return (name) => {
+    const field = (projectTarget?.fields ?? []).find((f) => f.name === name);
+    if (field === void 0 || !isTextList(field)) return void 0;
+    const held = projectEntry !== void 0 && own(projectEntry, name) ? projectEntry[name] : void 0;
+    const value = Array.isArray(held) ? held : defaultOf(field);
+    return Array.isArray(value) ? value.filter((v) => typeof v === "string") : [];
+  };
+}
+function isTextList(decl) {
+  return decl.type === "list" && decl.id === void 0 && decl.of?.type === "text";
+}
 function defaultOf(decl) {
   if (decl.default !== void 0) return decl.default;
   switch (decl.type) {
     case "reference":
       return "";
+    case "pick":
+      return "";
     case "record":
       return Object.fromEntries((decl.fields ?? []).map((f) => [f.name, defaultOf(f)]));
     case "map":
@@ -278,11 +356,13 @@ function renameStages(target, entry) {
 var ID = /^[a-z][a-z0-9-]*$/;
 var VERSION = /^\d+\.\d+\.\d+$/;
 var NAME = /^[A-Za-z_][A-Za-z0-9_]*$/;
-var TYPE_KEYS = ["type", "values", "stages", "renamedStages", "to", "fields", "key", "of", "id", "min", "max", "valueHelp", "default"];
+var TYPE_KEYS = ["type", "values", "stages", "renamedStages", "to", "from", "fields", "key", "of", "id", "min", "max", "valueHelp", "default"];
 var FIELD_KEYS = /* @__PURE__ */ new Set([...TYPE_KEYS, "name", "label", "help", "required", "group", "editorOnly"]);
 var CLAIM_KEYS = /* @__PURE__ */ new Set([...TYPE_KEYS, "setting", "label", "help", "required"]);
 var BARE_KEYS = new Set(TYPE_KEYS);
-var MANIFEST_KEYS = /* @__PURE__ */ new Set(["schema", "id", "name", "version", "docs", "settings", "targets"]);
+var MANIFEST_KEYS = /* @__PURE__ */ new Set(["schema", "id", "name", "version", "docs", "settings", "targets", "views", "reads"]);
+var VIEW_KEYS = /* @__PURE__ */ new Set(["id", "name", "entry", "element", "hosts"]);
+var ELEMENT = /^[a-z][a-z0-9._]*-[a-z0-9._-]*$/;
 var err2 = (code, path, message) => ({ severity: "error", code, path, message });
 function parseManifest(text) {
   return parseSource(text);
@@ -304,6 +384,8 @@ function manifestProblems(manifest) {
   }
   if (m["docs"] !== void 0 && typeof m["docs"] !== "string") out.push(err2("docs", "docs", "docs is a link, as text"));
   const settings = settingsProblems(m["settings"], out);
+  viewsProblems(m["views"], m["targets"], out);
+  readsProblems(m["reads"], m["id"], out);
   const targets = m["targets"];
   if (!isObject(targets) || Object.keys(targets).length === 0) {
     out.push(err2("no-targets", "targets", "the manifest targets no host"));
@@ -328,9 +410,146 @@ function manifestProblems(manifest) {
       }
       targetProblems(host, kind, target, kindPath, settings, out);
     }
+    pickListProblems(kinds, hostPath, out);
   }
   return out;
 }
+function pickSourcesSound(host, from, path, out) {
+  if (!Array.isArray(from) || from.length === 0) {
+    out.push(err2("pick-from", path, 'a pick lists its sources in "from": { "words": [...] }, { "to": a node kind }, or { "list": a project list }'));
+    return false;
+  }
+  let sound = true;
+  from.forEach((s, i) => {
+    const at = atIndex(path, i);
+    const keys = isObject(s) ? Object.keys(s).filter((k) => k === "words" || k === "to" || k === "list") : [];
+    if (!isObject(s) || keys.length !== 1) {
+      out.push(err2("pick-source", at, 'a source is one of { "words": [...] }, { "to": a node kind }, { "list": a project list }'));
+      sound = false;
+      return;
+    }
+    unknownKeys(s, new Set(keys), at, out);
+    if (keys[0] === "words") {
+      const words = s["words"];
+      const seen = /* @__PURE__ */ new Set();
+      if (!Array.isArray(words) || words.length === 0) {
+        out.push(err2("pick-words", atKey(at, "words"), "fixed words are a list of at least one"));
+        sound = false;
+        return;
+      }
+      words.forEach((w, j) => {
+        if (typeof w !== "string" || w.trim() === "") {
+          out.push(err2("value-empty", atIndex(atKey(at, "words"), j), "a word has a name"));
+          sound = false;
+        } else if (seen.has(w)) {
+          out.push(err2("value-duplicate", atIndex(atKey(at, "words"), j), `"${w}" is listed twice`));
+          sound = false;
+        } else seen.add(w);
+      });
+    } else if (keys[0] === "to") {
+      if (typeof s["to"] !== "string" || !HOSTS[host].references.includes(s["to"])) {
+        out.push(err2("reference-to", atKey(at, "to"), `a source's nodes are of a kind, one of ${HOSTS[host].references.join(", ")}`));
+        sound = false;
+      }
+    } else if (typeof s["list"] !== "string" || !NAME.test(s["list"])) {
+      out.push(err2("pick-list", atKey(at, "list"), "a list source names a field of the extension's project node"));
+      sound = false;
+    }
+  });
+  return sound;
+}
+function pickListProblems(kinds, hostPath, out) {
+  const project = isObject(kinds["project"]) && Array.isArray(kinds["project"]["fields"]) ? kinds["project"]["fields"] : [];
+  const lists = new Set(project.filter((f) => isObject(f) && isTextList(f)).map((f) => f.name));
+  const walk = (decl, path) => {
+    if (!isObject(decl)) return;
+    const d = decl;
+    if (d.type === "pick" && Array.isArray(d.from)) {
+      d.from.forEach((s, i) => {
+        if (isObject(s) && typeof s.list === "string" && !lists.has(s.list)) {
+          const name = s.list;
+          out.push(err2(
+            "pick-list",
+            atKey(atIndex(atKey(path, "from"), i), "list"),
+            `"${name}" is not a list of text on the extension's project node; declare it there, as { "name": "${name}", "type": "list", "of": { "type": "text" } }`
+          ));
+        }
+      });
+    }
+    if (Array.isArray(d.fields)) d.fields.forEach((f, i) => walk(f, atIndex(atKey(path, "fields"), i)));
+    if (d.of !== void 0) walk(d.of, atKey(path, "of"));
+  };
+  for (const [kind, target] of Object.entries(kinds)) {
+    if (!isObject(target) || !Array.isArray(target["fields"])) continue;
+    target["fields"].forEach((f, i) => walk(f, atIndex(atKey(atKey(hostPath, kind), "fields"), i)));
+  }
+}
+function isViewEntry(entry) {
+  if (typeof entry !== "string" || !entry.endsWith(".js") || entry.includes("\\")) return false;
+  const parts = entry.split("/");
+  return parts.every((p) => p !== "" && p !== "." && p !== "..");
+}
+function viewsProblems(views, targets, out) {
+  if (views === void 0) return;
+  if (!Array.isArray(views)) {
+    out.push(err2("not-a-list", "views", "views are a list"));
+    return;
+  }
+  const ids = /* @__PURE__ */ new Set();
+  const elements = /* @__PURE__ */ new Set();
+  const targeted = isObject(targets) ? Object.keys(targets) : [];
+  views.forEach((v, i) => {
+    const at = atIndex("views", i);
+    if (!isObject(v)) {
+      out.push(err2("not-an-object", at, "a view is an object"));
+      return;
+    }
+    unknownKeys(v, VIEW_KEYS, at, out);
+    const id = v["id"];
+    if (typeof id !== "string" || !ID.test(id)) out.push(err2("view-id", atKey(at, "id"), "a view's id is lower case letters, digits and hyphens, starting with a letter"));
+    else if (ids.has(id)) out.push(err2("view-duplicate", atKey(at, "id"), `two views are called "${id}"`));
+    else ids.add(id);
+    if (typeof v["name"] !== "string" || v["name"].trim() === "") out.push(err2("view-name", atKey(at, "name"), "a view has a name, shown as its window's title"));
+    if (!isViewEntry(v["entry"])) {
+      out.push(err2("view-entry", atKey(at, "entry"), "a view's entry is a .js file in the extension's package, as a relative path such as view/sheet.js"));
+    }
+    const element = v["element"];
+    if (typeof element !== "string" || !ELEMENT.test(element)) {
+      out.push(err2("view-element", atKey(at, "element"), "a view's element is a custom element name: lower case, starting with a letter, with a hyphen, such as probe-view"));
+    } else if (elements.has(element)) out.push(err2("view-duplicate", atKey(at, "element"), `two views define <${element}>`));
+    else elements.add(element);
+    const hosts = v["hosts"];
+    if (hosts === void 0) return;
+    if (!Array.isArray(hosts) || hosts.length === 0) {
+      out.push(err2("view-hosts", atKey(at, "hosts"), "a view's hosts are a list of at least one host"));
+      return;
+    }
+    hosts.forEach((h, j) => {
+      const hp = atIndex(atKey(at, "hosts"), j);
+      if (typeof h !== "string" || !own(HOSTS, h)) out.push(err2("unknown-host", hp, `${JSON.stringify(h)} is not a host; a view opens in "patter" or "storylets"`));
+      else if (!targeted.includes(h)) out.push({ severity: "warning", code: "view-host-untargeted", path: hp, message: `the view opens in ${h}, but the manifest targets nothing there` });
+    });
+  });
+}
+function readsProblems(reads, self, out) {
+  if (reads === void 0) return;
+  if (!Array.isArray(reads)) {
+    out.push(err2("not-a-list", "reads", "reads is a list of extension ids"));
+    return;
+  }
+  const seen = /* @__PURE__ */ new Set();
+  reads.forEach((r, i) => {
+    const at = atIndex("reads", i);
+    if (typeof r !== "string" || !ID.test(r)) out.push(err2("reads-id", at, "an extension read is named by its id: lower case letters, digits and hyphens"));
+    else if (r === self) out.push({ severity: "warning", code: "reads-self", path: at, message: "an extension always reads its own data; this entry is ignored" });
+    else if (seen.has(r)) out.push(err2("reads-duplicate", at, `"${r}" is listed twice`));
+    else seen.add(r);
+  });
+}
+function viewsFor(manifest, host) {
+  const targeted = Object.keys(manifest.targets ?? {});
+  return (Array.isArray(manifest.views) ? manifest.views : []).filter((v) => isObject(v) && typeof v.id === "string" && ID.test(v.id) && typeof v.name === "string" && isViewEntry(v.entry) && typeof v.element === "string" && ELEMENT.test(v.element) && (v.hosts === void 0 ? targeted.includes(host) : Array.isArray(v.hosts) && v.hosts.includes(host)));
+}
 function unknownKeys(obj, known, path, out) {
   for (const k of Object.keys(obj)) {
     if (!known.has(k)) {
@@ -491,6 +710,9 @@ function typeProblems(host, decl, path, named, out, claim = false) {
         sound = false;
       }
       break;
+    case "pick":
+      if (!pickSourcesSound(host, decl.from, at("from"), out)) sound = false;
+      break;
     case "record":
       if (!Array.isArray(decl.fields) || decl.fields.length === 0) {
         out.push(err2("record-empty", at("fields"), "a record declares its fields"));
@@ -965,6 +1187,6 @@ function orphanedEntries(data, exists) {
   return out;
 }
 
-export { ATOMIC, COMMENTS, HOSTS, MANIFEST_FILE_SUFFIX, MANIFEST_SCHEMA, SCALAR_TYPES, SET, UNRESOLVED_KEY, VALUE_TYPES, atIndex, atKey, claimClashes, compileEntry, compiledTarget, defaultOf, effectiveClaim, entryProblems, extensionDataStrategy, keyedBy, manifestProblems, mapOf, markUnresolved, mergeComments, mergeExtensionData, mergeTree, objectOf, orphanedEntries, parseManifest, renameStages, resolvedClaims, settingValues, stableStringify, strategyForTarget, strategyForType, targetOf, unresolvedOf, unresolvedProblems, valueProblems, withoutMark };
+export { ATOMIC, COMMENTS, HOSTS, MANIFEST_FILE_SUFFIX, MANIFEST_SCHEMA, SCALAR_TYPES, SET, UNRESOLVED_KEY, VALUE_TYPES, atIndex, atKey, claimClashes, compileEntry, compiledTarget, defaultOf, effectiveClaim, entryProblems, extensionDataStrategy, isTextList, isViewEntry, keyedBy, manifestProblems, mapOf, markUnresolved, mergeComments, mergeExtensionData, mergeTree, objectOf, orphanedEntries, parseManifest, pickChoices, pickClashes, pickLists, renameStages, resolvedClaims, settingValues, stableStringify, strategyForTarget, strategyForType, targetOf, unresolvedOf, unresolvedProblems, valueProblems, viewsFor, withoutMark };
 //# sourceMappingURL=extensions.js.map
 //# sourceMappingURL=extensions.js.map