Update agent lifecycle event handling in topology

Author: Peter-SL5

public/index.html

@@ -649,13 +649,15 @@
 
     switch (eventType) {
       case 'agent.created':
-        return 'Agent ' + (attrs['agent.id'] || '') + ' provisioned';
+        return (attrs['user.id'] || '') + ' → ' + (attrs['agent.id'] || '');
       case 'agent.terminated':
         return 'Agent ' + (attrs['agent.id'] || '') + ' terminated';
       case 'request.allowed':
         return (attrs['http.host'] || '') + ' -- allowed';
       case 'request.denied':
         return (attrs['http.host'] || '') + ' -- denied' + (attrs['denial.reason'] ? ': ' + attrs['denial.reason'] : '');
+      case 'agent.prompted':
+        return (attrs['user.id'] || 'user') + ' → ' + (attrs['agent.id'] || 'agent');
       default:
         if (attrs['agent.id']) return eventType + ' for ' + attrs['agent.id'];
         return eventType;
@@ -711,12 +713,11 @@
       if (userId) Topology.removeUserNode(userId);
     }
 
-    // User actions — light up the user→platform edge.
-    if (eventType === 'agent.requested' || eventType === 'prompt.sent' || eventType === 'permission.change_requested' || eventType === 'termination.requested') {
+    // agent.prompted: user→platform then platform→agent sequentially
+    if (eventType === 'agent.prompted') {
       const userId = attrs['user.id'] || '';
-      if (userId) {
-        Topology.highlightEdge(userId, Topology.EDGE_HIGHLIGHT_MS);
-      }
+      if (userId) Topology.highlightEdge(userId, Topology.EDGE_HIGHLIGHT_MS);
+      if (agentId) setTimeout(() => Topology.highlightEdge('platform-' + agentId, Topology.EDGE_HIGHLIGHT_MS), 400);
     }
 
     // Agent lifecycle. Light up the platform→agent edge: the platform is
@@ -731,11 +732,6 @@
       Topology.removeAgentRuntimeNode(agentId);
     }
 
-    // Prompt delivered: platform exec'd into the agent via the supervisor.
-    if (eventType === 'agent.prompted') {
-      if (agentId) Topology.highlightEdge('platform-' + agentId, Topology.EDGE_HIGHLIGHT_MS);
-    }
-
     // Gateway decisions
     if (eventType === 'auth.allowed' || eventType === 'request.allowed' || eventType === 'request.denied' || eventType === 'permission.checked') {
       const decision = {