Crate brik64_core 

brik64-core

BRIK-64 Core Monomers for Rust — Digital Circuitality natively in Rust.

Every function in this crate corresponds to one of the 64 formally verified atomic operations (monomers) of the BRIK-64 architecture. All operations are total, deterministic, and free of undefined behavior.

Usage

use brik64_core::{mc, eva};

// Direct monomer use
let sum = mc::add8(200u8, 100u8);   // saturating: 255
let (q, r) = mc::div8(17u8, 5u8);   // (3, 2)

// EVA sequential composition: add8 then mod8
let pipeline = eva::seq(mc::add8, |x| mc::mod8(x, 10));
let result = pipeline(5u8, 8u8);     // add8(5,8)=13, mod8(13,10)=3

Digital Circuitality

Any function composed exclusively from Core monomers (MC_00–MC_63) via EVA operators retains its Φ_c = 1 guarantee.

• brik64.dev
• docs.brik64.dev

Re-exports

pub use eva::*;

pub use mc::*;

Modules

eva

EVA Algebra — Composition operators for BRIK-64 monomers.

mc

BRIK-64 Core Monomers — MC_00 through MC_63.