@7n/rules 1.14.0 → 1.14.1

package/scripts/lib/lint-surface/blocking-inventory.mjs

@@ -0,0 +1,59 @@
+/**
+ * Інвентар concern-ів, чий detector ще НЕ доведений на async non-blocking шлях
+ * (ADR 260716-1354-внутрішній-паралелізм-lint-оркестратора). `detectAll()` виконує
+ * ці concern-и у serial lane (строго послідовно, ніколи не перекриваючись самі із
+ * собою) — не заявляємо паралелізм там, де detector все ще звертається до `spawnSync`/
+ * `execSync` (прямо або через спільний helper), бо це блокує event loop цілком і
+ * зробило б паралельний пул ілюзорним.
+ *
+ * Нова міграція (наступний shared helper на `spawnAsync`, за протоколом
+ * `runConftestBatch`/`runOxlintJson`): переведи helper → онови caller-и (`await`) →
+ * прибери відповідний запис звідси → розшир `docs/blocking-inventory-guard.test.mjs`
+ * (guard-тест сам перевірить, що жоден із них більше не викликає `spawnSync`/`execSync`).
+ */
+
+/**
+ * Concern-и з прямим `spawnSync`/`execSync` у власному `main.mjs` — кожен спавнить свій
+ * зовнішній тул напряму, ще не через `spawnAsync`.
+ */
+const DIRECT_SPAWN_CONCERNS = [
+  'text/run-dotenv-linter',
+  'text/oxfmt',
+  'text/cspell-fix',
+  'text/run-v8r',
+  'text/run-shellcheck',
+  'image-compress/check',
+  'php/phpcs',
+  'php/project',
+  'php/cs_fixer',
+  'js/jscpd_duplicates',
+  'k8s/manifests',
+  'style/lint',
+  'bun/licensee',
+  'python/ruff',
+  'python/project',
+  'python/mypy',
+  'security/scan',
+  'rust/check',
+  'rego/conftest_verify'
+]
+
+/**
+ * Concern-и, чий detector сам не викликає `spawnSync`/`execSync`, але делегує спільному
+ * helper-у, який його викликає: `docker/lib/docker-hadolint.mjs` (hadolint) і
+ * `rego/lib/run-external-tool.mjs` (regal/opa).
+ */
+const SHARED_HELPER_CONCERNS = ['docker/lint', 'rego/regal', 'rego/opa_check']
+
+/** Повний serial-lane список: `${ruleId}/${concernId}` — 19 прямих + 3 через shared helper = 22. */
+export const SERIAL_LANE_CONCERNS = new Set([...DIRECT_SPAWN_CONCERNS, ...SHARED_HELPER_CONCERNS])
+
+/**
+ * Чи concern лишається у serial lane `detectAll()` (недоведений non-blocking).
+ * @param {string} ruleId id правила
+ * @param {string} concernId id concern-а
+ * @returns {boolean} true — serial lane; false — parallel-safe
+ */
+export function isSerialLane(ruleId, concernId) {
+  return SERIAL_LANE_CONCERNS.has(`${ruleId}/${concernId}`)
+}

package/scripts/lib/lint-surface/docs/blocking-inventory.md

@@ -0,0 +1,30 @@
+---
+type: JS Module
+title: blocking-inventory.mjs
+resource: npm/scripts/lib/lint-surface/blocking-inventory.mjs
+docgen:
+  crc: 2e0e8624
+  model: openai-codex/gpt-5.4-mini
+  tier: cloud-min
+  score: 100
+  issues: judge:inaccurate:0.98
+  judgeModel: openai-codex/gpt-5.4-mini
+---
+
+## Огляд
+
+Інвентар concern-ів для `ADR 260716-1354-внутрішній-паралелізм-lint-оркестратора`, чиї detector-и ще не доведені до async non-blocking шляху. `SERIAL_LANE_CONCERNS` і `isSerialLane` фіксують, що `detectAll` виконує ці concern-и в serial lane — строго послідовно, без перекриття між собою. Тут не можна заявляти паралелізм для detector-ів, які ще викликають `spawnSync`/`execSync` напряму або через shared helper, бо це блокує event loop і робить паралельний пул ілюзорним. Міграція йде за інваріантом: helper → caller-и (`await`) → прибрати відповідний запис звідси → розширити `docs/blocking-inventory-guard.test.mjs`; guard-тест має підтвердити, що жоден із цих concern-ів більше не викликає `spawnSync`/`execSync`.
+
+## Поведінка
+
+- `SERIAL_LANE_CONCERNS` — перелік concern-ів, які `detectAll` тримає в serial lane, бо їхній detector ще не доведено до non-blocking шляху; сюди свідомо не включені вже переведені на async/`spawnAsync` concern-и.
+- `isSerialLane` — визначає, чи належить вказаний concern до serial lane, щоб оркестратор не оголошував паралельність там, де ще є blocking-виклики напряму або через shared helper.
+
+## Публічний API
+
+- SERIAL_LANE_CONCERNS — Повний перелік serial-lane concern-ів у форматі `${ruleId}/${concernId}`: 19 напряму заданих і 3, що додаються через shared helper; разом 22.
+- isSerialLane — Визначає, чи concern має лишатися в serial lane для `detectAll`, коли non-blocking ще не доведено.
+
+## Гарантії поведінки
+
+- Read-only: не виконує операцій запису (ФС/БД).

