# Gooo 0.6.13 공개 배포와 실제 사용

2026-10-09 KST. [공개 개발판](https://github.com/kimjooyoon/meta-ontology-go/releases/tag/v0.6.13-dev)을
설치하고 자체 모델을 다시 연결했습니다. 소스는
`772acf4abaa93c01e666909e1c8b9029406f003a`입니다.

## 배포와 설치

PR 1389의 필수 CI 여섯 항목과 전체 실행 37806100547이 성공했습니다.
원본 artifact 11564296090의 ZIP SHA-256은
`4a76c6f10df2bb348b2effccb55b0cf3b0a2c3045f93f9fa5a43802df41cea7d`입니다.
내려받은 해시와 PR·head·base·run·attempt를 대조하고 저장소의 proof verifier로
재검사했습니다. 확인한 head `29394956`와 병합된 dev `772acf4a`의 파일 트리가 같습니다.
`release-merge/`에 당시 검사·병합 기록이 있습니다.

병합 소스의 push-to-dev readiness 37808956037이 네 플랫폼과 집계를 통과했습니다.
그 실행을 사용하는 publication 37809501903도 성공했습니다. 주석 태그는 위 소스를
가리키고, 공개된 prerelease에 자산 9개와 체크섬 항목 8개가 있습니다.
최종 publication 원본 ZIP의 SHA-256은
`212b2b1c88bc6d77fd1327923235d7a0e15dd53632441137967b3ebad70af088`입니다.

실제로 받은 macOS arm64 archive SHA-256:
`dac7f5ec37b188540dcbf621f3190d058d146123820ee7ff08f7f5fc1a57af03`.
받은 파일과 JSON 4개·체크섬 파일을 공개 asset digest와 대조했습니다. manifest와
모든 자산 metadata도 비교했습니다. 다른 운영체제의 큰 archive는 이번 로컬
설치에서 다시 받지 않았고, 배포 workflow가 해당 파일들을 검사했습니다.

archive 안의 실행 파일과 설치한 파일의 바이트가 같습니다. 설치된 컴파일러는
깨끗한 소스 `772acf4a`, Go 1.27.1, decision runtime v0.2.26-experimental을 보고합니다.
`installed-build.json`이 실제 설치 정보입니다.

## 공개 파일과 기존 자체 모델

| 프로그램 / 순서 / 한도 | 조합 시도 | 지역 거절 | 실제 프로그램 | 마지막 평가 |
| --- | ---: | ---: | ---: | ---: |
| 정수식 / 고정 / 5 | 3 | 1 | 2 | 4/4 |
| 같은 정수식 / 고정 / 2 | 2 | 1 | 1 | 1/4 |
| 혼합 / 고정 / 40 | 24 | 8 | 16 | 4/4 |
| 같은 혼합 / 자체 모델 / 40 | 17 | 8 | 9 | 4/4 |

두 프로그램의 네 조립 실행과 두 저장 재실행입니다. 모델 가중치와 원래 기대값을
그대로 유지했습니다. 혼합 예제의 고정·모델 최종 Gooo 소스가 같고, 두 재실행의
실제 값도 같습니다. 거절한 행에 호출부 점수를 부여하지 않습니다. 각 native
프로그램은 기존 재현 검사에 따라 두 번 실행되므로 조합 수와 프로세스 수는 다릅니다.

Go 재집계는 원래 사례 파일을 별도로 읽고 JSON 정수를 정확히 비교합니다.
기존 후보 관측과 선택 소스·순서·거절 이유·실제 값도 비교했습니다.
`summary.json`, `verification.txt`, `observe.go`와 `installed-observations.tar.gz`가
원본입니다. 다음 인수로 재집계할 수 있습니다.

```sh
go run observe.go /tmp/installed-observations \
  /path/to/compiler/examples/caller-search-rejection \
  /tmp/release-candidate-observations 772acf4abaa93c01e666909e1c8b9029406f003a
```

이전 후보 관측은 컴파일러 `docs/research/release-0613-20261009/observations.tar.gz`에
있습니다. 이번 archive에는 `build.json`도 들어 있습니다. 정수식 평가의 0 입력은
지역 사례와 겹칩니다. 입력 분리와 모델 학습 독립성은 별개의 조건입니다.

### 시간과 메모리 관측

공개 파일을 같은 호스트에서 고정 순서, 모델 순서로 한 번씩 실행했습니다.
모델 경로의 기록된 추론은 29,833ns(약 0.030ms), 모델 tensor는 2,096바이트입니다.

| 명령 | 경과 시간 | user CPU | system CPU | 명령의 최대 RSS |
| --- | ---: | ---: | ---: | ---: |
| 혼합 / 고정 | 8.49초 | 2.61초 | 1.89초 | 88,047,616바이트 |
| 혼합 / 모델 | 2.99초 | 1.46초 | 1.05초 | 86,802,432바이트 |
| 모델 기록 재실행 | 3.03초 | 1.40초 | 0.95초 | 87,015,424바이트 |

`time` 원본은 archive에 있습니다. 전체 명령에는 Go 컴파일과 프로그램 실행이
포함됩니다. RSS는 명령 실행에서 보고된 값이며 모델 tensor 크기와 다릅니다.
호스트 전체 CPU 사용률과 기존 작업 대비 상승분은 샘플링하지 않았습니다.
캐시·순서·부하를 통제하거나 반복 측정한 비교가 아니므로 보편적 속도 향상률로
해석하지 않습니다. 저장 재실행도 이력의 실행 확인을 수행합니다.

## 생태계 도구 연결

작업장 PR 35의 검사 소스 `8bcc1c80`는 CI 37809186998을 통과하고 main
`2b87f68849077a77ed3e9ca32e2fa95f843a2e16`에 병합됐습니다. 검사·병합 파일 트리가
같습니다. CI의 컴파일러는 위 공개 소스 `772acf4a`와 Go 1.27.1입니다.

원본 artifact 11564701674(9,294,081바이트)의 ZIP SHA-256:
`70a431154a3e6bcb8fee19f368cfff383df7dba9b5c82edb22493a9fb3032c2c`.
해시 확인 후 새 거절 루프와 compiler 정보만 `workbench/observations.tar.gz`에 남겼습니다.
원래 값·반례 추가·다음 회차 사용을 재집계했습니다. 7회차·49번 시도, 초기 모델 호출
7회, 반례 2개 추가, 마지막 평가 4/4, 마지막 새 추론 0회였습니다. 기존 로컬 관측과
최종 소스도 같습니다. 마지막 회차는 거절 8번, 실제 프로그램 9개였습니다.

작업장의 README·설치 안내·CI가 같은 배포 소스를 사용하고, 직접 실행할 명령과
각 분모를 읽는 방법을 추가했습니다. 이전 관측의 소스 정보는 역사 그대로 유지합니다.
병합 후 main CI 37810094963도 같은 main 소스에서 성공했습니다.

## 메인 브랜치

컴파일러 PR 1390의 필수 CI 여섯 항목과 전체 실행 37809045376이 성공했습니다.
원본 artifact 11565312767(11,797바이트)의 ZIP SHA-256은
`6559ebc71e4172257f3dc665ea34a098f9cfa5aa5345c433fa7333a2bb80b51f`입니다.
내려받은 해시·실행 번호·시도·PR·head·base를 대조하고 proof verifier로 확인했습니다.
`promotion_authorization`은 dev → main의 정확한 소스에 대해 PASS입니다.

병합 직전에 live dev `772acf4a`, main `c754ccf7`, 열린 PR의 head
`be9b7e10862ec8fa1f81f52d75e6357a88438837`와 clean·mergeable 상태를 다시 확인했습니다.
snapshot은 live dev와 같은 파일 트리이며, sole parent는 기존 live main입니다.
기대 head를 지정한 일반 squash 병합 후 main은
`1fb881e61e2b19e8d256bde1e89947694f177ee5`입니다. 그 파일 트리가 공개 소스
`772acf4abaa93c01e666909e1c8b9029406f003a`와 같은 것도 확인했습니다.
당시 원본은 `main-promotion/`에 있습니다. 새 main push의 후속 CI와 이 PR CI는
별도 실행이며, 여기서 완료했다고 기록하는 검사는 위 PR 실행입니다.