@theihtisham/agent-shadow-brain 5.1.1 → 6.0.0

package/dist/brain/forgetting-curve.js

@@ -0,0 +1,174 @@
+// src/brain/forgetting-curve.ts — Ebbinghaus-inspired memory decay + sleep consolidation
+// v6.0.0 — Hive Mind Edition
+//
+// Memory strength decays over time unless reinforced. During "sleep" cycles,
+// memories that cross strength thresholds are promoted or demoted between
+// hierarchical tiers (raw → summary → pattern → principle).
+//
+// Formula (simplified Ebbinghaus):
+//   strength(t) = initialStrength * exp(-t / halfLife)
+// Half-life grows each time a memory is reinforced (spacing effect).
+import * as fs from 'fs';
+import * as path from 'path';
+import * as os from 'os';
+const STATE_PATH = path.join(os.homedir(), '.shadow-brain', 'forgetting.json');
+const DEFAULT_HALF_LIFE_HOURS = 72;
+const MIN_STRENGTH_BEFORE_FORGET = 0.05;
+export class ForgettingCurve {
+    constructor() {
+        this.states = new Map();
+        this.reports = [];
+        this.cycleCount = 0;
+        this.initialized = false;
+    }
+    async init() {
+        if (this.initialized)
+            return;
+        fs.mkdirSync(path.dirname(STATE_PATH), { recursive: true });
+        if (fs.existsSync(STATE_PATH)) {
+            try {
+                const parsed = JSON.parse(fs.readFileSync(STATE_PATH, 'utf-8'));
+                for (const s of parsed.states ?? []) {
+                    this.states.set(s.memoryId, { ...s, lastReinforced: new Date(s.lastReinforced) });
+                }
+                this.reports = (parsed.reports ?? []).map(r => ({ ...r, ranAt: new Date(r.ranAt) }));
+                this.cycleCount = this.reports.length;
+            }
+            catch {
+                /* skip */
+            }
+        }
+        this.initialized = true;
+    }
+    async track(memoryId, initialStrength = 1.0, consolidatedTier = 'raw') {
+        await this.init();
+        const existing = this.states.get(memoryId);
+        if (existing)
+            return existing;
+        const state = {
+            memoryId,
+            initialStrength,
+            currentStrength: initialStrength,
+            lastReinforced: new Date(),
+            accessCount: 1,
+            halfLifeHours: DEFAULT_HALF_LIFE_HOURS,
+            consolidatedTier,
+        };
+        this.states.set(memoryId, state);
+        await this.persist();
+        return state;
+    }
+    async reinforce(memoryId, strengthBoost = 0.2) {
+        await this.init();
+        const state = this.states.get(memoryId);
+        if (!state)
+            return null;
+        state.currentStrength = Math.min(1.0, state.currentStrength + strengthBoost);
+        state.accessCount++;
+        state.halfLifeHours = Math.min(24 * 90, state.halfLifeHours * 1.4); // spacing effect
+        state.lastReinforced = new Date();
+        await this.persist();
+        return state;
+    }
+    /** Run a consolidation sleep cycle. Returns a report of changes. */
+    async runConsolidation() {
+        await this.init();
+        const start = Date.now();
+        this.cycleCount++;
+        let promoted = 0;
+        let demoted = 0;
+        let forgotten = 0;
+        let strengthened = 0;
+        const now = Date.now();
+        const toForget = [];
+        for (const state of this.states.values()) {
+            const ageHours = (now - state.lastReinforced.getTime()) / (1000 * 60 * 60);
+            state.currentStrength = state.initialStrength * Math.exp(-ageHours / state.halfLifeHours);
+            if (state.currentStrength < MIN_STRENGTH_BEFORE_FORGET) {
+                toForget.push(state.memoryId);
+                forgotten++;
+                continue;
+            }
+            // Tier movement based on strength
+            const prevTier = state.consolidatedTier;
+            state.consolidatedTier = this.tierForStrength(state.currentStrength, state.accessCount);
+            if (this.tierRank(state.consolidatedTier) > this.tierRank(prevTier))
+                promoted++;
+            else if (this.tierRank(state.consolidatedTier) < this.tierRank(prevTier))
+                demoted++;
+            if (state.currentStrength >= 0.85)
+                strengthened++;
+        }
+        for (const id of toForget)
+            this.states.delete(id);
+        const report = {
+            cycle: this.cycleCount,
+            processedMemories: this.states.size + forgotten,
+            promoted,
+            demoted,
+            forgotten,
+            strengthened,
+            ranAt: new Date(),
+            durationMs: Date.now() - start,
+        };
+        this.reports.push(report);
+        if (this.reports.length > 50)
+            this.reports = this.reports.slice(-50);
+        await this.persist();
+        return report;
+    }
+    getState(memoryId) {
+        return this.states.get(memoryId) ?? null;
+    }
+    listStates(limit = 50) {
+        return Array.from(this.states.values())
+            .sort((a, b) => b.currentStrength - a.currentStrength)
+            .slice(0, limit);
+    }
+    listReports(limit = 20) {
+        return this.reports.slice(-limit).reverse();
+    }
+    // ── Internals ─────────────────────────────────────────────────────────────
+    tierForStrength(strength, accessCount) {
+        if (strength >= 0.9 && accessCount >= 10)
+            return 'principle';
+        if (strength >= 0.7 && accessCount >= 4)
+            return 'pattern';
+        if (strength >= 0.4)
+            return 'summary';
+        return 'raw';
+    }
+    tierRank(tier) {
+        switch (tier) {
+            case 'raw': return 0;
+            case 'summary': return 1;
+            case 'pattern': return 2;
+            case 'principle': return 3;
+        }
+    }
+    async persist() {
+        try {
+            const payload = {
+                schemaVersion: 1,
+                states: Array.from(this.states.values()),
+                reports: this.reports,
+            };
+            const tmp = STATE_PATH + '.tmp';
+            fs.writeFileSync(tmp, JSON.stringify(payload, null, 2));
+            fs.renameSync(tmp, STATE_PATH);
+        }
+        catch {
+            /* non-fatal */
+        }
+    }
+}
+let _instance = null;
+export function getForgettingCurve() {
+    if (!_instance)
+        _instance = new ForgettingCurve();
+    return _instance;
+}
+export function resetForgettingCurveForTests() {
+    _instance = null;
+}
+//# sourceMappingURL=forgetting-curve.js.map

