v0.1.13
Four model families now verify under the exact profile on CPU and CUDA with bit-identical graphs and two independent reference implementations: SmolLM2, Llama 3.2, Qwen2.5 and Gemma 3 (QK-norms, post norms, GEGLU with a deterministic GELU, sliding-window RoPE bases). Reference re-execution keys sequence restarts on position 0 and handles chunked prompts. Spec draft 1.2 in docs/EXACT-PROFILE-SPEC.md.