@alisio/plugin-thesis 0.1.0

package/dist/checks/index.js

@@ -0,0 +1,98 @@
+import { allSections } from "../render/walk.js";
+import { gates } from "../types.js";
+import { checkBrief } from "./brief.js";
+import { checkCitations } from "./citations.js";
+import { checkClaims, checkObjectivesReached } from "./claims.js";
+import { checkAiDeclaration, checkEthics, checkFinal, checkReviews } from "./closing.js";
+import { checkDesign } from "./design.js";
+import { checkBuildReport, checkCharts, checkDocumentHygiene, checkDocumentModel, documentOf, } from "./document.js";
+import { checkBibliography, checkEvidence } from "./evidence.js";
+import { checkHygiene } from "./hygiene.js";
+import { checkLanguage } from "./language.js";
+import { checkOutline } from "./outline.js";
+import { checkPolicy } from "./policy.js";
+import { checkStyles } from "./styles.js";
+import { checkWriting } from "./writing.js";
+export { loadProject } from "./project.js";
+export const checkRegistry = [
+    { id: "brief", gate: "G0", run: checkBrief },
+    { id: "policy", gate: "G0", run: checkPolicy },
+    { id: "styles", gate: "G0", run: checkStyles },
+    { id: "design", gate: "G1", run: checkDesign },
+    { id: "evidence", gate: "G2", run: checkEvidence },
+    { id: "outline", gate: "G4", run: checkOutline },
+    { id: "claims", gate: "G3", run: checkClaims },
+    { id: "bibliography", gate: "G5", run: checkBibliography },
+    { id: "citations", gate: "G5", run: checkCitations },
+    { id: "ethics", gate: "G6", run: checkEthics },
+    { id: "ai-declaration", gate: "G6", run: checkAiDeclaration },
+    { id: "hygiene", gate: "G7", run: checkHygiene },
+    { id: "language", gate: "G7", run: checkLanguage },
+    { id: "writing", gate: "G7", run: checkWriting },
+    { id: "document-hygiene", gate: "G7", run: checkDocumentHygiene },
+    { id: "document-model", gate: "G8", run: checkDocumentModel },
+    { id: "charts", gate: "G8", run: checkCharts },
+    { id: "build-report", gate: "G8", run: checkBuildReport },
+    { id: "reviews", gate: "G9", run: checkReviews },
+    { id: "objectives", gate: "G10", run: checkObjectivesReached },
+    { id: "final", gate: "G10", run: checkFinal },
+];
+export function parseGates(values) {
+    const selected = [];
+    for (const value of values) {
+        const gate = value.toUpperCase();
+        if (!gates.includes(gate)) {
+            throw new Error(`Unknown gate "${value}". Use one of: ${gates.join(", ")}`);
+        }
+        if (!selected.includes(gate))
+            selected.push(gate);
+    }
+    return selected;
+}
+const severityOrder = { error: 0, warning: 1, info: 2 };
+const gateOrder = (gate) => gates.indexOf(gate);
+export function runChecks(project, options = {}) {
+    const selected = options.gates && options.gates.length > 0 ? options.gates : undefined;
+    const findings = checkRegistry
+        .filter((check) => !selected || selected.includes(check.gate))
+        .flatMap((check) => check.run(project))
+        .sort((a, b) => gateOrder(a.gate) - gateOrder(b.gate) ||
+        severityOrder[a.severity] - severityOrder[b.severity] ||
+        (a.code < b.code ? -1 : a.code > b.code ? 1 : 0) ||
+        (a.file ?? "").localeCompare(b.file ?? "") ||
+        (a.line ?? 0) - (b.line ?? 0) ||
+        a.message.localeCompare(b.message));
+    const files = new Set(options.section
+        ? allSections((documentOf(project)?.document ?? { frontMatter: [], body: [], annexes: [] }))
+            .filter((section) => section.section === options.section)
+            .map((section) => section.path)
+        : []);
+    const kept = options.section
+        ? findings.filter((finding) => finding.section === options.section ||
+            (finding.section === undefined && finding.file !== undefined && files.has(finding.file)))
+        : findings;
+    const counts = { error: 0, warning: 0, info: 0 };
+    for (const finding of kept)
+        counts[finding.severity] += 1;
+    return {
+        at: (options.now ?? (() => new Date()))().toISOString(),
+        ok: counts.error === 0,
+        counts,
+        findings: kept,
+    };
+}
+/** Plain-text rendering shared by the command, the tool summary and the CLI. */
+export function formatReport(report) {
+    const lines = [
+        report.ok ? "Checks passed" : "Checks failed",
+        `${report.counts.error} error(s), ${report.counts.warning} warning(s), ${report.counts.info} info`,
+    ];
+    for (const finding of report.findings) {
+        const where = finding.file ? ` ${finding.file}${finding.line ? `:${finding.line}` : ""}` : "";
+        lines.push(`${finding.severity.toUpperCase()} ${finding.code} [${finding.gate}]${where} ${finding.message}`);
+        if (finding.hint)
+            lines.push(`  hint: ${finding.hint}`);
+    }
+    return lines.join("\n");
+}
+//# sourceMappingURL=index.js.map

