dsh-vibe-math 2.8.0 → 2.8.2

package/tests/v5-institute-fixes.mutants.mjs

@@ -194,13 +194,30 @@ const FAMILIES = [
     to: '只交付 paper.tex 与 paper.md。',
     expect: /\[task-9\] the not-detected warning keeps its tail AND says where it looked/,
   },
+  // RETIRED (task-17, 2.8.1 real-host fix): the former entry here mutated `return [forced]` into the merged
+  // `[forced].concat(order…)`, which used to let an unresolvable explicit command fall through to a real
+  // engine. After task-17 the explicit value is ALSO handed to resolveKnownTool as `explicit` (the explicit
+  // branch probes only it and returns early), so the property is now enforced at TWO independent sites and
+  // NO single-site mutation can defeat it — the merged list merely probes dead candidates. The assertion
+  // itself stays in tests/e2e-v5-round2.test.mjs (`★ [task-10/v5] …degrades`); only the falsifier is retired
+  // (and the task-17 entry below covers the hand-off single-site).
   {
-    // task-10: restoring the merged candidate list lets an unresolvable explicit command fall through
-    // to another engine (the documented rule is "explicit ⇒ only it").
-    name: 'task-10: the explicit LaTeX command falls through to another engine again',
-    from: 'return [forced]',
-    to: 'return [forced].concat(order.filter((n) => n !== forced))',
-    expect: /\[task-10\/v5\] an unresolvable explicit paperLatexCommand degrades/,
+    // task-17 (real host, 2.8.1): probing the explicit value as a BARE COMMAND NAME lets the known-root stage
+    // join it onto every TeX root, so `triedPaths` reports impossible paths. Reverting the hand-off must
+    // redden the guarding assertion by name.
+    name: 'task-17: the explicit paperLatexCommand is probed as a bare command name again (triedPaths gets fake joins)',
+    from: "explicit: forcedTex, kind: 'tex'",
+    to: "explicit: '', kind: 'tex'",
+    expect: /\[task-17\/v5\] an ABSOLUTE explicit paperLatexCommand is probed ALONE/,
+  },
+  {
+    // task-18: the DELIVERED artifacts must say why no PDF was produced (the body is composed before the
+    // compile runs, so the note is written after it). Blunting the zh note must redden that guard BY NAME.
+    // The scenario that guards this runs with lang='en', so the ENGLISH branch is the one to blunt.
+    name: 'task-18: the delivered paper stops stating that no engine was detected',
+    from: ": 'No LaTeX engine detected: tex+md only'",
+    to: ": ''",
+    expect: /\[task-18\/v5\] the DELIVERED paper.md and paper.tex/,
   },
 ]
 let red = 0

package/vibe-math-v4/vibe-math-v4.js

@@ -2998,6 +2998,34 @@ try { ok = await wakeResident(r, await heartbeatPrompt(r), 'normal') } catch(e){
       return await writeText(norm,content)
     }
     function paperLog(line){ const ps=paperState; if(ps) ps.log.push(fmtTime()+'｜'+String(line)) }
