A herdr workspace had two identities: the checkout path of the worktree it
holds, and its display label. It now has one — the checkout path.

- HerdrLookup.byLabel, resolve's label fallback and has's label disjunct are
  deleted. This is reachable code removed deliberately, not a dead-code sweep:
  has is a disjunction rather than a fallthrough, and resolve's fallback ran
  whenever candidatePath returned None.
- currentName is removed from the TerminalWorkspaceOps port and its four
  implementations. It declared one signature with two meanings — tmux returned
  an addressing name every port method accepts, herdr returned a display label
  none accepts. Open.scala asks isCurrent instead.
- LiveHerdrOps.candidatePath derives a path instead of looking one up, so
  iw start can ask whether a workspace already holds a directory it is about
  to create.
- has loses its now-unused label parameter, so the deleted disjunct cannot
  return without a signature change. Taken against the phase context's
  deferral, on Michal's decision after two reviewers raised it.

Code review: 6 skills, 0 critical, 5 warnings — all fixed. Three were comments
the diff left actively false; one was a real coverage gap for has, now pinned
by a test proved RED.

The manual herdr checklist is deferred to the final PR by Michal's decision,
so this phase ships manually unverified. No automated tier reaches the herdr
path, and OpenHarnessTest stays green by construction rather than as evidence.

Issue: IW-476

🤖 Generated with Claude Code

workflow(IW-476): record lesson 11 (phase-commit --items comma splitting) 464d7ae4a7

chore(IW-476): register phase 1 code review artifact

CI / contract (pull_request) Has been skipped

Details

CI / compile (pull_request) Successful in 1m40s

Details

CI / format (pull_request) Successful in 9s

Details

CI / lint (pull_request) Successful in 9s

Details

CI / dashboard-build (pull_request) Successful in 1m28s

Details