loopforge 1.3.1 → 1.8.0

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

@@ -0,0 +1,407 @@
+/** Tests for verification-gate — Layer 1 cross-round consistency checks. */
+import { describe, it } from "node:test";
+import assert from "node:assert/strict";
+import { makeExecutionEvidence, makeSelfEvaluation, } from "../protocol.js";
+import { verifySelfEvaluation } from "../verification-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 vault entry with a given round and optional constraint_violations. */
+function vaultRound(round, violations = []) {
+    return {
+        task_id: `loop:test-loop:r${round}`,
+        loop_id: "test-loop",
+        loop_lineage: { round, quality_score: 5, task: "test task" },
+        constraint_violations: violations,
+    };
+}
+// ═══════════════════════════════════════════════════════════════════════════
+// Happy path
+// ═══════════════════════════════════════════════════════════════════════════
+describe("verification-gate — happy path", () => {
+    it("trusted verdict when all checks pass with consistent data", () => {
+        const curr = se({
+            success: false,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: ["src/foo.ts"],
+                test_results: { passed: 3, failed: 1, skipped: 0 },
+                success_criteria_met: ["impl"],
+                success_criteria_remaining: ["tests"],
+                progress_estimate: 0.7,
+            }),
+            constraint_violations: ["deadline"],
+            discovered_constraints: ["new: must handle null"],
+        });
+        const prev = se({
+            success: false,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: ["src/bar.ts"],
+                test_results: { passed: 1, failed: 2, skipped: 0 },
+                success_criteria_met: [],
+                success_criteria_remaining: ["impl", "tests"],
+                progress_estimate: 0.3,
+            }),
+            constraint_violations: ["missing docs"],
+            discovered_constraints: ["must use async"],
+        });
+        const vault = [vaultRound(1, ["missing docs"])];
+        const result = verifySelfEvaluation(curr, 2, vault, prev);
+        assert.equal(result.verdict, "trusted");
+        assert.equal(result.flags.length, 0);
+    });
+    it("trusted verdict for first round (no previous data)", () => {
+        const curr = se({
+            execution_evidence: makeExecutionEvidence({
+                progress_estimate: 0.0,
+            }),
+        });
+        const result = verifySelfEvaluation(curr, 1, [], null);
+        assert.equal(result.verdict, "trusted");
+        assert.equal(result.flags.length, 0);
+    });
+});
+// ═══════════════════════════════════════════════════════════════════════════
+// Check 1: Progress regression
+// ═══════════════════════════════════════════════════════════════════════════
+describe("verification-gate — progress regression", () => {
+    it("flags when estimate drops > 0.2", () => {
+        const curr = se({
+            execution_evidence: makeExecutionEvidence({ progress_estimate: 0.3 }),
+        });
+        const prev = se({
+            execution_evidence: makeExecutionEvidence({ progress_estimate: 0.8 }),
+        });
+        const result = verifySelfEvaluation(curr, 2, [], prev);
+        assert.equal(result.verdict, "suspect");
+        const flag = result.flags.find((f) => f.check === "progress_regression");
+        assert.ok(flag);
+        assert.equal(flag.field, "progress_estimate");
+        assert.equal(flag.severity, "warn");
+    });
+    it("does not flag when estimate drops ≤ 0.2", () => {
+        const curr = se({
+            execution_evidence: makeExecutionEvidence({ progress_estimate: 0.6 }),
+        });
+        const prev = se({
+            execution_evidence: makeExecutionEvidence({ progress_estimate: 0.8 }),
+        });
+        const result = verifySelfEvaluation(curr, 2, [], prev);
+        assert.equal(result.verdict, "trusted");
+    });
+    it("does not flag when estimate increases", () => {
+        const curr = se({
+            execution_evidence: makeExecutionEvidence({ progress_estimate: 0.9 }),
+        });
+        const prev = se({
+            execution_evidence: makeExecutionEvidence({ progress_estimate: 0.5 }),
+        });
+        const result = verifySelfEvaluation(curr, 2, [], prev);
+        assert.equal(result.verdict, "trusted");
+    });
+    it("does not flag when no previous execution evidence", () => {
+        const curr = se({
+            execution_evidence: makeExecutionEvidence({ progress_estimate: 0.3 }),
+        });
+        const prev = se({ execution_evidence: undefined });
+        const result = verifySelfEvaluation(curr, 2, [], prev);
+        assert.equal(result.verdict, "trusted");
+    });
+});
+// ═══════════════════════════════════════════════════════════════════════════
+// Check 2: Empty change + all passing
+// ═══════════════════════════════════════════════════════════════════════════
+describe("verification-gate — empty change with passing tests", () => {
+    it("flags when no files changed, all tests pass, and success is true", () => {
+        const curr = se({
+            success: true,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: [],
+                test_results: { passed: 5, failed: 0, skipped: 0 },
+            }),
+        });
+        const result = verifySelfEvaluation(curr, 2, [], null);
+        assert.equal(result.verdict, "suspect");
+        const flag = result.flags.find((f) => f.check === "empty_change_with_passing");
+        assert.ok(flag);
+        assert.equal(flag.severity, "warn");
+    });
+    it("does not flag when tests have failures", () => {
+        const curr = se({
+            success: false,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: [],
+                test_results: { passed: 3, failed: 1, skipped: 0 },
+            }),
+        });
+        const result = verifySelfEvaluation(curr, 2, [], null);
+        assert.equal(result.verdict, "trusted");
+    });
+    it("does not flag when files were changed", () => {
+        const curr = se({
+            success: true,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: ["src/foo.ts"],
+                test_results: { passed: 5, failed: 0, skipped: 0 },
+            }),
+        });
+        const result = verifySelfEvaluation(curr, 2, [], null);
+        const flag = result.flags.find((f) => f.check === "empty_change_with_passing");
+        assert.equal(flag, undefined);
+    });
+    it("does not flag when success is false", () => {
+        const curr = se({
+            success: false,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: [],
+                test_results: { passed: 5, failed: 0, skipped: 0 },
+            }),
+        });
+        const result = verifySelfEvaluation(curr, 2, [], null);
+        assert.equal(result.verdict, "trusted");
+    });
+});
+// ═══════════════════════════════════════════════════════════════════════════
+// Check 3: Success with remaining criteria
+// ═══════════════════════════════════════════════════════════════════════════
+describe("verification-gate — success with remaining criteria", () => {
+    it("flags when success=true but criteria remain unmet", () => {
+        const curr = se({
+            success: true,
+            execution_evidence: makeExecutionEvidence({
+                success_criteria_met: ["builds"],
+                success_criteria_remaining: ["tests pass", "docs updated"],
+            }),
+        });
+        const result = verifySelfEvaluation(curr, 3, [], null);
+        assert.equal(result.verdict, "contradicted");
+        const flag = result.flags.find((f) => f.check === "success_with_remaining_criteria");
+        assert.ok(flag);
+        assert.equal(flag.severity, "error");
+        assert.ok(flag.detail.includes("tests pass"));
+    });
+    it("does not flag when success=true and criteria list is empty", () => {
+        const curr = se({
+            success: true,
+            execution_evidence: makeExecutionEvidence({
+                success_criteria_met: ["builds", "tests pass"],
+                success_criteria_remaining: [],
+            }),
+        });
+        const result = verifySelfEvaluation(curr, 3, [], null);
+        assert.equal(result.verdict, "trusted");
+    });
+    it("does not flag when success is false even with remaining criteria", () => {
+        const curr = se({
+            success: false,
+            execution_evidence: makeExecutionEvidence({
+                success_criteria_remaining: ["tests pass"],
+            }),
+        });
+        const result = verifySelfEvaluation(curr, 3, [], null);
+        assert.equal(result.verdict, "trusted");
+    });
+});
+// ═══════════════════════════════════════════════════════════════════════════
+// Check 4: Duplicate constraint discovery
+// ═══════════════════════════════════════════════════════════════════════════
+describe("verification-gate — duplicate constraint discovery", () => {
+    it("flags when discovered constraint was already in previous round", () => {
+        const curr = se({
+            discovered_constraints: ["must handle null"],
+        });
+        const prev = se({
+            discovered_constraints: ["must handle null"],
+        });
+        const result = verifySelfEvaluation(curr, 2, [], prev);
+        assert.equal(result.verdict, "suspect");
+        const flag = result.flags.find((f) => f.check === "duplicate_constraint_discovery");
+        assert.ok(flag);
+        assert.equal(flag.severity, "warn");
+    });
+    it("flags when discovered constraint was a previous violation", () => {
+        const curr = se({
+            discovered_constraints: ["deadline pressure"],
+        });
+        const prev = se({
+            constraint_violations: ["deadline pressure"],
+        });
+        const result = verifySelfEvaluation(curr, 2, [], prev);
+        assert.equal(result.verdict, "suspect");
+    });
+    it("does not flag when constraint is genuinely new", () => {
+        const curr = se({
+            discovered_constraints: ["must validate input"],
+        });
+        const prev = se({
+            discovered_constraints: ["must handle null"],
+            constraint_violations: ["deadline"],
+        });
+        const result = verifySelfEvaluation(curr, 2, [], prev);
+        assert.equal(result.verdict, "trusted");
+    });
+});
+// ═══════════════════════════════════════════════════════════════════════════
+// Check 5: Recurring violation
+// ═══════════════════════════════════════════════════════════════════════════
+describe("verification-gate — recurring violation", () => {
+    it("flags when same violation appears 3 consecutive rounds", () => {
+        const curr = se({
+            constraint_violations: ["deadline", "new issue"],
+        });
+        const prev = se({
+            constraint_violations: ["deadline", "other"],
+        });
+        // Entry for round 2 (current is round 3) stores violations from round 1
+        const vault = [
+            vaultRound(2, ["deadline"]), // violations from round 1
+        ];
+        const result = verifySelfEvaluation(curr, 3, vault, prev);
+        assert.equal(result.verdict, "contradicted");
+        const flag = result.flags.find((f) => f.check === "recurring_violation");
+        assert.ok(flag);
+        assert.equal(flag.severity, "error");
+        assert.ok(flag.detail.includes("deadline"));
+    });
+    it("does not flag after only 2 consecutive rounds", () => {
+        const curr = se({
+            constraint_violations: ["deadline"],
+        });
+        const prev = se({
+            constraint_violations: ["deadline"],
+        });
+        // Only 2 rounds of data (current + prev) — no vault entry with the 3rd
+        const vault = []; // no deeper history
+        const result = verifySelfEvaluation(curr, 2, vault, prev);
+        // Should be trusted or suspect at most (not contradicted for recurring)
+        const flag = result.flags.find((f) => f.check === "recurring_violation");
+        assert.equal(flag, undefined);
+    });
+    it("does not flag when violations differ each round", () => {
+        const curr = se({
+            constraint_violations: ["issue C"],
+        });
+        const prev = se({
+            constraint_violations: ["issue B"],
+        });
+        const vault = [vaultRound(2, ["issue A"])]; // round 1 violations
+        const result = verifySelfEvaluation(curr, 3, vault, prev);
+        const flag = result.flags.find((f) => f.check === "recurring_violation");
+        assert.equal(flag, undefined);
+    });
+});
+// ═══════════════════════════════════════════════════════════════════════════
+// Check 6: Retract fresh constraint
+// ═══════════════════════════════════════════════════════════════════════════
+describe("verification-gate — retract fresh constraint", () => {
+    it("flags when retracting a constraint discovered in previous round", () => {
+        const curr = se({
+            retracted_constraints: ["must use async"],
+        });
+        const prev = se({
+            discovered_constraints: ["must use async", "must handle null"],
+        });
+        const result = verifySelfEvaluation(curr, 3, [], prev);
+        assert.equal(result.verdict, "suspect");
+        const flag = result.flags.find((f) => f.check === "retract_fresh_constraint");
+        assert.ok(flag);
+        assert.equal(flag.severity, "warn");
+        assert.ok(flag.detail.includes("round 2"));
+    });
+    it("does not flag when retracting an older constraint", () => {
+        const curr = se({
+            retracted_constraints: ["old constraint"],
+        });
+        const prev = se({
+            discovered_constraints: ["new constraint"],
+        });
+        const result = verifySelfEvaluation(curr, 3, [], prev);
+        assert.equal(result.verdict, "trusted");
+    });
+    it("does not flag when no previous round exists", () => {
+        const curr = se({
+            retracted_constraints: ["some constraint"],
+        });
+        const result = verifySelfEvaluation(curr, 1, [], null);
+        assert.equal(result.verdict, "trusted");
+    });
+});
+// ═══════════════════════════════════════════════════════════════════════════
+// Verdict aggregation
+// ═══════════════════════════════════════════════════════════════════════════
+describe("verification-gate — verdict aggregation", () => {
+    it("single warn flag → suspect", () => {
+        const curr = se({
+            discovered_constraints: ["must handle null"],
+        });
+        const prev = se({
+            discovered_constraints: ["must handle null"],
+        });
+        const result = verifySelfEvaluation(curr, 2, [], prev);
+        assert.equal(result.verdict, "suspect");
+        assert.equal(result.flags.length, 1);
+    });
+    it("single error flag → contradicted", () => {
+        const curr = se({
+            success: true,
+            execution_evidence: makeExecutionEvidence({
+                success_criteria_remaining: ["tests pass"],
+            }),
+        });
+        const result = verifySelfEvaluation(curr, 3, [], null);
+        assert.equal(result.verdict, "contradicted");
+        assert.equal(result.flags.length, 1);
+    });
+    it("multiple warn + one error → contradicted (error wins)", () => {
+        const curr = se({
+            success: true,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: [],
+                test_results: { passed: 3, failed: 0, skipped: 0 },
+                success_criteria_remaining: ["tests pass"],
+            }),
+            discovered_constraints: ["must handle null"],
+        });
+        const prev = se({
+            discovered_constraints: ["must handle null"],
+        });
+        const result = verifySelfEvaluation(curr, 2, [], prev);
+        assert.equal(result.verdict, "contradicted");
+        // Should have both the warn and error flags
+        assert.ok(result.flags.length >= 2);
+    });
+    it("all checks pass → trusted", () => {
+        const curr = se({
+            success: false,
+            execution_evidence: makeExecutionEvidence({
+                files_changed: ["src/foo.ts"],
+                test_results: { passed: 3, failed: 1, skipped: 0 },
+                success_criteria_remaining: ["tests"],
+                progress_estimate: 0.5,
+            }),
+            constraint_violations: ["minor"],
+            discovered_constraints: ["unique constraint"],
+        });
+        const prev = se({
+            success: false,
+            execution_evidence: makeExecutionEvidence({
+                progress_estimate: 0.3,
+            }),
+            constraint_violations: ["other"],
+            discovered_constraints: ["different constraint"],
+        });
+        const result = verifySelfEvaluation(curr, 2, [], prev);
+        assert.equal(result.verdict, "trusted");
+        assert.equal(result.flags.length, 0);
+    });
+});
+//# sourceMappingURL=verification-gate.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verification-gate.test.js","sourceRoot":"","sources":["../../src/tests/verification-gate.test.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EACL,qBAAqB,EACrB,kBAAkB,GAEnB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAE/D,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,iFAAiF;AACjF,SAAS,UAAU,CACjB,KAAa,EACb,aAAuB,EAAE;IAEzB,OAAO;QACL,OAAO,EAAE,mBAAmB,KAAK,EAAE;QACnC,OAAO,EAAE,WAAW;QACpB,YAAY,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE;QAC5D,qBAAqB,EAAE,UAAU;KAClC,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,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,oBAAoB,EAAE,CAAC,MAAM,CAAC;gBAC9B,0BAA0B,EAAE,CAAC,OAAO,CAAC;gBACrC,iBAAiB,EAAE,GAAG;aACvB,CAAC;YACF,qBAAqB,EAAE,CAAC,UAAU,CAAC;YACnC,sBAAsB,EAAE,CAAC,uBAAuB,CAAC;SAClD,CAAC,CAAC;QAEH,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,oBAAoB,EAAE,EAAE;gBACxB,0BAA0B,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC;gBAC7C,iBAAiB,EAAE,GAAG;aACvB,CAAC;YACF,qBAAqB,EAAE,CAAC,cAAc,CAAC;YACvC,sBAAsB,EAAE,CAAC,gBAAgB,CAAC;SAC3C,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;QAEhD,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,iBAAiB,EAAE,GAAG;aACvB,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,+BAA+B;AAC/B,8EAA8E;AAE9E,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,kBAAkB,EAAE,qBAAqB,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC;SACtE,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,kBAAkB,EAAE,qBAAqB,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC;SACtE,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,qBAAqB,CAAC,CAAC;QACzE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,kBAAkB,EAAE,qBAAqB,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC;SACtE,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,kBAAkB,EAAE,qBAAqB,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC;SACtE,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,kBAAkB,EAAE,qBAAqB,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC;SACtE,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,kBAAkB,EAAE,qBAAqB,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC;SACtE,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,kBAAkB,EAAE,qBAAqB,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC;SACtE,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,kBAAkB,EAAE,SAAS,EAAE,CAAC,CAAC;QAEnD,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,sCAAsC;AACtC,8EAA8E;AAE9E,QAAQ,CAAC,qDAAqD,EAAE,GAAG,EAAE;IACnE,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,IAAI;YACb,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,aAAa,EAAE,EAAE;gBACjB,YAAY,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;aACnD,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,2BAA2B,CAAC,CAAC;QAC/E,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,KAAK;YACd,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,aAAa,EAAE,EAAE;gBACjB,YAAY,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;aACnD,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,IAAI;YACb,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;aACnD,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,2BAA2B,CAAC,CAAC;QAC/E,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAChC,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,EAAE;gBACjB,YAAY,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;aACnD,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,2CAA2C;AAC3C,8EAA8E;AAE9E,QAAQ,CAAC,qDAAqD,EAAE,GAAG,EAAE;IACnE,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,IAAI;YACb,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,oBAAoB,EAAE,CAAC,QAAQ,CAAC;gBAChC,0BAA0B,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC;aAC3D,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,iCAAiC,CAAC,CAAC;QACrF,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACrC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,IAAI;YACb,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,oBAAoB,EAAE,CAAC,QAAQ,EAAE,YAAY,CAAC;gBAC9C,0BAA0B,EAAE,EAAE;aAC/B,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,KAAK;YACd,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,0BAA0B,EAAE,CAAC,YAAY,CAAC;aAC3C,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,0CAA0C;AAC1C,8EAA8E;AAE9E,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,sBAAsB,EAAE,CAAC,kBAAkB,CAAC;SAC7C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,sBAAsB,EAAE,CAAC,kBAAkB,CAAC;SAC7C,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,gCAAgC,CAAC,CAAC;QACpF,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,sBAAsB,EAAE,CAAC,mBAAmB,CAAC;SAC9C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,qBAAqB,EAAE,CAAC,mBAAmB,CAAC;SAC7C,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,sBAAsB,EAAE,CAAC,qBAAqB,CAAC;SAChD,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,sBAAsB,EAAE,CAAC,kBAAkB,CAAC;YAC5C,qBAAqB,EAAE,CAAC,UAAU,CAAC;SACpC,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,+BAA+B;AAC/B,8EAA8E;AAE9E,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,qBAAqB,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,qBAAqB,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC;SAC7C,CAAC,CAAC;QACH,wEAAwE;QACxE,MAAM,KAAK,GAAG;YACZ,UAAU,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,0BAA0B;SACxD,CAAC;QAEF,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,qBAAqB,CAAC,CAAC;QACzE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACrC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,qBAAqB,EAAE,CAAC,UAAU,CAAC;SACpC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,qBAAqB,EAAE,CAAC,UAAU,CAAC;SACpC,CAAC,CAAC;QACH,uEAAuE;QACvE,MAAM,KAAK,GAAiB,EAAE,CAAC,CAAC,oBAAoB;QAEpD,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1D,wEAAwE;QACxE,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,qBAAqB,CAAC,CAAC;QACzE,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,qBAAqB,EAAE,CAAC,SAAS,CAAC;SACnC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,qBAAqB,EAAE,CAAC,SAAS,CAAC;SACnC,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB;QAEjE,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,qBAAqB,CAAC,CAAC;QACzE,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,oCAAoC;AACpC,8EAA8E;AAE9E,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,qBAAqB,EAAE,CAAC,gBAAgB,CAAC;SAC1C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,sBAAsB,EAAE,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;SAC/D,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,0BAA0B,CAAC,CAAC;QAC9E,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,qBAAqB,EAAE,CAAC,gBAAgB,CAAC;SAC1C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,sBAAsB,EAAE,CAAC,gBAAgB,CAAC;SAC3C,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,qBAAqB,EAAE,CAAC,iBAAiB,CAAC;SAC3C,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,sBAAsB,EAAE,CAAC,kBAAkB,CAAC;SAC7C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,sBAAsB,EAAE,CAAC,kBAAkB,CAAC;SAC7C,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,IAAI;YACb,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,0BAA0B,EAAE,CAAC,YAAY,CAAC;aAC3C,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,IAAI;YACb,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,aAAa,EAAE,EAAE;gBACjB,YAAY,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBAClD,0BAA0B,EAAE,CAAC,YAAY,CAAC;aAC3C,CAAC;YACF,sBAAsB,EAAE,CAAC,kBAAkB,CAAC;SAC7C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,sBAAsB,EAAE,CAAC,kBAAkB,CAAC;SAC7C,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QAC7C,4CAA4C;QAC5C,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,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,0BAA0B,EAAE,CAAC,OAAO,CAAC;gBACrC,iBAAiB,EAAE,GAAG;aACvB,CAAC;YACF,qBAAqB,EAAE,CAAC,OAAO,CAAC;YAChC,sBAAsB,EAAE,CAAC,mBAAmB,CAAC;SAC9C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC;YACd,OAAO,EAAE,KAAK;YACd,kBAAkB,EAAE,qBAAqB,CAAC;gBACxC,iBAAiB,EAAE,GAAG;aACvB,CAAC;YACF,qBAAqB,EAAE,CAAC,OAAO,CAAC;YAChC,sBAAsB,EAAE,CAAC,sBAAsB,CAAC;SACjD,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/verification-gate.d.ts

