Speck 把认知搬进运行时：qwen3:4b 跑赢裸跑 8B，速度快一倍

开源项目 Speck 把记忆、规划、证据追踪等认知机制从 prompt 移入运行时确定性软件，模型可替换而任务状态不丢。在 8 案例 × 2 轮、1024 token 上限的对比中，Speck + qwen3:4b 得 15/16、单案 7.9 秒、显存 5.7GB，裸跑 qwen3:8b 仅 13/16、13 秒、6.7GB。代码已在 GitHub（doctarock/Speck）开源。