limen-ai 1.0.0

package/dist/learning/interfaces/learning_types.d.ts

@@ -0,0 +1,398 @@
+/**
+ * Limen — Learning System (S29) Type Definitions
+ * Phase 4E-1: Truth Model Executable Contract
+ *
+ * Every type derives from specification S29.1-S29.10.
+ * No type exists without spec traceability.
+ *
+ * S ref: S29, I-03, I-07, I-10, I-28, FM-01, FM-07
+ */
+import type { TenantId, AgentId, OperationContext, Result, DatabaseConnection, AuditTrail, EventBus, RbacEngine, RateLimiter } from '../../kernel/interfaces/index.js';
+import type { LlmGateway } from '../../substrate/interfaces/substrate.js';
+/** Unique identifier for a learned technique (S29.2) */
+export type TechniqueId = string & {
+    readonly __brand: 'TechniqueId';
+};
+/** Three technique types per S29.1 taxonomy */
+export type TechniqueType = 'prompt_fragment' | 'decision_rule' | 'rag_pattern';
+/** Technique lifecycle states per S29.2, S29.6, S29.7 */
+export type TechniqueStatus = 'active' | 'suspended' | 'retired';
+/** Outcome classification per S29.5 */
+export type OutcomeClassification = 'positive' | 'neutral' | 'negative';
+/** Learning cycle trigger per S29.3 */
+export type LearningCycleTrigger = 'periodic' | 'explicit_feedback' | 'hitl_correction';
+/** Retirement reasons per S29.6 */
+export type RetirementReason = 'low_success_rate' | 'low_confidence' | 'stale' | 'human_flagged';
+/** Quarantine resolution per S29.7 */
+export type QuarantineResolution = 'reactivated' | 'permanently_retired';
+/**
+ * A learned technique — the fundamental unit of the learning system.
+ * Immutable learned artifact per S29.1. Schema per S29.2.
+ *
+ * Scoped to agentId x tenantId (I-07, tenant isolation).
+ */
+export interface Technique {
+    readonly id: TechniqueId;
+    readonly tenantId: TenantId;
+    readonly agentId: AgentId;
+    readonly type: TechniqueType;
+    readonly content: string;
+    readonly sourceMemoryIds: readonly string[];
+    readonly confidence: number;
+    readonly successRate: number;
+    readonly applicationCount: number;
+    readonly lastApplied: string | null;
+    readonly lastUpdated: string;
+    readonly status: TechniqueStatus;
+    readonly createdAt: string;
+}
+/**
+ * Input for creating a new technique.
+ * Initial confidence MUST be 0.5 per S29.3 Step 4.
+ */
+export interface TechniqueCreateInput {
+    readonly tenantId: TenantId;
+    readonly agentId: AgentId;
+    readonly type: TechniqueType;
+    readonly content: string;
+    readonly sourceMemoryIds: readonly string[];
+    readonly initialConfidence: number;
+}
+/** Mutable fields for technique updates */
+export interface TechniqueUpdateInput {
+    readonly confidence?: number;
+    readonly successRate?: number;
+    readonly applicationCount?: number;
+    readonly lastApplied?: string;
+    readonly status?: TechniqueStatus;
+}
+/**
+ * Record of a technique being applied (or skipped) during an interaction.
+ * Per S29.4: each application recorded with { technique_id, interaction_id, timestamp, applied }.
+ */
+export interface TechniqueApplication {
+    readonly techniqueId: TechniqueId;
+    readonly interactionId: string;
+    readonly tenantId: TenantId;
+    readonly timestamp: string;
+    readonly applied: boolean;
+}
+/**
+ * LLM-generated technique proposal from extraction.
+ * Output schema per S29.3 Step 2.
+ */
+export interface TechniqueProposal {
+    readonly type: TechniqueType;
+    readonly content: string;
+    readonly confidence: number;
+    readonly applicability: string;
+}
+/**
+ * Candidate interaction for technique extraction.
+ * Per S29.3 Step 1: quality > 0.7 AND positive feedback.
+ */
+export interface ExtractionCandidate {
+    readonly interactionId: string;
+    readonly agentId: AgentId;
+    readonly tenantId: TenantId;
+    readonly qualityScore: number;
+    readonly userFeedback: 'positive' | 'correction' | null;
+    readonly conversationContext: string;
+}
+/**
+ * Result of duplicate check.
+ * Per S29.3 Step 3: cosine similarity > 0.85 = duplicate.
+ */
+export interface DuplicateCheckResult {
+    readonly isDuplicate: boolean;
+    readonly existingTechniqueId: TechniqueId | null;
+    readonly similarity: number;
+}
+/**
+ * Retirement evaluation decision per S29.6.
+ */
+export interface RetirementDecision {
+    readonly techniqueId: TechniqueId;
+    readonly shouldRetire: boolean;
+    readonly reason: RetirementReason | null;
+}
+/**
+ * Quarantine entry per S29.7.
+ * Created when techniques are suspended as part of FM-01 defense.
+ */
+export interface QuarantineEntry {
+    readonly id: string;
+    readonly techniqueId: TechniqueId;
+    readonly tenantId: TenantId;
+    readonly agentId: AgentId;
+    readonly reason: string;
+    readonly quarantinedAt: string;
+    readonly resolvedAt: string | null;
+    readonly resolution: QuarantineResolution | null;
+}
+/**
+ * Cross-agent transfer request per S29.8.
+ * Requires human approval (human gate).
+ *
+ * DEC-4E-002: Cross-TENANT transfer permanently blocked.
+ * Single tenantId field = structural proof. Source and target agents
+ * must be in the same tenant. No cross-tenant variant exists or will exist.
+ */
+export interface TransferRequest {
+    readonly sourceTechniqueId: TechniqueId;
+    readonly sourceAgentId: AgentId;
+    readonly targetAgentId: AgentId;
+    readonly tenantId: TenantId;
+}
+/**
+ * Result of an approved cross-agent transfer per S29.8.
+ * New technique created at confidence 0.4 in target agent.
+ */
+export interface TransferResult {
+    readonly newTechniqueId: TechniqueId;
+    readonly sourceProvenanceChain: readonly string[];
+    readonly confidence: number;
+}
+/**
+ * Cold-start template per S29.9.
+ * Schema: { template_name: string, version: number, techniques: Technique[] }
+ * Five spec-defined templates: customer-support, document-qa, code-assistant,
+ * claims-processor, research-analyst.
+ */
+export interface ColdStartTemplate {
+    readonly templateId: string;
+    readonly name: string;
+    readonly version: number;
+    readonly techniques: readonly ColdStartTechniqueEntry[];
+}
+/** Individual technique entry within a cold-start template */
+export interface ColdStartTechniqueEntry {
+    readonly type: TechniqueType;
+    readonly content: string;
+}
+/**
+ * Over-specialization metrics per S29.10 + DEC-4E-001.
+ * FM-07 defense: detects when agent's technique types lack diversity.
+ *
+ * Formula (DEC-4E-001, §29.10):
+ *   H = -Σ p_i × log(p_i)  (Shannon entropy of type distribution)
+ *   Score = 1 - (H / log(N))  where N = number of distinct technique types
+ *   Over-specialized when Score > configurable threshold (default 0.9)
+ *
+ * Score interpretation:
+ *   0.0 = perfectly uniform distribution (maximum diversity)
+ *   1.0 = all techniques are one type (zero diversity)
+ */
+export interface SpecializationMetrics {
+    readonly agentId: AgentId;
+    readonly tenantId: TenantId;
+    readonly typeDistribution: Readonly<Record<TechniqueType, number>>;
+    readonly specializationScore: number;
+    readonly overSpecialized: boolean;
+}
+/**
+ * Learning cycle result per S29.3.
+ * Summary of a complete learning cycle execution.
+ */
+export interface LearningCycleResult {
+    readonly cycleId: string;
+    readonly agentId: AgentId;
+    readonly tenantId: TenantId;
+    readonly trigger: LearningCycleTrigger;
+    readonly candidatesEvaluated: number;
+    readonly techniquesExtracted: number;
+    readonly duplicatesReinforced: number;
+    readonly techniquesRetired: number;
+    readonly overSpecializationDetected: boolean;
+    readonly timestamp: string;
+}
+/**
+ * Technique persistence and lifecycle management.
+ * All queries scoped by tenantId (tenant isolation) and agentId (I-07).
+ * All mutations produce audit entries (I-03).
+ */
+export interface TechniqueStore {
+    create(conn: DatabaseConnection, ctx: OperationContext, input: TechniqueCreateInput): Result<Technique>;
+    get(conn: DatabaseConnection, id: TechniqueId, tenantId: TenantId, agentId: AgentId): Result<Technique>;
+    getByAgent(conn: DatabaseConnection, agentId: AgentId, tenantId: TenantId, status?: TechniqueStatus): Result<readonly Technique[]>;
+    update(conn: DatabaseConnection, ctx: OperationContext, id: TechniqueId, tenantId: TenantId, updates: TechniqueUpdateInput): Result<Technique>;
+    retire(conn: DatabaseConnection, ctx: OperationContext, id: TechniqueId, tenantId: TenantId, reason: RetirementReason): Result<void>;
+    suspend(conn: DatabaseConnection, ctx: OperationContext, id: TechniqueId, tenantId: TenantId): Result<void>;
+    reactivate(conn: DatabaseConnection, ctx: OperationContext, id: TechniqueId, tenantId: TenantId, resetConfidence: number): Result<void>;
+    /** Find all techniques derived from a specific source memory (BRK-S29-007, FM-01 quarantine cascade) */
+    getBySourceMemory(conn: DatabaseConnection, memoryId: string, tenantId: TenantId): Result<readonly Technique[]>;
+}
+/**
+ * Technique extraction from interactions.
+ * Per S29.3: collect candidates -> generate proposals -> dedup -> store.
+ * Uses LLM gateway for extraction (substrate dependency).
+ */
+export interface TechniqueExtractor {
+    collectCandidates(conn: DatabaseConnection, ctx: OperationContext, agentId: AgentId, sinceTimestamp: string): Result<readonly ExtractionCandidate[]>;
+    generateProposal(ctx: OperationContext, candidate: ExtractionCandidate): Promise<Result<TechniqueProposal>>;
+    checkDuplicate(conn: DatabaseConnection, agentId: AgentId, tenantId: TenantId, proposalContent: string): Promise<Result<DuplicateCheckResult>>;
+    extractAndStore(conn: DatabaseConnection, ctx: OperationContext, candidate: ExtractionCandidate): Promise<Result<Technique | null>>;
+}
+/**
+ * Technique application during chat pipeline Phase 7.
+ * Per S29.4: ordered by confidence, respects context window limits.
+ * Records every application (including skipped).
+ */
+export interface TechniqueApplicator {
+    getActivePromptFragments(conn: DatabaseConnection, agentId: AgentId, tenantId: TenantId, maxTokenBudget: number): Result<readonly Technique[]>;
+    getActiveDecisionRules(conn: DatabaseConnection, agentId: AgentId, tenantId: TenantId): Result<readonly Technique[]>;
+    getActiveRagPatterns(conn: DatabaseConnection, agentId: AgentId, tenantId: TenantId): Result<readonly Technique[]>;
+    recordApplications(conn: DatabaseConnection, ctx: OperationContext, applications: readonly TechniqueApplication[]): Result<void>;
+}
+/**
+ * Effectiveness tracking per S29.5.
+ * EMA confidence update: new = 0.8 * old + 0.2 * recent_success_rate.
+ * Success rate: count(positive) / count(positive + negative) over rolling 50-application window.
+ */
+export interface EffectivenessTracker {
+    recordOutcome(conn: DatabaseConnection, ctx: OperationContext, techniqueId: TechniqueId, tenantId: TenantId, outcome: OutcomeClassification): Result<void>;
+    updateConfidence(conn: DatabaseConnection, ctx: OperationContext, techniqueId: TechniqueId, tenantId: TenantId): Result<number>;
+    getSuccessRate(conn: DatabaseConnection, techniqueId: TechniqueId, tenantId: TenantId): Result<number>;
+}
+/**
+ * Retirement evaluation per S29.6.
+ * Four conditions: low success (<0.3/50+), low confidence (<0.2/20+), stale (90d), human-flagged.
+ */
+export interface RetirementEvaluator {
+    evaluate(conn: DatabaseConnection, techniqueId: TechniqueId, tenantId: TenantId): Result<RetirementDecision>;
+    evaluateAll(conn: DatabaseConnection, agentId: AgentId, tenantId: TenantId): Result<readonly RetirementDecision[]>;
+}
+/**
+ * Quarantine cascade per S29.7.
+ * FM-01 defense: atomic suspension of suspected techniques.
+ * Resolution requires human authority (HITL review).
+ */
+export interface QuarantineManager {
+    quarantine(conn: DatabaseConnection, ctx: OperationContext, techniqueIds: readonly TechniqueId[], tenantId: TenantId, reason: string): Result<readonly QuarantineEntry[]>;
+    resolve(conn: DatabaseConnection, ctx: OperationContext, entryId: string, resolution: QuarantineResolution): Result<void>;
+    getPending(conn: DatabaseConnection, tenantId: TenantId): Result<readonly QuarantineEntry[]>;
+    /** BRK-IMPL-007: GDPR cascade — when a source memory is tombstoned,
+     *  find all derived techniques and quarantine them.
+     *  Bridges getBySourceMemory → quarantine in one atomic operation. */
+    cascadeFromMemory(conn: DatabaseConnection, ctx: OperationContext, memoryId: string, tenantId: TenantId, reason: string): Result<readonly QuarantineEntry[]>;
+}
+/**
+ * Cross-agent technique transfer per S29.8.
+ * Human gate required. Confidence resets to 0.4 on transfer.
+ * Source provenance chain preserved.
+ */
+export interface CrossAgentTransfer {
+    requestTransfer(conn: DatabaseConnection, ctx: OperationContext, request: TransferRequest): Result<string>;
+    approveTransfer(conn: DatabaseConnection, ctx: OperationContext, requestId: string): Result<TransferResult>;
+    rejectTransfer(conn: DatabaseConnection, ctx: OperationContext, requestId: string): Result<void>;
+}
+/**
+ * Over-specialization detection per S29.10.
+ * FM-07 defense: flags agents where >90% of techniques are one type.
+ */
+export interface OverSpecializationDetector {
+    analyze(conn: DatabaseConnection, agentId: AgentId, tenantId: TenantId): Result<SpecializationMetrics>;
+}
+/**
+ * Cold-start template management per S29.9.
+ * Pre-built technique sets for new agents. Confidence 0.6.
+ */
+export interface ColdStartManager {
+    applyTemplate(conn: DatabaseConnection, ctx: OperationContext, agentId: AgentId, tenantId: TenantId, templateId: string): Result<readonly Technique[]>;
+    getAvailableTemplates(): Result<readonly ColdStartTemplate[]>;
+}
+/**
+ * Learning cycle orchestrator per S29.3.
+ * Orchestrates: collect -> extract -> dedup -> store -> track -> retire -> check specialization.
+ * Emits learning.cycle.completed event on completion.
+ */
+export interface LearningCycleOrchestrator {
+    runCycle(conn: DatabaseConnection, ctx: OperationContext, agentId: AgentId, trigger: LearningCycleTrigger): Promise<Result<LearningCycleResult>>;
+    getLastCycleTime(conn: DatabaseConnection, agentId: AgentId, tenantId: TenantId): Result<string | null>;
+}
+/**
+ * The complete Learning System facade.
+ * Composes all subsystem interfaces per S29.
+ */
+export interface LearningSystem {
+    readonly store: TechniqueStore;
+    readonly extractor: TechniqueExtractor;
+    readonly applicator: TechniqueApplicator;
+    readonly tracker: EffectivenessTracker;
+    readonly retirement: RetirementEvaluator;
+    readonly quarantine: QuarantineManager;
+    readonly transfer: CrossAgentTransfer;
+    readonly specialization: OverSpecializationDetector;
+    readonly coldStart: ColdStartManager;
+    readonly cycle: LearningCycleOrchestrator;
+}
+/**
+ * Dependencies required to construct the LearningSystem.
+ * Follows the same DI pattern as OrchestrationDeps.
+ */
+export interface LearningDeps {
+    readonly getConnection: () => DatabaseConnection;
+    readonly audit: AuditTrail;
+    readonly events: EventBus;
+    readonly rbac: RbacEngine;
+    readonly rateLimiter: RateLimiter;
+    readonly gateway: LlmGateway;
+    /** Hard Stop #7: Injectable clock for deterministic temporal logic. */
+    readonly time: import('../../kernel/interfaces/time.js').TimeProvider;
+}
+/** Initial confidence for extracted techniques (S29.3 Step 4) */
+export declare const INITIAL_CONFIDENCE_EXTRACTED = 0.5;
+/** Initial confidence for cold-start template techniques (S29.9) */
+export declare const INITIAL_CONFIDENCE_COLD_START = 0.6;
+/** Confidence reset for transferred techniques (S29.8) */
+export declare const CONFIDENCE_RESET_TRANSFER = 0.4;
+/** Confidence reset for reactivated (quarantine-resolved) techniques (S29.7) */
+export declare const CONFIDENCE_RESET_REACTIVATION = 0.3;
+/** EMA weight for old confidence (S29.5) */
+export declare const EMA_WEIGHT_OLD = 0.8;
+/** EMA weight for recent success rate (S29.5) */
+export declare const EMA_WEIGHT_RECENT = 0.2;
+/** Rolling window size for success rate calculation (S29.5) */
+export declare const SUCCESS_RATE_WINDOW = 50;
+/** Minimum applications before success-rate retirement (S29.6) */
+export declare const RETIREMENT_MIN_APPLICATIONS_SUCCESS = 50;
+/** Minimum applications before confidence retirement (S29.6) */
+export declare const RETIREMENT_MIN_APPLICATIONS_CONFIDENCE = 20;
+/** Success rate threshold for retirement (S29.6) */
+export declare const RETIREMENT_THRESHOLD_SUCCESS_RATE = 0.3;
+/** Confidence threshold for retirement (S29.6) */
+export declare const RETIREMENT_THRESHOLD_CONFIDENCE = 0.2;
+/** Staleness threshold in days for retirement (S29.6) */
+export declare const RETIREMENT_STALENESS_DAYS = 90;
+/** Quality score threshold for extraction candidates (S29.3 Step 1) */
+export declare const EXTRACTION_QUALITY_THRESHOLD = 0.7;
+/** Cosine similarity threshold for deduplication (S29.3 Step 3) */
+export declare const DEDUP_SIMILARITY_THRESHOLD = 0.85;
+/** Maximum proportion of context window for prompt fragments (S29.4) */
+export declare const MAX_CONTEXT_WINDOW_RATIO = 0.2;
+/** Over-specialization threshold: specialization score (Shannon entropy, DEC-4E-001, S29.10) */
+export declare const OVERSPECIALIZATION_THRESHOLD = 0.9;
+/** Default learning cycle interval in milliseconds (S29.3: 5 minutes) */
+export declare const DEFAULT_CYCLE_INTERVAL_MS: number;
+/** Minimum confidence for transfer qualification (S29.8: confidence > 0.8) */
+export declare const TRANSFER_MIN_CONFIDENCE = 0.8;
+/** Minimum success rate for transfer qualification (S29.8: success_rate > 0.7) */
+export declare const TRANSFER_MIN_SUCCESS_RATE = 0.7;
+/** Minimum application count for transfer qualification (S29.8: applicationCount > 50) */
+export declare const TRANSFER_MIN_APPLICATIONS = 50;
+/** Human-in-the-loop corrections always get maximum confidence (DEC-4E-003) */
+export declare const HITL_CONFIDENCE = 1;
+/** RBAC permissions required for learning system operations */
+export declare const LEARNING_PERMISSIONS: {
+    /** Permission to read techniques and metrics */
+    readonly READ: "learning:read";
+    /** Permission to trigger learning cycles and extraction */
+    readonly WRITE: "learning:write";
+    /** Permission to approve/reject quarantine resolutions */
+    readonly QUARANTINE_RESOLVE: "learning:quarantine:resolve";
+    /** Permission to approve/reject cross-agent transfers */
+    readonly TRANSFER_APPROVE: "learning:transfer:approve";
+    /** Permission to apply cold-start templates */
+    readonly COLD_START: "learning:cold_start:apply";
+};
+//# sourceMappingURL=learning_types.d.ts.map

