dsh-rigorquant

主要功能

• 在根 persona、每个 subagent 角色与 plan 模式中统一使用 J-Space 认知控制层（工作区门禁、账本、缝隙刷新）。
• 并行的 explorer subagent 在独立（blank）上下文中各自提出候选研究方法。
• 两条独立的 ground-truth track 分别用不同方法重新推导简化情形下的解析闭式解、精确不变量与界。
• adversary 角色只通过反例来淘汰候选研究路线，不做其他判断。
• 在进行数值实现之前，先运行四重校验（闭式等价、精确不变量、解析界、统计化加固）。
• meta-validator（rq_check.py）会核对审计记录，一旦发现产出为空、derivations 目录为空、registry 无通过路线或交付物无法编译，就拒绝判定 PASS。

适合什么时候用

• 需要对经济学、金融或组合优化类问题做严谨的解析推导，并要求在写数值实现代码前完成形式化校验。
• 希望在单次 DSH 会话内运行长时间、无人值守但留有完整审计证据链的多智能体研究流程。
• 需要为不同研究角色（如 ground-truth、adversary）分别配置不同模型与推理强度。

安装后会多出什么

使用前需要

• 需要 DSH ≥ 0.1.0-rc.7（依赖插件自注册设置能力）。
• 需要安装并同步 pinned 的 uv 计算环境（sympy/cvxpy/hypothesis 等），由 install.sh 安装到 $DSH_HOME/share/rigorquant/env。
• 可选：jacobian MCP 升级通道，默认关闭，需要在设置中开启 mcp-jacobian 并批准一次性安装 jacobian@0.12.0。
• 可选：Lean 工具链，通过技能自带的 scripts/provision-lean.sh 手动安装，作为外部人工升级通道。
• 角色路由默认使用 deepseek-v4-pro 与 deepseek-v4-flash 模型，需要相应的 DeepSeek 模型访问权限。