package/dist/checks/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/checks/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAA6C,KAAK,EAAE,MAAM,aAAa,CAAC;AAC/E,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACzF,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EACL,gBAAgB,EAChB,WAAW,EACX,oBAAoB,EACpB,kBAAkB,EAClB,UAAU,GACX,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,EAA+C,WAAW,EAAE,MAAM,cAAc,CAAC;AASxF,MAAM,CAAC,MAAM,aAAa,GAA+B;IACvD,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE;IAC5C,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE;IAC9C,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE;IAC9C,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE;IAC9C,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE;IAClD,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,YAAY,EAAE;IAChD,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE;IAC9C,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,iBAAiB,EAAE;IAC1D,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,cAAc,EAAE;IACpD,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE;IAC9C,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,kBAAkB,EAAE;IAC7D,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,YAAY,EAAE;IAChD,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE;IAClD,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,YAAY,EAAE;IAChD,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,oBAAoB,EAAE;IACjE,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,kBAAkB,EAAE;IAC7D,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE;IAC9C,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,gBAAgB,EAAE;IACzD,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,YAAY,EAAE;IAChD,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,sBAAsB,EAAE;IAC9D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE;CAC9C,CAAC;AAEF,MAAM,UAAU,UAAU,CAAC,MAAyB;IAClD,MAAM,QAAQ,GAAW,EAAE,CAAC;IAC5B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;QACjC,IAAI,CAAE,KAA2B,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,kBAAkB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9E,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAY,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAY,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,aAAa,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAW,CAAC;AACjE,MAAM,SAAS,GAAG,CAAC,IAAU,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAStD,MAAM,UAAU,SAAS,CAAC,OAAsB,EAAE,OAAO,GAAe,EAAE;IACxE,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACvF,MAAM,QAAQ,GAAG,aAAa;SAC3B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;SAC7D,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;SACtC,IAAI,CACH,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QACrC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC;QACrD,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QAC1C,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;QAC7B,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CACrC,CAAC;IACJ,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,OAAO,CAAC,OAAO;QACb,CAAC,CAAC,WAAW,CACT,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,QAAQ,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAU,CACvF;aACE,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC;aACxD,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;QACnC,CAAC,CAAC,EAAE,CACP,CAAC;IACF,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO;QAC1B,CAAC,CAAC,QAAQ,CAAC,MAAM,CACb,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO;YACnC,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAC3F;QACH,CAAC,CAAC,QAAQ,CAAC;IACb,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IACjD,KAAK,MAAM,OAAO,IAAI,IAAI;QAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1D,OAAO;QACL,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE;QACvD,EAAE,EAAE,MAAM,CAAC,KAAK,KAAK,CAAC;QACtB,MAAM;QACN,QAAQ,EAAE,IAAI;KACf,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,YAAY,CAAC,MAAmB;IAC9C,MAAM,KAAK,GAAG;QACZ,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,eAAe;QAC7C,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,cAAc,MAAM,CAAC,MAAM,CAAC,OAAO,gBAAgB,MAAM,CAAC,MAAM,CAAC,IAAI,OAAO;KACnG,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9F,KAAK,CAAC,IAAI,CACR,GAAG,OAAO,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,IAAI,KAAK,IAAI,OAAO,CAAC,OAAO,EAAE,CACjG,CAAC;QACF,IAAI,OAAO,CAAC,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,WAAW,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/checks/language.d.ts

@@ -0,0 +1,14 @@
+import type { Finding } from "../types.js";
+import type { LoadedProject } from "./project.js";
+export declare const supportedLanguageCodes: string[];
+export interface LanguageGuess {
+    /** Stop-word ratio per language. */
+    ratios: Record<string, number>;
+    best: string;
+    words: number;
+}
+export declare function guessLanguage(text: string): LanguageGuess;
+/** True when `text` looks like it is not written in `expected` (a code among en, es, pt, fr). */
+export declare function looksForeign(text: string, expected: string): LanguageGuess | undefined;
+export declare function checkLanguage(project: LoadedProject): Finding[];
+//# sourceMappingURL=language.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"language.d.ts","sourceRoot":"","sources":["../../src/checks/language.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAE3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AA+BlD,eAAO,MAAM,sBAAsB,UAAyB,CAAC;AAO7D,MAAM,WAAW,aAAa;IAC5B,oCAAoC;IACpC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAWzD;AAKD,iGAAiG;AACjG,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAMtF;AAED,wBAAgB,aAAa,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,EAAE,CA4B/D"}

package/dist/checks/language.js

