Kpp validator + specs