@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
@@ -0,0 +1,24 @@
1
+ export declare const incompleteCrudTrail: import("packages/core/src/trail.js").Trail<{
2
+ filePath: string;
3
+ sourceCode: string;
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;
11
+ knownTrailIds?: string[] | undefined;
12
+ onTargetSignalIds?: string[] | undefined;
13
+ reconcileTableIds?: string[] | undefined;
14
+ trailIntentsById?: Record<string, "read" | "write" | "destroy"> | undefined;
15
+ }, {
16
+ diagnostics: {
17
+ filePath: string;
18
+ line: number;
19
+ message: string;
20
+ rule: string;
21
+ severity: "error" | "warn";
22
+ }[];
23
+ }, never>;
24
+ //# sourceMappingURL=incomplete-crud.trail.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"incomplete-crud.trail.d.ts","sourceRoot":"","sources":["../../src/trails/incomplete-crud.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;SAmC9B,CAAC"}
@@ -0,0 +1,39 @@
1
+ import { incompleteCrud } from '../rules/incomplete-crud.js';
2
+ import { wrapRule } from './wrap-rule.js';
3
+ export const incompleteCrudTrail = wrapRule({
4
+ examples: [
5
+ {
6
+ expected: { diagnostics: [] },
7
+ input: {
8
+ filePath: 'clean.ts',
9
+ sourceCode: `import { Result, resource } from '@ontrails/core';
10
+ import { store } from '@ontrails/store';
11
+ import { crud } from '@ontrails/store/trails';
12
+ import { z } from 'zod';
13
+
14
+ const db = store({
15
+ notes: {
16
+ identity: 'id',
17
+ schema: z.object({
18
+ id: z.string(),
19
+ title: z.string(),
20
+ }),
21
+ },
22
+ });
23
+
24
+ const notesResource = resource('db.notes', {
25
+ create: () => Result.ok({}),
26
+ mock: () => ({}),
27
+ });
28
+
29
+ const [createNote, readNote, updateNote, deleteNote, listNote] = crud(
30
+ db.tables.notes,
31
+ notesResource
32
+ );`,
33
+ },
34
+ name: 'Full CRUD coverage stays quiet',
35
+ },
36
+ ],
37
+ rule: incompleteCrud,
38
+ });
39
+ //# sourceMappingURL=incomplete-crud.trail.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"incomplete-crud.trail.js","sourceRoot":"","sources":["../../src/trails/incomplete-crud.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,CAAC,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IAC1C,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,QAAQ,EAAE,UAAU;gBACpB,UAAU,EAAE;;;;;;;;;;;;;;;;;;;;;;;GAuBjB;aACI;YACD,IAAI,EAAE,gCAAgC;SACvC;KACF;IACD,IAAI,EAAE,cAAc;CACrB,CAAC,CAAC"}
@@ -1,16 +1,38 @@
1
- export { contextNoTrailheadTypesTrail } from './context-no-trailhead-types.trail.js';
1
+ export { circularRefsTrail } from './circular-refs.trail.js';
2
+ export { contourExistsTrail } from './contour-exists.trail.js';
3
+ export { contextNoSurfaceTypesTrail } from './context-no-surface-types.trail.js';
2
4
  export { crossDeclarationsTrail } from './cross-declarations.trail.js';
5
+ export { deadInternalTrailTrail } from './dead-internal-trail.trail.js';
6
+ export { draftFileMarkingTrail } from './draft-file-marking.trail.js';
7
+ export { draftVisibleDebtTrail } from './draft-visible-debt.trail.js';
8
+ export { errorMappingCompletenessTrail } from './error-mapping-completeness.trail.js';
9
+ export { exampleValidTrail } from './example-valid.trail.js';
10
+ export { firesDeclarationsTrail } from './fires-declarations.trail.js';
3
11
  export { implementationReturnsResultTrail } from './implementation-returns-result.trail.js';
