paperlint 13.0.3 → 13.2.0

package/dist/domain/study-result.js

@@ -0,0 +1,175 @@
+/**
+ * WHAT A STUDY'S RUN SHOWED, AGAINST WHAT ITS PLAN V2 FIXED — `repro/study-result`
+ * (docs/rules/repro/study-result.md, src/domain/study-gates.ts).
+ *
+ * A study whose plan is v2 writes its numbers to `result.json` beside the plan; the study's own
+ * script produces the facts, this module judges them. For a study that is `done`:
+ *
+ *   we_lose_if     the number it names is in the file; when it crosses the threshold the file says
+ *                  `"claim": "lost"` — a loss is written where the paper reads its numbers, never
+ *                  left for a reader to work out — and it never says so of a claim that holds.
+ *   second_check   each step's kappa is in `kappa`, and at least its `min_kappa`.
+ *   self_test      `self_test` holds `passed` and `failed`, and `failed` is 0.
+ *   funnel         `funnel` counts every declared reason.
+ *   recall_audit   `recall_audit` gives the files a person read in full, the units found there, and
+ *                  how many of them the extractor found; at least `n_files` files, and a recall
+ *                  (extracted / units) of at least `min_recall`. The counts, not a recall the study
+ *                  computed: the files are checked against the plan, and the share is computed here.
+ *
+ * A gate that is `"none"` asks nothing of the file. Pure.
+ */
+import { loses, thresholdText, RESULT_FILE, } from "./study-gates.js";
+/** The value a study's result says its claim has, when its number crossed `we_lose_if`. */
+export const CLAIM_LOST = "lost";
+/** Whether a gate is decided: neither absent (a plan v1) nor null (not decided yet). */
+const decided = (g) => g !== null && g !== undefined;
+/**
+ * The gates of plan `p`, when every one is decided; null for a plan v1 or a draft. An exploratory
+ * plan, or one whose mode carries no `we_lose_if`, has no claim to lose.
+ */
+export const gatesOf = (p) => {
+    const { second_check, self_test, funnel, recall_audit, mode } = p;
+    if (!decided(second_check) ||
+        !decided(self_test) ||
+        !decided(funnel) ||
+        !decided(recall_audit))
+        return null;
+    const w = mode?.kind === "decide_before_run" ? mode.we_lose_if : null;
+    return {
+        we_lose_if: decided(w) ? w : null,
+        second_check,
+        self_test,
+        funnel,
+        recall_audit,
+    };
+};
+/** What `we_lose_if` asks of `r`: the number, and a loss said in so many words. */
+const claimFindings = (id, w, r) => {
+    const value = r[w.result];
+    if (typeof value !== "number")
+        return [{ problem: "no-number", id, key: w.result }];
+    const lost = loses(w, value);
+    const said = r.claim === CLAIM_LOST;
+    if (lost === said)
+        return [];
+    const at = { id, key: w.result, value, threshold: thresholdText(w) };
+    return [
+        lost ? { problem: "claim-lost", ...at } : { problem: "claim-holds", ...at },
+    ];
+};
+/** What `second_check` asks of `r`: each step's kappa, at least its least. */
+const kappaFindings = (id, c, r) => c === "none"
+    ? []
+    : c.flatMap((s) => {
+        const got = r.kappa?.[s.step] ?? null;
+        return got !== null && got >= s.min_kappa
+            ? []
+            : [{ problem: "kappa", id, step: s.step, min: s.min_kappa, got }];
+    });
+/** What `self_test` asks of `r`: its counts, none failed. */
+const selfTestFindings = (id, t, r) => {
+    if (t === "none")
+        return [];
+    const run = r.self_test;
+    if (run === undefined)
+        return [{ problem: "self-test", id, failed: null }];
+    if (run.failed !== 0)
+        return [{ problem: "self-test", id, failed: run.failed }];
+    return run.passed > 0 ? [] : [{ problem: "self-test-empty", id }];
+};
+/** What `funnel` asks of `r`: a count for every reason. */
+const funnelFindings = (id, f, r) => {
+    if (f === "none")
+        return [];
+    const missing = f.filter((reason) => r.funnel?.[reason] === undefined);
+    return missing.length === 0 ? [] : [{ problem: "funnel", id, missing }];
+};
+/** The audit's file count against the plan's: too few files is a finding. */
+const sampleFindings = (id, a, c) => c.files < a.n_files
+    ? [{ problem: "recall-sample", id, files: c.files, min_files: a.n_files }]
+    : [];
+/** The recall the counts give, against the plan's least. */
+const shareFindings = (id, a, c) => c.extracted / c.units_in_files < a.min_recall
+    ? [
+        {
+            problem: "recall",
+            id,
+            extracted: c.extracted,
+            units: c.units_in_files,
+            min: a.min_recall,
+        },
+    ]
+    : [];
+/** What `recall_audit` asks of `r`: the counts, on enough files, with a recall at least its least. */
+const recallFindings = (id, a, r) => {
+    if (a === "none")
+        return [];
+    const c = r.recall_audit;
+    if (c === undefined)
+        return [{ problem: "no-recall-audit", id }];
+    return [...sampleFindings(id, a, c), ...shareFindings(id, a, c)];
+};
+/** Every defect of one study's result, in the order of its gates. */
+export const judgeResult = (s) => {
+    const st = s.state;
+    switch (st.kind) {
+        case "absent":
+            return [{ problem: "no-result-file", id: s.id }];
+        case "linked":
+            return [{ problem: "result-linked", id: s.id, link: st.link }];
+        case "unreadable":
+            return [{ problem: "result-unreadable", id: s.id, why: st.why }];
+        case "read":
+            return [
+                ...(s.we_lose_if === null
+                    ? []
+                    : claimFindings(s.id, s.we_lose_if, st.result)),
+                ...kappaFindings(s.id, s.second_check, st.result),
+                ...selfTestFindings(s.id, s.self_test, st.result),
+                ...funnelFindings(s.id, s.funnel, st.result),
+                ...recallFindings(s.id, s.recall_audit, st.result),
+            ];
+    }
+};
+const RULE = "repro/study-result";
+const tick = (s) => `\`${s}\``;
+/** The text of each finding: what is wrong, and what to do. */
+const HEADS = {
+    "no-result-file": (f) => `${tick(f.id)} is \`done\` and its plan is v2, but its folder has no ${tick(RESULT_FILE)}. What to do: have the study's script write its numbers there — the one its \`we_lose_if\` names, \`kappa\`, \`self_test\` and \`funnel\` as its plan declares them.`,
+    "result-linked": (f) => `The ${tick(RESULT_FILE)} of ${tick(f.id)} passes through the symbolic link ${tick(f.link)}; nothing is read through a link. What to do: write the file itself in the study's folder.`,
+    "result-unreadable": (f) => `The ${tick(RESULT_FILE)} of ${tick(f.id)} is not a study result: ${f.why}. What to do: give it the shape on the rule's page.`,
+    "no-number": (f) => `The ${tick(RESULT_FILE)} of ${tick(f.id)} has no number ${tick(f.key)}, the one its plan's \`we_lose_if\` names. What to do: write it there, or correct \`we_lose_if.result\` — before the run, never after.`,
+    "claim-lost": (f) => `${tick(f.id)}'s claim LOST: its ${tick(f.key)} is ${String(f.value)}, ${f.threshold}, the threshold its plan fixed before the run. What to do: report the loss in the paper, and say so in ${tick(RESULT_FILE)} with \`"claim": "${CLAIM_LOST}"\`; the threshold is not moved after the run.`,
+    "claim-holds": (f) => `The ${tick(RESULT_FILE)} of ${tick(f.id)} says \`"claim": "${CLAIM_LOST}"\`, but its ${tick(f.key)} is ${String(f.value)}, not ${f.threshold}: by its plan the claim holds. What to do: remove \`claim\`, or correct the number.`,
+    kappa: (f) => f.got === null
+        ? `The ${tick(RESULT_FILE)} of ${tick(f.id)} has no kappa for the step ${tick(f.step)} its plan's \`second_check\` declares. What to do: write it in \`kappa.${f.step}\`.`
+        : `${tick(f.id)}: the two raters of the step ${tick(f.step)} agree with kappa ${String(f.got)}, below the ${String(f.min)} its plan fixed before labelling. What to do: the labels of that step do not carry a number — revise the codebook and label again, or report the step as unreliable; the threshold is not lowered after the fact.`,
+    "self-test": (f) => f.failed === null
+        ? `The ${tick(RESULT_FILE)} of ${tick(f.id)} has no \`self_test\` counts, and its plan declares a self-test. What to do: write \`"self_test": { "passed": n, "failed": n }\` from the run on the known answers.`
+        : `${tick(f.id)}: ${String(f.failed)} self-test case(s) failed — a check that misses a known answer counts nothing. What to do: fix the check or leave it out of the count, and run the self-test again.`,
+    "self-test-empty": (f) => `${tick(f.id)}: its self-test ran no case (0 passed, 0 failed) — a check never tried on a known answer is not tested. What to do: make the self-test find and run its known inputs, and write the counts of that run.`,
+    funnel: (f) => `The ${tick(RESULT_FILE)} of ${tick(f.id)} counts no drop for ${f.missing.map(tick).join(", ")}, declared in its plan's \`funnel\`. What to do: write each in \`funnel\`, 0 when none was dropped for it.`,
+    "no-recall-audit": (f) => `The ${tick(RESULT_FILE)} of ${tick(f.id)} has no \`recall_audit\` counts, and its plan declares a recall audit. What to do: have a person read the sampled files in full and write \`"recall_audit": { "files": n, "units_in_files": n, "extracted": n }\`.`,
+    "recall-sample": (f) => `${tick(f.id)}: its recall audit read ${String(f.files)} file(s) in full, fewer than the ${String(f.min_files)} its plan fixed. What to do: audit the remaining files of the sample before the recall is reported.`,
+    recall: (f) => `${tick(f.id)}: the extractor found ${String(f.extracted)} of the ${String(f.units)} units a person found reading the audited files in full, a recall of ${(f.extracted / f.units).toFixed(3)}, below the ${String(f.min)} its plan fixed before the run — the extractor misses too much. What to do: report the recall as a limit of the number, or fix the extractor and audit again; the bar is not lowered after the fact.`,
+};
+const headOf = (p, f) => HEADS[p](f);
+/** The one text a finding is reported with. */
+export const resultMessage = (f) => `${headOf(f.problem, f)}\nRule ${RULE}: https://github.com/zernie/paperlint/blob/main/docs/rules/${RULE}.md`;
+/** Every problem the rule reports, each its own message id. */
+export const RESULT_PROBLEMS = [
+    "no-result-file",
+    "result-linked",
+    "result-unreadable",
+    "no-number",
+    "claim-lost",
+    "claim-holds",
+    "kappa",
+    "self-test",
+    "self-test-empty",
+    "funnel",
+    "no-recall-audit",
+    "recall-sample",
+    "recall",
+];
+//# sourceMappingURL=study-result.js.map

