paperlint 13.1.0 → 13.3.0

package/dist/domain/study-result.d.ts

@@ -0,0 +1,151 @@
+/**
+ * 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 { type Funnel, type RecallAudit, type SecondCheck, type SelfTest, type WeLoseIf } from "./study-gates.ts";
+import type { StudyPlan } from "./study-registry.ts";
+/** The value a study's result says its claim has, when its number crossed `we_lose_if`. */
+export declare const CLAIM_LOST = "lost";
+/** What a person found reading the audited files in full, and how many of those units the extractor found. */
+export interface RecallCounts {
+    readonly files: number;
+    readonly units_in_files: number;
+    readonly extracted: number;
+}
+/** A study's `result.json`: its own numbers by name, and the five parts the gates read. */
+export interface StudyResult {
+    readonly claim?: typeof CLAIM_LOST | undefined;
+    readonly kappa?: Readonly<Record<string, number>> | undefined;
+    readonly self_test?: {
+        readonly passed: number;
+        readonly failed: number;
+    } | undefined;
+    readonly funnel?: Readonly<Record<string, number>> | undefined;
+    readonly recall_audit?: RecallCounts | undefined;
+    readonly [key: string]: unknown;
+}
+/** A `result.json`'s text, parsed: the result, or why it is none. */
+export type ParsedResult = {
+    readonly kind: "read";
+    readonly result: StudyResult;
+} | {
+    readonly kind: "unreadable";
+    readonly why: string;
+};
+/** What the study's folder holds of `result.json`. */
+export type ResultState = {
+    readonly kind: "absent";
+} | {
+    readonly kind: "linked";
+    readonly link: string;
+} | ParsedResult;
+/** A done study of a ready plan v2: its gates, and what its folder holds of its result. */
+export interface ResultStudy {
+    readonly id: string;
+    readonly folder: string;
+    /** null: an exploratory study, which has no claim to lose. */
+    readonly we_lose_if: WeLoseIf | null;
+    readonly second_check: SecondCheck;
+    readonly self_test: SelfTest;
+    readonly funnel: Funnel;
+    readonly recall_audit: RecallAudit;
+    readonly state: ResultState;
+}
+/** The gates a ready plan v2 declares, as the judge reads them. */
+export type Gates = Pick<ResultStudy, "we_lose_if" | "second_check" | "self_test" | "funnel" | "recall_audit">;
+/**
+ * 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 declare const gatesOf: (p: StudyPlan) => Gates | null;
+/** One defect of a study's result. */
+export type ResultFinding = {
+    readonly problem: "no-result-file";
+    readonly id: string;
+} | {
+    readonly problem: "result-linked";
+    readonly id: string;
+    readonly link: string;
+} | {
+    readonly problem: "result-unreadable";
+    readonly id: string;
+    readonly why: string;
+} | {
+    readonly problem: "no-number";
+    readonly id: string;
+    readonly key: string;
+} | {
+    readonly problem: "claim-lost";
+    readonly id: string;
+    readonly key: string;
+    readonly value: number;
+    readonly threshold: string;
+} | {
+    readonly problem: "claim-holds";
+    readonly id: string;
+    readonly key: string;
+    readonly value: number;
+    readonly threshold: string;
+} | {
+    readonly problem: "kappa";
+    readonly id: string;
+    readonly step: string;
+    readonly min: number;
+    readonly got: number | null;
+} | {
+    readonly problem: "self-test";
+    readonly id: string;
+    readonly failed: number | null;
+}
+/** The self-test ran no case: it says nothing about the check. */
+ | {
+    readonly problem: "self-test-empty";
+    readonly id: string;
+} | {
+    readonly problem: "funnel";
+    readonly id: string;
+    readonly missing: readonly string[];
+} | {
+    readonly problem: "no-recall-audit";
+    readonly id: string;
+} | {
+    readonly problem: "recall-sample";
+    readonly id: string;
+    readonly files: number;
+    readonly min_files: number;
+} | {
+    readonly problem: "recall";
+    readonly id: string;
+    readonly extracted: number;
+    readonly units: number;
+    readonly min: number;
+};
+/** Every defect of one study's result, in the order of its gates. */
+export declare const judgeResult: (s: ResultStudy) => readonly ResultFinding[];
+/** Each finding by its problem. */
+type FindingOf = {
+    readonly [F in ResultFinding as F["problem"]]: F;
+};
+type Problem = keyof FindingOf;
+/** The one text a finding is reported with. */
+export declare const resultMessage: (f: ResultFinding) => string;
+/** Every problem the rule reports, each its own message id. */
+export declare const RESULT_PROBLEMS: readonly Problem[];
+export {};
+//# sourceMappingURL=study-result.d.ts.map

