Looking over the list I determined that I already regularly follow all the rules but the first three.

But, as a C#/C++/Typescript developer, I don't have the first clue how any I might go about implementing those rules.

Anybody know of patterns for this kind of safe programming that I can use?

Does just using a language like Zig automatically make my code 'safe'?

Anybody know if generating code from a proof checking language like Lean would satisfy all these rules?