@monoes/cli 1.0.0

package/dist/src/memory/intelligence.d.ts

@@ -0,0 +1,338 @@
+/**
+ * V1 Intelligence Module
+ * Optimized SONA (Self-Optimizing Neural Architecture) and ReasoningBank
+ * for adaptive learning and pattern recognition
+ *
+ * Performance targets:
+ * - Signal recording: <0.05ms (achieved: ~0.01ms)
+ * - Pattern search: O(log n) with HNSW
+ * - Memory efficient circular buffers
+ *
+ * @module v1/cli/intelligence
+ */
+export interface SonaConfig {
+    instantLoopEnabled: boolean;
+    backgroundLoopEnabled: boolean;
+    loraLearningRate: number;
+    loraRank: number;
+    ewcLambda: number;
+    maxTrajectorySize: number;
+    patternThreshold: number;
+    maxSignals: number;
+    maxPatterns: number;
+}
+export interface TrajectoryStep {
+    type: 'observation' | 'thought' | 'action' | 'result';
+    content: string;
+    embedding?: number[];
+    metadata?: Record<string, unknown>;
+    timestamp?: number;
+}
+export interface Pattern {
+    id: string;
+    type: string;
+    embedding: number[];
+    content: string;
+    confidence: number;
+    usageCount: number;
+    createdAt: number;
+    lastUsedAt: number;
+}
+export interface IntelligenceStats {
+    sonaEnabled: boolean;
+    reasoningBankSize: number;
+    patternsLearned: number;
+    trajectoriesRecorded: number;
+    lastAdaptation: number | null;
+    avgAdaptationTime: number;
+}
+interface Signal {
+    type: string;
+    content: string;
+    embedding: number[];
+    metadata?: Record<string, unknown>;
+    timestamp: number;
+}
+interface StoredPattern {
+    id: string;
+    type: string;
+    embedding: number[];
+    content: string;
+    confidence: number;
+    usageCount: number;
+    createdAt: number;
+    lastUsedAt: number;
+    metadata?: Record<string, unknown>;
+}
+/**
+ * Lightweight SONA Coordinator
+ * Uses circular buffer for O(1) signal recording
+ * Achieves <0.05ms per operation
+ */
+declare class LocalSonaCoordinator {
+    private config;
+    private signals;
+    private signalHead;
+    private signalCount;
+    private trajectories;
+    private adaptationTimes;
+    private currentTrajectorySteps;
+    constructor(config: SonaConfig);
+    /**
+     * Record a signal - O(1) operation
+     * Target: <0.05ms
+     */
+    recordSignal(signal: Signal): void;
+    /**
+     * Record complete trajectory
+     */
+    recordTrajectory(trajectory: {
+        steps: TrajectoryStep[];
+        verdict: string;
+        timestamp: number;
+    }): void;
+    /**
+     * Get recent signals
+     */
+    getRecentSignals(count?: number): Signal[];
+    /**
+     * Get average adaptation time
+     */
+    getAvgAdaptationTime(): number;
+    /**
+     * Add a step to the current in-progress trajectory
+     */
+    addTrajectoryStep(step: TrajectoryStep): void;
+    /**
+     * End the current trajectory with a verdict and apply RL updates.
+     * Reward mapping: success=1.0, partial=0.5, failure=-0.5
+     *
+     * For successful/partial trajectories, boosts confidence of similar patterns
+     * in the ReasoningBank. For failures, reduces confidence scores.
+     */
+    endTrajectory(verdict: 'success' | 'failure' | 'partial', bank: LocalReasoningBank): Promise<{
+        reward: number;
+        patternsUpdated: number;
+    }>;
+    /**
+     * Distill learning from recent successful trajectories.
+     * Applies LoRA-style confidence updates and integrates EWC++ consolidation.
+     *
+     * For each successful trajectory step with high confidence,
+     * increases the pattern's stored confidence by loraLearningRate * reward.
+     * Before applying updates, checks EWC penalty to prevent catastrophic forgetting.
+     */
+    distillLearning(bank: LocalReasoningBank): Promise<{
+        patternsDistilled: number;
+        ewcPenalty: number;
+    }>;
+    /**
+     * Get current trajectory steps (for inspection)
+     */
+    getCurrentTrajectorySteps(): TrajectoryStep[];
+    /**
+     * Get statistics
+     */
+    stats(): {
+        signalCount: number;
+        trajectoryCount: number;
+        avgAdaptationMs: number;
+    };
+}
+/**
+ * Lightweight ReasoningBank
+ * Uses Map for O(1) storage and array for similarity search
+ * Supports persistence to disk
+ */
+declare class LocalReasoningBank {
+    private patterns;
+    private patternList;
+    private maxSize;
+    private persistenceEnabled;
+    private dirty;
+    private saveTimeout;
+    constructor(options: {
+        maxSize: number;
+        persistence?: boolean;
+    });
+    /**
+     * Load patterns from disk
+     */
+    private loadFromDisk;
+    /**
+     * Save patterns to disk (debounced)
+     */
+    private saveToDisk;
+    /**
+     * Immediately flush patterns to disk
+     */
+    flushToDisk(): void;
+    /**
+     * Store a pattern - O(1)
+     */
+    store(pattern: Omit<StoredPattern, 'usageCount' | 'createdAt' | 'lastUsedAt'> & Partial<StoredPattern>): void;
+    /**
+     * Find similar patterns by embedding
+     */
+    findSimilar(queryEmbedding: number[], options: {
+        k?: number;
+        threshold?: number;
+        type?: string;
+    }): StoredPattern[];
+    /**
+     * Optimized cosine similarity
+     */
+    private cosineSim;
+    /**
+     * Get statistics
+     */
+    stats(): {
+        size: number;
+        patternCount: number;
+    };
+    /**
+     * Get pattern by ID
+     */
+    get(id: string): StoredPattern | undefined;
+    /**
+     * Get all patterns
+     */
+    getAll(): StoredPattern[];
+    /**
+     * Get patterns by type
+     */
+    getByType(type: string): StoredPattern[];
+    /**
+     * Delete a pattern by ID
+     */
+    delete(id: string): boolean;
+    /**
+     * Clear all patterns
+     */
+    clear(): void;
+}
+/**
+ * Initialize the intelligence system (SONA + ReasoningBank)
+ * Uses optimized local implementations
+ */
+export declare function initializeIntelligence(config?: Partial<SonaConfig>): Promise<{
+    success: boolean;
+    sonaEnabled: boolean;
+    reasoningBankEnabled: boolean;
+    error?: string;
+}>;
+/**
+ * Record a trajectory step for learning
+ * Performance: <0.05ms without embedding generation
+ */
+export declare function recordStep(step: TrajectoryStep): Promise<boolean>;
+/**
+ * Record a complete trajectory with verdict
+ */
+export declare function recordTrajectory(steps: TrajectoryStep[], verdict: 'success' | 'failure' | 'partial'): Promise<boolean>;
+/**
+ * Find similar patterns from ReasoningBank
+ */
+export interface PatternMatch extends Pattern {
+    similarity: number;
+}
+export declare function findSimilarPatterns(query: string, options?: {
+    k?: number;
+    threshold?: number;
+    type?: string;
+}): Promise<PatternMatch[]>;
+/**
+ * Get intelligence system statistics
+ */
+export declare function getIntelligenceStats(): IntelligenceStats;
+/**
+ * Get SONA coordinator for advanced operations
+ */
+export declare function getSonaCoordinator(): LocalSonaCoordinator | null;
+/**
+ * Get ReasoningBank for advanced operations
+ */
+export declare function getReasoningBank(): LocalReasoningBank | null;
+/**
+ * End the current trajectory with a verdict and apply RL updates.
+ * This is the public API for the SONA RL loop.
+ *
+ * @param verdict - 'success' (reward=1.0), 'partial' (0.5), or 'failure' (-0.5)
+ * @returns Update statistics or null if not initialized
+ */
+export declare function endTrajectoryWithVerdict(verdict: 'success' | 'failure' | 'partial'): Promise<{
+    reward: number;
+    patternsUpdated: number;
+} | null>;
+/**
+ * Distill learning from recent successful trajectories.
+ * Applies LoRA-style confidence updates with EWC++ consolidation protection.
+ *
+ * @returns Distillation statistics or null if not initialized
+ */
+export declare function distillLearning(): Promise<{
+    patternsDistilled: number;
+    ewcPenalty: number;
+} | null>;
+/**
+ * Clear intelligence state
+ */
+export declare function clearIntelligence(): void;
+/**
+ * Benchmark SONA adaptation time
+ */
+export declare function benchmarkAdaptation(iterations?: number): {
+    totalMs: number;
+    avgMs: number;
+    minMs: number;
+    maxMs: number;
+    targetMet: boolean;
+};
+/**
+ * Get all patterns from ReasoningBank
+ * Returns persisted patterns even after process restart
+ */
+export declare function getAllPatterns(): Promise<Pattern[]>;
+/**
+ * Get patterns by type from ReasoningBank
+ */
+export declare function getPatternsByType(type: string): Promise<Pattern[]>;
+/**
+ * Flush patterns to disk immediately
+ * Call this at the end of training to ensure all patterns are saved
+ */
+export declare function flushPatterns(): void;
+/**
+ * Compact patterns by removing duplicates/similar patterns
+ * @param threshold Similarity threshold (0-1), patterns above this are considered duplicates
+ */
+export declare function compactPatterns(threshold?: number): Promise<{
+    before: number;
+    after: number;
+    removed: number;
+}>;
+/**
+ * Delete a pattern by ID
+ */
+export declare function deletePattern(id: string): Promise<boolean>;
+/**
+ * Clear all patterns (both in memory and on disk)
+ */
+export declare function clearAllPatterns(): Promise<void>;
+/**
+ * Get the neural data directory path
+ */
+export declare function getNeuralDataDir(): string;
+/**
+ * Get persistence status
+ */
+export declare function getPersistenceStatus(): {
+    enabled: boolean;
+    dataDir: string;
+    patternsFile: string;
+    statsFile: string;
+    patternsExist: boolean;
+    statsExist: boolean;
+};
+export {};
+//# sourceMappingURL=intelligence.d.ts.map

