This panel cannot poll GitHub Actions directly — the repository is private,
so an unauthenticated browser request to the GitHub API is refused, and a
server-side proxy would require a new
GITHUB_TOKEN secret
(a backend change, out of scope for this passive view).
Live batch progress (current round/offset, per-round file counts, chorus
decisions, defects found) is tracked by hand in
docs/TRANSLATION_BATCH_JOURNAL.md
— updated after every batch phase, sourced directly from corpus commits and
Actions run logs (never fabricated).