From fb354d8afe7f820680317fe37fb3f8bd5f7ccc93 Mon Sep 17 00:00:00 2001
From: gilesb <giles.bradshaw@sigyl.com>
Date: Wed, 7 Jan 2026 17:56:54 +0000
Subject: [PATCH] fix: match both username formats in runs filter
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Filter now matches both plain username and ActivityPub format
(@user@domain) to support runs created before and after the
actor ID change.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
---
 server.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/server.py b/server.py
index d49225c..ded1139 100644
--- a/server.py
+++ b/server.py
@@ -837,8 +837,10 @@ async def ui_runs(request: Request):
     runs = list_all_runs()
 
     # Filter runs by user if logged in
+    # Match both plain username and ActivityPub format (@user@domain)
     if current_user:
-        runs = [r for r in runs if r.username == current_user]
+        actor_id = f"@{current_user}@{L2_DOMAIN}"
+        runs = [r for r in runs if r.username in (current_user, actor_id)]
 
     if not runs:
         if current_user: