3 commits

Author	SHA1	Message	Date
rUv	42a5c47fe7	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	9d2e7ad42d	fix(security): harden mmap pointer arithmetic and proof attestation hashing ... SEC-001: MmapGradientAccumulator now uses checked arithmetic for all offset computations, validates node_id bounds before pointer ops, and asserts mmap bounds before read/write. Matches MmapManager's safe pattern. SEC-002: ProofAttestation hashes are now computed over actual proof and environment content using domain-separated SipHash-2-4, filling all 32 bytes. Replaces the previous scheme that left 24+ bytes as zeros and used only counter values. Removes false Ed25519 claim from module docs. Also fixes ruvector-verified CI: unused_mut warnings in ruvector-core (feature-gated code) and clippy unnecessary_lazy_evaluations in lib.rs. Co-Authored-By: claude-flow <ruv@ruv.net>	2026-02-25 16:10:20 +00:00
rUv	221891295e	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