aria-engine-core
cargoSpec-faithful Aria state machine engine — optical–JEPA–graph dynamical system core with formally verified safety invariants
Audits
No audits for this package yet.
Spec-faithful Aria state machine engine — optical–JEPA–graph dynamical system core with formally verified safety invariants