계가 검증 기록

계가가 하는 일

한국식 계가는 「집 + 잡은 돌」을 비교하고 백에 덤을 더합니다. 사이트의 덤은 호선 6.5집, 접바둑 0.5집입니다. 계산 자체는 단순합니다. 어려운 것은 그 전 단계, 판 위의 어떤 돌이 죽었는지와 어떤 빈 곳이 누구의 집인지를 정하는 일입니다.

프로 기보 15판: 공식 결과와 대조

끝까지 둔 공개 프로 기보 15판의 마지막 판을 그대로 계가해 공식 결과와 맞추었습니다. 실험실의 다른 글에서 쓰는 그 15판입니다. 2026년 8월 20일, 사람 기보 모델 9단 조건, 512회 분석으로 돌린 결과입니다.

대회마다 덤이 달라 공식 결과를 그대로 비교할 수 없습니다. 덤 5.5집이던 네 판은 백에 1집을 더하고, 7.5집이던 세 판은 1집을 빼서 사이트의 6.5집으로 옮긴 값과 비교했습니다.

15판 모두 사이트 계가가 덤을 옮긴 공식 결과와 같았습니다. 사석은 판마다 5개에서 35개, 모두 237개였습니다. 가장 많은 판은 2012년 퉈자시와 백홍석의 판으로 흑 27개, 백 8개입니다.

「엔진 예상」은 KataGo가 분석 끝에 내놓는 집 차이 추정치입니다. 계가 결과와의 차이가 평균 0.47집, 가장 큰 판이 1.3집이었습니다. 추정치는 소수로 나오는 예측값이라 반집 단위로 센 결과와 이 정도는 어긋납니다. 사이트가 추정치를 승패로 쓰지 않고 돌과 빈 곳을 직접 세는 이유입니다.

이 대조 전에 한 번 더 한 시험이 있습니다. 2026년 8월 17일, 세 판을 판마다 새로 네 번씩 처음부터 다시 두고 두 번 패스한 뒤 계가했습니다. 열두 번 모두 공식 결과와 같았고, 사석 수·빈 집·잡은 돌까지 네 번 모두 한 값으로 나왔습니다. 같은 판을 다시 세면 같은 답이 나오는지를 본 것입니다.

공배 20판: 고치기 전과 후

2026년 9월, 두 번 패스하기 전에 계가 버튼을 누르면 아직 메우지 않은 공배가 집으로 들어간다는 제보가 있었습니다. 원인은 계산 방식에 있었습니다. 소유 확률은 「앞으로 누가 메울 자리인가」까지 담고 있는데, 이것을 지금의 집으로 셌습니다.

공배가 확실히 남아 있는 판 20개를 만들어 시험했습니다. 제보된 판을 좌표로 옮긴 판 1개, 프로 기보에서 마지막 몇 수를 걷어 낸 판 1개, 규칙대로 두어 끝낸 판 17개, 빅(세키) 판 1개입니다. 20판에 공배가 모두 144점 있습니다. 실제 KataGo를 두 모델로 돌려, 이 144점 중 몇 점을 집으로 잘못 세는지 셌습니다.

고친 방식은 앞의 「집 세기」 칸에 적은 그대로입니다. 소유 확률은 사석과 빅을 가리는 근거로만 쓰고, 한 색 돌로 닫히지 않은 경계는 확률이 아무리 높아도 집으로 세지 않습니다. 같은 시험을 두 번 돌려 두 번 모두 40회 중 40회 통과했습니다. 이 20판은 이제 소유 확률 값을 15가지로 바꿔 넣는 자동 검사에도 들어갔습니다.

같은 날 빅 판에서 하나가 더 나왔습니다. 빅으로 산 두 무리가 각각 가진 한 집짜리 눈이 집으로 들어갔습니다. 한국식 계가에서 빅의 눈은 집이 아닙니다. 서로 눈 하나와 떨어진 공동 활로 둘을 가진 가장 흔한 형태를 코드가 확인할 수 있게 하고, 그 눈을 집에서 뺐습니다. 온라인 대국 계가도 같은 계산을 쓰게 맞추었습니다.

찾아서 고친 것들

틀린 것은 대부분 두 갈래였습니다. 산 돌을 죽이거나 죽은 돌을 살리는 사석 판정, 그리고 집이 아닌 곳을 집으로 세는 경계 판정입니다. 검사도 그 두 갈래를 따라 늘었습니다.

자동 검사

계가 코드를 고칠 때마다 아래 검사를 전부 다시 돌립니다. 이 글을 쓴 2026년 9월 14일에도 모두 통과했습니다.

이 기록의 한계

• 자동 검사는 KataGo를 직접 돌리지 않습니다. 소유 확률을 정해 넣고 그 뒤의 계산을 봅니다. 실제 엔진으로 돌린 검증은 프로 기보 15판(8월 20일, 9월 2일)과 공배 20판(9월 10일)입니다. 9월 10일 수정 이후 프로 기보 15판을 실제 엔진으로 다시 돌린 기록은 아직 없습니다.
• 프로 기보 15판은 모두 한 대회의 속기 기보입니다. 덤을 옮긴 비교는 1집을 더하고 빼는 근사입니다. 대회 규칙이 한국식이 아닌 판도 있어 완전한 대조는 아닙니다.
• 공배 20판 중 17판은 시험을 위해 규칙대로 두어 만든 판입니다. 실제 대국에서 나올 모든 모양을 담지는 못합니다.
• 빅은 가장 흔한 한 형태만 코드가 확인합니다. 그 밖의 빅이나 끝나지 않은 패는 판정하지 않고, 확률이 애매하면 공배로 남깁니다. 이런 판에서는 사람이 사석을 눌러 고쳐야 할 수 있습니다.
• 폰은 탐색이 128회라 512회로 한 검증과 조건이 다릅니다.

직접 확인하기

복기 화면에서 프로 기보를 마지막 수로 열고 「계가」를 누르면 위 표와 같은 판을 사이트가 어떻게 세는지 볼 수 있습니다. 판 위에 사석 표시와 집 표시가 함께 나옵니다. 사석이 가장 많았던 2012년 판으로 열어 두었습니다. 결과가 표와 다르게 나오면 피드백으로 알려 주세요. 그 판이 다음 검사가 됩니다.