paperlint 10.4.0 → 11.0.0

package/dist/study-gate.js

@@ -6,14 +6,17 @@
  *   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, or whose row names a folder that is not one inside `repro/`, is refused.
+ * 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 { modeStudies, onDisk, } from "./study-modes.js";
+import { decisionEntry, readModeStudy } from "./study-modes.js";
 import { REPRO_DIR } from "./domain/repro-layout.js";
 import { decisionAsOutput } from "./domain/study-mode.js";
-import { readableFolders, registryOf } from "./study-registry-rule.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) => {
@@ -39,57 +42,91 @@ export const gateLine = (id, file, c) => c.kind === "committed"
  * 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 = (paper, { id, folder }, mode, deps) => {
+const unusable = ({ id, folder: studyDir }, mode, folder) => {
     const file = mode.decision.file;
-    const glob = decisionAsOutput(folder, mode);
+    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 = onDisk(join(paper, file), deps);
-    return on === "directory" || on === "symbolic link"
-        ? refusal(`${id}: its decision ${file} is a ${on}, not a file; the run cannot be gated on it. Name the decision file in \`mode.decision.file\`.`)
-        : null;
+    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, { id, folder }, mode, deps) => {
+const gateDecided = ({ paper, folder, deps }, row, mode) => {
+    const { id } = row;
     const file = mode.decision.file;
-    const blocked = unusable(paper, { id, folder }, mode, deps);
+    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 of `id` names a folder that is not one inside `repro/`; null when none does. */
-const escapingRow = (paper, shown, id, deps) => {
-    const r = registryOf(paper, deps);
-    const readable = readableFolders(paper, deps);
-    const row = (r.kind === "read" ? r.registry.studies : []).find((x) => x.id === id && !readable(x.folder));
-    return row === undefined
-        ? null
-        : refusal(`${id}: its row names the folder \`${row.folder}\`, which is not one folder inside ${shown}/${REPRO_DIR}/; nothing is read through it. Give the row its own folder's name.`);
+/** 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.`);
 };
-/** `studies gate`: 0 when the run may start, 1 with the reason when not. */
-export function runGate(paper, shown, id, deps) {
-    const escaping = escapingRow(paper, shown, id, deps);
+/** 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 s = modeStudies(paper, deps).find((m) => m.row.id === id);
-    if (s === undefined)
-        return refused(refusal(`${id} declares no mode in ${shown}: no row of ${shown}/${REPRO_DIR}/studies.json with this id names a plan.json that parses with \`mode\`. Lint the paper (\`npx paperlint lint\`) to see why.`));
+    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(id, s));
+        return refused(draftRefusal(row.id, s));
     return s.mode.kind === "decide_before_run"
-        ? gateDecided(paper, s.row, s.mode, deps)
+        ? gateDecided(run, s.row, s.mode)
         : {
             ok: true,
             lines: [
-                `${id} is exploratory (${s.mode.reason}): it has no gate, and its results are reported as exploratory.`,
+                `${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

@@ -1 +1 @@
-{"version":3,"file":"study-gate.js","sourceRoot":"","sources":["../src/study-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EACL,WAAW,EACX,MAAM,GAGP,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAoB,MAAM,wBAAwB,CAAC;AAG5E,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACvE,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,KAAa,EACb,EAAE,EAAE,EAAE,MAAM,EAAgC,EAC5C,IAAiB,EACjB,IAAc,EACO,EAAE;IACvB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAChC,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,IAAI,KAAK,IAAI;QACf,OAAO,OAAO,CACZ,GAAG,EAAE,kBAAkB,IAAI,+BAA+B,IAAI,qDAAqD,CACpH,CAAC;IACJ,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC3C,OAAO,EAAE,KAAK,WAAW,IAAI,EAAE,KAAK,eAAe;QACjD,CAAC,CAAC,OAAO,CACL,GAAG,EAAE,kBAAkB,IAAI,SAAS,EAAE,gGAAgG,CACvI;QACH,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEF,wCAAwC;AACxC,MAAM,WAAW,GAAG,CAClB,KAAa,EACb,EAAE,EAAE,EAAE,MAAM,EAAS,EACrB,IAAiB,EACjB,IAAc,EACJ,EAAE;IACZ,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAChC,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5D,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,4GAA4G;AAC5G,MAAM,WAAW,GAAG,CAClB,KAAa,EACb,KAAa,EACb,EAAU,EACV,IAAc,EACO,EAAE;IACvB,MAAM,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAC5D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAC1C,CAAC;IACF,OAAO,GAAG,KAAK,SAAS;QACtB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,OAAO,CACL,GAAG,EAAE,gCAAgC,GAAG,CAAC,MAAM,sCAAsC,KAAK,IAAI,SAAS,oEAAoE,CAC5K,CAAC;AACR,CAAC,CAAC;AAEF,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,4EAA4E;AAC5E,MAAM,UAAU,OAAO,CACrB,KAAa,EACb,KAAa,EACb,EAAU,EACV,IAAc;IAEd,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IACrD,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAChE,IAAI,CAAC,KAAK,SAAS;QACjB,OAAO,OAAO,CACZ,OAAO,CACL,GAAG,EAAE,wBAAwB,KAAK,eAAe,KAAK,IAAI,SAAS,6HAA6H,CACjM,CACF,CAAC;IACJ,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5D,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;QACxC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC;QACzC,CAAC,CAAC;YACE,EAAE,EAAE,IAAI;YACR,KAAK,EAAE;gBACL,GAAG,EAAE,oBAAoB,CAAC,CAAC,IAAI,CAAC,MAAM,iEAAiE;aACxG;SACF,CAAC;AACR,CAAC"}
+{"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

@@ -1,4 +1,4 @@
-import type { IndexInput, RegistryState } from "./domain/study-registry.ts";
+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;

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

@@ -1 +1 @@
-{"version":3,"file":"study-index-input.d.ts","sourceRoot":"","sources":["../src/study-index-input.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAEL,KAAK,SAAS,EACf,MAAM,mCAAmC,CAAC;AAG3C,sFAAsF;AACtF,eAAO,MAAM,YAAY,GACvB,OAAO,MAAM,EACb,GAAG,aAAa,EAChB,MAAM,SAAS,KACd,UAKD,CAAC"}
+{"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

@@ -3,11 +3,16 @@
  * 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 { plansOf, readableFolders } from "./study-registry-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(paper, r, deps, readableFolders(paper, deps)),
-    history: new Map(decideFirstStudies(paper, deps).map((s) => [s.id, indexHistory(s)])),
+    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

@@ -1 +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;AAEzD,OAAO,EACL,kBAAkB,GAEnB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAEpE,sFAAsF;AACtF,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,KAAa,EACb,CAAgB,EAChB,IAAe,EACH,EAAE,CAAC,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5D,OAAO,EAAE,IAAI,GAAG,CACd,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CACpE;CACF,CAAC,CAAC"}
+{"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

@@ -1,31 +1,25 @@
-import type { StudyMode } from "./domain/study-mode.ts";
 import type { NotAFile } from "./domain/decide-first.ts";
-import { type PlanTextField, type Study } from "./domain/study-registry.ts";
-import type { Files } from "./ports/files.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 { ListEntries } from "./ports/list-entries.ts";
-import type { ListDir } from "./ports/talk-media.ts";
-/** What reading a paper's studies needs: the disk, its listings with and without kinds, and the parsers. */
-export interface StudyDeps {
-    readonly files: Files;
-    readonly listDir: ListDir;
-    readonly entries: ListEntries;
-    readonly codec: StudyRegistryCodec;
-}
-/** What a decision path names on disk: a file, nothing, or something git cannot vouch for. */
-export type OnDisk = "file" | "absent" | NotAFile;
+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 `p` is on disk, read from its directory's entries without following a link: a decision must
- * be a regular file — git answers for a directory with the commits of anything under it, and for a
- * link with the link, not the file it points to.
+ * 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 onDisk: (p: string, deps: Pick<StudyDeps, "entries">) => OnDisk;
-/**
- * Every file under `dir`, relative to it, `/`-separated; none when it is not a directory. A symbolic
- * link is listed as a file — git stores it as one — and never followed: a link to the folder itself
- * would recurse forever, and one to a tree outside would bring its files into the study.
- */
-export declare const filesUnder: (dir: string, deps: Pick<StudyDeps, "entries">, prefix?: string) => readonly string[];
+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
@@ -37,9 +31,26 @@ export interface ModeStudy {
     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 paper folder `paper` whose plan declares a mode, in registry order. A plan that
- * does not parse is `repro/study-registered`'s to report; here it declares nothing.
+ * 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: (paper: string, deps: Pick<StudyDeps, "files" | "codec" | "entries">) => readonly ModeStudy[];
+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

@@ -1 +1 @@
-{"version":3,"file":"study-modes.d.ts","sourceRoot":"","sources":["../src/study-modes.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAEL,KAAK,aAAa,EAClB,KAAK,KAAK,EACX,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,KAAK,EAAY,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACrE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAGrD,4GAA4G;AAC5G,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;CACpC;AAED,8FAA8F;AAC9F,MAAM,MAAM,MAAM,GAAG,MAAM,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAQlD;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,GAAG,MAAM,EAAE,MAAM,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,KAAG,MAKpE,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,UAAU,GACrB,KAAK,MAAM,EACX,MAAM,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,EAChC,eAAW,KACV,SAAS,MAAM,EAId,CAAC;AAEL;;;;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;AA6BD;;;GAGG;AACH,eAAO,MAAM,WAAW,GACtB,OAAO,MAAM,EACb,MAAM,IAAI,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,GAAG,SAAS,CAAC,KACnD,SAAS,SAAS,EAOpB,CAAC"}
+{"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

@@ -1,70 +1,59 @@
 /**
  * Reading a paper's studies with their modes: each registered study whose `plan.json` parses with a
- * `mode`, and the files under a study's folder. What `repro/outputs-before-decision`, `studies gate`
+ * `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 { basename, dirname, join } from "node:path";
-import { callerPath } from "./caller-path.js";
-import { REPRO_DIR } from "./domain/repro-layout.js";
-import { isInside, } from "./domain/study-registry.js";
-import { readableFolders, registryOf, textAt } from "./study-registry-rule.js";
-const ON_DISK = {
-    file: "file",
-    dir: "directory",
-    symlink: "symbolic link",
-};
+import { posix } from "node:path";
+import { filter, map, pipe } from "remeda";
+import { studiesOf, } from "./domain/study-registry.js";
 /**
- * What `p` is on disk, read from its directory's entries without following a link: a decision must
- * be a regular file — git answers for a directory with the commits of anything under it, and for a
- * link with the link, not the file it points to.
+ * 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 onDisk = (p, deps) => {
-    const e = deps
-        .entries(callerPath(dirname(p)))
-        .find((x) => x.name === basename(p));
-    return e === undefined ? "absent" : ON_DISK[e.kind];
+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;
 };
 /**
- * Every file under `dir`, relative to it, `/`-separated; none when it is not a directory. A symbolic
- * link is listed as a file — git stores it as one — and never followed: a link to the folder itself
- * would recurse forever, and one to a tree outside would bring its files into the study.
- */
-export const filesUnder = (dir, deps, prefix = "") => deps.entries(callerPath(dir)).flatMap(({ name, kind }) => {
-    const rel = prefix === "" ? name : `${prefix}/${name}`;
-    return kind === "dir" ? filesUnder(join(dir, name), deps, rel) : [rel];
-});
-/**
- * The study `s`'s plan, when it is a plan inside a folder every reader may read through
- * (`readableFolders`), by the registry rule's own containment test (`isInside`), that parsed with a
- * mode; else null.
+ * 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.
  */
-const modeStudyOf = (paper, s, deps, readable) => {
+export const readModeStudy = (s, folder, codec) => {
     const plan = s.plan;
-    const text = plan === undefined ||
-        !readable(s.folder) ||
-        !isInside(plan) ||
-        plan.includes("\0")
-        ? null
-        : textAt(deps.files, join(paper, REPRO_DIR, s.folder, plan));
-    if (plan === undefined || text === null)
-        return null;
-    const parsed = deps.codec.parsePlan(text, s.kind);
+    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 null;
+        return { kind: "none" };
     const empty = parsed.kind === "draft" ? parsed.empty : [];
-    return { row: s, plan, mode: parsed.plan.mode, empty };
+    return {
+        kind: "mode",
+        study: { row: s, plan, mode: parsed.plan.mode, empty },
+    };
 };
 /**
- * Every study of the paper folder `paper` whose plan declares a mode, in registry order. A plan that
- * does not parse is `repro/study-registered`'s to report; here it declares nothing.
+ * 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 = (paper, deps) => {
-    const r = registryOf(paper, deps);
-    const readable = readableFolders(paper, deps);
-    return (r.kind === "read" ? r.registry.studies : []).flatMap((s) => {
-        const m = modeStudyOf(paper, s, deps, readable);
-        return m === null ? [] : [m];
-    });
-};
+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

@@ -1 +1 @@
-{"version":3,"file":"study-modes.js","sourceRoot":"","sources":["../src/study-modes.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAGrD,OAAO,EACL,QAAQ,GAGT,MAAM,4BAA4B,CAAC;AAKpC,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAa/E,MAAM,OAAO,GAA+C;IAC1D,IAAI,EAAE,MAAM;IACZ,GAAG,EAAE,WAAW;IAChB,OAAO,EAAE,eAAe;CACzB,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,IAAgC,EAAU,EAAE;IAC5E,MAAM,CAAC,GAAG,IAAI;SACX,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;SAC/B,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACtD,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,GAAW,EACX,IAAgC,EAChC,MAAM,GAAG,EAAE,EACQ,EAAE,CACrB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE;IACvD,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,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AACzE,CAAC,CAAC,CAAC;AAcL;;;;GAIG;AACH,MAAM,WAAW,GAAG,CAClB,KAAa,EACb,CAAQ,EACR,IAAwC,EACxC,QAAqC,EACnB,EAAE;IACpB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;IACpB,MAAM,IAAI,GACR,IAAI,KAAK,SAAS;QAClB,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;QACnB,CAAC,QAAQ,CAAC,IAAI,CAAC;QACf,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QACjB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IACjE,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,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,IAAI,CAAC;IACd,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1D,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;AACzD,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAa,EACb,IAAoD,EAC9B,EAAE;IACxB,MAAM,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9C,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QACjE,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QAChD,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}
+{"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

@@ -4,17 +4,13 @@ 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 test every reader of a study's folder passes a row through: its folder is one folder name
- * inside `repro/` (`isFolderName`) and not a symbolic link, which would lead the reads anywhere.
- */
-export declare const readableFolders: (dir: string, deps: Pick<StudyRegistryDeps, "entries">) => ((folder: string) => boolean);
 /** 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. */
@@ -23,7 +19,7 @@ export declare function registryOf(dir: string, deps: Pick<StudyRegistryDeps, "f
  * 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: (dir: string, r: RegistryState, deps: Pick<StudyRegistryDeps, "files" | "codec">, readable: (folder: string) => boolean) => ReadonlyMap<string, PlanState>;
+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,SAAS,EACd,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;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;AAM1E,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;AAcD;;;GAGG;AACH,eAAO,MAAM,eAAe,GAC1B,KAAK,MAAM,EACX,MAAM,IAAI,CAAC,iBAAiB,EAAE,SAAS,CAAC,KACvC,CAAC,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAG9B,CAAC;AAEF,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;AAmCD;;;GAGG;AACH,eAAO,MAAM,OAAO,GAClB,KAAK,MAAM,EACX,GAAG,aAAa,EAChB,MAAM,IAAI,CAAC,iBAAiB,EAAE,OAAO,GAAG,OAAO,CAAC,EAChD,UAAU,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,KACpC,WAAW,CAAC,MAAM,EAAE,SAAS,CAkB7B,CAAC;AAEJ,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"}
+{"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,25 +18,14 @@
  * 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, isFolderName, judgeStudies, planRefs, 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 names at the top of `<dir>/repro/` that are symbolic links. */
-const linksIn = (dir, deps) => new Set(deps
-    .entries(callerPath(join(dir, REPRO_DIR)))
-    .filter((e) => e.kind === "symlink")
-    .map((e) => e.name));
-/**
- * The test every reader of a study's folder passes a row through: its folder is one folder name
- * inside `repro/` (`isFolderName`) and not a symbolic link, which would lead the reads anywhere.
- */
-export const readableFolders = (dir, deps) => {
-    const links = linksIn(dir, deps);
-    return (folder) => isFolderName(folder) && !links.has(folder);
-};
 /** The text of the file at `p`; null when there is none, or a directory sits there. */
 export const textAt = (files, p) => {
     const b = files.isFile(callerPath(p)) ? files.readBytes(callerPath(p)) : null;
@@ -58,45 +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, readable) => new Set((r.kind === "read" ? r.registry.studies : [])
-    // A row whose folder is not one inside `repro/`, or is a link, is never read through.
-    .filter((s) => readable(s.folder))
-    .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.
  */
-export const plansOf = (dir, r, deps, readable) => new Map((r.kind === "read" ? planRefs(r.registry) : [])
-    // A NUL is no path the disk can hold, and probing one throws: such a plan reads as missing. A
-    // folder that is a link is never read through.
-    .filter(({ key, folder }) => !key.includes("\0") && readable(folder))
-    .flatMap(({ key, kind }) => {
-    const text = textAt(deps.files, join(dir, REPRO_DIR, key));
-    if (text === null)
-        return [];
-    return [
-        [
-            key,
-            posix.basename(key) === LEGACY_PLAN_FILE
-                ? deps.codec.parseLegacyPlan(text)
-                : deps.codec.parsePlan(text, kind),
-        ],
-    ];
+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 readable = readableFolders(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, readable),
-        plans: plansOf(dir, registry, deps, readable),
+        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`. */