Release: RuVix Cognition Kernel — ADR-087 & Implementation Plan #249
Description
Overview
ADR-087 defines RuVix — a cognition kernel for the Agentic Age built on RuVector and RVF primitives. This issue tracks the release of the architecture document and subsequent implementation.
PR: #248
ADR: ADR-087-ruvix-cognition-kernel.md
What RuVix Is
A minimal cognition kernel with 6 primitives (task, capability, region, queue, timer, proof) and 12 syscalls. Not a Linux clone — a purpose-built OS for agentic workloads where:
- RVF is the boot object — signed packages are complete cognitive units
- RuVector is kernel-resident — vectors and graphs are native kernel resources, not userspace databases
- Every mutation is proof-gated — kernel invariant, not library convention
- Scheduling is coherence-aware — deadline + novelty signal + structural risk
- No POSIX — WIT/RVF contracts replace files, processes, and pipes
Syscall Surface (12 total)
task_spawn, cap_grant, region_map, queue_send, queue_recv, timer_wait,
rvf_mount, attest_emit, vector_get, vector_put_proved, graph_apply_proved,
sensor_subscribe
Build Path
Phase A: Linux-Hosted Nucleus (Days 1-60)
| Crate | Purpose | Weeks |
|---|---|---|
ruvix-types |
Kernel types (no_std, no alloc) | 1-2 |
ruvix-region |
Slab/append-only/immutable regions | 3-4 |
ruvix-queue |
io_uring-style ring buffer IPC | 5-6 |
ruvix-cap |
Capability table + derivation tree | 7-8 |
ruvix-proof |
Proof token generation/verification | 9-10 |
ruvix-vecgraph |
Kernel vector/graph stores | 11-12 |
ruvix-sched |
Coherence-aware scheduler | 13-14 |
ruvix-boot |
RVF boot loader | 15-16 |
ruvix-nucleus |
Integration + ABI freeze | 17-18 |
Phase B: Bare Metal AArch64 (Days 60-120)
- AArch64 bootstrap (exception vectors, MMU, UART)
- Region → physical memory mapping
- GIC interrupt → queue delivery
- WASM component runtime on bare metal
- Hardware scheduler with timer preemption
Demo Applications (8 total)
| # | Demo | Category |
|---|---|---|
| 1 | Proof-Gated Vector Journal | Foundational |
| 2 | Edge ML Inference Pipeline | Practical |
| 3 | Autonomous Drone Swarm Coordinator | Practical |
| 4 | Self-Healing Knowledge Graph | Practical |
| 5 | Collective Intelligence Mesh | Exotic |
| 6 | Quantum-Coherent Memory Replay | Exotic |
| 7 | Biological Signal Processor | Exotic |
| 8 | Adversarial Reasoning Arena | Exotic |
Acceptance Test
A signed RVF boots, consumes a RuView event, performs one proof-gated vector mutation, emits an attestation, and replays to the same state after restart.
Integration with Existing Crates
Maps 12 existing crates: ruvector-core, ruvector-graph-transformer, ruvector-verified, cognitum-gate-kernel, ruvector-coherence, ruvector-mincut, rvf, ruvector-raft, ruvector-snapshot, sona, ruvllm, ruvector-temporal-tensor.
Comparison
| Property | Linux | seL4 | RuVix |
|---|---|---|---|
| Kernel LOC | ~30M | ~8.7K | <15K target |
| Syscalls | ~450 | ~12 | 12 |
| Vector/graph native | No | No | Yes |
| Proof-gated mutation | No | No | Yes (kernel invariant) |
Release Checklist
- ADR-087 merged (feat: ADR-087 RuVix Cognition Kernel #248)
-
ruvix-typescrate scaffolded (no_std, no alloc) - Phase A crate workspace structure created
- Demo 1 (Proof-Gated Vector Journal) spec finalized
- CI pipeline for no_std builds
- ABI documentation generated from
ruvix-types