정해진 문구와 타입 붙은 거절
짧은 하네스 문구는 살아 있는 상태로 들어가는 연결부야. join anvil queue #N, join anvil bench #N, join anvil examiners #N, join anvil synthesis #N, anvil next round #N은 모두 지금의 대기열과 규약을 다시 푸는 데서 시작해.
참가에 성공하면 역할과, 역할에 있을 경우 가면과, yard와 단계와 접점과, 예상값 대 실제값의 정체 사실을 돌려줘. 이어서 하는 재참가는 이미 가진 가면이나 맞는 조합을 쓰고 그 단계의 회전 폴더로 들어가. 이야기가 아니라 서버의 영수증이 자리를 증명해.
거절에는 변하지 않는 규약 코드가 있어. leg_not_open은 Relay의 구간이 지금 차례가 아니라고 말하고, phase_role_mismatch는 역할이 안 맞는다고, mask_not_open은 열린 단계 바깥의 이어가기를 거절해. diagnosis_required는 Restoration의 이른 완료를 막고, phase_unresolved와 bench_phase_next와 no_phases는 아빠의 전진 동작을 지켜.
문구는 쓸 때마다 지금 상태를 다시 풀어야 해. 이게 모든 경우에 같은 결과를 약속하지 않는 결정성이야. 판이 바뀌면 같은 말이 뒤 단계를 적법하게 고르거나 충돌을 돌려줄 수 있어.
풀고, 한 번 움직이고, 영수증이나 타입 붙은 코드를 그대로 보고해. 살아 있는 규약이 의미를 소유하니까 짧은 문구가 안전한 거야.