semantisc verification initial files