Repository navigation
fix(ci): restore the echidna-core import in live_echidna; bump quinn-proto - #180
Merged
Merged
Conversation
…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 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019a95kk88TZ1iegsBK3kox3
Contributor
|
Warning Review limit reachedYou've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository. Next included review available in 33 minutes. View limit details
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
hyperpolymath
marked this pull request as ready for review
October 14, 2026 09:13
hyperpolymath
added a commit
that referenced
this pull request
Oct 14, 2026
…YAML / I-JSON+JCS / UUID v8 (#179) ## Summary Appends an "Owner norms (2026-10-14)" section to `.claude/CLAUDE.md` for agent sessions in this repository. echidna and proof-burrower get the same text. ## Changes - Decisions are asked with the selector tool. - Work lands as stacked PRs. - Findings are fixed at source before any baseline entry. The exemption ratchet rejects ledger growth unless a `Ratchet-exception:` line names that ledger. - The format standards point at their normative source in `hyperpolymath/standards` rather than restating it: - `3-practice/YAML-POLICY.adoc` §3.4: KYAML, `.kyaml` (D280, D307, D293); - the workflow gate in standards#1025; - `3-practice/JSON-POLICY.adoc`: I-JSON as JCS plus a final LF (D306); - ADR-008: UUID v8 profiles T and C (D305, D305b, D320). - The UUID rule is scoped: `src/ids.rs` still mints records as v7 and content ids as v8 over JCS bytes. Profiles T and C, and the ban on new v7 minting, apply once the `ids.rs` migration lands. This is the wording the owner accepted on proof-burrower#111. The CI fix this PR used to carry (ported from #180: the `echidna_core::trust::axiom_tracker` import in `tests/live_echidna.rs` and quinn-proto 0.11.19) is now on `main` via #180 itself, and the workflow-linter change via #181. Since the merge of `main` (0c7f846), this PR changes `.claude/CLAUDE.md` only. The repo's migration to these formats, including the store's content ids moving to profile C, follows in its own stacked PRs. 🤖 Generated with [Claude Code](https://claude.com/claude-code) https://claude.ai/code/session_019a95kk88TZ1iegsBK3kox3 --------- Co-authored-by: Claude <noreply@anthropic.com> Co-authored-by: coderabbitai[bot] <136622811+coderabbitai[bot]@users.noreply.github.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Turns main's red Rust CI and cargo-audit jobs green. The same commit is ported into #179, so this PR has no diff left once #179 merges.
Changes
tests/live_echidna.rs:echidna-core-sparktoechidna-core, but this test still importedechidna_core_spark::axiom_tracker::DangerLevel, socargo check --all-targetsfailed andrust-ci / Cargo check + clippy + fmthas been red on main since.echidna_core::trust::axiom_tracker::DangerLevel, the pathsrc/trust/axiom_tracker.rsalready uses.Cargo.lock:cargo update -p quinn-proto --precise 0.11.19.rust-ci / Cargo audit (security)andDependency audit.Verification (local)
cargo check --locked --all-targets: pass.cargo fmt --all -- --check: pass.cargo clippy --locked --all-targets -- -D warnings: pass.cargo audit: no vulnerabilities. Three advisory warnings remain: event-listener RUSTSEC-2026-0221 (unsound), and chacha20 and spin, which are yanked.cargo test --locked --test integration_tests --test lifecycle --test property_tests --test seam_test --test smoke, the CI test set: all pass (32 + 23 + 12 + 15 + 8 and the doc-filtered runs).🤖 Generated with Claude Code
https://claude.ai/code/session_019a95kk88TZ1iegsBK3kox3
Generated by Claude Code