@7n/rules 1.7.6 → 1.8.0

package/CHANGELOG.md

@@ -1,5 +1,11 @@
 # Changelog
 
+## [1.8.0] - 2026-07-16
+
+### Added
+
+- js/check: T0-фікс для .oxlintrc.json (копіювання/merge канону без LLM-ладдер)
+
 ## [1.7.6] - 2026-07-16
 
 ### Fixed

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@7n/rules",
-  "version": "1.7.6",
+  "version": "1.8.0",
   "description": "CLI еталонних правил і skills (префікс n-): синк у репозиторій, дельта-lint, конформність",
   "keywords": [
     "cli",

package/rules/js/check/docs/fix-check.md

@@ -3,29 +3,46 @@ type: JS Module
 title: fix-check.mjs
 resource: npm/rules/js/check/fix-check.mjs
 docgen:
-  crc: e3214d8e
+  crc: 48182147
   model: manual
 ---
 
 ## Огляд
 
-T0-autofix для `js/check`: детермінований scaffold/merge `eslint.config.js` за
-планом `planEslintConfigFix` (детекція воркспейс-типів node/vue). Раніше ці
-порушення йшли у LLM-ладдер, який переписував конфіг цілком і вгадував типи
-(інцидент: у vue-монорепо записано `getConfig({ node: ['npm'] })` — eslint перестав
-обробляти .vue файли).
+T0-autofix для `js/check`: два детерміновані патерни, обидва без LLM.
+
+- `js-check-eslint-config` — scaffold/merge `eslint.config.js` за планом
+  `planEslintConfigFix` (детекція воркспейс-типів node/vue). Раніше ці
+  порушення йшли у LLM-ладдер, який переписував конфіг цілком і вгадував типи
+  (інцидент: у vue-монорепо записано `getConfig({ node: ['npm'] })` — eslint
+  перестав обробляти .vue файли).
+- `js-check-oxlintrc` — scaffold/merge `.oxlintrc.json` за планом
+  `planOxlintrcFix` (`../tooling/main.mjs`). Раніше ці порушення теж йшли у
+  LLM-ладдер: 15 КБ канону дешева модель не відтворює byte-perfect (verify
+  fail), а дорожча не встигає за один rung-таймаут.
 
 ## Поведінка
 
-- Патерн `js-check-eslint-config` тригериться лише на reason-и
-  `eslint-config-missing` / `eslint-config-ignores` / `eslint-config-vue-workspace`;
-  решта порушень `js/check` (engines, workflows, oxlintrc) ідуть стандартним шляхом.
-- `apply` перераховує план із поточного стану диска (ідемпотентно): відсутній
-  конфіг — створюється з детектованими типами; наявний — зазнає хірургічного merge,
-  без повного перезапису. Перед записом викликається `ctx.recordWrite`.
-- Якщо план порожній (`null`) — жодних змін (`touchedFiles: []`).
+- `js-check-eslint-config` тригериться на reason-и `eslint-config-missing` /
+  `eslint-config-ignores` / `eslint-config-vue-workspace`. `apply` перераховує
+  план із поточного стану диска (ідемпотентно): відсутній конфіг —
+  створюється з детектованими типами; наявний — зазнає хірургічного merge, без
+  повного перезапису. Якщо план порожній (`null`) — жодних змін
+  (`touchedFiles: []`).
+- `js-check-oxlintrc` тригериться на reason-и `oxlintrc-missing` /
+  `oxlintrc-drift` (`OXLINTRC_MISSING` / `OXLINTRC_DRIFT` з `../tooling/main.mjs`).
+  `apply` читає наявний `.oxlintrc.json` (`null`, якщо відсутній або невалідний
+  JSON) і канон, будує злитий обʼєкт через `planOxlintrcFix` і перезаписує
+  файл цілком (JSON, 2-space, з кінцевим переносом рядка).
+- Решта порушень `js/check` (engines, workflows) — поза цим T0, стандартний
+  шлях (ladder/manual).
+- Обидва патерни викликають `ctx.recordWrite` перед записом (pre-image для
+  central rollback).
 
 ## Гарантії поведінки
 
-- Записує лише один файл — `eslint.config.js`/`eslint.config.mjs` у корені репо.
-- Наявний конфіг ніколи не перезаписується цілком — тільки точкові вставки/заміни.
+- `js-check-eslint-config` записує лише `eslint.config.js`/`eslint.config.mjs`
+  у корені репо; наявний конфіг ніколи не перезаписується цілком — тільки
+  точкові вставки/заміни.
+- `js-check-oxlintrc` записує лише `.oxlintrc.json` у корені репо; результат
+  завжди проходить `verifyOxlintRcAgainstCanonical` без ручного втручання.

package/rules/js/check/docs/main.md

@@ -3,7 +3,7 @@ type: JS Module
 title: main.mjs
 resource: npm/rules/js/check/main.mjs
 docgen:
-  crc: 0b9c8a32
+  crc: 128c6700
   model: manual
 ---
 
@@ -27,7 +27,10 @@ Detector concern-а `js/check`: read-only перевірка відповідн
   `engines.bun >= 1.3` (кореневий `package.json` валідує Rego
   `npm/policy/js_lint/package_json/`).
 - `.oxlintrc.json`: існує, валідний JSON, збігається з каноном oxlint із пакета
-  `@7n/rules`.
+  `@7n/rules` (`verifyOxlintRcAgainstCanonical` з `../tooling/main.mjs`).
+  Відсутність — reason `oxlintrc-missing`, розходження з каноном — reason
+  `oxlintrc-drift` (константи `OXLINTRC_MISSING`/`OXLINTRC_DRIFT`); обидва
+  детерміновано виправляє T0 `fix-check.mjs` (патерн `js-check-oxlintrc`).
 - `.github/workflows/lint-js.yml`: існує; `lint.yml` (якщо є) не дублює
   oxlint/eslint/jscpd кроки.
 - `knip.json`: якщо відсутній — копіюється канонічний baseline із пакета

package/rules/js/check/fix-check.mjs

@@ -1,18 +1,29 @@
 /** @see ./docs/fix-check.md */
 
 /**
- * T0-autofix для `js/check` — детермінований scaffold/merge `eslint.config.js`.
- * Раніше ці порушення йшли у LLM-ладдер, який переписував конфіг цілком і
- * вгадував воркспейс-типи (інцидент: у vue-монорепо записано
- * `getConfig({ node: ['npm'] })` — eslint перестав обробляти .vue файли).
- * Тепер джерело правди — `planEslintConfigFix` (детекція типів із workspaces
- * root package.json + vue-залежність/.vue-файли), а наявний конфіг оновлюється точковим merge
- * хірургічно, без повного перезапису.
+ * T0-autofix для `js/check` — детермінований scaffold/merge `eslint.config.js`
+ * і `.oxlintrc.json`. Раніше обидва йшли у LLM-ладдер, який переписував конфіги
+ * цілком: для eslint.config.js це вгадувало воркспейс-типи (інцидент: у
+ * vue-монорепо записано `getConfig({ node: ['npm'] })` — eslint перестав
+ * обробляти .vue файли), а для .oxlintrc.json — 15 КБ канону, який дешевій
+ * моделі не відтворити byte-perfect (verify fail), а дорожчій — не встигнути
+ * за один rung-таймаут.
  *
- * Решта порушень js/check (engines, workflows, oxlintrc) — поза цим T0,
- * стандартний шлях (ladder/manual).
+ * Джерело правди для eslint.config.js — `planEslintConfigFix` (детекція типів
+ * із workspaces root package.json + vue-залежність/.vue-файли), наявний конфіг
+ * оновлюється точковим merge хірургічно, без повного перезапису.
+ *
+ * Джерело правди для .oxlintrc.json — `planOxlintrcFix`, що дзеркалить
+ * `verifyOxlintRcAgainstCanonical`: відсутній файл копіює канон, наявний —
+ * доповнюється до канону без втрати project-specific розширень (зайві
+ * `rules`-ключі й `ignorePatterns` зберігаються).
+ *
+ * Решта порушень js/check (engines, workflows) — поза цим T0, стандартний шлях
+ * (ladder/manual).
  */
-import { writeFile } from 'node:fs/promises'
+import { existsSync } from 'node:fs'
+import { readFile, writeFile } from 'node:fs/promises'
+import { join } from 'node:path'
 
 import {
   ESLINT_CONFIG_IGNORES,
@@ -20,14 +31,31 @@ import {
   ESLINT_CONFIG_VUE_WORKSPACE,
   planEslintConfigFix
 } from './eslint-config.mjs'
+import { OXLINT_CANONICAL_JSON_PATH, OXLINTRC_DRIFT, OXLINTRC_MISSING, planOxlintrcFix } from '../tooling/main.mjs'
 
-const TRIGGER_REASONS = new Set([ESLINT_CONFIG_MISSING, ESLINT_CONFIG_IGNORES, ESLINT_CONFIG_VUE_WORKSPACE])
+const ESLINT_CONFIG_REASONS = new Set([ESLINT_CONFIG_MISSING, ESLINT_CONFIG_IGNORES, ESLINT_CONFIG_VUE_WORKSPACE])
+const OXLINTRC_REASONS = new Set([OXLINTRC_MISSING, OXLINTRC_DRIFT])
+
+/**
+ * Читає `.oxlintrc.json`, якщо є й валідний JSON; інакше `null` (трактується
+ * як відсутній файл — `planOxlintrcFix` будує з канону).
+ * @param {string} oxPath абсолютний шлях до `.oxlintrc.json`
+ * @returns {Promise<unknown>} розпарсений вміст або `null`
+ */
+async function readOxlintrcOrNull(oxPath) {
+  if (!existsSync(oxPath)) return null
+  try {
+    return JSON.parse(await readFile(oxPath, 'utf8'))
+  } catch {
+    return null
+  }
+}
 
 /** @type {import('../../../scripts/lib/lint-surface/types.mjs').T0Pattern[]} */
 export const patterns = [
   {
     id: 'js-check-eslint-config',
-    test: violations => violations.some(v => TRIGGER_REASONS.has(v.reason)),
+    test: violations => violations.some(v => ESLINT_CONFIG_REASONS.has(v.reason)),
     apply: async (violations, ctx) => {
       const plan = await planEslintConfigFix(ctx.cwd)
       if (plan === null) return { touchedFiles: [] }
@@ -35,5 +63,20 @@ export const patterns = [
       await writeFile(plan.path, plan.content, 'utf8')
       return { touchedFiles: [plan.path], message: plan.message }
     }
+  },
+  {
+    id: 'js-check-oxlintrc',
+    test: violations => violations.some(v => OXLINTRC_REASONS.has(v.reason)),
+    apply: async (violations, ctx) => {
+      const oxPath = join(ctx.cwd, '.oxlintrc.json')
+      const [actual, canonicalRaw] = await Promise.all([
+        readOxlintrcOrNull(oxPath),
+        readFile(OXLINT_CANONICAL_JSON_PATH, 'utf8')
+      ])
+      const merged = planOxlintrcFix(actual, JSON.parse(canonicalRaw))
+      ctx.recordWrite?.(oxPath)
+      await writeFile(oxPath, `${JSON.stringify(merged, null, 2)}\n`, 'utf8')
+      return { touchedFiles: [oxPath], message: '.oxlintrc.json: T0 merge до канону oxlint (@7n/rules)' }
+    }
   }
 ]

package/rules/js/check/main.mjs

@@ -8,6 +8,8 @@ import { createViolationReporter } from '../../../scripts/lib/lint-surface/viola
 import {
   KNIP_CANONICAL_JSON_PATH,
   OXLINT_CANONICAL_JSON_PATH,
+  OXLINTRC_DRIFT,
+  OXLINTRC_MISSING,
   verifyOxlintRcAgainstCanonical
 } from '../tooling/main.mjs'
 
@@ -206,7 +208,7 @@ async function checkPackageJsonJsLint(passFn, failFn, cwd) {
 async function checkOxlintRc(passFn, failFn, cwd) {
   const oxPath = join(cwd, '.oxlintrc.json')
   if (!existsSync(oxPath)) {
-    failFn('.oxlintrc.json не існує — додай конфіг oxlint (js.mdc)')
+    failFn('.oxlintrc.json не існує — додай конфіг oxlint (js.mdc)', OXLINTRC_MISSING)
     return
   }
   let oxCfg
@@ -229,7 +231,7 @@ async function checkOxlintRc(passFn, failFn, cwd) {
     passFn('.oxlintrc.json збігається з каноном oxlint (@7n/rules)')
   } else {
     for (const msg of oxV.failures) {
-      failFn(msg)
+      failFn(msg, OXLINTRC_DRIFT)
     }
   }
 }

package/rules/js/tooling/docs/main.md

@@ -3,7 +3,7 @@ type: JS Module
 title: main.mjs
 resource: npm/rules/js/tooling/main.mjs
 docgen:
-  crc: da55182a
+  crc: 76437b89
   model: omlx/gemma-4-e4b-it-OptiQ-4bit
   score: 100
   issues: judge:inaccurate:0.98
@@ -12,20 +12,42 @@ docgen:
 
 ## Огляд
 
-Властивості, що визначають шляхи до канонічних JSON-конфігурацій для `oxlint` та `knip` доступні через `OXLINT_CANONICAL_JSON_PATH` та `KNIP_CANONICAL_JSON_PATH`. Модуль надає можливість перевірити, чи відповідають конфігурації, визначені у `.oxlintrc.json`, офіційним стандартам, описаним у `oxlint-canonical.json`, за допомогою функції `verifyOxlintRcAgainstCanonical`. Також може бути здійснена валідація згідно з конфігурацією `knip-canonical.json`.
+Шляхи до канонічних JSON-конфігурацій для `oxlint` та `knip` доступні через
+`OXLINT_CANONICAL_JSON_PATH` та `KNIP_CANONICAL_JSON_PATH`. Модуль перевіряє,
+чи відповідає `.oxlintrc.json` канону (`verifyOxlintRcAgainstCanonical`), і
+будує детермінований merge до канону (`planOxlintrcFix`) — джерело правди для
+T0-автофіксу `js/check` (`fix-check.mjs`), без LLM.
 
 ## Поведінка
 
-OXLINT_CANONICAL_JSON_PATH — надає шлях до канонічного конфігураційного файлу oxlint.
-KNIP_CANONICAL_JSON_PATH — надає шлях до канонічного конфігураційного файлу knip.
-verifyOxlintRcAgainstCanonical — перевіряє, чи відповідає конфігураційний файл .oxlintrc.json канонічним стандартам, порівнюючи його з конфігураціями oxlint-canonical.json.
+- `OXLINT_CANONICAL_JSON_PATH` / `KNIP_CANONICAL_JSON_PATH` — шляхи до
+  канонічних JSON-конфігів `oxlint`/`knip` у цьому пакеті.
+- `OXLINTRC_MISSING` / `OXLINTRC_DRIFT` — стабільні reason-коди для
+  порушень `.oxlintrc.json` (відсутній файл / розходження з каноном),
+  які `js/check` проставляє через `createViolationReporter`, а T0-патерн
+  `js-check-oxlintrc` розпізнає для автофіксу.
+- `verifyOxlintRcAgainstCanonical(cfg, canonical)` — звіряє `.oxlintrc.json`
+  проти канону: усі `rules`-ключі канону мають точний збіг значення (зайві
+  локальні ключі дозволені), `ignorePatterns` канону мають бути присутні
+  (локальні розширення дозволені), решта полів — точний глибокий збіг.
+- `planOxlintrcFix(actual, canonical)` — чиста функція, що дзеркалить
+  правила `verifyOxlintRcAgainstCanonical` у зворотний бік: будує обʼєкт
+  `.oxlintrc.json`, який гарантовано проходить повторну перевірку.
+  Відсутній `actual` (`null`) трактується як порожній файл — результат
+  дорівнює канону. Наявний `actual` доповнюється до канону без втрати
+  project-specific розширень: зайві `rules`-ключі й `ignorePatterns`
+  зберігаються, а канонічні `rules`-значення й поля верхнього рівня
+  перезаписуються канонічними (єдине валідне значення для перевірки).
 
 ## Публічний API
 
-- OXLINT_CANONICAL_JSON_PATH — Вказує на основний конфіг `oxlint` для підтвердження коректності в цьому пакеті.
-- KNIP_CANONICAL_JSON_PATH — Вказує на основний конфіг `knip`, який автоматично додається до кореня проєкту-споживача, якщо його там немає.
-- verifyOxlintRcAgainstCanonical — Порівнює конфігураційний файл `.oxlintrc.json` із канонічною версією, переконавшись, що всі правила з канону присутні, а інші поля відповідають.
+- `OXLINT_CANONICAL_JSON_PATH` — шлях до канонічного конфігу `oxlint` для перевірки/T0-фіксу.
+- `KNIP_CANONICAL_JSON_PATH` — шлях до канонічного конфігу `knip`, що копіюється у корінь проєкту-споживача, якщо відсутній.
+- `OXLINTRC_MISSING` / `OXLINTRC_DRIFT` — reason-коди порушень `.oxlintrc.json`.
+- `verifyOxlintRcAgainstCanonical(cfg, canonical)` → `{ ok, failures }` — перевірка `.oxlintrc.json` проти канону.
+- `planOxlintrcFix(actual, canonical)` → злитий обʼєкт `.oxlintrc.json` — детермінований T0-фікс без LLM.
 
 ## Гарантії поведінки
 
-- Read-only: не виконує операцій запису (ФС/БД).
+- Read-only: не виконує операцій запису (ФС/БД); запис у `.oxlintrc.json` — відповідальність виклику (T0 `fix-check.mjs`).
+- `planOxlintrcFix` — чиста функція без side effects; той самий вхід завжди дає той самий вихід.

package/rules/js/tooling/main.mjs

@@ -18,6 +18,11 @@ export const KNIP_CANONICAL_JSON_PATH = join(
   'knip-canonical.json'
 )
 
+/** `.oxlintrc.json` відсутній — T0 копіює канон (`fix-check.mjs`). */
+export const OXLINTRC_MISSING = 'oxlintrc-missing'
+/** `.oxlintrc.json` існує, але розходиться з каноном — T0 доводить до відповідності детермінованим merge. */
+export const OXLINTRC_DRIFT = 'oxlintrc-drift'
+
 // Канонічний рядок `lint-js`-скрипта і мінімальна версія `@nitra/eslint-config` —
 // у rego (`npm/policy/js_lint/package_json/`). JS-копії (`CANONICAL_LINT_JS`,
 // `isCanonicalLintJs`, `nitraEslintConfigMeetsMinVersion`) видалено, щоб не
@@ -147,3 +152,32 @@ export function verifyOxlintRcAgainstCanonical(cfg, canonical) {
 
   return { ok: failures.length === 0, failures }
 }
+
+/**
+ * Детермінований merge `.oxlintrc.json` до відповідності канону (T0 `fix-check.mjs`) —
+ * дзеркалить правила `verifyOxlintRcAgainstCanonical`, тож результат завжди проходить
+ * повторну перевірку без LLM. Project-specific розширення зберігаються: зайві ключі в
+ * `rules` і зайві `ignorePatterns` не видаляються, лише доповнюються канонічними.
+ * @param {unknown} actual поточний вміст `.oxlintrc.json` (`null`/будь-що не-object — трактується як відсутній файл)
+ * @param {Record<string, unknown>} canonical розпарсений `oxlint-canonical.json`
+ * @returns {Record<string, unknown>} злитий обʼєкт, готовий до запису у `.oxlintrc.json`
+ */
+export function planOxlintrcFix(actual, canonical) {
+  const merged = { ...asRecordOrEmpty(actual) }
+  for (const [key, expected] of Object.entries(canonical)) {
+    if (key === 'rules') {
+      merged.rules = { ...asRecordOrEmpty(merged.rules), ...asRecordOrEmpty(expected) }
+      continue
+    }
+    if (key === 'ignorePatterns') {
+      const existing = Array.isArray(merged.ignorePatterns) ? merged.ignorePatterns : []
+      const canonPatterns = Array.isArray(expected) ? expected : []
+      merged.ignorePatterns = [...existing, ...canonPatterns.filter(p => !existing.includes(p))]
+      continue
+    }
+    // Інші поля вимагають точного збігу з каноном (verifyOxlintRcAgainstCanonical) —
+    // єдине валідне значення й так канонічне, тож перезапис безпечний.
+    merged[key] = expected
+  }
+  return merged
+}