gd13 통째 짐에서 비율 규칙 반박하기의 미공개 empty·singleton·tie-heavy·counterexample·integrality-change·objective-change·overflow·scale fixture에서 AI 없이 contract·ordered choice trace·proof 또는 최소 반례·independent optimum·human verdict를 작성하고 deterministic replay evidence를 제출한다.
AI가 제안한 통째 짐에서 비율 규칙 반박하기 설명에 local-is-global·example-is-proof·fractional-to-integral copy·weighted interval earliest-finish·negative-edge Dijkstra·heap-is-proof·hidden tie·approximation-is-exact·market-is-standard·API-is-runtime 중 하나 이상을 심어 공식 source와 독립 oracle로 찾아 수정한다.