최근 상태 확인: 2026-10-09 KST. 배포 준비와 공개 완료를 구분하며, 이전 실험과 설치 기록은 각 항목의 소스·날짜를 기준으로 읽습니다.

0.6.21 개발판을 dev d4d0966f에서 공개하고 macOS ARM64 실행 파일을 설치했습니다. Go 1.27.2·SDK v0.2.26으로 빌드됐으며 공개 파일·태그·manifest·설치된 바이트의 소스 연결을 확인했습니다. 원본 dev 네 플랫폼 준비 조건은 7/7, 게시 원본은 9/9입니다.

한글·영문 타입 이름의 예제와 기존 자체 모델을 함께 제공합니다. 공개 설치본의 고정 순서·모델 조립은 필드 12/12, 별도 네 입력 4/4를 맞혔습니다. 모델의 첫 제안은 7/12였고 여섯 번째 조합에서 모든 작성 사례를 충족했습니다. 저장 재생의 새 모델 호출은 0회입니다. 실제 Windows에서 관측한 추론 0ns도 호출·예측·선택 순서를 검증한 채 재생할 수 있도록 수정했습니다. 공개·설치 원본.

준비 PR 1420은 필수 CI와 원본 검증을 확인해 dev에 병합했습니다. 같은 파일 트리를 main에 반영하는 PR 1421도 필수 CI와 원본 검증·승격 조건을 확인해 정상 병합했습니다. main f675526d의 파일 트리는 공개 dev 소스와 같습니다.

개발 브랜치에 병합한 PR 1423는 소스·모델 사전 확인과 실행 가능한 도움말을 추가합니다. 조회 시 예측·후보 검사 0회, 실제 조립·저장 재생과 같은 입력 지문을 확인했습니다. 필수 CI와 네 플랫폼 원본을 확인해 dev e5be9871에 병합했습니다. 새 dev 푸시의 준비 조건도 7/7입니다. 공개 0.6.21에는 포함되지 않았습니다. CI·병합 원본. 작업장 PR48은 이 결과를 Gooo 규칙의 경로 선택과 한 명령 조립·저장 재생에 연결합니다. 로컬 실제 실행과 회귀 검사와 원본 전체 CI를 통과해 main a03966f8에 병합했습니다. 첫 후보 PR 1422는 네 플랫폼과 준비 조건 7/7을 통과했습니다. 필수 CI에서 테스트 한 줄이 Go 1.27의 자동 정리 규칙과 달라 실패했고, 수정 소스의 별도 CI를 통과해 병합했습니다. 이전 PR1422는 원래 실행이 끝난 뒤 닫았습니다.

PR 1410에 package interface 명령을 추가했습니다. 검사한 소스 8f4c9638은 여러 파일과 가져온 패키지의 타입·필드 ID, 필드 타입·필수 여부와 함수 입력 순서를 출력합니다. 같은 ID 아래에서 필드가 달라져도 차이를 읽을 수 있어 문서·API 변경 도구에 사용할 수 있습니다. 로컬 패키지/CLI/race 검사와 전체 빌드, 기존 공개판과의 해석 결과 대조를 통과했습니다. 자체 모델 조립과 저장 기록 재사용도 같은 결과를 유지했고 후속 평가는 4/4였습니다. 초기 후보 8951c5f8의 필수 여섯 검사와 원본 CI 검증 기록을 확인했습니다. 별도 Windows 배포 검사에서 발생한 시간 초과를 관측한 뒤 아래의 시작·대기 예산 수정을 통합했습니다. 통합본의 로컬 패키지/CLI race 검사와 전체 빌드를 통과했고, 실제 API 변경 3건의 구조와 Gooo 분류가 이전 결과와 같았습니다. 모델 조립 1회·저장 재실행의 새 추론 0회, 작성한 정책 검사 51/51과 정답을 붙이지 않은 실제 입력 0/0을 각각 보존했습니다. 새 필수 CI, 네 플랫폼 검사, 별도 플랫폼 검사가 모두 통과했습니다. 원본 CI 검증 기록과 준비 조건 7/7을 대조하고, 정상 병합으로 개발 브랜치 e8ccf425에 반영했습니다. 병합 결과의 파일 트리는 검사한 후보와 같습니다. 통합 소스와 실행 원본. 이 인터페이스 기능을 공개 0.6.19 설치본에서 확인했습니다. 사용법과 관측 범위.

0.6.19 준비 PR 1413을 병합했습니다. 후보 9d8bdd97은 버전·배포 설정·설명서를 갱신하고, 네 플랫폼의 기존 검사에 인터페이스 JSON 반복 실행과 사람이 읽는 출력을 추가합니다. 최종 로컬 후보의 실제 명령 검사와 자체 모델 API 변경 분류·저장 재생을 통과했습니다. 네 플랫폼 검사와 준비 조건 7/7, 필수 CI와 저장소 투영 검사를 통과했고 dev 68a5de0e에 반영했습니다. 병합 뒤 새 dev 소스로 네 플랫폼과 준비 조건 7/7을 다시 확인했습니다. main 반영 PR 1414는 필수 CI와 원본 검증 기록·승격 조건을 확인한 뒤 정상 병합으로 main 79ea68b4에 반영했습니다. 병합 결과의 파일 트리는 검사한 dev 소스와 같습니다. 병합 후 CI도 통과했습니다. 0.6.19 개발판은 검사한 dev 소스 68a5de0e로 공개했습니다. 게시 결과 원본의 9/9와 체크섬 8개, annotated tag·배포 manifest·실행 파일의 소스와 버전을 대조했습니다. 공개 macOS ARM64 파일을 설치하고 같은 자체 모델을 연결해 API 변경 3건의 Gooo 분류·저장 재생을 확인했습니다. 작성한 정책 필드 51/51, 정답 없는 입력 0/0, 새 모델 호출 0/1, 저장 재생 0을 보존했습니다. 공개·설치 관측.

PR 1415는 함수 선언에 명시적인 id를 적을 수 있게 합니다. 이름은 소스의 호출에 쓰고 ID는 의미 그래프·생성 코드· 실행 기록의 연결에 씁니다. 서랍에 붙인 이름표를 바꿔도 관리 번호는 같은 셈입니다. 한글·영문 이름의 파싱·포맷·의미 변환, 여러 파일의 중복 ID 거절과 실제 실행·재생을 확인했습니다. 의미 변경을 다시 소스에 적는 Get-Put·Put-Get 검사도 통과했습니다.

자체 QAT 모델로 Calculate → 합계의 API 변화를 읽었을 때, 활동의 삭제·추가 대신 이름 변경과 진입점 변경 두 건을 얻었습니다. 고정 순서와 모델의 Gooo 분류가 같았고 작성된 정책 검사 51/51, 정답 없는 실제 입력 0/0을 보존했습니다. 모델 호출 1회·저장 재생의 새 호출 0회였습니다. 단일 전체 명령은 모델 0.76초, 고정 순서 1.35초로 관측됐으며 실행 순서와 빌드 캐시의 영향이 있습니다. 필수 CI와 원본 검증 기록을 확인한 뒤 dev 9858fdc2에 정상 병합했습니다. 검사한 후보와 병합 결과의 파일 트리가 같습니다. 앞선 공개 0.6.19는 기존 문법을 제공합니다. 최종 후보의 네 플랫폼 검사와 준비 조건 7/7은 원본 ZIP을 대조해 통과를 확인했습니다. 사용법과 관측 자료. 후속 점검에서 URI 대소문자 표기 차이로 같은 활동 선언을 두 번 받는 문제도 재현해 수정했습니다. 최종 후보 27ad7b61은 활동 ID를 정규화해 중복을 거절하고, 인터페이스와 export에 같은 ID를 담습니다. 최종 실행 파일의 자체 모델 분류·저장 재생도 다시 확인했습니다.

PR 1416의 깨끗한 소스 6c843528에 영어·한글 이름의 공개 실행 예제를 추가했습니다. 두 정수 입력과 변수 할당·조건문을 실행하며, 각각 네 사례와 새로 저장한 재생을 확인합니다. 두 예제의 생성 코드 지문과 활동 ID가 같습니다. 큰 정수 입력·출력도 정확한 숫자로 남습니다.

로컬 macOS ARM64 전체 배포 검사와 CLI·배포 검사 패키지의 race를 통과했습니다. 새 예제의 API 변화를 자체 모델로 읽어도 같은 두 변경이 나왔고, 작성된 정책 검사 51/51·정답 없는 실제 입력 0/0·새 호출 0/1·저장 재생 0을 보존했습니다. GitHub 네 플랫폼과 준비 조건 7/7은 원본 기록을 대조해 통과를 확인했습니다. 필수 CI와 원본 검증 기록을 확인해 dev 16bb6537에 정상 병합했습니다. 병합 뒤 dev 소스의 네 플랫폼·준비 조건 7/7을 다시 확인하고 0.6.20을 공개했습니다. 게시 원본 기록의 9/9, 체크섬 8개·태그·manifest·설치 파일의 소스와 버전을 대조했습니다. 공개 macOS ARM64 설치본은 Go 1.27.2·SDK v0.2.26으로 빌드됐습니다. 영어·한글 예제는 각각 네 입력과 저장 재생을 통과하고 같은 생성 코드·활동 ID를 남겼습니다. 같은 설치본을 자체 모델 API 도구에 연결해 이름·진입점 변경 두 건도 확인했습니다. 작성한 정책 필드 51/51·정답 없는 실제 변경 0/0·새 호출 0/1·저장 재생 0입니다. 공개·설치 관측. main 반영 PR 1417은 필수 CI와 원본 검증·승격 조건을 확인해 정상 병합했습니다. main c22301e6의 파일 트리는 배포 dev 소스와 같습니다. 실행 안내와 후보 관측.

PR 1418는 기본 타입의 이름을 정수·논리·문자열로 바꿔도 같은 ID로 실행 표현을 찾게 합니다. 기존에는 의미 계획은 같았지만 생성 단계에서 거절됐습니다. 생성·실행·가져온 패키지의 경로를 수정하고, 세 관련 패키지의 전체 race 검사와 빌드를 통과했습니다. 자체 모델은 첫 조합에서 필드 7/12, 사례 검사를 거쳐 여섯 번째 조합에서 12/12를 맞혔습니다. 별도 실행 입력은 4/4, 저장 재생의 새 추론은 0회입니다. 소스·검사 자료와 모델의 선택 거절 기록도 타입 이름과 조립에 공개했습니다. 후보 28b84915의 필수 CI와 원본 검증 기록, 네 플랫폼의 기존 배포 프로필·준비 조건 7/7을 확인해 dev 832dbf36에 정상 병합했습니다. 병합 결과의 파일 트리가 후보와 같습니다. 병합 후 CI는 별도로 확인합니다. 공개 0.6.20에는 활동 ID 기능이 있습니다.

작업장 PR 47은 실패한 네이티브 실행을 Gooo 규칙으로 진단하고, 다음 도구가 읽을 next-context.json을 만듭니다. 실제 Windows 실패에서 고정 순서·자체 모델의 진단이 같았고, 원본 입력도 그대로 남았습니다. 외부 사례에서 가져온 원리와 적용 범위는 최근 연구에 있습니다. PR·push CI와 원본 결과를 확인하고 작업장 main 59bc4118에 병합했습니다. 검사한 후보의 파일 트리와 병합 결과가 같습니다.

이 구조를 받아 API 변경을 분류하는 작업장 PR 46도 공개했습니다. Gooo 조건문이 입력 필수화·출력 선택화 등을 구분하고 다음 작업을 반환합니다. 실제 변경 3건은 모델 사용 여부와 관계없이 같은 분류를 얻었고, 저장 재실행은 새 추론 0회였습니다. 로컬 전체 native race 검사와 최종 API 검사를 통과했습니다. 최종 후보 e14e5e67의 PR·push CI와 원본 아티팩트의 소스·결과를 대조한 뒤 main fd53420e에 병합했습니다. 검사한 파일 트리와 병합 결과는 같으며, 병합 후 main CI도 완료됐습니다. 사용법과 모델 역할.

Windows 시간 초과를 구분하는 PR 1411은 필수 여섯 검사와 원본 검증 기록을 확인한 뒤 개발 브랜치 31d3419c에 병합했습니다. 기본 네 플랫폼 준비 검사는 통과했지만 별도 Windows ledger 실행은 실패했습니다. 새 기록에서 프로세스 시작에 2.855초가 걸려 기존 2초 예산을 소진한 사실을 확인했습니다. 같은 실행 파일·생성 코드·입력의 다른 실행은 완료됐습니다. Windows 내부의 어느 요소가 시작을 지연시켰는지는 이 자료로 확정할 수 없습니다.

PR 1412의 후보 886ba5c3은 전체 호출의 제한을 유지하면서 시작 호출 이후에 네이티브 실행의 2초 예산을 적용합니다. 시작 중 전체 제한이 만료되거나 사용자가 취소하면 그대로 종료합니다. 로컬 회귀·race·빌드와 실제 패키지 실행 검사를 통과했습니다. 새 기본 네 플랫폼 준비 검사와 원본 준비 조건 7/7, 이전에 실패한 별도 Windows ledger 실행을 포함한 세 플랫폼 실행도 통과했습니다. 필수 CI와 원본 검증 기록, 소스·브랜치·파일 트리를 확인한 뒤 개발 브랜치 150dedc0에 정상 병합했습니다. 병합한 파일 트리는 검사한 후보와 같습니다. main 승격과 새 릴리스는 아직 진행하지 않았습니다. 자체 모델은 실제 변경 3건을 이전과 같이 분류했습니다. 정책 선택 검사 51/51, 실제 입력의 정답 점수 0/0, 저장 재실행의 새 추론 0회를 구분해 기록했습니다. 한 번의 로컬 관측에서 모델 예측은 0.274ms, 전체 실행은 0.38초, 최대 RSS는 86,261,760바이트였습니다. 실패 원본·예산 경계·새 실행 관측. 기록 읽는 방법.

0.6.18 개발판을 공개하고 macOS ARM64 파일을 설치했습니다. 소스는 13d576ef, Go는 1.27.2입니다. package construct --inputs로 정답 없는 실제 입력을 실행하고, 저장된 프로그램을 새 입력이나 나중의 평가에 다시 사용할 수 있습니다. 공개 파일 9개·체크섬·태그·소스와 설치된 바이트가 일치했고 설치본 취약점 검사는 finding 0개였습니다.