12
+ export { incompleteAccessorForStandardOpTrail } from './incomplete-accessor-for-standard-op.trail.js';
13
+ export { incompleteCrudTrail } from './incomplete-crud.trail.js';
14
+ export { intentPropagationTrail } from './intent-propagation.trail.js';
15
+ export { missingVisibilityTrail } from './missing-visibility.trail.js';
16
+ export { missingReconcileTrail } from './missing-reconcile.trail.js';
17
+ export { onReferencesExistTrail } from './on-references-exist.trail.js';
4
18
  export { noDirectImplInRouteTrail } from './no-direct-impl-in-route.trail.js';
5
19
  export { noDirectImplementationCallTrail } from './no-direct-implementation-call.trail.js';
6
20
  export { noSyncResultAssumptionTrail } from './no-sync-result-assumption.trail.js';
7
- export { noThrowInDetourTargetTrail } from './no-throw-in-detour-target.trail.js';
21
+ export { noThrowInDetourRecoverTrail } from './no-throw-in-detour-recover.trail.js';
8
22
  export { noThrowInImplementationTrail } from './no-throw-in-implementation.trail.js';
23
+ export { orphanedSignalTrail } from './orphaned-signal.trail.js';
24
+ export { permitGovernanceTrail } from './permit-governance.trail.js';
9
25
  export { preferSchemaInferenceTrail } from './prefer-schema-inference.trail.js';
10
- export { provisionDeclarationsTrail } from './provision-declarations.trail.js';
11
- export { provisionExistsTrail } from './provision-exists.trail.js';
26
+ export { referenceExistsTrail } from './reference-exists.trail.js';
27
+ export { resourceDeclarationsTrail } from './resource-declarations.trail.js';
28
+ export { resourceIdGrammarTrail } from './resource-id-grammar.trail.js';
29
+ export { resourceExistsTrail } from './resource-exists.trail.js';
30
+ export { unreachableDetourShadowingTrail } from './unreachable-detour-shadowing.trail.js';
31
+ export { validDetourContractTrail } from './valid-detour-contract.trail.js';
12
32
  export { validDescribeRefsTrail } from './valid-describe-refs.trail.js';
13
- export { validDetourRefsTrail } from './valid-detour-refs.trail.js';
14
- export { ruleInput, ruleOutput, diagnosticSchema } from './schema.js';
15
- export type { RuleInput, RuleOutput } from './schema.js';
33
+ export { wardenExportSymmetryTrail } from './warden-export-symmetry.trail.js';
34
+ export { wardenRulesUseAstTrail } from './warden-rules-use-ast.trail.js';
35
+ export { diagnosticSchema, projectAwareRuleInput, ruleInput, ruleOutput, topoAwareRuleInput, } from './schema.js';
36
+ export type { ProjectAwareRuleInput, RuleInput, RuleOutput, TopoAwareRuleInput, } from './schema.js';
37
+ export { wrapRule, wrapTopoRule } from './wrap-rule.js';
16
38
  //# sourceMappingURL=index.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/trails/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,4BAA4B,EAAE,MAAM,uCAAuC,CAAC;AACrF,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,gCAAgC,EAAE,MAAM,0CAA0C,CAAC;AAC5F,OAAO,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EAAE,+BAA+B,EAAE,MAAM,0CAA0C,CAAC;AAC3F,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AACnF,OAAO,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAC;AAClF,OAAO,EAAE,4BAA4B,EAAE,MAAM,uCAAuC,CAAC;AACrF,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,0BAA0B,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAEpE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACtE,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/trails/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,6BAA6B,EAAE,MAAM,uCAAuC,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,gCAAgC,EAAE,MAAM,0CAA0C,CAAC;AAC5F,OAAO,EAAE,oCAAoC,EAAE,MAAM,gDAAgD,CAAC;AACtG,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EAAE,+BAA+B,EAAE,MAAM,0CAA0C,CAAC;AAC3F,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AACnF,OAAO,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAC;AACpF,OAAO,EAAE,4BAA4B,EAAE,MAAM,uCAAuC,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,yBAAyB,EAAE,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,+BAA+B,EAAE,MAAM,yCAAyC,CAAC;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAEzE,OAAO,EACL,gBAAgB,EAChB,qBAAqB,EACrB,SAAS,EACT,UAAU,EACV,kBAAkB,GACnB,MAAM,aAAa,CAAC;AACrB,YAAY,EACV,qBAAqB,EACrB,SAAS,EACT,UAAU,EACV,kBAAkB,GACnB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC"}