package/dist/learning/interfaces/learning_types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"learning_types.d.ts","sourceRoot":"","sources":["../../../src/learning/interfaces/learning_types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EACV,QAAQ,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAC3C,kBAAkB,EAAE,UAAU,EAAE,QAAQ,EACxC,UAAU,EAAE,WAAW,EACxB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yCAAyC,CAAC;AAI1E,wDAAwD;AACxD,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;CAAE,CAAC;AAIvE,+CAA+C;AAC/C,MAAM,MAAM,aAAa,GAAG,iBAAiB,GAAG,eAAe,GAAG,aAAa,CAAC;AAEhF,yDAAyD;AACzD,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,WAAW,GAAG,SAAS,CAAC;AAEjE,uCAAuC;AACvC,MAAM,MAAM,qBAAqB,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,CAAC;AAExE,uCAAuC;AACvC,MAAM,MAAM,oBAAoB,GAAG,UAAU,GAAG,mBAAmB,GAAG,iBAAiB,CAAC;AAExF,mCAAmC;AACnC,MAAM,MAAM,gBAAgB,GACxB,kBAAkB,GAClB,gBAAgB,GAChB,OAAO,GACP,eAAe,CAAC;AAEpB,sCAAsC;AACtC,MAAM,MAAM,oBAAoB,GAAG,aAAa,GAAG,qBAAqB,CAAC;AAIzE;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;GAGG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC;AAED,2CAA2C;AAC3C,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC;CACnC;AAED;;;GAGG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,UAAU,GAAG,YAAY,GAAG,IAAI,CAAC;IACxD,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;CACtC;AAED;;;GAGG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,mBAAmB,EAAE,WAAW,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,gBAAgB,GAAG,IAAI,CAAC;CAC1C;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,oBAAoB,GAAG,IAAI,CAAC;CAClD;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;CAC7B;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC;IACrC,QAAQ,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC;IAClD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,uBAAuB,EAAE,CAAC;CACzD;AAED,8DAA8D;AAC9D,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAE1B;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;IACnE,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;CACnC;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC;IACvC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,0BAA0B,EAAE,OAAO,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAID;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,MAAM,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,KAAK,EAAE,oBAAoB,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IACxG,GAAG,CAAC,IAAI,EAAE,kBAAkB,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IACxG,UAAU,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,eAAe,GAAG,MAAM,CAAC,SAAS,SAAS,EAAE,CAAC,CAAC;IACnI,MAAM,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,oBAAoB,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAC/I,MAAM,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACrI,OAAO,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5G,UAAU,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACxI,wGAAwG;IACxG,iBAAiB,CAAC,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC,SAAS,SAAS,EAAE,CAAC,CAAC;CACjH;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,iBAAiB,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,GAAG,MAAM,CAAC,SAAS,mBAAmB,EAAE,CAAC,CAAC;IACrJ,gBAAgB,CAAC,GAAG,EAAE,gBAAgB,EAAE,SAAS,EAAE,mBAAmB,GAAG,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC5G,cAAc,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAC/I,eAAe,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,SAAS,EAAE,mBAAmB,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC;CACrI;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,wBAAwB,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,GAAG,MAAM,CAAC,SAAS,SAAS,EAAE,CAAC,CAAC;IAC/I,sBAAsB,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC,SAAS,SAAS,EAAE,CAAC,CAAC;IACrH,oBAAoB,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC,SAAS,SAAS,EAAE,CAAC,CAAC;IACnH,kBAAkB,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,YAAY,EAAE,SAAS,oBAAoB,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;CAClI;AAED;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,aAAa,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,qBAAqB,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3J,gBAAgB,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAChI,cAAc,CAAC,IAAI,EAAE,kBAAkB,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;CACxG;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAC7G,WAAW,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC,SAAS,kBAAkB,EAAE,CAAC,CAAC;CACpH;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,UAAU,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,YAAY,EAAE,SAAS,WAAW,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,SAAS,eAAe,EAAE,CAAC,CAAC;IAC1K,OAAO,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,oBAAoB,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1H,UAAU,CAAC,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC,SAAS,eAAe,EAAE,CAAC,CAAC;IAC7F;;0EAEsE;IACtE,iBAAiB,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,SAAS,eAAe,EAAE,CAAC,CAAC;CAC9J;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,eAAe,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3G,eAAe,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;IAC5G,cAAc,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;CAClG;AAED;;;GAGG;AACH,MAAM,WAAW,0BAA0B;IACzC,OAAO,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC,qBAAqB,CAAC,CAAC;CACxG;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,aAAa,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAAC,SAAS,SAAS,EAAE,CAAC,CAAC;IACvJ,qBAAqB,IAAI,MAAM,CAAC,SAAS,iBAAiB,EAAE,CAAC,CAAC;CAC/D;AAED;;;;GAIG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,oBAAoB,GAAG,OAAO,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC;IACjJ,gBAAgB,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;CACzG;AAID;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,cAAc,EAAE,0BAA0B,CAAC;IACpD,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,yBAAyB,CAAC;CAC3C;AAID;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,kBAAkB,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,uEAAuE;IACvE,QAAQ,CAAC,IAAI,EAAE,OAAO,iCAAiC,EAAE,YAAY,CAAC;CACvE;AAID,iEAAiE;AACjE,eAAO,MAAM,4BAA4B,MAAM,CAAC;AAEhD,oEAAoE;AACpE,eAAO,MAAM,6BAA6B,MAAM,CAAC;AAEjD,0DAA0D;AAC1D,eAAO,MAAM,yBAAyB,MAAM,CAAC;AAE7C,gFAAgF;AAChF,eAAO,MAAM,6BAA6B,MAAM,CAAC;AAEjD,4CAA4C;AAC5C,eAAO,MAAM,cAAc,MAAM,CAAC;AAElC,iDAAiD;AACjD,eAAO,MAAM,iBAAiB,MAAM,CAAC;AAErC,+DAA+D;AAC/D,eAAO,MAAM,mBAAmB,KAAK,CAAC;AAEtC,kEAAkE;AAClE,eAAO,MAAM,mCAAmC,KAAK,CAAC;AAEtD,gEAAgE;AAChE,eAAO,MAAM,sCAAsC,KAAK,CAAC;AAEzD,oDAAoD;AACpD,eAAO,MAAM,iCAAiC,MAAM,CAAC;AAErD,kDAAkD;AAClD,eAAO,MAAM,+BAA+B,MAAM,CAAC;AAEnD,yDAAyD;AACzD,eAAO,MAAM,yBAAyB,KAAK,CAAC;AAE5C,uEAAuE;AACvE,eAAO,MAAM,4BAA4B,MAAM,CAAC;AAEhD,mEAAmE;AACnE,eAAO,MAAM,0BAA0B,OAAO,CAAC;AAE/C,wEAAwE;AACxE,eAAO,MAAM,wBAAwB,MAAM,CAAC;AAE5C,gGAAgG;AAChG,eAAO,MAAM,4BAA4B,MAAM,CAAC;AAEhD,yEAAyE;AACzE,eAAO,MAAM,yBAAyB,QAAgB,CAAC;AAIvD,8EAA8E;AAC9E,eAAO,MAAM,uBAAuB,MAAM,CAAC;AAE3C,kFAAkF;AAClF,eAAO,MAAM,yBAAyB,MAAM,CAAC;AAE7C,0FAA0F;AAC1F,eAAO,MAAM,yBAAyB,KAAK,CAAC;AAI5C,+EAA+E;AAC/E,eAAO,MAAM,eAAe,IAAM,CAAC;AAInC,+DAA+D;AAC/D,eAAO,MAAM,oBAAoB;IAC/B,gDAAgD;;IAEhD,2DAA2D;;IAE3D,0DAA0D;;IAE1D,yDAAyD;;IAEzD,+CAA+C;;CAEvC,CAAC"}