package/scripts/lib/lint-surface/docs/index.md

@@ -6,6 +6,7 @@ resource: npm/scripts/lib/lint-surface/
 
 | Файл                                                        | Тип       |
 | ----------------------------------------------------------- | --------- |
+| [blocking-inventory.mjs](blocking-inventory.md)             | JS Module |
 | [codegen-opa-wrapper.mjs](codegen-opa-wrapper.md)           | JS Module |
 | [collateral-veto.mjs](collateral-veto.md)                   | JS Module |
 | [default-worker.mjs](default-worker.md)                     | JS Module |
@@ -20,6 +21,7 @@ resource: npm/scripts/lib/lint-surface/
 | [render.mjs](render.md)                                     | JS Module |
 | [run-detectors.mjs](run-detectors.md)                       | JS Module |
 | [run-fix.mjs](run-fix.md)                                   | JS Module |
+| [scheduler.mjs](scheduler.md)                               | JS Module |
 | [snapshot.mjs](snapshot.md)                                 | JS Module |
 | [tier-sampling-bench.mjs](tier-sampling-bench.md)           | JS Module |
 | [tier-sampling-experiment.mjs](tier-sampling-experiment.md) | JS Module |

package/scripts/lib/lint-surface/docs/policy-lint-adapter.md

@@ -3,9 +3,8 @@ type: JS Module
 title: policy-lint-adapter.mjs
 resource: npm/scripts/lib/lint-surface/policy-lint-adapter.mjs
 docgen:
-  crc: facc5e07
+  crc: 1e527329
   model: openai-codex/gpt-5.5
-  tier: cloud-avg
   score: 80
   issues: internal-name:resolveTargetFiles,internal-name:runConftestBatch,judge:inaccurate:0.97
   judgeModel: openai-codex/gpt-5.4-mini
@@ -31,7 +30,7 @@ docgen:
 
 6. Для кожного target-файлу в template-режимі порівнює фактичний вміст із declarative template-очікуваннями: обовʼязковими фрагментами, заборонами та вимогами на наявність. Кожну невідповідність оформлює як `policy-template-mismatch`.
 
-7. Для Rego-перевірки запускає policy concern-а через conftest-поверхню та передає доступні template-дані як супровідний контекст, щоб зберегти поведінку існуючої policy-логіки.
+7. Для Rego-перевірки запускає policy concern-а через conftest-поверхню (`await runConftestBatch`, async), передаючи доступні template-дані як супровідний контекст і прокидаючи `ctx.signal` — щоб зберегти поведінку існуючої policy-логіки й водночас підтримати скасування у parallel lane `detectAll()`.
 
 8. Кожен deny-результат Rego оформлює як `policy-deny` із повідомленням policy та, якщо доступно, відносним шляхом до файла-порушника.
 

package/scripts/lib/lint-surface/docs/run-detectors.md

@@ -3,7 +3,7 @@ type: JS Module
 title: run-detectors.mjs
 resource: npm/scripts/lib/lint-surface/run-detectors.mjs
 docgen:
-  crc: e8a0ec47
+  crc: 631fa41c
   model: omlx/gemma-4-e4b-it-OptiQ-4bit
   score: 100
   issues: judge:inaccurate:0.98
@@ -21,6 +21,8 @@ DEFAULT_RULES_DIR визначає шлях до стандартної дире
 buildDetectPlan створює впорядкований план прогону лінтера, збираючи всі відповідні концерни та визначаючи область їх сканування.
 detectAll виконує прохід лінтера у режим детекції, збираючи всі виявлені порушення та повертаючи код виходу.
 
