limen-ai 1.0.0

package/dist/learning/quarantine/quarantine_manager.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"quarantine_manager.js","sourceRoot":"","sources":["../../../src/learning/quarantine/quarantine_manager.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAQzC,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AAuBvE,SAAS,UAAU,CAAC,GAAkB;IACpC,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,WAAW,EAAE,GAAG,CAAC,YAA2B;QAC5C,QAAQ,EAAE,GAAG,CAAC,SAAqB;QACnC,OAAO,EAAE,GAAG,CAAC,QAA8D;QAC3E,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,aAAa,EAAE,GAAG,CAAC,cAAc;QACjC,UAAU,EAAE,GAAG,CAAC,WAAW;QAC3B,UAAU,EAAE,GAAG,CAAC,UAAyC;KAC1D,CAAC;AACJ,CAAC;AAED,wBAAwB;AAExB,SAAS,SAAS,CAAC,GAAqB;IACtC,IAAI,GAAG,CAAC,MAAM;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,GAAG,CAAC,OAAO;QAAE,OAAO,OAAO,CAAC;IAChC,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,OAAO,CAAC,GAAqB;IACpC,OAAO,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,QAAQ,CAAW,CAAC;AAC3D,CAAC;AAED,kBAAkB;AAElB;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAkB,EAAE,KAAqB;IAE/E,qBAAqB;IAErB,SAAS,UAAU,CACjB,IAAwB,EACxB,GAAqB,EACrB,YAAoC,EACpC,QAAkB,EAClB,MAAc;QAEd,MAAM,OAAO,GAAsB,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAE/B,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE;YACpB,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;gBAC/B,6EAA6E;gBAC7E,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CACxB,gGAAgG,EAChG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAChB,CAAC;gBAEF,IAAI,CAAC,SAAS;oBAAE,SAAS,CAAC,sCAAsC;gBAEhE,8CAA8C;gBAC9C,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS;oBAAE,SAAS;gBAE7C,+DAA+D;gBAC/D,IAAI,SAAS,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBAClC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;gBAC1C,CAAC;gBAED,MAAM,OAAO,GAAG,UAAU,EAAE,CAAC;gBAC7B,IAAI,CAAC,GAAG,CACN;;oDAE0C,EAC1C,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAC/D,CAAC;gBAEF,OAAO,CAAC,IAAI,CAAC;oBACX,EAAE,EAAE,OAAO;oBACX,WAAW,EAAE,GAAG;oBAChB,QAAQ;oBACR,OAAO,EAAE,SAAS,CAAC,QAA8D;oBACjF,MAAM;oBACN,aAAa,EAAE,GAAG;oBAClB,UAAU,EAAE,IAAI;oBAChB,UAAU,EAAE,IAAI;iBACjB,CAAC,CAAC;YACL,CAAC;YAED,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE;gBACtB,QAAQ;gBACR,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC;gBACzB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC;gBACrB,SAAS,EAAE,sBAAsB,YAAY,CAAC,MAAM,EAAE;gBACtD,YAAY,EAAE,YAAY;gBAC1B,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;aAC7C,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACtC,CAAC;IAED,kBAAkB;IAElB,SAAS,OAAO,CACd,IAAwB,EACxB,GAAqB,EACrB,OAAe,EACf,UAAgC;QAEhC,MAAM,cAAc,GAAG,GAAG,CAAC,QAAoB,CAAC;QAChD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CACpB,0EAA0E,EAC1E,CAAC,OAAO,EAAE,cAAc,CAAC,CAC1B,CAAC;QAEF,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,oBAAoB,OAAO,YAAY;oBAChD,IAAI,EAAE,OAAO;iBACd;aACF,CAAC;QACJ,CAAC;QAED,IAAI,KAAK,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;YAC/B,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,oBAAoB,OAAO,wBAAwB,KAAK,CAAC,UAAU,EAAE;oBAC9E,IAAI,EAAE,OAAO;iBACd;aACF,CAAC;QACJ,CAAC;QAED,MAAM,WAAW,GAAG,KAAK,CAAC,YAA2B,CAAC;QACtD,MAAM,aAAa,GAAG,KAAK,CAAC,SAAqB,CAAC;QAClD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAE/B,+EAA+E;QAC/E,+EAA+E;QAC/E,8EAA8E;QAC9E,yCAAyC;QACzC,IAAI,WAAyB,CAAC;QAC9B,IAAI,UAAU,KAAK,aAAa,EAAE,CAAC;YACjC,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE,aAAa,EAAE,6BAA6B,CAAC,CAAC;QACvG,CAAC;aAAM,CAAC;YACN,sBAAsB;YACtB,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE,aAAa,EAAE,oBAAyE,CAAC,CAAC;QAC/I,CAAC;QAED,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;YACpB,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,iCAAiC,UAAU,MAAM,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE;oBACrF,IAAI,EAAE,OAAO;iBACd;aACF,CAAC;QACJ,CAAC;QAED,0DAA0D;QAC1D,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE;YACpB,IAAI,CAAC,GAAG,CACN,qFAAqF,EACrF,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAC3B,CAAC;YAEF,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE;gBACtB,QAAQ,EAAE,aAAa;gBACvB,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC;gBACzB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC;gBACrB,SAAS,EAAE,sBAAsB,UAAU,EAAE;gBAC7C,YAAY,EAAE,YAAY;gBAC1B,UAAU,EAAE,OAAO;aACpB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IACxC,CAAC;IAED,qBAAqB;IAErB,SAAS,UAAU,CACjB,IAAwB,EACxB,QAAkB;QAElB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CACrB,mHAAmH,EACnH,CAAC,QAAQ,CAAC,CACX,CAAC;QAEF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;IACnD,CAAC;IAED,2CAA2C;IAE3C;;;;;;OAMG;IACH,SAAS,iBAAiB,CACxB,IAAwB,EACxB,GAAqB,EACrB,QAAgB,EAChB,QAAkB,EAClB,MAAc;QAEd,uDAAuD;QACvD,MAAM,gBAAgB,GAAG,KAAK,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC3E,IAAI,CAAC,gBAAgB,CAAC,EAAE;YAAE,OAAO,gBAAgB,CAAC;QAElD,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC;QAC1C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,0DAA0D;YAC1D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QACjC,CAAC;QAED,4CAA4C;QAC5C,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/C,OAAO,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC/D,CAAC;IAED,gCAAgC;IAEhC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,UAAU;QACV,OAAO;QACP,UAAU;QACV,iBAAiB;KAClB,CAAC,CAAC;AACL,CAAC"}

