@7n/llm-lib 2.9.0 → 2.9.2

package/CHANGELOG.md

@@ -1,5 +1,17 @@
 # Changelog
 
+## [2.9.2] - 2026-07-26
+
+### Fixed
+
+- Pi transport errors із `message_end` більше не маскуються як порожнє успішне завершення.
+
+## [2.9.1] - 2026-07-25
+
+### Fixed
+
+- Виправлено profile генерації тестів для survived Stryker-мутантів
+
 ## [2.9.0] - 2026-07-25
 
 ### Added

package/lib/agent-fix.mjs

@@ -106,10 +106,11 @@ function astUnavailable() {
  * джерелом правди — тут лише рання й точніша петля всередині рунга.
  * @param {{ session: object, verify: (args: { touchedFiles: string[] }) => Promise<{ ok: boolean, output?: string }> | { ok: boolean, output?: string },
  *   verifyMax: number, timeoutMs: number, startedAt: number, clock: () => number,
- *   guard: { touchedFiles: () => string[] }, fixPrompt: string }} args контекст петлі.
+ *   guard: { touchedFiles: () => string[] }, fixPrompt: string,
+ *   getTransportError: () => string|null }} args контекст петлі.
  * @returns {Promise<{ verifyAttempts: Array<{ ok: boolean, infra?: boolean }>, error: string|null }>} результат петлі.
  */
