bcx 0.3.0

Bifrost Causal Exchange protocol primitives for signed causal meaning and proof composition.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
# BCX Unsafe Policy

Status: active policy

Unsafe Rust is forbidden in the current BCX workspace.

If unsafe ever becomes necessary:

- isolate it in a dedicated boundary crate,
- document the reason before implementation,
- add a crate-level safety document,
- require `SAFETY:` comments for every unsafe block,
- add tests that exercise the boundary,
- keep the safe facade separate from the unsafe implementation.

The root workspace lint currently sets `unsafe_code = "forbid"`.