package/dist/learning/retirement/retirement_evaluator.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Limen — RetirementEvaluator Implementation
+ * Phase 4E-2d: Learning System Retirement Evaluation
+ *
+ * Implements the RetirementEvaluator interface from learning_types.ts.
+ * Evaluates techniques against four retirement conditions per S29.6.
+ * This is a QUERY-ONLY subsystem — it returns decisions, does not execute them.
+ *
+ * S ref: S29.6 (retirement thresholds), I-10 (retirement permanence),
+ *        I-07 (agent isolation)
+ *
+ * DESIGN NOTE: evaluate() lacks agentId parameter. It reads techniques
+ * directly from learning_techniques by id + tenant_id. The id is a UUID
+ * (globally unique), and tenant_id provides isolation. This is architecturally
+ * sound and avoids coupling to the store's agentId requirement.
+ *
+ * DESIGN NOTE: human_flagged (S29.6 condition 4) is not checked in evaluate().
+ * The interface has no humanFlagged parameter. Human flagging is handled
+ * externally via direct store.retire(reason: 'human_flagged') in HITL
+ * batch-review mode. This evaluator checks exactly 3 metric-based conditions.
+ *
+ * CONDITION PRIORITY ORDER (first match wins):
+ *   1. low_success_rate — data says technique fails (most severe data signal)
+ *   2. low_confidence — EMA has degraded (secondary data signal)
+ *   3. stale — technique unused for >90 days (time-based, least severe)
+ */
+import type { RetirementEvaluator, LearningDeps } from '../interfaces/index.js';
+/**
+ * Create a RetirementEvaluator implementation.
+ * Follows the Limen store pattern: factory -> Object.freeze.
+ *
+ * @param _deps - Learning system dependencies (unused currently, reserved for future audit)
+ */
+export declare function createRetirementEvaluator(deps: LearningDeps): RetirementEvaluator;
+//# sourceMappingURL=retirement_evaluator.d.ts.map

