paperlint 3.1.3 → 3.2.0

package/dist/eslint-rules/paper-typography.js

@@ -0,0 +1,404 @@
+/**
+ * Three mechanical conventions a reviewer already raised, ONE RULE EACH, reported where each
+ * occurrence is and fixed by `paperlint lint --fix`:
+ *
+ *   paper/section-word      `§5`, `\S\ref{…}`  →  `Section 5`, `Section~\ref{…}`
+ *   paper/leading-zero      `.05`              →  `0.05`
+ *   paper/figure-ref-style  `Fig.~\ref` beside `Figure~\ref` in one document → the majority form
+ *
+ * The fourth check of the old `paper/typography`, an unreachable bibliography entry, is
+ * `bib/reachable-entry` (bib-reachable-entry.mjs): it is about the bibliography, not the prose,
+ * and it has no fix.
+ *
+ * ── PROVENANCE: every one is a real review finding, not an invented style ───────────────
+ * From HotCRP #20 (2026-08-23). Reviewer B listed two as literal to-dos:
+ *   B#11  "§ -> Section"   one paper in the source corpus carried 246
+ *   B#12  ".05 -> 0.05"    four in the submitted text, fixed by hand
+ *   (own) `Fig.` and `Figure` side by side
+ *
+ * ── WHY THERE IS NO DEBT OPTION ANY MORE (3.0.0) ──────────────────────────────────────────
+ * Until 3.0.0 this was ONE rule, `paper/typography`, that counted all four per paper against a
+ * declared `debt` and spoke only when a count grew. A ratchet was needed because the rule could
+ * only COUNT: 246 section signs meant 246 edits by hand, so the only way to turn it on was to
+ * freeze the backlog. Every check here now has a FIX, so the backlog costs one command
+ * (`paperlint lint --fix`), and the ratchet — per-paper numbers in the project config, keyed by
+ * a path — has nothing left to protect. A deliberate exception is an ESLint disable directive on
+ * the line (`% eslint-disable-next-line paper/section-word -- reason`), the standard escape
+ * hatch every ESLint user already knows, not a counter.
+ *
+ * ── WHY section-word AND figure-ref-style READ `sourceCode.raw` ───────────────────────────
+ * They are about MARKUP. The prose projection of the LaTeX language blanks macros — that is its
+ * purpose — so `\S\ref{}` and `Fig.~\ref{}` reach a normal rule as spaces. Offsets coincide
+ * between the two (blanking preserves length), so scanning `raw` and reporting the offset found
+ * there points at the right byte. Comments and the inline bibliography are skipped.
+ *
+ * 🔴 BOTH forms of the section sign, and the second one is why this check was ever wrong. The
+ * first version counted only the literal `§` and returned ZERO on the very paper whose reviewer
+ * raised it: the source writes `\S\ref{sec:threats}`, which RENDERS as `§5`.
+ *
+ * ── WHY leading-zero READS THE PARSED TREE (paperlint#44) ──────────────────────────────────
+ * ISO 80000-1 ("the decimal sign shall be preceded by a zero" for magnitudes below 1) and the
+ * IEEE Editorial Style Manual ("0.25, not .25") require the zero. A regex over the raw source
+ * found 22 decimals on a real corpus and none was a defect: every one sat in markup (an option,
+ * a column spec, a comment, a listing, a tikz coordinate). So this walks the TREE and keeps only
+ * what the reader sees as a number:
+ *   LaTeX     prose, inline and display math, table cells, and the text arguments of a known
+ *             set of text macros. Not: any other macro's arguments, environment arguments,
+ *             comments, verbatim/listings/`\lstinline`, tikz, the preamble, the bibliography.
+ *   Markdown  text nodes, table cells included. Not: code, inline code, html, front matter.
+ * Each character of a run keeps its source offset, so the finding points at the dot and the fix
+ * inserts the zero there. The arXiv lookbehind stays: in `2310.05736` the dot follows a digit.
+ * A text macro outside the known set (`\hl{.05}`) is read as a parameter and NOT reported — a
+ * miss costs less than a finding on markup.
+ *
+ * 🔴 A NUMBER AFTER `¶` OR `§` IS A DESIGNATOR, NOT A DECIMAL (#102). An auditing standard is cited
+ * by paragraph as `¶¶.42`, and `--fix` rewrote it to `¶¶0.42` — a fix that changed a reference.
+ * So a lexeme right after the sign (`¶`, `§`, `\P`, `\S`, spaces or `~` between) is silent. The
+ * same sentence then goes on `and .44`: a paragraph number continuing the list, or a decimal —
+ * the text does not say which. In a paragraph that already cites `¶.nn` this way, a bare decimal
+ * is REPORTED WITHOUT A FIX and the zero is offered as a suggestion: an autofix must never be the
+ * one to decide what a number means. A real `.05` in any other paragraph is fixed as before.
+ */
+import assert from "node:assert/strict";
+import { getParser } from "@unified-latex/unified-latex-util-parse";
+/** The inline bibliography — a `filecontents` block writing a `.bib` — with its offsets. */
+export function bibRange(text) {
+    const m = /\\begin\{filecontents\*?\}(?:\[[^\]]*\])?\{[^}]*\.bib\}\r?\n([\s\S]*?)\\end\{filecontents\*?\}/d.exec(text);
+    if (!m)
+        return null;
+    const [whole, body] = m;
+    const bodyStart = m.indices?.[1]?.[0];
+    // The `d` flag records every group's indices, and group 1 is not optional.
+    assert.ok(body !== undefined && bodyStart !== undefined, "no .bib body");
+    return { start: m.index, end: m.index + whole.length, bodyStart, body };
+}
+/**
+ * The ranges a markup rule must not read: LaTeX comments (the language gives them as `html`
+ * nodes, with positions) and the inline bibliography.
+ */
+function skippedRanges(sourceCode, raw) {
+    const out = [];
+    for (const n of sourceCode.ast?.children ?? [])
+        if (n.type === "html" && n.position) {
+            // An offset-less point compares as NaN: inside no range, as `undefined` always did.
+            const { start: { offset: s = Number.NaN }, end: { offset: e = Number.NaN }, } = n.position;
+            out.push([s, e]);
+        }
+    const bib = bibRange(raw);
+    if (bib)
+        out.push([bib.start, bib.end]);
+    return out;
+}
+const inside = (ranges, i) => ranges.some(([s, e]) => i >= s && i < e);
+/** Every match of `re` in `raw` outside the skipped ranges. */
+function markupMatches(sourceCode, re) {
+    const raw = sourceCode.raw;
+    const skip = skippedRanges(sourceCode, raw);
+    return [...raw.matchAll(re)].filter((m) => !inside(skip, m.index));
+}
+const isTex = (sourceCode) => typeof sourceCode.raw === "string";
+// ── the text a READER sees, with the source offset of every character ─────────────────────
+/** A run of visible text; `offs[i]` is the source offset of `text[i]`, or null when unknown. */
+const run = () => ({ text: "", offs: [] });
+// Environments whose body is not typeset as text: code, drawings, the inline bibliography.
+const TEX_HIDDEN_ENV = /^(verbatim|Verbatim|lstlisting|minted|tikzpicture|filecontents\*?|comment)$/;
+// Text macros whose mandatory argument IS prose. Every other macro's arguments are parameters.
+const TEX_PROSE_ARG = /^(emph|textbf|textit|textsl|textsc|textup|textmd|textrm|textsf|textnormal|underline|text|mbox|caption|footnote|footnotetext|thanks|title|textsuperscript|textsubscript|part|chapter|section|subsection|subsubsection|paragraph|subparagraph)$/;
+// Macros whose LAST mandatory argument is what the reader sees.
+const TEX_LAST_ARG = /^(multicolumn|multirow|textcolor|href)$/;
+// In math every macro argument is typeset except these.
+const TEX_MATH_HIDDEN = /^(label|ref|eqref|autoref|cite|hspace|vspace|hskip|vskip|kern|mkern|mskip|rule|phantom|hphantom|vphantom|color|raisebox|includegraphics)$/;
+const mandatory = (macro) => (macro.args || []).filter((a) => a.openMark === "{");
+/**
+ * unified-latex attaches arguments only to what it has a signature for. For the rest the
+ * arguments come back as the NEXT SIBLINGS: an optional `[…]` as bare strings, then groups.
+ * They are parameters, not prose. Returns the index of the last sibling to skip after `i`.
+ */
+/** Whether `n` is a string node whose text passes `test`. */
+const isString = (n, test) => n?.type === "string" && test(n.content);
+function unparsedArgsEnd(nodes, i) {
+    let j = i + 1;
+    if (isString(nodes[j], (c) => c.startsWith("["))) {
+        let k = j;
+        while (k < nodes.length && !isString(nodes[k], (c) => c.endsWith("]")))
+            k++;
+        if (k < nodes.length)
+            j = k + 1;
+    }
+    while (nodes[j]?.type === "group")
+        j++;
+    return j - 1;
+}
+/** Append a string node to the current run, keeping each character's offset. */
+function appendString(cur, n, src) {
+    const start = n.position?.start?.offset;
+    const exact = typeof start === "number" &&
+        src.slice(start, start + n.content.length) === n.content
+        ? start
+        : null;
+    for (let i = 0; i < n.content.length; i++)
+        cur.offs.push(exact === null ? null : exact + i);
+    cur.text += n.content;
+}
+/**
+ * Collect runs of visible text from a unified-latex node list. A run is a stretch of sibling
+ * `string` nodes with nothing between them: math splits `.05` into `.`, `0`, `5`, and prose
+ * keeps `2310.05736` whole — both come back as one word. Anything else ends the run.
+ */
+/** What stands in for an index past the end: a node every branch below passes over. */
+const NOTHING = { type: "whitespace" };
+function texRuns(nodes, math, src, out) {
+    let cur = run();
+    const flush = () => {
+        if (cur.text)
+            out.push(cur);
+        cur = run();
+    };
+    const list = nodes || [];
+    for (let i = 0; i < list.length; i++) {
+        const { [i]: n = NOTHING } = list;
+        if (n.type === "string") {
+            appendString(cur, n, src);
+            continue;
+        }
+        flush();
+        if (n.type === "inlinemath" ||
+            n.type === "displaymath" ||
+            n.type === "mathenv")
+            texRuns(n.content, true, src, out);
+        else if (n.type === "environment") {
+            const env = typeof n.env === "string" ? n.env : "";
+            if (!TEX_HIDDEN_ENV.test(env)) {
+                const body = n.content || [];
+                const from = (n.args || []).length ? 0 : unparsedArgsEnd(body, -1) + 1;
+                texRuns(body.slice(from), math, src, out);
+            }
+        }
+        else if (n.type === "group") {
+            texRuns(n.content, math, src, out);
+        }
+        else if (n.type === "macro") {
+            const args = mandatory(n);
+            if (math) {
+                if (!TEX_MATH_HIDDEN.test(n.content))
+                    for (const a of args)
+                        texRuns(a.content, true, src, out);
+            }
+            else if (TEX_PROSE_ARG.test(n.content)) {
+                for (const a of args)
+                    texRuns(a.content, false, src, out);
+            }
+            else if (TEX_LAST_ARG.test(n.content) && args.length) {
+                texRuns(args.at(-1)?.content, false, src, out);
+            }
+            if (!math && !(n.args || []).length)
+                i = unparsedArgsEnd(list, i);
+        }
+    }
+    flush();
+    return out;
+}
+/**
+ * The visible runs of a LaTeX source. `parse` is unified-latex's parser; a test hands in a tree
+ * with the fields the walk tolerates being absent.
+ */
+export function texVisibleRuns(raw, { parse = (s) => getParser().parse(s), } = {}) {
+    const root = parse(raw).content;
+    // Only the document body is typeset. A fragment with no `document` environment is all body.
+    const document = root.find((n) => n.type === "environment" && n.env === "document");
+    return texRuns(document ? document.content : root, false, raw, []);
+}
+// Markdown node types that are not prose.
+const MD_HIDDEN = new Set([
+    "code",
+    "inlineCode",
+    "html",
+    "yaml",
+    "toml",
+    "math",
+    "inlineMath",
+]);
+/**
+ * The source offset of each character of a text node's value. The value is the source with
+ * markdown's escapes (`\*`) and character references (`&lt;`) resolved, so the two are walked
+ * side by side; a character whose source cannot be followed gets null (reported, not fixed).
+ */
+function mdOffsets(value, src, start) {
+    const offs = [];
+    let j = start;
+    for (const ch of value) {
+        if (src[j] === ch)
+            offs.push(j++);
+        else if (src[j] === "\\" && src[j + 1] === ch) {
+            offs.push(j + 1);
+            j += 2;
+        }
+        else if (src[j] === "&" && /^&#?\w{1,8};/.test(src.slice(j, j + 10))) {
+            offs.push(null);
+            j = src.indexOf(";", j) + 1;
+        }
+        else {
+            offs.push(null);
+            j++;
+        }
+    }
+    return offs;
+}
+function mdVisibleRuns(node, src, out = []) {
+    if (!node || MD_HIDDEN.has(node.type))
+        return out;
+    if (node.type === "text") {
+        const start = node.position?.start.offset;
+        out.push({
+            text: node.value,
+            offs: typeof start === "number"
+                ? mdOffsets(node.value, src, start)
+                : Array.from(node.value, () => null),
+        });
+    }
+    for (const c of "children" in node ? node.children : [])
+        mdVisibleRuns(c, src, out);
+    return out;
+}
+const visibleRuns = (sourceCode) => isTex(sourceCode)
+    ? texVisibleRuns(sourceCode.raw)
+    : mdVisibleRuns(sourceCode.ast, sourceCode.text);
+/** A report at `[from, to)` of the file. */
+const at = (context, from, to, rest) => {
+    const sc = context.sourceCode;
+    context.report({
+        loc: { start: sc.getLocFromIndex(from), end: sc.getLocFromIndex(to) },
+        ...rest,
+    });
+};
+// ── paper/section-word ─────────────────────────────────────────────────────────────────
+// The sign (the glyph, or the `\S` macro not followed by a letter), the separator after it, and
+// what follows: a reference (group 3) or a number (group 4).
+const SECTION_TEX = /(§|\\S(?![A-Za-z]))(~|[ \t]*)(?=(\\(?:auto)?ref\b)|(\d))/g;
+const SECTION_GLYPH = /§/g;
+function sectionWord(context) {
+    const sc = context.sourceCode;
+    if (isTex(sc)) {
+        const seen = new Set();
+        for (const m of markupMatches(sc, SECTION_TEX)) {
+            seen.add(m.index);
+            const word = m[3] ? "Section~" : "Section ";
+            const range = [m.index, m.index + m[0].length];
+            at(context, range[0], range[1], {
+                messageId: "sign",
+                fix: (f) => f.replaceTextRange(range, word),
+            });
+        }
+        // A glyph before neither a reference nor a number: reported, not rewritten — there is no
+        // single right word for a doubled sign or a sign before prose.
+        for (const m of markupMatches(sc, SECTION_GLYPH))
+            if (!seen.has(m.index))
+                at(context, m.index, m.index + 1, { messageId: "sign" });
+        return;
+    }
+    for (const r of visibleRuns(sc))
+        for (const m of r.text.matchAll(/§([ \t]*)(\d)?/g)) {
+            const from = r.offs[m.index];
+            if (from === null || from === undefined)
+                continue;
+            // The sign and the space after it; the number stays.
+            const [, gap = ""] = m;
+            const range = [from, from + 1 + gap.length];
+            at(context, range[0], range[1], {
+                messageId: "sign",
+                ...(m[2] ? { fix: (f) => f.replaceTextRange(range, "Section ") } : {}),
+            });
+        }
+}
+// ── paper/leading-zero ─────────────────────────────────────────────────────────────────
+// The lexeme, matched inside ONE run of visible text. The lookbehind keeps arXiv ids
+// (2310.05736) out: there the dot follows a digit.
+const BARE_DECIMAL = /(?<![\d.\w])\.\d{2,}\b/g;
+// A paragraph or section sign — the glyph, or `\P`/`\S` not followed by a letter — and what may
+// sit between it and the number. Both read the SOURCE, because in LaTeX `\P\P.42` reaches the
+// visible runs as `.42` alone: the macros end the run.
+const DESIGNATOR_BEFORE = /(?:[¶§]|\\[PS](?![A-Za-z]))[ \t~]*$/;
+const DESIGNATED = /(?:[¶§]|\\[PS](?![A-Za-z]))[ \t~]*\.\d/;
+/** The source of the paragraph holding `i`, up to `i`: from the last blank line before it. */
+const paragraphBefore = (src, i) => {
+    const head = src.slice(0, i);
+    const blank = [...head.matchAll(/\n[ \t]*\n/g)].at(-1);
+    return head.slice(blank ? blank.index + blank[0].length : 0);
+};
+function leadingZero(context) {
+    const sc = context.sourceCode;
+    const src = isTex(sc) ? sc.raw : sc.text;
+    for (const r of visibleRuns(sc))
+        for (const m of r.text.matchAll(BARE_DECIMAL)) {
+            const dot = r.offs[m.index];
+            if (dot === null || dot === undefined)
+                continue;
+            const before = paragraphBefore(src, dot);
+            if (DESIGNATOR_BEFORE.test(before))
+                continue;
+            const zero = (f) => f.insertTextBeforeRange([dot, dot], "0");
+            at(context, dot, dot + 1, DESIGNATED.test(before)
+                ? {
+                    messageId: "ambiguous",
+                    data: { n: m[0] },
+                    suggest: [
+                        { messageId: "insertZero", data: { n: m[0] }, fix: zero },
+                    ],
+                }
+                : { messageId: "bare", data: { n: m[0] }, fix: zero });
+        }
+}
+// ── paper/figure-ref-style ─────────────────────────────────────────────────────────────
+const FIG_REF = /\b(Fig\.|Figure)(?=~?\\(?:ref|autoref)\b)/g;
+function figureRefStyle(context) {
+    const sc = context.sourceCode;
+    if (!isTex(sc))
+        return;
+    const all = markupMatches(sc, FIG_REF);
+    const short = all.filter((m) => m[1] === "Fig.");
+    const long = all.filter((m) => m[1] === "Figure");
+    if (!short.length || !long.length)
+        return;
+    // The minority form is rewritten to the majority one; on a tie, to the full word.
+    const [minority, word] = short.length > long.length ? [long, "Fig."] : [short, "Figure"];
+    for (const m of minority) {
+        const [, form = ""] = m;
+        const range = [m.index, m.index + form.length];
+        at(context, range[0], range[1], {
+            messageId: "mixed",
+            data: { form, word, n: String(all.length - minority.length) },
+            fix: (f) => f.replaceTextRange(range, word),
+        });
+    }
+}
+const rule = (description, messages, check, meta = {}) => ({
+    meta: {
+        type: "suggestion",
+        fixable: "code",
+        docs: { description },
+        schema: [],
+        messages,
+        ...meta,
+    },
+    create: (context) => ({
+        "root:exit": () => {
+            check(context);
+        },
+    }),
+});
+export default {
+    rules: {
+        "section-word": rule("`§` / `\\S` instead of the word Section (a reviewer's to-do); fixable", {
+            sign: "`§` instead of the word «Section» — `paperlint lint --fix` writes it",
+        }, sectionWord),
+        "leading-zero": rule("a decimal below 1 written without its leading zero (IEEE / ISO 80000-1); fixable", {
+            bare: "`{{n}}` has no leading zero — write `0{{n}}` (IEEE / ISO 80000-1); `paperlint lint --fix` inserts it",
+            ambiguous: "`{{n}}` in a paragraph that cites `¶`/`§` numbers: a decimal without its leading zero, or another paragraph number? Not fixed automatically — write `0{{n}}` for a decimal, or put the sign before a paragraph number",
+            insertZero: "It is a decimal: write `0{{n}}`",
+        }, leadingZero, { hasSuggestions: true }),
+        "figure-ref-style": rule("`Fig.~\\ref` and `Figure~\\ref` mixed in one document; fixable to the majority form", {
+            mixed: "`{{form}}` beside {{n}} × `{{word}}` in one document — use one form; `paperlint lint --fix` writes `{{word}}`",
+        }, figureRefStyle),
+    },
+};
+//# sourceMappingURL=paper-typography.js.map

