t1412.2: Scoped short-lived GitHub tokens

[github-actions]

Task ID: t1412.2 | Status: open | Estimate: ~3h
Tags: auto-dispatch

Description

Scoped short-lived GitHub tokens — fine-grained PAT per worker, repo-scoped, 1h TTL

Blocked by: t1412.1

---

Synced from TODO.md by issue-sync-helper.sh

[marcusquinn]

Worker (PID 46174) killed after 7h44m with struggle_ratio 24727 (24727 msgs/0 commits) — extreme thrashing, 0 commits. PR #3094 exists but was likely created by a previous session. Checking PR state.

[github-actions]

Completed via PR #3094. Task t1412.2 merged to main.

[marcusquinn]

Resolved by #3094 (merged). t1412.2: Scoped short-lived GitHub tokens for worker agents — implementation merged to main.