현재 상태와 지원 범위

확인: 2026-10-12 KST. Gooo는 소스에 선택 가능한 부분과 검사할 예시를 적고, 그 안에서 작은 프로그램을 조립하는 메타프로그래밍 언어입니다.

지금 사용할 수 있는 것

구분	상태	시작할 곳
공개 컴파일러	0.6.34-dev, Go1.27.2·SDK0.2.44, 실제 공개 macOS arm64 파일 설치	V3 설치와 확인 범위
V3 소스·출력 관계 입력	기존528셀 중48관계, 최초 판단1회·모델 없는 재실행; 새 평가 첫 성공18/64, 같은 묶음 V2는21/64	새 비교와 실패 기록
V2 비교·반환 경로와 Go 예제	입력528셀·한 번의 최초 판단·모델 없는 재실행, SDK0.2.43 예제	사용 순서와 원래 모델 결과
문자열 함수와 한 조건 조립	Gooo의 검색·횟수·문자 수 계산 20사례와 한 빈칸의 바이트 검색 10사례, 네 플랫폼 실행·재실행	두 패키지와 분모
본문 채우기와 실제 함수 입력 이력	보조 함수와 함께 빈칸을 채우고, 사전 검사·실패한 시도의 호출 입력을 보존	0.6.30의 두 예제 · 평가 입력 읽기
한글·영문 타입과 활동 이름	안정 ID를 유지하며 실제 Go 값으로 실행	타입 이름과 조립
모델 생략·자체 모델 조립	고정 순서 또는 소스 후보 순서 추천, 선택 프로그램 저장·재생	기존 모델과 언어의 연결
패키지 선언·필드 구조 읽기	package interface, API 변화의 Gooo 분류	패키지 인터페이스
소스·모델 사전 확인	공개 0.6.24의 레코드와 일반 분기·변수 확인, 예측·후보 검사 0회	분기 사전 확인
한 명령 조립과 후속 제안	workbench main5c7f3ab4에 자체 모델·설계 문서 병합, 기존 CLI 설치본830 유지	작업장
PC용 자체 판단 모델	선택별 사례 모델 가중치51,272B·조건 관계 모델76,136B, SDK0.2.42·0.2.43의 로컬 Go 판단	현재 모델과 실측
변수 표현을 정리하는 모델 입력	SDK main0ac7eae9, 후속 새 입력 모델36/128·기존33/128 첫 선택 통과, 실패·비용 공개	같은 계산을 같은 입력으로 읽기
부족한 사례의 자동 보완 실험	64개 소스의 별도 검사16/64→반례 추가 뒤 같은 검사64/64, 고정 순서도 동일	사례와 반례
저장된 조립에서 반례 반복	이전 폴더 하나로 원래 실패 입력을 다음 조립에 연결	조립 피드백
연결 활동의 실패 반영	루트 레코드 조립·고정 후속 활동·순수 보조 함수, 단일·다중 인자 입력 보존	연결 활동 예제
입력만 넣는 native 조립	공개 0.6.23·gooo 설치, 0/0 미측정과 나중의 기대값 검사를 구분	입력부터 실행하기
조립 전에 입력·연결 읽기	body-plan, 추가 루트와 여러 조립 본문 조회·입력 양식 생성, 조회 모델 호출 0회	입력과 계획 읽기
여러 본문에서 반례 반복	assemble --graph → 저장 폴더 → construct, Gooo가 원래 실패 행을 선택	전체 그래프 피드백
요구 변경 전후의 결과 비교	공개 0.6.28 텍스트·JSON·Markdown 비교	같은 입력의 결과 비교
조립 결과와 첫 실패 읽기	공개 0.6.28, 저장 결과의 소스·모델·Go 없는 조회	조립 결과 읽기
일반 분기·변수의 조립	공개0.6.24·소스366, 소스 후보와 호출자 사례를 확인하며 저장·재생	분기와 모델 확인

현재 공개0.6.34의 소스는 b266c0e2cf6878385b59788945861a03e33f766b입니다. 핵심 CI, 네 플랫폼 준비, 공개 발행이 같은 소스를 확인했습니다. 9개 공개 파일 식별값·8체크섬·7출처 목록과 최종 발행 기록을 대조했습니다. 실제 macOS arm64 압축 파일을 포함한6필요 파일의 바이트를 확인하고 설치했습니다. 새 영 가중치 V3 회귀는 최초 판단1회·호출자1/1·별도 실행8/8·모델 삭제 후 저장 재실행8/8입니다. 네 플랫폼 반복은 독립 행동 입력8개의 분모를 늘리지 않습니다. 학습 모델의 새 첫 선택21/64(V2)·18/64(V3), 검사 후64/64는 별도 연구 분모입니다. 기본 모델은 유지합니다. 실행 순서와 분모.

앞선 공개0.6.33의 소스는 44118d5fa5130912493862d389c28dec67f8e034입니다. 핵심 CI, 네 플랫폼 준비, 공개 발행이 같은 소스를 확인했습니다. 공개9파일·체크섬8항목·출처 목록7항목과 최종 발행 기록을 대조하고 실제 macOS arm64 파일을 설치했습니다. 새 영 가중치 V2 회귀는 최초 판단1회·호출자1/1·네이티브8/8과 모델 파일을 지운 뒤 재실행8/8을 확인했습니다. 모델의 원래 첫 선택12/20과 검사 후20/20은 별도 연구 분모입니다. 사용 순서와 원래 기록.

기존 모델을 새 재시도 규칙에 쓴 관측은 첫 출력 0/6·조건 3/3, 선택 후 출력 6/6, 이후 입력의 실행·재실행 각각 8/8입니다. 한 번의 예측은 0.163ms, 텐서 배열은 76,136B였습니다. 전체 프로그램 메모리와 모델 단독 CPU 점유율은 이 관측에서 측정하지 않았습니다. 공개 소스·입력·기록.

앞선 소스에서 남긴 기록

이전 공개 0.6.32의 소스는 83928fa4538245abe33b08549da47f8cbdc50ed2입니다. 핵심 CI, 네 플랫폼 준비, 공개 발행이 같은 소스를 확인했습니다. 공개 9개 파일의 목록·체크섬·출처와 발행 기록을 대조했고, 실제 macOS arm64 파일을 설치했습니다. 문자열 20사례와 한 조건 조립 10사례는 각각 저장 재실행도 통과했으며 모델 호출은 0회입니다. 새 예제와 분모.

이전 공개 0.6.30의 소스는 d75cbb23db560c334301035a7243eaea167aad53입니다. 핵심 CI와 네 플랫폼 준비 검사가 같은 소스를 검사했습니다. 두 새 예제는 각각 네이티브 출력 3/3과 저장 재실행을 확인하며, 입력의 겹침과 미측정은 별도로 유지합니다. 공개 파일의 체크섬·소스·버전을 확인해 설치했습니다. 새 기능과 원래 연구 기록의 구분.

아래는 각 이전 소스에서 관측한 기록입니다. 자동 main 반영과 변환 결과의 후속 분류는 별도 과제로 남아 있으며, 새 배포가 이전 실패 기록을 바꾸지는 않습니다.

이전 공개 0.6.29의 소스는 90ff2bb5aeffc2ac553496b646d14db1e8d33fdb입니다. 핵심 CI· 네 플랫폼 준비· 공개 실행이 통과했습니다. 실제 공개 macOS arm64 파일로 관계 모델 입력을 읽었으며 예측과 후보 검사는 각각 0회였습니다. 별도의 결정론적 조립 점검에서는 평가 4행을 고유 입력 3개로 나누고, 겹치는 입력 2개와 새 입력 1개를 확인했습니다. 저장된 보고서 여섯 조회도 기존 기록과 같았습니다. 설치 점검과 원래 연구의 범위.

같은 소스의 main 자동 반영은 App 설정 누락으로 종료됐습니다. 변환 기록의 복구 확인은 작업공간의 변환 2개를 기록했지만, 변경 0개를 요구한 복구 조건 두 항목을 만족하지 못했습니다. 원본 저장소 변경은 0개였으며, 이 결과의 후속 처리와 자동 반영 설정은 남은 작업입니다.

앞선 공개 0.6.28의 소스는 ee24a413d311b0be117bb8a7e260bd1ca35994bd입니다. 핵심 CI· 네 플랫폼 준비· 공개 실행이 통과했습니다. 실제 공개 macOS arm64 파일을 설치했고, 여섯 저장 결과 조회 출력이 기존 기록과 같습니다. HF 극값 모델의 연결 사전 확인도 통과했습니다. 이때 예측과 후보 검사는 각각 0회입니다. 자동 main 반영의 App 설정 누락과 변환 기록 복구 실패는 남아 있습니다. 설치·확인 범위와 원본.

main 브랜치에는 PR1454의 원래 PR 검사와 v5 병합 증거를 확인해 같은 개발 소스 트리를 50fa474a로 반영했습니다. 병합 후 핵심 CI도 통과했고, 이 소스에 연결된 13개 워크플로 실행이 모두 성공으로 종료됐습니다. 자동 반영 App 설정 문제는 별도로 남아 있습니다. 현재 저장소의 기본 브랜치는 dev입니다. 작업 PR은 dev에 병합하고, 그 병합 소스에 대한 배포 준비 결과로 공개 실행 파일을 만듭니다. SDK의 첫 화면을 사용 순서 중심으로 줄인 PR64는 원래 push·PR 검사 통과 후 main의 9e05eae5에 병합했습니다. 상세 연구 기록은 RESEARCH.md에 보존했습니다. 병합된 소스의 CI38097476692도 통과했습니다.

SDK PR65는 비교식의 양쪽 값 관계와 기대한 참·거짓을 함께 담는 64바이트 입력 배열을 추가합니다. 직접 반환·변수 대입, 정수 범위, 조건 128개, 조건을 바꾼 사례와 동시 읽기를 검사했습니다. 실제 공개 예제를 읽을 때 모델 호출과 후보 실행은 0회였습니다. 원래 push·PR CI 통과 후 main의 eb013ff6에 병합했습니다. 병합 후 CI38098231748도 통과했습니다. 이 입력의 후속288개 실험에서는 관련 첫 선택이 32/128에서64/128로 늘었고, 간단한 규칙도64/128이었습니다. 규칙의 관측 비용이 더 낮아 기본값은 유지합니다. 원본·부분 결과·비용. 문제 관측과 새 입력의 역할.

SDK PR66은 고정 소스와 결과 소스의 원래 검사 네 개를 모두 통과해 main의 3427169c에 병합했습니다. 원본은2회 학습· 1,152회 조립·576회 모델 호출로 한 번 끝냈습니다. 병합 후 CI38099381275도 통과했습니다. HF be6d9574에 공개한65개 자료의 식별값과 새로 받은25개 파일이 일치합니다. 원본 학습·예측·후보 실행을 반복하지 않았습니다.