package/dist/learning/interfaces/learning_types.js

@@ -0,0 +1,69 @@
+/**
+ * Limen — Learning System (S29) Type Definitions
+ * Phase 4E-1: Truth Model Executable Contract
+ *
+ * Every type derives from specification S29.1-S29.10.
+ * No type exists without spec traceability.
+ *
+ * S ref: S29, I-03, I-07, I-10, I-28, FM-01, FM-07
+ */
+// ─── Constants (spec-derived) ───
+/** Initial confidence for extracted techniques (S29.3 Step 4) */
+export const INITIAL_CONFIDENCE_EXTRACTED = 0.5;
+/** Initial confidence for cold-start template techniques (S29.9) */
+export const INITIAL_CONFIDENCE_COLD_START = 0.6;
+/** Confidence reset for transferred techniques (S29.8) */
+export const CONFIDENCE_RESET_TRANSFER = 0.4;
+/** Confidence reset for reactivated (quarantine-resolved) techniques (S29.7) */
+export const CONFIDENCE_RESET_REACTIVATION = 0.3;
+/** EMA weight for old confidence (S29.5) */
+export const EMA_WEIGHT_OLD = 0.8;
+/** EMA weight for recent success rate (S29.5) */
+export const EMA_WEIGHT_RECENT = 0.2;
+/** Rolling window size for success rate calculation (S29.5) */
+export const SUCCESS_RATE_WINDOW = 50;
+/** Minimum applications before success-rate retirement (S29.6) */
+export const RETIREMENT_MIN_APPLICATIONS_SUCCESS = 50;
+/** Minimum applications before confidence retirement (S29.6) */
+export const RETIREMENT_MIN_APPLICATIONS_CONFIDENCE = 20;
+/** Success rate threshold for retirement (S29.6) */
+export const RETIREMENT_THRESHOLD_SUCCESS_RATE = 0.3;
+/** Confidence threshold for retirement (S29.6) */
+export const RETIREMENT_THRESHOLD_CONFIDENCE = 0.2;
+/** Staleness threshold in days for retirement (S29.6) */
+export const RETIREMENT_STALENESS_DAYS = 90;
+/** Quality score threshold for extraction candidates (S29.3 Step 1) */
+export const EXTRACTION_QUALITY_THRESHOLD = 0.7;
+/** Cosine similarity threshold for deduplication (S29.3 Step 3) */
+export const DEDUP_SIMILARITY_THRESHOLD = 0.85;
+/** Maximum proportion of context window for prompt fragments (S29.4) */
+export const MAX_CONTEXT_WINDOW_RATIO = 0.2;
+/** Over-specialization threshold: specialization score (Shannon entropy, DEC-4E-001, S29.10) */
+export const OVERSPECIALIZATION_THRESHOLD = 0.9;
+/** Default learning cycle interval in milliseconds (S29.3: 5 minutes) */
+export const DEFAULT_CYCLE_INTERVAL_MS = 5 * 60 * 1000;
+// ─── Transfer Qualification Thresholds (S29.8 Step 1) ───
+/** Minimum confidence for transfer qualification (S29.8: confidence > 0.8) */
+export const TRANSFER_MIN_CONFIDENCE = 0.8;
+/** Minimum success rate for transfer qualification (S29.8: success_rate > 0.7) */
+export const TRANSFER_MIN_SUCCESS_RATE = 0.7;
+/** Minimum application count for transfer qualification (S29.8: applicationCount > 50) */
+export const TRANSFER_MIN_APPLICATIONS = 50;
+// ─── HITL Confidence (DEC-4E-003, §31.2) ───
+/** Human-in-the-loop corrections always get maximum confidence (DEC-4E-003) */
+export const HITL_CONFIDENCE = 1.0;
+// ─── RBAC Permission Constants (BRK-S29-013) ───
+/** RBAC permissions required for learning system operations */
+export const LEARNING_PERMISSIONS = {
+    /** Permission to read techniques and metrics */
+    READ: 'learning:read',
+    /** Permission to trigger learning cycles and extraction */
+    WRITE: 'learning:write',
+    /** Permission to approve/reject quarantine resolutions */
+    QUARANTINE_RESOLVE: 'learning:quarantine:resolve',
+    /** Permission to approve/reject cross-agent transfers */
+    TRANSFER_APPROVE: 'learning:transfer:approve',
+    /** Permission to apply cold-start templates */
+    COLD_START: 'learning:cold_start:apply',
+};
+//# sourceMappingURL=learning_types.js.map

