# 계산식 조립과 거절 후 이어가기 — CI와 병합

2026-10-09 KST. 공개 0.6.12 이후 개발 소스의 통합 기록입니다.
공개 실행 파일의 배포·설치는 별도 단계입니다.

## 컴파일러

| 변경 | 검사한 PR 소스 | 병합한 dev | 원본 CI |
| --- | --- | --- | --- |
| PR 1387, 호출 결과로 IR 계산식 다시 고르기 | `736f723ab80d337b7f149d605391387166cd1159` | `934aed807ee6918682b51d0de74bf583e4e61ecf` | 37799094263 |
| PR 1388, 지역 검사에서 거절된 계산식 기록 후 계속하기 | `fcd61b1922931c85cec4eb37daca8ed869158f0c` | `de253a03cad72bbac8efd148250f72f2d17fe57b` | 37802951512 |

각 PR의 필수 CI 여섯 개와 전체 실행이 성공했습니다. 원본 검증 기록을 내려받아
해시, 실행 번호·시도·PR·head·base를 대조하고 `ci-proof --verify --require-pass`로
재검증했습니다. 일반 squash 병합 후 검사 소스와 병합 결과의 파일 트리가 같은지도
확인했습니다. 리뷰 승인이나 별도 Guardian 체크를 추가하지 않았습니다.

- PR 1387 원본: artifact 11560288223, 11,093바이트,
  SHA-256 `1a87335e6620cb5799360fe7bf3278c3f7bb7bdf960872f41d2dc3f15ab115fb`.
- PR 1388 원본: artifact 11562038606, 11,204바이트,
  SHA-256 `f1e1283b347f6fc12229849b4f1c31309516c49d331933c9500d501dbdd57af5`.

`compiler-search`와 `compiler-rejection`에 원본 metadata, 검증 기록, receipt와
CI·병합 상태를 보관했습니다. 실제 계산식·모델 실행 자료는
[첫 조립 관측](https://github.com/kimjooyoon/meta-ontology-go/tree/736f723ab80d337b7f149d605391387166cd1159/docs/research/caller-ir-search-20261009)과
[거절 후 이어가기 관측](https://github.com/kimjooyoon/meta-ontology-go/tree/fcd61b1922931c85cec4eb37daca8ed869158f0c/docs/research/caller-search-rejection-20261009)에 있습니다.

## 생태계 작업장

v2 기록을 연결한 PR 33은 main `b838079558d7f16d541eb577df0a9957153a8338`에,
v3 거절 기록과 새 CI 실행을 연결한 PR 34는 main
`dda67e4b80f87ed53627d391c36dbd18d04cfd6a`에 병합했습니다.
PR 34의 검사 소스 `1c5faa1247953ad24eeab0e9f83ddfd739382b5c`와 병합 트리가 같습니다.

- PR CI 37803387517, push CI 37803380124: 성공.
- 병합 후 main CI 37804055695: 성공.
- 원본 artifact 11561734357, 9,292,962바이트.
- 다운로드 ZIP SHA-256:
  `91facb2dbceffa8d30030fb3c25e0acf75f13096b412c35d9813a5a508d008dc`.
- GitHub 원본 digest와 받은 ZIP의 digest가 같습니다.

필요한 `ci-joint-rejection` 실행 폴더와 컴파일러 정보만 추출해
`workbench/ci-observations.tar.gz`에 보존했습니다. 파일 내용은 그대로입니다.
CI는 깨끗한 컴파일러 `ae3890c241575d6bbbe2a9d730fd015d36b97ccd`와 변경하지 않은
자체 그래프 QAT 모델로 새 조립을 실행했습니다.

Go 재집계는 실제 값과 기대값을 정확한 JSON 정수로 다시 비교하고, 반례의 원래
기대값과 해시·다음 회차 반영을 확인합니다. 로컬과 CI 모두 7회차·49번의 조합,
초기 모델 호출 7회, 반례 추가 2개, 마지막 평가 4/4였습니다. 마지막 평가에서 새
추론은 0회이고 선택한 Gooo 소스도 같습니다. 마지막 회차의 17번 중 8번은 지역 검사에서
거절됐고 9개 프로그램이 실제 실행됐습니다. 각 프로그램은 기존 재현 확인에 따라
두 번 실행되므로, 조합 수와 프로세스 실행 횟수는 다릅니다.

같은 한 프로그램을 두 환경에서 반복한 결과입니다. 입력 분리, 회차 수, 후보 수와
학습 독립성은 각각 다른 의미입니다. `ci-workbench-recount.go`와 JSON에 범위와
관측 시간을 남겼으며, 통제된 성능 비교로 해석하지 않습니다.