Preserve deleted server history

Retain historical server identities, results, and evidence after deletion. Mark archived entries as Deleted and prevent old work from targeting servers that reuse the same name.

Fixes #16.

src/routes/api/campaigns/+server.ts

@@ -40,12 +40,13 @@ export async function GET({ url }: { url: URL }) {
     const placeholders = ids.map(() => '?').join(',');
     const serversByDep = db()
         .prepare(
-            `SELECT deployment_id, server, files_changed, restart_state, players, checked_at, restarted_at, attempts, error
+            `SELECT deployment_id, server, server_deleted_at, files_changed, restart_state, players, checked_at, restarted_at, attempts, error
              FROM deployment_servers WHERE deployment_id IN (${placeholders})`
         )
         .all(...ids) as Array<{
         deployment_id: string;
         server: string;
+        server_deleted_at: string | null;
         files_changed: number;
         restart_state: string;
         players: number | null;
@@ -92,7 +93,7 @@ export async function GET({ url }: { url: URL }) {
             servers: grouped.get(d.id) ?? [],
             scripts: scriptsByDep.get(d.id) ?? []
         }))
-        .filter((d) => (activeOnly ? d.servers.some((s) => s.restart_state === 'pending' || s.restart_state === 'failed') : true));
+        .filter((d) => (activeOnly ? d.servers.some((s) => !s.server_deleted_at && (s.restart_state === 'pending' || s.restart_state === 'failed')) : true));
 
     return json({ deployments: rows });
 }