@intentset/architecture 0.1.0

package/dist/exceptions.js

@@ -0,0 +1,233 @@
+/**
+ * Exception records (VSA §9). A record names one rule and the exact paths or
+ * edges it tolerates, with rationale, accountable owner, approver, creation
+ * and expiry dates and a remediation issue. Records live one per file in
+ * `architecture/exceptions/*.yaml` (profile §1), or are handed in.
+ *
+ * A diagnostic a current record covers is kept, never hidden: it becomes a
+ * warning whose message says which exception covers it and until when, so a
+ * report built on it reads "with exceptions" rather than as a pass (Core
+ * §11). An expired record is itself an error, VSA013, and what it covered
+ * stays an error. A record that is malformed is VSA013 and covers nothing; a
+ * current record that covers nothing is a VSA013 warning, so retired
+ * violations retire their exceptions too.
+ */
+import { ID_PATTERN, parseYamlDetailed } from "@intentset/core";
+import { finding } from "./finding.js";
+import { compareStrings, matchPattern, validatePattern } from "./patterns.js";
+export const EXCEPTIONS_PATTERNS = ["architecture/exceptions/*.yaml", "architecture/exceptions/*.yml"];
+const TEXT_FIELDS = ["id", "rule", "rationale", "owner", "approver", "created", "expires", "remediation"];
+const KNOWN_FIELDS = [...TEXT_FIELDS, "paths", "edges"];
+const DATE = /^(\d{4})-(\d{2})-(\d{2})$/;
+const CODE = /^[A-Z]+[0-9]{3}$/;
+function isDate(text) {
+    const match = DATE.exec(text);
+    if (match === null)
+        return false;
+    const date = new Date(Date.UTC(Number(match[1]), Number(match[2]) - 1, Number(match[3])));
+    return date.toISOString().slice(0, 10) === text;
+}
+/** Validate one record. Returns the record, or the problems that keep it from covering anything. */
+export function readExceptionRecord(value, source, lines = new Map()) {
+    const findings = [];
+    const fail = (field, message) => {
+        const line = field === undefined ? undefined : lines.get(field);
+        findings.push(finding({
+            code: "VSA013",
+            artifact: null,
+            path: source,
+            ...(line !== undefined ? { location: { line } } : {}),
+            ...(field !== undefined ? { field } : {}),
+            message,
+            remediation: "An exception records id, rule, paths or edges, rationale, owner, approver, created, expires and remediation (VSA §9).",
+        }));
+    };
+    if (typeof value !== "object" || value === null || Array.isArray(value)) {
+        fail(undefined, "The exception record is not a mapping.");
+        return { record: null, findings };
+    }
+    const map = value;
+    for (const key of Object.keys(map).sort(compareStrings)) {
+        if (!KNOWN_FIELDS.includes(key))
+            fail(`/${key}`, `The exception record has the unknown key \`${key}\`.`);
+    }
+    for (const key of TEXT_FIELDS) {
+        if (typeof map[key] !== "string" || map[key].trim() === "") {
+            fail(`/${key}`, `The exception record has no \`${key}\`.`);
+        }
+    }
+    const text = (key) => (typeof map[key] === "string" ? map[key] : "");
+    if (text("id") !== "" && !ID_PATTERN.test(text("id")))
+        fail("/id", `The exception id ${text("id")} does not match the ID pattern.`);
+    if (text("rule") !== "" && !CODE.test(text("rule")))
+        fail("/rule", `The exception rule ${text("rule")} is not a diagnostic code.`);
+    for (const key of ["created", "expires"]) {
+        if (text(key) !== "" && !isDate(text(key)))
+            fail(`/${key}`, `The exception's ${key} date ${text(key)} is not a quoted YYYY-MM-DD date.`);
+    }
+    if (isDate(text("created")) && isDate(text("expires")) && text("expires") < text("created")) {
+        fail("/expires", `The exception expires on ${text("expires")}, before it was created on ${text("created")}.`);
+    }
+    const paths = [];
+    if (map.paths !== undefined && map.paths !== null) {
+        if (!Array.isArray(map.paths))
+            fail("/paths", "The exception's paths is not a list.");
+        else
+            map.paths.forEach((item, i) => {
+                const why = typeof item === "string" ? validatePattern(item) : "is not a string";
+                if (why !== null)
+                    fail(`/paths/${i}`, `Exception path ${i} ${why}.`);
+                else
+                    paths.push(item);
+            });
+    }
+    const edges = [];
+    if (map.edges !== undefined && map.edges !== null) {
+        if (!Array.isArray(map.edges))
+            fail("/edges", "The exception's edges is not a list.");
+        else
+            map.edges.forEach((item, i) => {
+                const edge = item;
+                if (typeof edge !== "object" || edge === null || typeof edge.from !== "string" || typeof edge.to !== "string") {
+                    fail(`/edges/${i}`, `Exception edge ${i} is not a mapping with from and to.`);
+                }
+                else
+                    edges.push({ from: edge.from, to: edge.to });
+            });
+    }
+    if (paths.length === 0 && edges.length === 0) {
+        fail("/paths", "The exception names no exact paths or edges, and an exception is never a blanket waiver.");
+    }
+    if (findings.length > 0)
+        return { record: null, findings };
+    return {
+        record: {
+            id: text("id"),
+            rule: text("rule"),
+            paths,
+            edges,
+            rationale: text("rationale"),
+            owner: text("owner"),
+            approver: text("approver"),
+            created: text("created"),
+            expires: text("expires"),
+            remediation: text("remediation"),
+            source,
+        },
+        findings,
+    };
+}
+/** Every exception file in the tree, read with core's strict YAML reader. */
+export function readExceptions(files) {
+    const records = [];
+    const findings = [];
+    for (const path of [...files.keys()].sort(compareStrings)) {
+        if (!EXCEPTIONS_PATTERNS.some((pattern) => matchPattern(pattern, path)))
+            continue;
+        const parsed = parseYamlDetailed(files.get(path));
+        if (parsed.error !== null) {
+            findings.push(finding({
+                code: "VSA013",
+                artifact: null,
+                path,
+                location: { line: parsed.error.line },
+                message: `The exception file does not parse: ${parsed.error.message}`,
+                remediation: "Write the exception as one block mapping (VSA §9).",
+            }));
+            continue;
+        }
+        const read = readExceptionRecord(parsed.value, path, parsed.lines);
+        findings.push(...read.findings);
+        if (read.record !== null)
+            records.push(read.record);
+    }
+    return { records, findings };
+}
+/** Does the record name this finding's rule and one of its exact paths or edges? */
+export function covers(record, target) {
+    if (record.rule !== target.diagnostic.code)
+        return false;
+    if (record.paths.some((pattern) => target.paths.some((path) => matchPattern(pattern, path))))
+        return true;
+    return record.edges.some((edge) => target.edges.some((other) => other.from === edge.from && other.to === edge.to));
+}
+/** Put a note in parentheses before a message's final period. */
+export function annotate(message, note) {
+    return message.endsWith(".") ? `${message.slice(0, -1)} (${note}).` : `${message} (${note})`;
+}
+/**
+ * Apply exceptions on a given date (YYYY-MM-DD). Returns the findings with
+ * covered ones rewritten, the VSA013 findings about the records themselves,
+ * and how many diagnostics a current exception covers.
+ */
+export function applyExceptions(findings, records, today) {
+    const recordFindings = [];
+    const seen = new Map();
+    const usable = [];
+    for (const record of [...records].sort((a, b) => compareStrings(a.id, b.id) || compareStrings(a.source ?? "", b.source ?? ""))) {
+        const earlier = seen.get(record.id);
+        if (earlier !== undefined) {
+            recordFindings.push(finding({
+                code: "VSA013",
+                artifact: null,
+                path: record.source,
+                field: "/id",
+                message: `Exception ${record.id} is recorded twice, here and in ${earlier.source ?? "the records handed in"}.`,
+                remediation: "Keep one record per exception ID; IDs are never reused (VSA §9).",
+            }));
+            continue;
+        }
+        seen.set(record.id, record);
+        usable.push(record);
+    }
+    let excepted = 0;
+    const used = new Set();
+    const out = findings.map((item) => {
+        const record = usable.find((candidate) => covers(candidate, item));
+        if (record === undefined)
+            return item;
+        used.add(record.id);
+        if (record.expires < today) {
+            return {
+                ...item,
+                diagnostic: {
+                    ...item.diagnostic,
+                    message: annotate(item.diagnostic.message, `exception ${record.id} expired ${record.expires}`),
+                },
+            };
+        }
+        excepted++;
+        return {
+            ...item,
+            diagnostic: {
+                ...item.diagnostic,
+                severity: "warning",
+                message: annotate(item.diagnostic.message, `excepted by ${record.id} until ${record.expires}`),
+            },
+        };
+    });
+    for (const record of usable) {
+        if (record.expires < today) {
+            recordFindings.push(finding({
+                code: "VSA013",
+                artifact: null,
+                path: record.source,
+                field: "/expires",
+                message: `Exception ${record.id} for ${record.rule} expired on ${record.expires}, so what it covered is an error again.`,
+                remediation: `Fix the violation tracked by ${record.remediation}, or have ${record.approver} renew the exception with a new expiry (VSA §9).`,
+            }));
+        }
+        else if (!used.has(record.id)) {
+            recordFindings.push(finding({
+                code: "VSA013",
+                severity: "warning",
+                artifact: null,
+                path: record.source,
+                message: `Exception ${record.id} for ${record.rule} covers no current diagnostic.`,
+                remediation: "Remove the record; the violation it tolerated is gone (VSA §9).",
+            }));
+        }
+    }
+    return { findings: out, excepted, recordFindings };
+}
+//# sourceMappingURL=exceptions.js.map

