arkgate 3.9.2 → 4.0.1

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.
Files changed (75) hide show
  1. package/CHANGELOG.md +125 -0
  2. package/README.md +16 -4
  3. package/bin/ark-check-runtime.mjs +75 -3
  4. package/bin/ark-mcp-runtime.mjs +94 -0
  5. package/bin/lib/adapter-contract.mjs +14 -1
  6. package/bin/lib/analysis-engine.mjs +8 -8
  7. package/bin/lib/architecture-scan.mjs +35 -2
  8. package/bin/lib/arkrule-file-hints.mjs +71 -0
  9. package/bin/lib/arkrules-contract.mjs +382 -0
  10. package/bin/lib/arkrules-sensors.mjs +411 -0
  11. package/bin/lib/config-contract.mjs +85 -6
  12. package/bin/lib/doctor-advisories.mjs +14 -1
  13. package/bin/lib/doctor-plan.mjs +21 -0
  14. package/bin/lib/effective-contract-load.mjs +116 -0
  15. package/bin/lib/field-install.mjs +104 -0
  16. package/bin/lib/graph-blind.mjs +20 -1
  17. package/bin/lib/html-report-advisories.mjs +12 -5
  18. package/bin/lib/install-migrate.mjs +20 -2
  19. package/bin/lib/invariant-coverage-io.mjs +157 -0
  20. package/bin/lib/invariant-coverage.mjs +127 -0
  21. package/bin/lib/managed-upgrade.mjs +1 -1
  22. package/bin/lib/policy-delta-io.mjs +33 -0
  23. package/bin/lib/presets.mjs +241 -1
  24. package/bin/lib/remediation.mjs +28 -0
  25. package/bin/lib/resolved-candidate-facts.mjs +14 -1
  26. package/bin/lib/rules-inventory.mjs +144 -0
  27. package/bin/lib/rules-under-contract.mjs +320 -0
  28. package/bin/lib/start-preview.mjs +24 -7
  29. package/bin/lib/upgrade-command.mjs +373 -16
  30. package/dist/{configTypes-DAPvBqK6.d.ts → configTypes-CC0FEXoF.d.ts} +16 -3
  31. package/dist/eslint/index.cjs +2 -2
  32. package/dist/eslint/index.d.ts +1 -1
  33. package/dist/eslint/index.js +2 -2
  34. package/dist/index.cjs +14 -7
  35. package/dist/index.d.ts +615 -20
  36. package/dist/index.js +13 -6
  37. package/docs/README.md +5 -3
  38. package/docs/agent-guide.md +7 -3
  39. package/docs/ai-gates.md +6 -1
  40. package/docs/brownfield-adoption.md +22 -0
  41. package/docs/configuration.md +53 -4
  42. package/docs/develop.md +8 -2
  43. package/docs/enthusiast/README.md +11 -0
  44. package/docs/package-surface.md +13 -10
  45. package/docs/product-voice.md +11 -2
  46. package/docs/use.md +11 -0
  47. package/package.json +4 -17
  48. package/schemas/ark.analysis-result.schema.json +9 -1
  49. package/schemas/ark.arkrules.schema.json +141 -0
  50. package/schemas/ark.config.schema.json +10 -2
  51. package/schemas/ark.resolved-candidate-facts.schema.json +1 -1
  52. package/server.json +2 -2
  53. package/templates/arkrules/ApplicationOrchestration.json +14 -0
  54. package/templates/arkrules/DomainModel.json +32 -0
  55. package/templates/arkrules/PersistenceAdapters.json +14 -0
  56. package/templates/arkrules/PresentationAdapters.json +14 -0
  57. package/templates/skills/ark-adopt.md +28 -1
  58. package/templates/skills/ark-architect.md +23 -0
  59. package/templates/skills/ark-autopilot.md +27 -1
  60. package/templates/skills/ark-contract.md +27 -1
  61. package/templates/skills/ark-coverage.md +23 -0
  62. package/templates/skills/ark-explain.md +39 -3
  63. package/templates/skills/ark-explore.md +26 -1
  64. package/templates/skills/ark-fix.md +23 -0
  65. package/templates/skills/ark-loop.md +23 -0
  66. package/templates/skills/ark-place.md +26 -0
  67. package/templates/skills/ark-runtime.md +4 -0
  68. package/templates/skills/ark-think.md +24 -1
  69. package/templates/skills/ark-upgrade.md +80 -11
  70. package/compat/nestjs.cjs +0 -2
  71. package/compat/nestjs.d.ts +0 -2
  72. package/compat/nestjs.js +0 -1
  73. package/compat/runtime.cjs +0 -2
  74. package/compat/runtime.d.ts +0 -2
  75. package/compat/runtime.js +0 -1
@@ -1,8 +1,12 @@
1
1
  /** Read-only-first `ark upgrade` orchestration. Managed identity logic lives separately. */
2
2
  import { spawnSync } from 'node:child_process';
3
+ import fs from 'node:fs';
3
4
  import { createRequire } from 'node:module';
4
5
  import path from 'node:path';
5
6
 