package/dist/eslint-rules/paper-typography.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"paper-typography.js","sourceRoot":"","sources":["../../eslint-rules/paper-typography.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;AACH,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AA2BpE,4FAA4F;AAC5F,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,MAAM,CAAC,GACL,iGAAiG,CAAC,IAAI,CACpG,IAAI,CACL,CAAC;IACJ,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,SAAS,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtC,2EAA2E;IAC3E,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,cAAc,CAAC,CAAC;IACzE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;AAC1E,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CACpB,UAA0B,EAC1B,GAAW;IAEX,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,QAAQ,IAAI,EAAE;QAC5C,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACpC,oFAAoF;YACpF,MAAM,EACJ,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,EACjC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,GAChC,GAAG,CAAC,CAAC,QAAQ,CAAC;YACf,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC;IACH,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,GAAG;QAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACxC,OAAO,GAAG,CAAC;AACb,CAAC;AACD,MAAM,MAAM,GAAG,CAAC,MAAmC,EAAE,CAAS,EAAE,EAAE,CAChE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAE3C,+DAA+D;AAC/D,SAAS,aAAa,CAAC,UAAyB,EAAE,EAAU;IAC1D,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC;IAC3B,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAC5C,OAAO,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,UAA0B,EAA+B,EAAE,CACxE,OAAO,UAAU,CAAC,GAAG,KAAK,QAAQ,CAAC;AAErC,6FAA6F;AAE7F,gGAAgG;AAChG,MAAM,GAAG,GAAG,GAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;AAEhD,2FAA2F;AAC3F,MAAM,cAAc,GAClB,6EAA6E,CAAC;AAChF,+FAA+F;AAC/F,MAAM,aAAa,GACjB,+OAA+O,CAAC;AAClP,gEAAgE;AAChE,MAAM,YAAY,GAAG,yCAAyC,CAAC;AAC/D,wDAAwD;AACxD,MAAM,eAAe,GACnB,2IAA2I,CAAC;AAE9I,MAAM,SAAS,GAAG,CAAC,KAA4C,EAAE,EAAE,CACjE,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC;AAEvD;;;;GAIG;AACH,6DAA6D;AAC7D,MAAM,QAAQ,GAAG,CAAC,CAAsB,EAAE,IAA4B,EAAE,EAAE,CACxE,CAAC,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAE1C,SAAS,eAAe,CAAC,KAAyB,EAAE,CAAS;IAC3D,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACd,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAAE,CAAC,EAAE,CAAC;QAC5E,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM;YAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,OAAO;QAAE,CAAC,EAAE,CAAC;IACvC,OAAO,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED,gFAAgF;AAChF,SAAS,YAAY,CACnB,GAAQ,EACR,CAGC,EACD,GAAW;IAEX,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC;IACxC,MAAM,KAAK,GACT,OAAO,KAAK,KAAK,QAAQ;QACzB,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO;QACtD,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,IAAI,CAAC;IACX,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE;QACvC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACnD,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC;AACxB,CAAC;AAED;;;;GAIG;AACH,uFAAuF;AACvF,MAAM,OAAO,GAAY,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AAEhD,SAAS,OAAO,CACd,KAAqC,EACrC,IAAa,EACb,GAAW,EACX,GAAU;IAEV,IAAI,GAAG,GAAG,GAAG,EAAE,CAAC;IAChB,MAAM,KAAK,GAAG,GAAG,EAAE;QACjB,IAAI,GAAG,CAAC,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5B,GAAG,GAAG,GAAG,EAAE,CAAC;IACd,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,GAAG,IAAI,CAAC;QAClC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,YAAY,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,KAAK,EAAE,CAAC;QACR,IACE,CAAC,CAAC,IAAI,KAAK,YAAY;YACvB,CAAC,CAAC,IAAI,KAAK,aAAa;YACxB,CAAC,CAAC,IAAI,KAAK,SAAS;YAEpB,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;aAChC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACnD,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBACvE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9B,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;oBAClC,KAAK,MAAM,CAAC,IAAI,IAAI;wBAAE,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC7D,CAAC;iBAAM,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzC,KAAK,MAAM,CAAC,IAAI,IAAI;oBAAE,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC5D,CAAC;iBAAM,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBACvD,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACjD,CAAC;YACD,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,MAAM;gBAAE,CAAC,GAAG,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IACD,KAAK,EAAE,CAAC;IACR,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC5B,GAAW,EACX,EACE,KAAK,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,MACd,EAAE;IAE1C,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;IAChC,4FAA4F;IAC5F,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CACxB,CAAC,CAAC,EAA8D,EAAE,CAChE,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,GAAG,KAAK,UAAU,CACnD,CAAC;IACF,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;AACrE,CAAC;AAED,0CAA0C;AAC1C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,MAAM;IACN,YAAY;IACZ,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,YAAY;CACb,CAAC,CAAC;AACH;;;;GAIG;AACH,SAAS,SAAS,CAAC,KAAa,EAAE,GAAW,EAAE,KAAa;IAC1D,MAAM,IAAI,GAAsB,EAAE,CAAC;IACnC,IAAI,CAAC,GAAG,KAAK,CAAC;IACd,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;aAC7B,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;YAC9C,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACjB,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;aAAM,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;YACvE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChB,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAC9B,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChB,CAAC,EAAE,CAAC;QACN,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,aAAa,CACpB,IAAuB,EACvB,GAAW,EACX,MAAa,EAAE;IAEf,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IAClD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC;QAC1C,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,IAAI,CAAC,KAAK;YAChB,IAAI,EACF,OAAO,KAAK,KAAK,QAAQ;gBACvB,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC;gBACnC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC;SACzC,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,UAAU,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;QACrD,aAAa,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC7B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,WAAW,GAAG,CAAC,UAA0B,EAAS,EAAE,CACxD,KAAK,CAAC,UAAU,CAAC;IACf,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC;IAChC,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;AAErD,4CAA4C;AAC5C,MAAM,EAAE,GAAG,CACT,OAAoB,EACpB,IAAY,EACZ,EAAU,EACV,IAAsC,EACtC,EAAE;IACF,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC;IAC9B,OAAO,CAAC,MAAM,CAAC;QACb,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE;QACrE,GAAG,IAAI;KACR,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,0FAA0F;AAE1F,gGAAgG;AAChG,6DAA6D;AAC7D,MAAM,WAAW,GAAG,2DAA2D,CAAC;AAChF,MAAM,aAAa,GAAG,IAAI,CAAC;AAE3B,SAAS,WAAW,CAAC,OAAoB;IACvC,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC;IAC9B,IAAI,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAClB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;YAC5C,MAAM,KAAK,GAAqB,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACjE,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE;gBAC9B,SAAS,EAAE,MAAM;gBACjB,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC;aAC5C,CAAC,CAAC;QACL,CAAC;QACD,yFAAyF;QACzF,+DAA+D;QAC/D,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,EAAE,EAAE,aAAa,CAAC;YAC9C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;gBACpB,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QAC7D,OAAO;IACT,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACnD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC7B,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS;YAClD,qDAAqD;YACrD,MAAM,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;YACvB,MAAM,KAAK,GAAqB,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;YAC9D,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE;gBAC9B,SAAS,EAAE,MAAM;gBACjB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACvE,CAAC,CAAC;QACL,CAAC;AACL,CAAC;AAED,0FAA0F;AAE1F,qFAAqF;AACrF,mDAAmD;AACnD,MAAM,YAAY,GAAG,yBAAyB,CAAC;AAE/C,gGAAgG;AAChG,8FAA8F;AAC9F,uDAAuD;AACvD,MAAM,iBAAiB,GAAG,qCAAqC,CAAC;AAChE,MAAM,UAAU,GAAG,wCAAwC,CAAC;AAE5D,8FAA8F;AAC9F,MAAM,eAAe,GAAG,CAAC,GAAW,EAAE,CAAS,EAAE,EAAE;IACjD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC,CAAC;AAEF,SAAS,WAAW,CAAC,OAAoB;IACvC,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YAC9C,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS;gBAAE,SAAS;YAChD,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACzC,IAAI,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,SAAS;YAC7C,MAAM,IAAI,GAAG,CAAC,CAAY,EAAE,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YACxE,EAAE,CACA,OAAO,EACP,GAAG,EACH,GAAG,GAAG,CAAC,EACP,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;gBACrB,CAAC,CAAC;oBACE,SAAS,EAAE,WAAW;oBACtB,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;oBACjB,OAAO,EAAE;wBACP,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE;qBAC1D;iBACF;gBACH,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CACxD,CAAC;QACJ,CAAC;AACL,CAAC;AAED,0FAA0F;AAE1F,MAAM,OAAO,GAAG,4CAA4C,CAAC;AAE7D,SAAS,cAAc,CAAC,OAAoB;IAC1C,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC;IAC9B,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAAE,OAAO;IACvB,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO;IAC1C,kFAAkF;IAClF,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,GACpB,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAClE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;QACxB,MAAM,KAAK,GAAqB,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QACjE,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE;YAC9B,SAAS,EAAE,OAAO;YAClB,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,EAAE;YAC7D,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC;SAC5C,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,MAAM,IAAI,GAAG,CACX,WAAmB,EACnB,QAA0C,EAC1C,KAAqC,EACrC,OAA8C,EAAE,EAChD,EAAE,CAAC,CAAC;IACJ,IAAI,EAAE;QACJ,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,MAAM;QACf,IAAI,EAAE,EAAE,WAAW,EAAE;QACrB,MAAM,EAAE,EAAE;QACV,QAAQ;QACR,GAAG,IAAI;KACR;IACD,MAAM,EAAE,CAAC,OAAoB,EAAE,EAAE,CAAC,CAAC;QACjC,WAAW,EAAE,GAAG,EAAE;YAChB,KAAK,CAAC,OAAO,CAAC,CAAC;QACjB,CAAC;KACF,CAAC;CACH,CAAC,CAAC;AAEH,eAAe;IACb,KAAK,EAAE;QACL,cAAc,EAAE,IAAI,CAClB,uEAAuE,EACvE;YACE,IAAI,EAAE,sEAAsE;SAC7E,EACD,WAAW,CACZ;QACD,cAAc,EAAE,IAAI,CAClB,kFAAkF,EAClF;YACE,IAAI,EAAE,sGAAsG;YAC5G,SAAS,EACP,uNAAuN;YACzN,UAAU,EAAE,iCAAiC;SAC9C,EACD,WAAW,EACX,EAAE,cAAc,EAAE,IAAI,EAAE,CACzB;QACD,kBAAkB,EAAE,IAAI,CACtB,qFAAqF,EACrF;YACE,KAAK,EACH,+GAA+G;SAClH,EACD,cAAc,CACf;KACF;CACF,CAAC"}

