linxichen/dsh-rigorquant

English | 简体中文

面向 DeepSeek Harness 的 会话内无人值守、长时运行的实证/计算数学研究框架——覆盖经济学、金融、组合 构建与优化、模拟、计算经济/金融等领域。

RigorQuant 是一个 Agent preset + 内置技能，把一次 DSH 会话变成一个上下文隔离的 多智能体研究实验室：

• J-Space 作为推理时认知控制层，被整体集成到根 persona、每个子智能体角色 与 plan mode：工作台门控、账本、接缝刷新、稠密内轨/干净外轨。
• 并行探索者提出候选方法（subagent，空白上下文）。
• 真值轨道独立重推导简化情形下的解析闭式解、不变量与界——用两种不同手段 各推一遍（两次独立的 subagent_ground_truth 调用）。
• 对抗者只凭反例淘汰路线。
• 四重校验电池（闭式解相等、精确不变量、解析界、统计强化）在数值实现 之前运行。
• 元校验器（rq_check.py）会拒绝证据缺失的 PASS：阶段产物为空、 derivations/ 为空、registry 中没有带审计引用的 passed 路线、交付物无法 编译等。其证据检查只读审计记录，不读 study.json——研究不能为自己作证。
• 随机工作采用固定种子 + 大数定律约定。
• jacobian MCP 升级通道（opt-in；Lean 作为手动外部通道）在实现前解决证明 关键性断言。
• PASS → 自动实现并继续；BLOCKED → 同一缺口连续 3 轮 → 交付最强推导 + 精确 缺口；BUDGET → 5 轮 → 存档 + 报告。

运行范式改编自金山木医生攻克 Crouzeix 猜想的过程 （提示词、 Lean 审计） 与陶哲轩的 blueprint/等式理论项目，并落到数值工作。完整设计记录： docs/architecture.md。

"无人值守"的准确含义：框架在单个会话内无人值守运行；跨会话边界会解除 goal，需要一次人工回合（"continue"）重新武装；它不会跨重启自主续跑。

安装

两种安装形态：

Bundle（技能层 + 模型路由）——一条命令，让某个 profile 的所有会话都能使用 rigorquant 与 j-space 技能，并挂载 rq-model-router 插件；仓库声明了 dsh.bundle manifest，生态的 dsh plugin add 安装路径可直接使用：

dsh plugin --profile web add github:linxichen/dsh-rigorquant

Preset（完整框架）——RigorQuant 智能体预设（persona + 编排 + 工具）及内置技能：

git clone https://github.com/linxichen/dsh-rigorquant
cd dsh-rigorquant
./install.sh                    # 安装 preset + 技能 + 计算通道
# ./install.sh --skill-only     # 或只安装 rigorquant + j-space 技能
# ./install.sh --uninstall      # 移除 preset、技能与共享通道

启动一个新的 DSH 会话并选择 RigorQuant preset，然后说：

rigorquant：为 [问题] 推导并验证一个方法，先在简化情形上验证，再做数值实现。

计算通道（一次性）

install.sh 会把固定的 uv 计算通道安装到 $DSH_HOME/share/rigorquant/env （见 env/README.md）。jacobian 升级通道默认关闭且已 固定版本（jacobian@0.12.0）：先启用 mcp-jacobian 行，框架在一次性 配置前会请求批准（npx -y jacobian@0.12.0 upgrade，或通过技能内的 scripts/provision-lean.sh 安装 Lean 工具链）。详见 mcp/jacobian.md。

角色模型路由（rq-model-router）

内置插件为每个 RigorQuant 角色单独路由模型与推理强度，每个角色各有一个 回退模型。配置入口：设置 → 插件 → RigorQuant 模型路由；最后一次保存的 选择会持久化（写入设置用户层）。默认配置：

角色	主选	回退
真值预言机	deepseek-v4-pro @ high	deepseek-v4-flash @ high
对抗审计	deepseek-v4-pro @ high	deepseek-v4-flash @ high
根编排者、探索者、文献角色	继承（root 跟随聊天框选择器）	—

主选路由遇到终止性失败（无适配器 / HTTP 4xx）时，该角色降级到自己的回退 模型并强制重试一次；下一次成功或 10 分钟后恢复主选。未打标签的智能体（其他 preset、workflow 工作进程、fork 子进程）一律不干预。需要 DSH ≥ 0.1.0-rc.7 （插件自注册设置）。设计记录见 docs/architecture.md 决策 16。

仓库结构

package.json                dsh.bundle manifest（支持 dsh plugin add）
cordis.patch.yml            bundle patch：技能层 + rq-model-router 行
dsh/                        rq-model-router 插件（宿主半 + 插件设置卡片）
agent-presets/rigorquant/   preset 组合 + persona + 内置技能
  skills/rigorquant/        SKILL.md + references/ + scripts/ + schemas/
  .../scripts/rq_check.py   元校验器（唯一正式副本）
  .../schemas/              study.json 与 registry.json 的 JSON Schema；
                            校验器直接加载它们，因此二者不会漂移
  skills/j-space/           J-Space 认知套件（SKILL.md + modules/ + references/ + scripts/）
env/                        固定的 uv 计算通道（sympy/cvxpy/hypothesis/…）
mcp/jacobian.md             升级通道接线说明
docs/architecture.md        逐项确认过的设计决策记录 + 资料来源
tests/                      校验器测试套件（见下方"测试"）
studies/                    每个任务一个研究文件夹（Mode B；各 checkout 自己的
                            活跃研究，不随 bundle 发布）

测试

校验器自带测试套件，核心是一个伪造的 study：空的 derivations、空的阶段 产物、一行字的对抗者报告，以及正文写着"This paper says nothing."的论文。 它必须 FAIL。诚实性闸门若自身没有测试，就会为递给它的任何东西背书。

uv sync --frozen --project env
uv run --frozen --project env python -m pytest tests/ -q

tests/test_repo_consistency.py 负责另一半：唯一的校验器、唯一的 schema、 文档中可解析的命令、与文件系统一致的目录说明。

校验器通过意味着什么：声明的证据齐备、交付物可编译；它不意味着数学 是对的——那仍然由校验电池、独立真值轨道与对抗者负责。

研究（Study）

一个 study 是一个自包含的 rigorquant 任务，各处内部结构完全一致：持久化 成果位于 study 根目录（study.json、STUDY.md、registry.json、 journal.md、derivations/、audits/、artifacts/），应当提交；所有草稿 都在被 git 忽略的 interim/ 中。两种模式，由位置决定：

• 一仓库一研究 — study.json 在仓库根目录。
• 一仓库多研究 — studies/<slug>/study.json；清单即 studies/*/study.json。

启动时检测到已有 study 则静默续跑；新 study 只问一次（模式 + slug），之后不再 询问。详见 docs/architecture.md 第 12 条。

发布

本仓库是社区 DSH 插件发行物（bundle + preset + 技能形态）：package.json 声明 dsh.bundle manifest，已打上 dsh-plugin 标签，可被生态内基于 topic 的索引发现——约定参见 dsh-find-plugins 与 awesome-deepseek-harness。

MIT License。