-async function runVerifyLoop({ session, verify, verifyMax, timeoutMs, startedAt, clock, guard, fixPrompt }) {
+async function runVerifyLoop({ session, verify, verifyMax, timeoutMs, startedAt, clock, guard, fixPrompt, getTransportError }) {
   const verifyAttempts = []
   for (let attempt = 0; ; attempt++) {
     let evidence
@@ -137,6 +138,8 @@ async function runVerifyLoop({ session, verify, verifyMax, timeoutMs, startedAt,
       failOnMemoryGuard(promptError.message, fixPrompt)
       return { verifyAttempts, error: promptError.message }
     }
+    const transportError = getTransportError()
+    if (transportError) return { verifyAttempts, error: transportError }
   }
 }
 
@@ -414,6 +417,7 @@ export async function runAgentFix(ruleId, violation, cwd, opts = {}) {
   let turnCount = 0
   let toolCallCount = 0
   let backstopHit = false
+  let transportError = null
   session.subscribe(event => {
     switch (event.type) {
       case 'turn_start': {
@@ -435,9 +439,16 @@ export async function runAgentFix(ruleId, violation, cwd, opts = {}) {
       }
       case 'message_end': {
         const t = turns.at(-1)
-        if (t && event.message?.usage) {
-          t.usage = event.message.usage
-          t.finish = event.message.stopReason ?? null
+        if (t) {
+          t.usage = event.message?.usage ?? null
+          t.finish = event.message?.stopReason ?? null
+        }
+        if (event.message?.stopReason === 'error') {
+          const messageError = event.message.errorMessage
+          transportError ??=
+            typeof messageError === 'string' && messageError.trim()
+              ? messageError
+              : 'LLM transport завершився з помилкою без повідомлення'
         }
         break
       }
@@ -466,11 +477,22 @@ export async function runAgentFix(ruleId, violation, cwd, opts = {}) {
     error = promptError.message
     failOnMemoryGuard(error, fixPrompt)
   }
+  if (!error && transportError) error = transportError
 
   // Evidence-гейт: verify → (не ok) → фідбек у ТУ САМУ сесію (див. runVerifyLoop).
   let verifyAttempts = []
   if (verify && !error) {
-    const loop = await runVerifyLoop({ session, verify, verifyMax, timeoutMs, startedAt, clock, guard, fixPrompt })
+    const loop = await runVerifyLoop({
+      session,
+      verify,
+      verifyMax,
+      timeoutMs,
+      startedAt,
+      clock,
+      guard,
+      fixPrompt,
+      getTransportError: () => transportError
+    })
     verifyAttempts = loop.verifyAttempts
     error = loop.error
   }

package/lib/docs/agent-fix.md

@@ -3,25 +3,41 @@ type: JS Module
 title: agent-fix.mjs
 resource: llm-lib/lib/agent-fix.mjs
 docgen:
-  crc: 907ba309
+  crc: 73c7797b
   model: openai-codex/gpt-5.4-mini
   tier: cloud-min
-  score: 55
-  issues: no-overview,short-behavior,best-of-2:retry-lost
+  score: 90
+  issues: internal-name:runVerifyLoop,judge-refine:kept-original,judge:inaccurate:0.98
+  judgeModel: openai-codex/gpt-5.4-mini
 ---
 
+## Огляд
+
+`buildVerifyFeedbackPrompt`, `buildFixPrompt` і `runAgentFix` описують локальний agent-fix цикл: перші дві функції формують промпти для перевірки та виправлення, а `runAgentFix` запускає саму спробу правки. Це потрібно, щоб тримати зміни в межах заданого `violation` і пов’язаного контексту та віддавати керований результат для подальшого кроку.
+
+Усі публічні точки входу працюють fail-safe: помилки перехоплюються всередині, назовні винятки не виходять.
+
+## Поведінка
+
+Поточний `violation` стає джерелом правди для стартового fix-пrompt, а `ruleText`, `feedback`, `targetFiles`, `sourceFiles` і `editMode` лише уточнюють межі та контекст правки. `buildFixPrompt` формує жорстко обмежений запит на механічні зміни, щоб агент не розмивав помилку семантичними “виправленнями” поза дозволеними файлами; далі цей prompt передається в ту саму сесію, де виконуються правки, і після цього запускається внутрішня verify-петля.
+
+`runAgentFix` оркеструє один рунг від старту до завершення: створює сесію, дає їй prompt для правки, збирає результати редагування, а потім передає контроль у verify-loop. Якщо перевірка повертає порушення, `buildVerifyFeedbackPrompt` перетворює їх на фідбек для тієї ж сесії, щоб ітерація була локальною і не втрачала вже зроблені зміни.
+
+`runVerifyLoop` зупиняється лише коли перевірка стає ok, вичерпується ліміт спроб або закінчується спільний time budget рунга; він не заводить нові таймери й не маскує помилки самої перевірки. Якщо перевірка падає як інфраструктура, це повертається як помилка без спалювання ітерацій. Фінальний результат `runAgentFix` завжди fail-safe: або застосована правка з переліком touched files і telemetry, або контрольована помилка з можливістю rollback.
+
 ## Публічний API
 
 - buildVerifyFeedbackPrompt — Будує фідбек-prompt verify-ітерації: точний вивід canonical-перевірки + нагадування
-обмежень (той самий semantic-collateral guard, що й у buildFixPrompt).
+  обмежень (той самий semantic-collateral guard, що й у buildFixPrompt).
 - buildFixPrompt — Будує fix-промпт для рунга: правило + порушення + (опц.) target-файли + (опц.) feedback
-попереднього провалу + жорсткий блок обмежень (лише механічні зміни) + інструкція
-«ast_facts перед edit, self_check після».
+  попереднього провалу + жорсткий блок обмежень (лише механічні зміни) + інструкція
+  «ast_facts перед edit, self_check після».
 
 Блок обмежень — перший шар semantic-collateral guard (спека pi-migration §12,
 addendum 2026-07-05): слабкі локальні моделі схильні «виправляти» правило семантичною
 правкою (хардкод значення, симуляція поведінки) — промпт явно це забороняє, а
 verdict-veto consumer-а (re-check) відхиляє такі правки поза target-файлами.
+
 - runAgentFix — Проводить ОДНУ агентну fix-спробу (рунг) для правила.
 
 ## Гарантії поведінки

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@7n/llm-lib",
-  "version": "2.9.0",
+  "version": "2.9.2",
   "description": "Тонкий шар роботи з LLM (локальні omlx + хмарні провайдери) поверх pi: model tiers, one-shot, agentic-раннери, write-guard, trace, telemetry, prompt-budget",
   "keywords": [
     "nitra",
@@ -55,8 +55,8 @@
     "access": "public"
   },
   "optionalDependencies": {
-    "@7n/llm-lib-darwin-arm64": "2.9.0",
-    "@7n/llm-lib-linux-x64": "2.9.0"
+    "@7n/llm-lib-darwin-arm64": "2.9.2",
+    "@7n/llm-lib-linux-x64": "2.9.2"
   },
   "peerDependencies": {
     "@earendil-works/pi-ai": "~0.80.10",