@keel_flow/core 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/core
+
+Framework primitives: architecture registry (`createArchitecture`), principle registry (`createPrincipleRegistry`), agent and tool definitions (`defineAgent`, `defineTool`), knowledge-base interface (`defineKnowledgeBase`), git diff parser (`parseDiff`), the four-check verify gate (`verify`), and the built-in seam-contracts principle (`seamContractsPrinciple`).
+
+Part of the [Keel](https://github.com/jglasskatz/keel) framework.
+
+## Install
+
+```
+npm install @keel_flow/core
+```
+
+## License
+
+MIT

package/dist/agent.d.ts

@@ -0,0 +1,15 @@
+import type { ZodType } from "zod";
+export interface AgentConfig {
+    id: string;
+    description: string;
+    tools: string[];
+    prompt: string;
+    model?: string;
+}
+export interface Agent {
+    config: AgentConfig;
+    invoke(): never;
+}
+export declare function defineAgent(config: AgentConfig): Agent;
+export type { ZodType };
+//# sourceMappingURL=agent.d.ts.map

package/dist/agent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent.d.ts","sourceRoot":"","sources":["../src/agent.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,KAAK,CAAC;AAEnC,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,KAAK;IACpB,MAAM,EAAE,WAAW,CAAC;IACpB,MAAM,IAAI,KAAK,CAAC;CACjB;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,WAAW,GAAG,KAAK,CAStD;AAED,YAAY,EAAE,OAAO,EAAE,CAAC"}

package/dist/agent.js

@@ -0,0 +1,9 @@
+export function defineAgent(config) {
+    return {
+        config,
+        invoke() {
+            throw new Error("agent runtime not wired — install @keel_flow/runtime to invoke agents");
+        },
+    };
+}
+//# sourceMappingURL=agent.js.map

package/dist/agent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent.js","sourceRoot":"","sources":["../src/agent.ts"],"names":[],"mappings":"AAeA,MAAM,UAAU,WAAW,CAAC,MAAmB;IAC7C,OAAO;QACL,MAAM;QACN,MAAM;YACJ,MAAM,IAAI,KAAK,CACb,uEAAuE,CACxE,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/architecture.d.ts

@@ -0,0 +1,10 @@
+import type { ArchitectureMap, ArchitectureNode, Connection } from "@keel_flow/schema";
+export interface ArchitectureRegistry {
+    findNode(id: string): ArchitectureNode | undefined;
+    connectionsFrom(id: string): Connection[];
+    connectionsTo(id: string): Connection[];
+    nodesInContext(ctxId: string): ArchitectureNode[];
+    map: ArchitectureMap;
+}
+export declare function createArchitecture(input: unknown): ArchitectureRegistry;
+//# sourceMappingURL=architecture.d.ts.map

package/dist/architecture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"architecture.d.ts","sourceRoot":"","sources":["../src/architecture.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEvF,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAAC;IACnD,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,EAAE,CAAC;IAC1C,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,EAAE,CAAC;IACxC,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAAC;IAClD,GAAG,EAAE,eAAe,CAAC;CACtB;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,oBAAoB,CAoBvE"}

package/dist/architecture.js

@@ -0,0 +1,23 @@
+import { ArchitectureMapSchema } from "@keel_flow/schema";
+export function createArchitecture(input) {
+    const map = ArchitectureMapSchema.parse(input);
+    return {
+        map,
+        findNode(id) {
+            return map.nodes.find((n) => n.id === id);
+        },
+        connectionsFrom(id) {
+            return map.connections.filter((c) => c.from === id);
+        },
+        connectionsTo(id) {
+            return map.connections.filter((c) => c.to === id);
+        },
+        nodesInContext(ctxId) {
+            const ctx = map.contexts.find((c) => c.id === ctxId);
+            if (!ctx)
+                return [];
+            return map.nodes.filter((n) => ctx.nodeIds.includes(n.id));
+        },
+    };
+}
+//# sourceMappingURL=architecture.js.map

package/dist/architecture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"architecture.js","sourceRoot":"","sources":["../src/architecture.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAW1D,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,MAAM,GAAG,GAAG,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAE/C,OAAO;QACL,GAAG;QACH,QAAQ,CAAC,EAAU;YACjB,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5C,CAAC;QACD,eAAe,CAAC,EAAU;YACxB,OAAO,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,aAAa,CAAC,EAAU;YACtB,OAAO,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACpD,CAAC;QACD,cAAc,CAAC,KAAa;YAC1B,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;YACrD,IAAI,CAAC,GAAG;gBAAE,OAAO,EAAE,CAAC;YACpB,OAAO,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7D,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/command-rules.d.ts

@@ -0,0 +1,20 @@
+export type RuleDecision = "forbidden" | "discouraged";
+export interface PrefixRule {
+    pattern: string[][];
+    decision: RuleDecision;
+    justification: string;
+}
+export interface CommandRuleSet {
+    rules: PrefixRule[];
+}
+export interface RuleVerdict {
+    decision: RuleDecision;
+    justification: string;
+    pattern: string[][];
+}
+export declare function prefixRule(rule: PrefixRule): PrefixRule;
+export declare function defineCommandRules(...rules: PrefixRule[]): CommandRuleSet;
+export declare function matchesPrefixRule(rule: PrefixRule, commandLine: string): boolean;
+export declare function coerceCommandRuleSet(mod: unknown): CommandRuleSet;
+export declare function evaluateCommand(ruleSet: CommandRuleSet, commandLine: string): RuleVerdict | null;
+//# sourceMappingURL=command-rules.d.ts.map

package/dist/command-rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"command-rules.d.ts","sourceRoot":"","sources":["../src/command-rules.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,aAAa,CAAC;AAEvD,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC;IACpB,QAAQ,EAAE,YAAY,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,UAAU,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,YAAY,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC;CACrB;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAoBvD;AAED,wBAAgB,kBAAkB,CAAC,GAAG,KAAK,EAAE,UAAU,EAAE,GAAG,cAAc,CAEzE;AAMD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAOhF;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,OAAO,GAAG,cAAc,CAOjE;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAOhG"}

package/dist/command-rules.js

@@ -0,0 +1,52 @@
+export function prefixRule(rule) {
+    if (!Array.isArray(rule.pattern) || rule.pattern.length === 0) {
+        throw new Error("prefixRule: pattern must be a non-empty array of token positions");
+    }
+    for (const position of rule.pattern) {
+        if (!Array.isArray(position) ||
+            position.length === 0 ||
+            position.some((t) => typeof t !== "string" || t.length === 0)) {
+            throw new Error("prefixRule: each pattern position must be a non-empty array of non-empty strings");
+        }
+    }
+    if (rule.decision !== "forbidden" && rule.decision !== "discouraged") {
+        throw new Error(`prefixRule: decision must be "forbidden" or "discouraged", got "${String(rule.decision)}"`);
+    }
+    if (typeof rule.justification !== "string" || rule.justification.trim().length === 0) {
+        throw new Error("prefixRule: justification is required");
+    }
+    return rule;
+}
+export function defineCommandRules(...rules) {
+    return { rules };
+}
+function tokenize(commandLine) {
+    return commandLine.trim().split(/\s+/).filter((t) => t.length > 0);
+}
+export function matchesPrefixRule(rule, commandLine) {
+    const tokens = tokenize(commandLine).filter((t) => !t.startsWith("-"));
+    if (tokens.length < rule.pattern.length)
+        return false;
+    for (let i = 0; i < rule.pattern.length; i++) {
+        if (!rule.pattern[i].includes(tokens[i]))
+            return false;
+    }
+    return true;
+}
+export function coerceCommandRuleSet(mod) {
+    const m = (mod ?? {});
+    const set = (m["default"] ?? m["keelCommandRules"]);
+    if (!set || !Array.isArray(set.rules)) {
+        throw new Error("command rules module must default-export a CommandRuleSet (defineCommandRules(...))");
+    }
+    return { rules: set.rules.map((r) => prefixRule(r)) };
+}
+export function evaluateCommand(ruleSet, commandLine) {
+    for (const rule of ruleSet.rules) {
+        if (matchesPrefixRule(rule, commandLine)) {
+            return { decision: rule.decision, justification: rule.justification, pattern: rule.pattern };
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=command-rules.js.map

package/dist/command-rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"command-rules.js","sourceRoot":"","sources":["../src/command-rules.ts"],"names":[],"mappings":"AAkBA,MAAM,UAAU,UAAU,CAAC,IAAgB;IACzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;IACtF,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACpC,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YACxB,QAAQ,CAAC,MAAM,KAAK,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,EAC7D,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,kFAAkF,CAAC,CAAC;QACtG,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,IAAI,IAAI,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;QACrE,MAAM,IAAI,KAAK,CAAC,mEAAmE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC/G,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,aAAa,KAAK,QAAQ,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrF,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,GAAG,KAAmB;IACvD,OAAO,EAAE,KAAK,EAAE,CAAC;AACnB,CAAC;AAED,SAAS,QAAQ,CAAC,WAAmB;IACnC,OAAO,WAAW,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAgB,EAAE,WAAmB;IACrE,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IACvE,IAAI,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;YAAE,OAAO,KAAK,CAAC;IAC3D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,GAAY;IAC/C,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,CAA4B,CAAC;IACjD,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,kBAAkB,CAAC,CAA+B,CAAC;IAClF,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,qFAAqF,CAAC,CAAC;IACzG,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,OAAuB,EAAE,WAAmB;IAC1E,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACjC,IAAI,iBAAiB,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;YACzC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/F,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/corpus/fixtures.d.ts

@@ -0,0 +1,13 @@
+export interface CorpusCase {
+    id: string;
+    principleId: string;
+    expect: "flag" | "clean";
+    files: Array<{
+        path: string;
+        status: "added" | "modified" | "removed";
+        content?: string;
+    }>;
+}
+export type CorpusFile = CorpusCase["files"][number];
+export declare const corpus: CorpusCase[];
+//# sourceMappingURL=fixtures.d.ts.map

package/dist/corpus/fixtures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixtures.d.ts","sourceRoot":"","sources":["../../src/corpus/fixtures.ts"],"names":[],"mappings":"AAGA,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IACzB,KAAK,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,OAAO,GAAG,UAAU,GAAG,SAAS,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC5F;AAED,MAAM,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC;AAErD,eAAO,MAAM,MAAM,EAAE,UAAU,EAoN9B,CAAC"}

package/dist/corpus/fixtures.js

@@ -0,0 +1,208 @@
+// @keel-ignore-file: naming-is-design
+// @keel-ignore-file: no-todo-comments
+export const corpus = [
+    {
+        id: "tac-flag",
+        principleId: "tests-as-contracts",
+        expect: "flag",
+        files: [{ path: "packages/p/src/widget.ts", status: "added" }],
+    },
+    {
+        id: "tac-clean",
+        principleId: "tests-as-contracts",
+        expect: "clean",
+        files: [
+            { path: "packages/p/src/gadget.ts", status: "added", content: "export const gadget = 1;\n" },
+            { path: "packages/p/src/gadget.test.ts", status: "added", content: "export {};\n" },
+        ],
+    },
+    {
+        id: "wwi-flag",
+        principleId: "wrong-way-impossible",
+        expect: "flag",
+        files: [
+            { path: "src/loose.ts", status: "added", content: "export function f(x: any) { return x; }\n" },
+        ],
+    },
+    {
+        id: "wwi-clean-justified",
+        principleId: "wrong-way-impossible",
+        expect: "clean",
+        files: [
+            {
+                path: "src/justified.ts",
+                status: "added",
+                content: "// eslint-disable-next-line @typescript-eslint/no-explicit-any -- SDK boundary, shape unknown\nexport function g(x: any) { return x; }\n",
+            },
+        ],
+    },
+    {
+        id: "wwi-clean-typed",
+        principleId: "wrong-way-impossible",
+        expect: "clean",
+        files: [
+            {
+                path: "src/typed.ts",
+                status: "added",
+                content: "export function h(x: unknown) { return x; }\n",
+            },
+        ],
+    },
+    {
+        id: "nid-flag",
+        principleId: "naming-is-design",
+        expect: "flag",
+        files: [
+            {
+                path: "src/vague.ts",
+                status: "added",
+                content: "const data = 1; const info = 2; const temp = 3; const obj = 4;\n",
+            },
+        ],
+    },
+    {
+        id: "nid-clean",
+        principleId: "naming-is-design",
+        expect: "clean",
+        files: [
+            {
+                path: "src/precise.ts",
+                status: "added",
+                content: "const userCount = 1; const retryBudget = 2;\n",
+            },
+        ],
+    },
+    {
+        id: "todo-flag",
+        principleId: "no-todo-comments",
+        expect: "flag",
+        files: [
+            {
+                path: "src/todo.ts",
+                status: "modified",
+                content: "export const x = 1; // TODO: fix later\n",
+            },
+        ],
+    },
+    {
+        id: "todo-clean-string",
+        principleId: "no-todo-comments",
+        expect: "clean",
+        files: [
+            {
+                path: "src/todo-clean.ts",
+                status: "added",
+                content: 'export const label = "TODO list page";\n',
+            },
+        ],
+    },
+    {
+        id: "todo-clean-ignore",
+        principleId: "no-todo-comments",
+        expect: "clean",
+        files: [
+            {
+                path: "src/todo-ignore.ts",
+                status: "modified",
+                content: "// @keel-ignore-next-line: no-todo-comments\n// TODO: justified in commit\nexport const y = 1;\n",
+            },
+        ],
+    },
+    {
+        id: "tsl-flag",
+        principleId: "tool-schemas-are-load-bearing",
+        expect: "flag",
+        files: [
+            {
+                path: "src/tools/bare.ts",
+                status: "added",
+                content: 'export const bareTool = { name: "bare", run: () => 1 };\n',
+            },
+        ],
+    },
+    {
+        id: "tsl-clean",
+        principleId: "tool-schemas-are-load-bearing",
+        expect: "clean",
+        files: [
+            {
+                path: "src/tools/typed.ts",
+                status: "added",
+                content: 'import { z } from "zod";\nexport const inputSchema = z.object({ q: z.string() });\n',
+            },
+        ],
+    },
+    {
+        id: "tft-flag",
+        principleId: "tool-failures-are-typed",
+        expect: "flag",
+        files: [
+            {
+                path: "src/tools/throws.ts",
+                status: "added",
+                content: 'import { z } from "zod";\nexport const inputSchema = z.object({});\nexport function run() { throw new Error("boom"); }\n',
+            },
+        ],
+    },
+    {
+        id: "tft-clean",
+        principleId: "tool-failures-are-typed",
+        expect: "clean",
+        files: [
+            {
+                path: "src/tools/typed-err.ts",
+                status: "added",
+                content: 'import { z } from "zod";\nexport const inputSchema = z.object({});\nexport type ToolError = { kind: string };\nexport function run(): ToolError { return { kind: "bad" }; }\n',
+            },
+        ],
+    },
+    {
+        id: "csb-flag",
+        principleId: "chunk-size-bounded",
+        expect: "flag",
+        files: [
+            {
+                path: "src/kb/chunk-unbounded.ts",
+                status: "added",
+                content: "export function chunk(text: string) { const out: string[] = []; let start = 0; while (start < text.length) { out.push(text.slice(start, start + 100)); start += 100; } return out; }\n",
+            },
+        ],
+    },
+    {
+        id: "csb-clean",
+        principleId: "chunk-size-bounded",
+        expect: "clean",
+        files: [
+            {
+                path: "src/kb/chunk-bounded.ts",
+                status: "added",
+                content: "export function chunk(text: string, maxChunkSize = 100) { const out: string[] = []; let start = 0; while (start < text.length) { out.push(text.slice(start, start + maxChunkSize)); start += maxChunkSize; } return out; }\n",
+            },
+        ],
+    },
+    {
+        id: "rcf-flag",
+        principleId: "retrieval-confidence-floor",
+        expect: "flag",
+        files: [
+            {
+                path: "src/kb/retrieve-loose.ts",
+                status: "added",
+                content: "declare function retrieve(q: string): string[];\nexport function search(q: string) { return retrieve(q); }\n",
+            },
+        ],
+    },
+    {
+        id: "rcf-clean",
+        principleId: "retrieval-confidence-floor",
+        expect: "clean",
+        files: [
+            {
+                path: "src/kb/retrieve-floored.ts",
+                status: "added",
+                content: "declare function retrieve(opts: { q: string; minScore: number }): { score: number }[];\nconst minScore = 0.7;\nexport function search(q: string) { return retrieve({ q, minScore }); }\n",
+            },
+        ],
+    },
+];
+//# sourceMappingURL=fixtures.js.map

package/dist/corpus/fixtures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixtures.js","sourceRoot":"","sources":["../../src/corpus/fixtures.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC,sCAAsC;AAWtC,MAAM,CAAC,MAAM,MAAM,GAAiB;IAClC;QACE,EAAE,EAAE,UAAU;QACd,WAAW,EAAE,oBAAoB;QACjC,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;KAC/D;IACD;QACE,EAAE,EAAE,WAAW;QACf,WAAW,EAAE,oBAAoB;QACjC,MAAM,EAAE,OAAO;QACf,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,0BAA0B,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,4BAA4B,EAAE;YAC5F,EAAE,IAAI,EAAE,+BAA+B,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE;SACpF;KACF;IACD;QACE,EAAE,EAAE,UAAU;QACd,WAAW,EAAE,sBAAsB;QACnC,MAAM,EAAE,MAAM;QACd,KAAK,EAAE;YACL,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,2CAA2C,EAAE;SAChG;KACF;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,WAAW,EAAE,sBAAsB;QACnC,MAAM,EAAE,OAAO;QACf,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,OAAO;gBACf,OAAO,EACL,0IAA0I;aAC7I;SACF;KACF;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,WAAW,EAAE,sBAAsB;QACnC,MAAM,EAAE,OAAO;QACf,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,OAAO;gBACf,OAAO,EAAE,+CAA+C;aACzD;SACF;KACF;IACD;QACE,EAAE,EAAE,UAAU;QACd,WAAW,EAAE,kBAAkB;QAC/B,MAAM,EAAE,MAAM;QACd,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,OAAO;gBACf,OAAO,EAAE,kEAAkE;aAC5E;SACF;KACF;IACD;QACE,EAAE,EAAE,WAAW;QACf,WAAW,EAAE,kBAAkB;QAC/B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,OAAO;gBACf,OAAO,EAAE,+CAA+C;aACzD;SACF;KACF;IACD;QACE,EAAE,EAAE,WAAW;QACf,WAAW,EAAE,kBAAkB;QAC/B,MAAM,EAAE,MAAM;QACd,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,aAAa;gBACnB,MAAM,EAAE,UAAU;gBAClB,OAAO,EAAE,0CAA0C;aACpD;SACF;KACF;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,WAAW,EAAE,kBAAkB;QAC/B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,mBAAmB;gBACzB,MAAM,EAAE,OAAO;gBACf,OAAO,EAAE,0CAA0C;aACpD;SACF;KACF;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,WAAW,EAAE,kBAAkB;QAC/B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,oBAAoB;gBAC1B,MAAM,EAAE,UAAU;gBAClB,OAAO,EACL,kGAAkG;aACrG;SACF;KACF;IACD;QACE,EAAE,EAAE,UAAU;QACd,WAAW,EAAE,+BAA+B;QAC5C,MAAM,EAAE,MAAM;QACd,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,mBAAmB;gBACzB,MAAM,EAAE,OAAO;gBACf,OAAO,EAAE,2DAA2D;aACrE;SACF;KACF;IACD;QACE,EAAE,EAAE,WAAW;QACf,WAAW,EAAE,+BAA+B;QAC5C,MAAM,EAAE,OAAO;QACf,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,oBAAoB;gBAC1B,MAAM,EAAE,OAAO;gBACf,OAAO,EAAE,qFAAqF;aAC/F;SACF;KACF;IACD;QACE,EAAE,EAAE,UAAU;QACd,WAAW,EAAE,yBAAyB;QACtC,MAAM,EAAE,MAAM;QACd,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,MAAM,EAAE,OAAO;gBACf,OAAO,EACL,0HAA0H;aAC7H;SACF;KACF;IACD;QACE,EAAE,EAAE,WAAW;QACf,WAAW,EAAE,yBAAyB;QACtC,MAAM,EAAE,OAAO;QACf,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,wBAAwB;gBAC9B,MAAM,EAAE,OAAO;gBACf,OAAO,EACL,+KAA+K;aAClL;SACF;KACF;IACD;QACE,EAAE,EAAE,UAAU;QACd,WAAW,EAAE,oBAAoB;QACjC,MAAM,EAAE,MAAM;QACd,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,2BAA2B;gBACjC,MAAM,EAAE,OAAO;gBACf,OAAO,EACL,wLAAwL;aAC3L;SACF;KACF;IACD;QACE,EAAE,EAAE,WAAW;QACf,WAAW,EAAE,oBAAoB;QACjC,MAAM,EAAE,OAAO;QACf,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,OAAO;gBACf,OAAO,EACL,8NAA8N;aACjO;SACF;KACF;IACD;QACE,EAAE,EAAE,UAAU;QACd,WAAW,EAAE,4BAA4B;QACzC,MAAM,EAAE,MAAM;QACd,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,0BAA0B;gBAChC,MAAM,EAAE,OAAO;gBACf,OAAO,EACL,8GAA8G;aACjH;SACF;KACF;IACD;QACE,EAAE,EAAE,WAAW;QACf,WAAW,EAAE,4BAA4B;QACzC,MAAM,EAAE,OAAO;QACf,KAAK,EAAE;YACL;gBACE,IAAI,EAAE,4BAA4B;gBAClC,MAAM,EAAE,OAAO;gBACf,OAAO,EACL,0LAA0L;aAC7L;SACF;KACF;CACF,CAAC"}

package/dist/corpus/run.d.ts

@@ -0,0 +1,12 @@
+import type { ArchitectureMap } from "@keel_flow/schema";
+import type { PrincipleRegistry } from "../principles.js";
+import type { CorpusCase } from "./fixtures.js";
+export interface CorpusResult {
+    id: string;
+    principleId: string;
+    expect: "flag" | "clean";
+    fired: boolean;
+    correct: boolean;
+}
+export declare function runCorpus(registry: PrincipleRegistry, cases: CorpusCase[], emptyArchitecture: ArchitectureMap): CorpusResult[];
+//# sourceMappingURL=run.d.ts.map

package/dist/corpus/run.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/corpus/run.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAG1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAEhD,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IACzB,KAAK,EAAE,OAAO,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,wBAAgB,SAAS,CACvB,QAAQ,EAAE,iBAAiB,EAC3B,KAAK,EAAE,UAAU,EAAE,EACnB,iBAAiB,EAAE,eAAe,GACjC,YAAY,EAAE,CA0ChB"}

package/dist/corpus/run.js

@@ -0,0 +1,45 @@
+import { mkdtempSync, mkdirSync, writeFileSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join, dirname } from "node:path";
+import { checkPrinciplesCompliance } from "../verify.js";
+export function runCorpus(registry, cases, emptyArchitecture) {
+    const results = [];
+    for (const corpusCase of cases) {
+        const root = mkdtempSync(join(tmpdir(), "keel-corpus-"));
+        for (const file of corpusCase.files) {
+            if (file.content === undefined)
+                continue;
+            const absPath = join(root, file.path);
+            mkdirSync(dirname(absPath), { recursive: true });
+            writeFileSync(absPath, file.content);
+        }
+        const diff = {
+            files: corpusCase.files.map((file) => ({
+                path: file.path,
+                status: file.status,
+                linesAdded: 0,
+                linesRemoved: 0,
+            })),
+        };
+        const prev = process.cwd();
+        process.chdir(root);
+        let violations;
+        try {
+            ({ violations } = checkPrinciplesCompliance(diff, registry, emptyArchitecture));
+        }
+        finally {
+            process.chdir(prev);
+        }
+        const fired = violations.some((v) => v.principleId === corpusCase.principleId);
+        const correct = corpusCase.expect === "flag" ? fired : !fired;
+        results.push({
+            id: corpusCase.id,
+            principleId: corpusCase.principleId,
+            expect: corpusCase.expect,
+            fired,
+            correct,
+        });
+    }
+    return results;
+}
+//# sourceMappingURL=run.js.map

package/dist/corpus/run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/corpus/run.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAG1C,OAAO,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AAYzD,MAAM,UAAU,SAAS,CACvB,QAA2B,EAC3B,KAAmB,EACnB,iBAAkC;IAElC,MAAM,OAAO,GAAmB,EAAE,CAAC;IAEnC,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;QACzD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACpC,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;gBAAE,SAAS;YACzC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACjD,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,CAAC;QAED,MAAM,IAAI,GAAS;YACjB,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACrC,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,UAAU,EAAE,CAAC;gBACb,YAAY,EAAE,CAAC;aAChB,CAAC,CAAC;SACJ,CAAC;QAEF,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC3B,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACpB,IAAI,UAAU,CAAC;QACf,IAAI,CAAC;YACH,CAAC,EAAE,UAAU,EAAE,GAAG,yBAAyB,CAAC,IAAI,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAAC;QAClF,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;QAED,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,UAAU,CAAC,WAAW,CAAC,CAAC;QAC/E,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC9D,OAAO,CAAC,IAAI,CAAC;YACX,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,KAAK;YACL,OAAO;SACR,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/corpus/score.d.ts

@@ -0,0 +1,6 @@
+import type { CorpusResult } from "./run.js";
+export declare function sensitivity(results: CorpusResult[]): number;
+export declare function specificity(results: CorpusResult[]): number;
+export declare function balancedAccuracy(results: CorpusResult[]): number;
+export declare function youdenJ(results: CorpusResult[]): number;
+//# sourceMappingURL=score.d.ts.map

package/dist/corpus/score.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"score.d.ts","sourceRoot":"","sources":["../../src/corpus/score.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAE7C,wBAAgB,WAAW,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,MAAM,CAI3D;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,MAAM,CAI3D;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,MAAM,CAEhE;AAED,wBAAgB,OAAO,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,MAAM,CAEvD"}

package/dist/corpus/score.js

@@ -0,0 +1,19 @@
+export function sensitivity(results) {
+    const positives = results.filter((r) => r.expect === "flag");
+    if (positives.length === 0)
+        return 1;
+    return positives.filter((r) => r.fired).length / positives.length;
+}
+export function specificity(results) {
+    const negatives = results.filter((r) => r.expect === "clean");
+    if (negatives.length === 0)
+        return 1;
+    return negatives.filter((r) => !r.fired).length / negatives.length;
+}
+export function balancedAccuracy(results) {
+    return (sensitivity(results) + specificity(results)) / 2;
+}
+export function youdenJ(results) {
+    return sensitivity(results) + specificity(results) - 1;
+}
+//# sourceMappingURL=score.js.map

package/dist/corpus/score.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"score.js","sourceRoot":"","sources":["../../src/corpus/score.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,WAAW,CAAC,OAAuB;IACjD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAC7D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACrC,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,OAAuB;IACjD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;IAC9D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACrC,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,OAAuB;IACtD,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,OAAuB;IAC7C,OAAO,WAAW,CAAC,OAAO,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AACzD,CAAC"}

package/dist/diff.d.ts

@@ -0,0 +1,17 @@
+export interface DiffHunk {
+    newStart: number;
+    newLines: number;
+}
+export interface DiffFile {
+    path: string;
+    status: "added" | "modified" | "removed";
+    linesAdded: number;
+    linesRemoved: number;
+    hunks?: DiffHunk[];
+    addedText?: string;
+}
+export interface Diff {
+    files: DiffFile[];
+}
+export declare function parseDiff(rawDiff: string): Diff;
+//# sourceMappingURL=diff.d.ts.map

package/dist/diff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../src/diff.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,QAAQ;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,GAAG,UAAU,GAAG,SAAS,CAAC;IACzC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,IAAI;IACnB,KAAK,EAAE,QAAQ,EAAE,CAAC;CACnB;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CA8E/C"}

package/dist/diff.js

@@ -0,0 +1,61 @@
+export function parseDiff(rawDiff) {
+    const files = [];
+    const lines = rawDiff.split("\n");
+    let current = null;
+    const flush = () => {
+        if (current !== null) {
+            files.push({
+                path: current.path ?? "",
+                status: current.status ?? "modified",
+                linesAdded: current.linesAdded,
+                linesRemoved: current.linesRemoved,
+                hunks: current.hunks,
+                addedText: current.addedLines.join("\n"),
+            });
+        }
+    };
+    for (const line of lines) {
+        if (line.startsWith("diff --git ")) {
+            flush();
+            const match = /^diff --git a\/.+ b\/(.+)$/.exec(line);
+            current = {
+                ...(match?.[1] !== undefined ? { path: match[1] } : {}),
+                linesAdded: 0,
+                linesRemoved: 0,
+                hunks: [],
+                addedLines: [],
+            };
+            continue;
+        }
+        if (!current)
+            continue;
+        if (line.startsWith("new file mode")) {
+            current.status = "added";
+            continue;
+        }
+        if (line.startsWith("deleted file mode")) {
+            current.status = "removed";
+            continue;
+        }
+        const hunkHeader = /^@@ -\d+(?:,\d+)? \+(\d+)(?:,(\d+))? @@/.exec(line);
+        if (hunkHeader) {
+            current.hunks.push({
+                newStart: parseInt(hunkHeader[1] ?? "0", 10),
+                newLines: hunkHeader[2] !== undefined ? parseInt(hunkHeader[2], 10) : 1,
+            });
+            continue;
+        }
+        if (line.startsWith("+") && !line.startsWith("+++")) {
+            current.linesAdded += 1;
+            current.addedLines.push(line.slice(1));
+            continue;
+        }
+        if (line.startsWith("-") && !line.startsWith("---")) {
+            current.linesRemoved += 1;
+            continue;
+        }
+    }
+    flush();
+    return { files };
+}
+//# sourceMappingURL=diff.js.map

package/dist/diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../src/diff.ts"],"names":[],"mappings":"AAkBA,MAAM,UAAU,SAAS,CAAC,OAAe;IACvC,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAElC,IAAI,OAAO,GASA,IAAI,CAAC;IAEhB,MAAM,KAAK,GAAG,GAAG,EAAE;QACjB,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE;gBACxB,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,UAAU;gBACpC,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;aACzC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;YACnC,KAAK,EAAE,CAAC;YACR,MAAM,KAAK,GAAG,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,OAAO,GAAG;gBACR,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvD,UAAU,EAAE,CAAC;gBACb,YAAY,EAAE,CAAC;gBACf,KAAK,EAAE,EAAE;gBACT,UAAU,EAAE,EAAE;aACf,CAAC;YACF,SAAS;QACX,CAAC;QAED,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,IAAI,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;YACrC,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC;YACzB,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACzC,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC;YAC3B,SAAS;QACX,CAAC;QAED,MAAM,UAAU,GAAG,yCAAyC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;gBACjB,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC;gBAC5C,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;aACxE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;YACxB,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,OAAO,CAAC,YAAY,IAAI,CAAC,CAAC;YAC1B,SAAS;QACX,CAAC;IACH,CAAC;IAED,KAAK,EAAE,CAAC;IAER,OAAO,EAAE,KAAK,EAAE,CAAC;AACnB,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,17 @@
+export { createArchitecture } from "./architecture.js";
+export { createPrincipleRegistry } from "./principles.js";
+export type { PrincipleRegistry } from "./principles.js";
+export { defineAgent } from "./agent.js";
+export type { AgentConfig, Agent } from "./agent.js";
+export { defineTool } from "./tool.js";
+export type { ToolConfig, Tool } from "./tool.js";
+export { defineKnowledgeBase } from "./knowledge-base.js";
+export type { KnowledgeBase, KBChunk, KBDocument, KBAdapter, KBRetrieveOpts } from "./knowledge-base.js";
+export { parseDiff } from "./diff.js";
+export type { Diff, DiffFile, DiffHunk } from "./diff.js";
+export { verify, detectPackageManager, resolveLintCommands } from "./verify.js";
+export type { VerifyOptions, SpecChecker, PackageManager } from "./verify.js";
+export { seamContractsPrinciple } from "./seam-contracts.js";
+export { prefixRule, defineCommandRules, matchesPrefixRule, evaluateCommand, coerceCommandRuleSet, } from "./command-rules.js";
+export type { PrefixRule, CommandRuleSet, RuleDecision, RuleVerdict, } from "./command-rules.js";
+//# 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":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAC1D,YAAY,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,YAAY,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,YAAY,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACzG,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC1D,OAAO,EAAE,MAAM,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAChF,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EACL,UAAU,EACV,kBAAkB,EAClB,iBAAiB,EACjB,eAAe,EACf,oBAAoB,GACrB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,UAAU,EACV,cAAc,EACd,YAAY,EACZ,WAAW,GACZ,MAAM,oBAAoB,CAAC"}

package/dist/index.js

@@ -0,0 +1,10 @@
+export { createArchitecture } from "./architecture.js";
+export { createPrincipleRegistry } from "./principles.js";
+export { defineAgent } from "./agent.js";
+export { defineTool } from "./tool.js";
+export { defineKnowledgeBase } from "./knowledge-base.js";
+export { parseDiff } from "./diff.js";
+export { verify, detectPackageManager, resolveLintCommands } from "./verify.js";
+export { seamContractsPrinciple } from "./seam-contracts.js";
+export { prefixRule, defineCommandRules, matchesPrefixRule, evaluateCommand, coerceCommandRuleSet, } from "./command-rules.js";
+//# 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,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAE1D,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAEvC,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE1D,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,OAAO,EAAE,MAAM,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAEhF,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EACL,UAAU,EACV,kBAAkB,EAClB,iBAAiB,EACjB,eAAe,EACf,oBAAoB,GACrB,MAAM,oBAAoB,CAAC"}

package/dist/knowledge-base.d.ts

@@ -0,0 +1,25 @@
+export interface KBChunk {
+    id: string;
+    content: string;
+    source: string;
+    score: number;
+}
+export interface KBDocument {
+    id: string;
+    content: string;
+    source: string;
+    metadata?: Record<string, unknown>;
+}
+export interface KBRetrieveOpts {
+    minScore?: number;
+}
+export interface KnowledgeBase {
+    retrieve(query: string, k: number, opts?: KBRetrieveOpts): Promise<KBChunk[]>;
+    ingest(doc: KBDocument): Promise<void>;
+}
+export interface KBAdapter {
+    retrieve(query: string, k: number, opts?: KBRetrieveOpts): Promise<KBChunk[]>;
+    ingest(doc: KBDocument): Promise<void>;
+}
+export declare function defineKnowledgeBase(adapter: KBAdapter): KnowledgeBase;
+//# sourceMappingURL=knowledge-base.d.ts.map

package/dist/knowledge-base.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge-base.d.ts","sourceRoot":"","sources":["../src/knowledge-base.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,OAAO;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9E,MAAM,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACxC;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9E,MAAM,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACxC;AAED,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,SAAS,GAAG,aAAa,CAKrE"}

package/dist/knowledge-base.js

@@ -0,0 +1,7 @@
+export function defineKnowledgeBase(adapter) {
+    return {
+        retrieve: (query, k, opts) => adapter.retrieve(query, k, opts),
+        ingest: (doc) => adapter.ingest(doc),
+    };
+}
+//# sourceMappingURL=knowledge-base.js.map

package/dist/knowledge-base.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge-base.js","sourceRoot":"","sources":["../src/knowledge-base.ts"],"names":[],"mappings":"AA4BA,MAAM,UAAU,mBAAmB,CAAC,OAAkB;IACpD,OAAO;QACL,QAAQ,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC;QAC9D,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC;KACrC,CAAC;AACJ,CAAC"}

package/dist/principles.d.ts

@@ -0,0 +1,11 @@
+import type { PrincipleWithCheck, PrinciplePack } from "@keel_flow/schema";
+import type { ArchitectureNode } from "@keel_flow/schema";
+export interface PrincipleRegistry {
+    get(id: string): PrincipleWithCheck | undefined;
+    all(): PrincipleWithCheck[];
+    applicable(node: ArchitectureNode): PrincipleWithCheck[];
+}
+export declare function createPrincipleRegistry(packs: Array<{
+    principles: PrincipleWithCheck[];
+} | PrinciplePack>): PrincipleRegistry;
+//# sourceMappingURL=principles.d.ts.map

package/dist/principles.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"principles.d.ts","sourceRoot":"","sources":["../src/principles.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAE1D,MAAM,WAAW,iBAAiB;IAChC,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS,CAAC;IAChD,GAAG,IAAI,kBAAkB,EAAE,CAAC;IAC5B,UAAU,CAAC,IAAI,EAAE,gBAAgB,GAAG,kBAAkB,EAAE,CAAC;CAC1D;AAED,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,KAAK,CAAC;IAAE,UAAU,EAAE,kBAAkB,EAAE,CAAA;CAAE,GAAG,aAAa,CAAC,GACjE,iBAAiB,CA0BnB"}

package/dist/principles.js

@@ -0,0 +1,26 @@
+export function createPrincipleRegistry(packs) {
+    // Last-wins deduplication: if two packs define the same principle id,
+    // the pack that appears later in the array overrides the earlier one.
+    // This lets downstream consumers refine upstream principles without forking.
+    const byId = new Map();
+    for (const pack of packs) {
+        for (const principle of pack.principles) {
+            byId.set(principle.id, principle);
+        }
+    }
+    const principles = Array.from(byId.values());
+    return {
+        get(id) {
+            return byId.get(id);
+        },
+        all() {
+            return principles;
+        },
+        // All principles are considered applicable to all nodes for now.
+        // Future refinement: match by layer, tech stack, or explicit node tagging.
+        applicable(_node) {
+            return principles;
+        },
+    };
+}
+//# sourceMappingURL=principles.js.map

package/dist/principles.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"principles.js","sourceRoot":"","sources":["../src/principles.ts"],"names":[],"mappings":"AASA,MAAM,UAAU,uBAAuB,CACrC,KAAkE;IAElE,sEAAsE;IACtE,sEAAsE;IACtE,6EAA6E;IAC7E,MAAM,IAAI,GAAG,IAAI,GAAG,EAA8B,CAAC;IACnD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACxC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAE7C,OAAO;QACL,GAAG,CAAC,EAAU;YACZ,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACtB,CAAC;QACD,GAAG;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,iEAAiE;QACjE,2EAA2E;QAC3E,UAAU,CAAC,KAAuB;YAChC,OAAO,UAAU,CAAC;QACpB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/seam-contracts.d.ts

@@ -0,0 +1,3 @@
+import type { PrincipleWithCheck } from "@keel_flow/schema";
+export declare const seamContractsPrinciple: PrincipleWithCheck;
+//# sourceMappingURL=seam-contracts.d.ts.map

package/dist/seam-contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"seam-contracts.d.ts","sourceRoot":"","sources":["../src/seam-contracts.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,kBAAkB,EAAa,MAAM,mBAAmB,CAAC;AAoBvE,eAAO,MAAM,sBAAsB,EAAE,kBAmDpC,CAAC"}

package/dist/seam-contracts.js

@@ -0,0 +1,63 @@
+import { readdirSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+function contractTestFiles(absDir) {
+    try {
+        return readdirSync(absDir)
+            .filter((f) => f.endsWith(".contract.test.ts"))
+            .map((f) => join(absDir, f));
+    }
+    catch {
+        return [];
+    }
+}
+function fileReferencesSeam(file, seamId) {
+    try {
+        return readFileSync(file, "utf8").includes(seamId);
+    }
+    catch {
+        return false;
+    }
+}
+export const seamContractsPrinciple = {
+    id: "seam-contracts",
+    description: "Every cross-process seam (a type:http connection to an internal node, tagged seam=) must have a *.contract.test.ts in a node key-file directory that boots the real router and references the seam id",
+    rationale: "An uncontracted seam compiles but cannot be verified to speak the protocol the other side expects. A filename-only check passes empty or unrelated tests, so the contract test must actually reference the seam id — and an http edge to an internal node may not silently skip the contract by omitting the seam tag",
+    severity: "critical",
+    check({ architecture, cwd }) {
+        const violations = [];
+        const dirOf = (kf) => kf.replace(/\/[^/]+$/, "");
+        for (const conn of architecture.connections) {
+            const fromNode = architecture.nodes.find((n) => n.id === conn.from);
+            const toNode = architecture.nodes.find((n) => n.id === conn.to);
+            if (!conn.seam) {
+                if (conn.type === "http" && toNode) {
+                    violations.push({
+                        principleId: "seam-contracts",
+                        severity: "critical",
+                        message: `Connection from "${conn.from}" to "${conn.to}" is type="http" (a cross-process seam to an internal node) but carries no seam= tag, so it escapes contract enforcement. ` +
+                            `Tag it seam="<procedure>" and add a *.contract.test.ts that boots the real router and exercises that procedure.`,
+                    });
+                }
+                continue;
+            }
+            const seamId = conn.seam;
+            const dirs = [
+                ...new Set([...(fromNode?.keyFiles ?? []), ...(toNode?.keyFiles ?? [])].map(dirOf)),
+            ];
+            const root = cwd ?? process.cwd();
+            const referenced = dirs
+                .flatMap((dir) => contractTestFiles(join(root, dir)))
+                .some((file) => fileReferencesSeam(file, seamId));
+            if (!referenced) {
+                violations.push({
+                    principleId: "seam-contracts",
+                    severity: "critical",
+                    message: `Connection from "${conn.from}" to "${conn.to}" is tagged seam="${seamId}" but no *.contract.test.ts in the key-file directories of either node references "${seamId}". ` +
+                        `A file that merely exists is not enough — add or extend a contract test that boots the real router and exercises the "${seamId}" call path so the seam id appears in the test.`,
+                });
+            }
+        }
+        return violations;
+    },
+};
+//# sourceMappingURL=seam-contracts.js.map

package/dist/seam-contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"seam-contracts.js","sourceRoot":"","sources":["../src/seam-contracts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACpD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,SAAS,iBAAiB,CAAC,MAAc;IACvC,IAAI,CAAC;QACH,OAAO,WAAW,CAAC,MAAM,CAAC;aACvB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;aAC9C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY,EAAE,MAAc;IACtD,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACrD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAuB;IACxD,EAAE,EAAE,gBAAgB;IACpB,WAAW,EACT,uMAAuM;IACzM,SAAS,EACP,uTAAuT;IACzT,QAAQ,EAAE,UAAU;IACpB,KAAK,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE;QACzB,MAAM,UAAU,GAAgB,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAEzD,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,WAAW,EAAE,CAAC;YAC5C,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC;YACpE,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;YAEhE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACf,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,EAAE,CAAC;oBACnC,UAAU,CAAC,IAAI,CAAC;wBACd,WAAW,EAAE,gBAAgB;wBAC7B,QAAQ,EAAE,UAAU;wBACpB,OAAO,EACL,oBAAoB,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,4HAA4H;4BACzK,iHAAiH;qBACpH,CAAC,CAAC;gBACL,CAAC;gBACD,SAAS;YACX,CAAC;YAED,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;YACzB,MAAM,IAAI,GAAG;gBACX,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;aACpF,CAAC;YAEF,MAAM,IAAI,GAAG,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;YAClC,MAAM,UAAU,GAAG,IAAI;iBACpB,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;iBACpD,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAEpD,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,UAAU,CAAC,IAAI,CAAC;oBACd,WAAW,EAAE,gBAAgB;oBAC7B,QAAQ,EAAE,UAAU;oBACpB,OAAO,EACL,oBAAoB,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,qBAAqB,MAAM,sFAAsF,MAAM,KAAK;wBACzK,yHAAyH,MAAM,iDAAiD;iBACnL,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;CACF,CAAC"}

package/dist/tool.d.ts

@@ -0,0 +1,13 @@
+import type { ZodType, z } from "zod";
+export interface ToolConfig<TInput extends ZodType> {
+    id: string;
+    description: string;
+    inputSchema: TInput;
+    handler: (input: z.infer<TInput>) => unknown | Promise<unknown>;
+}
+export interface Tool<TInput extends ZodType> {
+    config: ToolConfig<TInput>;
+    call(input: z.infer<TInput>): Promise<unknown>;
+}
+export declare function defineTool<TInput extends ZodType>(config: ToolConfig<TInput>): Tool<TInput>;
+//# sourceMappingURL=tool.d.ts.map

package/dist/tool.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tool.d.ts","sourceRoot":"","sources":["../src/tool.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAEtC,MAAM,WAAW,UAAU,CAAC,MAAM,SAAS,OAAO;IAChD,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CACjE;AAED,MAAM,WAAW,IAAI,CAAC,MAAM,SAAS,OAAO;IAC1C,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAC3B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CAChD;AAED,wBAAgB,UAAU,CAAC,MAAM,SAAS,OAAO,EAC/C,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,GACzB,IAAI,CAAC,MAAM,CAAC,CAQd"}

package/dist/tool.js

@@ -0,0 +1,10 @@
+export function defineTool(config) {
+    return {
+        config,
+        async call(input) {
+            const parsed = config.inputSchema.parse(input);
+            return config.handler(parsed);
+        },
+    };
+}
+//# sourceMappingURL=tool.js.map

package/dist/tool.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tool.js","sourceRoot":"","sources":["../src/tool.ts"],"names":[],"mappings":"AAcA,MAAM,UAAU,UAAU,CACxB,MAA0B;IAE1B,OAAO;QACL,MAAM;QACN,KAAK,CAAC,IAAI,CAAC,KAAsB;YAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/C,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAChC,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/verify.d.ts

@@ -0,0 +1,41 @@
+import type { ArchitectureMap, Violation, VerifyResult } from "@keel_flow/schema";
+import type { Diff } from "./diff.js";
+import type { PrincipleRegistry } from "./principles.js";
+export type PackageManager = "pnpm" | "npm" | "yarn" | "bun";
+export declare function detectPackageManager(cwd: string): PackageManager;
+export declare function resolveLintCommands(cwd: string): string[];
+export type SpecChecker = (args: {
+    diff: Diff;
+    architecture: ArchitectureMap;
+    specSummary: string;
+}) => Promise<{
+    passed: boolean;
+    violations: Violation[];
+    pending?: false;
+}>;
+export interface VerifyOptions {
+    diff: Diff;
+    architecture: ArchitectureMap;
+    architectureSource: string;
+    principles: PrincipleRegistry;
+    specChecker?: SpecChecker | undefined;
+    specSummary?: string | undefined;
+    options?: {
+        lintCommands?: string[] | undefined;
+        cwd?: string | undefined;
+    } | undefined;
+}
+export declare function verify({ diff, architecture, architectureSource, principles, specChecker, specSummary, options, }: VerifyOptions): Promise<VerifyResult>;
+export declare function checkArchitectureCompliance(diff: Diff, architecture: ArchitectureMap, architectureSource: string): {
+    passed: boolean;
+    violations: Violation[];
+};
+export declare function checkPrinciplesCompliance(diff: Diff, registry: PrincipleRegistry, architecture: ArchitectureMap, cwd?: string): {
+    passed: boolean;
+    violations: Violation[];
+};
+export declare function checkTestsAndLint(options?: VerifyOptions["options"]): {
+    passed: boolean;
+    violations: Violation[];
+};
+//# sourceMappingURL=verify.d.ts.map

package/dist/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../src/verify.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEzD,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,KAAK,GAAG,MAAM,GAAG,KAAK,CAAC;AAK7D,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,GAAG,cAAc,CAMhE;AASD,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAYzD;AAID,MAAM,MAAM,WAAW,GAAG,CAAC,IAAI,EAAE;IAC/B,IAAI,EAAE,IAAI,CAAC;IACX,YAAY,EAAE,eAAe,CAAC;IAC9B,WAAW,EAAE,MAAM,CAAC;CACrB,KAAK,OAAO,CAAC;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,SAAS,EAAE,CAAC;IAAC,OAAO,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAE7E,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,IAAI,CAAC;IACX,YAAY,EAAE,eAAe,CAAC;IAC9B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,UAAU,EAAE,iBAAiB,CAAC;IAC9B,WAAW,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IACtC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,OAAO,CAAC,EAAE;QACR,YAAY,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;QACpC,GAAG,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;KAC1B,GAAG,SAAS,CAAC;CACf;AAED,wBAAsB,MAAM,CAAC,EAC3B,IAAI,EACJ,YAAY,EACZ,kBAAkB,EAClB,UAAU,EACV,WAAW,EACX,WAAW,EACX,OAAO,GACR,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC,CA2BvC;AAoED,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,IAAI,EACV,YAAY,EAAE,eAAe,EAC7B,kBAAkB,EAAE,MAAM,GACzB;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,SAAS,EAAE,CAAA;CAAE,CA+B9C;AAED,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,iBAAiB,EAC3B,YAAY,EAAE,eAAe,EAC7B,GAAG,CAAC,EAAE,MAAM,GACX;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,SAAS,EAAE,CAAA;CAAE,CAqB9C;AAED,wBAAgB,iBAAiB,CAC/B,OAAO,CAAC,EAAE,aAAa,CAAC,SAAS,CAAC,GACjC;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,SAAS,EAAE,CAAA;CAAE,CAuC9C"}

package/dist/verify.js

@@ -0,0 +1,196 @@
+import { execSync } from "child_process";
+import { existsSync, readFileSync } from "fs";
+import { join } from "path";
+// Detect a repo's package manager from its lockfile so the verify gate works on
+// any TS repo, not just the pnpm-based Keel monorepo. Defaults to pnpm (Keel's
+// own choice) when no lockfile is present, preserving Keel-on-Keel behavior.
+export function detectPackageManager(cwd) {
+    if (existsSync(join(cwd, "pnpm-lock.yaml")))
+        return "pnpm";
+    if (existsSync(join(cwd, "yarn.lock")))
+        return "yarn";
+    if (existsSync(join(cwd, "bun.lockb")))
+        return "bun";
+    if (existsSync(join(cwd, "package-lock.json")))
+        return "npm";
+    return "pnpm";
+}
+// The default tests+lint commands for a repo: run only the {typecheck, test,
+// lint} scripts it actually defines, via its detected package manager. This makes
+// the gate (a) package-manager-agnostic and (b) tolerant of a repo that
+// legitimately has no `typecheck` script (e.g. a Vite app) — it no longer hard-
+// fails by shelling out to a non-existent `pnpm typecheck`. Keel's own root has
+// all three scripts under pnpm, so its gate is unchanged (`pnpm run <s>` ≡
+// `pnpm <s>`). Returns [] when no package.json / matching scripts exist.
+export function resolveLintCommands(cwd) {
+    const pm = detectPackageManager(cwd);
+    let scripts = {};
+    try {
+        const pkg = JSON.parse(readFileSync(join(cwd, "package.json"), "utf-8"));
+        scripts = pkg.scripts ?? {};
+    }
+    catch {
+        return [];
+    }
+    return ["typecheck", "test", "lint"].filter((s) => s in scripts).map((s) => `${pm} run ${s}`);
+}
+const ARCHITECTURE_DATA_PATH = "architecture/data.ts";
+export async function verify({ diff, architecture, architectureSource, principles, specChecker, specSummary, options, }) {
+    const specResult = await checkSpecCompliance(diff, architecture, specChecker, specSummary);
+    const archResult = checkArchitectureCompliance(diff, architecture, architectureSource);
+    const principlesResult = checkPrinciplesCompliance(diff, principles, architecture, options?.cwd);
+    const testsResult = checkTestsAndLint(options);
+    const allViolations = [
+        ...specResult.violations,
+        ...archResult.violations,
+        ...principlesResult.violations,
+        ...testsResult.violations,
+    ];
+    const hasCritical = allViolations.some((v) => v.severity === "critical");
+    const hasWarning = allViolations.some((v) => v.severity === "warning");
+    const exitCode = hasCritical ? 2 : hasWarning ? 1 : 0;
+    return {
+        checks: {
+            spec: specResult,
+            architecture: archResult,
+            principles: principlesResult,
+            "tests-lint": testsResult,
+        },
+        exitCode,
+    };
+}
+// pending: true means no specChecker was injected — spec compliance is not yet evaluated.
+// pending is absent when a checker ran and produced a real result.
+async function checkSpecCompliance(diff, architecture, specChecker, specSummary) {
+    if (!specChecker) {
+        return { passed: true, violations: [], pending: true };
+    }
+    const result = await specChecker({ diff, architecture, specSummary: specSummary ?? "" });
+    return { passed: result.passed, violations: result.violations };
+}
+function keyFileMatchesPath(keyFile, path) {
+    if (path === keyFile)
+        return true;
+    if (path.startsWith(keyFile + "/"))
+        return true;
+    if (keyFile.startsWith(path + "/"))
+        return true;
+    return false;
+}
+function changedDataLineRanges(diff) {
+    const dataFile = diff.files.find((f) => f.path === ARCHITECTURE_DATA_PATH);
+    if (!dataFile?.hunks)
+        return [];
+    return dataFile.hunks.map((h) => h.newLines > 0
+        ? [h.newStart, h.newStart + h.newLines - 1]
+        : [h.newStart, h.newStart]);
+}
+function nodeBlockRanges(architectureSource, nodeIds) {
+    const lines = architectureSource.split("\n");
+    const idLineForNode = new Map();
+    const ids = new Set(nodeIds);
+    let inNodes = false;
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i] ?? "";
+        if (line.includes("nodes: ["))
+            inNodes = true;
+        if (line.includes("connections: ["))
+            inNodes = false;
+        if (!inNodes)
+            continue;
+        const match = /^      id: "([^"]+)"/.exec(line);
+        if (match && match[1] !== undefined && ids.has(match[1]) && !idLineForNode.has(match[1])) {
+            idLineForNode.set(match[1], i + 1);
+        }
+    }
+    const ordered = [...idLineForNode.entries()].sort((a, b) => a[1] - b[1]);
+    const connectionsLine = lines.findIndex((l) => l.includes("connections: [")) + 1 || lines.length + 1;
+    const ranges = new Map();
+    for (let i = 0; i < ordered.length; i++) {
+        const [id, start] = ordered[i];
+        const next = ordered[i + 1];
+        const end = next ? next[1] - 1 : connectionsLine - 1;
+        ranges.set(id, [start, end]);
+    }
+    return ranges;
+}
+export function checkArchitectureCompliance(diff, architecture, architectureSource) {
+    const violations = [];
+    const changedRanges = changedDataLineRanges(diff);
+    const blockRanges = nodeBlockRanges(architectureSource, architecture.nodes.map((n) => n.id));
+    const nodeBlockChanged = (nodeId) => {
+        const block = blockRanges.get(nodeId);
+        if (!block)
+            return false;
+        const [blockStart, blockEnd] = block;
+        return changedRanges.some(([start, end]) => !(end < blockStart || start > blockEnd));
+    };
+    for (const node of architecture.nodes) {
+        const nodeKeyFileTouched = node.keyFiles.some((kf) => diff.files.some((f) => keyFileMatchesPath(kf, f.path)));
+        if (nodeKeyFileTouched && !nodeBlockChanged(node.id)) {
+            violations.push({
+                principleId: "architecture-map-in-sync",
+                nodeId: node.id,
+                severity: "warning",
+                message: `Node "${node.id}" has key files touched in this diff, but its own block in architecture/data.ts was not updated. Update this node's entry (description / keyFiles / keyFunctionality) in the same change.`,
+            });
+        }
+    }
+    return { passed: violations.length === 0, violations };
+}
+export function checkPrinciplesCompliance(diff, registry, architecture, cwd) {
+    const violations = [];
+    for (const principle of registry.all()) {
+        if (principle.check) {
+            try {
+                const ctx = cwd !== undefined ? { diff, architecture, cwd } : { diff, architecture };
+                const found = principle.check(ctx);
+                violations.push(...found);
+            }
+            catch (err) {
+                const reason = err instanceof Error ? err.message : String(err);
+                violations.push({
+                    principleId: principle.id,
+                    severity: "critical",
+                    message: `Principle check "${principle.id}" threw and was isolated: ${reason}`,
+                });
+            }
+        }
+    }
+    return { passed: violations.length === 0, violations };
+}
+export function checkTestsAndLint(options) {
+    const cwd = options?.cwd ?? process.cwd();
+    // Explicit lintCommands win; otherwise auto-resolve from the repo's package
+    // manager + the scripts it actually defines (works on npm/yarn/bun, not just
+    // the pnpm monorepo).
+    const commands = options?.lintCommands ?? resolveLintCommands(cwd);
+    const violations = [];
+    for (const cmd of commands) {
+        try {
+            execSync(cmd, {
+                cwd,
+                stdio: "pipe",
+                env: { ...process.env, TURBO_FORCE: "1" },
+                maxBuffer: 64 * 1024 * 1024,
+            });
+        }
+        catch (err) {
+            const e = err;
+            const stdout = e.stdout != null ? String(e.stdout).trim() : "";
+            const stderr = e.stderr != null ? String(e.stderr).trim() : "";
+            const exit = typeof e.status === "number" ? e.status : "unknown";
+            const sections = [stdout, stderr].filter((s) => s.length > 0);
+            const detail = sections.length > 0
+                ? sections.join("\n")
+                : "(no output captured on stdout or stderr)";
+            violations.push({
+                principleId: "tests-as-contracts",
+                severity: "critical",
+                message: `Command "${cmd}" failed (exit ${exit}):\n${detail}`,
+            });
+        }
+    }
+    return { passed: violations.length === 0, violations };
+}
+//# sourceMappingURL=verify.js.map

package/dist/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../src/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAO5B,gFAAgF;AAChF,+EAA+E;AAC/E,6EAA6E;AAC7E,MAAM,UAAU,oBAAoB,CAAC,GAAW;IAC9C,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IAC3D,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtD,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,mBAAmB,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,6EAA6E;AAC7E,kFAAkF;AAClF,wEAAwE;AACxE,gFAAgF;AAChF,gFAAgF;AAChF,2EAA2E;AAC3E,yEAAyE;AACzE,MAAM,UAAU,mBAAmB,CAAC,GAAW;IAC7C,MAAM,EAAE,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,OAAO,GAA2B,EAAE,CAAC;IACzC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,EAAE,OAAO,CAAC,CAEtE,CAAC;QACF,OAAO,GAAG,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;AAChG,CAAC;AAED,MAAM,sBAAsB,GAAG,sBAAsB,CAAC;AAqBtD,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,EAC3B,IAAI,EACJ,YAAY,EACZ,kBAAkB,EAClB,UAAU,EACV,WAAW,EACX,WAAW,EACX,OAAO,GACO;IACd,MAAM,UAAU,GAAG,MAAM,mBAAmB,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAC3F,MAAM,UAAU,GAAG,2BAA2B,CAAC,IAAI,EAAE,YAAY,EAAE,kBAAkB,CAAC,CAAC;IACvF,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACjG,MAAM,WAAW,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAE/C,MAAM,aAAa,GAAG;QACpB,GAAG,UAAU,CAAC,UAAU;QACxB,GAAG,UAAU,CAAC,UAAU;QACxB,GAAG,gBAAgB,CAAC,UAAU;QAC9B,GAAG,WAAW,CAAC,UAAU;KAC1B,CAAC;IAEF,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IAEvE,MAAM,QAAQ,GAAc,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEjE,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,UAAU;YAChB,YAAY,EAAE,UAAU;YACxB,UAAU,EAAE,gBAAgB;YAC5B,YAAY,EAAE,WAAW;SAC1B;QACD,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,mEAAmE;AACnE,KAAK,UAAU,mBAAmB,CAChC,IAAU,EACV,YAA6B,EAC7B,WAAyB,EACzB,WAAoB;IAEpB,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACzD,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,IAAI,EAAE,EAAE,CAAC,CAAC;IACzF,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC;AAClE,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAe,EAAE,IAAY;IACvD,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAClC,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,GAAG,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAU;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC;IAC3E,IAAI,CAAC,QAAQ,EAAE,KAAK;QAAE,OAAO,EAAE,CAAC;IAChC,OAAO,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9B,CAAC,CAAC,QAAQ,GAAG,CAAC;QACZ,CAAC,CAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAsB;QACjE,CAAC,CAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAsB,CACnD,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,kBAA0B,EAC1B,OAAiB;IAEjB,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAE7B,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YAAE,OAAO,GAAG,IAAI,CAAC;QAC9C,IAAI,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC;YAAE,OAAO,GAAG,KAAK,CAAC;QACrD,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,MAAM,KAAK,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACzF,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,GAAG,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,eAAe,GACnB,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAE/E,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4B,CAAC;IACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,OAAO,CAAC,CAAC,CAAqB,CAAC;QACnD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,GAAG,CAAC,CAAC;QACrD,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,IAAU,EACV,YAA6B,EAC7B,kBAA0B;IAE1B,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,MAAM,aAAa,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,eAAe,CACjC,kBAAkB,EAClB,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACpC,CAAC;IAEF,MAAM,gBAAgB,GAAG,CAAC,MAAc,EAAW,EAAE;QACnD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QACzB,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,GAAG,KAAK,CAAC;QACrC,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,UAAU,IAAI,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC;IACvF,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC;QACtC,MAAM,kBAAkB,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CACnD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CACvD,CAAC;QAEF,IAAI,kBAAkB,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACrD,UAAU,CAAC,IAAI,CAAC;gBACd,WAAW,EAAE,0BAA0B;gBACvC,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,SAAS,IAAI,CAAC,EAAE,2LAA2L;aACrN,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,IAAU,EACV,QAA2B,EAC3B,YAA6B,EAC7B,GAAY;IAEZ,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC;QACvC,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;YACpB,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;gBACrF,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBACnC,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YAC5B,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,MAAM,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAChE,UAAU,CAAC,IAAI,CAAC;oBACd,WAAW,EAAE,SAAS,CAAC,EAAE;oBACzB,QAAQ,EAAE,UAAU;oBACpB,OAAO,EAAE,oBAAoB,SAAS,CAAC,EAAE,6BAA6B,MAAM,EAAE;iBAC/E,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,OAAkC;IAElC,MAAM,GAAG,GAAG,OAAO,EAAE,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IAC1C,4EAA4E;IAC5E,6EAA6E;IAC7E,sBAAsB;IACtB,MAAM,QAAQ,GAAG,OAAO,EAAE,YAAY,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACnE,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC;YACH,QAAQ,CAAC,GAAG,EAAE;gBACZ,GAAG;gBACH,KAAK,EAAE,MAAM;gBACb,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE;gBACzC,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;aAC5B,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,GAAG,GAIT,CAAC;YACF,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YACjE,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAC9D,MAAM,MAAM,GACV,QAAQ,CAAC,MAAM,GAAG,CAAC;gBACjB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;gBACrB,CAAC,CAAC,0CAA0C,CAAC;YACjD,UAAU,CAAC,IAAI,CAAC;gBACd,WAAW,EAAE,oBAAoB;gBACjC,QAAQ,EAAE,UAAU;gBACpB,OAAO,EAAE,YAAY,GAAG,kBAAkB,IAAI,OAAO,MAAM,EAAE;aAC9D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;AACzD,CAAC"}

package/package.json

@@ -0,0 +1,39 @@
+{
+  "name": "@keel_flow/core",
+  "version": "0.2.0",
+  "private": false,
+  "type": "module",
+  "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": {
+    "zod": "^3.23.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"
+  }
+}