@@ -1,15 +1,37 @@
1
- export { contextNoTrailheadTypesTrail } from './context-no-trailhead-types.trail.js';
1
+ export { circularRefsTrail } from './circular-refs.trail.js';
2
+ export { contourExistsTrail } from './contour-exists.trail.js';
3
+ export { contextNoSurfaceTypesTrail } from './context-no-surface-types.trail.js';
2
4
  export { crossDeclarationsTrail } from './cross-declarations.trail.js';
5
+ export { deadInternalTrailTrail } from './dead-internal-trail.trail.js';
6
+ export { draftFileMarkingTrail } from './draft-file-marking.trail.js';
7
+ export { draftVisibleDebtTrail } from './draft-visible-debt.trail.js';
8
+ export { errorMappingCompletenessTrail } from './error-mapping-completeness.trail.js';
9
+ export { exampleValidTrail } from './example-valid.trail.js';
10
+ export { firesDeclarationsTrail } from './fires-declarations.trail.js';
3
11
  export { implementationReturnsResultTrail } from './implementation-returns-result.trail.js';
12
+ export { incompleteAccessorForStandardOpTrail } from './incomplete-accessor-for-standard-op.trail.js';
13
+ export { incompleteCrudTrail } from './incomplete-crud.trail.js';
14
+ export { intentPropagationTrail } from './intent-propagation.trail.js';
15
+ export { missingVisibilityTrail } from './missing-visibility.trail.js';
16
+ export { missingReconcileTrail } from './missing-reconcile.trail.js';
17
+ export { onReferencesExistTrail } from './on-references-exist.trail.js';
4
18
  export { noDirectImplInRouteTrail } from './no-direct-impl-in-route.trail.js';
5
19
  export { noDirectImplementationCallTrail } from './no-direct-implementation-call.trail.js';
6
20
  export { noSyncResultAssumptionTrail } from './no-sync-result-assumption.trail.js';
7
- export { noThrowInDetourTargetTrail } from './no-throw-in-detour-target.trail.js';
21
+ export { noThrowInDetourRecoverTrail } from './no-throw-in-detour-recover.trail.js';
8
22
  export { noThrowInImplementationTrail } from './no-throw-in-implementation.trail.js';
23
+ export { orphanedSignalTrail } from './orphaned-signal.trail.js';
24
+ export { permitGovernanceTrail } from './permit-governance.trail.js';
9
25
  export { preferSchemaInferenceTrail } from './prefer-schema-inference.trail.js';
10
- export { provisionDeclarationsTrail } from './provision-declarations.trail.js';
11
- export { provisionExistsTrail } from './provision-exists.trail.js';
26
+ export { referenceExistsTrail } from './reference-exists.trail.js';
27
+ export { resourceDeclarationsTrail } from './resource-declarations.trail.js';
28
+ export { resourceIdGrammarTrail } from './resource-id-grammar.trail.js';
29
+ export { resourceExistsTrail } from './resource-exists.trail.js';
30
+ export { unreachableDetourShadowingTrail } from './unreachable-detour-shadowing.trail.js';
31
+ export { validDetourContractTrail } from './valid-detour-contract.trail.js';
12
32
  export { validDescribeRefsTrail } from './valid-describe-refs.trail.js';
