@alisio/plugin-thesis 0.1.0

package/dist/checks/brief.js

@@ -0,0 +1,38 @@
+const hints = {
+    "BRF-001": "Fix the YAML syntax, or run /thesis:init to create thesis.yaml.",
+    "BRF-002": "Remove the key or correct its type; thesis.yaml uses a closed schema.",
+    "BRF-003": "Use a BCP-47 tag such as es-CO, en or pt-BR.",
+    "BRF-004": "Use a shipped id, or add the style under styles/ so it is discovered.",
+    "BRF-005": "Add the required field to thesis.yaml.",
+};
+/** G0: thesis.yaml is valid and complete enough to start (BRF-*). */
+export function checkBrief(project) {
+    if (project.brief === undefined) {
+        return [
+            {
+                code: "BRF-001",
+                gate: "G0",
+                severity: "error",
+                file: "thesis.yaml",
+                message: "thesis.yaml was not found",
+                hint: hints["BRF-001"],
+            },
+        ];
+    }
+    return project.brief.issues.map((issue) => {
+        const finding = {
+            code: issue.code,
+            gate: "G0",
+            severity: issue.severity,
+            file: "thesis.yaml",
+            message: issue.path ? `${issue.path}: ${issue.message}` : issue.message,
+        };
+        if (issue.line !== undefined)
+            finding.line = issue.line;
+        const hint = hints[issue.code];
+        if (hint)
+            finding.hint = hint;
+        return finding;
+    });
+}
+//# sourceMappingURL=brief.js.map

package/dist/checks/brief.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"brief.js","sourceRoot":"","sources":["../../src/checks/brief.ts"],"names":[],"mappings":"AAGA,MAAM,KAAK,GAA2B;IACpC,SAAS,EAAE,iEAAiE;IAC5E,SAAS,EAAE,uEAAuE;IAClF,SAAS,EAAE,8CAA8C;IACzD,SAAS,EAAE,uEAAuE;IAClF,SAAS,EAAE,wCAAwC;CACpD,CAAC;AAEF,qEAAqE;AACrE,MAAM,UAAU,UAAU,CAAC,OAAsB;IAC/C,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO;YACL;gBACE,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,IAAI;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,2BAA2B;gBACpC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAW;aACjC;SACF,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACxC,MAAM,OAAO,GAAY;YACvB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO;SACxE,CAAC;QACF,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QACxD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,IAAI;YAAE,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC;QAC9B,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/checks/citations.d.ts

@@ -0,0 +1,14 @@
+import type { Finding } from "../types.js";
+import type { LoadedProject } from "./project.js";
+/** G5 citation checks over the document model (spec 9.2): CIT-001, CIT-002 and CIT-003. */
+interface Cited {
+    key: string;
+    file: string | undefined;
+    line: number | undefined;
+    section: string | undefined;
+}
+/** Every citation of the document with the section its file declares. */
+export declare function citationsOf(project: LoadedProject): Cited[];
+export declare function checkCitations(project: LoadedProject): Finding[];
+export {};
+//# sourceMappingURL=citations.d.ts.map

package/dist/checks/citations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../../src/checks/citations.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAkB,OAAO,EAAE,MAAM,aAAa,CAAC;AAE3D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAElD,2FAA2F;AAE3F,UAAU,KAAK;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IACzB,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IACzB,OAAO,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,yEAAyE;AACzE,wBAAgB,WAAW,CAAC,OAAO,EAAE,aAAa,GAAG,KAAK,EAAE,CAmB3D;AAQD,wBAAgB,cAAc,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,EAAE,CAoDhE"}

package/dist/checks/citations.js

