Apply a rigorous coding standard by explicitly stating assumptions, avoiding unsupported claims, and covering both happy and unhappy paths before writing or reviewing code to ensure reliability.
Do not write code before stating assumptions.
Do not claim correctness you haven't verified.
Do not handle only the happy path.
Under what conditions does this work?