@@ -0,0 +1,73 @@
+import { proseOf, wordsOf } from "../render/text.js";
+import { allSections } from "../render/walk.js";
+import { documentOf } from "./document.js";
+/**
+ * LNG-001 (G7): each section is written in the language it should be (spec 9.2). The language of a
+ * text is the one whose function words are most frequent among English, Spanish, Portuguese and
+ * French; it is a heuristic, so the finding is a warning and short texts are not judged.
+ */
+const stopWords = {
+    en: new Set("the of and to in is that it for as with was on are by this be or from at an which have has not but they their its been were also than these can more such into other between during may would should only each both our we".split(" ")),
+    es: new Set("el la los las de del y en que es un una por con para se su sus al lo como más pero sí este esta estos estas fue son ser ha han entre sobre también muy sin hasta desde cuando donde porque le les o u e nuestro nuestra".split(" ")),
+    pt: new Set("o a os as de do da dos das e em que é um uma por com para se seu sua seus suas ao como mais mas não este esta estes estas foi são ser tem têm entre sobre também muito sem até desde quando onde porque lhe ou nos nas pelo pela pelos pelas".split(" ")),
+    fr: new Set("le la les de des du et en que qui est un une pour par avec dans sur au aux ce cette ces son sa ses ne pas plus mais ou où comme été sont être a ont entre aussi très sans jusqu depuis quand parce lui leur leurs nous vous".split(" ")),
+};
+export const supportedLanguageCodes = Object.keys(stopWords);
+/** Words below this count are too few to judge. */
+const minWords = 30;
+/** The expected language must score at least this share of the best language's ratio. */
+const tolerance = 0.6;
+export function guessLanguage(text) {
+    const words = wordsOf(text.toLowerCase());
+    const ratios = {};
+    for (const [code, set] of Object.entries(stopWords)) {
+        ratios[code] =
+            words.length === 0 ? 0 : words.filter((word) => set.has(word)).length / words.length;
+    }
+    const best = Object.keys(ratios).sort((a, b) => ratios[b] - ratios[a])[0];
+    return { ratios, best, words: words.length };
+}
+const primary = (tag) => (tag ?? "").split("-")[0]?.toLowerCase() ?? "";
+/** True when `text` looks like it is not written in `expected` (a code among en, es, pt, fr). */
+export function looksForeign(text, expected) {
+    if (!(expected in stopWords))
+        return undefined;
+    const guess = guessLanguage(text);
+    if (guess.words < minWords || guess.best === expected)
+        return undefined;
+    const best = guess.ratios[guess.best];
+    return guess.ratios[expected] < best * tolerance ? guess : undefined;
+}
+export function checkLanguage(project) {
+    const assembled = documentOf(project);
+    const brief = project.brief?.brief;
+    if (!assembled || !brief)
+        return [];
+    const main = primary(brief.language);
+    const findings = [];
+    for (const section of allSections(assembled.document)) {
+        let expected = main;
+        if (section.role === "abstract")
+            expected = primary(section.lang) || main;
+        else if (section.role === "abstract-secondary")
+            expected = primary(section.lang) || primary(brief.secondaryAbstractLanguage) || "en";
+        const text = proseOf(section.blocks)
+            .filter((paragraph) => !paragraph.heading)
+            .map((paragraph) => paragraph.text)
+            .join(" ");
+        const guess = looksForeign(text, expected);
+        if (!guess)
+            continue;
+        findings.push({
+            code: "LNG-001",
+            gate: "G7",
+            severity: "warning",
+            file: section.path,
+            ...(section.section ? { section: section.section } : {}),
+            message: `The text looks ${guess.best} but should be ${expected} (${section.role === "body" || section.role === "annex" ? "thesis language" : `${section.role} language`}; function-word ratio ${guess.ratios[guess.best].toFixed(2)} vs ${(guess.ratios[expected] ?? 0).toFixed(2)})`,
+            hint: "Rewrite the section in the declared language, or declare the abstract's language in its front matter (lang:).",
+        });
+    }
+    return findings;
+}
+//# sourceMappingURL=language.js.map