package/dist/brain/forgetting-curve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"forgetting-curve.js","sourceRoot":"","sources":["../../src/brain/forgetting-curve.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,6BAA6B;AAC7B,EAAE;AACF,6EAA6E;AAC7E,0EAA0E;AAC1E,4DAA4D;AAC5D,EAAE;AACF,mCAAmC;AACnC,uDAAuD;AACvD,qEAAqE;AAErE,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AAOzB,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,eAAe,EAAE,iBAAiB,CAAC,CAAC;AAE/E,MAAM,uBAAuB,GAAG,EAAE,CAAC;AACnC,MAAM,0BAA0B,GAAG,IAAI,CAAC;AAQxC,MAAM,OAAO,eAAe;IAA5B;QACU,WAAM,GAAiC,IAAI,GAAG,EAAE,CAAC;QACjD,YAAO,GAA0B,EAAE,CAAC;QACpC,eAAU,GAAG,CAAC,CAAC;QACf,gBAAW,GAAG,KAAK,CAAC;IAiJ9B,CAAC;IA/IC,KAAK,CAAC,IAAI;QACR,IAAI,IAAI,CAAC,WAAW;YAAE,OAAO;QAC7B,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5D,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAiB,CAAC;gBAChF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;oBACpC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;gBACpF,CAAC;gBACD,IAAI,CAAC,OAAO,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;gBACrF,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;YACxC,CAAC;YAAC,MAAM,CAAC;gBACP,UAAU;YACZ,CAAC;QACH,CAAC;QACD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,QAAgB,EAAE,eAAe,GAAG,GAAG,EAAE,mBAA+B,KAAK;QACvF,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC9B,MAAM,KAAK,GAAoB;YAC7B,QAAQ;YACR,eAAe;YACf,eAAe,EAAE,eAAe;YAChC,cAAc,EAAE,IAAI,IAAI,EAAE;YAC1B,WAAW,EAAE,CAAC;YACd,aAAa,EAAE,uBAAuB;YACtC,gBAAgB;SACjB,CAAC;QACF,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACjC,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,CAAC,SAAS,CAAC,QAAgB,EAAE,aAAa,GAAG,GAAG;QACnD,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACxB,KAAK,CAAC,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,eAAe,GAAG,aAAa,CAAC,CAAC;QAC7E,KAAK,CAAC,WAAW,EAAE,CAAC;QACpB,KAAK,CAAC,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,KAAK,CAAC,aAAa,GAAG,GAAG,CAAC,CAAC,CAAC,iBAAiB;QACrF,KAAK,CAAC,cAAc,GAAG,IAAI,IAAI,EAAE,CAAC;QAClC,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,oEAAoE;IACpE,KAAK,CAAC,gBAAgB;QACpB,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,IAAI,YAAY,GAAG,CAAC,CAAC;QAErB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,CAAC,GAAG,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YAC3E,KAAK,CAAC,eAAe,GAAG,KAAK,CAAC,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;YAE1F,IAAI,KAAK,CAAC,eAAe,GAAG,0BAA0B,EAAE,CAAC;gBACvD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC9B,SAAS,EAAE,CAAC;gBACZ,SAAS;YACX,CAAC;YAED,kCAAkC;YAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,gBAAgB,CAAC;YACxC,KAAK,CAAC,gBAAgB,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;YACxF,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,QAAQ,EAAE,CAAC;iBAC3E,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,OAAO,EAAE,CAAC;YACpF,IAAI,KAAK,CAAC,eAAe,IAAI,IAAI;gBAAE,YAAY,EAAE,CAAC;QACpD,CAAC;QAED,KAAK,MAAM,EAAE,IAAI,QAAQ;YAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAElD,MAAM,MAAM,GAAwB;YAClC,KAAK,EAAE,IAAI,CAAC,UAAU;YACtB,iBAAiB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,SAAS;YAC/C,QAAQ;YACR,OAAO;YACP,SAAS;YACT,YAAY;YACZ,KAAK,EAAE,IAAI,IAAI,EAAE;YACjB,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAC/B,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,EAAE;YAAE,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QACrE,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACrB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,QAAQ,CAAC,QAAgB;QACvB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC;IAC3C,CAAC;IAED,UAAU,CAAC,KAAK,GAAG,EAAE;QACnB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;aACpC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,GAAG,CAAC,CAAC,eAAe,CAAC;aACrD,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrB,CAAC;IAED,WAAW,CAAC,KAAK,GAAG,EAAE;QACpB,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;IAED,6EAA6E;IAErE,eAAe,CAAC,QAAgB,EAAE,WAAmB;QAC3D,IAAI,QAAQ,IAAI,GAAG,IAAI,WAAW,IAAI,EAAE;YAAE,OAAO,WAAW,CAAC;QAC7D,IAAI,QAAQ,IAAI,GAAG,IAAI,WAAW,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QAC1D,IAAI,QAAQ,IAAI,GAAG;YAAE,OAAO,SAAS,CAAC;QACtC,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,QAAQ,CAAC,IAAgB;QAC/B,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC;YACrB,KAAK,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC;YACzB,KAAK,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC;YACzB,KAAK,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,OAAO;QACnB,IAAI,CAAC;YACH,MAAM,OAAO,GAAiB;gBAC5B,aAAa,EAAE,CAAC;gBAChB,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;gBACxC,OAAO,EAAE,IAAI,CAAC,OAAO;aACtB,CAAC;YACF,MAAM,GAAG,GAAG,UAAU,GAAG,MAAM,CAAC;YAChC,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACxD,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACjC,CAAC;QAAC,MAAM,CAAC;YACP,eAAe;QACjB,CAAC;IACH,CAAC;CACF;AAED,IAAI,SAAS,GAA2B,IAAI,CAAC;AAE7C,MAAM,UAAU,kBAAkB;IAChC,IAAI,CAAC,SAAS;QAAE,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;IAClD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,4BAA4B;IAC1C,SAAS,GAAG,IAAI,CAAC;AACnB,CAAC"}

