manual: move specifications into its own project