package/dist/learning/retirement/retirement_evaluator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"retirement_evaluator.d.ts","sourceRoot":"","sources":["../../../src/learning/retirement/retirement_evaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EACV,mBAAmB,EACnB,YAAY,EACb,MAAM,wBAAwB,CAAC;AA2ChC;;;;;GAKG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,YAAY,GAAG,mBAAmB,CAqHjF"}

package/dist/learning/retirement/retirement_evaluator.js

@@ -0,0 +1,131 @@
+/**
+ * Limen — RetirementEvaluator Implementation
+ * Phase 4E-2d: Learning System Retirement Evaluation
+ *
+ * Implements the RetirementEvaluator interface from learning_types.ts.
+ * Evaluates techniques against four retirement conditions per S29.6.
+ * This is a QUERY-ONLY subsystem — it returns decisions, does not execute them.
+ *
+ * S ref: S29.6 (retirement thresholds), I-10 (retirement permanence),
+ *        I-07 (agent isolation)
+ *
+ * DESIGN NOTE: evaluate() lacks agentId parameter. It reads techniques
+ * directly from learning_techniques by id + tenant_id. The id is a UUID
+ * (globally unique), and tenant_id provides isolation. This is architecturally
+ * sound and avoids coupling to the store's agentId requirement.
+ *
+ * DESIGN NOTE: human_flagged (S29.6 condition 4) is not checked in evaluate().
+ * The interface has no humanFlagged parameter. Human flagging is handled
+ * externally via direct store.retire(reason: 'human_flagged') in HITL
+ * batch-review mode. This evaluator checks exactly 3 metric-based conditions.
+ *
+ * CONDITION PRIORITY ORDER (first match wins):
+ *   1. low_success_rate — data says technique fails (most severe data signal)
+ *   2. low_confidence — EMA has degraded (secondary data signal)
+ *   3. stale — technique unused for >90 days (time-based, least severe)
+ */
+import { RETIREMENT_THRESHOLD_SUCCESS_RATE, RETIREMENT_THRESHOLD_CONFIDENCE, RETIREMENT_MIN_APPLICATIONS_SUCCESS, RETIREMENT_MIN_APPLICATIONS_CONFIDENCE, RETIREMENT_STALENESS_DAYS, } from '../interfaces/index.js';
+// ─── Staleness Check ───
+const MS_PER_DAY = 24 * 60 * 60 * 1000;
+/**
+ * Compute days since a reference timestamp.
+ * If lastApplied is null, falls back to createdAt.
+ * A never-applied technique created >90 days ago is stale.
+ */
+function daysSinceLastActivity(lastApplied, createdAt, nowMs) {
+    const referenceTime = lastApplied ?? createdAt;
+    return (nowMs - new Date(referenceTime).getTime()) / MS_PER_DAY;
+}
+// ─── Factory ───
+/**
+ * Create a RetirementEvaluator implementation.
+ * Follows the Limen store pattern: factory -> Object.freeze.
+ *
+ * @param _deps - Learning system dependencies (unused currently, reserved for future audit)
+ */
+export function createRetirementEvaluator(deps) {
+    // ─── evaluate ───
+    function evaluate(conn, techniqueId, tenantId) {
+        // Read technique directly (no agentId available in this interface)
+        const row = conn.get(`SELECT id, tenant_id, agent_id, confidence, success_rate, application_count,
+              last_applied, last_updated, status, created_at
+       FROM learning_techniques
+       WHERE id = ? AND tenant_id = ?`, [techniqueId, tenantId]);
+        if (!row) {
+            return {
+                ok: false,
+                error: {
+                    code: 'TECHNIQUE_NOT_FOUND',
+                    message: `Technique ${techniqueId} not found for tenant ${tenantId}`,
+                    spec: 'S29.6',
+                },
+            };
+        }
+        // Already retired — no action (I-10: terminal state)
+        if (row.status === 'retired') {
+            return {
+                ok: true,
+                value: { techniqueId, shouldRetire: false, reason: null },
+            };
+        }
+        // Condition 1: low_success_rate
+        // S29.6: success_rate < 0.3 over 50+ applications
+        if (row.application_count >= RETIREMENT_MIN_APPLICATIONS_SUCCESS &&
+            row.success_rate < RETIREMENT_THRESHOLD_SUCCESS_RATE) {
+            return {
+                ok: true,
+                value: { techniqueId, shouldRetire: true, reason: 'low_success_rate' },
+            };
+        }
+        // Condition 2: low_confidence
+        // S29.6: confidence < 0.2 after 20+ applications
+        if (row.application_count >= RETIREMENT_MIN_APPLICATIONS_CONFIDENCE &&
+            row.confidence < RETIREMENT_THRESHOLD_CONFIDENCE) {
+            return {
+                ok: true,
+                value: { techniqueId, shouldRetire: true, reason: 'low_confidence' },
+            };
+        }
+        // Condition 3: stale
+        // S29.6: not applied in >90 days (strictly greater than, per gap test boundary)
+        // Falls back to createdAt if never applied
+        const days = daysSinceLastActivity(row.last_applied, row.created_at, deps.time.nowMs());
+        if (days > RETIREMENT_STALENESS_DAYS) {
+            return {
+                ok: true,
+                value: { techniqueId, shouldRetire: true, reason: 'stale' },
+            };
+        }
+        // Healthy — no retirement recommended
+        return {
+            ok: true,
+            value: { techniqueId, shouldRetire: false, reason: null },
+        };
+    }
+    // ─── evaluateAll ───
+    function evaluateAll(conn, agentId, tenantId) {
+        // Get all active techniques for this agent+tenant
+        // BRK-IMPL-005: Only evaluate active techniques. Suspended techniques are
+        // deferred to human judgment via quarantine resolution. Evaluating suspended
+        // techniques could circumvent the quarantine safety mechanism.
+        const rows = conn.query(`SELECT id, tenant_id, agent_id, confidence, success_rate, application_count,
+              last_applied, last_updated, status, created_at
+       FROM learning_techniques
+       WHERE agent_id = ? AND tenant_id = ? AND status = 'active'`, [agentId, tenantId]);
+        const decisions = [];
+        for (const row of rows) {
+            const result = evaluate(conn, row.id, tenantId);
+            if (!result.ok) {
+                return result;
+            }
+            decisions.push(result.value);
+        }
+        return { ok: true, value: decisions };
+    }
+    // ─── Return frozen evaluator ───
+    return Object.freeze({
+        evaluate,
+        evaluateAll,
+    });
+}
+//# sourceMappingURL=retirement_evaluator.js.map

