1.5B 模型是分诊信号，不是判决

📋 概述

作者夜里跑的审计工具先做五条确定性检查，再把每条发现连同六行上下文交给本地模型，只问一个是非题：这里确实成立吗。模型是 Qwen2.5-Coder-1.5B-Instruct Q4_K_M，llama.cpp 在笔记本 CPU 上跑，不出机器、不要 API key。四个检查约 48 到 50 秒，平均每题十二秒，这个延迟直接决定了设计：不能放进逐文件循环，也不能藏在保存按钮后面，只能夜间跑或等咖啡时跑，然后读一份已经排好序的报告。他也不让模型「四处看看说说哪里不对」——十二秒换一段话不值，他要的是一个指针。早期让它总结文件的版本语言流畅却把哪个函数干了什么说错，读起来比不读还贵。