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

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 (or return Err with try_get).

Usage

use praborrow_core::{Sovereign, SovereigntyError};

let data = Sovereign::new(42);

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

// Safe access with error handling (v0.5+)
assert!(data.try_get().is_ok());

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

// Graceful error handling instead of panic
match data.try_get() {
    Ok(_) => unreachable!(),
    Err(SovereigntyError::ForeignJurisdiction) => println!("Exiled!"),
}

Thread Safety

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

Praborrow Core (Bahasa Indonesia)

Primitif inti untuk framework sistem terdistribusi PraBorrow. Crate ini menyediakan tipe dasar untuk menegakkan semantik kepemilikan kedaulatan (sovereign ownership) lintas batas jaringan.

Sovereign

Wrapper Sovereign<T> mengimplementasikan state machine yang berbeda untuk kepemilikan data:

• Domestic (Domestik): Data bersifat lokal dan dapat diakses melalui Deref.
• Exiled (Diasingkan): Data telah dipindahkan ke node jarak jauh (remote). Upaya akses akan memicu panic (atau mengembalikan Err dengan try_get).

Penggunaan (Usage)

use praborrow_core::{Sovereign, SovereigntyError};

let data = Sovereign::new(42);

// Akses diizinkan (Domestic)
assert_eq!(*data, 42);

// Akses aman dengan penanganan error (v0.5+)
assert!(data.try_get().is_ok());

// Transisi status
data.annex().expect("Gagal melakukan aneksasi sumber daya");

// Penanganan error yang anggun alih-alih panic
match data.try_get() {
    Ok(_) => unreachable!(),
    Err(SovereigntyError::ForeignJurisdiction) => println!("Diasingkan (Exiled)!"),
}

Keamanan Thread (Thread Safety)

Menggunakan AtomicU8 untuk pelacakan status, memastikan kepatuhan Send + Sync di mana T: Send + Sync.