같은 계산을 변수로 써도 같은 입력으로 읽기

확인: 2026-10-11 KST.

SDK 0.2.40 실험판에 Go API와 사용 예제, 두 연구 모델을 묶었습니다. 태그의 원래 CI가 통과했고 공개 파일 8개를 한 번 내려받아 체크섬 목록과 원본에 대조했습니다. 아래 설명은 이 SDK에서 사용할 수 있습니다. 일반 Gooo 컴파일러 연결도 개발 소스에 구현했습니다. 공개 컴파일러 0.6.27은 이 형식을 읽지 못합니다. 새 연결의 병합 상태와 실제 관측은 아래에 따로 표시합니다.

배포물의 MODEL.md에 다운로드 뒤 검사·조회·탐색 명령이 있습니다. example.gooo와 example.json은 이미 평가한 자료에서 고른 사용 예제입니다. 배포를 위해 새로 학습하거나 성적을 다시 측정하지 않았습니다. 각 모델은 FP32 가중치 19,034개·76,136B를 사용합니다. 새 입력의 첫 선택 성공은 관련 변형 36/128, 비교 모델은 33/128, 고정 순서는 32/128이었으며 학습 문서에서도 성적이 낮았습니다. 연구 모델로 제공하며 기존 기본 모델은 유지합니다.

개발자는 계산 결과를 곧바로 반환하기도 하고, 이름을 붙인 변수에 담아 반환하기도 합니다. 예를 들어 return 수량 - 기준과 차이 = 수량 - 기준; return 차이가 있습니다. 지원하는 순수 분기 안에서는 같은 계산인데, 이전 모델 입력에는 변수와 대입문의 개수 차이가 남았습니다. 사용자가 모델에 맞는 코드 스타일을 외울 필요를 줄이려는 작업입니다.

무엇을 구현했나

소스에서 비교식과 두 반환식을 따라가 마지막으로 대입한 값을 찾습니다. 모델에는 이를 직접 반환하는 분기처럼 정리해 보여줍니다. 산술 순서와 정수 값은 그대로 두고, 실제 후보는 원래 소스로 조립·실행합니다. 모델은 먼저 확인할 조합을 추천하고 Gooo가 작성된 사례를 검사합니다.

새 입력은 별도 모델 형식으로 구분합니다. 기존 모델은 학습할 때 사용한 입력을 계속 받습니다. 계산 구조는 19,034개 FP32 가중치와 같은 크기의 작업 배열을 사용하며 Go에서 실행합니다. 후속 학습에서 관측한 정확도·시간·메모리는 사례와 반례 실험에 정리했습니다.

저장된 자료에서 확인한 것

앞선 학습 범위 실험의 256개 문서를 읽었습니다. 그중 직접 반환과 대입문을 짝지을 수 있는 96쌍의 결과는 다음과 같습니다.

규칙군	짝의 수	이전 입력이 같은 짝	새 입력이 같은 짝
상한 선택	32	32	32
거리 계산	32	0	32
음수 상한 선택	32	0	32
합계	96	32	96

원래 입력 배열·기대 출력·중간 조건·허용한 후보 표시는 보존됐습니다. 새 입력이 같으면서 서로 양립할 수 없는 정답을 요구하는 묶음은 이 자료에서 0개였습니다. 이는 입력이 표현을 일관되게 읽는지 확인한 결과입니다. 모델이 96개를 맞혔다는 뜻으로 세지 않습니다. 이 자료 점검에서는 학습·판단·후보 실행을 모두 0회 수행했습니다.

이전 평가의 실패를 보고 입력을 바꿨으므로, 후속 실험은 별도 문서와 평가 계획을 먼저 공개한 뒤 실행했습니다. 새 입력 모델의 첫 선택 통과는 36/128, 기존 입력 모델은 33/128이었고 두 모델 모두 학습 문서에서도 낮은 성적을 보였습니다. 입력 일관성과 학습 성과를 따로 읽습니다.

직접 사용하는 흐름

SDK PR57에 구현과 문서를 공개했습니다. SDK 체크아웃의 examples/contract-model에서 다음 작업을 할 수 있습니다.

1. inspect -canonical-source: 소스에서 읽은 비교·반환식과 모델에 들어갈 배열 확인.
2. fit -canonical-interactions: 명시적으로 고른 학습 문서로 새 로컬 모델 작성.
3. search -model: 새 모델이 추천한 후보부터 실제 사례 검사.
4. 모델을 생략한 search: 고정 순서로 같은 후보 검사.

실행 방법과 정확한 지원 범위, 전체 입력 점검 결과.

현재 지원 범위는 분기 하나, 알려진 값, 비교식과 각 반환식에 연산 하나까지입니다. 지원하지 않는 표현은 이유를 표시하고 모델 호출 없이 유한한 후보 검사를 계속합니다. 부분적으로 맞는 본문은 PARTIAL과 실제 통과 수를 함께 돌려줍니다. 본문이 생겼다는 사실만으로 모든 요구가 맞았다고 처리하면 안 됩니다. 예제 명령은 완료되지 않은 결과를 출력하면서 오류를 반환합니다.

