Current Status

현재 상태와 지원 범위

조회 기준: 2026-10-04 KST. 아래는 이 문서를 갱신하며 확인한 공개 상태입니다.

코드·모델·배포 위치

현재 사용 기준은 깨끗한 main 7da09722· Go1.27.1·SDK v0.2.21입니다. 개발 #1206과 main #1207은 각각 자체 CI와 독립 소스 증거 후 정상 병합했고, CLI와 바디 실행기를 함께 새로 설치했습니다. 개발 #1210과 main #1212도 같은 트리와 독립 증거 확인 후 병합했습니다. 두 실행기를 main 7da09722에서 Go1.27.1로 다시 빌드·설치했고 모델·결정론 코드젠 선택과 별도 실행 11/11을 재확인했습니다. 설치본의 모델 파일 교체 128회는 해제·시간 초과 0회, 정상 35회는 4,480/4,480입니다. 별도 일반 실행 1,024/1,024, 한영 동시 실행 512/512, 실제 내려받은 모델의 작은 예제 6/6도 확인했습니다. 명령부터 따라하기 · 전체 원본과 설치 근거.

연구 소스 695f5bc8의 CI37168510833도 전체 성공했습니다. 각 기록의 소스를 자기 Git 리비전과 검증해 열네 소스 변경을 보존하고, 로컬·Linux의 18,432개 입력 재현을 비교했습니다. 명시적 산술은 값·전체 순위·충족 곡선이 같고, 과거 산술의 272개 순위·38개 충족 곡선 차이는 남아 있습니다.

