agentdb 3.0.0-alpha.10 → 3.0.0-alpha.12

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

@@ -0,0 +1,175 @@
+/**
+ * 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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,176 @@
+/**
+ * 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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,143 @@
+/**
+ * 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

@@ -0,0 +1 @@
+{"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"}