분기를 만들고, 실제 결과로 고르고, 그대로 다시 실행하기

0.6.24는 PR1434의 원본 CI·배포 계약·네 플랫폼 실행 검사를 통과해 dev366ee6ef에 정상 병합했습니다. 병합 뒤 원본 push CI38003560790과 네 플랫폼 실행 검사38003560817도 통과했습니다. 원본 공개 배포38005402704가 통과해 v0.6.24-dev의 파일9개를 공개했습니다. 실제 macOS arm64 공개 파일을 내려받아 체크섬·버전·소스를 확인하고 로컬 gooo에 설치했습니다. 기존0.6.23 태그와 기록은 유지됩니다.

main으로의 소스 승격은 같은 dev 트리와 main 부모를 가진 PR1435의 원본 CI38005531779·v5 증거를 확인해 main389b5cf7에 정상 병합했습니다. main과 공개 소스dev366의 파일 트리는 같습니다. 병합 뒤 원본 main CI38007117743도 필수 여섯 검사와 증거 수집을 마쳐 성공했습니다. 승격 원본에 실제 부모·트리·검사·병합을 남겼습니다. 자체 PC 판단 모델의 개발과 새 반례는 경로별 모델 기록을 참고하세요.

이번에는 기능이 있는 곳들을 한 사용 흐름으로 연결했습니다. 실행 가이드의 예제를 소스 폴더에서 따라갈 수 있습니다.

작은 예제로 이해하기

함수에 두 가지 분기 구성이 있다고 해봅시다. 둘 다 입력0에는0을 돌려주면, 그 사례만으로는 어느 쪽이 필요한지 알 수 없습니다. 호출하는 프로그램이 입력3에는6이 필요하다는 기대를 주면 두 구성을 실제로 실행해서 고를 수 있습니다.

Gooo 소스는 허용한 구성과 사례, 시도 한도를 갖습니다. 컴파일러는 그 범위에서 만들고 실행합니다. 로컬 함수의 사례와 호출자의 사례는 각각 기록합니다. 선택한 소스와 기록을 저장한 뒤에는 같은 프로그램을 새로운 입력으로 다시 실행합니다.

모델은 어느 부분에 쓰나

현재 자체 모델은 작은 레코드의 세 필드 선택에 사용할 수 있습니다. 가이드의 혼합 예제에서는 레코드에1회 호출하고, 선택이 하나인 분기에는 형식이 맞지 않는 이유를 남겨 결정론적으로 진행합니다. 모델 확인 명령은 실제 구성과 같은 입력 인코더를 쓰며, 예측과 사례 실행은0회입니다.

깨끗한 후보d69로 직접 실행한 혼합 예제는16회 한도에서11회 시도했습니다. 처음 로컬 사례2/2는 맞았지만 호출자의 사례는0/1이었습니다. 마지막에는 호출자1/1, 다른 입력3/3, 저장 재실행3/3을 통과했습니다. 재실행의 새 모델 호출은0회였습니다. 각 숫자는 해당 사례들의 결과이고, 모델 학습에 그 입력이 있었는지는 UNKNOWN입니다.

배포 검사에는 같은 흐름의 원본 출력 네 개를 남기도록 했습니다. 큰 정수를 반올림하거나, 호출자 실패를 성공으로 바꾸거나, 호출 횟수를 지우면 검사가 실패합니다. 후보 원본 기록에 소스·모델·입력·검사 기록을 묶었습니다.

참고한 접근

Microsoft Decision-1의 유한한 결정 문제 접근과 Michael Lynch의 문서 작성 조언을 참고했습니다. Gooo에서는 기존 작은 모델과 실행 예제를 먼저 쓰는 방식으로 적용했습니다. Zotero 개발 회고는 사용자가 하려는 일을 기존 도구들과 연결하며 발전시키는 사례로 읽었습니다.

새 대형 모델, 새 캐시 서비스와 새 조정 계층은 이번 후보에 추가하지 않았습니다. 현재 분기·할당·피연산자 선택과 저장 재실행을 사람들이 따라 쓸 수 있도록 배포와 문서를 맞추는 중입니다.