vrr/ruvector
2
0
Fork 0
mirror of https://github.com/ruvnet/RuVector.git synced 2026-05-23 04:27:11 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 15
ruvector/examples/rvf-kernel-optimized
History
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
..
benches feat: add formal verification layer with lean-agentic dependent types 2026-02-25 03:45:18 +00:00
src feat: add formal verification layer with lean-agentic dependent types 2026-02-25 03:45:18 +00:00
tests feat: add formal verification layer with lean-agentic dependent types 2026-02-25 03:45:18 +00:00
Cargo.toml feat: add formal verification layer with lean-agentic dependent types 2026-02-25 03:45:18 +00:00