@goodbones/core 0.1.0-beta.1

package/build/esm/core/structure.js

@@ -0,0 +1,257 @@
+import * as Result from "effect/Result";
+import { compilePatterns } from "./patterns.js";
+export const EMPTY_STRUCTURE = {
+    roots: [],
+    folders: [],
+    parity: [],
+    naming: [],
+};
+const compileRoot = (rule) => {
+    const path = compilePatterns(rule.name, "path", rule.path);
+    if (Result.isFailure(path))
+        return Result.fail(path.failure);
+    return Result.succeed({
+        name: rule.name,
+        message: rule.message,
+        path: path.success,
+        probe: rule.probe.path,
+    });
+};
+const compileFolder = (rule) => {
+    const folder = compilePatterns(rule.name, "folder", rule.folder);
+    if (Result.isFailure(folder))
+        return Result.fail(folder.failure);
+    const files = compilePatterns(rule.name, "files", rule.files);
+    if (Result.isFailure(files))
+        return Result.fail(files.failure);
+    return Result.succeed({
+        name: rule.name,
+        message: rule.message,
+        folder: folder.success,
+        files: files.success,
+        probe: rule.probe.path,
+    });
+};
+const compileParity = (rule) => {
+    const file = compilePatterns(rule.name, "file", rule.file);
+    if (Result.isFailure(file))
+        return Result.fail(file.failure);
+    const fileNot = compilePatterns(rule.name, "fileNot", rule.fileNot);
+    if (Result.isFailure(fileNot))
+        return Result.fail(fileNot.failure);
+    return Result.succeed({
+        name: rule.name,
+        message: rule.message,
+        file: file.success,
+        fileNot: fileNot.success,
+        requires: [...rule.requires],
+        probe: rule.probe.path,
+    });
+};
+const compileNaming = (rule) => {
+    const file = compilePatterns(rule.name, "file", rule.file);
+    if (Result.isFailure(file))
+        return Result.fail(file.failure);
+    const fileNot = compilePatterns(rule.name, "fileNot", rule.fileNot);
+    if (Result.isFailure(fileNot))
+        return Result.fail(fileNot.failure);
+    const convention = compilePatterns(rule.name, "convention", rule.convention);
+    if (Result.isFailure(convention))
+        return Result.fail(convention.failure);
+    return Result.succeed({
+        name: rule.name,
+        message: rule.message,
+        file: file.success,
+        fileNot: fileNot.success,
+        subject: rule.subject,
+        convention: convention.success[0] ?? null,
+        sameAs: rule.sameAs ?? null,
+        probe: rule.probe.path,
+    });
+};
+const compileAll = (items, compile) => {
+    const compiled = [];
+    for (const item of items) {
+        const one = compile(item);
+        if (Result.isFailure(one))
+            return Result.fail(one.failure);
+        compiled.push(one.success);
+    }
+    return Result.succeed(compiled);
+};
+export const compileStructure = (config) => {
+    if (config === undefined)
+        return Result.succeed(EMPTY_STRUCTURE);
+    const roots = compileAll(config.roots ?? [], compileRoot);
+    if (Result.isFailure(roots))
+        return Result.fail(roots.failure);
+    const folders = compileAll(config.folders ?? [], compileFolder);
+    if (Result.isFailure(folders))
+        return Result.fail(folders.failure);
+    const parity = compileAll(config.parity ?? [], compileParity);
+    if (Result.isFailure(parity))
+        return Result.fail(parity.failure);
+    const naming = compileAll(config.naming ?? [], compileNaming);
+    if (Result.isFailure(naming))
+        return Result.fail(naming.failure);
+    return Result.succeed({
+        roots: roots.success,
+        folders: folders.success,
+        parity: parity.success,
+        naming: naming.success,
+    });
+};
+const anyMatches = (patterns, value) => patterns.some((pattern) => pattern.test(value));
+const dirnameOf = (file) => {
+    const cut = file.lastIndexOf("/");
+    return cut === -1 ? "" : file.slice(0, cut);
+};
+const basenameOf = (file) => file.slice(file.lastIndexOf("/") + 1);
+// `{base}` is the filename minus its FINAL extension — `create-todo.handler` for
+// `create-todo.handler.ts`, `handler` for `handler.go` — so `{base}.test.ts` or
+// `{base}_test.go` names the sibling test. The dot-delimited stereotype stays
+// part of the base on purpose.
+const baseOf = (basename) => {
+    const cut = basename.lastIndexOf(".");
+    return cut <= 0 ? basename : basename.slice(0, cut);
+};
+// A `../` in a required path is resolved against the file's own folder, which is
+// how a port three folders from its adapters names them.
+const resolveSibling = (folder, relative) => {
+    const segments = folder === "" ? [] : folder.split("/");
+    for (const segment of relative.split("/")) {
+        if (segment === "..")
+            segments.pop();
+        else if (segment !== "." && segment !== "")
+            segments.push(segment);
+    }
+    return segments.join("/");
+};
+export const requiredSiblingsOf = (rule, file) => {
+    const base = baseOf(basenameOf(file));
+    const folder = dirnameOf(file);
+    return rule.requires.map((template) => resolveSibling(folder, template.replaceAll("{base}", base)));
+};
+// The rule's pattern carries capture groups; `subject` says which one holds the
+// name being judged, and `sameAs` which one it has to equal.
+const firstNamingMatch = (rule, file) => {
+    for (const pattern of rule.file) {
+        const found = pattern.exec(file);
+        if (found === null)
+            continue;
+        const subject = found[rule.subject];
+        if (subject === undefined)
+            continue;
+        return {
+            subject,
+            expected: rule.sameAs === null ? null : (found[rule.sameAs] ?? null),
+            comparing: rule.sameAs !== null,
+        };
+    }
+    return null;
+};
+const namingSatisfied = (rule, named) => named.comparing
+    ? named.expected !== null && named.subject === named.expected
+    : rule.convention === null || rule.convention.test(named.subject);
+export const evaluateStructure = (structure, fileSystem, file) => {
+    const violations = [];
+    const folder = dirnameOf(file);
+    const basename = basenameOf(file);
+    for (const rule of structure.parity) {
+        if (!anyMatches(rule.file, file) || anyMatches(rule.fileNot, file))
+            continue;
+        for (const sibling of requiredSiblingsOf(rule, file)) {
+            if (fileSystem.exists(sibling))
+                continue;
+            violations.push({
+                kind: "structure",
+                ruleName: rule.name,
+                message: rule.message,
+                file,
+                subject: sibling,
+            });
+        }
+    }
+    for (const rule of structure.naming) {
+        if (anyMatches(rule.fileNot, file))
+            continue;
+        const named = firstNamingMatch(rule, file);
+        if (named === null || namingSatisfied(rule, named))
+            continue;
+        violations.push({
+            kind: "structure",
+            ruleName: rule.name,
+            message: rule.message,
+            file,
+            subject: named.subject,
+        });
+    }
+    const governing = structure.folders.filter((rule) => anyMatches(rule.folder, folder));
+    if (governing.length > 0) {
+        if (!governing.some((rule) => anyMatches(rule.files, basename))) {
+            const rule = governing[0];
+            if (rule !== undefined) {
+                violations.push({
+                    kind: "structure",
+                    ruleName: rule.name,
+                    message: rule.message,
+                    file,
+                    subject: basename,
+                });
+            }
+        }
+        return violations;
+    }
+    // No folder rule governs this folder at all. Inside a taxonomy root that means
+    // the folder itself is not part of the taxonomy — the stray-folder case a
+    // per-file check would otherwise miss entirely.
+    const root = structure.roots.find((candidate) => anyMatches(candidate.path, file));
+    if (root !== undefined) {
+        violations.push({
+            kind: "structure",
+            ruleName: root.name,
+            message: root.message,
+            file,
+            subject: folder,
+        });
+    }
+    return violations;
+};
+// A structure rule proves itself the same way the other families do: on a path
+// it must reject. Parity is checked structurally — that the rule still selects
+// its probe and still renders a sibling to demand — because asking the real
+// filesystem at config-load time would make the guard depend on a fixture.
+export const structureRulesFailingTheirProbe = (structure) => {
+    const failing = [];
+    for (const rule of structure.naming) {
+        const named = firstNamingMatch(rule, rule.probe);
+        if (named === null || namingSatisfied(rule, named) || anyMatches(rule.fileNot, rule.probe)) {
+            failing.push(rule.name);
+        }
+    }
+    for (const rule of structure.parity) {
+        const selects = anyMatches(rule.file, rule.probe) && !anyMatches(rule.fileNot, rule.probe);
+        const demands = requiredSiblingsOf(rule, rule.probe).some((sibling) => sibling.length > 0);
+        if (!selects || !demands)
+            failing.push(rule.name);
+    }
+    const layoutOnly = { ...structure, parity: [] };
+    const reported = (file) => evaluateStructure(layoutOnly, { exists: () => true, readText: () => null }, file).map((violation) => violation.ruleName);
+    for (const rule of structure.folders) {
+        // A folder that admits any name claims its folder but states no policy, so
+        // there is nothing for a probe to demonstrate.
+        if (rule.files.some((pattern) => pattern.source === "^.*$"))
+            continue;
+        // The rule must govern its probe's folder AND the folder's admitted set —
+        // the union of every governing rule — must still reject the basename.
+        const governs = anyMatches(rule.folder, dirnameOf(rule.probe));
+        if (!governs || reported(rule.probe).length === 0)
+            failing.push(rule.name);
+    }
+    for (const rule of structure.roots) {
+        if (!reported(rule.probe).includes(rule.name))
+            failing.push(rule.name);
+    }
+    return failing;
+};
+//# sourceMappingURL=structure.js.map