package/dist/checks/language.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"language.js","sourceRoot":"","sources":["../../src/checks/language.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAG3C;;;;GAIG;AAEH,MAAM,SAAS,GAAwC;IACrD,EAAE,EAAE,IAAI,GAAG,CACT,4NAA4N,CAAC,KAAK,CAChO,GAAG,CACJ,CACF;IACD,EAAE,EAAE,IAAI,GAAG,CACT,yNAAyN,CAAC,KAAK,CAC7N,GAAG,CACJ,CACF;IACD,EAAE,EAAE,IAAI,GAAG,CACT,8OAA8O,CAAC,KAAK,CAClP,GAAG,CACJ,CACF;IACD,EAAE,EAAE,IAAI,GAAG,CACT,6NAA6N,CAAC,KAAK,CACjO,GAAG,CACJ,CACF;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;AAE7D,mDAAmD;AACnD,MAAM,QAAQ,GAAG,EAAE,CAAC;AACpB,yFAAyF;AACzF,MAAM,SAAS,GAAG,GAAG,CAAC;AAStB,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IAC1C,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IACzF,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CACnC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAE,MAAM,CAAC,CAAC,CAAY,GAAI,MAAM,CAAC,CAAC,CAAY,CACxD,CAAC,CAAC,CAAW,CAAC;IACf,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;AAC/C,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,GAA8B,EAAU,EAAE,CACzD,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;AAEjD,iGAAiG;AACjG,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,QAAgB;IACzD,IAAI,CAAC,CAAC,QAAQ,IAAI,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,KAAK,CAAC,KAAK,GAAG,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACxE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAW,CAAC;IAChD,OAAQ,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAY,GAAG,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAAsB;IAClD,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;IACnC,IAAI,CAAC,SAAS,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACpC,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtD,IAAI,QAAQ,GAAG,IAAI,CAAC;QACpB,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU;YAAE,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;aACrE,IAAI,OAAO,CAAC,IAAI,KAAK,oBAAoB;YAC5C,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,yBAAyB,CAAC,IAAI,IAAI,CAAC;QACvF,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC;aACjC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC;aACzC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC;aAClC,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,OAAO,EAAE,kBAAkB,KAAK,CAAC,IAAI,kBAAkB,QAAQ,KAAK,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,WAAW,yBAA0B,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAE,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAY,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG;YAC9S,IAAI,EAAE,+GAA+G;SACtH,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/checks/outline.d.ts

@@ -0,0 +1,25 @@
+import type { ComplianceProfile } from "../policy/resolver.js";
+import { type Finding } from "../types.js";
+import type { LoadedProject } from "./project.js";
+export interface RequiredSections {
+    /** Each entry is satisfied by a section whose requiredKey is any of `keys`. */
+    groups: {
+        id: string;
+        keys: string[];
+    }[];
+    /** Ordered lists from single rules; their relative order is enforced pairwise. */
+    orders: string[][];
+}
+export declare function requiredSections(profile: ComplianceProfile | undefined): RequiredSections;
+export interface OutlineContext {
+    /** Objective ids of the protocol, split so the general objective needs no coverage. */
+    specificObjectiveIds: string[] | undefined;
+    allObjectiveIds: string[] | undefined;
+    profile: ComplianceProfile | undefined;
+}
+export declare function protocolObjectives(protocolText: string | undefined): Pick<OutlineContext, "specificObjectiveIds" | "allObjectiveIds">;
+/** OUT-001..OUT-007 over the text of outline.json. Also used to give the architect feedback. */
+export declare function outlineFindings(outlineText: string, context: OutlineContext): Finding[];
+/** G4: the outline (OUT-*). Nothing is reported until an outline exists. */
+export declare function checkOutline(project: LoadedProject): Finding[];
+//# sourceMappingURL=outline.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"outline.d.ts","sourceRoot":"","sources":["../../src/checks/outline.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,OAAO,EAAE,KAAK,OAAO,EAAc,MAAM,aAAa,CAAC;AACvD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAoBlD,MAAM,WAAW,gBAAgB;IAC/B,+EAA+E;IAC/E,MAAM,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;IACzC,kFAAkF;IAClF,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;CACpB;AAiBD,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,iBAAiB,GAAG,SAAS,GAAG,gBAAgB,CAoCzF;AA6CD,MAAM,WAAW,cAAc;IAC7B,uFAAuF;IACvF,oBAAoB,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC3C,eAAe,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IACtC,OAAO,EAAE,iBAAiB,GAAG,SAAS,CAAC;CACxC;AAED,wBAAgB,kBAAkB,CAChC,YAAY,EAAE,MAAM,GAAG,SAAS,GAC/B,IAAI,CAAC,cAAc,EAAE,sBAAsB,GAAG,iBAAiB,CAAC,CAWlE;AAED,gGAAgG;AAChG,wBAAgB,eAAe,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,GAAG,OAAO,EAAE,CAwIvF;AAED,4EAA4E;AAC5E,wBAAgB,YAAY,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,EAAE,CAM9D"}

package/dist/checks/outline.js

@@ -0,0 +1,214 @@
+import { flattenOutline, parseOutline } from "../outline.js";
+import { parseProtocol } from "../protocol.js";
+import { idPatterns } from "../types.js";
+const file = "outline/outline.json";
+// ---------------------------------------------------------------------------------------------
+// Required sections from the compliance profile
+// ---------------------------------------------------------------------------------------------
+/** Items the template generates, or wildcards, which the outline does not host as sections. */
+const templateProvided = new Set([
+    "cubierta",
+    "portada",
+    "contenido",
+    "listas_especiales",
+    "palabras_clave",
+    "capitulos",
+]);
+/** `resumen` and `abstract` are one requirement written in two languages. */
+const abstractGroup = ["resumen", "abstract"];
+const strings = (value) => Array.isArray(value) ? value.filter((entry) => typeof entry === "string") : [];
+const isObject = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
+const idsOf = (value, onlyRequired) => Array.isArray(value)
+    ? value.flatMap((entry) => isObject(entry) &&
+        typeof entry.id === "string" &&
+        (!onlyRequired || entry.required === true)
+        ? [entry.id]
+        : [])
+    : [];
+export function requiredSections(profile) {
+    const orders = [];
+    if (!profile)
+        return { groups: [], orders };
+    const required = new Set();
+    for (const rule of profile.rules) {
+        if (rule.kind === "required_section") {
+            const values = rule.values;
+            const listed = strings(values.sections);
+            if (listed.length > 0) {
+                orders.push(listed);
+                for (const key of listed)
+                    required.add(key);
+            }
+            const body = strings(values.body);
+            const back = idsOf(values.backMatter, true);
+            if (body.length > 0 || back.length > 0) {
+                const order = [...body, ...back];
+                orders.push(order);
+                for (const key of order)
+                    required.add(key);
+            }
+        }
+        else if (rule.kind === "front_matter_order") {
+            for (const key of idsOf(rule.values.order, true))
+                required.add(key);
+        }
+    }
+    if (profile.aiDeclaration.required)
+        required.add("ai_declaration");
+    const groups = [];
+    const abstractKeys = abstractGroup.filter((key) => required.has(key));
+    if (abstractKeys.length > 0)
+        groups.push({ id: "abstract", keys: [...abstractGroup] });
+    for (const key of [...required].sort()) {
+        if (templateProvided.has(key) || abstractGroup.includes(key))
+            continue;
+        groups.push({ id: key, keys: [key] });
+    }
+    const known = new Set(groups.flatMap((group) => group.keys));
+    const filteredOrders = orders
+        .map((order) => order.filter((key) => known.has(key)))
+        .filter((order) => order.length > 1);
+    return { groups, orders: filteredOrders };
+}
+// ---------------------------------------------------------------------------------------------
+// Findings
+// ---------------------------------------------------------------------------------------------
+const out = (code, severity, message, hint) => ({
+    code,
+    gate: "G4",
+    severity,
+    file,
+    message,
+    ...(hint ? { hint } : {}),
+});
+function findCycle(nodes) {
+    const edges = new Map(nodes.map((node) => [node.id, node.dependsOn]));
+    const state = new Map();
+    const stack = [];
+    const visit = (id) => {
+        if (state.get(id) === "done")
+            return undefined;
+        if (state.get(id) === "open")
+            return [...stack.slice(stack.indexOf(id)), id];
+        state.set(id, "open");
+        stack.push(id);
+        for (const next of edges.get(id) ?? []) {
+            if (!edges.has(next))
+                continue;
+            const cycle = visit(next);
+            if (cycle)
+                return cycle;
+        }
+        stack.pop();
+        state.set(id, "done");
+        return undefined;
+    };
+    for (const id of edges.keys()) {
+        const cycle = visit(id);
+        if (cycle)
+            return cycle;
+    }
+    return undefined;
+}
+export function protocolObjectives(protocolText) {
+    if (protocolText === undefined)
+        return { specificObjectiveIds: undefined, allObjectiveIds: undefined };
+    const data = parseProtocol(protocolText).data;
+    if (!data)
+        return { specificObjectiveIds: undefined, allObjectiveIds: undefined };
+    const specific = Array.isArray(data.specificObjectives)
+        ? data.specificObjectives.flatMap((entry) => isObject(entry) && typeof entry.id === "string" ? [entry.id] : [])
+        : [];
+    return { specificObjectiveIds: specific, allObjectiveIds: ["OBJ-G", ...specific] };
+}
+/** OUT-001..OUT-007 over the text of outline.json. Also used to give the architect feedback. */
+export function outlineFindings(outlineText, context) {
+    const parsed = parseOutline(outlineText);
+    if (!parsed.outline) {
+        return parsed.errors.map((message) => out("OUT-001", "error", message, "Run /thesis:outline again."));
+    }
+    const nodes = flattenOutline(parsed.outline.sections);
+    const findings = [];
+    // OUT-001: ids.
+    const seen = new Set();
+    const checkIds = (list, parent) => {
+        for (const node of list) {
+            if (!idPatterns.section.test(node.id))
+                findings.push(out("OUT-001", "error", `Section id "${node.id}" does not match SEC-nn[.nn[.nn]]`));
+            else if (parent && !node.id.startsWith(`${parent.id}.`))
+                findings.push(out("OUT-001", "error", `Section ${node.id} is not numbered under its parent ${parent.id}`));
+            if (seen.has(node.id))
+                findings.push(out("OUT-001", "error", `Section id ${node.id} is used more than once`));
+            seen.add(node.id);
+            checkIds(node.children, node);
+        }
+    };
+    checkIds(parsed.outline.sections);
+    // OUT-002: dependencies.
+    for (const node of nodes) {
+        for (const dependency of node.dependsOn) {
+            if (dependency === node.id)
+                findings.push(out("OUT-002", "error", `Section ${node.id} depends on itself`));
+            else if (!seen.has(dependency))
+                findings.push(out("OUT-002", "error", `Section ${node.id} depends on unknown section ${dependency}`));
+        }
+    }
+    const cycle = findCycle(nodes);
+    if (cycle)
+        findings.push(out("OUT-002", "error", `The dependsOn graph has a cycle: ${cycle.join(" -> ")}`, "Remove one dependency so the sections can be ordered."));
+    // OUT-003 and OUT-006: objectives.
+    if (context.allObjectiveIds && context.specificObjectiveIds) {
+        for (const node of nodes) {
+            for (const objective of node.objectives) {
+                if (!context.allObjectiveIds.includes(objective)) {
+                    findings.push(out("OUT-006", "error", `Section ${node.id} lists unknown objective ${objective}`, `Known objectives: ${context.allObjectiveIds.join(", ")}.`));
+                }
+            }
+        }
+        for (const objective of context.specificObjectiveIds) {
+            if (!nodes.some((node) => node.objectives.includes(objective))) {
+                findings.push(out("OUT-003", "error", `Specific objective ${objective} is not covered by any section`, "Add the objective to a section that serves it, or add a section for it."));
+            }
+        }
+    }
+    for (const node of nodes) {
+        if (node.objectives.length === 0 && !node.requiredKey) {
+            findings.push(out("OUT-007", "warning", `Section ${node.id} serves no objective and is not a required section`));
+        }
+    }
+    // OUT-004 and OUT-005: required sections and their order.
+    const required = requiredSections(context.profile);
+    const position = (keys) => nodes.findIndex((node) => node.requiredKey !== undefined && keys.includes(node.requiredKey));
+    for (const group of required.groups) {
+        if (position(group.keys) < 0) {
+            findings.push(out("OUT-004", "error", `Required section "${group.id}" is missing`, `Add a section with requiredKey "${group.keys[0]}".`));
+        }
+    }
+    for (const order of required.orders) {
+        let last = -1;
+        let lastKey = "";
+        for (const key of order) {
+            const group = required.groups.find((entry) => entry.keys.includes(key));
+            const at = position(group ? group.keys : [key]);
+            if (at < 0)
+                continue;
+            if (at < last) {
+                findings.push(out("OUT-005", "error", `Required section "${key}" must come after "${lastKey}"`, `The profile prescribes the order: ${order.join(", ")}.`));
+                break;
+            }
+            last = at;
+            lastKey = key;
+        }
+    }
+    return findings;
+}
+/** G4: the outline (OUT-*). Nothing is reported until an outline exists. */
+export function checkOutline(project) {
+    if (project.outlineText === undefined)
+        return [];
+    return outlineFindings(project.outlineText, {
+        ...protocolObjectives(project.protocolText),
+        profile: project.profile,
+    });
+}
+//# sourceMappingURL=outline.js.map

package/dist/checks/outline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"outline.js","sourceRoot":"","sources":["../../src/checks/outline.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAoB,YAAY,EAAE,MAAM,eAAe,CAAC;AAE/E,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAgB,UAAU,EAAE,MAAM,aAAa,CAAC;AAGvD,MAAM,IAAI,GAAG,sBAAsB,CAAC;AAEpC,gGAAgG;AAChG,gDAAgD;AAChD,gGAAgG;AAEhG,+FAA+F;AAC/F,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IAC/B,UAAU;IACV,SAAS;IACT,WAAW;IACX,mBAAmB;IACnB,gBAAgB;IAChB,WAAW;CACZ,CAAC,CAAC;AACH,6EAA6E;AAC7E,MAAM,aAAa,GAAG,CAAC,SAAS,EAAE,UAAU,CAAU,CAAC;AASvD,MAAM,OAAO,GAAG,CAAC,KAAc,EAAY,EAAE,CAC3C,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAClG,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAoC,EAAE,CACpE,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACvE,MAAM,KAAK,GAAG,CAAC,KAAc,EAAE,YAAqB,EAAY,EAAE,CAChE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;IAClB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACtB,QAAQ,CAAC,KAAK,CAAC;QACf,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ;QAC5B,CAAC,CAAC,YAAY,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC;QACxC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACZ,CAAC,CAAC,EAAE,CACP;IACH,CAAC,CAAC,EAAE,CAAC;AAET,MAAM,UAAU,gBAAgB,CAAC,OAAsC;IACrE,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACxC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACpB,KAAK,MAAM,GAAG,IAAI,MAAM;oBAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC9C,CAAC;YACD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAC5C,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvC,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC;gBACjC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACnB,KAAK,MAAM,GAAG,IAAI,KAAK;oBAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YAC9C,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;gBAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,aAAa,CAAC,QAAQ;QAAE,QAAQ,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IACnE,MAAM,MAAM,GAA+B,EAAE,CAAC;IAC9C,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACtE,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IACvF,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACvC,IAAI,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAK,aAAmC,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS;QAC9F,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,MAAM,cAAc,GAAG,MAAM;SAC1B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;SACrD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;AAC5C,CAAC;AAED,gGAAgG;AAChG,WAAW;AACX,gGAAgG;AAEhG,MAAM,GAAG,GAAG,CACV,IAAY,EACZ,QAA6B,EAC7B,OAAe,EACf,IAAa,EACJ,EAAE,CAAC,CAAC;IACb,IAAI;IACJ,IAAI,EAAE,IAAI;IACV,QAAQ;IACR,IAAI;IACJ,OAAO;IACP,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAC1B,CAAC,CAAC;AAEH,SAAS,SAAS,CAAC,KAA6B;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2B,CAAC;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,CAAC,EAAU,EAAwB,EAAE;QACjD,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,MAAM;YAAE,OAAO,SAAS,CAAC;QAC/C,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,MAAM;YAAE,OAAO,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7E,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;YACvC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAC;QAC1B,CAAC;QACD,KAAK,CAAC,GAAG,EAAE,CAAC;QACZ,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACtB,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;QACxB,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AASD,MAAM,UAAU,kBAAkB,CAChC,YAAgC;IAEhC,IAAI,YAAY,KAAK,SAAS;QAC5B,OAAO,EAAE,oBAAoB,EAAE,SAAS,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC;IACzE,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC;IAC9C,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,oBAAoB,EAAE,SAAS,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC;IAClF,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC;QACrD,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACxC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAClE;QACH,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC,OAAO,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC;AACrF,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,eAAe,CAAC,WAAmB,EAAE,OAAuB;IAC1E,MAAM,MAAM,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACnC,GAAG,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,4BAA4B,CAAC,CAC/D,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAc,EAAE,CAAC;IAE/B,gBAAgB;IAChB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,QAAQ,GAAG,CAAC,IAA4B,EAAE,MAAoB,EAAE,EAAE;QACtE,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnC,QAAQ,CAAC,IAAI,CACX,GAAG,CAAC,SAAS,EAAE,OAAO,EAAE,eAAe,IAAI,CAAC,EAAE,mCAAmC,CAAC,CACnF,CAAC;iBACC,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,EAAE,GAAG,CAAC;gBACrD,QAAQ,CAAC,IAAI,CACX,GAAG,CACD,SAAS,EACT,OAAO,EACP,WAAW,IAAI,CAAC,EAAE,qCAAqC,MAAM,CAAC,EAAE,EAAE,CACnE,CACF,CAAC;YACJ,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,EAAE,cAAc,IAAI,CAAC,EAAE,yBAAyB,CAAC,CAAC,CAAC;YACzF,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClB,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAChC,CAAC;IACH,CAAC,CAAC;IACF,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAElC,yBAAyB;IACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACxC,IAAI,UAAU,KAAK,IAAI,CAAC,EAAE;gBACxB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,EAAE,WAAW,IAAI,CAAC,EAAE,oBAAoB,CAAC,CAAC,CAAC;iBAC5E,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAC5B,QAAQ,CAAC,IAAI,CACX,GAAG,CAAC,SAAS,EAAE,OAAO,EAAE,WAAW,IAAI,CAAC,EAAE,+BAA+B,UAAU,EAAE,CAAC,CACvF,CAAC;QACN,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,KAAK;QACP,QAAQ,CAAC,IAAI,CACX,GAAG,CACD,SAAS,EACT,OAAO,EACP,oCAAoC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EACxD,uDAAuD,CACxD,CACF,CAAC;IAEJ,mCAAmC;IACnC,IAAI,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,oBAAoB,EAAE,CAAC;QAC5D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACxC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;oBACjD,QAAQ,CAAC,IAAI,CACX,GAAG,CACD,SAAS,EACT,OAAO,EACP,WAAW,IAAI,CAAC,EAAE,4BAA4B,SAAS,EAAE,EACzD,qBAAqB,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC3D,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,oBAAoB,EAAE,CAAC;YACrD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;gBAC/D,QAAQ,CAAC,IAAI,CACX,GAAG,CACD,SAAS,EACT,OAAO,EACP,sBAAsB,SAAS,gCAAgC,EAC/D,yEAAyE,CAC1E,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACtD,QAAQ,CAAC,IAAI,CACX,GAAG,CACD,SAAS,EACT,SAAS,EACT,WAAW,IAAI,CAAC,EAAE,oDAAoD,CACvE,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,0DAA0D;IAC1D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,CAAC,IAAuB,EAAE,EAAE,CAC3C,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IAC/F,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpC,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CACX,GAAG,CACD,SAAS,EACT,OAAO,EACP,qBAAqB,KAAK,CAAC,EAAE,cAAc,EAC3C,mCAAmC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CACrD,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;QACd,IAAI,OAAO,GAAG,EAAE,CAAC;QACjB,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YACxE,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAChD,IAAI,EAAE,GAAG,CAAC;gBAAE,SAAS;YACrB,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC;gBACd,QAAQ,CAAC,IAAI,CACX,GAAG,CACD,SAAS,EACT,OAAO,EACP,qBAAqB,GAAG,sBAAsB,OAAO,GAAG,EACxD,qCAAqC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACzD,CACF,CAAC;gBACF,MAAM;YACR,CAAC;YACD,IAAI,GAAG,EAAE,CAAC;YACV,OAAO,GAAG,GAAG,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,YAAY,CAAC,OAAsB;IACjD,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACjD,OAAO,eAAe,CAAC,OAAO,CAAC,WAAW,EAAE;QAC1C,GAAG,kBAAkB,CAAC,OAAO,CAAC,YAAY,CAAC;QAC3C,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC,CAAC;AACL,CAAC"}

package/dist/checks/policy.d.ts

@@ -0,0 +1,5 @@
+import type { Finding } from "../types.js";
+import type { LoadedProject } from "./project.js";
+/** G0: the compliance profile resolves from valid, sourced rules (POL-*, PCK-*). */
+export declare function checkPolicy(project: LoadedProject): Finding[];
+//# sourceMappingURL=policy.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"policy.d.ts","sourceRoot":"","sources":["../../src/checks/policy.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAIlD,oFAAoF;AACpF,wBAAgB,WAAW,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,EAAE,CA6H7D"}

package/dist/checks/policy.js

@@ -0,0 +1,129 @@
+import { isExtensionKind } from "../policy/kinds.js";
+import { canonicalJson } from "../storage.js";
+const dayMs = 24 * 60 * 60 * 1000;
+/** G0: the compliance profile resolves from valid, sourced rules (POL-*, PCK-*). */
+export function checkPolicy(project) {
+    const findings = [];
+    let packErrors = 0;
+    for (const problem of project.policyProblems) {
+        if (problem.severity === "error")
+            packErrors += 1;
+        findings.push({
+            code: problem.code,
+            gate: "G0",
+            severity: problem.severity,
+            file: problem.file,
+            message: problem.message,
+            ...(problem.code === "PCK-001"
+                ? {
+                    hint: "Manifests need packId, scope and version; every rule needs ruleId, level, status, requirement, source.reference and verification.lastChecked.",
+                }
+                : problem.code === "PCK-002"
+                    ? { hint: "Set overrides: true on the rule that deliberately replaces a shipped rule." }
+                    : {}),
+        });
+    }
+    const profile = project.profile;
+    if (!profile)
+        return findings;
+    if (!project.selection?.active.some((pack) => pack.scope === "country")) {
+        findings.push({
+            code: "POL-003",
+            gate: "G0",
+            severity: "warning",
+            message: `No policy pack for country ${profile.inputs.country}; only global rules apply`,
+            hint: "Add a country pack under thesis/policy-packs/countries/<CC>/ (see /thesis:pack new).",
+        });
+    }
+    if (packErrors > 0) {
+        findings.push({
+            code: "POL-001",
+            gate: "G0",
+            severity: "error",
+            message: `The compliance profile cannot be trusted: ${packErrors} policy pack error(s) above`,
+            hint: "Run /thesis:pack check for the full list.",
+        });
+    }
+    if (project.profileOnDisk === undefined) {
+        findings.push({
+            code: "POL-002",
+            gate: "G0",
+            severity: "warning",
+            file: "compliance-profile.json",
+            message: "compliance-profile.json is missing",
+            hint: "Run /thesis:check to write the resolved profile.",
+        });
+    }
+    else if (project.profileOnDisk !== canonicalJson(profile)) {
+        findings.push({
+            code: "POL-002",
+            gate: "G0",
+            severity: "warning",
+            file: "compliance-profile.json",
+            message: "compliance-profile.json is stale or was edited by hand",
+            hint: "Run /thesis:check to re-resolve it; it is generated from thesis.yaml, the packs and policy/.",
+        });
+    }
+    for (const conflict of profile.conflicts) {
+        findings.push({
+            code: "PCK-003",
+            gate: "G0",
+            severity: "error",
+            message: `${conflict.note}. Sources: ${conflict.files.join(", ")}`,
+            hint: "Give one rule a higher level or pack scope, or mark one as superseded.",
+        });
+    }
+    for (const pack of project.selection?.active ?? []) {
+        for (const rule of pack.rules) {
+            if (rule.verification.basis !== "secondary_source" || rule.status !== "active")
+                continue;
+            const checked = Date.parse(rule.verification.lastChecked);
+            if (!Number.isNaN(checked) && project.now.getTime() - checked > 365 * dayMs) {
+                findings.push({
+                    code: "PCK-004",
+                    gate: "G0",
+                    severity: "warning",
+                    file: rule.origin.file,
+                    message: `${rule.ruleId} rests on a secondary source last verified ${rule.verification.lastChecked}; re-verify it`,
+                });
+            }
+        }
+    }
+    const extensions = [
+        ...(project.selection?.active ?? []).flatMap((pack) => pack.rules),
+        ...project.overrides,
+    ].filter((rule) => isExtensionKind(rule.requirement.kind));
+    if (extensions.length > 0) {
+        findings.push({
+            code: "PCK-010",
+            gate: "G0",
+            severity: "info",
+            message: `${extensions.length} rule(s) use extension kinds (${[...new Set(extensions.map((rule) => rule.requirement.kind))].join(", ")}); no deterministic check consumes them, but agents read them`,
+        });
+    }
+    if (profile.citationStyle.defaulted || profile.presentationStandard.defaulted) {
+        findings.push({
+            code: "POL-005",
+            gate: "G0",
+            severity: "warning",
+            message: `No rule or answer fixes the citation style (${profile.citationStyle.value}) or the presentation standard (${profile.presentationStandard.value}); defaults are in use`,
+            hint: "Confirm them with your program, then set citationStyle or presentation.standard in thesis.yaml.",
+        });
+    }
+    if (profile.secondarySourceRuleIds.length > 0) {
+        findings.push({
+            code: "POL-006",
+            gate: "G0",
+            severity: "info",
+            message: `${profile.secondarySourceRuleIds.length} applied rule(s) rest on secondary sources: ${profile.secondarySourceRuleIds.join(", ")}`,
+            hint: "Confirm these rules with your program; an institution rule overrides them.",
+        });
+    }
+    for (const warning of profile.warnings) {
+        if (warning.includes("defaults to"))
+            continue;
+        findings.push({ code: "POL-007", gate: "G0", severity: "warning", message: warning });
+    }
+    return findings;
+}
+//# sourceMappingURL=policy.js.map

package/dist/checks/policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.js","sourceRoot":"","sources":["../../src/checks/policy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAI9C,MAAM,KAAK,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAElC,oFAAoF;AACpF,MAAM,UAAU,WAAW,CAAC,OAAsB;IAChD,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;QAC7C,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO;YAAE,UAAU,IAAI,CAAC,CAAC;QAClD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;gBAC5B,CAAC,CAAC;oBACE,IAAI,EAAE,+IAA+I;iBACtJ;gBACH,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;oBAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,4EAA4E,EAAE;oBACxF,CAAC,CAAC,EAAE,CAAC;SACV,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAChC,IAAI,CAAC,OAAO;QAAE,OAAO,QAAQ,CAAC;IAE9B,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;QACxE,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,8BAA8B,OAAO,CAAC,MAAM,CAAC,OAAO,2BAA2B;YACxF,IAAI,EAAE,sFAAsF;SAC7F,CAAC,CAAC;IACL,CAAC;IAED,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACnB,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,6CAA6C,UAAU,6BAA6B;YAC7F,IAAI,EAAE,2CAA2C;SAClD,CAAC,CAAC;IACL,CAAC;IAED,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,yBAAyB;YAC/B,OAAO,EAAE,oCAAoC;YAC7C,IAAI,EAAE,kDAAkD;SACzD,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,OAAO,CAAC,aAAa,KAAK,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5D,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,yBAAyB;YAC/B,OAAO,EAAE,wDAAwD;YACjE,IAAI,EAAE,8FAA8F;SACrG,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,GAAG,QAAQ,CAAC,IAAI,cAAc,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAClE,IAAI,EAAE,wEAAwE;SAC/E,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,SAAS,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;QACnD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,YAAY,CAAC,KAAK,KAAK,kBAAkB,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ;gBAAE,SAAS;YACzF,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;YAC1D,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,OAAO,GAAG,GAAG,GAAG,KAAK,EAAE,CAAC;gBAC5E,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,IAAI;oBACV,QAAQ,EAAE,SAAS;oBACnB,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI;oBACtB,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,8CAA8C,IAAI,CAAC,YAAY,CAAC,WAAW,gBAAgB;iBACnH,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG;QACjB,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;QAClE,GAAG,OAAO,CAAC,SAAS;KACrB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,GAAG,UAAU,CAAC,MAAM,iCAAiC,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,+DAA+D;SACtM,CAAC,CAAC;IACL,CAAC;IAED,IAAI,OAAO,CAAC,aAAa,CAAC,SAAS,IAAI,OAAO,CAAC,oBAAoB,CAAC,SAAS,EAAE,CAAC;QAC9E,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,+CAA+C,OAAO,CAAC,aAAa,CAAC,KAAK,mCAAmC,OAAO,CAAC,oBAAoB,CAAC,KAAK,wBAAwB;YAChL,IAAI,EAAE,iGAAiG;SACxG,CAAC,CAAC;IACL,CAAC;IACD,IAAI,OAAO,CAAC,sBAAsB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,GAAG,OAAO,CAAC,sBAAsB,CAAC,MAAM,+CAA+C,OAAO,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAC3I,IAAI,EAAE,4EAA4E;SACnF,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,IAAI,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC;YAAE,SAAS;QAC9C,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}