@7n/rules 1.7.6 → 1.8.1

package/CHANGELOG.md

@@ -1,5 +1,17 @@
 # Changelog
 
+## [1.8.1] - 2026-07-17
+
+### Changed
+
+- docs(adr): нормалізувати чернетки ADR у канонічний MADR-формат
+
+## [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.1",
   "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
+}

package/rules/k8s/manifests/fix-manifests.mjs

@@ -7,7 +7,13 @@
  *   - `batch-v1beta1-apiversion` — apiVersion batch/v1beta1 → batch/v1 (CronJob/Job);
  *   - `schema-modeline-first` — перемістити `# yaml-language-server: $schema=…` у перший рядок;
  *   - `kustomization-patches-sort` — впорядкувати `patches[]` (реюз детекторних sort-ключів);
- *   - `deployment-strategy` — проставити канонічний `spec.strategy` RollingUpdate.
+ *   - `deployment-strategy` — проставити канонічний `spec.strategy` RollingUpdate;
+ *   - `hasura-configmap-env` — проставити обов'язкові `HASURA_GRAPHQL_*` env у Hasura ConfigMap;
+ *   - `hasura-httproute-rule1-filters` — проставити канонічний RequestRedirect у правило 1
+ *     Hasura-канона HTTPRoute (лише overwrite існуючого правила, без синтезу нових);
+ *   - `svc-clusterip-type` — проставити `spec.type: ClusterIP` у `svc.yaml`;
+ *   - `svc-hl-cluster-ip` — проставити `spec.clusterIP: None` у `svc-hl.yaml`
+ *     (без перейменування `metadata.name`, суфікс `-hl` — не T0).
  *
  * Правки роблять через `yaml` Document/Documents (зберігають коментарі), окрім modeline
  * (чистий текст). Семантичну коректність гарантує canonical re-detect (rego) — T0
