2 commits

Author	SHA1	Message	Date
rUv	e7a5096205	fix: format all files, add EXO crate READMEs, convert path deps to version deps ... - Run cargo fmt across entire workspace - Create README.md files for all 9 EXO-AI crates - Convert path dependencies to crates.io version dependencies for publishing - Add [patch.crates-io] to exo workspace for local development Co-Authored-By: claude-flow <ruv@ruv.net>	2026-02-27 16:21:14 +00:00
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