package/dist/domain/study-result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"study-result.js","sourceRoot":"","sources":["../../src/domain/study-result.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EACL,KAAK,EACL,aAAa,EACb,WAAW,GAOZ,MAAM,kBAAkB,CAAC;AAG1B,2FAA2F;AAC3F,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC;AAkDjC,wFAAwF;AACxF,MAAM,OAAO,GAAG,CAAI,CAAuB,EAAU,EAAE,CACrD,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,CAAC;AAEhC;;;GAGG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAY,EAAgB,EAAE;IACpD,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAClE,IACE,CAAC,OAAO,CAAC,YAAY,CAAC;QACtB,CAAC,OAAO,CAAC,SAAS,CAAC;QACnB,CAAC,OAAO,CAAC,MAAM,CAAC;QAChB,CAAC,OAAO,CAAC,YAAY,CAAC;QAEtB,OAAO,IAAI,CAAC;IACd,MAAM,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;IACtE,OAAO;QACL,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;QACjC,YAAY;QACZ,SAAS;QACT,MAAM;QACN,YAAY;KACb,CAAC;AACJ,CAAC,CAAC;AAgEF,mFAAmF;AACnF,MAAM,aAAa,GAAG,CACpB,EAAU,EACV,CAAW,EACX,CAAc,EACY,EAAE;IAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ;QAC3B,OAAO,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC;IACpC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAC7B,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;IACrE,OAAO;QACL,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,EAAE;KAC5E,CAAC;AACJ,CAAC,CAAC;AAEF,8EAA8E;AAC9E,MAAM,aAAa,GAAG,CACpB,EAAU,EACV,CAAc,EACd,CAAc,EACY,EAAE,CAC5B,CAAC,KAAK,MAAM;IACV,CAAC,CAAC,EAAE;IACJ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAA4B,EAAE;QACxC,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QACtC,OAAO,GAAG,KAAK,IAAI,IAAI,GAAG,IAAI,CAAC,CAAC,SAAS;YACvC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AAET,6DAA6D;AAC7D,MAAM,gBAAgB,GAAG,CACvB,EAAU,EACV,CAAW,EACX,CAAc,EACY,EAAE;IAC5B,IAAI,CAAC,KAAK,MAAM;QAAE,OAAO,EAAE,CAAC;IAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC;IACxB,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3E,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAClB,OAAO,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5D,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF,2DAA2D;AAC3D,MAAM,cAAc,GAAG,CACrB,EAAU,EACV,CAAS,EACT,CAAc,EACY,EAAE;IAC5B,IAAI,CAAC,KAAK,MAAM;QAAE,OAAO,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC,CAAC;IACvE,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;AAC1E,CAAC,CAAC;AAEF,6EAA6E;AAC7E,MAAM,cAAc,GAAG,CACrB,EAAU,EACV,CAAkB,EAClB,CAAe,EACW,EAAE,CAC5B,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,OAAO;IACjB,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,eAAe,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAC1E,CAAC,CAAC,EAAE,CAAC;AAET,4DAA4D;AAC5D,MAAM,aAAa,GAAG,CACpB,EAAU,EACV,CAAkB,EAClB,CAAe,EACW,EAAE,CAC5B,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,cAAc,GAAG,CAAC,CAAC,UAAU;IAC3C,CAAC,CAAC;QACE;YACE,OAAO,EAAE,QAAQ;YACjB,EAAE;YACF,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,KAAK,EAAE,CAAC,CAAC,cAAc;YACvB,GAAG,EAAE,CAAC,CAAC,UAAU;SAClB;KACF;IACH,CAAC,CAAC,EAAE,CAAC;AAET,sGAAsG;AACtG,MAAM,cAAc,GAAG,CACrB,EAAU,EACV,CAAc,EACd,CAAc,EACY,EAAE;IAC5B,IAAI,CAAC,KAAK,MAAM;QAAE,OAAO,EAAE,CAAC;IAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC;IACzB,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,EAAE,OAAO,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAAC,CAAC;IACjE,OAAO,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,aAAa,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC,CAAC;AAEF,qEAAqE;AACrE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAc,EAA4B,EAAE;IACtE,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC;IACnB,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,CAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnD,KAAK,QAAQ;YACX,OAAO,CAAC,EAAE,OAAO,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QACjE,KAAK,YAAY;YACf,OAAO,CAAC,EAAE,OAAO,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QACnE,KAAK,MAAM;YACT,OAAO;gBACL,GAAG,CAAC,CAAC,CAAC,UAAU,KAAK,IAAI;oBACvB,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;gBACjD,GAAG,aAAa,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,MAAM,CAAC;gBACjD,GAAG,gBAAgB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC;gBACjD,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC;gBAC5C,GAAG,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,MAAM,CAAC;aACnD,CAAC;IACN,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,IAAI,GAAG,oBAAoB,CAAC;AAClC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;AAM/C,+DAA+D;AAC/D,MAAM,KAAK,GAA6D;IACtE,gBAAgB,EAAE,CAAC,CAAC,EAAE,EAAE,CACtB,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,0DAA0D,IAAI,CAAC,WAAW,CAAC,sKAAsK;IAChQ,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CACrB,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,qCAAqC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,4FAA4F;IACxL,mBAAmB,EAAE,CAAC,CAAC,EAAE,EAAE,CACzB,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,GAAG,qDAAqD;IAChI,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CACjB,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,wIAAwI;IAChN,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAClB,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,sBAAsB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,0GAA0G,IAAI,CAAC,WAAW,CAAC,qBAAqB,UAAU,gDAAgD;IAChS,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CACnB,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,qBAAqB,UAAU,gBAAgB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,SAAS,qFAAqF;IACpO,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CACX,CAAC,CAAC,GAAG,KAAK,IAAI;QACZ,CAAC,CAAC,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,8BAA8B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,0EAA0E,CAAC,CAAC,IAAI,KAAK;QAC1K,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,gCAAgC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,eAAe,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,mNAAmN;IAChV,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CACjB,CAAC,CAAC,MAAM,KAAK,IAAI;QACf,CAAC,CAAC,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,qKAAqK;QAChN,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,qKAAqK;IAC7M,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,CACvB,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,yMAAyM;IACxN,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CACZ,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,4GAA4G;IAC5M,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,CACvB,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,oNAAoN;IAC/P,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CACrB,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,2BAA2B,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,oCAAoC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,qGAAqG;IACrN,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CACZ,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,yBAAyB,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,wEAAwE,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,sMAAsM;CACla,CAAC;AAEF,MAAM,MAAM,GAAG,CAAoB,CAAI,EAAE,CAAe,EAAU,EAAE,CAClE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEd,+CAA+C;AAC/C,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAgB,EAAU,EAAE,CACxD,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,UAAU,IAAI,8DAA8D,IAAI,KAAK,CAAC;AAE/G,+DAA+D;AAC/D,MAAM,CAAC,MAAM,eAAe,GAAuB;IACjD,gBAAgB;IAChB,eAAe;IACf,mBAAmB;IACnB,WAAW;IACX,YAAY;IACZ,aAAa;IACb,OAAO;IACP,WAAW;IACX,iBAAiB;IACjB,QAAQ;IACR,iBAAiB;IACjB,eAAe;IACf,QAAQ;CACT,CAAC"}