package/dist/brain/formal-verification-bridge.d.ts

@@ -0,0 +1,26 @@
+import { FormalBridgeStats, FormalRule } from '../types.js';
+export declare class FormalVerificationBridge {
+    private brain;
+    private rules;
+    private initialized;
+    constructor();
+    init(): Promise<void>;
+    /** Generate a formal rule from a memory by semantic pattern detection. */
+    generateFromMemory(memoryId: string): Promise<FormalRule | null>;
+    /** Generate a rule from raw natural-language text. */
+    generateFromText(text: string, sourceId?: string): Promise<FormalRule>;
+    /** Compile all formal rules into ESLint config snippet. */
+    exportEslintConfig(): string;
+    /** Compile all formal rules into Semgrep YAML. */
+    exportSemgrepYaml(): string;
+    /** Snapshot stats. */
+    stats(): FormalBridgeStats;
+    listRules(limit?: number): FormalRule[];
+    removeRule(id: string): Promise<boolean>;
+    private semgrepBlock;
+    private escapeRegex;
+    private persist;
+}
+export declare function getFormalBridge(): FormalVerificationBridge;
+export declare function resetFormalBridgeForTests(): void;
+//# sourceMappingURL=formal-verification-bridge.d.ts.map

package/dist/brain/formal-verification-bridge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formal-verification-bridge.d.ts","sourceRoot":"","sources":["../../src/brain/formal-verification-bridge.ts"],"names":[],"mappings":"AAeA,OAAO,EACL,iBAAiB,EACjB,UAAU,EACX,MAAM,aAAa,CAAC;AAUrB,qBAAa,wBAAwB;IACnC,OAAO,CAAC,KAAK,CAAc;IAC3B,OAAO,CAAC,KAAK,CAAsC;IACnD,OAAO,CAAC,WAAW,CAAS;;IAMtB,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAiB3B,0EAA0E;IACpE,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAOtE,sDAAsD;IAChD,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC;IA4G5E,2DAA2D;IAC3D,kBAAkB,IAAI,MAAM;IAa5B,kDAAkD;IAClD,iBAAiB,IAAI,MAAM;IAQ3B,sBAAsB;IACtB,KAAK,IAAI,iBAAiB;IAiB1B,SAAS,CAAC,KAAK,SAAK,GAAG,UAAU,EAAE;IAM7B,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAS9C,OAAO,CAAC,YAAY;IAIpB,OAAO,CAAC,WAAW;YAIL,OAAO;CAatB;AAID,wBAAgB,eAAe,IAAI,wBAAwB,CAG1D;AAED,wBAAgB,yBAAyB,IAAI,IAAI,CAEhD"}

