Really interesting architecture. I like the separation between the declarative reasoning layer for constraints and the procedural world model for execution and recovery. The dynamic DAG repair approach seems especially useful for handling failures in long-horizon enterprise workflows.