설치본의 세 패키지 예제는 고정 순서 48회·기존 자체 모델 41회로 같은 프로그램을 골랐습니다. 실제 출력 15, -50, -45035996273704970, 5와 원래 이력을 보존했고, 이전 0.6.17 기록·새 입력 기록의 재실행은 새 추론 0회였습니다. 후속 평가는 4/4입니다. Gooo 진단 도구도 정답 없는 출력과 평가 완료를 구분해 다음 작업을 반환했습니다. 모델을 쓴 전체 명령은 한 번의 관측에서 8.22초, 최대 RSS 약 84.2 MiB였습니다. 공개 파일·설치·실행·진단 원본에 비교 범위와 원본 기록을 모았습니다.

0.6.18 후보 PR 1408에서 실제 입력 실행·저장 기록 재사용·후속 평가와 일반 출력까지 네 플랫폼 검사에 추가했습니다. 초기 후보 4d16df53은 준비 검사 7/7을 통과했으나 별도의 Windows 실행이 실패했습니다. 실패한 현재 시도와 원본 오류 출력이 빠지던 부분을 수정해 후보 63150826을 공개했습니다. 이 후보는 로컬 native race 검사와 자체 모델 대조, 네 플랫폼 준비 검사 7/7과 별도 transformation-effect의 세 플랫폼 실행을 통과했습니다. 필수 CI 여섯 검사와 원본 검증 기록을 대조한 뒤 dev 13d576ef에 병합했고, 검사한 후보와 병합된 파일 트리는 같습니다. 병합 소스의 네 플랫폼 검사와 준비 조건 7/7, 별도 게시 작업도 완료했습니다. 같은 구성을 메인에 옮기는 PR 1409도 필수 여섯 검사와 원본 검증 기록을 확인한 뒤 main 188e1c2e에 병합했습니다. 검사 후보·공개 릴리스 소스·병합 결과의 파일 트리는 같습니다. 병합 후 main CI 37877948144도 완료됐으며, 원본 아티팩트의 해시·소스·여섯 검사·검증 기록을 대조했습니다. 처음 Windows 실패의 원인은 기존 자료로 확정하지 못했습니다. 수정과 실제 실행 원본. 원본과 관측 범위.

개발 브랜치에 실제 입력 실행 PR 1406을 병합했습니다. 조립한 패키지에 정답 없이 입력을 넣고, 나온 값을 저장해 다시 쓰는 경로를 추가했습니다. 필수 CI 여섯 검사와 원본 검증 기록을 확인했고, 개발 리비전은 86d565b4입니다. 같은 파일 구성을 메인에 옮기는 PR 1407도 필수 여섯 검사·원본 검증 기록·실제 브랜치와 파일 구성을 대조한 뒤 main 085169eb에 병합했습니다. 검사 소스와 병합 결과의 파일 트리는 같습니다. 작업장의 Gooo 진단 연결 PR 44도 CI와 원본 관측을 확인한 뒤 메인 a0152116에 병합했습니다. 정답 없는 출력·조립 미완료·계산 오류를 구분합니다. 새 입력 옵션은 공개 0.6.18부터 사용할 수 있습니다. 입력·출력·검산·병합 기록.

0.6.17 개발판을 공개하고 macOS ARM64 실행 파일을 설치했습니다. 공개 파일 9개와 체크섬·태그·소스 연결을 확인했고, 설치된 바이트가 공개 파일과 같음을 확인했습니다. 빌드와 네이티브 실행은 Go 1.27.2, 선택적으로 연결하는 판단 런타임은 v0.2.26-experimental입니다. 설치된 macOS ARM64 실행 파일도 govulncheck v1.7.0의 binary 모드로 직접 검사했고, Go 1.27.2 표준 라이브러리와 finding 0개를 확인했습니다.

현재 개발 소스의 모듈·CI·릴리스 빌드·생성 프로젝트·네이티브 실행 요구 버전을 Go 1.27.2로 맞췄습니다. PR 1404는 검사 소스 ef43238227eef652a04430fa7d2d154e06bae77e의 필수 검사 여섯 개와 검증 기록을 확인한 뒤 dev ae71176b0c180b1bf3a1d8244a10f5f947b03455에 병합했습니다. 병합한 파일 트리는 동일합니다. 생성된 정책의 소스 연결을 갱신했고, Go 요구사항이 바뀌면 이전 구현 호환성 증명서를 재사용하지 않습니다. 새 취약점 검사는 현재 ef432382 소스에서 발견 항목 0건으로 통과했고 SARIF 업로드도 완료했습니다. 앞선 1ce52fe1은 로컬 macOS ARM64 릴리스 검증을 통과했습니다. 이후 Windows 재검사에서 실행 실패가 발생해, 오류 경로에서 버려지던 실행 정보와 원본 명령 출력을 남기도록 보완했습니다. 해당 실패의 정확한 원인은 기존 출력만으로 구분할 수 없었습니다. 수정본 ef432382의 네 플랫폼 실행 검사는 모두 통과했습니다. 릴리스 결과 집계도 26개 사례·39개 지표, 준비 조건 7/7로 통과했습니다. 병합 소스의 배포 검증과 게시 작업도 완료했습니다. 같은 dev 트리를 메인에 반영하는 PR 1405는 필수 CI 여섯 항목과 검증 기록의 승인, 실제 브랜치·파일 트리를 확인한 뒤 main b3ed96738da0ad538abc4cba1f62f1801c382d5c에 병합했습니다. 메인과 공개 배포 소스의 파일 트리는 같습니다.

설치본의 세 패키지 예제는 고정 순서 48회·자체 모델 41회로 같은 코드와 별도 평가 4/4를 얻었습니다. 저장 재실행의 새 추론은 0회였고, 큰 정수와 원래 조립 이력도 그대로였습니다. 전체 명령 시간은 각각 17.38초·8.10초·7.88초, 최대 RSS는 모두 약 84 MiB였습니다. 각각 한 번의 관측입니다. 공개 파일·설치·실행 원본.

판단 런타임의 전환 PR은 CI 통과 후 병합했습니다. 작업장, 표준 라이브러리, Policy Studio도 새 컴파일러 리비전과 Go 1.27.2를 고정했고 각각 전체 CI 통과 후 병합했습니다. 이 세 도구는 검사를 마친 컴파일러 be4ef88c를 고정합니다. 이전 실험의 원본 버전 표기는 당시 기록으로 남깁니다.

실행 안내에 남아 있던 이전 버전도 작업장 PR 45와 표준 함수 PR 3에서 갱신하고, 각각 push·PR CI 통과 후 병합했습니다. 설치된 공개 0.6.17로 표준 함수 79/79개, 가져다 쓰는 예제 10/10개, 고정·모델 소스 수정과 저장 재실행을 확인했습니다. 그래프 입력 72개도 새로 생성하고 Gooo의 평가 규칙으로 읽었습니다. 이번 실행 원본에 실행 파일의 출처, 부분 결과, 별도 입력과 모델 사용 범위를 남겼습니다.

새 Go 1.27.2 빌드(ef432382)에서도 같은 세 패키지 예제와 기존 자체 그래프 모델을 실행했습니다. 41번의 시도 후 별도 입력 4/4를 맞혔고, 저장 재실행의 새 추론은 0회였습니다. 전체 명령은 8.47초, user 4.10초·system 2.82초, 최대 RSS 88,375,296바이트였습니다. 모델 단독 메모리나 호스트 전체 CPU 사용률을 뜻하지 않습니다. 모델을 끈 실행은 48회·4/4였고 선택된 코드와 실제 출력도 같았습니다. 두 실행의 원본과 숫자를 보존하는 비교 코드는 Go 1.27.2 후보 관측에 있습니다. 저장소 밖에서 실행한 예제도 설치된 Go 1.27.2를 자동 선택해 8/8을 통과했습니다.

PR 1402는 package construct를 추가합니다. 가져온 함수의 지역 예제가 통과해도 실제 호출 결과가 다르면 허용된 다른 조합을 시도합니다. 원래 패키지 식별 정보와 호출 사례, 실패 이력을 함께 저장하고 새 추론 없이 모든 시도를 재실행합니다. 검사 소스는 e6a22ba3이며 필수 CI 여섯 항목과 원본 검증 기록을 확인해 dev 138bd5ab에 병합했습니다. 메인 반영 PR 1403도 필수 CI·검증 기록 확인 후 dc32776c에 병합했습니다.

깨끗한 소스 빌드로 두 패키지의 한도 5·6, 세 패키지의 기본 순서·자체 모델·저장 재실행을 확인했습니다. 별도 평가는 한도 5에서 1/4, 한도 6에서 4/4였습니다. 세 패키지는 고정 48번과 모델 41번으로 같은 코드와 4/4를 얻었습니다. 저장 재실행의 새 추론은 0회입니다. 모델 판단 1회는 29,416ns, 전체 명령은 8.42초, 최대 RSS는 87,949,312바이트였습니다. 호스트 전체 CPU 사용률과 일반화 성능은 이 관측에 포함하지 않습니다. 사용법과 관측 범위.

작업장 PR 42에서는 Gooo 규칙이 실패한 호출 사례를 다음 조립에 추가하고 시도 한도를 결정합니다. 두 패키지 예제는 5회차·14번, 자체 모델을 쓴 세 패키지는 8회차·105번 시도 후 마지막 별도 평가 4/4를 얻었습니다. 반복 시도도 모두 셉니다. 원본 소스와 기대값을 보존하고 마지막 평가에서는 새 추론이 0회였습니다. 로컬 전체 race 검사와 작업장 CI를 통과했고, CI 원본을 대조해 작업장 main 99a293f7에 병합했습니다.

현재 공개 설치본 0.6.17에는 새 패키지 명령이 포함됩니다. 아래는 앞선 배포의 관측 기록입니다.

0.6.16 개발판을 공개하고 macOS arm64 실행 파일을 설치했습니다. 배포 소스는 146a5085, Go 1.27.1과 decision runtime v0.2.26-experimental을 사용합니다. 공개 태그·파일 9개·체크섬·빌드 소스·설치된 바이트를 확인했습니다.

실제 설치본으로 새 조립 네 번, 저장 조립 재실행 두 번, 선택된 일반 소스 실행 두 번, 그래프 실행과 저장 재실행을 수행했습니다. 원래 입력과 기대값, 계산 실패 위치와 값, 독립 출력·의존 활동 중단·큰 정수가 후보 원본과 일치했습니다. 시도 한도 5는 부분 결과 1/4, 한도 6은 4/4였고 혼합 예제는 고정 48번과 모델 순서 6번으로 같은 소스를 골랐습니다. 저장 재실행의 새 추론은 0회입니다.

변경하지 않은 자체 모델의 한 번의 판단은 28,625ns였습니다. 전체 명령은 1.54초, 사용자·시스템 CPU 시간은 0.76초·0.52초, 최대 RSS는 86,704,128바이트였습니다. 모델 tensor는 2,096바이트이며 전체 명령에는 컴파일과 실행도 포함합니다. 호스트 전체 CPU 사용률과 일반 성능 비교는 이 관측에 포함하지 않았습니다. 배포·설치·실제 출력·독립 재집계 원본.

배포 소스의 main 반영 PR 1401도 필수 CI·원본 승격 기록·현재 브랜치 연결을 확인한 뒤 main 94677148에 병합했습니다. 파일 트리는 공개 배포 소스와 같습니다. 작업장 PR 41은 같은 공개 소스로 CI를 통과했고 원본 결과를 대조한 뒤 main 29d174aa에 병합했습니다. 실제 설치본의 로컬 전체 race·vet 검사와 다섯 회차·14번 및 세 회차·네 번의 피드백 결과도 확인했습니다. 원래 사례·선택 코드·계산 실패가 이전 기록과 같습니다. 작업장 병합 후 CI도 같은 main 리비전에서 통과했습니다. 작업장 CI 원본과 병합 기록.

컴파일러 PR 1398과 작업장 PR 40에 구현을 공개했습니다. 0 나눗셈·나머지 연산 실패의 활동 ID와 연산 위치를 남기고 다음 후보를 확인합니다. 정상 출력과 의존 활동 중단은 따로 보존하며 Gooo 규칙이 다음 작업을 고릅니다. 쉬운 설명과 실행 원본.

실행 중 실패한 입력을 다음 조립에 그대로 추가한 예제는 세 회차·네 번 시도 뒤 별도 입력 3/3을 맞혔습니다. 예산 함수의 여섯 후보 예제는 다섯 회차·14번 시도 뒤 별도 평가 4/4였습니다. 기존 모델을 쓴 혼합 예제는 고정 순서 48번, 모델 순서 6번으로 같은 소스를 골랐습니다. 모델이 정하는 부분은 레코드 후보 순서이며 추가 학습은 없습니다.

컴파일러의 필수 CI 여섯 항목과 원본 검증을 확인하고 dev 815635e9에 병합했습니다. 작업장도 CI 원본의 입력·기대값·계산 실패·선택 코드가 로컬 기록과 같음을 확인한 뒤 main 83ca2df6에 병합했으며 병합 후 CI도 통과했습니다. 컴파일러 main에 같은 파일 트리를 반영하는 PR 1399도 필수 CI와 원본 승격 기록, 현재 브랜치 연결을 확인한 뒤 main 2b35ae69에 병합했습니다.

별도 Windows 배포 검사 첫 실행에서는 기존 예제가 2초 제한에 걸렸습니다. 소스와 제한을 그대로 두고 실패한 검사만 한 번 재실행했고 네 플랫폼 검사가 모두 통과했습니다. 첫 시간 초과 원본도 남겼으며 원인이 확정됐다고 해석하지 않습니다. CI·병합·실패 원본. 이 개발 관측 당시의 공개 설치본은 0.6.15였습니다. 새 기능을 포함하는 0.6.16 후보의 PR 1400은 네 플랫폼 실행과 배포 절차 검사를 통과했습니다. 플랫폼별 부분 조립·완료 조립·저장 재실행·그래프 실행·그래프 재실행 결과 20개를 로컬 원본과 대조했고, 원래 입력·기대값·실패 위치·의존 관계·큰 정수 값이 같았습니다. 이 20개는 두 예제를 여러 환경에서 반복한 결과입니다. 전체 컴파일러 CI 여섯 항목과 원본 검증도 통과해 dev 146a5085에 병합했습니다. 병합 소스의 배포 검사와 공개 설치를 위와 같이 완료했습니다. 배포 후보 원본과 대조 과정.

