Releases: ubggyhjb/dsh-mathmodel-v7
Releases · ubggyhjb/dsh-mathmodel-v7
Release list
v7.0.0 国赛单赛道专项 + V7 权威化证据链
v7.0.0 — CUMCM 国赛单赛道专项 + V7 权威化证据链
专为全国大学生数学建模竞赛(CUMCM/国赛)设计的 AI Agent(DeepSeek Harness preset):一条指令,从国赛赛题到一篇可直接提交的中文论文。
本次发布要点
- 单赛道收缩(WP-01 P0-06):仅支持中文论文 + LaTeX/Typst 双引擎;MCM/ICM、APMCM、华为杯等非国赛竞赛与 Word/英文请求在创建任何项目文件前明确拒绝。
- 资产接管六态 authority(asset_registry v3):primary_official / verified_legacy / unverified / conflicting / stale / invalidated——已有结果不是真值,冲突双方保留,stale/invalidated 禁作 claim 输入。
- Discovery + Competitive Search:DATA_PROFILE / DATA_CONTRACT / PROBLEM_STRUCTURE / EDA_FINDINGS / MODEL_OPPORTUNITIES 五份 schema 化契约;route scout / bound scout / adversarial reviewer 独立侦察,同一 canonical evaluator 公平实验,最优性声明 L0–L4 机器校准。
- v6 编辑/视觉证据链成为强制阶段:editorial_plan(逐问 Narrative Arc + 视觉触发器判定)与 figure_editorial(按冻结 FigureSpec 从 results authority 重绘全部正式图 + 逐图视觉断言,禁止手输数值)。
- 动态评审路由与整题 route bundle:REVIEW_ROUTER_DECISION / WHOLE_PROBLEM_ROUTE_BUNDLE。
- 验收增强:OPTIMALITY_EVIDENCE 与全文可读性基准 FULL_PAPER_READABILITY_BENCHMARK 纳入 verification 产物契约。
- 模型策略库(P2-04):MODELING_STRATEGY_LIBRARY / PROBLEM_PROFILE / STRATEGY_MATCHING 只生成候选策略集——选型决策仍必须落决策账本。
- 确定性 preset 构建:payload = git tree/blob(工作区字节不参与),
preset.build.json剔除 dev 台账与构建侧工具;构建/漂移检查见tools/。
验收与 provenance
V7-P0~P3 各阶段开发报告与门禁证据链(含 SHA-256 manifest)见 reports/dev/v7/。工作流与门禁清单的唯一事实源为 workflow_spec.yaml(stage/gate registry 派生,README 不维护数字)。
安装
git clone https://github.com/ubggyhjb/dsh-mathmodel-v7 ~/.dsh/agent-presets/mathmodel详见 README:功能亮点、目录结构、独立验收引擎用法与项目目录约定。
已知问题(如实披露,非本次发布引入)
全量回归 run_tests.py:629/632 通过。VE06-A / VE07-B / VE07-C(编辑-视觉证据链)3 项失败对应台账中 V7-P3-01 中断状态(STOPPED_AT_DEADLINE)与已登记工具链矛盾 TD-FIGED-001/002(reports/dev/v7/P3-01/P3-01-B2-FIGURE-EDITORIAL-GATE-SCOPE/);V7-P2-02 修复实现标记 NEEDS_REPAIR。按验证器只读纪律保留为事实,修复方向见 blocker 报告。