paperlint 10.3.0 → 10.4.1

package/dist/study-folder.js

@@ -0,0 +1,123 @@
+/**
+ * The one reader of what lies inside a study's folder, `repro/<folder>/<path>`, and of the decision
+ * file that lies elsewhere in the paper. It never follows a symbolic link: a path is walked one
+ * component at a time by the entries of each directory (`ListEntries`, which does not follow links),
+ * and a path that passes through a link — the file itself, or any directory above it — is `linked`,
+ * naming the link, before a single byte is read. Every reader of a study takes a `StudyFolder` and
+ * not `Files`, so a read that follows a link is not what those readers are handed.
+ *
+ * What goes through it, and who builds it (once per run, from the paper's folder):
+ *   - the plan of a row: `repro/study-registered`, `repro/outputs-before-decision`, `studies gate`
+ *     and the index's mode columns;
+ *   - the result file of a row: `repro/study-registered`;
+ *   - whether a row's folder may be entered at all (`refusal`): `studies gate`, `studies index|new`;
+ *   - the decision file's path (`entryAt`): the gate and the order rule.
+ * The outputs of a study are listed through it too (`list`).
+ * A study folder that is itself a link, or a folder name that is not one folder inside `repro/`, is
+ * never entered: its files read as `absent`.
+ *
+ * A link made between the walk and the read is not caught: paperlint guards against accidents, not
+ * against an author who races their own tooling (docs/design/study-modes.md, the threat model).
+ */
+import { join, posix } from "node:path";
+import { callerPath } from "./caller-path.js";
+import { REPRO_DIR } from "./domain/repro-layout.js";
+import { isFolderName, isInside, } from "./domain/study-registry.js";
+/** What a refusal says of the folder a row names: `which <reason>`, and the fix without its full stop. */
+export const folderRefusalText = (why, shown) => why === "not-a-folder"
+    ? {
+        reason: `is not one folder inside ${shown}/${REPRO_DIR}/`,
+        fix: "Give the row its own folder's name",
+    }
+    : {
+        reason: "is a symbolic link",
+        fix: `Give the row a real folder inside ${shown}/${REPRO_DIR}/`,
+    };
+/** What the entry `name` of the directory `dir` is; undefined when there is none. */
+const kindAt = (entries, dir, name) => entries(callerPath(dir)).find((e) => e.name === name)?.kind;
+const ENTRY = {
+    file: { kind: "file" },
+    dir: { kind: "dir" },
+    other: { kind: "other" },
+};
+/**
+ * What the entry `name` below `dir`/`above` is: every component on the way is looked up in its
+ * directory's entries, and the first that is a symbolic link ends the walk (an entry under a
+ * directory that is not there is not listed, so it can be no link).
+ */
+const walk = (dir, above, name, entries) => {
+    const path = [...above, name];
+    const at = path.findIndex((c, i) => kindAt(entries, join(dir, ...path.slice(0, i)), c) === "symlink");
+    if (at >= 0)
+        return { kind: "linked", link: path.slice(0, at + 1).join("/") };
+    const kind = kindAt(entries, join(dir, ...above), name);
+    return kind === undefined || kind === "symlink"
+        ? { kind: "absent" }
+        : ENTRY[kind];
+};
+/** `path` as the directories above its last component, and that component. */
+const split = (path) => {
+    const normal = posix.normalize(path);
+    return {
+        above: posix
+            .dirname(normal)
+            .split("/")
+            .filter((c) => c !== "."),
+        name: posix.basename(normal),
+    };
+};
+/** What `path` in `folder` is, by the entries of the paper folder `paper`; nothing is read. */
+const locateIn = (paper, entries, folder, path) => {
+    // A NUL is no path the disk can hold, and probing one throws; the rest never leaves the folder.
+    if (!isFolderName(folder) || !isInside(path) || path.includes("\0"))
+        return { kind: "absent" };
+    const { above, name } = split(path);
+    // The folder is walked too: one that is a link is never entered, and reads as absent.
+    const found = walk(join(paper, REPRO_DIR), [folder, ...above], name, entries);
+    // A directory or a special file is no file to read: it reads as nothing.
+    if (found.kind === "dir" || found.kind === "other")
+        return { kind: "absent" };
+    if (found.kind !== "linked")
+        return found;
+    return found.link === folder
+        ? { kind: "absent" }
+        : { kind: "linked", link: found.link.slice(folder.length + 1) };
+};
+/** Why `folder` may not be entered in the paper folder `paper`; null when it may. */
+const refusalOf = (paper, entries, folder) => {
+    if (!isFolderName(folder))
+        return "not-a-folder";
+    return kindAt(entries, join(paper, REPRO_DIR), folder) === "symlink"
+        ? "symbolic-link"
+        : null;
+};
+/** Every file under `dir`, relative to it; a link is a file, and is not entered. */
+const filesUnder = (dir, entries, prefix = "") => entries(callerPath(dir)).flatMap(({ name, kind }) => {
+    const rel = prefix === "" ? name : `${prefix}/${name}`;
+    return kind === "dir" ? filesUnder(join(dir, name), entries, rel) : [rel];
+});
+/** The reader of the study folders of the paper folder `paper`. */
+export const studyFolder = (paper, deps) => ({
+    refusal: (folder) => refusalOf(paper, deps.entries, folder),
+    locate: (folder, path) => locateIn(paper, deps.entries, folder, path),
+    read: (folder, path) => {
+        const at = locateIn(paper, deps.entries, folder, path);
+        if (at.kind !== "file")
+            return at;
+        const p = callerPath(join(paper, REPRO_DIR, folder, path));
+        const bytes = deps.files.isFile(p) ? deps.files.readBytes(p) : null;
+        return bytes === null
+            ? { kind: "absent" }
+            : { kind: "text", text: new TextDecoder().decode(bytes) };
+    },
+    list: (folder) => refusalOf(paper, deps.entries, folder) === null
+        ? filesUnder(join(paper, REPRO_DIR, folder), deps.entries)
+        : [],
+    entryAt: (path) => {
+        if (!isInside(path) || path.includes("\0"))
+            return { kind: "absent" };
+        const { above, name } = split(path);
+        return walk(paper, above, name, deps.entries);
+    },
+});
+//# sourceMappingURL=study-folder.js.map