package/dist/learning/interfaces/learning_types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"learning_types.js","sourceRoot":"","sources":["../../../src/learning/interfaces/learning_types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAqYH,mCAAmC;AAEnC,iEAAiE;AACjE,MAAM,CAAC,MAAM,4BAA4B,GAAG,GAAG,CAAC;AAEhD,oEAAoE;AACpE,MAAM,CAAC,MAAM,6BAA6B,GAAG,GAAG,CAAC;AAEjD,0DAA0D;AAC1D,MAAM,CAAC,MAAM,yBAAyB,GAAG,GAAG,CAAC;AAE7C,gFAAgF;AAChF,MAAM,CAAC,MAAM,6BAA6B,GAAG,GAAG,CAAC;AAEjD,4CAA4C;AAC5C,MAAM,CAAC,MAAM,cAAc,GAAG,GAAG,CAAC;AAElC,iDAAiD;AACjD,MAAM,CAAC,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAErC,+DAA+D;AAC/D,MAAM,CAAC,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAEtC,kEAAkE;AAClE,MAAM,CAAC,MAAM,mCAAmC,GAAG,EAAE,CAAC;AAEtD,gEAAgE;AAChE,MAAM,CAAC,MAAM,sCAAsC,GAAG,EAAE,CAAC;AAEzD,oDAAoD;AACpD,MAAM,CAAC,MAAM,iCAAiC,GAAG,GAAG,CAAC;AAErD,kDAAkD;AAClD,MAAM,CAAC,MAAM,+BAA+B,GAAG,GAAG,CAAC;AAEnD,yDAAyD;AACzD,MAAM,CAAC,MAAM,yBAAyB,GAAG,EAAE,CAAC;AAE5C,uEAAuE;AACvE,MAAM,CAAC,MAAM,4BAA4B,GAAG,GAAG,CAAC;AAEhD,mEAAmE;AACnE,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC;AAE/C,wEAAwE;AACxE,MAAM,CAAC,MAAM,wBAAwB,GAAG,GAAG,CAAC;AAE5C,gGAAgG;AAChG,MAAM,CAAC,MAAM,4BAA4B,GAAG,GAAG,CAAC;AAEhD,yEAAyE;AACzE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;AAEvD,2DAA2D;AAE3D,8EAA8E;AAC9E,MAAM,CAAC,MAAM,uBAAuB,GAAG,GAAG,CAAC;AAE3C,kFAAkF;AAClF,MAAM,CAAC,MAAM,yBAAyB,GAAG,GAAG,CAAC;AAE7C,0FAA0F;AAC1F,MAAM,CAAC,MAAM,yBAAyB,GAAG,EAAE,CAAC;AAE5C,8CAA8C;AAE9C,+EAA+E;AAC/E,MAAM,CAAC,MAAM,eAAe,GAAG,GAAG,CAAC;AAEnC,kDAAkD;AAElD,+DAA+D;AAC/D,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,gDAAgD;IAChD,IAAI,EAAE,eAAe;IACrB,2DAA2D;IAC3D,KAAK,EAAE,gBAAgB;IACvB,0DAA0D;IAC1D,kBAAkB,EAAE,6BAA6B;IACjD,yDAAyD;IACzD,gBAAgB,EAAE,2BAA2B;IAC7C,+CAA+C;IAC/C,UAAU,EAAE,2BAA2B;CAC/B,CAAC"}