SDK PR67은 같은 가중치를 읽는 공개 Go 로더와 일반 조립 세션을 추가했습니다. 원래 push·PR 검사 통과 후 84410b0a로 병합했습니다. 병합 후 CI38100247990도 통과해 SDK0.2.41 실험판을 공개했습니다. 후보 검사 전 한 번 판단하고 이후 진행에서는 다시 호출하지 않습니다. 모델을 생략하거나 입력이 지원 범위 밖이면 고정 순서로 진행하며, 부분 결과의 본문과 실패를 보존합니다. HF 설명은 1b26d624에서 갱신했습니다. 변경한3개 파일을 공개 주소에서 한 번 받아 대조했고, 기존62개 자료의 내용 식별값도 같습니다. 이번 관계 모델의 CLI 연결은 아래 0.6.29 개발 소스에 구현했습니다. Go 사용법과 지원 범위.

컴파일러 PR1455에는 관계 모델을 입력 조회·본문 조립·저장 재실행에 연결한 개발 소스를 공개했습니다. 조회한528개 입력과 실제 선택 점수를 대조하며, 조립 전 한 번 판단하고 저장 재실행에서는 모델을 읽지 않습니다. 새 배치 처리량 예제에 변수 대입·비교식·두 계산식·출력 및 중간 조건 사례를 함께 적었습니다. 로컬 전체 순차 검사와 관련 동시 실행 검사는 통과했고, 고정 소스의 CI는 진행 중입니다. 동시에 수행한 로컬 검사에서 네이티브 시간 초과가 있었으며 순차 검사에서는 통과했습니다. 고정한 별도 관찰 계획에 따라 공개 HF 가중치로 한 번 실행했고, 원본과 비용을 공개했습니다. 모델과 고정 순서 모두 후보2개를 확인했습니다. 첫 출력 검사는1/4, 최종4/4였고 중간 조건은3/3입니다. 나중의 네이티브 검사와 저장 재실행도 각각4/4이며, 저장 재실행의 새 모델 호출은0회입니다. 모델 판단0.106833ms·가중치 준비7.822ms를 별도로 기록했습니다. 이 예제에서 후보 수를 줄이는 효과는 없었고, 실행기의 입력 분리 상태는 UNKNOWN입니다. 공개 HF 0c168766의 게시32개 파일을 한 번 받아 원본과 대조했고, 기존64개 다른 파일의 내용도 유지했습니다. 원본 관찰을 반복하지 않았으며 공개 설치판은0.6.28을 유지합니다.

후속 개발 소스 b85d06d3는 조립 후보마다 실제 함수에 들어간 값을 기록합니다. 실패한 후보에서 사용한 값도 다음 평가의 입력 중복 판정에 포함합니다. 호출자의 값이 달라도 같은 보조 함수 입력으로 이어지면 겹치는 사례로 셉니다. 지역 출력·중간 조건·보류 사례·기록한 확인 입력과 모든 호출 시도의 이력을 함께 비교합니다. 관측하지 못한 지역 후보 내부 호출과 모델 학습 데이터의 중복 여부는 미측정으로 남습니다. 보고서의 새 항목과 분모.

이전 소스 92a98b94의 원래 핵심·호환성 검사가 끝난 뒤 위 변경을 공개했습니다. 새 소스의 핵심 CI와 호환성 검사가 진행 중입니다. Hugging Face의 설명 갱신 64d858ff도 공개했습니다. 설명·체크섬 두 파일을 공개 주소에서 받아 대조했고, 나머지 94개 파일의 식별값과 크기는 같습니다. 이 변경은 0.6.29 배포 후보입니다. 과거 원본의 UNKNOWN과 당시 측정치는 그대로 보존합니다.

이전 공개0.6.27의 소스는 34eb72d69a4d4e19c5dbcdd1bcd3e366293e655a입니다. 핵심 CI38073304679·네 플랫폼 준비38073304694·공개38074993548이 통과했습니다. 파일9/9·준비 조건7/7과 실제 macOS arm64 설치를 확인했고, 설치 파일의 결과 비교는 원래 보고서와 같았습니다. Markdown 보고서·동일한 Go 규칙 비교·설치 문서 갱신은 PR1449의 원래 검사를 통과해 22ac71e0에 병합했습니다. 병합된 소스의 핵심 CI38077167315와 준비38077167305도 통과했습니다. 전체 33개 실행은 종료됐고, 자동 승격의 App 설정 누락과 별도 롤백 고정점 복구 실패가 남아 있습니다. 새 배포 완료를 뜻하지 않습니다. 0.6.27 사용 안내와 남은 자동 승격·롤백 복구 문제.

이전 공개0.6.26의 소스는 8a759cba557b6c6e22aeea57040e8e1c69e6ec68입니다. 병합 후 CI38058289375·네 플랫폼 준비38058289407·배포38060037700이 통과했습니다. 공개 파일9/9·준비 조건7/7을 확인하고 실제 macOS arm64 파일을 설치했습니다. gooo help models에서 모델 받기·입력 확인·조립·저장 재실행 순서를 볼 수 있습니다. 일반 분기·변수 조립에 공개 SDK0.2.37 선택별 사례 모델을 사용할 수 있습니다. 0.6.26 사용 안내와 설치 기록.

이전 공개0.6.25의 소스는 66895f128a31ae8515d960e413f62fb1adda6395입니다. 병합 후 CI38019779559·네 플랫폼 준비38019779639·배포38021172532가 통과했습니다. 공개 파일9/9·준비 조건7/7을 확인하고, 실제 macOS arm64 파일을 설치했습니다. 중간 조건 선언과 취소 원인 보존이 포함됐습니다. 0.6.25 배포·설치 기록. SDK0.2.30의 조건 모델을 일반 CLI에 연결한 PR1441을 원래 CI·네 플랫폼 빌드·호환성 검사 통과 후 dev의 94345d07에 병합했습니다. 모델 로더의 파일 분리, 보관용 소스의 검사 목록 혼입, 기존 정책과 생성 파일의 식별값 불일치를 함께 수정했습니다. 병합 후 일반 CI·네 플랫폼 준비·독립 호환성 검사가 통과했습니다. 자동 승격의 App 설정 누락과 변환 효과 기록의 기존 실패는 남아 있습니다. 공개0.6.26에 포함됐습니다.

출력·값 흐름 모델을 연결한 PR1442도 공개했습니다. 개발 소스는 SDK0.2.33의384칸 입력을 실제 조립과 저장 재실행에 사용합니다. 대입문 예제에서 기본3개·모델2개 후보를 검사했고, 추가 피드백을 줘도2개였습니다. 첫 모델 선택은 틀렸으며 모델 읽기를 포함한 조립은 기본1.068ms·모델3.437ms였습니다. 모델 파일 없이 저장 구성을 재실행하는 것까지 별도 네이티브8/8개 사례를 확인했습니다. 원래 CI의 의미 검사와 별도 왕복 변환 검사에서 새 보관용 검산·동시 실행 테스트 두 파일의 추출이 실패했습니다. 두 파일의 보조 함수 구조를 정리해 로컬 의미 추출·race·정적 검사를 통과했습니다. 앞선 호환성 검사 종료 후 수정분 a4eec64c를 올렸고, 새 원래 실행의 의미 검사와 네 플랫폼 배포 준비·전체 CI·독립 호환성 검사가 통과했습니다. 원래 실행의 증거 파일을 확인한 뒤 dev의 6848e6ce에 병합했습니다. 병합 후 네 플랫폼 준비도 통과했고, 병합 후 전체 CI와 독립 호환성 검사도 통과했고 공개0.6.26에 포함됐습니다. 실제 코드·한계·원본 기록.

이전 공개0.6.24의 소스는 366ee6ef8f9d2b9b57331dfd26b6f908c0289851입니다. 원본 push CI38003560790·네 플랫폼 준비38003560817·공개 배포38005402704가 통과했습니다. macOS arm64 공개 파일의 체크섬·소스·Go1.27.2를 확인해 설치했습니다. 새 자체 판단 모델의 세 입력 사전 확인은 실제 개발판 생성 입력과 같습니다. 배포와 실행 기록.

이전 공개0.6.23의 소스는 2b17c4879d0bb2cd1e48ccc23b8743c0fb564267입니다. 원본 push 준비 검사 37968304797과 배포 37969978435가 성공했습니다. 게시 원본 9/9, 준비 조건 7/7과 실제 설치 파일의 소스·체크섬을 확인했습니다. 설치한 macOS arm64 파일로 네 입력 흐름의 원본 보고서 20개를 다시 확인했습니다. 공개·설치 원본. 기존 a15 개발 실행 파일과 과거 관측은 당시 생산자로 보관합니다.

최근 반영과 릴리스 준비

자체 판단기의 학습 범위를 넓힌 결과를 공개했습니다. 같은 모델 크기에서 학습한 규칙군의 새 변형은 117/128 첫 선택 성공이었고, 학습에서 제외한 규칙군은 34/64였습니다. 총 조립 시간은 고정 순서가 더 짧았습니다. 자료·한계·회귀를 SDK PR56에 함께 공개하고 원래 CI 통과 후 main의 de95d555에 병합했습니다. 병합 후 CI38079023648도 통과했고, 새 가중치의 네이티브 도입과 HF 업로드는 후속입니다. 컴파일러 PR1450은 SDK0.2.39의 상호작용·순서 모델을 같은 소스·사례로 선택하고 네이티브 조립과 모델 없는 저장 재실행에 연결합니다. 입력 배열과 실제 모델 판단을 대조하고, 지원하지 않는 소스는 이유를 표시해 고정 순서로 진행합니다. 원래 CI·호환성·준비 검사를 통과해 dev의 c8a68c51에 병합했습니다. 병합 후 준비 검사와 핵심 CI는 통과했고, 독립 호환성 검사도 통과했습니다. 자동 승격은 App 설정 누락으로 실패했습니다. 복구 검사도 실패했습니다. 원본 기록의 조건 10개 중 8개가 충족됐고, 임시 작업공간의 변환 2개는 성공했습니다. 복구 경로가 요구하는 변화 없는 상태와 효과 0개 조건은 충족하지 못했습니다. 소스 작업공간은 보존됐고 승격 권한은 부여되지 않았습니다. 이 연결은 공개0.6.28에 포함됐습니다.

결과 보고서 PR1451은 조립에 사용한 사례와 이후 평가의 통과 수·실패·미관측 범위를 텍스트와 Markdown으로 보여줍니다. 로컬 전체 검사와 관련 race 검사, 원래 PR의 핵심 CI38084569400·준비38084569566을 통과했습니다. 해당 실행의 증거를 확인한 뒤 개발 브랜치 949fe887에 병합했습니다. 병합 후 핵심 CI38086278094와 준비 검사38086278126도 통과했습니다. 자동 main 승격은 기존 App 설정 누락으로 실패했습니다. 후속 복구 검사에서도 ROLLBACK_FIXED_POINT_REJECTED가 남아 있습니다. 핵심 검사 통과와 구분해 기록합니다. 선택적인 AI 리뷰 작업은 월간 사용량 한도로 실패했으며 코드 진단 결과를 제공하지 못했습니다. 보고서 사용법과 분모 읽기에 현재 개발 소스 기준 명령을 정리했습니다. SDK의 오래된 입력 안내도 PR59에서 갱신해 원래 push·PR 검사 통과 후 병합했습니다. 병합된 소스의 CI도 통과했습니다. 새 배포를 첫 화면에서 찾을 수 있게 한 SDK PR60도 원래 push·PR 검사 통과 후 d3bab76에 병합했습니다. 병합 후 CI38086319865도 통과했습니다.