package/dist/study-folder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"study-folder.js","sourceRoot":"","sources":["../src/study-folder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,EACL,YAAY,EACZ,QAAQ,GAET,MAAM,4BAA4B,CAAC;AASpC,0GAA0G;AAC1G,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,GAAkB,EAClB,KAAa,EACsC,EAAE,CACrD,GAAG,KAAK,cAAc;IACpB,CAAC,CAAC;QACE,MAAM,EAAE,4BAA4B,KAAK,IAAI,SAAS,GAAG;QACzD,GAAG,EAAE,oCAAoC;KAC1C;IACH,CAAC,CAAC;QACE,MAAM,EAAE,oBAAoB;QAC5B,GAAG,EAAE,qCAAqC,KAAK,IAAI,SAAS,GAAG;KAChE,CAAC;AAER,qFAAqF;AACrF,MAAM,MAAM,GAAG,CACb,OAAoB,EACpB,GAAW,EACX,IAAY,EACkB,EAAE,CAChC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,IAAI,CAAC;AAE9D,MAAM,KAAK,GACT;IACE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;IACtB,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;IACpB,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;CACzB,CAAC;AAEJ;;;;GAIG;AACH,MAAM,IAAI,GAAG,CACX,GAAW,EACX,KAAwB,EACxB,IAAY,EACZ,OAAoB,EACT,EAAE;IACb,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CACvB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAC3E,CAAC;IACF,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAC9E,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;IACxD,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;QAC7C,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;QACpB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAClB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,MAAM,KAAK,GAAG,CACZ,IAAY,EAIZ,EAAE;IACF,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrC,OAAO;QACL,KAAK,EAAE,KAAK;aACT,OAAO,CAAC,MAAM,CAAC;aACf,KAAK,CAAC,GAAG,CAAC;aACV,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC;QAC3B,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;KAC7B,CAAC;AACJ,CAAC,CAAC;AAEF,+FAA+F;AAC/F,MAAM,QAAQ,GAAG,CACf,KAAa,EACb,OAAoB,EACpB,MAAc,EACd,IAAY,EACH,EAAE;IACX,gGAAgG;IAChG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QACjE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC5B,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACpC,sFAAsF;IACtF,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9E,yEAAyE;IACzE,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC9E,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,OAAO,KAAK,CAAC,IAAI,KAAK,MAAM;QAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;QACpB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;AACpE,CAAC,CAAC;AAEF,qFAAqF;AACrF,MAAM,SAAS,GAAG,CAChB,KAAa,EACb,OAAoB,EACpB,MAAc,EACQ,EAAE;IACxB,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,cAAc,CAAC;IACjD,OAAO,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,KAAK,SAAS;QAClE,CAAC,CAAC,eAAe;QACjB,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEF,oFAAoF;AACpF,MAAM,UAAU,GAAG,CACjB,GAAW,EACX,OAAoB,EACpB,MAAM,GAAG,EAAE,EACQ,EAAE,CACrB,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE;IAClD,MAAM,GAAG,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,IAAI,EAAE,CAAC;IACvD,OAAO,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC;AAEL,mEAAmE;AACnE,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAa,EACb,IAA8D,EACjD,EAAE,CAAC,CAAC;IACjB,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC;IAC3D,MAAM,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC;IACrE,IAAI,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;QACrB,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QACvD,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACpE,OAAO,KAAK,KAAK,IAAI;YACnB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;YACpB,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC9D,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CACf,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,IAAI;QAC7C,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC;QAC1D,CAAC,CAAC,EAAE;IACR,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;QAChB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACtE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACpC,OAAO,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC;CACF,CAAC,CAAC"}

package/dist/study-gate.d.ts

@@ -0,0 +1,14 @@
+import type { Committed, GitHistory } from "./ports/git-history.ts";
+import type { StudyDeps } from "./ports/study-deps.ts";
+import { type StudyRun } from "./study-run.ts";
+export interface GateDeps extends StudyDeps {
+    readonly git: GitHistory;
+}
+/** What a decision's committed state means for the run. */
+export declare const gateLine: (id: string, file: string, c: Committed) => {
+    readonly open: boolean;
+    readonly line: string;
+};
+/** `studies gate`: 0 when the run may start, 1 with the reason when not. */
+export declare function runGate(paper: string, shown: string, id: string, deps: GateDeps): StudyRun;
+//# sourceMappingURL=study-gate.d.ts.map

package/dist/study-gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"study-gate.d.ts","sourceRoot":"","sources":["../src/study-gate.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAGpE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAEvD,OAAO,EAIL,KAAK,QAAQ,EACd,MAAM,gBAAgB,CAAC;AAExB,MAAM,WAAW,QAAS,SAAQ,SAAS;IACzC,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;CAC1B;AAoBD,2DAA2D;AAC3D,eAAO,MAAM,QAAQ,GACnB,IAAI,MAAM,EACV,MAAM,MAAM,EACZ,GAAG,SAAS,KACX;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAMA,CAAC;AAgJnD,4EAA4E;AAC5E,wBAAgB,OAAO,CACrB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,EACb,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,QAAQ,GACb,QAAQ,CAeV"}

package/dist/study-gate.js