package/dist/learning/migration/007_learning_techniques.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Forward-only migration v16: Learning System Technique Storage
+ * S ref: S29.2 (technique schema), I-07 (agent isolation), FM-10 (tenant isolation)
+ *
+ * Phase: 4E-2a (Certification — Learning System TechniqueStore)
+ *
+ * Adds:
+ *   - learning_techniques table (core technique storage)
+ *   - Indexes for tenant+agent lookup and status filtering
+ *   - Tenant immutability trigger (same pattern as Phase 4B)
+ *
+ * Schema derives from Technique interface in learning_types.ts:
+ *   id, tenant_id, agent_id, type, content, source_memory_ids (JSON),
+ *   confidence, success_rate, application_count, last_applied,
+ *   last_updated, status, created_at
+ */
+import type { MigrationEntry } from '../../kernel/interfaces/index.js';
+/**
+ * Get Phase 4E-2a (Learning TechniqueStore) migration.
+ * Version 16 continues from Phase 4D-4's version 15.
+ */
+export declare function getPhase4E2aTechniquesMigration(): MigrationEntry[];
+//# sourceMappingURL=007_learning_techniques.d.ts.map

package/dist/learning/migration/007_learning_techniques.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"007_learning_techniques.d.ts","sourceRoot":"","sources":["../../../src/learning/migration/007_learning_techniques.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAiEvE;;;GAGG;AACH,wBAAgB,+BAA+B,IAAI,cAAc,EAAE,CAIlE"}