• SDK 0.2.40 연구 모델 배포를 공개했습니다. 같은 계산의 직접 반환·변수 대입을 같은 모델 입력으로 읽는 Go API와 두 연구 모델을 제공합니다. 원래 태그 CI38085203437이 통과했고 공개 파일 8개를 내려받아 원본 체크섬과 대조했습니다. 새 학습·성적 측정은 없으며 기본 모델도 유지합니다. 일반 컴파일러 연결은 개발 소스에 구현했고 PR1452의 원래 필수·독립 호환성 검사를 통과해 개발 브랜치 88a2386d에 병합했습니다. 병합된 소스의 준비38090054303과 핵심 CI38090054281도 통과했습니다. 독립 호환성38090054264도 통과했습니다. 같은 소스의 38개 원래 작업은 종료됐습니다. 자동 main 반영38091504634의 App 설정 누락과 변환 기록38091504609의 ROLLBACK_FIXED_POINT_REJECTED 실패는 별도로 남아 있습니다. 공개0.6.28에 포함됐습니다. 실제 기존 예제에서 모델은 후보 4개, 고정 순서는 1개를 검사해 같은 출력 8/8과 중간 조건 3/3을 만족했습니다. 새 평가 입력은 없었습니다. 지원 범위와 낮게 나온 성적을 함께 읽을 수 있습니다.

• 0.6.28 준비 PR1453을 공개했습니다. 조립 결과 읽기에 첫 후보의 실패 조건과 저장 결과 조회를 추가합니다. --report는 소스·모델·Go 도구 없이 저장된 결과를 읽고, JSON은 원래 바이트를 반환합니다. SDK 0.2.40을 포함한 모델 연결과 도움말·배포 설명을 함께 준비했습니다. 로컬의 전체 239개 패키지 검사, 실제 후보 파일의 여섯 조회 경로 및 관련 동시 실행 검사가 통과했습니다. 첫 소스 1f819547의 네 플랫폼 준비 검사는 통과했습니다. 왕복 변환 검사와 의미 검사는 길어진 도움말 선언을 분리하지 못해 NO_SAFE_DECLARATION_CAPACITY로 실패했습니다. 첫 소스의 원래 실행 32개가 모두 끝난 뒤 도움말 선언을 나눈 17153175를 같은 PR에 올렸습니다. 전체 239개 패키지 검사·정적 검사·동시 실행 검사·실제 파일의 여섯 조회 경로를 통과했고, 기존 실행 파일과 도움말 8개의 출력 바이트가 같습니다. 수정본의 네 플랫폼 준비 검사는 통과했습니다. 핵심 CI와 왕복 변환 검사도 통과했습니다. 같은 소스의 원래 검사 종료와 증거 묶음 확인 뒤 dev의 ee24a413에 병합했습니다. 병합된 소스의 네 플랫폼 준비는 통과했고 배포 준비 항목 7/7을 확인했습니다. 병합 후 핵심 CI도 통과했습니다. 원래 공개 실행을 거쳐 0.6.28로 배포·설치했고, 실제 공개 파일의 여섯 조회 결과를 대조했습니다.

• 사례를 요약하는 방식의 새 비교를 완료하고 SDK PR61로 원본을 공개·병합했습니다. main d80acd0c의 원래 CI38090873163도 통과했습니다. 같은 크기의 평균·극값 모델은 학습에서14/64·29/64, 관련 평가에서32/128·36/128을 처음 맞혔습니다. 제외한 계산 유형에서는 둘 다16/64였습니다. 전체 한 번의 관측은31.29초·최대77.031MiB였고, 고정 순서도 네 후보 안에서 같은 최종 검사를 모두 통과했습니다. 기본 모델은 유지합니다.

• Gooo Canonical Decision Tiny v1을 Hugging Face에 공개했습니다. 평균·극값 연구 가중치, 256개 합성 문서와 768개 조립 기록, 학습 손실·실패·비용·Go 연동법을 제공합니다. 원래 실험 파일을 그대로 복사했으며 새 학습은 하지 않았습니다. 공개 커밋 c3d87b2e에서 파일 16개를 받아 원본 체크섬과 대조했고 공개·비제한 상태를 확인했습니다. 공개 컴파일러 0.6.28이 이 형식을 지원합니다. 실제 공개 파일의 극값 모델 연결 사전 확인을 통과했고, 네이티브 전체 조립 품질은 별도 미측정입니다. 현재 설명 커밋 60ea500b는 가중치·결과 바이트를 유지합니다. 게시 파일과 사용 범위. SDK PR62에서도 고정 버전 다운로드와 실제 컴파일러 지원 상태를 연결했습니다. 원래 push·PR CI 통과 후 main의 6835253d에 병합했고, 병합된 소스의 검사도 통과했습니다.

• 비교와 분기를 따로 배우는 후속 실험을 한 번 완료했습니다. 관련 평가의 첫 성공은 공동·역할 분리 모두 30/128, 고정 순서 32/128입니다. 역할 분리는 호출 수와 가중치 용량이 두 배였고, 중간 조건만 바꾼 64쌍에서 두 방식 모두 첫 선택을 바꾸지 못했습니다. 전체 원래 실행은 50.62초·최대54.05MiB입니다. SDK PR63에 결과와 읽기 전용 검산기를 공개했고, Hugging Face 후속 폴더에도 원본 가중치·실패·비용을 추가했습니다. 원래 push·PR CI를 통과해 main의 ebae7adf에 병합했습니다. 병합 뒤 CI38095948164도 통과했고 기본 모델은 유지합니다. 원래 조건 입력을 읽은 후속 분석에서는 관련 64쌍의 원시 열 평균이 같고 기존 부호 결합 필드의 평균은 달라지는 점을 확인했습니다. 학습된 내부 상태의 충돌이나 실패 원인으로 단정하지 않으며 계산과 범위를 공개했습니다.

• SDK 0.2.39와 준비된 자체 모델을 공개했습니다. 기존 상호작용 모델·비교 모델·예제·사용 안내·라이선스·체크섬을 배포에 고정했습니다. 원래 태그 CI를 통과했고 공개 파일 6개를 원본과 대조했습니다. 새 학습이나 성적 추가는 없으며, 일반 컴파일러 연결은 PR1450으로 개발 브랜치에 병합됐습니다. SDK의 버전 고정 명령으로 사용할 수 있습니다.

• 변경 전후 결과 비교 PR1447을 dev의 59cc5c64에 병합했습니다. body-outcomes-delta가 저장된 결과를 같은 전체 입력과 활동 ID로 맞추고, 실제 결과 변화와 기대값 변화를 따로 보여줍니다. 배치 예제 10개 입력에서 요구·결과 변화 5개와 유지 5개를 확인했습니다. 비교 중 모델 호출과 생성 프로그램 실행은 0회입니다. 첫 CI의 선언 등록 누락을 수정했고, 로컬 전체 테스트는 순차 실행으로 통과했습니다. 수정본 9e3a2d50의 핵심 CI와 네 플랫폼 검사를 통과했습니다. 병합 후 소스의 핵심·플랫폼 검사도 통과했고 0.6.27 준비 PR1448을 공개했습니다. 준비 PR의 원래 핵심·네 플랫폼·배포 계약 검사를 통과해 34eb72d6에 병합했습니다. 병합 후 원래 CI38073304679와 플랫폼 준비38073304694를 통과해 0.6.27로 공개·설치했습니다. 공개 파일의 비교 결과도 원래 저장한 보고서와 같았습니다. 사용법·원본 기록·검사 상태.

• 업무 규칙 예제와 도입 기준을 추가했습니다. 배치 상한을 16→32로 바꾸고 고정 순서·공개 자체 모델·저장 재실행을 관측했습니다. 세 방식 각각 20/20개 네이티브 출력 사례를 만족했고 저장 재실행의 새 판단은 0회였습니다. 모델의 첫 선택은 두 번 모두 틀렸으며 후속 후보 검사로 완료했습니다. 고객의 절감액·도입 시간은 미측정으로 남기고, 실제 한 업무의 변경 비용과 반복 사용을 다음 개발 기준으로 삼았습니다.

• 새 문서 80개의 모델 비교 PR55에 실제 학습한 모델 두 개와 모든 결과를 공개했습니다. 자료와 조건을 먼저 고정하고 8개를 학습했습니다. 지원 범위 안의 별도 평가 64개에서 첫 후보 성공은 고정 순서 16개, 기존 모델 20개, 상호작용 모델 60개였습니다. 마지막까지 검사하면 모두 완성됩니다. 새 모델의 네 실패는 영문 분기 설명을 붙인 변수 대입 형태에 모였습니다. 지원 밖 8개는 두 모델 모두 호출 없이 고정 순서로 진행했습니다. 새 모델 학습 2.024초, 판단 중앙값 98.458µs, 전체 실험 최대 RSS35.56MiB였습니다. 후보 시도는 줄었지만 작은 예제의 전체 탐색 시간은 기존 모델보다 조금 늘었습니다. 한 거리 계산 틀의 상수·설명·소스 형태를 바꾼 실험이며, 평가 범위와 실패를 함께 남겼습니다. 가중치·원본 기록·실행 예제. main의 142c3293에 병합했고 병합 후 CI도 통과했습니다. 새 모델 파일은 현재 SDK에서 사용하며, 일반 컴파일러 연결은 후속 작업입니다.

• 입력과 목표의 관계를 배우는 모델 PR54을 추가했습니다. 입력과 그 입력에서 원하는 결과를 함께 읽고, 소스·출력·조건의 작은 상호작용을 학습합니다. 가중치는 19,034개, FP32 배열 76,136바이트입니다. SDK의 fit -interactions로 로컬 학습하고 search -model로 사용할 수 있습니다. Gooo가 정답 경로를 확인한 학습 목표 8개를 각각 첫 후보에서 만족했고, 같은 사례를 여섯 가지 순서로 배치한 검사도 48/48을 통과했습니다. 별도 평가와 속도는 위의 후속 실험에 기록했습니다. 초기 추천은 한 번이며 바로 후보 검사로 이어집니다. 모델을 생략하거나 지원 밖 소스를 만나면 고정 순서 탐색을 사용합니다. 공개0.6.26의 모델 연결은 기존 선택별 사례 모델까지이며, 이번 모델의 일반 컴파일러 연결은 후속 작업입니다. 수정본의 원래 PR·push CI를 통과해 main c75fb2a2에 병합했고, 병합 후 검사도 통과했습니다. 사용법·계산 방식·검사 범위.

• 계산 순서 모델의 48개 문서 실험 PR53에 새 가중치 두 개와 전체 결과를 공개했습니다. 문서와 설정을 먼저 고정하고 8개를 학습했습니다. 별도 평가 40개에서 첫 후보 성공은 고정 순서·기존 모델 10개, 새 모델 11개였습니다. 나머지 후보를 검사한 뒤에는 세 방식 모두 40개를 완성했습니다. 전체 48개에서 기존 모델보다 13개가 개선되고 12개가 퇴보했습니다. 새 입력에서 충돌은 사라졌지만 학습 첫 성공은 2/8, 손실은 균등 선택 수준이어서 목표들을 함께 읽는 능력은 여전히 약합니다. 지원 밖 소스 8개는 모델 호출 없이 고정 순서로 완성했습니다. 새 모델 학습 875ms, 판단 중앙값 38.083µs, 두 모델 실험 전체 2.41초·최대 RSS 30.59MiB였습니다. 독립 정수 검산·변조 검사와 SDK 전체 67개 패키지 race·정적 검사, 원래 PR·push CI를 통과했습니다. main 141ad328에 병합했고 병합 후 CI도 통과했습니다. 두 모델·실패·전체 완성률·사용 예제.