@@ -0,0 +1,132 @@
+/**
+ * `paperlint studies gate <paper-dir> <id>` — may the study's run start? For a study decided before
+ * its run (the default mode), only once its decision file exists and is committed as it stands: exit 0
+ * with the commit and its date, else exit 1 saying why. A runner calls it first:
+ *
+ *   npx paperlint studies gate papers/my-paper P1-S03 && ./run.sh
+ *
+ * An exploratory study has no gate: it exits 0 and says so. A study that declares no mode, names no
+ * decision file, whose row names a folder that is not one inside `repro/`, or whose id two rows
+ * share, is refused.
+ */
+import { join } from "node:path";
+import { callerPath } from "./caller-path.js";
+import { decisionEntry, readModeStudy } from "./study-modes.js";
+import { REPRO_DIR } from "./domain/repro-layout.js";
+import { decisionAsOutput } from "./domain/study-mode.js";
+import { STUDIES_FILE, studiesOf, studyById, } from "./domain/study-registry.js";
+import { folderRefusalText, studyFolder } from "./study-folder.js";
+import { registryOf } from "./study-registry-rule.js";
+import { refusal, refused, } from "./study-run.js";
+/** The line of a committed state that holds the run back. */
+const shutLine = (id, file, c) => {
+    switch (c.kind) {
+        case "changed":
+            return `${id}: the decision ${file} has changed since its last commit, ${c.commit}; the run waits for the decision as committed. Commit it, then run this again.`;
+        case "deleted":
+            return `${id}: the decision ${file} is not in HEAD: it was deleted in ${c.commit}; the run waits for a decision that stands. Restore it, commit it, then run this again.`;
+        case "not-committed":
+            return `${id}: the decision ${file} is not committed; the run waits for it. Write the decision there, commit it, then run this again.`;
+        case "unknown":
+            return `${id}: git could not say whether the decision ${file} is committed: ${c.why}.`;
+    }
+};
+/** What a decision's committed state means for the run. */
+export const gateLine = (id, file, c) => c.kind === "committed"
+    ? {
+        open: true,
+        line: `${id}: the decision ${file} is committed in ${c.commit} (${c.date}); the run may start.`,
+    }
+    : { open: false, line: shutLine(id, file, c) };
+/**
+ * Why the decision cannot gate the run though it is named: its own outputs match it, or it is a
+ * directory (git answers for a directory with the last commit of anything under it); null when usable.
+ */
+const unusable = ({ id, folder: studyDir }, mode, folder) => {
+    const file = mode.decision.file;
+    const glob = decisionAsOutput(studyDir, mode);
+    if (glob !== null)
+        return refusal(`${id}: its decision ${file} is matched by its output \`${glob}\`; a decision cannot be what its own run produces.`);
+    const on = decisionEntry(folder, file);
+    switch (on.kind) {
+        case "not-a-file":
+            return refusal(`${id}: its decision ${file} is a ${on.what}, not a file; the run cannot be gated on it. Name the decision file in \`mode.decision.file\`.`);
+        case "linked":
+            return refusal(`${id}: its decision ${file} passes through the symbolic link \`${on.link}\`; git records the link, not the files behind it, so the run cannot be gated on it. Name a decision file that lies in real directories in \`mode.decision.file\`.`);
+        case "ok":
+            return null;
+    }
+};
+/** The gate of a decide-first study. */
+const gateDecided = ({ paper, folder, deps }, row, mode) => {
+    const { id } = row;
+    const file = mode.decision.file;
+    const blocked = unusable(row, mode, folder);
+    if (blocked !== null)
+        return refused(blocked);
+    const g = gateLine(id, file, deps.git.committed(callerPath(paper), callerPath(join(paper, file))));
+    return g.open ? { ok: true, lines: [g.line] } : refused(refusal(g.line));
+};
+/** The refusal when the row names a folder that may not be entered; null when it may. */
+const escapingRow = (shown, row, folder) => {
+    const why = folder.refusal(row.folder);
+    if (why === null)
+        return null;
+    const { reason, fix } = folderRefusalText(why, shown);
+    return refusal(`${row.id}: its row names the folder \`${row.folder}\`, which ${reason}; nothing is read through it. ${fix}.`);
+};
+/** The refusal of an id that two or more rows carry: the gate answers for exactly one study. */
+const ambiguousRefusal = (shown, id, rows) => refusal(`${id}: ${String(rows.length)} rows of ${shown}/${REPRO_DIR}/${STUDIES_FILE} carry this id (folders ${rows.map((x) => `\`${x.folder}\``).join(", ")}); the gate answers for exactly one study. Give each other row the next free id and rename its folder to match, then run this again.`);
+/** The refusal of a study whose plan is still a draft: a mode decides nothing until its plan is ready. */
+const draftRefusal = (id, s) => {
+    const names = s.empty.map((f) => `\`${f}\``).join(", ");
+    const verb = s.empty.length === 1 ? "is" : "are";
+    return refusal(`${id}: its ${s.plan} is a draft — ${names} ${verb} empty; the run waits for a ready plan. Fill it in, then run this again.`);
+};
+/** The gate of the one row `row`. */
+const gateRow = (run, row) => {
+    const { shown, folder, deps } = run;
+    const escaping = escapingRow(shown, row, folder);
+    if (escaping !== null)
+        return refused(escaping);
+    const read = readModeStudy(row, folder, deps.codec);
+    if (read.kind === "linked")
+        return refused(linkedPlanRefusal(shown, row, read.link));
+    if (read.kind === "none")
+        return refused(noModeRefusal(shown, row.id));
+    const s = read.study;
+    if (s.empty.length > 0)
+        return refused(draftRefusal(row.id, s));
+    return s.mode.kind === "decide_before_run"
+        ? gateDecided(run, s.row, s.mode)
+        : {
+            ok: true,
+            lines: [
+                `${row.id} is exploratory (${s.mode.reason}): it has no gate, and its results are reported as exploratory.`,
+            ],
+        };
+};
+/** The refusal of a plan whose path passes through a symbolic link. */
+const linkedPlanRefusal = (shown, row, link) => refusal(`${row.id}: the plan its row names, in ${shown}/${REPRO_DIR}/${row.folder}, passes through the symbolic link \`${link}\`; nothing is read through a link. Replace the link with the plan file itself, then run this again.`);
+/** The refusal of an id no row declares a mode for. */
+const noModeRefusal = (shown, id) => refusal(`${id} declares no mode in ${shown}: the plan its row names in ${shown}/${REPRO_DIR}/${STUDIES_FILE} is missing, does not parse, or has no \`mode\`. Lint the paper (\`npx paperlint lint\`) to see why.`);
+/** The refusal of an id that no row of the registry carries. */
+const unknownIdRefusal = (shown, id) => refusal(`${id}: no row of ${shown}/${REPRO_DIR}/${STUDIES_FILE} carries this id. Use an id from the registry, or register the study with \`npx paperlint studies new\`, then run this again.`);
+/** The refusal of a registry that is not there or does not parse: no row can carry the id. */
+const registryRefusal = (shown, id, r) => refusal(`${id}: the registry ${shown}/${REPRO_DIR}/${STUDIES_FILE} ${r.kind === "absent" ? "is missing" : `does not parse (${r.why})`}, so no row can carry this id. Run \`npx paperlint lint\` to see why, then run this again.`);
+/** `studies gate`: 0 when the run may start, 1 with the reason when not. */
+export function runGate(paper, shown, id, deps) {
+    const r = registryOf(paper, deps);
+    if (r.kind !== "read")
+        return refused(registryRefusal(shown, id, r));
+    const found = studyById(studiesOf(r), id);
+    switch (found.kind) {
+        case "none":
+            return refused(unknownIdRefusal(shown, id));
+        case "ambiguous":
+            return refused(ambiguousRefusal(shown, id, found.rows));
+        case "one":
+            return gateRow({ paper, shown, folder: studyFolder(paper, deps), deps }, found.row);
+    }
+}
+//# sourceMappingURL=study-gate.js.map

