loopforge 1.8.0 → 1.15.1

package/dist/tests/builder.test.js

@@ -1,7 +1,7 @@
 /** Tests for technique routing and quality scoring. */
 import { describe, it, beforeEach } from "node:test";
 import assert from "node:assert/strict";
-import { routeTechnique, routeTechniqueAdaptive, scoreQuality, } from "../builder.js";
+import { routeTechnique, routeTechniqueAdaptive, } from "../builder.js";
 import { resetPolicy } from "../policy.js";
 describe("Builder — Route Technique", () => {
     beforeEach(() => resetPolicy());
@@ -44,49 +44,28 @@ describe("Builder — Route Technique", () => {
         assert.equal(analysis.technique, "zero-shot");
     });
 });
-describe("Builder — Score Quality", () => {
-    it("returns 5 for success with no violations or fixes", () => {
-        assert.equal(scoreQuality({ success: true, constraint_violations: [], manual_fixes_needed: "" }), 5);
-    });
-    it("returns 4 for success with manual fixes needed but no violations", () => {
-        assert.equal(scoreQuality({ success: true, constraint_violations: [], manual_fixes_needed: "fix formatting" }), 4);
-    });
-    it("returns 3 for success with constraint violations", () => {
-        assert.equal(scoreQuality({ success: true, constraint_violations: ["missing check"] }), 3);
-    });
-    it("returns 2 for failure with constraint violations", () => {
-        assert.equal(scoreQuality({ success: false, constraint_violations: ["XSS vulnerability"] }), 2);
-    });
-    it("returns 1 for failure with no constraint violations", () => {
-        assert.equal(scoreQuality({ success: false, constraint_violations: [] }), 1);
-    });
-    it("returns 0 for null feedback", () => {
-        assert.equal(scoreQuality(null), 0);
-    });
-});
-describe("Builder — Adaptive routing", () => {
-    it("falls back to keyword heuristic when no vault context", () => {
-        // "Audit" + "fix" → continuous + high → few-shot-cot
+describe("Builder — Tier-gated routing", () => {
+    it("uses keyword heuristic when no vault context (Tier 1 default)", () => {
         const analysis = routeTechniqueAdaptive("Fix the encryption protocol security audit", null, "");
         assert.equal(analysis.technique, "few-shot-cot");
         assert.equal(analysis.was_rotated, false);
     });
-    it("falls back to keyword heuristic when no loop_id", () => {
+    it("uses keyword heuristic when no loop_id (Tier 1 default)", () => {
         const analysis = routeTechniqueAdaptive("Fix the encryption protocol security audit", { results: [] }, "");
         assert.equal(analysis.technique, "few-shot-cot");
         assert.equal(analysis.was_rotated, false);
     });
-    it("does not rotate when quality scores are high", () => {
+    it("stays in Tier 1 by default", () => {
         const vaultContext = {
             results: [
                 {
                     loop_lineage: {
                         loop_id: "test-loop",
                         round: 1,
-                        quality_score: 5,
+                        success: true,
                     },
                     technique_used: "few-shot-cot",
-                    quality_score: 5,
+                    success: true,
                 },
             ],
         };
@@ -94,5 +73,40 @@ describe("Builder — Adaptive routing", () => {
         assert.equal(analysis.technique, "few-shot-cot");
         assert.equal(analysis.was_rotated, false);
     });
+    it("allows Tier 2 on checkpoint boundary", () => {
+        // Task triggers step-back keyword → Tier 2, normally downgraded
+        // But with isCheckpoint=true, should be allowed
+        const analysis = routeTechniqueAdaptive("重构 legacy 系统", null, "", true);
+        assert.equal(analysis.technique, "step-back");
+    });
+    it("downgrades Tier 2 to Tier 1 in normal round", () => {
+        // "重构 legacy 系统" triggers step-back (Tier 2), but without checkpoint it downgrades
+        const analysis = routeTechniqueAdaptive("重构 legacy 系统");
+        // step-back downgrades to few-shot-cot
+        assert.ok(["zero-shot", "few-shot", "zero-shot-cot", "few-shot-cot"].includes(analysis.technique));
+    });
+    // v1.15: Tier escalation removed — Agent freely chooses at L2.
+    // Consecutive failures no longer force Tier 2 techniques.
+    it("stays in Tier 1 after consecutive failures (v1.15 — escalation removed)", () => {
+        const vaultContext = {
+            results: [
+                {
+                    loop_lineage: { loop_id: "test-loop", round: 1 },
+                    success: false,
+                },
+                {
+                    loop_lineage: { loop_id: "test-loop", round: 2 },
+                    success: false,
+                },
+                {
+                    loop_lineage: { loop_id: "test-loop", round: 3 },
+                    success: false,
+                },
+            ],
+        };
+        const analysis = routeTechniqueAdaptive("Fix the encryption protocol security audit", vaultContext, "test-loop");
+        // Tier 1 only in normal round (no escalation)
+        assert.ok(["zero-shot", "few-shot", "zero-shot-cot", "few-shot-cot"].includes(analysis.technique));
+    });
 });
 //# sourceMappingURL=builder.test.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"builder.test.js","sourceRoot":"","sources":["../../src/tests/builder.test.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACrD,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EACL,cAAc,EACd,sBAAsB,EACtB,YAAY,GAEb,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,UAAU,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAEhC,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,iFAAiF;QACjF,MAAM,QAAQ,GAAG,cAAc,CAAC,oDAAoD,CAAC,CAAC;QACtF,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,QAAQ,GAAG,cAAc,CAAC,6CAA6C,CAAC,CAAC;QAC/E,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,QAAQ,GAAG,cAAc,CAAC,aAAa,CAAC,CAAC,CAAE,0BAA0B;QAC3E,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,QAAQ,GAAG,cAAc,CAAC,mEAAmE,CAAC,CAAC;QACrG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,QAAQ,GAAG,cAAc,CAAC,8DAA8D,CAAC,CAAC;QAChG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,QAAQ,GAAG,cAAc,CAAC,6BAA6B,CAAC,CAAC;QAC/D,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC,CAAE,aAAa;QACnD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,EAAE,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACvG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,EAAE,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACrH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,qBAAqB,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,qDAAqD;QACrD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,4CAA4C,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAChG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,4CAA4C,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3G,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,YAAY,GAAG;YACnB,OAAO,EAAE;gBACP;oBACE,YAAY,EAAE;wBACZ,OAAO,EAAE,WAAW;wBACpB,KAAK,EAAE,CAAC;wBACR,aAAa,EAAE,CAAC;qBACjB;oBACD,cAAc,EAAE,cAAc;oBAC9B,aAAa,EAAE,CAAC;iBACjB;aACF;SACF,CAAC;QACF,MAAM,QAAQ,GAAG,sBAAsB,CAAC,4CAA4C,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;QACjH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"builder.test.js","sourceRoot":"","sources":["../../src/tests/builder.test.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACrD,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EACL,cAAc,EACd,sBAAsB,GAEvB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,UAAU,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAEhC,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,iFAAiF;QACjF,MAAM,QAAQ,GAAG,cAAc,CAAC,oDAAoD,CAAC,CAAC;QACtF,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,QAAQ,GAAG,cAAc,CAAC,6CAA6C,CAAC,CAAC;QAC/E,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,QAAQ,GAAG,cAAc,CAAC,aAAa,CAAC,CAAC,CAAE,0BAA0B;QAC3E,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,QAAQ,GAAG,cAAc,CAAC,mEAAmE,CAAC,CAAC;QACrG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,QAAQ,GAAG,cAAc,CAAC,8DAA8D,CAAC,CAAC;QAChG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,QAAQ,GAAG,cAAc,CAAC,6BAA6B,CAAC,CAAC;QAC/D,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC,CAAE,aAAa;QACnD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,QAAQ,GAAG,sBAAsB,CAAC,4CAA4C,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAChG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,QAAQ,GAAG,sBAAsB,CAAC,4CAA4C,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3G,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,YAAY,GAAG;YACnB,OAAO,EAAE;gBACP;oBACE,YAAY,EAAE;wBACZ,OAAO,EAAE,WAAW;wBACpB,KAAK,EAAE,CAAC;wBACR,OAAO,EAAE,IAAI;qBACd;oBACD,cAAc,EAAE,cAAc;oBAC9B,OAAO,EAAE,IAAI;iBACd;aACF;SACF,CAAC;QACF,MAAM,QAAQ,GAAG,sBAAsB,CAAC,4CAA4C,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;QACjH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,gEAAgE;QAChE,gDAAgD;QAChD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACxE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,mFAAmF;QACnF,MAAM,QAAQ,GAAG,sBAAsB,CAAC,cAAc,CAAC,CAAC;QACxD,uCAAuC;QACvC,MAAM,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,eAAe,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IACrG,CAAC,CAAC,CAAC;IAEH,+DAA+D;IAC/D,0DAA0D;IAC1D,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,YAAY,GAAG;YACnB,OAAO,EAAE;gBACP;oBACE,YAAY,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE;oBAChD,OAAO,EAAE,KAAK;iBACf;gBACD;oBACE,YAAY,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE;oBAChD,OAAO,EAAE,KAAK;iBACf;gBACD;oBACE,YAAY,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE;oBAChD,OAAO,EAAE,KAAK;iBACf;aACF;SACF,CAAC;QACF,MAAM,QAAQ,GAAG,sBAAsB,CAAC,4CAA4C,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;QACjH,8CAA8C;QAC9C,MAAM,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,eAAe,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IACrG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/enforcement-gate.test.d.ts

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

package/dist/tests/enforcement-gate.test.d.ts.map

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

package/dist/tests/enforcement-gate.test.js

@@ -0,0 +1,328 @@
+/** Tests for enforcement-gate — Layer 2 round-boundary runtime enforcement. */
+import { describe, it } from "node:test";
+import assert from "node:assert/strict";
+import { makeEnforcementResult, makeExecutionEvidence, makeSelfEvaluation, makeVerificationFlag, makeVerificationResult, } from "../protocol.js";
+import { enforceRound, buildRejectionPrompt } from "../enforcement-gate.js";
+// ═══════════════════════════════════════════════════════════════════════════
+// Helpers
+// ═══════════════════════════════════════════════════════════════════════════
+/** Build a minimal SelfEvaluation for testing. */
+function se(overrides = {}) {
+    return makeSelfEvaluation({
+        success: true,
+        output_summary: "Task completed.",
+        constraint_violations: [],
+        should_continue: true,
+        ...overrides,
+    });
+}
+/** Build a trusted VerificationResult with no flags. */
+function trusted() {
+    return makeVerificationResult({ verdict: "trusted", flags: [] });
+}
+/** Build a VerificationResult with a "success_with_remaining_criteria" error flag. */
+function contradictedSuccessWithRemaining(criteria) {
+    return makeVerificationResult({
+        verdict: "contradicted",
+        flags: [
+            makeVerificationFlag({
+                severity: "error",
+                field: "success",
+                check: "success_with_remaining_criteria",
+                detail: `Agent claims success but ${criteria.length} criteria remain unmet: ${criteria.join("; ")}`,
+            }),
+        ],
+    });
+}
+/** Build a VerificationResult with a "recurring_violation" error flag. */
+function contradictedRecurringViolation(violation) {
+    return makeVerificationResult({
+        verdict: "contradicted",
+        flags: [
+            makeVerificationFlag({
+                severity: "error",
+                field: "constraint_violations",
+                check: "recurring_violation",
+                detail: `Constraint violation "${violation}" has appeared in 3 consecutive rounds without resolution`,
+            }),
+        ],
+    });
+}
+/** Build a vault entry with round and optional progress data. */
+function vaultRound(round, progressEstimate) {
+    const entry = {
+        task_id: `loop:test-loop:r${round}`,
+        loop_id: "test-loop",
+        loop_lineage: { round, success: true, task: "test task" },
+    };
+    if (typeof progressEstimate === "number") {
+        entry.execution_evidence = {
+            files_changed: ["src/foo.ts"],
+            test_results: { passed: 1, failed: 0, skipped: 0 },
+            success_criteria_met: [],
+            success_criteria_remaining: [],
+            progress_estimate: progressEstimate,
+        };
+    }
+    return entry;
+}
+// ═══════════════════════════════════════════════════════════════════════════
+// Happy path — trusted verdict, no issues
+// ═══════════════════════════════════════════════════════════════════════════
+describe("enforcement-gate — happy path", () => {
+    it("accepts a round with trusted verdict and clean self-eval", () => {
+        const curr = se({
+            success: false,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: ["src/foo.ts"],
+                test_results: { passed: 3, failed: 1, skipped: 0 },
+                progress_estimate: 0.5,
+            }),
+        });
+        const result = enforceRound(curr, trusted(), 2, [], 0);
+        assert.equal(result.action, "accept");
+        assert.equal(result.reason, "");
+    });
+    it("accepts a round with suspect verdict (warn only, not error)", () => {
+        const curr = se({
+            success: false,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: ["src/bar.ts"],
+                test_results: { passed: 5, failed: 0, skipped: 0 },
+                progress_estimate: 0.3,
+            }),
+        });
+        const suspect = makeVerificationResult({
+            verdict: "suspect",
+            flags: [
+                makeVerificationFlag({
+                    severity: "warn",
+                    field: "progress_estimate",
+                    check: "progress_regression",
+                    detail: "Progress dropped from 0.5 to 0.3",
+                }),
+            ],
+        });
+        const result = enforceRound(curr, suspect, 2, [], 0);
+        assert.equal(result.action, "accept");
+    });
+    it("accepts round 1 with no prior vault data", () => {
+        const curr = se({ success: false });
+        const result = enforceRound(curr, trusted(), 1, [], 0);
+        assert.equal(result.action, "accept");
+    });
+});
+// ═══════════════════════════════════════════════════════════════════════════
+// R1: success=true with remaining criteria
+// ═══════════════════════════════════════════════════════════════════════════
+describe("enforcement-gate — R1: fake success", () => {
+    it("rejects when agent claims success but criteria remain unmet", () => {
+        const curr = se({
+            success: true,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: ["src/foo.ts"],
+                success_criteria_met: ["criteria-1"],
+                success_criteria_remaining: ["criteria-2", "criteria-3"],
+                progress_estimate: 0.5,
+            }),
+        });
+        const result = enforceRound(curr, contradictedSuccessWithRemaining(["criteria-2", "criteria-3"]), 3, [], 0);
+        assert.equal(result.action, "reject");
+        assert.ok(result.reason.includes("criteria remain unmet"));
+        assert.ok(result.fix_instructions.length > 0);
+    });
+});
+// ═══════════════════════════════════════════════════════════════════════════
+// R2: recurring violation
+// ═══════════════════════════════════════════════════════════════════════════
+describe("enforcement-gate — R2: recurring violation", () => {
+    it("rejects when same violation appears in 3 consecutive rounds", () => {
+        const curr = se({
+            success: false,
+            constraint_violations: ["missing docs"],
+        });
+        const result = enforceRound(curr, contradictedRecurringViolation("missing docs"), 4, [], 0);
+        assert.equal(result.action, "reject");
+        assert.ok(result.reason.includes("3 consecutive rounds"));
+        assert.ok(result.fix_instructions.includes("DIFFERENT approach"));
+    });
+});
+// ═══════════════════════════════════════════════════════════════════════════
+// R3: empty success — no files changed, no tests, claims success
+// ═══════════════════════════════════════════════════════════════════════════
+describe("enforcement-gate — R3: empty success", () => {
+    it("rejects when agent claims success with no files and no tests", () => {
+        const curr = se({
+            success: true,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: [],
+                test_results: null,
+                progress_estimate: 1.0,
+            }),
+        });
+        const result = enforceRound(curr, trusted(), 2, [], 0);
+        assert.equal(result.action, "reject");
+        assert.ok(result.reason.includes("no verifiable evidence"));
+    });
+    it("accepts when success=true with files_changed (not empty)", () => {
+        const curr = se({
+            success: true,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: ["src/fixed.ts"],
+                test_results: { passed: 10, failed: 0, skipped: 0 },
+                progress_estimate: 1.0,
+            }),
+        });
+        const result = enforceRound(curr, trusted(), 2, [], 0);
+        assert.equal(result.action, "accept");
+    });
+    it("skips when execution_evidence is undefined (heuristic fallback)", () => {
+        // Heuristic self-evaluations have no execution_evidence.
+        // R3 should not fire in this case — it only fires when
+        // execution_evidence IS provided but shows empty work.
+        const curr = makeSelfEvaluation({
+            success: true,
+            output_summary: "Done.",
+            constraint_violations: [],
+            should_continue: true,
+        });
+        // Explicitly remove execution_evidence (default factory sets it)
+        curr.execution_evidence = undefined;
+        const result = enforceRound(curr, trusted(), 2, [], 0);
+        assert.equal(result.action, "accept");
+    });
+});
+// ═══════════════════════════════════════════════════════════════════════════
+// R4: progress stall
+// ═══════════════════════════════════════════════════════════════════════════
+describe("enforcement-gate — R4: progress stall", () => {
+    it("rejects when progress is flat for 3 rounds", () => {
+        const curr = se({
+            success: false,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: ["src/foo.ts"],
+                progress_estimate: 0.33,
+            }),
+        });
+        const vault = [
+            vaultRound(1, 0.30),
+            vaultRound(2, 0.31),
+            vaultRound(3, 0.32),
+        ];
+        const result = enforceRound(curr, trusted(), 4, vault, 0);
+        assert.equal(result.action, "reject");
+        assert.ok(result.reason.includes("stalled"));
+    });
+    it("accepts when progress is increasing", () => {
+        const curr = se({
+            success: false,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: ["src/foo.ts"],
+                progress_estimate: 0.80,
+            }),
+        });
+        const vault = [
+            vaultRound(1, 0.30),
+            vaultRound(2, 0.50),
+            vaultRound(3, 0.70),
+        ];
+        const result = enforceRound(curr, trusted(), 4, vault, 0);
+        assert.equal(result.action, "accept");
+    });
+    it("terminates on second consecutive stall rejection", () => {
+        const curr = se({
+            success: false,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: ["src/foo.ts"],
+                progress_estimate: 0.33,
+            }),
+        });
+        const vault = [
+            vaultRound(1, 0.30),
+            vaultRound(2, 0.31),
+            vaultRound(3, 0.32),
+        ];
+        // consecutiveRejections=1 (was already rejected once before)
+        const result = enforceRound(curr, trusted(), 4, vault, 1);
+        assert.equal(result.action, "terminate");
+        assert.ok(result.reason.includes("previous rejection"));
+    });
+    it("does not fire with less than 3 rounds of vault data", () => {
+        const curr = se({
+            success: false,
+            execution_evidence: makeExecutionEvidence({
+                progress_estimate: 0.32,
+            }),
+        });
+        const vault = [vaultRound(1, 0.30)];
+        const result = enforceRound(curr, trusted(), 2, vault, 0);
+        assert.equal(result.action, "accept");
+    });
+});
+// ═══════════════════════════════════════════════════════════════════════════
+// R5: max rejections
+// ═══════════════════════════════════════════════════════════════════════════
+describe("enforcement-gate — R5: max rejections", () => {
+    it("terminates after 2 consecutive rejections", () => {
+        const curr = se({ success: false });
+        const result = enforceRound(curr, trusted(), 3, [], 2);
+        assert.equal(result.action, "terminate");
+        assert.ok(result.reason.includes("consecutive enforcement rejections"));
+    });
+    it("does not terminate with only 1 rejection", () => {
+        const curr = se({ success: false });
+        const result = enforceRound(curr, trusted(), 3, [], 1);
+        assert.equal(result.action, "accept");
+    });
+});
+// ═══════════════════════════════════════════════════════════════════════════
+// Priority — R1 takes precedence over R3 when both conditions exist
+// ═══════════════════════════════════════════════════════════════════════════
+describe("enforcement-gate — rule priority", () => {
+    it("R1 (fake success) fires before R3 (empty success)", () => {
+        const curr = se({
+            success: true,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: [], // triggers R3
+                test_results: null, // triggers R3
+                success_criteria_met: ["x"],
+                success_criteria_remaining: ["y", "z"], // triggers R1
+                progress_estimate: 1.0,
+            }),
+        });
+        const result = enforceRound(curr, contradictedSuccessWithRemaining(["y", "z"]), 2, [], 0);
+        // R1 should fire (criteria remaining), not R3 (empty success)
+        assert.equal(result.action, "reject");
+        assert.ok(result.reason.includes("criteria remain unmet"));
+    });
+});
+// ═══════════════════════════════════════════════════════════════════════════
+// buildRejectionPrompt
+// ═══════════════════════════════════════════════════════════════════════════
+describe("buildRejectionPrompt", () => {
+    it("produces a prompt containing REJECTED, reason, and retry instructions", () => {
+        const enforceResult = makeEnforcementResult({
+            action: "reject",
+            reason: "Agent claims success but 3 criteria remain unmet.",
+            fix_instructions: "Complete all criteria or set success=false.",
+        });
+        const prompt = buildRejectionPrompt(5, "Audit the ERC20 token", enforceResult);
+        assert.ok(prompt.includes("REJECTED"));
+        assert.ok(prompt.includes("Round 5"));
+        assert.ok(prompt.includes("criteria remain unmet"));
+        assert.ok(prompt.includes("Complete all criteria"));
+        assert.ok(prompt.includes("Audit the ERC20 token"));
+        assert.ok(prompt.includes("Retry"));
+        assert.ok(prompt.includes("do NOT advance"));
+    });
+    it("includes the task in the retry section", () => {
+        const enforceResult = makeEnforcementResult({
+            action: "reject",
+            reason: "Test reason.",
+            fix_instructions: "Test fix.",
+        });
+        const prompt = buildRejectionPrompt(2, "Fix bugs in auth module", enforceResult);
+        assert.ok(prompt.includes("Fix bugs in auth module"));
+    });
+});
+//# sourceMappingURL=enforcement-gate.test.js.map