+**Внутрішній паралелізм (ADR 260716-1354-внутрішній-паралелізм-lint-оркестратора).** `detectAll` читає `N_RULES_LINT_CONCURRENCY` (дефолт `1` — production-паралелізм ще не пройшов benchmark-gates ADR): за замовчуванням план виконується повністю послідовно (`detectPlanSequentially`), спостережувано ідентично до-ADR поведінці. При `concurrency > 1` план ділиться на два лейни через `blocking-inventory.mjs` (`isSerialLane`) і виконується через `scheduler.mjs` (`runPlanConcurrently`, `detectPlanConcurrently`): parallel lane — доведені non-blocking concern-и, bounded pool до `concurrency`; serial lane — решта, строго послідовно. Перший `DetectorError` (будь-який лейн) зупиняє нові старти, `AbortController` сигналізує вже запущеним async-детекторам (`ctx.signal`), а вже завершені concern-и лишаються в результаті — `exitCode 2` пріоритетний над частковими violations. Фінальний масив violations завжди стабільно сортується за `(ruleId, concernId, file, data.line, reason)` — незалежно від порядку завершення (`sortViolations`), навіть при `concurrency=1`.
+
 ## Публічний API
 
 * DEFAULT_RULES_DIR — Містить набір стандартних правил для перевірок.

package/scripts/lib/lint-surface/docs/scheduler.md

@@ -0,0 +1,39 @@
+---
+type: JS Module
+title: scheduler.mjs
+resource: npm/scripts/lib/lint-surface/scheduler.mjs
+docgen:
+  crc: e909628f
+  model: openai-codex/gpt-5.4-mini
+  tier: cloud-min
+  score: 100
+  issues: judge:inaccurate:0.99
+  judgeModel: openai-codex/gpt-5.4-mini
+---
+
+## Огляд
+
+Bounded two-lane concurrent scheduler для `detectAll`, який активується лише коли `concurrency > 1`; за `concurrency === 1` `detectAll` лишається на повністю послідовному шляху, спостережувано ідентичному до-ADR поведінці, і цей scheduler там навіть не викликається. Має два лейни: **serial lane** з власним sequential runner і mutex-ефектом, де items ніколи не перекриваються самі з собою, та **parallel lane** з bounded pool до `concurrency` слотів. Обидва лейни навмисно виконуються конкурентно один з одним: для serial-lane це лише структурна конкурентність, бо його blocking `spawnSync` все одно заморожує event loop, а parallel-lane отримує реальну вигоду від одночасного очікування кількох `spawnAsync`-викликів. Перша помилка від `runItem` зупиняє нові старти в обох лейнах, `controller.abort` сигналізує вже запущеним async-детекторам, і функція чекає завершення всіх уже стартованих items; кожен `runOne` ловить власну помилку, тож зовнішній `Promise.all` не відхиляється назовні.
+
+## Поведінка
+
+1. `runPlanConcurrently` розділяє вхідний план на два потоки виконання: serial і parallel, щоб паралельно обслуговувати незалежні елементи та не перекривати послідовні між собою.
+
+2. `runPlanConcurrently` запускає serial-потік як суворо послідовний прогін, а parallel-потік — як обмежений пул із максимальною кількістю одночасних активних елементів, визначеною рівнем concurrency.
+
+3. `runPlanConcurrently` збирає результат кожного реально стартованого елемента в порядку завершення, а не в початковому порядку плану.
+
+4. `runPlanConcurrently` сприймає першу помилку як інфраструктурну: зупиняє старт нових елементів у обох потоках і надсилає сигнал скасування вже запущеним асинхронним виконавцям.
+
+5. `runPlanConcurrently` не перериває зовнішнє виконання аварійним винятком: усі вже стартовані елементи дочікуються завершення, а помилки фіксуються в результатах і повертаються разом із першим інфраструктурним збоєм.
+
+6. `runPlanConcurrently` повертає пару: список фактично виконаних елементів із їхнім підсумком або причиною скасування, та першу помилку, якщо вона була; якщо збоїв не було, помилка дорівнює null.
+
+## Публічний API
+
+- runPlanConcurrently — зупиняє запуск нових items після кидка, абортує `signal`; `results` містить лише реально запущені items у порядку завершення; `infraError` фіксує першу помилку `runItem` або лишається `null`, якщо все завершилось успішно
+
+## Гарантії поведінки
+
+- Read-only: не виконує операцій запису (ФС/БД).
+- Перехоплює помилки і не пропускає винятків назовні (fail-safe).

package/scripts/lib/lint-surface/docs/types.md

@@ -3,7 +3,7 @@ type: JS Module
 title: types.mjs
 resource: npm/scripts/lib/lint-surface/types.mjs
 docgen:
-  crc: 4120f280
+  crc: 5f1d3eca
   model: omlx/gemma-4-e4b-it-OptiQ-4bit
 ---
 
@@ -13,7 +13,7 @@ docgen:
 
 ## Поведінка
 
