# 같은 순간, 어느 쪽을 읽나

## Count는 ramp 시작의 저장값이다
Count는 ramp 비교를 시작할 때 comparator 입력 경로의 전압을 저장하는 시점이다. 이후 comparator crossing 시각과 다르다. 저장된 값과 계속 변하는 실제 pixel 상태도 구분한다. 저장 이후의 회로 응답은 이미 저장한 값에 반영하지 않는다(D377).

## 정확히 같은 시각이면 직후 값
D441은 gate 전환이나 잔류 전하 사건과 ramp 시작 count가 정확히 같은 시각일 때의 순서를 정한다. 먼저 사건 직전 상태 t⁻를 보존하고, 그 시각에 하강을 시작하는 스위치들의 ON 기준 전하를 이 공통 직전 상태로 계산한다. 다음으로 외부 구동 변화와 그 시각에 귀속된 잔류 기여를 하나의 일관된 network에서 처리한다. 마지막으로 관측점의 사건 직후 전압 V_input(t⁺)을 저장한다.

## 나열 순서가 답을 바꾸지 않는다
같은 사건의 소자들을 어떤 순서로 적든 결과가 같아야 한다. 한 소자씩 전압을 갱신하면 먼저 적은 소자가 뒤 소자의 기준 상태를 바꾸므로 순서 의존 결과가 생긴다. 그래서 모든 기준은 공통 t⁻에서 평가하고 기여는 함께 처리한다.

## 직후는 정착이 아니다
V(t⁺)는 사건을 반영한 바로 그 순간의 값이다. 충분히 정착한 상태가 아니며 유한 edge 전체를 순식간에 끝냈다는 뜻도 아니다. 유한 gate 하강 도중 sampling하면 그 시각까지의 응답을 저장하며, 미래의 하강 완료 상태를 가져오지 않는다. 연속 파형에서 실제 순간 점프가 없으면 좌우 값이 같을 수도 있다. 이 규칙은 이상적 순간 sampling의 좌/우 경계 선택이며 버퍼 aperture·droop·sampling noise 모델이 아니다.

## 가까운 것과 같은 것은 다르다
사건과 sample이 정확히 같은 시각이 아니면, 그 사이의 회로 응답을 계산해야 한다. 같은 계산 step 안에 들어왔다는 이유로 두 시각을 합치거나 지정된 sample·gate timing을 옮기지 않는다. 수치적 동시성 판정과 사건 위치의 정밀도는 후속 구현 명세다.

## 직후 값이 없을 때
사건 직후 상태를 유효하게 구하지 못하면 직전값, 정착값, 0으로 자동 대체하지 않는다. 그 count와 의존 결과는 D426에 따라 미평가로 남긴다.

## 이 실험의 값은 주어진 것이다
EX12는 사건과 count가 모두 10 ns이고, 유효한 직전 값 1.0 V와 직후 값 0.99 V가 **제공된** fixture다. 저장값은 0.99 V다. 0.99 V는 event solver가 계산한 값이 아니며, 이 교재도 그 값을 계산하지 않는다. 아래 실험은 주어진 두 값 중 무엇을 저장하는지, 시각이 다를 때와 직후 값이 없을 때 무엇을 하지 않는지를 보여주는 정책 실험이다.