13
- export { validDetourRefsTrail } from './valid-detour-refs.trail.js';
14
- export { ruleInput, ruleOutput, diagnosticSchema } from './schema.js';
33
+ export { wardenExportSymmetryTrail } from './warden-export-symmetry.trail.js';
34
+ export { wardenRulesUseAstTrail } from './warden-rules-use-ast.trail.js';
35
+ export { diagnosticSchema, projectAwareRuleInput, ruleInput, ruleOutput, topoAwareRuleInput, } from './schema.js';
36
+ export { wrapRule, wrapTopoRule } from './wrap-rule.js';
15
37
  //# sourceMappingURL=index.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/trails/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,4BAA4B,EAAE,MAAM,uCAAuC,CAAC;AACrF,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,gCAAgC,EAAE,MAAM,0CAA0C,CAAC;AAC5F,OAAO,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EAAE,+BAA+B,EAAE,MAAM,0CAA0C,CAAC;AAC3F,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AACnF,OAAO,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAC;AAClF,OAAO,EAAE,4BAA4B,EAAE,MAAM,uCAAuC,CAAC;AACrF,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,0BAA0B,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAEpE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/trails/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,6BAA6B,EAAE,MAAM,uCAAuC,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,gCAAgC,EAAE,MAAM,0CAA0C,CAAC;AAC5F,OAAO,EAAE,oCAAoC,EAAE,MAAM,gDAAgD,CAAC;AACtG,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EAAE,+BAA+B,EAAE,MAAM,0CAA0C,CAAC;AAC3F,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AACnF,OAAO,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAC;AACpF,OAAO,EAAE,4BAA4B,EAAE,MAAM,uCAAuC,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,yBAAyB,EAAE,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,+BAA+B,EAAE,MAAM,yCAAyC,CAAC;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAEzE,OAAO,EACL,gBAAgB,EAChB,qBAAqB,EACrB,SAAS,EACT,UAAU,EACV,kBAAkB,GACnB,MAAM,aAAa,CAAC;AAOrB,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC"}
