tensorgrid-ui 1.4.1 → 1.10.0

package/lib/review.js

@@ -42,13 +42,17 @@
 /**
  * Список ревизоров берётся из ОДНОГО места — `reviewers.js`.
  *
- * Здесь стоял свой список, третий по счёту: ещё один в `review-settings.js`
- * и ещё один в справочнике запуска. Ревизор указал, чем это кончится:
- * добавление третьего продукта в один файл из трёх делает
- * `settings.choices[kind]` неопределённым, и раздел настроек падает целиком
- * — React снимает поддерево, пользователь теряет и остальные настройки.
+ * Здесь стоял свой литерал, а ещё один жил в `review-settings.js`: три
+ * источника правды на один список. Ревизор указал, чем это кончится —
+ * добавление продукта в один файл из трёх делает запись выбора
+ * неопределённой и роняет весь раздел настроек. В прошлый раз я починил
+ * половину и отчитался за целое; следующий обзор это и поймал.
+ *
+ * Импорт статический: `reviewers.js` тянет только встроенные модули Node,
+ * поэтому он загружается везде, где загружается этот файл, — включая тесты
+ * на машине без dsh.
  */
-const KNOWN_REVIEWERS = ['claude-code', 'codex']
+const KNOWN_REVIEWERS = KNOWN
 
 /**
  * Задание ревизору.
@@ -114,9 +118,58 @@ function buildPrompt({ request, paths, focus }) {
   return lines.join('\n')
 }
 
+import { KNOWN } from './reviewers.js'
+
 /** Уровни важности в порядке убывания — по нему сортируется итог. */
-const SEVERITY_ORDER = ['критично', 'серьёзно', 'мелочь']
+const SEVERITY_ORDER = ['критично', 'не указана', 'серьёзно', 'мелочь']
 
+/**
+ * Найти пути, уводящие за пределы рабочей папки.
+ *
+ * Проверка идёт по РЕАЛЬНОМУ пути, а не по написанному: символическая
+ * ссылка внутри папки может указывать наружу, и сравнение строк этого не
+ * увидит. Несуществующий путь не считается выходом — о нём ревизор скажет
+ * сам, и отказывать в обзоре из-за опечатки незачем.
+ *
+ * @param cwd - рабочая папка чата.
+ * @param paths - пути из вызова, возможно отсутствующие.
+ * @returns те из них, что оказались снаружи.
+ */
+async function pathsOutside(cwd, paths) {
+  if (!Array.isArray(paths) || paths.length === 0) return []
+
+  const { realpath } = await import('node:fs/promises')
+  const { isAbsolute, join, relative, resolve } = await import('node:path')
+
+  const settle = async (value) => {
+    try {
+      return await realpath(value)
+    } catch {
+      return resolve(value)
+    }
+  }
+
+  const root = await settle(cwd)
+  const outside = []
+
+  for (const entry of paths) {
+    const text = String(entry)
+    const full = await settle(isAbsolute(text) ? text : join(cwd, text))
+    const step = relative(root, full)
+    // Пустой `step` — это сам корень; `..` в начале — выход наружу.
+    if (step !== '' && (step.startsWith('..') || isAbsolute(step))) outside.push(text)
+  }
+
+  return outside
+}
+
+/** Отсортировать находки: сначала опасные, внутри уровня — по ревизору. */
+function ordered(findings) {
+  return [...findings].sort((a, b) => {
+    const bySeverity = SEVERITY_ORDER.indexOf(a.severity) - SEVERITY_ORDER.indexOf(b.severity)
+    return bySeverity !== 0 ? bySeverity : a.reviewer.localeCompare(b.reviewer)
+  })
+}
 /**
  * Пределы на разбор.
  *
@@ -171,8 +224,6 @@ export function parseFindings(text, reviewer) {
   }
 
   for (const block of blocks) {
-    if (findings.length >= MAX_FINDINGS) break
-
     const [titleLine, ...rest] = block.split('\n')
     // Жирная разметка вокруг названий полей снимается: модели любят её
     // добавлять, а без этого поле просто не находилось и содержимое терялось.
@@ -195,12 +246,18 @@ export function parseFindings(text, reviewer) {
     }
 
     const severityRaw = (field('ВАЖНОСТЬ') ?? '').toLowerCase()
-    const severity = SEVERITY_ORDER.find((level) => severityRaw.includes(level)) ?? 'мелочь'
+    // Важность, которую ревизор не указал, ОТМЕЧАЕТСЯ как неуказанную.
+    //
+    // Прежде она молча становилась «мелочью», и критичная находка с
+    // пропущенной строкой уезжала в самый низ списка — туда, куда не
+    // смотрят. Теперь неуказанная идёт СРАЗУ ПОСЛЕ критичных: пусть лучше
+    // человек прочтёт лишнее, чем пропустит важное.
+    const severity = SEVERITY_ORDER.find((level) => severityRaw.includes(level))
 
     findings.push({
       reviewer,
       title: clip(titleLine.replace(/\*\*/g, '').trim()),
