Можно и без регекспов...

Sumo 06.04.2020 20:34 / 06.04.2020 22:01

$d[^date::create[2020-00-13]]
^if(^d.sql-string[date] ne "2020-00-13"){
  ^throw[invalid.date]
}