대상	확인한 상태	읽는 방법
조건식이 있는 본문 경로	개발 #1210·main #1212 병합·설치. main 7da09722, CI run 37180057186과 독립 증거 PASS	>, >=, !=, !를 기존 타입 비교로 낮춥니다. 모델·결정론이 같은 본문과 digest, 선택 사례 5/5·설치본 별도 실행 11/11. 이 한 과제에서는 모델이 기본 경로를 처음 골라 후보 3개를 검사했고 결정론은 2개를 검사했습니다. 연구 결과와 재현
공동 모델의 후속 파일 열기	SDK #6 병합, v0.2.21 공개·컴파일러 설치 반영	SDK20의 실제 대기를 보존하고 단일·공동 모델의 Unix 비차단·링크 미추적 열기로 수정. 설치 SDK21의 128회 교체와 4,480/4,480, 정상·동시·작은 예제 유지. 원본과 범위
현재 파일·모델 사용 가이드	개발 #1204·main #1205 각각 자체 CI·독립 소스 증거 후 정상 병합. main fb91905f	모델 생략 시 결정론, 요청한 모델의 준비 실패, 미관측과 실제 0점, 프로필별 파일 규칙과 시간·CPU 범위 설명. 설치 관측의 핀은 d1bfd273
SDK v0.2.21 컴파일러 연동	개발 #1206·main #1207 각각 자체 CI·독립 소스 증거 후 정상 병합·설치	후보 128회·4,352/4,352와 새 설치 128회·4,480/4,480을 따로 보존. 정상 1,024/1,024·한영 동시 512/512·실제 다운로드 예제 6/6. 시간·CPU 범위와 이전 오류 보존
생성 전 입력·모델 파일의 대기	개발 #1202·배포 #1203 각각 자체 CI·독립 증거 확인 후 정상 병합	새 설치본 64회 경로 교체에서 해제·시간 초과 0회, 일반 파일 Go·4,224/4,224 유지. 모델 정보·가중치 FIFO도 해제 없이 오류·종료. 정상 1,024/1,024와 실행기 동시 요청 512/512. 프로세스 CPU 시간과 전체 시간을 함께 보존. 입력과 원본
기대값 미관측·실제 0점 표시	개발 #1200·main #1201 병합·설치	실행 전 실패는 unobserved, 실제 출력·재실행 뒤 0점은 0/128. 정상 8회·판단 4회·실행 16회에서 1,024/1,024 유지. 고의적인 기대값 변경 0/256·세 오류·아홉 합성 상태를 별도 기록. 다음 작업과 지표 읽기
실행 도구 FIFO의 대기·실패 안내	개발 #1198·main #1199 병합·설치	Unix 비차단 열기와 실제 파일 종류 검사. 후보 전체 CLI 604.14ms, 새 설치 19.665ms에 오류 반환. 준비 조건별 원본 보존. 96회 일반 비교에서 12,288/12,288·생성 Go 유지. 실패와 다시 실행하기
반복 파일 해시의 할당·실패 표시	개발 #1196·main #1197 병합·설치	32KiB 보관 배열로 재사용 해시 할당 약 33.5→0.8kB. 96회 비교에서 12,288/12,288와 생성 Go 일치. 설치 8회·4회 판단·16회 실행에서 1,024/1,024, 공구 조회 실패도 보존. 범위와 사용법
과거 모델 결과의 재현	연구 PR #1 병합, Linux 19개 검사 통과	환경마다 18,432개 기록·24개 모델 파일 일치. 원래 101개 요약 차이·272개 순위 차이도 보존. 두 결과 읽기
컴파일러 개발 소스	66ac5da5, #1206 병합	SDK21의 한정된 모델 읽기를 연결하고 현재 사용 가이드를 유지. 실제 후보 관측과 소스 증거 확인. 입력과 관측
바디 단계별 시간·파일 지문	개발 #1194·main #1195 병합·설치	--timing, --verify-timing --out 추가. 두 후보에서 192회 생성·96회 판단·384회 실행, 24,576/24,576 유한 기대값과 원래 생성 Go 일치. 구간·범위·사용법
기본 브랜치·로컬 설치	#1207 병합, 4f6c7566	필수 여섯 검사·독립 증거·현재 소스 결속 후 두 실행기 함께 설치. 일반 1,024/1,024·동시 512/512·파일 교체 4,480/4,480·작은 예제 6/6 유지. 첫/반복 시간과 전체 프로세스 CPU·EOF 종료 확인. 현재 설치와 원본
파일에서 바디 조립·실행	개발 #1186·main #1187 병합·설치	gooo body-path-run으로 이름이 다른 활동과 레시피/전체 타입 계획을 사용. 결과 저장, 반복·실행파일 재사용과 종료 상태 안내. 사용법
owned runtime 결과 비교	개발 #1188·main #1189 병합·설치	completeness-delta에서 정확한 부모와 v2 소유·빌드·관측 연결을 확인. 변경된 기대값·단위·분모를 보존. 명령과 읽는 순서
여러 줄 바디 작성	#1190·#1191 병합·설치	백틱 computes 문자열로 조건·변수·대입 작성. 생성 Go 8/8 일치, UTF-8 오류 위치 보존. 설치 반복 응답 77–94ms와 앞선 28–33ms를 모두 기록. 작성법
반복 Go 도구 확인 보관	개발 #1192·main #1193 병합·설치	기존 한영 입력 반복 응답 중앙값 79.91→63.69ms, 현재 자식 CPU 31.21→13.37ms. 12,288/12,288 기대값·생성 Go 일치. 설치 모델 반복 76.82·74.07ms와 원본도 기록. 새 학습·의도 과제 0개. 사용·범위·기록 읽기
저장된 후보·피드백 재현	실험 저장소 #19 병합	Go1.27.1에서 기존 52개 생성 프로그램과 원래 93/96·수정 96/96 후보를 실제 재실행. 189개 새 결과 파일 대조, 계획 96개·피드백 32묶음 결속. 로컬·Linux 통과. 실행법과 지표 읽기
최근 컴파일러 배포 태그	v0.6.0-dev, 2026-09-29	해당 태그 시점의 프리릴리스
Go SDK	v0.2.21-experimental	기존 후보 재사용 API에 단일·공동 모델 파일의 읽기 수정 추가. Unix에서 열린 파일을 검증한 뒤 제한된 바이트만 읽음. 설치한 컴파일러와 실행기 모두 같은 SDK21
후보 준비 재사용의 컴파일러 연결	#1178·#1179 병합	512회 생성·1,024회 실제 실행 비교 완료, dev·main·로컬 설치 반영
반복 조립 명령의 사용성	#1180·main #1181 병합	gooo body-path-stream으로 별도 워커 빌드 단계 축소. 모델 생략 시 결정론 처리. 설치본 4회 생성·8회 실제 실행·32/32 기대값 확인, 두 번째 모델 요청의 준비물 재사용
레시피 안의 원본 검증 재사용	#1182·main #1183 병합·설치	한 요청 안에서 같은 검증 결과를 사용. 512회 생성·1,024회 실행 결과 유지. 교차 측정의 전개 중앙값 0.371→0.292ms, 호출당 할당량 약 729→572KB
한 명령으로 생성·실행하기	Go 예제와 사용법	응답이 나오면 즉시 컴파일해 실행. 로컬·Linux 각각 4회 생성·8회 실제 실행과 32/32 기대값 확인, 결과와 시간 기록 보존
실행파일 보관과 즉시 실행	#1184·main #1185 병합·설치	--execute, Go 예제의 --retain-native. 512회 생성·1,024회 실행에서 기존 미충족까지 유지. 반복 실행 관측 중앙값 294→29ms, 현재 자식 CPU 215→9.8ms. Linux 후속 32/32 기대값 확인
관측 결과 재사용	#1162와 #1163 병합	dev·main 반영과 로컬 설치 완료
유일 후보 직접 조립	#1164와 #1165 병합	dev·main·로컬 설치 반영 완료. 새 관측과 재사용 관측 모두 모델 판단·탐색 0회로 조립
언어 방향 문서 갱신	#1166과 #1167 병합	dev·main의 여섯 검사와 원본 증거 확인 완료
소스에서 짧은 조립 계획 만들기	#1168와 #1169 병합	dev·main 전체 CI·원본 증거 확인, 로컬 설치 완료
공개 소형 모델	gooo-shared-judgment-tiny-v1	자체 학습 모델, FP32/PTQ/QAT, 날짜별 원본 증거
상수 바디 조립	#1170과 #1171 병합	return 2 - 3 같은 입력 미사용 함수의 조립. dev·main·로컬 설치 반영 완료
연속 조건식 조립	#1172와 #1173 병합	소스 조립 계획의 else if 지원. dev·main 전체 CI·원본 증거 확인, 로컬 설치 완료
소스 구조를 작은 모델 입력으로 관찰	#1174와 #1175 병합	dev·main·로컬 설치 반영 완료. 48바이트 순서 표현에 이어 전체 후보 판단기 학습·공개
전체 후보 판단기	gooo-order-judge-tiny-v1	독립 학습 4,096 파라미터·FP32 16 KiB. 컴파일러 내부 판단으로 256회 생성·512회 실제 컴파일된 실행 완료
전체 후보 컴파일러 연결	#1176과 #1177 병합	dev·main 전체 CI·원본 증거 확인, 깨끗한 main 설치본 재현 완료