package/dist/learning/retirement/retirement_evaluator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retirement_evaluator.js","sourceRoot":"","sources":["../../../src/learning/retirement/retirement_evaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAMH,OAAO,EACL,iCAAiC,EACjC,+BAA+B,EAC/B,mCAAmC,EACnC,sCAAsC,EACtC,yBAAyB,GAC1B,MAAM,wBAAwB,CAAC;AAoBhC,0BAA0B;AAE1B,MAAM,UAAU,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAEvC;;;;GAIG;AACH,SAAS,qBAAqB,CAAC,WAA0B,EAAE,SAAiB,EAAE,KAAa;IACzF,MAAM,aAAa,GAAG,WAAW,IAAI,SAAS,CAAC;IAC/C,OAAO,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,UAAU,CAAC;AAClE,CAAC;AAED,kBAAkB;AAElB;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CAAC,IAAkB;IAE1D,mBAAmB;IAEnB,SAAS,QAAQ,CACf,IAAwB,EACxB,WAAwB,EACxB,QAAkB;QAElB,mEAAmE;QACnE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAClB;;;sCAGgC,EAChC,CAAC,WAAW,EAAE,QAAQ,CAAC,CACxB,CAAC;QAEF,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,qBAAqB;oBAC3B,OAAO,EAAE,aAAa,WAAW,yBAAyB,QAAQ,EAAE;oBACpE,IAAI,EAAE,OAAO;iBACd;aACF,CAAC;QACJ,CAAC;QAED,qDAAqD;QACrD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE;aAC1D,CAAC;QACJ,CAAC;QAED,gCAAgC;QAChC,kDAAkD;QAClD,IACE,GAAG,CAAC,iBAAiB,IAAI,mCAAmC;YAC5D,GAAG,CAAC,YAAY,GAAG,iCAAiC,EACpD,CAAC;YACD,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB,EAAE;aACvE,CAAC;QACJ,CAAC;QAED,8BAA8B;QAC9B,iDAAiD;QACjD,IACE,GAAG,CAAC,iBAAiB,IAAI,sCAAsC;YAC/D,GAAG,CAAC,UAAU,GAAG,+BAA+B,EAChD,CAAC;YACD,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE;aACrE,CAAC;QACJ,CAAC;QAED,qBAAqB;QACrB,gFAAgF;QAChF,2CAA2C;QAC3C,MAAM,IAAI,GAAG,qBAAqB,CAAC,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACxF,IAAI,IAAI,GAAG,yBAAyB,EAAE,CAAC;YACrC,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE;aAC5D,CAAC;QACJ,CAAC;QAED,sCAAsC;QACtC,OAAO;YACL,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE;SAC1D,CAAC;IACJ,CAAC;IAED,sBAAsB;IAEtB,SAAS,WAAW,CAClB,IAAwB,EACxB,OAAgB,EAChB,QAAkB;QAElB,kDAAkD;QAClD,0EAA0E;QAC1E,6EAA6E;QAC7E,+DAA+D;QAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CACrB;;;kEAG4D,EAC5D,CAAC,OAAO,EAAE,QAAQ,CAAC,CACpB,CAAC;QAEF,MAAM,SAAS,GAAyB,EAAE,CAAC;QAE3C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,EAAiB,EAAE,QAAQ,CAAC,CAAC;YAC/D,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,OAAO,MAA+C,CAAC;YACzD,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;QAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IACxC,CAAC;IAED,kCAAkC;IAElC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ;QACR,WAAW;KACZ,CAAC,CAAC;AACL,CAAC"}

