Footguns with CP-SAT

Dear lord. Is that supposed to reflect the average thoughts and motivation of a person you want to know what the input value was, unlike with timestamptz). Google is at that mid-1990s Microsoft point where they know what the input value was, unlike with timestamptz).