-1. Контекст для перевірки визначається через абсолютний шлях до коріня репозиторію, унікальний ідентифікатор правила та ідентифікатор concern-а. Додатково може вказуватися абсолютний шлях до каталогу concern-а або відносний перелік файлів для пофайлового запуску.
+1. Контекст для перевірки визначається через абсолютний шлях до коріня репозиторію, унікальний ідентифікатор правила та ідентифікатор concern-а. Додатково може вказуватися абсолютний шлях до каталогу concern-а або відносний перелік файлів для пофайлового запуску, а також опційний `AbortSignal` — заповнюється лише в parallel lane `detectAll()` (`N_RULES_LINT_CONCURRENCY>1`), async-детектори прокидають його у свої `spawnAsync`-виклики, щоб перерватись при infrastructure-помилці іншого concern-а.
 2. Detector створює результат перевірки, який містить перелік виявлених порушень або технічних діагностик.
 3. Кожне порушення фіксується за унікальною комбінацією `ruleId`, `concernId` та стабільного коду причини. Для порушення вказується описовий текст, а також опціональні метадані, специфічні для concern-а.
 4. T0-патерн визначає, чи застосовний для групи порушень. Якщо патерн ідемпотентний та самодостатній, він може автоматично ініціювати виправлення без детального аналізу кожного порушення.

package/scripts/lib/lint-surface/policy-lint-adapter.mjs

