dsh-vibe-math 2.4.1 → 2.6.0

package/prompt-corpus-persona/persona-corpus.md

@@ -6,7 +6,7 @@
 ## vibe-math-v2
 
 - 注册工具数：**25**
-- 斜杠命令 hint：`start|resume|pause|abort|status|report|mode <auto|manual>|setup|save|template [global|project]|add <id> <desc>|add-proposition <id> <概述>|list-propositions|project [list|new <name>|<name>]|decisions|agents`
+- 斜杠命令 hint：`start|resume|pause|abort|status|report|mode <auto|manual>|setup|save|template [global|project]|add <id> <desc>|add-proposition <id> <概述>|list-propositions|project [list|new <name>|<name>]|decisions|agents|paper [lang=zh|en] [format=both|md|tex] [force]`
 
 ### config.prefix
 
@@ -28,7 +28,7 @@ programmatically runs explorer (direction setting) → per-direction solvers (ag
 - vibe_math_status / vibe_math_report — read scheduler status / full progress report (report also writes Progress_Logs/report.json).
 - vibe_math_pause / vibe_math_abort — pause / abort (abort interrupts all children).
 - vibe_math_set_mode {mode: manual|auto} — switch manual / auto control.
-- vibe_math_set_params {...} — tune any parameter (see vibe_math_setup for the full schema; e.g. reportMode file|push|both, promoteValueThreshold, verdictMode flat|forced, formalVerify off|encourage|require).
+- vibe_math_set_params {...} — tune any parameter (see vibe_math_setup for the full schema; e.g. reportMode file|push|both, promoteValueThreshold, verdictMode flat|forced, formalVerify off|encourage|require, finalPaper true|false, paperFormat both|md|tex, paperLanguage zh|en, paperCompilePdf true|false, paperLatexCommand <engine>).
 - vibe_math_setup / vibe_math_save_settings / vibe_math_template — guided configuration / persist defaults / generate template.
 - vibe_math_new_project / vibe_math_set_project / vibe_math_list_projects — per-project folders.
 - vibe_math_list_decisions / vibe_math_decide {id, action: approve|reject|override, verdict?} — resolve manual decisions.
@@ -37,13 +37,21 @@ programmatically runs explorer (direction setting) → per-direction solvers (ag
   verification (execute / archive / list the reuse library). The scheduler's child agents
   use them too; they work in every mode.
 
-A /vibe slash command mirrors the main controls. Data lives under {{cwd}}/VibeMath/Projects/<project>/
+Final paper: strict termination writes Paper/<project>/{paper.md,paper.tex,paper.pdf,paper.meta.json,paper.log.md}
+automatically — a dedicated paper-writing child assembles the solved material (finalPaper=false disables only that
+automatic run). /vibe paper [lang=zh|en] [format=both|md|tex] [force] writes or rewrites it by hand. md/tex follow
+paperFormat; a PDF is produced only when a LaTeX engine is detected and paperCompilePdf is true.
+A /vibe slash command mirrors the main controls (/vibe start|resume|pause|abort|status|report|mode <auto|manual>|setup|save|template [global|project]|add <id> <desc>|add-proposition <id> <概述>|list-propositions|project [list|new <name>|<name>]|decisions|agents|paper [lang=zh|en] [format=both|md|tex] [force]).
+Data lives under {{cwd}}/VibeMath/Projects/<project>/
 (qs/qs.json, Propos/<分类>_Propos.json, Reliable/, Verified/, Verification_logs/, Progress_Logs/, VibeMath_State/)
 and survives restarts via vibe_math_resume.
 
 Key rules to remember when reporting: a problem is "solved" when one of its solutions reaches
 正确概率 = 1; a proposition reaches 布尔估计 = 1/0 when a proof/refutation in its lists reaches
 正确概率 = 1; Propos propositions with 价值/关键性 ≥ promoteValueThreshold auto-promote to qs.json.
+Closure rule (identical across the presets): the 1/0 values above are written ONLY by the scheduler,
+after ≥2 independent verifier agents settle the object (one lone reviewer can never conclude), and
+Verified/ is written by that same scheduler path — an agent's own self-reported 1 is never a conclusion.
 When the user asks about progress, call vibe_math_report and summarize in plain language.
 
 Configuration highlights (all tunable via vibe_math_set_params / the settings file):
@@ -94,7 +102,7 @@ programmatically runs explorer (direction setting) → per-direction solvers (ag
 - vibe_math_status / vibe_math_report — read scheduler status / full progress report (report also writes Progress_Logs/report.json).
 - vibe_math_pause / vibe_math_abort — pause / abort (abort interrupts all children).
 - vibe_math_set_mode {mode: manual|auto} — switch manual / auto control.
-- vibe_math_set_params {...} — tune any parameter (see vibe_math_setup for the full schema; e.g. reportMode file|push|both, promoteValueThreshold, verdictMode flat|forced, formalVerify off|encourage|require).
+- vibe_math_set_params {...} — tune any parameter (see vibe_math_setup for the full schema; e.g. reportMode file|push|both, promoteValueThreshold, verdictMode flat|forced, formalVerify off|encourage|require, finalPaper true|false, paperFormat both|md|tex, paperLanguage zh|en, paperCompilePdf true|false, paperLatexCommand <engine>).
 - vibe_math_setup / vibe_math_save_settings / vibe_math_template — guided configuration / persist defaults / generate template.
 - vibe_math_new_project / vibe_math_set_project / vibe_math_list_projects — per-project folders.
 - vibe_math_list_decisions / vibe_math_decide {id, action: approve|reject|override, verdict?} — resolve manual decisions.
@@ -103,13 +111,21 @@ programmatically runs explorer (direction setting) → per-direction solvers (ag
   verification (execute / archive / list the reuse library). The scheduler's child agents
   use them too; they work in every mode.
 
-A /vibe slash command mirrors the main controls. Data lives under {{cwd}}/VibeMath/Projects/<project>/
+Final paper: strict termination writes Paper/<project>/{paper.md,paper.tex,paper.pdf,paper.meta.json,paper.log.md}
+automatically — a dedicated paper-writing child assembles the solved material (finalPaper=false disables only that
+automatic run). /vibe paper [lang=zh|en] [format=both|md|tex] [force] writes or rewrites it by hand. md/tex follow
+paperFormat; a PDF is produced only when a LaTeX engine is detected and paperCompilePdf is true.
+A /vibe slash command mirrors the main controls (/vibe start|resume|pause|abort|status|report|mode <auto|manual>|setup|save|template [global|project]|add <id> <desc>|add-proposition <id> <概述>|list-propositions|project [list|new <name>|<name>]|decisions|agents|paper [lang=zh|en] [format=both|md|tex] [force]).
+Data lives under {{cwd}}/VibeMath/Projects/<project>/
 (qs/qs.json, Propos/<分类>_Propos.json, Reliable/, Verified/, Verification_logs/, Progress_Logs/, VibeMath_State/)
 and survives restarts via vibe_math_resume.
 
 Key rules to remember when reporting: a problem is "solved" when one of its solutions reaches
 正确概率 = 1; a proposition reaches 布尔估计 = 1/0 when a proof/refutation in its lists reaches
 正确概率 = 1; Propos propositions with 价值/关键性 ≥ promoteValueThreshold auto-promote to qs.json.
+Closure rule (identical across the presets): the 1/0 values above are written ONLY by the scheduler,
+after ≥2 independent verifier agents settle the object (one lone reviewer can never conclude), and
+Verified/ is written by that same scheduler path — an agent's own self-reported 1 is never a conclusion.
 When the user asks about progress, call vibe_math_report and summarize in plain language.
 
 Configuration highlights (all tunable via vibe_math_set_params / the settings file):
@@ -144,7 +160,7 @@ LEAN FORMAL VERIFICATION (formalVerify, a tunable parameter):
 ## vibe-math-v3
 
 - 注册工具数：**33**
-- 斜杠命令 hint：`start|resume|pause|abort|status|report|mode <auto|manual>|setup|save|template [global|project]|add <id> <desc>|add-proposition <id> <概述>|list-propositions|methods|index|plan|lock|project [list|new <name>|<name>]|decisions|agents`
+- 斜杠命令 hint：`start [override]|resume [override]|pause|abort|status|report|mode <auto|manual>|setup|save|template [global|project]|add <id> <desc>|add-proposition <id> <概述>|list-propositions|methods|index|plan|lock|project [list|new <name>|<name>]|decisions|agents|paper [lang=zh|en] [format=both|md|tex] [force]`
 
 ### config.prefix
 
@@ -173,7 +189,8 @@ is experiential reference.
 - vibe_math_add_problem {id, description, priority, dependencies?} — add a problem (creates Problems/<id>.md).
 - vibe_math_add_proposition {id, 概述, 概率, 优先级, 价值/关键性, 分类} — add a proposition (Propos/<分类>/<id>.md).
 - vibe_math_list_propositions — list the proposition knowledge base.
-- vibe_math_start / vibe_math_resume — start / resume the scheduler (resume = continue after checkpoint/restart).
+- vibe_math_start / vibe_math_resume — start / resume the scheduler (resume = continue after checkpoint/restart);
+  both accept override=true to take the project lock over from another session (only after you verified that session is gone).
 - vibe_math_status / vibe_math_report — read status / full progress report (report writes Progress_Logs/report.json + Logs/报告.md).
 - vibe_math_pause / vibe_math_abort — pause / abort.
 - vibe_math_set_mode {mode: manual|auto} — switch manual / auto (manual gates: 计划审批 / 裁决 / 方法晋升).
@@ -181,12 +198,16 @@ is experiential reference.
   plannerEnabled/plannerProvider/plannerModel/plannerPersona, planMinIntervalMs, plannerMaxFails,
   methodKeepIntervalMs/methodKeepEvery, methodAutoPromote, indexAutoRebuild, projectLockTimeoutMs,
   formalVerify/leanCommand/leanArgs/leanTimeoutMs — Lean 形式化验证（off = 默认不额外要求，
-  encourage = 按实现难度自行形式化、Lean 通过后审查对象变为忠实性，require = 同上并加结论门禁）).
+  encourage = 按实现难度自行形式化、Lean 通过后审查对象变为忠实性，require = 同上并加结论门禁）,
+  finalPaper/paperFormat/paperLanguage/paperCompilePdf/paperLatexCommand — 最终论文（收口时自动派遣
+  「论文撰写」子代理，把已收口的解法/命题/成果整理成 Paper/<project>/；finalPaper=false 只关自动触发，
+  /vibe paper 仍可手动触发）。
 - vibe_math_setup / vibe_math_save_settings / vibe_math_template — guided configuration / persist defaults / generate template.
 - vibe_math_plan {force?} — show queued plan / last plan, or force a planning round.
 - vibe_math_index — rebuild State/index.json from the Markdown knowledge base.
 - vibe_math_method_add / vibe_math_method_list — manually add / list method cards (Methods/ + global).
-- vibe_math_lock_status — project lock occupancy.
+- vibe_math_lock_status — project lock occupancy (the lock is a renewed lease: while a session is running it never expires; taking it over needs override=true, or happens automatically once the owner's lease has clearly expired after a crash).
+  Only ONE session may run a project: a second session is refused with PROJECT_LOCKED instead of silently writing the same knowledge base in parallel.
 - vibe_math_new_project / vibe_math_set_project / vibe_math_list_projects — per-project folders.
 - vibe_math_list_decisions / vibe_math_decide {id, action: approve|reject|override, verdict?} — resolve manual decisions.
 - vibe_math_list_agents / vibe_math_message_agent / vibe_math_interrupt_agent — inspect / steer / interrupt subagents.
@@ -194,14 +215,20 @@ is experiential reference.
   verification (execute / archive / list the reuse library). The scheduler's child agents
   use them too; they work in every mode.
 
-A /vibe slash command mirrors the main controls (/vibe start|resume|pause|abort|status|report|mode
-<auto|manual>|setup|save|add <id> <desc>|add-proposition <id> <概述>|list-propositions|methods|index|plan|lock|...).
+A /vibe slash command mirrors the main controls (/vibe start [override]|resume [override]|pause|abort|status|report|mode
+<auto|manual>|setup|save|template [global|project]|add <id> <desc>|add-proposition <id> <概述>|list-propositions|methods|index|plan|lock|project [list|new <name>|<name>]|decisions|agents|paper [lang=zh|en] [format=both|md|tex] [force]).
 Data survives restarts via vibe_math_resume.
 
 Key rules when reporting: a problem is "solved" when one of its 解法候选 entries reaches 概率 = 1
 (the scheduler writes Verified/问题/<id>.md); a proposition reaches 已验证·真/假 when a 证明/证伪
-entry reaches 概率 = 1 (Verified/命题/<id>.md); Propos propositions with 价值/关键性 ≥
-promoteValueThreshold auto-promote into Problems/ as "判断下述命题是否成立：<命题>" (verification
+entry reaches 概率 = 1 (Verified/命题/<id>.md).
+Closure rule (identical across the presets): those 概率 = 1 values are written ONLY by the scheduler,
+after ≥2 independent verifier agents settle the object (a lone reviewer can never conclude; see
+minVotes), and Verified/ is written by that same scheduler path — a self-reported 1 is never a
+conclusion. Propos propositions whose 价值/关键性 ≥
+promoteValueThreshold (write that anchor on the proposition card, or report it as lemmas[].价值/关键性 in
+vibe_math_sync_meta — default 0.5 never promotes) and that are still undecided
+auto-promote into Problems/ as "判断下述命题是否成立：<命题>" (verification
 results sync back to the source proposition); a solver-reported sub-question q_sub registers THREE
 objects (q_sub problem + judge problem + p-tmp temporary-assumption proposition) with full 来源与动机.
 
@@ -250,7 +277,8 @@ is experiential reference.
 - vibe_math_add_problem {id, description, priority, dependencies?} — add a problem (creates Problems/<id>.md).
 - vibe_math_add_proposition {id, 概述, 概率, 优先级, 价值/关键性, 分类} — add a proposition (Propos/<分类>/<id>.md).
 - vibe_math_list_propositions — list the proposition knowledge base.
-- vibe_math_start / vibe_math_resume — start / resume the scheduler (resume = continue after checkpoint/restart).
+- vibe_math_start / vibe_math_resume — start / resume the scheduler (resume = continue after checkpoint/restart);
+  both accept override=true to take the project lock over from another session (only after you verified that session is gone).
 - vibe_math_status / vibe_math_report — read status / full progress report (report writes Progress_Logs/report.json + Logs/报告.md).
 - vibe_math_pause / vibe_math_abort — pause / abort.
 - vibe_math_set_mode {mode: manual|auto} — switch manual / auto (manual gates: 计划审批 / 裁决 / 方法晋升).
@@ -258,12 +286,16 @@ is experiential reference.
   plannerEnabled/plannerProvider/plannerModel/plannerPersona, planMinIntervalMs, plannerMaxFails,
   methodKeepIntervalMs/methodKeepEvery, methodAutoPromote, indexAutoRebuild, projectLockTimeoutMs,
   formalVerify/leanCommand/leanArgs/leanTimeoutMs — Lean 形式化验证（off = 默认不额外要求，
-  encourage = 按实现难度自行形式化、Lean 通过后审查对象变为忠实性，require = 同上并加结论门禁）).
+  encourage = 按实现难度自行形式化、Lean 通过后审查对象变为忠实性，require = 同上并加结论门禁）,
+  finalPaper/paperFormat/paperLanguage/paperCompilePdf/paperLatexCommand — 最终论文（收口时自动派遣
+  「论文撰写」子代理，把已收口的解法/命题/成果整理成 Paper/<project>/；finalPaper=false 只关自动触发，
+  /vibe paper 仍可手动触发）。
 - vibe_math_setup / vibe_math_save_settings / vibe_math_template — guided configuration / persist defaults / generate template.
 - vibe_math_plan {force?} — show queued plan / last plan, or force a planning round.
 - vibe_math_index — rebuild State/index.json from the Markdown knowledge base.
 - vibe_math_method_add / vibe_math_method_list — manually add / list method cards (Methods/ + global).
-- vibe_math_lock_status — project lock occupancy.
+- vibe_math_lock_status — project lock occupancy (the lock is a renewed lease: while a session is running it never expires; taking it over needs override=true, or happens automatically once the owner's lease has clearly expired after a crash).
+  Only ONE session may run a project: a second session is refused with PROJECT_LOCKED instead of silently writing the same knowledge base in parallel.
 - vibe_math_new_project / vibe_math_set_project / vibe_math_list_projects — per-project folders.
 - vibe_math_list_decisions / vibe_math_decide {id, action: approve|reject|override, verdict?} — resolve manual decisions.
 - vibe_math_list_agents / vibe_math_message_agent / vibe_math_interrupt_agent — inspect / steer / interrupt subagents.
@@ -271,14 +303,20 @@ is experiential reference.
   verification (execute / archive / list the reuse library). The scheduler's child agents
   use them too; they work in every mode.
 
-A /vibe slash command mirrors the main controls (/vibe start|resume|pause|abort|status|report|mode
-<auto|manual>|setup|save|add <id> <desc>|add-proposition <id> <概述>|list-propositions|methods|index|plan|lock|...).
+A /vibe slash command mirrors the main controls (/vibe start [override]|resume [override]|pause|abort|status|report|mode
+<auto|manual>|setup|save|template [global|project]|add <id> <desc>|add-proposition <id> <概述>|list-propositions|methods|index|plan|lock|project [list|new <name>|<name>]|decisions|agents|paper [lang=zh|en] [format=both|md|tex] [force]).
 Data survives restarts via vibe_math_resume.
 
 Key rules when reporting: a problem is "solved" when one of its 解法候选 entries reaches 概率 = 1
 (the scheduler writes Verified/问题/<id>.md); a proposition reaches 已验证·真/假 when a 证明/证伪
-entry reaches 概率 = 1 (Verified/命题/<id>.md); Propos propositions with 价值/关键性 ≥
-promoteValueThreshold auto-promote into Problems/ as "判断下述命题是否成立：<命题>" (verification
+entry reaches 概率 = 1 (Verified/命题/<id>.md).
+Closure rule (identical across the presets): those 概率 = 1 values are written ONLY by the scheduler,
+after ≥2 independent verifier agents settle the object (a lone reviewer can never conclude; see
+minVotes), and Verified/ is written by that same scheduler path — a self-reported 1 is never a
+conclusion. Propos propositions whose 价值/关键性 ≥
+promoteValueThreshold (write that anchor on the proposition card, or report it as lemmas[].价值/关键性 in
+vibe_math_sync_meta — default 0.5 never promotes) and that are still undecided
+auto-promote into Problems/ as "判断下述命题是否成立：<命题>" (verification
 results sync back to the source proposition); a solver-reported sub-question q_sub registers THREE
 objects (q_sub problem + judge problem + p-tmp temporary-assumption proposition) with full 来源与动机.
 
@@ -304,7 +342,7 @@ When the user asks about progress, call vibe_math_report and summarize in plain
 ## vibe-math-v4
 
 - 注册工具数：**32**
-- 斜杠命令 hint：`configure|start|resume|pause|abort|status|report|message <to|all> <content>|meeting|members|add|remove|set`
+- 斜杠命令 hint：`configure|start|resume|pause|abort|status|report|message <to|all> <content>|meeting|paper [lang=zh|en] [format=md|tex|both] [editor=office|resident:<id>] [force]|members|add|remove|set`
 
 ### config.prefix
 
@@ -353,7 +391,7 @@ Data lives under {{cwd}}/VibeMath/Projects/<project>/:
 Main controls (recommended flow: configure FIRST, then start):
   - vibe_v4_configure {project?, problem?, params?} — create/configure the project (name, problem, params) WITHOUT starting a run; set everything here first.
   - vibe_v4_start {problem?, residentCount?, seedDirections?} — begin the run (spawn residents, brainstorm). If problem was configured, omit it.
-  - vibe_v4_set {residentCount, compactThreshold, compactAfterRounds, meetingKeepEvery, maxParallel, activityTimeoutMs, stallAutoMeetingMs, verdictMaxRounds, provider, model, residentPersona, toolAllow, toolDeny, formalVerify, leanCommand, leanArgs, leanTimeoutMs} — tune params (persisted to the settings file). provider/model override the residents' LLM route (empty = they inherit YOUR model/provider); toolAllow/toolDeny are per-resident tool permissions (empty = they inherit all tools). stallAutoMeetingMs is the stalled-group auto-sync-meeting threshold (分级保活 B). formalVerify (off|encourage|require, default off) enables Lean formal verification; leanCommand/leanArgs/leanTimeoutMs configure the toolchain.
+  - vibe_v4_set {residentCount, compactThreshold, compactAfterRounds, meetingKeepEvery, maxParallel, activityTimeoutMs, stallAutoMeetingMs, verdictMaxRounds, provider, model, residentPersona, toolAllow, toolDeny, formalVerify, leanCommand, leanArgs, leanTimeoutMs, finalPaper, paperFormat, paperLanguage, paperCompilePdf, paperEditor, paperLatexCommand} — tune params (persisted to the settings file). provider/model override the residents' LLM route (empty = they inherit YOUR model/provider); toolAllow/toolDeny are per-resident tool permissions (empty = they inherit all tools). stallAutoMeetingMs is the stalled-group auto-sync-meeting threshold (分级保活 B). formalVerify (off|encourage|require, default off) enables Lean formal verification; leanCommand/leanArgs/leanTimeoutMs configure the toolchain. The FINAL PAPER is tuned by finalPaper (true|false, default true), paperFormat (both|md|tex), paperLanguage (zh|en), paperCompilePdf (true|false), paperEditor (office|resident:<id>, default office = the human/assistant side finalises) and paperLatexCommand.
   - vibe_v4_resume / vibe_v4_pause / vibe_v4_abort / vibe_v4_status / vibe_v4_report.
   - vibe_v4_message {to|all, content} — inject a message to a resident (human/assistant intervention).
   - vibe_v4_meeting {agenda} — force a meeting.
@@ -363,14 +401,28 @@ Main controls (recommended flow: configure FIRST, then start):
     (execute / archive / list the reuse library). Residents use them too; they work in every mode.
   - vibe_v4_formal_report — human-readable Lean formal-verification mirror (mode, Lean-passed
     objects, recorded blockers, formalization TODO, library paths).
-  - vibe_v4_prompts {which: brainstorm|normal|heartbeat|verify|coreRules, member?, target?, stage?} — read the exact prompt text a resident would receive (prompt auditing; prompt text is the product).
-A /v4 slash command mirrors the main controls (configure|start|resume|pause|abort|status|report|message <to|all> <content>|meeting|members|add|remove|set).
+  - vibe_v4_prompts {which: brainstorm|normal|heartbeat|meeting|verify|coreRules, member?, target?, stage?} — read the exact prompt text a resident would receive (prompt auditing; prompt text is the product).
+A /v4 slash command mirrors the main controls (configure|start [problem]|resume|pause|abort|status|report|message <to|all> <content>|meeting|paper [lang=zh|en] [format=md|tex|both] [editor=office|resident:<id>] [force]|members|add|remove|set <k=v>...).
+Final paper: after the unanimous stop vote the run enters a PAPER phase — every resident writes their part, each
+cross-reviews at least one other part, and the paperEditor finalises (office = the human/assistant side, or one named
+resident); only then is the run marked complete. finalPaper=false skips the phase; /v4 paper [lang=zh|en]
+[format=md|tex|both] [editor=office|resident:<id>] [force] starts or re-runs it by hand.
 
 TRUST RULE: only Verified/ (and Propos/ entries marked 已验证·真/假) are absolutely
 trustworthy; everything else — unverified resident claims, Progress/, Method claims —
 is experiential reference. A proposition / method / theory only reaches Verified/ when
 ALL residents unanimously agree true (or all agree false); otherwise it stays in its
-library with a probability estimate.
+library with a probability estimate. Closure rule (identical across the presets): the framework
+writes the Verified/ card — a resident's own claim never does — and what counts as a vote is
+stated once in the VOTE CONTRACT below.
+
+VOTE CONTRACT: a verification vote is a probability of truth in [0,1], but only an EXACT
+1 (absolutely true) and an EXACT 0 (absolutely false) count as a vote. Anything strictly
+between (0.9, 0.95, 0.5 …) is an ABSTENTION carrying that probability estimate: the run
+does NOT conclude, and the group's MEAN probability is written back to the object's card
+so it stays in its library with a probability. The same absoluteness applies to the
+meeting stop-vote: every resident on the roster must answer `voteSolved:true` — one
+abstention keeps the run alive.
 
 LEAN FORMAL VERIFICATION (formalVerify, a tunable parameter):
   - 'off' (default, no extra requirement) | 'encourage' (the residents decide by implementation
@@ -438,7 +490,7 @@ Data lives under {{cwd}}/VibeMath/Projects/<project>/:
 Main controls (recommended flow: configure FIRST, then start):
   - vibe_v4_configure {project?, problem?, params?} — create/configure the project (name, problem, params) WITHOUT starting a run; set everything here first.
   - vibe_v4_start {problem?, residentCount?, seedDirections?} — begin the run (spawn residents, brainstorm). If problem was configured, omit it.
-  - vibe_v4_set {residentCount, compactThreshold, compactAfterRounds, meetingKeepEvery, maxParallel, activityTimeoutMs, stallAutoMeetingMs, verdictMaxRounds, provider, model, residentPersona, toolAllow, toolDeny, formalVerify, leanCommand, leanArgs, leanTimeoutMs} — tune params (persisted to the settings file). provider/model override the residents' LLM route (empty = they inherit YOUR model/provider); toolAllow/toolDeny are per-resident tool permissions (empty = they inherit all tools). stallAutoMeetingMs is the stalled-group auto-sync-meeting threshold (分级保活 B). formalVerify (off|encourage|require, default off) enables Lean formal verification; leanCommand/leanArgs/leanTimeoutMs configure the toolchain.
+  - vibe_v4_set {residentCount, compactThreshold, compactAfterRounds, meetingKeepEvery, maxParallel, activityTimeoutMs, stallAutoMeetingMs, verdictMaxRounds, provider, model, residentPersona, toolAllow, toolDeny, formalVerify, leanCommand, leanArgs, leanTimeoutMs, finalPaper, paperFormat, paperLanguage, paperCompilePdf, paperEditor, paperLatexCommand} — tune params (persisted to the settings file). provider/model override the residents' LLM route (empty = they inherit YOUR model/provider); toolAllow/toolDeny are per-resident tool permissions (empty = they inherit all tools). stallAutoMeetingMs is the stalled-group auto-sync-meeting threshold (分级保活 B). formalVerify (off|encourage|require, default off) enables Lean formal verification; leanCommand/leanArgs/leanTimeoutMs configure the toolchain. The FINAL PAPER is tuned by finalPaper (true|false, default true), paperFormat (both|md|tex), paperLanguage (zh|en), paperCompilePdf (true|false), paperEditor (office|resident:<id>, default office = the human/assistant side finalises) and paperLatexCommand.
   - vibe_v4_resume / vibe_v4_pause / vibe_v4_abort / vibe_v4_status / vibe_v4_report.
   - vibe_v4_message {to|all, content} — inject a message to a resident (human/assistant intervention).
   - vibe_v4_meeting {agenda} — force a meeting.
@@ -448,14 +500,28 @@ Main controls (recommended flow: configure FIRST, then start):
     (execute / archive / list the reuse library). Residents use them too; they work in every mode.
   - vibe_v4_formal_report — human-readable Lean formal-verification mirror (mode, Lean-passed
     objects, recorded blockers, formalization TODO, library paths).
-  - vibe_v4_prompts {which: brainstorm|normal|heartbeat|verify|coreRules, member?, target?, stage?} — read the exact prompt text a resident would receive (prompt auditing; prompt text is the product).
-A /v4 slash command mirrors the main controls (configure|start|resume|pause|abort|status|report|message <to|all> <content>|meeting|members|add|remove|set).
+  - vibe_v4_prompts {which: brainstorm|normal|heartbeat|meeting|verify|coreRules, member?, target?, stage?} — read the exact prompt text a resident would receive (prompt auditing; prompt text is the product).
+A /v4 slash command mirrors the main controls (configure|start [problem]|resume|pause|abort|status|report|message <to|all> <content>|meeting|paper [lang=zh|en] [format=md|tex|both] [editor=office|resident:<id>] [force]|members|add|remove|set <k=v>...).
+Final paper: after the unanimous stop vote the run enters a PAPER phase — every resident writes their part, each
+cross-reviews at least one other part, and the paperEditor finalises (office = the human/assistant side, or one named
+resident); only then is the run marked complete. finalPaper=false skips the phase; /v4 paper [lang=zh|en]
+[format=md|tex|both] [editor=office|resident:<id>] [force] starts or re-runs it by hand.
 
 TRUST RULE: only Verified/ (and Propos/ entries marked 已验证·真/假) are absolutely
 trustworthy; everything else — unverified resident claims, Progress/, Method claims —
 is experiential reference. A proposition / method / theory only reaches Verified/ when
 ALL residents unanimously agree true (or all agree false); otherwise it stays in its
-library with a probability estimate.
+library with a probability estimate. Closure rule (identical across the presets): the framework
+writes the Verified/ card — a resident's own claim never does — and what counts as a vote is
+stated once in the VOTE CONTRACT below.
+
+VOTE CONTRACT: a verification vote is a probability of truth in [0,1], but only an EXACT
+1 (absolutely true) and an EXACT 0 (absolutely false) count as a vote. Anything strictly
+between (0.9, 0.95, 0.5 …) is an ABSTENTION carrying that probability estimate: the run
+does NOT conclude, and the group's MEAN probability is written back to the object's card
+so it stays in its library with a probability. The same absoluteness applies to the
+meeting stop-vote: every resident on the roster must answer `voteSolved:true` — one
+abstention keeps the run alive.
 
 LEAN FORMAL VERIFICATION (formalVerify, a tunable parameter):
   - 'off' (default, no extra requirement) | 'encourage' (the residents decide by implementation
@@ -479,8 +545,8 @@ When the user asks about progress, call vibe_v4_report and summarize in plain la
 
 ## vibe-math-v5
 
-- 注册工具数：**35**
-- 斜杠命令 hint：`configure|start|resume|pause|stop|status|report|members|message|meeting|hire|fire|add|remove|set`
+- 注册工具数：**37**
+- 斜杠命令 hint：`configure|start|resume|pause|stop|status|report|members|message|meeting|hire|fire|add|remove|set|paper [lang=en] [format=tex] [editor=office] [force]`
 
 ### config.prefix
 
@@ -537,23 +603,27 @@ Data lives under {{cwd}}/VibeMath/Projects/<project>/Institutes/<institute>/:
   Shared/TaskBoard.md (human view), Shared/Chat/<day>.md,
   Shared/Meetings/<id>.md, Shared/Debates/<target>.md,
   Problems/<id>.md, Verified/<kind>/<id>.md (read-only; m-vote only),
-  State/ (a human-readable MIRROR only — the authoritative state is the
-  session log projection; never hand-edit State/).
+  State/ (the AUTHORITATIVE state is State/<institute>.v5state.json in this
+  directory; it is a hardened JSON file, never a host session log. Everything
+  else here and elsewhere in the tree is a human-readable MIRROR — never
+  hand-edit any of it).
 
 Main controls (recommended flow: configure FIRST, then start):
   - vibe_v5_configure {project?, institute?, problem?, params?} — create/configure the institute WITHOUT starting it.
   - vibe_v5_start {problem?, researcherCount?, academician?, seedDirections?} — found the institute (academician + researchers) and begin.
-  - vibe_v5_set {…} — tune params (persisted). provider/model override staff LLM routes (empty = inherit YOUR route); toolAllow/toolDeny restrict staff tools.
+  - vibe_v5_set {…} — tune params (persisted). provider/model override staff LLM routes (empty = inherit YOUR route); toolAllow/toolDeny restrict staff tools; finalPaper/paperFormat/paperLanguage/paperCompilePdf/paperEditor/paperLatexCommand tune the FINAL PAPER.
   - vibe_v5_pause / vibe_v5_resume / vibe_v5_stop / vibe_v5_status / vibe_v5_report.
   - vibe_v5_message {to|all, content} — relay a human message into the institute.
   - vibe_v5_meeting {agenda, kind} — convene a meeting.
   - vibe_v5_members — roster (office/employer/status/direction).
   - vibe_v5_hire / vibe_v5_fire — temp workers: hire one (office, academician or a permanent researcher) / dismiss one for real.
   - vibe_v5_add_researcher / vibe_v5_remove_researcher — OFFICE only: add or dismiss a PERMANENT researcher (the academician can only propose those).
+  - vibe_v5_paper {lang?, format?, editor?, force?} — write the FINAL PAPER: the permanent staff write their own parts, cross-review each other, then the editor finalises. lang/format/editor override this one paper only.
+  - vibe_v5_finalize_paper {decision, note, conclusion?} — OFFICE only when paperEditor=office: consult the institute first (>=1 office message + >=1 meeting), then finalise and put the conclusion in note.
   - vibe_v5_lean_run / vibe_v5_lean_archive / vibe_v5_lean_lib — Lean formal
     verification (execute / archive / list the reuse library). Members use them
     too; they work in every mode.
-A /v5 slash command mirrors these (configure|start|resume|pause|stop|status|report|members|message|meeting|hire|fire|add|remove|set).
+A /v5 slash command mirrors these (configure|start|resume|pause|stop|status|report|members|message|meeting|hire|fire|add|remove|set|paper).
 
 LEAN FORMAL VERIFICATION (formalVerify, a tunable parameter):
   - 'off' (default, no extra requirement) | 'encourage' (members decide by
@@ -634,23 +704,27 @@ Data lives under {{cwd}}/VibeMath/Projects/<project>/Institutes/<institute>/:
   Shared/TaskBoard.md (human view), Shared/Chat/<day>.md,
   Shared/Meetings/<id>.md, Shared/Debates/<target>.md,
   Problems/<id>.md, Verified/<kind>/<id>.md (read-only; m-vote only),
-  State/ (a human-readable MIRROR only — the authoritative state is the
-  session log projection; never hand-edit State/).
+  State/ (the AUTHORITATIVE state is State/<institute>.v5state.json in this
+  directory; it is a hardened JSON file, never a host session log. Everything
+  else here and elsewhere in the tree is a human-readable MIRROR — never
+  hand-edit any of it).
 
 Main controls (recommended flow: configure FIRST, then start):
   - vibe_v5_configure {project?, institute?, problem?, params?} — create/configure the institute WITHOUT starting it.
   - vibe_v5_start {problem?, researcherCount?, academician?, seedDirections?} — found the institute (academician + researchers) and begin.
-  - vibe_v5_set {…} — tune params (persisted). provider/model override staff LLM routes (empty = inherit YOUR route); toolAllow/toolDeny restrict staff tools.
+  - vibe_v5_set {…} — tune params (persisted). provider/model override staff LLM routes (empty = inherit YOUR route); toolAllow/toolDeny restrict staff tools; finalPaper/paperFormat/paperLanguage/paperCompilePdf/paperEditor/paperLatexCommand tune the FINAL PAPER.
   - vibe_v5_pause / vibe_v5_resume / vibe_v5_stop / vibe_v5_status / vibe_v5_report.
   - vibe_v5_message {to|all, content} — relay a human message into the institute.
   - vibe_v5_meeting {agenda, kind} — convene a meeting.
   - vibe_v5_members — roster (office/employer/status/direction).
   - vibe_v5_hire / vibe_v5_fire — temp workers: hire one (office, academician or a permanent researcher) / dismiss one for real.
   - vibe_v5_add_researcher / vibe_v5_remove_researcher — OFFICE only: add or dismiss a PERMANENT researcher (the academician can only propose those).
+  - vibe_v5_paper {lang?, format?, editor?, force?} — write the FINAL PAPER: the permanent staff write their own parts, cross-review each other, then the editor finalises. lang/format/editor override this one paper only.
+  - vibe_v5_finalize_paper {decision, note, conclusion?} — OFFICE only when paperEditor=office: consult the institute first (>=1 office message + >=1 meeting), then finalise and put the conclusion in note.
   - vibe_v5_lean_run / vibe_v5_lean_archive / vibe_v5_lean_lib — Lean formal
     verification (execute / archive / list the reuse library). Members use them
     too; they work in every mode.
-A /v5 slash command mirrors these (configure|start|resume|pause|stop|status|report|members|message|meeting|hire|fire|add|remove|set).
+A /v5 slash command mirrors these (configure|start|resume|pause|stop|status|report|members|message|meeting|hire|fire|add|remove|set|paper).
 
 LEAN FORMAL VERIFICATION (formalVerify, a tunable parameter):
   - 'off' (default, no extra requirement) | 'encourage' (members decide by