dsh-vibe-math 2.7.3 → 2.8.0

package/package.json

@@ -1,7 +1,7 @@
 {
   "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",
+  "version": "2.8.0",
   "type": "module",
   "engines": {
     "node": "^22.19.0 || >=24.0.0",
@@ -77,6 +77,10 @@
     "tests/math-computation-discovery.mutants.mjs",
     "tests/math-computation-archive-rerun.mutants.mjs",
     "tests/v2-list-agents-and-next-step.mutants.mjs",
+    "docs/audit-methodology.md",
+    "docs/release-playbook.md",
+    "docs/slv-playbook.md",
+    "tests/audit-engine-faces.mjs",
     "tests/audit-path-discipline.mutants.mjs",
     "tests/audit-path-discipline.mjs",
     "tests/audit-math-computation-contract.mjs",
@@ -110,6 +114,7 @@
     "prompt-corpus-v5/prompt-corpus-v5.md",
     "tests/prompt-v5-integrity.test.mjs",
     "tests/run-tests.mjs",
+    "tests/v4-final-paper.mutants.mjs",
     "tests/run-tests.mutants.mjs",
     "screenshots.json",
     "tests/selfdrive-v5.mjs",
@@ -180,6 +185,9 @@
     "tests/audit-installer-policy.test.mjs",
     "scripts/build-preset-rows.mjs",
     "scripts/update-doc-counts.mjs",
+    "scripts/clean-temp.mjs",
+    "tests/temp-hygiene.mutants.mjs",
+    "tests/v2v3-interrupt.mutants.mjs",
     "preset-declaration.js",
     "tests/audit-preset-rows.test.mjs",
     "docs/COMPAT-AUDIT-ROUND3.md",
@@ -191,7 +199,9 @@
     "docs/release-notes/RELEASE-NOTES-2.7.2.md",
     "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"
+    "docs/release-notes/RELEASE-NOTES-2.7.3.en.md",
+    "docs/release-notes/RELEASE-NOTES-2.8.0.md",
+    "docs/release-notes/RELEASE-NOTES-2.8.0.en.md"
   ],
   "license": "MIT",
   "keywords": [
@@ -221,7 +231,7 @@
     },
     "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 支撑窗口不变；无需迁移。",
+    "compatNote": "v2.8.0 功能版：显式引擎「指定即只用它」，并补齐引擎缺失时的可行动指引。① paperLatexCommand 非空时只用它：解析不到就按「未检测到」降级（v4/v5 此前会静默回落到别的引擎），与文档及 v2/v3 口径一致；想自动选择引擎请把该参数留空。② 未检测到引擎的具名警告说明已探测 PATH 与文档化的常见 TeX 根，并给出用绝对路径固定的方法；四套预设的提示词新增同一段指引（四步：有界自查 → 把绝对路径写入 paperLatexCommand 并重测 → 问用户一次 → 否则照旧降级）与三条硬边界（不自动安装、不写工作区之外、不把「未检测到」当失败）。③ 论文编译元数据新增 triedPaths（本次探测过的路径并集，成功与失败都记录；旧 meta 仍可读）。④ 宿主拒绝中断时返回具名 code 与可执行的 next；该失败路径已有回归守卫（既有行为未变）。⑤ 自行运行测试套件者：默认并发 min(2, cpus)、启动时清扫超过 6 小时的陈旧测试临时目录、临时根优先使用更宽裕的盘、疑似遗留进程只读告警；仓库新增 .gitattributes 统一 LF，npm 包逐字节可复现。参数名与默认值、数据格式与目录结构均未变；DSH 支撑窗口不变；无需迁移。",
     "compatibility": {
       "dshReleases": {
         "0.1.2-alpha.4": "compatible",

package/prompt-corpus-v2/formal-verify-v2.json

@@ -262,7 +262,7 @@
       "kind": "spawn",
       "case": "persist",
       "label": "paper-writer:proj",
-      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n\nKEY CASE IS PART OF THE REPLY CONTRACT: the verifier reply uses `Result`/`Reason` (capitalised; the debate round adds `changed`), while every other reply uses lowercase keys exactly as shown (`directions`, `lemmas`, `status`, `solution`, `solution_probability`). The parser matches keys EXACTLY, case-sensitively, and accepts NO aliases (e.g. `result` is not read).\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v2 (single-author)\nPROJECT: proj\n\n[ORIGINAL PROBLEMS] (qs/qs.json)\n- (none)\n\n[PROPOSITIONS] (Propos/*.json)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- (none — 所有对象均已定论)\n\n[EVIDENCE INDEX] (only files that exist)\n- Formal/Index.md\n- Formal/TODO.md\n- Formal/pPersist.lean\n- Progress_Logs/report.json\n- Verified/Lean/pPersist.lean\n- VibeMath_State/formal.json\n- qs/qs.json"
+      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nLATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat \"not detected\" as a failure.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n\nKEY CASE IS PART OF THE REPLY CONTRACT: the verifier reply uses `Result`/`Reason` (capitalised; the debate round adds `changed`), while every other reply uses lowercase keys exactly as shown (`directions`, `lemmas`, `status`, `solution`, `solution_probability`). The parser matches keys EXACTLY, case-sensitively, and accepts NO aliases (e.g. `result` is not read).\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v2 (single-author)\nPROJECT: proj\n\n[ORIGINAL PROBLEMS] (qs/qs.json)\n- (none)\n\n[PROPOSITIONS] (Propos/*.json)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- (none — 所有对象均已定论)\n\n[EVIDENCE INDEX] (only files that exist)\n- Formal/Index.md\n- Formal/TODO.md\n- Formal/pPersist.lean\n- Progress_Logs/report.json\n- Verified/Lean/pPersist.lean\n- VibeMath_State/formal.json\n- qs/qs.json"
     },
     {
       "kind": "spawn",
@@ -742,7 +742,7 @@
       "kind": "spawn",
       "case": "push-report",
       "label": "paper-writer:proj",
-      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n\nKEY CASE IS PART OF THE REPLY CONTRACT: the verifier reply uses `Result`/`Reason` (capitalised; the debate round adds `changed`), while every other reply uses lowercase keys exactly as shown (`directions`, `lemmas`, `status`, `solution`, `solution_probability`). The parser matches keys EXACTLY, case-sensitively, and accepts NO aliases (e.g. `result` is not read).\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v2 (single-author)\nPROJECT: proj\n\n[ORIGINAL PROBLEMS] (qs/qs.json)\n- (none)\n\n[PROPOSITIONS] (Propos/*.json)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- (none — 所有对象均已定论)\n\n[EVIDENCE INDEX] (only files that exist)\n- Progress_Logs/report.json\n- qs/qs.json"
+      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nLATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat \"not detected\" as a failure.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n\nKEY CASE IS PART OF THE REPLY CONTRACT: the verifier reply uses `Result`/`Reason` (capitalised; the debate round adds `changed`), while every other reply uses lowercase keys exactly as shown (`directions`, `lemmas`, `status`, `solution`, `solution_probability`). The parser matches keys EXACTLY, case-sensitively, and accepts NO aliases (e.g. `result` is not read).\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v2 (single-author)\nPROJECT: proj\n\n[ORIGINAL PROBLEMS] (qs/qs.json)\n- (none)\n\n[PROPOSITIONS] (Propos/*.json)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- (none — 所有对象均已定论)\n\n[EVIDENCE INDEX] (only files that exist)\n- Progress_Logs/report.json\n- qs/qs.json"
     },
     {
       "kind": "push",

package/prompt-corpus-v2/formal-verify-v2.md

@@ -3430,6 +3430,8 @@ HARD RULES:
 - A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).
 - Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.
 
+LATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat "not detected" as a failure.
+
 OUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:
 
 KEY CASE IS PART OF THE REPLY CONTRACT: the verifier reply uses `Result`/`Reason` (capitalised; the debate round adds `changed`), while every other reply uses lowercase keys exactly as shown (`directions`, `lemmas`, `status`, `solution`, `solution_probability`). The parser matches keys EXACTLY, case-sensitively, and accepts NO aliases (e.g. `result` is not read).
@@ -9227,6 +9229,8 @@ HARD RULES:
 - A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).
 - Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.
 
+LATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat "not detected" as a failure.
+
 OUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:
 
 KEY CASE IS PART OF THE REPLY CONTRACT: the verifier reply uses `Result`/`Reason` (capitalised; the debate round adds `changed`), while every other reply uses lowercase keys exactly as shown (`directions`, `lemmas`, `status`, `solution`, `solution_probability`). The parser matches keys EXACTLY, case-sensitively, and accepts NO aliases (e.g. `result` is not read).

package/prompt-corpus-v3/formal-verify-v3.json

@@ -22,7 +22,7 @@
       "kind": "spawn",
       "label": "paper-writer:lean-off",
       "root": "sess-A",
-      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v3 (single-author)\nPROJECT: lean-off\n\n[ORIGINAL PROBLEMS] (Problems/*.md)\n- (none)\n\n[PROPOSITIONS] (Propos/<分类>/<id>.md)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- id=p-off | 概率=1 | 状态=已验证·真 | 优先级=never | 价值/关键性=0.5 | 来源问题= | 陈述=关模式下的普通命题\n    · 已检验通过：证明#0 | mock 裁决 1\n\n[METHODS / ARTEFACTS] (Methods/ + 全局 VibeMath/Methods/)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[STILL UNVERIFIED — v3 的完整性判据 leftoverVerify（buildVerifyCandidates）；必须标注为未决]\n- (none — 没有待验证对象)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- (none — 所有对象均已定论)\n\n[EVIDENCE INDEX] (only files that exist)\n- Logs/Verification/r-p-off_<TIME>.json\n- Propos/数论/p-off.md\n- State/index.json\n- Verified/命题/p-off.md"
+      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nLATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat \"not detected\" as a failure.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v3 (single-author)\nPROJECT: lean-off\n\n[ORIGINAL PROBLEMS] (Problems/*.md)\n- (none)\n\n[PROPOSITIONS] (Propos/<分类>/<id>.md)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- id=p-off | 概率=1 | 状态=已验证·真 | 优先级=never | 价值/关键性=0.5 | 来源问题= | 陈述=关模式下的普通命题\n    · 已检验通过：证明#0 | mock 裁决 1\n\n[METHODS / ARTEFACTS] (Methods/ + 全局 VibeMath/Methods/)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[STILL UNVERIFIED — v3 的完整性判据 leftoverVerify（buildVerifyCandidates）；必须标注为未决]\n- (none — 没有待验证对象)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- (none — 所有对象均已定论)\n\n[EVIDENCE INDEX] (only files that exist)\n- Logs/Verification/r-p-off_<TIME>.json\n- Propos/数论/p-off.md\n- State/index.json\n- Verified/命题/p-off.md"
     },
     {
       "kind": "spawn",
@@ -124,7 +124,7 @@
       "kind": "spawn",
       "label": "paper-writer:lean-verify",
       "root": "sess-E",
-      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v3 (single-author)\nPROJECT: lean-verify\n\n[ORIGINAL PROBLEMS] (Problems/*.md)\n- (none)\n\n[PROPOSITIONS] (Propos/<分类>/<id>.md)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- id=p-enc | 概率=1 | 状态=已验证·真 | 优先级=never | 价值/关键性=0.5 | 来源问题= | 形式化=none | 陈述=鼓励模式下的忠实性审查\n    · 已检验通过：证明#0 | mock 第二轮一致\n\n[METHODS / ARTEFACTS] (Methods/ + 全局 VibeMath/Methods/)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[STILL UNVERIFIED — v3 的完整性判据 leftoverVerify（buildVerifyCandidates）；必须标注为未决]\n- (none — 没有待验证对象)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- (none — 所有对象均已定论)\n\n[EVIDENCE INDEX] (only files that exist)\n- Logs/Verification/r-p-enc_<TIME>.json\n- Propos/数论/p-enc.md\n- State/formal.json\n- State/index.json\n- Verified/命题/p-enc.md"
+      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nLATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat \"not detected\" as a failure.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v3 (single-author)\nPROJECT: lean-verify\n\n[ORIGINAL PROBLEMS] (Problems/*.md)\n- (none)\n\n[PROPOSITIONS] (Propos/<分类>/<id>.md)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- id=p-enc | 概率=1 | 状态=已验证·真 | 优先级=never | 价值/关键性=0.5 | 来源问题= | 形式化=none | 陈述=鼓励模式下的忠实性审查\n    · 已检验通过：证明#0 | mock 第二轮一致\n\n[METHODS / ARTEFACTS] (Methods/ + 全局 VibeMath/Methods/)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[STILL UNVERIFIED — v3 的完整性判据 leftoverVerify（buildVerifyCandidates）；必须标注为未决]\n- (none — 没有待验证对象)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- (none — 所有对象均已定论)\n\n[EVIDENCE INDEX] (only files that exist)\n- Logs/Verification/r-p-enc_<TIME>.json\n- Propos/数论/p-enc.md\n- State/formal.json\n- State/index.json\n- Verified/命题/p-enc.md"
     },
     {
       "kind": "spawn",
@@ -274,7 +274,7 @@
       "kind": "spawn",
       "label": "paper-writer:lean-reply",
       "root": "sess-H",
-      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v3 (single-author)\nPROJECT: lean-reply\n\n[ORIGINAL PROBLEMS] (Problems/*.md)\n- (none)\n\n[PROPOSITIONS] (Propos/<分类>/<id>.md)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- id=p-reply | 概率=0.5 | 状态=未定论 | 优先级=1 | 价值/关键性=0.5 | 来源问题= | 形式化=blocked | 陈述=用回执记录阻塞\n\n[METHODS / ARTEFACTS] (Methods/ + 全局 VibeMath/Methods/)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[STILL UNVERIFIED — v3 的完整性判据 leftoverVerify（buildVerifyCandidates）；必须标注为未决]\n- (none — 没有待验证对象)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- 未定论：命题 p-reply（概率=0.5）\n\n[EVIDENCE INDEX] (only files that exist)\n- Formal/Index.md\n- Formal/TODO.md\n- Logs/Verification/r-p-reply_<TIME>.json\n- Propos/数论/p-reply.md\n- State/formal.json\n- State/index.json"
+      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nLATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat \"not detected\" as a failure.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v3 (single-author)\nPROJECT: lean-reply\n\n[ORIGINAL PROBLEMS] (Problems/*.md)\n- (none)\n\n[PROPOSITIONS] (Propos/<分类>/<id>.md)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- id=p-reply | 概率=0.5 | 状态=未定论 | 优先级=1 | 价值/关键性=0.5 | 来源问题= | 形式化=blocked | 陈述=用回执记录阻塞\n\n[METHODS / ARTEFACTS] (Methods/ + 全局 VibeMath/Methods/)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[STILL UNVERIFIED — v3 的完整性判据 leftoverVerify（buildVerifyCandidates）；必须标注为未决]\n- (none — 没有待验证对象)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- 未定论：命题 p-reply（概率=0.5）\n\n[EVIDENCE INDEX] (only files that exist)\n- Formal/Index.md\n- Formal/TODO.md\n- Logs/Verification/r-p-reply_<TIME>.json\n- Propos/数论/p-reply.md\n- State/formal.json\n- State/index.json"
     },
     {
       "kind": "spawn",
@@ -352,7 +352,7 @@
       "kind": "spawn",
       "label": "paper-writer:lean-defect-nonote",
       "root": "sess-J",
-      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v3 (single-author)\nPROJECT: lean-defect-nonote\n\n[ORIGINAL PROBLEMS] (Problems/*.md)\n- (none)\n\n[PROPOSITIONS] (Propos/<分类>/<id>.md)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- id=p-nonote-defect | 概率=1 | 状态=已验证·真 | 优先级=never | 价值/关键性=0.5 | 来源问题= | 形式化=passed（Verified/Lean/p-nonote-defect.lean） | 陈述=没有偏差说明的缺陷回执\n    · 已检验通过：证明#0 | 觉得不忠实但没写清楚\n\n[METHODS / ARTEFACTS] (Methods/ + 全局 VibeMath/Methods/)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[STILL UNVERIFIED — v3 的完整性判据 leftoverVerify（buildVerifyCandidates）；必须标注为未决]\n- (none — 没有待验证对象)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- (none — 所有对象均已定论)\n\n[EVIDENCE INDEX] (only files that exist)\n- Formal/Index.md\n- Formal/TODO.md\n- Formal/p-nonote-defect.lean\n- Logs/Verification/r-p-nonote-defect_<TIME>.json\n- Propos/数论/p-nonote-defect.md\n- State/formal.json\n- State/index.json\n- Verified/Lean/p-nonote-defect.lean\n- Verified/命题/p-nonote-defect.md"
+      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nLATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat \"not detected\" as a failure.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v3 (single-author)\nPROJECT: lean-defect-nonote\n\n[ORIGINAL PROBLEMS] (Problems/*.md)\n- (none)\n\n[PROPOSITIONS] (Propos/<分类>/<id>.md)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- id=p-nonote-defect | 概率=1 | 状态=已验证·真 | 优先级=never | 价值/关键性=0.5 | 来源问题= | 形式化=passed（Verified/Lean/p-nonote-defect.lean） | 陈述=没有偏差说明的缺陷回执\n    · 已检验通过：证明#0 | 觉得不忠实但没写清楚\n\n[METHODS / ARTEFACTS] (Methods/ + 全局 VibeMath/Methods/)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[STILL UNVERIFIED — v3 的完整性判据 leftoverVerify（buildVerifyCandidates）；必须标注为未决]\n- (none — 没有待验证对象)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- (none — 所有对象均已定论)\n\n[EVIDENCE INDEX] (only files that exist)\n- Formal/Index.md\n- Formal/TODO.md\n- Formal/p-nonote-defect.lean\n- Logs/Verification/r-p-nonote-defect_<TIME>.json\n- Propos/数论/p-nonote-defect.md\n- State/formal.json\n- State/index.json\n- Verified/Lean/p-nonote-defect.lean\n- Verified/命题/p-nonote-defect.md"
     },
     {
       "kind": "spawn",
@@ -394,7 +394,7 @@
       "kind": "spawn",
       "label": "paper-writer:lean-defect-nodelete",
       "root": "sess-K",
-      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v3 (single-author)\nPROJECT: lean-defect-nodelete\n\n[ORIGINAL PROBLEMS] (Problems/*.md)\n- (none)\n\n[PROPOSITIONS] (Propos/<分类>/<id>.md)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- id=p-nodelete | 概率=0.5 | 状态=未定论 | 优先级=1 | 价值/关键性=0.5 | 来源问题= | 形式化=attempted | 陈述=宿主无法删除文件时的撤回\n\n[METHODS / ARTEFACTS] (Methods/ + 全局 VibeMath/Methods/)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[STILL UNVERIFIED — v3 的完整性判据 leftoverVerify（buildVerifyCandidates）；必须标注为未决]\n- (none — 没有待验证对象)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- 未定论：命题 p-nodelete（概率=0.5）\n\n[EVIDENCE INDEX] (only files that exist)\n- Formal/Index.md\n- Formal/TODO.md\n- Formal/p-nodelete.lean\n- Logs/Verification/r-p-nodelete_<TIME>.json\n- Propos/数论/p-nodelete.md\n- State/formal.json\n- State/index.json\n- Verified/Lean/p-nodelete.lean"
+      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nLATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat \"not detected\" as a failure.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v3 (single-author)\nPROJECT: lean-defect-nodelete\n\n[ORIGINAL PROBLEMS] (Problems/*.md)\n- (none)\n\n[PROPOSITIONS] (Propos/<分类>/<id>.md)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- id=p-nodelete | 概率=0.5 | 状态=未定论 | 优先级=1 | 价值/关键性=0.5 | 来源问题= | 形式化=attempted | 陈述=宿主无法删除文件时的撤回\n\n[METHODS / ARTEFACTS] (Methods/ + 全局 VibeMath/Methods/)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[STILL UNVERIFIED — v3 的完整性判据 leftoverVerify（buildVerifyCandidates）；必须标注为未决]\n- (none — 没有待验证对象)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- 未定论：命题 p-nodelete（概率=0.5）\n\n[EVIDENCE INDEX] (only files that exist)\n- Formal/Index.md\n- Formal/TODO.md\n- Formal/p-nodelete.lean\n- Logs/Verification/r-p-nodelete_<TIME>.json\n- Propos/数论/p-nodelete.md\n- State/formal.json\n- State/index.json\n- Verified/Lean/p-nodelete.lean"
     },
     {
       "kind": "spawn",
@@ -418,7 +418,7 @@
       "kind": "spawn",
       "label": "paper-writer:lean-stale-card",
       "root": "sess-L",
-      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v3 (single-author)\nPROJECT: lean-stale-card\n\n[ORIGINAL PROBLEMS] (Problems/*.md)\n- (none)\n\n[PROPOSITIONS] (Propos/<分类>/<id>.md)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- id=p-stale | 概率=1 | 状态=已验证·真 | 优先级=never | 价值/关键性=0.5 | 来源问题= | 形式化=passed（Verified/Lean/p-stale.lean） | 陈述=定论后才被认定形式化不忠实\n    · 已检验通过：证明#0 | mock 裁决 1\n\n[METHODS / ARTEFACTS] (Methods/ + 全局 VibeMath/Methods/)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[STILL UNVERIFIED — v3 的完整性判据 leftoverVerify（buildVerifyCandidates）；必须标注为未决]\n- (none — 没有待验证对象)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- (none — 所有对象均已定论)\n\n[EVIDENCE INDEX] (only files that exist)\n- Formal/Index.md\n- Formal/TODO.md\n- Formal/p-stale.lean\n- Logs/Verification/r-p-stale_<TIME>.json\n- Propos/数论/p-stale.md\n- State/formal.json\n- State/index.json\n- Verified/Lean/p-stale.lean\n- Verified/命题/p-stale.md"
+      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nLATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat \"not detected\" as a failure.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v3 (single-author)\nPROJECT: lean-stale-card\n\n[ORIGINAL PROBLEMS] (Problems/*.md)\n- (none)\n\n[PROPOSITIONS] (Propos/<分类>/<id>.md)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- id=p-stale | 概率=1 | 状态=已验证·真 | 优先级=never | 价值/关键性=0.5 | 来源问题= | 形式化=passed（Verified/Lean/p-stale.lean） | 陈述=定论后才被认定形式化不忠实\n    · 已检验通过：证明#0 | mock 裁决 1\n\n[METHODS / ARTEFACTS] (Methods/ + 全局 VibeMath/Methods/)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[STILL UNVERIFIED — v3 的完整性判据 leftoverVerify（buildVerifyCandidates）；必须标注为未决]\n- (none — 没有待验证对象)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- (none — 所有对象均已定论)\n\n[EVIDENCE INDEX] (only files that exist)\n- Formal/Index.md\n- Formal/TODO.md\n- Formal/p-stale.lean\n- Logs/Verification/r-p-stale_<TIME>.json\n- Propos/数论/p-stale.md\n- State/formal.json\n- State/index.json\n- Verified/Lean/p-stale.lean\n- Verified/命题/p-stale.md"
     },
     {
       "kind": "spawn",
@@ -706,7 +706,7 @@
       "kind": "spawn",
       "label": "paper-writer:d4-votecount",
       "root": "sess-^",
-      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v3 (single-author)\nPROJECT: d4-votecount\n\n[ORIGINAL PROBLEMS] (Problems/*.md)\n- (none)\n\n[PROPOSITIONS] (Propos/<分类>/<id>.md)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- id=p-d4 | 概率=1 | 状态=已验证·真 | 优先级=never | 价值/关键性=0.5 | 来源问题= | 陈述=D4 票数单一来源\n    · 已检验通过：证明#0 | mock 裁决 1\n\n[METHODS / ARTEFACTS] (Methods/ + 全局 VibeMath/Methods/)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[STILL UNVERIFIED — v3 的完整性判据 leftoverVerify（buildVerifyCandidates）；必须标注为未决]\n- (none — 没有待验证对象)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- (none — 所有对象均已定论)\n\n[EVIDENCE INDEX] (only files that exist)\n- Logs/Verification/r-p-d4_<TIME>.json\n- Propos/数论/p-d4.md\n- State/index.json\n- Verified/命题/p-d4.md"
+      "prompt": "You are the DEDICATED PAPER WRITER (single-author mode) of a math research run that has just CONVERGED.\nWrite its final paper in 中文（Chinese）, using ONLY the evidence in the MATERIAL section below.\n\nHARD RULES:\n- NEVER invent content: no new proposition, no new computation, no citation that is not in the MATERIAL.\n- Unresolved or refuted items MUST be explicitly labelled (「未定论」/「已被否证」, or \"unresolved\"/\"refuted\" in English); never present them as established.\n- Fixed 9-section skeleton — provide bodies for these EXACT `## ` headings (the framework writes the headings, author/date and the evidence index itself):\n    1. 摘要 — 1 标题、作者、日期、摘要（原问题 + 主要结论）\n    2. 引言与问题背景 — 2 原问题的完整陈述\n    3. 原问题的完整解法 — 3 最终答案 + 完整推理链\n    4. 已检验通过的命题 — 4 逐条列出，含判定为真的估计值与证据来源\n    5. 已解决的子问题与中间成果 — 5\n    6. 创造或发现的有价值之物 — 6 方法、理论、思想、有价值经验、数学理解\n    7. 规律总结 — 7 从上述条目归纳出的可复用规律\n    8. 讨论、局限与展望 — 8\n    9. 附录：证据与文件索引 — 9 Verified/、Logs/、关键卡片路径\n- A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).\n- Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.\n\nLATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat \"not detected\" as a failure.\n\nOUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:\n{\"title\":\"<paper title>\",\"abstract\":\"<original problem + main results>\",\"sections\":[{\"name\":\"<one of the 9 headings>\",\"body\":\"<markdown>\"}, ...]}\n\nMATERIAL (evidence only — do not add anything beyond it):\nPRESET: vibe-math-v3 (single-author)\nPROJECT: d4-votecount\n\n[ORIGINAL PROBLEMS] (Problems/*.md)\n- (none)\n\n[PROPOSITIONS] (Propos/<分类>/<id>.md)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- id=p-d4 | 概率=1 | 状态=已验证·真 | 优先级=never | 价值/关键性=0.5 | 来源问题= | 陈述=D4 票数单一来源\n    · 已检验通过：证明#0 | mock 裁决 1\n\n[METHODS / ARTEFACTS] (Methods/ + 全局 VibeMath/Methods/)\n（路径说明：成员/子代理的文件工具按**会话 cwd** 解析相对路径，因此上面列出的相对路径都必须先拼上**项目根的绝对前缀**再使用；计算产物请用回执里的绝对字段 `receipt.scriptAbs`，或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来。）\n- (none)\n\n[STILL UNVERIFIED — v3 的完整性判据 leftoverVerify（buildVerifyCandidates）；必须标注为未决]\n- (none — 没有待验证对象)\n\n[UNRESOLVED / REFUTED — 论文里必须显式标注，不得当成已成立的结论]\n- (none — 所有对象均已定论)\n\n[EVIDENCE INDEX] (only files that exist)\n- Logs/Verification/r-p-d4_<TIME>.json\n- Propos/数论/p-d4.md\n- State/index.json\n- Verified/命题/p-d4.md"
     }
   ]
 }

package/prompt-corpus-v3/formal-verify-v3.md

@@ -162,6 +162,8 @@ HARD RULES:
 - A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).
 - Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.
 
+LATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat "not detected" as a failure.
+
 OUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:
 {"title":"<paper title>","abstract":"<original problem + main results>","sections":[{"name":"<one of the 9 headings>","body":"<markdown>"}, ...]}
 
@@ -1162,6 +1164,8 @@ HARD RULES:
 - A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).
 - Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.
 
+LATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat "not detected" as a failure.
+
 OUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:
 {"title":"<paper title>","abstract":"<original problem + main results>","sections":[{"name":"<one of the 9 headings>","body":"<markdown>"}, ...]}
 
@@ -2723,6 +2727,8 @@ HARD RULES:
 - A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).
 - Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.
 
+LATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat "not detected" as a failure.
+
 OUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:
 {"title":"<paper title>","abstract":"<original problem + main results>","sections":[{"name":"<one of the 9 headings>","body":"<markdown>"}, ...]}
 
@@ -3498,6 +3504,8 @@ HARD RULES:
 - A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).
 - Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.
 
+LATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat "not detected" as a failure.
+
 OUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:
 {"title":"<paper title>","abstract":"<original problem + main results>","sections":[{"name":"<one of the 9 headings>","body":"<markdown>"}, ...]}
 
@@ -3897,6 +3905,8 @@ HARD RULES:
 - A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).
 - Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.
 
+LATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat "not detected" as a failure.
+
 OUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:
 {"title":"<paper title>","abstract":"<original problem + main results>","sections":[{"name":"<one of the 9 headings>","body":"<markdown>"}, ...]}
 
@@ -4132,6 +4142,8 @@ HARD RULES:
 - A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).
 - Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.
 
+LATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat "not detected" as a failure.
+
 OUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:
 {"title":"<paper title>","abstract":"<original problem + main results>","sections":[{"name":"<one of the 9 headings>","body":"<markdown>"}, ...]}
 
@@ -6816,6 +6828,8 @@ HARD RULES:
 - A section with no evidence must be exactly 「（本节暂无证据支持的内容——不编造。）」 (do not pad it).
 - Markdown subset only: `#`/`##`/`###`, `- ` lists, `**bold**`, `*em*`, `` `code` ``, and inline math as `$...$`. No tables, images, footnotes or raw HTML.
 
+LATEX-MISSING GUIDANCE: When no LaTeX engine is detected: (1) probe only the documented common TeX roots and PATH (e.g. where xelatex, latexmk --version) - never scan whole drives; (2) once the absolute path is found, write it into paperLatexCommand, re-detect, then continue; (3) if it is still missing, ask the user once (installing TeX requires the user's explicit approval); (4) with no answer, degrade exactly as today (deliver paper.tex and paper.md only). Hard boundaries: never auto-install; never write outside the workspace; never treat "not detected" as a failure.
+
 OUTPUT CONTRACT — respond with ONLY one ```json code fence, no prose:
 {"title":"<paper title>","abstract":"<original problem + main results>","sections":[{"name":"<one of the 9 headings>","body":"<markdown>"}, ...]}