loopforge 1.0.0

package/dist/tests/loop-compiler.test.js

@@ -0,0 +1,387 @@
+/** Tests for loop compiler core: gates, advisories, L0/L1/L2 compilation. */
+import { describe, it, beforeEach } from "node:test";
+import assert from "node:assert/strict";
+import { decideLevel, compileLoop, computeGoalTextHash, deriveGoalId, alignTask, compileL2, } from "../loop-compiler.js";
+import { makeLoopCompileRequest, makeLoopRoundResult, makeLoopObjective, } from "../protocol.js";
+import { resetPolicy } from "../policy.js";
+describe("Loop Compiler — Goal Identity", () => {
+    it("computeGoalTextHash produces a 12-char hex string", () => {
+        const hash = computeGoalTextHash("Audit ERC20 token");
+        assert.equal(hash.length, 12);
+        assert.ok(/^[a-f0-9]{12}$/.test(hash));
+    });
+    it("computeGoalTextHash is deterministic", () => {
+        assert.equal(computeGoalTextHash("Audit ERC20 token"), computeGoalTextHash("Audit ERC20 token"));
+    });
+    it("computeGoalTextHash normalises whitespace", () => {
+        const h1 = computeGoalTextHash("Audit  ERC20   token");
+        const h2 = computeGoalTextHash("Audit ERC20 token");
+        assert.equal(h1, h2);
+    });
+    it("deriveGoalId uses explicit goal_id when provided", () => {
+        assert.equal(deriveGoalId("loop-1", "Audit ERC20", "audit-erc20"), "audit-erc20");
+    });
+    it("deriveGoalId falls back to derived id", () => {
+        const id = deriveGoalId("loop-1", "Audit ERC20 token");
+        assert.ok(id.startsWith("loop-1:"));
+    });
+});
+describe("Loop Compiler — Decide Level (4-gate router)", () => {
+    beforeEach(() => resetPolicy());
+    it("returns l2 for round 1 (Gate 2: first call)", () => {
+        const req = makeLoopCompileRequest({ round: 1, task: "Audit ERC20" });
+        assert.equal(decideLevel(req, null), "l2");
+    });
+    it("returns l2 when plan_source is provided (Gate 2)", () => {
+        const req = makeLoopCompileRequest({
+            round: 5,
+            task: "Audit ERC20",
+            plan_source: "spec.md",
+        });
+        assert.equal(decideLevel(req, null), "l2");
+    });
+    it("returns l2 when no previous round found", () => {
+        const req = makeLoopCompileRequest({ round: 3, task: "Audit ERC20" });
+        assert.equal(decideLevel(req, null), "l2");
+    });
+    it("returns l2 when goal_id changed (Gate 3)", () => {
+        const req = makeLoopCompileRequest({
+            round: 2,
+            loop_id: "test",
+            goal_id: "new-audit",
+            task: "Audit new contract",
+        });
+        const vaultContext = {
+            results: [
+                {
+                    loop_lineage: {
+                        loop_id: "test",
+                        round: 1,
+                        goal_id: "old-audit",
+                    },
+                },
+            ],
+        };
+        // goal_id "new-audit" doesn't match prev "old-audit"
+        // But wait: deriveGoalId uses explicit goal_id first, and prev.goal_id is "old-audit"
+        // deriveGoalId("test", "Audit new contract", "new-audit") = "new-audit"
+        // prev.goal_id = "old-audit" → mismatch → L2
+        assert.equal(decideLevel(req, vaultContext), "l2");
+    });
+    it("returns l1 when new constraints added (Gate 4)", () => {
+        const req = makeLoopCompileRequest({
+            round: 2,
+            loop_id: "test",
+            goal_id: "audit",
+            task: "Audit ERC20",
+            constraints_from_plan: ["check flash loans"],
+        });
+        const vaultContext = {
+            results: [
+                {
+                    loop_lineage: {
+                        loop_id: "test",
+                        round: 1,
+                        goal_id: "audit",
+                    },
+                },
+            ],
+        };
+        assert.equal(decideLevel(req, vaultContext), "l1");
+    });
+    it("returns l1 when last round failed (Gate 4)", () => {
+        const req = makeLoopCompileRequest({
+            round: 2,
+            loop_id: "test",
+            goal_id: "audit",
+            task: "Audit ERC20",
+            last_round_result: makeLoopRoundResult({ success: false }),
+        });
+        const vaultContext = {
+            results: [
+                {
+                    loop_lineage: {
+                        loop_id: "test",
+                        round: 1,
+                        goal_id: "audit",
+                    },
+                },
+            ],
+        };
+        assert.equal(decideLevel(req, vaultContext), "l1");
+    });
+    it("returns l1 with repair signal (Gate 4)", () => {
+        const req = makeLoopCompileRequest({
+            round: 2,
+            loop_id: "test",
+            goal_id: "audit",
+            task: "Audit ERC20",
+            new_since_last_round: "fix the approve race condition bug",
+        });
+        const vaultContext = {
+            results: [
+                {
+                    loop_lineage: {
+                        loop_id: "test",
+                        round: 1,
+                        goal_id: "audit",
+                    },
+                },
+            ],
+        };
+        assert.equal(decideLevel(req, vaultContext), "l1");
+    });
+    it("returns l0 when nothing triggered (Gate 4: fast path)", () => {
+        const req = makeLoopCompileRequest({
+            round: 2,
+            loop_id: "test",
+            goal_id: "audit",
+            task: "Audit ERC20",
+        });
+        const vaultContext = {
+            results: [
+                {
+                    loop_lineage: {
+                        loop_id: "test",
+                        round: 1,
+                        goal_id: "audit",
+                    },
+                },
+            ],
+        };
+        assert.equal(decideLevel(req, vaultContext), "l0");
+    });
+    it("respects force_level override (Gate 1)", () => {
+        const req = makeLoopCompileRequest({
+            round: 3,
+            loop_id: "test",
+            goal_id: "audit",
+            task: "Audit ERC20",
+            force_level: "l0",
+        });
+        const vaultContext = {
+            results: [
+                {
+                    loop_lineage: {
+                        loop_id: "test",
+                        round: 2,
+                        goal_id: "audit",
+                    },
+                },
+            ],
+        };
+        assert.equal(decideLevel(req, vaultContext), "l0");
+    });
+    it("force_level never overrides round 1 (Gate 1 exception)", () => {
+        const req = makeLoopCompileRequest({
+            round: 1,
+            task: "Audit ERC20",
+            force_level: "l0",
+        });
+        assert.equal(decideLevel(req, null), "l2");
+    });
+    it("force_level never overrides plan_source (Gate 1 exception)", () => {
+        const req = makeLoopCompileRequest({
+            round: 3,
+            task: "Audit ERC20",
+            plan_source: "plan.md",
+            force_level: "l0",
+        });
+        assert.equal(decideLevel(req, null), "l2");
+    });
+});
+describe("Loop Compiler — L0 Fast Path", () => {
+    it("reuses cached prompt from previous round", () => {
+        const req = makeLoopCompileRequest({
+            round: 2,
+            loop_id: "test",
+            goal_id: "audit",
+            task: "Continue audit",
+        });
+        const vaultContext = {
+            results: [
+                {
+                    loop_lineage: {
+                        loop_id: "test",
+                        round: 1,
+                        goal_id: "audit",
+                        constraints_active: ["check ownership"],
+                    },
+                    full_prompt: "## Round 1 Prompt\n\nAudit the contract.",
+                },
+            ],
+        };
+        const response = compileLoop(req, vaultContext);
+        assert.equal(response.recompile_level, "l0");
+        assert.ok(response.prompt.includes("Round 1 Prompt"));
+        assert.equal(response.technique_used, "cached");
+        assert.deepEqual(response.constraints_active, ["check ownership"]);
+    });
+});
+describe("Loop Compiler — L1 Patch Path", () => {
+    it("patches prompt with new constraints", () => {
+        const req = makeLoopCompileRequest({
+            round: 2,
+            loop_id: "test",
+            goal_id: "audit",
+            task: "Check approve race condition",
+            constraints_from_plan: ["check flash loans"],
+            new_since_last_round: "fix the approve race",
+        });
+        const vaultContext = {
+            results: [
+                {
+                    loop_lineage: {
+                        loop_id: "test",
+                        round: 1,
+                        goal_id: "audit",
+                        constraints_active: ["check ownership"],
+                    },
+                },
+            ],
+        };
+        const response = compileLoop(req, vaultContext);
+        assert.equal(response.recompile_level, "l1");
+        assert.ok(response.prompt.includes("L1 Patch"));
+        assert.ok(response.prompt.includes("check flash loans"));
+        assert.ok(response.prompt.includes("check ownership"));
+        assert.equal(response.technique_used, "patch");
+    });
+});
+describe("Loop Compiler — L2 Full Recompile", () => {
+    it("generates full meta-instruction prompt", () => {
+        const req = makeLoopCompileRequest({
+            round: 1,
+            loop_id: "audit-erc20",
+            goal_id: "audit-erc20",
+            task: "Audit ERC20 token for security vulnerabilities",
+            domain: "solidity-security",
+        });
+        const response = compileL2(req, null);
+        assert.equal(response.recompile_level, "l2");
+        assert.ok(response.prompt.includes("L2 Compile"));
+        assert.ok(response.prompt.includes("Loop Identity"));
+        assert.ok(response.prompt.includes("Generation Instructions"));
+        assert.notEqual(response.technique_used, "");
+        assert.notEqual(response.goal_text_hash, "");
+        assert.equal(response.round, 1);
+        assert.equal(response.loop_id, "audit-erc20");
+    });
+    it("includes loop objective at round 1", () => {
+        const req = makeLoopCompileRequest({
+            round: 1,
+            loop_id: "test",
+            task: "Audit ERC20 token",
+            loop_objective: makeLoopObjective({
+                objective: "Find all vulnerabilities",
+                success_criteria: ["All tests pass"],
+                hard_constraints: ["No external deps"],
+                loop_id: "test",
+            }),
+        });
+        const response = compileL2(req, null);
+        assert.ok(response.prompt.includes("Loop Objective (Anchor)"));
+        assert.ok(response.prompt.includes("Find all vulnerabilities"));
+        assert.ok(response.loop_objective !== null);
+    });
+    it("auto-generates loop objective at round 1 when none provided", () => {
+        const req = makeLoopCompileRequest({
+            round: 1,
+            loop_id: "test",
+            task: "Test the API endpoints for security issues",
+        });
+        const response = compileL2(req, null);
+        assert.ok(response.loop_objective !== null);
+        assert.ok(response.loop_objective.objective.length > 0);
+    });
+});
+describe("Loop Compiler — Task Alignment (advisory)", () => {
+    it("returns default alignment when no loop objective", () => {
+        const req = makeLoopCompileRequest({ loop_id: "test", task: "Audit" });
+        const result = alignTask("Proposed task", req, null);
+        assert.equal(result.is_aligned, true);
+        assert.equal(result.escalation, "none");
+    });
+    it("warns when proposed task drifts from objective", () => {
+        const req = makeLoopCompileRequest({
+            loop_id: "test",
+            task: "Audit ERC20",
+            loop_objective: makeLoopObjective({
+                objective: "Audit ERC20 token for all security vulnerabilities",
+                success_criteria: ["Find all critical vulnerabilities"],
+                hard_constraints: ["No external dependencies"],
+            }),
+        });
+        const result = alignTask("Write a frontend UI for the token dashboard", req, null);
+        assert.equal(result.escalation, "block");
+        assert.equal(result.is_aligned, false);
+    });
+});
+describe("Loop Compiler — Compile Loop (top-level)", () => {
+    it("returns complete response with advisories", () => {
+        const req = makeLoopCompileRequest({
+            round: 1,
+            loop_id: "test",
+            task: "Test the API",
+            next_task_proposal: "Test the database",
+            loop_objective: makeLoopObjective({
+                objective: "Test all APIs",
+                success_criteria: ["All tests pass"],
+                hard_constraints: [],
+            }),
+        });
+        const response = compileLoop(req, null);
+        assert.equal(response.status, "ok");
+        assert.equal(response.recompile_level, "l2");
+        assert.notEqual(response.goal_text_hash.length, 0);
+        assert.ok(response.task_alignment !== null);
+    });
+});
+describe("Loop Compiler — Cross-Round Scenarios", () => {
+    it("L0→L1 escalation: goal_id stable, new constraints added", () => {
+        const vaultContext = {
+            results: [
+                {
+                    loop_lineage: {
+                        loop_id: "audit",
+                        round: 1,
+                        goal_id: "audit",
+                        constraints_active: ["check ownership"],
+                    },
+                },
+            ],
+        };
+        // Round 2: same semantic task → deriveGoalId will match
+        const req = makeLoopCompileRequest({
+            round: 2,
+            loop_id: "audit",
+            goal_id: "audit",
+            task: "Audit ERC20 token for security vulnerabilities",
+            constraints_from_plan: ["check flash loans"],
+        });
+        const level = decideLevel(req, vaultContext);
+        assert.equal(level, "l1");
+    });
+    it("L0 stability: multiple rounds with same goal_id, no failures", () => {
+        const vaultContext = {
+            results: [
+                {
+                    loop_lineage: {
+                        loop_id: "audit",
+                        round: 2,
+                        goal_id: "audit",
+                    },
+                },
+            ],
+        };
+        const req = makeLoopCompileRequest({
+            round: 3,
+            loop_id: "audit",
+            goal_id: "audit",
+            task: "Audit ERC20",
+        });
+        const level = decideLevel(req, vaultContext);
+        assert.equal(level, "l0");
+    });
+});
+//# sourceMappingURL=loop-compiler.test.js.map