package/dist/exceptions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exceptions.js","sourceRoot":"","sources":["../src/exceptions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAChE,OAAO,EAAgB,OAAO,EAAoB,MAAM,cAAc,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAE9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,gCAAgC,EAAE,+BAA+B,CAAC,CAAC;AAmBvG,MAAM,WAAW,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,CAAU,CAAC;AACnH,MAAM,YAAY,GAAG,CAAC,GAAG,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AACxD,MAAM,IAAI,GAAG,2BAA2B,CAAC;AACzC,MAAM,IAAI,GAAG,kBAAkB,CAAC;AAEhC,SAAS,MAAM,CAAC,IAAY;IAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1F,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC;AAClD,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,mBAAmB,CACjC,KAAc,EACd,MAAqB,EACrB,KAAK,GAAgC,IAAI,GAAG,EAAE;IAE9C,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,CAAC,KAAyB,EAAE,OAAe,EAAE,EAAE;QAC1D,MAAM,IAAI,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChE,QAAQ,CAAC,IAAI,CACX,OAAO,CAAC;YACN,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,MAAM;YACZ,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrD,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,OAAO;YACP,WAAW,EACT,uHAAuH;SAC1H,CAAC,CACH,CAAC;IACJ,CAAC,CAAC;IACF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,IAAI,CAAC,SAAS,EAAE,wCAAwC,CAAC,CAAC;QAC1D,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACpC,CAAC;IACD,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QACxD,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,IAAI,GAAG,EAAE,EAAE,8CAA8C,GAAG,KAAK,CAAC,CAAC;IAC3G,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,IAAI,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,QAAQ,IAAK,GAAG,CAAC,GAAG,CAAY,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACvE,IAAI,CAAC,IAAI,GAAG,EAAE,EAAE,iCAAiC,GAAG,KAAK,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAiC,EAAE,EAAE,CAAC,CAAC,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,GAAG,CAAC,GAAG,CAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC/G,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,CAAC,KAAK,EAAE,oBAAoB,IAAI,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC/E,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,IAAI,CAAC,OAAO,EAAE,sBAAsB,IAAI,CAAC,MAAM,CAAC,4BAA4B,CAAC,CAAC;IAChF,KAAK,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,SAAS,CAAU,EAAE,CAAC;QAClD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACxC,IAAI,CAAC,IAAI,GAAG,EAAE,EAAE,mBAAmB,GAAG,SAAS,IAAI,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5F,IAAI,CAAC,UAAU,EAAE,4BAA4B,IAAI,CAAC,SAAS,CAAC,8BAA8B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAChH,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAClD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,sCAAsC,CAAC,CAAC;;YAEpF,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;gBAC5B,MAAM,GAAG,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC;gBACjF,IAAI,GAAG,KAAK,IAAI;oBAAE,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,kBAAkB,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC;;oBAChE,KAAK,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC;YAClC,CAAC,CAAC,CAAC;IACP,CAAC;IACD,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAClD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,sCAAsC,CAAC,CAAC;;YAEpF,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;gBAC5B,MAAM,IAAI,GAAG,IAAsC,CAAC;gBACpD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;oBAC9G,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,kBAAkB,CAAC,qCAAqC,CAAC,CAAC;gBAChF,CAAC;;oBAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YACtD,CAAC,CAAC,CAAC;IACP,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7C,IAAI,CAAC,QAAQ,EAAE,0FAA0F,CAAC,CAAC;IAC7G,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC3D,OAAO;QACL,MAAM,EAAE;YACN,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;YAClB,KAAK;YACL,KAAK;YACL,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC;YAC5B,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC;YACpB,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC;YAC1B,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC;YACxB,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC;YACxB,WAAW,EAAE,IAAI,CAAC,aAAa,CAAC;YAChC,MAAM;SACP;QACD,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,cAAc,CAAC,KAAkC;IAI/D,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QAC1D,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAAE,SAAS;QAClF,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAW,CAAC,CAAC;QAC5D,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CACX,OAAO,CAAC;gBACN,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,IAAI;gBACd,IAAI;gBACJ,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE;gBACrC,OAAO,EAAE,sCAAsC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE;gBACrE,WAAW,EAAE,oDAAoD;aAClE,CAAC,CACH,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,mBAAmB,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACnE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,MAAM,CAAC,MAAuB,EAAE,MAAe;IAC7D,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,UAAU,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACzD,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1G,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AACrH,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,QAAQ,CAAC,OAAe,EAAE,IAAY;IACpD,OAAO,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,KAAK,IAAI,GAAG,CAAC;AAC/F,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAC7B,QAA4B,EAC5B,OAAmC,EACnC,KAAa;IAEb,MAAM,cAAc,GAAc,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAA2B,CAAC;IAChD,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CACpC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CACvF,EAAE,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACpC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,cAAc,CAAC,IAAI,CACjB,OAAO,CAAC;gBACN,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,MAAM,CAAC,MAAM;gBACnB,KAAK,EAAE,KAAK;gBACZ,OAAO,EAAE,aAAa,MAAM,CAAC,EAAE,mCAAmC,OAAO,CAAC,MAAM,IAAI,uBAAuB,GAAG;gBAC9G,WAAW,EAAE,kEAAkE;aAChF,CAAC,CACH,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IAED,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAChC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;QACnE,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACtC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACpB,IAAI,MAAM,CAAC,OAAO,GAAG,KAAK,EAAE,CAAC;YAC3B,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE;oBACV,GAAG,IAAI,CAAC,UAAU;oBAClB,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,aAAa,MAAM,CAAC,EAAE,YAAY,MAAM,CAAC,OAAO,EAAE,CAAC;iBAC/F;aACF,CAAC;QACJ,CAAC;QACD,QAAQ,EAAE,CAAC;QACX,OAAO;YACL,GAAG,IAAI;YACP,UAAU,EAAE;gBACV,GAAG,IAAI,CAAC,UAAU;gBAClB,QAAQ,EAAE,SAAkB;gBAC5B,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,eAAe,MAAM,CAAC,EAAE,UAAU,MAAM,CAAC,OAAO,EAAE,CAAC;aAC/F;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,MAAM,CAAC,OAAO,GAAG,KAAK,EAAE,CAAC;YAC3B,cAAc,CAAC,IAAI,CACjB,OAAO,CAAC;gBACN,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,MAAM,CAAC,MAAM;gBACnB,KAAK,EAAE,UAAU;gBACjB,OAAO,EAAE,aAAa,MAAM,CAAC,EAAE,QAAQ,MAAM,CAAC,IAAI,eAAe,MAAM,CAAC,OAAO,yCAAyC;gBACxH,WAAW,EAAE,gCAAgC,MAAM,CAAC,WAAW,aAAa,MAAM,CAAC,QAAQ,kDAAkD;aAC9I,CAAC,CACH,CAAC;QACJ,CAAC;aAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,cAAc,CAAC,IAAI,CACjB,OAAO,CAAC;gBACN,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,SAAS;gBACnB,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,MAAM,CAAC,MAAM;gBACnB,OAAO,EAAE,aAAa,MAAM,CAAC,EAAE,QAAQ,MAAM,CAAC,IAAI,gCAAgC;gBAClF,WAAW,EAAE,iEAAiE;aAC/E,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC;AACrD,CAAC"}