package/dist/brain/formal-verification-bridge.js

@@ -0,0 +1,219 @@
+// src/brain/formal-verification-bridge.ts — Natural-language brain patterns → formal checks
+// v6.0.0 — Hive Mind Edition
+//
+// Takes brain memories like "always use parameterized SQL queries" and generates:
+//   - ESLint rule snippet (for JS/TS)
+//   - Semgrep rule (for Python/Go/multi-language)
+//   - LSP diagnostic (generic regex + message + code)
+//
+// Bridges informal team knowledge into enforced compile-time spec. Shadow Brain
+// is the first tool that does this auto-generation step.
+import * as fs from 'fs';
+import * as path from 'path';
+import * as os from 'os';
+import * as crypto from 'crypto';
+import { getGlobalBrain } from './global-brain.js';
+const RULES_PATH = path.join(os.homedir(), '.shadow-brain', 'formal-rules.json');
+export class FormalVerificationBridge {
+    constructor() {
+        this.rules = new Map();
+        this.initialized = false;
+        this.brain = getGlobalBrain();
+    }
+    async init() {
+        if (this.initialized)
+            return;
+        fs.mkdirSync(path.dirname(RULES_PATH), { recursive: true });
+        await this.brain.init();
+        if (fs.existsSync(RULES_PATH)) {
+            try {
+                const parsed = JSON.parse(fs.readFileSync(RULES_PATH, 'utf-8'));
+                for (const r of parsed.rules ?? []) {
+                    this.rules.set(r.id, { ...r, generatedAt: new Date(r.generatedAt) });
+                }
+            }
+            catch {
+                /* skip */
+            }
+        }
+        this.initialized = true;
+    }
+    /** Generate a formal rule from a memory by semantic pattern detection. */
+    async generateFromMemory(memoryId) {
+        await this.init();
+        const entry = this.brain.recallByIds([memoryId])[0];
+        if (!entry)
+            return null;
+        return this.generateFromText(entry.content, memoryId);
+    }
+    /** Generate a rule from raw natural-language text. */
+    async generateFromText(text, sourceId) {
+        await this.init();
+        const rule = {
+            id: `fr-${crypto.randomBytes(6).toString('hex')}`,
+            sourceMemoryId: sourceId ?? '',
+            naturalLanguage: text.slice(0, 400),
+            languageScope: [],
+            generatedAt: new Date(),
+            verified: false,
+        };
+        const lower = text.toLowerCase();
+        // SQL patterns
+        if (/(parameterized|prepared statement|no string concat).*sql|sql.*(parameterized|prepared)/.test(lower)
+            || /never.*(concatenate|interpolate).*sql/.test(lower)) {
+            rule.eslintRule = JSON.stringify({
+                'no-restricted-syntax': [
+                    'error',
+                    { selector: "TemplateLiteral[quasis.0.value.cooked=/SELECT|INSERT|UPDATE|DELETE/i]", message: 'Use parameterized SQL queries.' },
+                ],
+            }, null, 2);
+            rule.semgrepRule = this.semgrepBlock('brain.no-sql-string-concat', ['javascript', 'typescript', 'python', 'go'], '$X + "SELECT " + $Y', 'SQL string concatenation detected. Use parameterized queries.');
+            rule.lspDiagnostic = {
+                code: 'SB-SQL-001',
+                pattern: String.raw `\b(query|execute)\s*\(\s*\`[^\`]*(SELECT|INSERT|UPDATE|DELETE)[^\`]*\$\{`,
+                message: 'Interpolated SQL detected. Use parameterized queries (sqlite3/pg/knex).',
+            };
+            rule.languageScope = ['javascript', 'typescript', 'python', 'go'];
+            this.rules.set(rule.id, rule);
+            await this.persist();
+            return rule;
+        }
+        // Secret-in-code pattern
+        if (/don('|)?t (hard\s?code|commit|store).*(api[_-]?key|secret|token|password)/.test(lower)) {
+            rule.eslintRule = JSON.stringify({
+                'no-restricted-syntax': [
+                    'error',
+                    { selector: "Literal[raw=/(api[_-]?key|secret|token|password)\\s*[:=]/i]", message: 'Potential secret in source.' },
+                ],
+            }, null, 2);
+            rule.semgrepRule = this.semgrepBlock('brain.no-hardcoded-secrets', ['javascript', 'typescript', 'python', 'go', 'java'], '$VAR = "..."', 'Possible secret hardcoded in source. Use env vars.');
+            rule.lspDiagnostic = {
+                code: 'SB-SEC-001',
+                pattern: String.raw `(api[_-]?key|secret|token|password|passwd)\s*[:=]\s*["'][^"']{8,}["']`,
+                message: 'Possible hardcoded secret. Move to environment variables.',
+            };
+            rule.languageScope = ['javascript', 'typescript', 'python', 'go', 'java'];
+            this.rules.set(rule.id, rule);
+            await this.persist();
+            return rule;
+        }
+        // Bcrypt / password hashing
+        if (/bcrypt.*cost.*1[012]|argon2|hash.*password/.test(lower) && !/md5|sha1/.test(lower)) {
+            rule.lspDiagnostic = {
+                code: 'SB-SEC-002',
+                pattern: String.raw `\bbcrypt\.(hash|hashSync)\s*\([^,]+,\s*[0-9](?!\d)`,
+                message: 'bcrypt cost factor is too low. Use >=12 (project convention).',
+            };
+            rule.languageScope = ['javascript', 'typescript'];
+            this.rules.set(rule.id, rule);
+            await this.persist();
+            return rule;
+        }
+        // Generic "avoid X" pattern (catch-all)
+        const avoidMatch = lower.match(/avoid\s+([a-z0-9_\-. /]+)/);
+        if (avoidMatch) {
+            const target = avoidMatch[1].trim();
+            rule.lspDiagnostic = {
+                code: 'SB-GEN-001',
+                pattern: this.escapeRegex(target),
+                message: `Project memory advises avoiding "${target}".`,
+            };
+            rule.languageScope = ['any'];
+            this.rules.set(rule.id, rule);
+            await this.persist();
+            return rule;
+        }
+        // Fallback: no formal pattern matched
+        rule.lspDiagnostic = undefined;
+        rule.languageScope = [];
+        this.rules.set(rule.id, rule);
+        await this.persist();
+        return rule;
+    }
+    /** Compile all formal rules into ESLint config snippet. */
+    exportEslintConfig() {
+        const rules = {};
+        for (const r of this.rules.values()) {
+            if (r.eslintRule) {
+                try {
+                    const obj = JSON.parse(r.eslintRule);
+                    Object.assign(rules, obj);
+                }
+                catch { /* skip */ }
+            }
+        }
+        return JSON.stringify({ rules }, null, 2);
+    }
+    /** Compile all formal rules into Semgrep YAML. */
+    exportSemgrepYaml() {
+        const lines = ['rules:'];
+        for (const r of this.rules.values()) {
+            if (r.semgrepRule)
+                lines.push(r.semgrepRule);
+        }
+        return lines.join('\n');
+    }
+    /** Snapshot stats. */
+    stats() {
+        const byLang = {};
+        let verified = 0;
+        let lastGenerated = null;
+        for (const r of this.rules.values()) {
+            for (const lang of r.languageScope)
+                byLang[lang] = (byLang[lang] ?? 0) + 1;
+            if (r.verified)
+                verified++;
+            if (!lastGenerated || r.generatedAt > lastGenerated)
+                lastGenerated = r.generatedAt;
+        }
+        return {
+            totalRules: this.rules.size,
+            byLanguage: byLang,
+            verifiedRules: verified,
+            lastGenerated,
+        };
+    }
+    listRules(limit = 50) {
+        return Array.from(this.rules.values())
+            .sort((a, b) => b.generatedAt.getTime() - a.generatedAt.getTime())
+            .slice(0, limit);
+    }
+    async removeRule(id) {
+        await this.init();
+        const ok = this.rules.delete(id);
+        if (ok)
+            await this.persist();
+        return ok;
+    }
+    // ── Internals ─────────────────────────────────────────────────────────────
+    semgrepBlock(id, languages, pattern, message) {
+        return `  - id: ${id}\n    languages: [${languages.join(', ')}]\n    severity: WARNING\n    message: "${message}"\n    pattern: |\n      ${pattern.replace(/\n/g, '\n      ')}`;
+    }
+    escapeRegex(s) {
+        return s.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+    }
+    async persist() {
+        try {
+            const payload = {
+                schemaVersion: 1,
+                rules: Array.from(this.rules.values()),
+            };
+            const tmp = RULES_PATH + '.tmp';
+            fs.writeFileSync(tmp, JSON.stringify(payload, null, 2));
+            fs.renameSync(tmp, RULES_PATH);
+        }
+        catch {
+            /* non-fatal */
+        }
+    }
+}
+let _instance = null;
+export function getFormalBridge() {
+    if (!_instance)
+        _instance = new FormalVerificationBridge();
+    return _instance;
+}
+export function resetFormalBridgeForTests() {
+    _instance = null;
+}
+//# sourceMappingURL=formal-verification-bridge.js.map

package/dist/brain/formal-verification-bridge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formal-verification-bridge.js","sourceRoot":"","sources":["../../src/brain/formal-verification-bridge.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,6BAA6B;AAC7B,EAAE;AACF,kFAAkF;AAClF,sCAAsC;AACtC,kDAAkD;AAClD,sDAAsD;AACtD,EAAE;AACF,gFAAgF;AAChF,yDAAyD;AAEzD,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,KAAK,MAAM,MAAM,QAAQ,CAAC;AAKjC,OAAO,EAAE,cAAc,EAAe,MAAM,mBAAmB,CAAC;AAEhE,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,eAAe,EAAE,mBAAmB,CAAC,CAAC;AAOjF,MAAM,OAAO,wBAAwB;IAKnC;QAHQ,UAAK,GAA4B,IAAI,GAAG,EAAE,CAAC;QAC3C,gBAAW,GAAG,KAAK,CAAC;QAG1B,IAAI,CAAC,KAAK,GAAG,cAAc,EAAE,CAAC;IAChC,CAAC;IAED,KAAK,CAAC,IAAI;QACR,IAAI,IAAI,CAAC,WAAW;YAAE,OAAO;QAC7B,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5D,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAiB,CAAC;gBAChF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;oBACnC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,WAAW,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;gBACvE,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,UAAU;YACZ,CAAC;QACH,CAAC;QACD,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED,0EAA0E;IAC1E,KAAK,CAAC,kBAAkB,CAAC,QAAgB;QACvC,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACxB,OAAO,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACxD,CAAC;IAED,sDAAsD;IACtD,KAAK,CAAC,gBAAgB,CAAC,IAAY,EAAE,QAAiB;QACpD,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,MAAM,IAAI,GAAe;YACvB,EAAE,EAAE,MAAM,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE;YACjD,cAAc,EAAE,QAAQ,IAAI,EAAE;YAC9B,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;YACnC,aAAa,EAAE,EAAE;YACjB,WAAW,EAAE,IAAI,IAAI,EAAE;YACvB,QAAQ,EAAE,KAAK;SAChB,CAAC;QAEF,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAEjC,eAAe;QACf,IAAI,wFAAwF,CAAC,IAAI,CAAC,KAAK,CAAC;eACnG,uCAAuC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,SAAS,CAC9B;gBACE,sBAAsB,EAAE;oBACtB,OAAO;oBACP,EAAE,QAAQ,EAAE,uEAAuE,EAAE,OAAO,EAAE,gCAAgC,EAAE;iBACjI;aACF,EACD,IAAI,EACJ,CAAC,CACF,CAAC;YACF,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,YAAY,CAClC,4BAA4B,EAC5B,CAAC,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,EAC5C,qBAAqB,EACrB,+DAA+D,CAChE,CAAC;YACF,IAAI,CAAC,aAAa,GAAG;gBACnB,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,MAAM,CAAC,GAAG,CAAA,0EAA0E;gBAC7F,OAAO,EAAE,yEAAyE;aACnF,CAAC;YACF,IAAI,CAAC,aAAa,GAAG,CAAC,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YAClE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC9B,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,yBAAyB;QACzB,IAAI,2EAA2E,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5F,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,SAAS,CAC9B;gBACE,sBAAsB,EAAE;oBACtB,OAAO;oBACP,EAAE,QAAQ,EAAE,6DAA6D,EAAE,OAAO,EAAE,6BAA6B,EAAE;iBACpH;aACF,EACD,IAAI,EACJ,CAAC,CACF,CAAC;YACF,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,YAAY,CAClC,4BAA4B,EAC5B,CAAC,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,EACpD,cAAc,EACd,oDAAoD,CACrD,CAAC;YACF,IAAI,CAAC,aAAa,GAAG;gBACnB,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,MAAM,CAAC,GAAG,CAAA,uEAAuE;gBAC1F,OAAO,EAAE,2DAA2D;aACrE,CAAC;YACF,IAAI,CAAC,aAAa,GAAG,CAAC,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC1E,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC9B,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,4BAA4B;QAC5B,IAAI,4CAA4C,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACxF,IAAI,CAAC,aAAa,GAAG;gBACnB,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,MAAM,CAAC,GAAG,CAAA,oDAAoD;gBACvE,OAAO,EAAE,+DAA+D;aACzE,CAAC;YACF,IAAI,CAAC,aAAa,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;YAClD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC9B,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,wCAAwC;QACxC,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC5D,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACpC,IAAI,CAAC,aAAa,GAAG;gBACnB,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;gBACjC,OAAO,EAAE,oCAAoC,MAAM,IAAI;aACxD,CAAC;YACF,IAAI,CAAC,aAAa,GAAG,CAAC,KAAK,CAAC,CAAC;YAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC9B,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,sCAAsC;QACtC,IAAI,CAAC,aAAa,GAAG,SAAS,CAAC;QAC/B,IAAI,CAAC,aAAa,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC9B,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,2DAA2D;IAC3D,kBAAkB;QAChB,MAAM,KAAK,GAA4B,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACpC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;gBACjB,IAAI,CAAC;oBACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;oBACrC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC5B,CAAC;gBAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5C,CAAC;IAED,kDAAkD;IAClD,iBAAiB;QACf,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACpC,IAAI,CAAC,CAAC,WAAW;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,sBAAsB;IACtB,KAAK;QACH,MAAM,MAAM,GAA2B,EAAE,CAAC;QAC1C,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,aAAa,GAAgB,IAAI,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACpC,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,aAAa;gBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAC3E,IAAI,CAAC,CAAC,QAAQ;gBAAE,QAAQ,EAAE,CAAC;YAC3B,IAAI,CAAC,aAAa,IAAI,CAAC,CAAC,WAAW,GAAG,aAAa;gBAAE,aAAa,GAAG,CAAC,CAAC,WAAW,CAAC;QACrF,CAAC;QACD,OAAO;YACL,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;YAC3B,UAAU,EAAE,MAAM;YAClB,aAAa,EAAE,QAAQ;YACvB,aAAa;SACd,CAAC;IACJ,CAAC;IAED,SAAS,CAAC,KAAK,GAAG,EAAE;QAClB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;aACnC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;aACjE,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrB,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,EAAU;QACzB,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACjC,IAAI,EAAE;YAAE,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7B,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,6EAA6E;IAErE,YAAY,CAAC,EAAU,EAAE,SAAmB,EAAE,OAAe,EAAE,OAAe;QACpF,OAAO,WAAW,EAAE,qBAAqB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,2CAA2C,OAAO,4BAA4B,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;IAClL,CAAC;IAEO,WAAW,CAAC,CAAS;QAC3B,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAClD,CAAC;IAEO,KAAK,CAAC,OAAO;QACnB,IAAI,CAAC;YACH,MAAM,OAAO,GAAiB;gBAC5B,aAAa,EAAE,CAAC;gBAChB,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;aACvC,CAAC;YACF,MAAM,GAAG,GAAG,UAAU,GAAG,MAAM,CAAC;YAChC,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACxD,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACjC,CAAC;QAAC,MAAM,CAAC;YACP,eAAe;QACjB,CAAC;IACH,CAAC;CACF;AAED,IAAI,SAAS,GAAoC,IAAI,CAAC;AAEtD,MAAM,UAAU,eAAe;IAC7B,IAAI,CAAC,SAAS;QAAE,SAAS,GAAG,IAAI,wBAAwB,EAAE,CAAC;IAC3D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,yBAAyB;IACvC,SAAS,GAAG,IAAI,CAAC;AACnB,CAAC"}

package/dist/brain/global-brain.d.ts

@@ -0,0 +1,63 @@
+import { AgentTool, GlobalBrainConfig, GlobalBrainStats, GlobalEntry, BrainTimelineEvent } from '../types.js';
+/**
+ * Singleton Global Brain — the source of truth for all projects + agents.
+ *
+ * Storage: JSON file at ~/.shadow-brain/global.json (zero new deps).
+ * In-memory Map keyed by entry.id for O(1) ID lookups.
+ */
+export declare class GlobalBrain {
+    private static instance;
+    private config;
+    private entries;
+    private projects;
+    private agents;
+    private writeQueue;
+    private syncTimer;
+    private stats;
+    private startedAt;
+    private initialized;
+    private dirty;
+    private constructor();
+    static getInstance(config?: Partial<GlobalBrainConfig>): GlobalBrain;
+    init(): Promise<void>;
+    /** Generate a stable project ID from absolute path */
+    static projectIdFor(rootDir: string): string;
+    registerProject(rootDir: string, name?: string): string;
+    registerAgent(agent: AgentTool): void;
+    /** Queue a write — resolves true on success */
+    write(entry: Omit<GlobalEntry, 'id' | 'createdAt' | 'lastAccessed' | 'accessCount'>): Promise<boolean>;
+    /** Direct synchronous write — bypasses queue */
+    writeSync(entry: Omit<GlobalEntry, 'id' | 'createdAt' | 'lastAccessed' | 'accessCount'>): string;
+    /** Recall entries — cross-project + cross-agent */
+    recall(opts?: {
+        projectId?: string;
+        agentTool?: AgentTool;
+        category?: string;
+        keywords?: string[];
+        limit?: number;
+        minImportance?: number;
+    }): GlobalEntry[];
+    /** Bump access count for an entry */
+    touch(id: string): void;
+    recallByIds(ids: string[]): GlobalEntry[];
+    /** Chronological proof stream for dashboards, handoffs, and launch demos. */
+    timeline(opts?: {
+        projectId?: string;
+        agentTool?: AgentTool;
+        category?: string;
+        limit?: number;
+    }): BrainTimelineEvent[];
+    getStats(): GlobalBrainStats;
+    /** Force a sync of pending writes to disk */
+    sync(): Promise<void>;
+    private maybeAutoMaintenance;
+    /** Auto-prune: drop low-importance, rarely-accessed entries when over threshold */
+    private prune;
+    private persist;
+    private startSyncLoop;
+    private refreshStats;
+    private estimateSizeMB;
+    shutdown(): Promise<void>;
+}
+export declare function getGlobalBrain(config?: Partial<GlobalBrainConfig>): GlobalBrain;
+//# sourceMappingURL=global-brain.d.ts.map

package/dist/brain/global-brain.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"global-brain.d.ts","sourceRoot":"","sources":["../../src/brain/global-brain.ts"],"names":[],"mappings":"AAkBA,OAAO,EACL,SAAS,EACT,iBAAiB,EACjB,gBAAgB,EAChB,WAAW,EACX,kBAAkB,EACnB,MAAM,aAAa,CAAC;AAyBrB;;;;;GAKG;AACH,qBAAa,WAAW;IACtB,OAAO,CAAC,MAAM,CAAC,QAAQ,CAA4B;IACnD,OAAO,CAAC,MAAM,CAAoB;IAClC,OAAO,CAAC,OAAO,CAAuC;IACtD,OAAO,CAAC,QAAQ,CAA8G;IAC9H,OAAO,CAAC,MAAM,CAA6G;IAC3H,OAAO,CAAC,UAAU,CAAsB;IACxC,OAAO,CAAC,SAAS,CAA+B;IAChD,OAAO,CAAC,KAAK,CAAmB;IAChC,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,KAAK,CAAS;IAEtB,OAAO;IAmBP,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,iBAAiB,CAAC,GAAG,WAAW;IAO9D,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAgC3B,sDAAsD;IACtD,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM;IAK5C,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM;IAoBvD,aAAa,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI;IAarC,+CAA+C;IACzC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,GAAG,WAAW,GAAG,cAAc,GAAG,aAAa,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC;IAoB5G,gDAAgD;IAChD,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,GAAG,WAAW,GAAG,cAAc,GAAG,aAAa,CAAC,GAAG,MAAM;IAkBhG,mDAAmD;IACnD,MAAM,CAAC,IAAI,GAAE;QACX,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,SAAS,CAAC,EAAE,SAAS,CAAC;QACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;QACpB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,aAAa,CAAC,EAAE,MAAM,CAAC;KACnB,GAAG,WAAW,EAAE;IA+BtB,qCAAqC;IACrC,KAAK,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAQvB,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,WAAW,EAAE;IASzC,6EAA6E;IAC7E,QAAQ,CAAC,IAAI,GAAE;QACb,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,SAAS,CAAC,EAAE,SAAS,CAAC;QACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,KAAK,CAAC,EAAE,MAAM,CAAC;KACX,GAAG,kBAAkB,EAAE;IAuB7B,QAAQ,IAAI,gBAAgB;IAK5B,6CAA6C;IACvC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAyB3B,OAAO,CAAC,oBAAoB;IAO5B,mFAAmF;IACnF,OAAO,CAAC,KAAK;IAeb,OAAO,CAAC,OAAO;IAcf,OAAO,CAAC,aAAa;IAOrB,OAAO,CAAC,YAAY;IAWpB,OAAO,CAAC,cAAc;IAShB,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC;CAMhC;AAED,wBAAgB,cAAc,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,iBAAiB,CAAC,GAAG,WAAW,CAE/E"}