Agenda 方向硬约束：生成 prompt 注入方向原话 + 出域结果确定性拦截

[Protocol-zero-0]

问题

#41 的范围过滤只圈了信号消费侧（taxonomy 节点匹配不上还会回退全库扫描），Tier1（paradigm_agent）和 Tier2（paper_idea_agent）的生成 prompt 完全不知道 agenda 的存在。生产实测：agenda 为「特征对应图上的粗差检测（outlier rejection / correspondence pruning / SfM）」时，产出的 5 条 Tier2 idea 全是 RAG、代码生成、图表达力等无关主题。

改法

两层，生成前约束 + 生成后把关：

1. Prompt 注入（约束生成）

带 agenda 时，把 agenda 的 description（用户方向原话）+ focus / prefer.keywords 作为硬约束段（# RESEARCH DIRECTION CONSTRAINT）追加到所有生成 prompt 末尾，明确要求只产出落在方向内的内容、忽略无关信号、宁可少产不跑题。注入点：

• agents/paradigm_agent.py _build_structure_prompt（结构检测）、_build_formalization_prompt（形式化）
• agents/paper_idea_agent.py _build_problem_prompt（问题提炼）、_build_method_prompt（方法设计）、_build_experiment_prompt（实验设计）

Tier1 的第三步对抗评审是裁判不是生成方，不注入。不带 agenda 时所有 prompt 逐字节与现状一致（向后兼容）。

2. 生成后确定性闸（规则，不走 LLM）

新增 agents/agenda_relevance.py：对生成 insight 的文本字段（title / problem_statement / proposed_method，Tier1 另含 formal_structure / transformation）拼接小写后，与 agenda 范围词做子串匹配。范围词 = focus + prefer.keywords 原话短语 + 短语拆词 + description 里的英文词（剔除 model/method/learning 这类万能词）。

• 默认命中任一范围词即保留（AGENDA_SCOPE_MIN_TERM_HITS，env DEEPGRAPH_AGENDA_SCOPE_MIN_TERM_HITS，默认 1，设 0 关闭），宁可漏拦不错杀
• 处置选不入库而非入库标 out_of_scope：不动 deep_insights 的 status 枚举和下游各处状态过滤，实现最干净；被拦的逐条打日志
• agenda 范围词全是中文时闸自动停用（insight 文本是英文，硬匹配会全军覆没，全放行比全拦掉安全）
• discover_paradigm_insights / discover_paper_ideas 返回值改为 {"insights": [...], "dropped_out_of_scope": n}，调度器解包后把计数写进 tier1_done / tier2_done 事件和控制台输出，不静默

测试

新增 tests/test_agenda_prompt_scoping.py（15 个用例）：

• 五个 prompt 构造点：无 agenda 时输出与旧行为完全一致且不含约束段；有 agenda 时含方向原话 + 关键词
• 闸：在题样例保留、跑题样例（RAG/代码生成）拦截、无 agenda 全放行、阈值可配、纯中文范围词停用
• 两条端到端（mock LLM）：一在题一跑题的产出 → dropped_out_of_scope == 1、入库 1 条、首个生成 prompt 带约束段

全套 pytest：15 failed / 521 passed，失败清单与 master（e98acec，15 failed / 506 passed）逐条相同，无新增失败。