현재 사용할 수 있는 언어 경로

경로	지원 내용	확인 범위
선언 검사와 Go 구조 생성	Entity·Activity·안정적 ID·관계 검사와 생성	원본 선언과 생성 구조의 연결
단일 소스 run	선언의 입력·출력 전이 해석	결과에 명시된 실행 계약
바디 생성	Integer·Boolean·Text, let, 대입, if/else, return	한 입력, 지원되는 결과 타입, 닫힌 문법
소형 모델 경로 조립	조건·참조·대입·분기·순서의 허용된 선택 조합	현재 모델 연구는 제한된 Integer→Integer 과제
실패 피드백	실제 유한 예시의 실패로 남은 경로 재정렬	입력·기대값·결과·시도 예산을 기록
파일 조립·즉시 실행	소스·활동·계획·현재 기대값에서 Go 생성·빌드·실행·저장	순수 Integer→Integer, 실행 입력 1..128개, 순차 반복 1..16회
모델 없는 실행	선언된 순서와 대체 경로로 결정론적 진행	모델 호출 수 0
완전성 비교	이전·이후 관측, 미해결 항목과 회귀 비교	completeness-delta와 각 결과의 명시된 범위

시작하기 · 모델과 코드 조립 · 고정 소스의 상세 계약

다음 개발은 최근 연구와 작은 기능을 따릅니다. 학습 없이 다음 관측 입력을 고르는 Go SDK API와 컴파일러 연결을 구현했습니다. 같은 결과의 재계산을 줄였고, 관측으로 후보가 하나 남으면 바로 조립하는 경로를 추가했습니다. 연산 순서 표현과 조립법 재사용을 이어갑니다.