-      severity,
+      severity: severity ?? 'не указана',
       where: field('ГДЕ'),
       what: field('ЧТО НЕ ТАК'),
       why: field('ПОЧЕМУ ЭТО ВАЖНО'),
@@ -208,7 +265,25 @@ export function parseFindings(text, reviewer) {
     })
   }
 
-  return findings
+  // Предел применяется ПОСЛЕ сортировки по важности, а не по ходу разбора.
+  //
+  // Раньше обрезка шла по порядку в тексте: критичная находка на 61-м месте
+  // пропадала, а шестьдесят мелочей выше неё оставались. Ревизор выкладывает
+  // находки не по важности, так что порядок в тексте ничего не значит.
+  if (findings.length <= MAX_FINDINGS) return findings
+
+  const kept = ordered(findings).slice(0, MAX_FINDINGS)
+  kept.push({
+    reviewer,
+    title: `показаны не все находки: ${findings.length - MAX_FINDINGS} отброшено`,
+    severity: 'мелочь',
+    where: null,
+    what: `Ревизор вернул ${findings.length} находок, показаны ${MAX_FINDINGS} самых важных.`,
+    why: 'Остальные отброшены, чтобы обзор не вытеснил из работы то, что он проверял.',
+    howToCheck: null,
+    truncationNotice: true,
+  })
+  return kept
 }
 
 /**
@@ -221,6 +296,7 @@ async function askReviewer(ctx, runReviewer, kind, prompt, cwd, choice, signal)
   const outcome = await runReviewer(ctx, kind, {
     prompt,
     cwd,
+    provider: choice?.provider ?? null,
     model: choice?.model ?? null,
     effort: choice?.effort ?? null,
     signal,
@@ -235,19 +311,18 @@ async function askReviewer(ctx, runReviewer, kind, prompt, cwd, choice, signal)
   return { provider: kind, failed: null, findings: parseFindings(outcome.answer, kind), ...used }
 }
 
-/** Отсортировать находки: сначала опасные, внутри уровня — по ревизору. */
-function ordered(findings) {
-  return [...findings].sort((a, b) => {
-    const bySeverity = SEVERITY_ORDER.indexOf(a.severity) - SEVERITY_ORDER.indexOf(b.severity)
-    return bySeverity !== 0 ? bySeverity : a.reviewer.localeCompare(b.reviewer)
-  })
-}
-
 /** Человекочитаемый вид итога. */
 export function render(value) {
   const lines = []
 
-  if (value.reviewers.length === 0) {
+  // Массив ревизоров может отсутствовать: схема результата его не требует,
+  // и любой ранний выход из инструмента давал объект без него. Обращение к
+  // `.length` роняло отрисовку — то есть пользователь вместо объяснения
+  // получал ошибку инструмента.
+  const reviewers = Array.isArray(value.reviewers) ? value.reviewers : []
+  const findings = Array.isArray(value.findings) ? value.findings : []
+
+  if (reviewers.length === 0) {
     // Настоящая причина приходит в `problem` и обязана быть показана.
     //
     // Здесь стояла одна фраза на все случаи — про несмонтированные
@@ -260,18 +335,18 @@ export function render(value) {
       : 'Обзор не выполнен: ни один ревизор не выбран.'
   }
 
-  const failed = value.reviewers.filter((r) => r.failed !== null)
-  const worked = value.reviewers.filter((r) => r.failed === null)
+  const failed = reviewers.filter((r) => r.failed !== null)
+  const worked = reviewers.filter((r) => r.failed === null)
 
-  lines.push(`Ревизоров опрошено: ${worked.length} из ${value.reviewers.length}. Находок: ${value.findings.length}.`)
+  lines.push(`Ревизоров опрошено: ${worked.length} из ${reviewers.length}. Находок: ${findings.length}.`)
   for (const entry of failed) lines.push(`  ✗ ${entry.provider} — ${entry.failed}`)
   lines.push('')
 
-  if (value.findings.length === 0) {
+  if (findings.length === 0) {
     // «Находок нет» говорится ТОЛЬКО когда обзор действительно состоялся.
     // Отказ или отмена, поданные как чистый результат, — худшее, что этот
     // инструмент может сделать: пользователь сочтёт работу проверенной.
-    const cancelled = value.reviewers.some((entry) => entry.cancelled === true)
+    const cancelled = reviewers.some((entry) => entry.cancelled === true)
     if (cancelled) lines.push('Обзор отменён — судить не по чему.')
     else if (worked.length === 0) lines.push('Судить не по чему: не ответил ни один ревизор.')
     else lines.push('Находок нет.')
@@ -280,7 +355,7 @@ export function render(value) {
 
   // Сортируем здесь, а не полагаемся на вызывающего: опасное должно быть
   // сверху при любом способе получить эти данные.
-  for (const finding of ordered(value.findings)) {
+  for (const finding of ordered(findings)) {
     lines.push(`### ${finding.title}   [${finding.severity}] — ${finding.reviewer}`)
     if (finding.where) lines.push(`ГДЕ: ${finding.where}`)
     if (finding.what) lines.push(`ЧТО НЕ ТАК: ${finding.what}`)
@@ -292,7 +367,7 @@ export function render(value) {
   // Совпадение двух независимых ревизоров — сильный признак: они друг друга
   // не видели. Расхождение тоже полезно, но его надо проверять самому.
   const byReviewer = new Map()
-  for (const finding of value.findings) {
+  for (const finding of findings) {
     byReviewer.set(finding.reviewer, (byReviewer.get(finding.reviewer) ?? 0) + 1)
   }
   lines.push(`По ревизорам: ${[...byReviewer].map(([name, count]) => `${name} — ${count}`).join(', ')}.`)
@@ -358,12 +433,31 @@ export async function apply(ctx) {
         const { readSettings } = await import('./review-settings.js')
 
         // Рабочая папка берётся у сессии, как это делают поставочные
-        // провайдеры: ревизор должен смотреть тот же код, что и автор.
+        // провайдеры: ревизор смотрит ту же папку, в которой идёт работа.
         const cwd = exec.agent?.session?.header?.cwd
         if (typeof cwd !== 'string' || cwd === '') {
           return { findings: [], reviewers: [], problem: 'у сессии нет рабочей папки — обзору нечего смотреть' }
         }
 
+        // Ревизор не выходит за папку чата.
+        //
+        // Он запускается с правами на чтение, и без этой проверки путь вида
+        // `../../` или абсолютный увёл бы его в чужое дерево — к переписке,
+        // документам, настройкам других программ. Отказ явный, с указанием
+        // пути: молчаливое усечение списка выглядело бы как обзор, который
+        // просто ничего не нашёл.
+        const outside = await pathsOutside(cwd, args.paths)
+        if (outside.length > 0) {
+          return {
+            findings: [],
+            reviewers: [],
+            problem:
+              `эти пути вне рабочей папки чата: ${outside.join(', ')}. ` +
+              'Ревизор читает только папку, в которой идёт работа. Чтобы посмотреть другую, ' +
+              'откройте чат в ней или разрешите доступ явно.',
+          }
+        }
+
         // Выбор пользователя из настроек; вызов может его перекрыть.
         const settings = await readSettings(cwd)
         const asked = Array.isArray(args.reviewers) && args.reviewers.length > 0
@@ -387,19 +481,98 @@ export async function apply(ctx) {
         // Спрашиваем ОБОИХ разом: они независимы, и последовательный опрос
         // удвоил бы ожидание без всякой пользы.
         const answers = await Promise.all(
-          wanted.map((kind) => askReviewer(ctx, runReviewer, kind, prompt, cwd, settings.choices[kind], exec.signal)),
+          wanted.map((kind) =>
+            askReviewer(
+              // Наш ревизор заводит подагента, и тому нужен родитель —
+              // агент, от имени которого идёт вызов. Внешним он не нужен.
+              { ...ctx, get: (name) => ctx.get(name), reviewParent: exec.agent },
+              runReviewer,
+              kind,
+              prompt,
+              cwd,
+              settings.choices[kind],
+              exec.signal,
+            ),
+          ),
         )
 
+        const findings = ordered(answers.flatMap((entry) => entry.findings))
+        const reviewers = answers.map((entry) => ({
+          provider: entry.provider,
+          failed: entry.failed,
+          cancelled: entry.cancelled === true,
+          found: entry.findings.length,
+          model: entry.model,
+          effort: entry.effort,
+        }))
+
+        // Обзор записывается в журнал — иначе приговор выносится в переписке
+        // и там же теряется. Без записи никто не узнает, какой ревизор на
+        // какой модели чаще прав, а это единственная величина, по которой
+        // видно, стоит ли он своих денег.
+        //
+        // Неудача записи НЕ отменяет обзор: находки важнее статистики.
+        let recorded = null
+        try {
+          const { recordRun } = await import('./review-log.js')
+          recorded = await recordRun({ request: args.request, reviewers, findings })
+        } catch {
+          recorded = null
+        }
+
         return {
-          findings: ordered(answers.flatMap((entry) => entry.findings)),
-          reviewers: answers.map((entry) => ({
-            provider: entry.provider,
-            failed: entry.failed,
-            cancelled: entry.cancelled === true,
-            found: entry.findings.length,
-            model: entry.model,
-            effort: entry.effort,
-          })),
+          findings: recorded === null
+            ? findings
+            : findings.map((finding, index) => ({ ...finding, id: recorded.findingIds[index] })),
+          reviewers,
+          ...(recorded === null
+            ? { note: 'журнал обзоров недоступен — приговоры не сохранятся' }
+            : { runId: recorded.runId }),
+        }
+      },
+    }),
+  )
+
+  ctx.tools.register(
+    defineTool({
+      name: 'review_verdict',
+      description:
+        'Record your verdict on one finding from the last second_opinion review, with the evidence you gathered. ' +
+        'Roughly a third of findings are wrong — often plausibly wrong, reasoned from real evidence toward a false conclusion. ' +
+        'Verify before you judge: run it, read the surrounding code, reproduce the steps the reviewer gave. ' +
+        'The evidence field is not a formality: a verdict without it is an opinion, and this whole tool exists against opinions passed off as facts. ' +
+        'Call this once per finding after a review, before telling the user what you are going to fix.',
+      parameters: {
+        id: { type: 'string', required: true, description: 'Finding id returned by second_opinion.' },
+        verdict: {
+          type: 'string',
+          required: true,
+          enum: ['confirmed', 'false', 'deferred'],
+          description: 'confirmed — you reproduced or proved it; false — you proved it wrong; deferred — real but not worth acting on now.',
+        },
+        evidence: {
+          type: 'string',
+          required: true,
+          description:
+            'What exactly you checked: the command you ran and its result, the file and line you read, the behaviour you observed. ' +
+            'Not "looks right" — what you actually did.',
+        },
+      },
+      output: {
+        schema: { type: 'object', additionalProperties: true },
+        render: (_args, value) => [{ type: 'text', text: value.text ?? '' }],
+      },
+      async execute(args) {
+        try {
+          const { recordVerdict } = await import('./review-log.js')
+          const result = await recordVerdict(args.id, args.verdict, args.evidence, 'agent')
+          if (result.applied === false) {
+            return { text: `Приговор не изменён: по этой находке уже высказался человек (${result.kept.verdict}).` }
+          }
+          const names = { confirmed: 'подтверждено', false: 'ложная', deferred: 'отложено' }
+          return { text: `Записано: ${names[args.verdict]} — ${args.evidence.slice(0, 120)}` }
+        } catch (error) {
+          return { text: `Записать не удалось: ${String(error?.message ?? error)}` }
         }
       },
     }),