0.6.15 개발판을 공개하고 macOS arm64 실행 파일을 설치했습니다. 배포 소스는 dc75f59f, Go 1.27.1과 decision runtime v0.2.26-experimental을 사용합니다. 공개 태그·파일 목록·해시·빌드 소스와 설치된 파일을 확인했습니다. 원래 입력과 기대값으로 새 조립 네 번, 저장 재실행 두 번, 선택된 일반 소스 실행 두 번을 다시 수행했습니다. 시도 한도 3에서는 부분 결과 1/4, 한도 5에서는 4/4를 보존했습니다. 혼합 예제는 고정 순서 40번, 모델 순서 5번으로 같은 코드를 골랐습니다. 모델 판단은 1회 38,167ns였고 저장 재실행에는 새 추론이 없었습니다. 설치·실행·재집계 원본.

컴파일러 PR 1394와 작업장 PR 38에 후보 하나의 타입 오류나 계산 실패가 전체 조립을 멈추던 문제를 수정했습니다. 작업장 PR 38은 공개 CI와 원본 결과를 확인한 뒤 main a4ee9369에 병합했습니다. 컴파일러도 필수 CI 여섯 항목과 커밋에 묶인 검증 원본을 확인한 뒤 dev c38201f2에 병합했습니다. 같은 파일 트리를 올리는 PR 1395도 CI와 원본 검증 기록, 현재 브랜치 상태를 확인한 뒤 main cc49903d에 병합했습니다. 이 기능을 위의 공개 0.6.15 바이너리에 포함했습니다.

후보 다섯 개 중 두 개가 탈락해도 나머지를 조립하고, 탈락 이유를 원래 소스와 함께 남깁니다. 시도 수·탈락 수·실행한 조합 수를 따로 셉니다. 각 실행 조합은 동일한 결과인지 확인하기 위해 native로 두 번 실행합니다. 한 후보만 남으면 모델 호출 없이 고르고, 모두 실패하면 전체 실패 이유를 반환합니다.

이번 혼합 예제에서는 기본 순서가 40번 시도해 24개 조합을 실행했고, 기존 자체 소형 모델의 순서는 5번 시도해 3개를 실행했습니다. 둘 다 별도 평가 4/4를 만족했습니다. 모델은 레코드 선택지 순서를 한 번 제안했고 빈칸 선택은 결정론적으로 진행됐습니다. 두 관련 프로그램에서 얻은 관측이며, 일반 정답률이나 속도 비교는 아직 확립하지 않았습니다.

Gooo 피드백 프로그램도 탈락 수를 읽습니다. 이미 확인한 실패 후보를 새 후보처럼 다시 권하지 않습니다. 실제 반복은 원래 실패 사례를 추가해 5회차·13번의 시도 후 별도 평가 4/4를 만족했습니다. 기존 공개 0.6.14 기록 두 개도 원래 기대값 그대로 새 추론 없이 재실행했습니다. 사용법·원본·재집계. 공개 CI에서도 총 13번의 시도 중 탈락 5개·실행 조합 8개, 동일한 원본 사례와 최종 값을 확인했습니다. CI 원본과 확인 기록.

PR 1396에 배포 준비와 사용 안내를 올렸습니다. macOS에서 실제 후보 바이너리를 실행했고, 기존 기대값을 바꾸지 않은 31개 변조 회귀 검사도 통과했습니다. 앞선 후보 a202e6e5는 Linux, Windows, macOS Intel·Apple Silicon에서 실행 검사를 통과했으며, 원본 기록 12개를 별도로 읽어 탈락 이유·선택 코드·큰 정수 값·부분 결과와 재생 결과가 같음을 확인했습니다.

그 후보의 별도 언어 규칙 검사에서는 새 검사용 함수를 자동 분리할 때 생성되는 보조 함수의 크기 제한에 걸렸습니다. 검사 내용을 단계별 함수로 나누고 동일한 회귀·동시 실행 검사를 다시 통과했습니다. 수정 소스 9c5c1e37도 네 플랫폼 검사와 필수 CI 여섯 항목을 통과했습니다. 원본 검증을 확인한 뒤 PR 1396을 dev dc75f59f에 병합했고, 병합 소스의 네 플랫폼 검사와 배포 적격 검증도 통과했습니다. 배포 실행이 완료되어 위와 같이 공개 설치본을 실행했습니다. 같은 파일 트리의 PR 1397도 필수 CI·원본 검증·현재 소스 연결을 확인한 뒤 main 2cdffde7에 병합했습니다. 작업장 PR 39도 동일한 배포 소스로 CI를 통과해 main 558b0158에 병합했습니다. 공개 설치본과 CI의 원래 입력·선택된 코드·다섯 회차의 조립 사례·마지막 평가가 일치했습니다. 원본 결과와 확인 과정.

다음 병목도 원래 사례를 보존한 채 재현했습니다. 자체 예제와 홀드아웃은 통과하는 후보가 실제 호출 입력에서 0으로 나누는 경로에 들어가면, 남은 예산과 정답 후보가 있어도 전체 탐색이 멈춥니다. 프로세스 종료는 기록하지만 언어의 연산 실패를 별도 결과로 표현하는 경로가 이 공개 버전에는 없습니다. 입력·활동·연산 위치를 가진 실패 결과를 다음 후보 선택에 연결한 개발 구현을 위 항목과 새 설명에 정리했습니다. 실패 원본과 구현 범위.

0.6.14 개발판을 공개하고 실제 macOS arm64 파일을 설치했습니다. 배포 소스는 2162809f, Go 1.27.1과 decision runtime v0.2.26-experimental을 사용합니다. 조건식·대입식의 빈칸 묶음을 실제 호출 결과로 다시 고르는 기능을 포함합니다.

공개 실행 파일에 변경하지 않은 자체 모델을 연결했습니다. 같은 혼합 예제에서 고정 순서 24번과 모델 순서 3번으로 같은 코드를 골랐고, 마지막 평가 4/4가 같았습니다. 예산 2회에서는 부분 결과 1/4를 유지했습니다. 두 관련 프로그램, 새 조립 네 번과 저장 재실행 두 번의 관측입니다. 저장 재실행과 선택된 일반 소스의 실행에서는 새 모델 호출이 0회였습니다. 원래 기대값과 2^53을 넘는 정수도 그대로 비교했습니다.

PR 1392의 필수 CI 여섯 항목과 원본 검증을 확인하고 병합했습니다. 후보와 병합 소스 모두 네 플랫폼 배포 검사를 통과했고, 원본 기록의 조건식·대입식·실제 값이 같았습니다. 공개 파일 9개와 체크섬 8개, 설치된 파일의 소스 정보를 확인했습니다. PR 1393도 필수 CI와 승격 기록을 확인하고 main 27f81c59에 병합했습니다. main의 파일 트리는 배포 소스와 같습니다.

작업장 PR 37은 같은 배포 소스로 CI를 통과하고 main 9b636ab0에 병합했습니다. 공개 설치본에서도 Gooo 피드백 규칙이 원래 실패 사례 하나를 반영해 네 회차·일곱 조합 후 별도 평가 4/4를 유지했습니다. 설치·소스 빌드 명령을 같은 버전으로 맞췄습니다. 사용 안내 · 배포·설치·실제 출력·CI 기록.

컴파일러 PR 1391과 작업장 PR 36에 source_fill의 조건식·변수식 묶음을 호출 결과로 다시 고르는 구현을 공개했습니다. 로컬 race 검사와 실제 소형 모델 실행을 마쳤습니다. 컴파일러는 필수 CI 여섯 항목과 원본 검증을 확인한 뒤 dev e37a34cf에 병합했습니다. 검사한 파일 트리와 같습니다. 작업장 PR 36은 CI 후 main e2706442에 병합했고, 병합 후 CI도 통과했습니다. 당시 공개 0.6.13 바이너리 이후의 개발 기능이었으며, 위 0.6.14에 포함했습니다.

예산 한도 2에서는 별도 평가 1/4인 부분 결과를 남겼고, 한도 3과 저장 재실행은 4/4였습니다. 혼합 예제는 고정 순서 24개, 모델 순서 3개 조합을 시도해 같은 코드를 골랐고 최종 평가는 모두 4/4였습니다. 모델은 레코드 후보를 한 번 골랐고 빈칸 조립은 결정론적으로 진행했습니다. 두 관련 프로그램에 대한 새 조립 4번과 재실행 2번입니다. 모든 원래 기대값을 정확한 JSON 숫자로 다시 비교했습니다.

Gooo 피드백 규칙도 새 형식을 사용합니다. 실패 사례 하나를 자동으로 추가했고, 4회차·7번의 조합 뒤 별도 평가 4/4를 관측했습니다. 소스의 지역 평가와 최종 평가는 선택에 쓴 사례와 각각 구분합니다. 쉬운 설명 · 원본·실패·시간·메모리.

선택된 두 일반 Gooo 소스는 기존 공개 0.6.13 실행 파일에서도 같은 최종 결과를 재현했습니다. 이 관측 당시에는 개발 소스로 새 조립을 실행했고, 설치된 공개 파일은 0.6.13이었습니다. 이후 main 반영과 0.6.14 배포를 위와 같이 완료했습니다. CI·병합·기존 실행 파일 재사용 기록.

0.6.13 개발판을 공개하고 macOS arm64 파일을 설치했습니다. 소스는 772acf4a, Go는 1.27.1, decision runtime은 v0.2.26-experimental입니다. PR 1389의 필수 CI 여섯 항목과 원본 검증, 병합 소스의 네 플랫폼 실행, 공개 배포가 모두 통과했습니다.

공개 실행 파일과 변경하지 않은 자체 모델로 정수식·레코드 혼합 조립을 다시 실행했습니다. 고정 순서 24번과 모델 순서 17번 중 각각 8번은 실행 전 거절됐습니다. 두 경로의 최종 코드와 별도 평가 4/4가 같고 저장 재실행의 새 추론은 0회였습니다. 정수식 예제에서 한도를 줄인 부분 결과 1/4도 그대로 유지했습니다.

이번 한 번의 로컬 혼합 실행에서 모델 추론은 약 0.030ms, 전체 모델 명령은 2.99초였습니다. 전체 명령의 최대 RSS는 약 86.8MB이며 모델 tensor는 2,096바이트입니다. 고정 순서 명령은 8.49초였습니다. 반복·캐시·부하를 통제한 비교가 아니며 호스트 전체 CPU 사용률은 샘플링하지 않았습니다. 원본 CPU 시간과 메모리 기록을 함께 남겼습니다.

작업장 PR 35도 새 배포 소스에서 CI를 통과하고 main 2b87f688에 병합됐습니다. 자동 조립은 7회차·49번의 조합 후 별도 평가 4/4를 유지했습니다. README와 설치 안내의 오래된 소스 버전을 맞추고 같은 실행 명령을 추가했습니다. 컴파일러 PR 1390도 별도 필수 CI와 원본 검증을 통과해 main 1fb881e6에 반영했습니다. main의 파일 트리는 공개 배포 소스 772acf4a와 같습니다. 작업장 병합 후 main CI도 통과했습니다. 배포·설치·실제 값·시간·CI 원본.

컴파일러 PR 1387을 필수 CI 여섯 개와 원본 검증 기록을 확인한 뒤 dev 934aed80에 병합했습니다. 레코드 선택과 정수 IR 계산식을 같은 조립에서 다시 고릅니다. 검사한 소스와 병합 결과의 파일 트리가 같습니다.

이어 중간 계산식이 0으로 나누기라서 전체 탐색이 멈추는 경우를 수정했습니다. 거절 이유와 후보를 남기고 다음 조합을 시도하며, 기존 시도 한도를 사용합니다. 실행한 프로그램과 지역 검사에서 거절된 조합을 별도로 셉니다. 수정 PR 1388 · 원래 실패·고정 계획·수정 후 원본. 이 수정도 필수 CI 여섯 개와 원본 검증 기록을 확인한 뒤 dev de253a03에 병합했습니다. 검사한 소스와 병합 결과의 파일 트리가 같습니다.

작업장 PR 34는 CI 후 main dda67e4b에 병합했습니다. CI가 개발 컴파일러 ae3890c2와 기존 자체 모델로 새 조립을 실행합니다. 한 조건으로 시작해 실패 사례 두 개를 자동 추가했고, 7회차·49번의 조합 시도 후 별도 평가 4/4를 맞혔습니다. 마지막 회차는 17번 중 8번을 거절하고 9개 프로그램을 실행했습니다. 저장 재실행의 새 추론은 0회였습니다. 내려받은 CI 원본의 해시와 실제 값·반례 보존을 확인했고, 로컬과 최종 코드도 같았습니다. CI와 병합 원본.

개발 당시 설치된 공개 파일은 0.6.12였습니다. 새 계산식 경로를 묶은 0.6.13 배포 후보에 실제 실행·거절·재실행 검사를 추가했습니다. 깨끗한 후보 141b38d6의 로컬 macOS 검사와 두 번의 빌드·압축 결과 일치를 확인했고, 자체 모델을 연결한 기존 예제의 실제 값과 거절 이력도 유지됐습니다. 이후 네 플랫폼 CI와 공개 배포·설치를 위 기록처럼 완료했습니다. 배포 후보 PR 1389 · 후보 계획과 원본.

생태계 작업장 PR 32를 CI 확인 후 main 47a09d0e에 병합했습니다. 공개 Gooo 0.6.12를 그대로 사용합니다. 실패 사례를 Gooo 규칙으로 골라 기대값 전체를 다음 조립에 추가합니다. 중복은 한 번만 추가하고 모순은 그대로 남기며, 한도나 오류가 생기면 진행 기록을 보존합니다.

--evaluation-cases는 반복에 쓰고, --holdout-cases는 선택이 끝난 뒤 새 추론 없이 평가합니다. 기존 산술 예제는 기본 순서 16번·모델 순서 1번, 새 요금 계산은 기본 순서 1번·모델 순서 16번의 프로그램 시도로 끝났습니다. 네 실행 모두 마지막 평가 4/4를 통과했고, 각 프로그램의 두 경로가 같은 Gooo 소스를 만들었습니다.

모델 가중치와 원래 기대값을 유지한 두 프로그램의 관측입니다. 로컬 전체 race 검사와 PR CI를 통과했습니다. 내려받은 CI 원본의 해시와 실제 값·반례 복사·입력 분리를 다시 확인했고, 회차·시도·모델 호출·최종 소스가 로컬 결과와 같았습니다. 쉬운 설명 · 시간·실패·로컬 원본 · CI·병합 기록.

