정오 정정이 두 반개구간을 만든다

이전 version의 끝과 신규 version의 시작을 같은 시각으로 두면 겹침도 빈틈도 없는 시간선이 됩니다.

00:00 ≤ t < 12:00version 1 · 변경 전 snapshot
12:00 ≤ t < openversion 2 · 정정 후 snapshot

핵심: 12:00은 [00:00, 12:00)에는 없고 [12:00, open)에만 포함되어 항상 한 snapshot을 선택합니다.