package/dist/learning/migration/007_learning_techniques.js

@@ -0,0 +1,86 @@
+/**
+ * Forward-only migration v16: Learning System Technique Storage
+ * S ref: S29.2 (technique schema), I-07 (agent isolation), FM-10 (tenant isolation)
+ *
+ * Phase: 4E-2a (Certification — Learning System TechniqueStore)
+ *
+ * Adds:
+ *   - learning_techniques table (core technique storage)
+ *   - Indexes for tenant+agent lookup and status filtering
+ *   - Tenant immutability trigger (same pattern as Phase 4B)
+ *
+ * Schema derives from Technique interface in learning_types.ts:
+ *   id, tenant_id, agent_id, type, content, source_memory_ids (JSON),
+ *   confidence, success_rate, application_count, last_applied,
+ *   last_updated, status, created_at
+ */
+import { createHash } from 'node:crypto';
+// ─── Migration v16: Learning Techniques Table ───
+const MIGRATION_016_SQL = `
+-- Migration 016: Learning System Technique Storage
+-- S ref: S29.2 (technique schema), I-07 (agent isolation), FM-10 (tenant isolation)
+-- Phase: 4E-2a
+-- Constraint: C-05 (forward-only migration)
+
+-- ────────────────────────────────────────────────────────────
+-- Core technique table
+-- Each row is a learned technique scoped to tenant × agent.
+-- source_memory_ids stored as JSON array for provenance chain.
+-- ────────────────────────────────────────────────────────────
+
+CREATE TABLE learning_techniques (
+  id              TEXT    PRIMARY KEY,
+  tenant_id       TEXT    NOT NULL,
+  agent_id        TEXT    NOT NULL,
+  type            TEXT    NOT NULL CHECK (type IN ('prompt_fragment', 'decision_rule', 'rag_pattern')),
+  content         TEXT    NOT NULL,
+  source_memory_ids TEXT  NOT NULL,  -- JSON array of memory IDs (provenance chain, S29.3 Step 4)
+  confidence      REAL    NOT NULL,
+  success_rate    REAL    NOT NULL DEFAULT 0.0,
+  application_count INTEGER NOT NULL DEFAULT 0,
+  last_applied    TEXT,              -- ISO timestamp, NULL if never applied
+  last_updated    TEXT    NOT NULL,
+  status          TEXT    NOT NULL DEFAULT 'active' CHECK (status IN ('active', 'suspended', 'retired')),
+  created_at      TEXT    NOT NULL
+);
+
+-- ────────────────────────────────────────────────────────────
+-- Indexes
+-- Primary access pattern: tenant + agent (all queries scoped by both)
+-- Secondary: status filtering for getByAgent with status filter
+-- ────────────────────────────────────────────────────────────
+
+CREATE INDEX idx_lt_tenant_agent ON learning_techniques(tenant_id, agent_id);
+CREATE INDEX idx_lt_tenant_agent_status ON learning_techniques(tenant_id, agent_id, status);
+
+-- ────────────────────────────────────────────────────────────
+-- Tenant immutability trigger (same pattern as Phase 4B)
+-- Prevents tenant_id from being changed after INSERT.
+-- ────────────────────────────────────────────────────────────
+
+CREATE TRIGGER learning_techniques_tenant_immutable
+  BEFORE UPDATE OF tenant_id ON learning_techniques
+  WHEN OLD.tenant_id IS NOT NULL AND NEW.tenant_id IS NOT OLD.tenant_id
+  BEGIN
+    SELECT RAISE(ABORT, 'I-MUT: tenant_id is immutable after INSERT on learning_techniques');
+  END;
+`;
+// ─── Build Migration Entry ───
+function buildEntry(version, name, sql) {
+    return {
+        version,
+        name,
+        sql,
+        checksum: createHash('sha256').update(sql).digest('hex'),
+    };
+}
+/**
+ * Get Phase 4E-2a (Learning TechniqueStore) migration.
+ * Version 16 continues from Phase 4D-4's version 15.
+ */
+export function getPhase4E2aTechniquesMigration() {
+    return [
+        buildEntry(16, 'learning_techniques', MIGRATION_016_SQL),
+    ];
+}
+//# sourceMappingURL=007_learning_techniques.js.map

