AUDITFLOW: Executable Symbolic Environments for Structured Financial Reporting Verification | AIChainDay