package/dist/tests/loop-compiler.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loop-compiler.test.js","sourceRoot":"","sources":["../../src/tests/loop-compiler.test.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACrD,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EACL,WAAW,EACX,WAAW,EACX,mBAAmB,EACnB,YAAY,EAEZ,SAAS,EAET,SAAS,GACV,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,sBAAsB,EACtB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,IAAI,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC9B,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,KAAK,CACV,mBAAmB,CAAC,mBAAmB,CAAC,EACxC,mBAAmB,CAAC,mBAAmB,CAAC,CACzC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,mBAAmB,CAAC,sBAAsB,CAAC,CAAC;QACvD,MAAM,EAAE,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,aAAa,EAAE,aAAa,CAAC,EAAE,aAAa,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,GAAG,YAAY,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;QACvD,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,UAAU,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAEhC,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,sBAAsB,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;QACtE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,SAAS;SACvB,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,GAAG,GAAG,sBAAsB,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;QACtE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,WAAW;YACpB,IAAI,EAAE,oBAAoB;SAC3B,CAAC,CAAC;QACH,MAAM,YAAY,GAAG;YACnB,OAAO,EAAE;gBACP;oBACE,YAAY,EAAE;wBACZ,OAAO,EAAE,MAAM;wBACf,KAAK,EAAE,CAAC;wBACR,OAAO,EAAE,WAAW;qBACrB;iBACF;aACF;SACF,CAAC;QACF,qDAAqD;QACrD,sFAAsF;QACtF,wEAAwE;QACxE,6CAA6C;QAC7C,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,YAAY,CAAC,EAAE,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,aAAa;YACnB,qBAAqB,EAAE,CAAC,mBAAmB,CAAC;SAC7C,CAAC,CAAC;QACH,MAAM,YAAY,GAAG;YACnB,OAAO,EAAE;gBACP;oBACE,YAAY,EAAE;wBACZ,OAAO,EAAE,MAAM;wBACf,KAAK,EAAE,CAAC;wBACR,OAAO,EAAE,OAAO;qBACjB;iBACF;aACF;SACF,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,YAAY,CAAC,EAAE,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,aAAa;YACnB,iBAAiB,EAAE,mBAAmB,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;SAC3D,CAAC,CAAC;QACH,MAAM,YAAY,GAAG;YACnB,OAAO,EAAE;gBACP;oBACE,YAAY,EAAE;wBACZ,OAAO,EAAE,MAAM;wBACf,KAAK,EAAE,CAAC;wBACR,OAAO,EAAE,OAAO;qBACjB;iBACF;aACF;SACF,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,YAAY,CAAC,EAAE,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,aAAa;YACnB,oBAAoB,EAAE,oCAAoC;SAC3D,CAAC,CAAC;QACH,MAAM,YAAY,GAAG;YACnB,OAAO,EAAE;gBACP;oBACE,YAAY,EAAE;wBACZ,OAAO,EAAE,MAAM;wBACf,KAAK,EAAE,CAAC;wBACR,OAAO,EAAE,OAAO;qBACjB;iBACF;aACF;SACF,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,YAAY,CAAC,EAAE,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,aAAa;SACpB,CAAC,CAAC;QACH,MAAM,YAAY,GAAG;YACnB,OAAO,EAAE;gBACP;oBACE,YAAY,EAAE;wBACZ,OAAO,EAAE,MAAM;wBACf,KAAK,EAAE,CAAC;wBACR,OAAO,EAAE,OAAO;qBACjB;iBACF;aACF;SACF,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,YAAY,CAAC,EAAE,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,YAAY,GAAG;YACnB,OAAO,EAAE;gBACP;oBACE,YAAY,EAAE;wBACZ,OAAO,EAAE,MAAM;wBACf,KAAK,EAAE,CAAC;wBACR,OAAO,EAAE,OAAO;qBACjB;iBACF;aACF;SACF,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,YAAY,CAAC,EAAE,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,SAAS;YACtB,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,gBAAgB;SACvB,CAAC,CAAC;QACH,MAAM,YAAY,GAAG;YACnB,OAAO,EAAE;gBACP;oBACE,YAAY,EAAE;wBACZ,OAAO,EAAE,MAAM;wBACf,KAAK,EAAE,CAAC;wBACR,OAAO,EAAE,OAAO;wBAChB,kBAAkB,EAAE,CAAC,iBAAiB,CAAC;qBACxC;oBACD,WAAW,EAAE,0CAA0C;iBACxD;aACF;SACF,CAAC;QACF,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;QAChD,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,kBAAkB,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,8BAA8B;YACpC,qBAAqB,EAAE,CAAC,mBAAmB,CAAC;YAC5C,oBAAoB,EAAE,sBAAsB;SAC7C,CAAC,CAAC;QACH,MAAM,YAAY,GAAG;YACnB,OAAO,EAAE;gBACP;oBACE,YAAY,EAAE;wBACZ,OAAO,EAAE,MAAM;wBACf,KAAK,EAAE,CAAC;wBACR,OAAO,EAAE,OAAO;wBAChB,kBAAkB,EAAE,CAAC,iBAAiB,CAAC;qBACxC;iBACF;aACF;SACF,CAAC;QACF,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,aAAa;YACtB,OAAO,EAAE,aAAa;YACtB,IAAI,EAAE,gDAAgD;YACtD,MAAM,EAAE,mBAAmB;SAC5B,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC;QACrD,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;QAC7C,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,MAAM;YACf,IAAI,EAAE,mBAAmB;YACzB,cAAc,EAAE,iBAAiB,CAAC;gBAChC,SAAS,EAAE,0BAA0B;gBACrC,gBAAgB,EAAE,CAAC,gBAAgB,CAAC;gBACpC,gBAAgB,EAAE,CAAC,kBAAkB,CAAC;gBACtC,OAAO,EAAE,MAAM;aAChB,CAAC;SACH,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,0BAA0B,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,MAAM;YACf,IAAI,EAAE,4CAA4C;SACnD,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC;QAC5C,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,cAAe,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,sBAAsB,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QACvE,MAAM,MAAM,GAAG,SAAS,CAAC,eAAe,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,OAAO,EAAE,MAAM;YACf,IAAI,EAAE,aAAa;YACnB,cAAc,EAAE,iBAAiB,CAAC;gBAChC,SAAS,EAAE,oDAAoD;gBAC/D,gBAAgB,EAAE,CAAC,mCAAmC,CAAC;gBACvD,gBAAgB,EAAE,CAAC,0BAA0B,CAAC;aAC/C,CAAC;SACH,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,SAAS,CACtB,6CAA6C,EAC7C,GAAG,EACH,IAAI,CACL,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,MAAM;YACf,IAAI,EAAE,cAAc;YACpB,kBAAkB,EAAE,mBAAmB;YACvC,cAAc,EAAE,iBAAiB,CAAC;gBAChC,SAAS,EAAE,eAAe;gBAC1B,gBAAgB,EAAE,CAAC,gBAAgB,CAAC;gBACpC,gBAAgB,EAAE,EAAE;aACrB,CAAC;SACH,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,YAAY,GAAG;YACnB,OAAO,EAAE;gBACP;oBACE,YAAY,EAAE;wBACZ,OAAO,EAAE,OAAO;wBAChB,KAAK,EAAE,CAAC;wBACR,OAAO,EAAE,OAAO;wBAChB,kBAAkB,EAAE,CAAC,iBAAiB,CAAC;qBACxC;iBACF;aACF;SACF,CAAC;QACF,wDAAwD;QACxD,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,OAAO;YAChB,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,gDAAgD;YACtD,qBAAqB,EAAE,CAAC,mBAAmB,CAAC;SAC7C,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,YAAY,GAAG;YACnB,OAAO,EAAE;gBACP;oBACE,YAAY,EAAE;wBACZ,OAAO,EAAE,OAAO;wBAChB,KAAK,EAAE,CAAC;wBACR,OAAO,EAAE,OAAO;qBACjB;iBACF;aACF;SACF,CAAC;QACF,MAAM,GAAG,GAAG,sBAAsB,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,OAAO;YAChB,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,aAAa;SACpB,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/policy.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=policy.test.d.ts.map

