司法赔偿程序，是一种诉讼程序。