chore: fix model names + bump version to 0.12.0

- seed README: claude-opus-4-8 → deepseek-v4-pro (example harness.toml)
- provider.env.sample: DEEPSEEK_MODEL deepseek-chat → deepseek-v4-pro
- ISO_VERSION: 0.11.0 → 0.12.0

build.cfg

@@ -13,7 +13,7 @@ FREEBSD_MEMSTICK_SHA256_URL="${FREEBSD_ISO_BASE_URL}/CHECKSUM.SHA256-FreeBSD-${F
 # clawdie-iso and colibri share this unified version (keep colibri's Cargo.toml
 # in sync). zot and clawdie-ai keep their own versions, recorded as provenance in
 # build-manifest.json. Bump this for each release.
-ISO_VERSION="${ISO_VERSION:-0.11.0}"
+ISO_VERSION="${ISO_VERSION:-0.12.0}"
 BUILD_CHANNEL="${BUILD_CHANNEL:-dev}"  # dev | release
 
 # Output image

live/operator-session/clawdie-live-seed.README.txt

@@ -67,7 +67,7 @@ Inside it, any of these are honored:
   /<agent>/harness.toml          Which agent harness to run + basic knobs:
 
                                      harness = "zot"   # zot | pi | local
-                                     model = "claude-opus-4-8"
+                                     model = "deepseek-v4-pro"
                                      cost_mode = "smart"
 
                                  `harness` must be one of zot, pi, local

scripts/stage-colibri-iso.sh

@@ -153,7 +153,7 @@ BW_SERVER="https://vault.smilepowered.org"
 #
 # Optional endpoints/models:
 # DEEPSEEK_ENDPOINT="https://api.deepseek.com/chat/completions"
-# DEEPSEEK_MODEL="deepseek-chat"
+# DEEPSEEK_MODEL="deepseek-v4-pro"
 #
 # Behavior toggles (non-secret):
 # COLIBRI_AUTOSPAWN_PI="YES"            # auto-spawn one Pi on daemon startup