diff --git a/dev/dev-agent.sh b/dev/dev-agent.sh
index 720c785..4687f8a 100755
--- a/dev/dev-agent.sh
+++ b/dev/dev-agent.sh
@@ -473,12 +473,13 @@ Closing as already implemented."
   _cl_config="${CLAUDE_CONFIG_DIR:-$HOME/.claude}"
   _session_log="${_cl_config}/projects/${_wt_hash}/${_AGENT_SESSION_ID}.jsonl"
   if [ -f "$_session_log" ]; then
-    cp "$_session_log" "${DISINTO_LOG_DIR}/dev/no-push-session-${ISSUE}-$(date +%s).jsonl" 2>/dev/null || true
-    log "no_push session log saved to ${DISINTO_LOG_DIR}/dev/no-push-session-${ISSUE}-*.jsonl"
+    cp "$_session_log" "${DISINTO_LOG_DIR}/dev/no-push-session-${ISSUE}-$(date +%s).jsonl" 2>/dev/null && \
+      log "no_push session log saved to ${DISINTO_LOG_DIR}/dev/no-push-session-${ISSUE}-*.jsonl"
   fi
 
   # Log session summary for debugging
   if [ -f "$_session_log" ]; then
+    _tool_calls=$(grep -c '"command"' "$_session_log" 2>/dev/null || echo "0")
     _read_calls=$(grep -c '"type":"read"' "$_session_log" 2>/dev/null || echo "0")
     _edit_calls=$(grep -c '"type":"edit"' "$_session_log" 2>/dev/null || echo "0")
     _bash_calls=$(grep -c '"type":"bash"' "$_session_log" 2>/dev/null || echo "0")