ci: promote dev → prod via fast-forward (not force-push from main) (#2)

* ci: promote dev to prod via fast-forward instead of force-pushing main

Repoints the daily promotion workflow to feed prod from the dev integration
trunk (prod <- dev) rather than force-pushing the upstream mirror (main).
Uses a fast-forward push so a release can never rewrite prod history.

* fix: sort imports in aegra_entry.py to unblock dev CI

The Sea Haven deployment commit left aegra_entry.py with an unsorted import
block (ruff I001), which fails the required 'Agent lint' check and blocks all
merges into dev. Apply the import-sort autofix.

.github/workflows/promote_dev_to_prod.yml

@@ -1,4 +1,4 @@
-name: Promote main to prod
+name: Promote dev to prod
 
 permissions:
   contents: write
@@ -9,7 +9,7 @@ on:
   workflow_dispatch:
 
 concurrency:
-  group: promote-main-to-prod
+  group: promote-dev-to-prod
   cancel-in-progress: false
 
 jobs:
@@ -18,8 +18,8 @@ jobs:
     steps:
       - uses: actions/checkout@v6
         with:
-          ref: main
+          ref: dev
           fetch-depth: 0
-      - name: Force-push main to prod
+      - name: Fast-forward prod to dev
         run: |
-          git push --force origin HEAD:refs/heads/prod
+          git push origin HEAD:refs/heads/prod

deploy/seahaven/aegra/aegra_entry.py

@@ -7,9 +7,9 @@ through the installed ``agent`` package (absolute imports) restores correct
 ``__package__`` resolution, so the relative imports inside the agent modules work.
 """
 
-from agent.server import traced_agent as agent_graph
-from agent.reviewer import traced_reviewer_agent as reviewer_graph
 from agent.analyzer import traced_analyzer as analyzer_graph
+from agent.reviewer import traced_reviewer_agent as reviewer_graph
+from agent.server import traced_agent as agent_graph
 
 # Open SWE's FastAPI webapp (GitHub/Slack webhooks + dashboard API), mounted by
 # Aegra via the "http" key in aegra.json. Absolute import for the same reason as