bugtype 信号（Hit@3 +3.1pp）: crash 症状类型↔fix 描述关键词词法桥，bugtype_weight=0.12。
语义rerank证伪: bi/cross 编码器三测试一致有害（通用编码器跨不过症状↔修复鸿沟）。
诊断: 54%失败是召回漏，3词法杠杆null→词法天花板0.292。
方法学文档 docs/METHODOLOGY.md（10章: 指标/泄漏/BM25/倒排/RRF/管线/信号/语义鸿沟/编码器证伪/PatchFinder/诊断/答辩叙事）。
文档全更新至0.292。held-out: 0.177→0.229(路径)→0.260(bm25)→0.292(bugtype)。