package/build/esm/core/structure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structure.js","sourceRoot":"","sources":["../../../src/core/structure.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAYxC,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AA4ChD,MAAM,CAAC,MAAM,eAAe,GAAsB;IAChD,KAAK,EAAE,EAAE;IACT,OAAO,EAAE,EAAE;IACX,MAAM,EAAE,EAAE;IACV,MAAM,EAAE,EAAE;CACX,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,IAAmB,EAAwD,EAAE;IAChG,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7D,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,IAAI,EAAE,IAAI,CAAC,OAAO;QAClB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;KACvB,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,IAAqB,EACmC,EAAE;IAC1D,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACjE,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/D,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,MAAM,CAAC,OAAO;QACtB,KAAK,EAAE,KAAK,CAAC,OAAO;QACpB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;KACvB,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,IAAqB,EACmC,EAAE;IAC1D,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACnE,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,IAAI,EAAE,IAAI,CAAC,OAAO;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC5B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;KACvB,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,IAAqB,EACmC,EAAE;IAC1D,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7E,IAAI,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IACzE,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,IAAI,EAAE,IAAI,CAAC,OAAO;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI;QACzC,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,IAAI;QAC3B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;KACvB,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,KAAuB,EACvB,OAAsD,EACL,EAAE;IACnD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3D,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,MAAmC,EACe,EAAE;IACpD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAEjE,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,EAAE,WAAW,CAAC,CAAC;IAC1D,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,EAAE,aAAa,CAAC,CAAC;IAChE,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,aAAa,CAAC,CAAC;IAC9D,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjE,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,aAAa,CAAC,CAAC;IAC9D,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAEjE,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,KAAK,EAAE,KAAK,CAAC,OAAO;QACpB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,MAAM,EAAE,MAAM,CAAC,OAAO;QACtB,MAAM,EAAE,MAAM,CAAC,OAAO;KACvB,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,QAA+B,EAAE,KAAa,EAAW,EAAE,CAC7E,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAElD,MAAM,SAAS,GAAG,CAAC,IAAY,EAAU,EAAE;IACzC,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAEnF,iFAAiF;AACjF,gFAAgF;AAChF,8EAA8E;AAC9E,+BAA+B;AAC/B,MAAM,MAAM,GAAG,CAAC,QAAgB,EAAU,EAAE;IAC1C,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACtC,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACtD,CAAC,CAAC;AAEF,iFAAiF;AACjF,yDAAyD;AACzD,MAAM,cAAc,GAAG,CAAC,MAAc,EAAE,QAAgB,EAAU,EAAE;IAClE,MAAM,QAAQ,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxD,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1C,IAAI,OAAO,KAAK,IAAI;YAAE,QAAQ,CAAC,GAAG,EAAE,CAAC;aAChC,IAAI,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,EAAE;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC5B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAA6B,EAC7B,IAAY,EACW,EAAE;IACzB,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC/B,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACpC,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAC5D,CAAC;AACJ,CAAC,CAAC;AAWF,gFAAgF;AAChF,6DAA6D;AAC7D,MAAM,gBAAgB,GAAG,CAAC,IAA6B,EAAE,IAAY,EAAsB,EAAE;IAC3F,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,OAAO;YACL,OAAO;YACP,QAAQ,EAAE,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;YACpE,SAAS,EAAE,IAAI,CAAC,MAAM,KAAK,IAAI;SAChC,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,IAA6B,EAAE,KAAkB,EAAW,EAAE,CACrF,KAAK,CAAC,SAAS;IACb,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,QAAQ;IAC7D,CAAC,CAAC,IAAI,CAAC,UAAU,KAAK,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAEtE,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,SAA4B,EAC5B,UAAsB,EACtB,IAAY,EACc,EAAE;IAC5B,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAElC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACpC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC;YAAE,SAAS;QAC7E,KAAK,MAAM,OAAO,IAAI,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YACrD,IAAI,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC;gBAAE,SAAS;YACzC,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,IAAI,CAAC,IAAI;gBACnB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,IAAI;gBACJ,OAAO,EAAE,OAAO;aACjB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACpC,IAAI,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC;YAAE,SAAS;QAC7C,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAI,KAAK,KAAK,IAAI,IAAI,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC;YAAE,SAAS;QAC7D,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,IAAI,CAAC,IAAI;YACnB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,IAAI;YACJ,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAEtF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,WAAW;oBACjB,QAAQ,EAAE,IAAI,CAAC,IAAI;oBACnB,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,IAAI;oBACJ,OAAO,EAAE,QAAQ;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,+EAA+E;IAC/E,0EAA0E;IAC1E,gDAAgD;IAChD,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACnF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,IAAI,CAAC,IAAI;YACnB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,IAAI;YACJ,OAAO,EAAE,MAAM;SAChB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,+EAA+E;AAC/E,+EAA+E;AAC/E,4EAA4E;AAC5E,2EAA2E;AAC3E,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,SAA4B,EACL,EAAE;IACzB,MAAM,OAAO,GAAkB,EAAE,CAAC;IAElC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,KAAK,KAAK,IAAI,IAAI,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3F,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3F,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC3F,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,GAAG,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAChD,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAyB,EAAE,CACvD,iBAAiB,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC,GAAG,CACnF,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAClC,CAAC;IAEJ,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;QACrC,2EAA2E;QAC3E,+CAA+C;QAC/C,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC;YAAE,SAAS;QACtE,0EAA0E;QAC1E,sEAAsE;QACtE,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/D,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7E,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACnC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC"}

