Repository navigation
Typed Graph Feedback
확인: 2026-10-10 KST. 작업장 PR56을
원본 PR·push CI를 통과해 main 8302cd7b에 정상 병합하고 설치했습니다.
컴파일러 dev 035e4447은 분기·변수 선택의 전체 재조립과 익숙한 변수 음수 표현을 지원합니다.
작은 부품을 따로 맞춘 뒤 연결했을 때 결과가 달라질 수 있습니다. 이 흐름은 부품의 자체 사례를 남겨두고, 전체 호출에서 틀린 원래 입력을 다시 조립에 넘깁니다. Gooo 규칙이 반례를 고르고, 지정한 컴파일러가 소스의 후보 범위 안에서 조합을 실행합니다.
실행 안내의
개발 컴파일러를 준비하고 assemble --graph의 결과 폴더를 construct --assembly에 넘깁니다.
원래 소스·입력·기대값은 그 폴더에서 읽습니다. 별도 최종 입력은 --holdout-cases로 추가합니다.
현재 로컬 설치 이름은 gooo-typed-dev입니다. 공개 0.6.23/source2b는 앞선 지원 범위를 유지합니다.
다음 명령에서 모델을 생략하면 고정 순서로 시작합니다. 처음 사용한 모델은 자동으로 상속하지 않습니다. 자체 모델을 다시 요청하면 각 새 조립의 초기 레코드 선택 순서에 참여합니다. 후속 프로그램 후보와 마지막 저장 재생은 새 예측 없이 실행합니다.
| 실행 생산자와 후속 모드 | 반복 라운드 | 반복 작업을 포함한 프로그램 시도 | 마지막 별도 입력 | 새 최종 예측 |
|---|---|---|---|---|
| 작업장 f397·컴파일러34, 모델 생략 | 5 | 25 | 3/3 | 0 |
| 작업장 f397·컴파일러34, 기존 자체 모델 요청 | 5 | 26 | 3/3 | 0 |
| 실제 설치 작업장83·컴파일러035, 모델 생략 | 5 | 25 | 3/3 | 0 |
각 실행의 처음 조립은 자체 모델을 한 번 사용했고 호출 기대값 0/1이었습니다.
선택한 본문의 자체 사례 2/2와 조립에 쓴 호출 1/1은 마지막 별도 입력 3/3과 나눠 기록합니다.
정확한 정수 9007199254740993도 포함합니다. 학습 자료와의 관계는 확인하지 않았습니다.
자체 모델은 세 레코드 선택을 받는 작은 QAT 텐서를 사용합니다. 선택 하나인 분기에는 입력 규격이 맞지 않는 이유를 남기고 고정 후보 순서를 사용합니다. 이 예제에서는 모델을 요청한 후속의 시도 수가 줄지 않았습니다.
typed 본문을 일괄 차단하던 작업장 규칙을 제거했습니다. 이제 실제 컴파일러가 지원 범위를 확인합니다.
v7 영수증의 mask·문서·계획 지문과 정확한 지역 사례 값을 다시 읽고 점수를 셉니다.
타입 검사에서 거절된 후보에는 호출 점수를 붙이지 않고 실행 실패도 따로 기록합니다.
초기 typed 영수증에 없는 소스 시도 상한은 budget_known: false로 남깁니다.
소스의 의미와 저장된 프로그램의 동일성은 컴파일러의 네이티브 재생이 검사합니다.
기존 개발 생산자의 원본 · 원본 CI·정상 병합·새 설치본 사용 기록.
병합 뒤 새 소스의 원본 CI도 완료했습니다. 컴파일러035의 37986161996와 작업장83의 37987133986은 각각 attempt1에서 SUCCESS였습니다. 앞선 PR 검사·실험 생산자의 기록과 함께 원본을 보관합니다.