agentdb 3.0.0-alpha.2 → 3.0.0-alpha.4

package/dist/src/backends/rvf/RvfSolver.d.ts

@@ -1,175 +0,0 @@
-/**
- * AgentDBSolver - Self-Learning Temporal Solver for AgentDB
- *
- * Wraps @ruvector/rvf-solver providing:
- * - Thompson Sampling policy learning (two-signal: safety Beta + cost EMA)
- * - 18 context-bucketed bandits (3 range x 3 distractor x 2 noise)
- * - KnowledgeCompiler with signature-based pattern cache
- * - Three-loop adaptive solver (fast/medium/slow)
- * - A/B/C ablation acceptance testing
- * - SHAKE-256 tamper-evident witness chains
- *
- * Security:
- * - Solver operates on synthetic data only (no user vectors)
- * - Witness chain provides tamper-evident audit log
- * - All options bounded to safe defaults
- */
-/** PolicyKernel skip strategies (v0.1.6) */
-export type SolverSkipMode = 'none' | 'weekday' | 'hybrid';
-/** Per-arm Thompson Sampling statistics (v0.1.6) */
-export interface SolverSkipModeStats {
-    attempts: number;
-    successes: number;
-    totalSteps: number;
-    alphaSafety: number;
-    betaSafety: number;
-    costEma: number;
-    earlyCommitWrongs: number;
-}
-/** KnowledgeCompiler distilled configuration entry (v0.1.6) */
-export interface SolverCompiledConfig {
-    maxSteps: number;
-    avgSteps: number;
-    observations: number;
-    expectedCorrect: boolean;
-    hitCount: number;
-    counterexampleCount: number;
-    compiledSkip: SolverSkipMode;
-}
-/** Training configuration */
-export interface SolverTrainOptions {
-    /** Number of puzzles to generate and solve */
-    count: number;
-    /** Minimum puzzle difficulty (1-10). Default: 1 */
-    minDifficulty?: number;
-    /** Maximum puzzle difficulty (1-10). Default: 10 */
-    maxDifficulty?: number;
-    /** RNG seed for reproducibility */
-    seed?: number;
-}
-/** Training result */
-export interface SolverTrainResult {
-    trained: number;
-    correct: number;
-    accuracy: number;
-    patternsLearned: number;
-}
-/** Per-cycle metrics from acceptance testing */
-export interface SolverCycleMetrics {
-    cycle: number;
-    accuracy: number;
-    costPerSolve: number;
-    /** Accuracy under injected noise — measures robustness (v0.1.6) */
-    noiseAccuracy: number;
-    /** Constraint violations per cycle — safety signal (v0.1.6) */
-    violations: number;
-    /** Patterns distilled per cycle (v0.1.6) */
-    patternsLearned: number;
-}
-/** Single acceptance mode result (A, B, or C) */
-export interface SolverModeResult {
-    passed: boolean;
-    finalAccuracy: number;
-    /** Accuracy stayed above threshold across all cycles (v0.1.6) */
-    accuracyMaintained: boolean;
-    /** Cost-per-solve decreased vs. baseline (v0.1.6) */
-    costImproved: boolean;
-    /** Noise accuracy improved vs. baseline (v0.1.6) */
-    robustnessImproved: boolean;
-    /** No constraint violations in any cycle (v0.1.6) */
-    zeroViolations: boolean;
-    /** Count of improvement dimensions 0-4 (v0.1.6) */
-    dimensionsImproved: number;
-    cycles: SolverCycleMetrics[];
-}
-/** Full acceptance test manifest */
-export interface SolverAcceptanceManifest {
-    version: number;
-    modeA: SolverModeResult;
-    modeB: SolverModeResult;
-    modeC: SolverModeResult;
-    allPassed: boolean;
-    witnessEntries: number;
-    witnessChainBytes: number;
-}
-/** Acceptance test options */
-export interface SolverAcceptanceOptions {
-    holdoutSize?: number;
-    trainingPerCycle?: number;
-    cycles?: number;
-    stepBudget?: number;
-    seed?: number;
-}
-/** Policy state from Thompson Sampling */
-export interface SolverPolicyState {
-    contextStats: Record<string, Record<string, {
-        attempts: number;
-        successes: number;
-        totalSteps: number;
-        alphaSafety: number;
-        betaSafety: number;
-        costEma: number;
-        earlyCommitWrongs: number;
-    }>>;
-    earlyCommitPenalties: number;
-    earlyCommitsTotal: number;
-    earlyCommitsWrong: number;
-    prepass: string;
-    speculativeAttempts: number;
-    speculativeArm2Wins: number;
-}
-/**
- * AgentDBSolver - Self-learning solver for AgentDB
- *
- * Uses the @ruvector/rvf-solver WASM module under the hood.
- * Provides Thompson Sampling, KnowledgeCompiler, and witness chains.
- */
-export declare class AgentDBSolver {
-    private solver;
-    private _destroyed;
-    private constructor();
-    /**
-     * Create a new solver instance.
-     * Lazy-loads @ruvector/rvf-solver to avoid hard dependency.
-     */
-    static create(): Promise<AgentDBSolver>;
-    /**
-     * Check if @ruvector/rvf-solver is available without creating an instance.
-     */
-    static isAvailable(): Promise<boolean>;
-    /**
-     * Train the solver on generated puzzles.
-     *
-     * Uses the three-loop architecture:
-     * - Fast loop: constraint propagation solver
-     * - Medium loop: PolicyKernel skip-mode selection
-     * - Slow loop: KnowledgeCompiler pattern distillation
-     */
-    train(options: SolverTrainOptions): SolverTrainResult;
-    /**
-     * Run the full A/B/C acceptance test.
-     *
-     * - Mode A: Fixed heuristic policy (baseline)
-     * - Mode B: Compiler-suggested policy
-     * - Mode C: Learned Thompson Sampling policy (should win)
-     */
-    acceptance(options?: SolverAcceptanceOptions): SolverAcceptanceManifest;
-    /**
-     * Get the current policy state (Thompson Sampling parameters,
-     * context buckets, KnowledgeCompiler cache stats).
-     */
-    policy(): SolverPolicyState | null;
-    /**
-     * Get the raw SHAKE-256 witness chain bytes.
-     * Each entry is 73 bytes. Verifiable via @ruvector/rvf-wasm.
-     */
-    witnessChain(): Uint8Array | null;
-    /** Destroy the solver and free WASM resources */
-    destroy(): void;
-    /** Check if the solver has been destroyed */
-    get isDestroyed(): boolean;
-    private ensureAlive;
-    private mapModeResult;
-    private mapCycleMetrics;
-}
-//# sourceMappingURL=RvfSolver.d.ts.map

