# 계산보다 먼저 남길 기록

## 추출되었다는 사실과 검증은 다르다
Pre-layout 추정값과 Post-layout PEX 값은 출처와 조건이 다르다. 같은 설계의 후속 평가라도 원본·revision·단위·scope·연결·bias·온도·적용 범위를 기록해야 한다. 추출 자료가 있다는 이유만으로 정확도 검증 완료라고 표시하지 않는다.

## 누락을 조용히 메우지 않는다
미입력, 명시적 0, 미확인, 계산 불가를 구분한다. 필요한 값이 없으면 의존하는 결과만 미평가로 두고 독립적으로 유효한 값은 보존한다. 이 실험은 R과 C로 계산하는 RC 예제의 입력 상태를 바꿔 이 원칙을 관찰한다. C=0은 누락이 아니라, 양의 τ를 요구하는 이 RC 예제의 적용 범위 밖이다.

## 독립 sweep의 재현성
독립 sweep의 각 점은 동일한 초기화 정책을 적용한다. 이전 점의 물리 상태를 자동 승계하지 않는다. 같은 정책은 모든 점이 같은 수치 상태라는 뜻이 아니다. 기준 reference, 초안, 적용 값, run 당시 snapshot을 분리해 보존한다.

## 검증을 세 층으로 남기기
첫째, 독립 식과 손계산은 해석 RC나 전하 응답의 기준을 준다. 둘째, 전체 network와 축약 모델은 같은 가정 아래 비교한다. 셋째, 실제 정확도는 같은 회로·bias·온도·geometry·파형·관측 조건의 SPICE 또는 측정 대조로 검증한다. 이 교재의 합성 예제 통과는 세 번째 층의 완료가 아니다.

## SSoT로 되돌리는 방법
설명 중 충돌이나 빠진 정의를 발견하면 원문 ID·재현 예제·영향받는 장·제안/오류 여부를 기록한다. 원문 검토 후 새 결정 또는 정정 이력이 승인되면 교재의 source hash와 대응 장을 갱신하고 관련 계산 검산을 다시 실행한다. 교재에서 임의로 설계 결정을 바꾸지 않는다.

## 판본을 덮어쓰지 않는다
교재가 읽은 원문은 판본별 source lock으로 남긴다. 초판의 lock은 당시 snapshot으로 보존하고, 새 판본은 실제로 대조한 원문의 hash를 별도 lock에 기록한다. 원문이 바뀌었다는 hash 차이는 이전 판본의 실패가 아니라 판본 차이다. 새 결정 ID를 목록에 추가했다는 사실만으로 본문·실험 반영 완료를 선언하지 않는다.