From 1ad700c1079486e58fb6dd0fd9856f78bd594d17 Mon Sep 17 00:00:00 2001 From: Claude Date: Wed, 14 Oct 2026 09:02:03 +0000 Subject: [PATCH] fix(ci): restore the echidna-core import in live_echidna; bump quinn-proto Rust CI has been red on main since #174 re-pointed the trust kernel from echidna-core-spark to echidna-core but left tests/live_echidna.rs importing `echidna_core_spark::axiom_tracker`. `cargo check --all-targets` fails on it. The type now lives at `echidna_core::trust::axiom_tracker::DangerLevel`, the path src/trust/axiom_tracker.rs already uses. Cargo audit fails on quinn-proto 0.11.16 (RUSTSEC-2026-0338..0342, fixed in >= 0.11.18). `cargo update -p quinn-proto --precise 0.11.19` changes only that entry in Cargo.lock. Locally: cargo check --locked --all-targets, cargo fmt --check, cargo clippy --locked --all-targets -- -D warnings, cargo audit (warnings only), and the CI test set (integration_tests, lifecycle, property_tests, seam_test, smoke) all pass. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_019a95kk88TZ1iegsBK3kox3 --- Cargo.lock | 4 ++-- tests/live_echidna.rs | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 17e128b..7cb6b72 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -3079,9 +3079,9 @@ dependencies = [ [[package]] name = "quinn-proto" -version = "0.11.16" +version = "0.11.19" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "2f4bfc015262b9df63c8845072ce59068853ff5872180c2ce2f13038b970e560" +checksum = "0e750cca55fe4f0439a15d0bb529da9651e79993e8e72c61a899a36d462befbe" dependencies = [ "bytes", "getrandom 0.4.2", diff --git a/tests/live_echidna.rs b/tests/live_echidna.rs index 70790a9..8533894 100644 --- a/tests/live_echidna.rs +++ b/tests/live_echidna.rs @@ -8,7 +8,7 @@ //! //! Run: `ECHIDNABOT_LIVE_ECHIDNA_URL=http://127.0.0.1:8081 cargo test --test live_echidna` -use echidna_core_spark::axiom_tracker::DangerLevel; +use echidna_core::trust::axiom_tracker::DangerLevel; use echidnabot::config::{EchidnaApiMode, EchidnaConfig}; use echidnabot::dispatcher::echidna_client::{EchidnaClient, MIN_ECHIDNA_VERSION}; use echidnabot::dispatcher::{ProofStatus, ProverKind};