sdl-mcp 0.6.0

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 (496) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +132 -0
  3. package/config/benchmark.ci.config.json +86 -0
  4. package/config/benchmark.ci.windows.config.json +86 -0
  5. package/config/benchmark.config.example.json +86 -0
  6. package/config/benchmark.config.json +86 -0
  7. package/config/sdlmcp.config.example.json +139 -0
  8. package/config/sdlmcp.config.json +48 -0
  9. package/config/sdlmcp.config.schema.json +381 -0
  10. package/dist/agent/evidence.d.ts +18 -0
  11. package/dist/agent/evidence.d.ts.map +1 -0
  12. package/dist/agent/evidence.js +107 -0
  13. package/dist/agent/evidence.js.map +1 -0
  14. package/dist/agent/executor.d.ts +28 -0
  15. package/dist/agent/executor.d.ts.map +1 -0
  16. package/dist/agent/executor.js +261 -0
  17. package/dist/agent/executor.js.map +1 -0
  18. package/dist/agent/index.d.ts +6 -0
  19. package/dist/agent/index.d.ts.map +1 -0
  20. package/dist/agent/index.js +6 -0
  21. package/dist/agent/index.js.map +1 -0
  22. package/dist/agent/orchestrator.d.ts +14 -0
  23. package/dist/agent/orchestrator.d.ts.map +1 -0
  24. package/dist/agent/orchestrator.js +108 -0
  25. package/dist/agent/orchestrator.js.map +1 -0
  26. package/dist/agent/planner.d.ts +21 -0
  27. package/dist/agent/planner.d.ts.map +1 -0
  28. package/dist/agent/planner.js +153 -0
  29. package/dist/agent/planner.js.map +1 -0
  30. package/dist/agent/types.d.ts +86 -0
  31. package/dist/agent/types.d.ts.map +1 -0
  32. package/dist/agent/types.js +2 -0
  33. package/dist/agent/types.js.map +1 -0
  34. package/dist/benchmark/index.d.ts +4 -0
  35. package/dist/benchmark/index.d.ts.map +1 -0
  36. package/dist/benchmark/index.js +4 -0
  37. package/dist/benchmark/index.js.map +1 -0
  38. package/dist/benchmark/regression.d.ts +40 -0
  39. package/dist/benchmark/regression.d.ts.map +1 -0
  40. package/dist/benchmark/regression.js +199 -0
  41. package/dist/benchmark/regression.js.map +1 -0
  42. package/dist/benchmark/smoothing.d.ts +40 -0
  43. package/dist/benchmark/smoothing.d.ts.map +1 -0
  44. package/dist/benchmark/smoothing.js +121 -0
  45. package/dist/benchmark/smoothing.js.map +1 -0
  46. package/dist/benchmark/threshold.d.ts +64 -0
  47. package/dist/benchmark/threshold.d.ts.map +1 -0
  48. package/dist/benchmark/threshold.js +173 -0
  49. package/dist/benchmark/threshold.js.map +1 -0
  50. package/dist/cli/argParsing.d.ts +34 -0
  51. package/dist/cli/argParsing.d.ts.map +1 -0
  52. package/dist/cli/argParsing.js +329 -0
  53. package/dist/cli/argParsing.js.map +1 -0
  54. package/dist/cli/commands/benchmark.d.ts +16 -0
  55. package/dist/cli/commands/benchmark.d.ts.map +1 -0
  56. package/dist/cli/commands/benchmark.js +412 -0
  57. package/dist/cli/commands/benchmark.js.map +1 -0
  58. package/dist/cli/commands/doctor.d.ts +3 -0
  59. package/dist/cli/commands/doctor.d.ts.map +1 -0
  60. package/dist/cli/commands/doctor.js +218 -0
  61. package/dist/cli/commands/doctor.js.map +1 -0
  62. package/dist/cli/commands/export.d.ts +12 -0
  63. package/dist/cli/commands/export.d.ts.map +1 -0
  64. package/dist/cli/commands/export.js +70 -0
  65. package/dist/cli/commands/export.js.map +1 -0
  66. package/dist/cli/commands/import.d.ts +10 -0
  67. package/dist/cli/commands/import.d.ts.map +1 -0
  68. package/dist/cli/commands/import.js +40 -0
  69. package/dist/cli/commands/import.js.map +1 -0
  70. package/dist/cli/commands/index.d.ts +3 -0
  71. package/dist/cli/commands/index.d.ts.map +1 -0
  72. package/dist/cli/commands/index.js +89 -0
  73. package/dist/cli/commands/index.js.map +1 -0
  74. package/dist/cli/commands/init.d.ts +3 -0
  75. package/dist/cli/commands/init.d.ts.map +1 -0
  76. package/dist/cli/commands/init.js +221 -0
  77. package/dist/cli/commands/init.js.map +1 -0
  78. package/dist/cli/commands/pull.d.ts +11 -0
  79. package/dist/cli/commands/pull.d.ts.map +1 -0
  80. package/dist/cli/commands/pull.js +47 -0
  81. package/dist/cli/commands/pull.js.map +1 -0
  82. package/dist/cli/commands/serve.d.ts +3 -0
  83. package/dist/cli/commands/serve.d.ts.map +1 -0
  84. package/dist/cli/commands/serve.js +72 -0
  85. package/dist/cli/commands/serve.js.map +1 -0
  86. package/dist/cli/commands/version.d.ts +3 -0
  87. package/dist/cli/commands/version.d.ts.map +1 -0
  88. package/dist/cli/commands/version.js +24 -0
  89. package/dist/cli/commands/version.js.map +1 -0
  90. package/dist/cli/index.d.ts +3 -0
  91. package/dist/cli/index.d.ts.map +1 -0
  92. package/dist/cli/index.js +213 -0
  93. package/dist/cli/index.js.map +1 -0
  94. package/dist/cli/logging.d.ts +10 -0
  95. package/dist/cli/logging.d.ts.map +1 -0
  96. package/dist/cli/logging.js +48 -0
  97. package/dist/cli/logging.js.map +1 -0
  98. package/dist/cli/transport/http.d.ts +3 -0
  99. package/dist/cli/transport/http.d.ts.map +1 -0
  100. package/dist/cli/transport/http.js +106 -0
  101. package/dist/cli/transport/http.js.map +1 -0
  102. package/dist/cli/transport/stdio.d.ts +3 -0
  103. package/dist/cli/transport/stdio.d.ts.map +1 -0
  104. package/dist/cli/transport/stdio.js +6 -0
  105. package/dist/cli/transport/stdio.js.map +1 -0
  106. package/dist/cli/types.d.ts +41 -0
  107. package/dist/cli/types.d.ts.map +1 -0
  108. package/dist/cli/types.js +2 -0
  109. package/dist/cli/types.js.map +1 -0
  110. package/dist/code/gate.d.ts +11 -0
  111. package/dist/code/gate.d.ts.map +1 -0
  112. package/dist/code/gate.js +134 -0
  113. package/dist/code/gate.js.map +1 -0
  114. package/dist/code/hotpath.d.ts +17 -0
  115. package/dist/code/hotpath.d.ts.map +1 -0
  116. package/dist/code/hotpath.js +200 -0
  117. package/dist/code/hotpath.js.map +1 -0
  118. package/dist/code/redact.d.ts +19 -0
  119. package/dist/code/redact.d.ts.map +1 -0
  120. package/dist/code/redact.js +92 -0
  121. package/dist/code/redact.js.map +1 -0
  122. package/dist/code/skeleton.d.ts +32 -0
  123. package/dist/code/skeleton.d.ts.map +1 -0
  124. package/dist/code/skeleton.js +610 -0
  125. package/dist/code/skeleton.js.map +1 -0
  126. package/dist/code/windows.d.ts +18 -0
  127. package/dist/code/windows.d.ts.map +1 -0
  128. package/dist/code/windows.js +236 -0
  129. package/dist/code/windows.js.map +1 -0
  130. package/dist/config/constants.d.ts +340 -0
  131. package/dist/config/constants.d.ts.map +1 -0
  132. package/dist/config/constants.js +379 -0
  133. package/dist/config/constants.js.map +1 -0
  134. package/dist/config/loadConfig.d.ts +3 -0
  135. package/dist/config/loadConfig.d.ts.map +1 -0
  136. package/dist/config/loadConfig.js +71 -0
  137. package/dist/config/loadConfig.js.map +1 -0
  138. package/dist/config/types.d.ts +509 -0
  139. package/dist/config/types.d.ts.map +1 -0
  140. package/dist/config/types.js +139 -0
  141. package/dist/config/types.js.map +1 -0
  142. package/dist/db/db.d.ts +4 -0
  143. package/dist/db/db.d.ts.map +1 -0
  144. package/dist/db/db.js +47 -0
  145. package/dist/db/db.js.map +1 -0
  146. package/dist/db/migrations.d.ts +15 -0
  147. package/dist/db/migrations.d.ts.map +1 -0
  148. package/dist/db/migrations.js +81 -0
  149. package/dist/db/migrations.js.map +1 -0
  150. package/dist/db/queries.d.ts +440 -0
  151. package/dist/db/queries.d.ts.map +1 -0
  152. package/dist/db/queries.js +1054 -0
  153. package/dist/db/queries.js.map +1 -0
  154. package/dist/db/schema.d.ts +132 -0
  155. package/dist/db/schema.d.ts.map +1 -0
  156. package/dist/db/schema.js +2 -0
  157. package/dist/db/schema.js.map +1 -0
  158. package/dist/delta/blastRadius.d.ts +24 -0
  159. package/dist/delta/blastRadius.d.ts.map +1 -0
  160. package/dist/delta/blastRadius.js +239 -0
  161. package/dist/delta/blastRadius.js.map +1 -0
  162. package/dist/delta/diff.d.ts +16 -0
  163. package/dist/delta/diff.d.ts.map +1 -0
  164. package/dist/delta/diff.js +236 -0
  165. package/dist/delta/diff.js.map +1 -0
  166. package/dist/delta/versioning.d.ts +11 -0
  167. package/dist/delta/versioning.d.ts.map +1 -0
  168. package/dist/delta/versioning.js +68 -0
  169. package/dist/delta/versioning.js.map +1 -0
  170. package/dist/graph/buildGraph.d.ts +12 -0
  171. package/dist/graph/buildGraph.d.ts.map +1 -0
  172. package/dist/graph/buildGraph.js +81 -0
  173. package/dist/graph/buildGraph.js.map +1 -0
  174. package/dist/graph/cache.d.ts +111 -0
  175. package/dist/graph/cache.d.ts.map +1 -0
  176. package/dist/graph/cache.js +237 -0
  177. package/dist/graph/cache.js.map +1 -0
  178. package/dist/graph/metrics.d.ts +12 -0
  179. package/dist/graph/metrics.d.ts.map +1 -0
  180. package/dist/graph/metrics.js +253 -0
  181. package/dist/graph/metrics.js.map +1 -0
  182. package/dist/graph/minHeap.d.ts +91 -0
  183. package/dist/graph/minHeap.d.ts.map +1 -0
  184. package/dist/graph/minHeap.js +159 -0
  185. package/dist/graph/minHeap.js.map +1 -0
  186. package/dist/graph/overview.d.ts +22 -0
  187. package/dist/graph/overview.d.ts.map +1 -0
  188. package/dist/graph/overview.js +379 -0
  189. package/dist/graph/overview.js.map +1 -0
  190. package/dist/graph/score.d.ts +27 -0
  191. package/dist/graph/score.d.ts.map +1 -0
  192. package/dist/graph/score.js +214 -0
  193. package/dist/graph/score.js.map +1 -0
  194. package/dist/graph/slice.d.ts +51 -0
  195. package/dist/graph/slice.d.ts.map +1 -0
  196. package/dist/graph/slice.js +1047 -0
  197. package/dist/graph/slice.js.map +1 -0
  198. package/dist/graph/sliceCache.d.ts +33 -0
  199. package/dist/graph/sliceCache.d.ts.map +1 -0
  200. package/dist/graph/sliceCache.js +140 -0
  201. package/dist/graph/sliceCache.js.map +1 -0
  202. package/dist/indexer/adapter/BaseAdapter.d.ts +29 -0
  203. package/dist/indexer/adapter/BaseAdapter.d.ts.map +1 -0
  204. package/dist/indexer/adapter/BaseAdapter.js +97 -0
  205. package/dist/indexer/adapter/BaseAdapter.js.map +1 -0
  206. package/dist/indexer/adapter/LanguageAdapter.d.ts +20 -0
  207. package/dist/indexer/adapter/LanguageAdapter.d.ts.map +1 -0
  208. package/dist/indexer/adapter/LanguageAdapter.js +2 -0
  209. package/dist/indexer/adapter/LanguageAdapter.js.map +1 -0
  210. package/dist/indexer/adapter/adapters.d.ts +57 -0
  211. package/dist/indexer/adapter/adapters.d.ts.map +1 -0
  212. package/dist/indexer/adapter/adapters.js +129 -0
  213. package/dist/indexer/adapter/adapters.js.map +1 -0
  214. package/dist/indexer/adapter/c.d.ts +18 -0
  215. package/dist/indexer/adapter/c.d.ts.map +1 -0
  216. package/dist/indexer/adapter/c.js +443 -0
  217. package/dist/indexer/adapter/c.js.map +1 -0
  218. package/dist/indexer/adapter/cpp.d.ts +18 -0
  219. package/dist/indexer/adapter/cpp.d.ts.map +1 -0
  220. package/dist/indexer/adapter/cpp.js +493 -0
  221. package/dist/indexer/adapter/cpp.js.map +1 -0
  222. package/dist/indexer/adapter/csharp.d.ts +48 -0
  223. package/dist/indexer/adapter/csharp.d.ts.map +1 -0
  224. package/dist/indexer/adapter/csharp.js +638 -0
  225. package/dist/indexer/adapter/csharp.js.map +1 -0
  226. package/dist/indexer/adapter/go.d.ts +14 -0
  227. package/dist/indexer/adapter/go.d.ts.map +1 -0
  228. package/dist/indexer/adapter/go.js +400 -0
  229. package/dist/indexer/adapter/go.js.map +1 -0
  230. package/dist/indexer/adapter/index.d.ts +14 -0
  231. package/dist/indexer/adapter/index.d.ts.map +1 -0
  232. package/dist/indexer/adapter/index.js +13 -0
  233. package/dist/indexer/adapter/index.js.map +1 -0
  234. package/dist/indexer/adapter/java.d.ts +14 -0
  235. package/dist/indexer/adapter/java.d.ts.map +1 -0
  236. package/dist/indexer/adapter/java.js +391 -0
  237. package/dist/indexer/adapter/java.js.map +1 -0
  238. package/dist/indexer/adapter/kotlin.d.ts +18 -0
  239. package/dist/indexer/adapter/kotlin.d.ts.map +1 -0
  240. package/dist/indexer/adapter/kotlin.js +599 -0
  241. package/dist/indexer/adapter/kotlin.js.map +1 -0
  242. package/dist/indexer/adapter/php.d.ts +18 -0
  243. package/dist/indexer/adapter/php.d.ts.map +1 -0
  244. package/dist/indexer/adapter/php.js +574 -0
  245. package/dist/indexer/adapter/php.js.map +1 -0
  246. package/dist/indexer/adapter/plugin/index.d.ts +3 -0
  247. package/dist/indexer/adapter/plugin/index.d.ts.map +1 -0
  248. package/dist/indexer/adapter/plugin/index.js +3 -0
  249. package/dist/indexer/adapter/plugin/index.js.map +1 -0
  250. package/dist/indexer/adapter/plugin/loader.d.ts +13 -0
  251. package/dist/indexer/adapter/plugin/loader.d.ts.map +1 -0
  252. package/dist/indexer/adapter/plugin/loader.js +154 -0
  253. package/dist/indexer/adapter/plugin/loader.js.map +1 -0
  254. package/dist/indexer/adapter/plugin/types.d.ts +76 -0
  255. package/dist/indexer/adapter/plugin/types.d.ts.map +1 -0
  256. package/dist/indexer/adapter/plugin/types.js +47 -0
  257. package/dist/indexer/adapter/plugin/types.js.map +1 -0
  258. package/dist/indexer/adapter/python.d.ts +14 -0
  259. package/dist/indexer/adapter/python.d.ts.map +1 -0
  260. package/dist/indexer/adapter/python.js +511 -0
  261. package/dist/indexer/adapter/python.js.map +1 -0
  262. package/dist/indexer/adapter/registry.d.ts +17 -0
  263. package/dist/indexer/adapter/registry.d.ts.map +1 -0
  264. package/dist/indexer/adapter/registry.js +134 -0
  265. package/dist/indexer/adapter/registry.js.map +1 -0
  266. package/dist/indexer/adapter/rust.d.ts +18 -0
  267. package/dist/indexer/adapter/rust.d.ts.map +1 -0
  268. package/dist/indexer/adapter/rust.js +709 -0
  269. package/dist/indexer/adapter/rust.js.map +1 -0
  270. package/dist/indexer/adapter/shell.d.ts +18 -0
  271. package/dist/indexer/adapter/shell.d.ts.map +1 -0
  272. package/dist/indexer/adapter/shell.js +345 -0
  273. package/dist/indexer/adapter/shell.js.map +1 -0
  274. package/dist/indexer/adapter/typescript.d.ts +14 -0
  275. package/dist/indexer/adapter/typescript.d.ts.map +1 -0
  276. package/dist/indexer/adapter/typescript.js +31 -0
  277. package/dist/indexer/adapter/typescript.js.map +1 -0
  278. package/dist/indexer/configEdges.d.ts +30 -0
  279. package/dist/indexer/configEdges.d.ts.map +1 -0
  280. package/dist/indexer/configEdges.js +260 -0
  281. package/dist/indexer/configEdges.js.map +1 -0
  282. package/dist/indexer/fileScanner.d.ts +16 -0
  283. package/dist/indexer/fileScanner.d.ts.map +1 -0
  284. package/dist/indexer/fileScanner.js +90 -0
  285. package/dist/indexer/fileScanner.js.map +1 -0
  286. package/dist/indexer/fingerprints.d.ts +23 -0
  287. package/dist/indexer/fingerprints.d.ts.map +1 -0
  288. package/dist/indexer/fingerprints.js +97 -0
  289. package/dist/indexer/fingerprints.js.map +1 -0
  290. package/dist/indexer/indexer.d.ts +58 -0
  291. package/dist/indexer/indexer.d.ts.map +1 -0
  292. package/dist/indexer/indexer.js +1229 -0
  293. package/dist/indexer/indexer.js.map +1 -0
  294. package/dist/indexer/summaries.d.ts +5 -0
  295. package/dist/indexer/summaries.d.ts.map +1 -0
  296. package/dist/indexer/summaries.js +331 -0
  297. package/dist/indexer/summaries.js.map +1 -0
  298. package/dist/indexer/treesitter/extractCalls.d.ts +40 -0
  299. package/dist/indexer/treesitter/extractCalls.d.ts.map +1 -0
  300. package/dist/indexer/treesitter/extractCalls.js +561 -0
  301. package/dist/indexer/treesitter/extractCalls.js.map +1 -0
  302. package/dist/indexer/treesitter/extractImports.d.ts +12 -0
  303. package/dist/indexer/treesitter/extractImports.d.ts.map +1 -0
  304. package/dist/indexer/treesitter/extractImports.js +184 -0
  305. package/dist/indexer/treesitter/extractImports.js.map +1 -0
  306. package/dist/indexer/treesitter/extractSymbols.d.ts +24 -0
  307. package/dist/indexer/treesitter/extractSymbols.d.ts.map +1 -0
  308. package/dist/indexer/treesitter/extractSymbols.js +389 -0
  309. package/dist/indexer/treesitter/extractSymbols.js.map +1 -0
  310. package/dist/indexer/treesitter/grammarLoader.d.ts +6 -0
  311. package/dist/indexer/treesitter/grammarLoader.d.ts.map +1 -0
  312. package/dist/indexer/treesitter/grammarLoader.js +125 -0
  313. package/dist/indexer/treesitter/grammarLoader.js.map +1 -0
  314. package/dist/indexer/treesitter/symbolUtils.d.ts +4 -0
  315. package/dist/indexer/treesitter/symbolUtils.d.ts.map +1 -0
  316. package/dist/indexer/treesitter/symbolUtils.js +26 -0
  317. package/dist/indexer/treesitter/symbolUtils.js.map +1 -0
  318. package/dist/indexer/treesitter/tsTreesitter.d.ts +9 -0
  319. package/dist/indexer/treesitter/tsTreesitter.d.ts.map +1 -0
  320. package/dist/indexer/treesitter/tsTreesitter.js +54 -0
  321. package/dist/indexer/treesitter/tsTreesitter.js.map +1 -0
  322. package/dist/indexer/treesitter/types.d.ts +19 -0
  323. package/dist/indexer/treesitter/types.d.ts.map +1 -0
  324. package/dist/indexer/treesitter/types.js +7 -0
  325. package/dist/indexer/treesitter/types.js.map +1 -0
  326. package/dist/indexer/ts/tsParser.d.ts +20 -0
  327. package/dist/indexer/ts/tsParser.d.ts.map +1 -0
  328. package/dist/indexer/ts/tsParser.js +114 -0
  329. package/dist/indexer/ts/tsParser.js.map +1 -0
  330. package/dist/indexer/worker.d.ts +2 -0
  331. package/dist/indexer/worker.d.ts.map +1 -0
  332. package/dist/indexer/worker.js +59 -0
  333. package/dist/indexer/worker.js.map +1 -0
  334. package/dist/indexer/workerPool.d.ts +20 -0
  335. package/dist/indexer/workerPool.d.ts.map +1 -0
  336. package/dist/indexer/workerPool.js +93 -0
  337. package/dist/indexer/workerPool.js.map +1 -0
  338. package/dist/main.d.ts +2 -0
  339. package/dist/main.d.ts.map +1 -0
  340. package/dist/main.js +111 -0
  341. package/dist/main.js.map +1 -0
  342. package/dist/mcp/errors.d.ts +40 -0
  343. package/dist/mcp/errors.d.ts.map +1 -0
  344. package/dist/mcp/errors.js +66 -0
  345. package/dist/mcp/errors.js.map +1 -0
  346. package/dist/mcp/resources.d.ts +24 -0
  347. package/dist/mcp/resources.d.ts.map +1 -0
  348. package/dist/mcp/resources.js +140 -0
  349. package/dist/mcp/resources.js.map +1 -0
  350. package/dist/mcp/telemetry.d.ts +67 -0
  351. package/dist/mcp/telemetry.d.ts.map +1 -0
  352. package/dist/mcp/telemetry.js +128 -0
  353. package/dist/mcp/telemetry.js.map +1 -0
  354. package/dist/mcp/tools/agent.d.ts +241 -0
  355. package/dist/mcp/tools/agent.d.ts.map +1 -0
  356. package/dist/mcp/tools/agent.js +113 -0
  357. package/dist/mcp/tools/agent.js.map +1 -0
  358. package/dist/mcp/tools/code.d.ts +32 -0
  359. package/dist/mcp/tools/code.d.ts.map +1 -0
  360. package/dist/mcp/tools/code.js +388 -0
  361. package/dist/mcp/tools/code.js.map +1 -0
  362. package/dist/mcp/tools/delta.d.ts +12 -0
  363. package/dist/mcp/tools/delta.d.ts.map +1 -0
  364. package/dist/mcp/tools/delta.js +82 -0
  365. package/dist/mcp/tools/delta.js.map +1 -0
  366. package/dist/mcp/tools/index.d.ts +3 -0
  367. package/dist/mcp/tools/index.d.ts.map +1 -0
  368. package/dist/mcp/tools/index.js +35 -0
  369. package/dist/mcp/tools/index.js.map +1 -0
  370. package/dist/mcp/tools/policy.d.ts +20 -0
  371. package/dist/mcp/tools/policy.d.ts.map +1 -0
  372. package/dist/mcp/tools/policy.js +67 -0
  373. package/dist/mcp/tools/policy.js.map +1 -0
  374. package/dist/mcp/tools/prRisk.d.ts +34 -0
  375. package/dist/mcp/tools/prRisk.d.ts.map +1 -0
  376. package/dist/mcp/tools/prRisk.js +304 -0
  377. package/dist/mcp/tools/prRisk.js.map +1 -0
  378. package/dist/mcp/tools/repo.d.ts +46 -0
  379. package/dist/mcp/tools/repo.d.ts.map +1 -0
  380. package/dist/mcp/tools/repo.js +224 -0
  381. package/dist/mcp/tools/repo.js.map +1 -0
  382. package/dist/mcp/tools/slice.d.ts +44 -0
  383. package/dist/mcp/tools/slice.d.ts.map +1 -0
  384. package/dist/mcp/tools/slice.js +688 -0
  385. package/dist/mcp/tools/slice.js.map +1 -0
  386. package/dist/mcp/tools/symbol.d.ts +21 -0
  387. package/dist/mcp/tools/symbol.d.ts.map +1 -0
  388. package/dist/mcp/tools/symbol.js +416 -0
  389. package/dist/mcp/tools/symbol.js.map +1 -0
  390. package/dist/mcp/tools.d.ts +6003 -0
  391. package/dist/mcp/tools.d.ts.map +1 -0
  392. package/dist/mcp/tools.js +932 -0
  393. package/dist/mcp/tools.js.map +1 -0
  394. package/dist/mcp/types.d.ts +500 -0
  395. package/dist/mcp/types.d.ts.map +1 -0
  396. package/dist/mcp/types.js +2 -0
  397. package/dist/mcp/types.js.map +1 -0
  398. package/dist/policy/engine.d.ts +21 -0
  399. package/dist/policy/engine.d.ts.map +1 -0
  400. package/dist/policy/engine.js +477 -0
  401. package/dist/policy/engine.js.map +1 -0
  402. package/dist/policy/types.d.ts +73 -0
  403. package/dist/policy/types.d.ts.map +1 -0
  404. package/dist/policy/types.js +12 -0
  405. package/dist/policy/types.js.map +1 -0
  406. package/dist/server.d.ts +17 -0
  407. package/dist/server.d.ts.map +1 -0
  408. package/dist/server.js +136 -0
  409. package/dist/server.js.map +1 -0
  410. package/dist/sync/pull.d.ts +4 -0
  411. package/dist/sync/pull.d.ts.map +1 -0
  412. package/dist/sync/pull.js +113 -0
  413. package/dist/sync/pull.js.map +1 -0
  414. package/dist/sync/sync.d.ts +6 -0
  415. package/dist/sync/sync.d.ts.map +1 -0
  416. package/dist/sync/sync.js +244 -0
  417. package/dist/sync/sync.js.map +1 -0
  418. package/dist/sync/types.d.ts +136 -0
  419. package/dist/sync/types.d.ts.map +1 -0
  420. package/dist/sync/types.js +2 -0
  421. package/dist/sync/types.js.map +1 -0
  422. package/dist/ts/diagnostics.d.ts +61 -0
  423. package/dist/ts/diagnostics.d.ts.map +1 -0
  424. package/dist/ts/diagnostics.js +259 -0
  425. package/dist/ts/diagnostics.js.map +1 -0
  426. package/dist/ts/mapping.d.ts +27 -0
  427. package/dist/ts/mapping.d.ts.map +1 -0
  428. package/dist/ts/mapping.js +68 -0
  429. package/dist/ts/mapping.js.map +1 -0
  430. package/dist/util/asyncFs.d.ts +103 -0
  431. package/dist/util/asyncFs.d.ts.map +1 -0
  432. package/dist/util/asyncFs.js +133 -0
  433. package/dist/util/asyncFs.js.map +1 -0
  434. package/dist/util/concurrency.d.ts +77 -0
  435. package/dist/util/concurrency.d.ts.map +1 -0
  436. package/dist/util/concurrency.js +146 -0
  437. package/dist/util/concurrency.js.map +1 -0
  438. package/dist/util/depLabels.d.ts +3 -0
  439. package/dist/util/depLabels.d.ts.map +1 -0
  440. package/dist/util/depLabels.js +19 -0
  441. package/dist/util/depLabels.js.map +1 -0
  442. package/dist/util/findPackageRoot.d.ts +7 -0
  443. package/dist/util/findPackageRoot.d.ts.map +1 -0
  444. package/dist/util/findPackageRoot.js +21 -0
  445. package/dist/util/findPackageRoot.js.map +1 -0
  446. package/dist/util/hashing.d.ts +9 -0
  447. package/dist/util/hashing.d.ts.map +1 -0
  448. package/dist/util/hashing.js +37 -0
  449. package/dist/util/hashing.js.map +1 -0
  450. package/dist/util/logger.d.ts +14 -0
  451. package/dist/util/logger.d.ts.map +1 -0
  452. package/dist/util/logger.js +51 -0
  453. package/dist/util/logger.js.map +1 -0
  454. package/dist/util/paths.d.ts +6 -0
  455. package/dist/util/paths.d.ts.map +1 -0
  456. package/dist/util/paths.js +79 -0
  457. package/dist/util/paths.js.map +1 -0
  458. package/dist/util/time.d.ts +4 -0
  459. package/dist/util/time.d.ts.map +1 -0
  460. package/dist/util/time.js +20 -0
  461. package/dist/util/time.js.map +1 -0
  462. package/dist/util/tokenize.d.ts +5 -0
  463. package/dist/util/tokenize.d.ts.map +1 -0
  464. package/dist/util/tokenize.js +30 -0
  465. package/dist/util/tokenize.js.map +1 -0
  466. package/dist/util/truncation.d.ts +38 -0
  467. package/dist/util/truncation.d.ts.map +1 -0
  468. package/dist/util/truncation.js +259 -0
  469. package/dist/util/truncation.js.map +1 -0
  470. package/migrations/.gitkeep +1 -0
  471. package/migrations/0001_init.sql +61 -0
  472. package/migrations/0002_edges_indexes.sql +2 -0
  473. package/migrations/0003_versions.sql +22 -0
  474. package/migrations/0004_metrics_audit.sql +23 -0
  475. package/migrations/0005_slice_handles.sql +15 -0
  476. package/migrations/0006_content_addressed.sql +29 -0
  477. package/migrations/0007_add_language_to_symbols.sql +28 -0
  478. package/migrations/0008_performance_indexes.sql +21 -0
  479. package/migrations/0009_fix_edge_fks.sql +37 -0
  480. package/migrations/0010_standardize_fks.sql +35 -0
  481. package/migrations/0011_add_directory_column.sql +20 -0
  482. package/migrations/0012_symbol_references.sql +16 -0
  483. package/migrations/0013_sync_artifacts.sql +17 -0
  484. package/package.json +107 -0
  485. package/templates/CLAUDE.md.template +179 -0
  486. package/templates/README.md +228 -0
  487. package/templates/claude-code.json +54 -0
  488. package/templates/codex.json +55 -0
  489. package/templates/gemini.json +66 -0
  490. package/templates/opencode.json +90 -0
  491. package/templates/plugin-template/LICENSE +21 -0
  492. package/templates/plugin-template/README.md +309 -0
  493. package/templates/plugin-template/index.ts +160 -0
  494. package/templates/plugin-template/package.json +31 -0
  495. package/templates/plugin-template/test/plugin.test.ts +186 -0
  496. package/templates/plugin-template/tsconfig.json +21 -0