package/dist/src/backends/rvf/RvfSolver.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"RvfSolver.d.ts","sourceRoot":"","sources":["../../../../src/backends/rvf/RvfSolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,4CAA4C;AAC5C,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,SAAS,GAAG,QAAQ,CAAC;AAE3D,oDAAoD;AACpD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,+DAA+D;AAC/D,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,OAAO,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,YAAY,EAAE,cAAc,CAAC;CAC9B;AAED,6BAA6B;AAC7B,MAAM,WAAW,kBAAkB;IACjC,8CAA8C;IAC9C,KAAK,EAAE,MAAM,CAAC;IACd,mDAAmD;IACnD,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,oDAAoD;IACpD,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,mCAAmC;IACnC,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,sBAAsB;AACtB,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,gDAAgD;AAChD,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,mEAAmE;IACnE,aAAa,EAAE,MAAM,CAAC;IACtB,+DAA+D;IAC/D,UAAU,EAAE,MAAM,CAAC;IACnB,4CAA4C;IAC5C,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,iDAAiD;AACjD,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,OAAO,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,iEAAiE;IACjE,kBAAkB,EAAE,OAAO,CAAC;IAC5B,qDAAqD;IACrD,YAAY,EAAE,OAAO,CAAC;IACtB,oDAAoD;IACpD,kBAAkB,EAAE,OAAO,CAAC;IAC5B,qDAAqD;IACrD,cAAc,EAAE,OAAO,CAAC;IACxB,mDAAmD;IACnD,kBAAkB,EAAE,MAAM,CAAC;IAC3B,MAAM,EAAE,kBAAkB,EAAE,CAAC;CAC9B;AAED,oCAAoC;AACpC,MAAM,WAAW,wBAAwB;IACvC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,gBAAgB,CAAC;IACxB,KAAK,EAAE,gBAAgB,CAAC;IACxB,KAAK,EAAE,gBAAgB,CAAC;IACxB,SAAS,EAAE,OAAO,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,8BAA8B;AAC9B,MAAM,WAAW,uBAAuB;IACtC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,0CAA0C;AAC1C,MAAM,WAAW,iBAAiB;IAChC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;QAC1C,QAAQ,EAAE,MAAM,CAAC;QACjB,SAAS,EAAE,MAAM,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC;QACnB,WAAW,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;QACnB,OAAO,EAAE,MAAM,CAAC;QAChB,iBAAiB,EAAE,MAAM,CAAC;KAC3B,CAAC,CAAC,CAAC;IACJ,oBAAoB,EAAE,MAAM,CAAC;IAC7B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAQD;;;;;GAKG;AACH,qBAAa,aAAa;IAExB,OAAO,CAAC,MAAM,CAAa;IAC3B,OAAO,CAAC,UAAU,CAAS;IAE3B,OAAO;IAEP;;;OAGG;WACU,MAAM,IAAI,OAAO,CAAC,aAAa,CAAC;IAiB7C;;OAEG;WACU,WAAW,IAAI,OAAO,CAAC,OAAO,CAAC;IAS5C;;;;;;;OAOG;IACH,KAAK,CAAC,OAAO,EAAE,kBAAkB,GAAG,iBAAiB;IAsBrD;;;;;;OAMG;IACH,UAAU,CAAC,OAAO,CAAC,EAAE,uBAAuB,GAAG,wBAAwB;IAwBvE;;;OAGG;IACH,MAAM,IAAI,iBAAiB,GAAG,IAAI;IAKlC;;;OAGG;IACH,YAAY,IAAI,UAAU,GAAG,IAAI;IAKjC,iDAAiD;IACjD,OAAO,IAAI,IAAI;IAQf,6CAA6C;IAC7C,IAAI,WAAW,IAAI,OAAO,CAEzB;IAID,OAAO,CAAC,WAAW;IAOnB,OAAO,CAAC,aAAa;IAerB,OAAO,CAAC,eAAe;CAWxB"}

