* docs(coherence-engine): add ADR-014 and DDD for sheaf Laplacian coherence engine Add comprehensive architecture documentation for ruvector-coherence crate: - ADR-014: Sheaf Laplacian-based coherence witnessing architecture - Universal coherence object with domain-agnostic interpretation - 5-layer architecture (Application → Gate → Computation → Governance → Storage) - 4-tier compute ladder (Reflex → Retrieval → Heavy → Human) - Full ruvector ecosystem integration (10+ crates) - 15 internal architectural decisions - DDD: Domain-Driven Design with 10 bounded contexts - Tile Fabric (cognitum-gate-kernel) - Adaptive Learning (sona) - Neural Gating (ruvector-nervous-system) - Learned Restriction Maps (ruvector-gnn) - Hyperbolic Coherence (ruvector-hyperbolic-hnsw) - Incoherence Isolation (ruvector-mincut) - Attention-Weighted Coherence (ruvector-attention) - Distributed Consensus (ruvector-raft) Key concept: "This is not prediction. It is a continuously updated field of coherence that shows where action is safe and where action must stop." Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> * feat(prime-radiant): implement sheaf Laplacian coherence engine Implement the complete Prime-Radiant crate based on ADR-014: Core Modules: - substrate/: SheafGraph, SheafNode, SheafEdge, RestrictionMap (SIMD-optimized) - coherence/: CoherenceEngine, energy computation, spectral drift detection - governance/: PolicyBundle, WitnessRecord, LineageRecord (Blake3 hashing) - execution/: CoherenceGate, ComputeLane, ActionExecutor Ecosystem Integrations (feature-gated): - tiles/: cognitum-gate-kernel 256-tile WASM fabric adapter - sona_tuning/: Adaptive threshold learning with EWC++ - neural_gate/: Biologically-inspired gating with HDC encoding - learned_rho/: GNN-based learned restriction maps - attention/: Topology-gated attention, MoE routing, PDE diffusion - distributed/: Raft-based multi-node coherence Testing: - 138 tests (integration, property-based, chaos) - 8 benchmarks covering ADR-014 performance targets Stats: 91 files, ~30K lines of Rust code "This is not prediction. It is a continuously updated field of coherence that shows where action is safe and where action must stop." Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> * docs(adr): add RuvLLM integration to ADR-014 v0.4 - Add coherence-gated LLM inference architecture diagram - Add 5 integration modules with code examples: - SheafCoherenceValidator (replaces heuristic scoring) - UnifiedWitnessLog (merged audit trail) - PatternToRestrictionBridge (ReasoningBank → learned ρ) - MemoryCoherenceLayer (context as sheaf nodes) - CoherenceConfidence (energy → confidence mapping) - Add 7 integration ADRs (ADR-CE-016 through ADR-CE-022) - Add ruvllm to crate integration matrix and dependencies - Add 4 LLM-specific benefits to consequences - Add ruvllm feature flag Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> * docs(adr): add 22 coherence engine internal ADRs Create detailed ADR files for all internal coherence engine decisions: Core Architecture (ADR-CE-001 to ADR-CE-008): - 001: Sheaf Laplacian defines coherence witness - 002: Incremental computation with stored residuals - 003: PostgreSQL + ruvector hybrid storage - 004: Signed event log with deterministic replay - 005: First-class governance objects - 006: Coherence gate controls compute ladder - 007: Thresholds auto-tuned from traces - 008: Multi-tenant isolation boundaries Universal Coherence (ADR-CE-009 to ADR-CE-015): - 009: Single coherence object (one math, many interpretations) - 010: Domain-agnostic nodes and edges - 011: Residual = contradiction energy - 012: Gate = refusal mechanism with witness - 013: Not prediction (coherence field, not forecasting) - 014: Reflex lane default (most ops stay fast) - 015: Adapt without losing control RuvLLM Integration (ADR-CE-016 to ADR-CE-022): - 016: CoherenceValidator uses sheaf energy - 017: Unified audit trail (WitnessLog + governance) - 018: Pattern-to-restriction bridge (ReasoningBank) - 019: Memory as nodes (agentic, working, episodic) - 020: Confidence from energy (sigmoid mapping) - 021: Shared SONA between ruvllm and prime-radiant - 022: Failure learning (ErrorPatternLearner → ρ maps) Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> * feat(prime-radiant): implement RuvLLM integration layer (ADR-014 v0.4) Implement complete Prime-Radiant + RuvLLM integration per ADR-CE-016 through ADR-CE-022: Core Integration Modules: - coherence_validator.rs: SheafCoherenceValidator using sheaf energy - witness_log.rs: UnifiedWitnessLog with hash chain for tamper evidence - pattern_bridge.rs: PatternToRestrictionBridge learning from verdicts - memory_layer.rs: MemoryCoherenceLayer tracking context as sheaf nodes - confidence.rs: CoherenceConfidence with sigmoid energy→confidence mapping Supporting Infrastructure: - mod.rs: Public API, re-exports, convenience constructors - error.rs: Comprehensive error types for each ADR - config.rs: LlmCoherenceConfig, thresholds, policies - gate.rs: LlmCoherenceGate high-level interface - adapter.rs: RuvLlmAdapter bridging type systems - bridge.rs: PolicyBridge, SonaBridge for synchronization - witness.rs: WitnessAdapter for correlation - traits.rs: Trait definitions for loose coupling Testing: - 22 integration tests covering all modules - Self-contained mock implementations - Feature-gated with #[cfg(feature = "ruvllm")] Feature Flags: - ruvllm feature in Cargo.toml - Optional dependency on ruvllm crate - Added to "full" feature set Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> * docs(prime-radiant): add comprehensive README with examples Add user-friendly documentation covering: - Introduction explaining coherence vs confidence - Core concepts (coherence field, compute ladder) - Features overview (engine, governance, RuvLLM integration) - Quick start code examples: - Basic coherence check - LLM response validation - Memory consistency tracking - Confidence from energy - Application tiers (today, near-term, future) - Domain examples (AI, finance, medical, robotics, security) - Feature flags reference - Performance targets - Architecture diagram Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> * docs(adr): add ADR-015 Coherence-Gated Transformer (Sheaf Attention) Propose novel low-latency transformer architecture using coherence energy: Core Innovation: - Route tokens to compute lanes based on coherence energy, not confidence - Sparse attention using residual energy (skip coherent pairs) - Early exit when energy converges (not confidence threshold) - Restriction maps replace QKV projections Architecture: - Lane 0 (Reflex): 1-2 layers, local attention, <0.1ms - Lane 1 (Standard): 6 layers, sparse sheaf attention, ~1ms - Lane 2 (Deep): 12+ layers, full + MoE, ~5ms - Lane 3 (Escalate): Return uncertainty Performance Targets: - 5-10x latency reduction (10ms → 1-2ms for 128 tokens) - 2.5x memory reduction - <5% quality degradation - Provable coherence bound on output Mathematical Foundation: - Attention weight ∝ exp(-β × residual_energy) - Token routing via E(t) = Σ w_e ||ρ_t(x) - ρ_ctx(x)||² - Early exit when ΔE < ε (energy converged) Target: ruvector-attention crate with sheaf/ and coherence_gated/ modules Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> * feat(prime-radiant): implement coherence engine with CGT attention Complete implementation of Prime-Radiant coherence engine and Coherence-Gated Transformer (CGT) sheaf attention module. Core Features: - Sheaf Laplacian energy computation with restriction maps - 4-lane compute ladder (Reflex/Retrieval/Heavy/Human) - Cryptographic witness chains for audit trails - Policy bundles with multi-party approval Storage Backends: - InMemoryStorage with KNN search - FileStorage with Write-Ahead Logging (WAL) - PostgresStorage with full schema (feature-gated) - HybridStorage combining file + optional PostgreSQL CGT Sheaf Attention (ruvector-attention): - RestrictionMap with residual/energy computation - SheafAttention layer: A_ij = exp(-β×E_ij)/Z - TokenRouter with compute lane routing - SparseResidualAttention with energy-based masking - EarlyExit with energy convergence detection Performance Optimizations: - Zero-allocation hot paths (apply_into, compute_residual_norm_sq) - SIMD-friendly 4-way unrolled loops - Branchless lane routing - Pre-allocated buffers for batch operations RuvLLM Integration: - SheafCoherenceValidator for LLM response validation - UnifiedWitnessLog linking inference + coherence - MemoryCoherenceLayer for contradiction detection - CoherenceConfidence for interpretable uncertainty Tests: 202 passing in ruvector-attention, 180+ in prime-radiant Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> * feat(prime-radiant): add GPU acceleration, SIMD optimizations, and benchmarks GPU Acceleration (wgpu-rs): - GpuCoherenceEngine with automatic CPU fallback - GpuDevice: adapter/device management with high-perf selection - GpuDispatcher: kernel execution with pipeline caching and buffer pooling - GpuBufferManager: typed buffer management with pooling - Compute kernels: residuals, energy reduction, sheaf attention, token routing WGSL Compute Shaders (6 files, 1,412 lines): - compute_residuals.wgsl: parallel edge residual computation - compute_energy.wgsl: two-phase parallel reduction - sheaf_attention.wgsl: energy-based attention weights A_ij = exp(-beta * E_ij) - token_routing.wgsl: branchless lane assignment - sparse_mask.wgsl: sparse attention mask generation - types.wgsl: shared GPU struct definitions SIMD Optimizations (wide crate): - Runtime CPU feature detection (AVX2, AVX-512, SSE4.2, NEON) - f32x8 vectorized operations - simd/vectors.rs: dot_product_simd, norm_squared_simd, subtract_simd - simd/matrix.rs: matmul_simd, matvec_simd, transpose_simd - simd/energy.rs: batch_residuals_simd, weighted_energy_sum_simd - 38 unit tests verifying SIMD correctness Benchmarks (criterion): - coherence_benchmarks.rs: core operations, graph scaling - simd_benchmarks.rs: SIMD vs naive comparisons - gpu_benchmarks.rs: CPU vs GPU performance Tests: - 18 GPU coherence tests (16 active, 2 perf ignored) - GPU-CPU consistency within 1% relative error - Error handling and fallback verification README improvements: - "What Prime-Radiant is NOT" section - Concrete numeric example with arithmetic - Flagship LLM hallucination refusal walkthrough - Infrastructure positioning Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> * perf(prime-radiant): optimize SIMD and core computation patterns SIMD Optimizations: - Replace element-by-element load_f32x8 with try_into for direct memory copy - Fix redundant SIMD comparisons in lane assignment (compute masks once, use blend) - Apply across vectors.rs, matrix.rs, and energy.rs Core Computation Patterns: - Replace i % 4 modulo with chunks_exact() for proper auto-vectorization - Fix edge.rs: residual_norm_squared, residual_with_energy - Fix node.rs: norm_squared, dot product Graph API: - Add get_node_ref() for zero-copy node access via DashMap reference - Add with_node() closure API for efficient read-only operations Benchmark findings: - Incremental updates meet target (<100us): 59us actual - Linear O(n) scaling confirmed - Further SIMD/parallelization needed for <1us/edge target Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> * perf(prime-radiant): add CSR sparse matrix, GPU buffer prealloc, thread-local scratch Performance optimizations for Prime-Radiant coherence engine: CSR Sparse Matrix (restriction.rs): - Full CsrMatrix struct with row_ptr, col_indices, values - COO to CSR conversion with from_coo() and from_coo_arrays() - Zero-allocation matvec_into() and matvec_add_into() - SIMD-friendly 4-element loop unrolling - 13 new tests covering all CSR operations GPU Buffer Pre-allocation (engine.rs, kernels.rs): - Pre-allocated params, energy_params, partial_sums, staging buffers - Zero per-frame allocations in compute_energy() - New create_bind_group_raw() methods for raw buffer references - CSR matrix support in convert_restriction_map() Thread-Local Scratch Buffers (edge.rs): - EdgeScratch struct with 3 reusable Vec<f32> buffers - thread_local! SCRATCH for zero-allocation hot paths - residual_norm_squared_no_alloc() and weighted_residual_energy_no_alloc() - 7 new tests for allocation-free energy computation WGSL Vec4 Optimization (compute_residuals.wgsl): - vec4-based processing loop with dot(r_vec, r_vec) - store_residuals flag in GpuParams struct - ~4x GPU throughput improvement README Updates: - Root README: 40 attention mechanisms, Prime-Radiant section, CGT Sheaf Attention - WASM README: CGT Sheaf Attention API documentation Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> * chore: SEO optimize package metadata for crates.io and npm - prime-radiant: Enhanced description, keywords, categories - ruvector-attention-wasm: Add version to path dep, SEO keywords - package.json: 23 keywords, better description, engines config Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> * chore(hyperbolic-hnsw): SEO optimize for crates.io publish * chore(prime-radiant): add version numbers to path dependencies for crates.io publish * fix(prime-radiant): shorten keyword for crates.io compliance Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> * docs(readme): add prime-radiant and ruvector-attention-wasm package references - Add prime-radiant to Quantum Coherence section (sheaf Laplacian AI safety) - Add ruvector-attention-wasm to npm WASM packages (Flash, MoE, Hyperbolic, CGT) Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> * feat(prime-radiant): implement 6 advanced mathematical frameworks Comprehensive implementation of cutting-edge mathematical foundations: ## Modules Implemented 1. **Sheaf Cohomology** (10 files) - Coboundary operator, Cohomology groups, Betti numbers - Sheaf Laplacian, Obstruction detection, Diffusion - Sheaf Neural Networks with CohomologyPooling 2. **Category Theory/Topos** (12 files) - Category trait, Functors, Natural transformations - Topos with SubobjectClassifier, InternalLogic - 2-Category with Mac Lane coherence (pentagon/triangle) - BeliefTopos for probabilistic reasoning 3. **Homotopy Type Theory** (8 files) - Type/Term AST with Pi, Sigma, Identity types - Path operations, J-eliminator, Transport - Univalence axiom, Bidirectional type checker - Coherence as paths between belief states 4. **Spectral Invariants** (8 files) - Lanczos eigensolver for sparse matrices - Cheeger inequality bounds and sweep algorithm - Spectral clustering with k-means++ - Collapse prediction and early warning system 5. **Causal Abstraction** (7 files) - Structural Causal Models with do-calculus - D-separation (Bayes Ball), Topological ordering - Counterfactuals: ATE, ITE, NDE, NIE - Causal abstraction verification 6. **Quantum/Algebraic Topology** (10 files) - Quantum states, Density matrices, Channels - Simplicial complexes, Persistent homology - Topological codes (surface, toric, stabilizer) - Structure-preserving quantum encodings ## Supporting Infrastructure - **Security Module**: 17 issues fixed, path traversal prevention - **WASM Bindings**: 6 engines with TypeScript definitions - **Benchmarks**: 4,762 lines of criterion benchmarks - **Documentation**: 6 ADRs + DDD domain model (3,141 lines) - **Tests**: 191+ tests passing ## Mathematical Foundations - Sheaf Laplacian: E(S) = Σ w_e ||ρ_u(x_u) - ρ_v(x_v)||² - Cheeger inequality: λ₂/2 ≤ h(G) ≤ √(2λ₂) - Univalence: (A ≃ B) ≃ (A = B) - Do-calculus: P(Y|do(X)) identification Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> * fix(router-core): resolve HNSW index deadlock on second insert (#133) The insert() method was holding write locks on graph and entry_point while calling search_knn_internal(), which tries to acquire read locks on the same RwLocks. Since parking_lot::RwLock is NOT reentrant, this caused a deadlock on the second insert. Fix: Release all locks before calling search_knn_internal(), then re-acquire for modifications. Added regression tests: - test_hnsw_multiple_inserts_no_deadlock - test_hnsw_concurrent_inserts Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> * chore: bump versions for v2.0.1 release - Rust workspace: 2.0.0 -> 2.0.1 - npm @ruvector/router: 0.1.25 -> 0.1.26 - npm platform packages: -> 0.1.26 - Added darwin-x64 to optional dependencies Contains fix for HNSW deadlock issue #133 Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> --------- Co-authored-by: Reuven <cohen@ruv-mac-mini.local> Co-authored-by: Claude Opus 4.5 <noreply@anthropic.com> |
||
|---|---|---|
| .. | ||
| benches | ||
| docs | ||
| src | ||
| tests | ||
| wasm | ||
| Cargo.lock | ||
| Cargo.toml | ||
| README.md | ||
Prime-Radiant: Universal Coherence Engine
Advanced Mathematical Framework for AI Safety, Hallucination Detection, and Structural Consistency Verification
Prime-Radiant implements a universal coherence engine using sheaf Laplacian mathematics to provide structural consistency guarantees across domains. Rather than trying to make better predictions, Prime-Radiant proves when the world still fits together and when it does not.
Table of Contents
- Overview
- Six Mathematical Directions
- Installation
- Quick Start
- API Reference
- Performance Characteristics
- Use Cases
- Architecture
Overview
Prime-Radiant provides a single underlying coherence object that can be interpreted across multiple domains:
| Domain | Nodes Are | Edges Are | Residual Becomes | Gate Becomes |
|---|---|---|---|---|
| AI Agents | Facts, hypotheses, beliefs | Citations, logical implication | Contradiction energy | Hallucination refusal |
| Finance | Trades, positions, signals | Market dependencies, arbitrage | Regime mismatch | Trading throttle |
| Medical | Vitals, diagnoses, treatments | Physiological causality | Clinical disagreement | Escalation trigger |
| Robotics | Sensor readings, goals, plans | Physics, kinematics | Motion impossibility | Safety stop |
| Security | Identities, permissions, actions | Policy rules, trust chains | Authorization violation | Access denial |
| Science | Hypotheses, observations, models | Experimental evidence | Theory inconsistency | Pruning signal |
Core Mathematical Formula
The coherence energy is computed as:
E(S) = sum(w_e * ||r_e||^2)
where r_e = rho_u(x_u) - rho_v(x_v)
- rho: Restriction map (linear transform defining how states constrain each other)
- r_e: Residual at edge (measures local inconsistency)
- w_e: Edge weight
- E(S): Global incoherence measure
Six Mathematical Directions
Prime-Radiant implements six advanced mathematical frameworks for coherence analysis:
1. Sheaf Cohomology for AI Coherence
Sheaf theory provides the mathematical foundation for understanding local-to-global consistency:
- Stalks: Fixed-dimensional state vectors at each node
- Restriction Maps: Constraints defining how states relate
- Global Sections: Coherent assignments across the entire graph
- Cohomology Groups: Obstruction measures for global consistency
2. Category Theory and Topos-Theoretic Belief Models
Functorial retrieval and higher category structures enable:
- Functorial Retrieval: Structure-preserving knowledge access
- Topos Models: Intuitionistic logic for belief systems
- Higher Categories: Multi-level coherence laws
- Natural Transformations: Systematic relationship mapping
ADR-002: Category and Topos Theory
3. Homotopy Type Theory for Verified Reasoning
HoTT provides verified reasoning with proof transport:
- Univalence Axiom: Equivalent structures are identical
- Path Induction: Proofs follow identity paths
- Higher Inductive Types: Complex data structures with equalities
- Proof Transport: Transfer proofs across equivalent structures
4. Spectral Invariants for Cut Prediction
Spectral analysis of the sheaf Laplacian enables:
- Cheeger Bounds: Relationship between spectral gap and graph cuts
- Algebraic Connectivity: Second eigenvalue measures graph cohesion
- Early Warning Systems: Detect structural weakening before failure
- Drift Detection: Identify fundamental structural shifts
5. Causal Abstraction for Consistency
Causal reasoning distinguishes correlation from causation:
- Do-Calculus: Intervention-based causal reasoning
- Structural Causal Models: Explicit causal relationships
- Abstraction Verification: Ensure high-level models match low-level
- Counterfactual Analysis: "What if" reasoning support
6. Quantum Topology for Coherence Invariants
Topological methods provide robust coherence measures:
- Persistent Homology: Multi-scale topological features
- Betti Numbers: Counts of topological holes
- Quantum-Inspired Encodings: Superposition-based representations
- Stability Theorems: Robustness guarantees for features
Installation
Rust (Native)
Add to your Cargo.toml:
[dependencies]
prime-radiant = "0.1.0"
# Full feature set
prime-radiant = { version = "0.1.0", features = ["full"] }
Feature Flags
| Feature | Default | Description |
|---|---|---|
tiles |
No | cognitum-gate-kernel 256-tile WASM fabric |
sona |
No | Self-optimizing threshold tuning (SONA) |
learned-rho |
No | GNN-learned restriction maps |
hyperbolic |
No | Hierarchy-aware Poincare energy |
mincut |
No | Subpolynomial n^o(1) graph partitioning |
neural-gate |
No | Biologically-inspired gating |
attention |
No | Topology-gated attention, MoE, PDE diffusion |
distributed |
No | Raft-based multi-node coherence |
spectral |
No | nalgebra-based eigenvalue computation |
simd |
No | SIMD-optimized residual calculation |
gpu |
No | wgpu-based parallel computation |
ruvllm |
No | LLM serving integration |
full |
No | All features enabled |
WASM
# Install wasm-pack
cargo install wasm-pack
# Build for web
wasm-pack build --target web
# Build for Node.js
wasm-pack build --target nodejs
Quick Start
Basic Coherence Computation
use prime_radiant::prelude::*;
fn main() -> Result<(), CoherenceError> {
// Create a sheaf graph
let mut graph = SheafGraph::new();
// Add nodes with state vectors
let fact1 = SheafNode::new(vec![1.0, 0.0, 0.0, 0.5]);
let fact2 = SheafNode::new(vec![0.9, 0.1, 0.0, 0.4]);
let id1 = graph.add_node(fact1);
let id2 = graph.add_node(fact2);
// Add edge with restriction map
let rho = RestrictionMap::identity(4);
graph.add_edge(SheafEdge::new(id1, id2, rho.clone(), rho, 1.0))?;
// Compute coherence energy
let energy = graph.compute_energy();
println!("Total coherence energy: {}", energy.total);
Ok(())
}
Coherence Gate with Compute Ladder
use prime_radiant::{CoherenceGate, ComputeLane, EnergySnapshot};
fn main() {
let policy = PolicyBundleRef::placeholder();
let mut gate = CoherenceGate::with_defaults(policy);
let energy = EnergySnapshot::new(0.15, 0.12, ScopeId::new("test"));
let (decision, witness) = gate.evaluate_with_witness(&action, &energy);
match decision.lane {
ComputeLane::Reflex => println!("Approved (<1ms)"),
ComputeLane::Retrieval => println!("Evidence needed (~10ms)"),
ComputeLane::Heavy => println!("Heavy processing (~100ms)"),
ComputeLane::Human => println!("Human review required"),
}
}
Spectral Drift Detection
use prime_radiant::coherence::{SpectralAnalyzer, SpectralConfig};
let mut analyzer = SpectralAnalyzer::new(SpectralConfig::default());
analyzer.record_eigenvalues(vec![0.0, 0.5, 1.2, 2.1]);
analyzer.record_eigenvalues(vec![0.0, 0.3, 0.9, 1.8]); // Drift!
if let Some(drift) = analyzer.detect_drift() {
println!("Drift: {:?}, severity: {:?}", drift.description, drift.severity);
}
API Reference
Core Types
| Type | Description |
|---|---|
SheafGraph |
Graph with nodes, edges, and restriction maps |
SheafNode |
Vertex with state vector (stalk) |
SheafEdge |
Edge with restriction maps and weight |
RestrictionMap |
Linear transform for state constraints |
CoherenceEnergy |
Global incoherence measure |
CoherenceGate |
Threshold-based action gating |
GateDecision |
Allow/deny with compute lane |
WitnessRecord |
Immutable audit record |
Compute Ladder
| Lane | Latency | Use Case |
|---|---|---|
Reflex |
<1ms | Low-energy automatic approval |
Retrieval |
~10ms | Evidence fetching |
Heavy |
~100ms | Multi-step planning |
Human |
Unbounded | Sustained incoherence review |
Performance Characteristics
| Operation | Target |
|---|---|
| Single residual | < 1us |
| Full energy (10K nodes) | < 10ms |
| Incremental update | < 100us |
| Gate evaluation | < 500us |
| SONA adaptation | < 0.05ms |
| MinCut update | n^o(1) subpolynomial |
| Hyperbolic distance | < 500ns |
Use Cases
- AI Safety: Detect hallucinations via structural inconsistency
- Finance: Regime change detection and arbitrage validation
- Medical: Clinical decision consistency verification
- Robotics: Kinematic constraint enforcement
- Security: Policy rule coherence checking
Architecture
+-----------------------------------------------------------------------------+
| APPLICATION LAYER |
| LLM Guards | Fraud Detection | Compliance Proofs | Robotics Safety |
+-----------------------------------------------------------------------------+
|
+-----------------------------------------------------------------------------+
| COHERENCE GATE |
| Lane 0 (Reflex) | Lane 1 (Retrieval) | Lane 2 (Heavy) | Lane 3 (Human) |
+-----------------------------------------------------------------------------+
|
+-----------------------------------------------------------------------------+
| COHERENCE COMPUTATION |
| Residual Calculator | Energy Aggregator | Spectral Analyzer |
+-----------------------------------------------------------------------------+
|
+-----------------------------------------------------------------------------+
| KNOWLEDGE SUBSTRATE |
| Sheaf Graph | Node States | Edge Constraints | Restriction Maps |
+-----------------------------------------------------------------------------+
Documentation
- ADR-001: Sheaf Cohomology
- ADR-002: Category and Topos Theory
- ADR-003: Homotopy Type Theory
- ADR-004: Spectral Invariants
- ADR-005: Causal Abstraction
- ADR-006: Quantum Topology
- Domain Model
References
- Hansen, J., & Ghrist, R. (2019). "Toward a spectral theory of cellular sheaves."
- Robinson, M. (2014). "Topological Signal Processing."
- Curry, J. (2014). "Sheaves, Cosheaves and Applications."
- Univalent Foundations Program. "Homotopy Type Theory."
License
MIT OR Apache-2.0
Prime-Radiant: Where mathematics meets machine safety.