• 계산 순서와 요구사항을 함께 학습하는 PR52를 main 166abf15에 병합했고 원래 PR·push CI와 병합 후 CI가 통과했습니다. 소스 528칸과 최대 128개 출력·128개 조건을 읽는 Go CPU 모델입니다. 가중치 17,890개·71,560바이트이며 fit -ordered-requirements와 search -model로 학습·저장·조립을 연결합니다. 좌우 계산만 반대인 두 학습 예제는 각각 첫 후보에서 완성했습니다. 지원 범위를 넘는 소스는 이유를 기록하고 모델 호출 없이 고정 순서로 진행합니다. SDK 전체 64개 패키지의 race·정적 검사, 독립 계산식·기울기 검사가 통과했습니다. 별도 문서의 평가와 새 가중치는 위 PR53에 공개했고 일반 컴파일러의 새 형식 로더 연결은 후속 작업입니다. 사용법과 지원 범위.

• 계산 순서 조회 PR51에 inspect -ordered-source를 추가했습니다. 조건식과 양쪽 반환문의 연산자·좌우 값을 별도로 읽어, 기존 입력에서 같아졌던 40쌍을 모두 구별합니다. 대입 시점의 값과 큰 정수를 보존하며 선택 지점당 576바이트 배열을 사용합니다. 추가 분기나 여러 겹의 연산에는 지원 범위를 표시합니다. 실제 문서 조회, 전체 SDK race·정적 검사는 통과했습니다. 원래 PR·push CI를 통과해 main 4e7e24e7에 병합했고 병합 후 CI도 통과했습니다. 이 입력을 학습하는 새 모델은 PR52에 구현했고 별도 문서의 평가는 PR53에 공개했습니다.

• 출력·조건 모델의 새 문서 172개 실험 PR50에 두 가중치와 전체 결과를 공개했습니다. 32개를 학습하고, 별도의 충족 가능한 136개에서 첫 후보 성공은 고정 순서 35개·기존 선택 모델 33개·새 조건 모델 44개였습니다. Gooo가 나머지 후보를 검사한 뒤에는 세 방식 모두 136개를 완성했고, 모순된 4개는 미완성으로 남겼습니다. 전체에서 38개가 개선되고 26개가 퇴보했습니다. 새 모델도 학습 사례의 첫 성공이 8/32이고 손실이 균등 선택 수준에 가까워 학습은 약했습니다. 전체 시도는 432→431회였습니다. 소스·출력·조건 입력이 모두 같은데 다른 답이 필요한 40쌍을 찾아, 뺄셈의 좌우와 반환 분기 관계가 모델 입력에 보존되도록 보완할 근거를 남겼습니다. 새 모델 학습 2.449초·판단 중앙값 25.625µs, 두 모델 실험 전체 9.28초·최대 RSS 49.05MiB였습니다. 독립 정수 검산·SDK 전체 64개 패키지 race·정적 검사와 원래 PR·push CI를 통과했습니다. main a75303d5에 병합했고 병합 후 CI도 통과했습니다. 학습 전 실패부터 가중치·검산·사용 예제까지.

• 출력·조건을 함께 학습하는 PR49를 SDK main 99597dd3에 병합했습니다. Gooo의 소스 선택지, 출력 예시, 중간 조건을 함께 읽어 후보 순서를 정하는 Go CPU 모델입니다. 가중치는 13,282개·53,128바이트입니다. contract-model fit -requirements로 학습하고 search -model로 조립에 사용할 수 있습니다. 출력은 같고 조건만 반대인 두 학습 예제는 각각 첫 후보에서 완성했습니다. 일부러 잘못된 경로를 제안해도 Gooo가 조건 실패를 기록하고 추가 추론 없이 다음 후보를 검사합니다. 전체 SDK race·정적 검사와 원래 PR·push CI, 병합 후 CI가 통과했습니다. 이 두 예제의 결과는 학습 연결 검사입니다. 별도 문서의 성적과 가중치는 위 PR50에 공개했고, 일반 컴파일러의 새 형식 로더는 후속 작업입니다. 바로 써보는 명령·계산 구조·현재 범위.

• 조건 입력·조회 명령 PR48에 중간 조건의 대상, 정확한 정수 입력, 기대하는 참·거짓 값을 담는 별도 입력을 추가했습니다. contract-model inspect로 모델 파일 없이 소스 선택지·출력 사례·조건 사례를 확인할 수 있습니다. 포함된 실제 문서에서 선택지 2개·출력 사례 8개·조건 3개를 원본과 대조했고, 예측·후보 실행·학습은 모두 0회였습니다. 전체 SDK race·정적 검사와 128개 조건·큰 정수· 동시 조회 검사와 원래 PR·push CI를 통과해 main d382e41f에 병합했습니다. 병합 후 CI도 통과했습니다. 기존 공개 모델은 소스·출력 입력을 사용하며, 세 입력을 함께 학습하는 새 구현은 위 PR49에 있습니다. 사용법과 32칸 입력의 구성.

• 모델 입력 진단 PR47에 서로 다른 요구가 모델에는 같은 입력으로 전달되는지를 계산하는 기능을 올렸습니다. 최종 출력은 같고 중간 조건만 반대인 두 사례에서 현재 입력 배열이 같다는 것을 재현했습니다. 이 묶음에서 같은 입력으로 같은 결정을 내리는 모델의 첫 선택 성공 상한은 1/2입니다. Gooo는 이후 후보의 조건을 검사해 두 요구를 구분할 수 있습니다. 학습 결과에 입력 충돌과 피할 수 없는 첫 선택 실패 수를 함께 기록하며, 충돌이 있어도 학습은 진행합니다. 로컬 전체 SDK race·정적 검사와 원래 PR·push CI를 통과해 main 32ffd21a에 병합했습니다. 병합된 소스의 원래 CI도 통과했습니다. 지표의 정의와 재현 테스트.

• SDK0.2.38에 각 선택 지점의 사례 요약과 점수를 읽는 기능을 공개했습니다. 기존 가중치로 한 번 판단하면서 요약에 남은 사례 번호와 중간 계산값을 기록합니다. 최대128개 사례·16개 선택 지점을 지원하며 조회 명령의 후보 실행·학습은 0회입니다. PR45의 원래 PR·push CI, 병합 후·태그 CI를 통과했습니다. 공개 Go 모듈의 소스와 파일 바이트도 확인했습니다. 가중치 파일은 호환되는 SDK0.2.37 배포를 사용합니다. 새 정답률 실험은 추가하지 않았습니다. 조회 방법과 기록의 의미.

• 선택별 사례 모델의 컴파일러 연결 PR1445에 공개 SDK0.2.37의 모델로 실제 구성·실행·저장 재실행을 한 기록을 올렸습니다. 기존 공개 예제 세 개에서 후보 시도는 5→4회, 첫 선택 성공은 양쪽 모두 2/3이었습니다. 곱셈 예제는 1→2회로 퇴보했습니다. 네이티브 구성 평가와 모델 없는 저장 재실행은 각각 24/24개 출력 사례를 통과했습니다. 판단은 4564µs였지만 파일 읽기를 포함한 구성은 4.265.20ms로 고정 순서보다 길었습니다. 전체 15개 명령의 최대 RSS는 84.23MiB였습니다. 로컬 425개 패키지 순차 race 검사와 정적 검사·billing 예제는 통과했습니다. 최초 병렬 검사에서 기존 네이티브 2초 제한에 걸린 기록도 보관했습니다. 원래 필수 CI와 배포 준비와 독립 호환성 검사가 통과했고 CI의 소스·PR·실행 기록을 대조했습니다. dev의 deff13a2에 병합했고 병합 후 필수 CI·네 플랫폼 준비·독립 호환성 검사도 통과했습니다. 자동 승격 설정과 변환 효과 기록의 보조 작업 두 실패는 남아 있습니다. 이어서 0.6.26 준비 PR1446에 버전과 모델 다운로드·입력 확인·조립·저장 재실행 안내를 올렸습니다. 최초 도움말 선언의 길이가 의미 검사의 분리 한도를 넘어, 같은 문구를 별도 상수로 분리한 수정본 0d613249를 올렸습니다. 수정본의 필수 CI·네 플랫폼 준비·배포 규약 검사와 원본 증거 확인 후 dev의 8a759cba에 병합했습니다. 병합 후 필수 CI·네 플랫폼 준비와 배포가 통과했고 실제 공개0.6.26 파일을 설치했습니다. 원래 PR의 보조 AI 스캔 실패는 별도로 남겼습니다. 공개·설치 결과와 시작하기. 원본 관측·검산·사용 범위.

• 196개 Gooo 문서 실험 PR37에 새 사례 판단 모델의 가중치와 모든 실행 기록을 공개했습니다. 학습용 24개와 별도로 검사한 충족 가능한 170개 문서에서 첫 선택 성공은 기본 85/170·모델 107/170이었습니다. 두 방식 모두 해결 가능한 194개 문서를 완성했고, 모순된 두 문서는 미완성으로 남겼습니다. 후보 시도는 396→271회로 줄었지만 전체 탐색 시간은 18.278→27.837ms로 늘었습니다. 첫 선택이 좋아진 문서 49개와 나빠진 문서 21개를 함께 보관했습니다. 영문 표현과 처음 보는 계산 계열은 첫 선택 성공이 각각 12/24에 머물렀습니다. CPU 학습 357ms·판단 중앙값 16.375µs·전체 최대 RSS 49.03MiB이며, PC 전체 이용률 증가분은 측정하지 않았습니다. 원자료 검산·전체 race·정적 검사와 원래 PR·push CI를 통과해 main 88ef3de7에 병합했습니다. 병합 후 CI와 태그 CI도 통과하여 SDK0.2.36과 모델 파일을 배포했습니다. 공개 파일의 체크섬과 원본 바이트를 확인했습니다. Hugging Face는 로그인되지 않아 이번 가중치는 GitHub에 공개했습니다. 가중치·실패·사용 예제.

• 선택 지점별로 사례를 읽는 PR42에 자체 소형 모델의 새 구조를 공개했습니다. 기존 소스384칸·사례32칸을 보존하며 각 선택 지점이 사례 요약에 관여하도록 연결층을 추가했습니다. 전체12,818개 가중치·51,272바이트입니다. Go CPU 학습, 모델 저장·읽기, 한 번의 초기 판단과 Gooo 후보 조립을 연결했습니다. 같은 소스와 반대 목표를 학습하는 작은 테스트에서 목표별 경로를 골라 한 번에 완성했습니다. 독립 계산식·기울기·전체 SDK race·정적 검사와 원래 PR·push CI를 통과해 main 825a7628에 병합했습니다. 병합 후 CI도 통과했습니다. 새 평가 문서388개의 결과는 아래 PR43에 공개했습니다. 기존 기본 모델은 유지합니다. 구조·사용법·검증 범위.

