tensorgrid-ui 1.4.0 → 1.6.1

package/lib/review.js

@@ -39,8 +39,20 @@
  * ошибку одной строки вместо обрушения всего ряда.
  */
 
-/** Провайдеры, которых зовём. Порядок влияет только на вывод. */
-const REVIEWERS = ['claude-code', 'codex']
+/**
+ * Список ревизоров берётся из ОДНОГО места — `reviewers.js`.
+ *
+ * Здесь стоял свой литерал, а ещё один жил в `review-settings.js`: три
+ * источника правды на один список. Ревизор указал, чем это кончится —
+ * добавление продукта в один файл из трёх делает запись выбора
+ * неопределённой и роняет весь раздел настроек. В прошлый раз я починил
+ * половину и отчитался за целое; следующий обзор это и поймал.
+ *
+ * Импорт статический: `reviewers.js` тянет только встроенные модули Node,
+ * поэтому он загружается везде, где загружается этот файл, — включая тесты
+ * на машине без dsh.
+ */
+const KNOWN_REVIEWERS = KNOWN
 
 /**
  * Задание ревизору.
@@ -106,45 +118,146 @@ 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)
+  })
+}
+/**
+ * Пределы на разбор.
+ *
+ * Ответ приходит из отдельного процесса и ничем не ограничен: многословная
+ * или сорвавшаяся в повтор модель способна выдать мегабайт. Всё это уходит в
+ * контекст вызывающего агента — то есть стоит дороже самого обзора и
+ * способно вытеснить ту работу, которую обзор проверял.
+ */
+const MAX_FINDINGS = 60
+const MAX_FIELD_CHARS = 1200
+
+/** Обрезать поле, не притворяясь, что ничего не обрезали. */
+function clip(value) {
+  if (value === null) return null
+  return value.length <= MAX_FIELD_CHARS ? value : `${value.slice(0, MAX_FIELD_CHARS)}… (обрезано)`
+}
 
 /**
  * Разобрать ответ ревизора в список находок.
  *
  * Разбор намеренно снисходительный: ревизор — языковая модель, и точного
- * соблюдения формата от неё ждать нельзя. Не разобранное не выбрасывается,
- * а попадает в `raw`: потерять находку из-за лишнего пробела хуже, чем
- * показать её неразмеченной.
+ * соблюдения формата от неё ждать нельзя. Пропущенное поле даёт null, а не
+ * теряет находку; жирная разметка вокруг названий полей снимается.
+ *
+ * Текст БЕЗ единого заголовка не выбрасывается, а возвращается одной
+ * находкой с пометкой «не по формату». Прежде такой ответ превращался в
+ * пустой список, то есть в «находок нет» — и сообщение продукта об истёкшем
+ * входе выглядело справкой о чистоте кода.
  */
 export function parseFindings(text, reviewer) {
   const source = String(text ?? '')
-  if (/^\s*НАХОДОК НЕТ\s*$/im.test(source) && !source.includes('###')) return []
+  if (source.trim() === '') return []
+  if (/^\s*НАХОДОК НЕТ\s*$/im.test(source) && !/^\s*#{2,3}\s+/m.test(source)) return []
 
   const findings = []
-  const blocks = source.split(/^###\s+/m).slice(1)
+  // Заголовок распознаётся только в начале строки и не глубже третьего
+  // уровня: `###` внутри примера кода в поле «КАК ПРОВЕРИТЬ» иначе разрывал
+  // находку надвое, и вторая половина уезжала в конец списка без важности.
+  const blocks = source.split(/^#{2,3}[ \t]+/m).slice(1)
+
+  if (blocks.length === 0) {
+    return [{
+      reviewer,
+      title: 'ответ не по формату',
+      severity: 'мелочь',
+      where: null,
+      what: clip(source.trim()),
+      why: 'Ревизор ответил не по заданному образцу — возможно, это сообщение об ошибке, а не обзор.',
+      howToCheck: null,
+      unparsed: true,
+    }]
+  }
 
   for (const block of blocks) {
     const [titleLine, ...rest] = block.split('\n')
-    const body = rest.join('\n')
+    // Жирная разметка вокруг названий полей снимается: модели любят её
+    // добавлять, а без этого поле просто не находилось и содержимое терялось.
+    const body = rest.join('\n').replace(/\*\*/g, '')
+
     // Поле тянется до следующего заголовка или до конца блока.
     //
     // Флаг `m` здесь недопустим: с ним `$` означает конец СТРОКИ, и
     // объяснение обрывалось на первой же — а ревизор объясняет развёрнуто,
     // и вторая строка обычно и есть самое полезное. Начало строки
     // обеспечивается явным `(?:^|\n)`, конец блока — `$` без `m`.
+    //
+    // Следующим полем считается только ИЗВЕСТНОЕ название, а не любая
+    // строка из заглавных букв с двоеточием: «ИТОГО:» внутри объяснения
+    // обрывал поле на середине.
+    const NEXT = '(?:ВАЖНОСТЬ|ГДЕ|ЧТО НЕ ТАК|ПОЧЕМУ ЭТО ВАЖНО|КАК ПРОВЕРИТЬ)'
     const field = (label) => {
-      const match = body.match(new RegExp(`(?:^|\\n)${label}:\\s*([\\s\\S]+?)(?=\\n[А-ЯЁ ]{3,}:|$)`))
-      return match === null ? null : match[1].trim()
+      const match = body.match(new RegExp(`(?:^|\\n)${label}:\\s*([\\s\\S]+?)(?=\\n${NEXT}:|$)`))
+      return match === null ? null : clip(match[1].trim())
     }
 
     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: titleLine.trim(),
-      severity,
+      title: clip(titleLine.replace(/\*\*/g, '').trim()),
+      severity: severity ?? 'не указана',
       where: field('ГДЕ'),
       what: field('ЧТО НЕ ТАК'),
       why: field('ПОЧЕМУ ЭТО ВАЖНО'),
@@ -152,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
 }
 
 /**
@@ -165,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,
@@ -173,43 +305,57 @@ async function askReviewer(ctx, runReviewer, kind, prompt, cwd, choice, signal)
   const used = { model: choice?.model ?? null, effort: choice?.effort ?? null }
 
   if (outcome.failed !== null) {
-    return { provider: kind, failed: outcome.failed, findings: [], ...used }
+    return { provider: kind, failed: outcome.failed, cancelled: outcome.cancelled === true, findings: [], ...used }
   }
 
   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) {
-    return 'Ни один ревизор не доступен: провайдеры подагентов не смонтированы.'
+  // Массив ревизоров может отсутствовать: схема результата его не требует,
+  // и любой ранний выход из инструмента давал объект без него. Обращение к
+  // `.length` роняло отрисовку — то есть пользователь вместо объяснения
+  // получал ошибку инструмента.
+  const reviewers = Array.isArray(value.reviewers) ? value.reviewers : []
+  const findings = Array.isArray(value.findings) ? value.findings : []
+
+  if (reviewers.length === 0) {
+    // Настоящая причина приходит в `problem` и обязана быть показана.
+    //
+    // Здесь стояла одна фраза на все случаи — про несмонтированные
+    // провайдеры подагентов. Механизм, которым этот код давно не
+    // пользуется: продукты зовутся напрямую. Пользователь, снявший обе
+    // галочки, получал объяснение про постороннюю неисправность и шёл чинить
+    // не то. Оба ревизора нашли это независимо.
+    return typeof value.problem === 'string' && value.problem !== ''
+      ? `Обзор не выполнен: ${value.problem}`
+      : 'Обзор не выполнен: ни один ревизор не выбран.'
   }
 
-  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) {
-    lines.push(worked.length === 0 ? 'Судить не по чему: не ответил ни один ревизор.' : 'Находок нет.')
+  if (findings.length === 0) {
+    // «Находок нет» говорится ТОЛЬКО когда обзор действительно состоялся.
+    // Отказ или отмена, поданные как чистый результат, — худшее, что этот
+    // инструмент может сделать: пользователь сочтёт работу проверенной.
+    const cancelled = reviewers.some((entry) => entry.cancelled === true)
+    if (cancelled) lines.push('Обзор отменён — судить не по чему.')
+    else if (worked.length === 0) lines.push('Судить не по чему: не ответил ни один ревизор.')
+    else lines.push('Находок нет.')
     return lines.join('\n')
   }
 
   // Сортируем здесь, а не полагаемся на вызывающего: опасное должно быть
   // сверху при любом способе получить эти данные.
-  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}`)
@@ -221,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(', ')}.`)
@@ -266,7 +412,7 @@ export async function apply(ctx) {
         },
         reviewers: {
           type: 'array',
-          items: { type: 'string', enum: REVIEWERS },
+          items: { type: 'string', enum: KNOWN_REVIEWERS },
           description:
             'Which reviewers to ask. Defaults to both — they find different things, and asking one guarantees missing half.',
         },
@@ -287,20 +433,47 @@ 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 wanted = Array.isArray(args.reviewers) && args.reviewers.length > 0
+        const asked = Array.isArray(args.reviewers) && args.reviewers.length > 0
           ? args.reviewers
           : settings.enabled
 
+        // Повторы отбрасываются, и это не придирка: `reviewers` заполняет
+        // модель, а список из ста одинаковых имён запустил бы сто платных
+        // процессов разом — по одному на каждый элемент.
+        const wanted = [...new Set(asked)].filter((kind) => KNOWN_REVIEWERS.includes(kind))
+
         if (wanted.length === 0) {
-          return { findings: [], reviewers: [], problem: 'в настройках не выбран ни один ревизор' }
+          const problem = asked.length === 0
+            ? 'не выбран ни один ревизор — включите их в настройках'
+            : `неизвестные ревизоры: ${[...new Set(asked)].join(', ')}`
+          return { findings: [], reviewers: [], problem }
         }
 
         const prompt = buildPrompt(args)
@@ -308,18 +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,
-            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)}` }
         }
       },
     }),