모두가 동의한 규칙이 코퍼스 규모를 만나면
네 레슨 전에 이 트랙이 정착시킨 게 있어. 아무것도 기각하지 않은 리뷰 라운드는 실패한 리뷰라는 것. 빈 로그는 품질의 존재가 아니라 판단의 부재를 증명하니까. 그 규칙은 측정된 규칙이었고, 맞는 규칙이었어. 그리고 범위 없이 출시됐어. 모든 파이프라인의, 모든 종류의, 모든 라운드가 뭔가를 기각해야 했어. 못 하면 일어나지 않았던 일로 세어졌어.
그게 규모에서 뭘 삼키는지, 숫자를 있는 그대로 말할 가치가 있어. 작업장의 첫 2주 동안, 리뷰 루프가 정당하게 닫혔는지 검사하는 게이트가 시스템 전체에서 가장 많이 실패한 검사였어. 검증 실패 118건 중 79건. 2위의 네 배. 리뷰 체인은 6, 8, 12 라운드까지 갔어. 그리고 지금 읽고 있는 이 퀘스트를 포함한 퀘스트 다섯 개가 결국 기록에 남는 오버라이드로 착지했어. 다른 출구가 없었으니까.
그 규칙이 못 보던 결말
정직한 체인들이 실제로 어떻게 끝났는지 봐봐. 마지막 라운드는 돌아와 보면 실질적으로 수리 재점검이었어. 각 수정이 착지했는지, 근처에서 뭘 부쉈는지. 리뷰어는 통과를 줬고 게이트는 열렸어. 그런데 범위 없는 규칙 아래에서는 그 결말이 불법이었어. 아무것도 기각하지 않은 라운드는 실패니까. 정직한 마무리가 불복종의 형태로 수행되고 있었던 거야.
수리는 뒷문이 아니라 규칙에 빠져 있던 구분이야. 이제 모든 라운드는 둘 중 하나의 종류이고, 요청서가 어느 쪽인지 말해. 콜드 스윕은 새 읽는 사람이 결과물 전체를 읽는 거고, 거기서는 낡은 규칙이 그대로 서 있어. 아무것도 보고하지 않은 콜드 스윕은 결과물을 읽지 않은 거야. 클로즈아웃은 수리 패스 뒤의 모든 라운드고, 범위는 직전 라운드에서 수용된 지적들, 수리 diff, 그리고 그 diff의 반향 지점이야. 질문은 수리가 착지했나지, 밖에 또 뭐가 있나가 아냐. 통과한 클로즈아웃은 설계대로 종료되는 루프고, 그 빈 로그는 훑어보기가 아니라 끝이야.
왜 범위 잡힌 라운드는 수렴하고 전체 라운드는 못 할까? 아흔 파일짜리 결과물의 전체 읽기는 스윕이 아니라 표본이거든. 한 체인에서는 두 번째 전체 라운드가 첫 번째보다 더 많이 찾았어. 12개 대 17개. 같은 도시의 서로 다른 동네를 표본으로 삼은 두 읽는 사람이었어. 새 전체 라운드는 영원히 새 동네를 표본으로 삼아. 클로즈아웃의 범위는 수리 diff고, 수리 diff는 0으로 줄어들어.
등급, 하한선, 그리고 장부
재구축의 다른 절반은 블로커를 전부 똑같이 취급하지 않고 말하는 방법이야. 모든 블로커는 등급을 달아. B1 — 틀리게 가르침. 살아 있는 소스에 어긋나는 사실 오류, 존재하지 않는 메커니즘, 지어낸 인용, 틀린 자릿수. B2 — 내부적으로 깨짐. 양립할 수 없는 걸 주장하는 두 지점, 키가 틀린 퀴즈, 아무도 수행할 수 없는 연습 문제. B3 — 흠. 진짜고, 기록되고, 일부러 하한선 아래에 둬. 흠은 착지를 막는 게 아니라 수리 부채로 안겨. 수리는 읽는 사람이 방아쇠를 당기는 거고, 말씨 실수 하나가 완성된 작업을 인질로 잡을 이유는 아니니까.
닫힘 하한선은 이거야. 열린 B1이나 B2가 하나도 없을 때 루프가 닫혀. 각각이 수리됐거나, 사유가 기록에 남은 보류거나. 사유 없는 보류는 기록이 쓰이는 자리에서 거부돼. 장부 정리는 산문에서 나왔어. 지적은 이제 장부의 행이야. 라운드마다 가져와서 하나하나 수리됨이나 보류로 뒤집어. 다음 라운드의 요청서는 장부에서 생성돼. 수리된 지적은 검증 목록으로 실리고, 보류된 지적은 "다시 제기 금지" 표시를 달고 따라다녀. 이게 지우는 건 손으로 옮기던 집계야. 마무리 라운드를 40 대 43 산수에 쓰는 시간은 읽기에는 못 쓰는 시간이거든.
두 개의 도구, 하나의 판정
클로즈아웃은 범위가 잡혀 있지만 수리는 반향을 남기고, 반향 모양은 두 가지가 압도해. 첫째는 잔여물이야. 철회된 주장이 형제 지점에 살아남는 것. 도구는 두 언어 전부에 걸쳐 퀘스트 전체를 철회된 주장의 특징적인 토큰으로 훑어서, 살아남은 걸 전부 나열하는 스크린이야. 각 히트는 수리되거나 이유가 알려져야 해. 둘째는 퀴즈야. 이 스크린은 단단한 결함에만 착지를 실패시켜. 중복 선택지, 선택지 밖의 키, 언어 간 키 불일치. 그리고 추측 전략 정확도들을 정보로 인쇄해. 분포에 대한 판정은 인용할 가치가 있어. 철학 전체가 한 줄이거든. 퀴즈 백 개 중 아흔아홉 개가 같은 선택지에 꽂혀도 그건 여전히 무작위야. 치우친 키는 결함이 아니고, 이 퀴즈들에는 적대적인 응시자가 없어. 분포는 알려주되 게이트는 안 해.