• 새 문서388개 비교 PR43를 공개했습니다. 문서와 학습용32개를 먼저 고정하고 두 모델을 한 번씩 학습했습니다. 첫 선택 성공은 기존 모델197/388→선택별 모델221/388, 개선87개·악화63개였습니다. 두 모델과 모델 없는 방식 모두 충족 가능한386개를 완성하고 모순된2개는 받아들이지 않았습니다. 처음 보는 곱셈 유형은32/64→31/64로 낮아졌고, 반대 목표193쌍 중163쌍에는 여전히 같은 경로를 골랐습니다. 새 모델 학습1.725초·판단 중앙값37.584µs, 두 모델을 합친 실험 전체3.20초·최대 RSS72.27MiB였습니다. 경로 시도는 줄었지만 이 작은 본문들의 전체 탐색 시간은 늘었습니다. 61개 SDK 패키지의 로컬 race·정적 검사와 독립 정수 검산을 통과했고 원래 PR·push CI도 통과해 main 3f032abf에 병합했습니다. 병합 후·태그 CI도 통과해 SDK0.2.37과 두 모델을 배포했습니다. 공개 파일3개를 내려받아 원본 바이트·크기·체크섬과 대조했습니다. 새 형식의 일반 컴파일러 연결은 위 PR1445를 통해 개발 브랜치에 반영했습니다. 원자료·두 모델·실패 사례·사용 예제.

• 소스 상수와 목표를 연결한 PR41을 공개했습니다. 상수와 입출력 사이의 관계를 사례32칸에 표현했고, 모델 크기와 학습 문서24개는 유지했습니다. 첫 선택 성공은132/196→109/196, 학습 밖 충족 가능한 문서는112/170→95/170으로 낮아졌습니다. 개선0개·퇴보23개를 모두 남겼으며 기본 모델은 유지합니다. 이후 Gooo 후보 검증으로 충족 가능한194개는 모두 완성했고 모순된2개는 미완료로 남았습니다. CPU 학습338.5ms·판단 중앙값17.167µs·최대 RSS29.95MiB였습니다. 로컬 전체 race·정적 검사와 독립 정수 검산과 원래 PR·push CI를 통과해 main b82141a8에 병합했습니다. 병합 후 CI도 통과했습니다. 방법·전체 결과·사용법.

• 두 목표를 짝지어 학습한 PR40을 공개했습니다. 기존 24개 학습 문서로 12쌍을 만들고, 같은 9,746개 가중치 안에서 서로 다른 목표의 경로 점수 차이를 학습했습니다. 한 번의 고정 실험에서 같은 경로를 고르는 쌍은 62→58개로 줄었지만, 양쪽 목표 모두 첫 선택에 성공한 쌍은 35개로 같았고 양쪽 모두 틀린 쌍은 0→4개가 됐습니다. 첫 선택 성공은 전체 132/196→128/196, 학습 밖 충족 가능한 문서에서는 112/170으로 같았습니다. 10개 개선·14개 퇴보를 모두 남겼습니다. 유한 탐색은 충족 가능한 194개를 완료하고 모순된 2개를 미완료로 남겼습니다. CPU 학습679ms·판단 중앙값16.416µs·전체 최대 RSS30.02MiB였습니다. 기본 모델은 유지하며, 새 학습 방식은 fit -goal-pairs로 선택할 수 있습니다. 전체 SDK race·정적 검사와 원자료 검산과 원래 PR·push CI를 통과해 main 5d59149d에 병합했습니다. 병합 후 CI도 통과했습니다. 방법·전체 결과·모델·사용법.

• 목표가 선택에 전달되는 과정 PR39을 공개했습니다. 두 모델에 기존 문서196개씩 총392회 진단을 실행했고, 모든 점수와 선택이 저장된 원래 결과와 정확히 같았습니다. 반대 목표97쌍 모두에서 사례 요약· 내부 값·최종 점수가 달라졌지만, 선택 경로는 평균 모델61쌍·새 집계62쌍에서 같았습니다. 목표 정보가 최종 점수까지 전달되는 것을 확인했습니다. 이후 같은 작은 매개변수 수로 목표를 짝지어 학습한 비교와 그 퇴보 사례를 위 PR40에 공개했습니다. ExplainInto로 한 번의 판단에서 이 값들을 확인할 수 있습니다. 전체 SDK race·정적 검사와 읽기 전용 검산을 통과했습니다. 첫 Linux CI에서 발견한 반올림 차이는 기록한 ARM 계산을 정확히 재현하는 검산으로 수정했습니다. 원래 실패 실행이 모두 종료된 뒤 수정분을 올렸고 새 PR·push CI를 통과해 main ff3d2496에 병합했습니다. 병합 후 CI도 통과했습니다. 원래 실험과 가중치는 다시 실행하거나 바꾸지 않았습니다. 내부 값·모든 목표 쌍·사용법.

• 드문 사례 집계 실험 PR38을 공개했습니다. 사례를 평균내는 대신 각 좌표에서 부호를 포함한 가장 큰 신호를 남깁니다. 같은 자료의 학습 밖 충족 가능한 문서에서 첫 선택 성공은 107/170→112/170이었고, 마지막 128번째 사례가 답을 바꾸는 두 문서를 모두 첫 선택에 맞혔습니다. 전체에서 11개 개선·4개 퇴보가 있었고, 반대 목표에 같은 경로를 고르는 쌍은 61→62개로 늘었습니다. 영문 설명의 성적은 12/24로 같았습니다. 이 계산은 선택 가능한 실험 옵션으로 둡니다. 첫 본문의 출력 사례는 1,582/2,048개, 중간 조건은 588/588개를 통과했습니다. 이후 유한 탐색은 해결 가능한 194개를 모두 완료하고 모순된 2개는 미완료로 남겼습니다. CPU 학습 336ms·판단 중앙값16.5µs·전체 최대 RSS28.31MiB를 기록했습니다. 전체 SDK race·정적 검사와 원자료 검산, 원래 PR·push CI를 통과해 main e798810c에 병합했습니다. 병합 후 CI도 통과했습니다. 가중치·실패 목록·지표.

• 선언 요구를 학습하는 SDK PR36을 공개했습니다. 모든 사례를 작은 공유 계산망으로 읽고, 그 요약과 소스 구조를 합쳐 경로를 고릅니다. 9,746개 매개변수·가중치 38,984바이트이며 사례가 늘어도 가중치 수는 고정됩니다. 실행 전에 한 번 판단한 뒤 기존 타입·조건·출력 검사로 이어집니다. 모델 생략 시 고정 순서로 탐색합니다. 같은 소스에서 기대 출력만 다른 두 목표를 학습해 서로 다른 경로로 실행하는 테스트와, 모순된 128번째 사례를 놓치지 않는 테스트가 통과했습니다. 원래 PR·push CI 통과 후 main 395a8acd에 병합했고, 병합 후 CI도 통과했습니다. 최초 측정과 학습 가중치는 위 PR37에 있습니다. 일반 컴파일러 CLI의 새 모델 형식 연결을 PR1444에 공개했습니다. 입력 사전 확인· 한 번의 초기 판단·후보 검사·네이티브 구성과 모델 없는 재실행 테스트가 통과했습니다. 이후 공개 가중치와 기존 예제 네 개로 CLI 20개 명령을 한 번씩 실행했습니다. 첫 선택 성공은 기본 2/4·모델 3/4, 시도는 8→5회였습니다. 네이티브 구성과 모델 없는 저장 재실행은 각각 32/32개 사례를 통과했습니다. 판단 중앙값은 21.25µs였으나 모델 구성 전체는 3.534.18ms로 기본 0.831.74ms보다 길었습니다. Mac에서 발견한 경로·운영체제 차이의 테스트 네 곳도 보완했습니다. 로컬 전체 검사는 패키지를 순서대로 실행해 통과했고, 원래 핵심 CI·네 플랫폼 준비·독립 호환성 검사를 통과해 dev의 93566df0에 병합했습니다. 병합 후 네 플랫폼 준비·일반 CI·독립 호환성 검사도 통과했습니다. 자동 승격의 App 설정 누락과 변환 효과 기록의 실패는 남아 있으며 설치본은 아직0.6.25입니다. 구조·로컬 사용법·한계.

• 선언 사례 입력 SDK PR35을 공개했습니다. 지금 모델의 첫 입력에는 소스 구조와 의도가 들어가지만, Gooo에 적은 기대 출력 사례는 실행 실패 뒤에야 전달됩니다. 새 API는 선언한 요구와 실제 실행 관측을 구분해 읽도록 준비합니다. 최대 128개 정수 쌍을 모두 보관하고 한 사례씩 128바이트 작업 공간으로 변환합니다. 큰 정수·호출자 변경·동시 읽기·범위 검사를 포함한 로컬 테스트와 원래 PR·push CI가 통과해 main 6bfa7581에 병합했습니다. 병합 후 CI도 통과했습니다. 이 입력을 쓰는 새 모델 구현은 위 PR36에 있습니다. 현재 API와 범위.

• 실패 뒤 선택을 확인한 SDK PR34을 공개했습니다. 학습 소스를 뺀 146개 소스에서 잘못된 시작 438개를 실행했습니다. 두 모델에 같은 관측을 전달한 뒤 다음 후보를 실제로 확인했습니다. 이전 모델은 346/438개, 관측을 학습한 모델은 438/438개가 모든 선언 사례를 통과했습니다. 다만 관측을 주기 전 점수로도 새 모델은 438/438개를 통과할 수 있었습니다. 이전 모델에는 피드백 때문에 선택이 나빠진 경우가 54개 있었고 새 모델에는 없었습니다. 이번 결과는 실패 관측을 받아도 선택을 유지한 범위를 보여 줍니다. 추가적인 교정 효과는 여러 동작이 가능한 새 과제로 확인해야 합니다. 재학습 0회, 전체 0.58초, 최대 RSS 19.27MiB였습니다. 원래 PR·push CI 통과 후 main 81fec839에 병합했고 병합 후 CI도 통과했습니다. 원자료와 비교 기준.

• 실행 실패를 학습에 넣은 SDK PR33을 공개했습니다. 기존 16개 소스에서 잘못된 선택 48개를 실제로 실행하고, 그 관측을 학습에 추가했습니다. 모델 크기는 9,290개 매개변수로 같습니다. 첫 선택에서 선언 사례를 모두 만족한 소스가 141/162 → 162/162로 늘었고, 21개 개선·새 실패 0개였습니다. CPU 학습 515ms, 판단 중앙값 14.9µs, 전체 최대 RSS 21.03MiB입니다. 첫 선택이 모두 맞아 이번 탐색에서는 실패 뒤 재판단이 발생하지 않았습니다. 그 능력은 잘못된 후보에서 시작하는 별도 실험은 위 PR34에 기록했습니다. 서로 비슷한 작은 과제의 유한 사례 결과이며, 익숙하지 않은 과제와 더 넓은 한영 표현에 대한 검증은 남아 있습니다. 원래 PR·push CI 통과 후 main da15815d에 병합했습니다. 원자료·가중치·검산이 공개됐고 병합 후 CI도 통과했습니다. 실험 방법과 기록.