최근에는 Gooo 바디에서 타입이 있는 기본 계획을 계산하고, 바꿀 위치만 짧게 지정하는 조립 계획을 구현했습니다. 피연산자·분기·참조·대입·문장 순서를 다룹니다. 사용법과 현재 지원 문법. dev·main과 로컬 설치본에 반영됐습니다.

최근 확인한 진전

• 파일 실행 명령을 main에 병합하고 설치했습니다. 한영·모델·결정론 네 조건의 반복 응답은 약 29–33ms, 최초 모델 응답은 496.27·474.29ms였습니다. 128개 정수 입력의 기대값을 각 요청에서 새로 검사했습니다. 현재 자식 CPU·RSS, 모호한 원본의 실패와 관측 후 성공도 별도 기록으로 남겼습니다. 정확한 분모·실패·설치 및 모든 원본.
• SDK에서 전체 후보 준비를 재사용하도록 했습니다. 같은 16 KiB 모델로 추가 학습 없이 탐색 중앙값이 기존 357µs, 매번 준비하는 새 경로 244µs, 준비물 재사용 4.83µs였습니다. 이것은 SDK 구간의 비용입니다. 컴파일러의 소스 결속·생성 비용은 다음 관측에 따로 기록했습니다. 측정 범위·초기 메모리 측정 문제·모든 원본.
• 후속 컴파일러 API 관측을 완료했습니다. 같은 계획의 두 번째 생성 중앙값은 신규 생성기 1.02ms, 후보를 보관한 생성기 0.69ms였고, 조립 계획 전개와 모델 준비까지 합하면 2.22→1.63ms였습니다. 512회 생성·모델 판단과 1,024회 실제 실행에서 기존 결과가 일치했습니다. 최대 여덟 번 조건은 64/64 완성, 한 번 조건은 기존 52/64 완성을 유지했습니다. 원본·초기 도구 오류·전체 비용.
• 전체 후보 판단기는 64개 한영 요청으로 CPU에서 400번 학습했습니다. 개발 집합 96건의 첫 선택 완성은 결정론 48건, 모델 82건입니다. 고정 가중치로 같은 기능의 후보를 재사용하면 실제 후보 평가가 144회에서 110회로 줄었습니다. 96/96 요청·768/768 유한 기대값이 충족됐고, 전체 탐색 중앙값은 322→339µs로 늘었습니다. 960회 실제 탐색과 480회 모델 판단, 모든 회귀·비용을 공개했습니다.
• 새 모델의 컴파일러 내부 연결에서는 추가 학습 없이 256회 생성·128회 판단·512회 컴파일된 실행을 완료했습니다. 기존 개발 과제 64개에서 첫 시도 완성은 결정론 32개, 모델 52개였고 최대 여덟 번 시도하면 모두 완성했습니다. 실제 후보 평가 96→76회, 생성 중앙값 8.58→9.26ms, 최대 RSS 중앙값 17.56→18.60MiB입니다. 원본과 비용·실패.
• 네 학습 조건, 열두 FP32/PTQ/QAT 모델을 6,400회 로컬 GPU 업데이트 후 공개했습니다.
• 같은 개발 집합의 첫 경로 전체 예시 충족 수는 FP32 대조군 113/512, 전체 문장 조각 조건 368/512였습니다.
• 플랫폼별 계산 순위 차이 272건을 기록했고, 계산 규칙을 명시한 후 18,432개 입력 쌍의 중간값과 전체 순위를 일치시켰습니다.
• 컴파일러 e461c1d와 SDK v0.2.15로 400회 생성, 816회 모델 판단, 800회 실행을 관측했습니다. 9,600개 기대값과 192개 저장 표현 비교 쌍이 일치했습니다.
• 최근 관측 재사용 비교에서는 자체 소형 모델을 120회 호출했고, 새 학습 없이 96회 생성과 192회 실행을 마쳤습니다. 기준 함수를 쓴 조건은 288/288 기대값을 충족했고, 모든 대조군을 포함하면 396/576입니다.
• 재사용은 요청당 후보 평가를 33회에서 14회로 줄였습니다. 모델 연결 시 전체 생성 시간 중앙값은 9.21ms에서 9.37ms로 소폭 늘어, 전체 속도 개선은 다음 과제로 남았습니다.
• 이어진 직접 조립 실험에서는 120회 생성·240회 실행을 기록했습니다. 확정 경로 24개 요청은 모델 호출·추가 탐색 0회로 144/144 기대값을 충족했습니다. 모델 요청 조건의 생성 중앙값은 재사용 후 탐색 9.49ms, 직접 조립 8.27ms였습니다. 같은 한 과제의 측정입니다.
• 순서 표현 사전 실험에서는 기존 V4가 같은 특징으로 만들던 32쌍을 128바이트 절 연결 배열로 구별했습니다. 기존 V3 위치 표현도 이 쌍들을 구별하며, 새 배열에는 반복 순서 충돌이 남습니다. 실제 기존 모델 호출은 64회였고 새 특징의 학습은 아직 진행하지 않았습니다.
• 짧은 조립 계획 실험은 24회 생성·48회 실행과 자체 모델의 공동 판단 6회를 기록했습니다. 12쌍의 전체 계획·짧은 계획은 같은 코드로 조립됐고, 압축 JSON 작성량은 약 63% 줄었습니다. 기준 함수 조건 72/72, 모든 조건 84/144의 실행 기대값을 충족했습니다. 모델 연결 생성 중앙값은 8.14→8.60ms로 늘어, 추가 전개 비용도 기록했습니다. 원본과 한계.
• 상수 바디 후속 실험은 6회 생성·12회 실행·자체 모델 판단 3회로 36/36 기대값을 충족했습니다. 모델 사용 시 후보 평가 5→7회, 생성 중앙값 9.21→9.73ms, 최대 RSS 중앙값 17.42→19.31MiB였습니다. 이 한 과제에서는 결정론적 경로가 더 경제적이었습니다. 모든 시도와 비용.
• 연속 조건식의 범위 제한 함수는 6회 생성·12회 실행에서 42/42 기대값을 충족했습니다. 양쪽 모두 첫 후보로 완성했고 자체 모델 판단은 3회, 추가 학습은 0회였습니다. 생성 중앙값은 모델 미사용 7.96ms, 사용 9.23ms였습니다. 첫 미사용 실행의 367.18ms도 보존했으며, 한 과제에서의 결과입니다. 선택 범위와 원본.
• 앞선 연산 순서 실험에서 첫 시도 완성 요청은 결정론 8/16, 기존 위치·빈도 모델 각각 6/16이었습니다. 최대 8개 경로를 시도하면 세 조건 모두 16/16 요청을 완성했습니다. 원본 대입문 순서를 바꿔도 모델 입력이 같아지는 반례를 발견했고, 이후 위의 전체 후보 판단기에 코드 대안의 연산 순서를 담았습니다. 수치·실패·원인.
• 후속 구조 표현 사전 실험은 실제 소스의 순서 반전 24쌍을 구별했고, 변수명 변경 16쌍과 교환 가능한 피연산자 변경 16쌍에서는 같은 표현을 유지했습니다. 선택지당 48바이트를 사용합니다. 해당 사전 실험은 48개 구조 추출, 새 모델 판단·학습·실행 0회였으며, 이후 모델 학습과 실제 실행은 위 항목에 따로 집계했습니다. 입력 표현과 범위.