package/dist/extract.d.ts

@@ -0,0 +1,24 @@
+export interface RawImport {
+    specifier: string;
+    /** 1-based line of the specifier. */
+    line: number;
+    /** `import type`, `export type`, every named specifier marked `type`, or `typeof import("x")`. */
+    typeOnly: boolean;
+    /** `import("x")` or `require("x")`. */
+    dynamic: boolean;
+    /** `export ... from "x"`. */
+    reexport: boolean;
+    /** `export * from "x"` or `export * as ns from "x"`. */
+    wildcard: boolean;
+}
+export interface ExtractProblem {
+    line: number;
+    message: string;
+}
+export interface Extraction {
+    imports: RawImport[];
+    problems: ExtractProblem[];
+}
+/** Extract every module reference from one file. */
+export declare function extractImports(path: string, text: string): Extraction;
+//# sourceMappingURL=extract.d.ts.map

package/dist/extract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extract.d.ts","sourceRoot":"","sources":["../src/extract.ts"],"names":[],"mappings":"AA2BA,MAAM,WAAW,SAAS;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,kGAAkG;IAClG,QAAQ,EAAE,OAAO,CAAC;IAClB,uCAAuC;IACvC,OAAO,EAAE,OAAO,CAAC;IACjB,6BAA6B;IAC7B,QAAQ,EAAE,OAAO,CAAC;IAClB,wDAAwD;IACxD,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,QAAQ,EAAE,cAAc,EAAE,CAAC;CAC5B;AAyID,oDAAoD;AACpD,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CA4JrE"}

