Merge fix/lab-session-tmux-persistente into main

Merge local directo (sin PR de Gitea) por acuerdo del usuario; ver
feedback_git_fix_branches en memoria del proyecto para el porque de
este flujo estandar.

lab-session.sh

@@ -0,0 +1,20 @@
+#!/usr/bin/env bash
+set -Eeuo pipefail
+
+# Reconecta a la sesion tmux persistente "lab" dentro del contenedor
+# tmux-host. Si la sesion no existe (p.ej. el contenedor se acaba de
+# recrear), la crea. El comando es siempre el mismo sin importar el
+# estado previo.
+#
+# Ver docs-portal: arquitectura/sesion-tmux-persistente.md
+
+CONTAINER="tmux-host"
+SESSION="lab"
+
+if ! docker ps --format '{{.Names}}' | grep -qx "$CONTAINER"; then
+  echo "El contenedor '$CONTAINER' no esta corriendo. Verifica con 'docker ps -a'." >&2
+  exit 1
+fi
+
+docker exec -it "$CONTAINER" tmux attach -t "$SESSION" || \
+  docker exec -it "$CONTAINER" tmux new -s "$SESSION"