package/dist/outputs-before-decision-rule.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"outputs-before-decision-rule.d.ts","sourceRoot":"","sources":["../src/outputs-before-decision-rule.ts"],"names":[],"mappings":"AAmBA,OAAO,EAGL,KAAK,gBAAgB,EAEtB,MAAM,0BAA0B,CAAC;AAGlC,OAAO,KAAK,EAEV,gBAAgB,EACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAOvD,iEAAiE;AACjE,MAAM,WAAW,SAAU,SAAQ,SAAS;IAC1C,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;CACxB;AAED,mGAAmG;AACnG,eAAO,MAAM,kBAAkB,GAC7B,OAAO,MAAM,EACb,MAAM,SAAS,KACd,SAAS,gBAAgB,EAsB3B,CAAC;AAwCF,2DAA2D;AAC3D,eAAO,MAAM,0BAA0B,GACrC,MAAM,SAAS,KACd,QAAQ,CAAC,MAAM,CAAC,yBAAyB,EAAE,gBAAgB,CAAC,CAc7D,CAAC;AAEH,qDAAqD;AACrD,eAAO,MAAM,iBAAiB,EAAE,QAAQ,CAAC;IACvC,+BAA+B,EAAE,OAAO,CAAC;CAC1C,CAAgD,CAAC"}
+{"version":3,"file":"outputs-before-decision-rule.d.ts","sourceRoot":"","sources":["../src/outputs-before-decision-rule.ts"],"names":[],"mappings":"AAmBA,OAAO,EAIL,KAAK,gBAAgB,EAItB,MAAM,0BAA0B,CAAC;AAKlC,OAAO,KAAK,EAEV,gBAAgB,EACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAOvD,iEAAiE;AACjE,MAAM,WAAW,SAAU,SAAQ,SAAS;IAC1C,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;CACxB;AAED,mGAAmG;AACnG,eAAO,MAAM,kBAAkB,GAC7B,OAAO,MAAM,EACb,MAAM,SAAS,KACd,SAAS,gBAAgB,EA0B3B,CAAC;AA+EF,2DAA2D;AAC3D,eAAO,MAAM,0BAA0B,GACrC,MAAM,SAAS,KACd,QAAQ,CAAC,MAAM,CAAC,yBAAyB,EAAE,gBAAgB,CAAC,CAc7D,CAAC;AAEH,qDAAqD;AACrD,eAAO,MAAM,iBAAiB,EAAE,QAAQ,CAAC;IACvC,+BAA+B,EAAE,OAAO,CAAC;CAC1C,CAAgD,CAAC"}