@@ -0,0 +1,24 @@
1
+ export declare const intentPropagationTrail: import("packages/core/src/trail.js").Trail<{
2
+ filePath: string;
3
+ sourceCode: string;
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;
11
+ knownTrailIds?: string[] | undefined;
12
+ onTargetSignalIds?: string[] | undefined;
13
+ reconcileTableIds?: string[] | undefined;
14
+ trailIntentsById?: Record<string, "read" | "write" | "destroy"> | undefined;
15
+ }, {
16
+ diagnostics: {
17
+ filePath: string;
18
+ line: number;
19
+ message: string;
20
+ rule: string;
21
+ severity: "error" | "warn";
22
+ }[];
23
+ }, never>;
24
+ //# sourceMappingURL=intent-propagation.trail.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"intent-propagation.trail.d.ts","sourceRoot":"","sources":["../../src/trails/intent-propagation.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;SA0BjC,CAAC"}
@@ -0,0 +1,30 @@
1
+ import { intentPropagation } from '../rules/intent-propagation.js';
2
+ import { wrapRule } from './wrap-rule.js';
3
+ export const intentPropagationTrail = wrapRule({
4
+ examples: [
5
+ {
6
+ expected: { diagnostics: [] },
7
+ input: {
8
+ filePath: 'clean.ts',
9
+ knownTrailIds: ['entity.read', 'entity.lookup'],
10
+ sourceCode: `trail('entity.read', {
11
+ intent: 'read',
12
+ crosses: ['entity.lookup'],
13
+ blaze: async (_input, ctx) => ctx.cross('entity.lookup', {}),
14
+ });
15
+
16
+ trail('entity.lookup', {
17
+ intent: 'read',
18
+ blaze: async () => Result.ok({}),
19
+ });`,
20
+ trailIntentsById: {
21
+ 'entity.lookup': 'read',
22
+ 'entity.read': 'read',
23
+ },
24
+ },
25
+ name: 'Read trails may cross other read trails',
26
+ },
27
+ ],
28
+ rule: intentPropagation,
29
+ });
30
+ //# sourceMappingURL=intent-propagation.trail.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"intent-propagation.trail.js","sourceRoot":"","sources":["../../src/trails/intent-propagation.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,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,UAAU;gBACpB,aAAa,EAAE,CAAC,aAAa,EAAE,eAAe,CAAC;gBAC/C,UAAU,EAAE;;;;;;;;;IAShB;gBACI,gBAAgB,EAAE;oBAChB,eAAe,EAAE,MAAM;oBACvB,aAAa,EAAE,MAAM;iBACtB;aACF;YACD,IAAI,EAAE,yCAAyC;SAChD;KACF;IACD,IAAI,EAAE,iBAAiB;CACxB,CAAC,CAAC"}
@@ -0,0 +1,24 @@
1
+ export declare const missingReconcileTrail: import("packages/core/src/trail.js").Trail<{
2
+ filePath: string;
3
+ sourceCode: string;
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;
11
+ knownTrailIds?: string[] | undefined;
12
+ onTargetSignalIds?: string[] | undefined;
13
+ reconcileTableIds?: string[] | undefined;
14
+ trailIntentsById?: Record<string, "read" | "write" | "destroy"> | undefined;
15
+ }, {
16
+ diagnostics: {
17
+ filePath: string;
18
+ line: number;
19
+ message: string;
20
+ rule: string;
21
+ severity: "error" | "warn";
22
+ }[];
23
+ }, never>;
24
+ //# sourceMappingURL=missing-reconcile.trail.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"missing-reconcile.trail.d.ts","sourceRoot":"","sources":["../../src/trails/missing-reconcile.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;SA6BhC,CAAC"}
@@ -0,0 +1,33 @@
1
+ import { missingReconcile } from '../rules/missing-reconcile.js';
2
+ import { wrapRule } from './wrap-rule.js';
3
+ export const missingReconcileTrail = wrapRule({
4
+ examples: [
5
+ {
6
+ expected: { diagnostics: [] },
7
+ input: {
8
+ // Composite keys: `${storeBinding}:${tableName}` so two stores with
9
+ // the same table name don't collide.
10
+ crudTableIds: ['definition:notes'],
11
+ filePath: 'clean.ts',
12
+ knownTrailIds: ['notes.reconcile'],
13
+ reconcileTableIds: ['definition:notes'],
14
+ sourceCode: `import { store } from '@ontrails/store';
15
+ import { z } from 'zod';
16
+
17
+ const definition = store({
18
+ notes: {
19
+ identity: 'id',
20
+ schema: z.object({
21
+ id: z.string(),
22
+ title: z.string(),
23
+ }),
24
+ versioned: true,
25
+ },
26
+ });`,
27
+ },
28
+ name: 'Versioned CRUD tables stay clean when reconcile exists',
29
+ },
30
+ ],
31
+ rule: missingReconcile,
32
+ });
33
+ //# sourceMappingURL=missing-reconcile.trail.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"missing-reconcile.trail.js","sourceRoot":"","sources":["../../src/trails/missing-reconcile.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,CAAC,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC5C,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,oEAAoE;gBACpE,qCAAqC;gBACrC,YAAY,EAAE,CAAC,kBAAkB,CAAC;gBAClC,QAAQ,EAAE,UAAU;gBACpB,aAAa,EAAE,CAAC,iBAAiB,CAAC;gBAClC,iBAAiB,EAAE,CAAC,kBAAkB,CAAC;gBACvC,UAAU,EAAE;;;;;;;;;;;;IAYhB;aACG;YACD,IAAI,EAAE,wDAAwD;SAC/D;KACF;IACD,IAAI,EAAE,gBAAgB;CACvB,CAAC,CAAC"}
@@ -0,0 +1,24 @@
1
+ export declare const missingVisibilityTrail: import("packages/core/src/trail.js").Trail<{
2
+ filePath: string;
3
+ sourceCode: string;
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;
11
+ knownTrailIds?: string[] | undefined;
12
+ onTargetSignalIds?: string[] | undefined;
13
+ reconcileTableIds?: string[] | undefined;
14
+ trailIntentsById?: Record<string, "read" | "write" | "destroy"> | undefined;
15
+ }, {
16
+ diagnostics: {
17
+ filePath: string;
18
+ line: number;
19
+ message: string;
20
+ rule: string;
21
+ severity: "error" | "warn";
22
+ }[];
23
+ }, never>;
24
+ //# sourceMappingURL=missing-visibility.trail.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"missing-visibility.trail.d.ts","sourceRoot":"","sources":["../../src/trails/missing-visibility.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;SAkBjC,CAAC"}
@@ -0,0 +1,22 @@
1
+ import { missingVisibility } from '../rules/missing-visibility.js';
2
+ import { wrapRule } from './wrap-rule.js';
3
+ export const missingVisibilityTrail = wrapRule({
4
+ examples: [
5
+ {
6
+ expected: { diagnostics: [] },
7
+ input: {
8
+ crossTargetTrailIds: ['entity.resolve'],
9
+ filePath: 'clean.ts',
10
+ knownTrailIds: ['entity.resolve'],
11
+ sourceCode: `trail('entity.resolve', {
12
+ visibility: 'internal',
13
+ crossInput: z.object({ forkedFrom: z.string() }),
14
+ blaze: async () => Result.ok({}),
15
+ });`,
16
+ },
17
+ name: 'Composition-only trails stay quiet when already internal',
18
+ },
19
+ ],
20
+ rule: missingVisibility,
21
+ });
22
+ //# sourceMappingURL=missing-visibility.trail.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"missing-visibility.trail.js","sourceRoot":"","sources":["../../src/trails/missing-visibility.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,CAAC,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC7C,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,mBAAmB,EAAE,CAAC,gBAAgB,CAAC;gBACvC,QAAQ,EAAE,UAAU;gBACpB,aAAa,EAAE,CAAC,gBAAgB,CAAC;gBACjC,UAAU,EAAE;;;;IAIhB;aACG;YACD,IAAI,EAAE,0DAA0D;SACjE;KACF;IACD,IAAI,EAAE,iBAAiB;CACxB,CAAC,CAAC"}
@@ -1,4 +1,4 @@
1
- export declare const noDirectImplInRouteTrail: import("@ontrails/core").Trail<{
1
+ export declare const noDirectImplInRouteTrail: import("packages/core/src/trail.js").Trail<{
2
2
  filePath: string;
3
3
  sourceCode: string;
4
4
  }, {
@@ -9,5 +9,5 @@ export declare const noDirectImplInRouteTrail: import("@ontrails/core").Trail<{
9
9
  rule: string;
10
10
  severity: "error" | "warn";
11
11
  }[];
12
- }>;
12
+ }, never>;
13
13
  //# sourceMappingURL=no-direct-impl-in-route.trail.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"no-direct-impl-in-route.trail.d.ts","sourceRoot":"","sources":["../../src/trails/no-direct-impl-in-route.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,wBAAwB;;;;;;;;;;;EAkBnC,CAAC"}