package/dist/extract.js

@@ -0,0 +1,316 @@
+/**
+ * Every module reference in one TypeScript or JavaScript file (profile TS004:
+ * type-only imports, dynamic imports and re-exports all count).
+ *
+ * TypeScript 7 ships its parser inside the native compiler and exposes no
+ * in-process `createSourceFile`; what it does ship in JavaScript is the
+ * scanner. So this module tokenizes with TypeScript's own scanner, which is
+ * what gets strings, comments, template literals and regular expressions
+ * right, and recognizes the handful of declaration shapes that carry a module
+ * specifier over the token stream:
+ *
+ *   import d, { a, type B } from "x"     import type { A } from "x"
+ *   import "x"                           import X = require("x")
+ *   export { a } from "x"                export type { A } from "x"
+ *   export * from "x"                    export * as ns from "x"
+ *   import("x")                          require("x")
+ *
+ * The scanner leaves two decisions to its parser: whether `/` starts a
+ * regular expression, and whether `}` resumes a template literal. Both are
+ * made here from the preceding token and a stack of template brace depths.
+ * Anything this module cannot read is returned as a problem, never dropped:
+ * a dynamic import with a computed specifier, or a token the scanner could
+ * not terminate (invariant 6).
+ */
+import { LanguageVariant, SyntaxKind } from "typescript/unstable/ast";
+import { computeLineStarts, createScanner, tokenIsIdentifierOrKeyword } from "typescript/unstable/ast/scanner";
+/** Keywords after which `/` begins a regular expression rather than a division. */
+const REGEX_AFTER_WORD = new Set([
+    "return",
+    "typeof",
+    "case",
+    "in",
+    "of",
+    "delete",
+    "void",
+    "throw",
+    "new",
+    "else",
+    "do",
+    "instanceof",
+    "yield",
+    "await",
+]);
+const VALUE_ENDING = new Set([
+    SyntaxKind.NumericLiteral,
+    SyntaxKind.BigIntLiteral,
+    SyntaxKind.StringLiteral,
+    SyntaxKind.RegularExpressionLiteral,
+    SyntaxKind.NoSubstitutionTemplateLiteral,
+    SyntaxKind.TemplateTail,
+    SyntaxKind.CloseParenToken,
+    SyntaxKind.CloseBracketToken,
+    SyntaxKind.CloseBraceToken,
+    SyntaxKind.PlusPlusToken,
+    SyntaxKind.MinusMinusToken,
+]);
+function regexAllowed(previous) {
+    if (previous === undefined)
+        return true;
+    if (VALUE_ENDING.has(previous.kind))
+        return false;
+    if (tokenIsIdentifierOrKeyword(previous.kind))
+        return REGEX_AFTER_WORD.has(previous.text);
+    return true;
+}
+function isJsx(path) {
+    return path.endsWith(".tsx") || path.endsWith(".jsx");
+}
+function tokenize(path, text) {
+    const jsx = isJsx(path);
+    const scanner = createScanner(true, jsx ? LanguageVariant.JSX : LanguageVariant.Standard, text);
+    const starts = computeLineStarts(text);
+    const lineOf = (position) => {
+        let low = 0;
+        let high = starts.length - 1;
+        while (low < high) {
+            const mid = (low + high + 1) >> 1;
+            if (starts[mid] <= position)
+                low = mid;
+            else
+                high = mid - 1;
+        }
+        return low + 1;
+    };
+    const tokens = [];
+    const problems = [];
+    /** Open brace depth inside each `${` of an unfinished template literal. */
+    const templates = [];
+    let previous;
+    let lastEnd = -1;
+    for (;;) {
+        let kind = scanner.scan();
+        if (kind === SyntaxKind.EndOfFile)
+            break;
+        // TypeScript 7's scanner can return a token without advancing: JSX text
+        // such as `#{n}` scans as an empty private identifier at the `#`, forever.
+        // A token that ends where the last one did makes no progress, so step over
+        // one character. In JSX that costs nothing, since no import is written in
+        // JSX text; anywhere else it is reported, because something was skipped.
+        if (scanner.getTokenEnd() <= lastEnd) {
+            if (!jsx) {
+                problems.push({
+                    line: lineOf(lastEnd),
+                    message: "the scanner could not advance here, so one character was skipped",
+                });
+            }
+            lastEnd++;
+            scanner.resetTokenState(lastEnd);
+            continue;
+        }
+        lastEnd = scanner.getTokenEnd();
+        if ((kind === SyntaxKind.SlashToken || kind === SyntaxKind.SlashEqualsToken) && regexAllowed(previous)) {
+            kind = scanner.reScanSlashToken();
+        }
+        else if (kind === SyntaxKind.OpenBraceToken && templates.length > 0) {
+            templates[templates.length - 1]++;
+        }
+        else if (kind === SyntaxKind.CloseBraceToken && templates.length > 0) {
+            if (templates[templates.length - 1] === 0) {
+                kind = scanner.reScanTemplateToken(false);
+                if (kind === SyntaxKind.TemplateTail)
+                    templates.pop();
+            }
+            else
+                templates[templates.length - 1]--;
+        }
+        if (kind === SyntaxKind.TemplateHead)
+            templates.push(0);
+        const line = lineOf(scanner.getTokenStart());
+        if (scanner.isUnterminated()) {
+            // In JSX, text such as `Don't` scans as a string that runs to the end of its line and no further;
+            // it costs at most that line, and no import is written inside JSX text.
+            if (!(jsx && kind === SyntaxKind.StringLiteral)) {
+                problems.push({ line, message: `the scanner could not terminate a ${describe(kind)} that starts here` });
+            }
+        }
+        const token = { kind, text: scanner.getTokenText(), value: scanner.getTokenValue(), line };
+        tokens.push(token);
+        previous = token;
+    }
+    if (templates.length > 0) {
+        problems.push({ line: previous?.line ?? 1, message: "a template literal is still open at the end of the file" });
+    }
+    return { tokens, problems };
+}
+function describe(kind) {
+    switch (kind) {
+        case SyntaxKind.StringLiteral:
+            return "string literal";
+        case SyntaxKind.RegularExpressionLiteral:
+            return "regular expression";
+        case SyntaxKind.NoSubstitutionTemplateLiteral:
+        case SyntaxKind.TemplateHead:
+        case SyntaxKind.TemplateMiddle:
+        case SyntaxKind.TemplateTail:
+            return "template literal";
+        default:
+            return "token";
+    }
+}
+/** Extract every module reference from one file. */
+export function extractImports(path, text) {
+    const { tokens, problems } = tokenize(path, text);
+    const imports = [];
+    const consumed = new Set();
+    const word = (i, text) => {
+        const token = tokens[i];
+        return token !== undefined && tokenIsIdentifierOrKeyword(token.kind) && (text === undefined || token.text === text);
+    };
+    const is = (i, kind) => tokens[i]?.kind === kind;
+    const isString = (i) => is(i, SyntaxKind.StringLiteral);
+    const isLiteral = (i) => isString(i) || is(i, SyntaxKind.NoSubstitutionTemplateLiteral);
+    const afterDot = (i) => is(i - 1, SyntaxKind.DotToken) || is(i - 1, SyntaxKind.QuestionDotToken);
+    const add = (i, fields) => {
+        imports.push({ specifier: tokens[i].value, line: tokens[i].line, ...fields });
+    };
+    /** Index of the token closing the bracket opened at i, or tokens.length. */
+    const closing = (i, open, close) => {
+        let depth = 0;
+        for (let k = i; k < tokens.length; k++) {
+            if (tokens[k].kind === open)
+                depth++;
+            else if (tokens[k].kind === close && --depth === 0)
+                return k;
+        }
+        return tokens.length;
+    };
+    /** Named elements between braces: true when every one is written `type X`. */
+    const allTyped = (open, close) => {
+        let count = 0;
+        let typed = 0;
+        let start = true;
+        for (let k = open + 1; k < close; k++) {
+            if (is(k, SyntaxKind.CommaToken)) {
+                start = true;
+                continue;
+            }
+            if (start) {
+                count++;
+                if (word(k, "type") && word(k + 1) && !word(k + 1, "as"))
+                    typed++;
+                start = false;
+            }
+        }
+        return count > 0 && typed === count;
+    };
+    /** A call such as `import(x)` or `require(x)` that is really a method declaration `import(x) { ... }`. */
+    const isMethod = (open) => is(closing(open, SyntaxKind.OpenParenToken, SyntaxKind.CloseParenToken) + 1, SyntaxKind.OpenBraceToken);
+    for (let i = 0; i < tokens.length; i++) {
+        if (consumed.has(i) || afterDot(i))
+            continue;
+        if (word(i, "import") && tokens[i].kind === SyntaxKind.ImportKeyword) {
+            if (is(i + 1, SyntaxKind.OpenParenToken)) {
+                if (isLiteral(i + 2) && (is(i + 3, SyntaxKind.CloseParenToken) || is(i + 3, SyntaxKind.CommaToken))) {
+                    add(i + 2, { typeOnly: word(i - 1, "typeof"), dynamic: true, reexport: false, wildcard: false });
+                }
+                else if (!is(i + 2, SyntaxKind.CloseParenToken) && !isMethod(i + 1)) {
+                    problems.push({
+                        line: tokens[i].line,
+                        message: "a dynamic import has a computed specifier, so its target cannot be known",
+                    });
+                }
+                continue;
+            }
+            if (is(i + 1, SyntaxKind.DotToken) ||
+                is(i + 1, SyntaxKind.ColonToken) ||
+                is(i + 1, SyntaxKind.CommaToken) ||
+                is(i + 1, SyntaxKind.CloseBraceToken) ||
+                is(i + 1, SyntaxKind.CloseParenToken)) {
+                continue;
+            }
+            let j = i + 1;
+            let typeOnly = false;
+            if (word(j, "type") &&
+                !is(j + 1, SyntaxKind.CommaToken) &&
+                !is(j + 1, SyntaxKind.EqualsToken) &&
+                !(word(j + 1, "from") && isString(j + 2))) {
+                typeOnly = true;
+                j++;
+            }
+            if (isString(j)) {
+                add(j, { typeOnly, dynamic: false, reexport: false, wildcard: false });
+                continue;
+            }
+            if (word(j) && is(j + 1, SyntaxKind.EqualsToken)) {
+                if (word(j + 2, "require") && is(j + 3, SyntaxKind.OpenParenToken) && isString(j + 4)) {
+                    add(j + 4, { typeOnly, dynamic: false, reexport: false, wildcard: false });
+                    consumed.add(j + 2);
+                }
+                continue;
+            }
+            // Default, namespace and named bindings, then `from "x"`.
+            let hasPlainBinding = false;
+            let typedNamed = false;
+            for (let k = j; k < tokens.length && k < j + 4096; k++) {
+                if (is(k, SyntaxKind.OpenBraceToken)) {
+                    const close = closing(k, SyntaxKind.OpenBraceToken, SyntaxKind.CloseBraceToken);
+                    typedNamed = allTyped(k, close);
+                    k = close;
+                    continue;
+                }
+                if (word(k, "from") && isString(k + 1)) {
+                    const typed = typeOnly || (typedNamed && !hasPlainBinding);
+                    add(k + 1, { typeOnly: typed, dynamic: false, reexport: false, wildcard: false });
+                    i = k + 1;
+                    break;
+                }
+                if (is(k, SyntaxKind.SemicolonToken) || word(k, "import") || word(k, "export"))
+                    break;
+                if (is(k, SyntaxKind.AsteriskToken) || (word(k) && !word(k, "as") && !is(k - 1, SyntaxKind.AsKeyword))) {
+                    hasPlainBinding = true;
+                }
+            }
+            continue;
+        }
+        if (word(i, "export") && tokens[i].kind === SyntaxKind.ExportKeyword) {
+            let j = i + 1;
+            let typeOnly = false;
+            if (word(j, "type") && (is(j + 1, SyntaxKind.OpenBraceToken) || is(j + 1, SyntaxKind.AsteriskToken))) {
+                typeOnly = true;
+                j++;
+            }
+            if (is(j, SyntaxKind.AsteriskToken)) {
+                let k = j + 1;
+                if (word(k, "as"))
+                    k += 2;
+                if (word(k, "from") && isString(k + 1)) {
+                    add(k + 1, { typeOnly, dynamic: false, reexport: true, wildcard: true });
+                    i = k + 1;
+                }
+                continue;
+            }
+            if (is(j, SyntaxKind.OpenBraceToken)) {
+                const close = closing(j, SyntaxKind.OpenBraceToken, SyntaxKind.CloseBraceToken);
+                if (word(close + 1, "from") && isString(close + 2)) {
+                    add(close + 2, { typeOnly: typeOnly || allTyped(j, close), dynamic: false, reexport: true, wildcard: false });
+                    i = close + 2;
+                }
+            }
+            continue;
+        }
+        if (word(i, "require") && is(i + 1, SyntaxKind.OpenParenToken) && !word(i - 1, "function")) {
+            if (isLiteral(i + 2) && is(i + 3, SyntaxKind.CloseParenToken)) {
+                add(i + 2, { typeOnly: false, dynamic: true, reexport: false, wildcard: false });
+            }
+            else if (!is(i + 2, SyntaxKind.CloseParenToken) && !isMethod(i + 1)) {
+                problems.push({
+                    line: tokens[i].line,
+                    message: "a require call has a computed specifier, so its target cannot be known",
+                });
+            }
+        }
+    }
+    return { imports, problems };
+}
+//# sourceMappingURL=extract.js.map