0.6.12 개발판을 공개하고 macOS arm64 파일을 확인해 설치했습니다. 배포 소스는 4a0cfdd8이며, Go 1.27.1과 decision runtime v0.2.26-experimental을 사용합니다. 배포·설치 원본.

생태계 작업장의 PR 30도 CI 후 병합했습니다. workbench construct는 부품·호출부·별도 평가를 구분하고, Gooo 규칙이 계산한 다음 시도 한도로 자동 재실행합니다. 기존 자체 모델과 공개 실행 파일을 직접 연결했습니다. 한 기존 예제에서 고정 순서는 네 회차·15번의 프로그램 시도, 모델 순서는 한 회차·한 번의 시도를 사용했습니다. 최종 소스와 일곱 실제 출력이 같고 저장 재실행의 새 추론은 0회였습니다. 실행·CI·재집계.

PR 1384의 body-construct를 필수 CI 여섯 개와 원본 검증 기록을 확인한 뒤 dev fe5fbab2에 병합했습니다. 검사한 소스와 병합 결과의 파일 트리가 같습니다. CI·원본·병합 기록. 부품별 예제는 맞지만 호출자의 기대값은 틀리는 경우, 소스에 허용한 다른 조합을 실제로 컴파일·실행합니다. 의존 함수가 바뀌면 부품별 기대값도 다시 검사하고, 모순이나 한도 소진은 부분 결과로 남깁니다.

소스와 입력을 먼저 고정한 한 프로그램에서 기존 자체 모델은 한 번, 고정 순서는 여덟 번의 전체 조립으로 같은 코드를 골랐습니다. 일곱 실행 사례의 실제 값이 같고 저장 재실행의 새 추론은 0회였습니다. 조립에 쓴 입력과 겹치는 사례를 따로 표시했습니다. 설명·범위·원본. 이 기능은 공개 0.6.12 파일에 포함됩니다.

이 기능을 묶은 0.6.12 후보도 공개 브랜치에 올렸습니다. 로컬 macOS arm64 후보에서 배포 실행 검사와 두 번의 빌드·압축 결과 일치를 확인했습니다. 새 조립 명령의 실패→성공, 큰 정수를 포함한 네 출력과 저장 재실행이 맞았습니다. 같은 후보에 기존 자체 모델을 연결한 회귀 실행에서도 모델 한 번·고정 순서 여덟 번으로 같은 소스에 도달했습니다. 고정 계획·후보 출처·실제 값. 0.6.12 후보의 네 플랫폼 검사도 통과했습니다. 내려받은 원본의 해시를 확인하고, 실행·재실행 기록 여덟 개의 실제 값, 조립 이력, 선택한 코드가 로컬 후보와 같은지 대조했습니다. 플랫폼별 원본과 비교. 배포 준비 PR 1385는 CI와 원본 검증 기록을 확인해 dev 4a0cfdd8에 병합했습니다. 병합 후 네 플랫폼 검사와 공개 작업을 통과했고 설치도 완료했습니다. 기본 브랜치 반영을 위한 PR 1386도 해당 PR의 필수 CI와 원본 승인 기록을 확인해 main c754ccf7에 병합했습니다. 기본 브랜치와 배포 소스의 파일 트리가 같습니다. 생태계 작업장의 시작 문서도 PR 31로 공개 0.6.12에 맞췄습니다.

PR 1381을 dev d3552fa2에 병합했습니다. Gooo 파일의 패키지 이름과 import를 읽어 작업공간 설정의 생략된 항목을 채웁니다. 라이브러리·진단 프로젝트 생성, 실행, 저장 재실행과 Gooo 정책을 통한 이어가기에 같은 구성을 사용할 수 있습니다. 직접 적은 메타데이터는 기존대로 소스와 대조합니다.

필수 CI 여섯 개와 최종 검증 기록을 확인했고, 검사한 소스와 병합 결과의 파일 트리가 같습니다. 네 플랫폼의 기존 배포 준비 검사도 통과했습니다. 공개 라이브러리의 기존 자체 모델을 연결한 회귀 관측에서는 같은 열 입력과 생성 프로그램이 유지됐습니다. 모델·고정 순서 모두 여덟 후보를 사용했으며, 저장 재실행의 새 추론은 0회였습니다. 간단한 설정과 사용법 · CI·병합 원본.

0.6.11 배포 준비 PR 1382를 dev 27594824에 병합하고 공개·설치했습니다. 이 버전에 새 설정의 실제 패키지 실행·재실행 검사를 추가했습니다. 로컬 macOS 후보에서 명시형과 짧은 설정을 각각 조립·재실행해 네 입력의 여덟 결과를 대조했습니다. 두 구성의 생성 프로그램이 같았고, 실행·재실행의 새 추론은 0회였습니다. 같은 후보로 공개 라이브러리와 자체 모델도 실제 실행했습니다. 기존 열 입력이 유지됐고 두 방식 모두 여덟 후보가 필요했습니다. 계획·원본·비교 코드. 이 PR의 필수 CI 여섯 개와 원본 검증 기록을 확인했습니다. 병합 소스의 네 플랫폼 배포 검사와 공개 작업도 통과했습니다.

0.6.11 개발판의 공개 macOS arm64 파일을 내려받아 해시·태그·정확한 소스를 확인하고 설치했습니다. 표준 라이브러리의 함수별 입력 79건과 저장 재실행이 맞았고, 자체 모델을 연결한 예제의 부분 결과까지 이전 후보와 대조했습니다. 25개 함수·모드·한도별 요약과 원본 기록 52건의 실제 값·생성 코드·재실행 결과가 같았습니다.

모델·고정 순서 모두 여덟 후보가 필요했습니다. 직접 입력한 한글 제목도 처리했고, 다른 입력으로 저장 재실행할 때 새 모델 호출은 0회였습니다. 별도 생태계 작업장의 기존 도구 검사와 자체 모델 실행도 통과했습니다. 공개 파일·설치·실행 원본. 기본 브랜치 반영 PR 1383도 필수 CI 여섯 개와 해당 PR의 원본 기록을 확인해 main 57105d8e에 병합했습니다. 배포 소스와 main의 파일 트리가 같습니다. 표준 라이브러리는 새 설정을 사용하는 0.1.1 실험판으로 공개했고, 작업장도 새 컴파일러를 고정했습니다. 두 저장소의 병합 후 CI까지 통과했습니다. 병합·플랫폼 비교·도구 연결 원본.

0.6.10 개발판을 공개하고 macOS arm64 실행 파일을 로컬 gooo로 설치했습니다. 소스는 eb0dc470입니다. 병합 소스의 네 플랫폼 검사와 공개 작업을 통과했고, 내려받은 실행 파일의 해시· Go 1.27.1·SDK v0.2.26·깨끗한 소스 출처를 확인했습니다.

설치한 공개 파일로 소스 수정 실험을 다시 실행했습니다. 모델은 네 후보, 고정 순서는 여덟 후보에서 완성됐고 두 결과의 542개 입력과 저장 재실행이 모두 맞았습니다. 반환된 Gooo 함수를 컴파일해 세 입력의 두 배 값도 확인했습니다. 기존 프로그램의 배포 회귀 검사이며 새 일반화 실험으로 세지 않습니다. 공개 파일·설치·실제 수정 원본. 기본 브랜치 반영 PR 1380도 필수 CI 여섯 개와 해당 PR의 원본 검사 기록을 확인한 뒤 main c6bbdbe0에 병합했습니다. 배포 소스와 main의 파일 트리가 같습니다. 작업장도 PR 28로 공개 컴파일러 소스를 고정했고, 병합 main 19485bb6의 CI까지 통과했습니다. 완료 기록과 원본.

gooo-standard-library 0.1.0 실험판을 공개했습니다. 숫자·논리·문자열의 세 패키지에 Gooo 함수 17개를 두고, 한 예제 앱에서 함께 가져다 씁니다. 함수 간 호출, 뒤집힌 경계값, int64 경계와 한글·이모지 문자열을 포함한 79개 함수별 입력을 실행·재실행했습니다. Linux CI와 로컬 결과가 같았습니다.

예제 앱에는 기존 자체 그래프 모델도 연결했습니다. 고정 순서와 모델 모두 여덟 후보에서 조립을 완료했고, 조립 예시와 겹치지 않는 열 입력의 10/10·30/30필드를 충족했습니다. 모델을 써서 완료 시도 수가 줄어든 결과는 없었습니다. 적은 한도에서 맞힌 입력과 필드 수는 서로 달랐고 모두 보관했습니다. 모델은 재학습하지 않았습니다.

사용법과 결과에서 짧은 실행 명령, 가져오기 구성, 실제 원본을 볼 수 있습니다. 패키지 소스와 평가 입력은 모델 실행 전에 고정했습니다. 직접 입력하는 Go 연결 명령과 다른 입력으로의 저장 재실행도 로컬과 후속 Linux CI에서 확인했습니다. 소스 27c0f6a에 태그를 고정했고 계산과 조건은 Gooo 본문에서 실행합니다.

배포 준비 PR 1379에서 패키지 문자열 연산 수정을 새 버전에 묶었습니다. 네 플랫폼의 배포 검사가 실제 입력 세 건의 패키지 실행과 저장 재실행도 확인하도록 했습니다. 로컬 후보 실행 파일로 기존 소형 모델의 소스 수정 실험을 다시 돌렸고, 완성된 두 경로의 542개 입력과 저장 재실행 결과가 유지됐습니다. 이는 이미 관측한 프로그램의 배포 회귀 검사입니다. 로컬 후보 원본 기록. 최신 후보 63a39565의 네 플랫폼 실행과 배포 근거 집계가 모두 통과했습니다. 32개 입력을 플랫폼 네 개에서 구성·재실행한 256건의 값을 다시 대조했고, 별도의 패키지 실제 입력 세 건도 각 플랫폼에서 같은 결과를 반환했습니다. 플랫폼별 원본과 재집계. 이후 전체 필수 CI 여섯 개와 원본 검사 기록을 확인해 dev eb0dc470에 병합했습니다. 검사한 소스와 병합 결과의 파일 트리가 같습니다. 병합된 소스로 배포 검사를 다시 실행한 뒤 기본 브랜치 반영 PR 1380도 완료했습니다. 개발 브랜치 병합 당시의 근거. 위의 공개 배포·설치·기본 브랜치 완료 기록이 이후 상태입니다.

소스 조각을 바꾸는 Gooo 도구를 만들었습니다. 기존 자체 그래프 모델을 재학습 없이 연결했고, 조립 완료까지 모델은 후보 4개, 고정 순서는 8개를 시도했습니다. 두 완성된 결과 모두 별도 입력 542/542와 저장 재실행을 충족했습니다. 모델의 첫 후보는 실패했고, 적은 시도 한도의 부분 결과도 남겼습니다. 반환된 Gooo 소스를 컴파일해 음수·0·양수에서 실제로 실행했습니다.

도구는 Workbench PR 27, 패키지 문자열 연산 수정은 컴파일러 PR 1378로 공개하고 병합했습니다. 도구 main은 8ed738d1, 컴파일러 dev는 04a6c433이며 각각 검사한 PR 소스와 파일 트리가 같습니다. 컴파일러 필수 CI 여섯 개와 원본 검증 기록을 확인했습니다. 도구의 PR·main CI도 통과했고, Linux와 macOS의 실제 출력·후보 순서·부분 충족 결과를 대조했습니다. 통합 근거. 이 실험 당시에는 수정 소스 e6150a23로 컴파일러를 빌드했습니다. 이후 수정을 0.6.10 개발판에 포함해 공개·설치했고, 위의 배포 회귀 검사로 다시 실행했습니다.

Go로 학습한 소형 모델을 Gooo 0.6.9의 후보 조립 경로에 직접 연결했습니다. 세 프로그램·576행으로 학습과 평가를 분리했습니다. 프로그램 하나를 학습에서 뺀 QAT 모델은 첫 선택 10~28/192로 전이가 낮았습니다. 24개 조립의 총 시도 수는 고정 순서 108회, 학습 자료 내 모델 63회, 해당 프로그램 제외 모델 120회였습니다.

8회 한도에서 세 방식 모두 선언 사례와 별도 실행 128/128·저장 재실행 128/128을 충족했습니다. 적은 한도에서의 부분 충족도 기록했습니다. Go 학습 코드·가중치· 분할 명단·실제 출력과 Gooo의 다음 작업 판단을 함께 공개했습니다. 새 그래프 모델의 Hugging Face 업로드는 아직 완료하지 않았습니다.

이전 버전의 관측과 당시 진행 상태 펼치기

아래는 각 버전과 실험 시점의 기록입니다. 현재 배포와 진행 상태는 위 절을 기준으로 읽습니다.

0.6.9 개발판 공개: 문자열 조립과 모델 입력 그래프

0.6.9 개발판을 공개하고 macOS arm64 배포 파일을 로컬 gooo로 설치했습니다. 배포 소스는 6c4a2b14이며 Go 1.27.1·추론 SDK v0.2.26-experimental을 사용합니다. 병합 소스의 네 플랫폼 검사와 공개 작업이 통과했습니다. 태그의 소스 연결, 공개 파일 9개와 체크섬 목록·매니페스트의 연결을 확인했습니다. 로컬에서 내려받은 arm64 파일과 메타데이터는 실제 바이트의 해시도 확인했습니다.

설치한 공개 실행 파일로 파일명 분류를 다시 조립했습니다. 고정 순서는 후보 8개, 기존 자체 모델은 1개를 시도했고 둘 다 조립 사례 5/5·필드 15/15·별도 실행 12/12였습니다. 저장한 모델 조립의 재실행도 12/12이며 새 추론은 0회입니다. 이 배치의 모델 판단은 16µs였고, 새 그래프 모델을 학습한 결과가 아닙니다. 공개 파일·실제 실행·재집계 기록.

기본 브랜치 반영 PR #1377도 필수 CI 여섯 개와 원본 검사 기록을 확인한 뒤 main d96c72a7에 병합했습니다. 배포 소스와 main의 파일 트리가 같습니다. 기본 브랜치 반영 기록. 다음 내용은 공개에 앞서 수행한 후보 검사 기록입니다.

PR #1376에서 문자열 처리, 보조 함수의 값 추적, 모델용 그래프 입력을 이번 개발판에 묶었습니다. 로컬 macOS arm64 실행 파일로 나눗셈 8/8, 재시도 12/12, 파일명 12/12를 확인했고, 저장 재실행에서도 같은 결과와 생성 코드를 얻었습니다. 파일명 예제의 초기 진입점 지정과 재실행 안내를 고쳤습니다. 새 그래프 추출은 모델 호출·후보 실행 없이 SDK까지 전달됐습니다.

