The artifact is a Rust core (with Python bindings via PyO3) and a set of Python driver scripts that reproduce every experimental table and figure in the paper. It covers six gate sets — `logical`, `clifford`, `clifford-t`, `common-clifford-t`, `clifford-t1/2`, and `clifford-rz(pi/3)` — and includes: - ECC synthesis and pruning (Section 5.1), - a comparison against a naive baseline (Section 5.2.1), - proving identities from existing Quartz ECC sets (Section 5.2.2), - a fixed-point precision study (Section 5.2.3), and - an exportable proof viewer (Section 5.2.4). For evaluation, we recommend a machine with at least 16-core CPU and 32 GB of RAM. A full sweep may take one to two days; you can stop at any point and inspect the partial results, or run a single configuration for a quick check. The most updated documentation is available here.