# Phase 7 — Local Model Verification Run on 2026-07-30 with `ZyquoLocal --verify` on the build machine (M5 Max, 48 GB, macOS 27.0 beta). Per model: download through the app's own `DownloadManager`, directory validation, load, deterministic generation (temperature 0, "Reply with exactly: OK" → replied "OK"), multi-turn context carry-over ("vermilion" recall), streaming-cancellation test (stream stops in ≤0.4 s after cancel), unload with verified memory release (MLX active memory drops to KBs). ## End-to-end results — 6 models across architectures | Model | Download | Load | Generate | Multi-turn | Cancel | Unload | tok/s | TTFT | |---|---|---|---|---|---|---|---|---| | Qwen3-0.6B-4bit | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | 109.4 | 0.08s | | Llama-3.2-1B-Instruct-4bit | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | 222.8 | 0.74s | | SmolLM3-3B-4bit | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | 97.4 | 0.11s | | gemma-3-4b-it-qat-4bit | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | 58.3 | 1.08s | | Qwen2.5-Coder-7B-Instruct-4bit | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | 112.5 | 0.42s | | DeepSeek-R1-0528-Qwen3-8B-4bit | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | 61.3 | 0.08s | Architecture coverage: qwen3, llama, smollm3, gemma3, qwen2 (coder), R1 distill (reasoning, `` streaming). Memory release examples: 4.65 GB → 20 KB (R1-8B), 2.63 GB → 13 KB (gemma-3-4b). Per the protocol, test models except the smallest (Qwen3-0.6B-4bit, kept for ongoing dev) were deleted afterward to reclaim disk. ## Featured catalog dry-verification — 30/30 ✅ Every repo in `docs/MODELS.md` / `ModelCatalog` verified against the live Hub: repo exists, required files listed, total size within 10 % of the catalog value (all matched to the hundredth of a GB; no gated repos, no missing files, no corrections required — `MODELS.md` and `ModelCatalog` remain in sync). **VERDICT: ALL GREEN** (`--verify` exit 0)