같은 후보 실행 파일에 기존 자체 모델을 연결했을 때 원래 파일명 배치에서 첫 후보로 선택 사례 5/5·필드 15/15, 별도 실행 12/12를 얻었습니다. 고정 순서는 후보 8개를 확인했습니다. 한 번만 시도한 고정 순서는 필드 5/15·실행 0/12를 부분 결과로 남겼고 재실행에서도 같았습니다. 모델 판단은 12.334µs, 준비는 0.58125ms였으며 텐서는 2,096B입니다. 빌드·실행을 포함한 명령은 0.36초·최고 RSS 85,901,312B였습니다. CPU 시간/벽시간은 한 코어 기준 약 75%이며, 호스트 전체 CPU 증가량은 측정하지 않았습니다. 단일 관측이고 캐시 조건을 통제하지 않았습니다. 이전 배치 변경 실험의 첫 선택 1/8이라는 한계는 그대로이며, 새 v3 모델을 학습한 결과가 아닙니다.

원본·재집계·재현 · 로컬 소스 출처. 네 플랫폼 실행 검사는 모두 통과했습니다. 내려받은 원본 24개를 다시 집계했고, 각 플랫폼의 저장 재실행과 그래프 입력이 일치했습니다. 플랫폼별 원본. 배포 근거 집계도 7/7 항목, 구조적 배포 사례 26/26, 지표 39/39로 통과했습니다.

이후 전체 CI에서 임시 테스트 저장소가 의존성 체크섬을 빠뜨리는 문제를 발견했습니다. 로컬에서도 같은 실패를 재현했고, go.sum을 함께 복사하도록 고친 뒤 기존·변환된 코드의 두 실행 검사를 통과했습니다. 수정 소스 5902212a도 네 플랫폼 배포 검사를 다시 통과했습니다. 실패·수정·재검사 기록. 수정본의 필수 CI 여섯 개와 해시로 연결한 검사 기록을 확인한 뒤 개발 브랜치에 병합했습니다. 이후 병합 소스로 배포 검사를 다시 수행해 위의 공개·설치까지 진행했습니다.

다음 모델 실험: 프로그램과 한·영 의도를 나눠 기록

작업장 PR #24에 파일명 처리·정수 나눗셈·재시도 판단의 소스를 넣었습니다. 각 소스의 후보 배치 여덟 개와 한글·영어·혼합 의도 세 가지를 조합한 72행입니다. 세 프로그램의 변형으로 집계합니다. 소스만 읽어 만든 입력과, 별도로 실행해 얻은 선택 결과를 출처 해시로 연결했습니다. 각 행에서 선언된 사례를 만족했고, 현재 특징 배열에서는 72행이 서로 구분됐습니다. Gooo 평가 함수는 실제 선택기를 측정하라는 evaluate-chooser를 반환했습니다. 로컬 전체 race 검사와 정적 검사, PR·브랜치 CI를 통과해 main 73d6f359에 병합했습니다. Linux 원본의 입력·72개 배열 그룹·Gooo 판단은 로컬과 같았습니다. 병합과 실행 기록.

이 자료를 준비한 뒤 프로그램 하나 전체를 평가에 남기는 첫 그래프 모델 학습을 수행했습니다. 같은 코드의 배치나 번역을 나눈 결과와 구분해 위의 학습 절에 기록했습니다. 자료의 범위와 다음 실험.

같은 부품에 다른 요구를 주는 실험

작업장 PR #25는 같은 코드 선택지에 서로 다른 요구와 기대 결과를 주는 자료를 추가합니다. 세 프로그램 × 여덟 요구 조합 × 여덟 배치 × 세 표현으로 576행입니다. 원래 코드 그래프는 그대로 두고 요구 문장만 지우면 서로 다른 배열이 576개에서 24개로 줄며, 그 정보만 쓰는 결정론적 선택기의 자료 내 최대 충족 수는 72/576입니다. 실제 학습한 모델의 점수와 구분합니다.

24개 프로그램·요구 조합을 생성해 조립과 겹치지 않는 입력으로 128/128을 확인했고, 저장 재실행도 같은 결과였습니다. 모델 없이 실행했으며, 다음 모델이 요구를 따라 선택을 바꾸는지 측정하기 위한 자료입니다. 로컬 전체 race·정적 검사와 PR·브랜치 CI를 통과해 main 145922bf에 병합했습니다. Linux에서도 두 입력의 배열 그룹과 Gooo 판단이 로컬과 같았습니다. 실험 구조와 다음 학습 분할.

0.6.8 개발판 공개와 설치 확인

0.6.8 개발판을 공개했습니다. 정수 나눗셈·나머지와, 미리 계산한 지역 변수 중 필요한 값을 결과에 연결하는 조립을 담았습니다. 소스는 86b182da4543efa24ea5bcb504e7b13ea1449c39이며, 네 플랫폼 배포 검사와 공개 작업이 모두 통과했습니다.

공개 파일 9개와 체크섬 8개, 매니페스트의 파일별 크기·해시와 태그를 확인했습니다. 공개 macOS arm64 실행 파일을 직접 실행한 뒤 같은 바이트를 로컬 gooo로 설치했습니다.

예제	고정 순서의 후보 수	자체 모델의 후보 수	별도 실행 사례	저장 재실행
재시도 판단	8	1	두 방식 모두 12/12	12/12
정수 나눗셈·나머지	8	1	두 방식 모두 8/8	8/8

한 번만 시도한 재시도 조립은 사례 0/5·필드 8/15, 실제 실행 0/12를 부분 결과로 남겼습니다. 저장 재실행에서도 같은 결과였습니다. 원본의 실제 값과 기대값을 다시 세어 집계와 일치하는지 확인했고, 큰 정수도 값 그대로 비교했습니다. 모든 재실행의 새 모델 호출은 0회입니다.

재시도 모델 판단은 46.708µs, 준비는 1.154208ms였고 텐서는 2,096B였습니다. Go 빌드·실행을 포함한 명령은 0.34초·최고 RSS 87,621,632B였습니다. CPU 시간/벽시간은 한 코어 기준 약 76.47%이며 자식 작업을 포함합니다. 호스트 CPU 증가량은 미측정입니다. 캐시와 다른 작업을 통제하지 않은 단일 관측이고, 기존 모델 가중치를 사용했습니다.

원본·재집계 도구·재실행 명령 · 요약 · 파일별 해시 · 0.6.8 사용 안내.

main 반영 PR #1370도 별도 CI의 필수 검사 여섯 개와 원본 검증 기록을 확인한 뒤 main 38e72414에 병합했습니다. 배포 소스와 main의 파일 트리가 같습니다. 병합 관측.

작업장 PR #20도 예제 전체 CI를 통과해 main 908201e1에 병합했습니다. 사용 안내와 CI의 컴파일러 소스를 이번 0.6.8 배포에 맞췄습니다.

후속 개발: 문자열 처리와 모델의 후보 배치 의존성

PR #1371에서 문자열 길이와 부분 추출을 추가하고, 접두어·접미어·이름 분류를 Gooo 함수로 작성했습니다. 전체 CI의 필수 검사 여섯 개와 검증 기록을 확인해 dev 463f3f7f에 병합했습니다. 기존 숫자식 조립의 저장 재실행도 유지합니다. 같은 파일 트리를 main에 반영하는 PR #1372도 별도 CI와 병합 검증을 통과해 main 42edaf14에 병합했습니다. 공개 0.6.8 실행 파일에는 아직 문자열 변경이 포함되지 않았습니다. 병합과 검증 기록.

자체 소형 모델은 원래 배치에서 첫 후보로 실행 12/12를 얻었습니다. 같은 후보의 앞뒤를 여덟 방식으로 바꾸자 첫 선택이 맞은 배치는 1/8이었고, 총 시도 수는 모델과 고정 순서 모두 36회였습니다. 마지막 실행 결과는 두 방식 모두 각 배치에서 12/12였습니다. 구현·배치 실험·남은 과제와 원본.

후속 입력 검사에서 원인을 더 좁혔습니다. 현재 모델 특징 배열은 &&와 ||, 원래 이름과 접미어를 뺀 이름을 구분하지 않아 여덟 배치가 두 배열로 합쳐집니다. 제공된 정답을 기준으로 이 배열만 읽는 결정론적 선택기의 최대치는 2/8입니다. 학습 전에 필요한 구분을 입력에 보존해야 합니다. 작업장 PR #21은 PR CI와 브랜치 CI를 통과해 main 13c54fe6에 병합했습니다. 재사용할 수 있는 검사 명령과 모델 사용·미사용 두 실행의 원본을 함께 보관했습니다. Go가 입력을 집계하고 Gooo 평가 함수가 다음 작업을 결정합니다. 새 학습은 하지 않았습니다.

후속 PR #1373은 필수 검사와 원본 검증 기록을 확인해 dev c278bb58에 병합했습니다. 같은 파일 트리의 main PR #1374도 별도 CI와 검증을 통과해 main dd0f339e에 병합했습니다. 보조 함수의 인자와 조건별 반환값을 출처 그래프에 연결합니다. 파일 이름 예제의 네 함수가 115개 노드로 해석됐고, 기존 v2 입력은 여덟 배치를 네 배열로 구분했습니다. &&와 ||를 합치는 문제는 남아 있습니다. 구현·검사·모델 경로의 구분에 원본 관측을 정리했습니다.

작업장 PR #22는 이 출처 입력도 검사 명령으로 받습니다. Gooo 평가 함수가 두 입력 형식에서 구분 부족을 찾아 다음 작업을 정했고, 원본과 재실행을 공개했습니다. 로컬 전체 race 검사와 정적 검사를 통과했습니다. 후속 CI와 브랜치 CI도 통과해 main d7a628fa에 병합했습니다. Linux 원본의 입력·그룹·Gooo 판단은 로컬 관측과 같았습니다. 병합·실행 근거. 새 모델 학습은 하지 않았습니다.

후속 개발: 연산자와 계산 순서를 모델 입력에 보존

Go SDK v0.2.26-experimental을 공개하고, 연결한 컴파일러 PR #1375를 dev a3ec8269에 병합했습니다. 로컬 코드 생성·실행·CLI의 race 검사와 정적 검사, 필수 CI 여섯 개와 원본 검증은 통과했습니다. 별도 호환 검사도 통과했고, 병합된 파일 트리는 검사한 소스와 같습니다. main 반영과 0.6.9 배포는 준비 중입니다. 모델용 입력에서 AND·OR, 피연산자 순서, 상수와 조건별 반환을 보존합니다.

한 파일 이름 프로그램의 여덟 후보 배치를 비교했을 때 서로 다른 배열 수가 v1 2개 → v2 4개 → v3 8개로 늘었습니다. 입력 추출의 모델 호출과 후보 실행은 0회입니다. 별도 고정 순서 조립은 각 배치에서 사례 5/5·필드 15/15, 총 36회 시도였습니다. 전용 모델은 아직 학습하지 않았고, 이 구분 수를 모델 정답률로 해석하지 않습니다. 쉬운 설명·원본과 재현 방법. 공개 Gooo 0.6.8 실행 파일에는 아직 포함되지 않았습니다.

작업장 PR #23에서도 새 그래프의 구분 수를 Gooo 평가 함수에 전달했습니다. evaluate-chooser를 다음 작업으로 반환했고 모델 호출은 0회였습니다. 로컬 전체 race·정적 검사와 저장 재실행이 통과했으며, PR·브랜치 CI도 통과해 main bc3f50f3에 병합했습니다. Linux 원본의 입력·배열·Gooo 판단은 로컬과 같았습니다. 병합·실행 기록.

0.6.7 개발판 공개와 설치 확인

0.6.7 개발판을 공개했습니다. 소스는 3579b869b6025e34db87d9a283b6aabf54c39eb3입니다. 저장한 보조 함수와 패키지의 조립을 이어가기, 실패한 입력을 반영해 다시 조립하기, 소스에 선언한 다음 숫자식 탐색 방법으로 옮기기를 담았습니다. 배포 검사와 공개 작업이 모두 통과했습니다.

Linux amd64, Windows amd64, macOS amd64·arm64를 제공합니다. 배포 파일 9개를 내려받아 체크섬 8개와 manifest의 파일별 크기·해시, 태그의 소스를 확인했습니다. macOS arm64 파일을 설치해 버전, Go 1.27.1, 변경 없는 소스 출처를 확인하고 다음 예제를 직접 실행했습니다.

실행	처음	이어 조립	저장 재실행
중첩 보조 함수	0/2	2/2	2/2
자체 모델로 시작한 진단 패키지	2/4	4/4	4/4

패키지의 최초 조립은 자체 소형 모델을 한 번 불렀습니다. 두 이어가기와 저장 재실행의 새 모델 호출은 0회입니다. 숫자식 예제는 모델 없이 1/10 → 10/10으로 진행했고, 선택 후 별도 평가도 3/3이었습니다. 후보 목록은 전체 108개 중 16개이며 제외된 92개도 기록합니다.

설치·관측 요약 · 모델로 시작한 원본 · 이어 조립한 원본 · 숫자식 관측 · 소스와 실행 안내.

수치는 각 예제에 제공한 사례의 결과입니다. 첫 모델 예측은 27,208 ns였으며 텐서는 2,096바이트였습니다. 한 번의 관측이고, 전체 CPU 사용률과 모델 학습 자료의 중복 여부는 측정하지 않았습니다. 배포 보고서의 FOUNDATION 설명 한 줄에는 예전 3개 x64·20사례 문구가 남아 있습니다. 실제 구조화된 집계와 실행 기록은 4개 대상·26개 배포 사례이며, 공개 원본을 유지하고 설명 수정은 후속 변경에서 다룹니다.

후속 개발 소스: 결과를 보고 조립 방법 바꾸기

Gooo 정책이 실제 실행 결과를 읽고 소스에 선언한 다음 탐색 방법을 고르는 PR #1359를 dev af837c4e에 병합했습니다. 원본 CI의 필수 검사 여섯 개와 정확한 소스에 연결된 검증 기록을 확인했습니다. 같은 파일 트리를 main으로 옮긴 PR #1360도 별도 CI를 통과해 main 5f89b6c3에 병합했습니다.