• 컴파일러 PR1443은 공개 SDK35의 입력과 모델 형식을 일반 CLI에 연결합니다. 원래 CI의 의존성 정리 검사에서 이전 SDK 체크섬 두 줄이 남아 있는 문제를 확인했습니다. 로컬 89b000d0에서 정리하고 다시 정리해도 변경이 없는 것을 확인했습니다. 원래 실행 33건이 모두 종료된 뒤 89b000d0을 올렸습니다. 이 수정본의 원래 핵심 CI와 준비 검사가 통과했고 증거 묶음의 해시·소스 연결을 검증했습니다. 독립 호환성 실행 38039307070도 통과하여 dev의 fd039c32에 병합했습니다. 병합 후 네 플랫폼 준비·일반 CI가 통과했고, 독립 호환성 검사도 통과했습니다. 자동 승격은 기존 App 설정 누락으로 중단됐습니다. 별도 개발판으로 실제 학습 가중치를 쓴 CLI 명령 30개를 한 번 실행했습니다. 성공·실패를 골라 넣은 5개 소스에서 기본·모델·피드백의 총 후보 시도는 7/8/8회였습니다. 최종 출력 사례는 각각 40/40, 조건은 15/15였고, 네이티브 조립과 모델 파일 없는 저장 재실행도 각각 40/40개를 통과했습니다. 모델 읽기를 포함한 시간은 작은 예제에서 더 길었습니다. 실제 CLI 관측과 한계.

• 음수 신호를 보존한 모델 PR32를 공개했습니다. 입력·16개 학습 자료·모델 크기를 유지하고, 음수 신호를 0.01배로 남겼습니다. 첫 선택에서 선언 사례를 모두 만족한 소스는 82/162 → 141/162였습니다. 80개는 개선됐고 21개는 악화됐습니다. 작은 값 과제 20개와 중첩 분기 대조 사례 1개의 실패를 보존했습니다. 두 탐색 방식은 모두 162/162개 선언 사례를 마쳤고, 후보 시도는 각각 242 → 183회였습니다. CPU 학습 133ms, 진단 복사를 포함한 판단 중앙값 14.5µs, 전체 최대 RSS 20.41MiB입니다. 관련된 작은 사례 집합에서 한 번 학습한 결과이며, 일반적인 한글·영문 이해 정확도는 아닙니다. 원래 PR·push·병합 후·태그 CI를 통과해 main d047005b 기준 SDK0.2.35를 공개했습니다. 새 모델 형식의 컴파일러 연결과 실제 CLI 측정은 위 PR1443에 공개했습니다. 가중치·실패·실행 원본.

• 관계 입력 실험 PR30은 원래 PR·push 검사와 병합 후 검사를 통과해 main 084555d4에 반영됐습니다. 반환값·비교값의 같은지와 크기 관계를 전달했지만, 새 v6의 첫 선택은 기존 v5의 101/162에서82/162로 떨어졌습니다. 이후 탐색은 두 방식 모두162/162개 선언 사례를 마쳤습니다. v6 학습102ms, 판단 중앙값13.9µs, 전체 실험 최대 RSS20.6MiB입니다. 실패를 포함한 원본.

• 의도 선택 진단 PR31은 기존 두 가중치로64번 진단했습니다. v6의16개 반대 의도 쌍 중8쌍에서 분기 내부 값 24개가 모두0이 되어, “큰 값”과 “작은 값”이 같은 선택 점수를 받았습니다. v5는0쌍입니다. 진단 API·원본·검산은 main 4b63016e에 병합했고 원래 두 CI와 병합 후 CI가 통과했습니다. 재학습과 새 본문 실행은 0회입니다. 이 관찰을 바탕으로 진행한 음수 신호 실험은 위 PR32에 기록했습니다. 관찰 범위와 남은 문제.

• 표현을 정리한 입력 PR28은 main 69fe9dd0에 병합했고 원래 PR·push·병합 후 CI가 통과했습니다. 실제 Gooo 소스 162개에서 같은 과제를 다르게 쓴 128쌍의 입력이 모두 같아졌고 통과 후보 집합도 유지됐습니다. 별도 새 학습 PR29는 직접 반환 16개만 배운 v4·v5 모델을 비교합니다. 같은 과제의 다른 표현은 첫 선택 32/64→40/64로 늘었지만 학습 사례는 16/16→10/16으로 떨어졌습니다. 다섯 탐색 방식은 모두 선언 사례 162/162개를 마쳤습니다. v5 학습 0.107초, 판단 중앙값14µs, 전체 실험 최대 RSS 약21.3MB입니다. PR29는 main ed84d95c에 병합했고 병합 후·태그 CI도 통과했습니다. SDK0.2.34로 새 가중치 두 개와 체크섬을 공개했습니다. 실제 공개 파일과 Go 모듈의 바이트·소스를 확인했습니다. CLI의 v5 연결은 로컬 후속 변경에서 사전 조회·실제 입력·모델 없는 저장 재실행 검사를 통과했습니다. 공개 컴파일러 배포에는 아직 들어가지 않았습니다. 원본·실패·완전성과 자원 사용.

• 변수 흐름을 켜고 끈 두 모델의 학습 PR27: 같은 32개 Gooo 소스로 두 모델을 한 번씩 학습했습니다. 학습 밖 96개 소스의 첫 선택 성공은 54→73개, 새 네 구간 분류는 2/16→8/16입니다. 변수 대입 과제는 8/16으로 같았습니다. 모든 탐색 방식이 128개 소스의 선언 사례를 마쳤고, 새 정보가 있는 모델의 초기 탐색은 224→151회로 줄었습니다. 다만 2개 소스에서는 시도가 늘었고, 피드백 호출 23회는 이득이 없었습니다. 전체 학습·1,408회 판단·512회 탐색은 3.11초, 최대 RSS 약45.5MB였습니다. 원래 PR·push CI 통과 후 main 1a88431c에 병합했습니다. 병합 후·태그 CI도 통과해 SDK0.2.33 실험 배포에 두 가중치와 체크섬을 올렸습니다. 공개 파일과 Go 모듈을 내려받아 원본과 같은지 확인했습니다. 개발 컴파일러의 v4 CLI 연결은 PR1442에 공개했습니다. 설치된0.6.25는 다음 배포를 기다립니다. 상세 결과와 한계.

• 값의 흐름을 받는 소형 결정 모델 SDK PR26: 384칸 입력을 받는 9,290개 매개변수의 Go 모델과 Gooo 경로 선택 연결을 추가했습니다. 가중치 값은 37,160바이트이며, 모델이 없으면 결정론적으로 탐색합니다. 대입 방향이 반대인 소스의 첫 선택, 선택 직후 본문 검사, 출력 반례를 다음 선택에 전달하는 동작을 로컬 race·정적 검사로 확인했습니다. 원래 PR·push CI 통과 후 main 4084ef42에 병합했고 병합 후 CI38028635625도 통과했습니다. 새 가중치의 학습 성적은 후속 PR27에 공개했습니다.

• 대입·반환 값의 흐름을 담는 SDK PR25: 변수에 넣은 값이 분기를 지나 최종 반환까지 어떻게 전달되는지 읽는 기능을 추가했습니다. 기존 128개 소스에서 정답 경로는 다른데 모델 입력이 같았던 72쌍을 새 입력으로 구분했습니다. 제외한 소스는 없습니다. 이번 작업은 입력 표현을 측정했으며, 새 모델의 학습 성적은 후속 과제입니다. 로컬 전체 race·정적 검사와 저장 결과 검산, 원래 PR·push CI를 통과해 main 60d258ca에 병합했습니다. 병합 후 CI38028225141도 통과했습니다. 측정 원본과 해석.

• 출력 피드백 모델의 Gooo 학습 실험 PR24: 128개 소스 변형 중 32개로 세 모델을 각각 한 번 학습했습니다. 새 네 구간 분류에서 같은 모델의 피드백을 켜면 경로 시도가 62→54회로 줄었습니다. 전체에서는 4개 소스가 개선되고 124개는 같았습니다. 첫 선택과 변수 대입 과제는 개선되지 않았습니다. 피드백을 포함한 전체 탐색 시간은 16.138→20.855ms로 늘었습니다. 세 학습·2,112회 선택·896회 탐색을 합쳐 3.08초, 최대 RSS 약 35.7MB였습니다. 모든 가중치와 실패 기록을 공개했고, 원래 PR·push CI를 통과해 main 53b13f4f에 병합했습니다. 병합 후 CI38026300040도 통과했습니다. 측정 범위와 다음 과제.

• 출력 실패를 다음 판단에 연결하는 SDK PR23: 실패한 입력·기대 출력·실제 출력을 정확한 정수 바이트로 담는 320칸 입력과 7,754개 매개변수의 소형 모델을 추가했습니다. 가중치 값은 31,016바이트입니다. 조건은 통과했지만 출력이 틀린 경우에도 다음 본문의 선택 순서를 바꾸도록 연결했습니다. 전체 로컬 race·정적 검사와 원래 PR·push CI를 통과해 main 2c123a14에 병합했습니다. 병합 후·태그 CI를 통과해 SDK0.2.32를 공개했습니다. Gooo 소스로 새 모델을 학습한 성적은 후속 PR24에 공개했습니다. 컴파일러 릴리스 연결은 진행할 일입니다. 출력 피드백과 현재 범위.

• Gooo 소스로 새 판단 모델을 학습한 SDK PR22: 60개 소스 변형 중 8개로 두 모델을 같은 설정에서 각각 학습했습니다. 새 입력 모델은 학습 소스 8/8, 새 한영 표현 6/16, 지역 변수 4/8, 중첩 조건 2/8입니다. 다섯 탐색 방식은 모두 60/60개의 선언 사례를 마쳤습니다. 학습은 각각 약 0.16초, 전체 실행 최대 메모리는 약 17.9MB였습니다. 가중치와 584회 선택·300회 탐색 원본을 공개했습니다. 로컬 검사와 원래 PR·push CI를 통과해 main e7fb6f0d에 병합했습니다. 병합 후 CI도 통과했습니다. 성적과 다음 입력 과제.

• 분기 반환 역할을 담는 SDK PR21: 입력 배열의 빈 20칸에 각 분기가 입력값·상수·변수·계산식 중 무엇을 반환하는지 담았습니다. 지역 변수의 선언과 대입 여부도 함께 읽습니다. 모델 크기는 6,218개 매개변수로 유지됩니다. 저장된 충돌 반례를 새 입력에서 구분하고, 기존 입력·가중치 식별값·정확한 정수 처리를 검사했습니다. 원래 push·PR CI와 병합 후 CI를 통과해 main 437de8c0에 반영했습니다. 태그 CI도 통과해 SDK0.2.31을 공개했습니다. 이 입력으로 학습한 가중치는 후속 PR22에 공개했습니다. 입력 버전과 현재 범위.

• 분기 반환값의 입력 충돌 SDK PR20: 서로 반대인 분기 배치가 정답인 두 Gooo 본문에서 모델 입력1,024바이트가 같음을 확인했습니다. 실제 모델도 같은 제안을 냈습니다. 다음 입력 버전에 반환값 역할을 포함할 근거로 원본을 공개했고, 원래 push·PR CI와 병합 후 CI를 통과해 main 8cd480a5에 반영했습니다. 반례와 다음 설계.