각 숫자의 분모, 실패한 조건과 원본 자료는 지표와 증거에 연결했습니다.

계속 해결하는 문제

문장 표현 변화, 연산 순서 구분, 한·영 의미 연결, 더 넓은 타입과 새로운 과제에서의 품질을 연구하고 있습니다. 기존 통합 실행 400건의 첫 미해결 항목은 permission_boundary입니다. 유한 동작 확인과 실행 권한의 관측은 각각의 항목에 남습니다.

전체 데이터 분할과 열한 표현을 비교하는 다음 프로토콜은 공개했습니다. 이 페이지에서는 계획된 호출 수를 완료된 결과에 합산하지 않습니다.

검증과 변경 반영

전체 후보 판단기의 main CI 37100166540도 전체 성공했습니다. 원본 증거와 실제 dev·main 연결을 독립 확인한 뒤 일반 PR 병합으로 반영했습니다. 설치본 98701e47의 16회 생성·모델 판단 8회·컴파일된 실행 32회에서 128/128 기대값이 일치했습니다. 전체 순위와 선택 기록도 기존 관측과 같습니다. 설치·CI 원본 · 직접 실행하는 한국어 예제.

전체 후보 판단기의 dev CI 37099085714는 여섯 필수 검사와 전체 워크플로를 통과했습니다. 내려받은 원본 증거를 독립 확인한 뒤 #1176을 병합했습니다. 별도의 개발 브랜치 호환성 진단은 고정된 과거 v17과 비교하며 AXIS_MISMATCH를 냈고, 변경 전 실행에서도 같은 실패를 확인했습니다. 선택적 AI 보안 검사는 월간 한도로 시작되지 않아 검토 결과가 없습니다. 이 두 항목을 통과로 집계하지 않습니다.