package/dist/tests/policy.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.test.d.ts","sourceRoot":"","sources":["../../src/tests/policy.test.ts"],"names":[],"mappings":""}

package/dist/tests/policy.test.js

@@ -0,0 +1,59 @@
+/** Tests for policy loading and singleton. */
+import { describe, it, beforeEach } from "node:test";
+import assert from "node:assert/strict";
+import { loadPolicy, getPolicy, resetPolicy, DEFAULT_POLICY, } from "../policy.js";
+describe("Policy — Defaults", () => {
+    beforeEach(() => resetPolicy());
+    it("DEFAULT_POLICY has correct constraint values", () => {
+        assert.equal(DEFAULT_POLICY.constraints.retire_window, 3);
+        assert.equal(DEFAULT_POLICY.constraints.max_active, 12);
+    });
+    it("DEFAULT_POLICY has correct summary values", () => {
+        assert.equal(DEFAULT_POLICY.summary.window, 5);
+        assert.equal(DEFAULT_POLICY.summary.health_check_interval, 1);
+    });
+    it("DEFAULT_POLICY has correct engine values", () => {
+        assert.equal(DEFAULT_POLICY.engine.feedback_flush_interval, 5);
+        assert.equal(DEFAULT_POLICY.engine.max_circuit_breaker, 3);
+    });
+    it("DEFAULT_POLICY fallback_chain is complete", () => {
+        const chain = DEFAULT_POLICY.technique.fallback_chain;
+        assert.equal(chain["zero-shot"], "few-shot");
+        assert.equal(chain["few-shot"], "zero-shot-cot");
+        assert.equal(chain["tree-of-thought"], "tree-of-thought");
+    });
+    it("DEFAULT_POLICY routing_table has 6 entries", () => {
+        const rt = DEFAULT_POLICY.technique.routing_table;
+        assert.equal(Object.keys(rt).length, 6);
+        assert.equal(rt["continuous_high"], "few-shot-cot");
+        assert.equal(rt["independent_high"], "tree-of-thought");
+    });
+    it("DEFAULT_POLICY recompile_triggers has L1 and L2 lists", () => {
+        assert.ok(DEFAULT_POLICY.recompile_triggers.l1.includes("new_constraints"));
+        assert.ok(DEFAULT_POLICY.recompile_triggers.l2.includes("goal_id_changed"));
+    });
+    it("getPolicy returns DEFAULT_POLICY when no file found", () => {
+        resetPolicy();
+        const policy = getPolicy("nonexistent_policy.json");
+        assert.equal(policy.constraints.retire_window, 3);
+    });
+    it("getPolicy is a singleton within a session", () => {
+        resetPolicy();
+        const p1 = getPolicy();
+        const p2 = getPolicy();
+        assert.strictEqual(p1, p2);
+    });
+    it("resetPolicy clears the singleton", () => {
+        resetPolicy();
+        const p1 = getPolicy();
+        resetPolicy();
+        const p2 = getPolicy();
+        assert.notStrictEqual(p1, p2);
+    });
+    it("loadPolicy returns defaults when given invalid path", () => {
+        const policy = loadPolicy("/nonexistent/path.json");
+        assert.equal(policy.constraints.retire_window, 3);
+        assert.equal(policy.version, "1");
+    });
+});
+//# sourceMappingURL=policy.test.js.map