package/dist/learning/specialization/over_specialization_detector.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Limen — OverSpecializationDetector Implementation
+ * Phase 4E-2e: Learning System Convergence Subsystems
+ *
+ * Implements the OverSpecializationDetector interface from learning_types.ts.
+ * FM-07 defense: detects when agent's technique types lack diversity.
+ *
+ * S ref: S29.10 (over-specialization detection), DEC-4E-001 (Shannon entropy formula),
+ *        FM-07 (learning drift / over-specialization)
+ *
+ * Engineering decisions:
+ *   D1: Shannon entropy formula: H = -Σ(p_i × log(p_i)), Score = 1 - (H / log(N)).
+ *       Uses natural log (Math.log). Both H and log(N) use the same base, so the
+ *       base cancels out in the ratio. Result is base-independent.
+ *   D2: N=0 edge case (no active techniques): returns score=0.0, overSpecialized=false.
+ *       An agent with no techniques cannot be over-specialized.
+ *   D3: N=1 edge case (one type only): H=0, log(1)=0. Score = 1-(0/0) = NaN.
+ *       Handle explicitly: score=1.0 (maximally specialized). This is correct —
+ *       an agent with techniques of only one type IS maximally specialized.
+ *   D4: 0×log(0) edge case: convention 0×log(0) = 0 for entropy calculation.
+ *       When p_i = 0, that term contributes 0 to H.
+ *   D5: Score > threshold (strict >, not >=) per DEC-4E-001.
+ */
+import type { OverSpecializationDetector, TechniqueStore } from '../interfaces/index.js';
+/**
+ * Create an OverSpecializationDetector implementation.
+ * Follows the Limen store pattern: factory → Object.freeze.
+ *
+ * S29.10 + DEC-4E-001: Shannon entropy specialization score.
+ */
+export declare function createOverSpecializationDetector(store: TechniqueStore): OverSpecializationDetector;
+//# sourceMappingURL=over_specialization_detector.d.ts.map

package/dist/learning/specialization/over_specialization_detector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"over_specialization_detector.d.ts","sourceRoot":"","sources":["../../../src/learning/specialization/over_specialization_detector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,KAAK,EACV,0BAA0B,EACX,cAAc,EAC9B,MAAM,wBAAwB,CAAC;AAWhC;;;;;GAKG;AACH,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,cAAc,GAAG,0BAA0B,CAoFlG"}

package/dist/learning/specialization/over_specialization_detector.js