@@ -0,0 +1,87 @@
+import { allBlockLists, allSections, walkInlines } from "../render/walk.js";
+import { citableForSection, parseLibraryText } from "../research/library.js";
+import { documentOf } from "./document.js";
+/** Every citation of the document with the section its file declares. */
+export function citationsOf(project) {
+    const assembled = documentOf(project);
+    if (!assembled)
+        return [];
+    const doc = assembled.document;
+    const sectionOfFile = new Map(allSections(doc).map((section) => [section.path, section.section]));
+    const cited = [];
+    for (const { file, blocks } of allBlockLists(doc)) {
+        walkInlines(blocks, (inline, owner) => {
+            if (inline.kind !== "citation")
+                return;
+            for (const item of inline.items)
+                cited.push({
+                    key: item.key,
+                    file,
+                    line: owner.line,
+                    section: file === undefined ? undefined : sectionOfFile.get(file),
+                });
+        });
+    }
+    return cited;
+}
+const at = (cite) => ({
+    ...(cite.file === undefined ? {} : { file: cite.file }),
+    ...(cite.line === undefined ? {} : { line: cite.line }),
+    ...(cite.section === undefined ? {} : { section: cite.section }),
+});
+export function checkCitations(project) {
+    const assembled = documentOf(project);
+    if (!assembled)
+        return [];
+    const { records } = parseLibraryText(project.libraryText);
+    const byKey = new Map(records.map((record) => [record.citeKey, record]));
+    const findings = [];
+    const cited = citationsOf(project);
+    const usedKeys = new Set();
+    for (const cite of cited) {
+        usedKeys.add(cite.key);
+        const record = byKey.get(cite.key);
+        if (!record) {
+            findings.push({
+                code: "CIT-001",
+                gate: "G5",
+                severity: "error",
+                ...at(cite),
+                message: `Citation @${cite.key} is not in the evidence library`,
+                hint: "Cite only keys of evidence/library.jsonl; research the source with /thesis:research first.",
+            });
+            continue;
+        }
+        const approvals = cite.section
+            ? (project.sections?.[cite.section]?.contextualApprovals ?? [])
+            : [];
+        if (!citableForSection(record, approvals)) {
+            findings.push({
+                code: "CIT-002",
+                gate: "G5",
+                severity: "error",
+                ...at(cite),
+                message: `@${cite.key} (${record.id}) is ${record.status}, which is not citable${cite.section ? ` in ${cite.section}` : ""}`,
+                hint: "Only verified records are citable; approve a CONTEXTUAL_ONLY source for this section with /thesis:approve SEC -- contextual EVD-xxxxx.",
+            });
+        }
+    }
+    // CIT-003 applies from the review phase on: until then a library naturally holds unused sources.
+    const phase = project.state?.phase;
+    if (phase === "review" || phase === "final" || phase === "submitted") {
+        for (const record of records) {
+            if (record.status === "REJECTED" || usedKeys.has(record.citeKey))
+                continue;
+            findings.push({
+                code: "CIT-003",
+                gate: "G5",
+                severity: "warning",
+                file: "evidence/library.jsonl",
+                message: `${record.id} @${record.citeKey} is in the library but never cited`,
+                hint: "Cite it where it supports a claim, or remove it from the library before the final bibliography.",
+            });
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=citations.js.map

package/dist/checks/citations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"citations.js","sourceRoot":"","sources":["../../src/checks/citations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC5E,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE7E,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAY3C,yEAAyE;AACzE,MAAM,UAAU,WAAW,CAAC,OAAsB;IAChD,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IAC1B,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC;IAC/B,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAClG,MAAM,KAAK,GAAY,EAAE,CAAC;IAC1B,KAAK,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QAClD,WAAW,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;YACpC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;gBAAE,OAAO;YACvC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK;gBAC7B,KAAK,CAAC,IAAI,CAAC;oBACT,GAAG,EAAE,IAAI,CAAC,GAAG;oBACb,IAAI;oBACJ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,OAAO,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;iBAClE,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,EAAE,GAAG,CAAC,IAAW,EAA8C,EAAE,CAAC,CAAC;IACvE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACvD,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACvD,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;CACjE,CAAC,CAAC;AAEH,MAAM,UAAU,cAAc,CAAC,OAAsB;IACnD,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IAC1B,MAAM,EAAE,OAAO,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAyB,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACjG,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,IAAI;gBACV,QAAQ,EAAE,OAAO;gBACjB,GAAG,EAAE,CAAC,IAAI,CAAC;gBACX,OAAO,EAAE,aAAa,IAAI,CAAC,GAAG,iCAAiC;gBAC/D,IAAI,EAAE,4FAA4F;aACnG,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO;YAC5B,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,mBAAmB,IAAI,EAAE,CAAC;YAC/D,CAAC,CAAC,EAAE,CAAC;QACP,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,IAAI;gBACV,QAAQ,EAAE,OAAO;gBACjB,GAAG,EAAE,CAAC,IAAI,CAAC;gBACX,OAAO,EAAE,IAAI,IAAI,CAAC,GAAG,KAAK,MAAM,CAAC,EAAE,QAAQ,MAAM,CAAC,MAAM,yBAAyB,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC5H,IAAI,EAAE,wIAAwI;aAC/I,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,iGAAiG;IACjG,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;IACnC,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QACrE,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;gBAAE,SAAS;YAC3E,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,IAAI;gBACV,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,GAAG,MAAM,CAAC,EAAE,KAAK,MAAM,CAAC,OAAO,oCAAoC;gBAC5E,IAAI,EAAE,iGAAiG;aACxG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/checks/claims.d.ts

@@ -0,0 +1,16 @@
+import type { Finding } from "../types.js";
+import type { LoadedProject } from "./project.js";
+interface Anchor {
+    anchor: string;
+    file: string;
+    line: number | undefined;
+    section: string | undefined;
+}
+/** Claim anchors found in the chapters with the section their file declares. */
+export declare function anchorsOf(project: LoadedProject): Anchor[];
+/** G3: CLM-001 to CLM-003. */
+export declare function checkClaims(project: LoadedProject): Finding[];
+/** G10: CLM-004, every objective is reached by at least one result or conclusion claim. */
+export declare function checkObjectivesReached(project: LoadedProject): Finding[];
+export {};
+//# sourceMappingURL=claims.d.ts.map

package/dist/checks/claims.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../src/checks/claims.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAe,OAAO,EAAE,MAAM,aAAa,CAAC;AAGxD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAOlD,UAAU,MAAM;IACd,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IACzB,OAAO,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,gFAAgF;AAChF,wBAAgB,SAAS,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,EAAE,CAkB1D;AASD,8BAA8B;AAC9B,wBAAgB,WAAW,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,EAAE,CAwJ7D;AAED,2FAA2F;AAC3F,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,EAAE,CAwBxE"}

package/dist/checks/claims.js

@@ -0,0 +1,147 @@
+import { parseClaimsText } from "../claims.js";
+import { allBlockLists, allSections, walkBlocks } from "../render/walk.js";
+import { parseLibraryText } from "../research/library.js";
+import { documentOf } from "./document.js";
+import { protocolObjectives } from "./outline.js";
+const file = "claims/claims.jsonl";
+/** Approaches that argue from the literature rather than from measured results (CLM-003). */
+const literatureApproaches = new Set(["theoretical", "systematic_review"]);
+/** Claim anchors found in the chapters with the section their file declares. */
+export function anchorsOf(project) {
+    const assembled = documentOf(project);
+    if (!assembled)
+        return [];
+    const doc = assembled.document;
+    const sectionOfFile = new Map(allSections(doc).map((section) => [section.path, section.section]));
+    const found = [];
+    for (const { file: path, blocks } of allBlockLists(doc)) {
+        walkBlocks(blocks, (block) => {
+            if (block.kind === "paragraph" && block.claim !== undefined && path !== undefined)
+                found.push({
+                    anchor: block.claim,
+                    file: path,
+                    line: block.line,
+                    section: sectionOfFile.get(path),
+                });
+        });
+    }
+    return found;
+}
+const finding = (code, gate, message, extra = {}) => ({ code, gate, severity: "error", message, ...extra });
+/** G3: CLM-001 to CLM-003. */
+export function checkClaims(project) {
+    const parsed = parseClaimsText(project.claimsText);
+    const findings = parsed.errors.map((error) => finding("CLM-001", "G3", error.message, { file, line: error.line }));
+    const anchors = anchorsOf(project);
+    const records = parsed.records;
+    if (records.length === 0 && anchors.length === 0 && findings.length === 0)
+        return findings;
+    const ids = new Map();
+    const pairs = new Map();
+    for (const record of records) {
+        ids.set(record.id, (ids.get(record.id) ?? 0) + 1);
+        const pair = `${record.section}|${record.anchor}`;
+        if (pairs.has(pair))
+            findings.push(finding("CLM-001", "G3", `Claim anchor ${record.anchor} of ${record.section} is recorded twice`, {
+                file,
+                section: record.section,
+            }));
+        else
+            pairs.set(pair, record);
+    }
+    for (const [id, count] of ids)
+        if (count > 1)
+            findings.push(finding("CLM-001", "G3", `Claim id ${id} appears ${count} times`, { file }));
+    // Anchors in the text -> a record, and a record -> an anchor in the text (both ways).
+    const seenAnchors = new Set();
+    for (const anchor of anchors) {
+        const base = {
+            file: anchor.file,
+            ...(anchor.line === undefined ? {} : { line: anchor.line }),
+            ...(anchor.section === undefined ? {} : { section: anchor.section }),
+        };
+        if (anchor.section === undefined) {
+            findings.push(finding("CLM-001", "G3", `Claim anchor ${anchor.anchor} is in a file that declares no section`, {
+                ...base,
+                hint: "Add `section: SEC-xx` to the chapter's front matter.",
+            }));
+            continue;
+        }
+        const pair = `${anchor.section}|${anchor.anchor}`;
+        if (seenAnchors.has(pair))
+            findings.push(finding("CLM-001", "G3", `Claim anchor ${anchor.anchor} appears twice in ${anchor.section}`, base));
+        seenAnchors.add(pair);
+        if (!pairs.has(pair))
+            findings.push(finding("CLM-001", "G3", `Claim anchor ${anchor.anchor} has no record in claims/claims.jsonl`, {
+                ...base,
+                hint: "Anchors and claims are created together by /thesis:draft.",
+            }));
+    }
+    for (const record of records) {
+        if (!seenAnchors.has(`${record.section}|${record.anchor}`))
+            findings.push(finding("CLM-001", "G3", `${record.id} (${record.section}, anchor ${record.anchor}) has no anchor in the text`, {
+                file,
+                section: record.section,
+            }));
+    }
+    // CLM-002: claims cite existing evidence; background and argument claims need some.
+    const library = new Map(parseLibraryText(project.libraryText).records.map((r) => [r.id, r]));
+    for (const record of records) {
+        for (const id of record.evidence)
+            if (!library.has(id))
+                findings.push(finding("CLM-002", "G3", `${record.id} cites evidence ${id}, which is not in the library`, {
+                    file,
+                    section: record.section,
+                }));
+        if ((record.kind === "background" || record.kind === "argument") &&
+            record.evidence.length === 0)
+            findings.push(finding("CLM-002", "G3", `${record.id} is a ${record.kind} claim without evidence`, {
+                file,
+                section: record.section,
+                hint: "Cite a verified source, or turn the statement into a gap.",
+            }));
+    }
+    // CLM-003: a conclusion traces to results (or, for literature approaches, to arguments too).
+    const byId = new Map(records.map((record) => [record.id, record]));
+    const approach = project.brief?.brief?.approach;
+    const traceable = literatureApproaches.has(approach ?? "") ? ["result", "argument"] : ["result"];
+    for (const record of records) {
+        if (record.kind !== "conclusion")
+            continue;
+        const cited = (record.results ?? []).map((id) => byId.get(id));
+        const unknown = (record.results ?? []).filter((id) => !byId.has(id));
+        for (const id of unknown)
+            findings.push(finding("CLM-003", "G3", `${record.id} rests on ${id}, which is not a recorded claim`, {
+                file,
+                section: record.section,
+            }));
+        if (!cited.some((entry) => entry !== undefined && traceable.includes(entry.kind)))
+            findings.push(finding("CLM-003", "G3", `Conclusion ${record.id} does not rest on any ${traceable.join(" or ")} claim`, {
+                file,
+                section: record.section,
+                hint: "A conclusion must follow from results: list the result claims it rests on, or state the result first.",
+            }));
+    }
+    return findings;
+}
+/** G10: CLM-004, every objective is reached by at least one result or conclusion claim. */
+export function checkObjectivesReached(project) {
+    if (project.protocolText === undefined)
+        return [];
+    const objectives = protocolObjectives(project.protocolText).allObjectiveIds ?? [];
+    if (objectives.length === 0)
+        return [];
+    const phase = project.state?.phase;
+    if (phase !== "review" && phase !== "final" && phase !== "submitted")
+        return [];
+    const reached = new Set(parseClaimsText(project.claimsText)
+        .records.filter((record) => record.kind === "result" || record.kind === "conclusion")
+        .flatMap((record) => record.objectives));
+    return objectives
+        .filter((id) => !reached.has(id))
+        .map((id) => finding("CLM-004", "G10", `Objective ${id} is not reached by any result or conclusion claim`, {
+        file,
+        hint: "Write a result or conclusion claim for it (objectives field of the claim), or revise the section that should answer it.",
+    }));
+}
+//# sourceMappingURL=claims.js.map

package/dist/checks/claims.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../src/checks/claims.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE1D,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAGlD,MAAM,IAAI,GAAG,qBAAqB,CAAC;AAEnC,6FAA6F;AAC7F,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,mBAAmB,CAAC,CAAC,CAAC;AAS3E,gFAAgF;AAChF,MAAM,UAAU,SAAS,CAAC,OAAsB;IAC9C,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IAC1B,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC;IAC/B,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAClG,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACxD,UAAU,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;YAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;gBAC/E,KAAK,CAAC,IAAI,CAAC;oBACT,MAAM,EAAE,KAAK,CAAC,KAAK;oBACnB,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;iBACjC,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,OAAO,GAAG,CACd,IAAY,EACZ,IAAqB,EACrB,OAAe,EACf,KAAK,GAAqB,EAAE,EACnB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;AAErE,8BAA8B;AAC9B,MAAM,UAAU,WAAW,CAAC,OAAsB;IAChD,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAc,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACtD,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CACpE,CAAC;IACF,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAC/B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAE3F,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,GAAG,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YACjB,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,SAAS,EACT,IAAI,EACJ,gBAAgB,MAAM,CAAC,MAAM,OAAO,MAAM,CAAC,OAAO,oBAAoB,EACtE;gBACE,IAAI;gBACJ,OAAO,EAAE,MAAM,CAAC,OAAO;aACxB,CACF,CACF,CAAC;;YACC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC/B,CAAC;IACD,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,GAAG;QAC3B,IAAI,KAAK,GAAG,CAAC;YACX,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,KAAK,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAE/F,sFAAsF;IACtF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;YAC3D,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;SACrE,CAAC;QACF,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,SAAS,EACT,IAAI,EACJ,gBAAgB,MAAM,CAAC,MAAM,wCAAwC,EACrE;gBACE,GAAG,IAAI;gBACP,IAAI,EAAE,sDAAsD;aAC7D,CACF,CACF,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClD,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;YACvB,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,SAAS,EACT,IAAI,EACJ,gBAAgB,MAAM,CAAC,MAAM,qBAAqB,MAAM,CAAC,OAAO,EAAE,EAClE,IAAI,CACL,CACF,CAAC;QACJ,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAClB,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,SAAS,EACT,IAAI,EACJ,gBAAgB,MAAM,CAAC,MAAM,uCAAuC,EACpE;gBACE,GAAG,IAAI;gBACP,IAAI,EAAE,2DAA2D;aAClE,CACF,CACF,CAAC;IACN,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YACxD,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,SAAS,EACT,IAAI,EACJ,GAAG,MAAM,CAAC,EAAE,KAAK,MAAM,CAAC,OAAO,YAAY,MAAM,CAAC,MAAM,6BAA6B,EACrF;gBACE,IAAI;gBACJ,OAAO,EAAE,MAAM,CAAC,OAAO;aACxB,CACF,CACF,CAAC;IACN,CAAC;IAED,oFAAoF;IACpF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7F,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,QAAQ;YAC9B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAClB,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,SAAS,EACT,IAAI,EACJ,GAAG,MAAM,CAAC,EAAE,mBAAmB,EAAE,+BAA+B,EAChE;oBACE,IAAI;oBACJ,OAAO,EAAE,MAAM,CAAC,OAAO;iBACxB,CACF,CACF,CAAC;QACN,IACE,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC;YAC5D,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAE5B,QAAQ,CAAC,IAAI,CACX,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,EAAE,SAAS,MAAM,CAAC,IAAI,yBAAyB,EAAE;gBAClF,IAAI;gBACJ,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,IAAI,EAAE,2DAA2D;aAClE,CAAC,CACH,CAAC;IACN,CAAC;IAED,6FAA6F;IAC7F,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACnE,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC;IAChD,MAAM,SAAS,GAAG,oBAAoB,CAAC,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACjG,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY;YAAE,SAAS;QAC3C,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/D,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACrE,KAAK,MAAM,EAAE,IAAI,OAAO;YACtB,QAAQ,CAAC,IAAI,CACX,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,EAAE,aAAa,EAAE,iCAAiC,EAAE;gBACrF,IAAI;gBACJ,OAAO,EAAE,MAAM,CAAC,OAAO;aACxB,CAAC,CACH,CAAC;QACJ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/E,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,SAAS,EACT,IAAI,EACJ,cAAc,MAAM,CAAC,EAAE,yBAAyB,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAC9E;gBACE,IAAI;gBACJ,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,IAAI,EAAE,uGAAuG;aAC9G,CACF,CACF,CAAC;IACN,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,sBAAsB,CAAC,OAAsB;IAC3D,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClD,MAAM,UAAU,GAAG,kBAAkB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,eAAe,IAAI,EAAE,CAAC;IAClF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACvC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;IACnC,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,WAAW;QAAE,OAAO,EAAE,CAAC;IAChF,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,eAAe,CAAC,OAAO,CAAC,UAAU,CAAC;SAChC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC;SACpF,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAC1C,CAAC;IACF,OAAO,UAAU;SACd,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;SAChC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACV,OAAO,CACL,SAAS,EACT,KAAK,EACL,aAAa,EAAE,mDAAmD,EAClE;QACE,IAAI;QACJ,IAAI,EAAE,yHAAyH;KAChI,CACF,CACF,CAAC;AACN,CAAC"}

package/dist/checks/closing.d.ts

@@ -0,0 +1,20 @@
+import type { Finding, ReviewFinding } from "../types.js";
+import type { LoadedProject } from "./project.js";
+/** ETH-001: the questionnaire is answered and every triggered requirement has a resolution. */
+export declare function checkEthics(project: LoadedProject): Finding[];
+/** POL-AI-001: the AI-use declaration exists when the resolved policy requires one. */
+export declare function checkAiDeclaration(project: LoadedProject): Finding[];
+export declare function parseReviewFinding(text: string): ReviewFinding | undefined;
+/** REV-001: no open critical or major finding. */
+export declare function checkReviews(project: LoadedProject): Finding[];
+export interface FinalProblems {
+    /** What must hold before the final steps can start. */
+    blocking: string[];
+    /** The final steps themselves, done by /thesis:finalize. */
+    pending: string[];
+}
+/** FIN-001's conditions: all human gates, all sections, the PDF/A build (spec 9.2). */
+export declare function finalProblems(project: LoadedProject): FinalProblems;
+/** FIN-001 (G10). Before every section is approved it only reports progress. */
+export declare function checkFinal(project: LoadedProject): Finding[];
+//# sourceMappingURL=closing.d.ts.map

package/dist/checks/closing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"closing.d.ts","sourceRoot":"","sources":["../../src/checks/closing.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAclD,+FAA+F;AAC/F,wBAAgB,WAAW,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,EAAE,CAwC7D;AAED,uFAAuF;AACvF,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,EAAE,CAmBpE;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAe1E;AAED,kDAAkD;AAClD,wBAAgB,YAAY,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,EAAE,CA0B9D;AAED,MAAM,WAAW,aAAa;IAC5B,uDAAuD;IACvD,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,4DAA4D;IAC5D,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,uFAAuF;AACvF,wBAAgB,aAAa,CAAC,OAAO,EAAE,aAAa,GAAG,aAAa,CAiBnE;AAED,gFAAgF;AAChF,wBAAgB,UAAU,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,EAAE,CAsB5D"}

package/dist/checks/closing.js

@@ -0,0 +1,168 @@
+import { ethicsQuestions } from "../policy/ethics.js";
+import { parseProtocol } from "../protocol.js";
+import { allSections } from "../render/walk.js";
+import { documentOf } from "./document.js";
+/**
+ * The closing checks: ETH-001 and POL-AI-001 (G6), REV-001 (G9) and FIN-001 (G10). Several of them
+ * only become errors once every section is approved (phase review or later): until then the thesis
+ * is unfinished by definition and the checks say what is still open as warnings.
+ */
+const lateStates = new Set(["review", "final", "submitted"]);
+const isLate = (project) => project.state !== undefined && lateStates.has(project.state.phase);
+const protocolFile = "research/protocol.md";
+/** ETH-001: the questionnaire is answered and every triggered requirement has a resolution. */
+export function checkEthics(project) {
+    if (project.protocolText === undefined)
+        return [];
+    const data = parseProtocol(project.protocolText).data;
+    if (!data)
+        return [];
+    const findings = [];
+    const answers = typeof data.ethics === "object" && data.ethics !== null && !Array.isArray(data.ethics)
+        ? data.ethics
+        : {};
+    const missing = ethicsQuestions.filter((question) => typeof answers[question.id] !== "boolean");
+    if (missing.length > 0)
+        findings.push({
+            code: "ETH-001",
+            gate: "G6",
+            severity: "error",
+            file: protocolFile,
+            message: `The ethics questionnaire is incomplete: ${missing.map((question) => question.id).join(", ")} unanswered`,
+            hint: "Run /thesis:revise A -- <feedback> so the methodologist answers all 11 questions.",
+        });
+    const requirements = Array.isArray(data.ethicsRequirements) ? data.ethicsRequirements : [];
+    const resolutions = project.state?.ethicsResolutions ?? {};
+    // Without a workspace state there is nothing to resolve against; the CLI check on a bare folder
+    // therefore only validates the questionnaire.
+    if (!project.state)
+        return findings;
+    const severity = isLate(project) ? "error" : "warning";
+    for (const entry of requirements) {
+        if (typeof entry !== "object" || entry === null)
+            continue;
+        const id = entry.id;
+        if (typeof id !== "string" || resolutions[id]?.text)
+            continue;
+        const text = String(entry.text ?? "").slice(0, 120);
+        findings.push({
+            code: "ETH-001",
+            gate: "G6",
+            severity,
+            file: protocolFile,
+            message: `Ethics requirement ${id} has no recorded resolution: ${text}`,
+            hint: `Record how it was met: /thesis:approve ${id} -- <resolution, for example the committee approval number and the annex that holds it>.`,
+        });
+    }
+    return findings;
+}
+/** POL-AI-001: the AI-use declaration exists when the resolved policy requires one. */
+export function checkAiDeclaration(project) {
+    if (!project.profile?.aiDeclaration.required || !project.state)
+        return [];
+    const assembled = documentOf(project);
+    if (!assembled)
+        return [];
+    const present = allSections(assembled.document).some((section) => section.role === "ai-declaration" && section.blocks.length > 0);
+    if (present)
+        return [];
+    // While sections are still being written the declaration is just one more section to draft.
+    return [
+        {
+            code: "POL-AI-001",
+            gate: "G6",
+            severity: isLate(project) ? "error" : "warning",
+            message: "The resolved policy requires an AI-use declaration, but no chapter has the ai-declaration role",
+            hint: "Draft the ai_declaration section of the outline (/thesis:draft), or add a chapter file with `role: ai-declaration`.",
+        },
+    ];
+}
+export function parseReviewFinding(text) {
+    try {
+        const value = JSON.parse(text);
+        if (typeof value === "object" &&
+            value !== null &&
+            typeof value.id === "string" &&
+            typeof value.status === "string" &&
+            typeof value.severity === "string")
+            return value;
+    }
+    catch {
+        // reported by the caller
+    }
+    return undefined;
+}
+/** REV-001: no open critical or major finding. */
+export function checkReviews(project) {
+    const findings = [];
+    for (const file of project.reviewFiles) {
+        const parsed = parseReviewFinding(file.content);
+        if (!parsed) {
+            findings.push({
+                code: "REV-001",
+                gate: "G9",
+                severity: "error",
+                file: file.path,
+                message: "The finding file is not a valid review finding",
+            });
+            continue;
+        }
+        if (parsed.status === "open" && (parsed.severity === "critical" || parsed.severity === "major"))
+            findings.push({
+                code: "REV-001",
+                gate: "G9",
+                severity: "error",
+                file: file.path,
+                section: parsed.target,
+                message: `${parsed.id} is an open ${parsed.severity} finding in ${parsed.target} (${parsed.category}): ${parsed.description.slice(0, 160)}`,
+                hint: `Fix it with /thesis:revise ${parsed.id}, or dismiss it with a reason: /thesis:approve ${parsed.id} -- <reason>.`,
+            });
+    }
+    return findings;
+}
+/** FIN-001's conditions: all human gates, all sections, the PDF/A build (spec 9.2). */
+export function finalProblems(project) {
+    const out = { blocking: [], pending: [] };
+    const state = project.state;
+    if (!state)
+        return out;
+    for (const name of ["A", "B", "OUTLINE"])
+        if (state.humanGates[name].status !== "approved")
+            out.blocking.push(`Human Gate ${name} is not approved`);
+    const unapproved = Object.entries(state.sections)
+        .filter(([, section]) => section.status !== "approved")
+        .map(([id]) => id);
+    if (unapproved.length > 0)
+        out.blocking.push(`${unapproved.length} section(s) are not approved: ${unapproved.slice(0, 6).join(", ")}${unapproved.length > 6 ? ", ..." : ""}`);
+    if (state.humanGates.C.status !== "approved")
+        out.pending.push("Human Gate C is not approved");
+    if (!state.finalBuild)
+        out.pending.push("The PDF/A build has not succeeded");
+    return out;
+}
+/** FIN-001 (G10). Before every section is approved it only reports progress. */
+export function checkFinal(project) {
+    const state = project.state;
+    if (!state || Object.keys(state.sections).length === 0)
+        return [];
+    const problems = finalProblems(project);
+    if (!isLate(project)) {
+        const approved = Object.values(state.sections).filter((s) => s.status === "approved").length;
+        return [
+            {
+                code: "FIN-001",
+                gate: "G10",
+                severity: "info",
+                message: `Not final yet: ${approved} of ${Object.keys(state.sections).length} sections are approved`,
+            },
+        ];
+    }
+    return [...problems.blocking, ...problems.pending].map((message) => ({
+        code: "FIN-001",
+        gate: "G10",
+        severity: "error",
+        message,
+        hint: "Run /thesis:finalize.",
+    }));
+}
+//# sourceMappingURL=closing.js.map

package/dist/checks/closing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"closing.js","sourceRoot":"","sources":["../../src/checks/closing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAG3C;;;;GAIG;AAEH,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;AAC7D,MAAM,MAAM,GAAG,CAAC,OAAsB,EAAW,EAAE,CACjD,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAErE,MAAM,YAAY,GAAG,sBAAsB,CAAC;AAE5C,+FAA+F;AAC/F,MAAM,UAAU,WAAW,CAAC,OAAsB;IAChD,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClD,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC;IACtD,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,OAAO,GACX,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;QACpF,CAAC,CAAE,IAAI,CAAC,MAAkC;QAC1C,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC;IAChG,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QACpB,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,2CAA2C,OAAO,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa;YAClH,IAAI,EAAE,mFAAmF;SAC1F,CAAC,CAAC;IACL,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3F,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,EAAE,iBAAiB,IAAI,EAAE,CAAC;IAC3D,gGAAgG;IAChG,8CAA8C;IAC9C,IAAI,CAAC,OAAO,CAAC,KAAK;QAAE,OAAO,QAAQ,CAAC;IACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACvD,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC1D,MAAM,EAAE,GAAI,KAAiC,CAAC,EAAE,CAAC;QACjD,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,WAAW,CAAC,EAAE,CAAC,EAAE,IAAI;YAAE,SAAS;QAC9D,MAAM,IAAI,GAAG,MAAM,CAAE,KAAiC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjF,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,QAAQ;YACR,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,sBAAsB,EAAE,gCAAgC,IAAI,EAAE;YACvE,IAAI,EAAE,0CAA0C,EAAE,0FAA0F;SAC7I,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,kBAAkB,CAAC,OAAsB;IACvD,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,aAAa,CAAC,QAAQ,IAAI,CAAC,OAAO,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IAC1E,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IAC1B,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,IAAI,CAClD,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,gBAAgB,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAC5E,CAAC;IACF,IAAI,OAAO;QAAE,OAAO,EAAE,CAAC;IACvB,4FAA4F;IAC5F,OAAO;QACL;YACE,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YAC/C,OAAO,EACL,gGAAgG;YAClG,IAAI,EAAE,qHAAqH;SAC5H;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QAC1C,IACE,OAAO,KAAK,KAAK,QAAQ;YACzB,KAAK,KAAK,IAAI;YACd,OAAQ,KAAuB,CAAC,EAAE,KAAK,QAAQ;YAC/C,OAAQ,KAAuB,CAAC,MAAM,KAAK,QAAQ;YACnD,OAAQ,KAAuB,CAAC,QAAQ,KAAK,QAAQ;YAErD,OAAO,KAAsB,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,yBAAyB;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,YAAY,CAAC,OAAsB;IACjD,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,IAAI;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,OAAO,EAAE,gDAAgD;aAC1D,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,UAAU,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO,CAAC;YAC7F,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,IAAI;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,OAAO,EAAE,MAAM,CAAC,MAAM;gBACtB,OAAO,EAAE,GAAG,MAAM,CAAC,EAAE,eAAe,MAAM,CAAC,QAAQ,eAAe,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,QAAQ,MAAM,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;gBAC3I,IAAI,EAAE,8BAA8B,MAAM,CAAC,EAAE,kDAAkD,MAAM,CAAC,EAAE,eAAe;aACxH,CAAC,CAAC;IACP,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AASD,uFAAuF;AACvF,MAAM,UAAU,aAAa,CAAC,OAAsB;IAClD,MAAM,GAAG,GAAkB,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACzD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,IAAI,CAAC,KAAK;QAAE,OAAO,GAAG,CAAC;IACvB,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,CAAU;QAC/C,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU;YAC9C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,cAAc,IAAI,kBAAkB,CAAC,CAAC;IAC5D,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC;SAC9C,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC;SACtD,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IACrB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QACvB,GAAG,CAAC,QAAQ,CAAC,IAAI,CACf,GAAG,UAAU,CAAC,MAAM,iCAAiC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAChI,CAAC;IACJ,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU;QAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC/F,IAAI,CAAC,KAAK,CAAC,UAAU;QAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAC7E,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,UAAU,CAAC,OAAsB;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClE,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACrB,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;QAC7F,OAAO;YACL;gBACE,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,KAAK;gBACX,QAAQ,EAAE,MAAM;gBAChB,OAAO,EAAE,kBAAkB,QAAQ,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,wBAAwB;aACrG;SACF,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACnE,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,KAAc;QACpB,QAAQ,EAAE,OAAgB;QAC1B,OAAO;QACP,IAAI,EAAE,uBAAuB;KAC9B,CAAC,CAAC,CAAC;AACN,CAAC"}

package/dist/checks/design.d.ts

@@ -0,0 +1,5 @@
+import type { Finding } from "../types.js";
+import type { LoadedProject } from "./project.js";
+/** G1: the protocol is complete (DSN-001) and its objective verbs are verifiable (DSN-002). */
+export declare function checkDesign(project: LoadedProject): Finding[];
+//# sourceMappingURL=design.d.ts.map

package/dist/checks/design.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"design.d.ts","sourceRoot":"","sources":["../../src/checks/design.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAwBlD,+FAA+F;AAC/F,wBAAgB,WAAW,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,EAAE,CAmG7D"}