package/dist/tests/policy.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.test.js","sourceRoot":"","sources":["../../src/tests/policy.test.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACrD,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EACL,UAAU,EACV,SAAS,EACT,WAAW,EACX,cAAc,GACf,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,UAAU,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAEhC,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,uBAAuB,EAAE,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,CAAC,cAAc,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,eAAe,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,cAAc,CAAC,SAAS,CAAC,aAAa,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,iBAAiB,CAAC,EAAE,cAAc,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,kBAAkB,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,kBAAkB,CAAC,EAAE,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,kBAAkB,CAAC,EAAE,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,WAAW,EAAE,CAAC;QACd,MAAM,MAAM,GAAG,SAAS,CAAC,yBAAyB,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,WAAW,EAAE,CAAC;QACd,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC;QACvB,MAAM,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,WAAW,EAAE,CAAC;QACd,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC;QACvB,WAAW,EAAE,CAAC;QACd,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC;QACvB,MAAM,CAAC,cAAc,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,MAAM,GAAG,UAAU,CAAC,wBAAwB,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/protocol.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=protocol.test.d.ts.map

package/dist/tests/protocol.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol.test.d.ts","sourceRoot":"","sources":["../../src/tests/protocol.test.ts"],"names":[],"mappings":""}

package/dist/tests/protocol.test.js

