@ontrails/warden 1.0.0-beta.13 → 1.0.0-beta.15

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 (474) hide show
  1. package/.turbo/turbo-lint.log +1 -1
  2. package/CHANGELOG.md +30 -0
  3. package/README.md +31 -20
  4. package/dist/cli.d.ts +19 -2
  5. package/dist/cli.d.ts.map +1 -1
  6. package/dist/cli.js +261 -64
  7. package/dist/cli.js.map +1 -1
  8. package/dist/draft.d.ts +5 -0
  9. package/dist/draft.d.ts.map +1 -0
  10. package/dist/draft.js +16 -0
  11. package/dist/draft.js.map +1 -0
  12. package/dist/drift.d.ts +10 -7
  13. package/dist/drift.d.ts.map +1 -1
  14. package/dist/drift.js +50 -16
  15. package/dist/drift.js.map +1 -1
  16. package/dist/formatters.d.ts +2 -1
  17. package/dist/formatters.d.ts.map +1 -1
  18. package/dist/formatters.js +15 -4
  19. package/dist/formatters.js.map +1 -1
  20. package/dist/index.d.ts +9 -17
  21. package/dist/index.d.ts.map +1 -1
  22. package/dist/index.js +10 -17
  23. package/dist/index.js.map +1 -1
  24. package/dist/rules/ast.d.ts +412 -7
  25. package/dist/rules/ast.d.ts.map +1 -1
  26. package/dist/rules/ast.js +1847 -102
  27. package/dist/rules/ast.js.map +1 -1
  28. package/dist/rules/circular-refs.d.ts +6 -0
  29. package/dist/rules/circular-refs.d.ts.map +1 -0
  30. package/dist/rules/circular-refs.js +83 -0
  31. package/dist/rules/circular-refs.js.map +1 -0
  32. package/dist/rules/context-no-surface-types.d.ts.map +1 -1
  33. package/dist/rules/context-no-surface-types.js +59 -3
  34. package/dist/rules/context-no-surface-types.js.map +1 -1
  35. package/dist/rules/contour-exists.d.ts +7 -0
  36. package/dist/rules/contour-exists.d.ts.map +1 -0
  37. package/dist/rules/contour-exists.js +113 -0
  38. package/dist/rules/contour-exists.js.map +1 -0
  39. package/dist/rules/contour-ids.d.ts +10 -0
  40. package/dist/rules/contour-ids.d.ts.map +1 -0
  41. package/dist/rules/contour-ids.js +12 -0
  42. package/dist/rules/contour-ids.js.map +1 -0
  43. package/dist/rules/cross-declarations.d.ts.map +1 -1
  44. package/dist/rules/cross-declarations.js +171 -57
  45. package/dist/rules/cross-declarations.js.map +1 -1
  46. package/dist/rules/dead-internal-trail.d.ts +3 -0
  47. package/dist/rules/dead-internal-trail.d.ts.map +1 -0
  48. package/dist/rules/dead-internal-trail.js +80 -0
  49. package/dist/rules/dead-internal-trail.js.map +1 -0
  50. package/dist/rules/draft-file-marking.d.ts +6 -0
  51. package/dist/rules/draft-file-marking.d.ts.map +1 -0
  52. package/dist/rules/draft-file-marking.js +87 -0
  53. package/dist/rules/draft-file-marking.js.map +1 -0
  54. package/dist/rules/draft-visible-debt.d.ts +12 -0
  55. package/dist/rules/draft-visible-debt.d.ts.map +1 -0
  56. package/dist/rules/draft-visible-debt.js +50 -0
  57. package/dist/rules/draft-visible-debt.js.map +1 -0
  58. package/dist/rules/error-mapping-completeness.d.ts +13 -0
  59. package/dist/rules/error-mapping-completeness.d.ts.map +1 -0
  60. package/dist/rules/error-mapping-completeness.js +160 -0
  61. package/dist/rules/error-mapping-completeness.js.map +1 -0
  62. package/dist/rules/example-valid.d.ts +6 -0
  63. package/dist/rules/example-valid.d.ts.map +1 -0
  64. package/dist/rules/example-valid.js +203 -0
  65. package/dist/rules/example-valid.js.map +1 -0
  66. package/dist/rules/fires-declarations.d.ts +16 -0
  67. package/dist/rules/fires-declarations.d.ts.map +1 -0
  68. package/dist/rules/fires-declarations.js +444 -0
  69. package/dist/rules/fires-declarations.js.map +1 -0
  70. package/dist/rules/implementation-returns-result.d.ts +9 -0
  71. package/dist/rules/implementation-returns-result.d.ts.map +1 -1
  72. package/dist/rules/implementation-returns-result.js +638 -76
  73. package/dist/rules/implementation-returns-result.js.map +1 -1
  74. package/dist/rules/incomplete-accessor-for-standard-op.d.ts +30 -0
  75. package/dist/rules/incomplete-accessor-for-standard-op.d.ts.map +1 -0
  76. package/dist/rules/incomplete-accessor-for-standard-op.js +226 -0
  77. package/dist/rules/incomplete-accessor-for-standard-op.js.map +1 -0
  78. package/dist/rules/incomplete-crud.d.ts +21 -0
  79. package/dist/rules/incomplete-crud.d.ts.map +1 -0
  80. package/dist/rules/incomplete-crud.js +368 -0
  81. package/dist/rules/incomplete-crud.js.map +1 -0
  82. package/dist/rules/index.d.ts +40 -7
  83. package/dist/rules/index.d.ts.map +1 -1
  84. package/dist/rules/index.js +91 -15
  85. package/dist/rules/index.js.map +1 -1
  86. package/dist/rules/intent-propagation.d.ts +3 -0
  87. package/dist/rules/intent-propagation.d.ts.map +1 -0
  88. package/dist/rules/intent-propagation.js +57 -0
  89. package/dist/rules/intent-propagation.js.map +1 -0
  90. package/dist/rules/missing-reconcile.d.ts +3 -0
  91. package/dist/rules/missing-reconcile.d.ts.map +1 -0
  92. package/dist/rules/missing-reconcile.js +44 -0
  93. package/dist/rules/missing-reconcile.js.map +1 -0
  94. package/dist/rules/missing-visibility.d.ts +3 -0
  95. package/dist/rules/missing-visibility.d.ts.map +1 -0
  96. package/dist/rules/missing-visibility.js +63 -0
  97. package/dist/rules/missing-visibility.js.map +1 -0
  98. package/dist/rules/no-direct-impl-in-route.d.ts.map +1 -1
  99. package/dist/rules/no-direct-impl-in-route.js +0 -3
  100. package/dist/rules/no-direct-impl-in-route.js.map +1 -1
  101. package/dist/rules/no-direct-implementation-call.js +1 -1
  102. package/dist/rules/no-direct-implementation-call.js.map +1 -1
  103. package/dist/rules/no-sync-result-assumption.d.ts.map +1 -1
  104. package/dist/rules/no-sync-result-assumption.js +870 -61
  105. package/dist/rules/no-sync-result-assumption.js.map +1 -1
  106. package/dist/rules/no-throw-in-detour-recover.d.ts +3 -0
  107. package/dist/rules/no-throw-in-detour-recover.d.ts.map +1 -0
  108. package/dist/rules/no-throw-in-detour-recover.js +147 -0
  109. package/dist/rules/no-throw-in-detour-recover.js.map +1 -0
  110. package/dist/rules/no-throw-in-detour-target.d.ts +4 -1
  111. package/dist/rules/no-throw-in-detour-target.d.ts.map +1 -1
  112. package/dist/rules/no-throw-in-detour-target.js +6 -3
  113. package/dist/rules/no-throw-in-detour-target.js.map +1 -1
  114. package/dist/rules/no-throw-in-implementation.d.ts +4 -2
  115. package/dist/rules/no-throw-in-implementation.d.ts.map +1 -1
  116. package/dist/rules/no-throw-in-implementation.js +6 -4
  117. package/dist/rules/no-throw-in-implementation.js.map +1 -1
  118. package/dist/rules/on-references-exist.d.ts +14 -0
  119. package/dist/rules/on-references-exist.d.ts.map +1 -0
  120. package/dist/rules/on-references-exist.js +109 -0
  121. package/dist/rules/on-references-exist.js.map +1 -0
  122. package/dist/rules/orphaned-signal.d.ts +3 -0
  123. package/dist/rules/orphaned-signal.d.ts.map +1 -0
  124. package/dist/rules/orphaned-signal.js +67 -0
  125. package/dist/rules/orphaned-signal.js.map +1 -0
  126. package/dist/rules/permit-governance.d.ts +3 -0
  127. package/dist/rules/permit-governance.d.ts.map +1 -0
  128. package/dist/rules/permit-governance.js +15 -0
  129. package/dist/rules/permit-governance.js.map +1 -0
  130. package/dist/rules/reference-exists.d.ts +6 -0
  131. package/dist/rules/reference-exists.d.ts.map +1 -0
  132. package/dist/rules/reference-exists.js +47 -0
  133. package/dist/rules/reference-exists.js.map +1 -0
  134. package/dist/rules/registry-names.d.ts +8 -0
  135. package/dist/rules/registry-names.d.ts.map +1 -0
  136. package/dist/rules/registry-names.js +83 -0
  137. package/dist/rules/registry-names.js.map +1 -0
  138. package/dist/rules/resource-declarations.d.ts +14 -0
  139. package/dist/rules/resource-declarations.d.ts.map +1 -0
  140. package/dist/rules/resource-declarations.js +413 -0
  141. package/dist/rules/resource-declarations.js.map +1 -0
  142. package/dist/rules/resource-exists.d.ts +6 -0
  143. package/dist/rules/resource-exists.d.ts.map +1 -0
  144. package/dist/rules/resource-exists.js +90 -0
  145. package/dist/rules/resource-exists.js.map +1 -0
  146. package/dist/rules/resource-id-grammar.d.ts +3 -0
  147. package/dist/rules/resource-id-grammar.d.ts.map +1 -0
  148. package/dist/rules/resource-id-grammar.js +39 -0
  149. package/dist/rules/resource-id-grammar.js.map +1 -0
  150. package/dist/rules/specs.d.ts.map +1 -1
  151. package/dist/rules/specs.js +5 -1
  152. package/dist/rules/specs.js.map +1 -1
  153. package/dist/rules/types.d.ts +53 -4
  154. package/dist/rules/types.d.ts.map +1 -1
  155. package/dist/rules/unreachable-detour-shadowing.d.ts +3 -0
  156. package/dist/rules/unreachable-detour-shadowing.d.ts.map +1 -0
  157. package/dist/rules/unreachable-detour-shadowing.js +202 -0
  158. package/dist/rules/unreachable-detour-shadowing.js.map +1 -0
  159. package/dist/rules/valid-describe-refs.d.ts.map +1 -1
  160. package/dist/rules/valid-describe-refs.js +132 -16
  161. package/dist/rules/valid-describe-refs.js.map +1 -1
  162. package/dist/rules/valid-detour-contract.d.ts +3 -0
  163. package/dist/rules/valid-detour-contract.d.ts.map +1 -0
  164. package/dist/rules/valid-detour-contract.js +47 -0
  165. package/dist/rules/valid-detour-contract.js.map +1 -0
  166. package/dist/rules/valid-detour-refs.d.ts.map +1 -1
  167. package/dist/rules/valid-detour-refs.js +73 -82
  168. package/dist/rules/valid-detour-refs.js.map +1 -1
  169. package/dist/rules/warden-export-symmetry.d.ts +7 -0
  170. package/dist/rules/warden-export-symmetry.d.ts.map +1 -0
  171. package/dist/rules/warden-export-symmetry.js +352 -0
  172. package/dist/rules/warden-export-symmetry.js.map +1 -0
  173. package/dist/rules/warden-rules-use-ast.d.ts +17 -0
  174. package/dist/rules/warden-rules-use-ast.d.ts.map +1 -0
  175. package/dist/rules/warden-rules-use-ast.js +778 -0
  176. package/dist/rules/warden-rules-use-ast.js.map +1 -0
  177. package/dist/trails/circular-refs.trail.d.ts +24 -0
  178. package/dist/trails/circular-refs.trail.d.ts.map +1 -0
  179. package/dist/trails/circular-refs.trail.js +29 -0
  180. package/dist/trails/circular-refs.trail.js.map +1 -0
  181. package/dist/trails/context-no-surface-types.trail.d.ts +2 -2
  182. package/dist/trails/context-no-surface-types.trail.d.ts.map +1 -1
  183. package/dist/trails/context-no-trailhead-types.trail.d.ts +2 -2
  184. package/dist/trails/context-no-trailhead-types.trail.d.ts.map +1 -1
  185. package/dist/trails/contour-exists.trail.d.ts +24 -0
  186. package/dist/trails/contour-exists.trail.d.ts.map +1 -0
  187. package/dist/trails/contour-exists.trail.js +21 -0
  188. package/dist/trails/contour-exists.trail.js.map +1 -0
  189. package/dist/trails/cross-declarations.trail.d.ts +2 -2
  190. package/dist/trails/cross-declarations.trail.d.ts.map +1 -1
  191. package/dist/trails/dead-internal-trail.trail.d.ts +24 -0
  192. package/dist/trails/dead-internal-trail.trail.d.ts.map +1 -0
  193. package/dist/trails/dead-internal-trail.trail.js +26 -0
  194. package/dist/trails/dead-internal-trail.trail.js.map +1 -0
  195. package/dist/trails/{provision-declarations.trail.d.ts → draft-file-marking.trail.d.ts} +3 -3
  196. package/dist/trails/draft-file-marking.trail.d.ts.map +1 -0
  197. package/dist/trails/draft-file-marking.trail.js +16 -0
  198. package/dist/trails/draft-file-marking.trail.js.map +1 -0
  199. package/dist/trails/draft-visible-debt.trail.d.ts +13 -0
  200. package/dist/trails/draft-visible-debt.trail.d.ts.map +1 -0
  201. package/dist/trails/draft-visible-debt.trail.js +16 -0
  202. package/dist/trails/draft-visible-debt.trail.js.map +1 -0
  203. package/dist/trails/error-mapping-completeness.trail.d.ts +13 -0
  204. package/dist/trails/error-mapping-completeness.trail.d.ts.map +1 -0
  205. package/dist/trails/error-mapping-completeness.trail.js +29 -0
  206. package/dist/trails/error-mapping-completeness.trail.js.map +1 -0
  207. package/dist/trails/{follow-declarations.trail.d.ts → example-valid.trail.d.ts} +3 -3
  208. package/dist/trails/example-valid.trail.d.ts.map +1 -0
  209. package/dist/trails/example-valid.trail.js +25 -0
  210. package/dist/trails/example-valid.trail.js.map +1 -0
  211. package/dist/trails/fires-declarations.trail.d.ts +13 -0
  212. package/dist/trails/fires-declarations.trail.d.ts.map +1 -0
  213. package/dist/trails/fires-declarations.trail.js +22 -0
  214. package/dist/trails/fires-declarations.trail.js.map +1 -0
  215. package/dist/trails/implementation-returns-result.trail.d.ts +2 -2
  216. package/dist/trails/implementation-returns-result.trail.d.ts.map +1 -1
  217. package/dist/trails/incomplete-accessor-for-standard-op.trail.d.ts +12 -0
  218. package/dist/trails/incomplete-accessor-for-standard-op.trail.d.ts.map +1 -0
  219. package/dist/trails/incomplete-accessor-for-standard-op.trail.js +60 -0
  220. package/dist/trails/incomplete-accessor-for-standard-op.trail.js.map +1 -0
  221. package/dist/trails/incomplete-crud.trail.d.ts +24 -0
  222. package/dist/trails/incomplete-crud.trail.d.ts.map +1 -0
  223. package/dist/trails/incomplete-crud.trail.js +39 -0
  224. package/dist/trails/incomplete-crud.trail.js.map +1 -0
  225. package/dist/trails/index.d.ts +29 -7
  226. package/dist/trails/index.d.ts.map +1 -1
  227. package/dist/trails/index.js +28 -6
  228. package/dist/trails/index.js.map +1 -1
  229. package/dist/trails/intent-propagation.trail.d.ts +24 -0
  230. package/dist/trails/intent-propagation.trail.d.ts.map +1 -0
  231. package/dist/trails/intent-propagation.trail.js +30 -0
  232. package/dist/trails/intent-propagation.trail.js.map +1 -0
  233. package/dist/trails/missing-reconcile.trail.d.ts +24 -0
  234. package/dist/trails/missing-reconcile.trail.d.ts.map +1 -0
  235. package/dist/trails/missing-reconcile.trail.js +33 -0
  236. package/dist/trails/missing-reconcile.trail.js.map +1 -0
  237. package/dist/trails/missing-visibility.trail.d.ts +24 -0
  238. package/dist/trails/missing-visibility.trail.d.ts.map +1 -0
  239. package/dist/trails/missing-visibility.trail.js +22 -0
  240. package/dist/trails/missing-visibility.trail.js.map +1 -0
  241. package/dist/trails/no-direct-impl-in-route.trail.d.ts +2 -2
  242. package/dist/trails/no-direct-impl-in-route.trail.d.ts.map +1 -1
  243. package/dist/trails/no-direct-implementation-call.trail.d.ts +2 -2
  244. package/dist/trails/no-direct-implementation-call.trail.d.ts.map +1 -1
  245. package/dist/trails/no-sync-result-assumption.trail.d.ts +2 -2
  246. package/dist/trails/no-sync-result-assumption.trail.d.ts.map +1 -1
  247. package/dist/trails/no-throw-in-detour-recover.trail.d.ts +13 -0
  248. package/dist/trails/no-throw-in-detour-recover.trail.d.ts.map +1 -0
  249. package/dist/trails/no-throw-in-detour-recover.trail.js +24 -0
  250. package/dist/trails/no-throw-in-detour-recover.trail.js.map +1 -0
  251. package/dist/trails/no-throw-in-detour-target.trail.d.ts +13 -3
  252. package/dist/trails/no-throw-in-detour-target.trail.d.ts.map +1 -1
  253. package/dist/trails/no-throw-in-implementation.trail.d.ts +2 -2
  254. package/dist/trails/no-throw-in-implementation.trail.d.ts.map +1 -1
  255. package/dist/trails/on-references-exist.trail.d.ts +24 -0
  256. package/dist/trails/on-references-exist.trail.d.ts.map +1 -0
  257. package/dist/trails/on-references-exist.trail.js +21 -0
  258. package/dist/trails/on-references-exist.trail.js.map +1 -0
  259. package/dist/trails/orphaned-signal.trail.d.ts +24 -0
  260. package/dist/trails/orphaned-signal.trail.d.ts.map +1 -0
  261. package/dist/trails/orphaned-signal.trail.js +36 -0
  262. package/dist/trails/orphaned-signal.trail.js.map +1 -0
  263. package/dist/trails/permit-governance.trail.d.ts +12 -0
  264. package/dist/trails/permit-governance.trail.d.ts.map +1 -0
  265. package/dist/trails/permit-governance.trail.js +47 -0
  266. package/dist/trails/permit-governance.trail.js.map +1 -0
  267. package/dist/trails/prefer-schema-inference.trail.d.ts +2 -2
  268. package/dist/trails/prefer-schema-inference.trail.d.ts.map +1 -1
  269. package/dist/trails/reference-exists.trail.d.ts +24 -0
  270. package/dist/trails/reference-exists.trail.d.ts.map +1 -0
  271. package/dist/trails/reference-exists.trail.js +25 -0
  272. package/dist/trails/reference-exists.trail.js.map +1 -0
  273. package/dist/trails/resource-declarations.trail.d.ts +13 -0
  274. package/dist/trails/resource-declarations.trail.d.ts.map +1 -0
  275. package/dist/trails/{provision-declarations.trail.js → resource-declarations.trail.js} +7 -7
  276. package/dist/trails/resource-declarations.trail.js.map +1 -0
  277. package/dist/trails/resource-exists.trail.d.ts +24 -0
  278. package/dist/trails/resource-exists.trail.d.ts.map +1 -0
  279. package/dist/trails/{provision-exists.trail.js → resource-exists.trail.js} +8 -8
  280. package/dist/trails/resource-exists.trail.js.map +1 -0
  281. package/dist/trails/resource-id-grammar.trail.d.ts +13 -0
  282. package/dist/trails/resource-id-grammar.trail.d.ts.map +1 -0
  283. package/dist/trails/resource-id-grammar.trail.js +38 -0
  284. package/dist/trails/resource-id-grammar.trail.js.map +1 -0
  285. package/dist/trails/run.d.ts +25 -9
  286. package/dist/trails/run.d.ts.map +1 -1
  287. package/dist/trails/run.js +63 -19
  288. package/dist/trails/run.js.map +1 -1
  289. package/dist/trails/schema.d.ts +28 -3
  290. package/dist/trails/schema.d.ts.map +1 -1
  291. package/dist/trails/schema.js +57 -4
  292. package/dist/trails/schema.js.map +1 -1
  293. package/dist/trails/unreachable-detour-shadowing.trail.d.ts +13 -0
  294. package/dist/trails/unreachable-detour-shadowing.trail.d.ts.map +1 -0
  295. package/dist/trails/unreachable-detour-shadowing.trail.js +44 -0
  296. package/dist/trails/unreachable-detour-shadowing.trail.js.map +1 -0
  297. package/dist/trails/valid-describe-refs.trail.d.ts +12 -3
  298. package/dist/trails/valid-describe-refs.trail.d.ts.map +1 -1
  299. package/dist/trails/valid-detour-contract.trail.d.ts +12 -0
  300. package/dist/trails/valid-detour-contract.trail.d.ts.map +1 -0
  301. package/dist/trails/valid-detour-contract.trail.js +66 -0
  302. package/dist/trails/valid-detour-contract.trail.js.map +1 -0
  303. package/dist/trails/valid-detour-refs.trail.d.ts +13 -3
  304. package/dist/trails/valid-detour-refs.trail.d.ts.map +1 -1
  305. package/dist/trails/warden-export-symmetry.trail.d.ts +13 -0
  306. package/dist/trails/warden-export-symmetry.trail.d.ts.map +1 -0
  307. package/dist/trails/warden-export-symmetry.trail.js +16 -0
  308. package/dist/trails/warden-export-symmetry.trail.js.map +1 -0
  309. package/dist/trails/warden-rules-use-ast.trail.d.ts +13 -0
  310. package/dist/trails/warden-rules-use-ast.trail.d.ts.map +1 -0
  311. package/dist/trails/warden-rules-use-ast.trail.js +41 -0
  312. package/dist/trails/warden-rules-use-ast.trail.js.map +1 -0
  313. package/dist/trails/wrap-rule.d.ts +16 -2
  314. package/dist/trails/wrap-rule.d.ts.map +1 -1
  315. package/dist/trails/wrap-rule.js +71 -11
  316. package/dist/trails/wrap-rule.js.map +1 -1
  317. package/package.json +7 -4
  318. package/src/__tests__/ast.test.ts +613 -0
  319. package/src/__tests__/circular-refs.test.ts +121 -0
  320. package/src/__tests__/cli.test.ts +360 -32
  321. package/src/__tests__/contour-exists.test.ts +203 -0
  322. package/src/__tests__/cross-declarations.test.ts +245 -0
  323. package/src/__tests__/dead-internal-trail.test.ts +81 -0
  324. package/src/__tests__/draft-rules-context.test.ts +150 -0
  325. package/src/__tests__/drift.test.ts +75 -5
  326. package/src/__tests__/error-mapping-completeness.test.ts +56 -0
  327. package/src/__tests__/example-valid.test.ts +101 -0
  328. package/src/__tests__/fires-declarations-param-destructure.test.ts +54 -0
  329. package/src/__tests__/fires-declarations.test.ts +652 -0
  330. package/src/__tests__/formatters.test.ts +2 -2
  331. package/src/__tests__/implementation-returns-result.test.ts +1016 -2
  332. package/src/__tests__/incomplete-accessor-for-standard-op.test.ts +337 -0
  333. package/src/__tests__/incomplete-crud.test.ts +498 -0
  334. package/src/__tests__/intent-propagation.test.ts +116 -0
  335. package/src/__tests__/missing-reconcile.test.ts +154 -0
  336. package/src/__tests__/missing-visibility.test.ts +108 -0
  337. package/src/__tests__/no-sync-result-assumption.test.ts +870 -39
  338. package/src/__tests__/no-throw-in-detour-recover.test.ts +93 -0
  339. package/src/__tests__/no-throw-in-implementation.test.ts +88 -0
  340. package/src/__tests__/on-references-exist.test.ts +151 -0
  341. package/src/__tests__/orphaned-signal.test.ts +137 -0
  342. package/src/__tests__/permit-governance.test.ts +66 -0
  343. package/src/__tests__/reference-exists.test.ts +281 -0
  344. package/src/__tests__/resource-declarations.test.ts +448 -0
  345. package/src/__tests__/resource-exists.test.ts +122 -0
  346. package/src/__tests__/resource-id-grammar.test.ts +50 -0
  347. package/src/__tests__/rules.test.ts +17 -77
  348. package/src/__tests__/topo-aware-rule.test.ts +257 -0
  349. package/src/__tests__/trails.test.ts +2 -2
  350. package/src/__tests__/unreachable-detour-shadowing.test.ts +128 -0
  351. package/src/__tests__/valid-describe-refs.test.ts +183 -0
  352. package/src/__tests__/valid-detour-contract.test.ts +86 -0
  353. package/src/__tests__/warden-export-symmetry.test.ts +251 -0
  354. package/src/__tests__/warden-rules-use-ast.test.ts +468 -0
  355. package/src/__tests__/wrap-rule.test.ts +3 -3
  356. package/src/cli.ts +458 -91
  357. package/src/draft.ts +22 -0
  358. package/src/drift.ts +63 -21
  359. package/src/formatters.ts +15 -4
  360. package/src/index.ts +62 -23
  361. package/src/rules/ast.ts +2715 -119
  362. package/src/rules/circular-refs.ts +154 -0
  363. package/src/rules/{context-no-trailhead-types.ts → context-no-surface-types.ts} +72 -12
  364. package/src/rules/contour-exists.ts +251 -0
  365. package/src/rules/contour-ids.ts +15 -0
  366. package/src/rules/cross-declarations.ts +277 -69
  367. package/src/rules/dead-internal-trail.ts +141 -0
  368. package/src/rules/draft-file-marking.ts +160 -0
  369. package/src/rules/draft-visible-debt.ts +87 -0
  370. package/src/rules/error-mapping-completeness.ts +273 -0
  371. package/src/rules/example-valid.ts +401 -0
  372. package/src/rules/fires-declarations.ts +609 -0
  373. package/src/rules/implementation-returns-result.ts +1042 -122
  374. package/src/rules/incomplete-accessor-for-standard-op.ts +315 -0
  375. package/src/rules/incomplete-crud.ts +579 -0
  376. package/src/rules/index.ts +95 -16
  377. package/src/rules/intent-propagation.ts +142 -0
  378. package/src/rules/missing-reconcile.ts +98 -0
  379. package/src/rules/missing-visibility.ts +110 -0
  380. package/src/rules/no-direct-impl-in-route.ts +0 -4
  381. package/src/rules/no-direct-implementation-call.ts +1 -1
  382. package/src/rules/no-sync-result-assumption.ts +1134 -96
  383. package/src/rules/no-throw-in-detour-recover.ts +225 -0
  384. package/src/rules/no-throw-in-implementation.ts +6 -4
  385. package/src/rules/on-references-exist.ts +194 -0
  386. package/src/rules/orphaned-signal.ts +150 -0
  387. package/src/rules/permit-governance.ts +25 -0
  388. package/src/rules/reference-exists.ts +98 -0
  389. package/src/rules/registry-names.ts +83 -0
  390. package/src/rules/{provision-declarations.ts → resource-declarations.ts} +208 -138
  391. package/src/rules/{provision-exists.ts → resource-exists.ts} +48 -51
  392. package/src/rules/resource-id-grammar.ts +65 -0
  393. package/src/rules/specs.ts +5 -1
  394. package/src/rules/types.ts +57 -4
  395. package/src/rules/unreachable-detour-shadowing.ts +375 -0
  396. package/src/rules/valid-describe-refs.ts +160 -32
  397. package/src/rules/valid-detour-contract.ts +78 -0
  398. package/src/rules/warden-export-symmetry.ts +533 -0
  399. package/src/rules/warden-rules-use-ast.ts +996 -0
  400. package/src/trails/circular-refs.trail.ts +29 -0
  401. package/src/trails/{context-no-trailhead-types.trail.ts → context-no-surface-types.trail.ts} +4 -4
  402. package/src/trails/contour-exists.trail.ts +21 -0
  403. package/src/trails/dead-internal-trail.trail.ts +26 -0
  404. package/src/trails/draft-file-marking.trail.ts +16 -0
  405. package/src/trails/draft-visible-debt.trail.ts +16 -0
  406. package/src/trails/error-mapping-completeness.trail.ts +29 -0
  407. package/src/trails/example-valid.trail.ts +25 -0
  408. package/src/trails/fires-declarations.trail.ts +22 -0
  409. package/src/trails/incomplete-accessor-for-standard-op.trail.ts +76 -0
  410. package/src/trails/incomplete-crud.trail.ts +39 -0
  411. package/src/trails/index.ts +40 -7
  412. package/src/trails/intent-propagation.trail.ts +30 -0
  413. package/src/trails/missing-reconcile.trail.ts +33 -0
  414. package/src/trails/missing-visibility.trail.ts +22 -0
  415. package/src/trails/no-throw-in-detour-recover.trail.ts +24 -0
  416. package/src/trails/on-references-exist.trail.ts +21 -0
  417. package/src/trails/orphaned-signal.trail.ts +36 -0
  418. package/src/trails/permit-governance.trail.ts +51 -0
  419. package/src/trails/reference-exists.trail.ts +25 -0
  420. package/src/trails/{provision-declarations.trail.ts → resource-declarations.trail.ts} +6 -6
  421. package/src/trails/{provision-exists.trail.ts → resource-exists.trail.ts} +7 -7
  422. package/src/trails/resource-id-grammar.trail.ts +39 -0
  423. package/src/trails/run.ts +121 -24
  424. package/src/trails/schema.ts +66 -4
  425. package/src/trails/unreachable-detour-shadowing.trail.ts +45 -0
  426. package/src/trails/valid-detour-contract.trail.ts +71 -0
  427. package/src/trails/warden-export-symmetry.trail.ts +16 -0
  428. package/src/trails/warden-rules-use-ast.trail.ts +45 -0
  429. package/src/trails/wrap-rule.ts +104 -12
  430. package/tsconfig.tests.json +10 -0
  431. package/tsconfig.tsbuildinfo +1 -1
  432. package/dist/rules/follow-declarations.d.ts +0 -13
  433. package/dist/rules/follow-declarations.d.ts.map +0 -1
  434. package/dist/rules/follow-declarations.js +0 -264
  435. package/dist/rules/follow-declarations.js.map +0 -1
  436. package/dist/rules/provision-declarations.d.ts +0 -14
  437. package/dist/rules/provision-declarations.d.ts.map +0 -1
  438. package/dist/rules/provision-declarations.js +0 -344
  439. package/dist/rules/provision-declarations.js.map +0 -1
  440. package/dist/rules/provision-exists.d.ts +0 -6
  441. package/dist/rules/provision-exists.d.ts.map +0 -1
  442. package/dist/rules/provision-exists.js +0 -89
  443. package/dist/rules/provision-exists.js.map +0 -1
  444. package/dist/rules/service-declarations.d.ts +0 -16
  445. package/dist/rules/service-declarations.d.ts.map +0 -1
  446. package/dist/rules/service-declarations.js +0 -346
  447. package/dist/rules/service-declarations.js.map +0 -1
  448. package/dist/rules/service-exists.d.ts +0 -8
  449. package/dist/rules/service-exists.d.ts.map +0 -1
  450. package/dist/rules/service-exists.js +0 -91
  451. package/dist/rules/service-exists.js.map +0 -1
  452. package/dist/trails/follow-declarations.trail.d.ts.map +0 -1
  453. package/dist/trails/follow-declarations.trail.js +0 -22
  454. package/dist/trails/follow-declarations.trail.js.map +0 -1
  455. package/dist/trails/provision-declarations.trail.d.ts.map +0 -1
  456. package/dist/trails/provision-declarations.trail.js.map +0 -1
  457. package/dist/trails/provision-exists.trail.d.ts +0 -15
  458. package/dist/trails/provision-exists.trail.d.ts.map +0 -1
  459. package/dist/trails/provision-exists.trail.js.map +0 -1
  460. package/dist/trails/service-declarations.trail.d.ts +0 -26
  461. package/dist/trails/service-declarations.trail.d.ts.map +0 -1
  462. package/dist/trails/service-declarations.trail.js +0 -27
  463. package/dist/trails/service-declarations.trail.js.map +0 -1
  464. package/dist/trails/service-exists.trail.d.ts +0 -32
  465. package/dist/trails/service-exists.trail.d.ts.map +0 -1
  466. package/dist/trails/service-exists.trail.js +0 -29
  467. package/dist/trails/service-exists.trail.js.map +0 -1
  468. package/src/__tests__/no-throw-in-detour-target.test.ts +0 -78
  469. package/src/__tests__/provision-declarations.test.ts +0 -318
  470. package/src/__tests__/provision-exists.test.ts +0 -122
  471. package/src/rules/no-throw-in-detour-target.ts +0 -150
  472. package/src/rules/valid-detour-refs.ts +0 -187
  473. package/src/trails/no-throw-in-detour-target.trail.ts +0 -20
  474. package/src/trails/valid-detour-refs.trail.ts +0 -24