package/dist/src/memory/intelligence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intelligence.d.ts","sourceRoot":"","sources":["../../../src/memory/intelligence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAyDH,MAAM,WAAW,UAAU;IACzB,kBAAkB,EAAE,OAAO,CAAC;IAC5B,qBAAqB,EAAE,OAAO,CAAC;IAC/B,gBAAgB,EAAE,MAAM,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,gBAAgB,EAAE,MAAM,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,aAAa,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACtD,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACnC,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,OAAO;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,OAAO,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,eAAe,EAAE,MAAM,CAAC;IACxB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,UAAU,MAAM;IACd,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACnC,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,aAAa;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAsBD;;;;GAIG;AACH,cAAM,oBAAoB;IACxB,OAAO,CAAC,MAAM,CAAa;IAC3B,OAAO,CAAC,OAAO,CAAW;IAC1B,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,WAAW,CAAa;IAChC,OAAO,CAAC,YAAY,CAAyE;IAC7F,OAAO,CAAC,eAAe,CAAgB;IACvC,OAAO,CAAC,sBAAsB,CAAwB;gBAE1C,MAAM,EAAE,UAAU;IAM9B;;;OAGG;IACH,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAiBlC;;OAEG;IACH,gBAAgB,CAAC,UAAU,EAAE;QAAE,KAAK,EAAE,cAAc,EAAE,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI;IAOnG;;OAEG;IACH,gBAAgB,CAAC,KAAK,GAAE,MAAW,GAAG,MAAM,EAAE;IAc9C;;OAEG;IACH,oBAAoB,IAAI,MAAM;IAK9B;;OAEG;IACH,iBAAiB,CAAC,IAAI,EAAE,cAAc,GAAG,IAAI;IAQ7C;;;;;;OAMG;IACG,aAAa,CACjB,OAAO,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,EAC1C,IAAI,EAAE,kBAAkB,GACvB,OAAO,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,eAAe,EAAE,MAAM,CAAA;KAAE,CAAC;IAiDvD;;;;;;;OAOG;IACG,eAAe,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC;QACvD,iBAAiB,EAAE,MAAM,CAAC;QAC1B,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC;IAwGF;;OAEG;IACH,yBAAyB,IAAI,cAAc,EAAE;IAI7C;;OAEG;IACH,KAAK,IAAI;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,eAAe,EAAE,MAAM,CAAC;QAAC,eAAe,EAAE,MAAM,CAAA;KAAE;CAOnF;AAED;;;;GAIG;AACH,cAAM,kBAAkB;IACtB,OAAO,CAAC,QAAQ,CAAyC;IACzD,OAAO,CAAC,WAAW,CAAuB;IAC1C,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,kBAAkB,CAAU;IACpC,OAAO,CAAC,KAAK,CAAkB;IAC/B,OAAO,CAAC,WAAW,CAA8C;gBAErD,OAAO,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,OAAO,CAAA;KAAE;IAU/D;;OAEG;IACH,OAAO,CAAC,YAAY;IAiBpB;;OAEG;IACH,OAAO,CAAC,UAAU;IAelB;;OAEG;IACH,WAAW,IAAI,IAAI;IAcnB;;OAEG;IACH,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,YAAY,GAAG,WAAW,GAAG,YAAY,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,IAAI;IAqC7G;;OAEG;IACH,WAAW,CACT,cAAc,EAAE,MAAM,EAAE,EACxB,OAAO,EAAE;QAAE,CAAC,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,GACzD,aAAa,EAAE;IA2BlB;;OAEG;IACH,OAAO,CAAC,SAAS;IAiBjB;;OAEG;IACH,KAAK,IAAI;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE;IAO/C;;OAEG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS;IAI1C;;OAEG;IACH,MAAM,IAAI,aAAa,EAAE;IAIzB;;OAEG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,EAAE;IAIxC;;OAEG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAc3B;;OAEG;IACH,KAAK,IAAI,IAAI;CAKd;AAqDD;;;GAGG;AACH,wBAAsB,sBAAsB,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC;IAClF,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,OAAO,CAAC;IACrB,oBAAoB,EAAE,OAAO,CAAC;IAC9B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC,CA2CD;AAED;;;GAGG;AACH,wBAAsB,UAAU,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC,CAsEvE;AAED;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,KAAK,EAAE,cAAc,EAAE,EACvB,OAAO,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,GACzC,OAAO,CAAC,OAAO,CAAC,CA+BlB;AAED;;GAEG;AACH,MAAM,WAAW,YAAa,SAAQ,OAAO;IAC3C,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,wBAAsB,mBAAmB,CACvC,KAAK,EAAE,MAAM,EACb,OAAO,CAAC,EAAE;IAAE,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1D,OAAO,CAAC,YAAY,EAAE,CAAC,CAiDzB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,IAAI,iBAAiB,CAYxD;AAED;;GAEG;AACH,wBAAgB,kBAAkB,IAAI,oBAAoB,GAAG,IAAI,CAEhE;AAED;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,kBAAkB,GAAG,IAAI,CAE5D;AAED;;;;;;GAMG;AACH,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,GACzC,OAAO,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAAC,CAc7D;AAED;;;;;GAKG;AACH,wBAAsB,eAAe,IAAI,OAAO,CAAC;IAC/C,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;CACpB,GAAG,IAAI,CAAC,CAcR;AAED;;GAEG;AACH,wBAAgB,iBAAiB,IAAI,IAAI,CAQxC;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,GAAE,MAAa,GAAG;IAC9D,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,OAAO,CAAC;CACpB,CA+BA;AAMD;;;GAGG;AACH,wBAAsB,cAAc,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC,CAgBzD;AAED;;GAEG;AACH,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAgBxE;AAED;;;GAGG;AACH,wBAAgB,aAAa,IAAI,IAAI,CAKpC;AAED;;;GAGG;AACH,wBAAsB,eAAe,CAAC,SAAS,GAAE,MAAa,GAAG,OAAO,CAAC;IACvE,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC,CA6DD;AAED;;GAEG;AACH,wBAAsB,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAOhE;AAED;;GAEG;AACH,wBAAsB,gBAAgB,IAAI,OAAO,CAAC,IAAI,CAAC,CAOtD;AAED;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,MAAM,CAEzC;AAED;;GAEG;AACH,wBAAgB,oBAAoB,IAAI;IACtC,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,OAAO,CAAC;IACvB,UAAU,EAAE,OAAO,CAAC;CACrB,CAaA"}