Docs.rs
archimedes-kernel-2.0.0
archimedes-kernel 2.0.0
Docs.rs crate page
MIT
24 August 2026
Links
Repository
crates.io
Source
Owners
MxolisiMoyo
Dependencies
ed25519-dalek ^2
normal
postcard ^1.1.3
normal
rand ^0.8
normal
serde ^1
normal
sha2 ^0.10
normal
Versions
1.46%
of the crate is documented
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
Skip to main content
Module verification
archimedes_
kernel
2.0.0
Module verification
Module Items
Structs
Enums
Functions
In crate archimedes_
kernel
archimedes_kernel
Module
verification
Copy item path
Source
Structs
§
Continuity
Drift
Check
Inspection
Integrity
Report
Planned
Sequence
Preflight
Report
Proof
Result
Reality
Diff
Reality
Fingerprint
Reality
Snapshot
Replay
Simulation
Report
Verification
Report
Enums
§
Movement
Error
Functions
§
detect_
drift
plan_
sequence
simulate_
sequence