New claims get camp names from their seed, renameable from the Claims tab; add t30 (t3)

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

docs/agent-log.md

@@ -4,6 +4,14 @@ What agents have done, newest first. Add an entry for every piece of work: the d
 note or request it was for, what changed, the files touched, the tests run, and anything left
 open or not verified. Keep each entry short; the git history has the details.
 
+## 2026-10-24: t3 follow-up: claim names; t30 added (Claude Code, Codex)
+
+- New claims get a camp name from their seed ("Cinder Gulch"; `claimName` in `src/ui/claims.js`,
+  skipping names already in the world list) instead of "Claim N". The Claims tab shows "Claim N"
+  beside the name and has a Rename button on every row (reuses `renameWorld`).
+- Owner's request added to Todo as t30: progress meters while generating, loading and saving.
+- Tests: play.py claims checks extended; t_smooth half-resolution still fails under load.
+
 ## 2026-10-24: t3 fix: deep ore burned and melted after a reload (Claude Code)
 
 - Owner: a Huge world ran at about 10 fps after travelling between claims, even after a refresh.