조립 결과에서 확인한 범위 읽기

업데이트: 2026-10-11 KST.

Gooo가 본문을 구성한 뒤에는 어떤 사례를 맞혔고 어디서 막혔는지 읽을 수 있어야 합니다. body-construct의 짧은 표는 조립에 사용한 요구와 이후 실행 결과를 나란히 보여줍니다. 팀원에게 결과를 공유하거나 다음에 보완할 사례를 찾는 데 쓰려는 기능입니다.

공개 0.6.28-dev에 첫 후보의 실패 조건과 저장 결과 조회가 포함됐습니다. 실제 공개 실행 파일의 여섯 조회 결과가 보관된 원본과 같았습니다. 당시 구현과 영문 안내와 배포 확인 범위를 함께 볼 수 있습니다.

표에 나오는 세 가지 비율

항목	무엇을 세는가
선택된 본문의 지역 검사	선택한 함수 본문의 소스 사례와 조건
조립에 사용한 호출 결과	후보를 고를 때 실제로 확인한 기대 출력
이후 평가 결과	조립 후 별도 입력 파일로 확인한 기대 출력

예를 들어 보관된 조건·분기 기록에서는 첫 시도의 호출 결과가 0/1이었습니다. 허용한 16회 중 11번째 시도에서 호출 결과 1/1을 얻었고, 이후 평가는 3/3이었습니다. 짧은 표에도 첫 실패와 나중 결과를 함께 남깁니다. 이 수치는 이미 보관된 실행 기록을 표시한 것이며, 표를 확인하려고 모델이나 프로그램을 다시 실행하지 않았습니다.

분모는 각 칸에 적힌 검사 또는 기대 출력의 개수입니다. 입력 하나에서 여러 활동의 출력을 확인하면 출력 개수가 입력 행 수보다 많아집니다. 이후 평가의 입력이 조립 때와 겹치는지도 보여줍니다. 이 비교가 다루는 것은 호출 입력이며, 지역 사례나 모델 학습에 나왔던 입력인지는 별도 확인이 필요합니다.

실제 함수 입력까지 비교하기 (개발)

이 절의 기능은 공개 0.6.29-dev에 들어 있습니다. PR1455는 필수 검사와 호환성 검사를 통과해 dev에 병합됐습니다. 소스와 영문 안내, 공개 파일의 설치 점검에 실제 확인한 범위를 기록했습니다.

호출자 입력이 달라도 내부 함수는 이미 사용한 값을 받을 수 있습니다. 예를 들어 호출자가 값을 제곱해서 보조 함수에 전달한다면 다음 두 실행은 같은 보조 함수 입력을 사용합니다.

시점	호출자 입력	보조 함수가 받은 값
조립 중 확인한 후보	3	9
나중 평가	-3	9

새 결과는 함수에 실제로 들어간 값을 기록하고, 다음 항목을 보여줍니다.

표의 항목	읽는 방법
Constructed input history	입력 이력 관측 상태와 이유. 과거 기록에 이력이 없으면 not recorded
Actual constructed inputs	서로 다른 시작 입력 조합 수와 그중 겹침·새 입력·미확인인 사례 수
Disjoint cases matching every expectation	새 입력으로 판정한 사례 중 적힌 기대값을 모두 맞힌 수 / 새 입력 사례 수

여기서 새 입력 사례 하나는 조립 함수가 실행됐고, 그 모든 호출에 이전에 사용하지 않은 입력이 들어간 경우입니다. 비교하는 이력에는 소스의 출력·중간 조건·보류 사례, 기록한 확인 입력, 실패한 후보를 포함한 모든 호출 시도가 들어갑니다. 시작 입력을 중복해서 적으면 분모는 한 번만 세고, 중복 행의 기대값도 모두 확인합니다. 출력 여러 개의 통과 수와는 단위가 다릅니다.

새 입력 사례가 없으면 이 비율은 미측정입니다. 지역 후보를 점수화하는 동안의 내부 호출은 아직 전부 기록하지 못하므로, 해당 이력이 필요한 사례도 미확인으로 남습니다. 모델 학습 데이터에 등장했는지는 별도 미측정입니다. 이 표는 기록된 조립 과정과 이후 평가의 관계를 읽기 위한 것이며, 실제 측정한 0/N도 그대로 표시합니다.

과거 보고서의 미측정 값은 그대로 읽습니다. 조회 명령으로 과거 실행의 입력 이력을 만들어 내거나 모델을 다시 호출하지 않습니다. 원래 관찰과 후속 변경.

공개 실행 파일로 조립하기

