dream synthesize (oneshot): 由于 require_writes 将合法的 Task-D 跳转置为无效,因此每个周期都会重新合成例行记录。