@7n/rules 1.84.0 → 1.85.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/CHANGELOG.md CHANGED
@@ -1,5 +1,27 @@
1
1
  # Changelog
2
2
 
3
+ ## [1.85.0] - 2026-08-05
4
+
5
+ ### Added
6
+
7
+ - Контракт плагінів `n-rules:plugin` — мінор `3.1.0`: новий host-імпорт `exec-tool`
8
+ (`run-tool` плюс `cwd`, накладені змінні середовища й двобічний scratch-обмін
9
+ файлами) і слот `scratch-dir@1` на чинному `host-context`. Зміна additive:
10
+ плагін, зібраний під v3.0, лінкується й працює без повторної збірки.
11
+
12
+ Резолв тулів у `manifest.tools` навчився схем (рішення В спеки v3.1):
13
+ `path:<name>` резолвиться по PATH замість github-релізу; відсутність схеми —
14
+ як було (`pinned:`).
15
+
16
+ Перший концерн на новій поверхні — `bun/licensee`: детекція ліцензій
17
+ npm-залежностей переїхала з JS у wasm-компонент `lang-js/wasm-concerns`
18
+ (T0-фікс лишається JS). Спавнений тул виконується з правами хоста, поза
19
+ wasm-пісочницею — межа довіри плагіна це його пін, не пісочниця.
20
+
21
+ ### Fixed
22
+
23
+ - регенерує `.cursor/rules/n-rust.mdc` (дрейф із каноном після #392) і піднімає `KNOWN_PLUGIN_RANGES['@7n/rules-lang-rust']` до `^0.16` слідом за релізом плагіна
24
+
3
25
  ## [1.84.0] - 2026-08-05
4
26
 
5
27
  ### Changed
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@7n/rules",
3
- "version": "1.84.0",
3
+ "version": "1.85.0",
4
4
  "description": "CLI еталонних правил і skills (префікс n-): синк у репозиторій, дельта-lint, конформність",
5
5
  "keywords": [
6
6
  "cli",
@@ -208,7 +208,7 @@
208
208
  },
209
209
  {
210
210
  "name": "n-rules plugin manifest",
211
- "description": "plugin.toml — маніфест wasm-плагіна n-rules:plugin@3.0.0 (crates/<guest>/plugin.toml); офіційної JSON Schema поки нема (schemars-схема rules_contract::manifest::Manifest ще не публікується як окремий файл), тому permissive any.json",
211
+ "description": "plugin.toml — маніфест wasm-плагіна n-rules:plugin@3.1.0 (crates/<guest>/plugin.toml); офіційної JSON Schema поки нема (schemars-схема rules_contract::manifest::Manifest ще не публікується як окремий файл), тому permissive any.json",
212
212
  "url": "any.json",
213
213
  "fileMatch": [
214
214
  "plugin.toml",
@@ -7,7 +7,9 @@
7
7
  * (значення — НЕ голий рядок шляху, доккомент [`buildWasmConcernMap`] нижче).
8
8
  *
9
9
  * **Run-tool контур (задача N1, рішення Д спеки)**: `manifest.tools` —
10
- * задекларовані зовнішні tool-залежності плагіна (напр. `"shellcheck@^0.9"`).
10
+ * задекларовані зовнішні tool-залежності плагіна (напр. `"shellcheck@^0.9"`,
11
+ * `"path:bun"` — схеми резолву, рішення В спеки
12
+ * `docs/specs/2026-08-01-plugin-contract-v31-surfaces.md`, [`parseToolRef`]).
11
13
  * Для кожного запису резолвер кличе ensure-tool контур (`ensureToolAsync`,
12
14
  * `../ensure-tool.mjs`, injectable через `opts.ensureToolFn`) — будує мапу
13
15
  * «ім'я тула (без semver-суфікса декларації) → абсолютний шлях», яку
@@ -114,6 +116,7 @@ import { fileURLToPath } from 'node:url'
114
116
 
115
117
  import { ensureToolAsync } from '../ensure-tool.mjs'
116
118
  import { loadNative } from '../native.mjs'
119
+ import { resolveCmd } from '../../utils/resolve-cmd.mjs'
117
120
 
118
121
  /**
119
122
  * Абсолютний шлях до `npm/wasm-plugins/` — тека, куди `build-wasm-plugins.mjs`
@@ -431,16 +434,39 @@ async function resolveEntryPath(entry, ctx) {
431
434
  }
432
435
 
433
436
  /**
434
- * Ім'я тула без semver-суфікса декларації (`"shellcheck@^0.9"` `"shellcheck"`)
435
- * — той самий парсинг, що host-бік `ToolResolver::run`
436
- * (`crates/rules-plugin-host/src/tool_resolver.rs`, доккомент модуля
437
- * пояснює версійну політику вона НЕ тут, ensure-tool ставить канонічну
438
- * закріплену версію).
437
+ * Схеми резолву тула в рядку `manifest.tools` (рішення В спеки
438
+ * `docs/specs/2026-08-01-plugin-contract-v31-surfaces.md`). Дзеркало
439
+ * Rust-боку (`rules_contract::validators::tool::ToolScheme`) і саме
440
+ * ДЗЕРКАЛО, а не незалежний список: розбіжність означала б, що маніфест,
441
+ * прийнятий хостом, мовчки не резолвиться оркестрацією.
442
+ */
443
+ const TOOL_SCHEMES = {
444
+ /** Github-реліз із закріпленою версією (`TOOLS` + `tool-pins.json`) — дефолт за відсутності схеми. */
445
+ PINNED: 'pinned',
446
+ /** Резолв по `PATH` (`bun`, `bunx` — ensure-tool не вміє і не має їх завантажувати). */
447
+ PATH: 'path'
448
+ }
449
+
450
+ /**
451
+ * Розбирає запис `manifest.tools` у `{ scheme, name }`: відрізає схему
452
+ * (якщо є), потім semver-суфікс декларації (`"path:bun@^1.2"` →
453
+ * `{ scheme: 'path', name: 'bun' }`). Порт
454
+ * `rules_contract::validators::tool::parse_tool_ref` — дзеркальний тест
455
+ * конвенції: `tests/wasm-plugins.test.mjs`.
456
+ *
457
+ * Невідома схема НЕ інтерпретується як частина імені: [`ensureDeclaredTools`]
458
+ * пропускає такий запис із warn, бо резолвити його однаково нема чим (та
459
+ * сама поведінка, що host-валідатор `validate_tool_ref`).
439
460
  * @param {string} declared запис із `manifest.tools`
440
- * @returns {string} ім'я тула
461
+ * @returns {{ scheme: string | null, name: string }} схема (`null` — невідома) й ім'я тула
441
462
  */
442
- function toolName(declared) {
443
- return declared.split('@', 1)[0]
463
+ function parseToolRef(declared) {
464
+ const separator = declared.indexOf(':')
465
+ if (separator === -1) return { scheme: TOOL_SCHEMES.PINNED, name: declared.split('@', 1)[0] }
466
+ const prefix = declared.slice(0, separator)
467
+ const rest = declared.slice(separator + 1)
468
+ if (prefix !== TOOL_SCHEMES.PINNED && prefix !== TOOL_SCHEMES.PATH) return { scheme: null, name: declared }
469
+ return { scheme: prefix, name: rest.split('@', 1)[0] }
444
470
  }
445
471
 
446
472
  /**
@@ -456,14 +482,26 @@ function toolName(declared) {
456
482
  * @param {string} pluginName ім'я плагіна (лише для diagnostics-повідомлень)
457
483
  * @param {string[]} declaredTools `manifest.tools` — рядки виду `"shellcheck@^0.9"`
458
484
  * @param {(toolId: string) => Promise<string>} ensureToolFn ін'єкція `ensureToolAsync` (тести підміняють)
485
+ * @param {(cmd: string) => string | null} resolveCmdFn ін'єкція `resolveCmd` для схеми `path:` (тести підміняють — інакше результат залежав би від PATH машини)
459
486
  * @returns {Promise<Record<string, string>>} ім'я тула (без semver-суфікса) → абсолютний шлях
460
487
  */
461
- async function ensureDeclaredTools(pluginName, declaredTools, ensureToolFn) {
488
+ async function ensureDeclaredTools(pluginName, declaredTools, ensureToolFn, resolveCmdFn) {
462
489
  /** @type {Record<string, string>} */
463
490
  const toolPaths = {}
464
491
  for (const declared of declaredTools) {
465
- const name = toolName(declared)
492
+ const { scheme, name } = parseToolRef(declared)
466
493
  try {
494
+ if (scheme === null)
495
+ throw new Error(`невідома схема резолву (відомі "${TOOL_SCHEMES.PINNED}:", "${TOOL_SCHEMES.PATH}:")`)
496
+ if (scheme === TOOL_SCHEMES.PATH) {
497
+ // `path:` НЕ йде в ensure-tool контур узагалі: той уміє лише
498
+ // github-релізи, а `bun`/`bunx` встановлює користувач. Відсутність —
499
+ // не помилка резолву плагіна, а звичайний skip одного тула.
500
+ const fromPath = resolveCmdFn(name)
501
+ if (!fromPath) throw new Error('не знайдено в PATH')
502
+ toolPaths[name] = fromPath
503
+ continue
504
+ }
467
505
  toolPaths[name] = await ensureToolFn(name)
468
506
  } catch (error) {
469
507
  console.warn(
@@ -484,7 +522,7 @@ async function ensureDeclaredTools(pluginName, declaredTools, ensureToolFn) {
484
522
  * запис у мапу для кожного `manifest.concerns`. Усі кроки — skip-not-crash
485
523
  * (доккомент модуля).
486
524
  * @param {string} cwd абсолютний корінь consumer-репо
487
- * @param {{fetchFn: typeof fetch, cacheDir: string, env: Record<string, string | undefined>, ensureToolFn: (toolId: string) => Promise<string>, nativeFn: typeof loadNative, builtinPinsDir: string}} ctx ін'єктовані залежності
525
+ * @param {{fetchFn: typeof fetch, cacheDir: string, env: Record<string, string | undefined>, ensureToolFn: (toolId: string) => Promise<string>, resolveCmdFn: (cmd: string) => string | null, nativeFn: typeof loadNative, builtinPinsDir: string}} ctx ін'єктовані залежності
488
526
  * @returns {Promise<Map<string, WasmConcernMapEntry>>} ключ концерну → `{ wasmPath, toolPaths }`
489
527
  */
490
528
  async function buildWasmConcernMap(cwd, ctx) {
@@ -500,7 +538,7 @@ async function buildWasmConcernMap(cwd, ctx) {
500
538
  console.warn(`⚠️ wasm-плагін "${entry.name}" пропущено: не вдалось завантажити (${error.message})`)
501
539
  continue
502
540
  }
503
- const toolPaths = await ensureDeclaredTools(entry.name, manifest.tools ?? [], ctx.ensureToolFn)
541
+ const toolPaths = await ensureDeclaredTools(entry.name, manifest.tools ?? [], ctx.ensureToolFn, ctx.resolveCmdFn)
504
542
  // `manifest.concerns` — масив структурованих контрибуцій `{ key, scope, glob }`
505
543
  // (задача N2, передумова full-scope мосту, доккомент `wit/world.wit`
506
544
  // `record concern-contribution`), не голі рядки — мапа концернів індексується
@@ -521,9 +559,10 @@ async function buildWasmConcernMap(cwd, ctx) {
521
559
  * неминуче асинхронні; єдиний виклик-сайт (`detect.mjs`) вже `async`,
522
560
  * контракт виклику не ламається.
523
561
  * @param {string} cwd абсолютний корінь consumer-репо (звідки читається `.n-rules.json`)
524
- * @param {{fetchFn?: typeof fetch, cacheDir?: string, env?: Record<string, string | undefined>, ensureToolFn?: (toolId: string) => Promise<string>, nativeFn?: typeof loadNative, builtinPinsDir?: string}} [opts] ін'єкції для тестів:
562
+ * @param {{fetchFn?: typeof fetch, cacheDir?: string, env?: Record<string, string | undefined>, ensureToolFn?: (toolId: string) => Promise<string>, resolveCmdFn?: (cmd: string) => string | null, nativeFn?: typeof loadNative, builtinPinsDir?: string}} [opts] ін'єкції для тестів:
525
563
  * `fetchFn` (дефолт — глобальний `fetch`), `cacheDir` (дефолт — `resolvePluginCacheDir`), `env` (дефолт — `process.env`),
526
- * `ensureToolFn` (дефолт — `ensureToolAsync`), `nativeFn` (дефолт — `loadNative`, wiring-тести підміняють фейковим addon-ом),
564
+ * `ensureToolFn` (дефолт — `ensureToolAsync`), `resolveCmdFn` (дефолт — `resolveCmd`; тести підміняють, бо інакше
565
+ * `path:`-схема давала б різний `toolPaths` залежно від PATH машини), `nativeFn` (дефолт — `loadNative`, wiring-тести підміняють фейковим addon-ом),
527
566
  * `builtinPinsDir` (дефолт — [`WASM_PLUGINS_DIR`], реальна `npm/wasm-plugins/`; тести ізолюють неіснуючим каталогом,
528
567
  * щоб локальна wasm-збірка в робочому дереві не підмішувала builtin-контрибуції в контрольовані сценарії)
529
568
  * @returns {Promise<Map<string, WasmConcernMapEntry>>} ключ концерну (`ruleId/concernId`) → `{ wasmPath, toolPaths }`
@@ -536,6 +575,7 @@ export function resolveWasmConcernMap(cwd, opts = {}) {
536
575
  cacheDir: opts.cacheDir ?? resolvePluginCacheDir(env),
537
576
  env,
538
577
  ensureToolFn: opts.ensureToolFn ?? ensureToolAsync,
578
+ resolveCmdFn: opts.resolveCmdFn ?? resolveCmd,
539
579
  nativeFn: opts.nativeFn ?? loadNative,
540
580
  builtinPinsDir: opts.builtinPinsDir ?? WASM_PLUGINS_DIR
541
581
  }
@@ -283,7 +283,7 @@ export const KNOWN_PLUGIN_RANGES = Object.freeze({
283
283
  '@7n/rules-ci-azure': '^2',
284
284
  '@7n/rules-lang-js': '^0.26',
285
285
  '@7n/rules-lang-python': '^0.12',
286
- '@7n/rules-lang-rust': '^0.15',
286
+ '@7n/rules-lang-rust': '^0.16',
287
287
  '@7n/rules-lang-php': '^0.3'
288
288
  })
289
289
 
@@ -441,6 +441,49 @@ per-file: пиши `detect_whole_batch(files: &[SourceFile]) -> Vec<Diagnostic>`
441
441
  фейковий бінарник (shell-скрипт у tempdir) у `ToolResolver::new(map)`
442
442
  (зразок — `run_tool_reaches_resolved_fake_tool_binary`
443
443
  `crates/rules-plugin-host/tests/contract_test_kit.rs`).
444
+ - **`exec-tool`** (зріз 5 контракту v3.1, спека
445
+ `docs/specs/2026-08-01-plugin-contract-v31-surfaces.md`, рішення А/Б/В/З) —
446
+ `run-tool` ПЛЮС виконавчий контекст. Бери його, якщо тулу потрібне бодай
447
+ щось із трьох:
448
+ - **`cwd`** (posix-relative від кореня репо; `none` — сам корінь). Без
449
+ нього процес успадковує cwd ХОСТ-процесу, який збігається з коренем репо
450
+ випадково. Обгортка, що читає `node_modules`/конфіги відносно себе, без
451
+ цього поля перевіряє не той каталог;
452
+ - **`env`** — пари НАКЛАДАЮТЬСЯ поверх успадкованого середовища, не
453
+ заміщують його;
454
+ - **scratch-обмін**: `scratch-in` хост матеріалізує у тимчасовому каталозі
455
+ ПЕРЕД спавном (вшиті в компонент конфіги/політики), `scratch-out` —
456
+ глоби файлів, які хост зчитує ПІСЛЯ виходу процесу (звіти тула).
457
+ Абсолютний шлях каталогу гість бере зі слоту `scratch-dir@1`
458
+ (`host-context`) і САМ кладе його в `args` — placeholder-підстановки в
459
+ аргументах контракт свідомо не має. Каталог живе РІВНО один
460
+ `detect`/`fix`-виклик, тож шлях не можна кешувати між викликами;
461
+ відсутній `scratch-out`-файл — не помилка, а «звіту немає».
462
+
463
+ Помилки — та сама форма, що в `run-tool`: `status: none` + людиночитний
464
+ `stderr`, ніколи не паніка. `exec-tool` виконує ВЖЕ зарезолвлений тул і
465
+ нічого не добуває — провізіонінг живе в окремій команді `tools ensure`.
466
+
467
+ **Схеми `manifest.tools`** (рішення В): `pinned:` (дефолт за відсутності
468
+ схеми — github-реліз із закріпленою версією) і `path:` (резолв по `PATH`:
469
+ `path:bun`, `path:bunx` — те, що ensure-tool завантажити не може й не має).
470
+
471
+ > **Trust boundary — прочитай ДО того, як напишеш перший `exec-tool`.**
472
+ > Спавнений тул виконується **з правами хоста, ПОЗА wasm-пісочницею**, і
473
+ > **МОЖЕ писати в репо**. Ані `fs_read`, ані `network` до нього не
474
+ > застосовуються: пісочниця обмежує wasm-код гостя, а не процес, який гість
475
+ > попросив запустити. Хост звужує лише ЯКИЙ бінарник (задекларований),
476
+ > ЗВІДКИ він стартує (`cwd` — безпечний repo-relative) і ЩО потрапляє у
477
+ > scratch (без `..`, з лімітами). Тобто **межа довіри плагіна — його пін
478
+ > (`url` + `sha256`), а не пісочниця**: ревʼю піна = ревʼю прав.
479
+ > Enforcement не додається свідомо (потрібен був би власний sandbox-шар
480
+ > навколо спавна на трьох ОС).
481
+
482
+ Живий зразок — `bun/licensee` (`crates/plugin-lang-js/src/lib.rs`, секція
483
+ «Зріз 5»); golden-тести з фейковим `bun` —
484
+ `crates/rules-plugin-host/tests/plugin_lang_js.rs`; повний контекст разом
485
+ (cwd + env + scratch) — `test/guest-exec-tool`
486
+ у `crates/test-plugin-guest`.
444
487
  - **`ci_artifacts`** (слот `ci.artifact@1`): типізовані записи
445
488
  `n-rules:slots` (`crates/rules-contract/src/slots/ci_artifact.rs`) —
446
489
  семантичні перевірки (safe-path, id-regex) живуть у
@@ -1,6 +0,0 @@
1
- {
2
- "lang-js": {
3
- "file": "plugin-lang-js.wasm",
4
- "sha256": "e25eb9efbb70dabf95d39dcaba9f3394f0e3db31bb2154016e86431552173722"
5
- }
6
- }
Binary file