package/dist/study-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"study-gate.js","sourceRoot":"","sources":["../src/study-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,aAAa,EAAkB,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAoB,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EACL,YAAY,EACZ,SAAS,EAET,SAAS,GAEV,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEnE,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EACL,OAAO,EACP,OAAO,GAGR,MAAM,gBAAgB,CAAC;AAMxB,6DAA6D;AAC7D,MAAM,QAAQ,GAAG,CACf,EAAU,EACV,IAAY,EACZ,CAAqD,EAC7C,EAAE;IACV,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,GAAG,EAAE,kBAAkB,IAAI,uCAAuC,CAAC,CAAC,MAAM,gFAAgF,CAAC;QACpK,KAAK,SAAS;YACZ,OAAO,GAAG,EAAE,kBAAkB,IAAI,sCAAsC,CAAC,CAAC,MAAM,yFAAyF,CAAC;QAC5K,KAAK,eAAe;YAClB,OAAO,GAAG,EAAE,kBAAkB,IAAI,oGAAoG,CAAC;QACzI,KAAK,SAAS;YACZ,OAAO,GAAG,EAAE,4CAA4C,IAAI,kBAAkB,CAAC,CAAC,GAAG,GAAG,CAAC;IAC3F,CAAC;AACH,CAAC,CAAC;AAEF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,EAAU,EACV,IAAY,EACZ,CAAY,EACuC,EAAE,CACrD,CAAC,CAAC,IAAI,KAAK,WAAW;IACpB,CAAC,CAAC;QACE,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,GAAG,EAAE,kBAAkB,IAAI,oBAAoB,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,uBAAuB;KAChG;IACH,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;AAEnD;;;GAGG;AACH,MAAM,QAAQ,GAAG,CACf,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAgC,EACtD,IAAiB,EACjB,MAAmB,EACE,EAAE;IACvB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAChC,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC9C,IAAI,IAAI,KAAK,IAAI;QACf,OAAO,OAAO,CACZ,GAAG,EAAE,kBAAkB,IAAI,+BAA+B,IAAI,qDAAqD,CACpH,CAAC;IACJ,MAAM,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACvC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,YAAY;YACf,OAAO,OAAO,CACZ,GAAG,EAAE,kBAAkB,IAAI,SAAS,EAAE,CAAC,IAAI,gGAAgG,CAC5I,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,OAAO,CACZ,GAAG,EAAE,kBAAkB,IAAI,uCAAuC,EAAE,CAAC,IAAI,oKAAoK,CAC9O,CAAC;QACJ,KAAK,IAAI;YACP,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAUF,wCAAwC;AACxC,MAAM,WAAW,GAAG,CAClB,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAW,EAChC,GAAU,EACV,IAAiB,EACP,EAAE;IACZ,MAAM,EAAE,EAAE,EAAE,GAAG,GAAG,CAAC;IACnB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAChC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9C,MAAM,CAAC,GAAG,QAAQ,CAChB,EAAE,EACF,IAAI,EACJ,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CACrE,CAAC;IACF,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF,yFAAyF;AACzF,MAAM,WAAW,GAAG,CAClB,KAAa,EACb,GAAU,EACV,MAAmB,EACE,EAAE;IACvB,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACtD,OAAO,OAAO,CACZ,GAAG,GAAG,CAAC,EAAE,gCAAgC,GAAG,CAAC,MAAM,aAAa,MAAM,iCAAiC,GAAG,GAAG,CAC9G,CAAC;AACJ,CAAC,CAAC;AAEF,gGAAgG;AAChG,MAAM,gBAAgB,GAAG,CACvB,KAAa,EACb,EAAU,EACV,IAAsB,EACR,EAAE,CAChB,OAAO,CACL,GAAG,EAAE,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,KAAK,IAAI,SAAS,IAAI,YAAY,2BAA2B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sIAAsI,CAC1R,CAAC;AAEJ,0GAA0G;AAC1G,MAAM,YAAY,GAAG,CAAC,EAAU,EAAE,CAAY,EAAgB,EAAE;IAC9D,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;IACjD,OAAO,OAAO,CACZ,GAAG,EAAE,SAAS,CAAC,CAAC,IAAI,iBAAiB,KAAK,IAAI,IAAI,0EAA0E,CAC7H,CAAC;AACJ,CAAC,CAAC;AAEF,qCAAqC;AACrC,MAAM,OAAO,GAAG,CAAC,GAAY,EAAE,GAAU,EAAY,EAAE;IACrD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;IACpC,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IACjD,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QACxB,OAAO,OAAO,CAAC,iBAAiB,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,OAAO,CAAC,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;IACrB,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAChE,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;QACxC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC;QACjC,CAAC,CAAC;YACE,EAAE,EAAE,IAAI;YACR,KAAK,EAAE;gBACL,GAAG,GAAG,CAAC,EAAE,oBAAoB,CAAC,CAAC,IAAI,CAAC,MAAM,iEAAiE;aAC5G;SACF,CAAC;AACR,CAAC,CAAC;AAEF,uEAAuE;AACvE,MAAM,iBAAiB,GAAG,CACxB,KAAa,EACb,GAAU,EACV,IAAY,EACE,EAAE,CAChB,OAAO,CACL,GAAG,GAAG,CAAC,EAAE,gCAAgC,KAAK,IAAI,SAAS,IAAI,GAAG,CAAC,MAAM,wCAAwC,IAAI,sGAAsG,CAC5N,CAAC;AAEJ,uDAAuD;AACvD,MAAM,aAAa,GAAG,CAAC,KAAa,EAAE,EAAU,EAAgB,EAAE,CAChE,OAAO,CACL,GAAG,EAAE,wBAAwB,KAAK,+BAA+B,KAAK,IAAI,SAAS,IAAI,YAAY,sGAAsG,CAC1M,CAAC;AAEJ,gEAAgE;AAChE,MAAM,gBAAgB,GAAG,CAAC,KAAa,EAAE,EAAU,EAAgB,EAAE,CACnE,OAAO,CACL,GAAG,EAAE,eAAe,KAAK,IAAI,SAAS,IAAI,YAAY,+HAA+H,CACtL,CAAC;AAEJ,8FAA8F;AAC9F,MAAM,eAAe,GAAG,CACtB,KAAa,EACb,EAAU,EACV,CAAoD,EACtC,EAAE,CAChB,OAAO,CACL,GAAG,EAAE,kBAAkB,KAAK,IAAI,SAAS,IAAI,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,GAAG,4FAA4F,CAC1N,CAAC;AAEJ,4EAA4E;AAC5E,MAAM,UAAU,OAAO,CACrB,KAAa,EACb,KAAa,EACb,EAAU,EACV,IAAc;IAEd,MAAM,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;QAC9C,KAAK,WAAW;YACd,OAAO,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,KAAK,KAAK;YACR,OAAO,OAAO,CACZ,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,EACxD,KAAK,CAAC,GAAG,CACV,CAAC;IACN,CAAC;AACH,CAAC"}

package/dist/study-index-input.d.ts

@@ -0,0 +1,5 @@
+import { type IndexInput, type RegistryState } from "./domain/study-registry.ts";
+import { type OrderDeps } from "./outputs-before-decision-rule.ts";
+/** The plans and the histories of the paper folder `paper`, whose registry is `r`. */
+export declare const indexInputOf: (paper: string, r: RegistryState, deps: OrderDeps) => IndexInput;
+//# sourceMappingURL=study-index-input.d.ts.map

package/dist/study-index-input.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"study-index-input.d.ts","sourceRoot":"","sources":["../src/study-index-input.ts"],"names":[],"mappings":"AAKA,OAAO,EAEL,KAAK,UAAU,EACf,KAAK,aAAa,EACnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAEL,KAAK,SAAS,EACf,MAAM,mCAAmC,CAAC;AAI3C,sFAAsF;AACtF,eAAO,MAAM,YAAY,GACvB,OAAO,MAAM,EACb,GAAG,aAAa,EAChB,MAAM,SAAS,KACd,UAQD,CAAC"}

package/dist/study-index-input.js

@@ -0,0 +1,18 @@
+/**
+ * What `paperlint studies index` and `studies new` generate the index from beyond the registry: each
+ * row's plan, and each decide-first study's history as git gives it now (src/domain/index-columns.ts).
+ */
+import { indexHistory } from "./domain/index-columns.js";
+import { folderKey, } from "./domain/study-registry.js";
+import { decideFirstStudies, } from "./outputs-before-decision-rule.js";
+import { studyFolder } from "./study-folder.js";
+import { plansOf } from "./study-registry-rule.js";
+/** The plans and the histories of the paper folder `paper`, whose registry is `r`. */
+export const indexInputOf = (paper, r, deps) => ({
+    plans: plansOf(r, studyFolder(paper, deps), deps.codec),
+    history: new Map(decideFirstStudies(paper, deps).map((s) => [
+        folderKey(s.folder, s.plan),
+        indexHistory(s),
+    ])),
+});
+//# sourceMappingURL=study-index-input.js.map

