Metadata-Version: 2.4
Name: praborrow
Version: 1.2.3
Classifier: Programming Language :: Rust
Classifier: Programming Language :: Python :: Implementation :: CPython
Classifier: Programming Language :: Python :: Implementation :: PyPy
Summary: Python bindings for PraBorrow: A formal distributed ownership system.
Author-email: IRedDragonICY <ireddragonicy@gmail.com>
License: MIT
Requires-Python: >=3.8
Description-Content-Type: text/markdown; charset=UTF-8; variant=GFM

# PraBorrow Python Bindings

**PraBorrow** is a formal distributed ownership system based on Rust's borrow checker rules, designed for high-reliability distributed consensus.

This package (`praborrow`) provides Python bindings for the core `Sovereign<T>` primitives, allowing you to leverage PraBorrow's safety guarantees in your Python applications.

## Installation

```bash
pip install praborrow
```

## Usage

```python
from praborrow import SovereignString

# Create a domestic sovereign resource
sov = SovereignString.new("Hello World")

print(f"Domestic? {sov.is_domestic()}")  # True
print(f"Value: {sov.get_value()}")       # "Hello World"

# Annex the resource (take strict ownership/lock)
sov.annex()
# Now it might be exiled/moved depending on rules (simplified example)
```

## Features

- **Formal Verification**: Core logic verified with Z3 Prover.
- **Thread Safety**: Rust-backed concurrency guarantees.
- **Type Safety**: Strong typing for ownership states.

## License

MIT