1
+ {"version":3,"file":"no-direct-impl-in-route.trail.d.ts","sourceRoot":"","sources":["../../src/trails/no-direct-impl-in-route.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,wBAAwB;;;;;;;;;;;SAkBnC,CAAC"}
@@ -1,4 +1,4 @@
1
- export declare const noDirectImplementationCallTrail: import("@ontrails/core").Trail<{
1
+ export declare const noDirectImplementationCallTrail: import("packages/core/src/trail.js").Trail<{
2
2
  filePath: string;
3
3
  sourceCode: string;
4
4
  }, {
@@ -9,5 +9,5 @@ export declare const noDirectImplementationCallTrail: import("@ontrails/core").T
9
9
  rule: string;
10
10
  severity: "error" | "warn";
11
11
  }[];
12
- }>;
12
+ }, never>;
13
13
  //# sourceMappingURL=no-direct-implementation-call.trail.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"no-direct-implementation-call.trail.d.ts","sourceRoot":"","sources":["../../src/trails/no-direct-implementation-call.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,+BAA+B;;;;;;;;;;;EAY1C,CAAC"}
1
+ {"version":3,"file":"no-direct-implementation-call.trail.d.ts","sourceRoot":"","sources":["../../src/trails/no-direct-implementation-call.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,+BAA+B;;;;;;;;;;;SAY1C,CAAC"}
@@ -1,4 +1,4 @@
1
- export declare const noSyncResultAssumptionTrail: import("@ontrails/core").Trail<{
1
+ export declare const noSyncResultAssumptionTrail: import("packages/core/src/trail.js").Trail<{
2
2
  filePath: string;
3
3
  sourceCode: string;
4
4
  }, {
@@ -9,5 +9,5 @@ export declare const noSyncResultAssumptionTrail: import("@ontrails/core").Trail
9
9
  rule: string;
10
10
  severity: "error" | "warn";
11
11
  }[];
12
- }>;
12
+ }, never>;
13
13
  //# sourceMappingURL=no-sync-result-assumption.trail.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"no-sync-result-assumption.trail.d.ts","sourceRoot":"","sources":["../../src/trails/no-sync-result-assumption.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,2BAA2B;;;;;;;;;;;EAetC,CAAC"}
