rigorous-coding

name	rigorous-coding
description	Apply rigorous coding standards. Use when writing, implementing, or reviewing code.

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?