aria-engine
cargoCLI for the Aria transformer runtime — run Spec-faithful Φ-cycles with invariant checking, trace export, and configurable schedules
Audits
No audits for this package yet.
CLI for the Aria transformer runtime — run Spec-faithful Φ-cycles with invariant checking, trace export, and configurable schedules