package/dist/extract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extract.js","sourceRoot":"","sources":["../src/extract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AAiC/G,mFAAmF;AACnF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IAC/B,QAAQ;IACR,QAAQ;IACR,MAAM;IACN,IAAI;IACJ,IAAI;IACJ,QAAQ;IACR,MAAM;IACN,OAAO;IACP,KAAK;IACL,MAAM;IACN,IAAI;IACJ,YAAY;IACZ,OAAO;IACP,OAAO;CACR,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,IAAI,GAAG,CAAa;IACvC,UAAU,CAAC,cAAc;IACzB,UAAU,CAAC,aAAa;IACxB,UAAU,CAAC,aAAa;IACxB,UAAU,CAAC,wBAAwB;IACnC,UAAU,CAAC,6BAA6B;IACxC,UAAU,CAAC,YAAY;IACvB,UAAU,CAAC,eAAe;IAC1B,UAAU,CAAC,iBAAiB;IAC5B,UAAU,CAAC,eAAe;IAC1B,UAAU,CAAC,aAAa;IACxB,UAAU,CAAC,eAAe;CAC3B,CAAC,CAAC;AAEH,SAAS,YAAY,CAAC,QAA2B;IAC/C,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAClD,IAAI,0BAA0B,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1F,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,KAAK,CAAC,IAAY;IACzB,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,IAAY;IAC1C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAChG,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,CAAC,QAAgB,EAAU,EAAE;QAC1C,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,IAAI,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;QAC7B,OAAO,GAAG,GAAG,IAAI,EAAE,CAAC;YAClB,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,QAAQ;gBAAE,GAAG,GAAG,GAAG,CAAC;;gBAClC,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC;QACtB,CAAC;QACD,OAAO,GAAG,GAAG,CAAC,CAAC;IACjB,CAAC,CAAC;IACF,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,2EAA2E;IAC3E,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,QAA2B,CAAC;IAChC,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,IAAI,KAAK,UAAU,CAAC,SAAS;YAAE,MAAM;QACzC,wEAAwE;QACxE,2EAA2E;QAC3E,2EAA2E;QAC3E,0EAA0E;QAC1E,yEAAyE;QACzE,IAAI,OAAO,CAAC,WAAW,EAAE,IAAI,OAAO,EAAE,CAAC;YACrC,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC;oBACrB,OAAO,EAAE,kEAAkE;iBAC5E,CAAC,CAAC;YACL,CAAC;YACD,OAAO,EAAE,CAAC;YACV,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC;QAChC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,IAAI,IAAI,KAAK,UAAU,CAAC,gBAAgB,CAAC,IAAI,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvG,IAAI,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC;QACpC,CAAC;aAAM,IAAI,IAAI,KAAK,UAAU,CAAC,cAAc,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtE,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QACpC,CAAC;aAAM,IAAI,IAAI,KAAK,UAAU,CAAC,eAAe,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvE,IAAI,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1C,IAAI,GAAG,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;gBAC1C,IAAI,IAAI,KAAK,UAAU,CAAC,YAAY;oBAAE,SAAS,CAAC,GAAG,EAAE,CAAC;YACxD,CAAC;;gBAAM,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QAC3C,CAAC;QACD,IAAI,IAAI,KAAK,UAAU,CAAC,YAAY;YAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;QAC7C,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;YAC7B,kGAAkG;YAClG,wEAAwE;YACxE,IAAI,CAAC,CAAC,GAAG,IAAI,IAAI,KAAK,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;gBAChD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,qCAAqC,QAAQ,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC;YAC3G,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAU,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,YAAY,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,aAAa,EAAE,EAAE,IAAI,EAAE,CAAC;QAClG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,QAAQ,GAAG,KAAK,CAAC;IACnB,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,IAAI,CAAC,EAAE,OAAO,EAAE,yDAAyD,EAAE,CAAC,CAAC;IACnH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,QAAQ,CAAC,IAAgB;IAChC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU,CAAC,aAAa;YAC3B,OAAO,gBAAgB,CAAC;QAC1B,KAAK,UAAU,CAAC,wBAAwB;YACtC,OAAO,oBAAoB,CAAC;QAC9B,KAAK,UAAU,CAAC,6BAA6B,CAAC;QAC9C,KAAK,UAAU,CAAC,YAAY,CAAC;QAC7B,KAAK,UAAU,CAAC,cAAc,CAAC;QAC/B,KAAK,UAAU,CAAC,YAAY;YAC1B,OAAO,kBAAkB,CAAC;QAC5B;YACE,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,IAAY;IACvD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAClD,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAEnC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,IAAa,EAAW,EAAE;QACjD,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,OAAO,KAAK,KAAK,SAAS,IAAI,0BAA0B,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACtH,CAAC,CAAC;IACF,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,IAAgB,EAAW,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI,CAAC;IAC9E,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC;IACzE,MAAM,SAAS,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,6BAA6B,CAAC,CAAC;IACzG,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,gBAAgB,CAAC,CAAC;IAClH,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,MAA6C,EAAE,EAAE;QACvE,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IAChF,CAAC,CAAC;IACF,4EAA4E;IAC5E,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,IAAgB,EAAE,KAAiB,EAAU,EAAE;QACzE,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI;gBAAE,KAAK,EAAE,CAAC;iBAChC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,KAAK,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC;QAC/D,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;IACvB,CAAC,CAAC;IACF,8EAA8E;IAC9E,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,KAAa,EAAW,EAAE;QACxD,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,KAAK,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,IAAI,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;gBACjC,KAAK,GAAG,IAAI,CAAC;gBACb,SAAS;YACX,CAAC;YACD,IAAI,KAAK,EAAE,CAAC;gBACV,KAAK,EAAE,CAAC;gBACR,IAAI,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC;oBAAE,KAAK,EAAE,CAAC;gBAClE,KAAK,GAAG,KAAK,CAAC;YAChB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,GAAG,CAAC,IAAI,KAAK,KAAK,KAAK,CAAC;IACtC,CAAC,CAAC;IACF,0GAA0G;IAC1G,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE,CACzC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,cAAc,EAAE,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,cAAc,CAAC,CAAC;IAE1G,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC;YAAE,SAAS;QAE7C,IAAI,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC;YACrE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;gBACzC,IAAI,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;oBACpG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;gBACnG,CAAC;qBAAM,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBACtE,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI;wBACpB,OAAO,EAAE,0EAA0E;qBACpF,CAAC,CAAC;gBACL,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IACE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC;gBAC9B,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,UAAU,CAAC;gBAChC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,UAAU,CAAC;gBAChC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,eAAe,CAAC;gBACrC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,eAAe,CAAC,EACrC,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,IAAI,QAAQ,GAAG,KAAK,CAAC;YACrB,IACE,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC;gBACf,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,UAAU,CAAC;gBACjC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,WAAW,CAAC;gBAClC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EACzC,CAAC;gBACD,QAAQ,GAAG,IAAI,CAAC;gBAChB,CAAC,EAAE,CAAC;YACN,CAAC;YACD,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChB,GAAG,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;gBACvE,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;gBACjD,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,cAAc,CAAC,IAAI,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBACtF,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;oBAC3E,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACtB,CAAC;gBACD,SAAS;YACX,CAAC;YACD,0DAA0D;YAC1D,IAAI,eAAe,GAAG,KAAK,CAAC;YAC5B,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;gBACvD,IAAI,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;oBACrC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,cAAc,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;oBAChF,UAAU,GAAG,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;oBAChC,CAAC,GAAG,KAAK,CAAC;oBACV,SAAS;gBACX,CAAC;gBACD,IAAI,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBACvC,MAAM,KAAK,GAAG,QAAQ,IAAI,CAAC,UAAU,IAAI,CAAC,eAAe,CAAC,CAAC;oBAC3D,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;oBAClF,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACV,MAAM;gBACR,CAAC;gBACD,IAAI,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,cAAc,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC;oBAAE,MAAM;gBACtF,IAAI,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;oBACvG,eAAe,GAAG,IAAI,CAAC;gBACzB,CAAC;YACH,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC;YACrE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,IAAI,QAAQ,GAAG,KAAK,CAAC;YACrB,IAAI,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC;gBACrG,QAAQ,GAAG,IAAI,CAAC;gBAChB,CAAC,EAAE,CAAC;YACN,CAAC;YACD,IAAI,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;gBACpC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,IAAI,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC;oBAAE,CAAC,IAAI,CAAC,CAAC;gBAC1B,IAAI,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBACvC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;oBACzE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACZ,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IAAI,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;gBACrC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,cAAc,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;gBAChF,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;oBACnD,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,IAAI,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;oBAC9G,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;gBAChB,CAAC;YACH,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,CAAC,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;YAC3F,IAAI,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;gBAC9D,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;YACnF,CAAC;iBAAM,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACtE,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI;oBACpB,OAAO,EAAE,wEAAwE;iBAClF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC"}

