@keel_flow/pack-kb-hygiene 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-kb-hygiene
+
+Knowledge base integration principles for Keel projects: six principles enforcing citation requirements, retrieval-before-answer discipline, chunk-size hygiene, and embedding consistency — each with a `check` function for `keel verify`.
+
+Part of the [Keel](https://github.com/jglasskatz/keel) framework.
+
+## Install
+
+```
+npm install @keel_flow/pack-kb-hygiene
+```
+
+## License
+
+MIT

package/dist/__fixtures__/retrieve-call-guarded.d.ts

@@ -0,0 +1,2 @@
+export declare function searchKb(query: string, candidates: unknown[]): Promise<unknown[]>;
+//# sourceMappingURL=retrieve-call-guarded.d.ts.map

package/dist/__fixtures__/retrieve-call-guarded.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"retrieve-call-guarded.d.ts","sourceRoot":"","sources":["../../src/__fixtures__/retrieve-call-guarded.ts"],"names":[],"mappings":"AAIA,wBAAsB,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAEvF"}

package/dist/__fixtures__/retrieve-call-guarded.js

@@ -0,0 +1,6 @@
+import { retrieve } from "./retrieve-definition-only.js";
+const DEFAULT_THRESHOLD = 0.5;
+export async function searchKb(query, candidates) {
+    return retrieve({ query, candidates, minScore: DEFAULT_THRESHOLD });
+}
+//# sourceMappingURL=retrieve-call-guarded.js.map

package/dist/__fixtures__/retrieve-call-guarded.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retrieve-call-guarded.js","sourceRoot":"","sources":["../../src/__fixtures__/retrieve-call-guarded.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AAEzD,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAE9B,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,KAAa,EAAE,UAAqB;IACjE,OAAO,QAAQ,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,CAAC;AACtE,CAAC"}

package/dist/__fixtures__/retrieve-call-third-arg-guarded.d.ts

@@ -0,0 +1,6 @@
+export declare function searchKb(kb: {
+    retrieve: (q: string, k: number, opts?: {
+        minScore?: number;
+    }) => Promise<unknown[]>;
+}): Promise<unknown[]>;
+//# sourceMappingURL=retrieve-call-third-arg-guarded.d.ts.map

package/dist/__fixtures__/retrieve-call-third-arg-guarded.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"retrieve-call-third-arg-guarded.d.ts","sourceRoot":"","sources":["../../src/__fixtures__/retrieve-call-third-arg-guarded.ts"],"names":[],"mappings":"AAAA,wBAAsB,QAAQ,CAAC,EAAE,EAAE;IAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,CAAA;CAAE,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAE/I"}

package/dist/__fixtures__/retrieve-call-third-arg-guarded.js

@@ -0,0 +1,4 @@
+export async function searchKb(kb) {
+    return kb.retrieve("some query", 5, { minScore: 0.5 });
+}
+//# sourceMappingURL=retrieve-call-third-arg-guarded.js.map

package/dist/__fixtures__/retrieve-call-third-arg-guarded.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retrieve-call-third-arg-guarded.js","sourceRoot":"","sources":["../../src/__fixtures__/retrieve-call-third-arg-guarded.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,EAA4F;IACzH,OAAO,EAAE,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;AACzD,CAAC"}

package/dist/__fixtures__/retrieve-call-unguarded.d.ts

@@ -0,0 +1,2 @@
+export declare function searchKb(query: string, candidates: unknown[]): Promise<unknown[]>;
+//# sourceMappingURL=retrieve-call-unguarded.d.ts.map

package/dist/__fixtures__/retrieve-call-unguarded.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"retrieve-call-unguarded.d.ts","sourceRoot":"","sources":["../../src/__fixtures__/retrieve-call-unguarded.ts"],"names":[],"mappings":"AAEA,wBAAsB,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAGvF"}

package/dist/__fixtures__/retrieve-call-unguarded.js

@@ -0,0 +1,6 @@
+import { retrieve } from "./retrieve-definition-only.js";
+export async function searchKb(query, candidates) {
+    // eslint-disable-next-line @keel_flow/retrieval-confidence-floor
+    return retrieve({ query, candidates });
+}
+//# sourceMappingURL=retrieve-call-unguarded.js.map

package/dist/__fixtures__/retrieve-call-unguarded.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retrieve-call-unguarded.js","sourceRoot":"","sources":["../../src/__fixtures__/retrieve-call-unguarded.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AAEzD,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,KAAa,EAAE,UAAqB;IACjE,iEAAiE;IACjE,OAAO,QAAQ,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;AACzC,CAAC"}

