Expand description
Core primitives for distributed ownership enforcement.
This crate provides Sovereign<T>, a wrapper type that tracks ownership
across network boundaries. When a resource is “annexed” (moved to another node),
local access is prohibited.
§The Garuda Proof System
With praborrow-prover, this crate now supports formally verified state
transitions. Use annex_verified() to require SMT proof before annexation.
§Safety
Uses UnsafeCell and AtomicU8 for interior mutability with thread-safety.
The Send/Sync implementations are safe when T is Send/Sync.
Structs§
- Lease
- Represents a lease on a Sovereign resource.
- Proof
Carrying - A value carrying cryptographic proof of verification.
- Sovereign
- A wrapper that enforces ownership semantics across network boundaries.
Enums§
- Annex
Error - Error type for verified annexation operations.
- Lease
Error - Error returned when a lease operation fails.
- Sovereign
State - The state of a Sovereign resource. 0: Domestic (Local jurisdiction) 1: Exiled (Foreign jurisdiction - moved to another node)
Traits§
- Check
Protocol - Protocol for enforcing constitutional invariants (runtime checks).
- Distributed
Borrow - Trait for distributed borrow operations.
- Verified
Annex - Extension trait for Sovereign types whose inner types implement formal verification.