package/dist/eslint-rules/papers.d.ts

@@ -0,0 +1,42 @@
+import { DEFAULT_PAPERS_ROOT } from "../lib/paper-config.ts";
+export { DEFAULT_PAPERS_ROOT };
+/**
+ * The declared papers root, verified to be on disk.
+ *
+ * @param settings the project's root `paperlint.json`, parsed (`settingsOf(root)`), or undefined
+ * @param baseDir  the directory the root is relative to. PASS `import.meta.dirname` FROM THE
+ *                 CONFIG rather than relying on the default: `process.cwd()` is wherever the
+ *                 editor, the hook runtime or the CI step happened to start, and in a git
+ *                 worktree it can be a different checkout entirely. The config file sits at
+ *                 the repository root, so its own directory is the stable answer.
+ * @returns the root as DECLARED (relative), not resolved — it goes straight into `files:`
+ *          globs, which ESLint interprets relative to the config, and an absolute path there
+ *          would change their meaning.
+ */
+export declare function papersRoot(settings: Readonly<Record<string, unknown>> | null | undefined, baseDir?: string): string;
+/**
+ * The glob sets a consumer declares its blocks on, derived from one root.
+ *
+ * 🔴 THE SHAPES LIVE HERE, NOT IN THE CONSUMER, and that is the half that keeps a rule from
+ * going blind later. `paper.md` + `draft.md`, `_build/*.facts.json`, `PIPELINE-STATUS.md` are
+ * this pipeline's CONVENTION; if a rule starts reading a new file, the glob for it must arrive
+ * with the rule, in the same package, rather than as a line every consumer has to add by hand
+ * to keep up. A hand-maintained list of paths is the thing that rots, and rots silently.
+ */
+export declare function paperFiles(root: string): {
+    /** Markdown drafts — the two names a paper's prose is allowed to have. */
+    md: string[];
+    /** The LaTeX source of a paper (not its figures, not its vendored drafts). */
+    tex: string[];
+    /** The per-paper stage ledger. */
+    status: string[];
+    /** The per-paper settings file, `paperlint.json`. */
+    venue: string[];
+    /** Facts extracted from the built PDF. */
+    pdfFacts: string[];
+    /** Facts extracted from the bibliography. */
+    refFacts: string[];
+    /** Everything under the root — for blocks that turn other tooling OFF rather than on. */
+    all: string[];
+};
+//# sourceMappingURL=papers.d.ts.map

