dsh-vibe-math 2.7.2 → 2.7.3

package/package.json

@@ -1,208 +1,255 @@
-{
-  "name": "dsh-vibe-math",
-  "description": "Multi-agent mathematical problem-solving & verification frameworks for DeepSeek Harness — FOUR agent presets in one install: vibe-math-v2 (probability-driven, classic: qs.json + Propos knowledge base + explorer→solver→review/debate verdict), vibe-math-v3 (THIRD-generation, classic: paper-style Markdown knowledge base with Problems/Progress/Propos/Methods/Verified + planner-agent scheduling that decides the next N actions + universal theory/method invention library + agents write their own Markdown directly via a per-file write lock), and vibe-math-v4 (FOURTH-generation: persistent self-organizing resident subagents that message & meet to decide all tasks, verify only by unanimous consensus, /compact at a context threshold, and stop only when all agree the problem is solved), and vibe-math-v5 (FIFTH-generation research institute: an academician as the organizational centre who decomposes and ASSIGNS work and chairs meetings; permanent researchers who hold the vote and may hire/fire their own temp workers; temp workers with no vote; a group chat and meetings; a durable per-recipient mailbox; a compare-and-set task DAG; and a boolean m-vote consensus rule where an object enters Verified/ only when at least m voting members agree AND every one of them returns exactly 1 or exactly 0). Installing this bundle auto-installs all four presets (v1 was removed at v2.0.0). Each preset also writes a FINAL PAPER by default when its run concludes — and does so BEFORE the run is marked complete: on v4/v5 the team co-authors its parts, merges them, cross-reviews, and the editor named by paperEditor finalises; the output is Paper/<run or institute id>/{paper.md,paper.tex,paper.pdf when a LaTeX engine is detected,paper.meta.json,paper.log.md} (params finalPaper/paperFormat/paperLanguage/paperCompilePdf/paperLatexCommand, plus paperEditor on v4/v5; see docs/final-paper.md).",
-  "version": "2.7.2",
-  "type": "module",
-  "engines": {
-    "node": "^22.19.0 || >=24.0.0",
-    "dsh": ">=0.1.2-alpha.4 <0.1.3-0 || >=0.1.3-alpha.2 <0.1.5-0 || >=0.1.5-alpha.1 <0.1.6-0 || >=0.1.6-alpha.1 <0.1.7-0 || >=0.1.7-alpha.1 <0.2.0-0 || >=0.2.0-alpha.1 <0.3.0-0"
-  },
-  "main": "installer.js",
-  "exports": {
-    ".": "./installer.js",
-    "./installer": "./installer.js",
-    "./cordis.patch.yml": "./cordis.patch.yml",
-    "./vibe-math-v2/vibe-math-v2.js": "./vibe-math-v2/vibe-math-v2.js",
-    "./vibe-math-v3/vibe-math-v3.js": "./vibe-math-v3/vibe-math-v3.js",
-    "./vibe-math-v4/vibe-math-v4.js": "./vibe-math-v4/vibe-math-v4.js",
-    "./vibe-math-v5/vibe-math-v5.js": "./vibe-math-v5/vibe-math-v5.js",
-    "./preset-declaration": "./preset-declaration.js"
-  },
-  "files": [
-    "SECURITY.md",
-    "README.md",
-    "README.en.md",
-    "docs/COMPAT-AUDIT-ROUND2.md",
-    "docs/AUDIT-CHECKLIST.md",
-    "tests/audit-formal-sensitivity.mjs",
-    "tests/audit-persona-sensitivity.mjs",
-    "tests/audit-persona-surface.test.mjs",
-    "tests/audit-prompt-invariants.mjs",
-    "tests/audit-spec-traceability.mjs",
-    "tests/audit-v5-integrity.mjs",
-    "tests/audit-v5-sensitivity.mjs",
-    "cordis.patch.yml",
-    "docs/架构图.md",
-    "docs/formal-verification.md",
-    "docs/final-paper.md",
-    "docs/math-computation.md",
-    "tests/audit-math-computation-parity.mjs",
-    "tests/audit-math-computation-contract.mjs",
-    "tests/audit-math-computation-sensitivity.mjs",
-    "tests/math-computation-shared.test.mjs",
-    "tests/helpers/math-computation-fake-seam.mjs",
-    "docs/generate_framework_diagram_v2.py",
-    "docs/generate_framework_diagram_v3.py",
-    "docs/generate_framework_diagram_v4.mjs",
-    "docs/generate_framework_diagram_v5.mjs",
-    "docs/generate_framework_diagram_v3_en.mjs",
-    "docs/generate_framework_diagram_v2_en.mjs",
-    "docs/render_framework_diagram_png.mjs",
-    "docs/test-timing.md",
-    "tests/e2e-v5-round2.test.mjs",
-    "tests/formal-verify-v2.test.mjs",
-    "tests/formal-verify-v3.test.mjs",
-    "tests/formal-verify-v4.test.mjs",
-    "tests/formal-verify-v5.test.mjs",
-    "installer.js",
-    "prompt-corpus-persona/persona-corpus.json",
-    "prompt-corpus-persona/persona-corpus.md",
-    "prompt-corpus-v2/formal-verify-v2.json",
-    "prompt-corpus-v2/formal-verify-v2.md",
-    "prompt-corpus-v3/formal-verify-v3.json",
-    "prompt-corpus-v3/formal-verify-v3.md",
-    "prompt-corpus-v4/formal-verify-v4.json",
-    "prompt-corpus-v4/formal-verify-v4.md",
-    "prompt-corpus-v5/prompt-corpus-v5.json",
-    "prompt-corpus-v5/prompt-corpus-v5.md",
-    "tests/prompt-v5-integrity.test.mjs",
-    "tests/run-tests.mjs",
-    "screenshots.json",
-    "tests/selfdrive-v5.mjs",
-    "vibe-math-v2/实现方案.md",
-    "vibe-math-v2/agent.cordis.yml",
-    "vibe-math-v2/preset.yml",
-    "vibe-math-v2/v2的额外要求.txt",
-    "vibe-math-v2/vibe-math-v2.js",
-    "vibe-math-v2/math-computation.js",
-    "vibe-math-v2/math-engines.js",
-    "vibe-math-v3/实现方案.md",
-    "vibe-math-v3/agent.cordis.yml",
-    "vibe-math-v3/preset.yml",
-    "vibe-math-v3/vibe-math-v3.js",
-    "vibe-math-v3/math-computation.js",
-    "vibe-math-v3/math-engines.js",
-    "vibe-math-v4/实现方案.md",
-    "vibe-math-v4/agent.cordis.yml",
-    "vibe-math-v4/preset.yml",
-    "vibe-math-v4/vibe-math-v4.js",
-    "vibe-math-v4/math-computation.js",
-    "vibe-math-v4/math-engines.js",
-    "vibe-math-v5/架构图.md",
-    "vibe-math-v5/实现方案.md",
-    "vibe-math-v5/agent.cordis.yml",
-    "vibe-math-v5/preset.yml",
-    "vibe-math-v5/vibe-math-v5.js",
-    "vibe-math-v5/math-computation.js",
-    "vibe-math-v5/math-engines.js",
-    "docs/release-notes/RELEASE-NOTES-2.0.22.md",
-    "docs/release-notes/RELEASE-NOTES-2.1.0.md",
-    "docs/release-notes/RELEASE-NOTES-2.2.0.md",
-    "docs/release-notes/RELEASE-NOTES-2.2.1.md",
-    "docs/release-notes/RELEASE-NOTES-2.2.2.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.0.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.1.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.10.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.11.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.12.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.13.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.14.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.15.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.16.md",
-    "docs/release-notes/RELEASE-NOTES-2.4.0.md",
-    "docs/release-notes/RELEASE-NOTES-2.4.1.md",
-    "docs/release-notes/RELEASE-NOTES-2.6.0.md",
-    "docs/release-notes/RELEASE-NOTES-2.7.0.md",
-    "docs/release-notes/RELEASE-NOTES-2.7.0.en.md",
-    "docs/release-notes/RELEASE-NOTES-2.5.0.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.2.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.3.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.4.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.5.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.6.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.7.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.8.md",
-    "docs/release-notes/RELEASE-NOTES-2.3.9.md",
-    "示例图/框架图-v2.png",
-    "示例图/框架图-v2-en.svg",
-    "示例图/框架图-v3.png",
-    "示例图/框架图-v3-en.svg",
-    "示例图/框架图-v4.svg",
-    "示例图/框架图-v4-en.svg",
-    "示例图/框架图-v5.svg",
-    "示例图/框架图-v5-en.svg",
-    "示例图/实际使用示例-长截图.png",
-    "tests/audit-installer-compat.test.mjs",
-    "tests/audit-installer-policy.test.mjs",
-    "scripts/build-preset-rows.mjs",
-    "preset-declaration.js",
-    "tests/audit-preset-rows.test.mjs",
-    "docs/COMPAT-AUDIT-ROUND3.md",
-    "docs/release-notes/RELEASE-NOTES-2.7.1.md",
+{
+  "name": "dsh-vibe-math",
+  "description": "Multi-agent mathematical problem-solving & verification frameworks for DeepSeek Harness — FOUR agent presets in one install: vibe-math-v2 (probability-driven, classic: qs.json + Propos knowledge base + explorer→solver→review/debate verdict), vibe-math-v3 (THIRD-generation, classic: paper-style Markdown knowledge base with Problems/Progress/Propos/Methods/Verified + planner-agent scheduling that decides the next N actions + universal theory/method invention library + agents write their own Markdown directly via a per-file write lock), and vibe-math-v4 (FOURTH-generation: persistent self-organizing resident subagents that message & meet to decide all tasks, verify only by unanimous consensus, /compact at a context threshold, and stop only when all agree the problem is solved), and vibe-math-v5 (FIFTH-generation research institute: an academician as the organizational centre who decomposes and ASSIGNS work and chairs meetings; permanent researchers who hold the vote and may hire/fire their own temp workers; temp workers with no vote; a group chat and meetings; a durable per-recipient mailbox; a compare-and-set task DAG; and a boolean m-vote consensus rule where an object enters Verified/ only when at least m voting members agree AND every one of them returns exactly 1 or exactly 0). Installing this bundle auto-installs all four presets (v1 was removed at v2.0.0). Each preset also writes a FINAL PAPER by default when its run concludes — and does so BEFORE the run is marked complete: on v4/v5 the team co-authors its parts, merges them, cross-reviews, and the editor named by paperEditor finalises; the output is Paper/<run or institute id>/{paper.md,paper.tex,paper.pdf when a LaTeX engine is detected,paper.meta.json,paper.log.md} (params finalPaper/paperFormat/paperLanguage/paperCompilePdf/paperLatexCommand, plus paperEditor on v4/v5; see docs/final-paper.md).",
+  "version": "2.7.3",
+  "type": "module",
+  "engines": {
+    "node": "^22.19.0 || >=24.0.0",
+    "dsh": ">=0.1.2-alpha.4 <0.1.3-0 || >=0.1.3-alpha.2 <0.1.5-0 || >=0.1.5-alpha.1 <0.1.6-0 || >=0.1.6-alpha.1 <0.1.7-0 || >=0.1.7-alpha.1 <0.2.0-0 || >=0.2.0-alpha.1 <0.3.0-0"
+  },
+  "main": "installer.js",
+  "exports": {
+    ".": "./installer.js",
+    "./installer": "./installer.js",
+    "./cordis.patch.yml": "./cordis.patch.yml",
+    "./vibe-math-v2/vibe-math-v2.js": "./vibe-math-v2/vibe-math-v2.js",
+    "./vibe-math-v3/vibe-math-v3.js": "./vibe-math-v3/vibe-math-v3.js",
+    "./vibe-math-v4/vibe-math-v4.js": "./vibe-math-v4/vibe-math-v4.js",
+    "./vibe-math-v5/vibe-math-v5.js": "./vibe-math-v5/vibe-math-v5.js",
+    "./preset-declaration": "./preset-declaration.js"
+  },
+  "files": [
+    "SECURITY.md",
+    "README.md",
+    "README.en.md",
+    "docs/COMPAT-AUDIT-ROUND2.md",
+    "docs/AUDIT-CHECKLIST.md",
+    "tests/audit-formal-sensitivity.mjs",
+    "tests/audit-persona-sensitivity.mjs",
+    "tests/audit-persona-surface.test.mjs",
+    "tests/audit-prompt-invariants.mjs",
+    "tests/audit-spec-traceability.mjs",
+    "tests/audit-v5-integrity.mjs",
+    "tests/audit-v5-sensitivity.mjs",
+    "cordis.patch.yml",
+    "docs/架构图.md",
+    "docs/formal-verification.md",
+    "docs/final-paper.md",
+    "docs/math-computation.md",
+    "docs/parameter-schema.md",
+    "docs/status-report-fields.md",
+    "tests/audit-math-computation-parity.mjs",
+    "tests/audit-participant-set-parity.mjs",
+    "tests/audit-readme-bilingual.test.mjs",
+    "tests/audit-v3-registration-parity.mjs",
+    "tests/audit-registration.mjs",
+    "tests/math-computation-v2.test.mjs",
+    "tests/math-computation-v3.test.mjs",
+    "tests/math-computation-v4.test.mjs",
+    "tests/v2-fix-probes.test.mjs",
+    "tests/v3-fix-probes.test.mjs",
+    "tests/audit-prompt-duplication.mjs",
+    "tests/audit-prompt-duplication.mutants.mjs",
+    "tests/audit-v5-lean-abstention.mjs",
+    "tests/audit-v5-lean-abstention.mutants.mjs",
+    "tests/audit-v5-prompt-duplication.mutants.mjs",
+    "tests/v3-fix-probes.mutants.mjs",
+    "tests/v2-fix-probes.mutants.mjs",
+    "tests/audit-package-membership.mjs",
+    "tests/audit-package-membership.mutants.mjs",
+    "tests/audit-v5-prompt-duplication.mjs",
+    "tests/math-computation-a1.mutants.mjs",
+    "tests/e2e-identity-a6.mutants.mjs",
+    "tests/v5-institute-fixes.mutants.mjs",
+    "tests/formal-verify-v4.mutants.mjs",
+    "tests/formal-verify-v3.mutants.mjs",
+    "tests/math-computation-v4.mutants.mjs",
+    "tests/selfdrive-v5.mutants.mjs",
+    "tests/audit-readme-counts.mjs",
+    "tests/audit-readme-counts.mutants.mjs",
+    "tests/helpers/doc-counts-format.mjs",
+    "tests/audit-artifact-docs.mjs",
+    "tests/audit-artifact-docs.mutants.mjs",
+    "tests/audit-status-report-fields.mjs",
+    "tests/audit-status-report-fields.mutants.mjs",
+    "tests/audit-installer-assertions.mutants.mjs",
+    "tests/audit-persona-surface.mutants.mjs",
+    "tests/math-computation-discovery.mutants.mjs",
+    "tests/math-computation-archive-rerun.mutants.mjs",
+    "tests/v2-list-agents-and-next-step.mutants.mjs",
+    "tests/audit-path-discipline.mutants.mjs",
+    "tests/audit-path-discipline.mjs",
+    "tests/audit-math-computation-contract.mjs",
+    "tests/audit-math-computation-contract.mutants.mjs",
+    "tests/audit-math-computation-sensitivity.mjs",
+    "tests/math-computation-shared.test.mjs",
+    "tests/helpers/math-computation-fake-seam.mjs",
+    "docs/generate_framework_diagram_v2.py",
+    "docs/generate_framework_diagram_v3.py",
+    "docs/generate_framework_diagram_v4.mjs",
+    "docs/generate_framework_diagram_v5.mjs",
+    "docs/generate_framework_diagram_v3_en.mjs",
+    "docs/generate_framework_diagram_v2_en.mjs",
+    "docs/render_framework_diagram_png.mjs",
+    "docs/test-timing.md",
+    "tests/e2e-v5-round2.test.mjs",
+    "tests/formal-verify-v2.test.mjs",
+    "tests/formal-verify-v3.test.mjs",
+    "tests/formal-verify-v4.test.mjs",
+    "tests/formal-verify-v5.test.mjs",
+    "installer.js",
+    "prompt-corpus-persona/persona-corpus.json",
+    "prompt-corpus-persona/persona-corpus.md",
+    "prompt-corpus-v2/formal-verify-v2.json",
+    "prompt-corpus-v2/formal-verify-v2.md",
+    "prompt-corpus-v3/formal-verify-v3.json",
+    "prompt-corpus-v3/formal-verify-v3.md",
+    "prompt-corpus-v4/formal-verify-v4.json",
+    "prompt-corpus-v4/formal-verify-v4.md",
+    "prompt-corpus-v5/prompt-corpus-v5.json",
+    "prompt-corpus-v5/prompt-corpus-v5.md",
+    "tests/prompt-v5-integrity.test.mjs",
+    "tests/run-tests.mjs",
+    "tests/run-tests.mutants.mjs",
+    "screenshots.json",
+    "tests/selfdrive-v5.mjs",
+    "vibe-math-v2/实现方案.md",
+    "vibe-math-v2/agent.cordis.yml",
+    "vibe-math-v2/preset.yml",
+    "vibe-math-v2/v2的额外要求.txt",
+    "vibe-math-v2/vibe-math-v2.js",
+    "vibe-math-v2/math-computation.js",
+    "vibe-math-v2/math-engines.js",
+    "vibe-math-v3/实现方案.md",
+    "vibe-math-v3/agent.cordis.yml",
+    "vibe-math-v3/preset.yml",
+    "vibe-math-v3/vibe-math-v3.js",
+    "vibe-math-v3/math-computation.js",
+    "vibe-math-v3/math-engines.js",
+    "vibe-math-v4/实现方案.md",
+    "vibe-math-v4/agent.cordis.yml",
+    "vibe-math-v4/preset.yml",
+    "vibe-math-v4/vibe-math-v4.js",
+    "vibe-math-v4/math-computation.js",
+    "vibe-math-v4/math-engines.js",
+    "vibe-math-v5/架构图.md",
+    "vibe-math-v5/实现方案.md",
+    "vibe-math-v5/agent.cordis.yml",
+    "vibe-math-v5/preset.yml",
+    "vibe-math-v5/vibe-math-v5.js",
+    "vibe-math-v5/math-computation.js",
+    "vibe-math-v5/math-engines.js",
+    "docs/release-notes/RELEASE-NOTES-2.0.22.md",
+    "docs/release-notes/RELEASE-NOTES-2.1.0.md",
+    "docs/release-notes/RELEASE-NOTES-2.2.0.md",
+    "docs/release-notes/RELEASE-NOTES-2.2.1.md",
+    "docs/release-notes/RELEASE-NOTES-2.2.2.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.0.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.1.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.10.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.11.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.12.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.13.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.14.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.15.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.16.md",
+    "docs/release-notes/RELEASE-NOTES-2.4.0.md",
+    "docs/release-notes/RELEASE-NOTES-2.4.1.md",
+    "docs/release-notes/RELEASE-NOTES-2.6.0.md",
+    "docs/release-notes/RELEASE-NOTES-2.7.0.md",
+    "docs/release-notes/RELEASE-NOTES-2.7.0.en.md",
+    "docs/release-notes/RELEASE-NOTES-2.5.0.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.2.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.3.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.4.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.5.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.6.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.7.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.8.md",
+    "docs/release-notes/RELEASE-NOTES-2.3.9.md",
+    "示例图/框架图-v2.png",
+    "示例图/框架图-v2-en.svg",
+    "示例图/框架图-v3.png",
+    "示例图/框架图-v3-en.svg",
+    "示例图/框架图-v4.svg",
+    "示例图/框架图-v4-en.svg",
+    "示例图/框架图-v5.svg",
+    "示例图/框架图-v5-en.svg",
+    "示例图/实际使用示例-长截图.png",
+    "tests/audit-installer-compat.test.mjs",
+    "tests/audit-installer-policy.test.mjs",
+    "scripts/build-preset-rows.mjs",
+    "scripts/update-doc-counts.mjs",
+    "preset-declaration.js",
+    "tests/audit-preset-rows.test.mjs",
+    "docs/COMPAT-AUDIT-ROUND3.md",
+    "docs/release-notes/RELEASE-NOTES-2.7.1.md",
     "docs/release-notes/RELEASE-NOTES-2.7.1.en.md",
     "docs/release-notes/TEMPLATE.md",
     "docs/release-notes/README.md",
     "docs/release-notes/README.en.md",
     "docs/release-notes/RELEASE-NOTES-2.7.2.md",
-    "docs/release-notes/RELEASE-NOTES-2.7.2.en.md"
-  ],
-  "license": "MIT",
-  "keywords": [
-    "deepseek-harness",
-    "dsh",
-    "dsh-plugin",
-    "agent-preset",
-    "multi-agent",
-    "mathematics",
-    "math",
-    "theorem-proving",
-    "verification",
-    "solver",
-    "llm-agents"
-  ],
-  "repository": {
-    "type": "git",
-    "url": "git+https://github.com/ChongCyrus/Vibe-Mathematics.git"
-  },
-  "homepage": "https://github.com/ChongCyrus/Vibe-Mathematics#readme",
-  "bugs": {
-    "url": "https://github.com/ChongCyrus/Vibe-Mathematics/issues"
-  },
-  "dsh": {
-    "bundle": {
-      "patch": "./cordis.patch.yml"
-    },
-    "minVersion": "0.1.2-alpha.4",
-    "testedVersion": "0.2.0-rc.2",
-    "compatNote": "v2.7.1 补丁版：① 诚实性与安装口径（替代方案改变精确性/结论强度必须声明；python 安装按检测到的环境分派 conda/mamba/uv/pip；R/Octave/Julia 的 system 作用域给出每引擎理由；版本求解交给包管理器，只按 base name 查存在，规格原样透传）＋ ② 七个真机缺陷修复（probe 回显请求的引擎、发现 DSH 自带运行时、cli 包预检用 cli.command 的解释器、mode:code 真的传脚本且调用方 argv 优先、版本报真值、探针 argv 无 shell 元字符、探测 cwd 不再依赖项目目录已存在）＋ 两条永久守卫（响应必须可 JSON 序列化；fresh-root 仿真）。既有参数默认值、数据格式与目录结构未变，DSH 支撑窗口不变，无需迁移。",
-    "compatibility": {
-      "dshReleases": {
-        "0.1.2-alpha.4": "compatible",
-        "0.1.2-alpha.5": "compatible",
-        "0.1.2-rc.1": "compatible",
-        "0.1.3-alpha.2": "compatible",
-        "0.1.5-alpha.1": "compatible",
-        "0.1.5-alpha.2": "compatible",
-        "0.1.5-rc.1": "compatible",
-        "0.1.5-rc.2": "compatible",
-        "0.1.6-alpha.2": "compatible",
-        "0.1.7-rc.2": "compatible",
-        "0.2.0-rc.2": "compatible"
-      }
-    },
-    "engines": {
-      "dsh": ">=0.1.2-alpha.4 <0.1.3-0 || >=0.1.3-alpha.2 <0.1.5-0 || >=0.1.5-alpha.1 <0.1.6-0 || >=0.1.6-alpha.1 <0.1.7-0 || >=0.1.7-alpha.1 <0.2.0-0 || >=0.2.0-alpha.1 <0.3.0-0"
-    }
-  },
-  "peerDependencies": {
-    "@deepseek-ai/dsh-base": ">=0.1.2-alpha.4 <0.1.3-0 || >=0.1.3-alpha.2 <0.1.5-0 || >=0.1.5-alpha.1 <0.1.6-0 || >=0.1.6-alpha.1 <0.1.7-0 || >=0.1.7-alpha.1 <0.2.0-0 || >=0.2.0-alpha.1 <0.3.0-0"
-  },
-  "peerDependenciesMeta": {
-    "@deepseek-ai/dsh-base": {
-      "optional": true
-    }
-  },
-  "scripts": {
-    "build:presets": "node scripts/build-preset-rows.mjs"
-  }
-}
+    "docs/release-notes/RELEASE-NOTES-2.7.2.en.md",
+    "docs/release-notes/RELEASE-NOTES-2.7.3.md",
+    "docs/release-notes/RELEASE-NOTES-2.7.3.en.md"
+  ],
+  "license": "MIT",
+  "keywords": [
+    "deepseek-harness",
+    "dsh",
+    "dsh-plugin",
+    "agent-preset",
+    "multi-agent",
+    "mathematics",
+    "math",
+    "theorem-proving",
+    "verification",
+    "solver",
+    "llm-agents"
+  ],
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/ChongCyrus/Vibe-Mathematics.git"
+  },
+  "homepage": "https://github.com/ChongCyrus/Vibe-Mathematics#readme",
+  "bugs": {
+    "url": "https://github.com/ChongCyrus/Vibe-Mathematics/issues"
+  },
+  "dsh": {
+    "bundle": {
+      "patch": "./cordis.patch.yml"
+    },
+    "minVersion": "0.1.2-alpha.4",
+    "testedVersion": "0.2.0-rc.2",
+    "compatNote": "v2.7.3 补丁版：只含修复与验证加固，既有行为契约不变。① v5 邮袋：确认（ack）只在发送成功后发生，未确认的消息下次仍会重投（此前失败唤醒可能丢信）；同一轮不重复 prepend。② v5 入会与恢复：入会提示带真实轮次（从 轮次 1 起，不再出现 轮次 0），失败启动不消耗轮次；失败恢复不再清空既有编号（重建后从原编号继续）。③ v5 论文定稿：必需产物（paper.md/paper.tex/paper.meta.json/paper.log.md）写失败会具名告警一次并说明后果与补偿路径，产物清单只列真正落盘者，重跑幂等补写且不重复告警。④ v5 任务 CAS：被拒的陈旧 expected_revision 不改变任务（回读 revision/ownerId/status 不变）。⑤ v5 成员库路径契约：文档根与框架实际根不一致会被具名指出，且该提示会进入 report() 诊断。⑥ v4：Lean 库索引写失败具名一次（带 lib=/proved= 与 STALE until the next successful rebuild），覆盖全部调用点且不改变工具返回值；当前项目标记（.current）写失败同样具名一次。⑦ 安装器用户可见输出只用中文标签，每个动作只报一次；备份与既有文件判定改为报告级。⑧ 文档中 8 处仍描述「先 ack 再构造」的旧顺序已改正，并新增文↔码配对检查防止回流。参数名与默认值、数据格式、目录结构均未变；DSH 支撑窗口不变；无需迁移。",
+    "compatibility": {
+      "dshReleases": {
+        "0.1.2-alpha.4": "compatible",
+        "0.1.2-alpha.5": "compatible",
+        "0.1.2-rc.1": "compatible",
+        "0.1.3-alpha.2": "compatible",
+        "0.1.5-alpha.1": "compatible",
+        "0.1.5-alpha.2": "compatible",
+        "0.1.5-rc.1": "compatible",
+        "0.1.5-rc.2": "compatible",
+        "0.1.6-alpha.2": "compatible",
+        "0.1.7-rc.2": "compatible",
+        "0.2.0-rc.2": "compatible"
+      }
+    },
+    "engines": {
+      "dsh": ">=0.1.2-alpha.4 <0.1.3-0 || >=0.1.3-alpha.2 <0.1.5-0 || >=0.1.5-alpha.1 <0.1.6-0 || >=0.1.6-alpha.1 <0.1.7-0 || >=0.1.7-alpha.1 <0.2.0-0 || >=0.2.0-alpha.1 <0.3.0-0"
+    }
+  },
+  "peerDependencies": {
+    "@deepseek-ai/dsh-base": ">=0.1.2-alpha.4 <0.1.3-0 || >=0.1.3-alpha.2 <0.1.5-0 || >=0.1.5-alpha.1 <0.1.6-0 || >=0.1.6-alpha.1 <0.1.7-0 || >=0.1.7-alpha.1 <0.2.0-0 || >=0.2.0-alpha.1 <0.3.0-0"
+  },
+  "peerDependenciesMeta": {
+    "@deepseek-ai/dsh-base": {
+      "optional": true
+    }
+  },
+  "scripts": {
+    "build:presets": "node scripts/build-preset-rows.mjs"
+  }
+}