로컬 전체 단위·동시 실행 검사와 정적 검사를 통과했습니다. 원래 push·PR CI도 통과해 SDK main의 0ac7eae9에 병합했고 병합된 소스의 CI38080588257도 통과했습니다. 공개 Gooo 0.6.27에는 이 새 입력용 모델 연결이 포함되지 않습니다. 후속 연구의 두 가중치는 별도 파일로 공개했습니다.

실제 모델을 컴파일러에서 사용한 관측

개발 소스 c96aaee0에서 이 모델의 로드·입력 조회·본문 조립·저장 재실행을 연결했습니다. PR1452의 원래 필수 검사와 독립 호환성 검사를 통과하고 해당 실행의 증거를 확인해 개발 브랜치 88a2386d에 병합했습니다. 병합된 소스의 배포 준비 검사38090054303과 핵심 CI38090054281도 원래 첫 실행에서 통과했습니다. 독립 호환성38090054264도 통과했고, 같은 소스의 원래 작업 38개가 모두 종료됐습니다. 자동 main 반영38091504634는 기존 App 설정 누락으로, 변환 기록38091504609는 ROLLBACK_FIXED_POINT_REJECTED로 실패했습니다. 두 실패는 그대로 남습니다. 이 연결을 포함하는 0.6.28 준비 PR1453을 공개해 검사 중입니다. 소스 기준 실행 안내에서 모델 준비, 입력 확인, 조립·저장 재실행 명령을 볼 수 있습니다. 전체 로컬 검사에서 테스트가 있는 239개 패키지와 정적 검사, 기본 Gooo 예제가 통과했습니다. 기존 형식, 동시 요청, 지원 범위 밖의 고정 순서 진행도 검사했습니다. 네이티브 연결은 아직 공개 바이너리에 배포되지 않았습니다.

공개 연구 모델의 기존 예제를 실제 연결로 한 번 실행했습니다. 수량과 기준 67 사이의 음수 거리를 반환하는 규칙이며, 조립에 제공한 출력 8개를 그대로 평가에도 사용했습니다. 새로운 업무 입력의 성적은 없습니다.

항목	자체 모델	고정 순서	저장 재실행
새 모델 판단	1회	0회	0회
지역 본문 후보 검사	4개	1개	새 선택 없음
최종 네이티브 출력	8/8	8/8	8/8
전체 명령 시간	0.81초	0.61초	0.34초
CPU 시간 합계	0.53초	0.48초	0.28초
최대 RSS 보고값	약 82.78MiB	약 83.39MiB	약 83.13MiB

첫 모델 후보는 출력 8개를 모두 맞혔지만 중간 조건은 3개 중 1개만 맞혔습니다. 컴파일러는 이 후보를 거절했고 네 번째 후보에서 출력 8/8과 조건 3/3을 만족했습니다. 두 조립 모두 호출자 수준 시도는 1회였습니다. 그 안의 지역 후보 수와 구분해 읽어야 합니다. 이 예제에서는 고정 순서가 더 적은 후보로 완료했습니다.

이 계산은 비교 방향과 양쪽 반환식을 함께 뒤집으면 최종 출력이 같을 수 있습니다. 여기서는 사용자가 비교 결과도 condition_case로 요구했으므로 그 부분을 따로 검사합니다. 확인할 업무 요구를 어떤 사례로 표현했는지가 결과를 해석하는 기준입니다.

판단 한 번은 0.127208ms, 모델 로드·준비는 8.482167ms였습니다. 조회 단계는 판단과 후보 실행이 모두 0회였고, 이후 후보 진행에서 새 판단은 없었습니다. 저장 재실행은 모델 파일을 지정하지 않고 완료했습니다. 명령 시간은 Go 컴파일·실행을 포함한 단회 값으로, 캐시와 PC의 다른 작업을 통제하지 않았습니다. CPU 시간은 PC 전체의 순간 사용률 상승과 다릅니다.

원본 기록과 Go 검산기를 함께 공개합니다. 검산기는 기록만 읽고 모델·컴파일러를 다시 호출하지 않습니다. 모델 호출 속도, 검사한 후보 수, 작성된 요구의 충족 범위를 각각 드러내는 것이 이번 관측의 의미입니다.

실용성과 연결하는 기준

이 기능의 목적은 개발자가 자연스럽게 쓴 작은 규칙을 받아들이는 것입니다. 실제 도입에서는 일반 Go 함수와 테스트를 수정하는 흐름과 비교해, 처음 연결하는 데 걸린 시간과 두 번째 요구 변경에 든 수고를 기록하려 합니다. 생성한 프로그램의 재사용, 빠뜨린 사례를 찾는 과정, 사용자 지원에 든 시간도 함께 봅니다. 반복 사용과 유료 요청은 아직 관측하지 않았습니다.

이런 경험이 쌓이면 계속 유지할 언어 기능과 좁힐 범위를 판단할 수 있습니다. 큰 시장이나 투자사의 존재를 Gooo의 수요로 환산하지 않고, 실제로 선택해 쓰는 이유를 작은 업무 도입 계획에서 확인해 나갑니다.