package/dist/eslint-rules/papers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"papers.d.ts","sourceRoot":"","sources":["../../eslint-rules/papers.ts"],"names":[],"mappings":"AA+EA,OAAO,EAEL,mBAAmB,EAGpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,mBAAmB,EAAE,CAAC;AAE/B;;;;;;;;;;;;GAYG;AACH,wBAAgB,UAAU,CACxB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,IAAI,GAAG,SAAS,EAC9D,OAAO,GAAE,MAAsB,GAC9B,MAAM,CA2BR;AAED;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM;IAEnC,0EAA0E;;IAE1E,8EAA8E;;IAE9E,kCAAkC;;IAElC,qDAAqD;;IAErD,0CAA0C;;IAE1C,6CAA6C;;IAE7C,yFAAyF;;EAG5F"}

package/dist/eslint-rules/papers.js

@@ -0,0 +1,145 @@
+/**
+ * papers.mjs — WHERE THE CONSUMER'S PAPERS LIVE. One declaration, three readers.
+ *
+ * ── THE PROBLEM THIS SOLVES ─────────────────────────────────────────────────
+ * This package lints papers. It must not know where any particular consumer keeps them: the
+ * first consumer keeps them two levels deep under a directory named in its own language, and
+ * a package that hard-codes that word is a package with exactly one possible user. But the
+ * path cannot simply be "passed in" either, because it is needed by FOUR carriers with four
+ * different mechanics — an ESLint config (JavaScript), a compiled hook (a closed vocabulary
+ * that forbids imports), the PROSE of a skill (read by a model, not resolved by code), and
+ * LaTeX (`TEXINPUTS`, kpathsea).
+ *
+ * ── THE DECISION ────────────────────────────────────────────────────────────
+ * ONE declaration, in the project's root `paperlint.json`, with a default:
+ *
+ *     { "papersDir": "docs/papers" }
+ *
+ * No file, or no key → `papers`. Every carrier then reads that one value with its OWN standard
+ * mechanism:
+ *
+ *   ESLint  →  `settingsOf(root)` (lib/paper-config.mjs) + this module
+ *   hook    →  `needs: [provide("config", …)]` cats the file, JSON.parse inside `decide`
+ *   prose   →  the skill names a COMMAND, not a path:
+ *              `node -p "(() => { try { return require('./paperlint.json').papersDir } catch {} })() ?? 'papers'"`
+ *   LaTeX   →  `TEXINPUTS` built FROM THE SCRIPT (`$(dirname "$0")/../tex//:`), so the
+ *              consumer declares nothing at all for this carrier
+ *
+ * ── WHAT WAS MEASURED AND KILLED, so it is not proposed again ───────────────
+ * (full measurements: consumer repo, `idei/paper-pipeline-extraction/`, 2026-09-11)
+ *
+ *   A SYMLINK (`papers -> <the real directory>`) plus a hard-coded default, no config at all.
+ *     ESLint does NOT descend into a symlinked directory when walking `.`: the run reported
+ *     ZERO files and exit 0 — the green zero this package has a dedicated guard against.
+ *
+ *   AN ENVIRONMENT VARIABLE (`$PAPER_ROOT`).
+ *     A compiled hook cannot read `process.env` — the vocabulary check rejects every import
+ *     except `vigiles/hook`. The only way in is `provide("root", "echo $PAPER_ROOT")`, and
+ *     then THREE different places must set the same value (the agent harness that spawns the
+ *     hook, CI, the editor running ESLint). Unset, it expands to the empty string and every
+ *     prefix test silently passes.
+ *
+ *   A FILENAME MARKER, no root at all (`**\/paper.tex`).
+ *     Measured on the first consumer: `paper.tex` ×4 with one outside the corpus,
+ *     `PIPELINE-STATUS.md` ×6 with two of them test fixtures, `paper.md` ×3 with two outside.
+ *     The guard that would consume this is a `deny` at `error` severity; a denial on writing
+ *     a fixture gets the hook switched off the same day.
+ *
+ *   `context.settings`.
+ *     It delivers data INTO a rule; it does not choose which files a rule sees. `files:` is
+ *     the only mechanism that does. Useful for a plugin's `structureRoot`, useless here.
+ *
+ * ── WHY THIS THROWS INSTEAD OF FALLING BACK ─────────────────────────────────
+ * 🔴 A wrong root does not produce wrong findings — it produces NO findings, and a run with no
+ * findings is byte-identical to a run that examined everything and passed. That is the one
+ * failure mode of this whole design, and it belongs to the ESLint carrier alone: the other
+ * three fail loudly on their own (a hook throws on `join(undefined)`, `ls` exits non-zero,
+ * LaTeX stops with `! Emergency stop.`). So this module refuses to return a root it cannot
+ * see on disk, and the refusal happens while the CONFIG is loading — before any rule runs,
+ * where it cannot be mistaken for a clean lint.
+ *
+ * ⚠️ THAT IS NOT ENOUGH ON ITS OWN, and saying so is the point. `existsSync` proves the
+ * directory exists, not that any rule was handed a file from it: a root that exists but holds
+ * no papers, or a glob shape that stopped matching, still yields the green zero. The second
+ * net is `scripts/rules-see-files.mjs`, which asks ESLint what the effective config of every
+ * linted file is and names any rule that saw none. A consumer using this module without
+ * running that script has one net, not two.
+ *
+ * ⚠️ THE EXAMPLES IN THIS FILE ARE DELIBERATELY GENERIC (`docs/papers`), and that is ENFORCED
+ * rather than a style preference: `papers.harness.mjs` part IV fails if the first consumer's own
+ * directory name appears anywhere in this package outside the test itself. It caught this very
+ * docblock on 2026-09-11, where the example used the real value. An exemption list is what turns
+ * such a check into decoration, so there is exactly one exemption: the file asserting it.
+ */
+import { existsSync } from "node:fs";
+import { resolve } from "node:path";
+// Re-exported, not re-declared. This file is not a hook, so nothing stops it importing the one
+// source; it had its own copy for no reason, and that copy was outside the agreement check that
+// compares the three hooks — it could have drifted in silence.
+import { CONFIG_KEY, DEFAULT_PAPERS_ROOT, PAPERS_DIR_FIELD, CONFIG_FILE, } from "../lib/paper-config.js";
+export { DEFAULT_PAPERS_ROOT };
+/**
+ * The declared papers root, verified to be on disk.
+ *
+ * @param settings the project's root `paperlint.json`, parsed (`settingsOf(root)`), or undefined
+ * @param baseDir  the directory the root is relative to. PASS `import.meta.dirname` FROM THE
+ *                 CONFIG rather than relying on the default: `process.cwd()` is wherever the
+ *                 editor, the hook runtime or the CI step happened to start, and in a git
+ *                 worktree it can be a different checkout entirely. The config file sits at
+ *                 the repository root, so its own directory is the stable answer.
+ * @returns the root as DECLARED (relative), not resolved — it goes straight into `files:`
+ *          globs, which ESLint interprets relative to the config, and an absolute path there
+ *          would change their meaning.
+ */
+export function papersRoot(settings, baseDir = process.cwd()) {
+    const declared = settings?.[PAPERS_DIR_FIELD];
+    // 🔴 `declared === undefined`, NOT `declared ?? DEFAULT`. The two differ on exactly one
+    // input — `"papersDir": null` — and the difference is the whole point: `??` reads an explicit
+    // `null` as "nothing was declared" and silently uses the default, which is a typed keystroke
+    // being treated as an absence. Caught by the harness on 2026-09-11, where the first draft of
+    // this line used `??` and let `null` through. Absence means default; anything written down
+    // means it must be usable.
+    const root = declared === undefined ? DEFAULT_PAPERS_ROOT : declared;
+    if (typeof root !== "string" || root.length === 0)
+        throw new TypeError(`${CONFIG_KEY}: "${PAPERS_DIR_FIELD}" must be a non-empty string, got ${JSON.stringify(root)}`);
+    if (!existsSync(resolve(baseDir, root)))
+        throw new Error(`${CONFIG_KEY}: the papers root "${root}" does not exist under ${baseDir}.\n` +
+            (declared === undefined
+                ? `Nothing was declared, so the default "${DEFAULT_PAPERS_ROOT}" was used. Declare the ` +
+                    `real location in ${CONFIG_FILE}:\n` +
+                    `  { "${PAPERS_DIR_FIELD}": "path/to/papers" }`
+                : `It is declared in ${CONFIG_FILE} as "${root}". Fix it there, or create the ` +
+                    `directory.`) +
+            `\nThis is thrown rather than ignored on purpose: a papers root that matches nothing ` +
+            `makes every rule lint zero files, and a run with zero findings is indistinguishable ` +
+            `from a run that checked everything and passed.`);
+    return root;
+}
+/**
+ * The glob sets a consumer declares its blocks on, derived from one root.
+ *
+ * 🔴 THE SHAPES LIVE HERE, NOT IN THE CONSUMER, and that is the half that keeps a rule from
+ * going blind later. `paper.md` + `draft.md`, `_build/*.facts.json`, `PIPELINE-STATUS.md` are
+ * this pipeline's CONVENTION; if a rule starts reading a new file, the glob for it must arrive
+ * with the rule, in the same package, rather than as a line every consumer has to add by hand
+ * to keep up. A hand-maintained list of paths is the thing that rots, and rots silently.
+ */
+export function paperFiles(root) {
+    return {
+        /** Markdown drafts — the two names a paper's prose is allowed to have. */
+        md: [`${root}/*/paper.md`, `${root}/*/draft.md`],
+        /** The LaTeX source of a paper (not its figures, not its vendored drafts). */
+        tex: [`${root}/*/paper.tex`],
+        /** The per-paper stage ledger. */
+        status: [`${root}/*/PIPELINE-STATUS.md`],
+        /** The per-paper settings file, `paperlint.json`. */
+        venue: [`${root}/*/${CONFIG_FILE}`],
+        /** Facts extracted from the built PDF. */
+        pdfFacts: [`${root}/*/_build/paper.facts.json`],
+        /** Facts extracted from the bibliography. */
+        refFacts: [`${root}/*/_build/refs.facts.json`],
+        /** Everything under the root — for blocks that turn other tooling OFF rather than on. */
+        all: [`${root}/**/*.*`],
+    };
+}
+//# sourceMappingURL=papers.js.map

