가져온 함수까지 함께 조립하기

업데이트: 2026-10-09 KST. PR 1402의 필수 CI 여섯 항목과 원본 검증 기록을 확인해 개발 브랜치 138bd5ab에 병합했습니다. 같은 소스를 메인에 반영하는 PR 1403도 병합했습니다. 현재 공개 설치본 0.6.18에 이 기능이 포함됩니다. Go 1.27.2를 사용하며, 공개 실행 파일과 소스 빌드 안내에서 시작할 수 있습니다. 아래 원본 관측은 기존 리비전을 보존합니다.

재시도 도구에서 ‘8번까지 사용했으면 더 늘리지 않는다’는 함수를 가져왔다고 해봅시다. 그 함수의 예제가 0번 사용 → 다음은 1번 하나뿐이면, 경계에서 틀리는 구현도 통과합니다. 실제로 8번 사용, 상한 8번을 넣어봐야 차이가 드러납니다.

gooo package construct는 가져온 함수의 선택지를 남겨두고, 호출 결과를 보면서 다른 조합을 시도합니다. 각 함수의 예제도 다시 확인합니다. 모델이 있으면 처음 살펴볼 순서를 제안하고, 연결하지 않으면 정해진 순서로 진행합니다.

실제로 확인한 결과

두 패키지 예제에서 기존 실행 경로는 호출 조건 1개를 맞히지 못했습니다. 새 조립 경로에서는 타입과 지역 계산이 잘못된 후보 2개를 건너뛰고, 실행 중 0으로 나누는 후보도 기록한 뒤 다음으로 진행했습니다.

시도 한도	선택 후 별도 평가	남은 기록
5회	1/4	실패 후보와 현재까지 고른 부분 결과
6회	4/4	상한에서 멈추는 조건과 올바른 상한 값

조립에 사용한 입력 1개와 이후 평가 입력 4개를 구분합니다. 평가에는 9007199254740993도 포함합니다. 평가 결과를 바꾸어도 이미 고른 코드는 바뀌지 않습니다. 패키지와 함수의 식별 정보, 원래 입력과 기대값, 각 후보의 실패 이유를 함께 저장합니다.

세 패키지 예제도 만들었습니다. 예산 계산과 숫자·조건 조립을 묶은 48개 조합입니다. 기본 순서는 48번, 기존 자체 모델의 순서는 41번 시도해 같은 코드와 평가 4/4를 얻었습니다. 모델 판단은 한 번이었고 약 29µs 걸렸습니다. 전체 명령에는 컴파일과 실행이 더해져 8.42초가 걸렸습니다. 관련된 한 예제의 관측이며, 패키지 구성에 따라 탐색 순서도 달라집니다. 빌드·입력·실제 출력·대조 원본.

사용하기

예제와 명령 전체를 내려받고 공개 0.6.18 컴파일러를 사용합니다. 예제 폴더에서는 다음처럼 실행합니다.

gooo package construct --json --construction-cases construction-cases.json \
  --cases evaluation-cases.json --attempts 6 gooo.workspace.json > construction.json

gooo package construct --json --receipt construction.json \
  --cases evaluation-cases.json gooo.workspace.json > replay.json

저장 재실행은 원래 시도한 조합들을 다시 검사하고, 선택한 코드를 새 평가 입력에 실행합니다. 새 모델 호출은 0회이며 모델 파일도 필요 없습니다. 폴더를 옮겨도 같은 패키지 소스라면 이어 쓸 수 있습니다. 소스나 패키지 연결이 달라지면 새 조립 기록을 만듭니다.

실제 입력으로 쓰기

실제 입력으로 쓰려면, 공개 0.6.18에서 package construct --receipt construction.json --inputs inputs.json gooo.workspace.json을 사용할 수 있습니다. 정답 파일 없이 결과를 한 줄에 하나씩 출력합니다. --json을 붙이면 OBSERVED 기록을 저장하고, 나중에 새 입력이나 정답이 있는 평가에 다시 사용할 수 있습니다. 원래 조립의 완료·미완료 상태는 따로 남습니다. 이 입력·재사용·후속 평가 경로는 네 플랫폼 검사를 통과했습니다. 배포 소스는 13d576ef이며, 0.6.18 실행 안내에 입력 파일, 일반 출력과 나중에 정답을 붙이는 평가 명령을 모았습니다. 실제 입력 네 개와 자체 모델·고정 순서의 대조 원본을 공개했습니다. 큰 정수를 그대로 다루고, 추가 추론 없이 저장 기록을 재실행했습니다.

작업장 PR 44는 이 기록을 읽어 Gooo 규칙으로 다음 작업을 제안합니다. 조립 미완료, 비교할 정답이 없는 상태, 실제 계산 오류를 구분하고 이전 조립의 점수는 따로 남깁니다. 공개 0.6.17로 진단 규칙을 실행한 네 관측과 원본을 공개했고, 작업장 CI와 원본 관측을 확인한 뒤 메인에 병합했습니다.

실패 사례를 넣고 이어 조립하기

작업장 PR 42에서 이 결과를 Gooo로 작성한 다음 작업 선택 규칙에 연결했습니다. 처음에는 쉬운 호출 사례 하나로 시작합니다. 상한에서 틀리면 원래 실패한 입력과 기대값을 다음 조립에 추가하고, Gooo 규칙이 정한 한도까지 다시 시도합니다.

예제	새로 시작한 회차	반복을 포함한 전체 시도	마지막 별도 평가
가져온 예산 함수	5	14	4/4
예산·숫자 조립 함수와 자체 모델	8	105	4/4

회차마다 조립을 처음부터 시작하므로 앞서 시도한 조합도 다시 셉니다. 위의 모델 41번은 한 번의 조립에서 관측한 값이고, 여기의 105번은 실패 사례 반영과 한도 증가까지 포함한 전체 과정입니다. 모델은 새 회차에서 한 번씩, 총 8번 호출했습니다. 마지막 평가는 저장한 조립을 재실행해 새 추론이 0회였습니다.

처음 복사한 패키지 소스와 원래 기대값을 유지합니다. 마지막 별도 평가의 사례는 다음 조립으로 돌려보내지 않습니다. 시도 한도에 도달하면 현재까지 고른 코드와 실패 이력을 남기고 멈춥니다. 로컬 전체 race 검사와 작업장 CI를 통과했고, CI 원본을 내려받아 입력·생성 코드·실패 이유·모델 선택을 대조한 뒤 작업장 main 99a293f7에 병합했습니다. 그대로 남긴 회차별 결과와 재집계, 실행 예제.

이제 실제 작은 도구를 여러 라이브러리로 나누어 만들면서 부족한 표현을 찾아갈 계획입니다.