package/build/esm/core/surface.js

@@ -0,0 +1,137 @@
+import * as Result from "effect/Result";
+import { compilePatterns, firstFromMatch } from "./patterns.js";
+const demandOf = (rule) => {
+    if (rule.allow !== undefined) {
+        const allow = compilePatterns(rule.name, "allow", rule.allow);
+        if (Result.isFailure(allow))
+            return Result.fail(allow.failure);
+        return Result.succeed({ kind: "allow", allow: allow.success });
+    }
+    if (rule.convention !== undefined) {
+        const convention = compilePatterns(rule.name, "convention", rule.convention);
+        if (Result.isFailure(convention))
+            return Result.fail(convention.failure);
+        const [compiled] = convention.success;
+        return compiled === undefined
+            ? Result.succeed({ kind: "forbid" })
+            : Result.succeed({ kind: "convention", convention: compiled });
+    }
+    if (rule.count !== undefined) {
+        return Result.succeed({
+            kind: "count",
+            min: rule.count.min ?? 0,
+            max: rule.count.max ?? Number.POSITIVE_INFINITY,
+        });
+    }
+    return Result.succeed({ kind: "forbid" });
+};
+export const compileSurfaceRule = (rule) => {
+    const from = compilePatterns(rule.name, "from", rule.from);
+    if (Result.isFailure(from))
+        return Result.fail(from.failure);
+    const fromNot = compilePatterns(rule.name, "fromNot", rule.fromNot);
+    if (Result.isFailure(fromNot))
+        return Result.fail(fromNot.failure);
+    const match = compilePatterns(rule.name, "match", rule.match);
+    if (Result.isFailure(match))
+        return Result.fail(match.failure);
+    const matchNot = compilePatterns(rule.name, "matchNot", rule.matchNot);
+    if (Result.isFailure(matchNot))
+        return Result.fail(matchNot.failure);
+    const demand = demandOf(rule);
+    if (Result.isFailure(demand))
+        return Result.fail(demand.failure);
+    return Result.succeed({
+        name: rule.name,
+        message: rule.message,
+        probe: rule.probe,
+        from: from.success,
+        fromNot: fromNot.success,
+        kinds: rule.kinds === undefined ? null : [...rule.kinds],
+        declares: rule.declares === undefined ? null : [...rule.declares],
+        reexport: rule.reexport ?? null,
+        match: match.success,
+        matchNot: matchNot.success,
+        demand: demand.success,
+    });
+};
+export const compileSurfaceRules = (rules) => {
+    const compiled = [];
+    for (const rule of rules) {
+        const one = compileSurfaceRule(rule);
+        if (Result.isFailure(one))
+            return Result.fail(one.failure);
+        compiled.push(one.success);
+    }
+    return Result.succeed(compiled);
+};
+const anyMatches = (patterns, value) => patterns.some((pattern) => pattern.test(value));
+export const surfaceRulesSelecting = (rules, file) => rules.filter((rule) => firstFromMatch(rule, file) !== null);
+// Whether a site is one the rule speaks to at all.
+const governs = (rule, site) => {
+    if (rule.kinds !== null && !rule.kinds.includes(site.kind))
+        return false;
+    if (rule.declares !== null && !rule.declares.includes(site.declares))
+        return false;
+    if (rule.reexport !== null && rule.reexport !== site.reexport)
+        return false;
+    if (rule.match.length > 0 && !anyMatches(rule.match, site.name))
+        return false;
+    if (rule.matchNot.length > 0 && anyMatches(rule.matchNot, site.name))
+        return false;
+    return true;
+};
+// A file's whole surface at once, because `count` is a statement about the
+// file rather than about any one site. The other demands report per site, on
+// the name that is actually restricted.
+export const evaluateSurface = (selected, file, sites) => {
+    const violations = [];
+    const report = (rule, subject) => {
+        violations.push({ kind: "surface", ruleName: rule.name, message: rule.message, file, subject });
+    };
+    for (const rule of selected) {
+        const spoken = sites.filter((site) => governs(rule, site));
+        const demand = rule.demand;
+        switch (demand.kind) {
+            case "forbid":
+                for (const site of spoken)
+                    report(rule, site.name);
+                break;
+            case "allow":
+                for (const site of spoken) {
+                    if (!anyMatches(demand.allow, site.name))
+                        report(rule, site.name);
+                }
+                break;
+            case "convention":
+                for (const site of spoken) {
+                    if (!demand.convention.test(site.name))
+                        report(rule, site.name);
+                }
+                break;
+            case "count":
+                if (spoken.length < demand.min || spoken.length > demand.max)
+                    report(rule, null);
+                break;
+        }
+    }
+    return violations;
+};
+// The probe is a whole surface — a list of sites, or a source the parser reads
+// them out of — because that is what the rule is evaluated against. A rule that
+// reports nothing for its own probe enforces nothing.
+export const surfaceRulesFailingTheirProbe = (rules, extractor) => rules.filter((rule) => {
+    if (firstFromMatch(rule, rule.probe.from) === null)
+        return true;
+    const sites = rule.probe.source === undefined
+        ? (rule.probe.sites ?? []).map((site) => ({
+            file: rule.probe.from,
+            name: site.name,
+            kind: site.kind,
+            declares: site.declares ?? "other",
+            reexport: site.reexport ?? false,
+        }))
+        : extractor.factsOf(rule.probe.from, rule.probe.source).exportSites;
+    return evaluateSurface([rule], rule.probe.from, sites).length === 0;
+});
+//# sourceMappingURL=surface.js.map