이어서 제곱식의 빈칸 조립 #1361을 공개했습니다. 열 입력에 공통으로 쓸 식을 먼저 담자 같은 후보 한도에서 1/10 → 10/10이 됐고, 선택 후 별도 평가 세 건도 통과했습니다. 후보 목록은 전체 108개 중 16개로 유지합니다. 이 변경은 CI를 통과해 dev f1957797에 병합했습니다. main 반영 #1362도 별도 CI와 원본 검증 기록을 확인한 뒤 main 98d3d3e0에 병합했습니다. 위의 0.6.7 개발판에 포함된 기능입니다. 설명과 원본.

이 숫자식에 자체 모델의 레코드 조립을 연결한 작업장 PR #16도 공개했습니다. 고정 순서와 모델 사용은 활동 출력 20/20·별도 평가 6/6, 한 라운드 제한과 대안 제거는 2/20·0/6이었습니다. 로컬 전체 race 검사와 PR CI를 통과해 작업장 main 30f65e46에 병합했습니다. CI는 실험에 사용한 컴파일러 소스를 고정합니다. 모델 호출·원본·저장 재실행.

0.6.7 후보 소스로 직접 실행한 결과

공개한 후보 소스 99473378를 Go 1.27.1로 빌드해 세 경로를 실행했습니다. 이 항목은 공개 이전의 로컬 후보 관측이며, 실제 배포 파일의 관측은 맨 위에 따로 기록했습니다. 배포 준비 PR #1363는 CI와 원본 검증 기록을 확인한 뒤 dev 3579b869에 병합했습니다. 후보 배포 검사는 Linux amd64, Windows amd64, macOS amd64·arm64에서 통과했습니다. 병합된 소스의 배포 검사도 통과했고, 0.6.7 바이너리는 공개했습니다. main 반영 #1365도 CI와 원본 검증 기록을 확인해 main ff63a809에 병합했습니다.

• 중첩 보조 함수: 저장한 결과의 실행 사례 0/2 → 이어 조립한 결과 2/2 → 저장 재실행 2/2.
• 진단 패키지: 자체 모델로 시작한 결과 2/4 → 이어 조립한 결과 4/4 → 저장 재실행 4/4. 최초 조립의 모델 호출은 1회이며, 두 이어가기 경로에서 추가한 모델 호출은 각각 0회입니다.
• 센서 예제: 자체 모델로 조립하며 활동 출력 2/20 → 20/20, 별도 평가 6/6. 두 수정 라운드에서 모델을 2회 더 호출했고 최초 1회와 구분해 기록했습니다.

빌드 출처, 보조 함수 원본, 패키지 원본, 센서 실행 기록을 소스와 사례, 파일별 체크섬과 함께 보관했습니다. 수치는 각 예제에 제공한 사례의 결과이며, 모델 학습 자료와의 중복 여부와 전체 입력에서의 성능은 별도로 확인할 과제입니다.

Gooo로 재사용 가능한 재시도 판단 만들기

작업장 PR #17에 재시도 여부, 상한이 있는 대기 시간, 중단 이유를 만드는 작은 모듈을 공개했습니다. 조건 분기와 지역 변수는 Gooo로 적었고, 자체 모델은 결과 필드 세 개의 허용된 조합을 추천합니다.

별도 계산기를 기준으로 200개 입력과 600개 결과 필드를 검사해 고정 순서와 모델 사용 모두 통과했습니다. 공개한 열두 예제에서는 고정 순서가 여덟 후보를, 모델은 첫 후보를 확인해 같은 기대값에 도달했습니다. 저장한 프로그램의 새 모델 호출은 0회입니다. 실제 대기와 작업 실행, 사용한 횟수의 관리는 이 함수를 부르는 프로그램이 맡습니다.

로컬 전체 race 검사와 vet에 이어 PR CI도 통과해 작업장 main e81fa000에 병합했습니다. CI에서도 공개한 열두 예제와 저장 재실행을 확인했습니다. 사용법 · 원본 결과와 측정 범위.

후속 소스: 정수 나눗셈과 나머지

재시도 모듈을 만드는 중 본문 생성기가 /를 받지 않는 점을 확인했습니다. 후속 PR #1364에서 /와 %를 본문 생성과 후보 평가에 연결했습니다. 음수의 몫·나머지와 int64 양끝의 결과를 생성된 Go 프로그램과 대조했고, 상수·실행 입력의 0 분모와 단락 평가도 검사했습니다.

Gooo 예제는 분모가 0이면 유효성 필드와 두 결과 값을 직접 정합니다. 자체 모델을 연결한 조립에서는 첫 후보가 소스 사례 4/4를 만족했고, 고정 순서는 여덟 후보를 확인했습니다. 별도 실행은 두 경로 모두 8/8, 저장 재실행도 8/8이며 추가 모델 호출은 0회입니다. 소스와 실행 방법, 모델 실행 원본, 재실행 원본을 공개했습니다.

이 관측의 빌드는 c203fdd6이며, 본문 생성기·CLI 전체 race 검사와 추가 오류 검사를 로컬에서 통과했습니다. 첫 PR CI도 통과했습니다. 공개한 0.6.7의 소스를 정상 병합해 ea1feb88로 이어 붙였고, 새 소스의 CI도 통과해 dev 3d39dcde에 병합했습니다. main 반영 #1366도 필수 CI와 원본 검증 기록을 확인해 main ba47c3a1에 병합했습니다. 검사받은 dev 소스와 main의 파일 트리는 같습니다. 이 변경은 공개 0.6.7 실행 파일에 포함되지 않은 후속 기능입니다. 작은 모델의 기존 연산 분류와 탐색 문법의 후보 집합은 유지합니다.

후보가 쓰지 않는 지역 변수도 유지하기

계산할 값을 미리 준비하고 조립 후보가 필요한 값만 결과에 연결할 수 있도록 했습니다. 초기화·대입·분기의 실행 순서는 유지하며, 타입 검사와 실행 오류도 계속 확인합니다. 공용 실행기 v0.2.25는 공개했고, 컴파일러 PR #1367은 dev 459696c4에 병합했습니다. 첫 CI에서는 미사용 변수를 여전히 오류로 기대하던 관측 테스트 하나가 실패했습니다. 이를 실제 사례 점수를 확인하도록 고치고, 타입 오류와 실제 0점을 구분하는 별도 검사를 추가했습니다. 수정 소스 24e5e96f의 전체 CI와 검증 기록은 통과했고, 별도 장기 호환성 실험도 성공했습니다. main 반영 #1368도 별도 CI와 원본 검증 파일을 확인한 뒤 main 0e56479b에 병합했습니다. main과 검사받은 dev의 파일 트리는 같습니다.

자체 모델로 재시도 정책을 조립한 로컬 실행은 첫 후보에서 조립 사례 5/5와 필드 15/15를 만족했습니다. 고정 순서는 여덟 후보를 확인했습니다. 별도 실행은 두 방식 모두 12/12, 저장 재실행도 12/12이며 새 모델 호출은 0회입니다. 기존 가중치를 사용한 한 예제의 관측입니다. 이유·사용법·원본 결과를 함께 공개했습니다.

0.6.8 배포 준비와 로컬 실행

후보 소스 6a8eb6fd로 0.6.8 배포 준비를 진행했습니다. 배포용 실행 파일 자체가 나눗셈과 재시도 예제를 조립하고, 저장한 결과를 재실행하는 검사를 플랫폼 빌드 과정에 연결했습니다.

로컬 macOS arm64에서 실행 파일과 압축 파일을 각각 두 번 만들었고 바이트가 일치했습니다. 그 실행 파일로 나눗셈 8/8, 재시도 12/12를 확인했으며 저장 재실행도 같은 결과였습니다. 새 실행 중 모델 호출은 0회입니다. 이 기록은 당시 로컬 실행의 결과입니다. 원본 기록의 macos-15는 대상 프로필 이름이며, 후속 네 플랫폼 CI 결과는 아래에 구분합니다.

요약과 측정 범위 · 파일 체크섬 · 후보 사용 안내. 위 로컬 관측 뒤 테스트 수정과 dev 병합을 반영한 소스에서 Windows 문제가 드러났습니다. Git이 텍스트 줄바꿈을 CRLF로 바꾸면서, 실행 파일에 포함된 선언의 바이트와 생성 당시 해시가 달라졌습니다. 저장소의 텍스트 체크아웃을 LF로 고정하고 바이너리 가중치는 바이트 그대로 유지하도록 고쳤습니다. 같은 Git 설정을 재현하는 회귀 검사도 추가했습니다.

수정 후보 0c6381c0을 배포 준비 PR #1369에 공개했습니다. 네 플랫폼 실행 검사에서 Linux amd64, Windows amd64, macOS amd64·arm64의 개별 작업이 모두 통과했습니다. 각 실행 파일로 나눗셈 8개와 재시도 12개 사례를 조립하고 저장 재실행까지 확인했습니다. Windows 작업의 원본 파일을 내려받아 아카이브 해시와 실행 소스를 확인하고, 조립·재실행이 같은 Go 코드를 선택했으며 새 모델 호출이 0회임을 대조했습니다. 관측 요약과 파일 체크섬을 공개합니다. 이 후보의 배포 준비 최종 기록도 EVIDENCE_CLOSED / EXACT로 확인했습니다. 네 플랫폼의 검증 기록과 배포 절차 사례 26/26을 집계한 결과입니다.

이후 전체 코드 CI의 변환된 소스 검사에서 실패가 발생했습니다. 새 체크아웃 검사에 CI와 같은 Git 작업 경로 설정을 넣어 실패를 재현했습니다. 임시 저장소의 Git 명령이 바깥 저장소 설정을 물려받지 않도록 고치고, 바깥 Git 경로가 바뀌지 않는지도 검사합니다. 관련 네 패키지의 로컬 race 검사와 vet는 통과했습니다. 최신 수정 f9c1adc0의 네 플랫폼 검사도 최종 배포 준비 판정까지 통과했습니다. 전체 CI의 필수 검사 여섯 개와 원본 검증 기록도 모두 통과해 dev 86b182da에 병합했습니다. 다운로드한 검증 파일의 해시와 소스·CI 실행·PR 연결을 확인했고, 병합된 파일 트리는 검사받은 f9c1adc0의 트리와 같습니다. 병합 기록과 검증 근거.

병합된 소스의 네 플랫폼 배포 검사가 통과했고 0.6.8을 공개했습니다. 실제 배포 파일의 실행·설치 관측은 맨 위에 기록했습니다. 같은 파일 트리의 main 반영 PR #1370도 열었습니다. main 반영은 별도 CI와 현재 dev·main의 연결을 확인한 뒤 진행합니다.

앞서 반영한 기능: 보조 함수 조립 이어가기

PR #1351의 필수 CI 6개와 증빙을 확인하고 dev 26daac53에 병합했습니다. 레코드 선택 보조 함수의 후속 조립과 재검사를 지원합니다. 고정 소스의 실제 실행에서 중첩 앱은 0/2 → 2/2, 진단 앱은 2/4 → 4/4를 관측했습니다. 실행 방법과 범위는 개발 소스와 아래 공개 배포를 구분합니다. 같은 파일 트리의 main 반영 PR #1352도 필수 검사와 증빙 확인 후 main 60fef5c0에 병합했습니다. main 파일 트리는 검증한 dev 소스와 같습니다. dev 병합과 증빙 기록.

0.6.6 개발판 공개와 설치 확인

0.6.6 배포 파일 9개의 소스는 86d218f0입니다. 진단 시작 템플릿, 패키지의 순수 함수 호출, Gooo 조립 정책, 호출할 보조 함수의 본문 조립과 실제 인자 관측이 들어 있습니다.

• 릴리스 PR #1349는 여섯 필수 검사와 증거 검증 후 병합했습니다.
• 병합 소스의 네 플랫폼 준비 검사와 공개 발행이 성공했습니다.
• 공개 파일 9개를 내려받아 체크섬 8개와 매니페스트의 파일 크기·해시를 대조했습니다. macOS arm64 실행 파일로 여덟 사용 흐름을 확인하고 로컬 기본 실행 파일도 같은 바이트로 교체했습니다.

진단 도구의 출력은 8/8, 호출 앱은 4/4, 이전 기록 재실행은 4/4였습니다. 일찍 멈춘 호출 앱은 조립 사례 3/5와 앱 출력 2/4를 보존했습니다. 저장 재실행의 새 모델 호출은 0회입니다. 각 실행의 원본과 측정 범위는 공개 배포 관측에 있습니다. 설치와 사용 · 성장 방향.

main 반영

PR #1350을 병합했습니다. main 8d1b4855와 공개 배포 소스 dev 86d218f0의 파일 트리가 같습니다. 승격 CI의 필수 검사 여섯 개, 정확한 소스와 연결된 증거, 실제 브랜치 관계를 확인한 뒤 예상한 커밋을 지정해 정상 병합했습니다. 병합과 증거 기록.

별도 비필수 CodeQL 보고는 Critical 1건·High 3건을 표시합니다. 추가 자동 검토는 월간 사용량 한도로 실패했습니다. 이 관측은 해결된 항목으로 세지 않으며, 현재 배포의 확인 범위에 함께 남깁니다.

이전 0.6.5 개발판의 배포 관측

• 배포 파일 9개를 공개했습니다. 정확한 소스는 dev의 07715764입니다.
• 릴리스 준비 PR #1338은 필수 검사 6개와 증거 검증을 통과한 뒤 병합했습니다.
• 병합 소스의 배포 준비는 Linux amd64, macOS amd64·arm64, Windows amd64에서 실행을 확인했습니다. 발행 실행도 성공했습니다.
• 저장한 패키지 프로그램을 새 입력으로 실행하고, 그 조립 기록을 Gooo 설명 도구에 전달할 수 있습니다. 모델의 첫 제안과 최종 선택도 구분합니다.

다운로드한 macOS arm64 배포 파일의 체크섬과 버전을 확인하고, 같은 태그의 진단 예제로 생성·저장 재실행을 각각 8/8 출력 기대값에서 확인했습니다. 추가 입력 세 건과 조립 설명 네 건은 기대 정답 없이 관측했으며, 새 모델 호출은 0회였습니다. 이 로컬 확인은 해당 플랫폼과 명시된 예제에 대한 결과입니다. 직접 따라 하기.

gooo init --template diagnostic은 후속 PR #1339의 CI가 성공한 뒤 dev 25df2948에 병합했습니다. 새로 만든 프로젝트의 조건·대입·레코드 선택지는 Gooo 소스에 들어갑니다. 템플릿은 이 개발 소스에서 사용할 수 있고, 0.6.5 배포 태그는 위의 07715764입니다.

