用途：为写作者生成唯一的解决方案包与不可变数值快照，避免编造缺失判断或冻结未经批准的声明。
前置条件：rigor_profile 为 submission；最终方法说明、结果分析、稳健性报告与图表计划已存在；方法、结果、稳定性与声明范围的人工决策已记录在 qx_decisions.jsonl；规范来源为最新。
工作流：收集最终方法结构、结果声明、局限、图表、表格与决策来源；起草 results/Qx/reports/qx_solution_package_for_writer.md；为每条拟用顶层声明标注数值与单位、规范来源路径与位置、稳健性支持、声明范围或理由的决策 ID、置信度与局限。若缺少包签核，发起一次最终选择卡（keep、downgrade、drop），将人工答复作为 package_signoff 路由给 modeler-decision-logger。仅在签核后生成 results/Qx/reports/frozen_numbers.json，并校验每个数值声明对应冻结项、每个判断声明对应人工决策 ID。
冻结数值契约：每条包含 claim_id、value、unit、source_file、source_locator、frozen_at、frozen_by_skill、decision_id。稳定文本文件可用 source line，结构化数据用 JSON 路径、表键或行列标识。
规则：不创建 solution-package-builder_modeler_decision.md；签核前不输出 frozen_numbers.json；不手工编辑已有冻结；转写人工理由而非改写为更强声明；包可引用精简方法卡历史但不依赖单独迭代日志；未经最终验证不得复制原始探索输出。
变更与重新冻结：规范来源变化后，将原因追加到 freeze_change_log.md，更新并重跑规范来源，证据实质变化时重新获取人工判断，重新生成冻结，并对 Qx 运行范围一致性检查。
验证：所有前置为最终且最新；JSONL 台账中存在包签核；每个冻结值有真实规范来源与稳定定位符；每个包数值与冻结一致；每个建模判断可追溯到人工决策；写作者无需翻找分散结果即可使用该包。