result.md

증명 폴더(proofs/<슬러그>/) 안에서 실험 스크립트 run.sh 가 돌면서 직접 써 내는 결과 파일이다. 첫머리 두 줄에 판정과 요약을 적고, 그 아래에 날짜 · 환경 · 반복 횟수와 원본 출력을 그대로 남긴다. 사람이 손으로 쓰거나 줄이지 않는다 — 요약하다 불리한 수치가 빠져도 아무도 모르기 때문이다.