程式碼說明事實一致性