package/dist/study-index-input.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"study-index-input.js","sourceRoot":"","sources":["../src/study-index-input.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EACL,SAAS,GAGV,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,kBAAkB,GAEnB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAEnD,sFAAsF;AACtF,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,KAAa,EACb,CAAgB,EAChB,IAAe,EACH,EAAE,CAAC,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC;IACvD,OAAO,EAAE,IAAI,GAAG,CACd,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACzC,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC;QAC3B,YAAY,CAAC,CAAC,CAAC;KAChB,CAAC,CACH;CACF,CAAC,CAAC"}

package/dist/study-modes.d.ts

@@ -0,0 +1,56 @@
+import type { NotAFile } from "./domain/decide-first.ts";
+import type { StudyMode } from "./domain/study-mode.ts";
+import { type PlanTextField, type RegistryState, type Study } from "./domain/study-registry.ts";
+import type { StudyRegistryCodec } from "./ports/study-registry-codec.ts";
+import type { StudyFolder } from "./ports/study-folder.ts";
+/** Whether a decision path is one git can vouch for: a file or nothing yet; else why not. */
+export type DecisionEntry = {
+    readonly kind: "ok";
+} | {
+    readonly kind: "not-a-file";
+    readonly what: NotAFile;
+} | {
+    readonly kind: "linked";
+    readonly link: string;
+};
+/**
+ * What the decision file `file` (relative to the paper) is, read through `folder` without following
+ * a link: a decision must be a regular file in real directories — git answers for a directory with
+ * the commits of anything under it, for a link with the link and not the file it points to, and for a
+ * path through a linked directory with what lies behind the link.
+ */
+export declare const decisionEntry: (folder: StudyFolder, file: string) => DecisionEntry;
+/**
+ * A study whose plan parsed with a mode: its row, the plan's path in its folder, the mode, and the
+ * plan's empty texts — none when it is ready. Only a ready plan's mode decides anything: a draft may
+ * name no outputs, or an empty decision file.
+ */
+export interface ModeStudy {
+    readonly row: Study;
+    readonly plan: string;
+    readonly mode: StudyMode;
+    readonly empty: readonly PlanTextField[];
+}
+/** What reading the plan of one row gave: its mode study, nothing, or a link on the way to it. */
+export type ModeRead = {
+    readonly kind: "mode";
+    readonly study: ModeStudy;
+} | {
+    readonly kind: "none";
+} | {
+    readonly kind: "linked";
+    readonly link: string;
+};
+/**
+ * The plan of the row `s`, read through `folder` (`src/study-folder.ts`, which follows no link and
+ * enters no folder that is not one inside `repro/`): its mode study when the plan parsed with a
+ * mode; a link on the way to it; else nothing.
+ */
+export declare const readModeStudy: (s: Study, folder: StudyFolder, codec: StudyRegistryCodec) => ModeRead;
+/**
+ * Every study of the registry `r` whose plan declares a mode, in registry order. A plan that does
+ * not parse, or is reached through a link, is `repro/study-registered`'s to report; here it declares
+ * nothing.
+ */
+export declare const modeStudies: (r: RegistryState, folder: StudyFolder, codec: StudyRegistryCodec) => readonly ModeStudy[];
+//# sourceMappingURL=study-modes.d.ts.map

package/dist/study-modes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"study-modes.d.ts","sourceRoot":"","sources":["../src/study-modes.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAEL,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,KAAK,EACX,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAE3D,6FAA6F;AAC7F,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GACxD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD;;;;;GAKG;AACH,eAAO,MAAM,aAAa,GACxB,QAAQ,WAAW,EACnB,MAAM,MAAM,KACX,aAQF,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;CAC1C;AAED,kGAAkG;AAClG,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD;;;;GAIG;AACH,eAAO,MAAM,aAAa,GACxB,GAAG,KAAK,EACR,QAAQ,WAAW,EACnB,OAAO,kBAAkB,KACxB,QAcF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,WAAW,GACtB,GAAG,aAAa,EAChB,QAAQ,WAAW,EACnB,OAAO,kBAAkB,KACxB,SAAS,SAAS,EAMlB,CAAC"}

package/dist/study-modes.js

@@ -0,0 +1,59 @@
+/**
+ * Reading a paper's studies with their modes: each registered study whose `plan.json` parses with a
+ * `mode`, and how a decision's path stands. What `repro/outputs-before-decision`, `studies gate`
+ * and the index's mode columns read with (docs/design/study-modes.md). A row whose folder is not one
+ * folder inside `repro/` is never read through.
+ */
+import { posix } from "node:path";
+import { filter, map, pipe } from "remeda";
+import { studiesOf, } from "./domain/study-registry.js";
+/**
+ * What the decision file `file` (relative to the paper) is, read through `folder` without following
+ * a link: a decision must be a regular file in real directories — git answers for a directory with
+ * the commits of anything under it, for a link with the link and not the file it points to, and for a
+ * path through a linked directory with what lies behind the link.
+ */
+export const decisionEntry = (folder, file) => {
+    const at = folder.entryAt(file);
+    if (at.kind === "dir")
+        return { kind: "not-a-file", what: "directory" };
+    if (at.kind === "other")
+        return { kind: "not-a-file", what: "special file" };
+    if (at.kind !== "linked")
+        return { kind: "ok" };
+    return at.link === posix.normalize(file)
+        ? { kind: "not-a-file", what: "symbolic link" }
+        : at;
+};
+/**
+ * The plan of the row `s`, read through `folder` (`src/study-folder.ts`, which follows no link and
+ * enters no folder that is not one inside `repro/`): its mode study when the plan parsed with a
+ * mode; a link on the way to it; else nothing.
+ */
+export const readModeStudy = (s, folder, codec) => {
+    const plan = s.plan;
+    if (plan === undefined)
+        return { kind: "none" };
+    const read = folder.read(s.folder, plan);
+    if (read.kind === "linked")
+        return read;
+    if (read.kind === "absent")
+        return { kind: "none" };
+    const parsed = codec.parsePlan(read.text, s.kind);
+    if (parsed.kind === "unreadable" || parsed.plan.mode === undefined)
+        return { kind: "none" };
+    const empty = parsed.kind === "draft" ? parsed.empty : [];
+    return {
+        kind: "mode",
+        study: { row: s, plan, mode: parsed.plan.mode, empty },
+    };
+};
+/**
+ * Every study of the registry `r` whose plan declares a mode, in registry order. A plan that does
+ * not parse, or is reached through a link, is `repro/study-registered`'s to report; here it declares
+ * nothing.
+ */
+export const modeStudies = (r, folder, codec) => pipe(studiesOf(r), map((s) => readModeStudy(s, folder, codec)), filter(isMode), map((m) => m.study));
+/** A plan read that declared a mode. */
+const isMode = (m) => m.kind === "mode";
+//# sourceMappingURL=study-modes.js.map

