diff --git a/npm/packages/rvf/dist/index.d.ts b/npm/packages/rvf/dist/index.d.ts
index 75ce754c..7737c66b 100644
--- a/npm/packages/rvf/dist/index.d.ts
+++ b/npm/packages/rvf/dist/index.d.ts
@@ -16,8 +16,10 @@
  * await db.close();
  * ```
  */
-export type { DistanceMetric, CompressionProfile, HardwareProfile, RvfOptions, RvfFilterValue, RvfFilterExpr, RvfQueryOptions, RvfSearchResult, RvfIngestResult, RvfIngestEntry, RvfDeleteResult, RvfCompactionResult, CompactionState, RvfStatus, DerivationType, RvfKernelData, RvfEbpfData, RvfSegmentInfo, BackendType, } from './types';
+export type { DistanceMetric, CompressionProfile, HardwareProfile, RvfOptions, RvfFilterValue, RvfFilterExpr, RvfQueryOptions, RvfSearchResult, RvfIngestResult, RvfIngestEntry, RvfDeleteResult, RvfCompactionResult, CompactionState, RvfStatus, DerivationType, RvfKernelData, RvfEbpfData, RvfSegmentInfo, BackendType, RvfIndexStats, RvfWitnessResult, } from './types';
 export { RvfError, RvfErrorCode } from './errors';
 export type { RvfBackend } from './backend';
 export { NodeBackend, WasmBackend, resolveBackend } from './backend';
 export { RvfDatabase } from './database';
+export { RvfSolver } from '@ruvector/rvf-solver';
+export type { TrainOptions, TrainResult, AcceptanceOptions, AcceptanceManifest, AcceptanceModeResult, CycleMetrics, PolicyState, SkipMode, SkipModeStats, CompiledConfig, } from '@ruvector/rvf-solver';
diff --git a/npm/packages/rvf/dist/index.js b/npm/packages/rvf/dist/index.js
index fd6980e0..22f9704e 100644
--- a/npm/packages/rvf/dist/index.js
+++ b/npm/packages/rvf/dist/index.js
@@ -18,7 +18,7 @@
  * ```
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.RvfDatabase = exports.resolveBackend = exports.WasmBackend = exports.NodeBackend = exports.RvfErrorCode = exports.RvfError = void 0;
+exports.RvfSolver = exports.RvfDatabase = exports.resolveBackend = exports.WasmBackend = exports.NodeBackend = exports.RvfErrorCode = exports.RvfError = void 0;
 // Re-export error types
 var errors_1 = require("./errors");
 Object.defineProperty(exports, "RvfError", { enumerable: true, get: function () { return errors_1.RvfError; } });
@@ -30,4 +30,7 @@ Object.defineProperty(exports, "resolveBackend", { enumerable: true, get: functi
 // Re-export the main database class
 var database_1 = require("./database");
 Object.defineProperty(exports, "RvfDatabase", { enumerable: true, get: function () { return database_1.RvfDatabase; } });
+// Re-export solver (AGI components)
+var rvf_solver_1 = require("@ruvector/rvf-solver");
+Object.defineProperty(exports, "RvfSolver", { enumerable: true, get: function () { return rvf_solver_1.RvfSolver; } });
 //# sourceMappingURL=index.js.map
\ No newline at end of file
diff --git a/npm/packages/rvf/dist/index.js.map b/npm/packages/rvf/dist/index.js.map
index 54e91fb2..ca74325c 100644
--- a/npm/packages/rvf/dist/index.js.map
+++ b/npm/packages/rvf/dist/index.js.map
@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;GAiBG;;;AAyBH,wBAAwB;AACxB,mCAAkD;AAAzC,kGAAA,QAAQ,OAAA;AAAE,sGAAA,YAAY,OAAA;AAI/B,qCAAqE;AAA5D,sGAAA,WAAW,OAAA;AAAE,sGAAA,WAAW,OAAA;AAAE,yGAAA,cAAc,OAAA;AAEjD,oCAAoC;AACpC,uCAAyC;AAAhC,uGAAA,WAAW,OAAA"}
\ No newline at end of file
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;GAiBG;;;AA2BH,wBAAwB;AACxB,mCAAkD;AAAzC,kGAAA,QAAQ,OAAA;AAAE,sGAAA,YAAY,OAAA;AAI/B,qCAAqE;AAA5D,sGAAA,WAAW,OAAA;AAAE,sGAAA,WAAW,OAAA;AAAE,yGAAA,cAAc,OAAA;AAEjD,oCAAoC;AACpC,uCAAyC;AAAhC,uGAAA,WAAW,OAAA;AAEpB,oCAAoC;AACpC,mDAAiD;AAAxC,uGAAA,SAAS,OAAA"}
\ No newline at end of file
diff --git a/npm/packages/rvf/dist/types.d.ts b/npm/packages/rvf/dist/types.d.ts
index 2efc6dcb..2498a992 100644
--- a/npm/packages/rvf/dist/types.d.ts
+++ b/npm/packages/rvf/dist/types.d.ts
@@ -188,3 +188,25 @@ export interface RvfSegmentInfo {
 }
 /** Identifies which backend implementation to use. */
 export type BackendType = 'node' | 'wasm' | 'auto';
+/** HNSW index statistics. */
+export interface RvfIndexStats {
+    /** Number of indexed vectors. */
+    indexedVectors: number;
+    /** Number of HNSW layers. */
+    layers: number;
+    /** M parameter (max edges per node per layer). */
+    m: number;
+    /** ef_construction parameter. */
+    efConstruction: number;
+    /** Whether the index needs rebuilding. */
+    needsRebuild: boolean;
+}
+/** Result of witness chain verification. */
+export interface RvfWitnessResult {
+    /** Whether the chain is valid. */
+    valid: boolean;
+    /** Number of entries in the chain. */
+    entries: number;
+    /** Error message if invalid. */
+    error?: string;
+}
diff --git a/npm/packages/rvf/src/externals.d.ts b/npm/packages/rvf/src/externals.d.ts
index 2db7b0d6..bd39f045 100644
--- a/npm/packages/rvf/src/externals.d.ts
+++ b/npm/packages/rvf/src/externals.d.ts
@@ -16,3 +16,18 @@ declare module '@ruvector/rvf-wasm' {
   const init: (...args: any[]) => Promise<any>;
   export default init;
 }
+
+declare module '@ruvector/rvf-solver' {
+  // eslint-disable-next-line @typescript-eslint/no-explicit-any
+  export const RvfSolver: any;
+  export type TrainOptions = any;
+  export type TrainResult = any;
+  export type AcceptanceOptions = any;
+  export type AcceptanceManifest = any;
+  export type AcceptanceModeResult = any;
+  export type CycleMetrics = any;
+  export type PolicyState = any;
+  export type SkipMode = any;
+  export type SkipModeStats = any;
+  export type CompiledConfig = any;
+}