Structs§
- HashMap
- A hash map implemented with quadratic probing and SIMD lookup.
- Lean
Event - A lightweight Matrix Event representation for Lean-equivalent resolution.
Enums§
- State
ResVersion - The version of the Matrix State Resolution algorithm to use.
Functions§
- lean_
kahn_ sort - A simplified implementation of Kahn’s Topological Sort.
- resolve_
lean - verify_
signature