1//! Workspace-level integration tests for AiDENs production crates. 2//! 3//! This package exists to keep `aidens-testkit` as a pure reference 4//! interpreter crate while still running the cross-crate proof suite.