Building HREVN: verifiable workflow infrastructure for AI agents, resumable execution, and audit-ready evidence.