brik64_core/lib.rs
1//! # brik64-core
2//!
3//! BRIK-64 Core Monomers for Rust — Digital Circuitality natively in Rust.
4//!
5//! Every function in this crate corresponds to one of the 64 formally verified
6//! atomic operations (monomers) of the BRIK-64 architecture. All operations are
7//! total, deterministic, and free of undefined behavior.
8//!
9//! ## Usage
10//!
11//! ```rust
12//! use brik64_core::{mc, eva};
13//!
14//! // Direct monomer use
15//! let sum = mc::add8(200u8, 100u8); // saturating: 255
16//! let (q, r) = mc::div8(17u8, 5u8); // (3, 2)
17//!
18//! // EVA sequential composition: add8 then mod8
19//! let pipeline = eva::seq(mc::add8, |x| mc::mod8(x, 10));
20//! let result = pipeline(5u8, 8u8); // add8(5,8)=13, mod8(13,10)=3
21//! ```
22//!
23//! ## Digital Circuitality
24//!
25//! Any function composed exclusively from Core monomers (MC_00–MC_63) via
26//! EVA operators retains its `Φ_c = 1` guarantee.
27//!
28//! - [brik64.dev](https://brik64.dev)
29//! - [docs.brik64.dev](https://docs.brik64.dev)
30
31#![forbid(unsafe_code)]
32#![warn(missing_docs, clippy::all)]
33
34pub mod eva;
35pub mod mc;
36
37pub use eva::*;
38pub use mc::*;