asupersync 0.3.6

Spec-first, cancel-correct, capability-secure async runtime for Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

//! Ambient authority audit and hardening.
//!
//! Provides compile-time and runtime checks to prevent ambient authority
//! from bypassing the Cx capability system.
//!
//! # Meta-Audit Security
//!
//! The audit system implements the "audit-the-auditor" principle through
//! [`meta_audit`] to prevent capability escalation where the audit system
//! itself could be manipulated to hide violations or accumulate ambient
//! authority outside the Cx capability system.

pub mod ambient;
pub mod blocker_receipt;
pub mod clean_overlay_planner;
pub mod meta_audit;
pub mod overlay_proof_command;
pub mod proof_traffic_blocked_loop_e2e;
pub mod proof_traffic_overlay_handshake;
pub mod proof_traffic_parking_lot;
pub mod proof_traffic_receipt;