m05-type-driven

What it does: This skill teaches an AI coding helper a technique in the Rust programming language for preventing mistakes before a program even runs, by designing the data itself so that wrong or impossible situations simply cannot be created. Instead of checking for errors while the program is running, it encourages building special wrapper types for things like an email address or a user ID, and using step-by-step type changes to make sure, for example, that a network connection cannot be used before it is properly connected. It gives example code and a decision guide for choosing the right technique for a given situation. When to use it: Use it when designing new data structures in a Rust project, especially when trying to avoid runtime checks, loose boolean flags, or optional values in favor of designs that let the compiler catch mistakes automatically.