コードは常に正しい

プログラムは書かれた通りに動くので、書かれているコードとシステムの仕様は常に完全に一致する