package/dist/study-modes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"study-modes.js","sourceRoot":"","sources":["../src/study-modes.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAG3C,OAAO,EACL,SAAS,GAIV,MAAM,4BAA4B,CAAC;AAUpC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,MAAmB,EACnB,IAAY,EACG,EAAE;IACjB,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACxE,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;IAC7E,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAChD,OAAO,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC;QACtC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE;QAC/C,CAAC,CAAC,EAAE,CAAC;AACT,CAAC,CAAC;AAoBF;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,CAAQ,EACR,MAAmB,EACnB,KAAyB,EACf,EAAE;IACZ,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;IACpB,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAChD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACpD,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QAChE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1D,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;KACvD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,CAAgB,EAChB,MAAmB,EACnB,KAAyB,EACH,EAAE,CACxB,IAAI,CACF,SAAS,CAAC,CAAC,CAAC,EACZ,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,EAC3C,MAAM,CAAC,MAAM,CAAC,EACd,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CACpB,CAAC;AAEJ,wCAAwC;AACxC,MAAM,MAAM,GAAG,CAAC,CAAW,EAA4C,EAAE,CACvE,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC"}

package/dist/study-registry-rule.d.ts

@@ -1,13 +1,25 @@
-import { type RegistryState, type StudyFinding } from "./domain/study-registry.ts";
+import { type PlanState, type RegistryState, type StudyFinding } from "./domain/study-registry.ts";
 import type { FolderLayoutDeps } from "./folder-layout-rule.ts";
 import type { FolderRuleModule } from "./folder-venue-rule.ts";
+import type { Files } from "./ports/files.ts";
+import type { ListEntries } from "./ports/list-entries.ts";
 import type { StudyRegistryCodec } from "./ports/study-registry-codec.ts";
+import type { StudyFolder } from "./ports/study-folder.ts";
 /** What the rule reads with: the disk, its listings, and the registry's parser. */
 export interface StudyRegistryDeps extends FolderLayoutDeps {
     readonly codec: StudyRegistryCodec;
+    /** `repro/`'s entries, links not followed: a study folder that is a link is never read through. */
+    readonly entries: ListEntries;
 }
+/** The text of the file at `p`; null when there is none, or a directory sits there. */
+export declare const textAt: (files: Files, p: string) => string | null;
 /** The registry of the paper folder `dir`: absent, unreadable with why, or read. */
 export declare function registryOf(dir: string, deps: Pick<StudyRegistryDeps, "files" | "codec">): RegistryState;
+/**
+ * The plan each row of `r` names, read and parsed, by `<folder>/<plan>`; a plan not there is left out.
+ * A plan still named `prereg.json` is parsed by the loose schema of its old name.
+ */
+export declare const plansOf: (r: RegistryState, folder: StudyFolder, codec: StudyRegistryCodec) => ReadonlyMap<string, PlanState>;
 /** Every finding of the paper folder `dir`'s study registry — THE function behind both rules. */
 export declare function studyFindings(dir: string, deps: StudyRegistryDeps): readonly StudyFinding[];
 /**

package/dist/study-registry-rule.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"study-registry-rule.d.ts","sourceRoot":"","sources":["../src/study-registry-rule.ts"],"names":[],"mappings":"AA2BA,OAAO,EAQL,KAAK,aAAa,EAClB,KAAK,YAAY,EAClB,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAEV,gBAAgB,EACjB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAM1E,mFAAmF;AACnF,MAAM,WAAW,iBAAkB,SAAQ,gBAAgB;IACzD,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;CACpC;AAQD,oFAAoF;AACpF,wBAAgB,UAAU,CACxB,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,IAAI,CAAC,iBAAiB,EAAE,OAAO,GAAG,OAAO,CAAC,GAC/C,aAAa,CAOf;AAwDD,iGAAiG;AACjG,wBAAgB,aAAa,CAC3B,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,iBAAiB,GACtB,SAAS,YAAY,EAAE,CASzB;AA+DD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,iBAAiB,GACtB,QAAQ,CAAC,MAAM,CAAC,kBAAkB,GAAG,iBAAiB,EAAE,gBAAgB,CAAC,CAAC,CAqB5E;AAED,mGAAmG;AACnG,eAAO,MAAM,0BAA0B,EAAE,QAAQ,CAAC;IAChD,wBAAwB,EAAE,OAAO,CAAC;IAClC,uBAAuB,EAAE,MAAM,CAAC;CACjC,CAA0E,CAAC"}
+{"version":3,"file":"study-registry-rule.d.ts","sourceRoot":"","sources":["../src/study-registry-rule.ts"],"names":[],"mappings":"AA4BA,OAAO,EASL,KAAK,SAAS,EACd,KAAK,aAAa,EAElB,KAAK,YAAY,EAGlB,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAEV,gBAAgB,EACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAE1E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAM3D,mFAAmF;AACnF,MAAM,WAAW,iBAAkB,SAAQ,gBAAgB;IACzD,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;IACnC,mGAAmG;IACnG,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;CAC/B;AAED,uFAAuF;AACvF,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,GAAG,MAAM,KAAG,MAAM,GAAG,IAGzD,CAAC;AAEF,oFAAoF;AACpF,wBAAgB,UAAU,CACxB,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,IAAI,CAAC,iBAAiB,EAAE,OAAO,GAAG,OAAO,CAAC,GAC/C,aAAa,CAOf;AAoCD;;;GAGG;AACH,eAAO,MAAM,OAAO,GAClB,GAAG,aAAa,EAChB,QAAQ,WAAW,EACnB,OAAO,kBAAkB,KACxB,WAAW,CAAC,MAAM,EAAE,SAAS,CAQ7B,CAAC;AAqBJ,iGAAiG;AACjG,wBAAgB,aAAa,CAC3B,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,iBAAiB,GACtB,SAAS,YAAY,EAAE,CAUzB;AA+DD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,iBAAiB,GACtB,QAAQ,CAAC,MAAM,CAAC,kBAAkB,GAAG,iBAAiB,EAAE,gBAAgB,CAAC,CAAC,CAqB5E;AAED,mGAAmG;AACnG,eAAO,MAAM,0BAA0B,EAAE,QAAQ,CAAC;IAChD,wBAAwB,EAAE,OAAO,CAAC;IAClC,uBAAuB,EAAE,MAAM,CAAC;CACjC,CAA0E,CAAC"}

package/dist/study-registry-rule.js

@@ -18,14 +18,16 @@
  * file in `repro/`.
  */
 import { basename, dirname, join, posix } from "node:path";
+import { filter, map, pipe } from "remeda";
 import { callerPath } from "./caller-path.js";
 import { README, REPRO_BYPRODUCTS, REPRO_DIR, REPRO_DIRS, } from "./domain/repro-layout.js";
-import { LEGACY_PLAN_FILE, PLAN_NAME_PROBLEMS, STUDIES_FILE, judgeStudies, planKeys, studyMessage, } from "./domain/study-registry.js";
+import { LEGACY_PLAN_FILE, PLAN_NAME_PROBLEMS, STUDIES_FILE, judgeStudies, folderKey, planRefs, studiesOf, studyMessage, } from "./domain/study-registry.js";
 import { reproEntriesOf } from "./repro-layout-rule.js";
+import { studyFolder } from "./study-folder.js";
 import { rulePageUrl } from "./venue-rules.js";
 const STATUS_FILE = "PIPELINE-STATUS.md";
 /** The text of the file at `p`; null when there is none, or a directory sits there. */
