# 자동 반례 반영 — CI와 병합 기록

2026-10-08. 생태계 작업장 PR 32의 검사한 소스 `d214fb286da36242e6c4605ebdb53fafa26a831d`를
일반 squash 병합으로 main `47a09d0eeba78fc430ad41cf601433a223d2bd76`에 반영했습니다.
검사한 소스와 병합 결과의 파일 트리는 `6b14d7d020cf4e7c1969191e98f1d6417d5afcc8`로 같습니다.

- PR CI: 37795092578, 전체 성공.
- 같은 소스의 push CI: 37795042428, 전체 성공.
- 원본 artifact: 11558540982, `gooo-ecosystem-observations`, 8,562,948바이트.
- 다운로드한 ZIP의 SHA-256: `ff88239e79caa23707e9cfb6854c9c129e7141a01c415251a89bc77b5bb77936`.
- GitHub가 제공한 원본 digest와 다운로드 파일의 digest가 같았습니다.

`ci-results.tar.gz`에는 원본 artifact에서 네 `ci-feedback-*` 실행 폴더와
컴파일러 정보만 추출해 보관했습니다. 재집계 도구와 함께 읽기 위해 폴더 이름의
`ci-feedback-` 접두사만 제거했습니다. 파일 내용은 그대로입니다.
`ci-counts.json`은 다음 값들을 원본에서 다시 확인한 결과입니다.

| 프로그램 | 순서 | 회차 | 전체 프로그램 시도 | 모델 호출 | 반례 추가 | 마지막 평가 |
| --- | --- | ---: | ---: | ---: | ---: | ---: |
| 산술 | 기본 | 5 | 16 | 0 | 2 | 4/4 |
| 산술 | 자체 모델 | 1 | 1 | 1 | 0 | 4/4 |
| 요금 | 기본 | 1 | 1 | 0 | 0 | 4/4 |
| 요금 | 자체 모델 | 5 | 16 | 5 | 4 | 4/4 |

각 마지막 평가의 네 입력은 해당 실행에서 사용한 조립 입력과 겹치지 않았습니다.
저장한 조립의 재실행이며 새 추론은 모두 0회입니다. 기본·모델 경로의 최종 Gooo
소스가 프로그램별로 같았습니다. 이 표의 값과 최종 소스 해시는 로컬 결과와도
같았습니다. 로컬과 CI는 같은 두 프로그램의 반복 실행으로 집계합니다.

검사는 `ReadSnapshot`으로 실제 값과 기대값을 정확한 JSON 정수로 다시 셉니다.
반례 복사 전후 원본 행·추가 행의 기대값, 원본 파일과 결과의 해시, 준비된 사례
파일이 다음 회차에 사용됐는지, 마지막 평가의 재실행과 모델 호출 수를 확인했습니다.
CI에는 전체 Go race 검사, Gooo 정책의 분기 검사, 기존 생태계 기능과 모델 학습 재현도
포함됩니다. `ci-run.json`, `premerge.json`, `merge.json`에 당시 원본 상태를 보관했습니다.

[구현과 재집계 도구](https://github.com/kimjooyoon/gooo-ecosystem-workbench/tree/d214fb286da36242e6c4605ebdb53fafa26a831d/experiments/joint-feedback-observe)
· [로컬 원본과 시간 측정의 조건](https://github.com/kimjooyoon/gooo-ecosystem-workbench/tree/47a09d0eeba78fc430ad41cf601433a223d2bd76/publication/joint-feedback-20261008)
· [PR](https://github.com/kimjooyoon/gooo-ecosystem-workbench/pull/32)
· [CI](https://github.com/kimjooyoon/gooo-ecosystem-workbench/actions/runs/37795092578).