아래 명령은 0.6.29 공개 실행 파일, 같은 버전의 예제 소스와 Go 1.27.2를 사용합니다. 출력 폴더에는 아직 존재하지 않는 이름을 지정합니다.

GOWORK=off GOTOOLCHAIN=go1.27.2 gooo body-construct \
  --source examples/caller-guided-construction/main.gooo.fixture \
  --entry Main \
  --construction-cases examples/caller-guided-construction/construction-cases.json \
  --cases examples/caller-guided-construction/evaluation-cases.json \
  --attempts 2 --out first-construction --format text

--format markdown을 쓰면 공유하기 좋은 표를 출력합니다. 기본값인 JSON에는 전체 시도와 값이 남습니다. --out에 저장하는 Gooo·Go·JSON 파일도 같은 전체 기록입니다. 출력 형식을 고르는 작업에는 추가 모델 호출이나 후보 검사가 없습니다.

첫 후보가 실패한 이유

출력값을 맞혔다는 것과 작성한 중간 조건을 만족했다는 것을 따로 봅니다. 보관된 자체 모델 관측에서는 첫 후보가 출력 8/8을 맞혔지만, 중간 조건은 1/3만 만족했습니다. 표에는 그 조건의 이름, 입력, 기대한 참·거짓과 실제 값을 표시합니다. 최종 프로그램에 쓰인 본문은 출력 8/8, 조건 3/3이었습니다.

지역 후보 4개를 확인한 것과 호출 프로그램 1개를 평가한 것은 서로 다른 횟수입니다. 당시에 모델을 부른 횟수도 이력으로 남기며, 지금 보고서를 읽으며 부른 횟수와 구분합니다. 같은 8개 입력을 조립과 평가에 사용한 관측이므로 새로운 입력에 대한 정답률로 해석하지 않습니다.

이미 저장한 결과만 읽기

원래 조립 명령의 출력 옵션을 --format json > result.json으로 지정하면 전체 결과가 파일에 남습니다. 설치한 0.6.29 공개 실행 파일로 다음 명령을 사용할 수 있습니다.

gooo body-construct --report result.json
gooo body-construct --report result.json --format markdown

조회에는 소스·모델 파일이나 Go 도구가 필요 없습니다. 저장된 프로그램도 실행하지 않습니다. 원본 파일의 식별값과 함께, 표의 값들이 당시 실행의 기록임을 표시합니다. 조회 성공은 파일을 읽었다는 뜻입니다. 당시 조립이 실패했다면 그 실패도 그대로 보입니다. --format json은 원래 바이트를 반환하고, 입력 파일은 최대 32MiB입니다.

--out 폴더의 construction.json이나 evaluation.json은 각각 결과의 일부만 담습니다. 조회 모드에는 전체 표준 출력으로 저장한 result.json이 필요합니다. 기존 --construction 모드는 저장 이력을 재검사하고 평가 프로그램을 실행하는 용도입니다.

로컬 후보 실행 파일은 Go를 찾을 수 없는 환경에서 기존 기록을 읽었고, JSON은 원본과 바이트 단위로 같았습니다. 보관된 두 결과를 세 형식으로 읽는 여섯 경로는 네 플랫폼 준비 검사를 통과했습니다. 실제 공개 macOS arm64 파일에서도 여섯 결과가 기존 기록과 같았습니다.

실패와 미확인 값

실제로 관측한 기대 출력이 모두 틀리면 0/N으로 표시합니다. 실행 도구의 문제로 출력을 관측하지 못했다면 미측정으로 표시합니다. 값 불일치, 계산 실패, 앞선 활동의 실패 때문에 실행하지 못한 출력도 구분합니다.

짧은 표에는 실패한 출력의 실제 값과 기대값을 최대 8개까지 표시하고 나머지 개수를 알려줍니다. 긴 값은 줄여 표시하므로 전체 값은 JSON에서 확인할 수 있습니다. 실패한 명령은 표를 출력한 뒤에도 실패 상태를 반환합니다.

저장한 조립을 불러오는 명령은 기존 이력을 다시 검사하고 현재 평가를 실행합니다. 이 과정에는 모델 파일이 필요 없습니다. 표에는 재실행 여부와 재검사 실패를 남깁니다. 모든 사례를 통과했을 때도 결과가 확인된 범위는 제공한 사례와 후보 공간입니다. 사례를 통과해도 의도가 다른 경우에서 이 범위를 구체적으로 설명합니다.

초기 구현 이력

짧은 표의 첫 구현은 PR1451로 949fe887에 병합됐고, 원래 필수·준비 검사와 병합 후 핵심·준비 검사를 통과했습니다. 당시 자동 main 반영과 변환 기록 복구 검사에서 발생한 실패는 현재 상태에 남깁니다.