@7n/rules 1.8.0 → 1.8.1

package/CHANGELOG.md

@@ -1,5 +1,11 @@
 # Changelog
 
+## [1.8.1] - 2026-07-17
+
+### Changed
+
+- docs(adr): нормалізувати чернетки ADR у канонічний MADR-формат
+
 ## [1.8.0] - 2026-07-16
 
 ### Added

package/package.json

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

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 тихі)
 }