연구 저장소 CI 37099147973는 17개 작업 중 16개가 통과했습니다. 새 전체 후보 재현 검사는 통과했고, 기존 full-input-initial-replay의 과거 산술 비교 실패 한 건은 계속 보존하고 있습니다.

관측 루프의 dev 검사 37081773326과 main 승격 검사 37083395642는 여섯 필수 검사와 증거 묶음을 통과했습니다. 두 결과의 원본 증거와 소스 연결을 확인한 뒤 일반 PR 병합으로 반영했습니다.

연구 저장소의 후속 검사 37084031708에는 이전 계산 방식의 플랫폼별 산술 재현 차이가 남아 있습니다. 명시적 계산 규칙을 쓰는 separate-arithmetic-replay는 통과했고, 과거 결과 비교 실패도 원본 로그로 보존합니다.

관측 재사용의 dev 검사 37083886767는 여섯 필수 검사와 독립 증거 확인을 통과한 뒤 병합했습니다. 각 검사 기록은 그 소스 시점의 근거이며, 현재 설치 소스와 새 실행 결과는 위 표에서 확인할 수 있습니다.

재사용의 main 검사 37085326320도 전체 성공했습니다. 내려받은 원본 증거를 독립 확인한 뒤 일반 PR 병합으로 반영했고, 해당 main의 깨끗한 빌드에서 재사용한 관측을 재현하고 두 차례 컴파일된 실행을 완료했습니다.

직접 조립의 dev 검사 37085817140과 main 승격 검사 37087148654 모두 성공했습니다. 내려받은 원본 증거와 현재 소스 연결을 확인한 뒤 일반 PR 병합으로 반영했습니다. main 57dfe4ec에서 새 관측·재사용 관측·기존 탐색 경로를 각각 생성하고 실행했습니다. 세 경로의 생성 코드가 같고, 각 다섯 입력의 기대값과 두 차례 실행 결과가 일치했습니다. 모델 사용을 요청한 직접 조립은 모델 로딩·예측과 탐색을 모두 생략했습니다.

