rootle_kernel/lib.rs
1//! Pure, allocation-free decisions shared by the UI's asynchronous requests.
2//!
3//! `proofs/` proves the Charon/Aeneas translation of these exact modules.
4//! Nominal pipeline tags, serialization, payload identity and effects live in
5//! the application adapter; neither providers nor terminal IO enter this crate.
6#![no_std]
7#![forbid(unsafe_code)]
8
9pub mod generation;
10pub mod request;