实质性程序包括细节测试和实质性分析程序，其主要目的是发现认定层次的重大错报。

根据教材原文，实质性程序确实包含细节测试和实质性分析程序，且其核心目标是识别认定层次的重大错报。