package/dist/finding.d.ts

@@ -0,0 +1,39 @@
+/**
+ * A diagnostic plus what it is about. Exceptions (VSA §9) match on exact
+ * paths and edges, which a message cannot be trusted to carry, so every
+ * check reports a Finding: the diagnostic in core's shape (ADR 0004 key
+ * order, origin "architecture") and the subject an exception can name.
+ */
+import type { Diagnostic, Location, Severity } from "@intentset/core";
+export interface SubjectEdge {
+    /** A file path or a slice ID. */
+    from: string;
+    /** A file path, a slice ID, or a package specifier. */
+    to: string;
+}
+export interface Finding {
+    diagnostic: Diagnostic;
+    /** Every path the finding concerns; the diagnostic's own path is always included. */
+    paths: string[];
+    /** File-level and slice-level edges the finding concerns. */
+    edges: SubjectEdge[];
+}
+export interface FindingFields {
+    code: string;
+    severity?: Severity;
+    artifact: string | null;
+    path: string | null;
+    location?: Location;
+    field?: string;
+    message: string;
+    remediation: string;
+    paths?: string[];
+    edges?: SubjectEdge[];
+}
+/** One diagnostic, members in contract order, optional members present only when known. */
+export declare function finding(fields: FindingFields): Finding;
+/** "1 file" / "3 files". */
+export declare function plural(count: number, noun: string, many?: string): string;
+/** At most `limit` items joined with commas, then "and N more". */
+export declare function listSome(items: readonly string[], limit?: number): string;
+//# sourceMappingURL=finding.d.ts.map