package/build/esm/core/surface.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"surface.js","sourceRoot":"","sources":["../../../src/core/surface.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAYxC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AA0BhE,MAAM,QAAQ,GAAG,CAAC,IAAiB,EAAyC,EAAE;IAC5E,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9D,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/D,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7E,IAAI,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACzE,MAAM,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC;QACtC,OAAO,QAAQ,KAAK,SAAS;YAC3B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACpC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC,OAAO,CAAC;YACpB,IAAI,EAAE,OAAO;YACb,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;YACxB,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,MAAM,CAAC,iBAAiB;SAChD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;AAC5C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAiB,EACmC,EAAE;IACtD,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvE,IAAI,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAEjE,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,IAAI,EAAE,IAAI,CAAC,OAAO;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;QACxD,QAAQ,EAAE,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;QACjE,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,IAAI;QAC/B,KAAK,EAAE,KAAK,CAAC,OAAO;QACpB,QAAQ,EAAE,QAAQ,CAAC,OAAO;QAC1B,MAAM,EAAE,MAAM,CAAC,OAAO;KACvB,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,KAAiC,EACkC,EAAE;IACrE,MAAM,QAAQ,GAA+B,EAAE,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3D,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,QAA+B,EAAE,KAAa,EAAW,EAAE,CAC7E,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAElD,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAAyC,EACzC,IAAY,EACwB,EAAE,CACtC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;AAE9D,mDAAmD;AACnD,MAAM,OAAO,GAAG,CAAC,IAAyB,EAAE,IAAgB,EAAW,EAAE;IACvE,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACzE,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IACnF,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5E,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9E,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACnF,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,2EAA2E;AAC3E,6EAA6E;AAC7E,wCAAwC;AACxC,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,QAA4C,EAC5C,IAAY,EACZ,KAAgC,EACN,EAAE;IAC5B,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,MAAM,MAAM,GAAG,CAAC,IAAyB,EAAE,OAAsB,EAAQ,EAAE;QACzE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAClG,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,QAAQ;gBACX,KAAK,MAAM,IAAI,IAAI,MAAM;oBAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnD,MAAM;YACR,KAAK,OAAO;gBACV,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;oBAC1B,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC;wBAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpE,CAAC;gBACD,MAAM;YACR,KAAK,YAAY;gBACf,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;oBAC1B,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;wBAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClE,CAAC;gBACD,MAAM;YACR,KAAK,OAAO;gBACV,IAAI,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG;oBAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACjF,MAAM;QACV,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,+EAA+E;AAC/E,gFAAgF;AAChF,sDAAsD;AACtD,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,KAAyC,EACzC,SAAwB,EACY,EAAE,CACtC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;IACpB,IAAI,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChE,MAAM,KAAK,GACT,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS;QAC7B,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACtC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;YACrB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,OAAO;YAClC,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,KAAK;SACjC,CAAC,CAAC;QACL,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC;IACxE,OAAO,eAAe,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;AACtE,CAAC,CAAC,CAAC"}