The PraBorrow framework - A distributed systems framework for Rust
SMT-based formal verification for PraBorrow. Interfaces with Z3 theorem prover to mathematically validate Constitution invariants.
Core primitives for PraBorrow. Implements Sovereign<T> for distributed ownership enforcement.
Procedural macros for PraBorrow defense and verification logic.
Procedural macros for invariant verification. Generates runtime checks and SMT-based formal verification.
FFI bindings for cross-language integration with the Sovereign memory model.
Zero-copy buffer abstraction. Handles raw byte streams without allocation overhead.
Procedural macros for Stable IDL (SIDL) and Diplomat trait generation.
Lease consensus logic (Raft/Paxos). Manages distributed agreement on Sovereign lease validity.
CLI Dashboard and internal tools for PraBorrow