tensorgrid-ui 1.4.1 → 1.6.1

package/lib/review-log.js

@@ -0,0 +1,277 @@
+/**
+ * Журнал обзоров: что нашли ревизоры и что из этого подтвердилось.
+ *
+ * ЗАЧЕМ ЭТО НУЖНО
+ *
+ * Ревизор ошибается примерно в трети случаев. Сегодня это проверено трижды:
+ * из четырёх выборочно проверенных находок одна оказалась ложной, причём
+ * обоснованной — ревизор запустил проверку, получил верный результат и
+ * сделал из него неверный вывод, честно пометив, чего не смог проверить.
+ *
+ * Пока приговор выносится в переписке и там же теряется, происходят две
+ * плохие вещи. Пользователь видит только пересказ агента, то есть его
+ * фильтрацию вместе с его ошибками. И никто не знает, какой ревизор на какой
+ * модели чаще прав — а это единственная величина, по которой можно судить,
+ * стоит ли он своих денег.
+ *
+ * КТО СУДИТ
+ *
+ * Не тот, кто смотрит, а тот, кто делал работу. Просить человека, не
+ * разбирающегося в коде, решить «настоящая это ошибка или нет» — значит
+ * просить невозможного и получить в ответ случайные нажатия, которые ещё и
+ * будут выглядеть как данные.
+ *
+ * Поэтому приговор выносит агент и обязан приложить ДОКАЗАТЕЛЬСТВО: что
+ * именно он запустил или прочитал. Человек может возразить, но не обязан
+ * ничего решать.
+ *
+ * Импортируются только встроенные модули Node.
+ */
+import { readFile, rename, writeFile } from 'node:fs/promises'
+import { existsSync } from 'node:fs'
+import { createHash } from 'node:crypto'
+import { dirname, join } from 'node:path'
+import { fileURLToPath } from 'node:url'
+
+const FILE_NAME = 'tensorgrid-review-log.json'
+
+/**
+ * Сколько обзоров храним.
+ *
+ * Журнал нужен для статистики, а не для архива. Двести обзоров — это месяцы
+ * работы, и по ним уже видно, какой ревизор чаще прав. Расти бесконечно
+ * файлу нельзя: его читают при каждом открытии настроек.
+ */
+const MAX_RUNS = 200
+
+/** Допустимые приговоры. Четвёртого состояния нет: неразобранное — «ждёт». */
+export const VERDICTS = ['pending', 'confirmed', 'false', 'deferred']
+
+/** Каталог профиля: поднимаемся, пока не найдём отметку об установке. */
+function findProfileRoot(startDir) {
+  let dir = startDir
+  for (let depth = 0; depth < 10; depth += 1) {
+    if (existsSync(join(dir, 'tensorgrid-installed.json'))) return dir
+    const parent = dirname(dir)
+    if (parent === dir) break
+    dir = parent
+  }
+  return null
+}
+
+/**
+ * Где лежит журнал. Рядом с настройками обзора.
+ *
+ * Каталог ищется ОТ СОБСТВЕННОГО расположения модуля, а не от рабочей
+ * папки. Это важно: рабочую папку задаёт чат, и подложенная в неё отметка
+ * об установке увела бы журнал в чужое дерево. Читают и пишут журнал
+ * разные стороны — агент и браузер, — и указывать они обязаны на один файл.
+ *
+ * @param root - явный каталог; только для проверок, где установленного
+ *   профиля нет вовсе.
+ */
+export function logPath(root = null) {
+  const found = root ?? findProfileRoot(dirname(fileURLToPath(import.meta.url)))
+  return found === null ? null : join(found, FILE_NAME)
+}
+
+/**
+ * Устойчивый признак находки.
+ *
+ * Считается по содержанию, а не по порядковому номеру: тот же дефект,
+ * найденный повторно в следующем обзоре, получит тот же признак, и прежний
+ * приговор к нему подойдёт. Нумерация этого не дала бы — она сдвигается от
+ * любой новой находки выше по списку.
+ */
+export function findingId(finding) {
+  const parts = [finding.reviewer, finding.title, finding.where ?? '']
+  return createHash('sha1').update(parts.join('\u0000')).digest('hex').slice(0, 12)
+}
+
+/** Пустой журнал. Отсутствие файла — не ошибка, а «обзоров ещё не было». */
+export function empty() {
+  return { runs: [], verdicts: {} }
+}
+
+/** Привести прочитанное к ожидаемой форме: файл могли править руками. */
+export function normalise(raw) {
+  if (raw === null || typeof raw !== 'object') return empty()
+
+  const runs = Array.isArray(raw.runs)
+    ? raw.runs.filter((run) => run !== null && typeof run === 'object' && typeof run.id === 'string').slice(-MAX_RUNS)
+    : []
+
+  const verdicts = {}
+  if (raw.verdicts !== null && typeof raw.verdicts === 'object') {
+    for (const [id, entry] of Object.entries(raw.verdicts)) {
+      if (entry === null || typeof entry !== 'object') continue
+      if (!VERDICTS.includes(entry.verdict)) continue
+      verdicts[id] = {
+        verdict: entry.verdict,
+        // Доказательство — обязательная часть приговора, но пустое лучше,
+        // чем потерянная запись: по нему как раз видно, что проверки не было.
+        evidence: typeof entry.evidence === 'string' ? entry.evidence : '',
+        by: entry.by === 'human' ? 'human' : 'agent',
+        at: typeof entry.at === 'string' ? entry.at : null,
+      }
+    }
+  }
+
+  return { runs, verdicts }
+}
+
+/** Прочитать журнал. */
+export async function read(root = null) {
+  const path = logPath(root)
+  if (path === null) return empty()
+  try {
+    return normalise(JSON.parse((await readFile(path, 'utf8')).replace(/^\uFEFF/, '')))
+  } catch {
+    return empty()
+  }
+}
+
+/** Записать журнал через временный файл: чтение не должно увидеть обрезок. */
+async function write(value, root = null) {
+  const path = logPath(root)
+  if (path === null) throw new Error('не найден каталог профиля — некуда писать журнал обзоров')
+  const temporary = `${path}.${process.pid}.${Date.now()}.tmp`
+  await writeFile(temporary, `${JSON.stringify(value, null, 2)}\n`, 'utf8')
+  await rename(temporary, path)
+}
+
+/**
+ * Записать состоявшийся обзор.
+ *
+ * @param run - что спрашивали, кого звали и что нашли.
+ * @returns признак записи и признаки находок — по ним потом выносится приговор.
+ */
+export async function recordRun(run, root = null) {
+  const log = await read(root)
+
+  const findings = (run.findings ?? []).map((finding) => ({
+    id: findingId(finding),
+    reviewer: finding.reviewer,
+    severity: finding.severity,
+    title: finding.title,
+    where: finding.where ?? null,
+    what: finding.what ?? null,
+    why: finding.why ?? null,
+    howToCheck: finding.howToCheck ?? null,
+  }))
+
+  const entry = {
+    id: `run-${Date.now().toString(36)}-${Math.random().toString(36).slice(2, 6)}`,
+    at: new Date().toISOString(),
+    request: typeof run.request === 'string' ? run.request.slice(0, 400) : '',
+    // Модель и усилие сохраняются вместе с находками: без них статистика
+    // точности бессмысленна — «codex ошибается» ничего не значит, если
+    // неизвестно, на какой модели и с каким усилием.
+    reviewers: (run.reviewers ?? []).map((r) => ({
+      provider: r.provider,
+      model: r.model ?? null,
+      effort: r.effort ?? null,
+      failed: r.failed ?? null,
+      found: r.found ?? 0,
+    })),
+    findings,
+  }
+
+  log.runs.push(entry)
+  if (log.runs.length > MAX_RUNS) log.runs = log.runs.slice(-MAX_RUNS)
+
+  await write(log, root)
+  return { runId: entry.id, findingIds: findings.map((f) => f.id) }
+}
+
+/**
+ * Вынести приговор по находке.
+ *
+ * `evidence` не формальность: приговор без доказательства — это мнение, а
+ * инструмент затевался как раз против мнений, выдаваемых за факты.
+ *
+ * @param id - признак находки.
+ * @param verdict - подтверждено, ложная или отложено.
+ * @param evidence - что именно проверено: команда, файл, наблюдение.
+ * @param by - агент или человек; человек перекрывает агента.
+ */
+export async function recordVerdict(id, verdict, evidence, by = 'agent', root = null) {
+  if (!VERDICTS.includes(verdict)) throw new Error(`неизвестный приговор: ${String(verdict)}`)
+
+  const log = await read(root)
+  const existing = log.verdicts[id]
+
+  // Человек перекрывает агента, агент человека — нет. Иначе следующий обзор
+  // молча отменил бы возражение, ради которого всё и затевалось.
+  if (existing !== undefined && existing.by === 'human' && by === 'agent') {
+    return { id, kept: existing, applied: false }
+  }
+
+  const entry = {
+    verdict,
+    evidence: typeof evidence === 'string' ? evidence.slice(0, 800) : '',
+    by: by === 'human' ? 'human' : 'agent',
+    at: new Date().toISOString(),
+  }
+  log.verdicts[id] = entry
+  await write(log, root)
+  return { id, kept: entry, applied: true }
+}
+
+/**
+ * Точность ревизоров по накопленному журналу.
+ *
+ * Считаются ТОЛЬКО находки с вынесенным приговором: непроверенные не значат
+ * ни «правда», ни «ложь», и включать их значило бы врать в обе стороны.
+ * Поэтому рядом с долей всегда стоит, на скольких находках она посчитана —
+ * доля по трём находкам не значит ничего.
+ */
+export function accuracy(log) {
+  const byReviewer = new Map()
+
+  const key = (finding, run) => {
+    const used = (run.reviewers ?? []).find((r) => r.provider === finding.reviewer)
+    const model = used?.model ?? null
+    return model === null ? finding.reviewer : `${finding.reviewer} · ${model}`
+  }
+
+  for (const run of log.runs) {
+    for (const finding of run.findings ?? []) {
+      const verdict = log.verdicts[finding.id]
+      if (verdict === undefined || verdict.verdict === 'pending' || verdict.verdict === 'deferred') continue
+      const name = key(finding, run)
+      const stat = byReviewer.get(name) ?? { reviewer: name, confirmed: 0, wrong: 0 }
+      if (verdict.verdict === 'confirmed') stat.confirmed += 1
+      else stat.wrong += 1
+      byReviewer.set(name, stat)
+    }
+  }
+
+  return [...byReviewer.values()]
+    .map((stat) => ({
+      ...stat,
+      judged: stat.confirmed + stat.wrong,
+      // Доля не округляется до целых процентов в источнике: пусть показ
+      // решает сам, а данные остаются точными.
+      rate: stat.confirmed + stat.wrong === 0 ? null : stat.confirmed / (stat.confirmed + stat.wrong),
+    }))
+    .sort((a, b) => b.judged - a.judged)
+}
+
+/** Находки последнего обзора вместе с приговорами — то, что показывает панель. */
+export function latest(log) {
+  const run = log.runs[log.runs.length - 1]
+  if (run === undefined) return null
+  return {
+    id: run.id,
+    at: run.at,
+    request: run.request,
+    reviewers: run.reviewers,
+    findings: (run.findings ?? []).map((finding) => ({
+      ...finding,
+      verdict: log.verdicts[finding.id]?.verdict ?? 'pending',
+      evidence: log.verdicts[finding.id]?.evidence ?? '',
+      by: log.verdicts[finding.id]?.by ?? null,
+    })),
+  }
+}

