Jordan Mecom 4d447b9c20 Add generic information-flow control core (#7293) ...

Adds a dependency-free `ifc-core` crate implementing reader-set
confidentiality labels and monotonic per-computation flow state.

- Defines flow ordering, join, and meet over caller-supplied principal
universes.
- Fails closed for unknown or cross-universe input and checks reader
widening at egress.
- Includes property tests for lattice laws and monotonic taint, plus the
design paper that motivates the broker integration.

The crate deliberately contains no Buzz, Nostr, channel, membership, or
grant policy; those remain in the Buzz adapter.

---------

Signed-off-by: Jordan Mecom <jm@squareup.com>

2026-09-04 22:26:44 +00:00

..

src

Add generic information-flow control core (#7293)

2026-09-04 22:26:44 +00:00

Cargo.toml

Add generic information-flow control core (#7293)

2026-09-04 22:26:44 +00:00