package/dist/__fixtures__/retrieve-definition-only.d.ts

@@ -0,0 +1,6 @@
+export declare function retrieve(opts: {
+    query: string;
+    candidates: unknown[];
+    minScore?: number;
+}): Promise<unknown[]>;
+//# sourceMappingURL=retrieve-definition-only.d.ts.map

package/dist/__fixtures__/retrieve-definition-only.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"retrieve-definition-only.d.ts","sourceRoot":"","sources":["../../src/__fixtures__/retrieve-definition-only.ts"],"names":[],"mappings":"AAAA,wBAAsB,QAAQ,CAAC,IAAI,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAEpH"}

package/dist/__fixtures__/retrieve-definition-only.js

@@ -0,0 +1,4 @@
+export async function retrieve(opts) {
+    return opts.candidates;
+}
+//# sourceMappingURL=retrieve-definition-only.js.map

package/dist/__fixtures__/retrieve-definition-only.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retrieve-definition-only.js","sourceRoot":"","sources":["../../src/__fixtures__/retrieve-definition-only.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAiE;IAC9F,OAAO,IAAI,CAAC,UAAU,CAAC;AACzB,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,4 @@
+import type { PrincipleWithCheck, PrinciplePack } from "@keel_flow/schema";
+export declare const kbHygienePrinciples: PrincipleWithCheck[];
+export declare const kbHygienePack: 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;AA6HtF,eAAO,MAAM,mBAAmB,EAAE,kBAAkB,EAsHnD,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,aAK3B,CAAC"}

package/dist/index.js