@@ -0,0 +1,105 @@
+/**
+ * Limen — OverSpecializationDetector Implementation
+ * Phase 4E-2e: Learning System Convergence Subsystems
+ *
+ * Implements the OverSpecializationDetector interface from learning_types.ts.
+ * FM-07 defense: detects when agent's technique types lack diversity.
+ *
+ * S ref: S29.10 (over-specialization detection), DEC-4E-001 (Shannon entropy formula),
+ *        FM-07 (learning drift / over-specialization)
+ *
+ * Engineering decisions:
+ *   D1: Shannon entropy formula: H = -Σ(p_i × log(p_i)), Score = 1 - (H / log(N)).
+ *       Uses natural log (Math.log). Both H and log(N) use the same base, so the
+ *       base cancels out in the ratio. Result is base-independent.
+ *   D2: N=0 edge case (no active techniques): returns score=0.0, overSpecialized=false.
+ *       An agent with no techniques cannot be over-specialized.
+ *   D3: N=1 edge case (one type only): H=0, log(1)=0. Score = 1-(0/0) = NaN.
+ *       Handle explicitly: score=1.0 (maximally specialized). This is correct —
+ *       an agent with techniques of only one type IS maximally specialized.
+ *   D4: 0×log(0) edge case: convention 0×log(0) = 0 for entropy calculation.
+ *       When p_i = 0, that term contributes 0 to H.
+ *   D5: Score > threshold (strict >, not >=) per DEC-4E-001.
+ */
+import { OVERSPECIALIZATION_THRESHOLD } from '../interfaces/index.js';
+// ─── All technique types ───
+const ALL_TYPES = ['prompt_fragment', 'decision_rule', 'rag_pattern'];
+// ─── Factory ───
+/**
+ * Create an OverSpecializationDetector implementation.
+ * Follows the Limen store pattern: factory → Object.freeze.
+ *
+ * S29.10 + DEC-4E-001: Shannon entropy specialization score.
+ */
+export function createOverSpecializationDetector(store) {
+    function analyze(conn, agentId, tenantId) {
+        // Get all active techniques for this agent
+        const techniquesResult = store.getByAgent(conn, agentId, tenantId, 'active');
+        if (!techniquesResult.ok)
+            return techniquesResult;
+        const techniques = techniquesResult.value;
+        // Build type distribution
+        const distribution = {
+            prompt_fragment: 0,
+            decision_rule: 0,
+            rag_pattern: 0,
+        };
+        for (const t of techniques) {
+            distribution[t.type]++;
+        }
+        const total = techniques.length;
+        // D2: N=0 — no techniques, cannot be over-specialized
+        if (total === 0) {
+            return {
+                ok: true,
+                value: {
+                    agentId,
+                    tenantId,
+                    typeDistribution: distribution,
+                    specializationScore: 0.0,
+                    overSpecialized: false,
+                },
+            };
+        }
+        // Count distinct types with non-zero count
+        const representedTypes = ALL_TYPES.filter(t => distribution[t] > 0);
+        const N = representedTypes.length;
+        // D3: N=1 — single type, maximally specialized
+        if (N <= 1) {
+            return {
+                ok: true,
+                value: {
+                    agentId,
+                    tenantId,
+                    typeDistribution: distribution,
+                    specializationScore: 1.0,
+                    overSpecialized: 1.0 > OVERSPECIALIZATION_THRESHOLD, // D5: strict >
+                },
+            };
+        }
+        // Compute Shannon entropy: H = -Σ(p_i × log(p_i))
+        // D4: 0×log(0) = 0 — skip types with zero count
+        let H = 0;
+        for (const type of ALL_TYPES) {
+            const count = distribution[type];
+            if (count === 0)
+                continue; // D4
+            const p = count / total;
+            H -= p * Math.log(p);
+        }
+        // Score = 1 - (H / log(N))  where N = number of distinct types
+        const score = 1 - (H / Math.log(N));
+        return {
+            ok: true,
+            value: {
+                agentId,
+                tenantId,
+                typeDistribution: distribution,
+                specializationScore: score,
+                overSpecialized: score > OVERSPECIALIZATION_THRESHOLD, // D5: strict >
+            },
+        };
+    }
+    return Object.freeze({ analyze });
+}
+//# sourceMappingURL=over_specialization_detector.js.map