package/dist/src/backends/rvf/RvfSolver.js

@@ -1,176 +0,0 @@
-/**
- * AgentDBSolver - Self-Learning Temporal Solver for AgentDB
- *
- * Wraps @ruvector/rvf-solver providing:
- * - Thompson Sampling policy learning (two-signal: safety Beta + cost EMA)
- * - 18 context-bucketed bandits (3 range x 3 distractor x 2 noise)
- * - KnowledgeCompiler with signature-based pattern cache
- * - Three-loop adaptive solver (fast/medium/slow)
- * - A/B/C ablation acceptance testing
- * - SHAKE-256 tamper-evident witness chains
- *
- * Security:
- * - Solver operates on synthetic data only (no user vectors)
- * - Witness chain provides tamper-evident audit log
- * - All options bounded to safe defaults
- */
-// Bounds
-const MAX_TRAIN_COUNT = 100000;
-const MAX_DIFFICULTY = 10;
-const MAX_CYCLES = 50;
-const MAX_STEP_BUDGET = 10000;
-/**
- * AgentDBSolver - Self-learning solver for AgentDB
- *
- * Uses the @ruvector/rvf-solver WASM module under the hood.
- * Provides Thompson Sampling, KnowledgeCompiler, and witness chains.
- */
-export class AgentDBSolver {
-    // eslint-disable-next-line @typescript-eslint/no-explicit-any
-    solver = null;
-    _destroyed = false;
-    constructor() { }
-    /**
-     * Create a new solver instance.
-     * Lazy-loads @ruvector/rvf-solver to avoid hard dependency.
-     */
-    static async create() {
-        const instance = new AgentDBSolver();
-        try {
-            const { RvfSolver } = await import('@ruvector/rvf-solver');
-            instance.solver = await RvfSolver.create();
-        }
-        catch (error) {
-            throw new Error(`RVF Solver initialization failed.\n` +
-                `Install with: npm install @ruvector/rvf-solver\n` +
-                `Error: ${error.message}`);
-        }
-        return instance;
-    }
-    /**
-     * Check if @ruvector/rvf-solver is available without creating an instance.
-     */
-    static async isAvailable() {
-        try {
-            await import('@ruvector/rvf-solver');
-            return true;
-        }
-        catch {
-            return false;
-        }
-    }
-    /**
-     * Train the solver on generated puzzles.
-     *
-     * Uses the three-loop architecture:
-     * - Fast loop: constraint propagation solver
-     * - Medium loop: PolicyKernel skip-mode selection
-     * - Slow loop: KnowledgeCompiler pattern distillation
-     */
-    train(options) {
-        this.ensureAlive();
-        const count = Math.min(Math.max(1, options.count), MAX_TRAIN_COUNT);
-        const minDiff = Math.min(Math.max(1, options.minDifficulty ?? 1), MAX_DIFFICULTY);
-        const maxDiff = Math.min(Math.max(minDiff, options.maxDifficulty ?? MAX_DIFFICULTY), MAX_DIFFICULTY);
-        const result = this.solver.train({
-            count,
-            minDifficulty: minDiff,
-            maxDifficulty: maxDiff,
-            seed: options.seed != null ? BigInt(options.seed) : undefined,
-        });
-        return {
-            trained: result.trained ?? count,
-            correct: result.correct ?? 0,
-            accuracy: result.accuracy ?? 0,
-            patternsLearned: result.patternsLearned ?? 0,
-        };
-    }
-    /**
-     * Run the full A/B/C acceptance test.
-     *
-     * - Mode A: Fixed heuristic policy (baseline)
-     * - Mode B: Compiler-suggested policy
-     * - Mode C: Learned Thompson Sampling policy (should win)
-     */
-    acceptance(options) {
-        this.ensureAlive();
-        const opts = {
-            holdoutSize: Math.min(Math.max(1, options?.holdoutSize ?? 50), MAX_TRAIN_COUNT),
-            trainingPerCycle: Math.min(Math.max(1, options?.trainingPerCycle ?? 200), MAX_TRAIN_COUNT),
-            cycles: Math.min(Math.max(1, options?.cycles ?? 5), MAX_CYCLES),
-            stepBudget: Math.min(Math.max(1, options?.stepBudget ?? 500), MAX_STEP_BUDGET),
-            seed: options?.seed != null ? BigInt(options.seed) : undefined,
-        };
-        const manifest = this.solver.acceptance(opts);
-        return {
-            version: manifest.version ?? 1,
-            modeA: this.mapModeResult(manifest.modeA),
-            modeB: this.mapModeResult(manifest.modeB),
-            modeC: this.mapModeResult(manifest.modeC),
-            allPassed: manifest.allPassed ?? false,
-            witnessEntries: manifest.witnessEntries ?? 0,
-            witnessChainBytes: manifest.witnessChainBytes ?? 0,
-        };
-    }
-    /**
-     * Get the current policy state (Thompson Sampling parameters,
-     * context buckets, KnowledgeCompiler cache stats).
-     */
-    policy() {
-        this.ensureAlive();
-        return this.solver.policy() ?? null;
-    }
-    /**
-     * Get the raw SHAKE-256 witness chain bytes.
-     * Each entry is 73 bytes. Verifiable via @ruvector/rvf-wasm.
-     */
-    witnessChain() {
-        this.ensureAlive();
-        return this.solver.witnessChain() ?? null;
-    }
-    /** Destroy the solver and free WASM resources */
-    destroy() {
-        if (this.solver && !this._destroyed) {
-            this.solver.destroy();
-            this._destroyed = true;
-            this.solver = null;
-        }
-    }
-    /** Check if the solver has been destroyed */
-    get isDestroyed() {
-        return this._destroyed;
-    }
-    // ─── Private helpers ───
-    ensureAlive() {
-        if (this._destroyed || !this.solver) {
-            throw new Error('Solver has been destroyed. Create a new instance.');
-        }
-    }
-    // eslint-disable-next-line @typescript-eslint/no-explicit-any
-    mapModeResult(raw) {
-        return {
-            passed: raw?.passed ?? false,
-            finalAccuracy: raw?.finalAccuracy ?? raw?.final_accuracy ?? 0,
-            // v0.1.6 acceptance dimensions
-            accuracyMaintained: raw?.accuracyMaintained ?? raw?.accuracy_maintained ?? false,
-            costImproved: raw?.costImproved ?? raw?.cost_improved ?? false,
-            robustnessImproved: raw?.robustnessImproved ?? raw?.robustness_improved ?? false,
-            zeroViolations: raw?.zeroViolations ?? raw?.zero_violations ?? false,
-            dimensionsImproved: raw?.dimensionsImproved ?? raw?.dimensions_improved ?? 0,
-            cycles: (raw?.cycles ?? []).map(this.mapCycleMetrics),
-        };
-    }
-    // eslint-disable-next-line @typescript-eslint/no-explicit-any
-    mapCycleMetrics(c) {
-        return {
-            cycle: c?.cycle ?? 0,
-            accuracy: c?.accuracy ?? 0,
-            costPerSolve: c?.costPerSolve ?? c?.cost_per_solve ?? 0,
-            // v0.1.6 fields
-            noiseAccuracy: c?.noiseAccuracy ?? c?.noise_accuracy ?? 0,
-            violations: c?.violations ?? 0,
-            patternsLearned: c?.patternsLearned ?? c?.patterns_learned ?? 0,
-        };
-    }
-}
-//# sourceMappingURL=RvfSolver.js.map

