Migrate Tauri dev ports from 1420/1421 to 1422/1423 (port registry)

[poodle64]

Context

The master project now has a central port registry (docs/master/20-tooling/port-registry.md) to prevent port clashes across projects. Ports 1420/1421 are shared with bragi, causing conflicts if both are developed concurrently. Bragi retains 1420/1421 as the first allocated Tauri app.

Task

Migrate Tauri dev ports:

• Dev server: 1420 -> 1422
• HMR: 1421 -> 1423

Files to update

• src-tauri/tauri.conf.json - devUrl (localhost:1422)
• vite.config.ts - server.port (1422) and server.hmr.port (1423)
• .claude/CLAUDE.md - dev environment section

Verification

• Tauri dev server starts on port 1422
• HMR connects on port 1423
• CLAUDE.md reflects new ports

[poodle64]

Implementation complete: migrated Tauri dev ports from 1420/1421 to 1422/1423.

Changes:

• src-tauri/tauri.conf.json: devUrl updated to localhost:1422
• vite.config.ts: server.port → 1422, hmr.port → 1423
• .claude/CLAUDE.md: dev environment section updated with new ports
• docs/master/processes/port-registry.md: thoth status MIGRATE → OK, removed from migration tracker

Red team review: passed — no issues found.