1
+ {"version":3,"file":"no-sync-result-assumption.trail.d.ts","sourceRoot":"","sources":["../../src/trails/no-sync-result-assumption.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,2BAA2B;;;;;;;;;;;SAetC,CAAC"}
@@ -0,0 +1,13 @@
1
+ export declare const noThrowInDetourRecoverTrail: 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=no-throw-in-detour-recover.trail.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"no-throw-in-detour-recover.trail.d.ts","sourceRoot":"","sources":["../../src/trails/no-throw-in-detour-recover.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,2BAA2B;;;;;;;;;;;SAoBtC,CAAC"}
@@ -0,0 +1,24 @@
1
+ import { noThrowInDetourRecover } from '../rules/no-throw-in-detour-recover.js';
2
+ import { wrapRule } from './wrap-rule.js';
3
+ export const noThrowInDetourRecoverTrail = wrapRule({
4
+ examples: [
5
+ {
6
+ expected: { diagnostics: [] },
7
+ input: {
8
+ filePath: 'clean.ts',
9
+ sourceCode: `trail("entity.save", {
10
+ detours: [
11
+ {
12
+ on: ConflictError,
13
+ recover: async () => Result.ok({ recovered: true }),
14
+ },
15
+ ],
16
+ blaze: () => Result.err(new ConflictError("conflict")),
17
+ })`,
18
+ },
19
+ name: 'Detour recover without throw',
20
+ },
21
+ ],
22
+ rule: noThrowInDetourRecover,
23
+ });
24
+ //# sourceMappingURL=no-throw-in-detour-recover.trail.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"no-throw-in-detour-recover.trail.js","sourceRoot":"","sources":["../../src/trails/no-throw-in-detour-recover.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,CAAC,MAAM,2BAA2B,GAAG,QAAQ,CAAC;IAClD,QAAQ,EAAE;QACR;YACE,QAAQ,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC7B,KAAK,EAAE;gBACL,QAAQ,EAAE,UAAU;gBACpB,UAAU,EAAE;;;;;;;;GAQjB;aACI;YACD,IAAI,EAAE,8BAA8B;SACrC;KACF;IACD,IAAI,EAAE,sBAAsB;CAC7B,CAAC,CAAC"}
@@ -1,8 +1,18 @@
1
- export declare const noThrowInDetourTargetTrail: import("@ontrails/core").Trail<{
1
+ export declare const noThrowInDetourTargetTrail: 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 noThrowInDetourTargetTrail: import("@ontrails/core").Trail<
11
21
  rule: string;
12
22
  severity: "error" | "warn";
13
23
  }[];
14
- }>;
24
+ }, never>;
15
25
  //# sourceMappingURL=no-throw-in-detour-target.trail.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"no-throw-in-detour-target.trail.d.ts","sourceRoot":"","sources":["../../src/trails/no-throw-in-detour-target.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;EAgBrC,CAAC"}