순서 특징을 추가한 연구 CI에서는 새 파일이 기존 계산 소스 목록에 포함돼 과거 실험과의 비교가 중단됐습니다. 실험을 독립 패키지로 옮긴 뒤 Linux 검사 37087469678의 산술 재현과 순서 관측이 통과했습니다. 18,432개 입력의 명시적 계산값·순위가 일치했고, 과거 계산 방식의 차이도 보존했습니다. 원인·수정·Linux 원본 비교.

현재 main 보호 규칙은 여섯 필수 CI와 승인 리뷰 0건으로 확인했습니다. Guardian은 필수 체크에 없습니다. 변경의 수락 여부는 소스에 결속된 검사와 관측으로 다룹니다. 기여 절차.

짧은 조립 계획의 dev 검사 37089430689는 전체 성공했고, 해당 소스에서 만든 검증기로 원본 증거를 확인한 뒤 병합했습니다. 공개 실측의 Linux 재검사 37089649006도 같은 검산 결과를 냈습니다. 연구 전체 실행에서는 과거 산술 재현 비교 한 건의 실패를 계속 보존합니다. 로컬 macOS의 파일 교체·소스 분할 관련 실패는 변경 전 dev에서도 재현해 별도 문제로 기록했습니다.

이어진 main 검사 37090494947도 전체 성공했습니다. 원본 증거와 현재 dev·main 소스를 확인한 뒤 일반 PR 병합으로 반영했습니다. 설치본 b506d0dd에서 모델 사용·결정론적 탐색·관측 후 직접 조립을 실행했고, 세 경로는 같은 코드를 만들었습니다. 여섯 번의 컴파일된 실행과 18/18 기대값이 일치했습니다.

상수 바디 수정 후 연구 검사 37091072181는 과거 산술 비교와 소스 지문 비교에서 실패했습니다. 후자는 6,240개 재생성 예시가 모두 같고 수정한 바디 컴파일러의 지문만 바뀐 경우였습니다. 원본을 보존하면서 새 소스 기록을 별도 버전으로 추가했습니다. Linux 후속 검사 37091975068에서 데이터·새 기록·기존 필드 비교가 통과했고 내려받은 원본 기록도 일치했습니다. 전체 16개 작업 중 15개가 통과했으며 과거 산술 비교 실패 한 건은 남아 있습니다. 정확한 차이와 비교 규칙.

상수 바디의 dev 검사 37091458491과 main 검사 37092526966는 전체 성공했습니다. 각 원본 증거와 실제 소스 연결을 확인한 뒤 일반 PR 병합으로 반영했습니다. main 729482ed의 깨끗한 빌드를 설치했고, 모델 사용·미사용 경로가 같은 코드를 생성했습니다. 네 번의 컴파일된 실행에서 12/12 기대값이 일치했습니다.

연속 조건식의 main 검사 37094805930도 전체 성공했습니다. 원본 증거 묶음과 실제 dev·main 연결을 다시 확인한 뒤 일반 PR 병합으로 반영했습니다. main d51d6132의 깨끗한 빌드를 설치하고 조건문·상수 함수를 모델 사용·미사용으로 생성했습니다. 네 번의 생성과 여덟 번의 컴파일된 실행에서 26/26 기대값이 일치했고, 각 함수의 양쪽 생성 코드가 같았습니다. 자체 모델 판단 2회, 학습 업데이트 0회입니다.

소스 구조 추출의 main 검사 37096927156는 전체 성공했습니다. 원본 증거 묶음과 현재 소스 연결을 독립 확인한 뒤 일반 PR 병합으로 반영했습니다. main 322ab8d0의 깨끗한 빌드를 설치해 구조 추출 48건을 재현했습니다. 순서 반전 24쌍을 구별했고, 이름 변경·교환 연산·한영 지시의 불변성도 유지했습니다. 기존 조건문·상수 함수의 모델 사용·미사용 경로는 같은 코드를 생성했으며, 네 번의 생성·여덟 번의 컴파일된 실행에서 26/26 기대값을 충족했습니다. 이 설치 확인의 모델 판단 2회는 기존 공유 판단기를 사용했습니다.

이전 2026-09-13 상태 · 전체 보관 기록 · 문서 홈