实质性程序是 用于发现认定层次重大错报的审计程序。它包括对各类交易、账户余额和披露的细节测试以及实质性分析程序。这些程序旨在验证财务报表中各类交易和账户余额的真实性和准确性，通过详细的测试和分析，发现潜在的错误和舞弊，并为审计师提供充分的证据以支持其对财务报表发表的意见。
实质性程序的性质包括细节测试和实质性分析程序。细节测试是对各类交易、账户余额、列报的具体细节进行测试，目的在于直接识别财务报表认定是否存在错报。实质性分析程序则适用于在一段时期内存在可预期关系的大量交易的情况，通过分析这些交易之间的关系来发现可能存在的错报。
无论评估的重大错报风险结果如何，注册会计师都应当针对所有重大交易类别、账户余额和披露实施实质性程序，因为内部控制的固有局限性使得仅依赖内部控制无法完全发现所有重大错报。
在实施实质性程序时，注册会计师还需要考虑与财务报表编制完成阶段相关的审计程序，例如将财务报表与其所依据的会计记录进行核对或调节，以及检查财务报表编制过程中作出的重大会计分录和其他调整。
综上所述，实质性程序是审计过程中的核心内容，通过详细的测试和分析，旨在确保财务报表的真实性和准确性，从而为审计师提供支持其意见的充分证据。