AuditFlow: Executable Symbolic Environments for Structured Financial Reporting Verification

Multi-agent framework separating adaptive search from deterministic verification to audit financial filings via typed tools.