package/dist/domain/study-result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"study-result.d.ts","sourceRoot":"","sources":["../../src/domain/study-result.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAIL,KAAK,MAAM,EACX,KAAK,WAAW,EAEhB,KAAK,WAAW,EAChB,KAAK,QAAQ,EACb,KAAK,QAAQ,EACd,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAErD,2FAA2F;AAC3F,eAAO,MAAM,UAAU,SAAS,CAAC;AAEjC,8GAA8G;AAC9G,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,2FAA2F;AAC3F,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,UAAU,GAAG,SAAS,CAAC;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC;IAC9D,QAAQ,CAAC,SAAS,CAAC,EACjB;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;IACnE,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC;IAC/D,QAAQ,CAAC,YAAY,CAAC,EAAE,YAAY,GAAG,SAAS,CAAC;IACjD,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACjC;AAED,qEAAqE;AACrE,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAE1D,sDAAsD;AACtD,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClD,YAAY,CAAC;AAEjB,2FAA2F;AAC3F,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,8DAA8D;IAC9D,QAAQ,CAAC,UAAU,EAAE,QAAQ,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B;AAED,mEAAmE;AACnE,MAAM,MAAM,KAAK,GAAG,IAAI,CACtB,WAAW,EACX,YAAY,GAAG,cAAc,GAAG,WAAW,GAAG,QAAQ,GAAG,cAAc,CACxE,CAAC;AAMF;;;GAGG;AACH,eAAO,MAAM,OAAO,GAAI,GAAG,SAAS,KAAG,KAAK,GAAG,IAiB9C,CAAC;AAEF,sCAAsC;AACtC,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC3D;IACE,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,GACD;IACE,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,GACD;IAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC5E;IACE,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,GACD;IACE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,GACD;IACE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AACH,kEAAkE;GAChE;IAAE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC5D;IACE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC,GACD;IAAE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC5D;IACE,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,GACD;IACE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAoGN,qEAAqE;AACrE,eAAO,MAAM,WAAW,GAAI,GAAG,WAAW,KAAG,SAAS,aAAa,EAoBlE,CAAC;AAKF,mCAAmC;AACnC,KAAK,SAAS,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,aAAa,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC;CAAE,CAAC;AACtE,KAAK,OAAO,GAAG,MAAM,SAAS,CAAC;AAuC/B,+CAA+C;AAC/C,eAAO,MAAM,aAAa,GAAI,GAAG,aAAa,KAAG,MAC6D,CAAC;AAE/G,+DAA+D;AAC/D,eAAO,MAAM,eAAe,EAAE,SAAS,OAAO,EAc7C,CAAC"}

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/assess-novelty/scripts/candidate_page.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/skills/assess-novelty/scripts/novelty_reader_brief.d.ts

@@ -0,0 +1,25 @@
+#!/usr/bin/env node
+type Neighbour = {
+    id: string;
+    text: string;
+    url?: string;
+    title?: string;
+};
+type Claim = {
+    id: string;
+    sentence: string;
+    pieces: Record<string, string>;
+};
+/** Lines exactly as Read and the coverage checker number them (novelty_coverage.py: removesuffix("\n").split("\n")). */
+export declare const lineCount: (text: string) => number;
+/** Share of non-blank lines with a 6+ space gap: two page columns glued into one line by `pdftotext -layout`. */
+export declare const glue: (text: string) => number;
+/**
+ * The fewest chunks of at most CHUNK lines, spread evenly: 401 lines are [1, 201] [202, 401], not [1, 400] [401, 401].
+ * A stub last chunk (a lone page break or page number) holds no 8-word quote, so a complete read could not be proved.
+ */
+export declare const chunks: (n: number) => [number, number][];
+export declare const claimsText: (claims: Claim[]) => string;
+/** The brief, pure. `lines` = the saved text's line count; `repair` = the checker's errors for this neighbour. */
+export declare const readerBrief: (paper: string, n: Neighbour, claims: Claim[], lines: number, repair?: string[]) => string;
+export {};

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";
+};