• 자체 조건 모델의 CLI 연결 PR1441: 소스·한영 의도·실제 조건 실패를 자체 모델의 배열 입력에 연결했습니다. 기본 탐색4회, 모델과 피드백2회로 출력9/9·중간 조건3/3을 충족했고, 모델 사본을 삭제한 뒤 저장된 본문을 실제 실행해 별도10/10 사례를 통과했습니다. 모델 판단은10.708µs·10.625µs였지만, 로딩을 포함한 조립은 기본1.153ms·모델3.344ms였습니다. 같은 절댓값 계열의 한 실험이며, 독립적인 문제 정확도나 전체 속도 향상 수치로 일반화하지 않습니다. 실제 CLI 기록과 사용법.

• 자체 모델과 후보 탐색 연결 SDK PR19: 같은 가중치로 실제 검사 실패를 받아 다음 후보 순서를 정하도록 연결했습니다. 소스24개를 세 방식으로 실행했으며, 모두 선언 사례를 만족했습니다. 경로 시도는 기본60개, 첫 판단만 사용35개, 조건 피드백28개였습니다. 재학습은 없고 같은 절댓값 변형 자료입니다. 로컬 전체 SDK race·정적 검사와 원래 push·PR CI를 통과해 main 80f0b5e9에 병합했습니다. 병합 후·태그 CI도 통과해 SDK0.2.30을 공개했습니다. 공개 모듈의 소스 커밋도 확인했으며 가중치는0.2.29와 같습니다. 동작과 실제 비용.

• 새 입력으로 학습한 자체 결정 모델 SDK PR18: Gooo 소스24개에서 유효한 후보 조합을 구하고,8개 소스의40개 입력으로 Go CPU 학습을 했습니다. 모델 선택 직후 본문을 생성하고 사례를 재확인한120개 기록과 가중치를 공개했습니다. 새 한영 표현은 첫 판단2/4·관측 뒤12/16이며, 지역 변수 구조는8/8·32/32입니다. 학습0.172초·후보 조합 판단 중앙값7.667µs·최대 프로세스 RAM15.6MB를 관측했습니다. 원래 push·PR CI 통과 후 main 11356f6b에 병합하고, 병합 후·태그 CI도 통과했습니다. SDK0.2.29와 가중치 파일을 공개했습니다. 방법·실패·수치의 범위.

• Gooo 실행과 새 모델 입력 연결 SDK PR17: 같은 Gooo 계획에서 선언 의도·소스 특징·후보 조건 실패를 읽어 입력을 만듭니다. 한 번 확인한 조건 실패를 여러 선택에 재사용하며, 다음 특징 추출에서 다시 실행하지 않습니다. 전체 SDK race·정적 검사, 큰 정수·미실행 분기·조건 없는 잘못된 조합·동시 호출 검사를 통과했습니다. 원래 push·PR CI를 통과해 main e134b863에 병합했습니다. 병합 후 CI38018607792도 통과했습니다. 새 가중치 학습과 모델 호출은 이 변경에 포함되지 않습니다.

• 0.6.25 준비 PR1440: 중간 조건 기능을 다음 배포에 포함하도록 릴리스 정보를 갱신했습니다. 실행 중단 시 시간 초과·취소 원인과 운영체제 오류를 함께 전달하도록 수정했습니다. 로컬 전체 실행부 race·정적 검사·관련 CLI 검사와 원래 전체 CI·네 플랫폼 준비 검사를 통과해 dev 66895f12에 병합했습니다. 병합 후 CI·네 플랫폼 준비·배포도 통과했습니다. 병합과 원본 증거. 0.6.25 공개 배포와 실제 설치를 완료했습니다.

• 자체 결정 모델 입력 분리 SDK PR16: 소스·한영 의도·관측 조건을 독립 배열 구간에 담는 함수를 main 13d7f010에 병합했습니다. 전체 SDK race·정적 검사, 원래 push·PR CI와 병합 후 CI38017911450을 통과했습니다. 실제 기록 여섯 개로 관측값이 바뀌어도 소스·의도 부분이 보존되는 것을 확인했습니다. 새 가중치 학습은 후속 단계입니다. 원본과 범위.

• 조건 피드백의 의미 구분을 추가로 살펴봤습니다. 고정된 여섯 입력에 네 변형을 적용한 로컬24회 판단에서, 메모 삭제는 비교식 선택 두 건을 바꿨지만 참·거짓 교환은 선택을 바꾸지 않았습니다. 현재 모델의 글자 위치 표현이 함께 영향을 줍니다. 새 학습이나 기능 정답률 측정은 없으며, 다음 모델의 입력 분리와 평가 기준에 반영합니다. 원본과 재집계.

• 조건 실패를 모델 재판단에 연결하는 SDK PR15: 출력이 맞아도 조건 때문에 탈락한 후보의 구체적인 반례를 다음 모델 입력에 전달합니다. 첫 반례 한 건을 보관하며 미실행 분기와 정확한 큰 정수를 구분합니다. SDK 전체 race·정적 검사, 원래 push·PR CI와 병합 뒤 CI를 통과해 main 302fa1c0에 병합하고 v0.2.28-experimental을 공개했습니다. 태그 CI도 통과했습니다. 기존 자체 모델을 직접 쓴 한 사례에서는 후보5→3, 판단3→9회였고 출력7/7·조건3/3을 유지했습니다. 새 학습이나 일반적인 정확도 향상 수치는 아닙니다. 동작과 범위.

• 소스의 중간 조건과 코드 조립 PR1439: condition_case 문법부터 후보 제외·호출자 재조립·저장 재실행까지 연결했습니다. 같은 자체 모델과 출력 사례로 비교하면 최종 출력은 양쪽11/11이고 중간 조건은1/3→3/3입니다. 새 학습은 없으며 모델의 잘못된 제안을 컴파일러가 걸러냅니다. 새 기능의 집중 검사와 실제 실행은 통과했습니다. macOS 전체 동시 검사는 기존 플랫폼 검사와 시간 제한에서 실패가 남았습니다. 원래 Linux CI의 일반 테스트·race·의미 검사는 통과했습니다. 형식 검사 실패를 수정하고 새 SDK·변수 재대입·조건 피드백 검사를 추가한 a63be8ed의 새 원래 CI와 네 플랫폼 준비 검사를 모두 통과해 dev 92dc06b3에 병합했습니다. 로컬 gooo-typed-dev에도 설치했습니다. 새 실제 실행에서 모델 없는 조립11/11·저장 재실행11/11·조건3/3, 자체 모델 경로의 출력7/7·조건3/3·판단9회를 확인했습니다. 병합 후 CI38016900868과 준비38016900754도 통과했습니다. 공개 배포본은0.6.24입니다. 런타임 PR14는 main c1eec1d5에 병합됐고 병합 후 CI 38012678205 통과 뒤 v0.2.27-experimental을 공개했습니다. 쉬운 설명과 측정 범위 · 병합·설치·원본 실행.

• 중간 조건 관측 SDK PR13: 실제 if의 참·거짓과 미실행 분기를 구분하는 Go API를 공개했습니다. 기존 세 모델의 선택 바디에서 중간 조건은 각각 1/3이며, 이전 Go AST 진단과 일치했습니다. 새 모델 호출은 0회입니다. 로컬 전체 테스트·race·vet와 원본 push·PR CI 통과 후 main d7d92dea에 병합했습니다. 병합 뒤 원본 CI 38011805699도 통과했습니다. 후속 문법·선택 제약·저장 재실행 연결은 PR1439로 병합했습니다. 현재 범위.

• 조합 학습 모델 PR60: 자체 소형 모델을 Gooo에 직접 연결했습니다. 같은 함수의 새 입력은 이전·문장 추가 모델6/11, 조합 학습 모델11/11이고 저장 재실행도 동일했습니다. 기존 문장 성적은15→13/24로 낮아졌습니다. 내부 비교 조건과 문장 힌트의 불일치도 별도 진단에 남겼습니다. 원본 push·PR CI 통과 후 main b63ea6d7에 병합했고, 병합 뒤 원본 CI 38011150089도 같은 소스에서 통과했습니다. 가중치·측정·다음 언어 작업에 범위와 원본을 정리했습니다.

• 정답 조합 자료 PR59: 자체 decision 모델이 여러 선택의 관계를 배울 수 있도록 소스 후보별 실행 자료를 만드는 Go 도구를 공개했습니다. 한 함수의8개 조합 중2개가 소비한9개 사례를 만족했고, 총72개 결과가 네이티브 실행과 일치했습니다. 각 지점의 선택을 따로 합치면 잘못된 조합2개가 추가되는 것도 확인했습니다. 전체0.96초, 최대 RSS 약71.5MiB였습니다. 원본 push·PR CI 통과 후 main5e4256ac에 정상 병합했고, 병합 뒤 원본 CI38009845812도 통과했습니다. 후속 학습은 PR60에 기록했습니다.

• 자체 모델 PR57: 원본 push·PR CI 통과 후 main0aa566b9에 정상 병합했습니다. CPU 학습 전체0.86초, SDK 판단 약10µs/선택이며 같은 소스 특징의 새 문장24개 중15개를 맞혔습니다. 세 선택을 연결한 새 프로그램은 모델 경로2/3, 고정 경로3/3이었습니다. 그 실패 하나를 소비한 다음 결정론적 조립은 새 입력5/5와 저장5/5, 새 추론0회를 확인했습니다. 원본과 모델 설계.

• 0.6.24 PR1434: dev366에 병합하고 공개 파일9개를 배포·설치했습니다. main 승격 PR1435의 원본 CI와 v5 증거를 확인해 main389b5cf7에 정상 병합했습니다. 병합 뒤 원본 CI38007117743도 같은 소스의 필수 여섯 검사와 증거 수집을 마쳐 성공했습니다.

• 모델 입력 확인 PR1433: 수정 후보 bff의 원본 CI37995667254·준비 검사37995667634를 통과했습니다. 같은 소스·check suite의 여섯 검사와 v5 증거, ZIP 지문, 소스·PR 정보와 고정한 본문을 확인해 dev 426caecb에 정상 병합했습니다. 병합된 파일 구성은 검사한 후보와 같습니다. 별도 gooo-typed-dev의 깨끗한 설치 소스로 사전 확인·자체 모델 조립·저장 재생을 새로 실행했습니다. 처음 함수별 사례2/2·전체 호출0/1에서 프로그램11시도 뒤 마지막 별도 입력3/3·재생3/3을 얻었습니다. 레코드1예측·분기0예측·새 재생 예측0이며 학습 노출은 UNKNOWN입니다. 공개0.6.23/source2b 파일은 유지합니다. 0.6.24 개발판은 PR1434의 원본 CI·네 플랫폼 실행·배포 계약 검사를 통과해 dev366ee6ef에 병합·로컬 설치했습니다. 병합 뒤 준비38003560817과 push CI38003560790도 통과했습니다. 검사·병합·설치·실제 원본.

• 실험 PR1431: 조건·변수·분기 본문을 호출자 결과로 다시 조립하는 v7 경로를 dev 26c4e315에 정상 병합했습니다. 수정본 원본 여섯 검사·v5 증거·네 플랫폼 준비 검사와 병합 뒤 원본 push CI37981912354가 성공했습니다. 공개0.6.23 뒤 개발 소스입니다. 예제와 실제 점수.

