From bd30678ea0e721b39bc71a0f8a19057566730f31 Mon Sep 17 00:00:00 2001
From: Levi Neely <lneely@pascom.net>
Date: Wed, 29 Jul 2026 22:28:55 +0200
Subject: [PATCH] mgr: KillSession uses context cancellation, not direct
 Interrupt

Session death propagates via context (SIGKILL semantics).
User interrupt (Ctrl-C) is a separate signal via agent.Interrupt().
---
 mgr/persist.go | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mgr/persist.go b/mgr/persist.go
index 58b0ee4..1209ff3 100644
--- a/mgr/persist.go
+++ b/mgr/persist.go
@@ -311,7 +311,7 @@ func (s *Manager) KillSession(id string) {
 	delete(s.sessions, id)
 	s.mu.Unlock()
 	if sess != nil {
-		sess.Cancel()
+		sess.Cancel() // signal: context cancellation propagates to all agents
 		sess.Core.Close()
 		s.removePersistedAgent(id)
 		s.cfg.Log.Info("killed session %s", id)