praborrow-core 0.4.0

Core primitives for PraBorrow. Implements Sovereign<T> for distributed ownership enforcement.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

# Praborrow Core


Core primitives for the PraBorrow distributed systems framework. This crate provides the foundational types for enforcing sovereign ownership semantics across network boundaries.

## Sovereign<T>


The `Sovereign<T>` wrapper implements a distinct state machine for data ownership:
- **Domestic**: Data is local and accessible via `Deref`.
- **Exiled**: Data has been moved to a remote node. Access attempts trigger a panic.

### Usage


```rust
use praborrow_core::Sovereign;

let data = Sovereign::new(42);

// Access allowed (Domestic)
assert_eq!(*data, 42);

// Transition state
data.annex().expect("Failed to annex resource");

// Access denied (Exiled)
// *data // Panics: "SOVEREIGNTY VIOLATION"
```

### Thread Safety


Uses `AtomicU8` for state tracking, ensuring `Send + Sync` compliance where `T: Send + Sync`.