rUv 45eaff391a feat: add formal verification layer with lean-agentic dependent types ... Introduces ruvector-verified and ruvector-verified-wasm crates providing proof-carrying vector operations with sub-microsecond overhead. Includes ADR-045, 10 exotic application examples (weapons filter, medical diagnostics, financial routing, agent contracts, sensor swarm, quantization proof, verified memory, vector signatures, simulation integrity, legal forensics), rvf-kernel-optimized example, CI workflow, and root README integration. Co-Authored-By: claude-flow <ruv@ruv.net>		2026-02-25 03:45:18 +00:00
..
integration.rs	feat: add formal verification layer with lean-agentic dependent types	2026-02-25 03:45:18 +00:00