파일당 하나의 시스템
여기 코드는 에이전트가 작성했습니다. 감사는 사람이 수행합니다. 이는 코드가 구성에 따라 감사 가능한 경우에만 작동하므로 파일당 하나의 시스템, 교차 가져오기 없음, 구현하는 문서의 섹션과 수행해서는 안 되는 작업을 명시하는 모든 파일의 필수 헤더가 규칙이 되었습니다. 읽을 수 없는 단일체는 실행 중에도 방어할 수 없습니다.
제로 매직넘버
모든 저울 값은 교정 파일에서 판독되며 하드코딩되지 않습니다. 그
규칙은 실제 손실에서 나왔습니다.C = 1,0생성기에
하드코딩된 생물체 전체가 11% 더 약해졌습니다. 몇 주 동안 아무도
눈치 채지 못했습니다.
우표가 아닌 증거
시스템별 테스트 외에도 상한선과 멱등성을 입증하는 불변 테스트가 있습니다. 빌드 자체는 통과한 테스트를 통해 시스템별로 감사 보고서를 생성합니다. 최종 규칙은 짧습니다. 재현 가능한 증거가 없으면 통과되지 않습니다.