agentic-qe 3.2.3 → 3.3.1

package/v3/dist/integrations/coherence/coherence-service.d.ts

@@ -0,0 +1,323 @@
+/**
+ * Agentic QE v3 - Coherence Service
+ *
+ * Main facade that wraps all 6 Prime Radiant engines for coherence verification.
+ * Provides mathematical coherence gates for multi-agent coordination.
+ *
+ * **Architecture Overview:**
+ * ```
+ * ┌─────────────────────────────────────────────────────────────────────┐
+ * │                    AQE v3 COHERENCE ARCHITECTURE                    │
+ * ├─────────────────────────────────────────────────────────────────────┤
+ * │                                                                     │
+ * │  ┌────────────────┐     ┌─────────────────────┐     ┌────────────┐ │
+ * │  │ QE Agent       │────▶│ COHERENCE GATE      │────▶│ Execution  │ │
+ * │  │ Decision       │     │ (Prime Radiant)     │     │ Layer      │ │
+ * │  └────────────────┘     └─────────────────────┘     └────────────┘ │
+ * │                                │                                    │
+ * │                    ┌───────────┼───────────┐                       │
+ * │                    ▼           ▼           ▼                       │
+ * │              ┌──────────┐ ┌──────────┐ ┌──────────┐                │
+ * │              │ REFLEX   │ │ RETRIEVAL│ │ ESCALATE │                │
+ * │              │ E < 0.1  │ │ E: 0.1-0.4│ │ E > 0.4  │                │
+ * │              │ <1ms     │ │ ~10ms    │ │ Queen    │                │
+ * │              └──────────┘ └──────────┘ └──────────┘                │
+ * │                                                                     │
+ * └─────────────────────────────────────────────────────────────────────┘
+ * ```
+ *
+ * @module integrations/coherence/coherence-service
+ */
+import type { CoherenceNode, CoherenceResult, CoherenceServiceConfig, CoherenceStats, Belief, Contradiction, SwarmState, AgentHealth, CollapseRisk, CausalData, CausalVerification, TypedPipeline, TypeVerification, Decision, WitnessRecord, ReplayResult, AgentVote, ConsensusResult, HasEmbedding, IWasmLoader, CoherenceLogger } from './types';
+/**
+ * Interface for the main Coherence Service
+ */
+export interface ICoherenceService {
+    /**
+     * Initialize the service (loads WASM modules)
+     */
+    initialize(): Promise<void>;
+    /**
+     * Check if the service is initialized
+     */
+    isInitialized(): boolean;
+    /**
+     * Core coherence checking for a set of nodes
+     *
+     * @param nodes - Nodes to check for coherence
+     * @returns Coherence result with energy, lane, and contradictions
+     */
+    checkCoherence(nodes: CoherenceNode[]): Promise<CoherenceResult>;
+    /**
+     * Detect contradictions in a set of beliefs
+     *
+     * @param beliefs - Beliefs to check for contradictions
+     * @returns Array of detected contradictions
+     */
+    detectContradictions(beliefs: Belief[]): Promise<Contradiction[]>;
+    /**
+     * Predict collapse risk for a swarm
+     *
+     * @param state - Current swarm state
+     * @returns Collapse risk assessment
+     */
+    predictCollapse(state: SwarmState): Promise<CollapseRisk>;
+    /**
+     * Verify a causal relationship
+     *
+     * @param cause - Name of the cause variable
+     * @param effect - Name of the effect variable
+     * @param data - Observation data
+     * @returns Causal verification result
+     */
+    verifyCausality(cause: string, effect: string, data: CausalData): Promise<CausalVerification>;
+    /**
+     * Verify type consistency in a pipeline
+     *
+     * @param pipeline - Typed pipeline to verify
+     * @returns Type verification result
+     */
+    verifyTypes(pipeline: TypedPipeline): Promise<TypeVerification>;
+    /**
+     * Create a witness record for a decision
+     *
+     * @param decision - Decision to witness
+     * @returns Witness record
+     */
+    createWitness(decision: Decision): Promise<WitnessRecord>;
+    /**
+     * Replay a decision from a witness
+     *
+     * @param witnessId - ID of the witness to replay from
+     * @returns Replay result
+     */
+    replayFromWitness(witnessId: string): Promise<ReplayResult>;
+    /**
+     * Check coherence of swarm agents
+     *
+     * @param agentHealth - Map of agent ID to health state
+     * @returns Coherence result for the swarm
+     */
+    checkSwarmCoherence(agentHealth: Map<string, AgentHealth>): Promise<CoherenceResult>;
+    /**
+     * Verify multi-agent consensus mathematically
+     *
+     * @param votes - Array of agent votes
+     * @returns Consensus verification result
+     */
+    verifyConsensus(votes: AgentVote[]): Promise<ConsensusResult>;
+    /**
+     * Filter items to only return coherent ones
+     *
+     * @param items - Items with embeddings to filter
+     * @param context - Context for coherence checking
+     * @returns Filtered items that are coherent with context
+     */
+    filterCoherent<T extends HasEmbedding>(items: T[], context: unknown): Promise<T[]>;
+    /**
+     * Get service statistics
+     */
+    getStats(): CoherenceStats;
+    /**
+     * Dispose of service resources
+     */
+    dispose(): Promise<void>;
+}
+/**
+ * Main Coherence Service implementation
+ *
+ * Provides a unified interface to all 6 Prime Radiant engines:
+ * 1. CohomologyEngine - Sheaf cohomology for contradiction detection
+ * 2. SpectralEngine - Spectral analysis for collapse prediction
+ * 3. CausalEngine - Causal inference for spurious correlation detection
+ * 4. CategoryEngine - Category theory for type verification
+ * 5. HomotopyEngine - HoTT for formal verification
+ * 6. WitnessEngine - Blake3 witness chains for audit trails
+ *
+ * @example
+ * ```typescript
+ * const service = new CoherenceService(wasmLoader);
+ * await service.initialize();
+ *
+ * // Check coherence
+ * const result = await service.checkCoherence(nodes);
+ * if (!result.isCoherent) {
+ *   console.log('Contradictions found:', result.contradictions);
+ * }
+ *
+ * // Route based on lane
+ * switch (result.lane) {
+ *   case 'reflex': return executeImmediately();
+ *   case 'retrieval': return fetchContextAndRetry();
+ *   case 'heavy': return deepAnalysis();
+ *   case 'human': return escalateToQueen();
+ * }
+ * ```
+ */
+export declare class CoherenceService implements ICoherenceService {
+    private readonly wasmLoader;
+    private readonly config;
+    private readonly logger;
+    private cohomologyAdapter;
+    private spectralAdapter;
+    private causalAdapter;
+    private categoryAdapter;
+    private homotopyAdapter;
+    private witnessAdapter;
+    private initialized;
+    private stats;
+    private totalEnergySum;
+    private totalDurationSum;
+    /**
+     * Create a new CoherenceService
+     *
+     * @param wasmLoader - WASM module loader (dependency injection)
+     * @param config - Optional service configuration
+     * @param logger - Optional logger for diagnostics
+     */
+    constructor(wasmLoader: IWasmLoader, config?: Partial<CoherenceServiceConfig>, logger?: CoherenceLogger);
+    /**
+     * Initialize the service by loading all WASM modules
+     */
+    initialize(): Promise<void>;
+    /**
+     * Check if the service is initialized
+     */
+    isInitialized(): boolean;
+    /**
+     * Ensure the service is initialized
+     */
+    private ensureInitialized;
+    /**
+     * Check coherence of a set of nodes
+     */
+    checkCoherence(nodes: CoherenceNode[]): Promise<CoherenceResult>;
+    /**
+     * Check coherence using WASM adapter
+     */
+    private checkCoherenceWithWasm;
+    /**
+     * Check coherence using TypeScript fallback
+     */
+    private checkCoherenceWithFallback;
+    /**
+     * Build edges between nodes based on similarity
+     */
+    private buildEdgesFromNodes;
+    /**
+     * Detect contradictions in beliefs
+     */
+    detectContradictions(beliefs: Belief[]): Promise<Contradiction[]>;
+    /**
+     * Predict collapse risk for a swarm
+     */
+    predictCollapse(state: SwarmState): Promise<CollapseRisk>;
+    /**
+     * Fallback collapse prediction using simple heuristics
+     */
+    private predictCollapseWithFallback;
+    /**
+     * Verify a causal relationship
+     */
+    verifyCausality(cause: string, effect: string, data: CausalData): Promise<CausalVerification>;
+    /**
+     * Fallback causality verification using correlation
+     */
+    private verifyCausalityWithFallback;
+    /**
+     * Verify type consistency in a pipeline
+     */
+    verifyTypes(pipeline: TypedPipeline): Promise<TypeVerification>;
+    /**
+     * Fallback type verification using simple matching
+     */
+    private verifyTypesWithFallback;
+    /**
+     * Create a witness for a decision
+     */
+    createWitness(decision: Decision): Promise<WitnessRecord>;
+    /**
+     * Replay a decision from a witness
+     */
+    replayFromWitness(witnessId: string): Promise<ReplayResult>;
+    /**
+     * Check coherence of swarm agents
+     */
+    checkSwarmCoherence(agentHealth: Map<string, AgentHealth>): Promise<CoherenceResult>;
+    /**
+     * Verify multi-agent consensus
+     */
+    verifyConsensus(votes: AgentVote[]): Promise<ConsensusResult>;
+    /**
+     * Fallback consensus verification
+     */
+    private verifyConsensusWithFallback;
+    /**
+     * Filter items to only return coherent ones
+     */
+    filterCoherent<T extends HasEmbedding>(items: T[], context: unknown): Promise<T[]>;
+    /**
+     * Get service statistics
+     */
+    getStats(): CoherenceStats;
+    /**
+     * Dispose of service resources
+     */
+    dispose(): Promise<void>;
+    /**
+     * Compute the appropriate compute lane based on energy
+     */
+    private computeLane;
+    /**
+     * Update statistics after a coherence check
+     */
+    private updateStats;
+    /**
+     * Generate recommendations based on coherence result
+     */
+    private generateRecommendations;
+    /**
+     * Convert agent health to a numerical embedding
+     */
+    private agentHealthToEmbedding;
+    /**
+     * Convert agent type to a number for embedding
+     */
+    private agentTypeToNumber;
+    /**
+     * Compute Euclidean distance between two vectors
+     */
+    private euclideanDistance;
+    /**
+     * Compute cosine similarity between two vectors
+     */
+    private cosineSimilarity;
+    /**
+     * Compute Pearson correlation coefficient
+     */
+    private computeCorrelation;
+    /**
+     * Simple hash function for fallback
+     */
+    private simpleHash;
+}
+/**
+ * Create and initialize a CoherenceService
+ *
+ * @param wasmLoader - WASM module loader
+ * @param config - Optional service configuration
+ * @param logger - Optional logger
+ * @returns Initialized service
+ *
+ * @example
+ * ```typescript
+ * const service = await createCoherenceService(wasmLoader);
+ *
+ * const result = await service.checkCoherence(nodes);
+ * if (!result.isCoherent) {
+ *   console.log('Contradictions:', result.contradictions);
+ * }
+ * ```
+ */
+export declare function createCoherenceService(wasmLoader: IWasmLoader, config?: Partial<CoherenceServiceConfig>, logger?: CoherenceLogger): Promise<CoherenceService>;
+//# sourceMappingURL=coherence-service.d.ts.map

