조립이 어디까지 왔는지 읽기

Gooo 작업장의 construct는 저장한 호출 결과로 다음 조립을 진행합니다. 현재 main06445a4와 공개 Gooo0.6.23을 설치해 연결했습니다. 처음의 부품 사례, 연결된 프로그램의 호출, 다음 조립에 반영한 실패 입력을 나눠 읽습니다.

줄	읽을 내용
원래 호출·필드	이전 조립에서 확인한 범위
원래 조립 추론	이전 프로그램이 사용한 모델 호출
이번 새 조립	명시한 모델 연결 또는 모델 생략의 결정론적 선택
회차·프로그램 시도	새로 시작한 조립과 회차 간 반복을 포함한 시도
조립 중 마지막 평가	선택과 반례 반영에 사용한 입력의 결과
마지막 별도 입력	선택 뒤에만 실행한 다른 입력의 결과
Gooo의 다음 작업	실제 Gooo 진단이 제안한 문장

기대값이 없으면 0/0과 미측정을 표시합니다. 별도 입력을 실행하지 않았으면 해당 점수를 만들지 않습니다. 전체 JSON을 표준 출력으로 읽는 도구는 옵션을 추가합니다. 원본 보고서는 항상 파일에 남습니다.

gooo-workbench construct --assembly out/first --out out/next --json

원래 모델 조립은 호출0/3·필드3/9였고 추론은2회였습니다. 모델을 생략한 다음 조립은 7회차·127회 반복 시도를 거쳐 평가 필드9/9를 얻었습니다. 선택 뒤 별도 입력은 호출2/2·필드6/6, 새 추론0회였습니다. 요약은13줄이고 원본과 소스는 같이 보관합니다. 원래 전체 JSON은742줄이었습니다. 학습 데이터와 별도 입력의 독립성은 확인하지 않았습니다. 예산1·회차1의 --json 실행은 program-budget-limit 부분 결과를 남겼고 stdout과 저장 보고서가 같았습니다. 원본 보고서·시간·자원 관측.

PR55의 원본 PR CI37972542048과 feature push37972533634가 성공했습니다. 실제 공개 Linux 파일의 체크섬·소스, Go1.27.2, 사례·race·요약·JSON 연결을 확인했습니다. 정상 병합된 main의 파일 트리는 후보d7e와 같고 유일한 부모는 기존 main0d입니다. 설치 파일의 source06445a4, clean VCS와 Go1.27.2도 확인했습니다. 원본 검사·병합·설치.