@@ -0,0 +1,247 @@
+import { existsSync, readFileSync } from "fs";
+import { join } from "path";
+import { parse, AST_NODE_TYPES } from "@typescript-eslint/typescript-estree";
+const THRESHOLD = /threshold|minScore|similarity|floor/i;
+function isRetrieveCallee(callee) {
+    if (callee.type === AST_NODE_TYPES.Identifier)
+        return callee.name === "retrieve";
+    if (callee.type === AST_NODE_TYPES.MemberExpression &&
+        callee.property.type === AST_NODE_TYPES.Identifier) {
+        return callee.property.name === "retrieve";
+    }
+    return false;
+}
+function argHasThreshold(arg) {
+    if (!arg || arg.type !== AST_NODE_TYPES.ObjectExpression)
+        return false;
+    return arg.properties.some((p) => p.type === AST_NODE_TYPES.Property &&
+        p.key.type === AST_NODE_TYPES.Identifier &&
+        THRESHOLD.test(p.key.name));
+}
+function anyArgHasThreshold(args) {
+    return args.some(argHasThreshold);
+}
+function memberName(member) {
+    if (member.type === AST_NODE_TYPES.TSPropertySignature &&
+        member.key.type === AST_NODE_TYPES.Identifier) {
+        return member.key.name;
+    }
+    return null;
+}
+// True when the file defines a retrieval options *type* (the implementation
+// surface that carries the floor) yet that type declares no threshold/minScore
+// member. This catches the failure mode the principle names directly: a
+// retriever whose options interface cannot even express a confidence floor, so
+// no call site could ever pass one. It complements the call-site guard —
+// call-site syntax can be satisfied while the underlying contract has no floor.
+function definesFloorlessRetrieveOpts(ast) {
+    let floorless = false;
+    const visit = (node) => {
+        if (floorless)
+            return;
+        if (node.type === AST_NODE_TYPES.TSInterfaceDeclaration &&
+            /Retrieve.*Opts|RetrieveOpts/.test(node.id.name)) {
+            const hasFloor = node.body.body.some((m) => {
+                const name = memberName(m);
+                return name !== null && THRESHOLD.test(name);
+            });
+            if (!hasFloor) {
+                floorless = true;
+                return;
+            }
+        }
+        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)
+                        visit(child);
+                }
+            }
+            else if (value && typeof value === "object" && "type" in value) {
+                visit(value);
+            }
+        }
+    };
+    visit(ast);
+    return floorless;
+}
+// Walks the parsed program for retrieve(...) call sites lacking a confidence
+// guard. Mirrors the AST logic in @keel_flow/eslint-plugin's retrieval-confidence-floor
+// rule so editor-time and verify-time enforcement stay identical. A function
+// *declaration* named retrieve is not a CallExpression, so the definition site
+// never trips this — only actual invocations do.
+function hasUnguardedRetrieveCall(ast) {
+    let found = false;
+    const visit = (node) => {
+        if (found)
+            return;
+        if (node.type === AST_NODE_TYPES.CallExpression &&
+            isRetrieveCallee(node.callee) &&
+            !anyArgHasThreshold(node.arguments)) {
+            found = true;
+            return;
+        }
+        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)
+                        visit(child);
+                }
+            }
+            else if (value && typeof value === "object" && "type" in value) {
+                visit(value);
+            }
+        }
+    };
+    visit(ast);
+    return found;
+}
+function parseProgram(src) {
+    try {
+        return parse(src, { jsx: false, loc: false, range: false });
+    }
+    catch {
+        return null;
+    }
+}
+// Honors `@keel-ignore-file: <principle-id>` directive anywhere in source.
+function hasIgnoreFileDirective(src, principleId) {
+    const escaped = principleId.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+    return new RegExp(`@keel-ignore-file\\s*:\\s*${escaped}\\b`).test(src);
+}
+export const kbHygienePrinciples = [
+    {
+        id: "cite-or-decline",
+        description: "Every agent response derived from the KB must cite the source chunk; if no relevant chunk exists, decline rather than hallucinate",
+        rationale: "Uncited claims are indistinguishable from hallucinations; citations let users verify and build trust",
+        severity: "critical",
+    },
+    {
+        id: "retrieval-confidence-floor",
+        description: "The retrieval data path must enforce a configurable confidence floor: retrieve options carry a minScore/threshold and the retriever drops chunks scoring below it. This is a real implementation contract — proven by the retriever's unit tests — not just call-site syntax. The AST checks below remain the editor/verify guard for call sites and for options types that cannot express a floor.",
+        rationale: "Low-confidence retrieval degrades response quality and poisons reasoning with irrelevant context",
+        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.includes("kb") && !file.path.includes("retriev"))
+                    continue;
+                if (file.status === "removed")
+                    continue;
+                if (file.path.endsWith(".test.ts"))
+                    continue;
+                if (file.path.includes("__fixtures__"))
+                    continue;
+                const absPath = join(root, file.path);
+                if (!existsSync(absPath))
+                    continue;
+                try {
+                    const content = readFileSync(absPath, "utf-8");
+                    if (hasIgnoreFileDirective(content, "retrieval-confidence-floor"))
+                        continue;
+                    const ast = parseProgram(content);
+                    if (!ast)
+                        continue;
+                    if (definesFloorlessRetrieveOpts(ast)) {
+                        violations.push({
+                            principleId: "retrieval-confidence-floor",
+                            file: file.path,
+                            severity: "critical",
+                            message: `Retrieval options type in "${file.path}" has no confidence floor field. Add a minScore/threshold member so the retriever can drop sub-floor chunks.`,
+                        });
+                        continue;
+                    }
+                    if (!hasUnguardedRetrieveCall(ast))
+                        continue;
+                    violations.push({
+                        principleId: "retrieval-confidence-floor",
+                        file: file.path,
+                        severity: "critical",
+                        message: `KB retrieval in "${file.path}" does not appear to enforce a confidence threshold. Add a minScore/threshold guard.`,
+                    });
+                }
+                catch {
+                    // File unreadable; skip
+                }
+            }
+            return violations;
+        },
+    },
+    {
+        id: "kb-freshness-tracking",
+        description: "Each KB document records when it was last ingested; agents can query staleness",
+        rationale: "Stale KB content produces confident but outdated answers; freshness metadata lets the system warn users",
+        severity: "warning",
+    },
+    {
+        id: "no-grounding-on-empty",
+        description: "An agent must not proceed with a KB-grounded task if the KB has no indexed content for the workspace",
+        rationale: "An empty KB silently degrades to hallucination mode; the agent must surface this as an error, not proceed",
+        severity: "critical",
+    },
+    {
+        id: "chunk-size-bounded",
+        description: "KB chunks must be bounded to a configured maximum token size; oversized chunks degrade retrieval precision",
+        rationale: "Embedding models represent semantics at paragraph granularity; chunks spanning multiple topics produce diluted embeddings that retrieve for too many queries",
+        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.includes("kb") && !file.path.includes("chunk") && !file.path.includes("ingest"))
+                    continue;
+                if (file.status === "removed")
+                    continue;
+                const absPath = join(root, file.path);
+                if (!existsSync(absPath))
+                    continue;
+                try {
+                    const content = readFileSync(absPath, "utf-8");
+                    if (hasIgnoreFileDirective(content, "chunk-size-bounded"))
+                        continue;
+                    // Only fire on files that LOOK like chunking code, not files that
+                    // merely reference chunks (e.g. a retriever returning KBChunk).
+                    const looksLikeChunker = /function\s+chunk|export\s+(const|function)\s+chunk|\.slice\(|while\s*\(start/.test(content);
+                    if (!looksLikeChunker)
+                        continue;
+                    if (!content.match(/maxChunkSize|chunkSize|maxTokens|tokenLimit/i)) {
+                        violations.push({
+                            principleId: "chunk-size-bounded",
+                            file: file.path,
+                            severity: "warning",
+                            message: `KB chunking in "${file.path}" does not appear to enforce a size bound. Add a maxChunkSize or tokenLimit guard.`,
+                        });
+                    }
+                }
+                catch {
+                    // File unreadable; skip
+                }
+            }
+            return violations;
+        },
+    },
+    {
+        id: "embedding-model-locked",
+        description: "The embedding model for a KB index must be recorded at index creation and must not change without a full re-index",
+        rationale: "Switching embedding models invalidates all stored vectors silently; queries against mismatched vectors produce semantically incorrect results",
+        severity: "critical",
+    },
+];
+export const kbHygienePack = {
+    id: "@keel_flow/pack-kb-hygiene",
+    version: "0.1.0",
+    description: "Knowledge base integration principles for safe and reliable KB-grounded agents.",
+    principles: kbHygienePrinciples,
+};
+//# 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;AAG5F,MAAM,SAAS,GAAG,sCAAsC,CAAC;AAEzD,SAAS,gBAAgB,CAAC,MAA2B;IACnD,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU;QAAE,OAAO,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC;IACjF,IACE,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,gBAAgB;QAC/C,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU,EAClD,CAAC;QACD,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC;IAC7C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,GAAgD;IACvE,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc,CAAC,gBAAgB;QAAE,OAAO,KAAK,CAAC;IACvE,OAAO,GAAG,CAAC,UAAU,CAAC,IAAI,CACxB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,QAAQ;QAClC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU;QACxC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAC7B,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAuC;IACjE,OAAO,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,UAAU,CAAC,MAA4B;IAC9C,IACE,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,mBAAmB;QAClD,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,cAAc,CAAC,UAAU,EAC7C,CAAC;QACD,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;IACzB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,4EAA4E;AAC5E,+EAA+E;AAC/E,wEAAwE;AACxE,+EAA+E;AAC/E,yEAAyE;AACzE,gFAAgF;AAChF,SAAS,4BAA4B,CAAC,GAAqB;IACzD,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,MAAM,KAAK,GAAG,CAAC,IAAmB,EAAQ,EAAE;QAC1C,IAAI,SAAS;YAAE,OAAO;QACtB,IACE,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,sBAAsB;YACnD,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAChD,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBACzC,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC3B,OAAO,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/C,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,SAAS,GAAG,IAAI,CAAC;gBACjB,OAAO;YACT,CAAC;QACH,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,GAAG,KAAK,QAAQ;gBAAE,SAAS;YAC/B,MAAM,KAAK,GAAI,IAA2C,CAAC,GAAG,CAAC,CAAC;YAChE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;oBAC1B,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK;wBAAE,KAAK,CAAC,KAAsB,CAAC,CAAC;gBAC3F,CAAC;YACH,CAAC;iBAAM,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;gBACjE,KAAK,CAAC,KAAsB,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,GAAG,CAAC,CAAC;IACX,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,6EAA6E;AAC7E,wFAAwF;AACxF,6EAA6E;AAC7E,+EAA+E;AAC/E,iDAAiD;AACjD,SAAS,wBAAwB,CAAC,GAAqB;IACrD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,IAAmB,EAAQ,EAAE;QAC1C,IAAI,KAAK;YAAE,OAAO;QAClB,IACE,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,cAAc;YAC3C,gBAAgB,CAAC,IAAI,CAAC,MAA6B,CAAC;YACpD,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,EACnC,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,GAAG,KAAK,QAAQ;gBAAE,SAAS;YAC/B,MAAM,KAAK,GAAI,IAA2C,CAAC,GAAG,CAAC,CAAC;YAChE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;oBAC1B,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK;wBAAE,KAAK,CAAC,KAAsB,CAAC,CAAC;gBAC3F,CAAC;YACH,CAAC;iBAAM,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;gBACjE,KAAK,CAAC,KAAsB,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,GAAG,CAAC,CAAC;IACX,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,GAAW;IAC/B,IAAI,CAAC;QACH,OAAO,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,SAAS,sBAAsB,CAAC,GAAW,EAAE,WAAmB;IAC9D,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,MAAM,CAAC,MAAM,mBAAmB,GAAyB;IACvD;QACE,EAAE,EAAE,iBAAiB;QACrB,WAAW,EACT,mIAAmI;QACrI,SAAS,EACP,sGAAsG;QACxG,QAAQ,EAAE,UAAU;KACrB;IACD;QACE,EAAE,EAAE,4BAA4B;QAChC,WAAW,EACT,qYAAqY;QACvY,SAAS,EACP,kGAAkG;QACpG,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,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;oBAAE,SAAS;gBAC1E,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;oBAAE,SAAS;gBACxC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;oBAAE,SAAS;gBAC7C,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC;oBAAE,SAAS;gBACjD,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,4BAA4B,CAAC;wBAAE,SAAS;oBAC5E,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;oBAClC,IAAI,CAAC,GAAG;wBAAE,SAAS;oBACnB,IAAI,4BAA4B,CAAC,GAAG,CAAC,EAAE,CAAC;wBACtC,UAAU,CAAC,IAAI,CAAC;4BACd,WAAW,EAAE,4BAA4B;4BACzC,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,QAAQ,EAAE,UAAU;4BACpB,OAAO,EAAE,8BAA8B,IAAI,CAAC,IAAI,8GAA8G;yBAC/J,CAAC,CAAC;wBACH,SAAS;oBACX,CAAC;oBACD,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC;wBAAE,SAAS;oBAC7C,UAAU,CAAC,IAAI,CAAC;wBACd,WAAW,EAAE,4BAA4B;wBACzC,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,QAAQ,EAAE,UAAU;wBACpB,OAAO,EAAE,oBAAoB,IAAI,CAAC,IAAI,sFAAsF;qBAC7H,CAAC,CAAC;gBACL,CAAC;gBAAC,MAAM,CAAC;oBACP,wBAAwB;gBAC1B,CAAC;YACH,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;KACF;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,WAAW,EAAE,gFAAgF;QAC7F,SAAS,EACP,yGAAyG;QAC3G,QAAQ,EAAE,SAAS;KACpB;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,WAAW,EACT,sGAAsG;QACxG,SAAS,EACP,2GAA2G;QAC7G,QAAQ,EAAE,UAAU;KACrB;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,WAAW,EACT,4GAA4G;QAC9G,SAAS,EACP,8JAA8J;QAChK,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,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;oBAAE,SAAS;gBACzG,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;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,oBAAoB,CAAC;wBAAE,SAAS;oBACpE,kEAAkE;oBAClE,gEAAgE;oBAChE,MAAM,gBAAgB,GAAG,8EAA8E,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACtH,IAAI,CAAC,gBAAgB;wBAAE,SAAS;oBAChC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,8CAA8C,CAAC,EAAE,CAAC;wBACnE,UAAU,CAAC,IAAI,CAAC;4BACd,WAAW,EAAE,oBAAoB;4BACjC,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,QAAQ,EAAE,SAAS;4BACnB,OAAO,EAAE,mBAAmB,IAAI,CAAC,IAAI,oFAAoF;yBAC1H,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,wBAAwB;QAC5B,WAAW,EACT,mHAAmH;QACrH,SAAS,EACP,+IAA+I;QACjJ,QAAQ,EAAE,UAAU;KACrB;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAkB;IAC1C,EAAE,EAAE,4BAA4B;IAChC,OAAO,EAAE,OAAO;IAChB,WAAW,EAAE,iFAAiF;IAC9F,UAAU,EAAE,mBAAmB;CAChC,CAAC"}

package/package.json

@@ -0,0 +1,45 @@
+{
+  "name": "@keel_flow/pack-kb-hygiene",
+  "version": "0.2.0",
+  "private": false,
+  "type": "module",
+  "description": "Knowledge base integration principles for Keel projects",
+  "keywords": [
+    "keel",
+    "principles",
+    "knowledge-base"
+  ],
+  "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"
+    }
+  },
+  "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"
+  }
+}