用途：为数学建模流程提取并维护全局及方法级假设，来源包括问题解析、活跃方法卡、数据画像与风险探查摘要、问题依赖图、已有假设与人工决策。迁移期才读取旧候选池。
主要能力：提取问题显式假设与方法诱导假设；删除不影响模型有效性或解释的填充性陈述；为每条假设记录范围与来源、建模需求、适用方法/Qx、验证证据、缓解或回退链接；识别跨 Qx 冲突；尽量用一张紧凑选择卡呈现未决的必要性/影响权衡；将人工 assumption_necessity 决策记入 qx_decisions.jsonl；保存 planning/model_assumptions.md，转录已定人工标签与影响及决策 ID。
假设字段：ID、陈述、范围、来源与建模需求、人工确认类型（必要或简化）、验证方法/证据、违反影响、缓解/回退、决策 ID。
规则：不得编造“数据准确”等通用假设，除非影响真实依赖；不得替人工最终判定必要/简化或影响；最终文件不得留大量重复占位符，缺失判断应通过选择卡收集并暂停定稿；仅当方法、证据或下游用途实质变化时才重访假设。
验证：每条假设都有建模需求与来源；人工标签可追溯到决策；探查/稳健性证据覆盖承重假设；跨 Qx 冲突已解决或显式说明。
限制：资料未提供具体安装命令、平台支持、收费与价格信息。