@@ -0,0 +1,477 @@
1
+ import crypto from "crypto";
2
+ import { DEFAULT_POLICY_CONFIG } from "./types.js";
3
+ import { logger } from "../util/logger.js";
4
+ import { POLICY_PRIORITY_WINDOW_SIZE_LIMIT, POLICY_PRIORITY_IDENTIFIERS_REQUIRED, POLICY_PRIORITY_BUDGET_CAPS, POLICY_PRIORITY_BREAK_GLASS, POLICY_PRIORITY_DEFAULT_DENY_RAW, } from "../config/constants.js";
5
+ /**
6
+ * Policy rule priorities - higher values run first.
7
+ * Rules are evaluated in descending priority order until one denies or all pass.
8
+ *
9
+ * Priority tiers:
10
+ * - 100: Hard limits (window size) - must be checked first
11
+ * - 90: Input validation (required fields)
12
+ * - 80: Budget enforcement (token/request caps)
13
+ * - 10: Override mechanisms (break-glass)
14
+ */
15
+ const RULE_PRIORITY = {
16
+ WINDOW_SIZE_LIMIT: POLICY_PRIORITY_WINDOW_SIZE_LIMIT,
17
+ IDENTIFIERS_REQUIRED: POLICY_PRIORITY_IDENTIFIERS_REQUIRED,
18
+ BUDGET_CAPS: POLICY_PRIORITY_BUDGET_CAPS,
19
+ BREAK_GLASS: POLICY_PRIORITY_BREAK_GLASS,
20
+ DEFAULT_DENY_RAW: POLICY_PRIORITY_DEFAULT_DENY_RAW,
21
+ };
22
+ export function generateAuditHash(decision, evidence, context) {
23
+ const hashInput = {
24
+ decision,
25
+ evidence,
26
+ requestType: context.requestType,
27
+ repoId: context.repoId,
28
+ symbolId: context.symbolId,
29
+ };
30
+ const hashString = JSON.stringify(hashInput);
31
+ return crypto.createHash("sha256").update(hashString).digest("hex");
32
+ }
33
+ export class PolicyEngine {
34
+ rules = new Map();
35
+ config;
36
+ constructor(config = {}) {
37
+ this.config = { ...DEFAULT_POLICY_CONFIG, ...config };
38
+ this.registerDefaultRules();
39
+ }
40
+ registerDefaultRules() {
41
+ this.addRule({
42
+ name: "window-size-limit",
43
+ enabled: true,
44
+ priority: RULE_PRIORITY.WINDOW_SIZE_LIMIT,
45
+ evaluate: (ctx) => {
46
+ if (ctx.requestType !== "codeWindow") {
47
+ return {
48
+ passed: true,
49
+ evidence: {
50
+ type: "check-skipped",
51
+ value: null,
52
+ reason: "Rule only applies to codeWindow requests",
53
+ },
54
+ };
55
+ }
56
+ const failed = [];
57
+ if (ctx.maxWindowLines &&
58
+ ctx.maxWindowLines > this.config.maxWindowLines) {
59
+ failed.push({
60
+ type: "max-lines-exceeded",
61
+ value: {
62
+ requested: ctx.maxWindowLines,
63
+ limit: this.config.maxWindowLines,
64
+ },
65
+ reason: `Requested lines (${ctx.maxWindowLines}) exceed maximum (${this.config.maxWindowLines})`,
66
+ });
67
+ }
68
+ if (ctx.maxWindowTokens &&
69
+ ctx.maxWindowTokens > this.config.maxWindowTokens) {
70
+ failed.push({
71
+ type: "max-tokens-exceeded",
72
+ value: {
73
+ requested: ctx.maxWindowTokens,
74
+ limit: this.config.maxWindowTokens,
75
+ },
76
+ reason: `Requested tokens (${ctx.maxWindowTokens}) exceed maximum (${this.config.maxWindowTokens})`,
77
+ });
78
+ }
79
+ if (failed.length > 0) {
80
+ return {
81
+ passed: false,
82
+ evidence: failed[0],
83
+ downgradeTo: "skeleton",
84
+ };
85
+ }
86
+ return {
87
+ passed: true,
88
+ evidence: {
89
+ type: "window-size-check",
90
+ value: {
91
+ maxLines: this.config.maxWindowLines,
92
+ maxTokens: this.config.maxWindowTokens,
93
+ },
94
+ reason: "Window size within limits",
95
+ },
96
+ };
97
+ },
98
+ });
99
+ this.addRule({
100
+ name: "identifiers-required",
101
+ enabled: true,
102
+ priority: RULE_PRIORITY.IDENTIFIERS_REQUIRED,
103
+ evaluate: (ctx) => {
104
+ if (ctx.requestType !== "codeWindow") {
105
+ return {
106
+ passed: true,
107
+ evidence: {
108
+ type: "check-skipped",
109
+ value: null,
110
+ reason: "Rule only applies to codeWindow requests",
111
+ },
112
+ };
113
+ }
114
+ if (!this.config.requireIdentifiers) {
115
+ return {
116
+ passed: true,
117
+ evidence: {
118
+ type: "identifiers-not-required",
119
+ value: null,
120
+ reason: "Identifiers not required by policy",
121
+ },
122
+ };
123
+ }
124
+ if (!ctx.identifiersToFind || ctx.identifiersToFind.length === 0) {
125
+ return {
126
+ passed: false,
127
+ evidence: {
128
+ type: "missing-identifiers",
129
+ value: null,
130
+ reason: "No identifiers provided, but required by policy",
131
+ },
132
+ downgradeTo: "skeleton",
133
+ };
134
+ }
135
+ return {
136
+ passed: true,
137
+ evidence: {
138
+ type: "identifiers-provided",
139
+ value: {
140
+ count: ctx.identifiersToFind.length,
141
+ identifiers: ctx.identifiersToFind.slice(0, 5),
142
+ },
143
+ reason: `Provided ${ctx.identifiersToFind.length} identifiers`,
144
+ },
145
+ };
146
+ },
147
+ });
148
+ this.addRule({
149
+ name: "budget-caps",
150
+ enabled: true,
151
+ priority: RULE_PRIORITY.BUDGET_CAPS,
152
+ evaluate: (ctx) => {
153
+ if (ctx.requestType !== "graphSlice" || !ctx.budget) {
154
+ return {
155
+ passed: true,
156
+ evidence: {
157
+ type: "check-skipped",
158
+ value: null,
159
+ reason: "Rule only applies to graphSlice with budget",
160
+ },
161
+ };
162
+ }
163
+ const failed = [];
164
+ if (ctx.budget.maxCards &&
165
+ ctx.budget.maxCards > this.config.budgetCaps.maxCards) {
166
+ failed.push({
167
+ type: "max-cards-exceeded",
168
+ value: {
169
+ requested: ctx.budget.maxCards,
170
+ limit: this.config.budgetCaps.maxCards,
171
+ },
172
+ reason: `Requested cards (${ctx.budget.maxCards}) exceed maximum (${this.config.budgetCaps.maxCards})`,
173
+ });
174
+ }
175
+ if (ctx.budget.maxEstimatedTokens &&
176
+ ctx.budget.maxEstimatedTokens >
177
+ this.config.budgetCaps.maxEstimatedTokens) {
178
+ failed.push({
179
+ type: "max-tokens-budget-exceeded",
180
+ value: {
181
+ requested: ctx.budget.maxEstimatedTokens,
182
+ limit: this.config.budgetCaps.maxEstimatedTokens,
183
+ },
184
+ reason: `Requested tokens (${ctx.budget.maxEstimatedTokens}) exceed maximum (${this.config.budgetCaps.maxEstimatedTokens})`,
185
+ });
186
+ }
187
+ if (failed.length > 0) {
188
+ return {
189
+ passed: false,
190
+ evidence: failed[0],
191
+ };
192
+ }
193
+ return {
194
+ passed: true,
195
+ evidence: {
196
+ type: "budget-within-limits",
197
+ value: {
198
+ maxCards: this.config.budgetCaps.maxCards,
199
+ maxEstimatedTokens: this.config.budgetCaps.maxEstimatedTokens,
200
+ },
201
+ reason: "Budget within caps",
202
+ },
203
+ };
204
+ },
205
+ });
206
+ this.addRule({
207
+ name: "break-glass",
208
+ enabled: true,
209
+ priority: RULE_PRIORITY.BREAK_GLASS,
210
+ evaluate: (ctx) => {
211
+ if (!this.config.allowBreakGlass) {
212
+ return {
213
+ passed: true,
214
+ evidence: {
215
+ type: "break-glass-disabled",
216
+ value: null,
217
+ reason: "Break glass not allowed by policy",
218
+ },
219
+ };
220
+ }
221
+ if (ctx.reason) {
222
+ const reasonUpper = ctx.reason.toUpperCase();
223
+ if (reasonUpper.includes("AUDIT") ||
224
+ reasonUpper.includes("BREAK-GLASS")) {
225
+ return {
226
+ passed: true,
227
+ evidence: {
228
+ type: "break-glass-triggered",
229
+ value: { reason: ctx.reason },
230
+ reason: "Break glass override triggered",
231
+ },
232
+ };
233
+ }
234
+ }
235
+ return {
236
+ passed: true,
237
+ evidence: {
238
+ type: "break-glass-not-triggered",
239
+ value: null,
240
+ reason: "No break glass override requested",
241
+ },
242
+ };
243
+ },
244
+ });
245
+ this.addRule({
246
+ name: "default-deny-raw",
247
+ enabled: true,
248
+ priority: RULE_PRIORITY.DEFAULT_DENY_RAW,
249
+ evaluate: (ctx) => {
250
+ if (ctx.requestType !== "codeWindow") {
251
+ return {
252
+ passed: true,
253
+ evidence: {
254
+ type: "check-skipped",
255
+ value: null,
256
+ reason: "Rule only applies to codeWindow requests",
257
+ },
258
+ };
259
+ }
260
+ if (!this.config.defaultDenyRaw) {
261
+ return {
262
+ passed: true,
263
+ evidence: {
264
+ type: "default-allow-raw",
265
+ value: null,
266
+ reason: "Raw code access allowed by default",
267
+ },
268
+ };
269
+ }
270
+ if (ctx.sliceContext?.cards.some((c) => c.symbolId === ctx.symbolId) ||
271
+ ctx.sliceContext?.frontier?.some((f) => f.symbolId === ctx.symbolId)) {
272
+ return {
273
+ passed: true,
274
+ evidence: {
275
+ type: "in-slice-or-frontier",
276
+ value: { symbolId: ctx.symbolId },
277
+ reason: "Symbol is in slice or frontier",
278
+ },
279
+ };
280
+ }
281
+ const hasIdentifiers = ctx.identifiersToFind && ctx.identifiersToFind.length > 0;
282
+ const downgradeTarget = hasIdentifiers ? "hotpath" : "skeleton";
283
+ return {
284
+ passed: false,
285
+ evidence: {
286
+ type: "default-deny-raw",
287
+ value: {
288
+ symbolId: ctx.symbolId,
289
+ hasIdentifiers,
290
+ suggestedDowngrade: downgradeTarget,
291
+ },
292
+ reason: `Raw code access denied by default policy - try ${downgradeTarget} instead`,
293
+ },
294
+ downgradeTo: downgradeTarget,
295
+ };
296
+ },
297
+ });
298
+ }
299
+ addRule(rule) {
300
+ this.rules.set(rule.name, rule);
301
+ }
302
+ removeRule(name) {
303
+ this.rules.delete(name);
304
+ }
305
+ getRule(name) {
306
+ return this.rules.get(name);
307
+ }
308
+ evaluate(context) {
309
+ const evidence = [];
310
+ const deniedReasons = [];
311
+ let downgradeTo = null;
312
+ const sortedRules = Array.from(this.rules.values()).sort((a, b) => {
313
+ const priorityDiff = b.priority - a.priority;
314
+ if (priorityDiff !== 0)
315
+ return priorityDiff;
316
+ return a.name.localeCompare(b.name);
317
+ });
318
+ for (const rule of sortedRules) {
319
+ if (!rule.enabled)
320
+ continue;
321
+ try {
322
+ const result = rule.evaluate(context);
323
+ evidence.push(result.evidence);
324
+ if (!result.passed) {
325
+ deniedReasons.push(result.evidence.reason);
326
+ if (result.downgradeTo && !downgradeTo) {
327
+ downgradeTo = result.downgradeTo;
328
+ }
329
+ }
330
+ }
331
+ catch (error) {
332
+ logger.error(`Policy rule "${rule.name}" evaluation failed`, {
333
+ error,
334
+ context,
335
+ });
336
+ evidence.push({
337
+ type: "rule-error",
338
+ value: { ruleName: rule.name, error: String(error) },
339
+ reason: `Rule "${rule.name}" failed to evaluate`,
340
+ });
341
+ }
342
+ }
343
+ let decision = "approve";
344
+ if (deniedReasons.length > 0) {
345
+ if (downgradeTo === "skeleton") {
346
+ decision = "downgrade-to-skeleton";
347
+ }
348
+ else if (downgradeTo === "hotpath") {
349
+ decision = "downgrade-to-hotpath";
350
+ }
351
+ else {
352
+ decision = "deny";
353
+ }
354
+ }
355
+ const auditHash = generateAuditHash(decision, evidence, context);
356
+ let downgradeTarget;
357
+ if (downgradeTo && context.symbolId) {
358
+ downgradeTarget = {
359
+ type: downgradeTo,
360
+ symbolId: context.symbolId,
361
+ repoId: context.repoId,
362
+ };
363
+ }
364
+ return {
365
+ decision,
366
+ evidenceUsed: evidence,
367
+ auditHash,
368
+ deniedReasons: deniedReasons.length > 0 ? deniedReasons : undefined,
369
+ downgradeTarget,
370
+ };
371
+ }
372
+ generateNextBestAction(decision, context) {
373
+ if (decision.decision === "approve") {
374
+ return {};
375
+ }
376
+ const deniedReasons = decision.deniedReasons ?? [];
377
+ let nextBestAction = "retryWithSameInputs";
378
+ const requiredFieldsForNext = {};
379
+ const deniedReasonSet = new Set(deniedReasons);
380
+ const deniedEvidence = decision.evidenceUsed.filter((e) => deniedReasonSet.has(e.reason));
381
+ if (decision.decision === "downgrade-to-skeleton") {
382
+ nextBestAction = "requestSkeleton";
383
+ if (context.symbolId) {
384
+ requiredFieldsForNext.requestSkeleton = {
385
+ symbolId: context.symbolId,
386
+ repoId: context.repoId,
387
+ };
388
+ }
389
+ }
390
+ else if (decision.decision === "downgrade-to-hotpath") {
391
+ nextBestAction = "requestHotPath";
392
+ if (context.symbolId) {
393
+ requiredFieldsForNext.requestHotPath = {
394
+ symbolId: context.symbolId,
395
+ repoId: context.repoId,
396
+ identifiersToFind: context.identifiersToFind ?? [],
397
+ maxTokens: context.maxWindowTokens,
398
+ };
399
+ }
400
+ }
401
+ else {
402
+ // Prefer evidence.type matching (deniedReasons contains evidence.reason strings).
403
+ for (const ev of deniedEvidence) {
404
+ if (ev.type === "missing-identifiers") {
405
+ nextBestAction = "provideIdentifiersToFind";
406
+ requiredFieldsForNext.provideIdentifiersToFind = {
407
+ minCount: 1,
408
+ examples: context.symbolData?.name
409
+ ? [context.symbolData.name]
410
+ : undefined,
411
+ };
412
+ break;
413
+ }
414
+ if (ev.type === "max-cards-exceeded") {
415
+ nextBestAction = "narrowScope";
416
+ requiredFieldsForNext.narrowScope = {
417
+ field: "budget.maxCards",
418
+ reason: `Requested maxCards exceeds policy cap (${this.config.budgetCaps.maxCards}). Reduce maxCards or narrow scope (more specific entrySymbols/taskText).`,
419
+ };
420
+ break;
421
+ }
422
+ if (ev.type === "max-tokens-budget-exceeded") {
423
+ nextBestAction = "narrowScope";
424
+ requiredFieldsForNext.narrowScope = {
425
+ field: "budget.maxEstimatedTokens",
426
+ reason: `Requested maxEstimatedTokens exceeds policy cap (${this.config.budgetCaps.maxEstimatedTokens}). Reduce maxEstimatedTokens or narrow scope (more specific entrySymbols/taskText).`,
427
+ };
428
+ break;
429
+ }
430
+ }
431
+ // Fallback to substring matching for older/custom rules that don't set useful types.
432
+ if (nextBestAction === "retryWithSameInputs") {
433
+ for (const reason of deniedReasons) {
434
+ if (reason.includes("missing identifiers")) {
435
+ nextBestAction = "provideIdentifiersToFind";
436
+ requiredFieldsForNext.provideIdentifiersToFind = {
437
+ minCount: 1,
438
+ examples: context.symbolData?.name
439
+ ? [context.symbolData.name]
440
+ : undefined,
441
+ };
442
+ break;
443
+ }
444
+ if (reason.includes("Requested cards") &&
445
+ reason.includes("exceed maximum")) {
446
+ nextBestAction = "narrowScope";
447
+ requiredFieldsForNext.narrowScope = {
448
+ field: "budget.maxCards",
449
+ reason: `Requested maxCards exceeds policy cap (${this.config.budgetCaps.maxCards}). Reduce maxCards or narrow scope (more specific entrySymbols/taskText).`,
450
+ };
451
+ break;
452
+ }
453
+ if (reason.includes("Requested tokens") &&
454
+ reason.includes("exceed maximum")) {
455
+ nextBestAction = "narrowScope";
456
+ requiredFieldsForNext.narrowScope = {
457
+ field: "budget.maxEstimatedTokens",
458
+ reason: `Requested maxEstimatedTokens exceeds policy cap (${this.config.budgetCaps.maxEstimatedTokens}). Reduce maxEstimatedTokens or narrow scope (more specific entrySymbols/taskText).`,
459
+ };
460
+ break;
461
+ }
462
+ }
463
+ }
464
+ }
465
+ return {
466
+ nextBestAction,
467
+ requiredFieldsForNext,
468
+ };
469
+ }
470
+ updateConfig(config) {
471
+ this.config = { ...this.config, ...config };
472
+ }
473
+ getConfig() {
474
+ return { ...this.config };
475
+ }
476
+ }
477
+ //# sourceMappingURL=engine.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/policy/engine.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,QAAQ,CAAC;AAQ5B,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,OAAO,EACL,iCAAiC,EACjC,oCAAoC,EACpC,2BAA2B,EAC3B,2BAA2B,EAC3B,gCAAgC,GACjC,MAAM,wBAAwB,CAAC;AAEhC;;;;;;;;;GASG;AACH,MAAM,aAAa,GAAG;IACpB,iBAAiB,EAAE,iCAAiC;IACpD,oBAAoB,EAAE,oCAAoC;IAC1D,WAAW,EAAE,2BAA2B;IACxC,WAAW,EAAE,2BAA2B;IACxC,gBAAgB,EAAE,gCAAgC;CAC1C,CAAC;AAUX,MAAM,UAAU,iBAAiB,CAC/B,QAAgB,EAChB,QAA0B,EAC1B,OAA6B;IAE7B,MAAM,SAAS,GAAG;QAChB,QAAQ;QACR,QAAQ;QACR,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC3B,CAAC;IACF,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7C,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACtE,CAAC;AAED,MAAM,OAAO,YAAY;IACf,KAAK,GAA4B,IAAI,GAAG,EAAE,CAAC;IAC3C,MAAM,CAAe;IAE7B,YAAY,SAAgC,EAAE;QAC5C,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,qBAAqB,EAAE,GAAG,MAAM,EAAE,CAAC;QACtD,IAAI,CAAC,oBAAoB,EAAE,CAAC;IAC9B,CAAC;IAEO,oBAAoB;QAC1B,IAAI,CAAC,OAAO,CAAC;YACX,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,aAAa,CAAC,iBAAiB;YACzC,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE;gBAChB,IAAI,GAAG,CAAC,WAAW,KAAK,YAAY,EAAE,CAAC;oBACrC,OAAO;wBACL,MAAM,EAAE,IAAI;wBACZ,QAAQ,EAAE;4BACR,IAAI,EAAE,eAAe;4BACrB,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,0CAA0C;yBACnD;qBACF,CAAC;gBACJ,CAAC;gBAED,MAAM,MAAM,GAAqB,EAAE,CAAC;gBAEpC,IACE,GAAG,CAAC,cAAc;oBAClB,GAAG,CAAC,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,cAAc,EAC/C,CAAC;oBACD,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,oBAAoB;wBAC1B,KAAK,EAAE;4BACL,SAAS,EAAE,GAAG,CAAC,cAAc;4BAC7B,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,cAAc;yBAClC;wBACD,MAAM,EAAE,oBAAoB,GAAG,CAAC,cAAc,qBAAqB,IAAI,CAAC,MAAM,CAAC,cAAc,GAAG;qBACjG,CAAC,CAAC;gBACL,CAAC;gBAED,IACE,GAAG,CAAC,eAAe;oBACnB,GAAG,CAAC,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC,eAAe,EACjD,CAAC;oBACD,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,qBAAqB;wBAC3B,KAAK,EAAE;4BACL,SAAS,EAAE,GAAG,CAAC,eAAe;4BAC9B,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,eAAe;yBACnC;wBACD,MAAM,EAAE,qBAAqB,GAAG,CAAC,eAAe,qBAAqB,IAAI,CAAC,MAAM,CAAC,eAAe,GAAG;qBACpG,CAAC,CAAC;gBACL,CAAC;gBAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtB,OAAO;wBACL,MAAM,EAAE,KAAK;wBACb,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;wBACnB,WAAW,EAAE,UAAU;qBACxB,CAAC;gBACJ,CAAC;gBAED,OAAO;oBACL,MAAM,EAAE,IAAI;oBACZ,QAAQ,EAAE;wBACR,IAAI,EAAE,mBAAmB;wBACzB,KAAK,EAAE;4BACL,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,cAAc;4BACpC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,eAAe;yBACvC;wBACD,MAAM,EAAE,2BAA2B;qBACpC;iBACF,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;QAEH,IAAI,CAAC,OAAO,CAAC;YACX,IAAI,EAAE,sBAAsB;YAC5B,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,aAAa,CAAC,oBAAoB;YAC5C,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE;gBAChB,IAAI,GAAG,CAAC,WAAW,KAAK,YAAY,EAAE,CAAC;oBACrC,OAAO;wBACL,MAAM,EAAE,IAAI;wBACZ,QAAQ,EAAE;4BACR,IAAI,EAAE,eAAe;4BACrB,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,0CAA0C;yBACnD;qBACF,CAAC;gBACJ,CAAC;gBAED,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;oBACpC,OAAO;wBACL,MAAM,EAAE,IAAI;wBACZ,QAAQ,EAAE;4BACR,IAAI,EAAE,0BAA0B;4BAChC,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,oCAAoC;yBAC7C;qBACF,CAAC;gBACJ,CAAC;gBAED,IAAI,CAAC,GAAG,CAAC,iBAAiB,IAAI,GAAG,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACjE,OAAO;wBACL,MAAM,EAAE,KAAK;wBACb,QAAQ,EAAE;4BACR,IAAI,EAAE,qBAAqB;4BAC3B,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,iDAAiD;yBAC1D;wBACD,WAAW,EAAE,UAAU;qBACxB,CAAC;gBACJ,CAAC;gBAED,OAAO;oBACL,MAAM,EAAE,IAAI;oBACZ,QAAQ,EAAE;wBACR,IAAI,EAAE,sBAAsB;wBAC5B,KAAK,EAAE;4BACL,KAAK,EAAE,GAAG,CAAC,iBAAiB,CAAC,MAAM;4BACnC,WAAW,EAAE,GAAG,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;yBAC/C;wBACD,MAAM,EAAE,YAAY,GAAG,CAAC,iBAAiB,CAAC,MAAM,cAAc;qBAC/D;iBACF,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;QAEH,IAAI,CAAC,OAAO,CAAC;YACX,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,aAAa,CAAC,WAAW;YACnC,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE;gBAChB,IAAI,GAAG,CAAC,WAAW,KAAK,YAAY,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;oBACpD,OAAO;wBACL,MAAM,EAAE,IAAI;wBACZ,QAAQ,EAAE;4BACR,IAAI,EAAE,eAAe;4BACrB,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,6CAA6C;yBACtD;qBACF,CAAC;gBACJ,CAAC;gBAED,MAAM,MAAM,GAAqB,EAAE,CAAC;gBAEpC,IACE,GAAG,CAAC,MAAM,CAAC,QAAQ;oBACnB,GAAG,CAAC,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EACrD,CAAC;oBACD,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,oBAAoB;wBAC1B,KAAK,EAAE;4BACL,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ;4BAC9B,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ;yBACvC;wBACD,MAAM,EAAE,oBAAoB,GAAG,CAAC,MAAM,CAAC,QAAQ,qBAAqB,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,GAAG;qBACvG,CAAC,CAAC;gBACL,CAAC;gBAED,IACE,GAAG,CAAC,MAAM,CAAC,kBAAkB;oBAC7B,GAAG,CAAC,MAAM,CAAC,kBAAkB;wBAC3B,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,kBAAkB,EAC3C,CAAC;oBACD,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,4BAA4B;wBAClC,KAAK,EAAE;4BACL,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,kBAAkB;4BACxC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,kBAAkB;yBACjD;wBACD,MAAM,EAAE,qBAAqB,GAAG,CAAC,MAAM,CAAC,kBAAkB,qBAAqB,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,kBAAkB,GAAG;qBAC5H,CAAC,CAAC;gBACL,CAAC;gBAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtB,OAAO;wBACL,MAAM,EAAE,KAAK;wBACb,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;qBACpB,CAAC;gBACJ,CAAC;gBAED,OAAO;oBACL,MAAM,EAAE,IAAI;oBACZ,QAAQ,EAAE;wBACR,IAAI,EAAE,sBAAsB;wBAC5B,KAAK,EAAE;4BACL,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ;4BACzC,kBAAkB,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,kBAAkB;yBAC9D;wBACD,MAAM,EAAE,oBAAoB;qBAC7B;iBACF,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;QAEH,IAAI,CAAC,OAAO,CAAC;YACX,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,aAAa,CAAC,WAAW;YACnC,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE;gBAChB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC;oBACjC,OAAO;wBACL,MAAM,EAAE,IAAI;wBACZ,QAAQ,EAAE;4BACR,IAAI,EAAE,sBAAsB;4BAC5B,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,mCAAmC;yBAC5C;qBACF,CAAC;gBACJ,CAAC;gBAED,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;oBACf,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;oBAC7C,IACE,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC;wBAC7B,WAAW,CAAC,QAAQ,CAAC,aAAa,CAAC,EACnC,CAAC;wBACD,OAAO;4BACL,MAAM,EAAE,IAAI;4BACZ,QAAQ,EAAE;gCACR,IAAI,EAAE,uBAAuB;gCAC7B,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;gCAC7B,MAAM,EAAE,gCAAgC;6BACzC;yBACF,CAAC;oBACJ,CAAC;gBACH,CAAC;gBAED,OAAO;oBACL,MAAM,EAAE,IAAI;oBACZ,QAAQ,EAAE;wBACR,IAAI,EAAE,2BAA2B;wBACjC,KAAK,EAAE,IAAI;wBACX,MAAM,EAAE,mCAAmC;qBAC5C;iBACF,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;QAEH,IAAI,CAAC,OAAO,CAAC;YACX,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,aAAa,CAAC,gBAAgB;YACxC,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE;gBAChB,IAAI,GAAG,CAAC,WAAW,KAAK,YAAY,EAAE,CAAC;oBACrC,OAAO;wBACL,MAAM,EAAE,IAAI;wBACZ,QAAQ,EAAE;4BACR,IAAI,EAAE,eAAe;4BACrB,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,0CAA0C;yBACnD;qBACF,CAAC;gBACJ,CAAC;gBAED,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;oBAChC,OAAO;wBACL,MAAM,EAAE,IAAI;wBACZ,QAAQ,EAAE;4BACR,IAAI,EAAE,mBAAmB;4BACzB,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,oCAAoC;yBAC7C;qBACF,CAAC;gBACJ,CAAC;gBAED,IACE,GAAG,CAAC,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,CAAC;oBAChE,GAAG,CAAC,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,CAAC,EACpE,CAAC;oBACD,OAAO;wBACL,MAAM,EAAE,IAAI;wBACZ,QAAQ,EAAE;4BACR,IAAI,EAAE,sBAAsB;4BAC5B,KAAK,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE;4BACjC,MAAM,EAAE,gCAAgC;yBACzC;qBACF,CAAC;gBACJ,CAAC;gBAED,MAAM,cAAc,GAClB,GAAG,CAAC,iBAAiB,IAAI,GAAG,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;gBAE5D,MAAM,eAAe,GAAG,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;gBAEhE,OAAO;oBACL,MAAM,EAAE,KAAK;oBACb,QAAQ,EAAE;wBACR,IAAI,EAAE,kBAAkB;wBACxB,KAAK,EAAE;4BACL,QAAQ,EAAE,GAAG,CAAC,QAAQ;4BACtB,cAAc;4BACd,kBAAkB,EAAE,eAAe;yBACpC;wBACD,MAAM,EAAE,kDAAkD,eAAe,UAAU;qBACpF;oBACD,WAAW,EAAE,eAAe;iBAC7B,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,CAAC,IAAgB;QACtB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAClC,CAAC;IAED,UAAU,CAAC,IAAY;QACrB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,OAAO,CAAC,IAAY;QAClB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,QAAQ,CAAC,OAA6B;QACpC,MAAM,QAAQ,GAAqB,EAAE,CAAC;QACtC,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,IAAI,WAAW,GAAkC,IAAI,CAAC;QAEtD,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAChE,MAAM,YAAY,GAAG,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC;YAC7C,IAAI,YAAY,KAAK,CAAC;gBAAE,OAAO,YAAY,CAAC;YAC5C,OAAO,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,OAAO;gBAAE,SAAS;YAE5B,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;gBACtC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBAE/B,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;oBACnB,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;oBAC3C,IAAI,MAAM,CAAC,WAAW,IAAI,CAAC,WAAW,EAAE,CAAC;wBACvC,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;oBACnC,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,CAAC,KAAK,CAAC,gBAAgB,IAAI,CAAC,IAAI,qBAAqB,EAAE;oBAC3D,KAAK;oBACL,OAAO;iBACR,CAAC,CAAC;gBACH,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE;oBACpD,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,sBAAsB;iBACjD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,IAAI,QAAQ,GAA+B,SAAS,CAAC;QAErD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;gBAC/B,QAAQ,GAAG,uBAAuB,CAAC;YACrC,CAAC;iBAAM,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBACrC,QAAQ,GAAG,sBAAsB,CAAC;YACpC,CAAC;iBAAM,CAAC;gBACN,QAAQ,GAAG,MAAM,CAAC;YACpB,CAAC;QACH,CAAC;QAED,MAAM,SAAS,GAAG,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAEjE,IAAI,eAAe,CAAC;QACpB,IAAI,WAAW,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACpC,eAAe,GAAG;gBAChB,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,MAAM,EAAE,OAAO,CAAC,MAAM;aACvB,CAAC;QACJ,CAAC;QAED,OAAO;YACL,QAAQ;YACR,YAAY,EAAE,QAAQ;YACtB,SAAS;YACT,aAAa,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;YACnE,eAAe;SAChB,CAAC;IACJ,CAAC;IAED,sBAAsB,CACpB,QAAwB,EACxB,OAA6B;QAK7B,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,aAAa,GAAG,QAAQ,CAAC,aAAa,IAAI,EAAE,CAAC;QACnD,IAAI,cAAc,GAAmB,qBAAqB,CAAC;QAC3D,MAAM,qBAAqB,GAA0B,EAAE,CAAC;QAExD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;QAC/C,MAAM,cAAc,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACxD,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAC9B,CAAC;QAEF,IAAI,QAAQ,CAAC,QAAQ,KAAK,uBAAuB,EAAE,CAAC;YAClD,cAAc,GAAG,iBAAiB,CAAC;YACnC,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACrB,qBAAqB,CAAC,eAAe,GAAG;oBACtC,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,MAAM,EAAE,OAAO,CAAC,MAAM;iBACvB,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,QAAQ,CAAC,QAAQ,KAAK,sBAAsB,EAAE,CAAC;YACxD,cAAc,GAAG,gBAAgB,CAAC;YAClC,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACrB,qBAAqB,CAAC,cAAc,GAAG;oBACrC,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,MAAM,EAAE,OAAO,CAAC,MAAM;oBACtB,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,IAAI,EAAE;oBAClD,SAAS,EAAE,OAAO,CAAC,eAAe;iBACnC,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,CAAC;YACN,kFAAkF;YAClF,KAAK,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC;gBAChC,IAAI,EAAE,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBACtC,cAAc,GAAG,0BAA0B,CAAC;oBAC5C,qBAAqB,CAAC,wBAAwB,GAAG;wBAC/C,QAAQ,EAAE,CAAC;wBACX,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,IAAI;4BAChC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;4BAC3B,CAAC,CAAC,SAAS;qBACd,CAAC;oBACF,MAAM;gBACR,CAAC;gBACD,IAAI,EAAE,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;oBACrC,cAAc,GAAG,aAAa,CAAC;oBAC/B,qBAAqB,CAAC,WAAW,GAAG;wBAClC,KAAK,EAAE,iBAAiB;wBACxB,MAAM,EAAE,0CAA0C,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,2EAA2E;qBAC7J,CAAC;oBACF,MAAM;gBACR,CAAC;gBACD,IAAI,EAAE,CAAC,IAAI,KAAK,4BAA4B,EAAE,CAAC;oBAC7C,cAAc,GAAG,aAAa,CAAC;oBAC/B,qBAAqB,CAAC,WAAW,GAAG;wBAClC,KAAK,EAAE,2BAA2B;wBAClC,MAAM,EAAE,oDAAoD,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,kBAAkB,qFAAqF;qBAC3L,CAAC;oBACF,MAAM;gBACR,CAAC;YACH,CAAC;YAED,qFAAqF;YACrF,IAAI,cAAc,KAAK,qBAAqB,EAAE,CAAC;gBAC7C,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;oBACnC,IAAI,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,CAAC;wBAC3C,cAAc,GAAG,0BAA0B,CAAC;wBAC5C,qBAAqB,CAAC,wBAAwB,GAAG;4BAC/C,QAAQ,EAAE,CAAC;4BACX,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,IAAI;gCAChC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;gCAC3B,CAAC,CAAC,SAAS;yBACd,CAAC;wBACF,MAAM;oBACR,CAAC;oBACD,IACE,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC;wBAClC,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EACjC,CAAC;wBACD,cAAc,GAAG,aAAa,CAAC;wBAC/B,qBAAqB,CAAC,WAAW,GAAG;4BAClC,KAAK,EAAE,iBAAiB;4BACxB,MAAM,EAAE,0CAA0C,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,2EAA2E;yBAC7J,CAAC;wBACF,MAAM;oBACR,CAAC;oBACD,IACE,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC;wBACnC,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EACjC,CAAC;wBACD,cAAc,GAAG,aAAa,CAAC;wBAC/B,qBAAqB,CAAC,WAAW,GAAG;4BAClC,KAAK,EAAE,2BAA2B;4BAClC,MAAM,EAAE,oDAAoD,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,kBAAkB,qFAAqF;yBAC3L,CAAC;wBACF,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,cAAc;YACd,qBAAqB;SACtB,CAAC;IACJ,CAAC;IAED,YAAY,CAAC,MAA6B;QACxC,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;IAC9C,CAAC;IAED,SAAS;QACP,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;IAC5B,CAAC;CACF"}
@@ -0,0 +1,73 @@
1
+ import type { SymbolCard, GraphSlice, DeltaPack, SliceBudget } from "../mcp/types.js";
2
+ import type { SymbolRow } from "../db/schema.js";
3
+ export type PolicyRequestType = "codeWindow" | "skeleton" | "hotPath" | "symbolCard" | "graphSlice" | "delta";
4
+ export interface PolicyRequestContext {
5
+ requestType: PolicyRequestType;
6
+ repoId: string;
7
+ symbolId?: string;
8
+ file?: string;
9
+ versionId?: string;
10
+ maxWindowLines?: number;
11
+ maxWindowTokens?: number;
12
+ identifiersToFind?: string[];
13
+ budget?: SliceBudget;
14
+ expectedLines?: number;
15
+ reason?: string;
16
+ sliceContext?: GraphSlice;
17
+ symbolData?: SymbolRow;
18
+ cardData?: SymbolCard;
19
+ deltaData?: DeltaPack;
20
+ }
21
+ export interface PolicyEvidence {
22
+ type: string;
23
+ value: any;
24
+ reason: string;
25
+ }
26
+ export interface PolicyRule {
27
+ name: string;
28
+ enabled: boolean;
29
+ priority: number;
30
+ evaluate: (context: PolicyRequestContext) => {
31
+ passed: boolean;
32
+ evidence: PolicyEvidence;
33
+ downgradeTo?: "skeleton" | "hotpath";
34
+ };
35
+ }
36
+ /**
37
+ * PolicyRule Priority Ordering
38
+ *
39
+ * Rules are evaluated in ascending order of priority (lower number = higher priority).
40
+ * The evaluation stops at the first rule that denies the request or downgrades it.
41
+ *
42
+ * Priority Guidelines:
43
+ * - 1-10: Critical security/cost controls (e.g., maxWindowLines, maxWindowTokens)
44
+ * - 11-20: Feature-level guards (e.g., requireIdentifiers, budgetCaps)
45
+ * - 21-30: Optional enhancements (e.g., custom rules)
46
+ *
47
+ * When multiple rules have the same priority, they are evaluated in the order
48
+ * they are registered in the policy engine.
49
+ */
50
+ export interface PolicyDecision {
51
+ decision: "approve" | "deny" | "downgrade-to-skeleton" | "downgrade-to-hotpath";
52
+ evidenceUsed: PolicyEvidence[];
53
+ auditHash: string;
54
+ deniedReasons?: string[];
55
+ downgradeTarget?: {
56
+ type: "skeleton" | "hotpath";
57
+ symbolId: string;
58
+ repoId: string;
59
+ };
60
+ }
61
+ export interface PolicyConfig {
62
+ maxWindowLines: number;
63
+ maxWindowTokens: number;
64
+ requireIdentifiers: boolean;
65
+ allowBreakGlass: boolean;
66
+ defaultDenyRaw: boolean;
67
+ budgetCaps: {
68
+ maxCards: number;
69
+ maxEstimatedTokens: number;
70
+ };
71
+ }
72
+ export declare const DEFAULT_POLICY_CONFIG: PolicyConfig;
73
+ //# sourceMappingURL=types.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/policy/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,UAAU,EACV,UAAU,EACV,SAAS,EACT,WAAW,EACZ,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,MAAM,MAAM,iBAAiB,GACzB,YAAY,GACZ,UAAU,GACV,SAAS,GACT,YAAY,GACZ,YAAY,GACZ,OAAO,CAAC;AAEZ,MAAM,WAAW,oBAAoB;IACnC,WAAW,EAAE,iBAAiB,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,YAAY,CAAC,EAAE,UAAU,CAAC;IAC1B,UAAU,CAAC,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,GAAG,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,CAAC,OAAO,EAAE,oBAAoB,KAAK;QAC3C,MAAM,EAAE,OAAO,CAAC;QAChB,QAAQ,EAAE,cAAc,CAAC;QACzB,WAAW,CAAC,EAAE,UAAU,GAAG,SAAS,CAAC;KACtC,CAAC;CACH;AAED;;;;;;;;;;;;;GAaG;AAEH,MAAM,WAAW,cAAc;IAC7B,QAAQ,EACJ,SAAS,GACT,MAAM,GACN,uBAAuB,GACvB,sBAAsB,CAAC;IAC3B,YAAY,EAAE,cAAc,EAAE,CAAC;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,eAAe,CAAC,EAAE;QAChB,IAAI,EAAE,UAAU,GAAG,SAAS,CAAC;QAC7B,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;CACH;AAED,MAAM,WAAW,YAAY;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,kBAAkB,EAAE,OAAO,CAAC;IAC5B,eAAe,EAAE,OAAO,CAAC;IACzB,cAAc,EAAE,OAAO,CAAC;IACxB,UAAU,EAAE;QACV,QAAQ,EAAE,MAAM,CAAC;QACjB,kBAAkB,EAAE,MAAM,CAAC;KAC5B,CAAC;CACH;AAED,eAAO,MAAM,qBAAqB,EAAE,YAUnC,CAAC"}
@@ -0,0 +1,12 @@
1
+ export const DEFAULT_POLICY_CONFIG = {
2
+ maxWindowLines: 180,
3
+ maxWindowTokens: 1400,
4
+ requireIdentifiers: true,
5
+ allowBreakGlass: true,
6
+ defaultDenyRaw: true,
7
+ budgetCaps: {
8
+ maxCards: 60,
9
+ maxEstimatedTokens: 12000,
10
+ },
11
+ };
12
+ //# sourceMappingURL=types.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/policy/types.ts"],"names":[],"mappings":"AAgGA,MAAM,CAAC,MAAM,qBAAqB,GAAiB;IACjD,cAAc,EAAE,GAAG;IACnB,eAAe,EAAE,IAAI;IACrB,kBAAkB,EAAE,IAAI;IACxB,eAAe,EAAE,IAAI;IACrB,cAAc,EAAE,IAAI;IACpB,UAAU,EAAE;QACV,QAAQ,EAAE,EAAE;QACZ,kBAAkB,EAAE,KAAK;KAC1B;CACF,CAAC"}
@@ -0,0 +1,17 @@
1
+ import { Server } from "@modelcontextprotocol/sdk/server/index.js";
2
+ import { z } from "zod";
3
+ interface ToolHandler {
4
+ (args: unknown): Promise<unknown>;
5
+ }
6
+ export declare class MCPServer {
7
+ private server;
8
+ private tools;
9
+ constructor();
10
+ private setupHandlers;
11
+ registerTool(name: string, description: string, inputSchema: z.ZodType, handler: ToolHandler): void;
12
+ start(): Promise<void>;
13
+ stop(): Promise<void>;
14
+ getServer(): Server;
15
+ }
16
+ export {};
17
+ //# sourceMappingURL=server.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AAMnE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AASxB,UAAU,WAAW;IACnB,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CACnC;AASD,qBAAa,SAAS;IACpB,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,KAAK,CAA0C;;IAkBvD,OAAO,CAAC,aAAa;IAuFrB,YAAY,CACV,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,CAAC,CAAC,OAAO,EACtB,OAAO,EAAE,WAAW,GACnB,IAAI;IASD,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAKtB,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAI3B,SAAS,IAAI,MAAM;CAGpB"}