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.
§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.
- Sovereign
- A wrapper that enforces ownership semantics across network boundaries.
Enums§
- 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.
- Distributed
Borrow - Trait for distributed borrow operations.