neberu 0.0.0

Exact geometric algebra from the balanced ternary axiom. Governed rewriting, self-certifying canonicalization via the Kase Optimality Theorem.
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

// ============================================================
// NEBERU v0.2 — KERNEL
// ============================================================
//
// From the Trit axiom to KOT self-description.
// Minimal Rust. The rest is .neb.
//
// Construction web (not a chain — a web):
//
//   Trit ──────────────────────────── the axiom
//     ├─► Tern  (packed t64)          sequence of Trits
//     │     └─► Rat  (Tern,Tern)      ratio
//     ├─► Gen   (Trit, u32)           typed generator
//     │     └─► Word (Magma<Gen>)     sequence of Gens
//     │           └─► Expr            Rat-weighted Words
//     │                 └─► Geoit     (Governance, Expr)
//     └─► Governance (Word→Expr)      rewrite rules
//           ├─► Trace                 canonicalization record
//           └─► TraceWalk             Wlk<TraceGen>
//                 └─► KOT            optimality as Trit
//
// Zero floats. Zero unsafe. Zero external dependencies.

pub mod encoding;
pub mod expr;
pub mod gen;
pub mod geoit;
pub mod governance;
pub mod inspect;
pub mod loader;
pub mod rat;
pub mod size;
pub mod tern;
pub mod trace;
pub mod trit;
pub mod word;