A Soundness Pledge for Rust?
Raph Levien has posted The Soundness Pledge article.
That article gives some INSIGHTS about unsoundness, and undefined behavior, and the unsafe keyword in Rust.
The role of unsafe in Rust and WHEN it should be used and HOW it should be used is considered.
To set expectations for users it is proposed that Rust library authors could PLEDGE that they intend their libraries to be free of soundness bugs and that they welcome help to achieve that.
It is thought that may Rust library authors WOULD make such a pledge, but some WOULD NOT and that is OK.
To my knowledge the point of the pledge would be to let users KNOW the library authors' stance.
Maybe there are cases in REAL WORLD code where unsafe Rust is needed, and is justified, and is used with such great care.
If such a pledge would bring CLARITY to programmers using a library then I can see VALUE in it.
I must keep this proposed pledge in my mind if I am ever a Rust library AUTHOR.