package/dist/outputs-before-decision-rule.js

@@ -17,7 +17,8 @@ import { basename, dirname, join } from "node:path";
 import { filter, map, pipe } from "remeda";
 import { callerPath } from "./caller-path.js";
 import { decisionEntry, modeStudies } from "./study-modes.js";
-import { judgeOrder, orderMessage, } from "./domain/decide-first.js";
+import { firstOutputAfter, judgeOrder, orderMessage, } from "./domain/decide-first.js";
+import { gatesOf } from "./domain/study-gates.js";
 import { REPRO_DIR } from "./domain/repro-layout.js";
 import { studyFolder } from "./study-folder.js";
 import { registryOf } from "./study-registry-rule.js";
@@ -26,11 +27,11 @@ const STATUS_FILE = "PIPELINE-STATUS.md";
 /** Every decide-first study of the paper folder `paper`, with its tree and its history's order. */
 export const decideFirstStudies = (paper, deps) => {
     const reader = studyFolder(paper, deps);
-    return pipe(modeStudies(registryOf(paper, deps), reader, deps.codec), filter(isDecidedAndReady), map(({ row, plan, mode }) => {
+    return pipe(modeStudies(registryOf(paper, deps), reader, deps.codec), filter(isDecidedAndReady), map(({ row, plan, mode, gates }) => {
         const folder = join(paper, REPRO_DIR, row.folder);
         const decision = join(paper, mode.decision.file);
         const on = decisionEntry(reader, mode.decision.file);
-        return {
+        const study = {
             id: row.id,
             folder: row.folder,
             plan,
@@ -40,8 +41,39 @@ export const decideFirstStudies = (paper, deps) => {
                 ? deps.git.order(callerPath(folder), callerPath(decision))
                 : on,
         };
+        return {
+            ...study,
+            gates: gateHistory(study, { now: gates, kind: row.kind, folder }, deps),
+        };
     }));
 };
+/**
+ * The gates of a plan v2 now, and the plan at the study's first output after its decision: none for
+ * a plan v1, a history not read, or a study with no such output yet.
+ */
+const gateHistory = (s, from, deps) => {
+    if (from.now === null || s.facts.kind !== "read")
+        return undefined;
+    const output = firstOutputAfter(s, s.facts.files);
+    if (output === null)
+        return undefined;
+    const at = deps.git.fileAt(callerPath(from.folder), output.commit, s.plan);
+    return { now: from.now, output, then: planThen(at, from.kind, deps) };
+};
+/** What the plan held at that commit, by gates. */
+const planThen = (at, kind, deps) => {
+    if (at.kind === "unknown")
+        return at;
+    if (at.kind === "absent")
+        return { kind: "no-gates", why: "absent" };
+    const parsed = deps.codec.parsePlan(at.text, kind);
+    if (parsed.kind === "unreadable")
+        return { kind: "no-gates", why: "unreadable" };
+    const gates = gatesOf(parsed.plan);
+    return gates === null
+        ? { kind: "no-gates", why: "v1" }
+        : { kind: "gates", gates };
+};
 /** Only a ready plan decides: a draft may name no outputs, or an empty decision file. */
 const isDecidedAndReady = (s) => s.mode.kind === "decide_before_run" && s.empty.length === 0;
 const PROBLEMS = [
@@ -53,6 +85,8 @@ const PROBLEMS = [
     "shallow",
     "undecided-output",
     "output-before-decision",
+    "gates-changed",
+    "gates-not-fixed",
 ];
 const NAME = "repro/outputs-before-decision";
 /** On `PIPELINE-STATUS.md`, every finding of every decide-first study of its paper, at its first line. */

package/dist/outputs-before-decision-rule.js.map

@@ -1 +1 @@
-{"version":3,"file":"outputs-before-decision-rule.js","sourceRoot":"","sources":["../src/outputs-before-decision-rule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,WAAW,EAAkB,MAAM,kBAAkB,CAAC;AAC9E,OAAO,EACL,UAAU,EACV,YAAY,GAGb,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAQrD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,MAAM,WAAW,GAAG,oBAAoB,CAAC;AAOzC,mGAAmG;AACnG,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAa,EACb,IAAe,EACc,EAAE;IAC/B,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,IAAI,CACT,WAAW,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,EACxD,MAAM,CAAC,iBAAiB,CAAC,EACzB,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAoB,EAAE;QAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACrD,OAAO;YACL,EAAE,EAAE,GAAG,CAAC,EAAE;YACV,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,IAAI;YACJ,IAAI;YACJ,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAC7B,KAAK,EACH,EAAE,CAAC,IAAI,KAAK,IAAI;gBACd,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;gBAC1D,CAAC,CAAC,EAAE;SACT,CAAC;IACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC,CAAC;AAEF,yFAAyF;AACzF,MAAM,iBAAiB,GAAG,CACxB,CAAY,EACqC,EAAE,CACnD,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;AAE9D,MAAM,QAAQ,GAAuC;IACnD,oBAAoB;IACpB,kBAAkB;IAClB,mBAAmB;IACnB,iBAAiB;IACjB,YAAY;IACZ,SAAS;IACT,kBAAkB;IAClB,wBAAwB;CACzB,CAAC;AAEF,MAAM,IAAI,GAAG,+BAA+B,CAAC;AAE7C,0GAA0G;AAC1G,MAAM,QAAQ,GAAG,CAAC,OAA0B,EAAE,IAAe,EAAE,EAAE;IAC/D,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,WAAW;QAAE,OAAO,EAAE,CAAC;IAC1D,OAAO;QACL,IAAI;YACF,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACjD,kBAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;iBAChD,OAAO,CAAC,UAAU,CAAC;iBACnB,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;gBACb,OAAO,CAAC,MAAM,CAAC;oBACb,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;oBAC3B,SAAS,EAAE,CAAC,CAAC,OAAO;oBACpB,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE;iBAChC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;QACP,CAAC;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAe,EACgD,EAAE,CAAC,CAAC;IACnE,yBAAyB,EAAE;QACzB,IAAI,EAAE;YACJ,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE;gBACJ,WAAW,EACT,mKAAmK;gBACrK,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC;aACvB;YACD,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;SACnE;QACD,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;KAC7C;CACF,CAAC,CAAC;AAEH,qDAAqD;AACrD,MAAM,CAAC,MAAM,iBAAiB,GAEzB,EAAE,+BAA+B,EAAE,OAAO,EAAE,CAAC"}
+{"version":3,"file":"outputs-before-decision-rule.js","sourceRoot":"","sources":["../src/outputs-before-decision-rule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,WAAW,EAAkB,MAAM,kBAAkB,CAAC;AAC9E,OAAO,EACL,gBAAgB,EAChB,UAAU,EACV,YAAY,GAKb,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,OAAO,EAAkB,MAAM,yBAAyB,CAAC;AAElE,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAQrD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,MAAM,WAAW,GAAG,oBAAoB,CAAC;AAOzC,mGAAmG;AACnG,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAa,EACb,IAAe,EACc,EAAE;IAC/B,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,IAAI,CACT,WAAW,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,EACxD,MAAM,CAAC,iBAAiB,CAAC,EACzB,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAoB,EAAE;QACnD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACrD,MAAM,KAAK,GAAqB;YAC9B,EAAE,EAAE,GAAG,CAAC,EAAE;YACV,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,IAAI;YACJ,IAAI;YACJ,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAC7B,KAAK,EACH,EAAE,CAAC,IAAI,KAAK,IAAI;gBACd,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;gBAC1D,CAAC,CAAC,EAAE;SACT,CAAC;QACF,OAAO;YACL,GAAG,KAAK;YACR,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,CAAC;SACxE,CAAC;IACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,WAAW,GAAG,CAClB,CAAmB,EACnB,IAIC,EACD,IAAe,EACU,EAAE;IAC3B,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC;IACnE,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClD,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACtC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAC3E,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;AACxE,CAAC,CAAC;AAEF,mDAAmD;AACnD,MAAM,QAAQ,GAAG,CACf,EAA0C,EAC1C,IAAe,EACf,IAAe,EACL,EAAE;IACZ,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACrC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;IACrE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACnD,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY;QAC9B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC;IACjD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACnC,OAAO,KAAK,KAAK,IAAI;QACnB,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE;QACjC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC/B,CAAC,CAAC;AAEF,yFAAyF;AACzF,MAAM,iBAAiB,GAAG,CACxB,CAAY,EACqC,EAAE,CACnD,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;AAE9D,MAAM,QAAQ,GAAuC;IACnD,oBAAoB;IACpB,kBAAkB;IAClB,mBAAmB;IACnB,iBAAiB;IACjB,YAAY;IACZ,SAAS;IACT,kBAAkB;IAClB,wBAAwB;IACxB,eAAe;IACf,iBAAiB;CAClB,CAAC;AAEF,MAAM,IAAI,GAAG,+BAA+B,CAAC;AAE7C,0GAA0G;AAC1G,MAAM,QAAQ,GAAG,CAAC,OAA0B,EAAE,IAAe,EAAE,EAAE;IAC/D,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,WAAW;QAAE,OAAO,EAAE,CAAC;IAC1D,OAAO;QACL,IAAI;YACF,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACjD,kBAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;iBAChD,OAAO,CAAC,UAAU,CAAC;iBACnB,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;gBACb,OAAO,CAAC,MAAM,CAAC;oBACb,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;oBAC3B,SAAS,EAAE,CAAC,CAAC,OAAO;oBACpB,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE;iBAChC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;QACP,CAAC;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAe,EACgD,EAAE,CAAC,CAAC;IACnE,yBAAyB,EAAE;QACzB,IAAI,EAAE;YACJ,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE;gBACJ,WAAW,EACT,mKAAmK;gBACrK,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC;aACvB;YACD,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;SACnE;QACD,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;KAC7C;CACF,CAAC,CAAC;AAEH,qDAAqD;AACrD,MAAM,CAAC,MAAM,iBAAiB,GAEzB,EAAE,+BAA+B,EAAE,OAAO,EAAE,CAAC"}

package/dist/ports/git-history.d.ts

@@ -37,8 +37,20 @@ export interface GitHistory {
     /** `file` (absolute, in the repository that holds `paper`), asked from the paper's folder. */
     readonly committed: (paper: AbsolutePath, file: AbsolutePath) => Committed;
 }
+/** A file as it stood at a commit: its text, not there, or why git could not say. */
+export type FileAt = {
+    readonly kind: "text";
+    readonly text: string;
+} | {
+    readonly kind: "absent";
+} | {
+    readonly kind: "unknown";
+    readonly why: string;
+};
 export interface GitOrder {
     /** The order of `decision`'s first commit against every file's under `studyDir` (a folder that exists). */
     readonly order: (studyDir: AbsolutePath, decision: AbsolutePath) => OrderFacts;
+    /** `path` (relative to `studyDir`) as it stood at `commit`: what a plan's gates were at the first output. */
+    readonly fileAt: (studyDir: AbsolutePath, commit: string, path: string) => FileAt;
 }
 //# sourceMappingURL=git-history.d.ts.map

package/dist/ports/git-history.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"git-history.d.ts","sourceRoot":"","sources":["../../src/ports/git-history.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD,YAAY,EACV,QAAQ,EACR,WAAW,EACX,KAAK,EACL,UAAU,GACX,MAAM,2BAA2B,CAAC;AAEnC,MAAM,MAAM,SAAS;AACnB,0EAA0E;AACxE;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;CAAE;AACpC,iGAAiG;GAC/F;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACvD,oGAAoG;GAClG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACvD,uFAAuF;GACrF;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AACH,6DAA6D;GAC3D;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD,MAAM,WAAW,UAAU;IACzB,8FAA8F;IAC9F,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,KAAK,SAAS,CAAC;CAC5E;AAED,MAAM,WAAW,QAAQ;IACvB,2GAA2G;IAC3G,QAAQ,CAAC,KAAK,EAAE,CACd,QAAQ,EAAE,YAAY,EACtB,QAAQ,EAAE,YAAY,KACnB,UAAU,CAAC;CACjB"}
+{"version":3,"file":"git-history.d.ts","sourceRoot":"","sources":["../../src/ports/git-history.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD,YAAY,EACV,QAAQ,EACR,WAAW,EACX,KAAK,EACL,UAAU,GACX,MAAM,2BAA2B,CAAC;AAEnC,MAAM,MAAM,SAAS;AACnB,0EAA0E;AACxE;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;CAAE;AACpC,iGAAiG;GAC/F;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACvD,oGAAoG;GAClG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACvD,uFAAuF;GACrF;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AACH,6DAA6D;GAC3D;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD,MAAM,WAAW,UAAU;IACzB,8FAA8F;IAC9F,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,KAAK,SAAS,CAAC;CAC5E;AAED,qFAAqF;AACrF,MAAM,MAAM,MAAM,GACd;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD,MAAM,WAAW,QAAQ;IACvB,2GAA2G;IAC3G,QAAQ,CAAC,KAAK,EAAE,CACd,QAAQ,EAAE,YAAY,EACtB,QAAQ,EAAE,YAAY,KACnB,UAAU,CAAC;IAChB,6GAA6G;IAC7G,QAAQ,CAAC,MAAM,EAAE,CACf,QAAQ,EAAE,YAAY,EACtB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,KACT,MAAM,CAAC;CACb"}

package/dist/ports/study-registry-codec.d.ts

@@ -4,6 +4,7 @@
  * `src/adapters/study-registry/` (zod); `src/cli.ts` wires it.
  */
 import type { ParsedPlan, ParsedRegistry, StudyKind } from "../domain/study-registry.ts";
+import type { ParsedResult } from "../domain/study-result.ts";
 export interface StudyRegistryCodec {
     /** A `studies.json`'s text: the registry, or the one reason it is not one of this schema. */
     readonly parse: (text: string) => ParsedRegistry;
@@ -14,5 +15,7 @@ export interface StudyRegistryCodec {
     readonly parsePlan: (text: string, kind: StudyKind) => ParsedPlan;
     /** A plan still named `prereg.json`, loose: the same three outcomes. */
     readonly parseLegacyPlan: (text: string) => ParsedPlan;
+    /** A study's `result.json`: its numbers, or why it is none (src/domain/study-result.ts). */
+    readonly parseResult: (text: string) => ParsedResult;
 }
 //# sourceMappingURL=study-registry-codec.d.ts.map

package/dist/ports/study-registry-codec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"study-registry-codec.d.ts","sourceRoot":"","sources":["../../src/ports/study-registry-codec.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EACV,UAAU,EACV,cAAc,EACd,SAAS,EACV,MAAM,6BAA6B,CAAC;AAErC,MAAM,WAAW,kBAAkB;IACjC,6FAA6F;IAC7F,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,cAAc,CAAC;IACjD;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,KAAK,UAAU,CAAC;IAClE,wEAAwE;IACxE,QAAQ,CAAC,eAAe,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,UAAU,CAAC;CACxD"}
+{"version":3,"file":"study-registry-codec.d.ts","sourceRoot":"","sources":["../../src/ports/study-registry-codec.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EACV,UAAU,EACV,cAAc,EACd,SAAS,EACV,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAE9D,MAAM,WAAW,kBAAkB;IACjC,6FAA6F;IAC7F,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,cAAc,CAAC;IACjD;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,KAAK,UAAU,CAAC;IAClE,wEAAwE;IACxE,QAAQ,CAAC,eAAe,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,UAAU,CAAC;IACvD,4FAA4F;IAC5F,QAAQ,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,YAAY,CAAC;CACtD"}

package/dist/skills/build-label-page/scripts/label-page-cli.d.ts

@@ -0,0 +1,6 @@
+/** One command line: what it printed to stdout and to stderr, and its exit code. */
+export declare function cli(argv: readonly string[]): {
+    readonly status: number;
+    readonly stdout: string;
+    readonly stderr: string;
+};

package/dist/skills/build-label-page/scripts/label-page-commands.d.ts

@@ -0,0 +1,14 @@
+/**
+ * The subcommands of `label-page`, by name. One table, read twice: the dispatcher in `label-page.ts`
+ * compares against these, and `SKILL.md.spec.ts` interpolates them into every command it instructs
+ * (a name that is not here is a type error there). So the skill cannot instruct a subcommand the
+ * script does not have.
+ *
+ * A module of its own, with no side effects: the spec imports it at compile time, and importing
+ * `label-page.ts` itself would run the command line.
+ */
+export declare const COMMANDS: {
+    readonly build: "build";
+    readonly export: "export";
+    readonly schema: "schema";
+};

package/dist/skills/build-label-page/scripts/label-page-core.d.ts

@@ -0,0 +1,149 @@
+export declare class Refusal extends Error {
+    readonly exitCode: number;
+    constructor(exitCode: number, message: string);
+}
+export declare const fail: (message: string) => never;
+/** The lines printed since the last call, each ending in a newline. */
+export declare const takePrinted: () => string;
+export declare const say: (line: string) => void;
+type Json = null | boolean | number | string | readonly Json[] | {
+    readonly [key: string]: Json;
+};
+type JsonObject = {
+    readonly [key: string]: Json;
+};
+type SchemaNode = {
+    kind: "string";
+    required: boolean;
+    pattern?: string;
+} | {
+    kind: "integer";
+    required: boolean;
+} | {
+    kind: "array";
+    required: boolean;
+    min: number;
+    items: SchemaNode;
+} | {
+    kind: "map";
+    required: boolean;
+    min: number;
+    key_pattern: string;
+    values: SchemaNode;
+} | {
+    kind: "object";
+    required: boolean;
+    closed: boolean;
+    fields: Readonly<Record<string, SchemaNode>>;
+};
+export declare const CONFIG_SCHEMA: SchemaNode;
+interface Option {
+    readonly value: string;
+    readonly label: string;
+    readonly example: string;
+    readonly icon?: string;
+    readonly ask_why?: string;
+}
+interface Question {
+    readonly id: string;
+    readonly text: string;
+    readonly short?: string;
+    readonly options: readonly Option[];
+}
+type Item = Readonly<Record<string, string>> & {
+    readonly source_id: string;
+    readonly group: string;
+};
+interface Practice {
+    readonly title?: string;
+    readonly body: string;
+    readonly code?: string;
+    readonly context?: string;
+    readonly expected: Readonly<Record<string, string>>;
+    readonly why: string;
+}
+interface Config {
+    readonly study: string;
+    readonly title: string;
+    readonly intro?: string;
+    readonly seed: number;
+    readonly groups: Readonly<Record<string, string>>;
+    readonly labeller_knows?: readonly string[];
+    readonly familiarity_question?: string;
+    readonly questions: readonly Question[];
+    readonly practice: readonly Practice[];
+    readonly practice_round?: number;
+    readonly items: readonly Item[];
+}
+interface KeyEntry {
+    readonly source_id: string;
+    readonly group: string;
+    readonly on_page: boolean;
+}
+/** Only what the labeller can answer goes on the page, and only that gets an id, in id order. */
+declare function itemsOnPage(cfg: Config, keyPath: string): {
+    items: Item[];
+    ids: ReadonlyMap<string, string>;
+    entries: Readonly<Record<string, KeyEntry>>;
+    idOf: (i: Item) => string;
+};
+/** What a page shows: the questions, the practice and the items, blind, with their neutral ids. */
+declare function payloadOf(cfg: Config, page: ReturnType<typeof itemsOnPage>): {
+    title: string;
+    intro: string;
+    groups: {
+        id: string;
+        label: string;
+    }[];
+    familiarity_question: string;
+    familiarity: {
+        value: string;
+        label: string;
+    }[];
+    allowed: JsonObject;
+    questions: readonly Question[];
+    practice: {
+        round: number;
+        items: readonly (Practice & {
+            readonly id: string;
+        })[];
+    };
+    items: {
+        id: string;
+    }[];
+};
+export type Payload = ReturnType<typeof payloadOf>;
+/**
+ * Everything a build does but lay out the page: reads and checks items.json (the schema, the
+ * cross-field checks, the leak guard), gives the items their ids, writes key.json beside the page and
+ * returns what the page shows. A page written by hand can take its blindness and its key from here.
+ */
+export declare function prepareBuild(configPath: string, outDir: string): {
+    payload: {
+        title: string;
+        intro: string;
+        groups: {
+            id: string;
+            label: string;
+        }[];
+        familiarity_question: string;
+        familiarity: {
+            value: string;
+            label: string;
+        }[];
+        allowed: JsonObject;
+        questions: readonly Question[];
+        practice: {
+            round: number;
+            items: readonly (Practice & {
+                readonly id: string;
+            })[];
+        };
+        items: {
+            id: string;
+        }[];
+    };
+    dropped: number;
+};
+export declare function exportLabels(dumpPath: string, keyPath: string, outDir: string, day: string): void;
+export {};

package/dist/skills/build-label-page/scripts/label-page-html.d.ts

@@ -0,0 +1,5 @@
+import { type Payload } from "./label-page-core.ts";
+/** The page: the template with its title and its data. */
+export declare function pageHtml(payload: Payload): string;
+/** items.json → out/page.html and out/key.json. */
+export declare function build(configPath: string, outDir: string): void;

package/dist/skills/build-label-page/scripts/label-page.d.ts

@@ -0,0 +1,2 @@
+#!/usr/bin/env node
+export {};

package/dist/study-modes.d.ts

@@ -1,4 +1,5 @@
 import type { NotAFile } from "./domain/decide-first.ts";
+import { type PlanGates } from "./domain/study-gates.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";
@@ -30,6 +31,8 @@ export interface ModeStudy {
     readonly plan: string;
     readonly mode: StudyMode;
     readonly empty: readonly PlanTextField[];
+    /** A plan v2's gates as HEAD holds them; null for a plan v1. */
+    readonly gates: PlanGates | null;
 }
 /** What reading the plan of one row gave: its mode study, nothing, or a link on the way to it. */
 export type ModeRead = {

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

@@ -1 +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"}
+{"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,EAAW,KAAK,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAClE,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;IACzC,gEAAgE;IAChE,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAAC;CAClC;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,QAoBF,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

@@ -6,6 +6,7 @@
  */
 import { posix } from "node:path";
 import { filter, map, pipe } from "remeda";
+import { gatesOf } from "./domain/study-gates.js";
 import { studiesOf, } from "./domain/study-registry.js";
 /**
  * What the decision file `file` (relative to the paper) is, read through `folder` without following
@@ -45,7 +46,13 @@ export const readModeStudy = (s, folder, codec) => {
     const empty = parsed.kind === "draft" ? parsed.empty : [];
     return {
         kind: "mode",
-        study: { row: s, plan, mode: parsed.plan.mode, empty },
+        study: {
+            row: s,
+            plan,
+            mode: parsed.plan.mode,
+            empty,
+            gates: gatesOf(parsed.plan),
+        },
     };
 };
 /**

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,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"}
+{"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;AAE3C,OAAO,EAAE,OAAO,EAAkB,MAAM,yBAAyB,CAAC;AAElE,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;AAsBF;;;;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;YACL,GAAG,EAAE,CAAC;YACN,IAAI;YACJ,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI;YACtB,KAAK;YACL,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;SAC5B;KACF,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.map

@@ -1 +1 @@
-{"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"}
+{"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;AAgED;;;;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

@@ -110,6 +110,7 @@ const PROBLEMS = [
     "unknown-requirement",
     "headline-approval",
     "bad-plan",
+    "plan-version",
     "author-check",
 ];
 /** A rule's meta: its page, and a message id per problem, the whole text being `studyMessage`. */