코드·모델·배포 위치

0.6.6에 포함된 언어 기능

패키지 간 순수 함수 호출과 Gooo 조립 정책 재사용, 보조 함수의 본문 조립, 실제 호출 인자 관측 #1348을 병합했습니다. 개발 후보의 실행 기록은 배포 전 관측으로 남겨 두었습니다. 위 공개 배포 관측은 내려받은 실행 파일로 별도 수행했습니다. 언어 흐름과 다음 과제를 함께 읽습니다.

바로 사용할 수 있는 흐름

• Gooo에 계산 본문과 한영 조립 의도·선택지·확인 예시를 함께 적습니다.
• body-compose로 여러 본문을 명시적 bind에 연결해 실제로 빌드·실행합니다.
• 모델을 연결하면 작은 판단기가 후보 순서를 제안하고, 생략하면 결정론적으로 탐색합니다.
• 실제 중간 값과 제공한 기대값의 충족 수를 읽습니다. 기대값이 없는 값도 기록합니다.
• 선택된 Gooo를 다음 생성에 사용하거나 저장 조립 기록을 추가 추론 없이 재실행합니다.

따라할 명령과 일곱 활동 예제 · 처음 시작하기

최근 공개: Gooo로 작성한 생태계 도구

새 생태계 저장소를 공개했습니다. 표준 함수13개, 실제 실행 기록의 진단, scalar/record Gooo 파일 생성을 구현했습니다. 규칙과 후보식은 Gooo에 두고 Go가 파일과 실행을 연결합니다. 기존 공유 QAT를 선택적으로 쓰며 모델 옵션을 생략하면 결정론적으로 진행합니다. 고정 사례의151/151출력·66/66필드와 다섯 저장 재실행을 로컬에서 확인했습니다. 이 수는 진단·시작 사례를 두 선택 순서에서 반복한 관측을 포함합니다. 사용 안내와 확인 범위.

추가로 reference 명령이 operation-interface를 읽어 공개 시그니처와 타입 ID의 문서를 Gooo 템플릿에서 만듭니다. ApproveInvoice 두 입력·출력 계약을 문서화했고 기대 문서1/1개, 저장 재실행을 확인했습니다. Linux CI37245378549도 전체 성공입니다. CI의 원본 페이지는 로컬 공개 기록과 바이트 단위로 같았습니다. 입력·원본·충족 기준.

이후 Gooo 완전성 영수증과 인보이스 승인 도메인 예제를 공개했습니다. 세 입력 사례가 승인·미제출·비활성 검토자 분기를 실행해 결과 6개와 필드 18개를 확인하고 같은 프로그램을 저장 재실행합니다. 최신 CI37247331878 와 v0.4.0 실험 릴리스를 공개했습니다. 예제 완전성 축은 PROGRESS, 계측하지 않은 외부 경계는 UNKNOWN으로 남겼습니다. 실제 회계 업무나 전체 언어 완성도를 주장하지 않습니다.

작업장 PR #1을 main 9d0e2d41cf381fbd0f805a6b0aab68bfc373b00a에 병합하고 CI 37249352691을 통과했습니다. 새 discover 명령은 Gooo-jev의 한국어·영어 기능 탐색을 Gooo 활동에서 평가합니다. 선언 출처가 연결된 AVAILABLE 카탈로그 결과도 PROGRESS에 머물고 첫 미해결 단계가 generation임을 표시합니다. 미등록은 UNKNOWN, 실행 요청은 DEFERRED로 남고 실제 실행은 하지 않습니다. 조사 결합과 provenance 라우팅 수정을 담은 JEV PR #483은 verification 성공 후 usage-contract race 검증이 진행 중입니다. 입력·산출물·체크섬은 공개 관측 자료에 보관했습니다. 증거 묶음을 추가한 PR #2가 main a21dae06ee646ed1a6dd9967d697b2298a085647에 병합됐고 main CI 37249671631도 성공했습니다. 해당 기능을 포함한 v0.5.0 실험 릴리스를 공개했습니다.

최근에는 컴파일러 저장소의 파일 기반 CI 계획 예제를 작업장에 옮겼습니다. Gooo로 작성한 한정된 CI 계획 레시피는 12개 사례로 24개 출력·96개 필드를 확인하고, 모델 호출 없이 저장 재실행합니다. 명령을 실행하는 기능은 아니며 모르는 파일 묶음은 UNKNOWN으로 둡니다. 공개 CI37247798151이 성공했습니다. 영수증의 첫 미해결 단계는 독립 사용 사례(use_case=PROGRESS)입니다.

앞선 배포: 실패한 후보 이후에도 조립 이어가기

후보 조합 실패 후 이어가기를 main에 병합·설치했습니다. 개발PR1237과mainPR1238은 각각 전체12개 검사와 독립 확인을 통과했습니다. 당시 관측한 두 실행기는 main f144dddb8261b9b525181dee510afc65f1603153·Go1.27.1·SDKv0.2.24였습니다. 설치본의 네 생성·네 저장 재실행, 여섯 출처 검사와 두 작업자32요청의 네 반복을 확인했습니다. 실제 기대값을 다시 세었고, 부분17/21필드와 완전21/21필드를 함께 보존했습니다. 타입 탈락 후보는 사례 실행0회로 기록하며 같은 예산 안에서 탐색을 계속합니다. 기존 공개 QAT를 사용했고 추가 학습은0회입니다. 실행·저장 재실행의 새 추론도0회입니다. 배포·설치·원본 · 실행과 지표 읽기.

앞선 배포: 현재 값과 저장값의 출처

값의 출처를 소스 그래프와 새 고정 배열 입력으로 구현했습니다. 개발 PR1235와 main PR1236을 각각 전체12개 검사와 독립 확인 후 병합했습니다. 출처 기능을 설치한 당시 소스는 main 78dd30db84758f7adff61e6cc9628738a34d31d1· Go1.27.1·SDKv0.2.24입니다. 설치 후 네 소스·여덟 내보내기·여섯 관측 검사가 통과했고, 입력 배열·관계·소스 지문은 개발 관측과 같았습니다. 기존 공개 모델의 선택15/15필드· 실제14/14출력과 추가 추론 없는 저장 재실행도 확인했습니다.

새 입력용 가중치 학습은 다음 단계입니다. 공개 v1 모델은 기존 계약과 가중치를 사용합니다. Hugging Face의 출처 자료·설치 근거를 공개했습니다. 후보 조합 실패 후 이어가기는 이후 mainPR1238에 반영했습니다. 아래 공유·순차 모델 관측은 각각의 실험 시점을 유지합니다.

앞선 공개: 필드별 공유 판단

추가로 순차 필드 대입·복사 실험을 공개했습니다. 개발 PR1233과 main PR1234을 전체12개 검사와 독립 확인 후 병합했습니다. 순차 실험 당시 설치본은 main a5f6e8c668ff9fc7cfe3367a5019b50fbcadc1fa·Go1.27.1·SDKv0.2.23였습니다. 72개 유효한 그래프·144회 네이티브 실행과 초기24개 소스 오류를 함께 보존했습니다. Linux의 새72개 그래프도 독립 재계산했고 연구CI27개 작업이 통과했습니다. 빠른 시작에서 모델 선택·생성·실행·충족 수 읽기·저장 결과 재실행을 이어갑니다.

아래 공유 필드 모델의 학습과 main2c 설치 관측은 해당 실험 시점의 기록입니다.

공유 필드 판단은2,072개 매개변수로 세 필드의 두 후보식을 각각 판단합니다. 같은3,840회GPU 갱신과 본문 평가에서 첫 완전 조합은FP32 75.0%, QAT87.5%였습니다. 새 본문·새 표현에서는23.4%·19.9%로 떨어졌습니다. 삼진 가중치 파일은446 B이며 실제 텐서2,096 B·scale8 B를 사용합니다.

360회 조립·720회 실제 실행을 마쳤습니다. 첫 후보의 활성 필드는 공유 모델 126/144개, 앞선 v2 108/144개였습니다. 새 표현8개 소스만 보면30/48개와32/48개로 퇴행도 있습니다. Linux의360개 그래프 원본을 압축 상태로 읽어 모든 소스·입력· 실제 값과 필드 지표를 독립 확인했습니다. 모델과 원본은 Hugging Face에 공개했습니다. SDKv0.2.23을 공개했고 개발 PR1231과 main PR1232을 각각 전체12개 검사와 독립 확인 후 병합했습니다. 깨끗한 main2c807d461afc68a7ebfbd277d1dd6e97f5168e92·Go1.27.1로 두 실행기를 설치해 공개 가중치로 재확인했습니다. 연구 PR17은 새 모델의Go 수치·실행 재생을 포함한 전체26개 검사를 통과해 main172d366a로 병합했습니다. 공개 모델의32개 두 작업자 요청을 반복4회 관측했고, 매회 선택 필드480/480개가 맞았습니다. 첫 응답은 입력 종료 전에 도착했습니다. 이 개발 후보의 첫 실행497ms·반복8.812.3ms와 작업자RAM22.622.9MiB를 보존합니다. 설치본의 첫 응답은483.816ms, 세 반복은12.16436.625ms, 작업자RAM은22.5323.27MiB였습니다. 모든4회에서32요청·선택 필드480/480개가 맞고 입력 종료 전에 첫 응답이 도착했습니다.

이전 모델·설치와 개별 관측의 근거

앞선 공개: 반대·혼합 요구와 새 표현

자체 필드 v2는 같은18,656개 매개변수에GPU3,840회 갱신을 진행했습니다. 다른 본문1,536개에서 첫 완전 조합FP32 27.6%, 기존 필드 모델12.5%였습니다. 다른 본문·새 표현512개에서는15.8%입니다. 삼진QAT는 13.8%·12.7%였습니다.24개 소스의 별도360회 조립·720회 실제 실행에서 활성 필드와 조건에 따른 입력 유지 필드를 나눠 읽습니다. 첫 후보의 활성 필드는 FP32 108/144개, 결정론72/144개이고, 여덟 후보 예산에서는 모두 맞았습니다.

해당 관측에서는 컴파일러 main aeff3641·Go1.27.1·SDK0.2.22에 직접 연결했습니다. 새 모델의 기본 선택은 유지하고, Hugging Face 에 세 가중치·예제·원본을 공개합니다. 연구 PR16 은 새로운Linux 재생 작업을 포함한 전체25개CI를 통과해 main 05db7d6e로 병합했습니다. Linux의360회 조립 원본도 내려받아 독립 재계산했습니다.

앞선 공개: 실제 필드 문맥으로 학습한 작은 모델

자체 필드 모델은 새로운 초기값에서GPU480회 학습해 FP32·PTQ·QAT를 공개했습니다. 768개 소스 관측 중192개를 별도 평가에 사용했고, 첫 후보의 완전한 조합 일치는192·70·134개였습니다. 판단 중앙값은약16µs입니다. 별도100회 조립·200회 실행과 반대 의도에서 떨어진12/24 필드 충족도 공개합니다.

개발 #1229는 전체12개 CI와 독립 확인 후 e55ff73c로 병합했습니다. 실제 필드 후보식·한영 의도의 새 문맥, 조건문에서 else 없이 이어가기와 중첩 갱신·조기 반환을 연결합니다. 같은 트리의 main #1230도 전체12개 CI와 독립 확인 후 병합했습니다. 두 실행기는 main aeff3641·Go1.27.1·SDK0.2.22로 설치했습니다. 공개 FP32·PTQ·QAT의 실제 실행과 두 작업자의 조립8요청· 선택 필드120/120개를 확인했습니다. 기록의 그래프 실행은 body-compose를 사용하며, 상주 작업자는 레코드 조립 결과를 제공합니다.

연구 #15는 전체24개 검사를 통과해 main 2a8f2179로 병합했습니다. Linux에서 같은100회 조립과 부분 필드·반대 의도 실패를 독립 검산했습니다.

설치 후 별도100회 조립·200회 실행도 원래 후보의 Gooo·Go·연결 코드 지문과 충족 수를 유지했습니다. 실행 단계는 추가 모델 호출0회였고, 부분 결과와 반대 의도 실패도 같은 수로 남았습니다. 전체 예산30개 조립은 실행 필드와 이름 있는 기대값을 모두 충족했습니다.

공개 모델·원본·예제 · 연구 PR #15.

앞선 배포: 같은 그래프에 새 입력 전달하기

개발 PR #1227은 body-compose --case-series ... --repeat 2를 추가합니다. 첫 실행에서 빌드하고 다음 입력·기대값은 같은 프로그램에서 새로 실행합니다. 개발과 main #1228을 각 전체12개 CI 작업 후 병합했습니다. 현재 두 실행기는 깨끗한 main 7acccf56· Go1.27.1·SDK0.2.21로 설치했고, 실제 자체 모델을 연결해 새로 측정했습니다.

새 자체 모델 판단은 한 번, 실행 단계의 추가 추론은0번입니다. 설치본의20개 작업은 후보의 프로그램 지문·실제 값·부분 기대값을 유지했습니다. FP32-origin 저장 조립의 여섯 묶음은 전체 중앙값2,327.40ms→497.14ms, CPU 시간 1.45초→0.36초를 기록했습니다. 여섯 명령과 한 명령의 비교이며 최대 프로세스 메모리는82.88MiB·82.14MiB로 비슷했습니다. 새 추론 중앙값은18.792µs입니다. 사용법·원본·현재 범위.

앞선 배포: 필드 후보식을 조립하고 남은 값을 읽기

개발 #1225와 main #1226을 각 전체 CI 후 병합했습니다. main f6da667e에서 두 실행기를 Go1.27.1·SDK0.2.21로 빌드해 설치했습니다. 기록 생성자의 실제 필드 값에 후보식을 선언하고, 작은 모델이나 결정론 경로로 조립하며, 시도 예산이 남긴 부분 결과도 사용할 수 있습니다.

설치본의 24개 새 생성과 6개 저장 재실행은 후보의 소스·Go 지문과 유한 결과를 모두 유지했습니다. 한 작성 본문에서 1·2·4·8회 예산의 선택 필드 충족률은 40·60·80·100%이며, 양쪽 방식의 수는 같았습니다. 실제 전체 예산 실행은 14/14 출력·21/21 기록 필드를 충족했습니다. Go 요약 도구는 선택과 실제 실행의 분모를 따로 표시하고, 남은 state 같은 필드 이름·실제 값·기대값을 보여줍니다.