package/dist/src/backends/rvf/RvfSolver.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"RvfSolver.js","sourceRoot":"","sources":["../../../../src/backends/rvf/RvfSolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAoHH,SAAS;AACT,MAAM,eAAe,GAAG,MAAM,CAAC;AAC/B,MAAM,cAAc,GAAG,EAAE,CAAC;AAC1B,MAAM,UAAU,GAAG,EAAE,CAAC;AACtB,MAAM,eAAe,GAAG,KAAK,CAAC;AAE9B;;;;;GAKG;AACH,MAAM,OAAO,aAAa;IACxB,8DAA8D;IACtD,MAAM,GAAQ,IAAI,CAAC;IACnB,UAAU,GAAG,KAAK,CAAC;IAE3B,gBAAuB,CAAC;IAExB;;;OAGG;IACH,MAAM,CAAC,KAAK,CAAC,MAAM;QACjB,MAAM,QAAQ,GAAG,IAAI,aAAa,EAAE,CAAC;QAErC,IAAI,CAAC;YACH,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,MAAM,CAAC,sBAAsB,CAAC,CAAC;YAC3D,QAAQ,CAAC,MAAM,GAAG,MAAM,SAAS,CAAC,MAAM,EAAE,CAAC;QAC7C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CACb,qCAAqC;gBACrC,kDAAkD;gBAClD,UAAW,KAAe,CAAC,OAAO,EAAE,CACrC,CAAC;QACJ,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,KAAK,CAAC,WAAW;QACtB,IAAI,CAAC;YACH,MAAM,MAAM,CAAC,sBAAsB,CAAC,CAAC;YACrC,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,OAA2B;QAC/B,IAAI,CAAC,WAAW,EAAE,CAAC;QAEnB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,eAAe,CAAC,CAAC;QACpE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,aAAa,IAAI,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;QAClF,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,aAAa,IAAI,cAAc,CAAC,EAAE,cAAc,CAAC,CAAC;QAErG,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;YAC/B,KAAK;YACL,aAAa,EAAE,OAAO;YACtB,aAAa,EAAE,OAAO;YACtB,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;SAC9D,CAAC,CAAC;QAEH,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,KAAK;YAChC,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,CAAC;YAC5B,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,CAAC;YAC9B,eAAe,EAAE,MAAM,CAAC,eAAe,IAAI,CAAC;SAC7C,CAAC;IACJ,CAAC;IAED;;;;;;OAMG;IACH,UAAU,CAAC,OAAiC;QAC1C,IAAI,CAAC,WAAW,EAAE,CAAC;QAEnB,MAAM,IAAI,GAAG;YACX,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,IAAI,EAAE,CAAC,EAAE,eAAe,CAAC;YAC/E,gBAAgB,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,gBAAgB,IAAI,GAAG,CAAC,EAAE,eAAe,CAAC;YAC1F,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC;YAC/D,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,IAAI,GAAG,CAAC,EAAE,eAAe,CAAC;YAC9E,IAAI,EAAE,OAAO,EAAE,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;SAC/D,CAAC;QAEF,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAE9C,OAAO;YACL,OAAO,EAAE,QAAQ,CAAC,OAAO,IAAI,CAAC;YAC9B,KAAK,EAAE,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC;YACzC,KAAK,EAAE,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC;YACzC,KAAK,EAAE,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC;YACzC,SAAS,EAAE,QAAQ,CAAC,SAAS,IAAI,KAAK;YACtC,cAAc,EAAE,QAAQ,CAAC,cAAc,IAAI,CAAC;YAC5C,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB,IAAI,CAAC;SACnD,CAAC;IACJ,CAAC;IAED;;;OAGG;IACH,MAAM;QACJ,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC;IACtC,CAAC;IAED;;;OAGG;IACH,YAAY;QACV,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,IAAI,CAAC;IAC5C,CAAC;IAED,iDAAiD;IACjD,OAAO;QACL,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACpC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACtB,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;YACvB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACrB,CAAC;IACH,CAAC;IAED,6CAA6C;IAC7C,IAAI,WAAW;QACb,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,0BAA0B;IAElB,WAAW;QACjB,IAAI,IAAI,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACpC,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,8DAA8D;IACtD,aAAa,CAAC,GAAQ;QAC5B,OAAO;YACL,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,KAAK;YAC5B,aAAa,EAAE,GAAG,EAAE,aAAa,IAAI,GAAG,EAAE,cAAc,IAAI,CAAC;YAC7D,+BAA+B;YAC/B,kBAAkB,EAAE,GAAG,EAAE,kBAAkB,IAAI,GAAG,EAAE,mBAAmB,IAAI,KAAK;YAChF,YAAY,EAAE,GAAG,EAAE,YAAY,IAAI,GAAG,EAAE,aAAa,IAAI,KAAK;YAC9D,kBAAkB,EAAE,GAAG,EAAE,kBAAkB,IAAI,GAAG,EAAE,mBAAmB,IAAI,KAAK;YAChF,cAAc,EAAE,GAAG,EAAE,cAAc,IAAI,GAAG,EAAE,eAAe,IAAI,KAAK;YACpE,kBAAkB,EAAE,GAAG,EAAE,kBAAkB,IAAI,GAAG,EAAE,mBAAmB,IAAI,CAAC;YAC5E,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC;SACtD,CAAC;IACJ,CAAC;IAED,8DAA8D;IACtD,eAAe,CAAC,CAAM;QAC5B,OAAO;YACL,KAAK,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC;YACpB,QAAQ,EAAE,CAAC,EAAE,QAAQ,IAAI,CAAC;YAC1B,YAAY,EAAE,CAAC,EAAE,YAAY,IAAI,CAAC,EAAE,cAAc,IAAI,CAAC;YACvD,gBAAgB;YAChB,aAAa,EAAE,CAAC,EAAE,aAAa,IAAI,CAAC,EAAE,cAAc,IAAI,CAAC;YACzD,UAAU,EAAE,CAAC,EAAE,UAAU,IAAI,CAAC;YAC9B,eAAe,EAAE,CAAC,EAAE,eAAe,IAAI,CAAC,EAAE,gBAAgB,IAAI,CAAC;SAChE,CAAC;IACJ,CAAC;CACF"}