@@ -0,0 +1,63 @@
+/** Tests for protocol type factories and serialisation. */
+import { describe, it } from "node:test";
+import assert from "node:assert/strict";
+import { Mode, AgentStatus, Technique, makeAnalysis, makeVaultConfig, makeLoopCompileRequest, makeLoopCompileResponse, makeTaskId, } from "../protocol.js";
+describe("Protocol — Enums", () => {
+    it("Mode has 4 values", () => {
+        assert.equal(Object.values(Mode).length, 4);
+        assert.equal(Mode.LOOP_COMPILE, "loop_compile");
+        assert.equal(Mode.FEEDBACK, "feedback");
+        assert.equal(Mode.REVIEW, "review");
+        assert.equal(Mode.BUILD, "build");
+    });
+    it("AgentStatus has 3 values", () => {
+        assert.equal(AgentStatus.OK, "ok");
+        assert.equal(AgentStatus.ERROR, "error");
+        assert.equal(AgentStatus.STALLED, "stalled");
+    });
+    it("Technique has 7 values", () => {
+        assert.equal(Technique.ZERO_SHOT, "zero-shot");
+        assert.equal(Technique.TREE_OF_THOUGHT, "tree-of-thought");
+    });
+});
+describe("Protocol — Factory functions", () => {
+    it("makeAnalysis returns sensible defaults", () => {
+        const a = makeAnalysis();
+        assert.equal(a.technique, "zero-shot");
+        assert.equal(a.was_rotated, false);
+        assert.equal(a.independence, "independent");
+        assert.equal(a.cognitive_load, "low");
+    });
+    it("makeAnalysis accepts overrides", () => {
+        const a = makeAnalysis({ technique: "few-shot", was_rotated: true });
+        assert.equal(a.technique, "few-shot");
+        assert.equal(a.was_rotated, true);
+    });
+    it("makeVaultConfig returns sensible defaults", () => {
+        const vc = makeVaultConfig();
+        assert.equal(vc.project_vault, ".promptcraft/prompt_vault.json");
+        assert.equal(vc.skills_dir, "skills");
+        assert.equal(vc.no_global, false);
+    });
+    it("makeLoopCompileRequest returns sensible defaults", () => {
+        const req = makeLoopCompileRequest();
+        assert.equal(req.mode, "loop_compile");
+        assert.equal(req.round, 1);
+        assert.equal(req.force_level, "auto");
+        assert.equal(req.health_check_interval, 1);
+        assert.equal(req.loop_objective, null);
+        assert.deepEqual(req.constraints_from_plan, []);
+    });
+    it("makeLoopCompileResponse returns sensible defaults", () => {
+        const resp = makeLoopCompileResponse();
+        assert.equal(resp.status, "ok");
+        assert.equal(resp.recompile_level, "l2");
+        assert.equal(resp.round, 0);
+        assert.deepEqual(resp.warnings, []);
+    });
+    it("makeTaskId derives kebab-case from description", () => {
+        assert.equal(makeTaskId("Audit ERC20 token"), "audit-erc20-token");
+        assert.equal(makeTaskId(""), "unnamed-task");
+    });
+});
+//# sourceMappingURL=protocol.test.js.map

package/dist/tests/protocol.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol.test.js","sourceRoot":"","sources":["../../src/tests/protocol.test.ts"],"names":[],"mappings":"AAAA,2DAA2D;AAC3D,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EACL,IAAI,EACJ,WAAW,EACX,SAAS,EACT,YAAY,EACZ,eAAe,EAOf,sBAAsB,EACtB,uBAAuB,EAEvB,UAAU,GACX,MAAM,gBAAgB,CAAC;AAExB,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAC/C,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QACnC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,YAAY,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QACrE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,eAAe,EAAE,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,aAAa,EAAE,gCAAgC,CAAC,CAAC;QACjE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,sBAAsB,EAAE,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC3B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;QACvC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,qBAAqB,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,IAAI,GAAG,uBAAuB,EAAE,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,mBAAmB,CAAC,CAAC;QACnE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,cAAc,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/replay.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=replay.test.d.ts.map

package/dist/tests/replay.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"replay.test.d.ts","sourceRoot":"","sources":["../../src/tests/replay.test.ts"],"names":[],"mappings":""}