style: cargo fmt (toolchain drift after 2026-07-01 re-pin)#296
Merged
Conversation
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
hyperpolymath
enabled auto-merge (squash)
July 1, 2026 21:29
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
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.
Reformats the Rust tree with
cargo fmtunder the re-pinned toolchain (rustc 1.95.0 / rustfmt 1.9.0), addressing the formatting drift that has been failing the Cargo fmt job of Rust CI onmain(run 28516280339 class failures) since the 2026-07-01 re-pin (#292).Before:
cargo fmt --checkreported 129 diffs across 85 files. This PR commits the fmt output for 21 of those 85 files — pure whitespace/wrapping changes, no semantic edits.Partial-scope caveat: the remaining 64 files (all of
src/rust/provers/*.rsin the fmt set, plussrc/interfaces/graphql/{schema,resolvers}.rs) also have fmt drift, but their headers carry a non-canonical owner line (ECHIDNA Project Team, noJonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>), so the repo pre-commit licence hook rejects them. Licence-header edits are owner-gated (per CLAUDE.md: historical drift on individual files is owner-managed, not reconciled in routine PRs), so those files are excluded here and theCargo fmtjob will remain red until their headers are owner-reconciled (or fmt-committed by the owner). Full list in the PR discussion below if needed;src/rust/main.rswas never in the fmt set.🤖 Generated with Claude Code