미관측 기대값과 실제 0점 읽기

2026-10-04 KST. 개발 #1200의 깨끗한 후보 472db874에서 확인했습니다. 개발 필수 CI와 내려받은 증거의 독립 검증 뒤 736d697a로 정상 병합했습니다. main #1201도 자체 필수 CI·독립 증거·승격 결속과 현재 브랜치 확인 뒤 정상 병합했습니다. 깨끗한 main 01d21e92를 Go1.27.1로 설치하고 같은 정상·실패 조건을 다시 확인했습니다.

도구 조회가 실패해 바디를 실행하지 못한 경우와 실제 출력이 모두 기대값과 다른 경우가 터미널에서 같은 0/128로 보였습니다. 원래 실패를 보존하고 현재 runtime의 관측 case와 재실행 여부에서 안내를 구성했습니다.

사실	설치본의 finite expectations 표시
선언 128개, 관측 출력 없음	unobserved (128 declared)
runtime 관측 이전 거부	unobserved
실제 128개 출력·재실행 확인, 모두 불일치	0/128
첫 실행 출력 뒤 재실행 실패	observed 1/2 (replay incomplete) 등

첫 실행에서 출력이 있었더라도 두 번째 실행이 완료되지 않을 수 있습니다. 부분 관측과 재실행 실패 표시는 아홉 합성 상태로 검사했습니다. 이 합성 상태를 실제 부분 native 실행으로 집계하지 않습니다.

표시를 보고 다음 작업 정하기

지금 보이는 상태	다음에 확인할 곳
unobserved (128 declared)	summary.json의 상태와 runtime 오류. 실행 도구 경로 등을 고친 뒤 새 결과 폴더로 실행
0/128	runtime의 실제 입력·출력·기대값. 다음 조립에서 어느 조건을 바꿀지 판단
replay incomplete	첫 출력과 두 번째 실행의 오류. 현재 관측을 보존하고 완료 여부를 확인
128/128	선언한 128개 기대값을 두 실행에서 확인한 범위. 추가 입력이 필요하면 별도 기대값으로 기록

프로세스 종료 0은 관측이 완료됐음을 뜻할 수 있습니다. 자동화에서는 관측 상태와 충족 수·분모를 함께 읽습니다. 파일 실행의 --model을 생략하면 결정론적으로 조립하고, --verify-timing --out 결과폴더는 저장 기록만 확인합니다.

자동 지표의 기준

기존 summary.json의 passed는 충족 수, total은 선언한 기대값 수입니다. status, native_runs, runtime의 observation.cases 길이와 runtime_replayed를 함께 읽습니다. 자식 시작과 출력 관측도 따로 확인합니다. 미관측 요청을 모델의 0점 학습 자료에 합칠 때는 구분이 필요합니다. 실제 불일치와 기대값 변경도 원래 범위에 남깁니다. 생성 확률·관측 충족률·재실행 확인은 각각 다른 사실입니다.

네 원본 receipt의 읽기 전용 확인에서 공구 조회·FIFO 실패의 유한 정확도는 UNKNOWN, 변경 기대값의 실제 0/128은 PROGRESS였습니다. 이 PROGRESS는 완료된 관측에 미해결 충족 항목이 남아 있음을 나타내며 충족 수는 0입니다. 원래 profile v1/v3·상태·단위와 null인 aggregate 점수를 유지했습니다. 이 확인의 모델 판단·바디 실행은 0회입니다.

실제로 사용한 결과

정상 한영 두 과제의 8회 생성·판단 4회·실행 16회에서 1,024/1,024와 모든 이전 생성 Go를 유지했습니다. 후보의 모델 재사용 응답 28.00·26.44ms와 새 설치본의 29.64·24.50ms를 각각 보존합니다. 설치 결정론은 30.93·24.97ms였고 최초 모델 834.64·477.57ms, 결정론 324.13·299.73ms도 기록했습니다. 이번 기록에는 속도 비교용 대조 실험을 포함하지 않았습니다.

별도 다섯 조건에서 도구 없음·잘못된 기대값·FIFO는 원래 오류와 미관측 상태를 보존했습니다. 기대값을 1씩 올린 두 조건은 0/256 실제 관측으로 남깁니다. 이 다섯 조건의 생성 4회·판단 1회·실행 4회와 정상 결과는 따로 집계합니다. 두 의도의 반복이며 새 의도·학습 갱신은 0개입니다. 원래 JSON과 종료 코드도 유지합니다. 위키의 변수·조건 분기 예제도 설치본에서 별도로 생성 2회·실행 4회·6/6과 이전 생성 Go를 유지했습니다. 새 설치본 네 원본 receipt도 읽기 전용으로 다시 확인했습니다.

공개 원본·실패·Go 수집기 · 직접 실행 · 공구 실패.