타입의 이름을 바꿔도 같은 값으로 조립하기

공개 PR 1418을 개발 브랜치에 병합했습니다. 소스 28b84915의 로컬 검사·실제 실행과 필수 CI, 원본 검증 기록을 확인했습니다. 병합 dev 832dbf36의 파일 트리는 검사한 후보와 같습니다. 이 타입 이름 기능은 공개 0.6.21 개발판에서도 사용할 수 있습니다.

0.6.21 준비 PR 1419은 한글·영문 예제와 기존 자체 모델의 446바이트 가중치를 소스에 함께 담았습니다. 로컬 macOS ARM 배포 검사는 통과했고, 원본 GitHub 네 플랫폼 검사에서는 Linux와 두 macOS가 통과했습니다. Windows는 실제 호출 1회와 필드 검사 12/12 뒤에 추론 시간이 0ns로 기록되어 재생 검증에서 거절됐습니다. 이 관측을 보존하고 시간 검증 조건을 수정했습니다. 첫 후보 PR 1419는 원본 결과를 확인한 뒤 닫았고 아래 수정 후보로 이어갔습니다. 후보 실행 원본과 Windows 실패.

수정 후보 PR 1420은 관측된 0ns를 보존하며, 실제 호출·예측·선택 순서를 확인하도록 수정했습니다. 0ns 재생 회귀 검사, 잘못된 추론 기록 다섯 종류의 거절, 전체 코드 생성 동시 실행 검사와 로컬 macOS ARM 배포 검사가 통과했습니다. 수정 후보는 Windows를 포함한 네 플랫폼 실행과 배포 근거 7/7을 통과했고, 원본 결과의 지문과 소스를 확인했습니다. Windows 실제 보고서에서도 추론 0ns·호출 1회·필드 검사 12/12를 보존한 채 실행과 저장 재생이 4/4로 통과했습니다. 필수 CI와 원본 검증을 확인한 뒤 dev d4d0966f에 병합했습니다. 이 소스의 원본 네 플랫폼 검사를 다시 확인해 0.6.21을 공개하고 설치했습니다. 공개 설치본에서도 한글·영문 고정/모델 조립과 저장 재생의 필드 12/12·실행 4/4를 확인했습니다. 공개·설치 원본. 수정 후보 원본 확인.

함수를 한글로 적을 수 있어도 입력 타입을 꼭 Integer로 적어야 한다면 언어를 사용하기 불편합니다. 정수로 이름을 바꾸고 같은 타입 ID를 남겼는데, 의미 계획은 같고 코드 생성은 거절되는 문제가 있었습니다. 이 후보는 알려진 ID로 값의 표현을 찾습니다. 이름표와 규격 번호를 함께 읽는 셈입니다.

entity 정수 id "urn:gooo:type:integer"
entity 논리 id "urn:gooo:type:boolean"
entity 문자열 id "urn:gooo:type:string"

세 ID는 각각 64비트 정수, 논리값, 문자열로 연결됩니다. 소스와 계획에는 작성한 이름이 남습니다. 가져온 패키지에서도 같은 ID를 이어 보고, 이름만 바꾼 예제의 생성 코드 지문이 같은지 확인했습니다. 다른 ID를 가진 타입에는 지원하는 값 구조가 필요합니다. 레코드 선언은 필드 구조로 다루고, 소스를 수정하면 새 실행 기록을 만듭니다.

작은 자체 모델로 세 필드 조립하기

실행 예제는 정수·사용 여부·문자열을 입력받습니다. Gooo의 변수와 조건문이 문장을 계산하고, 조립 선택지는 text, active, count에 넣을 값을 고릅니다. 세 필드에 선택지가 두 개씩 있어 조합은 여덟 개입니다. 한글·영문 의도도 소스에 함께 적습니다.

관측	고정 순서	자체 모델
첫 후보의 필드 검사	4/12	7/12
통과한 후보까지 시도	8	6
최종 필드 검사, 작성 사례 네 개	12/12	12/12
다른 입력 네 개의 실제 실행	4/4	4/4
조립 중 새 모델 호출	0	1
저장 재생의 새 모델 호출	0	0

모델의 첫 제안에서 빠진 필드는 검사 결과에 남고, 다음 조합을 확인합니다. 최종 두 프로그램의 생성 코드와 실제 출력은 같습니다. 큰 정수 9007199254740993과 음수, 한글과 이모지도 별도 실행에서 확인했습니다. 이 수치는 이 예제의 정해진 입력과 필드에 대한 결과입니다. 모델 학습 자료에 해당 입력이 노출됐는지는 확인하지 않았습니다.

처음 한 필드만 선언한 예제는 모델이 요구하는 세 필드 형식에 맞지 않아 고정 순서로 진행했습니다. 모델을 읽었지만 호출은 0회였습니다. 그 기록을 보존하고, 세 종류의 값을 함께 조립하는 위 예제에서 실제 호출을 확인했습니다.

시간과 메모리 관측

이번 단일 관측의 모델 로딩은 0.45ms, 추론은 0.068ms였습니다. 모델이 유지한 텐서는 2,096바이트이며, 추론·검사·네이티브 빌드·실행을 포함한 명령 전체의 최대 RSS는 약 82.1MiB였습니다. 전체 명령은 고정 순서 0.50초, 모델 0.32초였고 프로세스 CPU 시간은 각각 약 0.25초였습니다. 실행 순서와 빌드 캐시가 다르므로 속도·CPU 사용량의 우위로 일반화할 수 없습니다. 시스템 전체 CPU 증가율은 측정하지 않았습니다.

실행 원본·선택 거절·회귀 검사와 명령 안내를 함께 공개합니다. 모델 가중치를 바꾸거나 새로 내려받지 않고 기존 자체 QAT 모델을 사용했습니다.