package/lib/review-settings.js

@@ -11,6 +11,7 @@
  *
  * Импортируются только встроенные модули Node.
  */
+import { KNOWN } from './reviewers.js'
 import { readFile, rename, writeFile } from 'node:fs/promises'
 import { existsSync } from 'node:fs'
 import { dirname, join } from 'node:path'
@@ -18,8 +19,11 @@ import { fileURLToPath } from 'node:url'
 
 const FILE_NAME = 'tensorgrid-review.json'
 
-/** Ревизоры, которых мы умеем звать. Порядок — порядок показа. */
-export const KNOWN = ['claude-code', 'codex']
+/**
+ * Ревизоры берутся из `reviewers.js` — единственного источника.
+ * Свой литерал здесь был третьим по счёту и расходился бы молча.
+ */
+export { KNOWN } from './reviewers.js'
 
 /**
  * Что допустимо в модели и усилии.
@@ -31,20 +35,85 @@ export const KNOWN = ['claude-code', 'codex']
  * показывает пустое поле, неотличимое от «как настроено».
  */
 const SAFE_VALUE = /^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$/
+const SAFE_ROUTE_VALUE = /^[A-Za-z0-9][A-Za-z0-9._\-\/]{0,95}$/
+
+/**
+ * Режимы обзора — то, чем пользуются, не вникая.
+ *
+ * Сотруднику незачем знать разницу между именами моделей. Ему нужно решить
+ * одно: насколько тщательно проверить. Режим задаёт состав ревизоров и
+ * усилие; кто хочет — открывает подробные настройки и меняет поштучно.
+ *
+ * Модель режимы НЕ задают намеренно: у каждого продукта своя настроена, и
+ * навязывать поверх значило бы ломать то, что человек уже выбрал.
+ */
+export const MODES = {
+  fast: {
+    label: 'Быстрый',
+    hint: 'Один ревизор, обычное усилие. Минуты. Для рядовой работы.',
+    enabled: ['claude-code'],
+    effort: null,
+  },
+  normal: {
+    label: 'Обычный',
+    hint: 'Два разных продукта. Они находят разное — один упускает половину.',
+    enabled: ['claude-code', 'codex'],
+    effort: null,
+  },
+  deep: {
+    label: 'Глубокий',
+    hint: 'Все ревизоры на полном усилии, включая нашего на выбранной модели. Долго и дорого — для того, что увидят люди.',
+    // «Глубокий» означает ВСЕ, а не перечисленных поимённо: иначе добавление
+    // четвёртого ревизора молча оставило бы самый тщательный режим без него.
+    // Остальные режимы называют состав явно — в этом и есть их смысл.
+    enabled: [...KNOWN],
+    effort: 'high',
+  },
+}
+
+/** Режим по умолчанию: два ревизора — проверенная середина. */
+const DEFAULT_MODE = 'normal'
 
 /**
  * Что действует, пока пользователь ничего не выбрал.
  *
- * Оба ревизора включены намеренно: они находят РАЗНОЕ, и один по умолчанию
+ * Два ревизора включены намеренно: они находят РАЗНОЕ, и один по умолчанию
  * означал бы, что половина находок не появится у того, кто в настройки не
  * заглядывал. Модель и усилие пустые — берутся собственные настройки
  * продукта, то есть то, чем человек уже пользуется.
  */
 export function defaults() {
   return {
-    enabled: [...KNOWN],
-    choices: { 'claude-code': { model: null, effort: null }, codex: { model: null, effort: null } },
+    mode: DEFAULT_MODE,
+    enabled: [...MODES[DEFAULT_MODE].enabled],
+    // Записи строятся ПО СПИСКУ, а не перечисляются вручную: перечисление
+    // и было тем третьим источником правды, из-за которого добавление
+    // продукта оставило бы выбор неопределённым, а раздел настроек — упавшим.
+    choices: Object.fromEntries(KNOWN.map((kind) => [kind, { provider: null, model: null, effort: null }])),
+  }
+}
+
+/**
+ * Применить режим, сохранив поштучный выбор моделей.
+ *
+ * Переключение режима меняет СОСТАВ и усилие, но не трогает выбранные
+ * модели: человек, настроивший модель для Codex, не должен терять её
+ * оттого, что разок проверил быстрым режимом.
+ */
+export function applyMode(settings, mode) {
+  const spec = MODES[mode]
+  if (spec === undefined) return settings
+
+  const choices = {}
+  for (const kind of KNOWN) {
+    const previous = settings.choices?.[kind] ?? {}
+    choices[kind] = {
+      provider: previous.provider ?? null,
+      model: previous.model ?? null,
+      effort: spec.effort,
+    }
   }
+  return { mode, enabled: [...spec.enabled], choices }
 }
 
 /**
@@ -94,20 +163,46 @@ export function normalise(raw) {
     // Недопустимое значение отбрасывается молча и превращается в «как
     // настроено»: сохранить его значило бы выключить обзор до тех пор, пока
     // кто-нибудь не догадается открыть файл.
+    //
+    // Наш ревизор ходит по маршруту, где имена содержат косую черту
+    // (`x-ai/grok-4.6`), внешние — по командной строке, где её быть не
+    // должно. Одна общая проверка отвергала бы половину моделей.
+    const allowed = kind === 'internal' ? SAFE_ROUTE_VALUE : SAFE_VALUE
     const pick = (value) => {
       if (typeof value !== 'string') return null
       const trimmed = value.trim()
-      return trimmed !== '' && SAFE_VALUE.test(trimmed) ? trimmed : null
+      return trimmed !== '' && allowed.test(trimmed) ? trimmed : null
     }
     choices[kind] = {
+      provider: pick(source?.provider),
       model: pick(source?.model),
       effort: pick(source?.effort),
     }
   }
 
+  // Режим — подсказка для интерфейса, а не источник состава: состав уже
+  // записан в `enabled`. Неизвестное имя превращается в «свой набор»,
+  // потому что именно им оно и является.
+  const mode = typeof raw.mode === 'string' && MODES[raw.mode] !== undefined ? raw.mode : null
+
   // Пустой список допустим только как осознанный выбор «никого не звать»;
   // отличить его от испорченного файла нельзя, поэтому возвращаем как есть.
-  return { enabled, choices }
+  return { mode: mode ?? matchMode(enabled), enabled, choices }
+}
+
+/**
+ * Узнать режим по составу ревизоров.
+ *
+ * Нужно, когда состав правили поштучно: режим в файле мог остаться от
+ * прошлого выбора и врал бы в интерфейсе. Не совпал ни с одним — значит
+ * набор свой, так и покажем.
+ */
+function matchMode(enabled) {
+  const same = (a, b) => a.length === b.length && a.every((item) => b.includes(item))
+  for (const [name, spec] of Object.entries(MODES)) {
+    if (same(spec.enabled, enabled)) return name
+  }
+  return null
 }
 
 /** Прочитать настройки. Отсутствие файла — не ошибка, а «ничего не выбрано». */