Hacker News Reader

It has not been done yet, it is a work in progress, but it is being done. https://ferrous-systems.com/blog/sealed-rust-the-pitch/

My point is that solicitations for grant money do not provide the assurance that products that actually exist do.

Sure, I am here to state the current state of the world and point to the most up-to-date way to find out what the status is, that's it.

So... it hasn't been done

That is what I said, yes.

(Though, as pointed out by a sibling, there is a subset that is.)