1
+ {"version":3,"file":"no-throw-in-detour-target.trail.d.ts","sourceRoot":"","sources":["../../src/trails/no-throw-in-detour-target.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;SAgBrC,CAAC"}
@@ -1,4 +1,4 @@
1
- export declare const noThrowInImplementationTrail: import("@ontrails/core").Trail<{
1
+ export declare const noThrowInImplementationTrail: import("packages/core/src/trail.js").Trail<{
2
2
  filePath: string;
3
3
  sourceCode: string;
4
4
  }, {
@@ -9,5 +9,5 @@ export declare const noThrowInImplementationTrail: import("@ontrails/core").Trai
9
9
  rule: string;
10
10
  severity: "error" | "warn";
11
11
  }[];
12
- }>;
12
+ }, never>;
13
13
  //# sourceMappingURL=no-throw-in-implementation.trail.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"no-throw-in-implementation.trail.d.ts","sourceRoot":"","sources":["../../src/trails/no-throw-in-implementation.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,4BAA4B;;;;;;;;;;;EAgBvC,CAAC"}
1
+ {"version":3,"file":"no-throw-in-implementation.trail.d.ts","sourceRoot":"","sources":["../../src/trails/no-throw-in-implementation.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,4BAA4B;;;;;;;;;;;SAgBvC,CAAC"}
@@ -0,0 +1,24 @@
1
+ export declare const onReferencesExistTrail: import("packages/core/src/trail.js").Trail<{
2
+ filePath: string;
3
+ sourceCode: string;
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;
11
+ knownTrailIds?: string[] | undefined;
12
+ onTargetSignalIds?: string[] | undefined;
13
+ reconcileTableIds?: string[] | undefined;
14
+ trailIntentsById?: Record<string, "read" | "write" | "destroy"> | undefined;
15
+ }, {
16
+ diagnostics: {
17
+ filePath: string;
18
+ line: number;
19
+ message: string;
20
+ rule: string;
21
+ severity: "error" | "warn";
22
+ }[];
23
+ }, never>;
24
+ //# sourceMappingURL=on-references-exist.trail.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"on-references-exist.trail.d.ts","sourceRoot":"","sources":["../../src/trails/on-references-exist.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;SAiBjC,CAAC"}
@@ -0,0 +1,21 @@
1
+ import { onReferencesExist } from '../rules/on-references-exist.js';
2
+ import { wrapRule } from './wrap-rule.js';
3
+ export const onReferencesExistTrail = wrapRule({
4
+ examples: [
5
+ {
6
+ expected: { diagnostics: [] },
7
+ input: {
8
+ filePath: 'consumer.ts',
9
+ knownSignalIds: ['entity.created'],
10
+ knownTrailIds: ['notify'],
11
+ sourceCode: `trail("notify", {
12
+ on: ["entity.created"],
13
+ blaze: async (input, ctx) => Result.ok({}),
14
+ })`,
15
+ },
16
+ name: 'Resolved on: reference',
17
+ },
18
+ ],
19
+ rule: onReferencesExist,
20
+ });
21
+ //# sourceMappingURL=on-references-exist.trail.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"on-references-exist.trail.js","sourceRoot":"","sources":["../../src/trails/on-references-exist.trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,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,aAAa;gBACvB,cAAc,EAAE,CAAC,gBAAgB,CAAC;gBAClC,aAAa,EAAE,CAAC,QAAQ,CAAC;gBACzB,UAAU,EAAE;;;GAGjB;aACI;YACD,IAAI,EAAE,wBAAwB;SAC/B;KACF;IACD,IAAI,EAAE,iBAAiB;CACxB,CAAC,CAAC"}
@@ -0,0 +1,24 @@
1
+ export declare const orphanedSignalTrail: import("packages/core/src/trail.js").Trail<{
2
+ filePath: string;
3
+ sourceCode: string;
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;
11
+ knownTrailIds?: string[] | undefined;
12
+ onTargetSignalIds?: string[] | undefined;
13
+ reconcileTableIds?: string[] | undefined;
14
+ trailIntentsById?: Record<string, "read" | "write" | "destroy"> | undefined;
15
+ }, {
16
+ diagnostics: {
17
+ filePath: string;
18
+ line: number;
19
+ message: string;
20
+ rule: string;
21
+ severity: "error" | "warn";
22
+ }[];
23
+ }, never>;
24
+ //# sourceMappingURL=orphaned-signal.trail.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"orphaned-signal.trail.d.ts","sourceRoot":"","sources":["../../src/trails/orphaned-signal.trail.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;SAgC9B,CAAC"}