-const textAt = (files, p) => {
+export const textAt = (files, p) => {
     const b = files.isFile(callerPath(p)) ? files.readBytes(callerPath(p)) : null;
     return b === null ? null : new TextDecoder().decode(b);
 };
@@ -45,37 +47,47 @@ const studyFolders = (dir, deps) => reproEntriesOf(dir, deps)
     !REPRO_DIRS.includes(e.name) &&
     !REPRO_BYPRODUCTS.includes(e.name))
     .map((e) => e.name);
-/** Each `<folder>/<result_file>` of `r` that is a file. */
-const existingResults = (dir, r, files) => new Set((r.kind === "read" ? r.registry.studies : [])
-    .flatMap((s) => s.result_file === undefined ? [] : [`${s.folder}/${s.result_file}`])
-    // A NUL is no path the disk can hold, and probing one throws: such a row reads as missing.
-    .filter((p) => !p.includes("\0") &&
-    files.isFile(callerPath(join(dir, REPRO_DIR, p)))));
+/** What each `<folder>/<result_file>` of `r`'s rows is, as the study folder's reader finds it. */
+const resultsOf = (r, folder) => pipe(studiesOf(r), filter(hasResultFile), map((s) => [
+    folderKey(s.folder, s.result_file),
+    folder.locate(s.folder, s.result_file),
+]), (entries) => new Map(entries));
+/** A row that names a result file. */
+const hasResultFile = (s) => s.result_file !== undefined;
 /**
  * The plan each row of `r` names, read and parsed, by `<folder>/<plan>`; a plan not there is left out.
  * A plan still named `prereg.json` is parsed by the loose schema of its old name.
  */
