docs(config): sweep retired .internal names — Gitea at git.schweitz.net, connectors by IP

Jeroen confirmed the .internal-to-.net proxy migration was intentional
(2026-07 weekend maintenance): git.schweitz.internal's vhost is gone,
git.schweitz.net is live with a LE cert and AdGuard LAN hairpin.
tea-cli.md + local-services.md repointed (tea's own config already
switched). tooling/db/config.json: the bare tower-of-joy hostname has
no DNS entry since the migration — Stable Audio/Trellis endpoints now
by IP. Workshop archives under docs/workshops/ keep their historical
.internal mentions (records, not operative config).

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

.claude/rules/local-services.md

@@ -2,4 +2,10 @@
 
 Endpoints are also preconfigured in `tooling/db/config.json`.
 
-- **Gitea:** `http://git.schweitz.internal` (login: `schweitz`)
+- **Gitea:** `https://git.schweitz.net` (login: `schweitz`; LAN-hairpinned via
+  AdGuard — resolves to tower-of-joy directly on the home network). The old
+  `git.schweitz.internal` vhost was retired 2026-07 in the `.internal`→`.net`
+  proxy migration.
+- **tower-of-joy services** (Stable Audio :11500, Trellis :11510): addressed by
+  IP `192.168.86.149` in `config.json` — the bare `tower-of-joy` hostname has
+  no DNS entry since the migration.

.claude/rules/tea-cli.md

@@ -33,7 +33,7 @@ tea issue list --login schweitz --repo jpmschweitzer/settled-reach --state open
 
 ## Pull requests
 
-**Use `tea` (Gitea CLI), not `gh` (GitHub CLI).** The remote is Gitea at `git.schweitz.internal`.
+**Use `tea` (Gitea CLI), not `gh` (GitHub CLI).** The remote is Gitea at `https://git.schweitz.net` (the `.internal` vhost was retired in the 2026-07 proxy migration; AdGuard hairpins the `.net` name to the LAN).
 
 `tea pr create` is the one command that must **omit `--repo`**: an explicit
 `--repo <slug>` makes tea skip local-repo setup, but `pr create` unconditionally

tooling/db/config.json

@@ -1,4 +1,4 @@
 {
-  "stable_audio_url": "http://tower-of-joy:11500",
+  "stable_audio_url": "http://192.168.86.149:11500",
-  "trellis_url": "http://tower-of-joy:11510"
+  "trellis_url": "http://192.168.86.149:11510"
 }