Krak 1.0 to include PRT spec?