-const plansOf = (dir, r, deps) => new Map((r.kind === "read" ? planKeys(r.registry) : [])
-    // A NUL is no path the disk can hold, and probing one throws: such a plan reads as missing.
-    .filter((key) => !key.includes("\0"))
-    .flatMap((key) => {
-    const text = textAt(deps.files, join(dir, REPRO_DIR, key));
-    if (text === null)
-        return [];
-    const parse = posix.basename(key) === LEGACY_PLAN_FILE
-        ? deps.codec.parseLegacyPlan
-        : deps.codec.parsePlan;
-    return [[key, parse(text)]];
+export const plansOf = (r, folder, codec) => new Map((r.kind === "read" ? planRefs(r.registry) : []).flatMap((ref) => {
+    const state = planStateOf(ref, folder, codec);
+    return state === null
+        ? []
+        : [[folderKey(ref.folder, ref.plan), state]];
 }));
+/** The state of the plan `ref` names, read through `folder`; null when it is not there. */
+const planStateOf = ({ folder: of, plan, kind }, folder, codec) => {
+    const read = folder.read(of, plan);
+    switch (read.kind) {
+        case "absent":
+            return null;
+        case "linked":
+            return { kind: "linked", link: read.link };
+        case "text":
+            return posix.basename(plan) === LEGACY_PLAN_FILE
+                ? codec.parseLegacyPlan(read.text)
+                : codec.parsePlan(read.text, kind);
+    }
+};
 /** Every finding of the paper folder `dir`'s study registry — THE function behind both rules. */
 export function studyFindings(dir, deps) {
     const registry = registryOf(dir, deps);
+    const folder = studyFolder(dir, deps);
     return judgeStudies({
         folders: studyFolders(dir, deps),
         registry,
         readme: textAt(deps.files, join(dir, REPRO_DIR, README)),
-        existingResults: existingResults(dir, registry, deps.files),
-        plans: plansOf(dir, registry, deps),
+        results: resultsOf(registry, folder),
+        plans: plansOf(registry, folder, deps.codec),
     });
 }
 /** The problems `repro/study-registered` reports, each its own message id; the text is `studyMessage`. */

package/dist/study-registry-rule.js.map

@@ -1 +1 @@
-{"version":3,"file":"study-registry-rule.js","sourceRoot":"","sources":["../src/study-registry-rule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EACL,MAAM,EACN,gBAAgB,EAChB,SAAS,EACT,UAAU,GACX,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,gBAAgB,EAChB,kBAAkB,EAClB,YAAY,EACZ,YAAY,EACZ,QAAQ,EACR,YAAY,GAIb,MAAM,4BAA4B,CAAC;AAQpC,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,MAAM,WAAW,GAAG,oBAAoB,CAAC;AAOzC,uFAAuF;AACvF,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,CAAS,EAAiB,EAAE;IACxD,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF,oFAAoF;AACpF,MAAM,UAAU,UAAU,CACxB,GAAW,EACX,IAAgD;IAEhD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;IACpE,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtC,OAAO,MAAM,CAAC,EAAE;QACd,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE;QAC7C,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;AAC9C,CAAC;AAED,2GAA2G;AAC3G,MAAM,YAAY,GAAG,CAAC,GAAW,EAAE,IAAsB,EAAqB,EAAE,CAC9E,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC;KACtB,MAAM,CACL,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,KAAK;IAChB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5B,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CACrC;KACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAExB,2DAA2D;AAC3D,MAAM,eAAe,GAAG,CACtB,GAAW,EACX,CAAgB,EAChB,KAAY,EACS,EAAE,CACvB,IAAI,GAAG,CACL,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1C,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CACb,CAAC,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CACpE;IACD,2FAA2F;KAC1F,MAAM,CACL,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;IACjB,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CACpD,CACJ,CAAC;AAEJ;;;GAGG;AACH,MAAM,OAAO,GAAG,CACd,GAAW,EACX,CAAgB,EAChB,IAAgD,EAChB,EAAE,CAClC,IAAI,GAAG,CACL,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,4FAA4F;KAC3F,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;KACpC,OAAO,CAAC,CAAC,GAAG,EAA6C,EAAE;IAC1D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3D,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAC7B,MAAM,KAAK,GACT,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,gBAAgB;QACtC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe;QAC5B,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;IAC3B,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC9B,CAAC,CAAC,CACL,CAAC;AAEJ,iGAAiG;AACjG,MAAM,UAAU,aAAa,CAC3B,GAAW,EACX,IAAuB;IAEvB,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACvC,OAAO,YAAY,CAAC;QAClB,OAAO,EAAE,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC;QAChC,QAAQ;QACR,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACxD,eAAe,EAAE,eAAe,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC;QAC3D,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC;KACpC,CAAC,CAAC;AACL,CAAC;AAED,0GAA0G;AAC1G,MAAM,QAAQ,GAAuC;IACnD,aAAa;IACb,YAAY;IACZ,cAAc;IACd,WAAW;IACX,UAAU;IACV,QAAQ;IACR,cAAc;IACd,aAAa;IACb,YAAY;IACZ,WAAW;IACX,aAAa;IACb,cAAc;IACd,aAAa;IACb,qBAAqB;IACrB,mBAAmB;IACnB,qBAAqB;IACrB,mBAAmB;IACnB,UAAU;IACV,cAAc;CACf,CAAC;AAEF,kGAAkG;AAClG,MAAM,MAAM,GAAG,CACb,IAAY,EACZ,WAAmB,EACnB,QAA4C,EAClB,EAAE,CAAC,CAAC;IAC9B,IAAI,EAAE,YAAY;IAClB,IAAI,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE;IAC7C,MAAM,EAAE,EAAE;IACV,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;CACnE,CAAC,CAAC;AAEH,yFAAyF;AACzF,MAAM,MAAM,GAAG,CACb,IAA8B,EAC9B,QAA4C,EAC5C,IAAuB,EACL,EAAE,CAAC,CAAC;IACtB,IAAI;IACJ,MAAM,CAAC,OAA0B;QAC/B,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,WAAW;YAAE,OAAO,EAAE,CAAC;QAC1D,OAAO;YACL,IAAI;gBACF,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBACjD,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;qBAC3C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;qBAC3C,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;oBACb,OAAO,CAAC,MAAM,CAAC;wBACb,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;wBAC3B,SAAS,EAAE,CAAC,CAAC,OAAO;wBACpB,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE;qBAChC,CAAC,CAAC;gBACL,CAAC,CAAC,CAAC;YACP,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAuB;IAEvB,OAAO;QACL,kBAAkB,EAAE,MAAM,CACxB,MAAM,CACJ,wBAAwB,EACxB,8OAA8O,EAC9O,QAAQ,CACT,EACD,QAAQ,EACR,IAAI,CACL;QACD,iBAAiB,EAAE,MAAM,CACvB,MAAM,CACJ,uBAAuB,EACvB,oDAAoD,EACpD,kBAAkB,CACnB,EACD,kBAAkB,EAClB,IAAI,CACL;KACF,CAAC;AACJ,CAAC;AAED,mGAAmG;AACnG,MAAM,CAAC,MAAM,0BAA0B,GAGlC,EAAE,wBAAwB,EAAE,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,CAAC"}
+{"version":3,"file":"study-registry-rule.js","sourceRoot":"","sources":["../src/study-registry-rule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EACL,MAAM,EACN,gBAAgB,EAChB,SAAS,EACT,UAAU,GACX,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,gBAAgB,EAChB,kBAAkB,EAClB,YAAY,EACZ,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,SAAS,EACT,YAAY,GAOb,MAAM,4BAA4B,CAAC;AASpC,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAExD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,MAAM,WAAW,GAAG,oBAAoB,CAAC;AASzC,uFAAuF;AACvF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,CAAS,EAAiB,EAAE;IAC/D,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF,oFAAoF;AACpF,MAAM,UAAU,UAAU,CACxB,GAAW,EACX,IAAgD;IAEhD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;IACpE,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtC,OAAO,MAAM,CAAC,EAAE;QACd,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE;QAC7C,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;AAC9C,CAAC;AAED,2GAA2G;AAC3G,MAAM,YAAY,GAAG,CAAC,GAAW,EAAE,IAAsB,EAAqB,EAAE,CAC9E,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC;KACtB,MAAM,CACL,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,KAAK;IAChB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5B,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CACrC;KACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAExB,kGAAkG;AAClG,MAAM,SAAS,GAAG,CAChB,CAAgB,EAChB,MAAmB,EACW,EAAE,CAChC,IAAI,CACF,SAAS,CAAC,CAAC,CAAC,EACZ,MAAM,CAAC,aAAa,CAAC,EACrB,GAAG,CACD,CAAC,CAAC,EAAE,EAAE,CACJ;IACE,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,WAAW,CAAC;IAClC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,WAAW,CAAC;CAC9B,CACb,EACD,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,CAC9B,CAAC;AAEJ,sCAAsC;AACtC,MAAM,aAAa,GAAG,CACpB,CAAQ,EACuC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,SAAS,CAAC;AAEhF;;;GAGG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,CAAgB,EAChB,MAAmB,EACnB,KAAyB,EACO,EAAE,CAClC,IAAI,GAAG,CACL,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;IAC9D,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAC9C,OAAO,KAAK,KAAK,IAAI;QACnB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAU,CAAC,CAAC;AAC1D,CAAC,CAAC,CACH,CAAC;AAEJ,2FAA2F;AAC3F,MAAM,WAAW,GAAG,CAClB,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAW,EACnC,MAAmB,EACnB,KAAyB,EACP,EAAE;IACpB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACnC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7C,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,gBAAgB;gBAC9C,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;gBAClC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzC,CAAC;AACH,CAAC,CAAC;AAEF,iGAAiG;AACjG,MAAM,UAAU,aAAa,CAC3B,GAAW,EACX,IAAuB;IAEvB,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACtC,OAAO,YAAY,CAAC;QAClB,OAAO,EAAE,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC;QAChC,QAAQ;QACR,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACxD,OAAO,EAAE,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC;QACpC,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;KAC7C,CAAC,CAAC;AACL,CAAC;AAED,0GAA0G;AAC1G,MAAM,QAAQ,GAAuC;IACnD,aAAa;IACb,YAAY;IACZ,cAAc;IACd,WAAW;IACX,UAAU;IACV,QAAQ;IACR,cAAc;IACd,aAAa;IACb,YAAY;IACZ,WAAW;IACX,aAAa;IACb,cAAc;IACd,aAAa;IACb,qBAAqB;IACrB,mBAAmB;IACnB,qBAAqB;IACrB,mBAAmB;IACnB,UAAU;IACV,cAAc;CACf,CAAC;AAEF,kGAAkG;AAClG,MAAM,MAAM,GAAG,CACb,IAAY,EACZ,WAAmB,EACnB,QAA4C,EAClB,EAAE,CAAC,CAAC;IAC9B,IAAI,EAAE,YAAY;IAClB,IAAI,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE;IAC7C,MAAM,EAAE,EAAE;IACV,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;CACnE,CAAC,CAAC;AAEH,yFAAyF;AACzF,MAAM,MAAM,GAAG,CACb,IAA8B,EAC9B,QAA4C,EAC5C,IAAuB,EACL,EAAE,CAAC,CAAC;IACtB,IAAI;IACJ,MAAM,CAAC,OAA0B;QAC/B,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,WAAW;YAAE,OAAO,EAAE,CAAC;QAC1D,OAAO;YACL,IAAI;gBACF,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBACjD,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;qBAC3C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;qBAC3C,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;oBACb,OAAO,CAAC,MAAM,CAAC;wBACb,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;wBAC3B,SAAS,EAAE,CAAC,CAAC,OAAO;wBACpB,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE;qBAChC,CAAC,CAAC;gBACL,CAAC,CAAC,CAAC;YACP,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAuB;IAEvB,OAAO;QACL,kBAAkB,EAAE,MAAM,CACxB,MAAM,CACJ,wBAAwB,EACxB,8OAA8O,EAC9O,QAAQ,CACT,EACD,QAAQ,EACR,IAAI,CACL;QACD,iBAAiB,EAAE,MAAM,CACvB,MAAM,CACJ,uBAAuB,EACvB,oDAAoD,EACpD,kBAAkB,CACnB,EACD,kBAAkB,EAClB,IAAI,CACL;KACF,CAAC;AACJ,CAAC;AAED,mGAAmG;AACnG,MAAM,CAAC,MAAM,0BAA0B,GAGlC,EAAE,wBAAwB,EAAE,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,CAAC"}