package/dist/learning/migration/007_learning_techniques.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"007_learning_techniques.js","sourceRoot":"","sources":["../../../src/learning/migration/007_learning_techniques.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC,mDAAmD;AAEnD,MAAM,iBAAiB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAgDzB,CAAC;AAEF,gCAAgC;AAEhC,SAAS,UAAU,CAAC,OAAe,EAAE,IAAY,EAAE,GAAW;IAC5D,OAAO;QACL,OAAO;QACP,IAAI;QACJ,GAAG;QACH,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;KACzD,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,+BAA+B;IAC7C,OAAO;QACL,UAAU,CAAC,EAAE,EAAE,qBAAqB,EAAE,iBAAiB,CAAC;KACzD,CAAC;AACJ,CAAC"}

package/dist/learning/migration/008_learning_outcomes.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Forward-only migration v17: Learning Outcome Tracking
+ * S ref: S29.5 (effectiveness tracking), I-07 (agent isolation), FM-10 (tenant isolation)
+ *
+ * Phase: 4E-2d (Certification — EffectivenessTracker + RetirementEvaluator)
+ *
+ * Adds:
+ *   - learning_outcomes table (per-technique outcome records)
+ *   - Indexes for technique+tenant lookup and rolling window query
+ *   - Tenant immutability trigger (same pattern as Phase 4B)
+ *
+ * Schema derives from EffectivenessTracker.recordOutcome interface:
+ *   Stores outcome classification per technique per interaction.
+ *   No FOREIGN KEY to learning_techniques — audit history survives
+ *   technique retirement (same rationale as learning_applications).
+ */
+import type { MigrationEntry } from '../../kernel/interfaces/index.js';
+/**
+ * Get Phase 4E-2d (Learning Outcomes) migration.
+ * Version 17 continues from Phase 4E-2a's version 16.
+ */
+export declare function getPhase4E2dOutcomesMigration(): MigrationEntry[];
+//# sourceMappingURL=008_learning_outcomes.d.ts.map

package/dist/learning/migration/008_learning_outcomes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"008_learning_outcomes.d.ts","sourceRoot":"","sources":["../../../src/learning/migration/008_learning_outcomes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AA0DvE;;;GAGG;AACH,wBAAgB,6BAA6B,IAAI,cAAc,EAAE,CAIhE"}