bombay-address 0.2.0

A generic concurrent address space with generation-safe ownership.
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

# Bombay Address

`bombay-address` is a typed concurrent address space with exclusive,
generation-safe ownership. The published package is `bombay-address`; its Rust
library name is `address`.

```toml
[dependencies]
bombay-address = "0.1"
```

```rust
use bombay_address::AddressSpace;

let space = AddressSpace::new();
let lease = space.claim("worker-7", "mailbox")?;

assert_eq!(space.resolve(&"worker-7").as_deref().copied(), Some("mailbox"));
drop(lease);
assert_eq!(space.resolve(&"worker-7"), None);
# Ok::<(), bombay_address::AddressInUse<&str>>(())
```

`AddressSpace::resolve` returns an opaque `Resolved<E>` capability. It avoids
exposing Address's storage or reclamation mechanism while preserving the
endpoint-defined `Clone` semantics that construct each non-owning snapshot.

The `Lease` is the authority to release one exact registration generation.
Dropping an old lease cannot remove a newer owner. Resolved endpoints are typed
snapshots, and user `Clone`/`Drop` code runs outside the table lock.

`Lease::registration_id()` returns an opaque identity for that exact local
registration. It is independent of the address type, process-local, and grants
no ownership, release authority, authentication, or durable identity.

## Verification

```bash
nix flake check -L
nix build .#coverage -L
```

The bounded models, property tests, stress tests, fuzz targets, replay corpus,
and findings record live under `research/address-tests/`.

See the [guide](https://docs.page/devrandom-labs/bombay-address) and
[API reference](https://docs.rs/bombay-address).

Licensed under Apache-2.0 or MIT, at your option.