7
+ import { arkCommand } from '../ark-shared.mjs';
8
+ import { describePackageVersionDualTruth } from './field-install.mjs';
9
+ import { __packageRoot } from './gate-files.mjs';
6
10
  import {
7
11
  applyManagedUpgrade,
8
12
  managedUpgradeJson,
@@ -16,6 +20,259 @@ function installedCli(root) {
16
20
  return path.join(path.dirname(packageJson), 'bin', 'ark.mjs');
17
21
  }
18
22
 
23
+ /**
24
+ * Resolve the project's installed arkgate package.json.
25
+ * Shallow `node_modules/arkgate` first, then Node module resolution (hoisted monorepos).
26
+ * @returns {string|null} absolute path to package.json, or null when not installed for this root
27
+ */
28
+ export function resolveProjectArkgatePackageJson(root) {
29
+ const resolvedRoot = path.resolve(root);
30
+ const shallow = path.join(resolvedRoot, 'node_modules', 'arkgate', 'package.json');
31
+ if (fs.existsSync(shallow)) return shallow;
32
+ try {
33
+ const requireFromProject = createRequire(path.join(resolvedRoot, 'package.json'));
34
+ return requireFromProject.resolve('arkgate/package.json');
35
+ } catch {
36
+ return null;
37
+ }
38
+ }
39
+
40
+ /**
41
+ * Compare numeric major.minor.patch cores (prerelease / build ignored).
42
+ * @returns {-1|0|1}
43
+ */
44
+ export function compareSemverCore(a, b) {
45
+ const parse = (value) => {
46
+ const core = String(value ?? '')
47
+ .trim()
48
+ .replace(/^v/i, '')
49
+ .split(/[-+]/)[0];
50
+ const parts = core.split('.').map((part) => {
51
+ const n = Number.parseInt(part, 10);
52
+ return Number.isFinite(n) ? n : 0;
53
+ });
54
+ return [parts[0] || 0, parts[1] || 0, parts[2] || 0];
55
+ };
56
+ const left = parse(a);
57
+ const right = parse(b);
58
+ for (let i = 0; i < 3; i += 1) {
59
+ if (left[i] < right[i]) return -1;
60
+ if (left[i] > right[i]) return 1;
61
+ }
62
+ return 0;
63
+ }
64
+
65
+ /** True when candidate is the same path as root or a descendant (after resolve). */
66
+ export function isPathInside(candidate, root) {
67
+ const resolvedCandidate = path.resolve(candidate);
68
+ const resolvedRoot = path.resolve(root);
69
+ if (resolvedCandidate === resolvedRoot) return true;
70
+ const relative = path.relative(resolvedRoot, resolvedCandidate);
71
+ return relative !== '' && !relative.startsWith('..') && !path.isAbsolute(relative);
72
+ }
73
+
74
+ function tryRealpath(filePath) {
75
+ try {
76
+ return fs.realpathSync(filePath);
77
+ } catch {
78
+ return path.resolve(filePath);
79
+ }
80
+ }
81
+
82
+ /**
83
+ * Recovery guidance for refused upgrades. Prefer package-manager-aware
84
+ * `arkCommand` (works for hoisted monorepos where nested `--root` has no shallow
85
+ * `node_modules/arkgate`). Shallow `node …/ark.mjs` is secondary and install-root only.
86
+ * @param {string} root
87
+ */
88
+ export function recoveryUseLocal(root) {
89
+ const preferred = arkCommand(root, 'arkgate', 'upgrade …');
90
+ return (
91
+ `Use the project-local CLI (package-manager runner preferred):\n` +
92
+ ` ${preferred}\n` +
93
+ `From the workspace install root you may also run:\n` +
94
+ ` node node_modules/arkgate/bin/ark.mjs upgrade …\n` +
95
+ `Hoisted monorepos: prefer the package-manager form above — nested packages may lack a shallow node_modules/arkgate path.`
96
+ );
97
+ }
98
+
99
+ /**
100
+ * @param {{
101
+ * root?: string,
102
+ * cliVersion: string|null,
103
+ * projectVersion: string|null,
104
+ * cliPackageRoot: string,
105
+ * kind: 'older' | 'unknown-cli' | 'project-unreadable',
106
+ * projectPkgPath?: string,
107
+ * }} detail
108
+ */
109
+ function staleCliRefuseMessage(detail) {
110
+ const { cliVersion, projectVersion, cliPackageRoot, kind, projectPkgPath } = detail;
111
+ const recovery = recoveryUseLocal(detail.root ?? '.');
112
+ if (kind === 'project-unreadable') {
113
+ const where = projectPkgPath ? ` at ${projectPkgPath}` : '';
114
+ const cliPart = cliVersion
115
+ ? `this CLI (v${cliVersion} at ${cliPackageRoot})`
116
+ : `this CLI (unknown version at ${cliPackageRoot})`;
117
+ return (
118
+ `Refusing ark upgrade: cannot read the project's arkgate version${where}; ${cliPart} is outside the install tree.\n` +
119
+ `Use the project-local binary so managed upgrade can resolve a real install.\n` +
120
+ recovery
121
+ );
122
+ }
123
+
124
+ const versionLine =
125
+ kind === 'unknown-cli' || !cliVersion
126
+ ? `Refusing ark upgrade: this CLI (unknown version at ${cliPackageRoot}) is outside the project's arkgate install ` +
127
+ `(v${projectVersion}).`
128
+ : `Refusing ark upgrade: this CLI (v${cliVersion} at ${cliPackageRoot}) is older than the project's arkgate (v${projectVersion}).`;
129
+
130
+ // Pre-managed era (before content-identity / plan-digest, ~3.8.0): mutative 2.x wording.
131
+ const preManaged = !cliVersion || compareSemverCore(cliVersion, '3.8.0') < 0;
132
+ const second = preManaged
133
+ ? 'Global/stale arkgate 2.x mutates skills and is unsafe next to 3.8+/4.0 managed upgrade.'
134
+ : 'Older outside-tree CLI must not manage a newer project install; use the project-local binary.';
135
+
136
+ return `${versionLine}\n${second}\n${recovery}`;
137
+ }
138
+
139
+ /**
140
+ * Fail-closed when this process is a global/stale arkgate CLI older than the
141
+ * project's installed arkgate. Legacy global 2.x mutates skills; a newer
142
+ * project pin must not be managed by an older outside-tree binary.
143
+ *
144
+ * Allow: no local install; CLI package root inside the project install tree
145
+ * (realpath); running CLI version >= project installed version (including newer globals).
146
+ *
147
+ * @param {string} root project root for --root
148
+ * @param {{
149
+ * cliVersion?: string|null,
150
+ * cliPackageRoot?: string|null,
151
+ * projectPackageJsonPath?: string|null,
152
+ * }} [options]
153
+ * @returns {{ refuse: boolean, reason: string, message?: string, cliVersion?: string|null, projectVersion?: string|null, cliPackageRoot?: string|null, projectPackageRoot?: string|null }}
154
+ */
155
+ export function evaluateStaleUpgradeCli(root, options = {}) {
156
+ const projectPkgPath =
157
+ options.projectPackageJsonPath ?? resolveProjectArkgatePackageJson(root);
158
+ if (!projectPkgPath || !fs.existsSync(projectPkgPath)) {
159
+ return { refuse: false, reason: 'no-local-arkgate' };
160
+ }
161
+
162
+ const cliPackageRoot = tryRealpath(options.cliPackageRoot ?? __packageRoot);
163
+ const projectPackageRoot = tryRealpath(path.dirname(projectPkgPath));
164
+
165
+ // Project-local CLI (node_modules/arkgate or same realpath via pnpm link) is always trusted.
166
+ if (isPathInside(cliPackageRoot, projectPackageRoot)) {
167
+ let projectVersion = null;
168
+ try {
169
+ const pkg = JSON.parse(fs.readFileSync(projectPkgPath, 'utf8'));
170
+ projectVersion = typeof pkg.version === 'string' ? pkg.version : null;
171
+ } catch {
172
+ /* local path still trusted */
173
+ }
174
+ return {
175
+ refuse: false,
176
+ reason: 'project-local-cli',
177
+ cliVersion: options.cliVersion ?? null,
178
+ projectVersion,
179
+ cliPackageRoot,
180
+ projectPackageRoot,
181
+ };
182
+ }
183
+
184
+ // Outside tree: need a readable project version to compare; fail closed if we cannot prove safety.
185
+ let projectVersion = null;
186
+ try {
187
+ const pkg = JSON.parse(fs.readFileSync(projectPkgPath, 'utf8'));
188
+ projectVersion = typeof pkg.version === 'string' ? pkg.version : null;
189
+ } catch {
190
+ return {
191
+ refuse: true,
192
+ reason: 'project-unreadable',
193
+ message: staleCliRefuseMessage({
194
+ root,
195
+ cliVersion: typeof options.cliVersion === 'string' ? options.cliVersion : null,
196
+ projectVersion: null,
197
+ cliPackageRoot,
198
+ kind: 'project-unreadable',
199
+ projectPkgPath,
200
+ }),
201
+ cliVersion: typeof options.cliVersion === 'string' ? options.cliVersion : null,
202
+ projectVersion: null,
203
+ cliPackageRoot,
204
+ projectPackageRoot,
205
+ };
206
+ }
207
+ if (!projectVersion) {
208
+ return {
209
+ refuse: true,
210
+ reason: 'project-version-missing',
211
+ message: staleCliRefuseMessage({
212
+ root,
213
+ cliVersion: typeof options.cliVersion === 'string' ? options.cliVersion : null,
214
+ projectVersion: null,
215
+ cliPackageRoot,
216
+ kind: 'project-unreadable',
217
+ projectPkgPath,
218
+ }),
219
+ cliVersion: typeof options.cliVersion === 'string' ? options.cliVersion : null,
220
+ projectVersion: null,
221
+ cliPackageRoot,
222
+ projectPackageRoot,
223
+ };
224
+ }
225
+
226
+ const cliVersion =
227
+ typeof options.cliVersion === 'string' && options.cliVersion
228
+ ? options.cliVersion
229
+ : null;
230
+ if (!cliVersion) {
231
+ return {
232
+ refuse: true,
233
+ reason: 'outside-tree-unknown-version',
234
+ message: staleCliRefuseMessage({
235
+ root,
236
+ cliVersion: null,
237
+ projectVersion,
238
+ cliPackageRoot,
239
+ kind: 'unknown-cli',
240
+ }),
241
+ cliVersion,
242
+ projectVersion,
243
+ cliPackageRoot,
244
+ projectPackageRoot,
245
+ };
246
+ }
247
+
248
+ if (compareSemverCore(cliVersion, projectVersion) < 0) {
249
+ return {
250
+ refuse: true,
251
+ reason: 'stale-outside-cli',
252
+ message: staleCliRefuseMessage({
253
+ root,
254
+ cliVersion,
255
+ projectVersion,
256
+ cliPackageRoot,
257
+ kind: 'older',
258
+ }),
259
+ cliVersion,
260
+ projectVersion,
261
+ cliPackageRoot,
262
+ projectPackageRoot,
263
+ };
264
+ }
265
+
266
+ return {
267
+ refuse: false,
268
+ reason: 'outside-cli-ok',
269
+ cliVersion,
270
+ projectVersion,
271
+ cliPackageRoot,
272
+ projectPackageRoot,
273
+ };
274
+ }
275
+
19
276
  function previewArgs(args) {
20
277
  const next = ['upgrade', '--root', args.root, '--no-install'];
21
278
  if (args.tools) next.push('--tools', args.tools);
@@ -30,15 +287,22 @@ function quote(value) {
30
287
  return /^[A-Za-z0-9_./:@=-]+$/.test(text) ? text : `'${text.replace(/'/g, `'"'"'`)}'`;
31
288
  }
32
289
 
33
- function nextCommand(args, planDigest) {
34
- const parts = ['ark', 'upgrade', '--apply', '--root', args.root];
35
- if (!args.install) parts.push('--no-install');
36
- if (!args.install && planDigest) parts.push('--plan-digest', planDigest);
37
- if (args.tools) parts.push('--tools', args.tools);
38
- if (args.acceptConflicts) parts.push('--accept-conflicts');
39
- if (!args.strict) parts.push('--no-strict');
40
- if (args.json) parts.push('--json');
41
- return parts.map(quote).join(' ');
290
+ /**
291
+ * Project-local nextCommand (never bare PATH `ark`) so paste-from-preview cannot re-hit global 2.x.
292
+ * Uses package-manager-aware runner (`npx` / `pnpm exec` / `yarn`) + `arkgate` bin name.
293
+ * @param {{ root: string, install?: boolean, tools?: string, acceptConflicts?: boolean, strict?: boolean, json?: boolean }} args
294
+ * @param {string|null|undefined} planDigest
295
+ */
296
+ export function buildUpgradeNextCommand(args, planDigest) {
297
+ const flagParts = ['upgrade', '--apply', '--root', args.root];
298
+ if (!args.install) flagParts.push('--no-install');
299
+ if (!args.install && planDigest) flagParts.push('--plan-digest', planDigest);
300
+ if (args.tools) flagParts.push('--tools', args.tools);
301
+ if (args.acceptConflicts) flagParts.push('--accept-conflicts');
302
+ if (!args.strict) flagParts.push('--no-strict');
303
+ if (args.json) flagParts.push('--json');
304
+ const argsStr = flagParts.map(quote).join(' ');
305
+ return arkCommand(args.root, 'arkgate', argsStr);
42
306
  }
43
307
 
44
308
  function verify(root, json, arkCheck, runArkCheck) {
@@ -54,6 +318,44 @@ function verify(root, json, arkCheck, runArkCheck) {
54
318
 
55
319
  export function runUpgradeCommand(args, dependencies) {
56
320
  const root = args.root;
321
+ // Fail closed before install/plan when PATH resolves a global/stale CLI older
322
+ // than the project's installed arkgate (field footgun: Homebrew 2.x next to 3.8+/4.0).
323
+ const staleGuard =
324
+ typeof dependencies?.evaluateStaleUpgradeCli === 'function'
325
+ ? dependencies.evaluateStaleUpgradeCli(root, {
326
+ cliVersion: dependencies.cliVersion,
327
+ cliPackageRoot: dependencies.cliPackageRoot,
328
+ })
329
+ : evaluateStaleUpgradeCli(root, {
330
+ cliVersion: dependencies?.cliVersion,
331
+ cliPackageRoot: dependencies?.cliPackageRoot,
332
+ });
333
+ if (staleGuard?.refuse) {
334
+ const message = staleGuard.message || 'Refusing ark upgrade: stale CLI.';
335
+ if (args.json) {
336
+ // Machine-readable refuse (same exit 2) so agents parsing stdout JSON are not blind.
337
+ console.log(
338
+ JSON.stringify(
339
+ {
340
+ refused: true,
341
+ reason: staleGuard.reason,
342
+ message,
343
+ cliVersion: staleGuard.cliVersion ?? null,
344
+ projectVersion: staleGuard.projectVersion ?? null,
345
+ cliPackageRoot: staleGuard.cliPackageRoot ?? null,
346
+ projectPackageRoot: staleGuard.projectPackageRoot ?? null,
347
+ nextCommand: arkCommand(root, 'arkgate', 'upgrade …'),
348
+ },
349
+ null,
350
+ 2
351
+ )
352
+ );
353
+ } else {
354
+ console.error(message);
355
+ }
356
+ return 2;
357
+ }
358
+
57
359
  if (args.apply && args.install) {
58
360
  const skip =
59
361
  typeof dependencies.shouldSkipArkgateInstall === 'function'
@@ -77,13 +379,23 @@ export function runUpgradeCommand(args, dependencies) {
77
379
  if (exitCode !== 0) {
78
380
  if (args.json && install.stderr) console.error(install.stderr.trim());
79
381
  const recovery = `${command} ${commandArgs.join(' ')}`;
382
+ const rePreview = arkCommand(
383
+ root,
384
+ 'arkgate',
385
+ [
386
+ 'upgrade',
387
+ '--no-install',
388
+ '--root',
389
+ quote(root),
390
+ ...(args.tools ? ['--tools', args.tools] : []),
391
+ ...(!args.strict ? ['--no-strict'] : []),
392
+ ...(args.json ? ['--json'] : []),
393
+ ].join(' ')
394
+ );
80
395
  console.error(
81
396
  `Package update failed (exit ${exitCode}). Fix the install and re-run:\n` +
82
397
  ` ${recovery}\n` +
83
- `Then: ark upgrade --no-install --root ${JSON.stringify(root)}` +
84
- (args.tools ? ` --tools ${args.tools}` : '') +
85
- (!args.strict ? ' --no-strict' : '') +
86
- (args.json ? ' --json' : '')
398
+ `Then: ${rePreview}`
87
399
  );
88
400
  return exitCode;
89
401
  }
@@ -113,7 +425,7 @@ export function runUpgradeCommand(args, dependencies) {
113
425
  const wouldWrite = plan.summary?.wouldWrite ?? 0;
114
426
  const blocked = plan.summary?.blocked ?? 0;
115
427
  const needsApply = wouldWrite > 0 || blocked > 0;
116
- const command = nextCommand(args, plan.planDigest);
428
+ const command = buildUpgradeNextCommand(args, plan.planDigest);
117
429
  if (args.json) {
118
430
  // Always expose nextCommand for digest-bound apply (metadata/manifest optional);
119
431
  // nothingToApply flags when content writes are zero so UIs do not urge apply.
@@ -121,6 +433,13 @@ export function runUpgradeCommand(args, dependencies) {
121
433
  managedUpgradeJson(plan, {
122
434
  nextCommand: command,
123
435
  ...(needsApply ? {} : { nothingToApply: true }),
436
+ // Surface dual-truth when managed assets refresh without a package pin bump.
437
+ ...(args.install === false
438
+ ? {
439
+ packageInstallSkipped: true,
440
+ note: 'Managed assets use this CLI; package.json arkgate pin is unchanged under --no-install. Bump the pin or re-run without --no-install so CI resolves the same version.',
441
+ }
442
+ : {}),
124
443
  })
125
444
  );
126
445
  } else {
@@ -134,6 +453,11 @@ export function runUpgradeCommand(args, dependencies) {
134
453
  // Human path: optional digest-bound stamp refresh without urging content apply.
135
454
  ...( !needsApply && metadataRefresh > 0 ? { optionalStampApply: command } : {}),
136
455
  });
456
+ if (args.install === false) {
457
+ console.log(
458
+ 'Note: --no-install left package.json arkgate pin unchanged. Managed assets match this CLI; bump the pin (or re-run without --no-install) so CI resolves the same version.'
459
+ );
460
+ }
137
461
  }
138
462
  return 0;
139
463
  }
@@ -164,10 +488,43 @@ export function runUpgradeCommand(args, dependencies) {
164
488
  const verification = args.strict
165
489
  ? { mode: 'strict-merge', ...verify(root, args.json, dependencies.arkCheck, dependencies.runArkCheck) }
166
490
  : { mode: 'skipped', exitCode: 0 };
167
- if (args.json) console.log(JSON.stringify({ ...applied, verification }, null, 2));
168
- else {
491
+ const dualTruth = describePackageVersionDualTruth(root);
492
+ if (args.json) {
493
+ console.log(
494
+ JSON.stringify(
495
+ {
496
+ ...applied,
497
+ verification,
498
+ ...(args.install === false || dualTruth.dualTruth
499
+ ? {
500
+ packageInstallSkipped: args.install === false,
501
+ packageVersionTruth: dualTruth,
502
+ ...(dualTruth.dualTruth
503
+ ? {
504
+ note: dualTruth.note,
505
+ }
506
+ : args.install === false
507
+ ? {
508
+ note: 'Managed assets use this CLI; package.json arkgate pin is unchanged under --no-install. Bump the pin or re-run without --no-install so CI resolves the same version.',
509
+ }
510
+ : {}),
511
+ }
512
+ : {}),
513
+ },
514
+ null,
515
+ 2
516
+ )
517
+ );
518
+ } else {
169
519
  renderManagedUpgrade(applied);
170
520
  if (!args.strict) console.log('Architecture verification skipped (--no-strict).');
521
+ if (args.install === false || dualTruth.dualTruth) {
522
+ console.log(
523
+ dualTruth.dualTruth
524
+ ? dualTruth.note
525
+ : 'Note: --no-install left package.json arkgate pin unchanged. Managed assets match this CLI; bump the pin (or re-run without --no-install) so CI resolves the same version.'
526
+ );
527
+ }
171
528
  }
172
529
  return verification.exitCode;
173
530
  }
@@ -6,7 +6,7 @@
6
6
  * must stay self-contained: type-only imports/exports are erased on transpile, so
7
7
  * this split never reaches bin/lib/config-contract.mjs.
8
8
  */
9
- type ArkConfigSchemaVersion = '1.0';
9
+ type ArkConfigSchemaVersion = '1.0' | '1.1';
10
10
  type ArkConfigCyclePolicy = 'strict' | 'soft' | 'framework-soft' | 'off';
11
11
  type ArkConfigLayerCapabilities = {
12
12
  deny?: string[];
@@ -39,6 +39,11 @@ type ArkConfigSafety = {
39
39
  allowInMemory?: boolean;
40
40
  allowDisabledPeerIsolation?: boolean;
41
41
  };
42
+ /**
43
+ * ADR 0012 — optional map of layer name → project-relative ArkRules file path.
44
+ * Absence changes no inter-layer verdict.
45
+ */
46
+ type ArkConfigArkRulesRefs = Record<string, string>;
42
47
  type ArkConfig = {
43
48
  $schema: string;
44
49
  schemaVersion: ArkConfigSchemaVersion;
@@ -52,10 +57,18 @@ type ArkConfig = {
52
57
  cyclePolicy?: ArkConfigCyclePolicy;
53
58
  dynamicImportAllowlist?: string[];
54
59
  safety?: ArkConfigSafety;
60
+ /** ADR 0012 — modular ArkRules references (schema 1.1+). */
61
+ arkRules?: ArkConfigArkRulesRefs;
62
+ };
63
+ type ArkConfigIssue = {
64
+ path: string;
65
+ message: string;
55
66
  };
67
+ /** Original input version when the loader rewrote schemaVersion toward current. */
68
+ type ArkConfigMigratedFrom = 'unversioned' | '1.0' | null;
56
69
  type ArkConfigLoadResult = {
57
70
  config: ArkConfig;
58
- migratedFrom: 'unversioned' | null;
71
+ migratedFrom: ArkConfigMigratedFrom;
59
72
  };
60
73
 
61
- export type { ArkConfig as A, ArkConfigRule as a, ArkConfigSchemaVersion as b, ArkConfigLoadResult as c, ArkConfigLayer as d };
74
+ export type { ArkConfig as A, ArkConfigRule as a, ArkConfigSchemaVersion as b, ArkConfigLoadResult as c, ArkConfigLayer as d, ArkConfigIssue as e };
@@ -1,3 +1,3 @@
1
- "use strict";var Se=Object.create;var N=Object.defineProperty;var xe=Object.getOwnPropertyDescriptor;var Re=Object.getOwnPropertyNames;var we=Object.getPrototypeOf,Ee=Object.prototype.hasOwnProperty;var Ce=(e,t)=>{for(var n in t)N(e,n,{get:t[n],enumerable:!0})},Y=(e,t,n,s)=>{if(t&&typeof t=="object"||typeof t=="function")for(let r of Re(t))!Ee.call(e,r)&&r!==n&&N(e,r,{get:()=>t[r],enumerable:!(s=xe(t,r))||s.enumerable});return e};var z=(e,t,n)=>(n=e!=null?Se(we(e)):{},Y(t||!e||!e.__esModule?N(n,"default",{value:e,enumerable:!0}):n,e)),Ne=e=>Y(N({},"__esModule",{value:!0}),e);var Xe={};Ce(Xe,{default:()=>Ze,findConfigPath:()=>P,globToRegExp:()=>w,isEdgeDenied:()=>M,layerForRelativePath:()=>A,loadArkConfig:()=>$,noDeniedCapabilities:()=>ke,noDomainInfraImports:()=>be,noForbiddenGlobals:()=>Ie,noRawEventPublish:()=>he,patternSpecificity:()=>D,plugin:()=>_,requirePublishSource:()=>Ae,resolveRelativeImport:()=>ue});module.exports=Ne(Xe);var S=z(require("fs"),1),d=z(require("path"),1);var J=new Map;function Z(e){return/[.*+?^${}()|[\]\\]/.test(e)?`\\${e}`:e}function j(e){let t="";for(let n=0;n<e.length;n+=1){let s=e[n];if(s==="\\"&&n+1<e.length){let r=e[n+1];if("*?{}[],".includes(r)||r==="\\"){t+="\\"+r,n+=1;continue}t+="/";continue}t+=s}return t}function Le(e){let t=0;for(let n=0;n<e.length;n+=1){let s=e[n];if(s==="\\"){n+=1;continue}if(s==="{")t+=1;else if(s==="}"&&(t-=1,t<0))return!1}return t===0}function w(e){let t=J.get(e);if(t)return t;let n=j(e),s=Le(n),r="",a=0;for(let c=0;c<n.length;c+=1){let g=n[c];g==="\\"&&c+1<n.length?(r+=Z(n[c+1]),c+=1):g==="*"?n[c+1]==="*"?n[c+2]==="/"?(r+="(?:.*/)?",c+=2):(r+=".*",c+=1):r+="[^/]*":g==="?"?r+="[^/]":g==="{"&&s?(r+="(?:",a+=1):g==="}"&&s&&a>0?(r+=")",a-=1):g===","&&s&&a>0?r+="|":r+=Z(g)}let l=new RegExp(`^${r}$`);return J.set(e,l),l}function D(e){let t=j(String(e)),s=t.split("*")[0].split("/").filter(Boolean).length,r=t.replace(/\*/g,"").length;return s*1e4+r}function A(e,t){let n=String(e).split(/[/\\]/).join("/"),s,r=-1;for(let a of t??[])if(!(a.exclude??[]).some(l=>w(l).test(n))){for(let l of a.patterns??[])if(w(l).test(n)){let c=D(l);c>r&&(r=c,s=a.name)}}return s}function X(e,t){if(!t?.length)return;let n=String(e).split(/[/\\]/).filter(Boolean),s=new Set(t.map(r=>String(r).toLowerCase()));for(let r=0;r<n.length-1;r+=1)if(s.has(n[r].toLowerCase()))return`${n[r].toLowerCase()}/${n[r+1].toLowerCase()}`}function Oe(e){let t=new Set;for(let n of e??[]){let r=j(String(n)).split("/").filter(Boolean);for(let a=0;a<r.length;a+=1){let l=r[a];if((l==="**"||l==="*")&&a>0){let c=r[a-1];c&&!c.includes("*")&&!c.includes("{")&&!c.includes("}")&&t.add(c)}}}return[...t]}function ve(e,t,n){if(Array.isArray(e.sliceFolders)&&e.sliceFolders.length>0)return e.sliceFolders.filter(r=>typeof r=="string"&&r.length>0);let s=(n??[]).find(r=>r.name===t);return Oe(s?.patterns)}function _e(e,t,n,s){for(let r of e??[])if(!(r.from!==t||r.to!==n)&&r.allowed===!1){if(r.peerIsolation){let a=s?.fromPath,l=s?.toPath;if(!a||!l)return r;let c=ve(r,t,s?.layers);if(c.length===0)return r;let g=X(a,c),m=X(l,c);if(!g||!m||g!==m)return r;continue}if(t!==n)return r}}function M(e,t,n,s){return _e(e,t,n,s)!==void 0}var Pe=["**/*.gen.ts","**/*.gen.tsx","**/*.generated.ts","**/*.generated.tsx"];function $e(e){let t=Array.isArray(e?.exclude)?e.exclude.filter(s=>typeof s=="string"):[];return[...e?.excludeGenerated===!1?[]:Pe,...t]}function Q(e,t){let n=String(e).split(/[/\\]/).join("/");return $e(t).some(s=>w(s).test(n))}var ee=Object.freeze(["network","filesystem","clock","randomness","environment","process","persistence"]),Te=Object.freeze({fetch:"network",XMLHttpRequest:"network",Date:"clock","Date.now":"clock","Math.random":"randomness","process.env":"environment",process:"process"}),tt=Object.freeze(Object.keys(Te).sort()),F=Object.freeze({fs:"filesystem","node:fs":"filesystem","fs/promises":"filesystem","node:fs/promises":"filesystem","fs-extra":"filesystem","graceful-fs":"filesystem",memfs:"filesystem",chokidar:"filesystem",http:"network",https:"network",http2:"network",net:"network",tls:"network",dgram:"network",dns:"network","node:http":"network","node:https":"network","node:http2":"network","node:net":"network","node:tls":"network","node:dgram":"network","node:dns":"network",axios:"network",undici:"network","node-fetch":"network",got:"network",ky:"network",superagent:"network",ws:"network",process:"process","node:process":"process",child_process:"process","node:child_process":"process","@prisma/client":"persistence",prisma:"persistence",pg:"persistence",mysql:"persistence",mysql2:"persistence",mongodb:"persistence",mongoose:"persistence",sqlite3:"persistence","better-sqlite3":"persistence",redis:"persistence",ioredis:"persistence",typeorm:"persistence",knex:"persistence","drizzle-orm":"persistence",sequelize:"persistence",kysely:"persistence","@supabase/supabase-js":"persistence"}),je=Object.freeze({process:Object.freeze(["process","node:process"])});function te(e){if(!e||e.startsWith(".")||e.startsWith("/"))return null;let t=F[e];if(t)return t;let n=e.indexOf("/");if(n<0)return null;let s=e.slice(0,n),r=F[s];if(r)return r;let a=e.indexOf("/",n+1);return a<0?null:F[e.slice(0,a)]??null}function V(e,t){for(let n of t)if(je[n]?.includes(e))return n;return null}function ne(e){if(e?.pure===!0)return[...ee].sort();let n=(e?.capabilities?.deny??[]).filter(s=>ee.includes(s));return[...new Set(n)].sort()}var K="https://unpkg.com/arkgate@2/schemas/ark.config.schema.json",re=["DomainModel","ApplicationOrchestration","PersistenceAdapters","IntegrationAdapters","WorkflowSagaEngine","BackgroundJobsScheduling","PresentationAdapters","ReportingReadModels","ExtensibilityMetadata","SecurityAuditObservability","Kernel"],De=new Set(["PresentationAdapters->ApplicationOrchestration","ApplicationOrchestration->DomainModel","WorkflowSagaEngine->ApplicationOrchestration","WorkflowSagaEngine->DomainModel","BackgroundJobsScheduling->ApplicationOrchestration"]);function Me(){let e=[];for(let t of re)for(let n of re)t===n||De.has(`${t}->${n}`)||e.push({from:t,to:n,allowed:!1});return e}var ie=Me();var h={type:"array",items:{type:"string",minLength:1},uniqueItems:!0},se={$schema:"https://json-schema.org/draft/2020-12/schema",$id:K,title:"ArkGate architecture contract",description:"Versioned contract consumed identically by ArkGate CLI, MCP, and ESLint surfaces.",type:"object",additionalProperties:!1,required:["$schema","schemaVersion","include","layers","rules"],properties:{$schema:{type:"string",minLength:1,default:K,description:"Editor-facing URL or local path for this JSON Schema."},schemaVersion:{type:"string",const:"1.0",default:"1.0"},name:{type:"string",minLength:1},include:{...h,minItems:1,default:["src"]},exclude:{...h,default:[]},excludeGenerated:{type:"boolean",default:!0},frameworkOverlay:{type:"string",minLength:1},layers:{type:"array",default:[],items:{$ref:"#/$defs/layer"}},rules:{type:"array",default:ie,items:{$ref:"#/$defs/rule"}},cyclePolicy:{type:"string",enum:["strict","soft","framework-soft","off"],default:"strict"},dynamicImportAllowlist:{...h,default:[]},safety:{$ref:"#/$defs/safety",default:{maxTsSuppressions:0,maxAnyCasts:0,allowInMemory:!1,allowDisabledPeerIsolation:!1}}},$defs:{layer:{type:"object",additionalProperties:!1,required:["name","patterns"],properties:{name:{type:"string",minLength:1},patterns:{...h,minItems:1},exclude:h,intentPrefixes:h,description:{type:"string",minLength:1},forbiddenGlobals:h,capabilities:{type:"object",additionalProperties:!1,properties:{deny:{type:"array",uniqueItems:!0,items:{type:"string",enum:["network","filesystem","clock","randomness","environment","process","persistence"]}}}},pure:{type:"boolean"},mayImportInfrastructure:{type:"boolean"},optional:{type:"boolean"}}},rule:{type:"object",additionalProperties:!1,required:["from","to","allowed"],properties:{from:{type:"string",minLength:1},to:{type:"string",minLength:1},allowed:{type:"boolean"},message:{type:"string",minLength:1},peerIsolation:{type:"boolean"},sliceFolders:{...h,minItems:1}}},safety:{type:"object",additionalProperties:!1,properties:{maxTsSuppressions:{type:"integer",minimum:0,default:0},maxAnyCasts:{type:"integer",minimum:0,default:0},allowInMemory:{type:"boolean",default:!1},allowDisabledPeerIsolation:{type:"boolean",default:!1}}}}},k=class extends Error{issues;source;constructor(t,n){super(`Invalid ArkGate config (${t}):
1
+ "use strict";var Re=Object.create;var L=Object.defineProperty;var xe=Object.getOwnPropertyDescriptor;var we=Object.getOwnPropertyNames;var Ee=Object.getPrototypeOf,Ce=Object.prototype.hasOwnProperty;var Ne=(e,t)=>{for(var n in t)L(e,n,{get:t[n],enumerable:!0})},z=(e,t,n,s)=>{if(t&&typeof t=="object"||typeof t=="function")for(let r of we(t))!Ce.call(e,r)&&r!==n&&L(e,r,{get:()=>t[r],enumerable:!(s=xe(t,r))||s.enumerable});return e};var J=(e,t,n)=>(n=e!=null?Re(Ee(e)):{},z(t||!e||!e.__esModule?L(n,"default",{value:e,enumerable:!0}):n,e)),Le=e=>z(L({},"__esModule",{value:!0}),e);var et={};Ne(et,{default:()=>Qe,findConfigPath:()=>$,globToRegExp:()=>w,isEdgeDenied:()=>V,layerForRelativePath:()=>k,loadArkConfig:()=>T,noDeniedCapabilities:()=>Ie,noDomainInfraImports:()=>he,noForbiddenGlobals:()=>Se,noRawEventPublish:()=>Ae,patternSpecificity:()=>M,plugin:()=>P,requirePublishSource:()=>ke,resolveRelativeImport:()=>fe});module.exports=Le(et);var I=J(require("fs"),1),p=J(require("path"),1);var Z=new Map;function X(e){return/[.*+?^${}()|[\]\\]/.test(e)?`\\${e}`:e}function D(e){let t="";for(let n=0;n<e.length;n+=1){let s=e[n];if(s==="\\"&&n+1<e.length){let r=e[n+1];if("*?{}[],".includes(r)||r==="\\"){t+="\\"+r,n+=1;continue}t+="/";continue}t+=s}return t}function Oe(e){let t=0;for(let n=0;n<e.length;n+=1){let s=e[n];if(s==="\\"){n+=1;continue}if(s==="{")t+=1;else if(s==="}"&&(t-=1,t<0))return!1}return t===0}function w(e){let t=Z.get(e);if(t)return t;let n=D(e),s=Oe(n),r="",a=0;for(let c=0;c<n.length;c+=1){let g=n[c];g==="\\"&&c+1<n.length?(r+=X(n[c+1]),c+=1):g==="*"?n[c+1]==="*"?n[c+2]==="/"?(r+="(?:.*/)?",c+=2):(r+=".*",c+=1):r+="[^/]*":g==="?"?r+="[^/]":g==="{"&&s?(r+="(?:",a+=1):g==="}"&&s&&a>0?(r+=")",a-=1):g===","&&s&&a>0?r+="|":r+=X(g)}let l=new RegExp(`^${r}$`);return Z.set(e,l),l}function M(e){let t=D(String(e)),s=t.split("*")[0].split("/").filter(Boolean).length,r=t.replace(/\*/g,"").length;return s*1e4+r}function k(e,t){let n=String(e).split(/[/\\]/).join("/"),s,r=-1;for(let a of t??[])if(!(a.exclude??[]).some(l=>w(l).test(n))){for(let l of a.patterns??[])if(w(l).test(n)){let c=M(l);c>r&&(r=c,s=a.name)}}return s}function Q(e,t){if(!t?.length)return;let n=String(e).split(/[/\\]/).filter(Boolean),s=new Set(t.map(r=>String(r).toLowerCase()));for(let r=0;r<n.length-1;r+=1)if(s.has(n[r].toLowerCase()))return`${n[r].toLowerCase()}/${n[r+1].toLowerCase()}`}function _e(e){let t=new Set;for(let n of e??[]){let r=D(String(n)).split("/").filter(Boolean);for(let a=0;a<r.length;a+=1){let l=r[a];if((l==="**"||l==="*")&&a>0){let c=r[a-1];c&&!c.includes("*")&&!c.includes("{")&&!c.includes("}")&&t.add(c)}}}return[...t]}function ve(e,t,n){if(Array.isArray(e.sliceFolders)&&e.sliceFolders.length>0)return e.sliceFolders.filter(r=>typeof r=="string"&&r.length>0);let s=(n??[]).find(r=>r.name===t);return _e(s?.patterns)}function Pe(e,t,n,s){for(let r of e??[])if(!(r.from!==t||r.to!==n)&&r.allowed===!1){if(r.peerIsolation){let a=s?.fromPath,l=s?.toPath;if(!a||!l)return r;let c=ve(r,t,s?.layers);if(c.length===0)return r;let g=Q(a,c),m=Q(l,c);if(!g||!m||g!==m)return r;continue}if(t!==n)return r}}function V(e,t,n,s){return Pe(e,t,n,s)!==void 0}var $e=["**/*.gen.ts","**/*.gen.tsx","**/*.generated.ts","**/*.generated.tsx"];function Te(e){let t=Array.isArray(e?.exclude)?e.exclude.filter(s=>typeof s=="string"):[];return[...e?.excludeGenerated===!1?[]:$e,...t]}function ee(e,t){let n=String(e).split(/[/\\]/).join("/");return Te(t).some(s=>w(s).test(n))}var te=Object.freeze(["network","filesystem","clock","randomness","environment","process","persistence"]),je=Object.freeze({fetch:"network",XMLHttpRequest:"network",Date:"clock","Date.now":"clock","Math.random":"randomness","process.env":"environment",process:"process"}),rt=Object.freeze(Object.keys(je).sort()),F=Object.freeze({fs:"filesystem","node:fs":"filesystem","fs/promises":"filesystem","node:fs/promises":"filesystem","fs-extra":"filesystem","graceful-fs":"filesystem",memfs:"filesystem",chokidar:"filesystem",http:"network",https:"network",http2:"network",net:"network",tls:"network",dgram:"network",dns:"network","node:http":"network","node:https":"network","node:http2":"network","node:net":"network","node:tls":"network","node:dgram":"network","node:dns":"network",axios:"network",undici:"network","node-fetch":"network",got:"network",ky:"network",superagent:"network",ws:"network",process:"process","node:process":"process",child_process:"process","node:child_process":"process","@prisma/client":"persistence",prisma:"persistence",pg:"persistence",mysql:"persistence",mysql2:"persistence",mongodb:"persistence",mongoose:"persistence",sqlite3:"persistence","better-sqlite3":"persistence",redis:"persistence",ioredis:"persistence",typeorm:"persistence",knex:"persistence","drizzle-orm":"persistence",sequelize:"persistence",kysely:"persistence","@supabase/supabase-js":"persistence"}),De=Object.freeze({process:Object.freeze(["process","node:process"])});function ne(e){if(!e||e.startsWith(".")||e.startsWith("/"))return null;let t=F[e];if(t)return t;let n=e.indexOf("/");if(n<0)return null;let s=e.slice(0,n),r=F[s];if(r)return r;let a=e.indexOf("/",n+1);return a<0?null:F[e.slice(0,a)]??null}function K(e,t){for(let n of t)if(De[n]?.includes(e))return n;return null}function re(e){if(e?.pure===!0)return[...te].sort();let n=(e?.capabilities?.deny??[]).filter(s=>te.includes(s));return[...new Set(n)].sort()}var H="https://unpkg.com/arkgate@2/schemas/ark.config.schema.json",se=["DomainModel","ApplicationOrchestration","PersistenceAdapters","IntegrationAdapters","WorkflowSagaEngine","BackgroundJobsScheduling","PresentationAdapters","ReportingReadModels","ExtensibilityMetadata","SecurityAuditObservability","Kernel"],Me=new Set(["PresentationAdapters->ApplicationOrchestration","ApplicationOrchestration->DomainModel","WorkflowSagaEngine->ApplicationOrchestration","WorkflowSagaEngine->DomainModel","BackgroundJobsScheduling->ApplicationOrchestration"]);function Ve(){let e=[];for(let t of se)for(let n of se)t===n||Me.has(`${t}->${n}`)||e.push({from:t,to:n,allowed:!1});return e}var oe=Ve(),G=[{from:"unversioned",to:"1.0"},{from:"1.0",to:"1.1"}],A={type:"array",items:{type:"string",minLength:1},uniqueItems:!0},ie={$schema:"https://json-schema.org/draft/2020-12/schema",$id:H,title:"ArkGate architecture contract",description:"Versioned contract consumed identically by ArkGate CLI, MCP, and ESLint surfaces.",type:"object",additionalProperties:!1,required:["$schema","schemaVersion","include","layers","rules"],properties:{$schema:{type:"string",minLength:1,default:H,description:"Editor-facing URL or local path for this JSON Schema."},schemaVersion:{type:"string",const:"1.1",default:"1.1"},name:{type:"string",minLength:1},include:{...A,minItems:1,default:["src"]},exclude:{...A,default:[]},excludeGenerated:{type:"boolean",default:!0},frameworkOverlay:{type:"string",minLength:1},layers:{type:"array",default:[],items:{$ref:"#/$defs/layer"}},rules:{type:"array",default:oe,items:{$ref:"#/$defs/rule"}},cyclePolicy:{type:"string",enum:["strict","soft","framework-soft","off"],default:"strict"},dynamicImportAllowlist:{...A,default:[]},safety:{$ref:"#/$defs/safety",default:{maxTsSuppressions:0,maxAnyCasts:0,allowInMemory:!1,allowDisabledPeerIsolation:!1}},arkRules:{type:"object",additionalProperties:{type:"string",minLength:1},default:{}}},$defs:{layer:{type:"object",additionalProperties:!1,required:["name","patterns"],properties:{name:{type:"string",minLength:1},patterns:{...A,minItems:1},exclude:A,intentPrefixes:A,description:{type:"string",minLength:1},forbiddenGlobals:A,capabilities:{type:"object",additionalProperties:!1,properties:{deny:{type:"array",uniqueItems:!0,items:{type:"string",enum:["network","filesystem","clock","randomness","environment","process","persistence"]}}}},pure:{type:"boolean"},mayImportInfrastructure:{type:"boolean"},optional:{type:"boolean"}}},rule:{type:"object",additionalProperties:!1,required:["from","to","allowed"],properties:{from:{type:"string",minLength:1},to:{type:"string",minLength:1},allowed:{type:"boolean"},message:{type:"string",minLength:1},peerIsolation:{type:"boolean"},sliceFolders:{...A,minItems:1}}},safety:{type:"object",additionalProperties:!1,properties:{maxTsSuppressions:{type:"integer",minimum:0,default:0},maxAnyCasts:{type:"integer",minimum:0,default:0},allowInMemory:{type:"boolean",default:!1},allowDisabledPeerIsolation:{type:"boolean",default:!1}}}}},h=class extends Error{issues;source;constructor(t,n){super(`Invalid ArkGate config (${t}):
2
2
  ${n.map(s=>`- ${s.path}: ${s.message}`).join(`
3
- `)}`),this.name="ArkConfigValidationError",this.source=t,this.issues=n}};function oe(e){return e!==null&&typeof e=="object"&&!Array.isArray(e)}function H(e,t){return/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(t)?`${e}.${t}`:`${e}[${JSON.stringify(t)}]`}function I(e){return e===null?"null":Array.isArray(e)?"array":typeof e}function Fe(e,t){let n="#/$defs/";if(e.startsWith(n))return t.$defs[e.slice(n.length)]}function L(e,t,n,s,r){if(t.$ref){let a=Fe(t.$ref,s);if(!a){r.push({path:n,message:`schema reference ${t.$ref} cannot be resolved`});return}L(e,a,n,s,r);return}if(t.const!==void 0&&!Object.is(e,t.const)){r.push({path:n,message:`must equal ${JSON.stringify(t.const)}`});return}if(t.enum&&!t.enum.some(a=>Object.is(a,e))){r.push({path:n,message:`must be one of ${t.enum.map(String).join(", ")}`});return}if(t.type==="object"){if(!oe(e)){r.push({path:n,message:`must be an object; received ${I(e)}`});return}let a=t.properties??{};for(let l of t.required??[])e[l]===void 0&&r.push({path:H(n,l),message:"is required"});if(t.additionalProperties===!1)for(let l of Object.keys(e))l in a||r.push({path:H(n,l),message:"unknown field"});for(let[l,c]of Object.entries(a))e[l]!==void 0&&L(e[l],c,H(n,l),s,r);return}if(t.type==="array"){if(!Array.isArray(e)){r.push({path:n,message:`must be an array; received ${I(e)}`});return}if(t.minItems!==void 0&&e.length<t.minItems&&r.push({path:n,message:`must contain at least ${t.minItems} item(s)`}),t.uniqueItems){let a=e.map(l=>JSON.stringify(l));new Set(a).size!==a.length&&r.push({path:n,message:"must not contain duplicate items"})}t.items&&e.forEach((a,l)=>L(a,t.items,`${n}[${l}]`,s,r));return}if(t.type==="string"){if(typeof e!="string"){r.push({path:n,message:`must be a string; received ${I(e)}`});return}t.minLength!==void 0&&e.length<t.minLength&&r.push({path:n,message:`must contain at least ${t.minLength} character(s)`});return}if(t.type==="boolean"){typeof e!="boolean"&&r.push({path:n,message:`must be a boolean; received ${I(e)}`});return}if(t.type==="integer"){if(!Number.isInteger(e)){r.push({path:n,message:`must be an integer; received ${I(e)}`});return}t.minimum!==void 0&&e<t.minimum&&r.push({path:n,message:`must be at least ${t.minimum}`})}}function Ve(e){return{...e,$schema:e.$schema===void 0?K:e.$schema,schemaVersion:e.schemaVersion===void 0?"1.0":e.schemaVersion,include:e.include===void 0?["src"]:e.include,layers:e.layers===void 0?[]:e.layers,rules:e.rules===void 0?ie.map(t=>({...t})):e.rules}}function He(e,t="ark.config.json"){if(!oe(e))throw new k(t,[{path:"$",message:`must be an object; received ${I(e)}`}]);let n=e.schemaVersion===void 0?"unversioned":null;if(e.schemaVersion!==void 0&&e.schemaVersion!=="1.0")throw new k(t,[{path:"$.schemaVersion",message:`unsupported version ${JSON.stringify(e.schemaVersion)}; expected 1.0`}]);return{candidate:Ve(e),migratedFrom:n}}function Ke(e,t="ark.config.json"){let{candidate:n,migratedFrom:s}=He(e,t),r=[];if(L(n,se,"$",se,r),r.length>0)throw new k(t,r);return{config:n,migratedFrom:s}}function ae(e,t="ark.config.json"){let n;try{n=JSON.parse(e)}catch(s){throw new k(t,[{path:"$",message:`invalid JSON: ${s instanceof Error?s.message:String(s)}`}])}return Ke(n,t)}function y(e){return typeof e=="string"&&e.length>0?e:void 0}function le(e,t){return Number.isInteger(e)&&Number(e)>0?Number(e):t}function Be(e,t,n){return e==="LAYER_IMPORT_VIOLATION"?t.typeOnly||n.targetTypeOnlyExports===!0||n.namedBindingsTypeOnly===!0?"Move the referenced type to a mutually allowed layer, use `import type`, then preflight again.":n.peerIsolation===!0?"Extract the shared dependency to a shared layer, then preflight again.":`Define a port in ${t.fromLayer??"the source layer"}, inject the ${t.toLayer??"outer-layer"} implementation, then preflight again.`:e==="FORBIDDEN_GLOBAL"?`Inject ${t.target??"the capability"} through a port, then preflight again.`:e==="CAPABILITY_VIOLATION"?`Define a ${y(n.capability)??"capability"} port in ${t.fromLayer??"the walled layer"}, bind the implementation outside it, then preflight again.`:e==="CIRCULAR_DEPENDENCY"?"Extract the shared dependency into a third module, then preflight again.":e==="RAW_EVENT_PUBLISH"?"Publish through a registered intent creator, then run Ark again.":e==="PUBLISH_MISSING_SOURCE"?"Add metadata.source to the publish call, then run Ark again.":`Resolve ${e} without weakening ark.config.json, then run Ark again.`}function ce(e,t="error"){let n=y(e.ruleId)??y(e.code)??"ARK_UNKNOWN",s=e.severity==="warning"?"warning":t,r={...y(e.target)?{target:y(e.target)}:{},...y(e.fromLayer)?{fromLayer:y(e.fromLayer)}:{},...y(e.toLayer)?{toLayer:y(e.toLayer)}:{},...typeof e.typeOnly=="boolean"?{typeOnly:e.typeOnly}:{},...typeof e.targetTypeOnlyExports=="boolean"?{targetTypeOnlyExports:e.targetTypeOnlyExports}:{},...typeof e.sourcePureTypeModule=="boolean"?{sourcePureTypeModule:e.sourcePureTypeModule}:{},...typeof e.namedBindingsTypeOnly=="boolean"?{namedBindingsTypeOnly:e.namedBindingsTypeOnly}:{},...typeof e.portProofEligible=="boolean"?{portProofEligible:e.portProofEligible}:{},...typeof e.peerIsolation=="boolean"?{peerIsolation:e.peerIsolation}:{},...y(e.capability)?{capability:y(e.capability)}:{},...y(e.edgeKind)?{edgeKind:y(e.edgeKind)}:{}};return{ruleId:n,severity:s,message:y(e.message)??n,location:{file:y(e.file)??"<unknown>",line:le(e.line,1),column:le(e.column,1)},evidence:r,nextAction:y(e.nextAction)??Be(n,r,e)}}var pe={RAW_EVENT_PUBLISH:"Publish through a registered intent creator; raw event objects or intent strings bypass Ark contracts and tooling.",PUBLISH_MISSING_SOURCE:"Strict Ark publish calls must include metadata.source."},it=Object.freeze([{layer:"DomainModel",prefixes:["Domain."]},{layer:"ApplicationOrchestration",prefixes:["Application."]},{layer:"PersistenceAdapters",prefixes:["Adapter.Persistence.","Adapter.Repository."]},{layer:"IntegrationAdapters",prefixes:["Adapter.Integration.","Adapter.External."]},{layer:"WorkflowSagaEngine",prefixes:["Workflow."]},{layer:"BackgroundJobsScheduling",prefixes:["Job."]},{layer:"PresentationAdapters",prefixes:["Presentation.","Adapter.Presentation.","Adapter.Api."]},{layer:"ReportingReadModels",prefixes:["Reporting."]},{layer:"ExtensibilityMetadata",prefixes:["Metadata."]},{layer:"SecurityAuditObservability",prefixes:["Security.","Audit.","Observability."]},{layer:"Kernel",prefixes:["Kernel."]}]);function Ge(e){return/^(Domain|Application|Adapter|Workflow|Job|Presentation|Reporting|Metadata|Security|Audit|Observability|Kernel)\.[A-Za-z0-9_.]+$/.test(e)}function B(e){if(!e.publishCall)return[];let t=[];return(e.rawIntentName!==void 0&&Ge(e.rawIntentName)||e.objectHasIntent)&&t.push({ruleId:"RAW_EVENT_PUBLISH",message:pe.RAW_EVENT_PUBLISH}),e.arkPublishCandidate&&!e.hasSource&&t.push({ruleId:"PUBLISH_MISSING_SOURCE",message:pe.PUBLISH_MISSING_SOURCE}),t}function E(e){if(typeof e.physicalFilename=="string"&&e.physicalFilename.length>0)return e.physicalFilename;if(typeof e.filename=="string"&&e.filename.length>0)return e.filename;if(typeof e.getFilename=="function")try{let t=e.getFilename();if(typeof t=="string"&&t.length>0)return t}catch{}return""}function x(e,t,n,s,r){let a=ce({...s,line:s.line??t.loc?.start?.line,column:s.column??(typeof t.loc?.start?.column=="number"?t.loc.start.column+1:void 0)});return e.report({node:t,messageId:n,...r?{data:r}:{},diagnostic:a}),a}function P(e){if(!e||e==="<input>"||e.startsWith("stdin"))return null;let t=d.default.dirname(d.default.resolve(e));for(;;){let n=d.default.join(t,"ark.config.json");if(S.default.existsSync(n))return n;let s=d.default.dirname(t);if(s===t)return null;t=s}}var de=new Map;function $(e){if(!S.default.existsSync(e))return null;let t=S.default.readFileSync(e,"utf8"),n=de.get(e);if(n?.source===t)return n.config;let s=ae(t,e).config;return de.set(e,{source:t,config:s}),s}function q(e,t){return(e.include??[]).some(s=>{let r=String(s).replace(/\\/g,"/").replace(/^\.\//,"").replace(/\/$/,"");return r==="."||t===r||t.startsWith(`${r}/`)})&&!Q(t,e)}function ue(e,t){if(!t.startsWith("."))return null;let n=d.default.resolve(d.default.dirname(e),t),s=[n,`${n}.ts`,`${n}.tsx`,`${n}.mts`,`${n}.cts`,`${n}.js`,`${n}.jsx`,d.default.join(n,"index.ts"),d.default.join(n,"index.tsx"),d.default.join(n,"index.js")];for(let r of s)try{if(S.default.existsSync(r)&&S.default.statSync(r).isFile())return r}catch{}return null}function T(e){return typeof e?.value=="string"?e.value:void 0}function U(e){return e?.name??T(e)}function W(e){return e.sourceCode??e.getSourceCode?.()}function fe(e,t){let n=W(e)?.getScope?.(t);for(;n;){let s=n.references?.find(r=>r.identifier===t);if(s)return s;n=n.upper??void 0}}function O(e,t,n){let s=fe(e,t);if(s?.resolved)return(s.resolved.defs?.length??0)>0;let r=W(e)?.getScope?.(t);for(;r;){let a=r.set?.get(n);if(a)return(a.defs?.length??0)>0;r=r.upper??void 0}return!1}function qe(e,t){let n=fe(e,t);return n?n.isValueReference!==!1:t.parent?.type==="VariableDeclarator"&&t.parent.init===t}function ge(e){if(e?.type==="Identifier"&&e.name)return{root:e,segments:[e.name]};if(!e||!(e.type==="MemberExpression"||!!(e.object&&e.property))||e.computed===!0)return;let n=ge(e.object),s=U(e.property);if(!(!n||!s))return{root:n.root,segments:[...n.segments,s]}}function Ue(e){return U(e.callee?.property)}function me(e,t){return e?.properties?.find(n=>U(n.key)===t)}function v(e,t){return me(e,t)!==void 0}function We(e){let t=me(e,"metadata")?.value;return v(t,"source")}function ye(e){return Ue(e)==="publish"}function G(e){if(e.importKind==="type"||e.exportKind==="type")return!0;let t=e.specifiers??[];return t.length===0?!1:t.every(n=>n.type==="ImportSpecifier")?t.every(n=>n.importKind==="type"):t.every(n=>n.exportKind==="type")}function Ye(e){let t=e;for(;t?.parent;)t=t.parent;return t?.type==="Program"?t:void 0}function ze(e){let t=Ye(e)?.body;if(!t)return!1;let n=!1;for(let s of t){if(s.type==="ImportDeclaration"){if(!G(s))return!1;continue}if(!(s.type==="TSInterfaceDeclaration"||s.type==="TSTypeAliasDeclaration")){if(s.type==="ExportNamedDeclaration"){if(s.declaration){if(s.declaration.type!=="TSInterfaceDeclaration"&&s.declaration.type!=="TSTypeAliasDeclaration")return!1}else if(!G(s))return!1;n=!0;continue}return!1}}return n}var be={meta:{type:"problem",docs:{description:"Disallow imports that violate ark.config.json layer rules (same contract as arkgate-check)."},messages:{forbiddenImport:"Architecture: {{fromLayer}} must not import {{toLayer}} (ark.config.json). Specifier: {{specifier}}",forbiddenImportHeuristic:"Domain code must not import infrastructure, adapters, repositories, or database modules."},schema:[]},create(e){let t=E(e),n=P(t),s=n?$(n):null,r=n?d.default.dirname(n):null,a=l=>{let c=T(l.source);if(c&&s&&r&&t){let g=d.default.isAbsolute(t)?t:d.default.resolve(t),m=d.default.relative(r,g).split(d.default.sep).join("/");if(!q(s,m))return;let p=A(m,s.layers);if(!p)return;let i=ue(g,c);if(!i)return;let o=d.default.relative(r,i).split(d.default.sep).join("/");if(o.startsWith(".."))return;let u=A(o,s.layers);if(!u)return;if(M(s.rules,p,u,{fromPath:m,toPath:o,layers:s.layers})){let f=l.type?.startsWith("Export")?"export":"import";x(e,l,"forbiddenImport",{ruleId:"LAYER_IMPORT_VIOLATION",file:m,fromLayer:p,toLayer:u,target:o,edgeKind:f,...G(l)?{typeOnly:!0}:{},...ze(l)?{sourcePureTypeModule:!0}:{},message:`${p} must not ${f} ${u}.`},{fromLayer:p,toLayer:u,specifier:c})}return}};return{ImportDeclaration:a,ExportNamedDeclaration:a,ExportAllDeclaration:a}}},he={meta:{type:"problem",docs:{description:"Require event bus publish calls to use registered intent creators instead of raw event objects or intent strings."},messages:{rawPublish:"Publish through a registered intent creator; raw event objects or intent strings bypass Ark contracts."},schema:[]},create(e){return{CallExpression(t){let n=t.arguments?.[0],s=T(n),r=B({publishCall:ye(t),rawIntentName:s,objectHasIntent:v(n,"intent"),arkPublishCandidate:!1,hasSource:!0});if(r.some(a=>a.ruleId==="RAW_EVENT_PUBLISH")){let a=r.find(l=>l.ruleId==="RAW_EVENT_PUBLISH");x(e,t,"rawPublish",{...a,file:E(e)})}}}}},Ae={meta:{type:"problem",docs:{description:"Require event bus publish calls to include source metadata."},messages:{missingSource:"Strict Ark publish calls must include metadata.source."},schema:[]},create(e){return{CallExpression(t){let n=t.arguments?.[0],s=t.arguments?.[2],a=B({publishCall:ye(t),rawIntentName:T(n),objectHasIntent:v(n,"intent"),arkPublishCandidate:!0,hasSource:We(n)||v(s,"source")}).find(l=>l.ruleId==="PUBLISH_MISSING_SOURCE");a&&x(e,t,"missingSource",{...a,file:E(e)})}}}},Ie={meta:{type:"problem",docs:{description:"Disallow ambient globals from the layer\u2019s forbiddenGlobals in ark.config.json (same purity surface as ark-check). Option `globals` is a standalone fallback when no project config applies."},messages:{forbiddenGlobal:'Ambient global "{{name}}" is forbidden in {{layer}} (ark.config.json); inject the capability through a port instead.',forbiddenGlobalDefault:'Ambient global "{{name}}" is forbidden here; inject the capability through a port instead.',forbiddenModule:'{{layer}} must not use module "{{specifier}}" because it is the import form of forbidden global "{{name}}".'},schema:[{type:"object",properties:{globals:{type:"array",items:{type:"string"}}},additionalProperties:!1}]},create(e){let t=E(e),n=e.options?.[0],s=P(t),r=s?$(s):null,a=s?d.default.dirname(s):null,l=null,c="this layer";if(r&&a&&t){let i=d.default.isAbsolute(t)?t:d.default.resolve(t),o=d.default.relative(a,i).split(d.default.sep).join("/");if(!q(r,o))return{};let u=r.layers?.find(f=>f.name===A(o,r.layers));u?.forbiddenGlobals?.length?(l=new Set(u.forbiddenGlobals),c=u.name):l=null}else n?.globals&&(l=new Set(n.globals));if(!l)return{};let g=typeof W(e)?.getScope=="function",m=(i,o)=>{let u=d.default.isAbsolute(t)?t:d.default.resolve(t),f=a?d.default.relative(a,u).split(d.default.sep).join("/"):t;x(e,i,r?"forbiddenGlobal":"forbiddenGlobalDefault",{ruleId:"FORBIDDEN_GLOBAL",file:f,fromLayer:c,target:o,message:`${c} must not use the ambient global "${o}".`},{name:o,layer:c})},p=(i,o,u,f)=>{if(u||typeof o!="string")return;let b=V(o,l);if(!b)return;let R=d.default.isAbsolute(t)?t:d.default.resolve(t),C=a?d.default.relative(a,R).split(d.default.sep).join("/"):t;x(e,i,"forbiddenModule",{ruleId:"FORBIDDEN_GLOBAL",file:C,fromLayer:c,target:o,edgeKind:f,message:`${c} must not use module "${o}" because it is the import form of forbidden global "${b}".`},{layer:c,name:b,specifier:o,importKind:f})};return{MemberExpression(i){if(i.parent?.type==="MemberExpression"&&i.parent.object===i)return;let o=ge(i);if(!o||O(e,o.root,o.segments[0]))return;let u=o.segments[0]==="globalThis",f=u?o.segments.slice(1):o.segments,b;for(let R=f.length;R>=(u?1:2);R-=1){let C=f.slice(0,R).join(".");if(l.has(C)){b=C;break}}b?m(i,b):!g&&l.has(o.segments[0])&&m(i,o.segments[0])},CallExpression(i){let o=i;if(o.callee?.type==="Identifier"&&o.callee.name==="require"&&o.arguments?.[0]?.type==="Literal"&&!O(e,i,"require")&&p(i,o.arguments[0].value,!1,"require"),g)return;let u=o.callee?.type==="Identifier"?o.callee.name:void 0;u&&l.has(u)&&m(i,u)},ImportDeclaration(i){let o=i,u=(o.specifiers??[]).filter(b=>b.type==="ImportSpecifier"),f=u.length>0&&u.length===(o.specifiers??[]).length&&u.every(b=>b.importKind==="type");p(i,o.source?.value,o.importKind==="type"||f,"import")},ImportExpression(i){let o=i;o.source?.type==="Literal"&&p(i,o.source.value,!1,"dynamic-import")},TSImportEqualsDeclaration(i){let o=i;p(i,o.moduleReference?.expression?.value,o.importKind==="type"||o.isTypeOnly===!0,"require")},ExportNamedDeclaration(i){let o=i;if(!o.source)return;let u=o.specifiers??[],f=u.length>0&&u.every(b=>b.exportKind==="type");p(i,o.source.value,o.exportKind==="type"||f,"export")},ExportAllDeclaration(i){let o=i;p(i,o.source?.value,o.exportKind==="type","export")},NewExpression(i){if(g)return;let o=i.callee?.type==="Identifier"?i.callee.name:void 0;o&&l.has(o)&&m(i,o)},Identifier(i){!g||!i.name||!l.has(i.name)||!qe(e,i)||O(e,i,i.name)||m(i,i.name)}}}},ke={meta:{type:"problem",docs:{description:"Disallow importing modules whose effect capability the layer denies (ark.config.json capabilities.deny / pure \u2014 same wall surface as ark-check). Import dimension only: ambient globals stay with no-forbidden-globals and the CLI/hook symbol path."},messages:{deniedCapability:'{{layer}} denies the {{capability}} capability (ark.config.json); "{{specifier}}" imports it. Define a port and bind the implementation in an adapter layer.'},schema:[]},create(e){let t=E(e),n=P(t),s=n?$(n):null,r=n?d.default.dirname(n):null;if(!s||!r||!t)return{};let a=d.default.isAbsolute(t)?t:d.default.resolve(t),l=d.default.relative(r,a).split(d.default.sep).join("/");if(!q(s,l))return{};let c=s.layers?.find(p=>p.name===A(l,s.layers));if(!c)return{};let g=new Set(ne(c));if(g.size===0)return{};let m=(p,i,o,u)=>{if(o||typeof i!="string"||V(i,c.forbiddenGlobals??[]))return;let f=te(i);!f||!g.has(f)||x(e,p,"deniedCapability",{ruleId:"CAPABILITY_VIOLATION",file:l,fromLayer:c.name,target:i,capability:f,edgeKind:u,message:`${c.name} denies the ${f} capability; found import of "${i}".`},{layer:c.name,capability:f,specifier:i})};return{ImportDeclaration(p){let i=p,o=(i.specifiers??[]).filter(f=>f.type==="ImportSpecifier"),u=o.length>0&&o.length===(i.specifiers??[]).length&&o.every(f=>f.importKind==="type");m(p,i.source?.value,i.importKind==="type"||u,"import")},ImportExpression(p){let i=p;i.source?.type==="Literal"&&m(p,i.source.value,!1,"dynamic-import")},TSImportEqualsDeclaration(p){let i=p;m(p,i.moduleReference?.expression?.value,i.importKind==="type"||i.isTypeOnly===!0,"require")},ExportNamedDeclaration(p){let i=p;if(!i.source)return;let o=i.specifiers??[],u=o.length>0&&o.every(f=>f.exportKind==="type");m(p,i.source.value,i.exportKind==="type"||u,"export")},ExportAllDeclaration(p){let i=p;m(p,i.source?.value,i.exportKind==="type","export")},CallExpression(p){let i=p;i.callee?.type==="Identifier"&&i.callee.name==="require"&&i.arguments?.[0]?.type==="Literal"&&!O(e,p,"require")&&m(p,i.arguments[0].value,!1,"require")}}}},Je={"no-domain-infra-imports":be,"no-raw-event-publish":he,"require-publish-source":Ae,"no-forbidden-globals":Ie,"no-denied-capabilities":ke},_={rules:Je};_.configs={recommended:{plugins:{ark:_},rules:{"ark/no-domain-infra-imports":"error","ark/no-raw-event-publish":"error","ark/require-publish-source":"error","ark/no-forbidden-globals":"error","ark/no-denied-capabilities":"error"}}};var Ze=_;0&&(module.exports={findConfigPath,globToRegExp,isEdgeDenied,layerForRelativePath,loadArkConfig,noDeniedCapabilities,noDomainInfraImports,noForbiddenGlobals,noRawEventPublish,patternSpecificity,plugin,requirePublishSource,resolveRelativeImport});
3
+ `)}`),this.name="ArkConfigValidationError",this.source=t,this.issues=n}};function ae(e){return e!==null&&typeof e=="object"&&!Array.isArray(e)}function O(e,t){return/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(t)?`${e}.${t}`:`${e}[${JSON.stringify(t)}]`}function S(e){return e===null?"null":Array.isArray(e)?"array":typeof e}function Fe(e,t){let n="#/$defs/";if(e.startsWith(n))return t.$defs[e.slice(n.length)]}function E(e,t,n,s,r){if(t.$ref){let a=Fe(t.$ref,s);if(!a){r.push({path:n,message:`schema reference ${t.$ref} cannot be resolved`});return}E(e,a,n,s,r);return}if(t.const!==void 0&&!Object.is(e,t.const)){r.push({path:n,message:`must equal ${JSON.stringify(t.const)}`});return}if(t.enum&&!t.enum.some(a=>Object.is(a,e))){r.push({path:n,message:`must be one of ${t.enum.map(String).join(", ")}`});return}if(t.type==="object"){if(!ae(e)){r.push({path:n,message:`must be an object; received ${S(e)}`});return}let a=t.properties??{};for(let l of t.required??[])e[l]===void 0&&r.push({path:O(n,l),message:"is required"});if(t.additionalProperties===!1)for(let l of Object.keys(e))l in a||r.push({path:O(n,l),message:"unknown field"});else if(t.additionalProperties!==void 0&&t.additionalProperties!==!0&&typeof t.additionalProperties=="object"){let l=t.additionalProperties;for(let c of Object.keys(e))c in a||E(e[c],l,O(n,c),s,r)}for(let[l,c]of Object.entries(a))e[l]!==void 0&&E(e[l],c,O(n,l),s,r);return}if(t.type==="array"){if(!Array.isArray(e)){r.push({path:n,message:`must be an array; received ${S(e)}`});return}if(t.minItems!==void 0&&e.length<t.minItems&&r.push({path:n,message:`must contain at least ${t.minItems} item(s)`}),t.uniqueItems){let a=e.map(l=>JSON.stringify(l));new Set(a).size!==a.length&&r.push({path:n,message:"must not contain duplicate items"})}t.items&&e.forEach((a,l)=>E(a,t.items,`${n}[${l}]`,s,r));return}if(t.type==="string"){if(typeof e!="string"){r.push({path:n,message:`must be a string; received ${S(e)}`});return}t.minLength!==void 0&&e.length<t.minLength&&r.push({path:n,message:`must contain at least ${t.minLength} character(s)`});return}if(t.type==="boolean"){typeof e!="boolean"&&r.push({path:n,message:`must be a boolean; received ${S(e)}`});return}if(t.type==="integer"){if(!Number.isInteger(e)){r.push({path:n,message:`must be an integer; received ${S(e)}`});return}t.minimum!==void 0&&e<t.minimum&&r.push({path:n,message:`must be at least ${t.minimum}`})}}function Ke(e){return{...e,$schema:e.$schema===void 0?H:e.$schema,schemaVersion:e.schemaVersion===void 0?"1.1":e.schemaVersion,include:e.include===void 0?["src"]:e.include,layers:e.layers===void 0?[]:e.layers,rules:e.rules===void 0?oe.map(t=>({...t})):e.rules}}function He(){let e=new Set(["1.1"]);for(let t of G)t.from!=="unversioned"&&e.add(t.from),e.add(t.to);return e}function Ge(e,t="ark.config.json"){if(!ae(e))throw new h(t,[{path:"$",message:`must be an object; received ${S(e)}`}]);let n=He(),s=e.schemaVersion===void 0?"unversioned":typeof e.schemaVersion=="string"?e.schemaVersion:null;if(s===null)throw new h(t,[{path:"$.schemaVersion",message:`unsupported version ${JSON.stringify(e.schemaVersion)}; expected 1.1`}]);if(s!=="unversioned"&&!n.has(s))throw new h(t,[{path:"$.schemaVersion",message:`unsupported version ${JSON.stringify(s)}; expected 1.1`}]);let r=s,a={...e},l=0;for(;r!=="1.1"&&l<G.length+1;){l+=1;let g=G.find(m=>m.from===r);if(!g)throw new h(t,[{path:"$.schemaVersion",message:`unsupported version ${JSON.stringify(r)}; expected 1.1`}]);r=g.to,a.schemaVersion=r}if(r!=="1.1")throw new h(t,[{path:"$.schemaVersion",message:`unsupported version ${JSON.stringify(s)}; expected 1.1`}]);let c=s==="unversioned"?"unversioned":s==="1.0"?"1.0":null;return{candidate:Ke(a),migratedFrom:c}}function Be(e,t="ark.config.json"){let{candidate:n,migratedFrom:s}=Ge(e,t),r=[];if(E(n,ie,"$",ie,r),r.length>0)throw new h(t,r);return{config:n,migratedFrom:s}}function le(e,t="ark.config.json"){let n;try{n=JSON.parse(e)}catch(s){throw new h(t,[{path:"$",message:`invalid JSON: ${s instanceof Error?s.message:String(s)}`}])}return Be(n,t)}function y(e){return typeof e=="string"&&e.length>0?e:void 0}function ce(e,t){return Number.isInteger(e)&&Number(e)>0?Number(e):t}function Ue(e,t,n){if(e==="LAYER_IMPORT_VIOLATION")return t.typeOnly||n.targetTypeOnlyExports===!0||n.namedBindingsTypeOnly===!0?"Move the referenced type to a mutually allowed layer, use `import type`, then preflight again.":n.peerIsolation===!0?"Extract the shared dependency to a shared layer, then preflight again.":`Define a port in ${t.fromLayer??"the source layer"}, inject the ${t.toLayer??"outer-layer"} implementation, then preflight again.`;if(e==="FORBIDDEN_GLOBAL")return`Inject ${t.target??"the capability"} through a port, then preflight again.`;if(e==="CAPABILITY_VIOLATION")return`Define a ${y(n.capability)??"capability"} port in ${t.fromLayer??"the walled layer"}, bind the implementation outside it, then preflight again.`;if(e==="CIRCULAR_DEPENDENCY")return"Extract the shared dependency into a third module, then preflight again.";if(e==="RAW_EVENT_PUBLISH")return"Publish through a registered intent creator, then run Ark again.";if(e==="PUBLISH_MISSING_SOURCE")return"Add metadata.source to the publish call, then run Ark again.";if(e==="ARKRULE_STRUCTURE"||e==="ARKRULE_INVARIANT"||e==="INVARIANT_UNCOVERED"||e.startsWith("ARKRULE_")){let s=t.arkruleSource??"arkrules/<Layer>.json";return`Fix the structure or invariant for ${t.arkruleId??"the ArkRule"} (declared in ${s}), then preflight again. Do not demote the rule without a hash-bound policy acknowledgement.`}return`Resolve ${e} without weakening ark.config.json, then run Ark again.`}function de(e,t="error"){let n=y(e.ruleId)??y(e.code)??"ARK_UNKNOWN",s=e.severity==="warning"?"warning":t,r={...y(e.target)?{target:y(e.target)}:{},...y(e.fromLayer)?{fromLayer:y(e.fromLayer)}:{},...y(e.toLayer)?{toLayer:y(e.toLayer)}:{},...typeof e.typeOnly=="boolean"?{typeOnly:e.typeOnly}:{},...typeof e.targetTypeOnlyExports=="boolean"?{targetTypeOnlyExports:e.targetTypeOnlyExports}:{},...typeof e.sourcePureTypeModule=="boolean"?{sourcePureTypeModule:e.sourcePureTypeModule}:{},...typeof e.namedBindingsTypeOnly=="boolean"?{namedBindingsTypeOnly:e.namedBindingsTypeOnly}:{},...typeof e.portProofEligible=="boolean"?{portProofEligible:e.portProofEligible}:{},...typeof e.peerIsolation=="boolean"?{peerIsolation:e.peerIsolation}:{},...y(e.capability)?{capability:y(e.capability)}:{},...y(e.edgeKind)?{edgeKind:y(e.edgeKind)}:{},...y(e.arkruleId)?{arkruleId:y(e.arkruleId)}:{},...y(e.arkruleSource)?{arkruleSource:y(e.arkruleSource)}:{}};return{ruleId:n,severity:s,message:y(e.message)??n,location:{file:y(e.file)??"<unknown>",line:ce(e.line,1),column:ce(e.column,1)},evidence:r,nextAction:y(e.nextAction)??Ue(n,r,e)}}var pe={RAW_EVENT_PUBLISH:"Publish through a registered intent creator; raw event objects or intent strings bypass Ark contracts and tooling.",PUBLISH_MISSING_SOURCE:"Strict Ark publish calls must include metadata.source."},at=Object.freeze([{layer:"DomainModel",prefixes:["Domain."]},{layer:"ApplicationOrchestration",prefixes:["Application."]},{layer:"PersistenceAdapters",prefixes:["Adapter.Persistence.","Adapter.Repository."]},{layer:"IntegrationAdapters",prefixes:["Adapter.Integration.","Adapter.External."]},{layer:"WorkflowSagaEngine",prefixes:["Workflow."]},{layer:"BackgroundJobsScheduling",prefixes:["Job."]},{layer:"PresentationAdapters",prefixes:["Presentation.","Adapter.Presentation.","Adapter.Api."]},{layer:"ReportingReadModels",prefixes:["Reporting."]},{layer:"ExtensibilityMetadata",prefixes:["Metadata."]},{layer:"SecurityAuditObservability",prefixes:["Security.","Audit.","Observability."]},{layer:"Kernel",prefixes:["Kernel."]}]);function qe(e){return/^(Domain|Application|Adapter|Workflow|Job|Presentation|Reporting|Metadata|Security|Audit|Observability|Kernel)\.[A-Za-z0-9_.]+$/.test(e)}function B(e){if(!e.publishCall)return[];let t=[];return(e.rawIntentName!==void 0&&qe(e.rawIntentName)||e.objectHasIntent)&&t.push({ruleId:"RAW_EVENT_PUBLISH",message:pe.RAW_EVENT_PUBLISH}),e.arkPublishCandidate&&!e.hasSource&&t.push({ruleId:"PUBLISH_MISSING_SOURCE",message:pe.PUBLISH_MISSING_SOURCE}),t}function C(e){if(typeof e.physicalFilename=="string"&&e.physicalFilename.length>0)return e.physicalFilename;if(typeof e.filename=="string"&&e.filename.length>0)return e.filename;if(typeof e.getFilename=="function")try{let t=e.getFilename();if(typeof t=="string"&&t.length>0)return t}catch{}return""}function R(e,t,n,s,r){let a=de({...s,line:s.line??t.loc?.start?.line,column:s.column??(typeof t.loc?.start?.column=="number"?t.loc.start.column+1:void 0)});return e.report({node:t,messageId:n,...r?{data:r}:{},diagnostic:a}),a}function $(e){if(!e||e==="<input>"||e.startsWith("stdin"))return null;let t=p.default.dirname(p.default.resolve(e));for(;;){let n=p.default.join(t,"ark.config.json");if(I.default.existsSync(n))return n;let s=p.default.dirname(t);if(s===t)return null;t=s}}var ue=new Map;function T(e){if(!I.default.existsSync(e))return null;let t=I.default.readFileSync(e,"utf8"),n=ue.get(e);if(n?.source===t)return n.config;let s=le(t,e).config;return ue.set(e,{source:t,config:s}),s}function q(e,t){return(e.include??[]).some(s=>{let r=String(s).replace(/\\/g,"/").replace(/^\.\//,"").replace(/\/$/,"");return r==="."||t===r||t.startsWith(`${r}/`)})&&!ee(t,e)}function fe(e,t){if(!t.startsWith("."))return null;let n=p.default.resolve(p.default.dirname(e),t),s=[n,`${n}.ts`,`${n}.tsx`,`${n}.mts`,`${n}.cts`,`${n}.js`,`${n}.jsx`,p.default.join(n,"index.ts"),p.default.join(n,"index.tsx"),p.default.join(n,"index.js")];for(let r of s)try{if(I.default.existsSync(r)&&I.default.statSync(r).isFile())return r}catch{}return null}function j(e){return typeof e?.value=="string"?e.value:void 0}function W(e){return e?.name??j(e)}function Y(e){return e.sourceCode??e.getSourceCode?.()}function ge(e,t){let n=Y(e)?.getScope?.(t);for(;n;){let s=n.references?.find(r=>r.identifier===t);if(s)return s;n=n.upper??void 0}}function _(e,t,n){let s=ge(e,t);if(s?.resolved)return(s.resolved.defs?.length??0)>0;let r=Y(e)?.getScope?.(t);for(;r;){let a=r.set?.get(n);if(a)return(a.defs?.length??0)>0;r=r.upper??void 0}return!1}function We(e,t){let n=ge(e,t);return n?n.isValueReference!==!1:t.parent?.type==="VariableDeclarator"&&t.parent.init===t}function me(e){if(e?.type==="Identifier"&&e.name)return{root:e,segments:[e.name]};if(!e||!(e.type==="MemberExpression"||!!(e.object&&e.property))||e.computed===!0)return;let n=me(e.object),s=W(e.property);if(!(!n||!s))return{root:n.root,segments:[...n.segments,s]}}function Ye(e){return W(e.callee?.property)}function ye(e,t){return e?.properties?.find(n=>W(n.key)===t)}function v(e,t){return ye(e,t)!==void 0}function ze(e){let t=ye(e,"metadata")?.value;return v(t,"source")}function be(e){return Ye(e)==="publish"}function U(e){if(e.importKind==="type"||e.exportKind==="type")return!0;let t=e.specifiers??[];return t.length===0?!1:t.every(n=>n.type==="ImportSpecifier")?t.every(n=>n.importKind==="type"):t.every(n=>n.exportKind==="type")}function Je(e){let t=e;for(;t?.parent;)t=t.parent;return t?.type==="Program"?t:void 0}function Ze(e){let t=Je(e)?.body;if(!t)return!1;let n=!1;for(let s of t){if(s.type==="ImportDeclaration"){if(!U(s))return!1;continue}if(!(s.type==="TSInterfaceDeclaration"||s.type==="TSTypeAliasDeclaration")){if(s.type==="ExportNamedDeclaration"){if(s.declaration){if(s.declaration.type!=="TSInterfaceDeclaration"&&s.declaration.type!=="TSTypeAliasDeclaration")return!1}else if(!U(s))return!1;n=!0;continue}return!1}}return n}var he={meta:{type:"problem",docs:{description:"Disallow imports that violate ark.config.json layer rules (same contract as arkgate-check)."},messages:{forbiddenImport:"Architecture: {{fromLayer}} must not import {{toLayer}} (ark.config.json). Specifier: {{specifier}}",forbiddenImportHeuristic:"Domain code must not import infrastructure, adapters, repositories, or database modules."},schema:[]},create(e){let t=C(e),n=$(t),s=n?T(n):null,r=n?p.default.dirname(n):null,a=l=>{let c=j(l.source);if(c&&s&&r&&t){let g=p.default.isAbsolute(t)?t:p.default.resolve(t),m=p.default.relative(r,g).split(p.default.sep).join("/");if(!q(s,m))return;let d=k(m,s.layers);if(!d)return;let i=fe(g,c);if(!i)return;let o=p.default.relative(r,i).split(p.default.sep).join("/");if(o.startsWith(".."))return;let u=k(o,s.layers);if(!u)return;if(V(s.rules,d,u,{fromPath:m,toPath:o,layers:s.layers})){let f=l.type?.startsWith("Export")?"export":"import";R(e,l,"forbiddenImport",{ruleId:"LAYER_IMPORT_VIOLATION",file:m,fromLayer:d,toLayer:u,target:o,edgeKind:f,...U(l)?{typeOnly:!0}:{},...Ze(l)?{sourcePureTypeModule:!0}:{},message:`${d} must not ${f} ${u}.`},{fromLayer:d,toLayer:u,specifier:c})}return}};return{ImportDeclaration:a,ExportNamedDeclaration:a,ExportAllDeclaration:a}}},Ae={meta:{type:"problem",docs:{description:"Require event bus publish calls to use registered intent creators instead of raw event objects or intent strings."},messages:{rawPublish:"Publish through a registered intent creator; raw event objects or intent strings bypass Ark contracts."},schema:[]},create(e){return{CallExpression(t){let n=t.arguments?.[0],s=j(n),r=B({publishCall:be(t),rawIntentName:s,objectHasIntent:v(n,"intent"),arkPublishCandidate:!1,hasSource:!0});if(r.some(a=>a.ruleId==="RAW_EVENT_PUBLISH")){let a=r.find(l=>l.ruleId==="RAW_EVENT_PUBLISH");R(e,t,"rawPublish",{...a,file:C(e)})}}}}},ke={meta:{type:"problem",docs:{description:"Require event bus publish calls to include source metadata."},messages:{missingSource:"Strict Ark publish calls must include metadata.source."},schema:[]},create(e){return{CallExpression(t){let n=t.arguments?.[0],s=t.arguments?.[2],a=B({publishCall:be(t),rawIntentName:j(n),objectHasIntent:v(n,"intent"),arkPublishCandidate:!0,hasSource:ze(n)||v(s,"source")}).find(l=>l.ruleId==="PUBLISH_MISSING_SOURCE");a&&R(e,t,"missingSource",{...a,file:C(e)})}}}},Se={meta:{type:"problem",docs:{description:"Disallow ambient globals from the layer\u2019s forbiddenGlobals in ark.config.json (same purity surface as ark-check). Option `globals` is a standalone fallback when no project config applies."},messages:{forbiddenGlobal:'Ambient global "{{name}}" is forbidden in {{layer}} (ark.config.json); inject the capability through a port instead.',forbiddenGlobalDefault:'Ambient global "{{name}}" is forbidden here; inject the capability through a port instead.',forbiddenModule:'{{layer}} must not use module "{{specifier}}" because it is the import form of forbidden global "{{name}}".'},schema:[{type:"object",properties:{globals:{type:"array",items:{type:"string"}}},additionalProperties:!1}]},create(e){let t=C(e),n=e.options?.[0],s=$(t),r=s?T(s):null,a=s?p.default.dirname(s):null,l=null,c="this layer";if(r&&a&&t){let i=p.default.isAbsolute(t)?t:p.default.resolve(t),o=p.default.relative(a,i).split(p.default.sep).join("/");if(!q(r,o))return{};let u=r.layers?.find(f=>f.name===k(o,r.layers));u?.forbiddenGlobals?.length?(l=new Set(u.forbiddenGlobals),c=u.name):l=null}else n?.globals&&(l=new Set(n.globals));if(!l)return{};let g=typeof Y(e)?.getScope=="function",m=(i,o)=>{let u=p.default.isAbsolute(t)?t:p.default.resolve(t),f=a?p.default.relative(a,u).split(p.default.sep).join("/"):t;R(e,i,r?"forbiddenGlobal":"forbiddenGlobalDefault",{ruleId:"FORBIDDEN_GLOBAL",file:f,fromLayer:c,target:o,message:`${c} must not use the ambient global "${o}".`},{name:o,layer:c})},d=(i,o,u,f)=>{if(u||typeof o!="string")return;let b=K(o,l);if(!b)return;let x=p.default.isAbsolute(t)?t:p.default.resolve(t),N=a?p.default.relative(a,x).split(p.default.sep).join("/"):t;R(e,i,"forbiddenModule",{ruleId:"FORBIDDEN_GLOBAL",file:N,fromLayer:c,target:o,edgeKind:f,message:`${c} must not use module "${o}" because it is the import form of forbidden global "${b}".`},{layer:c,name:b,specifier:o,importKind:f})};return{MemberExpression(i){if(i.parent?.type==="MemberExpression"&&i.parent.object===i)return;let o=me(i);if(!o||_(e,o.root,o.segments[0]))return;let u=o.segments[0]==="globalThis",f=u?o.segments.slice(1):o.segments,b;for(let x=f.length;x>=(u?1:2);x-=1){let N=f.slice(0,x).join(".");if(l.has(N)){b=N;break}}b?m(i,b):!g&&l.has(o.segments[0])&&m(i,o.segments[0])},CallExpression(i){let o=i;if(o.callee?.type==="Identifier"&&o.callee.name==="require"&&o.arguments?.[0]?.type==="Literal"&&!_(e,i,"require")&&d(i,o.arguments[0].value,!1,"require"),g)return;let u=o.callee?.type==="Identifier"?o.callee.name:void 0;u&&l.has(u)&&m(i,u)},ImportDeclaration(i){let o=i,u=(o.specifiers??[]).filter(b=>b.type==="ImportSpecifier"),f=u.length>0&&u.length===(o.specifiers??[]).length&&u.every(b=>b.importKind==="type");d(i,o.source?.value,o.importKind==="type"||f,"import")},ImportExpression(i){let o=i;o.source?.type==="Literal"&&d(i,o.source.value,!1,"dynamic-import")},TSImportEqualsDeclaration(i){let o=i;d(i,o.moduleReference?.expression?.value,o.importKind==="type"||o.isTypeOnly===!0,"require")},ExportNamedDeclaration(i){let o=i;if(!o.source)return;let u=o.specifiers??[],f=u.length>0&&u.every(b=>b.exportKind==="type");d(i,o.source.value,o.exportKind==="type"||f,"export")},ExportAllDeclaration(i){let o=i;d(i,o.source?.value,o.exportKind==="type","export")},NewExpression(i){if(g)return;let o=i.callee?.type==="Identifier"?i.callee.name:void 0;o&&l.has(o)&&m(i,o)},Identifier(i){!g||!i.name||!l.has(i.name)||!We(e,i)||_(e,i,i.name)||m(i,i.name)}}}},Ie={meta:{type:"problem",docs:{description:"Disallow importing modules whose effect capability the layer denies (ark.config.json capabilities.deny / pure \u2014 same wall surface as ark-check). Import dimension only: ambient globals stay with no-forbidden-globals and the CLI/hook symbol path."},messages:{deniedCapability:'{{layer}} denies the {{capability}} capability (ark.config.json); "{{specifier}}" imports it. Define a port and bind the implementation in an adapter layer.'},schema:[]},create(e){let t=C(e),n=$(t),s=n?T(n):null,r=n?p.default.dirname(n):null;if(!s||!r||!t)return{};let a=p.default.isAbsolute(t)?t:p.default.resolve(t),l=p.default.relative(r,a).split(p.default.sep).join("/");if(!q(s,l))return{};let c=s.layers?.find(d=>d.name===k(l,s.layers));if(!c)return{};let g=new Set(re(c));if(g.size===0)return{};let m=(d,i,o,u)=>{if(o||typeof i!="string"||K(i,c.forbiddenGlobals??[]))return;let f=ne(i);!f||!g.has(f)||R(e,d,"deniedCapability",{ruleId:"CAPABILITY_VIOLATION",file:l,fromLayer:c.name,target:i,capability:f,edgeKind:u,message:`${c.name} denies the ${f} capability; found import of "${i}".`},{layer:c.name,capability:f,specifier:i})};return{ImportDeclaration(d){let i=d,o=(i.specifiers??[]).filter(f=>f.type==="ImportSpecifier"),u=o.length>0&&o.length===(i.specifiers??[]).length&&o.every(f=>f.importKind==="type");m(d,i.source?.value,i.importKind==="type"||u,"import")},ImportExpression(d){let i=d;i.source?.type==="Literal"&&m(d,i.source.value,!1,"dynamic-import")},TSImportEqualsDeclaration(d){let i=d;m(d,i.moduleReference?.expression?.value,i.importKind==="type"||i.isTypeOnly===!0,"require")},ExportNamedDeclaration(d){let i=d;if(!i.source)return;let o=i.specifiers??[],u=o.length>0&&o.every(f=>f.exportKind==="type");m(d,i.source.value,i.exportKind==="type"||u,"export")},ExportAllDeclaration(d){let i=d;m(d,i.source?.value,i.exportKind==="type","export")},CallExpression(d){let i=d;i.callee?.type==="Identifier"&&i.callee.name==="require"&&i.arguments?.[0]?.type==="Literal"&&!_(e,d,"require")&&m(d,i.arguments[0].value,!1,"require")}}}},Xe={"no-domain-infra-imports":he,"no-raw-event-publish":Ae,"require-publish-source":ke,"no-forbidden-globals":Se,"no-denied-capabilities":Ie},P={rules:Xe};P.configs={recommended:{plugins:{ark:P},rules:{"ark/no-domain-infra-imports":"error","ark/no-raw-event-publish":"error","ark/require-publish-source":"error","ark/no-forbidden-globals":"error","ark/no-denied-capabilities":"error"}}};var Qe=P;0&&(module.exports={findConfigPath,globToRegExp,isEdgeDenied,layerForRelativePath,loadArkConfig,noDeniedCapabilities,noDomainInfraImports,noForbiddenGlobals,noRawEventPublish,patternSpecificity,plugin,requirePublishSource,resolveRelativeImport});