package/dist/src/backends/rvf/SelfLearningRvfBackend.d.ts

@@ -1,143 +0,0 @@
-/**
- * SelfLearningRvfBackend - Unified Self-Learning RVF Integration (ADR-006)
- *
- * Wraps RvfBackend with: SemanticQueryRouter + SonaLearningBackend on search,
- * TemporalCompressor + IndexHealthMonitor on insert, ContrastiveTrainer for
- * feedback, FederatedSessionManager for sessions, RvfSolver for adaptive policy.
- */
-import type { VectorBackendAsync, SearchResult, SearchOptions, VectorStats } from '../VectorBackend.js';
-import { RvfBackend } from './RvfBackend.js';
-import type { RvfConfig } from './RvfBackend.js';
-import type { SolverPolicyState, SolverAcceptanceManifest, SolverAcceptanceOptions } from './RvfSolver.js';
-import type { NativeAccelerator, AcceleratorStats, WitnessVerifyResult } from './NativeAccelerator.js';
-export interface SelfLearningConfig extends RvfConfig {
-    learning?: boolean;
-    tickIntervalMs?: number;
-    learningDimension?: number;
-    positiveThreshold?: number;
-    negativeThreshold?: number;
-    trainingBatchSize?: number;
-    maxAdapters?: number;
-    federated?: boolean;
-    solverTrainCount?: number;
-    solverMinDifficulty?: number;
-    solverMaxDifficulty?: number;
-    acceptanceIntervalTicks?: number;
-    acceptanceHoldoutSize?: number;
-    /** Path for router state persistence (ADR-007 Phase 1) */
-    routerPersistencePath?: string;
-}
-export interface LearningStats {
-    searchesEnhanced: number;
-    trajectoriesRecorded: number;
-    contrastiveSamples: number;
-    contrastiveBatches: number;
-    tickCount: number;
-    solverTrainCount: number;
-    useAdaptiveEf: boolean;
-    activeSessionCount: number;
-    compressionEntries: number;
-    /** Accuracy under noise from last acceptance (v0.1.6) */
-    noiseAccuracy: number;
-    /** Total constraint violations from last acceptance (v0.1.6) */
-    violations: number;
-    /** Patterns distilled in last acceptance cycle (v0.1.6) */
-    patternsDistilled: number;
-    /** Improvement dimensions from last acceptance 0-4 (v0.1.6) */
-    dimensionsImproved: number;
-}
-export declare class SelfLearningRvfBackend implements VectorBackendAsync {
-    readonly name: "rvf";
-    private backend;
-    private sona;
-    private router;
-    private compressor;
-    private healthMonitor;
-    private trainer;
-    private federated;
-    private solver;
-    private accelerator;
-    private config;
-    private dim;
-    private learningEnabled;
-    private useAdaptiveEf;
-    private activeTrajectories;
-    private trajectoryCounter;
-    private sampleBuffer;
-    private recentSearches;
-    private accessFrequency;
-    private totalSearches;
-    private activeSessions;
-    private tickMutex;
-    private _tickCount;
-    private _searchesEnhanced;
-    private _trajectoriesRecorded;
-    private _contrastiveSamples;
-    private _contrastiveBatches;
-    private _solverTrainCount;
-    private _destroyed;
-    private _simBuf;
-    private _lastManifest;
-    private _learningRate;
-    private constructor();
-    static create(config: SelfLearningConfig): Promise<SelfLearningRvfBackend>;
-    /** ADR-010 Phase 7: Append a mutation event to the solver witness chain via training */
-    recordMutationWitness(operation: string): void;
-    insertAsync(id: string, embedding: Float32Array, metadata?: Record<string, unknown>): Promise<void>;
-    insertBatchAsync(items: Array<{
-        id: string;
-        embedding: Float32Array;
-        metadata?: Record<string, unknown>;
-    }>): Promise<void>;
-    searchAsync(query: Float32Array, k: number, options?: SearchOptions): Promise<SearchResult[]>;
-    removeAsync(id: string): Promise<boolean>;
-    getStatsAsync(): Promise<VectorStats>;
-    flush(): Promise<void>;
-    insert(id: string, embedding: Float32Array, metadata?: Record<string, unknown>): void;
-    insertBatch(items: Array<{
-        id: string;
-        embedding: Float32Array;
-        metadata?: Record<string, unknown>;
-    }>): void;
-    search(query: Float32Array, k: number, options?: SearchOptions): SearchResult[];
-    remove(id: string): boolean;
-    getStats(): VectorStats;
-    save(path: string): Promise<void>;
-    load(path: string): Promise<void>;
-    close(): void;
-    beginSession(agentId: string): Promise<string>;
-    endSession(agentId: string, quality: number): Promise<void>;
-    recordFeedback(queryId: string, quality: number): void;
-    tick(): Promise<void>;
-    forceLearn(): Promise<void>;
-    getSolverPolicy(): SolverPolicyState | null;
-    runAcceptance(options?: SolverAcceptanceOptions): SolverAcceptanceManifest | null;
-    getWitnessChain(): Uint8Array | null;
-    /**
-     * Verify the witness chain using native WASM verification (ADR-007 Phase 1).
-     * Falls back to structural check if @ruvector/rvf-wasm is unavailable.
-     */
-    verifyWitnessChain(): WitnessVerifyResult | null;
-    /** Get the native accelerator (ADR-007) */
-    getAccelerator(): NativeAccelerator | null;
-    /** Get accelerator stats (ADR-007) */
-    getAcceleratorStats(): AcceleratorStats | null;
-    getLearningStats(): LearningStats;
-    getBackend(): RvfBackend;
-    get isLearningEnabled(): boolean;
-    get isAdaptiveEf(): boolean;
-    get isDestroyed(): boolean;
-    /**
-     * Persist router state on demand (ADR-007 Phase 1).
-     */
-    persistRouter(): Promise<boolean>;
-    destroy(): void;
-    private initComponents;
-    private selectEf;
-    private nearestEf;
-    private createSamples;
-    private expireTrajectories;
-    private runAcceptanceCheck;
-    private ensureAlive;
-}
-//# sourceMappingURL=SelfLearningRvfBackend.d.ts.map