@@ -0,0 +1,26 @@
+/** Verification Gate — Layer 1 cross-round consistency checks.
+ *
+ * Pure-function module. Validates an agent's SelfEvaluation against the
+ * loop's own lineage before it enters the compiler.
+ *
+ * Verdict semantics:
+ * - trusted:      all checks passed; flags are informational only.
+ * - suspect:      one or more warn-level flags; flags become warnings in
+ *                 the next prompt so the agent can clarify.
+ * - contradicted: one or more error-level flags; the quality score for
+ *                 this round is excluded from the quality trend (NOT
+ *                 modified). Flags become hard constraints — the agent
+ *                 must respond in the next round.
+ */
+import type { VaultEntry } from "./backends/interface.js";
+import type { SelfEvaluation, VerificationResult } from "./protocol.js";
+/** Verify a SelfEvaluation against the loop's cross-round lineage.
+ *
+ * @param selfEval      The agent's self-evaluation for the current round.
+ * @param currentRound  The current round number (1-based).
+ * @param vaultEntries  Vault entries for this loop (non-feedback only).
+ * @param prevSelfEval  The agent's self-evaluation from the previous round
+ *                      (null for round 1).
+ */
+export declare function verifySelfEvaluation(selfEval: SelfEvaluation, currentRound: number, vaultEntries: VaultEntry[], prevSelfEval?: SelfEvaluation | null): VerificationResult;
+//# sourceMappingURL=verification-gate.d.ts.map

package/dist/verification-gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-gate.d.ts","sourceRoot":"","sources":["../src/verification-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAoB,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAwN1F;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,YAAY,GAAE,cAAc,GAAG,IAAW,GACzC,kBAAkB,CAuCpB"}