• 표현 개선 PR1432: typed 조립에서도 변수 음수 -input을 사용할 수 있게 dev 035e4447에 정상 병합했습니다. 실제 작은 예제의 별도 입력은 고정 순서와 자체 모델 혼합 모두 3/3, 저장 재생의 새 추론은 0회였습니다. 앞선 관측 생산자는 깨끗한 개발 소스 34dc675b입니다. 원본 여섯 검사·v5 증거·네 플랫폼 준비 검사가 성공했습니다. 병합한 개발 실행 파일을 별도 gooo-typed-dev로 설치했고 실제 생성과 저장 재생에서 각각 3/3, 새 추론 0회를 확인했습니다. 공개 릴리스 0.6.23의 소스·파일은 그대로입니다. 원본 검사와 실제 개발판 설치. 소스와 원본 관측.

• 작업장 PR56: typed 본문을 일괄 차단하던 오래된 Gooo 규칙을 제거하고 실제 컴파일러의 재조립에 연결했습니다. v7의 선택·타입 거절·정확한 정수·실행 실패를 읽고 지역·호출·별도 사례를 나눠 셉니다. 자체 모델로 만든 원래 조립의 호출 0/1을 재사용한 뒤, 새 고정·모델 후속 조립 모두 마지막 별도 입력 3/3을 얻었습니다. 시도 25·26회로 이 예제의 모델 시도 횟수 개선은 관측하지 못했습니다. 원본 PR37986200401과 push37986105459 CI가 성공했고 main 8302cd7b에 정상 병합·설치했습니다. 설치한 작업장83·개발 컴파일러035의 새 자체 모델 최초 조립과 고정 후속에서도 별도 입력 3/3, 새 최종 추론 0회를 확인했습니다. 사용법과 병합·설치 기록. 직접 쓴 원본.

• 작업장 PR55: 공개 Linux 컴파일러를 사용한 원본 PR CI37972542048과 feature push37972533634가 성공했습니다. 정상 예상-head 병합 뒤 main06445a4와 설치 파일의 깨끗한 소스를 확인했습니다. 병합 뒤 원본 main push37973606399도 attempt1, 동일 accepted source에서 성공했습니다. construct는 원래 관측·현재 조립·별도 평가를 요약하고 전체 JSON은 --json으로 출력합니다. 앞선433c 검사 환경 오류도 원본 실패로 남겼습니다. 출력·관측 읽기.

• 컴파일러 PR1429: 입력 계획·템플릿·입력 전용 실행·반복·저장 재생을 네 플랫폼 릴리스 검사에 연결했습니다. 원본 여섯 검사와 v5 증거를 확인해 dev 2b17c487에 정상 병합했고 0.6.23 공개·설치를 완료했습니다. 입력만 있을 때 0/0·UNKNOWN, 나중에 제공한 기대값은 각 프로그램에서 4·4·49·2개입니다. PR1430의 원본 CI 37969441891에서 여섯 검사와 v5 승격 증거를 확인해 main ab4bb1b6에도 정상 병합했습니다. main 파일 트리는 공개 소스 dev2b와 같습니다. 승격 원본. 병합 뒤 원본 main push37972198046도 attempt1, mainab4에서 성공했습니다.

• 컴파일러 문서 PR1428: 한 본문만 지원한다던 오래된 작업장 설명을 현재 전체 그래프 사용법으로 맞췄습니다. 원본 CI 37958745152의 12개 작업, 같은 커밋의 여섯 필수 검사와 v5 증거를 확인해 dev e25959dc에 정상 병합했습니다. 코드·모델·실행 파일은 그대로입니다. 당시 설치한 네이티브 실행 소스는 a15이며 저장한 그래프의 출처 연결을 유지합니다. 수정한 가이드 · 원본 CI·증거·병합.

• 작업장 PR54: 네이티브 계획을 여러 본문·보조 함수·추가 루트의 저장 반례 반복에 연결했습니다. 원본 전체 CI 37956868551의 38단계와 push 검사 뒤 main 0d7d30a9에 정상 병합·설치했습니다. 두 본문 예제의 고정·모델 실행은 반례 뒤 호출 3/3, 마지막 별도 호출 2/2였습니다. 반복 시도 127·111, 예산 16의 실패, 입력만 넣은 0/0은 따로 남깁니다. 설치본의 최초 모델 2회·고정 후속 0회, 보조 함수의 별도 호출 4/4를 확인했습니다. 당시 typed_paths의 전체 프로그램 재조립은 남은 범위였습니다. 이후 컴파일러 PR1431에서 dev에 연결했습니다. 공개 컴파일러 연결은 위 0.6.23으로 이어졌습니다. 사용법 · CI·병합·설치 원본.

• 컴파일러 PR1427: 실행 전에 호출 입력 키, bind 연결, 호출 본문의 조립 순서를 읽습니다. 기대값 없이 편집할 입력 양식도 만듭니다. 원본 전체 CI 37947177323의 여섯 검사와 v5 증거를 확인해 dev a15b4134에 정상 병합·개발판 설치했습니다. 다섯 조회 계획은 생성 계획과 같았고, 설치본 자체 모델 조립은 1회 호출· 소스 필드 12/12, 저장 재생은 새 호출 0회·호출 기대값 4/4였습니다. 예산 계산 예제의 1/4 실패도 별도로 남깁니다. 사용법과 범위.

• 작업장 PR53: 저장 연결의 한 활동 제한을 확장했습니다. 마지막 활동의 실패 행을 원래 루트 입력과 기대값으로 다음 조립에 넘깁니다. 단일 인자의 input_from과 다중 인자의 inputs 배열을 실제 native 형식으로 읽습니다. 수정 커밋의 원본 전체 CI 37942229769의 38단계와 push CI를 통과해 main 7d64f529에 병합·설치했습니다. 네 경로의 별도 최종 입력은 필드 6/6, 새 추론 0회였습니다. 설치본의 모델 시작· 고정 후속 조립도 4회차·15번 시도·최종 6/6을 확인했습니다. 사용법 · CI·병합·설치 기록.

• 컴파일러 PR1426: 내부 입력 전용 실행을 body-compose --inputs로 연결했습니다. 정답을 준비하기 전에도 실행하고, 저장한 생성물에 기대값을 나중에 제공할 수 있습니다. 원본 전체 CI 37934706536의 필수 여섯 검사와 v5 증거, 준비 조건 7/7을 확인해 dev 485ef8ed에 병합했습니다. 설치한 개발판의 자체 모델 조립·재생·후속 4/4 검사와 실행 파일 재사용을 확인했습니다. 공개 0.6.22와 작업장 assemble은 기존 --cases 흐름을 사용합니다. 사용법과 관측 범위.

• 작업장 PR52: 저장한 assemble 결과를 기존 반례 조립 반복에 연결했습니다. 소스 사례와 원래 기대값을 보존하고, 반례 준비·실제 사용을 나눠 기록합니다. 원본 전체 CI 37930939295를 통과해 main 83cbe449에 병합·설치했습니다. 한 프로그램에서 초기 호출 필드 2/6 또는 4/6이 후속 조립 뒤 6/6, 최종 별도 입력도 6/6이었습니다. CI·병합·설치 원본.

• 작업장 PR51: 첫 도움말에서 12개 명령을 찾고, 명령별 도움말이 정상 종료하도록 고쳤습니다. 먼저 실패를 재현한 뒤 새 CLI race 검사와 원본 전체 CI 37926712743을 통과했습니다. main 38289940에 병합·설치하고 도움말과 기존 자체 모델 조립을 실제 확인했습니다. 원본 CI·설치 관측.

• 컴파일러 PR1424: 0.6.22 공개 준비. 후보 513dc82f의 네 플랫폼 실행과 원본 준비 조건 7/7, 로컬 실제 조회·조립·재생을 확인했습니다. 원본 필수 CI도 통과해 dev d3b44fc6에 정상 병합했습니다. 같은 소스로 0.6.22 공개·설치를 완료했습니다. 준비·병합 원본. 같은 파일 트리의 main PR1425는 원본 CI 37923423022와 승격 조건을 통과해 main 340982bb에 정상 병합했습니다. main 병합 원본.

• 작업장 PR50: CI와 사용 안내를 공개 0.6.22 소스로 맞춥니다. 설치본의 새 native/race 검사와 기본 경로의 실제 조립·후속 제안을 확인했습니다. 원본 전체 CI 37924656024를 통과해 main ece4da79에 정상 병합했습니다. 작업장 병합·설치 원본.

• 작업장 PR49: 실제 조립 결과를 Gooo 후속 규칙이 읽고 다음 작업을 제안합니다. next-context.json에서 불일치가 있는 원본 위치를 찾을 수 있습니다. 로컬 native/race 검사와 실제 자체 모델 호출을 확인했습니다. 원본 전체 CI 37921811756를 통과해 main 7c37f4b3에 정상 병합했습니다. 명령과 기록.

PR49의 제안은 기록으로 남습니다. PR52는 그 기록을 construct --assembly로 넘겨 후속 조립을 실행합니다. 모델 파일을 명시한 후속 실행에서만 새 모델 호출을 합니다. 실제 입력과 기대값은 유지하며, 생성한 프로그램을 다시 실행한 기록도 함께 보관합니다.

결과를 읽는 기준

분기 후속 조립과 변수 음수 표현을 병합한 뒤 컴파일러035·작업장83의 추가 CI도 원본 attempt1에서 모두 통과했습니다. 최종 관측.

작은 레코드 예제의 호출 사례는 4/4, 필드는 12/12였습니다. 기대 문자열 하나를 바꾼 관측은 3/4·11/12로 남았고 Gooo는 반례를 확인하도록 제안했습니다. 소스의 조립용 필드는 12/12로 따로 셉니다. 같은 네 입력을 여러 경로로 실행한 수는 독립 평가 사례 수와 구분합니다. 모델 학습 노출이 확인된 일반화 자료는 후속 연구입니다.

관측	의미
입력 표현과 사전 확인	현재 모델이 소스의 선택 구조를 받을 수 있는가
조립용 사례	후보를 선택할 때 작성된 조건을 얼마나 만족했는가
실제 호출과 필드	고른 프로그램이 그 입력의 기대값을 얼마나 만족했는가
저장 재생	같은 선택·출력을 새 추론 없이 유지하는가
Gooo 후속 제안	관측 상태에서 다음에 살펴볼 작업을 정함; 실제 입력 점수 0/0

현재 우선순위는 조건식·변수·호출·레코드 조립을 언어 도구에서 쉽게 쓰고, 소스의 의도와 실제 결과를 연결하는 것입니다. 작은 모델은 소스의 후보 순서를 제안하고, 정해진 상태를 읽는 규칙은 Gooo로 실행합니다. 최근 연구와 선택.

이전 자료

이 페이지의 이전 1,715줄은 상태 이력에 원문 그대로 보관했습니다. 과거 버전·소스·실패와 당시의 관측은 그 날짜를 기준으로 읽습니다. CI·배포 원본은 각 이력에서 연결한 observations 폴더에 남아 있습니다.