+    /**
+     * Compile-outcome note (docs/final-paper.md §D). The paper body is COMPOSED before compilation runs, so
+     * the spec's two conditional bullets in §7 can only fire on a re-entry (where the persisted meta already
+     * carries `compile`). State the outcome in the artifacts the user actually reads instead - ONCE and
+     * idempotently, because finalize can be re-entered. The note text is the SAME string as those bullets, so
+     * the bullet path and this path can never both add it.
+     */
+    async function paperAnnotateCompileOutcome(ps){
+      const res=ps.compile&&ps.compile.result
+      if(res!=='failed'&&res!=='not-detected') return
+      const zh=ps.cfg.language!=='en'
+      const note=res==='failed'
+        ? (zh?'PDF 编译失败：已保留 paper.tex 与 paper.md 并上报':'PDF compilation failed: paper.tex and paper.md were kept and reported')
+        : (zh?'本机未检测到 LaTeX 引擎：只产出 tex+md':'No LaTeX engine detected: tex+md only')
+      if(ps.files.indexOf('paper.md')!==-1){
+        const md=await readText(ps.dir+'/paper.md')
+        if(typeof md==='string'&&md.indexOf(note)===-1) await paperWriteRel(ps.dir+'/paper.md',md.replace(/\s*$/,'')+'\n- '+note+'\n')
+      }
+      if(ps.files.indexOf('paper.tex')!==-1){
+        const tex=await readText(ps.dir+'/paper.tex')
+        if(typeof tex==='string'&&tex.indexOf(note)===-1){
+          const line='% '+note
+          await paperWriteRel(ps.dir+'/paper.tex',tex.indexOf('\\end{document}')!==-1
+            ?tex.replace('\\end{document}',line+'\n\\end{document}')
+            :tex.replace(/\s*$/,'')+'\n'+line+'\n')
+        }
+      }
+    }
     function paperStepLimit(){ return Math.max(PAPER_WAIT_FLOOR_MS, recoverStallMs()*4) }
     function paperCfg(ov){
       const o=ov||{}
@@ -3543,6 +3571,8 @@ try { ok = await wakeResident(r, await heartbeatPrompt(r), 'normal') } catch(e){
       if(ps.cfg.format!=='md'){ if(await paperWriteRel(ps.dir+'/paper.tex',composed.tex)) ps.files.push('paper.tex') }
       ps.compile=await paperCompile(ps,composed,ev)
       if(ps.compile&&ps.compile.result==='ok') ps.files.push('paper.pdf')
+      // The body was composed just above, BEFORE this compile ran, so the outcome is stated HERE (idempotent).
+      await paperAnnotateCompileOutcome(ps)
       ps.finalizedAt=now(); ps.status='done'
       await paperWriteMeta(); await paperWriteLog()
       await paperWriteMeta(); await paperWriteLog()

package/vibe-math-v5/vibe-math-v5.js

@@ -5893,8 +5893,13 @@ export function apply(ctx) {
       }
       const engines = []
       const triedPaths = []   // task-9: union of the known-root candidates probed across THIS detection
+      // task-17: when paperLatexCommand is set, paperEngineCandidates() returns THAT VALUE ALONE. Probing it as
+      // a bare command name made resolveKnownTool join it onto every known TeX root, so `triedPaths` reported
+      // impossible paths like `<MiKTeX root>/Z:/no/such/xelatex.exe` (observed on a real host with 2.8.1).
+      // Handing it over as the EXPLICIT value probes only it (docs/final-paper.md §B); '' keeps auto-detection.
+      const forcedTex = String(params.paperLatexCommand || '').trim()
       for (const name of paperEngineCandidates(lang)) {
-        try { const _vr = await resolveKnownTool(sub, { name, explicit: '', kind: 'tex' }); triedPaths.push(..._vr.tried); const exe = _vr.exe; if (exe) engines.push({ name: String(name), exe: String(exe), via: _vr.via }) } catch (e) { /* not installed */ }
+        try { const _vr = await resolveKnownTool(sub, { name, explicit: forcedTex, kind: 'tex' }); triedPaths.push(..._vr.tried); const exe = _vr.exe; if (exe) engines.push({ name: String(name), exe: String(exe), via: _vr.via }) } catch (e) { /* not installed */ }
       }
       return { engines, triedPaths, reason: engines.length ? '' : ('未检测到 LaTeX 引擎（' + paperEngineCandidates(lang).join('/') + '）') }
     }
@@ -6065,6 +6070,27 @@ export function apply(ctx) {
       // broken engine. Whatever the compile outcome, the DELIVERED tex must be the real,
       // fully-generated one (the attempts are recorded in the meta either way).
       if (p.format !== 'md') await writeTextRel(PAPER_FILE(id, 'paper.tex'), tex)
+      // task-18: the body is composed BEFORE compilation runs, so the outcome cannot live in the sections.
+      // v4 states it in the delivered artifacts since 2.8.1; v5 must too — ONCE and idempotently (finalisation
+      // can be re-entered). The marker sentence is the same family as the warning below, and the presence
+      // check keeps the two paths from ever duplicating it.
+      if (compile.status === 'failed' || compile.status === 'not-detected') {
+        const zhNote = p.lang !== 'en'
+        const note = compile.status === 'failed'
+          ? (zhNote ? 'PDF 编译失败：已保留 paper.tex 与 paper.md 并上报' : 'PDF compilation failed: paper.tex and paper.md were kept and reported')
+          : (zhNote ? '本机未检测到 LaTeX 引擎：只产出 tex+md' : 'No LaTeX engine detected: tex+md only')
+        const annotate = async (rel, file, isTex) => {
+          const cur = await readTextAbs(paperAbs(id, file))
+          if (typeof cur !== 'string' || cur.indexOf(note) !== -1) return
+          const line = (isTex ? '% ' : '- ') + note
+          const next = isTex && cur.indexOf('\\end{document}') !== -1
+            ? cur.replace('\\end{document}', line + '\n\\end{document}')
+            : cur.replace(/\s*$/, '') + '\n' + line + '\n'
+          await writeTextRel(rel, next)
+        }
+        if (p.format !== 'tex') await annotate(PAPER_FILE(id, 'paper.md'), 'paper.md', false)
+        if (p.format !== 'md') await annotate(PAPER_FILE(id, 'paper.tex'), 'paper.tex', true)
+      }
       if (await fileExistsAbs(paperAbs(id, 'paper.pdf'))) files.push('paper.pdf')
       const warnings = (p.warnings || []).slice()
       if (compile.status === 'failed') warnings.push('LaTeX 编译失败（已保留 paper.tex 与 paper.md，不阻塞定稿）：' + (compile.attempts || []).map((a) => a.engine + '/' + a.label + ' exit=' + a.exitCode + (a.message ? '(' + a.message + ')' : '')).join('；'))