Verifiable execution for durable AI agents: policy-bound workflow compiler, hash-chained…