@keel_flow/pack-general-se 0.2.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 jglasskatz
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,15 @@
+# @keel_flow/pack-general-se
+
+General software engineering principles for Keel projects: fourteen principles covering naming, error boundaries, test contracts, single source of truth, no dead code, no TODO comments, gate reproducibility, and more — each with a machine-checkable `check` function that integrates with `keel verify`.
+
+Part of the [Keel](https://github.com/jglasskatz/keel) framework.
+
+## Install
+
+```
+npm install @keel_flow/pack-general-se
+```
+
+## License
+
+MIT

package/dist/index.d.ts

@@ -0,0 +1,6 @@
+import type { PrincipleWithCheck, PrinciplePack } from "@keel_flow/schema";
+export declare function hasIgnoreFileDirective(src: string, principleId: string): boolean;
+export declare function isIgnoreNextLine(src: string, lineIndex: number, principleId: string): boolean;
+export declare const generalSEPrinciples: PrincipleWithCheck[];
+export declare const generalSEPack: PrinciplePack;
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,kBAAkB,EAAE,aAAa,EAAa,MAAM,mBAAmB,CAAC;AAiJtF,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAGhF;AAID,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAK7F;AAQD,eAAO,MAAM,mBAAmB,EAAE,kBAAkB,EAgenD,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,aAK3B,CAAC"}

package/dist/index.js

@@ -0,0 +1,669 @@
+import { existsSync, readFileSync } from "fs";
+import { join } from "path";
+import { parse, AST_NODE_TYPES } from "@typescript-eslint/typescript-estree";
+import { isReExportOnlyBarrel, isTypeOnlyModule, isTemplateFile } from "./scope-filters.js";
+function parseProgram(src) {
+    try {
+        return parse(src, { jsx: false, loc: true, range: false, comment: true });
+    }
+    catch {
+        return null;
+    }
+}
+function walk(node, visit) {
+    visit(node);
+    for (const key in node) {
+        if (key === "parent")
+            continue;
+        const value = node[key];
+        if (Array.isArray(value)) {
+            for (const child of value) {
+                if (child && typeof child === "object" && "type" in child) {
+                    walk(child, visit);
+                }
+            }
+        }
+        else if (value && typeof value === "object" && "type" in value) {
+            walk(value, visit);
+        }
+    }
+}
+const VAGUE = new Set(["data", "info", "temp", "tmp", "obj", "item", "thing", "stuff", "val"]);
+const FUNCTION_TYPES = new Set([
+    AST_NODE_TYPES.FunctionDeclaration,
+    AST_NODE_TYPES.FunctionExpression,
+    AST_NODE_TYPES.ArrowFunctionExpression,
+    AST_NODE_TYPES.TSDeclareFunction,
+    AST_NODE_TYPES.TSEmptyBodyFunctionExpression,
+]);
+function paramIdentifiers(param, out) {
+    if (param.type === AST_NODE_TYPES.Identifier) {
+        out.push(param);
+    }
+    else if (param.type === AST_NODE_TYPES.AssignmentPattern) {
+        paramIdentifiers(param.left, out);
+    }
+    else if (param.type === AST_NODE_TYPES.RestElement) {
+        if (param.argument.type === AST_NODE_TYPES.Identifier)
+            out.push(param.argument);
+    }
+    else if (param.type === AST_NODE_TYPES.TSParameterProperty) {
+        paramIdentifiers(param.parameter, out);
+    }
+}
+// Collects identifiers in the same positions the @keel_flow/naming-is-design ESLint
+// rule inspects: VariableDeclarator ids and function parameters. Type-position
+// names, object keys and member accesses are deliberately excluded so verify-time
+// and editor-time enforcement agree token-for-token.
+function vagueNames(ast) {
+    const flagged = [];
+    walk(ast, (node) => {
+        if (node.type === AST_NODE_TYPES.VariableDeclarator &&
+            node.id.type === AST_NODE_TYPES.Identifier &&
+            VAGUE.has(node.id.name)) {
+            flagged.push(node.id);
+        }
+        if (FUNCTION_TYPES.has(node.type)) {
+            const params = node.params ?? [];
+            for (const param of params) {
+                const ids = [];
+                paramIdentifiers(param, ids);
+                for (const id of ids)
+                    if (VAGUE.has(id.name))
+                        flagged.push(id);
+            }
+        }
+    });
+    return flagged;
+}
+// Counts `any` type uses (TSAnyKeyword) not covered by a justified
+// `eslint-disable-next-line @typescript-eslint/no-explicit-any -- <reason>`
+// directive. Justification is matched against the nearest preceding comment with
+// only blank/comment lines between it and the `any`, so a blank line does not
+// break suppression. AST parsing means `any` inside a string literal or comment
+// is never counted.
+function countUnjustifiedAny(ast, sourceLines) {
+    const justifiedLines = justifiedDisableEndLines(ast.comments ?? []);
+    let unjustified = 0;
+    walk(ast, (node) => {
+        if (node.type !== AST_NODE_TYPES.TSAnyKeyword)
+            return;
+        const line = node.loc.start.line;
+        if (isSuppressed(line, justifiedLines, sourceLines))
+            return;
+        unjustified += 1;
+    });
+    return unjustified;
+}
+function justifiedDisableEndLines(comments) {
+    const ends = [];
+    for (const comment of comments) {
+        if (comment.type !== "Line")
+            continue;
+        const sameLineDisable = /eslint-disable-line\s+(?:[^\n]*\s)?@typescript-eslint\/no-explicit-any\b/.test(comment.value);
+        if (sameLineDisable && /--\s*\S/.test(comment.value)) {
+            ends.push(-comment.loc.end.line);
+            continue;
+        }
+        if (/^\s*eslint-disable-next-line\s+(?:[^\n]*\s)?@typescript-eslint\/no-explicit-any\b/.test(comment.value) &&
+            /--\s*\S/.test(comment.value)) {
+            ends.push(comment.loc.end.line);
+        }
+    }
+    return ends;
+}
+function isCommentOrBlankLine(text) {
+    const t = text.trim();
+    return t === "" || t.startsWith("//") || t.startsWith("*") || t.startsWith("/*");
+}
+function isSuppressed(anyLine, disableLines, sourceLines) {
+    for (const raw of disableLines) {
+        if (raw < 0) {
+            if (-raw === anyLine)
+                return true;
+            continue;
+        }
+        if (raw >= anyLine)
+            continue;
+        let allBlank = true;
+        for (let l = raw + 1; l < anyLine; l++) {
+            const text = sourceLines[l - 1] ?? "";
+            if (!isCommentOrBlankLine(text)) {
+                allBlank = false;
+                break;
+            }
+        }
+        if (allBlank)
+            return true;
+    }
+    return false;
+}
+// Honors `@keel-ignore-file: <principle-id>` directive anywhere in the source.
+// Use when a file is structurally required to violate a principle (e.g. ORM
+// type definitions whose property names are dictated by the library API).
+export function hasIgnoreFileDirective(src, principleId) {
+    const escaped = principleId.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+    return new RegExp(`@keel-ignore-file\\s*:\\s*${escaped}\\b`).test(src);
+}
+// Honors `@keel-ignore-next-line: <principle-id>` directive on the line above
+// a match. Mirrors eslint-disable-next-line semantics.
+export function isIgnoreNextLine(src, lineIndex, principleId) {
+    const lines = src.split("\n");
+    const prev = lines[lineIndex - 1] ?? "";
+    const escaped = principleId.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+    return new RegExp(`@keel-ignore-next-line\\s*:\\s*${escaped}\\b`).test(prev);
+}
+// A principle's own check file inevitably contains the patterns it looks
+// for; exclude self-scans so the gate doesn't fire on itself.
+function isOwnCheckFile(path) {
+    return /packages\/pack-[^/]+\/src\/index\.ts$/.test(path);
+}
+export const generalSEPrinciples = [
+    {
+        id: "single-source-of-truth",
+        description: "Every fact has exactly one canonical home; all other references point to it",
+        rationale: "Duplicated truth diverges over time; the second copy is wrong before anyone notices",
+        severity: "critical",
+    },
+    {
+        id: "no-dead-code",
+        description: "Delete code that is not called; do not comment it out",
+        rationale: "Dead code is confusion for the next reader and a maintenance liability",
+        severity: "warning",
+    },
+    {
+        id: "tests-as-contracts",
+        description: "Every public module has a co-located test that proves its contract",
+        rationale: "A test is the cheapest, most precise form of documentation that cannot go stale",
+        severity: "critical",
+        check({ diff, cwd }) {
+            // Honor the verify cwd so checks resolve files correctly when the
+            // orchestrator or scheduler invokes verify against a project at a
+            // non-process-cwd path; fall back to process.cwd() for direct runs.
+            const root = cwd ?? process.cwd();
+            const violations = [];
+            const addedOrModifiedSrc = diff.files.filter((f) => (f.status === "added" || f.status === "modified") &&
+                f.path.match(/packages\/[^/]+\/src\/[^/]+\.ts$/) &&
+                !f.path.endsWith(".test.ts") &&
+                !f.path.endsWith(".d.ts") &&
+                !isTemplateFile(f.path));
+            for (const file of addedOrModifiedSrc) {
+                if (/packages\/pack-[^/]+\/src\/index\.ts$/.test(file.path))
+                    continue;
+                if (/packages\/eslint-plugin\/src\/rules\//.test(file.path))
+                    continue;
+                const absPath = join(root, file.path);
+                if (existsSync(absPath)) {
+                    try {
+                        const src = readFileSync(absPath, "utf-8");
+                        const ast = parseProgram(src);
+                        if (ast) {
+                            if (isReExportOnlyBarrel(ast.body))
+                                continue;
+                            if (isTypeOnlyModule(ast.body))
+                                continue;
+                        }
+                    }
+                    catch {
+                        // unreadable — fall through to test-existence check
+                    }
+                }
+                const basename = file.path.replace(/^.*\/([^/]+)\.ts$/, "$1");
+                const packageRoot = file.path.replace(/(packages\/[^/]+)\/.*$/, "$1");
+                const candidates = [
+                    file.path.replace(/\.ts$/, ".test.ts"),
+                    `${packageRoot}/src/__tests__/${basename}.test.ts`,
+                    `${packageRoot}/__tests__/${basename}.test.ts`,
+                    `${packageRoot}/src/index.test.ts`,
+                ];
+                if (!candidates.some((p) => existsSync(join(root, p)))) {
+                    violations.push({
+                        principleId: "tests-as-contracts",
+                        file: file.path,
+                        severity: "critical",
+                        message: `Source file "${file.path}" has no test — looked for co-located ${basename}.test.ts, __tests__/${basename}.test.ts, or package-level index.test.ts`,
+                    });
+                }
+            }
+            return violations;
+        },
+    },
+    {
+        id: "errors-at-boundaries",
+        description: "Validate and throw at every system boundary; never pass invalid state inward",
+        rationale: "Errors close to their origin are cheap; errors discovered deep in the call stack are expensive",
+        severity: "critical",
+    },
+    {
+        id: "no-comments-unless-why",
+        description: "Write zero comments by default; the only acceptable comment explains a non-obvious why",
+        rationale: "Identifiers carry meaning; comments explaining what or how go stale and mislead",
+        severity: "warning",
+    },
+    {
+        id: "request-isolation",
+        description: "Each request is fully self-contained; no shared mutable state between requests",
+        rationale: "Shared state is the source of the hardest bugs to reproduce and the hardest to debug under load",
+        severity: "critical",
+    },
+    {
+        id: "wrong-way-impossible",
+        description: "Make invalid states unrepresentable at the type level",
+        rationale: "A type error at compile time is free; a runtime error in production is expensive",
+        severity: "critical",
+        check({ diff, cwd }) {
+            // Honor the verify cwd so file reads resolve against the target project
+            // rather than the runner's working directory.
+            const root = cwd ?? process.cwd();
+            const violations = [];
+            for (const file of diff.files) {
+                if (!file.path.endsWith(".ts"))
+                    continue;
+                if (isOwnCheckFile(file.path))
+                    continue;
+                const absPath = join(root, file.path);
+                if (!existsSync(absPath))
+                    continue;
+                try {
+                    const content = readFileSync(absPath, "utf-8");
+                    if (hasIgnoreFileDirective(content, "wrong-way-impossible"))
+                        continue;
+                    const ast = parseProgram(content);
+                    if (!ast)
+                        continue;
+                    const unjustified = countUnjustifiedAny(ast, content.split("\n"));
+                    if (unjustified > 0) {
+                        violations.push({
+                            principleId: "wrong-way-impossible",
+                            file: file.path,
+                            severity: "warning",
+                            message: `Found ${unjustified} unjustified use(s) of ": any" in "${file.path}". Use precise types, unknown, or add an eslint-disable-next-line @typescript-eslint/no-explicit-any with a reason comment.`,
+                        });
+                    }
+                }
+                catch {
+                    // File unreadable at check time; skip rather than false-positive
+                }
+            }
+            return violations;
+        },
+    },
+    {
+        id: "existing-patterns-first",
+        description: "Before introducing a new abstraction, check whether an existing pattern covers the need",
+        rationale: "Proliferating abstractions raises the cognitive load for every future contributor",
+        severity: "warning",
+    },
+    {
+        id: "boundaries-not-layers",
+        description: "Organize code by bounded context (what it does) rather than by technical layer (how it does it)",
+        rationale: "Layer-organized code scatters a single feature across multiple directories, making changes require touching many files",
+        severity: "warning",
+    },
+    {
+        id: "naming-is-design",
+        description: "Names must communicate intent precisely; rename ruthlessly when the concept evolves",
+        rationale: "Imprecise names accumulate cognitive debt; every reader must reverse-engineer intent that a good name would convey directly",
+        severity: "warning",
+        check({ diff, cwd }) {
+            // Honor the verify cwd so file reads resolve against the target project
+            // rather than the runner's working directory.
+            const root = cwd ?? process.cwd();
+            const violations = [];
+            for (const file of diff.files) {
+                if (!file.path.endsWith(".ts"))
+                    continue;
+                if (file.status === "removed")
+                    continue;
+                if (isOwnCheckFile(file.path))
+                    continue;
+                // architecture/data.ts is a data file; the word "data" in its filename
+                // and string-literal layer ids is structural, not a vague identifier.
+                if (file.path.endsWith("/architecture/data.ts"))
+                    continue;
+                const absPath = join(root, file.path);
+                if (!existsSync(absPath))
+                    continue;
+                try {
+                    const content = readFileSync(absPath, "utf-8");
+                    if (hasIgnoreFileDirective(content, "naming-is-design"))
+                        continue;
+                    const ast = parseProgram(content);
+                    if (!ast)
+                        continue;
+                    const flagged = vagueNames(ast);
+                    if (flagged.length > 2) {
+                        violations.push({
+                            principleId: "naming-is-design",
+                            file: file.path,
+                            severity: "warning",
+                            message: `Found ${flagged.length} vague identifier(s) in "${file.path}". Use names that communicate intent.`,
+                        });
+                    }
+                }
+                catch {
+                    // File unreadable; skip
+                }
+            }
+            return violations;
+        },
+    },
+    {
+        id: "delete-before-add",
+        description: "Before adding a new abstraction or dependency, delete the thing it replaces; leave no orphans",
+        rationale: "Orphaned abstractions and unreferenced dependencies accumulate silently and increase maintenance surface without providing value",
+        severity: "warning",
+    },
+    {
+        id: "no-todo-comments",
+        description: "Source files contain no TODO / FIXME / XXX comments; either build the thing or surface the blocker",
+        rationale: "A TODO is a promise to a future reader that the author already knows won't be kept; tasks belong in the issue tracker or commit message, not as drift in source",
+        severity: "warning",
+        check({ diff, cwd }) {
+            // Honor the verify cwd so file reads resolve against the target project
+            // rather than the runner's working directory.
+            const root = cwd ?? process.cwd();
+            const violations = [];
+            for (const file of diff.files) {
+                if (file.status === "removed")
+                    continue;
+                if (!/\.(ts|tsx|js|jsx|mjs)$/.test(file.path))
+                    continue;
+                if (isOwnCheckFile(file.path))
+                    continue;
+                if (file.path.endsWith(".test.ts") || file.path.endsWith(".test.tsx"))
+                    continue;
+                const absPath = join(root, file.path);
+                if (!existsSync(absPath))
+                    continue;
+                let content;
+                try {
+                    content = readFileSync(absPath, "utf-8");
+                }
+                catch {
+                    continue;
+                }
+                if (hasIgnoreFileDirective(content, "no-todo-comments"))
+                    continue;
+                const ast = parseProgram(content);
+                if (!ast)
+                    continue;
+                for (const comment of ast.comments ?? []) {
+                    if (!/\b(TODO|FIXME|XXX)\b/.test(comment.value))
+                        continue;
+                    const line = comment.loc.start.line;
+                    if (isIgnoreNextLine(content, line - 1, "no-todo-comments"))
+                        continue;
+                    violations.push({
+                        principleId: "no-todo-comments",
+                        file: file.path,
+                        line,
+                        severity: "warning",
+                        message: `${file.path}:${line} — TODO/FIXME/XXX comment present. Either build it, file an issue, or annotate with // @keel-ignore-next-line: no-todo-comments and explain why.`,
+                    });
+                }
+            }
+            return violations;
+        },
+    },
+    {
+        id: "gate-is-reproducible",
+        description: "The verify gate's result must not depend on the runner's OS, Node version, or local cache",
+        rationale: "A gate that green-lights locally but fails in CI (or vice-versa) destroys confidence in the gate; hardcoded machine paths are the most common root cause",
+        severity: "critical",
+        check({ diff, cwd }) {
+            // Honor the verify cwd so file reads resolve against the target project
+            // rather than the runner's working directory.
+            const root = cwd ?? process.cwd();
+            const violations = [];
+            const ABSOLUTE_PATH_RE = /\/Users\/[^/\s"'`]+\/|\/home\/[^/\s"'`]+\//g;
+            for (const file of diff.files) {
+                if (file.status === "removed")
+                    continue;
+                if (isOwnCheckFile(file.path))
+                    continue;
+                if (isTemplateFile(file.path))
+                    continue;
+                if (file.path === "architecture/data.ts" || file.path.endsWith("/architecture/data.ts"))
+                    continue;
+                if (/packages\/eslint-plugin\/src\/rules\//.test(file.path))
+                    continue;
+                if (!file.path.match(/\.(ts|tsx|js|mjs|json|yaml|yml)$/))
+                    continue;
+                if (file.path.endsWith(".test.ts") || file.path.endsWith(".test.tsx"))
+                    continue;
+                const absPath = join(root, file.path);
+                if (!existsSync(absPath))
+                    continue;
+                let content;
+                try {
+                    content = readFileSync(absPath, "utf-8");
+                }
+                catch {
+                    continue;
+                }
+                if (hasIgnoreFileDirective(content, "gate-is-reproducible"))
+                    continue;
+                const lines = content.split("\n");
+                for (let i = 0; i < lines.length; i++) {
+                    const line = lines[i] ?? "";
+                    const matches = line.matchAll(ABSOLUTE_PATH_RE);
+                    for (const match of matches) {
+                        if (isIgnoreNextLine(content, i, "gate-is-reproducible"))
+                            continue;
+                        violations.push({
+                            principleId: "gate-is-reproducible",
+                            file: file.path,
+                            line: i + 1,
+                            severity: "critical",
+                            message: `${file.path}:${i + 1} — hardcoded absolute user path "${match[0].replace(/\/$/, "")}" makes the result machine-specific. Use process.cwd(), os.homedir(), or a relative path instead.`,
+                        });
+                    }
+                }
+            }
+            return violations;
+        },
+    },
+    {
+        id: "no-untyped-seam-fetch",
+        description: "Cross-process seam calls must go through the typed client; raw fetch() to the API base URL is forbidden in code that has a typed client available",
+        rationale: "Hand-rolled fetch bypasses the type system: wrong procedure names and malformed inputs compile silently, creating seam bugs that only surface at runtime",
+        severity: "critical",
+        check({ diff, cwd }) {
+            const FETCH_HOLDERS = new Set(["globalThis", "window", "self"]);
+            const API_URL_VARS = new Set([
+                "API_URL",
+                "KEEL_API_URL",
+                "apiUrl",
+                "apiURL",
+                "baseUrl",
+                "baseURL",
+                "apiBase",
+                "apiBaseUrl",
+                "BASE_URL",
+                "API_BASE_URL",
+            ]);
+            const KEEL_ENV_KEYS = new Set([
+                "KEEL_API_URL",
+                "API_URL",
+                "API_BASE_URL",
+            ]);
+            const NON_EXTENSION_RE = /^[a-zA-Z][a-zA-Z0-9_]+$/;
+            const KNOWN_EXTENSIONS = new Set([
+                "png", "jpg", "jpeg", "gif", "svg", "ico", "webp",
+                "js", "ts", "mjs", "cjs", "jsx", "tsx",
+                "css", "scss", "less",
+                "json", "yaml", "yml", "xml", "html", "htm",
+                "txt", "md", "pdf", "csv",
+                "woff", "woff2", "ttf", "eot",
+                "map",
+            ]);
+            function looksLikeTrpcPath(segment) {
+                const lastSlashIdx = segment.lastIndexOf("/");
+                const lastSegment = lastSlashIdx >= 0 ? segment.slice(lastSlashIdx + 1) : segment;
+                const dotIdx = lastSegment.indexOf(".");
+                if (dotIdx < 0)
+                    return false;
+                const routerPart = lastSegment.slice(0, dotIdx);
+                const procedurePart = lastSegment.slice(dotIdx + 1);
+                if (!NON_EXTENSION_RE.test(routerPart))
+                    return false;
+                if (!NON_EXTENSION_RE.test(procedurePart))
+                    return false;
+                if (KNOWN_EXTENSIONS.has(procedurePart.toLowerCase()))
+                    return false;
+                return true;
+            }
+            function isFetchCallee(callee) {
+                if (callee.type === AST_NODE_TYPES.Identifier)
+                    return callee.name === "fetch";
+                return (callee.type === AST_NODE_TYPES.MemberExpression &&
+                    !callee.computed &&
+                    callee.property.type === AST_NODE_TYPES.Identifier &&
+                    callee.property.name === "fetch" &&
+                    callee.object.type === AST_NODE_TYPES.Identifier &&
+                    FETCH_HOLDERS.has(callee.object.name));
+            }
+            function isProcessEnvApiKey(node) {
+                if (node.type !== AST_NODE_TYPES.MemberExpression)
+                    return false;
+                if (node.object.type !== AST_NODE_TYPES.MemberExpression ||
+                    node.object.object.type !== AST_NODE_TYPES.Identifier ||
+                    node.object.object.name !== "process" ||
+                    node.object.property.type !== AST_NODE_TYPES.Identifier ||
+                    node.object.property.name !== "env")
+                    return false;
+                if (!node.computed && node.property.type === AST_NODE_TYPES.Identifier) {
+                    return KEEL_ENV_KEYS.has(node.property.name);
+                }
+                if (node.computed && node.property.type === AST_NODE_TYPES.Literal && typeof node.property.value === "string") {
+                    return KEEL_ENV_KEYS.has(node.property.value);
+                }
+                return false;
+            }
+            function isProcessEnvAnyKey(node) {
+                return (node.type === AST_NODE_TYPES.MemberExpression &&
+                    node.object.type === AST_NODE_TYPES.MemberExpression &&
+                    node.object.object.type === AST_NODE_TYPES.Identifier &&
+                    node.object.object.name === "process" &&
+                    node.object.property.type === AST_NODE_TYPES.Identifier &&
+                    node.object.property.name === "env");
+            }
+            function collectAliasedVars(ast) {
+                const aliased = new Set();
+                walk(ast, (node) => {
+                    if (node.type === AST_NODE_TYPES.VariableDeclarator &&
+                        node.id.type === AST_NODE_TYPES.Identifier &&
+                        node.init &&
+                        isProcessEnvApiKey(node.init)) {
+                        aliased.add(node.id.name);
+                    }
+                });
+                return aliased;
+            }
+            function isApiUrlReference(node, aliasedVars) {
+                if (node.type === AST_NODE_TYPES.Identifier) {
+                    if (API_URL_VARS.has(node.name))
+                        return true;
+                    if (aliasedVars.has(node.name))
+                        return true;
+                }
+                if (isProcessEnvAnyKey(node))
+                    return true;
+                return false;
+            }
+            const KEEL_API_HOSTS = /^https?:\/\/(localhost|127\.0\.0\.1)(:\d+)?/;
+            function templateHasApiSeam(node, aliasedVars) {
+                const hasApiRef = node.expressions.some((expr) => isApiUrlReference(expr, aliasedVars));
+                if (!hasApiRef)
+                    return false;
+                return node.quasis.some((quasi) => looksLikeTrpcPath(quasi.value.raw));
+            }
+            function stringLiteralHasApiSeam(value) {
+                if (!KEEL_API_HOSTS.test(value))
+                    return false;
+                return looksLikeTrpcPath(value);
+            }
+            function leftmostBinaryOperand(node) {
+                if (node.type === AST_NODE_TYPES.BinaryExpression && node.operator === "+") {
+                    return leftmostBinaryOperand(node.left);
+                }
+                return node;
+            }
+            function firstArgIsApiSeam(arg, aliasedVars) {
+                if (arg.type === AST_NODE_TYPES.TemplateLiteral)
+                    return templateHasApiSeam(arg, aliasedVars);
+                if (arg.type === AST_NODE_TYPES.Literal && typeof arg.value === "string") {
+                    return stringLiteralHasApiSeam(arg.value);
+                }
+                if (arg.type === AST_NODE_TYPES.BinaryExpression && arg.operator === "+") {
+                    if (isApiUrlReference(leftmostBinaryOperand(arg), aliasedVars)) {
+                        return true;
+                    }
+                }
+                return false;
+            }
+            // Honor the verify cwd so file reads resolve against the target project
+            // rather than the runner's working directory.
+            const root = cwd ?? process.cwd();
+            const violations = [];
+            for (const file of diff.files) {
+                if (file.status === "removed")
+                    continue;
+                if (!/\.(ts|tsx)$/.test(file.path))
+                    continue;
+                if (file.path.endsWith(".test.ts") || file.path.endsWith(".test.tsx"))
+                    continue;
+                if (isOwnCheckFile(file.path))
+                    continue;
+                if (/packages\/(cli|telemetry)\//.test(file.path))
+                    continue;
+                const absPath = join(root, file.path);
+                if (!existsSync(absPath))
+                    continue;
+                let content;
+                try {
+                    content = readFileSync(absPath, "utf-8");
+                }
+                catch {
+                    continue;
+                }
+                if (hasIgnoreFileDirective(content, "no-untyped-seam-fetch"))
+                    continue;
+                const ast = parseProgram(content);
+                if (!ast)
+                    continue;
+                const aliasedVars = collectAliasedVars(ast);
+                walk(ast, (node) => {
+                    if (node.type !== AST_NODE_TYPES.CallExpression)
+                        return;
+                    if (!isFetchCallee(node.callee))
+                        return;
+                    const firstArg = node.arguments[0];
+                    if (!firstArg)
+                        return;
+                    if (!firstArgIsApiSeam(firstArg, aliasedVars))
+                        return;
+                    const line = node.loc.start.line;
+                    if (isIgnoreNextLine(content, line - 1, "no-untyped-seam-fetch"))
+                        return;
+                    violations.push({
+                        principleId: "no-untyped-seam-fetch",
+                        file: file.path,
+                        line,
+                        severity: "critical",
+                        message: `${file.path}:${line} — raw fetch() to the API seam. Use createServerClient() and call the typed procedure instead.`,
+                    });
+                });
+            }
+            return violations;
+        },
+    },
+];
+export const generalSEPack = {
+    id: "@keel_flow/pack-general-se",
+    version: "0.1.0",
+    description: "General software engineering principles applicable to any TypeScript codebase.",
+    principles: generalSEPrinciples,
+};
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,cAAc,EAAiB,MAAM,sCAAsC,CAAC;AAE5F,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAE5F,SAAS,YAAY,CAAC,GAAW;IAC/B,IAAI,CAAC;QACH,OAAO,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,IAAI,CAAC,IAAmB,EAAE,KAAiC;IAClE,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,KAAK,QAAQ;YAAE,SAAS;QAC/B,MAAM,KAAK,GAAI,IAA2C,CAAC,GAAG,CAAC,CAAC;QAChE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;gBAC1B,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;oBAC1D,IAAI,CAAC,KAAsB,EAAE,KAAK,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;YACjE,IAAI,CAAC,KAAsB,EAAE,KAAK,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;AAE/F,MAAM,cAAc,GAAG,IAAI,GAAG,CAAS;IACrC,cAAc,CAAC,mBAAmB;IAClC,cAAc,CAAC,kBAAkB;IACjC,cAAc,CAAC,uBAAuB;IACtC,cAAc,CAAC,iBAAiB;IAChC,cAAc,CAAC,6BAA6B;CAC7C,CAAC,CAAC;AAEH,SAAS,gBAAgB,CAAC,KAAyB,EAAE,GAA0B;IAC7E,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU,EAAE,CAAC;QAC7C,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,iBAAiB,EAAE,CAAC;QAC3D,gBAAgB,CAAC,KAAK,CAAC,IAA0B,EAAE,GAAG,CAAC,CAAC;IAC1D,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,WAAW,EAAE,CAAC;QACrD,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAClF,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,mBAAmB,EAAE,CAAC;QAC7D,gBAAgB,CAAC,KAAK,CAAC,SAA+B,EAAE,GAAG,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC;AAED,oFAAoF;AACpF,+EAA+E;AAC/E,kFAAkF;AAClF,qDAAqD;AACrD,SAAS,UAAU,CAAC,GAAqB;IACvC,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;QACjB,IACE,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,kBAAkB;YAC/C,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU;YAC1C,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EACvB,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxB,CAAC;QACD,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,MAAM,MAAM,GAAI,IAA8B,CAAC,MAAM,IAAI,EAAE,CAAC;YAC5D,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC3B,MAAM,GAAG,GAA0B,EAAE,CAAC;gBACtC,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC7B,KAAK,MAAM,EAAE,IAAI,GAAG;oBAAE,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;wBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,mEAAmE;AACnE,4EAA4E;AAC5E,iFAAiF;AACjF,8EAA8E;AAC9E,gFAAgF;AAChF,oBAAoB;AACpB,SAAS,mBAAmB,CAAC,GAAqB,EAAE,WAAqB;IACvE,MAAM,cAAc,GAAG,wBAAwB,CAAC,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;IACpE,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;QACjB,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,YAAY;YAAE,OAAO;QACtD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;QACjC,IAAI,YAAY,CAAC,IAAI,EAAE,cAAc,EAAE,WAAW,CAAC;YAAE,OAAO;QAC5D,WAAW,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,wBAAwB,CAAC,QAA4B;IAC5D,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACtC,MAAM,eAAe,GAAG,0EAA0E,CAAC,IAAI,CACrG,OAAO,CAAC,KAAK,CACd,CAAC;QACF,IAAI,eAAe,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QACD,IACE,mFAAmF,CAAC,IAAI,CACtF,OAAO,CAAC,KAAK,CACd;YACD,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAC7B,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY;IACxC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,YAAY,CAAC,OAAe,EAAE,YAAsB,EAAE,WAAqB;IAClF,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;YACZ,IAAI,CAAC,GAAG,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAC;YAClC,SAAS;QACX,CAAC;QACD,IAAI,GAAG,IAAI,OAAO;YAAE,SAAS;QAC7B,IAAI,QAAQ,GAAG,IAAI,CAAC;QACpB,KAAK,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YACtC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,QAAQ,GAAG,KAAK,CAAC;gBACjB,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,QAAQ;YAAE,OAAO,IAAI,CAAC;IAC5B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+EAA+E;AAC/E,4EAA4E;AAC5E,0EAA0E;AAC1E,MAAM,UAAU,sBAAsB,CAAC,GAAW,EAAE,WAAmB;IACrE,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IACnE,OAAO,IAAI,MAAM,CAAC,6BAA6B,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzE,CAAC;AAED,8EAA8E;AAC9E,uDAAuD;AACvD,MAAM,UAAU,gBAAgB,CAAC,GAAW,EAAE,SAAiB,EAAE,WAAmB;IAClF,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACxC,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IACnE,OAAO,IAAI,MAAM,CAAC,kCAAkC,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED,yEAAyE;AACzE,8DAA8D;AAC9D,SAAS,cAAc,CAAC,IAAY;IAClC,OAAO,uCAAuC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAyB;IACvD;QACE,EAAE,EAAE,wBAAwB;QAC5B,WAAW,EAAE,6EAA6E;QAC1F,SAAS,EAAE,qFAAqF;QAChG,QAAQ,EAAE,UAAU;KACrB;IACD;QACE,EAAE,EAAE,cAAc;QAClB,WAAW,EAAE,uDAAuD;QACpE,SAAS,EAAE,wEAAwE;QACnF,QAAQ,EAAE,SAAS;KACpB;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,WAAW,EAAE,oEAAoE;QACjF,SAAS,EAAE,iFAAiF;QAC5F,QAAQ,EAAE,UAAU;QACpB,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;YACjB,kEAAkE;YAClE,kEAAkE;YAClE,oEAAoE;YACpE,MAAM,IAAI,GAAG,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;YAClC,MAAM,UAAU,GAAgB,EAAE,CAAC;YACnC,MAAM,kBAAkB,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAC1C,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC;gBACjD,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,kCAAkC,CAAC;gBAChD,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;gBAC5B,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;gBACzB,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAC1B,CAAC;YACF,KAAK,MAAM,IAAI,IAAI,kBAAkB,EAAE,CAAC;gBACtC,IAAI,uCAAuC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACtE,IAAI,uCAAuC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACtE,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtC,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;oBACxB,IAAI,CAAC;wBACH,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;wBAC3C,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;wBAC9B,IAAI,GAAG,EAAE,CAAC;4BACR,IAAI,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC;gCAAE,SAAS;4BAC7C,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;gCAAE,SAAS;wBAC3C,CAAC;oBACH,CAAC;oBAAC,MAAM,CAAC;wBACP,oDAAoD;oBACtD,CAAC;gBACH,CAAC;gBACD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC;gBAC9D,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE,IAAI,CAAC,CAAC;gBACtE,MAAM,UAAU,GAAG;oBACjB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC;oBACtC,GAAG,WAAW,kBAAkB,QAAQ,UAAU;oBAClD,GAAG,WAAW,cAAc,QAAQ,UAAU;oBAC9C,GAAG,WAAW,oBAAoB;iBACnC,CAAC;gBACF,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACvD,UAAU,CAAC,IAAI,CAAC;wBACd,WAAW,EAAE,oBAAoB;wBACjC,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,QAAQ,EAAE,UAAU;wBACpB,OAAO,EAAE,gBAAgB,IAAI,CAAC,IAAI,yCAAyC,QAAQ,uBAAuB,QAAQ,0CAA0C;qBAC7J,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;KACF;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,WAAW,EAAE,8EAA8E;QAC3F,SAAS,EACP,gGAAgG;QAClG,QAAQ,EAAE,UAAU;KACrB;IACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,WAAW,EACT,wFAAwF;QAC1F,SAAS,EAAE,iFAAiF;QAC5F,QAAQ,EAAE,SAAS;KACpB;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,WAAW,EACT,gFAAgF;QAClF,SAAS,EACP,iGAAiG;QACnG,QAAQ,EAAE,UAAU;KACrB;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,WAAW,EAAE,uDAAuD;QACpE,SAAS,EACP,kFAAkF;QACpF,QAAQ,EAAE,UAAU;QACpB,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;YACjB,wEAAwE;YACxE,8CAA8C;YAC9C,MAAM,IAAI,GAAG,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;YAClC,MAAM,UAAU,GAAgB,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACzC,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACxC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;oBAAE,SAAS;gBACnC,IAAI,CAAC;oBACH,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;oBAC/C,IAAI,sBAAsB,CAAC,OAAO,EAAE,sBAAsB,CAAC;wBAAE,SAAS;oBACtE,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;oBAClC,IAAI,CAAC,GAAG;wBAAE,SAAS;oBACnB,MAAM,WAAW,GAAG,mBAAmB,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;oBAClE,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;wBACpB,UAAU,CAAC,IAAI,CAAC;4BACd,WAAW,EAAE,sBAAsB;4BACnC,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,QAAQ,EAAE,SAAS;4BACnB,OAAO,EAAE,SAAS,WAAW,sCAAsC,IAAI,CAAC,IAAI,6HAA6H;yBAC1M,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,iEAAiE;gBACnE,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;KACF;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,WAAW,EACT,yFAAyF;QAC3F,SAAS,EACP,mFAAmF;QACrF,QAAQ,EAAE,SAAS;KACpB;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,WAAW,EACT,iGAAiG;QACnG,SAAS,EACP,wHAAwH;QAC1H,QAAQ,EAAE,SAAS;KACpB;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,WAAW,EACT,qFAAqF;QACvF,SAAS,EACP,6HAA6H;QAC/H,QAAQ,EAAE,SAAS;QACnB,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;YACjB,wEAAwE;YACxE,8CAA8C;YAC9C,MAAM,IAAI,GAAG,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;YAClC,MAAM,UAAU,GAAgB,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACzC,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;oBAAE,SAAS;gBACxC,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACxC,uEAAuE;gBACvE,sEAAsE;gBACtE,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,uBAAuB,CAAC;oBAAE,SAAS;gBAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;oBAAE,SAAS;gBACnC,IAAI,CAAC;oBACH,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;oBAC/C,IAAI,sBAAsB,CAAC,OAAO,EAAE,kBAAkB,CAAC;wBAAE,SAAS;oBAClE,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;oBAClC,IAAI,CAAC,GAAG;wBAAE,SAAS;oBACnB,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;oBAChC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACvB,UAAU,CAAC,IAAI,CAAC;4BACd,WAAW,EAAE,kBAAkB;4BAC/B,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,QAAQ,EAAE,SAAS;4BACnB,OAAO,EAAE,SAAS,OAAO,CAAC,MAAM,4BAA4B,IAAI,CAAC,IAAI,uCAAuC;yBAC7G,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,wBAAwB;gBAC1B,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;KACF;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,WAAW,EACT,+FAA+F;QACjG,SAAS,EACP,kIAAkI;QACpI,QAAQ,EAAE,SAAS;KACpB;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,WAAW,EACT,oGAAoG;QACtG,SAAS,EACP,iKAAiK;QACnK,QAAQ,EAAE,SAAS;QACnB,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;YACjB,wEAAwE;YACxE,8CAA8C;YAC9C,MAAM,IAAI,GAAG,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;YAClC,MAAM,UAAU,GAAgB,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;oBAAE,SAAS;gBACxC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACxD,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACxC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;oBAAE,SAAS;gBAChF,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;oBAAE,SAAS;gBACnC,IAAI,OAAe,CAAC;gBACpB,IAAI,CAAC;oBACH,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;gBAC3C,CAAC;gBAAC,MAAM,CAAC;oBACP,SAAS;gBACX,CAAC;gBACD,IAAI,sBAAsB,CAAC,OAAO,EAAE,kBAAkB,CAAC;oBAAE,SAAS;gBAClE,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;gBAClC,IAAI,CAAC,GAAG;oBAAE,SAAS;gBACnB,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;oBACzC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;wBAAE,SAAS;oBAC1D,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;oBACpC,IAAI,gBAAgB,CAAC,OAAO,EAAE,IAAI,GAAG,CAAC,EAAE,kBAAkB,CAAC;wBAAE,SAAS;oBACtE,UAAU,CAAC,IAAI,CAAC;wBACd,WAAW,EAAE,kBAAkB;wBAC/B,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI;wBACJ,QAAQ,EAAE,SAAS;wBACnB,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,kJAAkJ;qBAChL,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;KACF;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,WAAW,EACT,2FAA2F;QAC7F,SAAS,EACP,0JAA0J;QAC5J,QAAQ,EAAE,UAAU;QACpB,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;YACjB,wEAAwE;YACxE,8CAA8C;YAC9C,MAAM,IAAI,GAAG,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;YAClC,MAAM,UAAU,GAAgB,EAAE,CAAC;YACnC,MAAM,gBAAgB,GAAG,6CAA6C,CAAC;YACvE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;oBAAE,SAAS;gBACxC,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACxC,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACxC,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,uBAAuB,CAAC;oBAAE,SAAS;gBAClG,IAAI,uCAAuC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACtE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,kCAAkC,CAAC;oBAAE,SAAS;gBACnE,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;oBAAE,SAAS;gBAChF,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;oBAAE,SAAS;gBACnC,IAAI,OAAe,CAAC;gBACpB,IAAI,CAAC;oBACH,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;gBAC3C,CAAC;gBAAC,MAAM,CAAC;oBACP,SAAS;gBACX,CAAC;gBACD,IAAI,sBAAsB,CAAC,OAAO,EAAE,sBAAsB,CAAC;oBAAE,SAAS;gBACtE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;oBAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;oBAChD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;wBAC5B,IAAI,gBAAgB,CAAC,OAAO,EAAE,CAAC,EAAE,sBAAsB,CAAC;4BAAE,SAAS;wBACnE,UAAU,CAAC,IAAI,CAAC;4BACd,WAAW,EAAE,sBAAsB;4BACnC,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,IAAI,EAAE,CAAC,GAAG,CAAC;4BACX,QAAQ,EAAE,UAAU;4BACpB,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,oCAAoC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,mGAAmG;yBACjM,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;KACF;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,WAAW,EACT,mJAAmJ;QACrJ,SAAS,EACP,0JAA0J;QAC5J,QAAQ,EAAE,UAAU;QACpB,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;YACjB,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;YAEhE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;gBAC3B,SAAS;gBACT,cAAc;gBACd,QAAQ;gBACR,QAAQ;gBACR,SAAS;gBACT,SAAS;gBACT,SAAS;gBACT,YAAY;gBACZ,UAAU;gBACV,cAAc;aACf,CAAC,CAAC;YAEH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;gBAC5B,cAAc;gBACd,SAAS;gBACT,cAAc;aACf,CAAC,CAAC;YAEH,MAAM,gBAAgB,GAAG,yBAAyB,CAAC;YACnD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;gBAC/B,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM;gBACjD,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;gBACtC,KAAK,EAAE,MAAM,EAAE,MAAM;gBACrB,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK;gBAC3C,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK;gBACzB,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK;gBAC7B,KAAK;aACN,CAAC,CAAC;YAEH,SAAS,iBAAiB,CAAC,OAAe;gBACxC,MAAM,YAAY,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;gBAC9C,MAAM,WAAW,GAAG,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;gBAClF,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACxC,IAAI,MAAM,GAAG,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC7B,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAChD,MAAM,aAAa,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBACpD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACrD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,aAAa,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACxD,IAAI,gBAAgB,CAAC,GAAG,CAAC,aAAa,CAAC,WAAW,EAAE,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACpE,OAAO,IAAI,CAAC;YACd,CAAC;YAED,SAAS,aAAa,CAAC,MAAyC;gBAC9D,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU;oBAAE,OAAO,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC;gBAC9E,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,gBAAgB;oBAC/C,CAAC,MAAM,CAAC,QAAQ;oBAChB,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU;oBAClD,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO;oBAChC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU;oBAChD,aAAa,CAAC,GAAG,CAAE,MAAM,CAAC,MAA8B,CAAC,IAAI,CAAC,CAC/D,CAAC;YACJ,CAAC;YAED,SAAS,kBAAkB,CAAC,IAAyB;gBACnD,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,gBAAgB;oBAAE,OAAO,KAAK,CAAC;gBAChE,IACE,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,gBAAgB;oBACpD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU;oBACrD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;oBACrC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU;oBACvD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK;oBACnC,OAAO,KAAK,CAAC;gBACf,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU,EAAE,CAAC;oBACvE,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC/C,CAAC;gBACD,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO,IAAI,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;oBAC9G,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBAChD,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,SAAS,kBAAkB,CAAC,IAAyB;gBACnD,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,gBAAgB;oBAC7C,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,gBAAgB;oBACpD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU;oBACrD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;oBACrC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU;oBACvD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK,CACpC,CAAC;YACJ,CAAC;YAED,SAAS,kBAAkB,CAAC,GAAqB;gBAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;gBAClC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;oBACjB,IACE,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,kBAAkB;wBAC/C,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU;wBAC1C,IAAI,CAAC,IAAI;wBACT,kBAAkB,CAAC,IAAI,CAAC,IAA2B,CAAC,EACpD,CAAC;wBACD,OAAO,CAAC,GAAG,CAAE,IAAI,CAAC,EAA0B,CAAC,IAAI,CAAC,CAAC;oBACrD,CAAC;gBACH,CAAC,CAAC,CAAC;gBACH,OAAO,OAAO,CAAC;YACjB,CAAC;YAED,SAAS,iBAAiB,CAAC,IAAyB,EAAE,WAAgC;gBACpF,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU,EAAE,CAAC;oBAC5C,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;wBAAE,OAAO,IAAI,CAAC;oBAC7C,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;wBAAE,OAAO,IAAI,CAAC;gBAC9C,CAAC;gBACD,IAAI,kBAAkB,CAAC,IAAI,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC1C,OAAO,KAAK,CAAC;YACf,CAAC;YAED,MAAM,cAAc,GAAG,6CAA6C,CAAC;YAErE,SAAS,kBAAkB,CAAC,IAA8B,EAAE,WAAgC;gBAC1F,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAA2B,EAAE,WAAW,CAAC,CAAC,CAAC;gBAC/G,IAAI,CAAC,SAAS;oBAAE,OAAO,KAAK,CAAC;gBAC7B,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YACzE,CAAC;YAED,SAAS,uBAAuB,CAAC,KAAa;gBAC5C,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC9C,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC;YAClC,CAAC;YAED,SAAS,qBAAqB,CAAC,IAAyB;gBACtD,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,gBAAgB,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;oBAC3E,OAAO,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC1C,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,SAAS,iBAAiB,CAAC,GAAoC,EAAE,WAAgC;gBAC/F,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc,CAAC,eAAe;oBAAE,OAAO,kBAAkB,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;gBAC7F,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;oBACzE,OAAO,uBAAuB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC5C,CAAC;gBACD,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc,CAAC,gBAAgB,IAAI,GAAG,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;oBACzE,IAAI,iBAAiB,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC;wBAC/D,OAAO,IAAI,CAAC;oBACd,CAAC;gBACH,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,wEAAwE;YACxE,8CAA8C;YAC9C,MAAM,IAAI,GAAG,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;YAClC,MAAM,UAAU,GAAgB,EAAE,CAAC;YAEnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;oBAAE,SAAS;gBACxC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC7C,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;oBAAE,SAAS;gBAChF,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACxC,IAAI,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC5D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;oBAAE,SAAS;gBACnC,IAAI,OAAe,CAAC;gBACpB,IAAI,CAAC;oBACH,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;gBAC3C,CAAC;gBAAC,MAAM,CAAC;oBACP,SAAS;gBACX,CAAC;gBACD,IAAI,sBAAsB,CAAC,OAAO,EAAE,uBAAuB,CAAC;oBAAE,SAAS;gBACvE,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;gBAClC,IAAI,CAAC,GAAG;oBAAE,SAAS;gBACnB,MAAM,WAAW,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;gBAC5C,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;oBACjB,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,cAAc;wBAAE,OAAO;oBACxD,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC;wBAAE,OAAO;oBACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;oBACnC,IAAI,CAAC,QAAQ;wBAAE,OAAO;oBACtB,IAAI,CAAC,iBAAiB,CAAC,QAA2C,EAAE,WAAW,CAAC;wBAAE,OAAO;oBACzF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;oBACjC,IAAI,gBAAgB,CAAC,OAAO,EAAE,IAAI,GAAG,CAAC,EAAE,uBAAuB,CAAC;wBAAE,OAAO;oBACzE,UAAU,CAAC,IAAI,CAAC;wBACd,WAAW,EAAE,uBAAuB;wBACpC,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI;wBACJ,QAAQ,EAAE,UAAU;wBACpB,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,gGAAgG;qBAC9H,CAAC,CAAC;gBACL,CAAC,CAAC,CAAC;YACL,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;KACF;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAkB;IAC1C,EAAE,EAAE,4BAA4B;IAChC,OAAO,EAAE,OAAO;IAChB,WAAW,EAAE,gFAAgF;IAC7F,UAAU,EAAE,mBAAmB;CAChC,CAAC"}

package/dist/scope-filters.d.ts

@@ -0,0 +1,12 @@
+interface Stmt {
+    type: string;
+    exportKind?: string;
+    importKind?: string;
+    source?: unknown;
+    declaration?: unknown;
+}
+export declare function isReExportOnlyBarrel(body: Stmt[]): boolean;
+export declare function isTypeOnlyModule(body: Stmt[]): boolean;
+export declare function isTemplateFile(path: string): boolean;
+export {};
+//# sourceMappingURL=scope-filters.d.ts.map

package/dist/scope-filters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-filters.d.ts","sourceRoot":"","sources":["../src/scope-filters.ts"],"names":[],"mappings":"AAAA,UAAU,IAAI;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,OAAO,CAU1D;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,OAAO,CAQtD;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEpD"}

package/dist/scope-filters.js

@@ -0,0 +1,20 @@
+export function isReExportOnlyBarrel(body) {
+    if (body.length === 0)
+        return false;
+    return body.every((stmt) => stmt.type === "ExportAllDeclaration" ||
+        (stmt.type === "ExportNamedDeclaration" &&
+            stmt.source !== null &&
+            stmt.source !== undefined &&
+            stmt.declaration === null));
+}
+export function isTypeOnlyModule(body) {
+    if (body.length === 0)
+        return false;
+    return body.every((stmt) => (stmt.type === "ImportDeclaration" && stmt.importKind === "type") ||
+        ((stmt.type === "ExportNamedDeclaration" || stmt.type === "ExportAllDeclaration") &&
+            stmt.exportKind === "type"));
+}
+export function isTemplateFile(path) {
+    return path.endsWith(".tpl") || path.endsWith(".tpl.ts");
+}
+//# sourceMappingURL=scope-filters.js.map

package/dist/scope-filters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-filters.js","sourceRoot":"","sources":["../src/scope-filters.ts"],"names":[],"mappings":"AAQA,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,OAAO,IAAI,CAAC,KAAK,CACf,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,KAAK,sBAAsB;QACpC,CAAC,IAAI,CAAC,IAAI,KAAK,wBAAwB;YACrC,IAAI,CAAC,MAAM,KAAK,IAAI;YACpB,IAAI,CAAC,MAAM,KAAK,SAAS;YACzB,IAAI,CAAC,WAAW,KAAK,IAAI,CAAC,CAC/B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,OAAO,IAAI,CAAC,KAAK,CACf,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,IAAI,IAAI,CAAC,UAAU,KAAK,MAAM,CAAC;QACjE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,wBAAwB,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,CAAC;YAC/E,IAAI,CAAC,UAAU,KAAK,MAAM,CAAC,CAChC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;AAC3D,CAAC"}

package/package.json

@@ -0,0 +1,49 @@
+{
+  "name": "@keel_flow/pack-general-se",
+  "version": "0.2.0",
+  "private": false,
+  "type": "module",
+  "description": "General software engineering principles for Keel projects",
+  "keywords": [
+    "keel",
+    "principles",
+    "engineering"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    },
+    "./scope-filters": {
+      "import": "./dist/scope-filters.js",
+      "types": "./dist/scope-filters.d.ts"
+    }
+  },
+  "dependencies": {
+    "@typescript-eslint/typescript-estree": "^8.0.0",
+    "@keel_flow/schema": "0.2.0"
+  },
+  "devDependencies": {
+    "@types/node": "^25.9.1",
+    "@typescript-eslint/eslint-plugin": "^8.0.0",
+    "@typescript-eslint/parser": "^8.0.0",
+    "eslint": "^9.0.0",
+    "typescript": "^5.5.0",
+    "vitest": "^2.0.0"
+  },
+  "scripts": {
+    "build": "tsc",
+    "typecheck": "tsc --noEmit",
+    "test": "vitest run",
+    "lint": "eslint src"
+  }
+}