@nitra/cursor 1.13.13 → 1.13.15

package/CHANGELOG.md

@@ -4,6 +4,36 @@
 
 Формат — [Keep a Changelog](https://keepachangelog.com/uk/1.1.0/), нумерація — [SemVer](https://semver.org/lang/uk/).
 
+## [1.13.15] - 2026-05-17
+
+### Added
+
+- `npm-module` rule template/ міграція (Phase 5): усі 4 policy концерни — `emit_types_config` (fragment, 2-level walker), `root_package_json` (fragment, snippet-array `workspaces`), `npm_package_json` (partial — `files` whitelist у template, regex `types` + `devDependencies`-must-be-empty лишаються у rego), `npm_publish_yml` (full-canon workflow з per-concern field-by-field rego).
+- 3 нові `*_test.rego` (раніше тестів не було для `emit_types_config`, `root_package_json`, `npm_publish_yml`) — кожен покриває canonical + 4-6 негативних + drift.
+
+### Changed
+
+- `emit_types_config.rego` — generic 2-level snippet walker (як `bun.bunfig` / `ga.vscode_settings`).
+- `root_package_json.rego` — generic snippet-array subset-of walker (під `workspaces` і потенційні наступні масиви).
+- `npm_package_json.rego` — `files` whitelist тепер subset-of через `data.template.snippet`; `types` regex + `devDependencies`-must-be-empty лишаються у rego як inverse-patterns.
+- `npm_publish_yml.rego` — повний канон workflow у `template/npm-publish.yml.snippet.yml` (як ga workflow concerns), expected paths/branches/permissions/uses-marker читаються з `data.template.snippet.<path>`.
+- `npm-module.mdc` — inline `npm-publish.yml` блок (35 рядків) замінено на template-link; додано окрему секцію «Канонічні конфіги» з лінками на `root_package_json`, `npm_package_json`, `emit_types_config` template-файли.
+- `docs/adr/template-dir-concern-inventory.md` — усі 4 `npm-module.*` концерни позначено ✓; додано Phase 5 у прогрес; tally: 19/39 (49%).
+
+## [1.13.14] - 2026-05-17
+
+### Added
+
+- `bun` rule template/ міграція (Phase 4): 2 концерни — `bunfig` (snippet-walker 2-level, `[install].linker = "hoisted"`) + `package_json` (partial — top-level deny-fields у template).
+- `bunfig_test.rego` створено з нуля (раніше тестів не було) — 5 позитивних/негативних + drift.
+
+### Changed
+
+- `bun.bunfig.rego` — використовує той самий 2-level snippet-walker, що `ga.vscode_settings` (leaf-by-leaf + guard на non-object section).
+- `bun.package_json.rego` — top-level deny-fields (`packageManager`, `dependencies`) тепер читаються з `data.template.deny`. Сентинельний value у `object.get(input, field, "__bun_missing__")` зберігає behavior «field present навіть якщо порожній обʼєкт». Логіка `@nitra/*`-only у devDependencies та lint-aggregator (cross-script) лишається у rego — це inverse-patterns, які не виносяться у template.
+- `bun.mdc` — inline `bunfig.toml` snippet замінено на template-link; додано посилання на `package.json.deny.json` для документації заборонених top-level полів.
+- `docs/adr/template-dir-concern-inventory.md` — `bun.*` концерни позначено ✓; додано Phase 4 у прогрес-секцію; tally: 15/39 (38%).
+
 ## [1.13.13] - 2026-05-17
 
 ### Added

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nitra/cursor",
-  "version": "1.13.13",
+  "version": "1.13.15",
   "description": "CLI для завантаження cursor-правил (префікс n-) у локальний репозиторій",
   "keywords": [
     "cli",

package/rules/bun/bun.mdc

@@ -34,10 +34,7 @@ Lockfile у репозиторії: `bun.lock`.
 
 У корені репозиторію має бути **`bunfig.toml`** з **hoisted** лінкером (пласке `node_modules`, сумісне з інструментами, які не розуміють ізольований layout Bun):
 
-```toml title="bunfig.toml"
-[install]
-linker = "hoisted"
-```
+- Канон `bunfig.toml`: [bunfig.toml.snippet.toml](./policy/bunfig/template/bunfig.toml.snippet.toml)
 
 Для Bun monorepo:
 
@@ -45,9 +42,9 @@ linker = "hoisted"
 - Якщо залежність потрібна лише одному пакету, додавати її в директорії цього пакета.
 - У CI та локально запускати скрипти через `bun run`.
 
-В кореневому в package.json не повинно бути `dependencies`, а в `devDependencies` — тільки модулі `@nitra/*`
+В кореневому в package.json не повинно бути `dependencies`, а в `devDependencies` — тільки модулі `@nitra/*`. Якщо в package.json є поля `packageManager`, то прибрати їх, також прибрати всі директорії та файли для yarn.
 
-Якщо в package.json є поля `packageManager`, то прибрати їх, також прибрати всі директорії та файли для yarn
+- Заборонені top-level поля у root `package.json` (з причинами): [package.json.deny.json](./policy/package_json/template/package.json.deny.json)
 
 Коли зміна відбувається в Dockerfile, то використовувати
 

package/rules/bun/policy/bunfig/bunfig.rego

@@ -1,33 +1,29 @@
-# Порт перевірки `checkBunfigHoisted` з `npm/scripts/check-bun.mjs` (bun.mdc).
+# Перевірка `bunfig.toml` для bun (bun.mdc).
 #
-# Запуск (локально):
-#   conftest test bunfig.toml -p npm/policy/bun --namespace bun.bunfig
-#
-# Conftest парсить `.toml` нативно: секція `[install]` стає обʼєктом `input.install`.
-# FS-перевірки (наявність самого `bunfig.toml`, `bun.lock`, заборонені lockfile-и
-# `package-lock.json` тощо, директорія `.yarn/`) живуть у `check-bun.mjs` — Rego
-# працює лише з вже завантаженим input.
-#
-# Структура каталогу збігається зі шляхом пакету (regal: directory-package-mismatch).
-# Конвенція проєкту — `import rego.v1` + multi-value `deny contains msg if { … }`
-# (.cursor/rules/conftest.mdc). Лінт — `bun run lint-rego` (regal).
+# Канон надходить через --data: { "template": { "snippet": ... } }
+# Структура --data сформована з template/bunfig.toml.snippet.toml.
+# Snippet — 2-рівнева мапа (section → key → expected). Walker такий самий,
+# як для ga.vscode_settings: leaf-by-leaf коли section-обʼєкт існує + окремий
+# deny коли section відсутній / не обʼєкт.
 package bun.bunfig
 
 import rego.v1
 
+# Leaf-by-leaf: section присутня й обʼєкт.
 deny contains msg if {
-	# `object.get(…, false)` дає визначене значення, коли поля немає, інакше
-	# `not is_object(input.install)` повернув би `undefined`, і правило мовчки
-	# не спрацювало б (той самий патерн, що й у `ga.workflow_common`).
-	not is_object(object.get(input, "install", false))
-	msg := "bunfig.toml: відсутня секція [install] (bun.mdc)"
+	some section, expected_inner in data.template.snippet
+	inner := object.get(input, section, {})
+	is_object(inner)
+	some leaf_key, expected_value in expected_inner
+	actual := object.get(inner, leaf_key, null)
+	actual != expected_value
+	msg := sprintf("bunfig.toml: у секції [%s] має бути %s = %q (bun.mdc)", [section, leaf_key, expected_value])
 }
 
+# Section відсутня (null) або не обʼєкт.
 deny contains msg if {
-	is_object(object.get(input, "install", false))
-
-	# `object.get(…, null)` робить значення визначеним, інакше при відсутньому
-	# `linker` порівняння `!= "hoisted"` дало б `undefined`, не `true`.
-	object.get(input.install, "linker", null) != "hoisted"
-	msg := "bunfig.toml: у секції [install] має бути linker = \"hoisted\" (bun.mdc)"
+	some section in object.keys(data.template.snippet)
+	raw := object.get(input, section, null)
+	not is_object(raw)
+	msg := sprintf("bunfig.toml: відсутня секція [%s] (bun.mdc)", [section])
 }

package/rules/bun/policy/bunfig/template/bunfig.toml.snippet.toml

@@ -0,0 +1,2 @@
+[install]
+linker = "hoisted"

package/rules/bun/policy/package_json/package_json.rego

@@ -1,47 +1,38 @@
-# Порт структурних перевірок `package.json` з `npm/scripts/check-bun.mjs` (bun.mdc).
+# Перевірка кореневого `package.json` для bun (bun.mdc).
 #
-# Запуск (локально, КОРЕНЕВИЙ package.json):
-#   conftest test package.json -p npm/policy/bun --namespace bun.package_json
+# Канон надходить через --data: { "template": { "deny": ... } }
+# Структура --data сформована з template/package.json.deny.json
+# (top-level fields заборонені у root).
 #
-# Перевіряє: відсутність `packageManager`, відсутність кореневих `dependencies`,
-# у `devDependencies` лише `@nitra/*`, агрегований `lint`-скрипт (якщо є `lint-*`
-# скрипти): покриває всі lint-* через `bun run`, закінчується на `&& oxfmt .`.
+# Логіка, що ЛИШАЄТЬСЯ у rego (inverse-patterns, не виносяться у template):
+#  - `devDependencies` лише `@nitra/*` (inverse-pattern: every dep must match)
+#  - Агрегований `lint` скрипт (cross-script aggregation logic)
 #
 # Перевірки, які ЗАЛИШИЛИСЬ у JS (потребують FS / cross-file):
 #  - `lint-docker` / `lint-k8s` коли `.n-cursor.json:rules` містить відповідне
 #    правило (потрібен другий файл-вхід — у Rego без `--combine` не зробити).
-#
-# Структура каталогу збігається зі шляхом пакету (regal: directory-package-mismatch).
-# Конвенція проєкту — `import rego.v1` + multi-value `deny contains msg if { … }`
-# (.cursor/rules/conftest.mdc). Лінт — `bun run lint-rego` (regal).
 package bun.package_json
 
 import rego.v1
 
 # ── Шаблони повідомлень ────────────────────────────────────────────────────
 
-# Через `concat` — дотримуємося regal style/line-length.
 lint_aggregate_missing_template := concat(" ", [
 	"У package.json є скрипти %v, але немає агрегованого `lint`.",
 	"Додай скрипт, який запускає їх через `bun run` (bun.mdc)",
 ])
 
-# ── deny: заборонені поля ──────────────────────────────────────────────────
-
-deny contains msg if {
-	pm := object.get(input, "packageManager", "")
-	pm != ""
-	msg := sprintf("package.json містить поле packageManager: %q — видали його (bun.mdc)", [pm])
-}
+# ── deny: заборонені top-level поля (template-driven) ─────────────────────
 
-# `dependencies` не повинно бути взагалі — навіть пусте `{}`. Сентинельний рядок
-# дозволяє відрізнити «поле відсутнє» від «поле є з будь-яким значенням».
+# Сентинельний value відрізняє «поле відсутнє» від «поле є з будь-яким значенням»
+# (наприклад `dependencies: {}` — присутнє але порожнє → теж заборонено).
 deny contains msg if {
-	object.get(input, "dependencies", "__bun_missing__") != "__bun_missing__"
-	msg := "Кореневий package.json не повинен містити поле dependencies — додай залежності в workspace-пакети (bun.mdc)"
+	some field, reason in data.template.deny
+	object.get(input, field, "__bun_missing__") != "__bun_missing__"
+	msg := sprintf("package.json: поле %s — %s", [field, reason])
 }
 
-# ── deny: devDependencies — лише `@nitra/*` ───────────────────────────────
+# ── deny: devDependencies — лише `@nitra/*` (inverse pattern; не виноситься у template) ─
 
 deny contains msg if {
 	is_object(input.devDependencies)
@@ -50,11 +41,7 @@ deny contains msg if {
 	msg := sprintf("Кореневі devDependencies: дозволені лише @nitra/* — прибери або перенеси: %s (bun.mdc)", [name])
 }
 
-# ── deny: агрегований lint-скрипт ─────────────────────────────────────────
-#
-# Якщо в `scripts` є хоч один `lint-*`, має бути скрипт `lint`, у якому
-# через `bun run <ім'я>` викликається кожен такий скрипт; рядок завершується
-# на `&& oxfmt .`.
+# ── deny: агрегований lint-скрипт (cross-script aggregation logic) ───────
 
 deny contains msg if {
 	count(lint_prefixed_scripts) > 0
@@ -73,22 +60,17 @@ deny contains msg if {
 deny contains msg if {
 	count(lint_prefixed_scripts) > 0
 	lint_script != ""
-
-	# Перевіряємо, що рядок завершується `&& oxfmt .` (з можливими пробілами/табами).
-	# Trim не потрібен — пробіли/таби в кінці допускаємо в самому regex (`[ \t]*$`).
 	not regex.match(`&&[ \t]+oxfmt[ \t]+\.[ \t]*$`, lint_script)
 	msg := "Скрипт `lint` має закінчуватися на `&& oxfmt .` (bun.mdc)"
 }
 
 # ── helpers ────────────────────────────────────────────────────────────────
 
-# Ключі скриптів, що починаються з `lint-` (наприклад `lint-js`, `lint-ga`).
 lint_prefixed_scripts := [name |
 	some name, _ in object.get(input, "scripts", {})
 	startswith(name, "lint-")
 ]
 
-# Значення `scripts.lint` як рядок (порожній, якщо поля немає або тип не string).
 default lint_script := ""
 
 lint_script := input.scripts.lint if is_string(input.scripts.lint)

package/rules/bun/policy/package_json/template/package.json.deny.json

@@ -0,0 +1,4 @@
+{
+  "packageManager": "видали поле — Bun не потребує packageManager (bun.mdc)",
+  "dependencies": "кореневий package.json не повинен містити dependencies — додай у workspace-пакети (bun.mdc)"
+}

package/rules/npm-module/npm-module.mdc

@@ -75,39 +75,10 @@ bunx -p typescript tsc src/**/*.js --declaration --allowJs --emitDeclarationOnly
 
 **`npm-publish.yml`:** push у **`main`**, **`on.push.paths`** з **`npm/**`**, **`JS-DevTools/npm-publish@v4.1.5`**, **`with.package: npm/package.json`**, **`permissions.id-token: write`** (OIDC на npm).
 
-```yaml title=".github/workflows/npm-publish.yml"
-name: npm-publish
-
-on:
-  push:
-    paths:
-      - 'npm/**'
-    branches:
-      - main
-
-concurrency:
-  group: ${{ github.ref }}-${{ github.workflow }}
-  cancel-in-progress: true
-
-jobs:
-  publish:
-    runs-on: ubuntu-latest
-    permissions:
-      contents: read
-      id-token: write # КРИТИЧНО для OIDC!
-
-    steps:
-      - uses: actions/checkout@v6
-        with:
-          persist-credentials: false
-
-      - uses: actions/setup-node@v6
-        with:
-          node-version: '24' # includes npm@11.6.0
-          registry-url: 'https://registry.npmjs.org'
-
-      - name: Publish package
-        uses: JS-DevTools/npm-publish@v4.1.5
-        with:
-          package: npm/package.json
-```
+- Канон: [npm-publish.yml.snippet.yml](./policy/npm_publish_yml/template/npm-publish.yml.snippet.yml)
+
+## Канонічні конфіги
+
+- Кореневий `package.json` (workspaces): [package.json.snippet.json](./policy/root_package_json/template/package.json.snippet.json)
+- `npm/package.json` (whitelist `files` обовʼязково має містити `types`): [package.json.snippet.json](./policy/npm_package_json/template/package.json.snippet.json)
+- `npm/tsconfig.emit-types.json` (canonical `compilerOptions` для emit-types): [tsconfig.emit-types.json.snippet.json](./policy/emit_types_config/template/tsconfig.emit-types.json.snippet.json)

package/rules/npm-module/policy/emit_types_config/emit_types_config.rego

@@ -1,37 +1,28 @@
-# Порт перевірок `npm/tsconfig.emit-types.json` з `npm/scripts/check-npm-module.mjs`
-# (npm-module.mdc).
+# Перевірка `npm/tsconfig.emit-types.json` (npm-module.mdc).
 #
-# Запуск (локально):
-#   conftest test npm/tsconfig.emit-types.json -p npm/policy/npm_module \
-#     --namespace npm_module.emit_types_config
-#
-# Перевіряє: `compilerOptions.{allowJs, declaration, emitDeclarationOnly, outDir,
-# skipLibCheck}` мають канонічні значення (true/true/true/"types"/true). FS-перевірки
-# (наявність самого `tsconfig.emit-types.json`, активність layout-варіанта) — у JS.
-#
-# Структура каталогу збігається зі шляхом пакету (regal: directory-package-mismatch).
-# Конвенція проєкту — `import rego.v1` + multi-value `deny contains msg if { … }`
-# (.cursor/rules/conftest.mdc). Лінт — `bun run lint-rego` (regal).
+# Канон надходить через --data: { "template": { "snippet": ... } }
+# Структура --data сформована з template/tsconfig.emit-types.json.snippet.json.
+# Snippet — 2-рівнева мапа (section → key → expected). Walker такий самий,
+# як для ga.vscode_settings / bun.bunfig.
 package npm_module.emit_types_config
 
 import rego.v1
 
-required_compiler_options := {
-	"allowJs": true,
-	"declaration": true,
-	"emitDeclarationOnly": true,
-	"outDir": "types",
-	"skipLibCheck": true,
-}
-
+# Leaf-by-leaf: коли section присутня й обʼєкт.
 deny contains msg if {
-	not is_object(object.get(input, "compilerOptions", null))
-	msg := "npm/tsconfig.emit-types.json: відсутній compilerOptions (npm-module.mdc)"
+	some section, expected_inner in data.template.snippet
+	inner := object.get(input, section, {})
+	is_object(inner)
+	some leaf_key, expected_value in expected_inner
+	actual := object.get(inner, leaf_key, null)
+	actual != expected_value
+	msg := sprintf("npm/tsconfig.emit-types.json: %s.%s має бути %v (npm-module.mdc)", [section, leaf_key, expected_value])
 }
 
+# Section відсутня (null) або не обʼєкт.
 deny contains msg if {
-	is_object(input.compilerOptions)
-	some key, expected in required_compiler_options
-	object.get(input.compilerOptions, key, null) != expected
-	msg := sprintf("npm/tsconfig.emit-types.json: compilerOptions.%s має бути %v (npm-module.mdc)", [key, expected])
+	some section in object.keys(data.template.snippet)
+	raw := object.get(input, section, null)
+	not is_object(raw)
+	msg := sprintf("npm/tsconfig.emit-types.json: відсутній %s (npm-module.mdc)", [section])
 }

package/rules/npm-module/policy/emit_types_config/template/tsconfig.emit-types.json.snippet.json

@@ -0,0 +1,9 @@
+{
+  "compilerOptions": {
+    "allowJs": true,
+    "declaration": true,
+    "emitDeclarationOnly": true,
+    "outDir": "types",
+    "skipLibCheck": true
+  }
+}

package/rules/npm-module/policy/npm_package_json/npm_package_json.rego

@@ -1,44 +1,29 @@
-# Порт перевірок `npm/package.json` з `npm/scripts/check-npm-module.mjs`
-# (npm-module.mdc).
+# Порт перевірок `npm/package.json` (npm-module.mdc).
 #
-# Запуск (локально):
-#   conftest test npm/package.json -p npm/policy/npm_module \
-#     --namespace npm_module.npm_package_json
+# Канон надходить через --data: { "template": { "snippet": ... } }
+# Структура --data сформована з template/package.json.snippet.json
+# (snippet-array subset-of для whitelist `files`).
 #
-# Перевіряє:
-#  - поле `types` має один із двох канонічних патернів: `./types/index.d.ts`
-#    (layout `npm/src` з `.js`) або `./types/<…>.d.ts`/`.d.mts` (emit-types);
-#  - масив `files` присутній, непорожній і містить `"types"` (whitelist
-#    обовʼязковий — без нього npm пакує майже все);
-#  - `devDependencies` відсутні або порожні: dev-інструментарій тримаємо у
-#    кореневому `package.json` монорепо, щоб `npm install @nitra/<pkg>` його
-#    не тягнув (npm-module.mdc: компактний пакет).
+# Логіка, що ЛИШАЄТЬСЯ у rego (inverse-patterns, не виносяться у template):
+#  - форма поля `types` (regex pattern: `./types/index.d.ts` або `./types/<…>.d.ts|.d.mts`);
+#  - `devDependencies` мають бути відсутні або порожні (inverse-pattern — заборона будь-яких).
 #
-# Те, який саме типовий layout активний (наявність `.js` під `npm/src`),
-# існування файлу зі шляху `types` і скан тест-патернів у tarball — у
-# JS-перевірці (`check-npm-module.mjs`: cross-file / FS-access / AST).
-#
-# Структура каталогу збігається зі шляхом пакету (regal: directory-package-mismatch).
-# Конвенція проєкту — `import rego.v1` + multi-value `deny contains msg if { … }`
-# (.cursor/rules/conftest.mdc). Лінт — `bun run lint-rego` (regal).
+# FS-перевірки (наявність файлу зі шляху `types`, скан tarball на тест-патерни) — у JS.
 package npm_module.npm_package_json
 
 import rego.v1
 
-# Шаблон повідомлення про неканонічне поле `types` — через `concat` для
-# regal style/line-length.
 types_field_template := concat(" ", [
 	"npm/package.json: поле \"types\" має бути \"./types/index.d.ts\"",
 	"або \"./types/<…>.d.ts|.d.mts\" (зараз: %v) (npm-module.mdc)",
 ])
 
-# Шаблон повідомлення про присутність `devDependencies`.
 dev_deps_template := concat(" ", [
 	"npm/package.json: \"devDependencies\" не публікуються користувачам пакета —",
 	"перенеси у кореневий package.json: %v (npm-module.mdc: компактний пакет)",
 ])
 
-# ── deny: types ────────────────────────────────────────────────────────────
+# ── deny: types (regex — лишається в rego) ───────────────────────────────
 
 deny contains msg if {
 	types_field := object.get(input, "types", "")
@@ -46,7 +31,7 @@ deny contains msg if {
 	msg := sprintf(types_field_template, [types_field])
 }
 
-# ── deny: files має існувати, бути непорожнім, містити "types" ────────────
+# ── deny: files має існувати та бути масивом ─────────────────────────────
 
 deny contains msg if {
 	not is_array(object.get(input, "files", null))
@@ -59,14 +44,19 @@ deny contains msg if {
 	msg := "npm/package.json: масив \"files\" не повинен бути порожнім (npm-module.mdc: компактний пакет)"
 }
 
+# ── deny: files subset-of з template (template-driven) ──────────────────
+
 deny contains msg if {
-	is_array(input.files)
-	count(input.files) > 0
-	not "types" in {f | some f in input.files}
-	msg := "npm/package.json: масив \"files\" має містити \"types\" (npm-module.mdc)"
+	some field, expected_values in data.template.snippet
+	is_array(object.get(input, field, null))
+	count(input[field]) > 0
+	actual_set := {v | some v in input[field]}
+	some required in expected_values
+	not required in actual_set
+	msg := sprintf("npm/package.json: масив \"%s\" має містити %q (npm-module.mdc)", [field, required])
 }
 
-# ── deny: жодних devDependencies у npm/package.json ───────────────────────
+# ── deny: devDependencies (inverse-pattern, лишається в rego) ────────────
 
 deny contains msg if {
 	dev := object.get(input, "devDependencies", {})

package/rules/npm-module/policy/npm_package_json/template/package.json.snippet.json

@@ -0,0 +1 @@
+{ "files": ["types"] }

package/rules/npm-module/policy/npm_publish_yml/npm_publish_yml.rego

@@ -1,20 +1,12 @@
-# Порт перевірок `.github/workflows/npm-publish.yml` з `npm/scripts/check-npm-module.mjs`
-# (npm-module.mdc).
+# Перевірка `.github/workflows/npm-publish.yml` (npm-module.mdc).
 #
-# Запуск (локально):
-#   conftest test .github/workflows/npm-publish.yml -p npm/policy/npm_module \
-#     --namespace npm_module.npm_publish_yml
-#
-# Перевіряє: `on.push.paths` містить glob з `npm/**`, `on.push.branches` містить
-# `main`, у jobs є `permissions.id-token: write` (OIDC), є крок з
-# `uses: JS-DevTools/npm-publish` і `with.package: npm/package.json`.
+# Канон надходить через --data: { "template": { "snippet": ... } }
+# Структура --data сформована з template/npm-publish.yml.snippet.yml.
+# Per-concern field-by-field: path/substring-маркери з expected_uses_set читаються
+# зі steps template, експектації branches/paths — subset-of.
 #
 # Універсальні workflow-перевірки (concurrency, заборонені setup-bun/cache/install,
 # shell line-continuation) — у `ga.workflow_common`.
-#
-# Структура каталогу збігається зі шляхом пакету (regal: directory-package-mismatch).
-# Конвенція проєкту — `import rego.v1` + multi-value `deny contains msg if { … }`
-# (.cursor/rules/conftest.mdc). Лінт — `bun run lint-rego` (regal).
 package npm_module.npm_publish_yml
 
 import rego.v1
@@ -22,58 +14,74 @@ import rego.v1
 # YAML 1.1 quirk: ключ `on:` → boolean true → у конфтесті ключ "true".
 gha_on := input["true"]
 
-# Шаблон повідомлення про відсутній JS-DevTools/npm-publish крок — через `concat`
-# для regal style/line-length.
-npm_publish_step_template := concat(" ", [
-	"npm-publish.yml: очікується `uses: JS-DevTools/npm-publish`",
-	"з `with.package: npm/package.json` (npm-module.mdc)",
-])
+# Required marker — substring у `uses` для ідентифікації npm-publish кроку.
+publish_action_marker := "JS-DevTools/npm-publish"
+
+# Очікувані літерали з template.
+expected_paths := {p | some p in data.template.snippet.on.push.paths}
 
-# ── deny: paths/branches ──────────────────────────────────────────────────
+expected_branches := {b | some b in data.template.snippet.on.push.branches}
+
+expected_permissions := data.template.snippet.jobs.publish.permissions
+
+# Required publish-step (за маркером): expected `with.package` value з template.
+expected_publish_with_package := s.with.package if {
+	some s in data.template.snippet.jobs.publish.steps
+	contains(object.get(s, "uses", ""), publish_action_marker)
+}
+
+# ── deny: paths містить кожне з expected_paths (subset-of) ───────────────
 
 deny contains msg if {
-	not push_paths_have_npm_glob
-	msg := "npm-publish.yml: у on.push.paths має бути `npm/**` (npm-module.mdc)"
+	some required_path in expected_paths
+	not path_present(required_path)
+	msg := sprintf("npm-publish.yml: у on.push.paths має бути `%s` (npm-module.mdc)", [required_path])
 }
 
+# ── deny: branches містить кожне з expected_branches (subset-of) ─────────
+
 deny contains msg if {
-	not push_branches_have_main
-	msg := "npm-publish.yml: on.push.branches має містити `main` (npm-module.mdc)"
+	some required_branch in expected_branches
+	not required_branch in {b | some b in gha_on.push.branches}
+	msg := sprintf("npm-publish.yml: on.push.branches має містити `%s` (npm-module.mdc)", [required_branch])
 }
 
 # ── deny: id-token: write у permissions хоч одного job ────────────────────
 
 deny contains msg if {
-	not any_job_has_id_token_write
-	msg := "npm-publish.yml: permissions має містити `id-token: write` (OIDC) (npm-module.mdc)"
+	required := expected_permissions["id-token"]
+	not any_job_has_id_token(required)
+	msg := sprintf("npm-publish.yml: permissions має містити `id-token: %s` (OIDC) (npm-module.mdc)", [required])
 }
 
-# ── deny: крок з uses JS-DevTools/npm-publish та with.package ─────────────
+# ── deny: крок з uses-маркером npm-publish та канонічним with.package ────
 
-deny contains npm_publish_step_template if {
+deny contains msg if {
 	not has_npm_publish_step
+	msg := sprintf(
+		"npm-publish.yml: очікується `uses: %s` з `with.package: %s` (npm-module.mdc)",
+		[publish_action_marker, expected_publish_with_package],
+	)
 }
 
 # ── helpers ────────────────────────────────────────────────────────────────
 
-push_paths_have_npm_glob if {
+# Path присутній, якщо хоч один шлях у actual містить required як substring
+# (npm/** glob у workflow може бути записаний як `npm/**` або `'npm/**'`).
+path_present(required) if {
 	some p in gha_on.push.paths
 	is_string(p)
-	contains(p, "npm/**")
-}
-
-push_branches_have_main if {
-	"main" in {b | some b in gha_on.push.branches}
+	contains(p, required)
 }
 
-any_job_has_id_token_write if {
+any_job_has_id_token(required) if {
 	some job in object.get(input, "jobs", {})
-	job.permissions["id-token"] == "write"
+	job.permissions["id-token"] == required
 }
 
 has_npm_publish_step if {
 	some job in object.get(input, "jobs", {})
 	some step in object.get(job, "steps", [])
-	contains(object.get(step, "uses", ""), "JS-DevTools/npm-publish")
-	step.with.package == "npm/package.json"
+	contains(object.get(step, "uses", ""), publish_action_marker)
+	step.with.package == expected_publish_with_package
 }

package/rules/npm-module/policy/npm_publish_yml/template/npm-publish.yml.snippet.yml

@@ -0,0 +1,34 @@
+name: npm-publish
+
+on:
+  push:
+    paths:
+      - 'npm/**'
+    branches:
+      - main
+
+concurrency:
+  group: ${{ github.ref }}-${{ github.workflow }}
+  cancel-in-progress: true
+
+jobs:
+  publish:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      id-token: write # КРИТИЧНО для OIDC!
+
+    steps:
+      - uses: actions/checkout@v6
+        with:
+          persist-credentials: false
+
+      - uses: actions/setup-node@v6
+        with:
+          node-version: '24' # includes npm@11.6.0
+          registry-url: 'https://registry.npmjs.org'
+
+      - name: Publish package
+        uses: JS-DevTools/npm-publish@v4.1.5
+        with:
+          package: npm/package.json

package/rules/npm-module/policy/root_package_json/root_package_json.rego

@@ -1,28 +1,28 @@
-# Порт перевірки кореневого `package.json` з `npm/scripts/check-npm-module.mjs`
-# (npm-module.mdc) — масив `workspaces` має містити "npm".
-#
-# Запуск (локально):
-#   conftest test package.json -p npm/policy/npm_module \
-#     --namespace npm_module.root_package_json
+# Перевірка кореневого `package.json` для npm-module (npm-module.mdc).
 #
+# Канон надходить через --data: { "template": { "snippet": ... } }
+# Структура --data сформована з template/package.json.snippet.json.
+# Snippet-array subset-of: кожне значення з template-масиву має бути у input-масиві.
 # Решта кореневих `package.json`-перевірок (заборонені поля, devDeps лише @nitra/*)
-# — у `bun.package_json`. FS-перевірки (наявність каталогу `npm/`,
-# `npm/package.json`) — у JS.
-#
-# Структура каталогу збігається зі шляхом пакету (regal: directory-package-mismatch).
-# Конвенція проєкту — `import rego.v1` + multi-value `deny contains msg if { … }`
-# (.cursor/rules/conftest.mdc). Лінт — `bun run lint-rego` (regal).
+# — у `bun.package_json`. FS-перевірки (наявність каталогу `npm/`, `npm/package.json`)
+# — у JS.
 package npm_module.root_package_json
 
 import rego.v1
 
+# Поле має бути масивом — інакше окрема deny.
 deny contains msg if {
-	not is_array(object.get(input, "workspaces", null))
-	msg := "package.json: масив workspaces відсутній — має містити \"npm\" (npm-module.mdc)"
+	some field in object.keys(data.template.snippet)
+	not is_array(object.get(input, field, null))
+	msg := sprintf("package.json: масив %s відсутній або не масив (npm-module.mdc)", [field])
 }
 
+# Subset-of: кожне значення з template має бути в input-масиві.
 deny contains msg if {
-	is_array(input.workspaces)
-	not "npm" in {w | some w in input.workspaces}
-	msg := "package.json: workspaces має містити \"npm\" (npm-module.mdc)"
+	some field, expected_values in data.template.snippet
+	is_array(object.get(input, field, null))
+	actual_set := {v | some v in input[field]}
+	some required in expected_values
+	not required in actual_set
+	msg := sprintf("package.json: %s має містити %q (npm-module.mdc)", [field, required])
 }

package/rules/npm-module/policy/root_package_json/template/package.json.snippet.json

@@ -0,0 +1 @@
+{ "workspaces": ["npm"] }