An input write races a cached derived query. Once both finish, a new demand must return the current input and establish a clean certificate.