package/dist/tests/enforcement-gate.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"enforcement-gate.test.js","sourceRoot":"","sources":["../../src/tests/enforcement-gate.test.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,GAIvB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAE5E,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,kDAAkD;AAClD,SAAS,EAAE,CAAC,YAAqC,EAAE;IACjD,OAAO,kBAAkB,CAAC;QACxB,OAAO,EAAE,IAAI;QACb,cAAc,EAAE,iBAAiB;QACjC,qBAAqB,EAAE,EAAE;QACzB,eAAe,EAAE,IAAI;QACrB,GAAG,SAAS;KACb,CAAC,CAAC;AACL,CAAC;AAED,wDAAwD;AACxD,SAAS,OAAO;IACd,OAAO,sBAAsB,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;AACnE,CAAC;AAED,sFAAsF;AACtF,SAAS,gCAAgC,CAAC,QAAkB;IAC1D,OAAO,sBAAsB,CAAC;QAC5B,OAAO,EAAE,cAAc;QACvB,KAAK,EAAE;YACL,oBAAoB,CAAC;gBACnB,QAAQ,EAAE,OAAO;gBACjB,KAAK,EAAE,SAAS;gBAChB,KAAK,EAAE,iCAAiC;gBACxC,MAAM,EAAE,4BAA4B,QAAQ,CAAC,MAAM,2BAA2B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aACpG,CAAC;SACH;KACF,CAAC,CAAC;AACL,CAAC;AAED,0EAA0E;AAC1E,SAAS,8BAA8B,CAAC,SAAiB;IACvD,OAAO,sBAAsB,CAAC;QAC5B,OAAO,EAAE,cAAc;QACvB,KAAK,EAAE;YACL,oBAAoB,CAAC;gBACnB,QAAQ,EAAE,OAAO;gBACjB,KAAK,EAAE,uBAAuB;gBAC9B,KAAK,EAAE,qBAAqB;gBAC5B,MAAM,EAAE,yBAAyB,SAAS,2DAA2D;aACtG,CAAC;SACH;KACF,CAAC,CAAC;AACL,CAAC;AAED,iEAAiE;AACjE,SAAS,UAAU,CACjB,KAAa,EACb,gBAAyB;IAEzB,MAAM,KAAK,GAAe;QACxB,OAAO,EAAE,mBAAmB,KAAK,EAAE;QACnC,OAAO,EAAE,WAAW;QACpB,YAAY,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE;KAC1D,CAAC;IACF,IAAI,OAAO,gBAAgB,KAAK,QAAQ,EAAE,CAAC;QACzC,KAAK,CAAC,kBAAkB,GAAG;YACzB,aAAa,EAAE,CAAC,YAAY,CAAC;YAC7B,YAAY,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;YAClD,oBAAoB,EAAE,EAAE;YACxB,0BAA0B,EAAE,EAAE;YAC9B,iBAAiB,EAAE,gBAAgB;SACpC,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8EAA8E;AAC9E,0CAA0C;AAC1C,8EAA8E;AAE9E,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,KAAK;YACd,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,aAAa,EAAE,CAAC,YAAY,CAAC;gBAC7B,YAAY,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBAClD,iBAAiB,EAAE,GAAG;aACvB,CAAC;SACH,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,KAAK;YACd,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,aAAa,EAAE,CAAC,YAAY,CAAC;gBAC7B,YAAY,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBAClD,iBAAiB,EAAE,GAAG;aACvB,CAAC;SACH,CAAC,CAAC;QACH,MAAM,OAAO,GAAuB,sBAAsB,CAAC;YACzD,OAAO,EAAE,SAAS;YAClB,KAAK,EAAE;gBACL,oBAAoB,CAAC;oBACnB,QAAQ,EAAE,MAAM;oBAChB,KAAK,EAAE,mBAAmB;oBAC1B,KAAK,EAAE,qBAAqB;oBAC5B,MAAM,EAAE,kCAAkC;iBAC3C,CAAC;aACH;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,2CAA2C;AAC3C,8EAA8E;AAE9E,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,IAAI;YACb,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,aAAa,EAAE,CAAC,YAAY,CAAC;gBAC7B,oBAAoB,EAAE,CAAC,YAAY,CAAC;gBACpC,0BAA0B,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC;gBACxD,iBAAiB,EAAE,GAAG;aACvB,CAAC;SACH,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,YAAY,CACzB,IAAI,EACJ,gCAAgC,CAAC,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC,EAC9D,CAAC,EAAE,EAAE,EAAE,CAAC,CACT,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,0BAA0B;AAC1B,8EAA8E;AAE9E,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,KAAK;YACd,qBAAqB,EAAE,CAAC,cAAc,CAAC;SACxC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,YAAY,CACzB,IAAI,EACJ,8BAA8B,CAAC,cAAc,CAAC,EAC9C,CAAC,EAAE,EAAE,EAAE,CAAC,CACT,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,iEAAiE;AACjE,8EAA8E;AAE9E,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,IAAI;YACb,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,aAAa,EAAE,EAAE;gBACjB,YAAY,EAAE,IAAI;gBAClB,iBAAiB,EAAE,GAAG;aACvB,CAAC;SACH,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,IAAI;YACb,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,aAAa,EAAE,CAAC,cAAc,CAAC;gBAC/B,YAAY,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBACnD,iBAAiB,EAAE,GAAG;aACvB,CAAC;SACH,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,yDAAyD;QACzD,uDAAuD;QACvD,uDAAuD;QACvD,MAAM,IAAI,GAAG,kBAAkB,CAAC;YAC9B,OAAO,EAAE,IAAI;YACb,cAAc,EAAE,OAAO;YACvB,qBAAqB,EAAE,EAAE;YACzB,eAAe,EAAE,IAAI;SACtB,CAAC,CAAC;QACH,iEAAiE;QAChE,IAA2C,CAAC,kBAAkB,GAAG,SAAS,CAAC;QAC5E,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,KAAK;YACd,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,aAAa,EAAE,CAAC,YAAY,CAAC;gBAC7B,iBAAiB,EAAE,IAAI;aACxB,CAAC;SACH,CAAC,CAAC;QACH,MAAM,KAAK,GAAG;YACZ,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC;YACnB,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC;YACnB,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC;SACpB,CAAC;QACF,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,KAAK;YACd,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,aAAa,EAAE,CAAC,YAAY,CAAC;gBAC7B,iBAAiB,EAAE,IAAI;aACxB,CAAC;SACH,CAAC,CAAC;QACH,MAAM,KAAK,GAAG;YACZ,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC;YACnB,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC;YACnB,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC;SACpB,CAAC;QACF,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,KAAK;YACd,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,aAAa,EAAE,CAAC,YAAY,CAAC;gBAC7B,iBAAiB,EAAE,IAAI;aACxB,CAAC;SACH,CAAC,CAAC;QACH,MAAM,KAAK,GAAG;YACZ,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC;YACnB,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC;YACnB,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC;SACpB,CAAC;QACF,6DAA6D;QAC7D,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,KAAK;YACd,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,iBAAiB,EAAE,IAAI;aACxB,CAAC;SACH,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,oCAAoC,CAAC,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,oEAAoE;AACpE,8EAA8E;AAE9E,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,IAAI;YACb,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,aAAa,EAAE,EAAE,EAAQ,cAAc;gBACvC,YAAY,EAAE,IAAI,EAAQ,cAAc;gBACxC,oBAAoB,EAAE,CAAC,GAAG,CAAC;gBAC3B,0BAA0B,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAG,cAAc;gBACvD,iBAAiB,EAAE,GAAG;aACvB,CAAC;SACH,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,YAAY,CACzB,IAAI,EACJ,gCAAgC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAC5C,CAAC,EAAE,EAAE,EAAE,CAAC,CACT,CAAC;QACF,8DAA8D;QAC9D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,aAAa,GAAG,qBAAqB,CAAC;YAC1C,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,mDAAmD;YAC3D,gBAAgB,EAAE,6CAA6C;SAChE,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,EAAE,uBAAuB,EAAE,aAAa,CAAC,CAAC;QAC/E,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,aAAa,GAAG,qBAAqB,CAAC;YAC1C,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,cAAc;YACtB,gBAAgB,EAAE,WAAW;SAC9B,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,EAAE,yBAAyB,EAAE,aAAa,CAAC,CAAC;QACjF,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/engine.test.js

@@ -25,8 +25,8 @@ describe("Engine — Initialisation", () => {
     it("createEngine returns LoopForgeEngine instance", () => {
         const engine = createEngine("skills");
         assert.ok(engine instanceof LoopForgeEngine);
-        assert.equal(engine.skillsDir, "skills");
         assert.equal(engine.state, null);
+        assert.equal(engine.lastTask, null);
     });
     it("engine lazy-inits state on first invocation", () => {
         const engine = createEngine();
@@ -47,7 +47,7 @@ describe("Engine — Feedback mode", () => {
         assert.equal(result.status, AgentStatus.ERROR);
         assert.ok(result.response.error.includes("feedback payload"));
     });
-    it("returns OK with quality score when feedback provided", () => {
+    it("returns OK with success flag when feedback provided", () => {
         const engine = createEngine();
         const req = makeRequest({
             mode: Mode.FEEDBACK,
@@ -60,31 +60,31 @@ describe("Engine — Feedback mode", () => {
         });
         const result = engine.invokeFeedback(req);
         assert.equal(result.status, AgentStatus.OK);
-        assert.ok(result.response.prompt.includes("Quality Score: 5/5"));
+        assert.ok(result.response.prompt.includes("Success: true"));
     });
-    it("scores quality=4 for success with fixes but no violations", () => {
+    it("returns OK with success=false for failures", () => {
         const engine = createEngine();
         const req = makeRequest({
             mode: Mode.FEEDBACK,
             feedback: makeExecutionFeedback({
-                success: true,
+                success: false,
                 constraint_violations: [],
                 manual_fixes_needed: "formatting",
                 output: "Works with manual tweaks",
             }),
         });
         const result = engine.invokeFeedback(req);
-        assert.ok(result.response.prompt.includes("Quality Score: 4/5"));
+        assert.ok(result.response.prompt.includes("Success: false"));
     });
-    it("updates quality trend in state", () => {
+    it("updates success trend in state", () => {
         const engine = createEngine();
         const req = makeRequest({
             mode: Mode.FEEDBACK,
             feedback: makeExecutionFeedback({ success: true, output: "ok" }),
         });
         engine.invokeFeedback(req);
-        assert.equal(engine.state.quality_trend.length, 1);
-        assert.equal(engine.state.quality_trend[0], 5);
+        assert.equal(engine.state.success_trend.length, 1);
+        assert.equal(engine.state.success_trend[0], true);
     });
 });
 describe("Engine — Circuit breaker", () => {
@@ -99,25 +99,25 @@ describe("Engine — Circuit breaker", () => {
             mode: Mode.FEEDBACK,
             feedback: makeExecutionFeedback({ success: true, output: "ok" }),
         })); // init state
-        engine.state.quality_trend = [5, 4];
+        engine.state.success_trend = [true, true];
         assert.equal(engine.shouldBreak(), false);
     });
-    it("returns true when quality is non-increasing for 3 rounds", () => {
+    it("returns true when 3 consecutive failures", () => {
         const engine = createEngine();
         engine.invokeFeedback(makeRequest({
             mode: Mode.FEEDBACK,
             feedback: makeExecutionFeedback({ success: true, output: "ok" }),
         }));
-        engine.state.quality_trend = [3, 3, 3];
+        engine.state.success_trend = [false, false, false];
         assert.equal(engine.shouldBreak(), true);
     });
-    it("returns false when quality is improving", () => {
+    it("returns false when all successes (no longer trips on flat success)", () => {
         const engine = createEngine();
         engine.invokeFeedback(makeRequest({
             mode: Mode.FEEDBACK,
             feedback: makeExecutionFeedback({ success: true, output: "ok" }),
         }));
-        engine.state.quality_trend = [3, 4, 5];
+        engine.state.success_trend = [true, true, true];
         assert.equal(engine.shouldBreak(), false);
     });
 });
@@ -197,7 +197,6 @@ describe("Engine — P0-P5 Cognitive Evolution (v1.7 E2E)", () => {
                 output_summary: "Found 2 reentrancy bugs",
                 constraint_violations: [],
                 manual_fixes_needed: "",
-                quality_score: 5,
                 discovered_constraints: ["Use SafeERC20 for all external calls"],
                 objective_refinement: "Scope includes upgradeable proxy patterns",
                 emerged_subtasks: ["Audit proxy init", "Verify timelock"],
@@ -250,7 +249,6 @@ describe("Engine — P0-P5 Cognitive Evolution (v1.7 E2E)", () => {
                 output_summary: "Fixed reentrancy in withdraw()",
                 constraint_violations: [],
                 manual_fixes_needed: "",
-                quality_score: 5,
                 execution_evidence: {
                     files_changed: ["contracts/Token.sol", "test/Token.test.ts"],
                     test_results: { passed: 24, failed: 0, skipped: 0 },
@@ -261,11 +259,15 @@ describe("Engine — P0-P5 Cognitive Evolution (v1.7 E2E)", () => {
             },
         });
         assert.equal(r2.status, AgentStatus.OK);
+        // v1.14 Thin Prompt: progress dashboard lives in state file, not in prompt
+        const stateFile = r2.response.state_file_content;
+        assert.ok(stateFile, "P4: state_file_content should be set for L2 compile");
+        assert.ok(stateFile.includes("Progress Dashboard"), "P4: progress dashboard in state file");
+        assert.ok(stateFile.includes("1/3"), "P4: criteria count in state file");
+        assert.ok(stateFile.includes("Token.sol"), "P4: files_changed in state file");
+        // Thin prompt: progress dashboard should NOT be in the prompt text
         const prompt = r2.response.prompt;
-        // P4: Progress dashboard should appear (L2 recompile)
-        assert.ok(prompt.includes("Progress Dashboard"), "P4: progress dashboard missing");
-        assert.ok(prompt.includes("1/3"), "P4: criteria count missing");
-        assert.ok(prompt.includes("Token.sol"), "P4: files_changed missing");
+        assert.ok(!prompt.includes("Progress Dashboard"), "P4: thin prompt — dashboard in state file only");
     });
     it("P5: wrong_assumptions are forwarded to compiler as key lessons", () => {
         const engine = createEngine();
@@ -290,7 +292,6 @@ describe("Engine — P0-P5 Cognitive Evolution (v1.7 E2E)", () => {
                 output_summary: "Found missing access control",
                 constraint_violations: [],
                 manual_fixes_needed: "",
-                quality_score: 2,
                 wrong_assumptions: ["Assumed OZ v4.0 has no known issues"],
                 retracted_constraints: [],
                 revised_success_criteria: [],
@@ -325,7 +326,6 @@ describe("Engine — P0-P5 Cognitive Evolution (v1.7 E2E)", () => {
                 output_summary: "Audited contracts",
                 constraint_violations: [],
                 manual_fixes_needed: "",
-                quality_score: 5,
                 discovered_constraints: ["No external deps"],
                 retracted_constraints: ["No external deps"],
                 wrong_assumptions: [],