@intentius/chant 0.124.46 → 0.124.49

package/dist/workspace/kind-link-readers.d.ts

@@ -19,6 +19,16 @@
  * `resolveLinks` (`./links.ts`) resolves the links beside the declared ones,
  * with origin `kind-reader`; WSP093 and WSP094 name the reader's file and line,
  * and WSP099 reports the gaps.
+ *
+ * A migration directory's reader (#4400) lists its migrations in order, in
+ * {@link KindLinkRead.migrations}, and returns no links: what the migrations
+ * produce comes from a replay.
+ *
+ * A reader may also return outputs (#3935): names the member's files state,
+ * which other members link to. A dbt project's models are outputs, read the
+ * same way as its sources. `resolveLinks` adds them to the member's handles
+ * (`withReaderOutputs`), so a link to one resolves, and goes missing when the
+ * file that states it is gone.
  */
 import type { Declaration, Member } from "./declaration.js";
 import { type FieldValue, type KindLinkReaderName, type KindRegistry } from "./kinds.js";
@@ -50,17 +60,64 @@ export interface KindReadGap {
     file: string;
     line: number;
     message: string;
+    /**
+     * True when the gap leaves an output out of {@link KindLinkRead.outputs}
+     * (#3935): a link to a name the member does not list is then unresolved,
+     * not missing.
+     */
+    outputs?: boolean;
+}
+/** One output a reader found in the member's files: a name other members may link to. */
+export interface KindReadOutput {
+    name: string;
+    /** The file that states it, relative to the workspace root. */
+    file: string;
+    /** Its line, from 1. */
+    line: number;
+}
+/**
+ * One migration a migration-directory reader found (#4400), in the order the
+ * tool applies it. The reader lists files and never runs the tool, so the
+ * schema the migrations produce comes from a replay, not from here.
+ */
+export interface KindReadMigration {
+    /** 1-based position in the order the tool applies the migrations. */
+    position: number;
+    /** The version as the file name writes it, such as `00002`, `20240101120000` or `1.2`. */
+    version: string;
+    name: string;
+    /** `versioned` runs once; `repeatable` runs again when its checksum changes (Flyway); `baseline` and `undo` are Flyway's B and U files. */
+    type: "versioned" | "repeatable" | "baseline" | "undo";
+    /** The file with the up statements, relative to the workspace root. */
+    file: string;
+    /** The line the up statements start on, from 1. */
+    line: number;
+    /** The file that undoes it, or true when the same file does (goose), or false when none does. */
+    down: string | boolean;
+    /** The SQL dialect the migration is written in: the member's `dialect` field, or what the directory's own configuration names. */
+    dialect: string;
+    /** False when the file asks to run outside a transaction (`-- +goose NO TRANSACTION`). */
+    transaction?: boolean;
 }
 export interface KindLinkRead {
-    /** The reader that ran. */
-    reader: KindLinkReaderName;
+    /** The reader that ran: a kind's reader, or `lexicon <name>` for links a member's lexicon read from its declarations (#4397). */
+    reader: KindLinkReaderName | `lexicon${string}`;
     links: KindReadLink[];
     gaps: KindReadGap[];
+    /**
+     * The outputs the member exposes that its files state (#3935), beside the
+     * ones its kind lists. `resolveLinks` adds them to the member's handles, so
+     * another member can link to them. A gap flagged `outputs` makes the list
+     * incomplete.
+     */
+    outputs?: KindReadOutput[];
     /**
      * The member field that names the producer, for messages that ask the
      * author to set it when the files don't say (`sqlMember` for dbt).
      */
     producerField?: string;
+    /** The migrations of a migration directory (#4400), in the order they apply; unset for other readers. */
+    migrations?: KindReadMigration[];
 }
 /** What a reader gets: the member, its directory and resolved fields, and the tree read. */
 export interface KindReaderInput {

package/dist/workspace/kind-link-readers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"kind-link-readers.d.ts","sourceRoot":"","sources":["../../src/workspace/kind-link-readers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AACzD,OAAO,EAAuB,KAAK,UAAU,EAAE,KAAK,kBAAkB,EAAE,KAAK,YAAY,EAAE,MAAM,SAAS,CAAC;AAC3G,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAC;AAG5C,qDAAqD;AACrD,MAAM,WAAW,YAAY;IAC3B;;;;OAIG;IACH,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,4CAA4C;IAC5C,MAAM,EAAE,MAAM,CAAC;IACf;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,qEAAqE;IACrE,IAAI,EAAE,MAAM,CAAC;IACb,wBAAwB;IACxB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,uGAAuG;AACvG,MAAM,WAAW,WAAW;IAC1B,sCAAsC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,2BAA2B;IAC3B,MAAM,EAAE,kBAAkB,CAAC;IAC3B,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,IAAI,EAAE,WAAW,EAAE,CAAC;IACpB;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,4FAA4F;AAC5F,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,wEAAwE;IACxE,GAAG,EAAE,MAAM,CAAC;IACZ,yFAAyF;IACzF,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC;IACrF,IAAI,EAAE,aAAa,CAAC;CACrB;AAED,MAAM,MAAM,cAAc,GAAG,CAAC,KAAK,EAAE,eAAe,KAAK,YAAY,CAAC;AAEtE,+DAA+D;AAC/D,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,kBAAkB,EAAE,cAAc,CAEnE,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,GAAG,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAe3H"}
+{"version":3,"file":"kind-link-readers.d.ts","sourceRoot":"","sources":["../../src/workspace/kind-link-readers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AACzD,OAAO,EAAuB,KAAK,UAAU,EAAE,KAAK,kBAAkB,EAAE,KAAK,YAAY,EAAE,MAAM,SAAS,CAAC;AAC3G,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAC;AAK5C,qDAAqD;AACrD,MAAM,WAAW,YAAY;IAC3B;;;;OAIG;IACH,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,4CAA4C;IAC5C,MAAM,EAAE,MAAM,CAAC;IACf;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,qEAAqE;IACrE,IAAI,EAAE,MAAM,CAAC;IACb,wBAAwB;IACxB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,uGAAuG;AACvG,MAAM,WAAW,WAAW;IAC1B,sCAAsC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,yFAAyF;AACzF,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,+DAA+D;IAC/D,IAAI,EAAE,MAAM,CAAC;IACb,wBAAwB;IACxB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,qEAAqE;IACrE,QAAQ,EAAE,MAAM,CAAC;IACjB,0FAA0F;IAC1F,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,2IAA2I;IAC3I,IAAI,EAAE,WAAW,GAAG,YAAY,GAAG,UAAU,GAAG,MAAM,CAAC;IACvD,uEAAuE;IACvE,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,iGAAiG;IACjG,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACvB,kIAAkI;IAClI,OAAO,EAAE,MAAM,CAAC;IAChB,0FAA0F;IAC1F,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,YAAY;IAC3B,iIAAiI;IACjI,MAAM,EAAE,kBAAkB,GAAG,UAAU,MAAM,EAAE,CAAC;IAChD,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,IAAI,EAAE,WAAW,EAAE,CAAC;IACpB;;;;;OAKG;IACH,OAAO,CAAC,EAAE,cAAc,EAAE,CAAC;IAC3B;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,yGAAyG;IACzG,UAAU,CAAC,EAAE,iBAAiB,EAAE,CAAC;CAClC;AAED,4FAA4F;AAC5F,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,wEAAwE;IACxE,GAAG,EAAE,MAAM,CAAC;IACZ,yFAAyF;IACzF,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC;IACrF,IAAI,EAAE,aAAa,CAAC;CACrB;AAED,MAAM,MAAM,cAAc,GAAG,CAAC,KAAK,EAAE,eAAe,KAAK,YAAY,CAAC;AAEtE,+DAA+D;AAC/D,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,kBAAkB,EAAE,cAAc,CAMnE,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,GAAG,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAe3H"}

package/dist/workspace/kind-link-readers.js

@@ -19,12 +19,28 @@
  * `resolveLinks` (`./links.ts`) resolves the links beside the declared ones,
  * with origin `kind-reader`; WSP093 and WSP094 name the reader's file and line,
  * and WSP099 reports the gaps.
+ *
+ * A migration directory's reader (#4400) lists its migrations in order, in
+ * {@link KindLinkRead.migrations}, and returns no links: what the migrations
+ * produce comes from a replay.
+ *
+ * A reader may also return outputs (#3935): names the member's files state,
+ * which other members link to. A dbt project's models are outputs, read the
+ * same way as its sources. `resolveLinks` adds them to the member's handles
+ * (`withReaderOutputs`), so a link to one resolves, and goes missing when the
+ * file that states it is gone.
  */
 import { resolveMemberFields } from "./kinds.js";
 import { readDbtProject } from "./dbt-project-reader.js";
+import { readClickHouseMigrationsDir, readGolangMigrateDir, readGooseDir } from "./migration-dirs.js";
+import { readFlywayDir } from "./flyway-dir.js";
 /** Every reader chant ships, by the name a kinds file uses. */
 export const LINK_READERS = {
     "dbt-project": readDbtProject,
+    "goose-dir": readGooseDir,
+    "golang-migrate-dir": readGolangMigrateDir,
+    "clickhouse-migrations-dir": readClickHouseMigrationsDir,
+    "flyway-dir": readFlywayDir,
 };
 /**
  * Run the link reader of every member whose kind has one. A member whose
@@ -46,7 +62,7 @@ export function readKindLinks(declaration, tree, kinds) {
             out.set(m.name, LINK_READERS[kind.reader]({ member: m, dir, fields, tree }));
         }
         catch (err) {
-            out.set(m.name, { reader: kind.reader, links: [], gaps: [{ file: dir || ".", line: 1, message: `the ${kind.reader} reader failed: ${err.message}` }] });
+            out.set(m.name, { reader: kind.reader, links: [], gaps: [{ file: dir || ".", line: 1, message: `the ${kind.reader} reader failed: ${err.message}`, outputs: true }] });
         }
     }
     return out;

package/dist/workspace/kind-readers.d.ts

@@ -20,6 +20,12 @@
  *   package, found from the workspace root as the kind's pin was. The lexicon
  *   chant loads is then the one the declaration pins.
  *
+ * A kind whose `graph` names a `reader` module instead (#4413) gets a
+ * project with `lexicons: []` and `graph.reader` set to the module, which the
+ * supplying package ships, so any package can supply one. The member's own
+ * `chant graph` loads it there, under the member's toolchain, and prints the
+ * IR it returns. There is no lexicon to link.
+ *
  * Nothing is written under the workspace, and the projects are removed when
  * the read ends. A lexicon that can't be found where its pin says fails the
  * member with `command-failed` and says what to install; the other members

package/dist/workspace/kind-readers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"kind-readers.d.ts","sourceRoot":"","sources":["../../src/workspace/kind-readers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAMH,OAAO,KAAK,EAAE,UAAU,EAAW,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAE3E,MAAM,WAAW,eAAe;IAC9B,4FAA4F;IAC5F,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,gEAAgE;IAChE,OAAO,IAAI,IAAI,CAAC;CACjB;AAmCD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,eAAe,CAoClF"}
+{"version":3,"file":"kind-readers.d.ts","sourceRoot":"","sources":["../../src/workspace/kind-readers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAMH,OAAO,KAAK,EAAE,UAAU,EAAW,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAE3E,MAAM,WAAW,eAAe;IAC9B,4FAA4F;IAC5F,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,gEAAgE;IAChE,OAAO,IAAI,IAAI,CAAC;CACjB;AAoCD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,eAAe,CA8ClF"}

package/dist/workspace/kind-readers.js

@@ -20,6 +20,12 @@
  *   package, found from the workspace root as the kind's pin was. The lexicon
  *   chant loads is then the one the declaration pins.
  *
+ * A kind whose `graph` names a `reader` module instead (#4413) gets a
+ * project with `lexicons: []` and `graph.reader` set to the module, which the
+ * supplying package ships, so any package can supply one. The member's own
+ * `chant graph` loads it there, under the member's toolchain, and prints the
+ * IR it returns. There is no lexicon to link.
+ *
  * Nothing is written under the workspace, and the projects are removed when
  * the read ends. A lexicon that can't be found where its pin says fails the
  * member with `command-failed` and says what to install; the other members
@@ -47,6 +53,8 @@ function real(path) {
 /** Why a unit's lexicon can't be loaded from `root`, or the `node_modules` to link. */
 function lexiconModules(unit, root) {
     const reader = unit.reader;
+    if (!reader.lexicon)
+        return { message: `kind ${unit.kind} names no lexicon` };
     const name = lexiconPackageName(reader.lexicon);
     const installed = findInstalledPackage(name, root);
     if (!installed) {
@@ -80,6 +88,16 @@ export function prepareKindReaders(plan, root) {
             group.units = group.units.filter((unit) => {
                 if (!unit.reader)
                     return true;
+                if (unit.reader.readerFile) {
+                    // A graph reader module (#4413): no lexicon and no node_modules link. The module sits in the pinned package and resolves its own imports from there.
+                    scratch ?? (scratch = mkdtempSync(join(tmpdir(), "chant-ws-reader-")));
+                    const project = join(scratch, unit.id);
+                    mkdirSync(project, { recursive: true });
+                    const config = substituteGraphConfig(unit.reader.config, { member: unit.member, dir: unit.abs, workspace: root });
+                    writeFileSync(join(project, "chant.config.json"), `${JSON.stringify({ lexicons: [], graph: { lint: "report", reader: { module: unit.reader.readerFile, config } } }, null, 2)}\n`);
+                    unit.abs = project;
+                    return true;
+                }
                 const found = lexiconModules(unit, root);
                 if ("message" in found) {
                     failed.push({ name: unit.member, dir: unit.dir, kind: unit.kind, reason: { code: "command-failed", message: found.message } });

package/dist/workspace/kinds.d.ts

@@ -24,7 +24,9 @@ export declare const KINDS_SUBPATH = "./workspace-kinds";
 /**
  * The probe a package's kind carries (#2535, #2545). It passes when any of
  * its clauses does. A name in either clause may use `*`, which matches any
- * run of characters in one file name, so `*.tf` is every Terraform file.
+ * run of characters in one file name, so `*.tf` is every Terraform file, and
+ * `[0-9]` matches one digit (#4400), so `[0-9]*_*.sql` is a file that opens
+ * with a version number.
  */
 export interface FileProbe {
     /** A file matching one of these names sits directly in the directory. */
@@ -49,6 +51,31 @@ export interface FileProbe {
         in: string[];
         pointers: string[];
     };
+    /**
+     * A file directly in the directory whose name matches one of `in` has a
+     * line that starts, after leading space and ignoring case, with one of
+     * `starts` (#4400). This is how a goose directory is told from any other
+     * directory of `.sql` files: its files carry `-- +goose Up`.
+     */
+    anyLine?: {
+        in: string[];
+        starts: string[];
+    };
+    /**
+     * A file directly in the directory whose name matches one of `in` parses
+     * as YAML or JSON (every document of a multi-document file is read), and
+     * one document satisfies one of the `match` entries. An entry maps JSON
+     * Pointers to the values allowed there, and a document satisfies it when
+     * every pointer holds a value that matches one of its patterns. A `*` in
+     * a pattern matches any run of characters, so `["*"]` means "has a
+     * value". This is how an Argo Application, a Flux Kustomization and a
+     * CloudFormation template are found by what they say, not by their file
+     * names (#3179). A file that doesn't parse is no evidence either way.
+     */
+    anyDocument?: {
+        in: string[];
+        match: Record<string, string[]>[];
+    };
 }
 /** A string, integer or boolean field a kind declares for its members (#3151). */
 export interface ScalarKindField {
@@ -77,6 +104,10 @@ FileProbe
 /** The directory holds a chant project, as {@link holdsChantProject} says (`examples`). */
  | {
     chantProject: true;
+}
+/** Nothing local: the member names another repository's workspace (`repo`, #3168). */
+ | {
+    repo: true;
 };
 /**
  * Which outputs a member of a kind exposes as link targets (#2524 D6,
@@ -102,7 +133,15 @@ export type KindOutputs =
  * chant writes itself. See {@link substituteGraphConfig} for the placeholders.
  */
 export interface KindGraph {
-    lexicon: string;
+    /** The lexicon that reads the member; unset when `reader` is. */
+    lexicon?: string;
+    /**
+     * A graph reader module (#4413), as the kinds file names it: a path inside
+     * the supplying package, which may be any package. Unset when `lexicon` is.
+     */
+    reader?: string;
+    /** The reader module, absolute; set once the package directory is known. */
+    readerFile?: string;
     config: Record<string, unknown>;
 }
 export interface MemberKind {
@@ -135,14 +174,41 @@ export interface MemberKind {
      * entry states.
      */
     reader?: KindLinkReaderName;
+    /** A file every member of the kind has, and the JSON Schema it must pass (#3672); unset, the kind checks no member file. */
+    memberFile?: KindMemberFile;
+}
+/**
+ * A kind's member file (#3672): `path` in each member's directory must pass
+ * the JSON Schema at `schema` in the supplying package. `chant workspace
+ * check` reads and validates it (WSP012). The schema is read as data when the
+ * package's kinds are read, so a schema that is missing or doesn't compile is
+ * a load problem (WSP002), and `validate` is unset.
+ */
+export interface KindMemberFile {
+    /** The file, relative to the member's directory. */
+    path: string;
+    /** The schema, as the kinds file names it, relative to the package. */
+    schema: string;
+    /** The schema, absolute; unset until the package directory is known. */
+    schemaFile?: string;
+    /** The compiled schema; unset when it could not be read or compiled. */
+    validate?: MemberFileValidate;
 }
+/** A compiled member-file schema, in Ajv's shape. */
+export type MemberFileValidate = ((data: unknown) => boolean) & {
+    errors?: {
+        instancePath: string;
+        message?: string;
+        params?: Record<string, unknown>;
+    }[] | null;
+};
 /**
  * The link readers chant ships (#3932). A kind names one in its kinds file as
  * `reader`. The readers are chant's own code, not the package's: a kinds file
  * stays data, and chant never imports the package that supplies it. Closed:
  * a kind naming another reader is kept without one, and the load reports it.
  */
-export declare const KIND_LINK_READERS: readonly ["dbt-project"];
+export declare const KIND_LINK_READERS: readonly ["dbt-project", "goose-dir", "golang-migrate-dir", "clickhouse-migrations-dir", "flyway-dir"];
 export type KindLinkReaderName = (typeof KIND_LINK_READERS)[number];
 export interface KindRegistry {
     get(name: string): MemberKind | undefined;
@@ -153,6 +219,8 @@ export interface KindRegistry {
 }
 /** The group kind (ws-051). An entry of this kind is a group, not a member. */
 export declare const EXAMPLES_KIND = "examples";
+/** The member kind that names another repository's workspace by URL and pinned revision (#3168). */
+export declare const REPO_KIND = "repo";
 /** The data member kind that holds design artifacts (#2549, ws-062). */
 export declare const DESIGN_KIND = "design";
 export declare const BUILTIN_KINDS: readonly MemberKind[];
@@ -212,6 +280,25 @@ export declare function kindsExportTarget(pkg: Record<string, unknown>, subpath?
 };
 /** Read the kinds a package directory publishes. Reads files only; imports nothing. */
 export declare function readPackageKinds(packageDir: string, source?: string): PackageKinds;
+/**
+ * Read and compile a kind's member-file schema from `packageDir` (#3672),
+ * setting `schemaFile` and `validate`. Returns why it can't be used, or
+ * undefined. The schema is a JSON file inside the package; it is data, so
+ * nothing is imported, and a `$ref` outside the file is not followed.
+ */
+export declare function loadMemberFileSchema(memberFile: KindMemberFile, packageDir: string): string | undefined;
+/** One reason a member's file fails its kind's schema (#3672): a JSON Pointer into the file, and why. */
+export interface MemberFileProblem {
+    pointer: string;
+    message: string;
+}
+/**
+ * Check a member's file text against its kind's schema (#3672). `file` is the
+ * file's name, which picks the parser: YAML for `.yml` and `.yaml`, JSON
+ * otherwise. The kind's schema must have loaded; when it didn't, WSP002 has
+ * already said why, and this returns nothing.
+ */
+export declare function checkMemberFile(memberFile: KindMemberFile, file: string, text: string): MemberFileProblem[];
 /** The package a lexicon name resolves to. */
 export declare function lexiconPackageName(lexicon: string): string;
 /** Where each placeholder in a kind's graph config points (#2874). */

package/dist/workspace/kinds.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"kinds.d.ts","sourceRoot":"","sources":["../../src/workspace/kinds.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAKH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAC;AAG5C,OAAO,EAAoB,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAGtE,eAAO,MAAM,eAAe,QAAa,CAAC;AAE1C,oDAAoD;AACpD,eAAO,MAAM,aAAa,sBAAsB,CAAC;AAEjD;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,yEAAyE;IACzE,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAC9C;;;;;OAKG;IACH,UAAU,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,EAAE,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;CACnD;AAED,kFAAkF;AAClF,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;IACvC,WAAW,EAAE,MAAM,CAAC;IACpB,yFAAyF;IACzF,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IACpC,qEAAqE;IACrE,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,+EAA+E;AAC/E,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,QAAQ,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CAC7C;AAED,MAAM,MAAM,SAAS,GAAG,eAAe,GAAG,eAAe,CAAC;AAE1D,iDAAiD;AACjD,MAAM,MAAM,SAAS;AACnB,gEAAgE;AAC9D,SAAS;AACX,+DAA+D;GAC7D;IAAE,SAAS,EAAE,IAAI,CAAA;CAAE;AACrB,2FAA2F;GACzF;IAAE,YAAY,EAAE,IAAI,CAAA;CAAE,CAAC;AAE3B;;;GAGG;AACH,MAAM,MAAM,WAAW;AACrB,0FAA0F;AACxF;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE;AAC1B,wFAAwF;GACtF;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE;AAClB,+GAA+G;GAC7G;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAE1C;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACjC;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,gDAAgD;IAChD,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,SAAS,CAAC;IACjB;;;;OAIG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB,+DAA+D;IAC/D,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC;IAC1B,yEAAyE;IACzE,OAAO,EAAE,WAAW,CAAC;IACrB,6EAA6E;IAC7E,MAAM,EAAE,MAAM,CAAC;IACf,8EAA8E;IAC9E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,sGAAsG;IACtG,KAAK,CAAC,EAAE,SAAS,CAAC;IAClB,kHAAkH;IAClH,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACnC;;;;;OAKG;IACH,MAAM,CAAC,EAAE,kBAAkB,CAAC;CAC7B;AAED;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,YAAI,aAAa,CAAU,CAAC;AAC1D,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpE,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAC;IAC1C,qEAAqE;IACrE,KAAK,IAAI,MAAM,EAAE,CAAC;IAClB,+DAA+D;IAC/D,GAAG,IAAI,UAAU,EAAE,CAAC;CACrB;AAED,+EAA+E;AAC/E,eAAO,MAAM,aAAa,aAAa,CAAC;AAExC,wEAAwE;AACxE,eAAO,MAAM,WAAW,WAAW,CAAC;AAEpC,eAAO,MAAM,aAAa,EAAE,SAAS,UAAU,EA8C9C,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,SAAS,MAAM,EAAqC,CAAC;AAEtF,4FAA4F;AAC5F,wBAAgB,kBAAkB,CAAC,KAAK,GAAE,SAAS,UAAU,EAAO,GAAG,YAAY,CAWlF;AAED,wBAAgB,mBAAmB,IAAI,YAAY,CAElD;AAED,4FAA4F;AAC5F,wBAAgB,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CA0BrF;AA0CD,MAAM,WAAW,cAAc;IAC7B,oFAAoF;IACpF,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,wFAAwF;IACxF,MAAM,EAAE,UAAU,GAAG,SAAS,CAAC;IAC/B,yFAAyF;IACzF,GAAG,EAAE,UAAU,EAAE,CAAC;CACnB;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,GAAE,SAAS,MAAM,EAAO,GAAG,cAAc,CAOlI;AAKD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAoB3E;AAsBD,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,oEAAoE;IACpE,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,QAAQ,CA+CpE;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,8EAA8E;IAC9E,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;CAC1B;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAE,MAAsB,GAAG,MAAM,GAAG,SAAS,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAEzI;AAED,uFAAuF;AACvF,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,YAAY,CAoClF;AAED,8CAA8C;AAC9C,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,sEAAsE;AACtE,MAAM,WAAW,iBAAiB;IAChC,yBAAyB;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,wCAAwC;IACxC,GAAG,EAAE,MAAM,CAAC;IACZ,oCAAoC;IACpC,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,iBAAiB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CASrH;AAED,6HAA6H;AAC7H,OAAO,EAAE,oBAAoB,EAAE,CAAC;AAEhC,MAAM,WAAW,OAAO;IACtB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,6FAA6F;IAC7F,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,mDAAmD;IACnD,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,YAAY,CAAC;IACvB,QAAQ,EAAE,eAAe,EAAE,CAAC;CAC7B;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAsBlI;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,EAAE,aAAa,EAAE,MAAM,GAAG,WAAW,CA4B7F;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAcxE;AAID,6EAA6E;AAC7E,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAyCnD,sGAAsG;AACtG,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,uIAAuI;IACvI,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC;IACrF,QAAQ,EAAE,kBAAkB,EAAE,CAAC;CAChC;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,GAAG,YAAY,CAsCrH"}
+{"version":3,"file":"kinds.d.ts","sourceRoot":"","sources":["../../src/workspace/kinds.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAKH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAC;AAG5C,OAAO,EAAoB,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAItE,eAAO,MAAM,eAAe,QAAa,CAAC;AAE1C,oDAAoD;AACpD,eAAO,MAAM,aAAa,sBAAsB,CAAC;AAEjD;;;;;;GAMG;AACH,MAAM,WAAW,SAAS;IACxB,yEAAyE;IACzE,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAC9C;;;;;OAKG;IACH,UAAU,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,EAAE,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAClD;;;;;OAKG;IACH,OAAO,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAC7C;;;;;;;;;;OAUG;IACH,WAAW,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,CAAA;KAAE,CAAC;CACnE;AAED,kFAAkF;AAClF,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;IACvC,WAAW,EAAE,MAAM,CAAC;IACpB,yFAAyF;IACzF,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IACpC,qEAAqE;IACrE,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,+EAA+E;AAC/E,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,QAAQ,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CAC7C;AAED,MAAM,MAAM,SAAS,GAAG,eAAe,GAAG,eAAe,CAAC;AAE1D,iDAAiD;AACjD,MAAM,MAAM,SAAS;AACnB,gEAAgE;AAC9D,SAAS;AACX,+DAA+D;GAC7D;IAAE,SAAS,EAAE,IAAI,CAAA;CAAE;AACrB,2FAA2F;GACzF;IAAE,YAAY,EAAE,IAAI,CAAA;CAAE;AACxB,sFAAsF;GACpF;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAEnB;;;GAGG;AACH,MAAM,MAAM,WAAW;AACrB,0FAA0F;AACxF;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE;AAC1B,wFAAwF;GACtF;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE;AAClB,+GAA+G;GAC7G;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAE1C;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,iEAAiE;IACjE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,4EAA4E;IAC5E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACjC;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,gDAAgD;IAChD,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,SAAS,CAAC;IACjB;;;;OAIG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB,+DAA+D;IAC/D,KAAK,EAAE,QAAQ,GAAG,OAAO,CAAC;IAC1B,yEAAyE;IACzE,OAAO,EAAE,WAAW,CAAC;IACrB,6EAA6E;IAC7E,MAAM,EAAE,MAAM,CAAC;IACf,8EAA8E;IAC9E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,sGAAsG;IACtG,KAAK,CAAC,EAAE,SAAS,CAAC;IAClB,kHAAkH;IAClH,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACnC;;;;;OAKG;IACH,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAC5B,4HAA4H;IAC5H,UAAU,CAAC,EAAE,cAAc,CAAC;CAC7B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,oDAAoD;IACpD,IAAI,EAAE,MAAM,CAAC;IACb,uEAAuE;IACvE,MAAM,EAAE,MAAM,CAAC;IACf,wEAAwE;IACxE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,wEAAwE;IACxE,QAAQ,CAAC,EAAE,kBAAkB,CAAC;CAC/B;AAED,qDAAqD;AACrD,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC,GAAG;IAAE,MAAM,CAAC,EAAE;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,EAAE,GAAG,IAAI,CAAA;CAAE,CAAC;AAEnK;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,YAAI,aAAa,EAAE,WAAW,EAAE,oBAAoB,EAAE,2BAA2B,EAAE,YAAY,CAAU,CAAC;AACxI,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpE,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAC;IAC1C,qEAAqE;IACrE,KAAK,IAAI,MAAM,EAAE,CAAC;IAClB,+DAA+D;IAC/D,GAAG,IAAI,UAAU,EAAE,CAAC;CACrB;AAED,+EAA+E;AAC/E,eAAO,MAAM,aAAa,aAAa,CAAC;AAExC,oGAAoG;AACpG,eAAO,MAAM,SAAS,SAAS,CAAC;AAEhC,wEAAwE;AACxE,eAAO,MAAM,WAAW,WAAW,CAAC;AAEpC,eAAO,MAAM,aAAa,EAAE,SAAS,UAAU,EAuD9C,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,SAAS,MAAM,EAAqC,CAAC;AAEtF,4FAA4F;AAC5F,wBAAgB,kBAAkB,CAAC,KAAK,GAAE,SAAS,UAAU,EAAO,GAAG,YAAY,CAWlF;AAED,wBAAgB,mBAAmB,IAAI,YAAY,CAElD;AAED,4FAA4F;AAC5F,wBAAgB,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CA8CrF;AAyED,MAAM,WAAW,cAAc;IAC7B,oFAAoF;IACpF,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,wFAAwF;IACxF,MAAM,EAAE,UAAU,GAAG,SAAS,CAAC;IAC/B,yFAAyF;IACzF,GAAG,EAAE,UAAU,EAAE,CAAC;CACnB;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,GAAE,SAAS,MAAM,EAAO,GAAG,cAAc,CAOlI;AAKD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAoB3E;AAsBD,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,oEAAoE;IACpE,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,QAAQ,CAoDpE;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,8EAA8E;IAC9E,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;CAC1B;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAE,MAAsB,GAAG,MAAM,GAAG,SAAS,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAEzI;AAED,uFAAuF;AACvF,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,YAAY,CAqDlF;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAoBvG;AAED,yGAAyG;AACzG,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,UAAU,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,iBAAiB,EAAE,CAmB3G;AAED,8CAA8C;AAC9C,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,sEAAsE;AACtE,MAAM,WAAW,iBAAiB;IAChC,yBAAyB;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,wCAAwC;IACxC,GAAG,EAAE,MAAM,CAAC;IACZ,oCAAoC;IACpC,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,iBAAiB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CASrH;AAED,6HAA6H;AAC7H,OAAO,EAAE,oBAAoB,EAAE,CAAC;AAEhC,MAAM,WAAW,OAAO;IACtB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,6FAA6F;IAC7F,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,mDAAmD;IACnD,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,YAAY,CAAC;IACvB,QAAQ,EAAE,eAAe,EAAE,CAAC;CAC7B;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAsBlI;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,EAAE,aAAa,EAAE,MAAM,GAAG,WAAW,CA4B7F;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAcxE;AAID,6EAA6E;AAC7E,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAyCnD,sGAAsG;AACtG,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,uIAAuI;IACvI,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC;IACrF,QAAQ,EAAE,kBAAkB,EAAE,CAAC;CAChC;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,GAAG,YAAY,CAsCrH"}

package/dist/workspace/kinds.js

@@ -16,13 +16,14 @@
  * kinds claim one directory, the highest precedence decides, and a tie
  * fails ({@link resolveKind}).
  */
-import { readFileSync } from "node:fs";
+import { existsSync, readFileSync } from "node:fs";
 import { isAbsolute, join, relative, resolve } from "node:path";
 import schema from "./workspace-kinds.schema.json" with { type: "json" };
 import { joinPath, skippedDir } from "./tree.js";
 import { checkPinIntegrity } from "./pin-integrity.js";
 import { dataExportTarget, findInstalledPackage } from "./class-data.js";
 import { loadAjv2020 } from "./ajv2020.js";
+import yaml from "js-yaml";
 export const KINDS_SCHEMA_ID = schema.$id;
 /** The subpath a package publishes its kinds at. */
 export const KINDS_SUBPATH = "./workspace-kinds";
@@ -32,9 +33,11 @@ export const KINDS_SUBPATH = "./workspace-kinds";
  * stays data, and chant never imports the package that supplies it. Closed:
  * a kind naming another reader is kept without one, and the load reports it.
  */
-export const KIND_LINK_READERS = ["dbt-project"];
+export const KIND_LINK_READERS = ["dbt-project", "goose-dir", "golang-migrate-dir", "clickhouse-migrations-dir", "flyway-dir"];
 /** The group kind (ws-051). An entry of this kind is a group, not a member. */
 export const EXAMPLES_KIND = "examples";
+/** The member kind that names another repository's workspace by URL and pinned revision (#3168). */
+export const REPO_KIND = "repo";
 /** The data member kind that holds design artifacts (#2549, ws-062). */
 export const DESIGN_KIND = "design";
 export const BUILTIN_KINDS = [
@@ -56,6 +59,15 @@ export const BUILTIN_KINDS = [
         outputs: { from: "none" },
         source: "builtin",
     },
+    {
+        name: REPO_KIND,
+        description: "another repository's workspace, named by URL and pinned revision; chant reads it through that repository's own chant workspace graph and never writes there",
+        probe: { repo: true },
+        precedence: 0,
+        shape: "member",
+        outputs: { from: "none" },
+        source: "builtin",
+    },
     {
         name: "other",
         description: "a directory chant does not read; the entry says why in `because`",
@@ -108,7 +120,9 @@ export function probeKind(kind, tree, dir) {
         return true;
     if ("chantProject" in kind.probe)
         return holdsChantProject(tree, dir);
-    const { anyFile, anyBlock, anyJsonKey } = kind.probe;
+    if ("repo" in kind.probe)
+        return true;
+    const { anyFile, anyBlock, anyJsonKey, anyLine, anyDocument } = kind.probe;
     if (anyFile && filesMatching(tree, dir, anyFile).length > 0)
         return true;
     if (anyJsonKey) {
@@ -123,6 +137,29 @@ export function probeKind(kind, tree, dir) {
             }
         }
     }
+    if (anyLine) {
+        const starts = anyLine.starts.map((t) => t.toLowerCase());
+        for (const file of filesMatching(tree, dir, anyLine.in)) {
+            try {
+                if (tree.read(file).split(/\r?\n/).some((l) => starts.some((t) => l.trimStart().toLowerCase().startsWith(t))))
+                    return true;
+            }
+            catch {
+                // An unreadable file is no evidence either way.
+            }
+        }
+    }
+    if (anyDocument) {
+        for (const file of filesMatching(tree, dir, anyDocument.in)) {
+            try {
+                if (documentsOf(tree.read(file)).some((doc) => anyDocument.match.some((m) => documentMatches(doc, m))))
+                    return true;
+            }
+            catch {
+                // An unreadable file is no evidence either way.
+            }
+        }
+    }
     if (anyBlock) {
         const opener = new RegExp(`^\\s*(?:${anyBlock.blocks.map(escapeRegExp).join("|")})\\s*\\{`, "m");
         for (const file of filesMatching(tree, dir, anyBlock.in)) {
@@ -139,7 +176,7 @@ export function probeKind(kind, tree, dir) {
 }
 /** Whether a probe looks at the directory's files, and so can claim it. */
 function isFileProbe(probe) {
-    return !("directory" in probe) && !("chantProject" in probe);
+    return !("directory" in probe) && !("chantProject" in probe) && !("repo" in probe);
 }
 /**
  * The files directly in `dir` (tree-relative paths) whose names match one of
@@ -154,7 +191,7 @@ function filesMatching(tree, dir, names) {
             out.push(joinPath(dir, name));
     }
     if (globs.length > 0) {
-        const patterns = globs.map((g) => new RegExp(`^${g.split("*").map(escapeRegExp).join("[^/]*")}$`));
+        const patterns = globs.map((g) => new RegExp(`^${g.split("*").map((part) => escapeRegExp(part).replace(/\\\[0-9\\\]/g, "[0-9]")).join("[^/]*")}$`));
         for (const e of tree.list(dir) ?? []) {
             if (e.type === "file" && patterns.some((p) => p.test(e.name)))
                 out.push(joinPath(dir, e.name));
@@ -162,6 +199,36 @@ function filesMatching(tree, dir, names) {
     }
     return out.sort();
 }
+/**
+ * The documents in `text`, read as YAML (which holds JSON). A CloudFormation
+ * short-form tag such as `!Ref` or `!Sub` is not YAML js-yaml knows, so a
+ * file that fails to parse is read again with those tags dropped. Text that
+ * still doesn't parse has no documents.
+ */
+function documentsOf(text) {
+    try {
+        return yaml.loadAll(text);
+    }
+    catch {
+        try {
+            return yaml.loadAll(text.replace(/(^|[\s:\-[,{])!(?:[A-Za-z][\w]*:?)+/gm, "$1"));
+        }
+        catch {
+            return [];
+        }
+    }
+}
+/** Whether every pointer in `match` holds a value matching one of its patterns. */
+function documentMatches(doc, match) {
+    const pointers = Object.entries(match);
+    return (pointers.length > 0 &&
+        pointers.every(([pointer, patterns]) => {
+            const value = atPointer(doc, pointer);
+            if (value === undefined)
+                return false;
+            return patterns.some((pattern) => new RegExp(`^${pattern.split("*").map(escapeRegExp).join(".*")}$`).test(String(value)));
+        }));
+}
 /** The value at JSON Pointer `pointer` in `json`, or undefined when there is none. */
 function atPointer(json, pointer) {
     let at = json;
@@ -274,14 +341,19 @@ export function parseKindData(text, source) {
                 ...(k.probe.anyFile ? { anyFile: [...k.probe.anyFile] } : {}),
                 ...(k.probe.anyBlock ? { anyBlock: { in: [...k.probe.anyBlock.in], blocks: [...k.probe.anyBlock.blocks] } } : {}),
                 ...(k.probe.anyJsonKey ? { anyJsonKey: { in: [...k.probe.anyJsonKey.in], pointers: [...k.probe.anyJsonKey.pointers] } } : {}),
+                ...(k.probe.anyLine ? { anyLine: { in: [...k.probe.anyLine.in], starts: [...k.probe.anyLine.starts] } } : {}),
+                ...(k.probe.anyDocument ? { anyDocument: { in: [...k.probe.anyDocument.in], match: k.probe.anyDocument.match.map((m) => structuredClone(m)) } } : {}),
             },
             precedence: k.precedence,
             shape: "member",
             outputs: { from: "declared", names: [...(k.outputs ?? [])] },
             source,
-            ...(k.graph ? { graph: { lexicon: k.graph.lexicon, config: structuredClone(k.graph.config) } } : {}),
+            ...(k.graph
+                ? { graph: { ...(k.graph.lexicon ? { lexicon: k.graph.lexicon } : {}), ...(k.graph.reader ? { reader: k.graph.reader } : {}), config: structuredClone(k.graph.config ?? {}) } }
+                : {}),
             ...(k.fields ? { fields: structuredClone(k.fields) } : {}),
             ...(k.reader && KIND_LINK_READERS.includes(k.reader) ? { reader: k.reader } : {}),
+            ...(k.memberFile ? { memberFile: { path: k.memberFile.path, schema: k.memberFile.schema } } : {}),
         });
         if (k.reader && !KIND_LINK_READERS.includes(k.reader)) {
             problems.push(`${source}: kind ${k.name} names link reader ${k.reader}, which this chant does not have (it has ${KIND_LINK_READERS.join(", ")}); the kind is kept, and its members' links are only those their entries state`);
@@ -332,7 +404,28 @@ export function readPackageKinds(packageDir, source) {
     const packageName = typeof pkg.name === "string" ? pkg.name : undefined;
     for (const k of data.kinds) {
         k.packageDir = packageDir;
-        if (k.graph && packageName !== lexiconPackageName(k.graph.lexicon)) {
+        if (k.memberFile) {
+            const problem = loadMemberFileSchema(k.memberFile, packageDir);
+            if (problem)
+                data.problems.push(`${name}: kind ${k.name} ${problem}; members of the kind fail WSP012 until it is fixed`);
+        }
+        if (k.graph?.reader) {
+            // A reader module is any package's own file (#4413): it must sit inside the package and exist. Nothing is imported here.
+            const file = resolve(packageDir, ...k.graph.reader.split("/"));
+            const inside = relative(packageDir, file);
+            if (inside.startsWith("..") || isAbsolute(inside)) {
+                data.problems.push(`${name}: kind ${k.name} names graph reader ${k.graph.reader}, which is outside the package; the kind is kept, and workspace graph lists its members with kind-not-run`);
+                delete k.graph;
+            }
+            else if (!existsSync(file)) {
+                data.problems.push(`${name}: kind ${k.name} names graph reader ${k.graph.reader}, which does not exist in the package; the kind is kept, and workspace graph lists its members with kind-not-run`);
+                delete k.graph;
+            }
+            else {
+                k.graph.readerFile = file;
+            }
+        }
+        else if (k.graph?.lexicon && packageName !== lexiconPackageName(k.graph.lexicon)) {
             data.problems.push(`${name}: kind ${k.name} reads its members with lexicon ${k.graph.lexicon}, which is ${lexiconPackageName(k.graph.lexicon)}, ` +
                 `and this package is ${packageName ?? "unnamed"}; the kind is kept, and workspace graph lists its members with kind-not-run`);
             delete k.graph;
@@ -340,6 +433,67 @@ export function readPackageKinds(packageDir, source) {
     }
     return { ...data, file };
 }
+/**
+ * Read and compile a kind's member-file schema from `packageDir` (#3672),
+ * setting `schemaFile` and `validate`. Returns why it can't be used, or
+ * undefined. The schema is a JSON file inside the package; it is data, so
+ * nothing is imported, and a `$ref` outside the file is not followed.
+ */
+export function loadMemberFileSchema(memberFile, packageDir) {
+    const file = resolve(packageDir, ...memberFile.schema.split("/"));
+    memberFile.schemaFile = file;
+    const inside = relative(packageDir, file);
+    if (inside.startsWith("..") || isAbsolute(inside))
+        return `names member-file schema ${memberFile.schema}, which is outside the package`;
+    let doc;
+    try {
+        doc = JSON.parse(readFileSync(file, "utf-8"));
+    }
+    catch (err) {
+        const missing = err.code === "ENOENT";
+        return missing ? `names member-file schema ${memberFile.schema}, which does not exist` : `names member-file schema ${memberFile.schema}, which is not JSON (${err.message})`;
+    }
+    if (doc === null || typeof doc !== "object" || Array.isArray(doc))
+        return `names member-file schema ${memberFile.schema}, which is not a JSON Schema object`;
+    try {
+        const Ajv = loadAjv2020();
+        memberFile.validate = new Ajv({ allErrors: true, strict: false }).compile(doc);
+    }
+    catch (err) {
+        return `names member-file schema ${memberFile.schema}, which does not compile as a draft 2020-12 schema (${err.message})`;
+    }
+    return undefined;
+}
+/**
+ * Check a member's file text against its kind's schema (#3672). `file` is the
+ * file's name, which picks the parser: YAML for `.yml` and `.yaml`, JSON
+ * otherwise. The kind's schema must have loaded; when it didn't, WSP002 has
+ * already said why, and this returns nothing.
+ */
+export function checkMemberFile(memberFile, file, text) {
+    if (!memberFile.validate)
+        return [];
+    let data;
+    try {
+        data = /\.ya?ml$/i.test(file) ? yaml.load(text) : JSON.parse(text);
+    }
+    catch (err) {
+        return [{ pointer: "", message: `is not ${/\.ya?ml$/i.test(file) ? "YAML" : "JSON"} (${err.message.split("\n")[0]})` }];
+    }
+    if (memberFile.validate(data))
+        return [];
+    const seen = new Set();
+    const out = [];
+    for (const e of memberFile.validate.errors ?? []) {
+        const extra = e.params && typeof e.params.additionalProperty === "string" ? ` (${e.params.additionalProperty})` : "";
+        const message = `${e.instancePath || "the file"} ${e.message ?? "is invalid"}${extra}`;
+        if (seen.has(message))
+            continue;
+        seen.add(message);
+        out.push({ pointer: e.instancePath, message });
+    }
+    return out;
+}
 /** The package a lexicon name resolves to. */
 export function lexiconPackageName(lexicon) {
     return `@intentius/chant-lexicon-${lexicon}`;