paperlint 6.2.3 → 7.0.0

package/dist/domain/heading-case.js

@@ -0,0 +1,365 @@
+/**
+ * HEADING CASE — what a venue's capitalization style asks of the words of the paper's title and of
+ * its headings, decided on the text the LaTeX adapter hands over (`TitledHeading`), never on the
+ * source.
+ *
+ * ── A STYLE IS NAMED AFTER THE TEXT THAT DEFINES IT ──────────────────────────────
+ * Venues name the authority precisely and the scope loosely: «headline-style capitalization
+ * (according to the Chicago Manual of Style …)» for «the title and all headings». Headline variants
+ * disagree on real words — Chicago lowercases `With`, `Between` and `From` «regardless of length»,
+ * APA title case and IEEE's manual capitalize them — so there is no style called just «headline»:
+ * one word would let a preset apply Chicago where a venue asks APA. A new variant is a new member of
+ * `CaseStyle`, added with the venue text that defines it and its own word table.
+ *
+ * ── CHICAGO-HEADLINE, THE PUBLISHER'S WORDS ──────────────────────────────────────
+ * Conference Publishing Consulting's quote of the Chicago Manual of Style 8.157–8.159 (the text is
+ * quoted on the rule's page): capitalize the first and the last word, the first word after a colon,
+ * and every major word (nouns, pronouns, verbs, adjectives, adverbs); lowercase articles,
+ * prepositions «regardless of length», the conjunctions and, but, for, or, nor, and «to» and «as»; in
+ * a hyphenated compound always capitalize the first element and lowercase the others when they are
+ * an article, a preposition or a conjunction, or when the first is a prefix that cannot stand by
+ * itself.
+ *
+ * ── SILENCE IS THE DEFAULT ───────────────────────────────────────────────────────
+ * A finding here is an error at a venue that rejects on it, and a wrong one costs more than a miss.
+ * So every word gets one of four classes, and only two of them can be wrong:
+ *
+ *   lower   what the publisher lists, and prepositions that are nothing else: lowercase between the
+ *           first and the last word, capitalized at either end and after a colon
+ *   major   every word not in a list — nouns, verbs, adjectives, adverbs, pronouns: capitalized
+ *   either  a word that is a preposition in one sentence and a particle, an adverb or a subordinating
+ *           conjunction in another (`up`, `down`, `over`, `out`, `off`, `on`, `in`, `through`, `if`,
+ *           `while`, `that`…): capitalized at the ends and after a colon, whatever it is; anywhere
+ *           else not read, in either case, and never fixed
+ *   name    the particle of a surname (`von`, `de`): never read
+ *
+ * What the rule cannot tell from a word is not read at all: a word with a capital inside (`LLM`,
+ * `GitHub`, `iOS`), a single letter, anything with a digit, a dot, a slash or an accent in it, a
+ * piece followed by a full stop before the title ends (`al.`, `etc.`, `vs.`), the abbreviations
+ * `et al etc cf eg ie approx viz`, a word whose capital is not one letter (a ligature, `fi`), and
+ * everything `OPAQUE` in the title (math, code, citations). A word right beside such a thing is
+ * not known to be first or last, so a minor word there is left as it is.
+ *
+ * A title comes in parts — a subtitle after a colon, a question mark, a dash or a line break
+ * (`LINE_BREAK`). The first word of a part is a start: a minor word there is not asked either way.
+ * The last word of a part is capitalized by Chicago and may be a particle (_What Is It Good For:_),
+ * so a minor word there is not asked either way either.
+ */
+import { LINE_BREAK, runText, } from "./tex-document.js";
+/** Every style, in the order a message lists them. */
+export const CASE_STYLES = [
+    "chicago-headline",
+    "sentence",
+    "any",
+];
+/** Every heading level, in the order of the outline. */
+export const HEADING_LEVELS = [
+    "section",
+    "subsection",
+    "subsubsection",
+    "paragraph",
+    "subparagraph",
+];
+/** The style a title is judged by: the title's own, or its level's, else every heading's. */
+export function styleFor(options, command) {
+    switch (command.kind) {
+        case "title":
+            return options.title;
+        case "heading":
+            return options.levels?.[command.level] ?? options.headings;
+    }
+}
+const kinds = (kind, words) => words.split(" ").map((w) => [w, kind]);
+/**
+ * The words that are not «major». Articles, the conjunctions the publisher names, «to» and «as»,
+ * and prepositions that are used as nothing else in a title. A word on the `either` list may be
+ * an adverb or a particle («break through», «scale up») and is never read mid-title.
+ */
+const KINDS = new Map([
+    ...kinds("lower", "the a an and but for or nor to as"),
+    ...kinds("lower", "of at by from into onto upon via per with within without during among amongst against between across throughout toward towards amid despite versus beneath beside"),
+    ...kinds("either", "up down over out off on in through under around about above below along after before behind near past inside outside beyond like than since until till vs"),
+    ...kinds("either", "if because while when where whether although though whereas unless once so yet that how"),
+    ...kinds("either", "using following including regarding concerning given excluding considering besides"),
+    ...kinds("name", "von van de der den da di du del della la le el"),
+    // Abbreviations a title borrows from running text: never words of it, in any place.
+    ...kinds("name", "et al etc cf eg ie approx viz"),
+]);
+/**
+ * Prefixes that cannot stand by themselves: after one, the second element of a compound is not
+ * read (`Multi-turn` and `Multi-Turn` both pass). Not `self`, `cross`, `meta`, `over`, `under`,
+ * `mini`, `micro`, `super`, `mid`, `counter`, `pro`: each stands alone, or is not certain to.
+ */
+export const BOUND_PREFIXES = new Set([
+    "anti",
+    "co",
+    "de",
+    "inter",
+    "intra",
+    "multi",
+    "non",
+    "post",
+    "pre",
+    "pseudo",
+    "quasi",
+    "re",
+    "semi",
+    "sub",
+    "trans",
+    "ultra",
+    "un",
+]);
+const isNonEmpty = (a) => a.length > 0;
+/**
+ * A piece of the title: up to a space, a dash or a line break. A lone hyphen is a piece; two or more
+ * are a dash. A dash and a line break each break the title into parts.
+ */
+const PIECES = new RegExp(`(?:[^\\s—–${LINE_BREAK}-]|-(?!-))+|-{2,}|[—–${LINE_BREAK}]`, "gu");
+const BREAK = new RegExp(`^(?:-+|[—–${LINE_BREAK}])$`, "u");
+const LEADING = /^[("'“‘`[{¿¡]+/u;
+const TRAILING = /[.,;:!?)"'”’\]}»]+$/u;
+const READABLE = /^\p{L}[\p{L}'’]*(?:-\p{L}[\p{L}'’]*)*$/u;
+/**
+ * An element whose capital is not one letter (a ligature: `fi` → `FI`): capitalizing it would
+ * rewrite the word, so it is not read.
+ */
+const hasPlainCapital = (el) => el.charAt(0).toUpperCase().length === 1;
+/**
+ * One piece → what it is: a break, a word the rule reads, or something it does not. A piece followed
+ * by a full stop that does not end the title is an abbreviation (`al.`, `etc.`, `vs.`), not a word.
+ */
+function tokenOf(piece, index, final) {
+    if (BREAK.test(piece))
+        return { kind: "break" };
+    const unopened = piece.replace(LEADING, "");
+    const core = unopened.replace(TRAILING, "");
+    const trail = unopened.slice(core.length);
+    const elements = core.split("-");
+    const abbreviated = trail.startsWith(".") && !final;
+    if (!READABLE.test(core) ||
+        !isNonEmpty(elements) ||
+        abbreviated ||
+        !elements.every(hasPlainCapital))
+        return { kind: "opaque", trail };
+    const from = index + piece.length - unopened.length;
+    return {
+        kind: "word",
+        word: { elements, from, to: from + core.length },
+        trail,
+    };
+}
+const tokensOf = (text) => {
+    const pieces = [...text.matchAll(PIECES)];
+    return pieces.map((m, k) => tokenOf(m[0], m.index, k === pieces.length - 1));
+};
+const isWord = (t) => t.kind === "word";
+const trailOf = (t) => t === undefined || t.kind === "break" ? "" : t.trail;
+function placeOf(tokens, i) {
+    const prev = tokens[i - 1];
+    const next = tokens[i + 1];
+    return {
+        first: i === 0,
+        last: i === tokens.length - 1,
+        afterColon: trailOf(prev).includes(":"),
+        mayBeFirst: !tokens.slice(0, i).some(isWord),
+        mayBeLast: !tokens.slice(i + 1).some(isWord),
+        afterBreak: prev?.kind === "break" || /[.?!]/u.test(trailOf(prev)),
+        beforeBreak: next?.kind === "break" || /[:?!]/u.test(trailOf(tokens[i])),
+        besideOpaque: prev?.kind === "opaque" || next?.kind === "opaque",
+    };
+}
+const kindOf = (element) => KINDS.get(element.toLowerCase()) ?? "major";
+/** A word with a capital anywhere but its first letter (`LLM`, `GitHub`, `iOS`): a name, not read. */
+const isMixed = (el) => el.slice(1) !== el.slice(1).toLowerCase();
+/**
+ * A single letter other than a lowercase article: a symbol, not a word. A capital «A» in the middle
+ * of a title is a label (_Module A_, _Appendix A_, _Vitamin A_), never an article set wrong.
+ */
+const isSymbol = (el) => el.length === 1 && el !== "a";
+const capitalized = (el) => el.charAt(0).toUpperCase() + el.slice(1);
+/** A word of the `lower` class: capitalized at either end and after a colon, else lowercase unless unsure. */
+function wantOfMinor(edge, p) {
+    if (edge)
+        return "upper";
+    const unsure = p.mayBeFirst ||
+        p.mayBeLast ||
+        p.afterBreak ||
+        p.beforeBreak ||
+        p.besideOpaque;
+    return unsure ? "any" : "lower";
+}
+/** What chicago-headline asks of a whole word standing alone. */
+function wantOfWord(el, p) {
+    if (isSymbol(el))
+        return "any";
+    const edge = p.first || p.last || p.afterColon;
+    switch (kindOf(el)) {
+        case "name":
+            return "any";
+        case "major":
+            return "upper";
+        case "either":
+            return edge ? "upper" : "any";
+        case "lower":
+            return wantOfMinor(edge, p);
+    }
+}
+/** What chicago-headline asks of the `k`-th element (k > 0) of a compound whose first element is `first`. */
+function wantOfLater(el, k, first) {
+    switch (kindOf(el)) {
+        case "lower":
+            return "lower";
+        case "major":
+            return k === 1 && BOUND_PREFIXES.has(first.toLowerCase())
+                ? "any"
+                : "upper";
+        case "either":
+        case "name":
+            return "any";
+    }
+}
+/** An element as `want` asks, or as it is when it is a name or the want is open. */
+function applied(el, want) {
+    if (want === "any" || isMixed(el))
+        return el;
+    return want === "upper" ? capitalized(el) : el.toLowerCase();
+}
+/**
+ * What chicago-headline asks of each element of a word. A compound with a single-letter element
+ * (`k-means`, `e-mail`) is not read; otherwise the first element is capitalized always and the rest
+ * follow `wantOfLater`.
+ */
+function judgedElements(word, p) {
+    const [first] = word.elements;
+    const wantOf = (el, k) => {
+        if (word.elements.length === 1)
+            return wantOfWord(el, p);
+        if (word.elements.some(isSymbol))
+            return "any";
+        return k === 0 ? "upper" : wantOfLater(el, k, first);
+    };
+    return word.elements.map((got, k) => {
+        const want = wantOf(got, k);
+        return { k, want, got, expected: applied(got, want) };
+    });
+}
+/** What a message calls the thing a word stands in. */
+function nounOf(c) {
+    switch (c.kind) {
+        case "title":
+            return "title";
+        case "heading":
+            return "heading";
+    }
+}
+/** Why an element is wanted the way it is, as the message says it. */
+function whyOf(j, p, h) {
+    if (j.want === "lower")
+        return "an article, preposition or conjunction is lowercase";
+    if (j.k > 0)
+        return "the elements of a hyphenated compound are capitalized unless one is an article, a preposition or a conjunction, or follows a prefix such as «non-»";
+    if (p.first)
+        return `the first word of a ${nounOf(h.command)} is capitalized`;
+    if (p.last)
+        return `the last word of a ${nounOf(h.command)} is capitalized`;
+    if (p.afterColon)
+        return "the first word after a colon is capitalized";
+    return "nouns, pronouns, verbs, adjectives and adverbs are capitalized";
+}
+/** The letters of a word, as the title says them. */
+const wordText = (h, w) => runText(h.title).slice(w.from, w.to);
+/**
+ * Where the letters `[from, to)` of a title stand in the source: from its first character to past its
+ * last. Total, no null: the title's characters are the source's, each at its own offset.
+ */
+function spanOf(h, from, to) {
+    const offsets = h.title.segments
+        .flatMap((s) => s.text.split("").map((_, k) => s.at + k))
+        .slice(from, to);
+    return { start: Math.min(...offsets), end: Math.max(...offsets) + 1 };
+}
+/** The fix for a word, only where the source holds exactly the letters read, side by side. */
+function fixOf(h, w, expected, source) {
+    const span = spanOf(h, w.from, w.to);
+    const contiguous = span.end - span.start === w.to - w.from;
+    if (!contiguous || source.slice(span.start, span.end) !== wordText(h, w))
+        return null;
+    return { span, text: expected };
+}
+/** The macro a title is the argument of. */
+function macroOf(c) {
+    switch (c.kind) {
+        case "title":
+            return "title";
+        case "heading":
+            return c.level;
+    }
+}
+/** `\section` for a title, `\section[…]` for the optional short one: how a message names the heading. */
+const whereOf = (h) => h.argument === "short"
+    ? `\\${macroOf(h.command)}[…]`
+    : `\\${macroOf(h.command)}`;
+/** One word against chicago-headline: nothing, or a finding with the fix where it is certain. */
+function judgeHeadlineWord(h, word, p, source) {
+    const [changed] = judgedElements(word, p).filter((j) => j.expected !== j.got);
+    if (changed === undefined)
+        return [];
+    const expected = judgedElements(word, p)
+        .map((j) => j.expected)
+        .join("-");
+    return [
+        {
+            messageId: changed.want === "upper" ? "capitalize" : "lowercase",
+            data: {
+                word: wordText(h, word),
+                expected,
+                why: whyOf(changed, p, h),
+                where: whereOf(h),
+            },
+            at: spanOf(h, word.from, word.to),
+            fix: fixOf(h, word, expected, source),
+        },
+    ];
+}
+/** Sentence: the first word of a title is capitalized, and nothing else is read. */
+function judgeSentenceWord(h, word, p) {
+    const [first] = word.elements;
+    const got = wordText(h, word);
+    const readable = kindOf(first) !== "name" && !isSymbol(first) && !isMixed(first);
+    const expected = p.first && readable ? capitalized(got) : got;
+    if (expected === got)
+        return [];
+    return [
+        {
+            messageId: "sentenceFirst",
+            data: { word: got, expected, where: whereOf(h) },
+            at: spanOf(h, word.from, word.to),
+            fix: null,
+        },
+    ];
+}
+/** The findings of one title, each word judged where it stands by `judge`. */
+function judgeWords(h, judge) {
+    const tokens = tokensOf(runText(h.title));
+    return tokens.flatMap((t, i) => t.kind === "word" ? judge(t.word, placeOf(tokens, i)) : []);
+}
+/** The findings of one title under the style its scope asks. */
+function judgeTitle(h, style, source) {
+    switch (style) {
+        case "any":
+            return [];
+        case "chicago-headline":
+            return judgeWords(h, (w, p) => judgeHeadlineWord(h, w, p, source));
+        case "sentence":
+            return judgeWords(h, (w, p) => judgeSentenceWord(h, w, p));
+    }
+}
+/**
+ * The paper's title and every heading, each against the style its scope asks (`styleFor`), in
+ * document order. `source` is the text the titles were read from: a fix is offered only where it
+ * holds the very letters the judge read.
+ */
+export function judgeHeadingCase(headings, options, source) {
+    return headings.flatMap((h) => judgeTitle(h, styleFor(options, h.command), source));
+}
+//# sourceMappingURL=heading-case.js.map

package/dist/domain/heading-case.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"heading-case.js","sourceRoot":"","sources":["../../src/domain/heading-case.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AACH,OAAO,EACL,UAAU,EACV,OAAO,GAKR,MAAM,mBAAmB,CAAC;AAY3B,sDAAsD;AACtD,MAAM,CAAC,MAAM,WAAW,GAAyB;IAC/C,kBAAkB;IAClB,UAAU;IACV,KAAK;CACN,CAAC;AAEF,wDAAwD;AACxD,MAAM,CAAC,MAAM,cAAc,GAA4B;IACrD,SAAS;IACT,YAAY;IACZ,eAAe;IACf,WAAW;IACX,cAAc;CACf,CAAC;AAeF,6FAA6F;AAC7F,MAAM,UAAU,QAAQ,CACtB,OAA2B,EAC3B,OAAsB;IAEtB,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC,KAAK,CAAC;QACvB,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC;IAC/D,CAAC;AACH,CAAC;AAkBD,MAAM,KAAK,GAAG,CACZ,IAAU,EACV,KAAa,EACyB,EAAE,CACxC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAU,CAAC,CAAC;AAElD;;;;GAIG;AACH,MAAM,KAAK,GAA8B,IAAI,GAAG,CAAC;IAC/C,GAAG,KAAK,CAAC,OAAO,EAAE,mCAAmC,CAAC;IACtD,GAAG,KAAK,CACN,OAAO,EACP,mKAAmK,CACpK;IACD,GAAG,KAAK,CACN,QAAQ,EACR,2JAA2J,CAC5J;IACD,GAAG,KAAK,CACN,QAAQ,EACR,yFAAyF,CAC1F;IACD,GAAG,KAAK,CACN,QAAQ,EACR,oFAAoF,CACrF;IACD,GAAG,KAAK,CAAC,MAAM,EAAE,gDAAgD,CAAC;IAClE,oFAAoF;IACpF,GAAG,KAAK,CAAC,MAAM,EAAE,+BAA+B,CAAC;CAClD,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC;IACzD,MAAM;IACN,IAAI;IACJ,IAAI;IACJ,OAAO;IACP,OAAO;IACP,OAAO;IACP,KAAK;IACL,MAAM;IACN,KAAK;IACL,QAAQ;IACR,OAAO;IACP,IAAI;IACJ,MAAM;IACN,KAAK;IACL,OAAO;IACP,OAAO;IACP,IAAI;CACL,CAAC,CAAC;AAoCH,MAAM,UAAU,GAAG,CAAI,CAAe,EAA6B,EAAE,CACnE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;AAEf;;;GAGG;AACH,MAAM,MAAM,GAAG,IAAI,MAAM,CACvB,aAAa,UAAU,wBAAwB,UAAU,GAAG,EAC5D,IAAI,CACL,CAAC;AACF,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,aAAa,UAAU,KAAK,EAAE,GAAG,CAAC,CAAC;AAC5D,MAAM,OAAO,GAAG,iBAAiB,CAAC;AAClC,MAAM,QAAQ,GAAG,sBAAsB,CAAC;AACxC,MAAM,QAAQ,GAAG,yCAAyC,CAAC;AAE3D;;;GAGG;AACH,MAAM,eAAe,GAAG,CAAC,EAAU,EAAW,EAAE,CAC9C,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC;AAE1C;;;GAGG;AACH,SAAS,OAAO,CAAC,KAAa,EAAE,KAAa,EAAE,KAAc;IAC3D,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAChD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;IACpD,IACE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;QACpB,CAAC,UAAU,CAAC,QAAQ,CAAC;QACrB,WAAW;QACX,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC;QAEhC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IACpD,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE;QAChD,KAAK;KACN,CAAC;AACJ,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAoB,EAAE;IAClD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1C,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;AAC/E,CAAC,CAAC;AAEF,MAAM,MAAM,GAAG,CAAC,CAAQ,EAAW,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;AACxD,MAAM,OAAO,GAAG,CAAC,CAAoB,EAAU,EAAE,CAC/C,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAEvD,SAAS,OAAO,CAAC,MAAwB,EAAE,CAAS;IAClD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,OAAO;QACL,KAAK,EAAE,CAAC,KAAK,CAAC;QACd,IAAI,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC;QAC7B,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;QACvC,UAAU,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;QAC5C,SAAS,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;QAC5C,UAAU,EAAE,IAAI,EAAE,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAClE,WAAW,EAAE,IAAI,EAAE,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,YAAY,EAAE,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ;KACjE,CAAC;AACJ,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,OAAe,EAAQ,EAAE,CACvC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,IAAI,OAAO,CAAC;AAE9C,sGAAsG;AACtG,MAAM,OAAO,GAAG,CAAC,EAAU,EAAW,EAAE,CACtC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;AAE5C;;;GAGG;AACH,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAW,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC;AAExE,MAAM,WAAW,GAAG,CAAC,EAAU,EAAU,EAAE,CACzC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAE3C,8GAA8G;AAC9G,SAAS,WAAW,CAAC,IAAa,EAAE,CAAQ;IAC1C,IAAI,IAAI;QAAE,OAAO,OAAO,CAAC;IACzB,MAAM,MAAM,GACV,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,YAAY,CAAC;IACjB,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;AAClC,CAAC;AAED,iEAAiE;AACjE,SAAS,UAAU,CAAC,EAAU,EAAE,CAAQ;IACtC,IAAI,QAAQ,CAAC,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/B,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,UAAU,CAAC;IAC/C,QAAQ,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;QACf,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;QAChC,KAAK,OAAO;YACV,OAAO,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAChC,CAAC;AACH,CAAC;AAED,6GAA6G;AAC7G,SAAS,WAAW,CAAC,EAAU,EAAE,CAAS,EAAE,KAAa;IACvD,QAAQ,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,OAAO;YACV,OAAO,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;gBACvD,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,OAAO,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,oFAAoF;AACpF,SAAS,OAAO,CAAC,EAAU,EAAE,IAAU;IACrC,IAAI,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,EAAE,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7C,OAAO,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC;AAC/D,CAAC;AAUD;;;;GAIG;AACH,SAAS,cAAc,CAAC,IAAU,EAAE,CAAQ;IAC1C,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC9B,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,CAAS,EAAQ,EAAE;QAC7C,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACzD,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/C,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QAClC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC5B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,uDAAuD;AACvD,SAAS,MAAM,CAAC,CAAgB;IAC9B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,sEAAsE;AACtE,SAAS,KAAK,CAAC,CAAS,EAAE,CAAQ,EAAE,CAAgB;IAClD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QACpB,OAAO,qDAAqD,CAAC;IAC/D,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;QACT,OAAO,oJAAoJ,CAAC;IAC9J,IAAI,CAAC,CAAC,KAAK;QAAE,OAAO,uBAAuB,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAC9E,IAAI,CAAC,CAAC,IAAI;QAAE,OAAO,sBAAsB,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAC5E,IAAI,CAAC,CAAC,UAAU;QAAE,OAAO,6CAA6C,CAAC;IACvE,OAAO,gEAAgE,CAAC;AAC1E,CAAC;AAED,qDAAqD;AACrD,MAAM,QAAQ,GAAG,CAAC,CAAgB,EAAE,CAAO,EAAU,EAAE,CACrD,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAEvC;;;GAGG;AACH,SAAS,MAAM,CAAC,CAAgB,EAAE,IAAY,EAAE,EAAU;IACxD,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ;SAC7B,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;SACxD,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACnB,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,8FAA8F;AAC9F,SAAS,KAAK,CACZ,CAAgB,EAChB,CAAO,EACP,QAAgB,EAChB,MAAc;IAEd,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACrC,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC;IAC3D,IAAI,CAAC,UAAU,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;QACtE,OAAO,IAAI,CAAC;IACd,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAClC,CAAC;AAED,4CAA4C;AAC5C,SAAS,OAAO,CAAC,CAAgB;IAC/B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,SAAS;YACZ,OAAO,CAAC,CAAC,KAAK,CAAC;IACnB,CAAC;AACH,CAAC;AAED,yGAAyG;AACzG,MAAM,OAAO,GAAG,CAAC,CAAgB,EAAU,EAAE,CAC3C,CAAC,CAAC,QAAQ,KAAK,OAAO;IACpB,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK;IAC9B,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;AAEhC,iGAAiG;AACjG,SAAS,iBAAiB,CACxB,CAAgB,EAChB,IAAU,EACV,CAAQ,EACR,MAAc;IAEd,MAAM,CAAC,OAAO,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;IAC9E,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC;SACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;SACtB,IAAI,CAAC,GAAG,CAAC,CAAC;IACb,OAAO;QACL;YACE,SAAS,EAAE,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW;YAChE,IAAI,EAAE;gBACJ,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC;gBACvB,QAAQ;gBACR,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;gBACzB,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;aAClB;YACD,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YACjC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC;SACtC;KACF,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,SAAS,iBAAiB,CACxB,CAAgB,EAChB,IAAU,EACV,CAAQ;IAER,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC9B,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9B,MAAM,QAAQ,GACZ,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAC9D,IAAI,QAAQ,KAAK,GAAG;QAAE,OAAO,EAAE,CAAC;IAChC,OAAO;QACL;YACE,SAAS,EAAE,eAAe;YAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE;YAChD,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YACjC,GAAG,EAAE,IAAI;SACV;KACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,SAAS,UAAU,CACjB,CAAgB,EAChB,KAAuD;IAEvD,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1C,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC7B,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAC3D,CAAC;AACJ,CAAC;AAED,gEAAgE;AAChE,SAAS,UAAU,CACjB,CAAgB,EAChB,KAAgB,EAChB,MAAc;IAEd,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,KAAK;YACR,OAAO,EAAE,CAAC;QACZ,KAAK,kBAAkB;YACrB,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QACrE,KAAK,UAAU;YACb,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAAkC,EAClC,OAA2B,EAC3B,MAAc;IAEd,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5B,UAAU,CAAC,CAAC,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CACpD,CAAC;AACJ,CAAC"}

package/dist/domain/result.d.ts

@@ -12,6 +12,10 @@ export type Result<T, E> = {
 };
 export declare const ok: <T>(value: T) => Result<T, never>;
 export declare const err: <E>(error: E) => Result<never, E>;
+/** Whether `r` succeeded — a type guard, so `filter(isOk)` keeps the successes as successes. */
+export declare const isOk: <T, E>(r: Result<T, E>) => r is Extract<Result<T, E>, {
+    readonly ok: true;
+}>;
 export declare const map: <T, U, E>(r: Result<T, E>, f: (t: T) => U) => Result<U, E>;
 export declare const andThen: <T, U, E, F>(r: Result<T, E>, f: (t: T) => Result<U, F>) => Result<U, E | F>;
 export declare const match: <T, E, R>(r: Result<T, E>, on: {

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

@@ -1 +1 @@
-{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../../src/domain/result.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IACnB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GACxC;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAE9C,eAAO,MAAM,EAAE,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,KAAK,CAA0B,CAAC;AAC3E,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,MAAM,CAAC,KAAK,EAAE,CAAC,CAA2B,CAAC;AAE7E,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAC/C,CAAC;AAE5B,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EACf,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KACxB,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAA4B,CAAC;AAE/C,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC3B,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EACf,IAAI;IAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;CAAE,KAC1D,CAA8C,CAAC"}
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../../src/domain/result.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IACnB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GACxC;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAE9C,eAAO,MAAM,EAAE,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,KAAK,CAA0B,CAAC;AAC3E,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,MAAM,CAAC,KAAK,EAAE,CAAC,CAA2B,CAAC;AAE7E,gGAAgG;AAChG,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EACvB,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KACd,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,CAAS,CAAC;AAE7D,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAC/C,CAAC;AAE5B,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EACf,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KACxB,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAA4B,CAAC;AAE/C,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC3B,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EACf,IAAI;IAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;CAAE,KAC1D,CAA8C,CAAC"}

package/dist/domain/result.js

@@ -1,5 +1,7 @@
 export const ok = (value) => ({ ok: true, value });
 export const err = (error) => ({ ok: false, error });
+/** Whether `r` succeeded — a type guard, so `filter(isOk)` keeps the successes as successes. */
+export const isOk = (r) => r.ok;
 export const map = (r, f) => r.ok ? ok(f(r.value)) : r;
 export const andThen = (r, f) => (r.ok ? f(r.value) : r);
 export const match = (r, on) => (r.ok ? on.ok(r.value) : on.err(r.error));

package/dist/domain/result.js.map

@@ -1 +1 @@
-{"version":3,"file":"result.js","sourceRoot":"","sources":["../../src/domain/result.ts"],"names":[],"mappings":"AASA,MAAM,CAAC,MAAM,EAAE,GAAG,CAAI,KAAQ,EAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3E,MAAM,CAAC,MAAM,GAAG,GAAG,CAAI,KAAQ,EAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAE7E,MAAM,CAAC,MAAM,GAAG,GAAG,CAAU,CAAe,EAAE,CAAc,EAAgB,EAAE,CAC5E,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE5B,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,CAAe,EACf,CAAyB,EACP,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE/C,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,CAAe,EACf,EAA2D,EACxD,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC"}
+{"version":3,"file":"result.js","sourceRoot":"","sources":["../../src/domain/result.ts"],"names":[],"mappings":"AASA,MAAM,CAAC,MAAM,EAAE,GAAG,CAAI,KAAQ,EAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3E,MAAM,CAAC,MAAM,GAAG,GAAG,CAAI,KAAQ,EAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAE7E,gGAAgG;AAChG,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,CAAe,EACoC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAE7D,MAAM,CAAC,MAAM,GAAG,GAAG,CAAU,CAAe,EAAE,CAAc,EAAgB,EAAE,CAC5E,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE5B,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,CAAe,EACf,CAAyB,EACP,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE/C,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,CAAe,EACf,EAA2D,EACxD,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC"}

package/dist/domain/submission.d.ts

@@ -0,0 +1,106 @@
+/**
+ * THE SUBMISSION ON A CONFERENCE PORTAL — what `paperlint submission` reads and changes.
+ *
+ * Two declarations, each in the file that owns the fact:
+ *
+ *   venue preset `portal`        where the venue takes submissions: `{ "kind": "hotcrp", "url": … }`
+ *   paper `submission`           which submission on that portal is this paper's: `{ "id": 7 }`
+ *
+ * The values here are the portal's answers in paperlint's words, not in any one portal's: an adapter
+ * per portal kind maps its API onto them (`src/adapters/hotcrp/`).
+ */
+import { type Result } from "./result.ts";
+import type { Sha256 } from "./sha256.ts";
+/** The portal kinds an adapter exists for. Any other kind is refused by name. */
+export type PortalKind = "hotcrp";
+export declare const PORTAL_KINDS: readonly PortalKind[];
+/** A venue preset's `portal`, as the preset declares it: the kind is checked where it is used. */
+export interface VenuePortal {
+    readonly kind: string;
+    /** The portal site's base URL, without a trailing slash. */
+    readonly url: string;
+}
+/** A portal whose kind has an adapter. */
+export interface SupportedPortal {
+    readonly kind: PortalKind;
+    readonly url: string;
+}
+/** The declared portal → one paperlint can talk to, or the refusal naming the kind. Pure. */
+export declare function supportedPortal(p: VenuePortal): Result<SupportedPortal, string>;
+/** A paper's `submission`: which submission on the venue's portal is this paper's. */
+export interface PaperSubmission {
+    readonly id: number;
+}
+/** A paper's `submission` key → the value, null when absent, or one line saying what is wrong. Pure. */
+export declare function parsePaperSubmission(v: unknown): Result<PaperSubmission | null, string>;
+/** The PDF the portal holds for a submission. */
+export interface PortalDocument {
+    /** The sha256 of the stored bytes; null when the portal names another hash or none. */
+    readonly sha256: Sha256 | null;
+    /** The hash as the portal spells it. */
+    readonly hash: string;
+    readonly size: number | null;
+    readonly mimetype: string | null;
+    /** Unix seconds; null when the portal does not say. */
+    readonly uploadedAt: number | null;
+}
+/** One submission, as the portal shows it to its author. */
+export interface SubmissionView {
+    readonly id: number;
+    readonly status: string;
+    readonly title: string | null;
+    readonly paperType: string | null;
+    readonly topics: readonly string[];
+    readonly abstract: string | null;
+    /** The PDF the portal holds; null when none is uploaded. */
+    readonly pdf: PortalDocument | null;
+    /** Unix seconds; null when not submitted or not said. */
+    readonly submittedAt: number | null;
+    readonly modifiedAt: number | null;
+    /** What the portal said beside the answer. */
+    readonly messages: readonly PortalMessage[];
+}
+/** A change to send. Every absent part is left as the portal has it. */
+export interface SubmissionChange {
+    readonly pdf: {
+        readonly name: string;
+        readonly bytes: Uint8Array;
+    } | null;
+    readonly abstract: string | null;
+    /** Mark the submission submitted (ready for review). */
+    readonly submit: boolean;
+}
+/** One message from the portal: its text, and the field it is about when it names one. */
+export interface PortalMessage {
+    readonly message: string;
+    readonly field: string | null;
+    /** The portal's severity number, when it gives one. */
+    readonly status: number | null;
+}
+/** What the portal answered to a change. */
+export interface UpdateOutcome {
+    readonly httpStatus: number;
+    /** The change is valid; for a saved change, it was also committed. */
+    readonly valid: boolean;
+    /** The fields the change touched. */
+    readonly changes: readonly string[];
+    readonly messages: readonly PortalMessage[];
+    /** The portal reports that nothing was saved. */
+    readonly dryRun: boolean;
+}
+/** Why the portal gave no usable answer. */
+export type PortalFailure = {
+    readonly kind: "refused";
+    readonly httpStatus: number;
+    readonly messages: readonly PortalMessage[];
+} | {
+    readonly kind: "unreachable";
+    readonly detail: string;
+} | {
+    readonly kind: "malformed";
+    readonly httpStatus: number;
+    readonly detail: string;
+};
+/** Words in a text, as a reader counts them: runs of non-space. Pure. */
+export declare const wordCount: (s: string) => number;
+//# sourceMappingURL=submission.d.ts.map

package/dist/domain/submission.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"submission.d.ts","sourceRoot":"","sources":["../../src/domain/submission.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AAEnD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,iFAAiF;AACjF,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;AAClC,eAAO,MAAM,YAAY,EAAE,SAAS,UAAU,EAAe,CAAC;AAE9D,kGAAkG;AAClG,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,4DAA4D;IAC5D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,0CAA0C;AAC1C,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAKD,6FAA6F;AAC7F,wBAAgB,eAAe,CAC7B,CAAC,EAAE,WAAW,GACb,MAAM,CAAC,eAAe,EAAE,MAAM,CAAC,CAIjC;AAED,sFAAsF;AACtF,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED,wGAAwG;AACxG,wBAAgB,oBAAoB,CAClC,CAAC,EAAE,OAAO,GACT,MAAM,CAAC,eAAe,GAAG,IAAI,EAAE,MAAM,CAAC,CAaxC;AAED,iDAAiD;AACjD,MAAM,WAAW,cAAc;IAC7B,uFAAuF;IACvF,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,uDAAuD;IACvD,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CACpC;AAED,4DAA4D;AAC5D,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,4DAA4D;IAC5D,QAAQ,CAAC,GAAG,EAAE,cAAc,GAAG,IAAI,CAAC;IACpC,yDAAyD;IACzD,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,8CAA8C;IAC9C,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;CAC7C;AAED,wEAAwE;AACxE,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,GAAG,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;KAAE,GAAG,IAAI,CAAC;IAC3E,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,wDAAwD;IACxD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED,0FAA0F;AAC1F,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,uDAAuD;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAED,4CAA4C;AAC5C,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,sEAAsE;IACtE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,qCAAqC;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;IAC5C,iDAAiD;IACjD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED,4CAA4C;AAC5C,MAAM,MAAM,aAAa,GACrB;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;CAC7C,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACzD;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEN,yEAAyE;AACzE,eAAO,MAAM,SAAS,GAAI,GAAG,MAAM,KAAG,MACS,CAAC"}

package/dist/domain/submission.js

@@ -0,0 +1,39 @@
+/**
+ * THE SUBMISSION ON A CONFERENCE PORTAL — what `paperlint submission` reads and changes.
+ *
+ * Two declarations, each in the file that owns the fact:
+ *
+ *   venue preset `portal`        where the venue takes submissions: `{ "kind": "hotcrp", "url": … }`
+ *   paper `submission`           which submission on that portal is this paper's: `{ "id": 7 }`
+ *
+ * The values here are the portal's answers in paperlint's words, not in any one portal's: an adapter
+ * per portal kind maps its API onto them (`src/adapters/hotcrp/`).
+ */
+import { err, ok } from "./result.js";
+import { isRecord } from "./record.js";
+export const PORTAL_KINDS = ["hotcrp"];
+const isPortalKind = (k) => PORTAL_KINDS.some((x) => x === k);
+/** The declared portal → one paperlint can talk to, or the refusal naming the kind. Pure. */
+export function supportedPortal(p) {
+    return isPortalKind(p.kind)
+        ? ok({ kind: p.kind, url: p.url.replace(/\/+$/, "") })
+        : err(`portal kind "${p.kind}" is not supported; upload by hand`);
+}
+/** A paper's `submission` key → the value, null when absent, or one line saying what is wrong. Pure. */
+export function parsePaperSubmission(v) {
+    if (v === undefined)
+        return ok(null);
+    const bad = err(`"submission" must be { "id": <the submission number on the venue's portal> }`);
+    if (!isRecord(v))
+        return bad;
+    const unknown = Object.keys(v).find((k) => k !== "id");
+    if (unknown !== undefined)
+        return err(`"submission" has an unknown key "${unknown}" — known: id`);
+    const id = v["id"];
+    return typeof id === "number" && Number.isInteger(id) && id > 0
+        ? ok({ id })
+        : bad;
+}
+/** Words in a text, as a reader counts them: runs of non-space. Pure. */
+export const wordCount = (s) => s.split(/\s+/).filter((w) => w !== "").length;
+//# sourceMappingURL=submission.js.map

package/dist/domain/submission.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"submission.js","sourceRoot":"","sources":["../../src/domain/submission.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAKvC,MAAM,CAAC,MAAM,YAAY,GAA0B,CAAC,QAAQ,CAAC,CAAC;AAe9D,MAAM,YAAY,GAAG,CAAC,CAAS,EAAmB,EAAE,CAClD,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAEpC,6FAA6F;AAC7F,MAAM,UAAU,eAAe,CAC7B,CAAc;IAEd,OAAO,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;QACzB,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC;QACtD,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,IAAI,oCAAoC,CAAC,CAAC;AACtE,CAAC;AAOD,wGAAwG;AACxG,MAAM,UAAU,oBAAoB,CAClC,CAAU;IAEV,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,GAAG,CACb,8EAA8E,CAC/E,CAAC;IACF,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,CAAC;IAC7B,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IACvD,IAAI,OAAO,KAAK,SAAS;QACvB,OAAO,GAAG,CAAC,oCAAoC,OAAO,eAAe,CAAC,CAAC;IACzE,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACnB,OAAO,OAAO,EAAE,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC;QAC7D,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;QACZ,CAAC,CAAC,GAAG,CAAC;AACV,CAAC;AAyED,yEAAyE;AACzE,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAS,EAAU,EAAE,CAC7C,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC"}

package/dist/domain/tex-document.d.ts

@@ -144,4 +144,36 @@ export interface LayoutOverride {
     readonly command: string;
     readonly place: Place;
 }
+/**
+ * What stands in a heading's text for something the reader sees and the case judge does not read —
+ * math, code, a citation, any command whose text is not plain: one character no title contains.
+ */
+export declare const OPAQUE = "\uFFFC";
+/**
+ * What stands in a heading's text for a forced line break (`\\`, `\newline`, `\linebreak`): one
+ * character no title contains. A title broken over two lines is two parts — a title and its
+ * subtitle — so the case judge reads the word after it as a start, like the word after a dash.
+ */
+export declare const LINE_BREAK = "\u2028";
+/** The headings whose title a venue sets in a case style. */
+export type HeadingLevel = "section" | "subsection" | "subsubsection" | "paragraph" | "subparagraph";
+/** Which command a title belongs to: the paper's own `\title`, or a heading at its level. */
+export type TitledCommand = {
+    readonly kind: "title";
+} | {
+    readonly kind: "heading";
+    readonly level: HeadingLevel;
+};
+/** Which argument of the command: the title, or the optional short title in brackets. */
+export type TitleArgument = "title" | "short";
+/**
+ * One title as the case judge reads it — the paper's or a heading's: its text, each character with
+ * the source offset it came from, and `OPAQUE` where something it does not read stands. A label, a
+ * footnote and a comment are not in it; a title with nothing else has no `TitledHeading`.
+ */
+export interface TitledHeading {
+    readonly command: TitledCommand;
+    readonly argument: TitleArgument;
+    readonly title: TextRun;
+}
 //# sourceMappingURL=tex-document.d.ts.map

package/dist/domain/tex-document.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tex-document.d.ts","sourceRoot":"","sources":["../../src/domain/tex-document.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,oDAAoD;AACpD,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,oFAAoF;AACpF,MAAM,MAAM,KAAK,GACf;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AAE/E,mGAAmG;AACnG,eAAO,MAAM,QAAQ,GAAI,GAAG,MAAM,KAAG,MACM,CAAC;AAE5C,iFAAiF;AACjF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,uFAAuF;AACvF,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GAAG,aAAa,CAAC,CAAC;AAExE;;;;GAIG;AACH,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B,cAAc,GACd;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,SAAS;QAC5B,cAAc;QACd,cAAc;QACd,GAAG,cAAc,EAAE;KACpB,CAAC;CACH,CAAC;AAEN,sFAAsF;AACtF,eAAO,MAAM,cAAc,GACzB,KAAK,aAAa,EAClB,MAAM,aAAa,KAClB,SAAS,MAAM,EAA0D,CAAC;AAE7E,uGAAuG;AACvG,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,aAAa,CAAA;CAAE,CAAC;AAE7D;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,IAAI,EAAE,aAAa,EACnB,IAAI,EAAE,aAAa,GAClB,WAAW,CAMb;AAED,iGAAiG;AACjG,eAAO,MAAM,iBAAiB,GAAI,GAAG,aAAa,KAAG,MACiC,CAAC;AAEvF,iFAAiF;AACjF,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB;AAED,gGAAgG;AAChG,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,0FAA0F;IAC1F,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,oFAAoF;IACpF,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7B;AAED,6FAA6F;AAC7F,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED,gEAAgE;AAChE,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;CACrD;AAED,sBAAsB;AACtB,eAAO,MAAM,OAAO,GAAI,KAAK,OAAO,KAAG,MACG,CAAC;AAqB3C;;;GAGG;AACH,wBAAgB,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAI1E;AAED,4GAA4G;AAC5G,MAAM,MAAM,KAAK,GAAG,UAAU,GAAG,WAAW,CAAC;AAE7C;;;GAGG;AACH,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACtE;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAEzE,uGAAuG;AACvG,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC;CACzD;AAED,iFAAiF;AACjF,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,QAAQ,GAAG,WAAW,CAAC;AAE5D;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,QAAQ,CAAC;AAEjD;;;;GAIG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB"}
+{"version":3,"file":"tex-document.d.ts","sourceRoot":"","sources":["../../src/domain/tex-document.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,oDAAoD;AACpD,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,oFAAoF;AACpF,MAAM,MAAM,KAAK,GACf;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AAE/E,mGAAmG;AACnG,eAAO,MAAM,QAAQ,GAAI,GAAG,MAAM,KAAG,MACM,CAAC;AAE5C,iFAAiF;AACjF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,uFAAuF;AACvF,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACjD,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GAAG,aAAa,CAAC,CAAC;AAExE;;;;GAIG;AACH,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B,cAAc,GACd;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,SAAS;QAC5B,cAAc;QACd,cAAc;QACd,GAAG,cAAc,EAAE;KACpB,CAAC;CACH,CAAC;AAEN,sFAAsF;AACtF,eAAO,MAAM,cAAc,GACzB,KAAK,aAAa,EAClB,MAAM,aAAa,KAClB,SAAS,MAAM,EAA0D,CAAC;AAE7E,uGAAuG;AACvG,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,aAAa,CAAA;CAAE,CAAC;AAE7D;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,IAAI,EAAE,aAAa,EACnB,IAAI,EAAE,aAAa,GAClB,WAAW,CAMb;AAED,iGAAiG;AACjG,eAAO,MAAM,iBAAiB,GAAI,GAAG,aAAa,KAAG,MACiC,CAAC;AAEvF,iFAAiF;AACjF,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB;AAED,gGAAgG;AAChG,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,0FAA0F;IAC1F,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,oFAAoF;IACpF,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7B;AAED,6FAA6F;AAC7F,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED,gEAAgE;AAChE,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;CACrD;AAED,sBAAsB;AACtB,eAAO,MAAM,OAAO,GAAI,KAAK,OAAO,KAAG,MACG,CAAC;AAqB3C;;;GAGG;AACH,wBAAgB,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAI1E;AAED,4GAA4G;AAC5G,MAAM,MAAM,KAAK,GAAG,UAAU,GAAG,WAAW,CAAC;AAE7C;;;GAGG;AACH,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACtE;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAEzE,uGAAuG;AACvG,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC;CACzD;AAED,iFAAiF;AACjF,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,QAAQ,GAAG,WAAW,CAAC;AAE5D;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,QAAQ,CAAC;AAEjD;;;;GAIG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB;AAED;;;GAGG;AACH,eAAO,MAAM,MAAM,WAAM,CAAC;AAE1B;;;;GAIG;AACH,eAAO,MAAM,UAAU,WAAW,CAAC;AAEnC,6DAA6D;AAC7D,MAAM,MAAM,YAAY,GACtB,SAAS,GAAG,YAAY,GAAG,eAAe,GAAG,WAAW,GAAG,cAAc,CAAC;AAE5E,6FAA6F;AAC7F,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;CAAE,CAAC;AAE/D,yFAAyF;AACzF,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,OAAO,CAAC;AAE9C;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB"}