@@ -43,7 +43,7 @@ function toRel(abs, cwd) {
  * @returns {Promise<LintResult>} Уніфікований результат лінту зі списком violations.
  */
 export async function evaluatePolicyConcern(ctx, cfg) {
-  const { cwd, ruleId, concernId } = ctx
+  const { cwd, ruleId, concernId, signal } = ctx
   /** @type {LintViolation[]} */
   const violations = []
   /**
@@ -90,13 +90,14 @@ export async function evaluatePolicyConcern(ctx, cfg) {
   // Rego
   const namespace = `${ruleId.replaceAll('-', '_')}.${concernId}`
   const templateData = await resolveConcernTemplateData(cfg.policyDir, { files: cfg.files })
-  const denies = runConftestBatch({
+  const denies = await runConftestBatch({
     policyDirRel: `${ruleId}/${concernId}`,
     // Абсолютний шлях теки concern-а — правило може жити поза вбудованим rules/ ядра (плагін).
     policyDirAbs: cfg.policyDir,
     namespace,
     files,
-    templateData
+    templateData,
+    signal
   })
   for (const d of denies) add('policy-deny', d.message, d.filename ? toRel(d.filename, cwd) : undefined)
   return { violations }

package/scripts/lib/lint-surface/run-detectors.mjs

@@ -10,6 +10,7 @@
  * @typedef {{ ruleId: string, concern: ConcernMeta }} LintEntry
  */
 import { dirname, join } from 'node:path'
+import { env } from 'node:process'
 import { fileURLToPath } from 'node:url'
 
 import picomatch from 'picomatch'
@@ -18,9 +19,11 @@ import { listConcerns } from '../concern-meta.mjs'
 import { collectChangedFilesSince, resolveChangedBase } from '../changed-files.mjs'
 import { readNRulesConfigLite, isRuleEnabled } from '../read-n-rules-config-lite.mjs'
 import { getActiveCapabilities, resolvePlugins } from '../resolve-plugins.mjs'
+import { isSerialLane } from './blocking-inventory.mjs'
 import { runConcernDetector, DetectorError } from './detect.mjs'
 import { renderViolations, renderDiagnostics } from './render.mjs'
 import { createProgressReporter } from './progress.mjs'
+import { runPlanConcurrently } from './scheduler.mjs'
 
 // Цей файл: npm/scripts/lib/lint-surface/run-detectors.mjs → PACKAGE_ROOT = npm (4 dirname угору).
 export const DEFAULT_RULES_DIR = join(dirname(dirname(dirname(dirname(fileURLToPath(import.meta.url))))), 'rules')
@@ -295,6 +298,129 @@ async function buildPlan({ byRule, full, rules, explicitFiles, cwd }) {
   return buildDeltaPlan(byRule, enabledSet, changed)
 }
 
+/**
+ * Виконує один item плану: будує ctx, прогонить detector, оновлює progress. Спільний
+ * крок для послідовного і конкурентного (`N_RULES_LINT_CONCURRENCY>1`) шляхів `detectAll` —
+ * єдина точка, де щось може кинути `DetectorError` (чи іншу помилку), тож caller (sequential
+ * for-loop чи `runPlanConcurrently`) вирішує, як саме зупинити прогін.
+ * @param {PlanItem} planItem один item плану (`{ entry, files }`).
+ * @param {object} runOpts опції прогону.
+ * @param {string} runOpts.cwd робоча директорія прогону.
+ * @param {boolean} runOpts.verbose докладний лог прогону.
+ * @param {import('./progress.mjs').ProgressReporter|null} runOpts.progress reporter прогресу (може бути відсутній).
+ * @param {(s: string) => void} runOpts.log функція логування.
+ * @param {AbortSignal} [runOpts.signal] сигнал скасування — лише в конкурентному шляху.
+ * @returns {Promise<{ entry: LintEntry, violations: LintViolation[] }>} entry і зібрані violations.
+ */
+async function runPlanItem({ entry, files }, { cwd, verbose, progress, log, signal }) {
+  /** @type {LintContext} */
+  const ctx = { cwd, ruleId: entry.ruleId, concernId: entry.concern.name, files, verbose, signal }
+  const key = `${entry.ruleId}/${entry.concern.name}`
+  progress?.concernStart(key)
+  if (verbose) {
+    const countStr = files === undefined ? 'весь репо' : `${files.length} файл(ів)`
+    log(`  🔍 ${key}  [${entry.concern.lint.scope}]  → ${countStr}\n`)
+  }
+  const result = await runConcernDetector(entry.concern, ctx)
+  progress?.detectSnapshot(key, result.violations.length)
+  progress?.concernDone(key)
+  if (verbose && result.diagnostics && result.diagnostics.length > 0) {
+    log(renderDiagnostics(result.diagnostics))
+  }
+  return { entry, violations: result.violations }
+}
+
+/**
+ * @typedef {{ violations: LintViolation[], ran: LintEntry[], infraMessage: string|null }} PlanRunResult
+ */
+
+/**
+ * Послідовний прохід плану — незмінна поведінка до-ADR 260716-1354 (`N_RULES_LINT_CONCURRENCY<=1`,
+ * дефолт). Перший `DetectorError` негайно зупиняє прогін (`infraMessage`); будь-яка інша помилка
+ * прокидається далі (несподівана помилка самого раннера, не detector-контракту).
+ * @param {PlanItem[]} plan впорядкований план прогону.
+ * @param {{ cwd: string, verbose: boolean, progress: import('./progress.mjs').ProgressReporter|null, log: (s: string) => void }} runOpts опції прогону.
+ * @returns {Promise<PlanRunResult>} зібрані violations, виконані entries, повідомлення інфра-помилки.
+ */
+async function detectPlanSequentially(plan, runOpts) {
+  /** @type {LintViolation[]} */
+  const violations = []
+  /** @type {LintEntry[]} */
+  const ran = []
+  for (const item of plan) {
+    let outcome
+    try {
+      outcome = await runPlanItem(item, runOpts)
+    } catch (error) {
+      if (error instanceof DetectorError) return { violations, ran, infraMessage: error.message }
+      throw error
+    }
+    ran.push(outcome.entry)
+    violations.push(...outcome.violations)
+  }
+  return { violations, ran, infraMessage: null }
+}
+
+/**
+ * Bounded two-lane прохід плану (`N_RULES_LINT_CONCURRENCY>1`, experimental — ADR 260716-1354).
+ * Parallel lane — concern-и, доведені non-blocking (`blocking-inventory.mjs`), bounded pool до
+ * `concurrency`; serial lane — решта, строго послідовно. Перший `DetectorError` зупиняє нові
+ * старти в обох лейнах (`scheduler.mjs`); уже завершені concern-и лишаються в результаті.
+ * @param {PlanItem[]} plan впорядкований план прогону.
+ * @param {{ cwd: string, verbose: boolean, progress: import('./progress.mjs').ProgressReporter|null, log: (s: string) => void, concurrency: number }} runOpts опції прогону.
+ * @returns {Promise<PlanRunResult>} зібрані violations, виконані entries, повідомлення інфра-помилки.
+ */
+async function detectPlanConcurrently(plan, { cwd, verbose, progress, log, concurrency }) {
+  const { results, infraError } = await runPlanConcurrently(plan, {
+    concurrency,
+    isSerial: item => isSerialLane(item.entry.ruleId, item.entry.concern.name),
+    runItem: (item, signal) => runPlanItem(item, { cwd, verbose, progress, log, signal })
+  })
+
+  if (infraError !== null && !(infraError instanceof DetectorError)) throw infraError
+
+  /** @type {LintViolation[]} */
+  const violations = []
+  /** @type {LintEntry[]} */
+  const ran = []
+  for (const { result } of results) {
+    if (!result) continue
+    ran.push(result.entry)
+    violations.push(...result.violations)
+  }
+  return { violations, ran, infraMessage: infraError?.message ?? null }
+}
+
+/**
+ * `data.line` детектора (не top-level поле `LintViolation` — лише деякі detector-и
+ * кладуть номер рядка в `data`, напр. `js/eslint`). Відсутність → 0 (перед усіма
+ * реальними номерами рядків), щоб сортування лишалось стабільним і передбачуваним.
+ * @param {LintViolation} v порушення.
+ * @returns {number} номер рядка або 0.
+ */
+function violationLine(v) {
+  const line = v.data && typeof v.data === 'object' ? v.data.line : undefined
+  return typeof line === 'number' ? line : 0
+}
+
+/**
+ * Стабільне сортування за `(ruleId, concernId, file, line, reason)` — незалежно від порядку
+ * завершення concern-ів (важливо для конкурентного шляху; послідовний шлях сьогодні лише
+ * конкатенував violations у порядку виконання, без сортування за file/line/reason).
+ * @param {LintViolation[]} violations вхідний масив (не мутується).
+ * @returns {LintViolation[]} новий, стабільно сортований масив.
+ */
+function sortViolations(violations) {
+  return violations.toSorted(
+    (a, b) =>
+      a.ruleId.localeCompare(b.ruleId) ||
+      a.concernId.localeCompare(b.concernId) ||
+      (a.file ?? '').localeCompare(b.file ?? '') ||
+      violationLine(a) - violationLine(b) ||
+      a.reason.localeCompare(b.reason)
+  )
+}
+
 /**
  * Запускає detect-only прохід. Повертає всі violations і похідний exitCode.
  * @param {object} opts опції прогону.
@@ -339,43 +465,28 @@ export async function detectAll(opts) {
       : null
   const log = progress ? progress.log : baseLog
 
-  /** @type {LintViolation[]} */
-  const allViolations = []
-  /** @type {LintEntry[]} */
-  const ran = []
+  // Default 1 — production-паралелізм ще не пройшов benchmark-gates ADR 260716-1354;
+  // >1 лишається experimental override.
+  const concurrency = Math.max(1, Number(env['N_RULES_LINT_CONCURRENCY']) || 1)
+  const runOpts = { cwd, verbose, progress, log }
 
+  let planResult
   try {
-    for (const { entry, files } of plan) {
-      /** @type {LintContext} */
-      const ctx = { cwd, ruleId: entry.ruleId, concernId: entry.concern.name, files, verbose }
-      const key = `${entry.ruleId}/${entry.concern.name}`
-      progress?.concernStart(key)
-      if (verbose) {
-        const countStr = files === undefined ? 'весь репо' : `${files.length} файл(ів)`
-        log(`  🔍 ${key}  [${entry.concern.lint.scope}]  → ${countStr}\n`)
-      }
-      let result
-      try {
-        result = await runConcernDetector(entry.concern, ctx)
-      } catch (error) {
-        if (error instanceof DetectorError) {
-          log(`💥 ${error.message}\n`)
-          return { violations: allViolations, exitCode: 2, ran }
-        }
-        throw error
-      }
-      ran.push(entry)
-      allViolations.push(...result.violations)
-      progress?.detectSnapshot(key, result.violations.length)
-      progress?.concernDone(key)
-      if (verbose && result.diagnostics && result.diagnostics.length > 0) {
-        log(renderDiagnostics(result.diagnostics))
-      }
-    }
+    planResult = await (concurrency > 1
+      ? detectPlanConcurrently(plan, { ...runOpts, concurrency })
+      : detectPlanSequentially(plan, runOpts))
   } finally {
     progress?.stop()
   }
 
+  const { ran, infraMessage } = planResult
+  const allViolations = sortViolations(planResult.violations)
+
+  if (infraMessage !== null) {
+    log(`💥 ${infraMessage}\n`)
+    return { violations: allViolations, exitCode: 2, ran }
+  }
+
   if (allViolations.length > 0) baseLog(renderViolations(allViolations))
   return { violations: allViolations, exitCode: allViolations.length > 0 ? 1 : 0, ran }
 }

package/scripts/lib/lint-surface/scheduler.mjs

@@ -0,0 +1,96 @@
+/**
+ * Bounded two-lane concurrent scheduler для `detectAll()` (ADR 260716-1354). Активний лише
+ * коли `concurrency > 1` (деталі — `run-detectors.mjs`); за замовчуванням (`concurrency === 1`)
+ * `detectAll` лишається на повністю послідовному шляху, спостережувано ідентичному до-ADR
+ * поведінці — ця функція там навіть не викликається.
+ *
+ * Два лейни за `isSerial(item)`: **serial lane** — власний sequential runner (mutex за
+ * конструкцією, items ніколи не перекриваються самі з собою); **parallel lane** — bounded
+ * pool до `concurrency` слотів. Обидва лейни виконуються конкурентно один з одним — свідомий
+ * вибір: serial-lane item, коли реально виконує свій blocking `spawnSync`, все одно заморожує
+ * весь event loop (тобто "конкурентність" із parallel lane суто структурна, не робить
+ * serial-lane item швидшим), а parallel-lane пул отримує реальну вигоду від одночасного
+ * очікування кількох `spawnAsync`-викликів.
+ *
+ * Перший виняток від `runItem` зупиняє нові старти в обох лейнах, `controller.abort()`
+ * сигналізує вже запущеним async-детекторам, і функція чекає завершення всіх уже
+ * стартованих items (кожен `runOne` сам ловить власну помилку — жоден виклик не відхиляє
+ * зовнішній `Promise.all`) перед поверненням.
+ */
+
+/**
+ * @template T, R
+ * @typedef {object} PlanItemOutcome
+ * @property {T} item вхідний item
+ * @property {R} [result] результат `runItem`, якщо завершився успішно
+ * @property {unknown} [error] помилка `runItem` (перша — стає `infraError`)
+ * @property {boolean} [aborted] true — item отримав `AbortError` уже ПІСЛЯ того, як інший item
+ *   зупинив плановий прогін (очікуване скасування, не нова інфра-помилка)
+ */
+
+/**
+ * @template T, R
+ * @param {T[]} items вхідний план (в оригінальному порядку)
+ * @param {object} opts опції планування
+ * @param {number} opts.concurrency bounded pool розмір для parallel lane (мінімум 1)
+ * @param {(item: T) => boolean} opts.isSerial чи item належить serial lane
+ * @param {(item: T, signal: AbortSignal) => Promise<R>} opts.runItem виконує один item;
+ *   кидання зупиняє планування нових items і абортить `signal`
+ * @returns {Promise<{ results: PlanItemOutcome<T, R>[], infraError: unknown|null }>}
+ *   `results` — лише items, що реально стартували (в порядку завершення, не вхідному);
+ *   `infraError` — перша помилка `runItem`, або `null`, якщо всі items завершились успішно
+ */
+export async function runPlanConcurrently(items, { concurrency, isSerial, runItem }) {
+  const controller = new AbortController()
+  const parallelItems = []
+  const serialItems = []
+  for (const item of items) (isSerial(item) ? serialItems : parallelItems).push(item)
+
+  /** @type {PlanItemOutcome<T, R>[]} */
+  const results = []
+  let infraError = null
+  let stopped = false
+
+  const runOne = async item => {
+    if (stopped) return
+    try {
+      const result = await runItem(item, controller.signal)
+      results.push({ item, result })
+    } catch (error) {
+      if (stopped && error?.name === 'AbortError') {
+        results.push({ item, aborted: true })
+        return
+      }
+      results.push({ item, error })
+      if (!stopped) {
+        stopped = true
+        infraError = error
+        controller.abort()
+      }
+    }
+  }
+
+  const runSerialLane = async () => {
+    for (const item of serialItems) {
+      if (stopped) break
+      await runOne(item)
+    }
+  }
+
+  const runParallelLane = async () => {
+    let next = 0
+    const worker = async () => {
+      while (!stopped) {
+        const i = next++
+        if (i >= parallelItems.length) return
+        await runOne(parallelItems[i])
+      }
+    }
+    const workerCount = Math.min(concurrency, parallelItems.length)
+    await Promise.all(Array.from({ length: workerCount }, worker))
+  }
+
+  await Promise.all([runSerialLane(), runParallelLane()])
+
+  return { results, infraError }
+}

package/scripts/lib/lint-surface/types.mjs

@@ -21,6 +21,9 @@
  *   `undefined` означає whole-repo
  * @property {boolean} [verbose] `--verbose` CLI-прапорець; concern-и із зовнішніми
  *   інструментами (напр. `ga/workflows`) звіряються з ним, щоб не засмічувати прогрес-бар `lint --full`
+ * @property {AbortSignal} [signal] сигнал скасування — лише у parallel lane `detectAll()`
+ *   (`N_RULES_LINT_CONCURRENCY>1`, ADR 260716-1354); async-детектори (`spawnAsync`-based)
+ *   прокидають його далі, щоб перерватись при infrastructure-помилці іншого concern-а
  */
 
 /**

package/scripts/lib/run-conftest-batch.mjs

@@ -9,16 +9,20 @@
  * ризик дрифту (типу `spec.config` vs `spec.default.config` у
  * `health_check_policy.rego`, що ми ловили cross-check тестами).
  *
- * Hard-fail на відсутність `conftest` — через `ensureTool`, що спочатку
+ * Hard-fail на відсутність `conftest` — через `ensureToolAsync`, що спочатку
  * намагається авто-встановити, і лише після невдачі кидає виняток.
+ *
+ * Async (`spawnAsync`, не `spawnSync`) — детектор не блокує event loop, тож може
+ * виконуватись у parallel lane `detectAll()` (ADR 260716-1354). Приймає опційний
+ * `signal`/`timeoutMs` — прокидаються в `spawnAsync`.
  */
-import { spawnSync } from 'node:child_process'
 import { existsSync, mkdtempSync, rmSync, writeFileSync } from 'node:fs'
 import { tmpdir } from 'node:os'
 import { dirname, join } from 'node:path'
 import { fileURLToPath } from 'node:url'
 
-import { ensureTool } from './ensure-tool.mjs'
+import { ensureToolAsync } from './ensure-tool.mjs'
+import { spawnAsync } from '../utils/spawn-async.mjs'
 
 /**
   Каталог пакета `@7n/rules`, від якого ресолвимо вшиті директорії правил.
@@ -44,6 +48,8 @@ const RULES_ROOT = join(PACKAGE_ROOT, 'rules')
  * @property {string[]} files список абсолютних шляхів файлів для перевірки (порожній — повертаємо порожньо)
  * @property {string[]} [extraArgs] додаткові аргументи для conftest (наприклад `--combine` для крос-документних правил)
  * @property {object} [templateData] опціональне merged-дерево; серіалізується у JSON `{ "template": <data> }` і передається як `--data <tmpfile>` (cleanup після завершення)
+ * @property {AbortSignal} [signal] сигнал скасування — прокидається у `spawnAsync`
+ * @property {number} [timeoutMs] ліміт виконання `conftest` у мілісекундах — прокидається у `spawnAsync`
  */
 
 /**
@@ -65,11 +71,11 @@ export function buildConftestArgs(p) {
  * порушень. Якщо `files` порожній — повертає `[]` без спавна. Якщо `conftest`
  * не у PATH і авто-встановлення не вдалось — кидає виняток (hard fail).
  * @param {ConftestBatchOptions} opts параметри запуску
- * @returns {ConftestViolation[]} масив порушень (порожній — все ок)
+ * @returns {Promise<ConftestViolation[]>} масив порушень (порожній — все ок)
  */
-export function runConftestBatch(opts) {
+export async function runConftestBatch(opts) {
   if (opts.files.length === 0) return []
-  const conftestBin = ensureTool('conftest')
+  const conftestBin = await ensureToolAsync('conftest')
   // policyDirRel — формат `<rule>/<concern>` (наприклад `abie/base_deployment_preem`).
   // Flat concern path: rules/<rule>/<concern>/ (без проміжного `policy/`).
   const slash = opts.policyDirRel.indexOf('/')
@@ -94,11 +100,10 @@ export function runConftestBatch(opts) {
       extraArgs: opts.extraArgs ?? [],
       tmpDataFile
     })
-    const result = spawnSync(conftestBin, args, { encoding: 'utf8' })
-    if (result.error) throw result.error
-    // conftest exit 1 = є failures (це валідно для нас); >1 = справжня помилка.
-    if (result.status !== 0 && result.status !== 1) {
-      throw new Error(`conftest exit ${result.status}: ${(result.stderr || result.stdout || '').slice(0, 500)}`)
+    const result = await spawnAsync(conftestBin, args, { signal: opts.signal, timeoutMs: opts.timeoutMs })
+    // conftest exit 1 = є failures (це валідно для нас); >1 (або null — вбито сигналом/таймаутом) = справжня помилка.
+    if (result.exitCode !== 0 && result.exitCode !== 1) {
+      throw new Error(`conftest exit ${result.exitCode}: ${(result.stderr || result.stdout || '').slice(0, 500)}`)
     }
     /**
   @type {Array<{ filename: string, namespace: string, failures?: Array<{ msg: string }> }>}

package/scripts/utils/docs/index.md

@@ -16,6 +16,7 @@ resource: npm/scripts/utils/
 | [resolve-cargo-manifest.mjs](resolve-cargo-manifest.md)     | JS Module |
 | [resolve-cmd.mjs](resolve-cmd.md)                           | JS Module |
 | [resolve-js-root.mjs](resolve-js-root.md)                   | JS Module |
+| [spawn-async.mjs](spawn-async.md)                           | JS Module |
 | [test-helpers.mjs](test-helpers.md)                         | JS Module |
 | [walk-cache.mjs](walk-cache.md)                             | JS Module |
 | [walkDir.mjs](walkDir.md)                                   | JS Module |