Skip to content

CONTRIBUTING.md

Latest commit

 

History

History
12 lines (9 loc) · 396 Bytes

CONTRIBUTING.md

File metadata and controls

12 lines (9 loc) · 396 Bytes
Raw

Contributing

Run before sending changes:

cargo fmt --all --check
cargo clippy --workspace --all-targets --all-features -- -D warnings
cargo test --workspace --all-features
cargo doc --workspace --all-features --no-deps

Keep classifications conservative. Do not claim runtime behavioral equivalence unless a documented verification subsystem proves it under explicit assumptions.