package/dist/eslint-rules/papers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"papers.js","sourceRoot":"","sources":["../../eslint-rules/papers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwEG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,+FAA+F;AAC/F,gGAAgG;AAChG,+DAA+D;AAC/D,OAAO,EACL,UAAU,EACV,mBAAmB,EACnB,gBAAgB,EAChB,WAAW,GACZ,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,mBAAmB,EAAE,CAAC;AAE/B;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,UAAU,CACxB,QAA8D,EAC9D,UAAkB,OAAO,CAAC,GAAG,EAAE;IAE/B,MAAM,QAAQ,GAAG,QAAQ,EAAE,CAAC,gBAAgB,CAAC,CAAC;IAC9C,wFAAwF;IACxF,8FAA8F;IAC9F,6FAA6F;IAC7F,6FAA6F;IAC7F,2FAA2F;IAC3F,2BAA2B;IAC3B,MAAM,IAAI,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC;IACrE,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAC/C,MAAM,IAAI,SAAS,CACjB,GAAG,UAAU,MAAM,gBAAgB,qCAAqC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAC/F,CAAC;IACJ,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACrC,MAAM,IAAI,KAAK,CACb,GAAG,UAAU,sBAAsB,IAAI,0BAA0B,OAAO,KAAK;YAC3E,CAAC,QAAQ,KAAK,SAAS;gBACrB,CAAC,CAAC,yCAAyC,mBAAmB,0BAA0B;oBACtF,oBAAoB,WAAW,KAAK;oBACpC,QAAQ,gBAAgB,uBAAuB;gBACjD,CAAC,CAAC,qBAAqB,WAAW,QAAQ,IAAI,iCAAiC;oBAC7E,YAAY,CAAC;YACjB,sFAAsF;YACtF,sFAAsF;YACtF,gDAAgD,CACnD,CAAC;IACJ,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO;QACL,0EAA0E;QAC1E,EAAE,EAAE,CAAC,GAAG,IAAI,aAAa,EAAE,GAAG,IAAI,aAAa,CAAC;QAChD,8EAA8E;QAC9E,GAAG,EAAE,CAAC,GAAG,IAAI,cAAc,CAAC;QAC5B,kCAAkC;QAClC,MAAM,EAAE,CAAC,GAAG,IAAI,uBAAuB,CAAC;QACxC,qDAAqD;QACrD,KAAK,EAAE,CAAC,GAAG,IAAI,MAAM,WAAW,EAAE,CAAC;QACnC,0CAA0C;QAC1C,QAAQ,EAAE,CAAC,GAAG,IAAI,4BAA4B,CAAC;QAC/C,6CAA6C;QAC7C,QAAQ,EAAE,CAAC,GAAG,IAAI,2BAA2B,CAAC;QAC9C,yFAAyF;QACzF,GAAG,EAAE,CAAC,GAAG,IAAI,SAAS,CAAC;KACxB,CAAC;AACJ,CAAC"}