package/dist/learning/specialization/over_specialization_detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"over_specialization_detector.js","sourceRoot":"","sources":["../../../src/learning/specialization/over_specialization_detector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAMH,OAAO,EAAE,4BAA4B,EAAE,MAAM,wBAAwB,CAAC;AAKtE,8BAA8B;AAC9B,MAAM,SAAS,GAA6B,CAAC,iBAAiB,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC;AAEhG,kBAAkB;AAElB;;;;;GAKG;AACH,MAAM,UAAU,gCAAgC,CAAC,KAAqB;IAEpE,SAAS,OAAO,CACd,IAAwB,EACxB,OAAgB,EAChB,QAAkB;QAElB,2CAA2C;QAC3C,MAAM,gBAAgB,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC7E,IAAI,CAAC,gBAAgB,CAAC,EAAE;YAAE,OAAO,gBAAiD,CAAC;QAEnF,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC;QAE1C,0BAA0B;QAC1B,MAAM,YAAY,GAAkC;YAClD,eAAe,EAAE,CAAC;YAClB,aAAa,EAAE,CAAC;YAChB,WAAW,EAAE,CAAC;SACf,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,CAAC;QAED,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC;QAEhC,sDAAsD;QACtD,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE;oBACL,OAAO;oBACP,QAAQ;oBACR,gBAAgB,EAAE,YAAY;oBAC9B,mBAAmB,EAAE,GAAG;oBACxB,eAAe,EAAE,KAAK;iBACvB;aACF,CAAC;QACJ,CAAC;QAED,2CAA2C;QAC3C,MAAM,gBAAgB,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,gBAAgB,CAAC,MAAM,CAAC;QAElC,+CAA+C;QAC/C,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACX,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE;oBACL,OAAO;oBACP,QAAQ;oBACR,gBAAgB,EAAE,YAAY;oBAC9B,mBAAmB,EAAE,GAAG;oBACxB,eAAe,EAAE,GAAG,GAAG,4BAA4B,EAAE,eAAe;iBACrE;aACF,CAAC;QACJ,CAAC;QAED,kDAAkD;QAClD,gDAAgD;QAChD,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,KAAK,KAAK,CAAC;gBAAE,SAAS,CAAC,KAAK;YAChC,MAAM,CAAC,GAAG,KAAK,GAAG,KAAK,CAAC;YACxB,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC;QAED,+DAA+D;QAC/D,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAEpC,OAAO;YACL,EAAE,EAAE,IAAI;YACR,KAAK,EAAE;gBACL,OAAO;gBACP,QAAQ;gBACR,gBAAgB,EAAE,YAAY;gBAC9B,mBAAmB,EAAE,KAAK;gBAC1B,eAAe,EAAE,KAAK,GAAG,4BAA4B,EAAE,eAAe;aACvE;SACF,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;AACpC,CAAC"}

package/dist/learning/store/technique_store.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Limen — TechniqueStore Implementation
+ * Phase 4E-2a: Learning System Storage Foundation
+ *
+ * Implements the TechniqueStore interface from learning_types.ts.
+ * All queries manually scoped by tenant_id + agent_id (belt).
+ * TenantScopedConnection at API layer provides suspenders.
+ *
+ * S ref: S29.2 (schema), S29.3 Step 4 (provenance), S29.6 (retirement),
+ *        S29.7 (quarantine/suspend/reactivate), I-03 (audit), I-07 (agent isolation),
+ *        I-10 (retirement permanence), FM-01 (quarantine cascade via getBySourceMemory)
+ */
+import type { TechniqueStore, LearningDeps } from '../interfaces/index.js';
+/**
+ * Create a TechniqueStore implementation.
+ * Follows the Limen store pattern: factory → Object.freeze.
+ *
+ * All mutations are wrapped in transactions with audit entries (I-03).
+ * All queries enforce tenant_id + agent_id isolation.
+ */
+export declare function createTechniqueStore(deps: LearningDeps): TechniqueStore;
+//# sourceMappingURL=technique_store.d.ts.map

package/dist/learning/store/technique_store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"technique_store.d.ts","sourceRoot":"","sources":["../../../src/learning/store/technique_store.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,KAAK,EACV,cAAc,EACkC,YAAY,EAC7D,MAAM,wBAAwB,CAAC;AAgEhC;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,YAAY,GAAG,cAAc,CA8bvE"}