@@ -20,6 +26,9 @@ import { parseAllDocuments, parseDocument } from 'yaml'
 
 import {
   compareStringTuplesEn,
+  findHasuraCanonStart,
+  HASURA_REQUIRED_ENV_VALUES,
+  hasuraRuleHasExactRedirect,
   kustomizationPatchSortKey,
   loadSnippetSpec,
   replaceBatchV1beta1ApiVersionInYamlText,
@@ -127,6 +136,167 @@ export function ensureNetworkPolicyEgress(content) {
   return docs.map(d => d.toString().replace(LEADING_DOC_SEPARATOR_RE, '').trimEnd()).join('\n---\n') + '\n'
 }
 
+/**
+ * Чи значення читається як логічне `true` (boolean або рядок, case-insensitive) —
+ * дзеркалить `is_value_true` з `k8s.hasura_configmap.rego`.
+ * @param {unknown} v значення з `data`
+ * @returns {boolean} true, якщо значення означає true
+ */
+function isTruthyBool(v) {
+  if (v === true) return true
+  return typeof v === 'string' && v.trim().toLowerCase() === 'true'
+}
+
+/**
+ * Чи значення читається як логічне `false` — дзеркалить `is_value_false`.
+ * @param {unknown} v значення з `data`
+ * @returns {boolean} true, якщо значення означає false
+ */
+function isFalsyBool(v) {
+  if (v === false) return true
+  return typeof v === 'string' && v.trim().toLowerCase() === 'false'
+}
+
+/**
+ * Проставляє обов'язкові `HASURA_GRAPHQL_*` env-ключі (`HASURA_REQUIRED_ENV_VALUES`,
+ * дзеркалить `k8s.hasura_configmap.rego`) у `data` документа `kind: ConfigMap`. Ключ з
+ * очікуванням `null` (наприклад `HASURA_GRAPHQL_DISABLE_EVENTING`) — довільне значення,
+ * T0 проставляє лише якщо ключ відсутній (дефолт `'true'`).
+ * @param {string} content вміст configmap.yaml
+ * @returns {string|null} новий вміст або null, якщо змін немає / парс невпевнений
+ */
+export function ensureHasuraConfigMapRequiredEnv(content) {
+  let doc
+  try {
+    doc = parseDocument(content)
+  } catch {
+    return null
+  }
+  if (doc.errors?.length) return null
+  if (doc.get('kind') !== 'ConfigMap') return null
+
+  let changed = false
+  for (const [key, expected] of Object.entries(HASURA_REQUIRED_ENV_VALUES)) {
+    const current = doc.getIn(['data', key])
+    if (expected === null) {
+      if (current === undefined) {
+        doc.setIn(['data', key], 'true')
+        changed = true
+      }
+      continue
+    }
+    if (expected === 'true') {
+      if (!isTruthyBool(current)) {
+        doc.setIn(['data', key], 'true')
+        changed = true
+      }
+      continue
+    }
+    if (expected === 'false') {
+      if (!isFalsyBool(current)) {
+        doc.setIn(['data', key], 'false')
+        changed = true
+      }
+      continue
+    }
+    if (current !== expected) {
+      doc.setIn(['data', key], expected)
+      changed = true
+    }
+  }
+  if (!changed) return null
+  return doc.toString()
+}
+
+/**
+ * Проставляє канонічний RequestRedirect (правило 1 Hasura-канона, `k8s.hasura_httproute.rego`)
+ * у вже знайдене правило `Exact "<prefix>/ql"`. Фіксує лише **існуюче** правило (overwrite
+ * `filters`) — правила 2-4 (rule2/3/4_missing) потребують синтезу нового правила з
+ * `backendRef`, якого нізвідки достовірно вивести, тож НЕ T0 (за тим самим принципом, що й
+ * `internal-url-invalid` у `hasura/internal_urls`: людське рішення про інфраструктуру).
+ * @param {string} content вміст hr.yaml (HTTPRoute, може бути multi-doc)
+ * @returns {string|null} новий вміст або null, якщо змін немає / не застосовно / парс невпевнений
+ */
+export function ensureHasuraHttpRouteRule1Filters(content) {
+  let docs
+  try {
+    docs = parseAllDocuments(content)
+  } catch {
+    return null
+  }
+  if (docs.some(d => d.errors?.length)) return null
+  let changed = false
+  for (const doc of docs) {
+    if (doc.get('kind') !== 'HTTPRoute') continue
+    const plainRules = doc.toJSON()?.spec?.rules
+    if (!Array.isArray(plainRules) || plainRules.length === 0) continue
+    const start = findHasuraCanonStart(plainRules)
+    if (start === null) continue
+    const consolePath = `${start.prefix}/ql/console`
+    if (hasuraRuleHasExactRedirect(plainRules[start.startIndex], consolePath)) continue // вже канонічно
+    const canonicalFilters = [
+      {
+        type: 'RequestRedirect',
+        requestRedirect: { statusCode: 302, path: { type: 'ReplaceFullPath', replaceFullPath: consolePath } }
+      }
+    ]
+    doc.setIn(['spec', 'rules', start.startIndex, 'filters'], doc.createNode(canonicalFilters))
+    changed = true
+  }
+  if (!changed) return null
+  return docs.map(d => d.toString().replace(LEADING_DOC_SEPARATOR_RE, '').trimEnd()).join('\n---\n') + '\n'
+}
+
+/**
+ * Проставляє `spec.type: ClusterIP` у документ `kind: Service` (`svc.yaml`, `k8s.svc_yaml.rego`).
+ * @param {string} content вміст svc.yaml (може бути multi-doc)
+ * @returns {string|null} новий вміст або null, якщо змін немає / не застосовно / парс невпевнений
+ */
+export function ensureSvcClusterIpType(content) {
+  let docs
+  try {
+    docs = parseAllDocuments(content)
+  } catch {
+    return null
+  }
+  if (docs.some(d => d.errors?.length)) return null
+  let changed = false
+  for (const doc of docs) {
+    if (doc.get('kind') !== 'Service') continue
+    if (doc.getIn(['spec', 'type']) === 'ClusterIP') continue
+    doc.setIn(['spec', 'type'], 'ClusterIP')
+    changed = true
+  }
+  if (!changed) return null
+  return docs.map(d => d.toString().replace(LEADING_DOC_SEPARATOR_RE, '').trimEnd()).join('\n---\n') + '\n'
+}
+
+/**
+ * Проставляє `spec.clusterIP: None` у документ `kind: Service` (`svc-hl.yaml`, `k8s.svc_hl_yaml.rego`).
+ * Не чіпає `metadata.name` (суфікс `-hl`) — перейменування ресурсу впливає на посилання з
+ * інших файлів (ConfigMap/Deployment/HTTPRoute), тож НЕ T0.
+ * @param {string} content вміст svc-hl.yaml (може бути multi-doc)
+ * @returns {string|null} новий вміст або null, якщо змін немає / не застосовно / парс невпевнений
+ */
+export function ensureSvcHlClusterIp(content) {
+  let docs
+  try {
+    docs = parseAllDocuments(content)
+  } catch {
+    return null
+  }
+  if (docs.some(d => d.errors?.length)) return null
+  let changed = false
+  for (const doc of docs) {
+    if (doc.get('kind') !== 'Service') continue
+    if (doc.getIn(['spec', 'clusterIP']) === 'None') continue
+    doc.setIn(['spec', 'clusterIP'], 'None')
+    changed = true
+  }
+  if (!changed) return null
+  return docs.map(d => d.toString().replace(LEADING_DOC_SEPARATOR_RE, '').trimEnd()).join('\n---\n') + '\n'
+}
+
 /**
  * Застосовує текстовий трансформер до унікальних файлів із targets і пише зміни.
  * @param {import('../../../scripts/lib/lint-surface/types.mjs').LintViolation[]} targets violations із файлами для правки
@@ -224,5 +394,29 @@ export const patterns = [
     'networkpolicy-egress',
     ensureNetworkPolicyEgress,
     n => `канонічний spec.egress проставлено: ${n} файл(ів)`
+  ),
+  fileTransformPattern(
+    'k8s-manifests-hasura-configmap-env',
+    'hasura-configmap-env',
+    ensureHasuraConfigMapRequiredEnv,
+    n => `обов'язкові HASURA_GRAPHQL_* env проставлено: ${n} файл(ів)`
+  ),
+  fileTransformPattern(
+    'k8s-manifests-hasura-httproute-rule1-filters',
+    'hasura-httproute-rule1-filters',
+    ensureHasuraHttpRouteRule1Filters,
+    n => `правило 1 Hasura-канона (RequestRedirect) проставлено: ${n} файл(ів)`
+  ),
+  fileTransformPattern(
+    'k8s-manifests-svc-clusterip-type',
+    'svc-clusterip-type',
+    ensureSvcClusterIpType,
+    n => `svc.yaml spec.type: ClusterIP проставлено: ${n} файл(ів)`
+  ),
+  fileTransformPattern(
+    'k8s-manifests-svc-hl-cluster-ip',
+    'svc-hl-cluster-ip',
+    ensureSvcHlClusterIp,
+    n => `svc-hl.yaml spec.clusterIP: None проставлено: ${n} файл(ів)`
   )
 ]

package/rules/k8s/manifests/main.mjs

@@ -2283,6 +2283,21 @@ export const HASURA_REQUIRED_ENV_KEYS = [
   'HASURA_GRAPHQL_DISABLE_EVENTING'
 ]
 
+/**
+ * Очікувані значення `HASURA_REQUIRED_ENV_KEYS` (дзеркалить `k8s.hasura_configmap.rego`).
+ * `'true'`/`'false'` — приймаються як boolean або рядок (case-insensitive); рядкове значення
+ * (наприклад `ENABLED_LOG_TYPES`) — точний exact match; `null` — ключ обов'язковий, значення
+ * довільне (T0 проставляє дефолт `'true'`, якщо ключ відсутній).
+ */
+export const HASURA_REQUIRED_ENV_VALUES = {
+  HASURA_GRAPHQL_ENABLE_REMOTE_SCHEMA_PERMISSIONS: 'true',
+  HASURA_GRAPHQL_ENABLE_RELAY: 'false',
+  HASURA_GRAPHQL_ENABLE_TELEMETRY: 'false',
+  HASURA_GRAPHQL_ENABLED_LOG_TYPES: 'startup,http-log',
+  HASURA_GRAPHQL_ENABLED_APIS: 'metadata,graphql,pgdump',
+  HASURA_GRAPHQL_DISABLE_EVENTING: null
+}
+
 const K8S_YAML_EXT_RE = /\.ya?ml$/iu
 
 /**
@@ -2720,7 +2735,7 @@ function hasuraRuleMatchesSinglePathNoHeaders(rule, pathType, pathValue) {
  * @param {string} toPath очікуваний `requestRedirect.path.replaceFullPath`
  * @returns {boolean} true — якщо filters відповідають канону редиректу
  */
-function hasuraRuleHasExactRedirect(rule, toPath) {
+export function hasuraRuleHasExactRedirect(rule, toPath) {
   const r = asPlainRecord(rule)
   if (r === null) return false
   const filters = r.filters
@@ -2830,7 +2845,7 @@ function hasuraRuleIsWebsocket(rule, qlPath) {
  * @param {unknown[]} rules вміст `spec.rules` HTTPRoute
  * @returns {{ prefix: string, startIndex: number } | null} виявлений префікс і позиція правила 1 або null
  */
-function findHasuraCanonStart(rules) {
+export function findHasuraCanonStart(rules) {
   for (const [i, rule] of rules.entries()) {
     const r = asPlainRecord(rule)
     const matches = r === null ? null : r.matches
@@ -3166,7 +3181,7 @@ function recordHasuraDeploymentName(rec, dir, hasuraByDir) {
  * звіряє канон 4 правил (див. `httpRouteHasuraCanonViolation` і k8s.mdc).
  * @param {string} root корінь репозиторію
  * @param {string[]} yamlFiles абсолютні шляхи до `*.yaml` під `k8s`
- * @param {(msg: string) => void} fail callback реєстрації помилки
+ * @param {(msg: string, opts?: string | { reason?: string, file?: string, data?: object }) => void} fail callback реєстрації помилки
  * @returns {Promise<void>} результат
  */
 async function validateHasuraHttpRouteCanon(root, yamlFiles, fail) {
@@ -3193,7 +3208,12 @@ async function validateHasuraHttpRouteCanon(root, yamlFiles, fail) {
   })
   for (const v of violations) {
     const rel = (relative(root, v.filename) || v.filename).replaceAll('\\', '/')
-    fail(`${rel}: ${v.message}`)
+    // T0 автофіксить лише "rule1_filters" (детермінований overwrite існуючого правила);
+    // rule2/3/4-missing вимагають синтезу нового правила з backendRef — не T0 (k8s.mdc).
+    const hint = REGO_HINT_HASURA_HTTPROUTE_RULE1_RE.test(v.message)
+      ? { reason: 'hasura-httproute-rule1-filters', file: rel, data: { kind: 'hasura-httproute-rule1-filters' } }
+      : undefined
+    fail(`${rel}: ${v.message}`, hint)
   }
 }
 
@@ -3613,7 +3633,7 @@ async function validateHasuraConfigMapRemoteSchemaPermissions(root, yamlFilesAbs
   })
   for (const v of violations) {
     const rel = (relative(root, v.filename) || v.filename).replaceAll('\\', '/')
-    fail(`${rel}: ${v.message}`)
+    fail(`${rel}: ${v.message}`, { reason: 'hasura-configmap-env', file: rel, data: { kind: 'hasura-configmap-env' } })
   }
   if (violations.length === 0) {
     passFn(
@@ -6466,6 +6486,10 @@ export async function regenerateLegacyNetworkPolicyDocsInFile(npAbs, fail) {
 const REGO_HINT_DEPLOYMENT_STRATEGY_RE = /spec\.strategy має бути RollingUpdate/u
 const REGO_HINT_NETWORKPOLICY_EGRESS_RE = /відсутнє обовʼязкове egress-правило/u
 const REGO_HINT_KUSTOMIZATION_PATCHES_RE = /patches має бути за алфавітом/u
+/** Стадія `rule1_filters` `k8s.hasura_httproute` — єдина автофіксовна (overwrite існуючого правила, без синтезу нового). */
+const REGO_HINT_HASURA_HTTPROUTE_RULE1_RE = /правило 1 Hasura-канона \(rules\[\d+\]/u
+const REGO_HINT_SVC_CLUSTERIP_RE = /spec\.type[^\n]*ClusterIP|додай spec\.type: ClusterIP/u
+const REGO_HINT_SVC_HL_CLUSTERIP_RE = /spec\.clusterIP[^\n]*None|додай spec\.clusterIP: None/u
 /**
  * Structured fix-hint (#3) для rego-violation із `runAllK8sRego` — щоб T0
  * (`fix-manifests.mjs`) автофіксив детерміновано, не парсячи message. Класифікація
@@ -6486,6 +6510,12 @@ function k8sRegoFixHint(ns, file, message) {
   if (ns === 'k8s.kustomization' && REGO_HINT_KUSTOMIZATION_PATCHES_RE.test(m)) {
     return { reason: 'kustomization-patches-sort', file, data: { kind: 'kustomization-patches-sort' } }
   }
+  if (ns === 'k8s.svc_yaml' && REGO_HINT_SVC_CLUSTERIP_RE.test(m)) {
+    return { reason: 'svc-clusterip-type', file, data: { kind: 'svc-clusterip-type' } }
+  }
+  if (ns === 'k8s.svc_hl_yaml' && REGO_HINT_SVC_HL_CLUSTERIP_RE.test(m)) {
+    return { reason: 'svc-hl-cluster-ip', file, data: { kind: 'svc-hl-cluster-ip' } }
+  }
   // немає збігу — implicit undefined (без trailing return: no-redundant-jump + no-useless-undefined тихі)
 }