AUDITFLOW: Executable Symbolic Environments for Structured Financial Reporting Verification Paper • 2606.03031 • Published Jun 2 • 6