@@ -22,18 +22,71 @@ export const ruleInput = z.object({
22
22
  * Extended input for project-aware warden rule trails.
23
23
  *
24
24
  * Adds `knownTrailIds` so the caller can supply cross-file context and avoid
25
- * false positives for detour targets or `@see` references defined in other
26
- * files.
25
+ * false positives for `@see` references or cross-file contour relationships.
27
26
  */
28
27
  export const projectAwareRuleInput = ruleInput.extend({
29
- knownProvisionIds: z
28
+ contourReferencesByName: z
29
+ .record(z.string(), z.array(z.string()))
30
+ .optional()
31
+ .describe('Declared contour references keyed by source contour name'),
32
+ crossTargetTrailIds: z
33
+ .array(z.string())
34
+ .optional()
35
+ .describe('Trail IDs referenced by crosses arrays across the project'),
36
+ crudCoverageByEntity: z
37
+ .record(z.string(), z.array(z.string()))
38
+ .optional()
39
+ .describe('CRUD operation coverage per entity aggregated across the project'),
40
+ crudTableIds: z
41
+ .array(z.string())
42
+ .optional()
43
+ .describe('Store table IDs used with CRUD factories across the project'),
44
+ knownContourIds: z
45
+ .array(z.string())
46
+ .optional()
47
+ .describe('Contour names known across the project'),
48
+ knownResourceIds: z
49
+ .array(z.string())
50
+ .optional()
51
+ .describe('Resource IDs known across the project'),
52
+ knownSignalIds: z
30
53
  .array(z.string())
31
54
  .optional()
32
- .describe('Provision IDs known across the project'),
55
+ .describe('Signal IDs known across the project'),
33
56
  knownTrailIds: z
34
57
  .array(z.string())
35
58
  .optional()
36
59
  .describe('Trail IDs known across the project'),
60
+ onTargetSignalIds: z
61
+ .array(z.string())
62
+ .optional()
63
+ .describe('Signal IDs referenced by trail on arrays across the project'),
64
+ reconcileTableIds: z
65
+ .array(z.string())
66
+ .optional()
67
+ .describe('Store table IDs used with reconcile trails across the project'),
68
+ trailIntentsById: z
69
+ .record(z.string(), z.enum(['read', 'write', 'destroy']))
70
+ .optional()
71
+ .describe('Normalized trail intents keyed by trail ID'),
72
+ });
73
+ /**
74
+ * Input for topo-aware warden rule trails.
75
+ *
76
+ * The `Topo` graph is not a serializable value, so the schema accepts it
77
+ * as an opaque `z.custom`. Topo-aware rules are invoked from the warden
78
+ * runtime with a live, resolved topo reference — they are not expected
79
+ * to be called across a network boundary.
80
+ */
81
+ export const topoAwareRuleInput = z.object({
82
+ topo: z
83
+ .custom((value) => typeof value === 'object' &&
84
+ value !== null &&
85
+ 'trails' in value &&
86
+ 'resources' in value &&
87
+ 'contours' in value &&
88
+ 'signals' in value, { message: 'Expected a resolved Topo instance' })
89
+ .describe('Resolved topo graph under inspection'),
37
90
  });
38
91
  /** Output returned by every warden rule trail. */
39
92
  export const ruleOutput = z.object({
@@ -1 +1 @@
1
- {"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/trails/schema.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,0DAA0D;AAC1D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,6BAA6B,CAAC;IAC5D,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IAChD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,mCAAmC,CAAC;IACjE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC;IACtC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC;CACpE,CAAC,CAAC;AAEH,iDAAiD;AACjD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC;IAChC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,yBAAyB,CAAC;IACxD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qBAAqB,CAAC;CACvD,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,SAAS,CAAC,MAAM,CAAC;IACpD,iBAAiB,EAAE,CAAC;SACjB,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,wCAAwC,CAAC;IACrD,aAAa,EAAE,CAAC;SACb,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,oCAAoC,CAAC;CAClD,CAAC,CAAC;AAEH,kDAAkD;AAClD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC;CACrE,CAAC,CAAC"}
1
+ {"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/trails/schema.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,0DAA0D;AAC1D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,6BAA6B,CAAC;IAC5D,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IAChD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,mCAAmC,CAAC;IACjE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC;IACtC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC;CACpE,CAAC,CAAC;AAEH,iDAAiD;AACjD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC;IAChC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,yBAAyB,CAAC;IACxD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qBAAqB,CAAC;CACvD,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,SAAS,CAAC,MAAM,CAAC;IACpD,uBAAuB,EAAE,CAAC;SACvB,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;SACvC,QAAQ,EAAE;SACV,QAAQ,CAAC,0DAA0D,CAAC;IACvE,mBAAmB,EAAE,CAAC;SACnB,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,2DAA2D,CAAC;IACxE,oBAAoB,EAAE,CAAC;SACpB,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;SACvC,QAAQ,EAAE;SACV,QAAQ,CACP,kEAAkE,CACnE;IACH,YAAY,EAAE,CAAC;SACZ,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,6DAA6D,CAAC;IAC1E,eAAe,EAAE,CAAC;SACf,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,wCAAwC,CAAC;IACrD,gBAAgB,EAAE,CAAC;SAChB,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,uCAAuC,CAAC;IACpD,cAAc,EAAE,CAAC;SACd,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,qCAAqC,CAAC;IAClD,aAAa,EAAE,CAAC;SACb,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,oCAAoC,CAAC;IACjD,iBAAiB,EAAE,CAAC;SACjB,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,6DAA6D,CAAC;IAC1E,iBAAiB,EAAE,CAAC;SACjB,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,+DAA+D,CAAC;IAC5E,gBAAgB,EAAE,CAAC;SAChB,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;SACxD,QAAQ,EAAE;SACV,QAAQ,CAAC,4CAA4C,CAAC;CAC1D,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,IAAI,EAAE,CAAC;SACJ,MAAM,CACL,CAAC,KAAK,EAAE,EAAE,CACR,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,QAAQ,IAAI,KAAK;QACjB,WAAW,IAAI,KAAK;QACpB,UAAU,IAAI,KAAK;QACnB,SAAS,IAAI,KAAK,EACpB,EAAE,OAAO,EAAE,mCAAmC,EAAE,CACjD;SACA,QAAQ,CAAC,sCAAsC,CAAC;CACpD,CAAC,CAAC;AAEH,kDAAkD;AAClD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC;CACrE,CAAC,CAAC"}
@@ -0,0 +1,13 @@
1
+ export declare const unreachableDetourShadowingTrail: import("packages/core/src/trail.js").Trail<{
2
+ filePath: string;
3
+ sourceCode: string;
4
+ }, {
5
+ diagnostics: {
6
+ filePath: string;
7
+ line: number;
8
+ message: string;
9
+ rule: string;
10
+ severity: "error" | "warn";
11
+ }[];
12
+ }, never>;
13
+ //# sourceMappingURL=unreachable-detour-shadowing.trail.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"unreachable-detour-shadowing.trail.d.ts","sourceRoot":"","sources":["../../src/trails/unreachable-detour-shadowing.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,+BAA+B;;;;;;;;;;;SAyC1C,CAAC"}
@@ -0,0 +1,44 @@
1
+ import { unreachableDetourShadowing } from '../rules/unreachable-detour-shadowing.js';
2
+ import { wrapRule } from './wrap-rule.js';
3
+ export const unreachableDetourShadowingTrail = wrapRule({
4
+ examples: [
5
+ {
6
+ expected: { diagnostics: [] },
7
+ input: {
8
+ filePath: 'clean.ts',
9
+ sourceCode: `trail("entity.save", {
10
+ detours: [
11
+ { on: ConflictError, recover: async () => Result.ok({ winner: "specific" }) },
12
+ { on: TrailsError, recover: async () => Result.ok({ winner: "broad" }) },
13
+ ],
14
+ });`,
15
+ },
16
+ name: 'Specific detours can precede broader ones',
17
+ },
18
+ {
19
+ expected: {
20
+ diagnostics: [
21
+ {
22
+ filePath: 'shadowed.ts',
23
+ line: 4,
24
+ message: 'Trail "entity.save" declares detour on "ConflictError" after earlier detour on "TrailsError". Because "TrailsError" matches "ConflictError" first, the later detour is unreachable.',
25
+ rule: 'unreachable-detour-shadowing',
26
+ severity: 'error',
27
+ },
28
+ ],
29
+ },
30
+ input: {
31
+ filePath: 'shadowed.ts',
32
+ sourceCode: `trail("entity.save", {
33
+ detours: [
34
+ { on: TrailsError, recover: async () => Result.ok({ winner: "broad" }) },
35
+ { on: ConflictError, recover: async () => Result.ok({ winner: "specific" }) },
36
+ ],
37
+ });`,
38
+ },
39
+ name: 'Broader detours declared first shadow later specific ones',
40
+ },
41
+ ],
42
+ rule: unreachableDetourShadowing,
43
+ });
44
+ //# sourceMappingURL=unreachable-detour-shadowing.trail.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"unreachable-detour-shadowing.trail.js","sourceRoot":"","sources":["../../src/trails/unreachable-detour-shadowing.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AACtF,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,CAAC,MAAM,+BAA+B,GAAG,QAAQ,CAAC;IACtD,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,QAAQ,EAAE,UAAU;gBACpB,UAAU,EAAE;;;;;IAKhB;aACG;YACD,IAAI,EAAE,2CAA2C;SAClD;QACD;YACE,QAAQ,EAAE;gBACR,WAAW,EAAE;oBACX;wBACE,QAAQ,EAAE,aAAa;wBACvB,IAAI,EAAE,CAAC;wBACP,OAAO,EACL,qLAAqL;wBACvL,IAAI,EAAE,8BAA8B;wBACpC,QAAQ,EAAE,OAAO;qBAClB;iBACF;aACF;YACD,KAAK,EAAE;gBACL,QAAQ,EAAE,aAAa;gBACvB,UAAU,EAAE;;;;;IAKhB;aACG;YACD,IAAI,EAAE,2DAA2D;SAClE;KACF;IACD,IAAI,EAAE,0BAA0B;CACjC,CAAC,CAAC"}
@@ -1,8 +1,17 @@
1
- export declare const validDescribeRefsTrail: import("@ontrails/core").Trail<{
1
+ export declare const validDescribeRefsTrail: import("packages/core/src/trail.js").Trail<{
2
2
  filePath: string;
3
3
  sourceCode: string;
4
- knownProvisionIds?: string[] | undefined;
4
+ contourReferencesByName?: Record<string, string[]> | undefined;
5
+ crossTargetTrailIds?: string[] | undefined;
6
+ crudCoverageByEntity?: Record<string, string[]> | undefined;
7
+ crudTableIds?: string[] | undefined;
8
+ knownContourIds?: string[] | undefined;
9
+ knownResourceIds?: string[] | undefined;
10
+ knownSignalIds?: string[] | undefined;
5
11
  knownTrailIds?: string[] | undefined;
12
+ onTargetSignalIds?: string[] | undefined;
13
+ reconcileTableIds?: string[] | undefined;
14
+ trailIntentsById?: Record<string, "read" | "write" | "destroy"> | undefined;
6
15
  }, {
7
16
  diagnostics: {
8
17
  filePath: string;
@@ -11,5 +20,5 @@ export declare const validDescribeRefsTrail: import("@ontrails/core").Trail<{
11
20
  rule: string;
12
21
  severity: "error" | "warn";
13
22
  }[];
14
- }>;
23
+ }, never>;
15
24
  //# sourceMappingURL=valid-describe-refs.trail.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"valid-describe-refs.trail.d.ts","sourceRoot":"","sources":["../../src/trails/valid-describe-refs.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;EAcjC,CAAC"}
1
+ {"version":3,"file":"valid-describe-refs.trail.d.ts","sourceRoot":"","sources":["../../src/trails/valid-describe-refs.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;SAcjC,CAAC"}
@@ -0,0 +1,12 @@
1
+ export declare const validDetourContractTrail: import("@ontrails/core").Trail<{
2
+ topo: import("@ontrails/core").Topo;
3
+ }, {
4
+ diagnostics: {
5
+ filePath: string;
6
+ line: number;
7
+ message: string;
8
+ rule: string;
9
+ severity: "error" | "warn";
10
+ }[];
11
+ }, never>;
12
+ //# sourceMappingURL=valid-detour-contract.trail.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"valid-detour-contract.trail.d.ts","sourceRoot":"","sources":["../../src/trails/valid-detour-contract.trail.ts"],"names":[],"mappings":"AA+BA,eAAO,MAAM,wBAAwB;;;;;;;;;;SAuCnC,CAAC"}
@@ -0,0 +1,66 @@
1
+ import { ConflictError, Result, topo, trail } from '@ontrails/core';
2
+ import { z } from 'zod';
3
+ import { validDetourContract } from '../rules/valid-detour-contract.js';
4
+ import { wrapTopoRule } from './wrap-rule.js';
5
+ const validTrail = trail('entity.save', {
6
+ blaze: () => Result.ok({ ok: true }),
7
+ detours: [
8
+ {
9
+ on: ConflictError,
10
+ recover: async () => {
11
+ const result = await Promise.resolve(Result.ok({ ok: true }));
12
+ return result;
13
+ },
14
+ },
15
+ ],
16
+ input: z.object({}),
17
+ output: z.object({ ok: z.boolean() }),
18
+ });
19
+ const invalidContractTrail = {
20
+ ...validTrail,
21
+ detours: [
22
+ {
23
+ on: 'ConflictError',
24
+ recover: 'not a function',
25
+ },
26
+ ],
27
+ };
28
+ export const validDetourContractTrail = wrapTopoRule({
29
+ examples: [
30
+ {
31
+ expected: { diagnostics: [] },
32
+ input: {
33
+ topo: topo('trl-380-valid-detour-contract', { validTrail }),
34
+ },
35
+ name: 'Detours with an error constructor and recover function stay clean',
36
+ },
37
+ {
38
+ expected: {
39
+ diagnostics: [
40
+ {
41
+ filePath: '<topo>',
42
+ line: 1,
43
+ message: 'Trail "entity.save" detour[0] must declare an error constructor in on:. Received ConflictError.',
44
+ rule: 'valid-detour-contract',
45
+ severity: 'error',
46
+ },
47
+ {
48
+ filePath: '<topo>',
49
+ line: 1,
50
+ message: 'Trail "entity.save" detour[0] must declare a callable recover function.',
51
+ rule: 'valid-detour-contract',
52
+ severity: 'error',
53
+ },
54
+ ],
55
+ },
56
+ input: {
57
+ topo: topo('trl-380-invalid-detour-contract', {
58
+ invalidContractTrail,
59
+ }),
60
+ },
61
+ name: 'Malformed detour contracts emit diagnostics',
62
+ },
63
+ ],
64
+ rule: validDetourContract,
65
+ });
66
+ //# sourceMappingURL=valid-detour-contract.trail.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"valid-detour-contract.trail.js","sourceRoot":"","sources":["../../src/trails/valid-detour-contract.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C,MAAM,UAAU,GAAG,KAAK,CAAC,aAAa,EAAE;IACtC,KAAK,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IACpC,OAAO,EAAE;QACP;YACE,EAAE,EAAE,aAAa;YACjB,OAAO,EAAE,KAAK,IAAI,EAAE;gBAClB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC9D,OAAO,MAAM,CAAC;YAChB,CAAC;SACF;KACF;IACD,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IACnB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;CACtC,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG;IAC3B,GAAG,UAAU;IACb,OAAO,EAAE;QACP;YACE,EAAE,EAAE,eAAe;YACnB,OAAO,EAAE,gBAAgB;SAC1B;KACF;CAC8B,CAAC;AAElC,MAAM,CAAC,MAAM,wBAAwB,GAAG,YAAY,CAAC;IACnD,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,IAAI,EAAE,IAAI,CAAC,+BAA+B,EAAE,EAAE,UAAU,EAAE,CAAC;aAC5D;YACD,IAAI,EAAE,mEAAmE;SAC1E;QACD;YACE,QAAQ,EAAE;gBACR,WAAW,EAAE;oBACX;wBACE,QAAQ,EAAE,QAAQ;wBAClB,IAAI,EAAE,CAAC;wBACP,OAAO,EACL,iGAAiG;wBACnG,IAAI,EAAE,uBAAuB;wBAC7B,QAAQ,EAAE,OAAO;qBAClB;oBACD;wBACE,QAAQ,EAAE,QAAQ;wBAClB,IAAI,EAAE,CAAC;wBACP,OAAO,EACL,yEAAyE;wBAC3E,IAAI,EAAE,uBAAuB;wBAC7B,QAAQ,EAAE,OAAO;qBAClB;iBACF;aACF;YACD,KAAK,EAAE;gBACL,IAAI,EAAE,IAAI,CAAC,iCAAiC,EAAE;oBAC5C,oBAAoB;iBACM,CAAC;aAC9B;YACD,IAAI,EAAE,6CAA6C;SACpD;KACF;IACD,IAAI,EAAE,mBAAmB;CAC1B,CAAC,CAAC"}
@@ -1,8 +1,18 @@
1
- export declare const validDetourRefsTrail: import("@ontrails/core").Trail<{
1
+ export declare const validDetourRefsTrail: import("packages/core/src/trail.js").Trail<{
2
2
  filePath: string;
3
3
  sourceCode: string;
4
- knownProvisionIds?: string[] | undefined;
4
+ contourReferencesByName?: Record<string, string[]> | undefined;
5
+ crossTargetTrailIds?: string[] | undefined;
6
+ crudCoverageByEntity?: Record<string, string[]> | undefined;
7
+ crudTableIds?: string[] | undefined;
8
+ detourTargetTrailIds?: string[] | undefined;
9
+ knownContourIds?: string[] | undefined;
10
+ knownResourceIds?: string[] | undefined;
11
+ knownSignalIds?: string[] | undefined;
5
12
  knownTrailIds?: string[] | undefined;
13
+ onTargetSignalIds?: string[] | undefined;
14
+ reconcileTableIds?: string[] | undefined;
15
+ trailIntentsById?: Record<string, "read" | "write" | "destroy"> | undefined;
6
16
  }, {
7
17
  diagnostics: {
8
18
  filePath: string;
@@ -11,5 +21,5 @@ export declare const validDetourRefsTrail: import("@ontrails/core").Trail<{
11
21
  rule: string;
12
22
  severity: "error" | "warn";
13
23
  }[];
14
- }>;
24
+ }, never>;
15
25
  //# sourceMappingURL=valid-detour-refs.trail.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"valid-detour-refs.trail.d.ts","sourceRoot":"","sources":["../../src/trails/valid-detour-refs.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;EAoB/B,CAAC"}
1
+ {"version":3,"file":"valid-detour-refs.trail.d.ts","sourceRoot":"","sources":["../../src/trails/valid-detour-refs.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;SAoB/B,CAAC"}
@@ -0,0 +1,13 @@
1
+ export declare const wardenExportSymmetryTrail: import("packages/core/src/trail.js").Trail<{
2
+ filePath: string;
3
+ sourceCode: string;
4
+ }, {
5
+ diagnostics: {
6
+ filePath: string;
7
+ line: number;
8
+ message: string;
9
+ rule: string;
10
+ severity: "error" | "warn";
11
+ }[];
12
+ }, never>;
13
+ //# sourceMappingURL=warden-export-symmetry.trail.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"warden-export-symmetry.trail.d.ts","sourceRoot":"","sources":["../../src/trails/warden-export-symmetry.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,yBAAyB;;;;;;;;;;;SAYpC,CAAC"}
@@ -0,0 +1,16 @@
1
+ import { wardenExportSymmetry } from '../rules/warden-export-symmetry.js';
2
+ import { wrapRule } from './wrap-rule.js';
3
+ export const wardenExportSymmetryTrail = wrapRule({
4
+ examples: [
5
+ {
6
+ expected: { diagnostics: [] },
7
+ input: {
8
+ filePath: 'packages/other-pkg/src/index.ts',
9
+ sourceCode: `export { somethingElse } from './other.js';\n`,
10
+ },
11
+ name: 'Ignores files outside the warden barrel',
12
+ },
13
+ ],
14
+ rule: wardenExportSymmetry,
15
+ });
16
+ //# sourceMappingURL=warden-export-symmetry.trail.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"warden-export-symmetry.trail.js","sourceRoot":"","sources":["../../src/trails/warden-export-symmetry.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,CAAC,MAAM,yBAAyB,GAAG,QAAQ,CAAC;IAChD,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,QAAQ,EAAE,iCAAiC;gBAC3C,UAAU,EAAE,+CAA+C;aAC5D;YACD,IAAI,EAAE,yCAAyC;SAChD;KACF;IACD,IAAI,EAAE,oBAAoB;CAC3B,CAAC,CAAC"}
@@ -0,0 +1,13 @@
1
+ export declare const wardenRulesUseAstTrail: import("packages/core/src/trail.js").Trail<{
2
+ filePath: string;
3
+ sourceCode: string;
4
+ }, {
5
+ diagnostics: {
6
+ filePath: string;
7
+ line: number;
8
+ message: string;
9
+ rule: string;
10
+ severity: "error" | "warn";
11
+ }[];
12
+ }, never>;
13
+ //# sourceMappingURL=warden-rules-use-ast.trail.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"warden-rules-use-ast.trail.d.ts","sourceRoot":"","sources":["../../src/trails/warden-rules-use-ast.trail.ts"],"names":[],"mappings":"AAaA,eAAO,MAAM,sBAAsB;;;;;;;;;;;SA+BjC,CAAC"}
@@ -0,0 +1,41 @@
1
+ import { fileURLToPath } from 'node:url';
2
+ import { wardenRulesUseAst } from '../rules/warden-rules-use-ast.js';
3
+ import { wrapRule } from './wrap-rule.js';
4
+ /**
5
+ * Resolve a filePath inside this package's `src/rules/` directory so the
6
+ * positive example fires the path-anchored scope check. Anchoring via
7
+ * `import.meta.url` keeps the example robust to the cwd under which tests run.
8
+ */
9
+ const fakeRulePath = fileURLToPath(new URL('../rules/fake-rule.ts', import.meta.url));
10
+ export const wardenRulesUseAstTrail = wrapRule({
11
+ examples: [
12
+ {
13
+ expected: { diagnostics: [] },
14
+ input: {
15
+ filePath: 'packages/other-pkg/src/index.ts',
16
+ sourceCode: `const lines = sourceCode.split('\\n');\n`,
17
+ },
18
+ name: 'Ignores files outside the warden rules directory',
19
+ },
20
+ {
21
+ expected: {
22
+ diagnostics: [
23
+ {
24
+ filePath: fakeRulePath,
25
+ line: 1,
26
+ message: 'warden-rules-use-ast: sourceCode.split(...) treats source text as a string. Warden rules must inspect the AST via packages/warden/src/rules/ast.ts helpers, not regex-scan raw source text. Use findStringLiterals, findTrailDefinitions, findConfigProperty, or a similar AST walker. Raw-text scanning produces false positives on string literals, template payloads, and docstrings — see TRL-335, ADR-0036.',
27
+ rule: 'warden-rules-use-ast',
28
+ severity: 'error',
29
+ },
30
+ ],
31
+ },
32
+ input: {
33
+ filePath: fakeRulePath,
34
+ sourceCode: `export const r = { check(sourceCode: string) { return sourceCode.split('\\n'); } };\n`,
35
+ },
36
+ name: 'Flags sourceCode.split(...) in a rule file',
37
+ },
38
+ ],
39
+ rule: wardenRulesUseAst,
40
+ });
41
+ //# sourceMappingURL=warden-rules-use-ast.trail.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"warden-rules-use-ast.trail.js","sourceRoot":"","sources":["../../src/trails/warden-rules-use-ast.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C;;;;GAIG;AACH,MAAM,YAAY,GAAG,aAAa,CAChC,IAAI,GAAG,CAAC,uBAAuB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAClD,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC7C,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,QAAQ,EAAE,iCAAiC;gBAC3C,UAAU,EAAE,0CAA0C;aACvD;YACD,IAAI,EAAE,kDAAkD;SACzD;QACD;YACE,QAAQ,EAAE;gBACR,WAAW,EAAE;oBACX;wBACE,QAAQ,EAAE,YAAY;wBACtB,IAAI,EAAE,CAAC;wBACP,OAAO,EACL,kZAAkZ;wBACpZ,IAAI,EAAE,sBAAsB;wBAC5B,QAAQ,EAAE,OAAO;qBAClB;iBACF;aACF;YACD,KAAK,EAAE;gBACL,QAAQ,EAAE,YAAY;gBACtB,UAAU,EAAE,uFAAuF;aACpG;YACD,IAAI,EAAE,4CAA4C;SACnD;KACF;IACD,IAAI,EAAE,iBAAiB;CACxB,CAAC,CAAC"}
@@ -4,8 +4,8 @@
4
4
  * Keeps each rule trail file minimal — just the import + examples.
5
5
  */
6
6
  import type { Trail } from '@ontrails/core';
7
- import type { ProjectAwareWardenRule, WardenRule } from '../rules/types.js';
8
- import type { ProjectAwareRuleInput, RuleInput, RuleOutput } from './schema.js';
7
+ import type { ProjectAwareWardenRule, TopoAwareWardenRule, WardenRule } from '../rules/types.js';
8
+ import type { ProjectAwareRuleInput, RuleInput, RuleOutput, TopoAwareRuleInput } from './schema.js';
9
9
  interface WrapRuleOptions {
10
10
  /** The existing warden rule to wrap. */
11
11
  readonly rule: WardenRule;
@@ -25,5 +25,19 @@ interface WrapProjectAwareRuleOptions {
25
25
  */
26
26
  export declare function wrapRule(options: WrapProjectAwareRuleOptions): Trail<ProjectAwareRuleInput, RuleOutput>;
27
27
  export declare function wrapRule(options: WrapRuleOptions): Trail<RuleInput, RuleOutput>;
28
+ interface WrapTopoRuleOptions {
29
+ /** The existing topo-aware warden rule to wrap. */
30
+ readonly rule: TopoAwareWardenRule;
31
+ /** Trail examples for testing and documentation. */
32
+ readonly examples: Trail<TopoAwareRuleInput, RuleOutput>['examples'];
33
+ }
34
+ /**
35
+ * Wrap an existing `TopoAwareWardenRule` as a trail.
36
+ *
37
+ * Mirrors `wrapRule` for the per-topo dispatch path. Topo-aware rules run
38
+ * once per topo against the compiled runtime graph rather than per file,
39
+ * so the trail accepts the live `Topo` as input.
40
+ */
41
+ export declare const wrapTopoRule: (options: WrapTopoRuleOptions) => Trail<TopoAwareRuleInput, RuleOutput>;
28
42
  export {};
29
43
  //# sourceMappingURL=wrap-rule.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"wrap-rule.d.ts","sourceRoot":"","sources":["../../src/trails/wrap-rule.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAE5C,OAAO,KAAK,EACV,sBAAsB,EAEtB,UAAU,EACX,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,qBAAqB,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEhF,UAAU,eAAe;IACvB,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,UAAU,CAAC,CAAC;CAC7D;AAED,UAAU,2BAA2B;IACnC,sDAAsD;IACtD,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,qBAAqB,EAAE,UAAU,CAAC,CAAC,UAAU,CAAC,CAAC;CACzE;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CACtB,OAAO,EAAE,2BAA2B,GACnC,KAAK,CAAC,qBAAqB,EAAE,UAAU,CAAC,CAAC;AAC5C,wBAAgB,QAAQ,CACtB,OAAO,EAAE,eAAe,GACvB,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC"}
1
+ {"version":3,"file":"wrap-rule.d.ts","sourceRoot":"","sources":["../../src/trails/wrap-rule.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAE5C,OAAO,KAAK,EACV,sBAAsB,EAEtB,mBAAmB,EACnB,UAAU,EACX,MAAM,mBAAmB,CAAC;AAO3B,OAAO,KAAK,EACV,qBAAqB,EACrB,SAAS,EACT,UAAU,EACV,kBAAkB,EACnB,MAAM,aAAa,CAAC;AAErB,UAAU,eAAe;IACvB,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,UAAU,CAAC,CAAC;CAC7D;AAED,UAAU,2BAA2B;IACnC,sDAAsD;IACtD,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,qBAAqB,EAAE,UAAU,CAAC,CAAC,UAAU,CAAC,CAAC;CACzE;AAiDD;;;;GAIG;AACH,wBAAgB,QAAQ,CACtB,OAAO,EAAE,2BAA2B,GACnC,KAAK,CAAC,qBAAqB,EAAE,UAAU,CAAC,CAAC;AAC5C,wBAAgB,QAAQ,CACtB,OAAO,EAAE,eAAe,GACvB,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;AA4ChC,UAAU,mBAAmB;IAC3B,mDAAmD;IACnD,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC,UAAU,CAAC,CAAC;CACtE;AAED;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,GACvB,SAAS,mBAAmB,KAC3B,KAAK,CAAC,kBAAkB,EAAE,UAAU,CAwBtC,CAAC"}
@@ -3,8 +3,48 @@
3
3
  *
4
4
  * Keeps each rule trail file minimal — just the import + examples.
5
5
  */
6
- import { trail, Result } from '@ontrails/core';
7
- import { projectAwareRuleInput, ruleInput, ruleOutput } from './schema.js';
6
+ import { InternalError, trail, Result } from '@ontrails/core';
7
+ import { projectAwareRuleInput, ruleInput, ruleOutput, topoAwareRuleInput, } from './schema.js';
8
+ const buildProjectContext = (input) => ({
9
+ ...(input.contourReferencesByName
10
+ ? {
11
+ contourReferencesByName: new Map(Object.entries(input.contourReferencesByName)),
12
+ }
13
+ : {}),
14
+ ...(input.crudTableIds ? { crudTableIds: new Set(input.crudTableIds) } : {}),
15
+ ...(input.crudCoverageByEntity
16
+ ? {
17
+ crudCoverageByEntity: new Map(Object.entries(input.crudCoverageByEntity).map(([entityId, operations]) => [
18
+ entityId,
19
+ new Set(operations),
20
+ ])),
21
+ }
22
+ : {}),
23
+ ...(input.knownContourIds
24
+ ? { knownContourIds: new Set(input.knownContourIds) }
25
+ : {}),
26
+ knownTrailIds: input.knownTrailIds
27
+ ? new Set(input.knownTrailIds)
28
+ : new Set(),
29
+ ...(input.crossTargetTrailIds
30
+ ? { crossTargetTrailIds: new Set(input.crossTargetTrailIds) }
31
+ : {}),
32
+ ...(input.knownResourceIds
33
+ ? { knownResourceIds: new Set(input.knownResourceIds) }
34
+ : {}),
35
+ ...(input.knownSignalIds
36
+ ? { knownSignalIds: new Set(input.knownSignalIds) }
37
+ : {}),
38
+ ...(input.onTargetSignalIds
39
+ ? { onTargetSignalIds: new Set(input.onTargetSignalIds) }
40
+ : {}),
41
+ ...(input.reconcileTableIds
42
+ ? { reconcileTableIds: new Set(input.reconcileTableIds) }
43
+ : {}),
44
+ ...(input.trailIntentsById
45
+ ? { trailIntentsById: new Map(Object.entries(input.trailIntentsById)) }
46
+ : {}),
47
+ });
8
48
  export function wrapRule(options) {
9
49
  const { rule, examples } = options;
10
50
  const isProjectAware = 'checkWithContext' in rule;
@@ -12,15 +52,7 @@ export function wrapRule(options) {
12
52
  const projectAwareRule = rule;
13
53
  return trail(`warden.rule.${rule.name}`, {
14
54
  blaze: (input) => {
15
- const context = {
16
- knownProvisionIds: input.knownProvisionIds
17
- ? new Set(input.knownProvisionIds)
18
- : undefined,
19
- knownTrailIds: input.knownTrailIds
20
- ? new Set(input.knownTrailIds)
21
- : new Set(),
22
- };
23
- const diagnostics = projectAwareRule.checkWithContext(input.sourceCode, input.filePath, context);
55
+ const diagnostics = projectAwareRule.checkWithContext(input.sourceCode, input.filePath, buildProjectContext(input));
24
56
  return Result.ok({ diagnostics: [...diagnostics] });
25
57
  },
26
58
  description: rule.description,
@@ -44,4 +76,32 @@ export function wrapRule(options) {
44
76
  output: ruleOutput,
45
77
  });
46
78
  }
79
+ /**
80
+ * Wrap an existing `TopoAwareWardenRule` as a trail.
81
+ *
82
+ * Mirrors `wrapRule` for the per-topo dispatch path. Topo-aware rules run
83
+ * once per topo against the compiled runtime graph rather than per file,
84
+ * so the trail accepts the live `Topo` as input.
85
+ */
86
+ export const wrapTopoRule = (options) => {
87
+ const { rule, examples } = options;
88
+ return trail(`warden.rule.${rule.name}`, {
89
+ blaze: async (input) => {
90
+ try {
91
+ const diagnostics = await rule.checkTopo(input.topo);
92
+ return Result.ok({ diagnostics: [...diagnostics] });
93
+ }
94
+ catch (error) {
95
+ const cause = error instanceof Error ? error : new Error(String(error));
96
+ return Result.err(new InternalError(`Topo-aware rule "${rule.name}" threw while inspecting topo: ${cause.message}`, { cause }));
97
+ }
98
+ },
99
+ description: rule.description,
100
+ examples,
101
+ input: topoAwareRuleInput,
102
+ intent: 'read',
103
+ meta: { category: 'governance', severity: rule.severity },
104
+ output: ruleOutput,
105
+ });
106
+ };
47
107
  //# sourceMappingURL=wrap-rule.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"wrap-rule.js","sourceRoot":"","sources":["../../src/trails/wrap-rule.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAQ/C,OAAO,EAAE,qBAAqB,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA4B3E,MAAM,UAAU,QAAQ,CACtB,OAAsD;IAEtD,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACnC,MAAM,cAAc,GAAG,kBAAkB,IAAI,IAAI,CAAC;IAElD,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,gBAAgB,GAAG,IAA8B,CAAC;QACxD,OAAO,KAAK,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE,EAAE;YACvC,KAAK,EAAE,CAAC,KAA4B,EAAE,EAAE;gBACtC,MAAM,OAAO,GAAG;oBACd,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;wBACxC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC;wBAClC,CAAC,CAAC,SAAS;oBACb,aAAa,EAAE,KAAK,CAAC,aAAa;wBAChC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC;wBAC9B,CAAC,CAAC,IAAI,GAAG,EAAU;iBACJ,CAAC;gBACpB,MAAM,WAAW,GAAG,gBAAgB,CAAC,gBAAgB,CACnD,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,QAAQ,EACd,OAAO,CACR,CAAC;gBACF,OAAO,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;YACtD,CAAC;YACD,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,QAAQ,EAAE,QAGG;YACb,KAAK,EAAE,qBAAqB;YAC5B,MAAM,EAAE,MAAM;YACd,IAAI,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;YACzD,MAAM,EAAE,UAAU;SACnB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE,EAAE;QACvC,KAAK,EAAE,CAAC,KAAgB,EAAE,EAAE;YAC1B,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YACjE,OAAO,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,QAAQ,EAAE,QAAoD;QAC9D,KAAK,EAAE,SAAS;QAChB,MAAM,EAAE,MAAM;QACd,IAAI,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;QACzD,MAAM,EAAE,UAAU;KACnB,CAAC,CAAC;AACL,CAAC"}
1
+ {"version":3,"file":"wrap-rule.js","sourceRoot":"","sources":["../../src/trails/wrap-rule.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAS9D,OAAO,EACL,qBAAqB,EACrB,SAAS,EACT,UAAU,EACV,kBAAkB,GACnB,MAAM,aAAa,CAAC;AAsBrB,MAAM,mBAAmB,GAAG,CAAC,KAA4B,EAAkB,EAAE,CAAC,CAAC;IAC7E,GAAG,CAAC,KAAK,CAAC,uBAAuB;QAC/B,CAAC,CAAC;YACE,uBAAuB,EAAE,IAAI,GAAG,CAC9B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAC9C;SACF;QACH,CAAC,CAAC,EAAE,CAAC;IACP,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,GAAG,CAAC,KAAK,CAAC,oBAAoB;QAC5B,CAAC,CAAC;YACE,oBAAoB,EAAE,IAAI,GAAG,CAC3B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAC5C,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC;gBAC1B,QAAQ;gBACR,IAAI,GAAG,CAAC,UAAU,CAAwB;aAC3C,CACF,CACF;SACF;QACH,CAAC,CAAC,EAAE,CAAC;IACP,GAAG,CAAC,KAAK,CAAC,eAAe;QACvB,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE;QACrD,CAAC,CAAC,EAAE,CAAC;IACP,aAAa,EAAE,KAAK,CAAC,aAAa;QAChC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC;QAC9B,CAAC,CAAC,IAAI,GAAG,EAAU;IACrB,GAAG,CAAC,KAAK,CAAC,mBAAmB;QAC3B,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAE;QAC7D,CAAC,CAAC,EAAE,CAAC;IACP,GAAG,CAAC,KAAK,CAAC,gBAAgB;QACxB,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE;QACvD,CAAC,CAAC,EAAE,CAAC;IACP,GAAG,CAAC,KAAK,CAAC,cAAc;QACtB,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE;QACnD,CAAC,CAAC,EAAE,CAAC;IACP,GAAG,CAAC,KAAK,CAAC,iBAAiB;QACzB,CAAC,CAAC,EAAE,iBAAiB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE;QACzD,CAAC,CAAC,EAAE,CAAC;IACP,GAAG,CAAC,KAAK,CAAC,iBAAiB;QACzB,CAAC,CAAC,EAAE,iBAAiB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE;QACzD,CAAC,CAAC,EAAE,CAAC;IACP,GAAG,CAAC,KAAK,CAAC,gBAAgB;QACxB,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,EAAE;QACvE,CAAC,CAAC,EAAE,CAAC;CACR,CAAC,CAAC;AAaH,MAAM,UAAU,QAAQ,CACtB,OAAsD;IAEtD,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACnC,MAAM,cAAc,GAAG,kBAAkB,IAAI,IAAI,CAAC;IAElD,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,gBAAgB,GAAG,IAA8B,CAAC;QACxD,OAAO,KAAK,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE,EAAE;YACvC,KAAK,EAAE,CAAC,KAA4B,EAAE,EAAE;gBACtC,MAAM,WAAW,GAAG,gBAAgB,CAAC,gBAAgB,CACnD,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,QAAQ,EACd,mBAAmB,CAAC,KAAK,CAAC,CAC3B,CAAC;gBACF,OAAO,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;YACtD,CAAC;YACD,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,QAAQ,EAAE,QAGG;YACb,KAAK,EAAE,qBAAqB;YAC5B,MAAM,EAAE,MAAM;YACd,IAAI,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;YACzD,MAAM,EAAE,UAAU;SACnB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE,EAAE;QACvC,KAAK,EAAE,CAAC,KAAgB,EAAE,EAAE;YAC1B,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YACjE,OAAO,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,QAAQ,EAAE,QAAoD;QAC9D,KAAK,EAAE,SAAS;QAChB,MAAM,EAAE,MAAM;QACd,IAAI,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;QACzD,MAAM,EAAE,UAAU;KACnB,CAAC,CAAC;AACL,CAAC;AASD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,OAA4B,EACW,EAAE;IACzC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACnC,OAAO,KAAK,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE,EAAE;QACvC,KAAK,EAAE,KAAK,EAAE,KAAyB,EAAE,EAAE;YACzC,IAAI,CAAC;gBACH,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACrD,OAAO,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;YACtD,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,KAAK,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;gBACxE,OAAO,MAAM,CAAC,GAAG,CACf,IAAI,aAAa,CACf,oBAAoB,IAAI,CAAC,IAAI,kCAAkC,KAAK,CAAC,OAAO,EAAE,EAC9E,EAAE,KAAK,EAAE,CACV,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,QAAQ;QACR,KAAK,EAAE,kBAAkB;QACzB,MAAM,EAAE,MAAM;QACd,IAAI,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;QACzD,MAAM,EAAE,UAAU;KACnB,CAAC,CAAC;AACL,CAAC,CAAC"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@ontrails/warden",
3
- "version": "1.0.0-beta.13",
3
+ "version": "1.0.0-beta.15",
4
4
  "type": "module",
5
5
  "exports": {
6
6
  ".": "./src/index.ts",
@@ -13,14 +13,17 @@
13
13
  "lint": "oxlint ./src",
14
14
  "clean": "rm -rf dist *.tsbuildinfo"
15
15
  },
16
+ "dependencies": {
17
+ "@ontrails/permits": "^1.0.0-beta.14"
18
+ },
16
19
  "devDependencies": {
17
- "@ontrails/testing": "^1.0.0-beta.12",
20
+ "@ontrails/testing": "^1.0.0-beta.14",
18
21
  "@oxc-project/types": "^0.122.0",
19
22
  "oxc-parser": "^0.121.0",
20
23
  "zod": "^4.3.5"
21
24
  },
22
25
  "peerDependencies": {
23
- "@ontrails/core": "^1.0.0-beta.12",
24
- "@ontrails/schema": "^1.0.0-beta.12"
26
+ "@ontrails/core": "^1.0.0-beta.14",
27
+ "@ontrails/schema": "^1.0.0-beta.14"
25
28
  }
26
29
  }