package/v3/dist/integrations/coherence/coherence-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coherence-service.d.ts","sourceRoot":"","sources":["../../../src/integrations/coherence/coherence-service.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,KAAK,EACV,aAAa,EACb,eAAe,EACf,sBAAsB,EACtB,cAAc,EAGd,MAAM,EACN,aAAa,EACb,UAAU,EACV,WAAW,EACX,YAAY,EACZ,UAAU,EACV,kBAAkB,EAClB,aAAa,EACb,gBAAgB,EAChB,QAAQ,EACR,aAAa,EACb,YAAY,EACZ,SAAS,EACT,eAAe,EACf,YAAY,EACZ,WAAW,EACX,eAAe,EAChB,MAAM,SAAS,CAAC;AAyBjB;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC;;OAEG;IACH,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAE5B;;OAEG;IACH,aAAa,IAAI,OAAO,CAAC;IAEzB;;;;;OAKG;IACH,cAAc,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAEjE;;;;;OAKG;IACH,oBAAoB,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;IAElE;;;;;OAKG;IACH,eAAe,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAE1D;;;;;;;OAOG;IACH,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAE9F;;;;;OAKG;IACH,WAAW,CAAC,QAAQ,EAAE,aAAa,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAEhE;;;;;OAKG;IACH,aAAa,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAE1D;;;;;OAKG;IACH,iBAAiB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAE5D;;;;;OAKG;IACH,mBAAmB,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAErF;;;;;OAKG;IACH,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAE9D;;;;;;OAMG;IACH,cAAc,CAAC,CAAC,SAAS,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;IAEnF;;OAEG;IACH,QAAQ,IAAI,cAAc,CAAC;IAE3B;;OAEG;IACH,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1B;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,qBAAa,gBAAiB,YAAW,iBAAiB;IAsCtD,OAAO,CAAC,QAAQ,CAAC,UAAU;IArC7B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAyB;IAChD,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAkB;IAGzC,OAAO,CAAC,iBAAiB,CAAkC;IAC3D,OAAO,CAAC,eAAe,CAAgC;IACvD,OAAO,CAAC,aAAa,CAA8B;IACnD,OAAO,CAAC,eAAe,CAAgC;IACvD,OAAO,CAAC,eAAe,CAAgC;IACvD,OAAO,CAAC,cAAc,CAA+B;IAErD,OAAO,CAAC,WAAW,CAAS;IAG5B,OAAO,CAAC,KAAK,CAUX;IAEF,OAAO,CAAC,cAAc,CAAK;IAC3B,OAAO,CAAC,gBAAgB,CAAK;IAE7B;;;;;;OAMG;gBAEgB,UAAU,EAAE,WAAW,EACxC,MAAM,GAAE,OAAO,CAAC,sBAAsB,CAAM,EAC5C,MAAM,CAAC,EAAE,eAAe;IAM1B;;OAEG;IACG,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;IAyDjC;;OAEG;IACH,aAAa,IAAI,OAAO;IAIxB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IASzB;;OAEG;IACG,cAAc,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC;IAkCtE;;OAEG;YACW,sBAAsB;IAsCpC;;OAEG;IACH,OAAO,CAAC,0BAA0B;IAiDlC;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAoB3B;;OAEG;IACG,oBAAoB,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC;IAkBvE;;OAEG;IACG,eAAe,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC,YAAY,CAAC;IAiC/D;;OAEG;IACH,OAAO,CAAC,2BAA2B;IAkCnC;;OAEG;IACG,eAAe,CACnB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,UAAU,GACf,OAAO,CAAC,kBAAkB,CAAC;IAW9B;;OAEG;IACH,OAAO,CAAC,2BAA2B;IA0BnC;;OAEG;IACG,WAAW,CAAC,QAAQ,EAAE,aAAa,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAWrE;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAqC/B;;OAEG;IACG,aAAa,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC;IAiB/D;;OAEG;IACG,iBAAiB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC;IAuBjE;;OAEG;IACG,mBAAmB,CACvB,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,GACpC,OAAO,CAAC,eAAe,CAAC;IAyB3B;;OAEG;IACG,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC;IAkFnE;;OAEG;IACH,OAAO,CAAC,2BAA2B;IAoCnC;;OAEG;IACG,cAAc,CAAC,CAAC,SAAS,YAAY,EACzC,KAAK,EAAE,CAAC,EAAE,EACV,OAAO,EAAE,OAAO,GACf,OAAO,CAAC,CAAC,EAAE,CAAC;IA6Bf;;OAEG;IACH,QAAQ,IAAI,cAAc;IAa1B;;OAEG;IACG,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;IAwB9B;;OAEG;IACH,OAAO,CAAC,WAAW;IASnB;;OAEG;IACH,OAAO,CAAC,WAAW;IAyBnB;;OAEG;IACH,OAAO,CAAC,uBAAuB;IA6B/B;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAkB9B;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAOzB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAUzB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAiBxB;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAuB1B;;OAEG;IACH,OAAO,CAAC,UAAU;CASnB;AAMD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAsB,sBAAsB,CAC1C,UAAU,EAAE,WAAW,EACvB,MAAM,CAAC,EAAE,OAAO,CAAC,sBAAsB,CAAC,EACxC,MAAM,CAAC,EAAE,eAAe,GACvB,OAAO,CAAC,gBAAgB,CAAC,CAI3B"}