Execution Engine Analysis Analyzes the control flow substrate and concurrency model. Process 1. Identify async model — Native async, sync-with-wrappers, or hybrid 2. Classify topology — DAG, FSM, or linear chain 3. Catalog events — Callbacks, listeners, generators 4. Map observability — Pre/post hooks, interception points Concurrency Model Classification Native Async Indicators : , , , Sync with Wrappers Indicators : inside sync methods, , Hybrid Indicators : Paired methods ( / ), decorators Execution Topology DAG (Directed Acyclic Graph) Indicators : , , classes, , topological sort FSM (Fini…