새 전체 예산 추론 중앙값은31.625µs, 그래프 생성은9.890ms·9.337ms, 명령 전체는323.462ms·324.194ms, 최대 프로세스 메모리는82.94MiB·82.42MiB입니다. 사용자·시스템 CPU 시간 합은 양쪽0.24초입니다. Go 빌드와 자식 실행을 포함하며, 호스트 CPU 사용률 증가는 미측정입니다. 기존 가중치를 실제로 사용했습니다.

작성법·사용 흐름 · 설치 관측과 원본 · 후속 연구 PR #12 · Hugging Face 설치 관측. 후속 연구 CI37211460592는 22개 작업을 모두 통과해 연구 main ad007f6b로 병합했습니다. 설치한 컴파일러를 고정해 FP32·결정론·PTQ·QAT를 네 예산에서 생성·실행하고, 저장 재실행도 확인했습니다. Linux의 32개 원본을 따로 내려받아 값과 필드 수를 검산했으며, 저장 재실행 16개는 추가 추론 0번입니다.

앞선 배포: 기록을 실제 본문 사이에 전달하기

개발 #1223은 전체 CI37202543552와 독립 증거 확인 후 fd359bb2로 병합했습니다. Candidate의 제목·상태를 구성하고 다음 본문이 필드를 읽어 Review를 만들며, 각 입력과 출력의 필드 ID·이름·실제 값을 기록합니다. main #1224은 같은 트리로 전체 CI37203642918와 독립 증거 확인을 마쳐 병합했습니다. main b629a664로 명령 도구와 실행기를 함께 설치했습니다.

후보 fa3c8927의 열두 반복 제어에서 출력 432/432와 필드 관측 1,152개를 확인했습니다. 동시 두 요청은 72/72, 별도 새 실행 사례는 96/96을 충족했고 상태 기대값 하나를 바꾸면 35/36을 기록했습니다. 자체 모델은 정수 조립의 후보 순위를 제안하고 기록 본문은 Gooo 소스를 따릅니다. 가중치는 유지했습니다. 추론 중앙값은 26.9μs, 전체 생성은 모델 12.80ms·결정론 11.77ms였습니다.

연구 #9는 21개 작업을 모두 통과해 research main ad560a8d로 병합했습니다. 새 Linux 관측에서도 실제 필드 전달과 저장 재실행을 확인했습니다. Hugging Face의 원본 부록과 사용 가이드를 함께 공개했습니다.

설치본의 새 열두 제어도 출력 432/432와 필드 관측 1,152개를 유지했고, 후보와 같은 Gooo·Go·연결 코드 지문을 확인했습니다. 새 추론 중앙값은 29.7μs, 생성은 모델 13.17ms·결정론 12.01ms, 명령 전체는 약 353ms·347ms입니다. 동시 두 요청 72/72, 새 실행 사례 96/96, 이전 입력 연결 저장 결과는 두 경로에서 49/49씩 재실행했습니다. 별도의 외부 기록 입력 예제도 새 생성·저장 재실행에서 각 8/8 출력과 8/8 출력 필드 기대값을 충족했습니다.

Go 결과 요약 도구는 상태가 다르면 35/36과 Propose.state를 안내합니다. 기록 기대값을 생략한 실제 실행은 해당 출력 필드 36개를 미관측으로 표시합니다. 설치 관측과 요약 도구의 후속 연구 PR #10은 21개 작업을 모두 통과해 research main f35f6173로 병합했습니다. 설치 관측 원본과 Go 요약 도구를 같은 커밋에서 읽고 실행할 수 있습니다. Hugging Face의 설치본 원본을 함께 공개했습니다.

앞선 추가: 여러 입력의 순서와 합류

개발 #1221은 순수 본문에 Integer·Boolean·Text 입력 1~16개를 선언 순서로 전달합니다. 같은 타입을 여러 위치에 받을 수 있고 일부 위치만 생산자의 실제 결과에 연결할 수 있습니다. main 1bef47fc로 병합·설치했습니다. 번호가 붙은 입력의 순서와 실제 전달을 설치본에서도 확인했습니다.

개발 측정의 열두 반복 제어에서 588/588·입력 관측 1,008개·연결 504개를 확인했습니다. 모델은 후보 2개, 결정론적 탐색은 8개를 확인했고 전체 생성 중앙값은 9.711ms·6.396ms였습니다. 원본 측정 소스 5af78bcb와 준비 함수 분할을 정리한 후속 후보를 구분해 공개합니다. 설치본의 별도 열두 제어도 같은 결과와 생성 지문을 유지했고, 새 생성 중앙값은 모델 9.449ms·결정론 8.480ms였습니다. 입력 작성법·모델 연결·각 분모 · 공개 모델의 설치 후 관측.

설치 근거와 이전 단계

현재 설치 기준은 main 7acccf56· Go1.27.1·SDK v0.2.21입니다. 개발 #1227·main #1228을 각 전체 CI와 결과 확인 후 병합했고, 설치한 두 실행기의 빌드 소스와 바이트 지문을 기록했습니다.

앞선 기록 값 전달의 설치 관측 기준은 main b629a664· Go1.27.1·SDK v0.2.21입니다. 개발 #1223·main #1224를 각각 전체 CI와 독립 증거 확인 후 병합했습니다. 설치한 두 실행기의 빌드 소스와 바이트 지문도 기록합니다.

앞선 여러 입력 연결의 설치 기준은 main 1bef47fc· Go1.27.1·SDK v0.2.21입니다. 개발 #1221· main #1222을 각 전체 CI와 독립 증거 확인 후 병합하고 CLI·실행기를 함께 설치했습니다. main CI 37199114334는 전체 성공했고 독립 증거와 현재 소스 연결도 PASS입니다.

설치본의 열두 반복 제어에서 588/588·입력 1,008개·연결 504개·실제 실행 24회를 확인했습니다. 새 모델 경로는 세 번 추론했고 저장 재실행은 추가 추론 0번입니다. 동시 두 요청은 98/98·정상 종료, 추가 세 입력의 두 경로는 42/42였습니다. 틀린 기대값 하나를 제공한 별도 사례는 48/49로 기록했습니다. 앞선 단일 입력 조립의 저장 기록도 두 경로에서 49/49씩, 추가 추론 없이 재실행했습니다. 실험 #7은 20개 CI 작업을 통과해 research main 09e4589c로 병합했습니다. 설치 관측의 후속 공개 PR #8은 20개 CI 작업을 모두 통과해 research main df98b03e로 병합했습니다. GitHub의 설치 기록과 위 Hugging Face 부록에서 동일한 원본을 읽을 수 있습니다.

이전 배포와 세부 관측 기록

앞선 단일 입력 본문 연결의 설치 관측은 main 2d1ce2d0· Go1.27.1·SDK v0.2.21입니다. 개발 #1219· main #1220을 각 전체 CI와 독립 증거 확인 후 병합하고 CLI·실행기를 함께 설치했습니다. main CI37193648999는 전체 성공했고 독립 증거·현재 소스 연결도 PASS입니다.

body-compose로 일곱 활동의 실제 본문을 연결합니다. 새 설치본의 반복 제어 열두 건에서 588/588과 개발 후보와 같은 Gooo·Go·연결 코드 지문을 확인했습니다. 실제 모델 판단 여섯 번, 저장 기록 재실행은 추가 판단 0번입니다. 동시 두 요청은 98/98·정상 종료, 추가 세 입력의 두 경로는 42/42였습니다. 틀린 기대값 하나를 제공한 별도 사례는 정상 실행·재현과 기능 점수 48/49를 함께 남겼습니다. 연구 #6도 20개 CI 작업 통과 후 main a221fb7c로 병합했습니다. 명령·모델 다운로드·각 관측 범위.

이전 소스 재사용 단계는 깨끗한 main f62eb5f0· Go1.27.1·SDK v0.2.21입니다. 개발 #1217· main #1218을 각각 CI와 독립 증거 확인 후 병합하고 CLI·실행기를 함께 설치했습니다. main CI37190298986의 필수 여섯 검사와 전체 실행이 통과했고 독립 증거도 PASS였습니다.

선택한 Gooo 본문을 다음 개발에 다시 쓰는 body-realize와 체크포인트를 추가했습니다. 기준 본문과 선택 경로를 보존해 변수 대안·위치가 어긋나는 문제를 해결했습니다. 두 작성 과제의 열두 번 생성에서 선택 48/48·별도 실행 108/108을 확인했습니다. 자체 모델은 여섯 번 추론했고 저장 과정은 추가 추론 0번입니다. 구문과 계획 전개를 분리한 수정본의 열두 번 재검사에서도 같은 Gooo·Go·계획·모델 입력 지문과 기대값을 확인했습니다. 연구 #5도 CI37189051362의 20개 검사를 통과해 main 6c8ee7cf로 병합했습니다. 선언·명령·원본과 측정.

새 설치본에서 같은 열두 번을 다시 실행해 48/48·108/108과 동일한 소스·코드·계획· 모델 입력 지문을 확인했습니다. 저장한 체크포인트를 병렬 작업자 두 개에도 전달했으며 모델/결정론 여덟 요청에서 72/72 실제 기대값과 정상 종료를 확인했습니다.

앞선 선언 안의 조립은 main 8a08adbb· Go1.27.1·SDK v0.2.21입니다. Gooo 활동의 assembling에 본문 선택, 한영 지시, 유한 기대값과 예산을 함께 적습니다. 개발 #1215·main #1216를 각 자체 CI와 독립 증거 확인 후 병합하고 CLI·별도 실행기를 함께 설치했습니다.

해당 설치본의 CLI 요청 여덟 개와 작업자 두 개를 쓰는 병렬 요청 여덟 개에서 제공한 실행 기대값 144/144와 네이티브 실행 32회를 확인했습니다. 원본만으로 조립하며 모델·결정론 경로를 모두 확인했고, 실행기는 정상 EOF로 종료했습니다. 모델은 요청당 공동 판단 한 번을 수행했습니다. 설치본 모델의 반복 응답은 두 예제에서 34.745·33.816ms의 단일 재사용 관측입니다. 선언·명령·비교 실험과 범위.

앞선 자동 실행 도구 선택은 main 33846f9e· Go1.27.1·SDK v0.2.21에서 확인했습니다. 개발 #1213과 main #1214의 자체 CI·독립 증거 확인 후 병합하고 두 실행기를 함께 설치했습니다. 기본 Go가 1.26.5인 환경에서 별도 경로 설정 없이 캐시의 1.27.1을 골랐습니다. CLI·별도 실행기의 모델·결정론 요청은 각 모드 두 건씩, 요청마다 별도 실행 11/11과 네이티브 재생 두 번을 완료했습니다. 별도 Go 경로 없이 실행.

앞선 개발 #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개 충족 곡선 차이는 남아 있습니다.

대상	확인한 상태	읽는 방법
선언 안의 본문 조립	개발 #1215·main #1216 병합·두 실행기 설치. main 8a08adbb, CI37186044490·독립 증거 PASS. 연구 #4·CI37185711502의 20개 검사 통과·병합, research main 2dd69568	별도 계획 없이 조건·지역값·대입·분기·문장 순서를 조립. 두 과제의 32회 생성에서 선택 128/128·별도 실행 288/288. 모델 첫 후보는 결정론보다 약했고 테스트 탐색으로 충족. 설치 후 별도 16요청·144/144도 확인. 명령과 원본
기본 실행 도구 선택	개발 #1213·main #1214 병합·설치, main 33846f9e. CI37183069159 및 독립 증거 PASS	PATH·컴파일러 GOROOT·정확한 로컬 Go1.27.1 캐시 순으로 확인. 명시 경로는 우선. 실제 설치 CLI와 실행기에서 모델·결정론 각 두 요청이 11/11을 유지했습니다. 사용법과 관측
조건식이 있는 본문 경로	개발 #1210·main #1212 병합·설치. main 7da09722, CI run 37180057186과 독립 증거 PASS. 연구 기록 PR #2·#3도 자체 CI 후 병합, research main 94bd39c0	>, >=, !=, !를 기존 타입 비교로 낮춥니다. 모델·결정론이 같은 본문과 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·기록, 생성자·필드 읽기·지역값 교체·비교·if/else·return	입력 1..16개·결과 1개·기록은 필수 문자열 프로파일
소형 모델 경로 조립	조건·참조·대입·분기·순서의 허용된 선택 조합	현재 모델 연구는 제한된 Integer→Integer 과제
실패 피드백	실제 유한 예시의 실패로 남은 경로 재정렬	입력·기대값·결과·시도 예산을 기록
파일 조립·즉시 실행	소스·활동·계획·현재 기대값에서 Go 생성·빌드·실행·저장	순수 Integer→Integer, 실행 입력 1..128개, 순차 반복 1..16회
실제 본문 연결·실행	bind로 조립 본문·일반 본문을 연결하고 한 번 빌드·두 번 실행	활동 2..16개·각 입력 1..16개/출력 1개·스칼라/기록·합류·일부 위치 연결
저장한 전체 조립 재실행	각 선택 본문과 연결 코드를 재구성하고 새 기대값으로 실행	추가 모델 호출 0회·활동별 실제 값·제공한 기대값의 분모 기록
모델 없는 실행	선언된 순서와 대체 경로로 결정론적 진행	모델 호출 수 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회였으며, 이후 모델 학습과 실제 실행은 위 항목에 따로 집계했습니다. 입력 표현과 범위.

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

계속 해결하는 문제

문장 표현 변화, 연산 순서 구분, 한·영 의미 연결과 새로운 과제에서의 품질을 연구하고 있습니다. 기록 필드 조립, 패키지 간 순수 함수 호출, 보조 함수 변경 뒤 영향을 받는 호출자의 재검사와 저장한 조립 이어가기는 구현했습니다. 지원 범위는 이어가기 설명에 정리했습니다. 현재 남은 과제는 모델 입력의 연산자·값 관계 구분, 별도 프로그램에서의 모델 평가, 후보 평가 중 간접 호출의 입력 관측, 반복문과 더 풍부한 필드 프로파일입니다. 현재 모델의 첫 후보와 추가 탐색 비용을 다음 학습·언어 설계의 자료로 보존합니다.

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

검증과 변경 반영

현재 설치 근거와 새 실제 실행은 위에서 읽을 수 있습니다. 아래는 각 소스 시점의 과거 연구·배포 기록입니다.

이전 연구와 배포 검사 상세

전체 후보 판단기의 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 상태 · 전체 보관 기록 · 문서 홈