package/dist/src/backends/rvf/SelfLearningRvfBackend.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"SelfLearningRvfBackend.d.ts","sourceRoot":"","sources":["../../../../src/backends/rvf/SelfLearningRvfBackend.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,kBAAkB,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACxG,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAOjD,OAAO,KAAK,EAAiB,iBAAiB,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAC1H,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAEvG,MAAM,WAAW,kBAAmB,SAAQ,SAAS;IACnD,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,0DAA0D;IAC1D,qBAAqB,CAAC,EAAE,MAAM,CAAC;CAChC;AAUD,MAAM,WAAW,aAAa;IAC5B,gBAAgB,EAAE,MAAM,CAAC;IACzB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB,EAAE,MAAM,CAAC;IACzB,aAAa,EAAE,OAAO,CAAC;IACvB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,yDAAyD;IACzD,aAAa,EAAE,MAAM,CAAC;IACtB,gEAAgE;IAChE,UAAU,EAAE,MAAM,CAAC;IACnB,2DAA2D;IAC3D,iBAAiB,EAAE,MAAM,CAAC;IAC1B,+DAA+D;IAC/D,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AASD,qBAAa,sBAAuB,YAAW,kBAAkB;IAC/D,QAAQ,CAAC,IAAI,EAAG,KAAK,CAAU;IAC/B,OAAO,CAAC,OAAO,CAAa;IAC5B,OAAO,CAAC,IAAI,CAAoC;IAChD,OAAO,CAAC,MAAM,CAAoC;IAClD,OAAO,CAAC,UAAU,CAAmC;IACrD,OAAO,CAAC,aAAa,CAA4B;IACjD,OAAO,CAAC,OAAO,CAAmC;IAClD,OAAO,CAAC,SAAS,CAAwC;IACzD,OAAO,CAAC,MAAM,CAA8B;IAC5C,OAAO,CAAC,WAAW,CAAkC;IACrD,OAAO,CAAC,MAAM,CAAqB;IACnC,OAAO,CAAC,GAAG,CAAS;IACpB,OAAO,CAAC,eAAe,CAAU;IACjC,OAAO,CAAC,aAAa,CAAQ;IAC7B,OAAO,CAAC,kBAAkB,CAAuC;IACjE,OAAO,CAAC,iBAAiB,CAAK;IAC9B,OAAO,CAAC,YAAY,CAA2B;IAC/C,OAAO,CAAC,cAAc,CAAiF;IACvG,OAAO,CAAC,eAAe,CAA6B;IACpD,OAAO,CAAC,aAAa,CAAK;IAC1B,OAAO,CAAC,cAAc,CAAoC;IAC1D,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,UAAU,CAAK;IACvB,OAAO,CAAC,iBAAiB,CAAK;IAC9B,OAAO,CAAC,qBAAqB,CAAK;IAClC,OAAO,CAAC,mBAAmB,CAAK;IAChC,OAAO,CAAC,mBAAmB,CAAK;IAChC,OAAO,CAAC,iBAAiB,CAAK;IAC9B,OAAO,CAAC,UAAU,CAAS;IAC3B,OAAO,CAAC,OAAO,CAAuB;IACtC,OAAO,CAAC,aAAa,CAAyC;IAC9D,OAAO,CAAC,aAAa,CAAO;IAE5B,OAAO;WAOM,MAAM,CAAC,MAAM,EAAE,kBAAkB,GAAG,OAAO,CAAC,sBAAsB,CAAC;IAUhF,wFAAwF;IACxF,qBAAqB,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI;IAUxC,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IAYnG,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,YAAY,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IAa1H,WAAW,CAAC,KAAK,EAAE,YAAY,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC;IAoD7F,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAWzC,aAAa,IAAI,OAAO,CAAC,WAAW,CAAC;IACrC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAI5B,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI;IAIrF,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,YAAY,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC,GAAG,IAAI;IAC5G,MAAM,CAAC,KAAK,EAAE,YAAY,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,YAAY,EAAE;IAC/E,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAC3B,QAAQ,IAAI,WAAW;IACjB,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IACjC,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IACvC,KAAK,IAAI,IAAI;IAIP,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAO9C,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAWjE,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI;IAgBhD,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IA+BrB,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;IASjC,eAAe,IAAI,iBAAiB,GAAG,IAAI;IAC3C,aAAa,CAAC,OAAO,CAAC,EAAE,uBAAuB,GAAG,wBAAwB,GAAG,IAAI;IACjF,eAAe,IAAI,UAAU,GAAG,IAAI;IAEpC;;;OAGG;IACH,kBAAkB,IAAI,mBAAmB,GAAG,IAAI;IAOhD,2CAA2C;IAC3C,cAAc,IAAI,iBAAiB,GAAG,IAAI;IAE1C,sCAAsC;IACtC,mBAAmB,IAAI,gBAAgB,GAAG,IAAI;IAI9C,gBAAgB,IAAI,aAAa;IAgBjC,UAAU,IAAI,UAAU;IACxB,IAAI,iBAAiB,IAAI,OAAO,CAAiC;IACjE,IAAI,YAAY,IAAI,OAAO,CAA+B;IAC1D,IAAI,WAAW,IAAI,OAAO,CAA4B;IAEtD;;OAEG;IACG,aAAa,IAAI,OAAO,CAAC,OAAO,CAAC;IAOvC,OAAO,IAAI,IAAI;YAqBD,cAAc;IAW5B,OAAO,CAAC,QAAQ;IAwBhB,OAAO,CAAC,SAAS;IAMjB,OAAO,CAAC,aAAa;IAiBrB,OAAO,CAAC,kBAAkB;IAU1B,OAAO,CAAC,kBAAkB;IA2B1B,OAAO,CAAC,WAAW;CACpB"}