Fix agent naming: Theseus (not Logos) throughout

Cory confirmed the AI alignment agent is Theseus. Reverted all
Logos references in skill file, evaluate-trigger, and Alex brief.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

.claude/skills/contribute/SKILL.md

@@ -33,7 +33,7 @@ Identify which domain the contribution targets:
 |--------|-----------|-------|
 | `internet-finance` | `domains/internet-finance/` | Rio |
 | `entertainment` | `domains/entertainment/` | Clay |
-| `ai-alignment` | `domains/ai-alignment/` | Theseus/Logos |
+| `ai-alignment` | `domains/ai-alignment/` | Theseus |
 | `health` | `domains/health/` | Vida |
 | `grand-strategy` | `core/grand-strategy/` | Leo |
 
@@ -54,7 +54,7 @@ git pull origin main
 git checkout -b {domain-agent}/contrib-{user}-{brief-slug}
 ```
 
-Use the domain agent's name as the branch prefix (e.g., `logos/contrib-alex-alignment-report`). This signals whose territory the claims enter.
+Use the domain agent's name as the branch prefix (e.g., `theseus/contrib-alex-alignment-report`). This signals whose territory the claims enter.
 
 ## Step 4: Archive the Source
 

docs/ALEX_BRIEF.md

@@ -30,9 +30,7 @@ This is where you come in. The system is ready for multiple human contributors.
 
 ## Your Role: Proposer for AI Alignment
 
-You'll work in Logos's domain (`domains/ai-alignment/`). Logos (formerly Theseus) is the AI alignment agent — his mission is ensuring superintelligence amplifies humanity rather than replacing it. His core thesis: alignment is a coordination problem, not a technical problem.
-
-> Note: You may see references to "Theseus" in older files — that's the same agent, renamed to Logos. Both `agents/theseus/` and `agents/logos/` exist during the transition.
+You'll work in Theseus's domain (`domains/ai-alignment/`). Theseus is the AI alignment agent — his mission is ensuring superintelligence amplifies humanity rather than replacing it. His core thesis: alignment is a coordination problem, not a technical problem.
 
 You have two modes of contribution:
 
@@ -74,7 +72,7 @@ Push, open PR. Theseus extracts claims, Leo reviews.
 
 You read sources yourself, extract claims, and write claim files. This is what the agents do — you'd be doing it as a human proposer operating in Theseus's territory.
 
-Branch naming: `logos/your-brief-description`
+Branch naming: `theseus/your-brief-description`
 
 **Important: human contributor attribution.** Add a `Contributor:` trailer to your commit messages so your claims don't look agent-authored:
 
@@ -136,15 +134,15 @@ Topics:
 
 Push, open PR. Leo reviews. You'll see his feedback as PR comments — he's thorough and specific. Address his feedback on the same branch and push updates.
 
-## What Logos Already Knows
+## What Theseus Already Knows
 
 Before writing claims, scan existing knowledge to avoid duplicates and find connections:
 
 - `domains/ai-alignment/` — existing claims in the domain
 - `foundations/` — domain-independent theory (complexity, emergence, collective intelligence)
 - `core/` — shared worldview and axioms
-- `agents/logos/identity.md` — Logos's full worldview and current objectives
-- `agents/logos/beliefs.md` — his active belief set
+- `agents/theseus/identity.md` — Theseus's full worldview and current objectives
+- `agents/theseus/beliefs.md` — his active belief set
 
 Key existing claims to be aware of:
 - Arrow's impossibility theorem applies to preference aggregation → monolithic alignment is structurally insufficient
@@ -179,12 +177,12 @@ cat CLAUDE.md
 # See what claims already exist in ai-alignment
 ls domains/ai-alignment/
 
-# See Logos's identity and beliefs
-cat agents/logos/identity.md
-cat agents/logos/beliefs.md
+# See Theseus's identity and beliefs
+cat agents/theseus/identity.md
+cat agents/theseus/beliefs.md
 
 # Create your branch and start contributing
-git checkout -b logos/alex-alignment-report
+git checkout -b theseus/alex-alignment-report
 ```
 
 ## The Experience We're Building Toward

ops/evaluate-trigger.sh

@@ -51,7 +51,7 @@ detect_domain_agent() {
   case "$branch" in
     rio/*|*/internet-finance*) agent="rio"; domain="internet-finance" ;;
     clay/*|*/entertainment*)   agent="clay"; domain="entertainment" ;;
-    theseus/*|logos/*|*/ai-alignment*) agent="logos"; domain="ai-alignment" ;;
+    theseus/*|logos/*|*/ai-alignment*) agent="theseus"; domain="ai-alignment" ;;
     vida/*|*/health*)          agent="vida"; domain="health" ;;
     leo/*|*/grand-strategy*)   agent="leo"; domain="grand-strategy" ;;
     *)
@@ -61,7 +61,7 @@ detect_domain_agent() {
       elif echo "$files" | grep -q "domains/entertainment/"; then
         agent="clay"; domain="entertainment"
       elif echo "$files" | grep -q "domains/ai-alignment/"; then
-        agent="logos"; domain="ai-alignment"
+        agent="theseus"; domain="ai-alignment"
       elif echo "$files" | grep -q "domains/health/"; then
         agent="vida"; domain="health"
       else