Type safety policy docs