mirror of
https://github.com/ruvnet/RuVector.git
synced 2026-05-25 23:24:03 +00:00
a929fde654
Complete implementation of the RVM microhypervisor: 13 Rust crates (all #![no_std], #![forbid(unsafe_code)]): - rvm-types: Foundation types (64-byte WitnessRecord, ~40 ActionKind variants) - rvm-hal: AArch64 EL2 HAL (stage-2 page tables, PL011 UART, GICv2, timer) - rvm-cap: Capability system (P1/P2 proof verification, derivation trees) - rvm-witness: Witness logging (FNV-1a hash chain, ring buffer, replay) - rvm-proof: Proof engine (3-tier, constant-time P2 evaluation) - rvm-partition: Partition model (lifecycle, split/merge, IPC, device leases) - rvm-sched: Scheduler (2-signal priority, SMP coordinator, switch hot path) - rvm-memory: Memory tiers (buddy allocator, 4-tier, RLE compression) - rvm-coherence: Coherence engine (Stoer-Wagner mincut, adaptive frequency) - rvm-boot: Bare-metal boot (7-phase measured, EL2 entry, linker script) - rvm-wasm: Agent runtime (7-state lifecycle, migration, quotas) - rvm-security: Security gate (validation, attestation, DMA budget) - rvm-kernel: Integration kernel (boot/tick/create/destroy) 602 tests, 0 failures, 0 clippy warnings. 21 criterion benchmarks (all ADR targets exceeded). 9 ADRs (132-140), 15 design constraints (DC-1 through DC-15). 11 security findings addressed. Co-Authored-By: claude-flow <ruv@ruv.net> |
||
|---|---|---|
| .. | ||
| agentic-robotics | ||
| cnn | ||
| cognitive-frontier | ||
| DrAgnes | ||
| dspy | ||
| FalkorDB | ||
| federated-rvf | ||
| gnn-v2 | ||
| knowledge-export | ||
| latent-space | ||
| mincut | ||
| models | ||
| pglite | ||
| pi-brain | ||
| quantization-edge | ||
| quantum-crypto | ||
| ruvm | ||
| rv2 | ||
| rvagent-gemini-grounding | ||
| rvf | ||
| sota-gap-implementation | ||
| sparql | ||
| spectral-sparsification | ||
| sublinear-time-solver | ||
| wasm-integration-2026 | ||
| sota-gap-analysis-2026.md | ||