0124 RUST LINES
errors
shared failure vocabulary
→ATOM / OPERATING SYSTEMS / RDX-01UNDER DEVELOPMENT
THE KERNEL
BREAKS INTO
ATOMS.
Redox OS responsibilities recast as small mechanisms with bounded state, visible invariants, and orchestration kept outside the primitive.
PUBLIC STATUSUNDER DEVELOPMENT
SELECTED SOURCEFRESHEST COHERENT LOCAL LAB
FRESH READINESS9 / 9 GATES PASSED
RUNTIME PROOFREDOX LOGIN + VIRTIO-GPUD
COMPOSITION / NOT A MOCK KERNELSee how the
See how the
atoms cooperate.
The browser model exposes the control grammar. Advance one bounded mechanism at a time, then compare it with the real readiness record below.
INTERACTIVE ARCHITECTURE MODELRESOURCE / COMMAND / ROUTE / PROOF
STAGE 1 OF 5
A01 / COMPOSED MECHANISM
Mint identity
A slot and generation become a bounded, stale-safe resource identity.
INVARIANTGeneration checked
TRACE / DETERMINISTICNO KERNEL CODE EXECUTED IN BROWSER
- 01Mint identityACTIVE
- 02awaiting composition--
- 03awaiting composition--
- 04awaiting composition--
- 05awaiting composition--
This proof surface explains the architecture. The real readiness gate runs against Redox, QEMU, and the VirtIO-GPU driver in the maintainer environment.
FOCUSED CRATE CONSTELLATIONSmall enough
Small enough
to reason about.
The public harness no longer imports an ignored local kernel checkout. Each atom family builds on its own and every Rust crate stays below the 4,000-line ceiling.
02375 RUST LINES
driver primitives
generation-checked identity
→033,472 RUST LINES
GPU core
resources, commands, health
→041,372 RUST LINES
route
vibration and traffic projection
→051,637 RUST LINES
VirtIO-GPU
device and display mechanisms
SOURCE-OF-TRUTH AUDIT / JULY 11, 2026The repo was
The repo was
chosen, not guessed.
Local folders, public forks, extracted snapshots, and misleading names were compared by implementation depth, recency, tests, and provenance.
Newest GPU atom edge
Fresh resource atoms, bounded lane service, reset/reclaim/replay work, deterministic evidence gates, and current launch proof.
PUBLIC AS LUCERNA-LABS / ATOM-REDOX-KERNELBroader, older kernel work
Capability authority wall, graph min-cut quarantine, EventRing, EEVDF, and portable driver primitives remain important implementation lineage.
LINKED, NOT MISREPRESENTED AS THE FRESHEST LABNot independent candidates
The Redox mirror contains no Atom conversion; extracted kernel folders are provenance-managed source snapshots rather than publishable repositories.
KEPT OUT OF THE PUBLICATION UNITFRESH LOCAL READINESS / 2026-07-11Proof has
Proof has
a boundary.
The selected source passed the complete maintainer gate before publication. The artifacts stay local because disk images and raw logs are intentionally excluded; the scripts, fixtures, implementation record, and claim boundary are public.
CLIPPY -D WARNINGSREDOX TARGET CHECKROUTE WIRINGDIRECT QEMU LAUNCHCLEANUP
“Kernel conversion to atoms” is the architecture direction and the implemented subsystems shown here. It does not mean the whole Redox kernel is converted, production-ready, or certified across physical GPUs.