@nitra/cursor 1.13.14 → 1.13.15

package/CHANGELOG.md

@@ -4,6 +4,22 @@
 
 Формат — [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

package/package.json

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

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"] }