hex-audit 0.6.3 → 0.8.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 (746) hide show
  1. package/CLAUDE.md +137 -77
  2. package/DEMO.md +41 -105
  3. package/README.md +205 -353
  4. package/dashboard/.next/BUILD_ID +1 -1
  5. package/dashboard/.next/app-build-manifest.json +65 -99
  6. package/dashboard/.next/app-path-routes-manifest.json +1 -1
  7. package/dashboard/.next/build-manifest.json +14 -14
  8. package/dashboard/.next/next-minimal-server.js.nft.json +1 -1
  9. package/dashboard/.next/next-server.js.nft.json +1 -1
  10. package/dashboard/.next/prerender-manifest.js +1 -1
  11. package/dashboard/.next/prerender-manifest.json +1 -1
  12. package/dashboard/.next/react-loadable-manifest.json +540 -119
  13. package/dashboard/.next/routes-manifest.json +1 -1
  14. package/dashboard/.next/server/app/_not-found/page.js +1 -1
  15. package/dashboard/.next/server/app/_not-found/page.js.nft.json +1 -1
  16. package/dashboard/.next/server/app/_not-found/page_client-reference-manifest.js +1 -1
  17. package/dashboard/.next/server/app/api/code/route.js +1 -1
  18. package/dashboard/.next/server/app/api/code/route.js.nft.json +1 -1
  19. package/dashboard/.next/server/app/api/comments/route.js +1 -0
  20. package/dashboard/.next/server/app/api/comments/route.js.nft.json +1 -0
  21. package/dashboard/.next/server/app/api/diagrams/[name]/export/route.js +1 -0
  22. package/dashboard/.next/server/app/api/diagrams/[name]/export/route.js.nft.json +1 -0
  23. package/dashboard/.next/server/app/api/diagrams/[name]/resolve/route.js +1 -0
  24. package/dashboard/.next/server/app/api/diagrams/[name]/resolve/route.js.nft.json +1 -0
  25. package/dashboard/.next/server/app/api/diagrams/[name]/route.js +1 -0
  26. package/dashboard/.next/server/app/api/diagrams/[name]/route.js.nft.json +1 -0
  27. package/dashboard/.next/server/app/api/figures/[name]/route.js +1 -0
  28. package/dashboard/.next/server/app/api/figures/[name]/route.js.nft.json +1 -0
  29. package/dashboard/.next/server/app/api/focus/route.js +1 -0
  30. package/dashboard/.next/server/app/api/focus/route.js.nft.json +1 -0
  31. package/dashboard/.next/server/app/api/github-status/route.js +1 -1
  32. package/dashboard/.next/server/app/api/invariants/[id]/route.js +1 -0
  33. package/dashboard/.next/server/app/api/invariants/[id]/route.js.nft.json +1 -0
  34. package/dashboard/.next/server/app/api/issues/[id]/revert-auto/route.js +1 -0
  35. package/dashboard/.next/server/app/api/issues/[id]/revert-auto/route.js.nft.json +1 -0
  36. package/dashboard/.next/server/app/api/nav/route.js +1 -0
  37. package/dashboard/.next/server/app/api/nav/route.js.nft.json +1 -0
  38. package/dashboard/.next/server/app/api/notes/done/route.js +1 -1
  39. package/dashboard/.next/server/app/api/notes/done/route.js.nft.json +1 -1
  40. package/dashboard/.next/server/app/api/notes/lead/route.js +1 -1
  41. package/dashboard/.next/server/app/api/notes/lead/route.js.nft.json +1 -1
  42. package/dashboard/.next/server/app/api/notes/question/route.js +1 -1
  43. package/dashboard/.next/server/app/api/notes/question/route.js.nft.json +1 -1
  44. package/dashboard/.next/server/app/api/notes/record/route.js +3 -3
  45. package/dashboard/.next/server/app/api/notes/route.js +2 -2
  46. package/dashboard/.next/server/app/api/palette/route.js +1 -0
  47. package/dashboard/.next/server/app/api/palette/route.js.nft.json +1 -0
  48. package/dashboard/.next/server/app/api/progress/route.js +1 -1
  49. package/dashboard/.next/server/app/api/progress/route.js.nft.json +1 -1
  50. package/dashboard/.next/server/app/api/watch/route.js +2 -2
  51. package/dashboard/.next/server/app/api/watch/route.js.nft.json +1 -1
  52. package/dashboard/.next/server/app/api/xref/route.js +1 -0
  53. package/dashboard/.next/server/app/changes/page.js +1 -0
  54. package/dashboard/.next/server/app/{access → changes}/page.js.nft.json +1 -1
  55. package/dashboard/.next/server/app/changes/page_client-reference-manifest.js +1 -0
  56. package/dashboard/.next/server/app/excalidraw-assets/[...path]/route.js +1 -0
  57. package/dashboard/.next/server/app/issues/page.js +5 -28
  58. package/dashboard/.next/server/app/issues/page.js.nft.json +1 -1
  59. package/dashboard/.next/server/app/issues/page_client-reference-manifest.js +1 -1
  60. package/dashboard/.next/server/app/model/page.js +1 -0
  61. package/dashboard/.next/server/app/{calls → model}/page.js.nft.json +1 -1
  62. package/dashboard/.next/server/app/model/page_client-reference-manifest.js +1 -0
  63. package/dashboard/.next/server/app/page.js +1 -20
  64. package/dashboard/.next/server/app/page.js.nft.json +1 -1
  65. package/dashboard/.next/server/app/page_client-reference-manifest.js +1 -1
  66. package/dashboard/.next/server/app/report/page.js +1 -1
  67. package/dashboard/.next/server/app/report/page.js.nft.json +1 -1
  68. package/dashboard/.next/server/app/report/page_client-reference-manifest.js +1 -1
  69. package/dashboard/.next/server/app/review/page.js +1 -0
  70. package/dashboard/.next/server/app/{conformance → review}/page.js.nft.json +1 -1
  71. package/dashboard/.next/server/app/review/page_client-reference-manifest.js +1 -0
  72. package/dashboard/.next/server/app-paths-manifest.json +20 -16
  73. package/dashboard/.next/server/chunks/310.js +4 -0
  74. package/dashboard/.next/server/chunks/370.js +1 -0
  75. package/dashboard/.next/server/chunks/42.js +1 -1
  76. package/dashboard/.next/server/chunks/624.js +14 -0
  77. package/dashboard/.next/server/chunks/645.js +1 -1
  78. package/dashboard/.next/server/chunks/649.js +1 -1
  79. package/dashboard/.next/server/chunks/653.js +1 -0
  80. package/dashboard/.next/server/functions-config-manifest.json +1 -1
  81. package/dashboard/.next/server/middleware-build-manifest.js +1 -1
  82. package/dashboard/.next/server/middleware-react-loadable-manifest.js +1 -1
  83. package/dashboard/.next/server/next-font-manifest.js +1 -1
  84. package/dashboard/.next/server/next-font-manifest.json +1 -1
  85. package/dashboard/.next/server/pages/500.html +1 -1
  86. package/dashboard/.next/server/pages/_error.js +1 -1
  87. package/dashboard/.next/server/pages-manifest.json +1 -1
  88. package/dashboard/.next/server/server-reference-manifest.js +1 -1
  89. package/dashboard/.next/server/server-reference-manifest.json +1 -1
  90. package/dashboard/.next/static/bGV1ry1vvIbM5b506eVBR/_buildManifest.js +1 -0
  91. package/dashboard/.next/static/chunks/0bbe10ee.8e7ffa06d2170dfe.js +84 -0
  92. package/dashboard/.next/static/chunks/{1.8868c4d131111be7.js → 1.a666047ea18866fb.js} +2 -2
  93. package/dashboard/.next/static/chunks/1015.39008440ab15e196.js +226 -0
  94. package/dashboard/.next/static/chunks/1026.0ef689a305302427.js +1 -0
  95. package/dashboard/.next/static/chunks/1151.497fa63c5b9eba52.js +1 -0
  96. package/dashboard/.next/static/chunks/1164.34eb76767ebea46f.js +8 -0
  97. package/dashboard/.next/static/chunks/119.a9a79633900a235f.js +5 -0
  98. package/dashboard/.next/static/chunks/1199.f30cbfa151e56076.js +148 -0
  99. package/dashboard/.next/static/chunks/1291.6c486c9b1d4b1b3a.js +1 -0
  100. package/dashboard/.next/static/chunks/1375.64c20f1064a38a10.js +43 -0
  101. package/dashboard/.next/static/chunks/139.4691848fc5a46253.js +10 -0
  102. package/dashboard/.next/static/chunks/145.1bf74fecdb4022e3.js +11 -0
  103. package/dashboard/.next/static/chunks/1517.8e7075f78e22b3a0.js +8 -0
  104. package/dashboard/.next/static/chunks/165.6f174060a0ce2db4.js +6 -0
  105. package/dashboard/.next/static/chunks/1741.5c370b7702d2eb40.js +8 -0
  106. package/dashboard/.next/static/chunks/1799.8dc56017eede704e.js +9 -0
  107. package/dashboard/.next/static/chunks/1e36816c.5748c83adc8a6bd6.js +108 -0
  108. package/dashboard/.next/static/chunks/20154aaa.e87f69fe10483f8b.js +1 -0
  109. package/dashboard/.next/static/chunks/2061.eab75b3c1dfa068a.js +1 -0
  110. package/dashboard/.next/static/chunks/2077.5603adeb156c7d10.js +1 -0
  111. package/dashboard/.next/static/chunks/2148.3ce718f62d1b2f7c.js +10 -0
  112. package/dashboard/.next/static/chunks/2166.9f6592b9399eadd8.js +215 -0
  113. package/dashboard/.next/static/chunks/217-1d5b680ffd10e3f9.js +1 -0
  114. package/dashboard/.next/static/chunks/2208.fb884379aa3ae968.js +1 -0
  115. package/dashboard/.next/static/chunks/2276.112c7855333fca5f.js +6 -0
  116. package/dashboard/.next/static/chunks/{2291.85a70cb0c228157b.js → 2291.584b42ccad079b99.js} +1 -1
  117. package/dashboard/.next/static/chunks/2325.7decd077edfb81d9.js +24 -0
  118. package/dashboard/.next/static/chunks/2374-8c6f137938f8518a.js +1 -0
  119. package/dashboard/.next/static/chunks/{2383.62c035a052272594.js → 2383.ca81f980ce6528a4.js} +1 -1
  120. package/dashboard/.next/static/chunks/2445.18a86507d2996b95.js +1 -0
  121. package/dashboard/.next/static/chunks/2694.7dfa5fef28851903.js +1 -0
  122. package/dashboard/.next/static/chunks/2712.15dd8577973baf22.js +10 -0
  123. package/dashboard/.next/static/chunks/275.38af87389c1d33d7.js +34 -0
  124. package/dashboard/.next/static/chunks/2759.533dec5317e0a1d1.js +1 -0
  125. package/dashboard/.next/static/chunks/2781.fba46046dbf2693b.js +93 -0
  126. package/dashboard/.next/static/chunks/2805.35b4cd8a94978aaf.js +1 -0
  127. package/dashboard/.next/static/chunks/2812.62b213bef580b69a.js +1 -0
  128. package/dashboard/.next/static/chunks/{2879.51436986f93981d9.js → 2879.74d65e33e60505ee.js} +1 -1
  129. package/dashboard/.next/static/chunks/2895.bb57cacb7aaf42a1.js +9 -0
  130. package/dashboard/.next/static/chunks/2972.e5a9251b538dcf19.js +9 -0
  131. package/dashboard/.next/static/chunks/3205-fd963acf2fdfd080.js +2 -0
  132. package/dashboard/.next/static/chunks/3206.8d9a10db2b04b93f.js +1 -0
  133. package/dashboard/.next/static/chunks/3236.eac9855778a54518.js +1 -0
  134. package/dashboard/.next/static/chunks/3480.853a445a3784642a.js +1 -0
  135. package/dashboard/.next/static/chunks/3485.36766504793b7237.js +9 -0
  136. package/dashboard/.next/static/chunks/3626.c5dacee11c8fbc4d.js +64 -0
  137. package/dashboard/.next/static/chunks/3725.de9376dc994735d4.js +9 -0
  138. package/dashboard/.next/static/chunks/3774.1df377928e8387f7.js +9 -0
  139. package/dashboard/.next/static/chunks/3865.5e6d2d501380e03b.js +90 -0
  140. package/dashboard/.next/static/chunks/3887.073cece834a4eae2.js +1 -0
  141. package/dashboard/.next/static/chunks/3924-f1f85ccc7d59d7ab.js +1 -0
  142. package/dashboard/.next/static/chunks/3948.74201b9f0672234d.js +287 -0
  143. package/dashboard/.next/static/chunks/3963.39d72b3875dfe2e9.js +13 -0
  144. package/dashboard/.next/static/chunks/4013.73884b23bfaebdde.js +11 -0
  145. package/dashboard/.next/static/chunks/4117.278aff1fa23fd36e.js +6 -0
  146. package/dashboard/.next/static/chunks/4210.cc8594110017c579.js +11 -0
  147. package/dashboard/.next/static/chunks/4282.28485875540886cc.js +7 -0
  148. package/dashboard/.next/static/chunks/4318.a2f469a88d88f6d0.js +8 -0
  149. package/dashboard/.next/static/chunks/4363.8999a6e727c48003.js +1 -0
  150. package/dashboard/.next/static/chunks/4641.e03d118fffebd580.js +5 -0
  151. package/dashboard/.next/static/chunks/4728.e69372b5e5b61b8d.js +24 -0
  152. package/dashboard/.next/static/chunks/4787.821a6ad2816cdc60.js +23 -0
  153. package/dashboard/.next/static/chunks/483.a910dab7734a1074.js +8 -0
  154. package/dashboard/.next/static/chunks/4926.76693f542e9cc062.js +6 -0
  155. package/dashboard/.next/static/chunks/4938.03f6d04dabf38745.js +10 -0
  156. package/dashboard/.next/static/chunks/5060.47402abc10273699.js +1 -0
  157. package/dashboard/.next/static/chunks/5112.0757c2b0c285e62e.js +1 -0
  158. package/dashboard/.next/static/chunks/5199.c83ea7efb0eec705.js +11 -0
  159. package/dashboard/.next/static/chunks/5284.334c7c0587d5d47a.js +1 -0
  160. package/dashboard/.next/static/chunks/530.849957a8907eb288.js +1 -0
  161. package/dashboard/.next/static/chunks/5424.4e8ca0711a32bccf.js +7 -0
  162. package/dashboard/.next/static/chunks/55.a593a78be9714679.js +1 -0
  163. package/dashboard/.next/static/chunks/5535.6cd0bd8d368d8902.js +4 -0
  164. package/dashboard/.next/static/chunks/5626.7d4e93d7acbeffc9.js +10 -0
  165. package/dashboard/.next/static/chunks/5715.e16b1230cc4b4652.js +115 -0
  166. package/dashboard/.next/static/chunks/5775.a0d7c1b1e89b9a93.js +9 -0
  167. package/dashboard/.next/static/chunks/6014.641a2c53ba506241.js +104 -0
  168. package/dashboard/.next/static/chunks/6024.f099c15f75aa6722.js +79 -0
  169. package/dashboard/.next/static/chunks/{6052.033a6f1013c666eb.js → 6052.3001318955e5b36c.js} +2 -2
  170. package/dashboard/.next/static/chunks/6118.266956b3333b1d7a.js +9 -0
  171. package/dashboard/.next/static/chunks/6121.a2e6d93720b1205e.js +77 -0
  172. package/dashboard/.next/static/chunks/6177.a01cf0a03734cf09.js +1 -0
  173. package/dashboard/.next/static/chunks/618f8807-fbb1466bc29c17c6.js +1 -0
  174. package/dashboard/.next/static/chunks/6434.f560693253fea8de.js +1 -0
  175. package/dashboard/.next/static/chunks/6468.976d89ba133185f1.js +77 -0
  176. package/dashboard/.next/static/chunks/6540.6f3c4f2c6877ed89.js +1 -0
  177. package/dashboard/.next/static/chunks/6549.e3c4c1766cff1449.js +1 -0
  178. package/dashboard/.next/static/chunks/6853.d3ad43614e8ca0ab.js +1 -0
  179. package/dashboard/.next/static/chunks/690f35d0.ab57e02a04c7e9e0.js +119 -0
  180. package/dashboard/.next/static/chunks/6951.02a3a158d02158c9.js +5 -0
  181. package/dashboard/.next/static/chunks/6970.013f24568c87d918.js +11 -0
  182. package/dashboard/.next/static/chunks/7013.39d41e82b37be63b.js +9 -0
  183. package/dashboard/.next/static/chunks/{7020.831e16e26d91abc1.js → 7020.b718b1b9cea36e60.js} +2 -2
  184. package/dashboard/.next/static/chunks/7107.1c5412197912b8ed.js +8 -0
  185. package/dashboard/.next/static/chunks/7498-7cf464d8af69cd0a.js +1 -0
  186. package/dashboard/.next/static/chunks/7508.dd60e2d06d149f5f.js +9 -0
  187. package/dashboard/.next/static/chunks/7524.0fde4c61553d1491.js +3 -0
  188. package/dashboard/.next/static/chunks/7802.f0134c792fccd382.js +80 -0
  189. package/dashboard/.next/static/chunks/7834-47f318a04a05688f.js +1 -0
  190. package/dashboard/.next/static/chunks/{7a04ac15.1c6cea694301806c.js → 7a04ac15.e49de94ece135900.js} +1 -1
  191. package/dashboard/.next/static/chunks/8216.1138ec313908a708.js +5 -0
  192. package/dashboard/.next/static/chunks/{8233babc.780b8e272eda298f.js → 8233babc.09872dcb3ff44064.js} +1 -1
  193. package/dashboard/.next/static/chunks/8317.d0b3eddef4cae0d5.js +1 -0
  194. package/dashboard/.next/static/chunks/838.2b2aa006519ba44c.js +10 -0
  195. package/dashboard/.next/static/chunks/8398.924fd8f4c83417c0.js +7 -0
  196. package/dashboard/.next/static/chunks/8428b36f.8ac4e67061c01307.js +34 -0
  197. package/dashboard/.next/static/chunks/8514.85ccbbea8ab21d04.js +5 -0
  198. package/dashboard/.next/static/chunks/8538.5f7ebe76c4b63162.js +1 -0
  199. package/dashboard/.next/static/chunks/8645.98a43217d406500e.js +1 -0
  200. package/dashboard/.next/static/chunks/8687.9406baa8b5601fd0.js +1 -0
  201. package/dashboard/.next/static/chunks/8721.47346e2cb6412376.js +10 -0
  202. package/dashboard/.next/static/chunks/8770.4f544bd1a6f03a62.js +8 -0
  203. package/dashboard/.next/static/chunks/8812.3d96fd54dba566f8.js +9 -0
  204. package/dashboard/.next/static/chunks/8962.d22aa67a97970dd8.js +1 -0
  205. package/dashboard/.next/static/chunks/8986.b327224b83f4399a.js +5 -0
  206. package/dashboard/.next/static/chunks/9173.a7160f7d0b685fa7.js +1 -0
  207. package/dashboard/.next/static/chunks/9178.998a8c49996de8e4.js +1 -0
  208. package/dashboard/.next/static/chunks/9271.5f66c19a8ee1ff36.js +10 -0
  209. package/dashboard/.next/static/chunks/9282.f8d01442bab4c0da.js +2 -0
  210. package/dashboard/.next/static/chunks/9366.0ec24a0791b9b00f.js +1 -0
  211. package/dashboard/.next/static/chunks/9466.a914ce0de7d3bb84.js +1 -0
  212. package/dashboard/.next/static/chunks/9660.b1c8deae2c449d14.js +1 -0
  213. package/dashboard/.next/static/chunks/9707.5cd7d2ee933a4af5.js +6 -0
  214. package/dashboard/.next/static/chunks/9716.15fffc0b0038601d.js +4 -0
  215. package/dashboard/.next/static/chunks/{9717.6cf5c8c89403b651.js → 9717.bba51b78ebd8fd29.js} +1 -1
  216. package/dashboard/.next/static/chunks/9720.d63a0696776bcc60.js +1 -0
  217. package/dashboard/.next/static/chunks/9791.e3b3f5a367f63c8a.js +1 -0
  218. package/dashboard/.next/static/chunks/9811.2993c4cbd28e8d1b.js +1 -0
  219. package/dashboard/.next/static/chunks/9820.8c1efad5260e8137.js +1 -0
  220. package/dashboard/.next/static/chunks/985.50150e9eaa4bde33.js +39 -0
  221. package/dashboard/.next/static/chunks/997.56901b86e1b8a87b.js +8 -0
  222. package/dashboard/.next/static/chunks/app/_not-found/page-5ff5d54b6fd6f17e.js +1 -0
  223. package/dashboard/.next/static/chunks/app/changes/page-f8a860034221cad4.js +1 -0
  224. package/dashboard/.next/static/chunks/app/issues/page-da4da93188c414a6.js +1 -0
  225. package/dashboard/.next/static/chunks/app/layout-27a9da4610423c1e.js +1 -0
  226. package/dashboard/.next/static/chunks/app/model/page-9680e22fdd6ddb81.js +1 -0
  227. package/dashboard/.next/static/chunks/app/page-0e67750d99fb2836.js +1 -0
  228. package/dashboard/.next/static/chunks/app/report/page-b56b1db9b9dcf2b6.js +1 -0
  229. package/dashboard/.next/static/chunks/app/review/page-3ef69f0e0badd333.js +1 -0
  230. package/dashboard/.next/static/chunks/{b7167ec1.7afbab6f609e3326.js → b7167ec1.708a3d61698ca2e6.js} +1 -1
  231. package/dashboard/.next/static/chunks/c75e29e3.d91220f782934d80.js +1 -0
  232. package/dashboard/.next/static/chunks/c7ea4e13.3073a2f551aa5ac8.js +1 -0
  233. package/dashboard/.next/static/chunks/framework-a117d81bf1b91f9a.js +33 -0
  234. package/dashboard/.next/static/chunks/main-9c95a7ffedc7afb4.js +1 -0
  235. package/dashboard/.next/static/chunks/main-app-5662c64b50ba40d1.js +1 -0
  236. package/dashboard/.next/static/chunks/pages/_app-308fef0bf9b328f2.js +1 -0
  237. package/dashboard/.next/static/chunks/pages/_error-c91b5eabd7ac9382.js +1 -0
  238. package/dashboard/.next/static/chunks/webpack-6da70e4f9fcf1799.js +1 -0
  239. package/dashboard/.next/static/css/ceafd91ca8dd753d.css +3 -0
  240. package/dashboard/.next/static/css/e4aad1f9c715b79a.css +1 -0
  241. package/dashboard/.next/static/media/39f449c8730c2295-s.woff2 +0 -0
  242. package/dashboard/.next/static/media/86f65e8637cc94e3-s.woff2 +0 -0
  243. package/dashboard/.next/static/media/8760c4774489e4ba-s.p.woff2 +0 -0
  244. package/dashboard/.next/static/media/9fabb9c65b63d798-s.woff2 +0 -0
  245. package/dashboard/.next/static/media/Assistant-Bold.c8f39f24.woff2 +0 -0
  246. package/dashboard/.next/static/media/Assistant-Medium.1e75d8e6.woff2 +0 -0
  247. package/dashboard/.next/static/media/Assistant-Regular.7acbabb8.woff2 +0 -0
  248. package/dashboard/.next/static/media/Assistant-SemiBold.167acbf8.woff2 +0 -0
  249. package/dashboard/.next/static/media/a1f87af3f44fadbb-s.woff2 +0 -0
  250. package/dashboard/.next/static/media/f9e1dbe9676d9bb6-s.woff2 +0 -0
  251. package/dashboard/app/api/code/route.ts +26 -20
  252. package/dashboard/app/api/comments/route.ts +158 -0
  253. package/dashboard/app/api/diagrams/[name]/export/route.ts +26 -0
  254. package/dashboard/app/api/diagrams/[name]/resolve/route.ts +25 -0
  255. package/dashboard/app/api/diagrams/[name]/route.ts +37 -0
  256. package/dashboard/app/api/figures/[name]/route.ts +15 -0
  257. package/dashboard/app/api/focus/route.ts +35 -0
  258. package/dashboard/app/api/invariants/[id]/route.ts +35 -0
  259. package/dashboard/app/api/issues/[id]/revert-auto/route.ts +18 -0
  260. package/dashboard/app/api/nav/route.ts +120 -0
  261. package/dashboard/app/api/palette/route.ts +68 -0
  262. package/dashboard/app/api/progress/route.ts +54 -23
  263. package/dashboard/app/api/xref/route.ts +30 -0
  264. package/dashboard/app/changes/ChangesClient.tsx +838 -0
  265. package/dashboard/app/changes/page.tsx +44 -0
  266. package/dashboard/app/excalidraw-assets/[...path]/route.ts +56 -0
  267. package/dashboard/app/globals.css +231 -77
  268. package/dashboard/app/issues/BoardClient.tsx +817 -0
  269. package/dashboard/app/issues/page.tsx +27 -272
  270. package/dashboard/app/layout.tsx +37 -10
  271. package/dashboard/app/model/ModelClient.tsx +1303 -0
  272. package/dashboard/app/model/page.tsx +98 -0
  273. package/dashboard/app/page.tsx +195 -239
  274. package/dashboard/app/report/ReportClient.tsx +147 -74
  275. package/dashboard/app/report/page.tsx +25 -14
  276. package/dashboard/app/review/ReviewClient.tsx +1180 -0
  277. package/dashboard/app/review/page.tsx +93 -0
  278. package/dashboard/components/AutoRefresh.tsx +22 -19
  279. package/dashboard/components/CodeComments.tsx +303 -0
  280. package/dashboard/components/CodeNav.tsx +523 -0
  281. package/dashboard/components/CodeReference.tsx +92 -99
  282. package/dashboard/components/CodeViewer.tsx +526 -0
  283. package/dashboard/components/CommandPalette.tsx +141 -66
  284. package/dashboard/components/DiagramCanvas.tsx +275 -0
  285. package/dashboard/components/DianeNote.tsx +244 -0
  286. package/dashboard/components/LiveStatus.tsx +30 -68
  287. package/dashboard/components/MarkdownRenderer.tsx +34 -32
  288. package/dashboard/components/RecordButton.tsx +132 -0
  289. package/dashboard/components/ui/Button.tsx +39 -0
  290. package/dashboard/components/ui/Chip.tsx +37 -0
  291. package/dashboard/components/ui/EmptyState.tsx +31 -0
  292. package/dashboard/components/ui/Icons.tsx +126 -0
  293. package/dashboard/components/ui/Inspector.tsx +122 -0
  294. package/dashboard/components/ui/Kbd.tsx +15 -0
  295. package/dashboard/components/ui/ListRow.tsx +92 -0
  296. package/dashboard/components/ui/LocalTime.tsx +14 -0
  297. package/dashboard/components/ui/ProgressRing.tsx +54 -0
  298. package/dashboard/components/ui/ResizeHandle.tsx +93 -0
  299. package/dashboard/components/ui/RiskMeter.tsx +27 -0
  300. package/dashboard/components/ui/SearchField.tsx +55 -0
  301. package/dashboard/components/ui/SegmentedControl.tsx +71 -0
  302. package/dashboard/components/ui/SeverityDot.tsx +57 -0
  303. package/dashboard/components/ui/Sidebar.tsx +236 -0
  304. package/dashboard/components/ui/SplitView.tsx +122 -0
  305. package/dashboard/components/ui/StateGlyph.tsx +66 -0
  306. package/dashboard/components/ui/Toast.tsx +91 -0
  307. package/dashboard/lib/api.ts +17 -0
  308. package/dashboard/lib/cn.ts +4 -0
  309. package/dashboard/lib/data.ts +2 -21
  310. package/dashboard/lib/finding-markdown.ts +1 -1
  311. package/dashboard/lib/focus.ts +42 -0
  312. package/dashboard/lib/hotkeys.ts +41 -0
  313. package/dashboard/lib/inline-markdown.test.ts +11 -0
  314. package/dashboard/lib/live.ts +32 -0
  315. package/dashboard/lib/pane-width.ts +36 -0
  316. package/dashboard/lib/server/board.ts +229 -0
  317. package/dashboard/lib/server/diagrams.ts +191 -0
  318. package/dashboard/lib/server/safe-path.ts +28 -0
  319. package/dashboard/lib/server/workspace.ts +113 -0
  320. package/dashboard/lib/server/xref.ts +42 -0
  321. package/dashboard/lib/solidity.test.ts +37 -0
  322. package/dashboard/lib/solidity.ts +191 -0
  323. package/dashboard/lib/source.ts +28 -0
  324. package/dashboard/lib/types.ts +164 -0
  325. package/dashboard/lib/url.ts +18 -0
  326. package/dashboard/lib/watcher.ts +31 -22
  327. package/dashboard/tailwind.config.ts +6 -3
  328. package/dist/analysis/code-model.d.ts +113 -0
  329. package/dist/analysis/code-model.d.ts.map +1 -0
  330. package/dist/analysis/code-model.js +532 -0
  331. package/dist/analysis/code-model.js.map +1 -0
  332. package/dist/analysis/diff.d.ts +75 -0
  333. package/dist/analysis/diff.d.ts.map +1 -0
  334. package/dist/analysis/diff.js +787 -0
  335. package/dist/analysis/diff.js.map +1 -0
  336. package/dist/commands/analyze.d.ts.map +1 -1
  337. package/dist/commands/analyze.js +25 -40
  338. package/dist/commands/analyze.js.map +1 -1
  339. package/dist/commands/claude.d.ts.map +1 -1
  340. package/dist/commands/claude.js +5 -0
  341. package/dist/commands/claude.js.map +1 -1
  342. package/dist/commands/dashboard.d.ts.map +1 -1
  343. package/dist/commands/dashboard.js +10 -2
  344. package/dist/commands/dashboard.js.map +1 -1
  345. package/dist/commands/diagram.d.ts +3 -0
  346. package/dist/commands/diagram.d.ts.map +1 -0
  347. package/dist/commands/diagram.js +71 -0
  348. package/dist/commands/diagram.js.map +1 -0
  349. package/dist/commands/diff.d.ts +25 -0
  350. package/dist/commands/diff.d.ts.map +1 -0
  351. package/dist/commands/diff.js +257 -0
  352. package/dist/commands/diff.js.map +1 -0
  353. package/dist/commands/doctor.d.ts.map +1 -1
  354. package/dist/commands/doctor.js +5 -18
  355. package/dist/commands/doctor.js.map +1 -1
  356. package/dist/commands/facts.d.ts +23 -0
  357. package/dist/commands/facts.d.ts.map +1 -0
  358. package/dist/commands/facts.js +121 -0
  359. package/dist/commands/facts.js.map +1 -0
  360. package/dist/commands/fix-review.d.ts +9 -0
  361. package/dist/commands/fix-review.d.ts.map +1 -0
  362. package/dist/commands/fix-review.js +367 -0
  363. package/dist/commands/fix-review.js.map +1 -0
  364. package/dist/commands/init.d.ts.map +1 -1
  365. package/dist/commands/init.js +106 -42
  366. package/dist/commands/init.js.map +1 -1
  367. package/dist/commands/issue.d.ts.map +1 -1
  368. package/dist/commands/issue.js +154 -5
  369. package/dist/commands/issue.js.map +1 -1
  370. package/dist/commands/mcp.d.ts +3 -0
  371. package/dist/commands/mcp.d.ts.map +1 -0
  372. package/dist/commands/mcp.js +11 -0
  373. package/dist/commands/mcp.js.map +1 -0
  374. package/dist/commands/model.d.ts +4 -0
  375. package/dist/commands/model.d.ts.map +1 -0
  376. package/dist/commands/model.js +275 -0
  377. package/dist/commands/model.js.map +1 -0
  378. package/dist/commands/note.d.ts.map +1 -1
  379. package/dist/commands/note.js +61 -3
  380. package/dist/commands/note.js.map +1 -1
  381. package/dist/commands/review.d.ts +4 -0
  382. package/dist/commands/review.d.ts.map +1 -0
  383. package/dist/commands/review.js +164 -0
  384. package/dist/commands/review.js.map +1 -0
  385. package/dist/core/comments.d.ts +59 -0
  386. package/dist/core/comments.d.ts.map +1 -0
  387. package/dist/core/comments.js +263 -0
  388. package/dist/core/comments.js.map +1 -0
  389. package/dist/core/config.d.ts +9 -0
  390. package/dist/core/config.d.ts.map +1 -1
  391. package/dist/core/config.js +18 -1
  392. package/dist/core/config.js.map +1 -1
  393. package/dist/core/dedup.d.ts +56 -0
  394. package/dist/core/dedup.d.ts.map +1 -0
  395. package/dist/core/dedup.js +208 -0
  396. package/dist/core/dedup.js.map +1 -0
  397. package/dist/core/errors.d.ts +1 -1
  398. package/dist/core/errors.d.ts.map +1 -1
  399. package/dist/core/errors.js +16 -15
  400. package/dist/core/errors.js.map +1 -1
  401. package/dist/core/external-tools.d.ts +0 -14
  402. package/dist/core/external-tools.d.ts.map +1 -1
  403. package/dist/core/external-tools.js +2 -52
  404. package/dist/core/external-tools.js.map +1 -1
  405. package/dist/core/fix-review.d.ts +54 -0
  406. package/dist/core/fix-review.d.ts.map +1 -0
  407. package/dist/core/fix-review.js +98 -0
  408. package/dist/core/fix-review.js.map +1 -0
  409. package/dist/core/fuzz-sync.d.ts +93 -0
  410. package/dist/core/fuzz-sync.d.ts.map +1 -0
  411. package/dist/core/fuzz-sync.js +516 -0
  412. package/dist/core/fuzz-sync.js.map +1 -0
  413. package/dist/core/git.d.ts +31 -0
  414. package/dist/core/git.d.ts.map +1 -0
  415. package/dist/core/git.js +157 -0
  416. package/dist/core/git.js.map +1 -0
  417. package/dist/core/issues.d.ts +35 -2
  418. package/dist/core/issues.d.ts.map +1 -1
  419. package/dist/core/issues.js +201 -30
  420. package/dist/core/issues.js.map +1 -1
  421. package/dist/core/mcp-config.d.ts +12 -0
  422. package/dist/core/mcp-config.d.ts.map +1 -0
  423. package/dist/core/mcp-config.js +29 -0
  424. package/dist/core/mcp-config.js.map +1 -0
  425. package/dist/core/model.d.ts +38 -0
  426. package/dist/core/model.d.ts.map +1 -0
  427. package/dist/core/model.js +160 -0
  428. package/dist/core/model.js.map +1 -0
  429. package/dist/core/notes.d.ts +27 -1
  430. package/dist/core/notes.d.ts.map +1 -1
  431. package/dist/core/notes.js +47 -5
  432. package/dist/core/notes.js.map +1 -1
  433. package/dist/core/review.d.ts +47 -0
  434. package/dist/core/review.d.ts.map +1 -1
  435. package/dist/core/review.js +177 -1
  436. package/dist/core/review.js.map +1 -1
  437. package/dist/core/rules.d.ts +12 -0
  438. package/dist/core/rules.d.ts.map +1 -0
  439. package/dist/core/rules.js +66 -0
  440. package/dist/core/rules.js.map +1 -0
  441. package/dist/core/schema.d.ts +5458 -2189
  442. package/dist/core/schema.d.ts.map +1 -1
  443. package/dist/core/schema.js +605 -114
  444. package/dist/core/schema.js.map +1 -1
  445. package/dist/core/scope.d.ts +8 -0
  446. package/dist/core/scope.d.ts.map +1 -0
  447. package/dist/core/scope.js +18 -0
  448. package/dist/core/scope.js.map +1 -0
  449. package/dist/core/skills.d.ts +10 -4
  450. package/dist/core/skills.d.ts.map +1 -1
  451. package/dist/core/skills.js +100 -37
  452. package/dist/core/skills.js.map +1 -1
  453. package/dist/diagrams/build.d.ts +18 -0
  454. package/dist/diagrams/build.d.ts.map +1 -0
  455. package/dist/diagrams/build.js +135 -0
  456. package/dist/diagrams/build.js.map +1 -0
  457. package/dist/diagrams/excalidraw.d.ts +27 -0
  458. package/dist/diagrams/excalidraw.d.ts.map +1 -0
  459. package/dist/diagrams/excalidraw.js +219 -0
  460. package/dist/diagrams/excalidraw.js.map +1 -0
  461. package/dist/diagrams/layout.d.ts +48 -0
  462. package/dist/diagrams/layout.d.ts.map +1 -0
  463. package/dist/diagrams/layout.js +686 -0
  464. package/dist/diagrams/layout.js.map +1 -0
  465. package/dist/facts/build.d.ts +23 -0
  466. package/dist/facts/build.d.ts.map +1 -0
  467. package/dist/facts/build.js +112 -0
  468. package/dist/facts/build.js.map +1 -0
  469. package/dist/facts/extract.d.ts +53 -0
  470. package/dist/facts/extract.d.ts.map +1 -0
  471. package/dist/facts/extract.js +635 -0
  472. package/dist/facts/extract.js.map +1 -0
  473. package/dist/facts/fallback.d.ts +7 -0
  474. package/dist/facts/fallback.d.ts.map +1 -0
  475. package/dist/facts/fallback.js +156 -0
  476. package/dist/facts/fallback.js.map +1 -0
  477. package/dist/facts/implementations.d.ts +29 -0
  478. package/dist/facts/implementations.d.ts.map +1 -0
  479. package/dist/facts/implementations.js +43 -0
  480. package/dist/facts/implementations.js.map +1 -0
  481. package/dist/facts/query.d.ts +35 -0
  482. package/dist/facts/query.d.ts.map +1 -0
  483. package/dist/facts/query.js +157 -0
  484. package/dist/facts/query.js.map +1 -0
  485. package/dist/facts/xref.d.ts +53 -0
  486. package/dist/facts/xref.d.ts.map +1 -0
  487. package/dist/facts/xref.js +282 -0
  488. package/dist/facts/xref.js.map +1 -0
  489. package/dist/index.js +16 -16
  490. package/dist/index.js.map +1 -1
  491. package/dist/mcp/server.d.ts +3 -0
  492. package/dist/mcp/server.d.ts.map +1 -0
  493. package/dist/mcp/server.js +400 -0
  494. package/dist/mcp/server.js.map +1 -0
  495. package/dist/skills/ai-audit/LICENSE +21 -0
  496. package/dist/skills/ai-audit/SKILL.md +486 -0
  497. package/dist/skills/ai-audit/UPSTREAM.md +51 -0
  498. package/dist/skills/ai-audit/references/agent-prompts.md +133 -0
  499. package/dist/skills/ai-audit/references/assemble.sh +357 -0
  500. package/dist/skills/ai-audit/references/dedup-and-assembly.md +420 -0
  501. package/dist/skills/ai-audit/references/hacking-agents/access-control-agent.md +27 -0
  502. package/dist/skills/ai-audit/references/hacking-agents/asymmetry-agent.md +77 -0
  503. package/dist/skills/ai-audit/references/hacking-agents/boundary-agent.md +79 -0
  504. package/dist/skills/ai-audit/references/hacking-agents/economic-security-agent.md +35 -0
  505. package/dist/skills/ai-audit/references/hacking-agents/execution-trace-agent.md +33 -0
  506. package/dist/skills/ai-audit/references/hacking-agents/first-principles-agent.md +36 -0
  507. package/dist/skills/ai-audit/references/hacking-agents/flow-gap-agent.md +49 -0
  508. package/dist/skills/ai-audit/references/hacking-agents/invariant-agent.md +44 -0
  509. package/dist/skills/ai-audit/references/hacking-agents/math-precision-agent.md +48 -0
  510. package/dist/skills/ai-audit/references/hacking-agents/numerical-gap-agent.md +46 -0
  511. package/dist/skills/ai-audit/references/hacking-agents/periphery-agent.md +27 -0
  512. package/dist/skills/ai-audit/references/hacking-agents/shared-rules.md +61 -0
  513. package/dist/skills/ai-audit/references/hacking-agents/trust-gap-agent.md +40 -0
  514. package/dist/skills/ai-audit/references/hex-board.md +211 -0
  515. package/dist/skills/ai-audit/references/hex-export.sh +71 -0
  516. package/dist/skills/ai-audit/references/judging.md +75 -0
  517. package/dist/skills/ai-audit/references/report-formatting.md +385 -0
  518. package/dist/skills/ai-audit/references/report-language.md +151 -0
  519. package/dist/skills/ai-audit/references/senior-auditor-sop.md +63 -0
  520. package/dist/skills/diane.md +26 -12
  521. package/dist/skills/fix-review.md +58 -0
  522. package/dist/skills/fuzz/LICENSE +21 -0
  523. package/dist/skills/fuzz/SKILL.md +655 -0
  524. package/dist/skills/fuzz/UPSTREAM.md +119 -0
  525. package/dist/skills/fuzz/agents/implementers/global-property-implementer.md +81 -0
  526. package/dist/skills/fuzz/agents/implementers/specific-property-implementer.md +121 -0
  527. package/dist/skills/fuzz/agents/invariant-discovery/adversarial-profit-maximizer.md +123 -0
  528. package/dist/skills/fuzz/agents/invariant-discovery/conservation-auditor.md +92 -0
  529. package/dist/skills/fuzz/agents/invariant-discovery/protocol-type-specialist.md +173 -0
  530. package/dist/skills/fuzz/agents/invariant-discovery/roundtrip-rounding-analyst.md +164 -0
  531. package/dist/skills/fuzz/agents/invariant-discovery/state-transition-mapper.md +92 -0
  532. package/dist/skills/fuzz/agents/invariant-discovery/synthesizer.md +261 -0
  533. package/dist/skills/fuzz/agents/protocol-analyzer.md +80 -0
  534. package/dist/skills/fuzz/agents/report-writer.md +135 -0
  535. package/dist/skills/fuzz/references/handler-patterns.md +222 -0
  536. package/dist/skills/fuzz/references/hex-invariants.md +102 -0
  537. package/dist/skills/fuzz/references/property-generation.md +149 -0
  538. package/dist/skills/fuzz/references/selection-policy.md +49 -0
  539. package/dist/skills/fuzz/references/setup-playbook.md +92 -0
  540. package/dist/skills/fuzz/references/template-map.md +121 -0
  541. package/dist/skills/fuzz/scripts/ensure_foundry.sh +125 -0
  542. package/dist/skills/fuzz/scripts/estimate_cost.js +157 -0
  543. package/dist/skills/fuzz/scripts/extract_abis.js +303 -0
  544. package/dist/skills/fuzz/scripts/fizz_sync.js +692 -0
  545. package/dist/skills/fuzz/scripts/generate_handlers.js +370 -0
  546. package/dist/skills/fuzz/scripts/generate_suite.js +254 -0
  547. package/dist/skills/fuzz/scripts/lib/log-viewer.js +332 -0
  548. package/dist/skills/fuzz/scripts/run_echidna.js +192 -0
  549. package/dist/skills/fuzz/scripts/run_medusa.js +329 -0
  550. package/dist/skills/fuzz/scripts/select_functions.js +637 -0
  551. package/dist/skills/fuzz/scripts/setup_fuzz_profile.sh +142 -0
  552. package/dist/skills/fuzz/templates/Actor.sol +63 -0
  553. package/dist/skills/fuzz/templates/Base.sol +121 -0
  554. package/dist/skills/fuzz/templates/FoundryTester.sol +29 -0
  555. package/dist/skills/fuzz/templates/FuzzTester.sol +11 -0
  556. package/dist/skills/fuzz/templates/Properties.sol +17 -0
  557. package/dist/skills/fuzz/templates/README.md +56 -0
  558. package/dist/skills/fuzz/templates/Snapshots.sol +26 -0
  559. package/dist/skills/fuzz/templates/echidna.yaml +18 -0
  560. package/dist/skills/fuzz/templates/handlers/Handlers.sol +13 -0
  561. package/dist/skills/fuzz/templates/medusa.json +93 -0
  562. package/dist/skills/fuzz/templates/utils/Clamp.sol +223 -0
  563. package/dist/skills/fuzz/templates/utils/DecimalPrinter.sol +63 -0
  564. package/dist/skills/fuzz/templates/utils/Deployer.sol +17 -0
  565. package/dist/skills/fuzz/templates/utils/EnumerableSet.sol +206 -0
  566. package/dist/skills/fuzz/templates/utils/Hevm.sol +62 -0
  567. package/dist/skills/fuzz/templates/utils/Logger.sol +619 -0
  568. package/dist/skills/fuzz/templates/utils/Math.sol +52 -0
  569. package/dist/skills/fuzz/templates/utils/MockERC20.sol +279 -0
  570. package/dist/skills/fuzz/templates/utils/PropertiesAsserts.sol +238 -0
  571. package/dist/skills/fuzz/templates/utils/StringUtils.sol +85 -0
  572. package/dist/skills/fuzz-convert/SKILL.md +249 -0
  573. package/dist/skills/fuzz-sync/SKILL.md +342 -0
  574. package/dist/skills/generate-poc.md +8 -26
  575. package/dist/skills/generate-report.md +24 -8
  576. package/dist/skills/ingest-aa-report.md +11 -30
  577. package/dist/skills/init-audit/SKILL.md +155 -0
  578. package/dist/skills/init-audit/references/agents/conformance-checker.md +36 -0
  579. package/dist/skills/init-audit/references/agents/contract-reader.md +59 -0
  580. package/dist/skills/init-audit/references/agents/diagram-composer.md +48 -0
  581. package/dist/skills/init-audit/references/agents/docs-extractor.md +26 -0
  582. package/dist/skills/init-audit/references/agents/prior-audit.md +32 -0
  583. package/dist/skills/init-audit/references/agents/regression-checker.md +28 -0
  584. package/dist/skills/init-audit/references/agents/skeptic.md +31 -0
  585. package/dist/skills/init-audit/references/agents/standards-checker.md +39 -0
  586. package/dist/skills/init-audit/references/agents/synthesizer.md +50 -0
  587. package/dist/skills/prevalidate.md +62 -0
  588. package/dist/skills/sync-issues.md +11 -25
  589. package/dist/skills/validate-all-findings.md +3 -3
  590. package/dist/skills/validate-finding.md +33 -28
  591. package/dist/skills/write-finding.md +6 -5
  592. package/dist/types/index.d.ts +22 -12
  593. package/dist/types/index.d.ts.map +1 -1
  594. package/package.json +6 -4
  595. package/dashboard/.next/server/app/_not-found.html +0 -1
  596. package/dashboard/.next/server/app/_not-found.meta +0 -6
  597. package/dashboard/.next/server/app/_not-found.rsc +0 -12
  598. package/dashboard/.next/server/app/access/page.js +0 -1
  599. package/dashboard/.next/server/app/access/page_client-reference-manifest.js +0 -1
  600. package/dashboard/.next/server/app/api/flows/route.js +0 -1
  601. package/dashboard/.next/server/app/api/mermaid/route.js +0 -1
  602. package/dashboard/.next/server/app/calls/page.js +0 -1
  603. package/dashboard/.next/server/app/calls/page_client-reference-manifest.js +0 -1
  604. package/dashboard/.next/server/app/conformance/page.js +0 -1
  605. package/dashboard/.next/server/app/conformance/page_client-reference-manifest.js +0 -1
  606. package/dashboard/.next/server/app/diagram/page.js +0 -1
  607. package/dashboard/.next/server/app/diagram/page.js.nft.json +0 -1
  608. package/dashboard/.next/server/app/diagram/page_client-reference-manifest.js +0 -1
  609. package/dashboard/.next/server/app/diagram.html +0 -1
  610. package/dashboard/.next/server/app/diagram.meta +0 -5
  611. package/dashboard/.next/server/app/diagram.rsc +0 -10
  612. package/dashboard/.next/server/app/flows/page.js +0 -1
  613. package/dashboard/.next/server/app/flows/page.js.nft.json +0 -1
  614. package/dashboard/.next/server/app/flows/page_client-reference-manifest.js +0 -1
  615. package/dashboard/.next/server/app/flows.html +0 -1
  616. package/dashboard/.next/server/app/flows.meta +0 -5
  617. package/dashboard/.next/server/app/flows.rsc +0 -10
  618. package/dashboard/.next/server/app/functions/page.js +0 -1
  619. package/dashboard/.next/server/app/functions/page.js.nft.json +0 -1
  620. package/dashboard/.next/server/app/functions/page_client-reference-manifest.js +0 -1
  621. package/dashboard/.next/server/app/notes/page.js +0 -22
  622. package/dashboard/.next/server/app/notes/page.js.nft.json +0 -1
  623. package/dashboard/.next/server/app/notes/page_client-reference-manifest.js +0 -1
  624. package/dashboard/.next/server/app/progress/page.js +0 -1
  625. package/dashboard/.next/server/app/progress/page.js.nft.json +0 -1
  626. package/dashboard/.next/server/app/progress/page_client-reference-manifest.js +0 -1
  627. package/dashboard/.next/server/app/stats/page.js +0 -1
  628. package/dashboard/.next/server/app/stats/page.js.nft.json +0 -1
  629. package/dashboard/.next/server/app/stats/page_client-reference-manifest.js +0 -1
  630. package/dashboard/.next/server/chunks/44.js +0 -1
  631. package/dashboard/.next/server/chunks/530.js +0 -1
  632. package/dashboard/.next/server/chunks/622.js +0 -3
  633. package/dashboard/.next/server/chunks/665.js +0 -13
  634. package/dashboard/.next/server/pages/404.html +0 -1
  635. package/dashboard/.next/static/AyrRAwu4mazjp8iX4Yjbb/_buildManifest.js +0 -1
  636. package/dashboard/.next/static/chunks/1015.3ab89142e5f44120.js +0 -226
  637. package/dashboard/.next/static/chunks/1151.b6ef5c786e587ed7.js +0 -1
  638. package/dashboard/.next/static/chunks/1199.a072929dbec89965.js +0 -148
  639. package/dashboard/.next/static/chunks/1375.d4d2f7fc9c9c2ff1.js +0 -43
  640. package/dashboard/.next/static/chunks/1799.83206776abbbf1fc.js +0 -9
  641. package/dashboard/.next/static/chunks/20154aaa.ccc347c04ab5ad4a.js +0 -1
  642. package/dashboard/.next/static/chunks/2077.7011a570c87aa7b1.js +0 -1
  643. package/dashboard/.next/static/chunks/2166.cc0fabeb2e89b840.js +0 -215
  644. package/dashboard/.next/static/chunks/2325.2c55cb9a6282ae3f.js +0 -24
  645. package/dashboard/.next/static/chunks/2694.92bbe252063e4786.js +0 -1
  646. package/dashboard/.next/static/chunks/275.0d761aa0e5b030b8.js +0 -34
  647. package/dashboard/.next/static/chunks/2781.8536b644a480aede.js +0 -93
  648. package/dashboard/.next/static/chunks/2805.a8d71d2f92bb6ba9.js +0 -1
  649. package/dashboard/.next/static/chunks/3017.e55781da9dd32d37.js +0 -1
  650. package/dashboard/.next/static/chunks/3205-728c260fbb4f89c6.js +0 -2
  651. package/dashboard/.next/static/chunks/3236.dff44fa7961d9d5e.js +0 -1
  652. package/dashboard/.next/static/chunks/3480.9451396ad7ee7613.js +0 -1
  653. package/dashboard/.next/static/chunks/3626.ba1cf848a9f2e93d.js +0 -64
  654. package/dashboard/.next/static/chunks/3865.a432a7910a2f5281.js +0 -90
  655. package/dashboard/.next/static/chunks/3887.c22cbfa3f095826c.js +0 -1
  656. package/dashboard/.next/static/chunks/3924-4a05057b5450abe1.js +0 -1
  657. package/dashboard/.next/static/chunks/3948.fe3c7d758568d98b.js +0 -287
  658. package/dashboard/.next/static/chunks/4728.07d87640a3e7dd0d.js +0 -24
  659. package/dashboard/.next/static/chunks/4787.4e5f6a0e0e40a583.js +0 -23
  660. package/dashboard/.next/static/chunks/5060.baca226af35ed016.js +0 -1
  661. package/dashboard/.next/static/chunks/5284.f949ac90c95ff143.js +0 -1
  662. package/dashboard/.next/static/chunks/5715.1524bcc9591e180b.js +0 -115
  663. package/dashboard/.next/static/chunks/6014.700ae4969b64d728.js +0 -104
  664. package/dashboard/.next/static/chunks/6024.4d23707c65514679.js +0 -79
  665. package/dashboard/.next/static/chunks/6177.e5c84cfc4c0dea51.js +0 -1
  666. package/dashboard/.next/static/chunks/618f8807-547c5614e1318888.js +0 -1
  667. package/dashboard/.next/static/chunks/6434.9481771c33195d29.js +0 -1
  668. package/dashboard/.next/static/chunks/6468.f4a3e8fa6accc6da.js +0 -77
  669. package/dashboard/.next/static/chunks/6540.86f367d7390738d4.js +0 -1
  670. package/dashboard/.next/static/chunks/6549.4d0d472df96429a5.js +0 -1
  671. package/dashboard/.next/static/chunks/690f35d0.3e40ca0930e4bbdb.js +0 -119
  672. package/dashboard/.next/static/chunks/7397-f6f4dddc7a20bfc1.js +0 -1
  673. package/dashboard/.next/static/chunks/7498-ea83cb9e30ec5491.js +0 -1
  674. package/dashboard/.next/static/chunks/7802.89aec9ee11680850.js +0 -80
  675. package/dashboard/.next/static/chunks/7973.8b526f589aca5d84.js +0 -79
  676. package/dashboard/.next/static/chunks/8216.1bead812eb126c35.js +0 -5
  677. package/dashboard/.next/static/chunks/8452-e616b5f43bceb95f.js +0 -13
  678. package/dashboard/.next/static/chunks/8645.a5ca76f11edc9633.js +0 -1
  679. package/dashboard/.next/static/chunks/8928-60c623ee89d2e6ad.js +0 -1
  680. package/dashboard/.next/static/chunks/9173.2486ffca31131ec5.js +0 -1
  681. package/dashboard/.next/static/chunks/9178.469341860bf8caec.js +0 -1
  682. package/dashboard/.next/static/chunks/9466.e904660d38c03eea.js +0 -1
  683. package/dashboard/.next/static/chunks/9660.84a85811380c5f33.js +0 -1
  684. package/dashboard/.next/static/chunks/9720.67d4d0d15a96d691.js +0 -1
  685. package/dashboard/.next/static/chunks/9811.65e1d080c2d256af.js +0 -1
  686. package/dashboard/.next/static/chunks/app/_not-found/page-548ab392d0e890d1.js +0 -1
  687. package/dashboard/.next/static/chunks/app/access/page-3668562e7464eb5d.js +0 -1
  688. package/dashboard/.next/static/chunks/app/calls/page-d07f5b8664cc8303.js +0 -1
  689. package/dashboard/.next/static/chunks/app/conformance/page-2fede1d7b5f9265d.js +0 -1
  690. package/dashboard/.next/static/chunks/app/diagram/page-b228444265546495.js +0 -1
  691. package/dashboard/.next/static/chunks/app/flows/page-fa67783d8cd79cab.js +0 -1
  692. package/dashboard/.next/static/chunks/app/functions/page-686f0296639133a3.js +0 -1
  693. package/dashboard/.next/static/chunks/app/issues/page-98a298e1c1045c91.js +0 -1
  694. package/dashboard/.next/static/chunks/app/layout-49f2496c7637d931.js +0 -1
  695. package/dashboard/.next/static/chunks/app/notes/page-17af94c67ba79c00.js +0 -1
  696. package/dashboard/.next/static/chunks/app/page-24bac51dfe007c66.js +0 -1
  697. package/dashboard/.next/static/chunks/app/progress/page-427fb18da3afb061.js +0 -1
  698. package/dashboard/.next/static/chunks/app/report/page-796f2f4a8a5ac8f7.js +0 -1
  699. package/dashboard/.next/static/chunks/app/stats/page-db81f600a086f252.js +0 -1
  700. package/dashboard/.next/static/chunks/c7ea4e13.5effeeba6618bdb7.js +0 -1
  701. package/dashboard/.next/static/chunks/framework-cf6f5bdca6ba0184.js +0 -33
  702. package/dashboard/.next/static/chunks/main-63ff429eab01f5bf.js +0 -1
  703. package/dashboard/.next/static/chunks/main-app-9d2f6b8a47133e9b.js +0 -1
  704. package/dashboard/.next/static/chunks/pages/_app-6ad2b50514c24ab4.js +0 -1
  705. package/dashboard/.next/static/chunks/pages/_error-d5eb11c5c4626811.js +0 -1
  706. package/dashboard/.next/static/chunks/webpack-08869f2b18792e51.js +0 -1
  707. package/dashboard/.next/static/css/4a38d8f6f6b7a68f.css +0 -3
  708. package/dashboard/.next/static/media/438aa629764e75f3-s.woff2 +0 -0
  709. package/dashboard/.next/static/media/4c9affa5bc8f420e-s.p.woff2 +0 -0
  710. package/dashboard/.next/static/media/51251f8b9793cdb3-s.woff2 +0 -0
  711. package/dashboard/.next/static/media/875ae681bfde4580-s.woff2 +0 -0
  712. package/dashboard/.next/static/media/cc978ac5ee68c2b6-s.woff2 +0 -0
  713. package/dashboard/.next/static/media/e857b654a2caa584-s.woff2 +0 -0
  714. package/dashboard/app/access/AccessClient.tsx +0 -402
  715. package/dashboard/app/access/ReadOnlyFunctions.tsx +0 -114
  716. package/dashboard/app/access/page.tsx +0 -125
  717. package/dashboard/app/api/flows/route.ts +0 -32
  718. package/dashboard/app/api/mermaid/route.ts +0 -25
  719. package/dashboard/app/calls/CallsClient.tsx +0 -170
  720. package/dashboard/app/calls/page.tsx +0 -57
  721. package/dashboard/app/conformance/ConformanceTable.tsx +0 -214
  722. package/dashboard/app/conformance/page.tsx +0 -186
  723. package/dashboard/app/diagram/page.tsx +0 -65
  724. package/dashboard/app/flows/page.tsx +0 -102
  725. package/dashboard/app/functions/FunctionsClient.tsx +0 -167
  726. package/dashboard/app/functions/page.tsx +0 -178
  727. package/dashboard/app/issues/IssuesBoardClient.tsx +0 -803
  728. package/dashboard/app/notes/NotesClient.tsx +0 -701
  729. package/dashboard/app/notes/page.tsx +0 -47
  730. package/dashboard/app/progress/ProgressClient.tsx +0 -354
  731. package/dashboard/app/progress/page.tsx +0 -127
  732. package/dashboard/app/stats/StatsClient.tsx +0 -452
  733. package/dashboard/app/stats/page.tsx +0 -50
  734. package/dashboard/components/ConfidenceBadge.tsx +0 -53
  735. package/dashboard/components/DashboardLayout.tsx +0 -485
  736. package/dashboard/components/FilterableTable.tsx +0 -293
  737. package/dashboard/components/MermaidViewer.tsx +0 -267
  738. package/dashboard/components/NotYetGenerated.tsx +0 -32
  739. package/dashboard/components/SeverityBadge.tsx +0 -28
  740. package/dashboard/components/SignalBars.tsx +0 -27
  741. package/dashboard/components/SortableTable.tsx +0 -122
  742. package/dashboard/lib/conformance-tokens.ts +0 -49
  743. package/dist/skills/init-audit.md +0 -284
  744. /package/dashboard/.next/server/app/api/{flows → xref}/route.js.nft.json +0 -0
  745. /package/dashboard/.next/server/app/{api/mermaid → excalidraw-assets/[...path]}/route.js.nft.json +0 -0
  746. /package/dashboard/.next/static/{AyrRAwu4mazjp8iX4Yjbb → bGV1ry1vvIbM5b506eVBR}/_ssgManifest.js +0 -0
@@ -1,79 +0,0 @@
1
- "use strict";(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[6024],{1984:function(e,t,s){s.d(t,{j:function(){return r}});var i=s(9125),n=s(7632),r=(0,n.eW)((e,t,s,r)=>{e.attr("class",s);let{width:c,height:o,x:h,y:u}=a(e,t);(0,i.v2)(e,o,c,r);let y=l(h,u,c,o,t);e.attr("viewBox",y),n.cM.debug(`viewBox configured: ${y} with padding: ${t}`)},"setupViewPortForSVG"),a=(0,n.eW)((e,t)=>{let s=e.node()?.getBBox()||{width:0,height:0,x:0,y:0};return{width:s.width+2*t,height:s.height+2*t,x:s.x,y:s.y}},"calculateDimensionsWithPadding"),l=(0,n.eW)((e,t,s,i,n)=>`${e-n} ${t-n} ${s} ${i}`,"createViewBox")},4759:function(e,t,s){s.d(t,{q:function(){return r}});var i=s(7632),n=s(8859),r=(0,i.eW)((e,t)=>{let s;return"sandbox"===t&&(s=(0,n.Ys)("#i"+e)),("sandbox"===t?(0,n.Ys)(s.nodes()[0].contentDocument.body):(0,n.Ys)("body")).select(`[id="${e}"]`)},"getDiagramElement")},6024:function(e,t,s){s.d(t,{diagram:function(){return E}});var i=s(4759),n=s(1984),r=s(8523);s(825),s(2995),s(1674),s(4994),s(3984),s(7062);var a=s(778),l=s(9125),c=s(7632),o=function(){var e=(0,c.eW)(function(e,t,s,i){for(s=s||{},i=e.length;i--;s[e[i]]=t);return s},"o"),t=[1,3],s=[1,4],i=[1,5],n=[1,6],r=[5,6,8,9,11,13,21,22,23,24,41,42,43,44,45,46,54,72,74,77,89,90],a=[1,22],l=[2,7],o=[1,26],h=[1,27],u=[1,28],y=[1,29],m=[1,33],d=[1,34],E=[1,35],p=[1,36],R=[1,37],f=[1,38],g=[1,24],_=[1,31],S=[1,32],I=[1,30],b=[1,39],T=[1,40],k=[5,8,9,11,13,21,22,23,24,41,42,43,44,45,46,54,72,74,77,89,90],N=[1,61],q=[89,90],C=[5,8,9,11,13,21,22,23,24,27,29,41,42,43,44,45,46,54,61,63,72,74,75,76,77,80,81,82,83,84,85,86,87,88,89,90],A=[27,29],$=[1,70],L=[1,71],x=[1,72],v=[1,73],w=[1,74],M=[1,75],O=[1,76],D=[1,83],F=[1,80],W=[1,84],P=[1,85],V=[1,86],U=[1,87],Y=[1,88],B=[1,89],Q=[1,90],H=[1,91],K=[1,92],j=[5,8,9,11,13,21,22,23,24,27,41,42,43,44,45,46,54,72,74,75,76,77,80,81,82,83,84,85,86,87,88,89,90],G=[63,64],z=[1,101],X=[5,8,9,11,13,21,22,23,24,41,42,43,44,45,46,54,72,74,76,77,89,90],Z=[5,8,9,11,13,21,22,23,24,41,42,43,44,45,46,54,72,74,75,76,77,80,81,82,83,84,85,86,87,88,89,90],J=[1,110],ee=[1,106],et=[1,107],es=[1,108],ei=[1,109],en=[1,111],er=[1,116],ea=[1,117],el=[1,114],ec=[1,115],eo={trace:(0,c.eW)(function(){},"trace"),yy:{},symbols_:{error:2,start:3,directive:4,NEWLINE:5,RD:6,diagram:7,EOF:8,acc_title:9,acc_title_value:10,acc_descr:11,acc_descr_value:12,acc_descr_multiline_value:13,requirementDef:14,elementDef:15,relationshipDef:16,direction:17,styleStatement:18,classDefStatement:19,classStatement:20,direction_tb:21,direction_bt:22,direction_rl:23,direction_lr:24,requirementType:25,requirementName:26,STRUCT_START:27,requirementBody:28,STYLE_SEPARATOR:29,idList:30,ID:31,COLONSEP:32,id:33,TEXT:34,text:35,RISK:36,riskLevel:37,VERIFYMTHD:38,verifyType:39,STRUCT_STOP:40,REQUIREMENT:41,FUNCTIONAL_REQUIREMENT:42,INTERFACE_REQUIREMENT:43,PERFORMANCE_REQUIREMENT:44,PHYSICAL_REQUIREMENT:45,DESIGN_CONSTRAINT:46,LOW_RISK:47,MED_RISK:48,HIGH_RISK:49,VERIFY_ANALYSIS:50,VERIFY_DEMONSTRATION:51,VERIFY_INSPECTION:52,VERIFY_TEST:53,ELEMENT:54,elementName:55,elementBody:56,TYPE:57,type:58,DOCREF:59,ref:60,END_ARROW_L:61,relationship:62,LINE:63,END_ARROW_R:64,CONTAINS:65,COPIES:66,DERIVES:67,SATISFIES:68,VERIFIES:69,REFINES:70,TRACES:71,CLASSDEF:72,stylesOpt:73,CLASS:74,ALPHA:75,COMMA:76,STYLE:77,style:78,styleComponent:79,NUM:80,COLON:81,UNIT:82,SPACE:83,BRKT:84,PCT:85,MINUS:86,LABEL:87,SEMICOLON:88,unqString:89,qString:90,$accept:0,$end:1},terminals_:{2:"error",5:"NEWLINE",6:"RD",8:"EOF",9:"acc_title",10:"acc_title_value",11:"acc_descr",12:"acc_descr_value",13:"acc_descr_multiline_value",21:"direction_tb",22:"direction_bt",23:"direction_rl",24:"direction_lr",27:"STRUCT_START",29:"STYLE_SEPARATOR",31:"ID",32:"COLONSEP",34:"TEXT",36:"RISK",38:"VERIFYMTHD",40:"STRUCT_STOP",41:"REQUIREMENT",42:"FUNCTIONAL_REQUIREMENT",43:"INTERFACE_REQUIREMENT",44:"PERFORMANCE_REQUIREMENT",45:"PHYSICAL_REQUIREMENT",46:"DESIGN_CONSTRAINT",47:"LOW_RISK",48:"MED_RISK",49:"HIGH_RISK",50:"VERIFY_ANALYSIS",51:"VERIFY_DEMONSTRATION",52:"VERIFY_INSPECTION",53:"VERIFY_TEST",54:"ELEMENT",57:"TYPE",59:"DOCREF",61:"END_ARROW_L",63:"LINE",64:"END_ARROW_R",65:"CONTAINS",66:"COPIES",67:"DERIVES",68:"SATISFIES",69:"VERIFIES",70:"REFINES",71:"TRACES",72:"CLASSDEF",74:"CLASS",75:"ALPHA",76:"COMMA",77:"STYLE",80:"NUM",81:"COLON",82:"UNIT",83:"SPACE",84:"BRKT",85:"PCT",86:"MINUS",87:"LABEL",88:"SEMICOLON",89:"unqString",90:"qString"},productions_:[0,[3,3],[3,2],[3,4],[4,2],[4,2],[4,1],[7,0],[7,2],[7,2],[7,2],[7,2],[7,2],[7,2],[7,2],[7,2],[7,2],[17,1],[17,1],[17,1],[17,1],[14,5],[14,7],[28,5],[28,5],[28,5],[28,5],[28,2],[28,1],[25,1],[25,1],[25,1],[25,1],[25,1],[25,1],[37,1],[37,1],[37,1],[39,1],[39,1],[39,1],[39,1],[15,5],[15,7],[56,5],[56,5],[56,2],[56,1],[16,5],[16,5],[62,1],[62,1],[62,1],[62,1],[62,1],[62,1],[62,1],[19,3],[20,3],[20,3],[30,1],[30,3],[30,1],[30,3],[18,3],[73,1],[73,3],[78,1],[78,2],[79,1],[79,1],[79,1],[79,1],[79,1],[79,1],[79,1],[79,1],[79,1],[79,1],[26,1],[26,1],[33,1],[33,1],[35,1],[35,1],[55,1],[55,1],[58,1],[58,1],[60,1],[60,1]],performAction:(0,c.eW)(function(e,t,s,i,n,r,a){var l=r.length-1;switch(n){case 4:this.$=r[l].trim(),i.setAccTitle(this.$);break;case 5:case 6:this.$=r[l].trim(),i.setAccDescription(this.$);break;case 7:this.$=[];break;case 17:i.setDirection("TB");break;case 18:i.setDirection("BT");break;case 19:i.setDirection("RL");break;case 20:i.setDirection("LR");break;case 21:i.addRequirement(r[l-3],r[l-4]);break;case 22:i.addRequirement(r[l-5],r[l-6]),i.setClass([r[l-5]],r[l-3]);break;case 23:i.setNewReqId(r[l-2]);break;case 24:i.setNewReqText(r[l-2]);break;case 25:i.setNewReqRisk(r[l-2]);break;case 26:i.setNewReqVerifyMethod(r[l-2]);break;case 29:this.$=i.RequirementType.REQUIREMENT;break;case 30:this.$=i.RequirementType.FUNCTIONAL_REQUIREMENT;break;case 31:this.$=i.RequirementType.INTERFACE_REQUIREMENT;break;case 32:this.$=i.RequirementType.PERFORMANCE_REQUIREMENT;break;case 33:this.$=i.RequirementType.PHYSICAL_REQUIREMENT;break;case 34:this.$=i.RequirementType.DESIGN_CONSTRAINT;break;case 35:this.$=i.RiskLevel.LOW_RISK;break;case 36:this.$=i.RiskLevel.MED_RISK;break;case 37:this.$=i.RiskLevel.HIGH_RISK;break;case 38:this.$=i.VerifyType.VERIFY_ANALYSIS;break;case 39:this.$=i.VerifyType.VERIFY_DEMONSTRATION;break;case 40:this.$=i.VerifyType.VERIFY_INSPECTION;break;case 41:this.$=i.VerifyType.VERIFY_TEST;break;case 42:i.addElement(r[l-3]);break;case 43:i.addElement(r[l-5]),i.setClass([r[l-5]],r[l-3]);break;case 44:i.setNewElementType(r[l-2]);break;case 45:i.setNewElementDocRef(r[l-2]);break;case 48:i.addRelationship(r[l-2],r[l],r[l-4]);break;case 49:i.addRelationship(r[l-2],r[l-4],r[l]);break;case 50:this.$=i.Relationships.CONTAINS;break;case 51:this.$=i.Relationships.COPIES;break;case 52:this.$=i.Relationships.DERIVES;break;case 53:this.$=i.Relationships.SATISFIES;break;case 54:this.$=i.Relationships.VERIFIES;break;case 55:this.$=i.Relationships.REFINES;break;case 56:this.$=i.Relationships.TRACES;break;case 57:this.$=r[l-2],i.defineClass(r[l-1],r[l]);break;case 58:i.setClass(r[l-1],r[l]);break;case 59:i.setClass([r[l-2]],r[l]);break;case 60:case 62:case 65:this.$=[r[l]];break;case 61:case 63:this.$=r[l-2].concat([r[l]]);break;case 64:this.$=r[l-2],i.setCssStyle(r[l-1],r[l]);break;case 66:r[l-2].push(r[l]),this.$=r[l-2];break;case 68:this.$=r[l-1]+r[l]}},"anonymous"),table:[{3:1,4:2,6:t,9:s,11:i,13:n},{1:[3]},{3:8,4:2,5:[1,7],6:t,9:s,11:i,13:n},{5:[1,9]},{10:[1,10]},{12:[1,11]},e(r,[2,6]),{3:12,4:2,6:t,9:s,11:i,13:n},{1:[2,2]},{4:17,5:a,7:13,8:l,9:s,11:i,13:n,14:14,15:15,16:16,17:18,18:19,19:20,20:21,21:o,22:h,23:u,24:y,25:23,33:25,41:m,42:d,43:E,44:p,45:R,46:f,54:g,72:_,74:S,77:I,89:b,90:T},e(r,[2,4]),e(r,[2,5]),{1:[2,1]},{8:[1,41]},{4:17,5:a,7:42,8:l,9:s,11:i,13:n,14:14,15:15,16:16,17:18,18:19,19:20,20:21,21:o,22:h,23:u,24:y,25:23,33:25,41:m,42:d,43:E,44:p,45:R,46:f,54:g,72:_,74:S,77:I,89:b,90:T},{4:17,5:a,7:43,8:l,9:s,11:i,13:n,14:14,15:15,16:16,17:18,18:19,19:20,20:21,21:o,22:h,23:u,24:y,25:23,33:25,41:m,42:d,43:E,44:p,45:R,46:f,54:g,72:_,74:S,77:I,89:b,90:T},{4:17,5:a,7:44,8:l,9:s,11:i,13:n,14:14,15:15,16:16,17:18,18:19,19:20,20:21,21:o,22:h,23:u,24:y,25:23,33:25,41:m,42:d,43:E,44:p,45:R,46:f,54:g,72:_,74:S,77:I,89:b,90:T},{4:17,5:a,7:45,8:l,9:s,11:i,13:n,14:14,15:15,16:16,17:18,18:19,19:20,20:21,21:o,22:h,23:u,24:y,25:23,33:25,41:m,42:d,43:E,44:p,45:R,46:f,54:g,72:_,74:S,77:I,89:b,90:T},{4:17,5:a,7:46,8:l,9:s,11:i,13:n,14:14,15:15,16:16,17:18,18:19,19:20,20:21,21:o,22:h,23:u,24:y,25:23,33:25,41:m,42:d,43:E,44:p,45:R,46:f,54:g,72:_,74:S,77:I,89:b,90:T},{4:17,5:a,7:47,8:l,9:s,11:i,13:n,14:14,15:15,16:16,17:18,18:19,19:20,20:21,21:o,22:h,23:u,24:y,25:23,33:25,41:m,42:d,43:E,44:p,45:R,46:f,54:g,72:_,74:S,77:I,89:b,90:T},{4:17,5:a,7:48,8:l,9:s,11:i,13:n,14:14,15:15,16:16,17:18,18:19,19:20,20:21,21:o,22:h,23:u,24:y,25:23,33:25,41:m,42:d,43:E,44:p,45:R,46:f,54:g,72:_,74:S,77:I,89:b,90:T},{4:17,5:a,7:49,8:l,9:s,11:i,13:n,14:14,15:15,16:16,17:18,18:19,19:20,20:21,21:o,22:h,23:u,24:y,25:23,33:25,41:m,42:d,43:E,44:p,45:R,46:f,54:g,72:_,74:S,77:I,89:b,90:T},{4:17,5:a,7:50,8:l,9:s,11:i,13:n,14:14,15:15,16:16,17:18,18:19,19:20,20:21,21:o,22:h,23:u,24:y,25:23,33:25,41:m,42:d,43:E,44:p,45:R,46:f,54:g,72:_,74:S,77:I,89:b,90:T},{26:51,89:[1,52],90:[1,53]},{55:54,89:[1,55],90:[1,56]},{29:[1,59],61:[1,57],63:[1,58]},e(k,[2,17]),e(k,[2,18]),e(k,[2,19]),e(k,[2,20]),{30:60,33:62,75:N,89:b,90:T},{30:63,33:62,75:N,89:b,90:T},{30:64,33:62,75:N,89:b,90:T},e(q,[2,29]),e(q,[2,30]),e(q,[2,31]),e(q,[2,32]),e(q,[2,33]),e(q,[2,34]),e(C,[2,81]),e(C,[2,82]),{1:[2,3]},{8:[2,8]},{8:[2,9]},{8:[2,10]},{8:[2,11]},{8:[2,12]},{8:[2,13]},{8:[2,14]},{8:[2,15]},{8:[2,16]},{27:[1,65],29:[1,66]},e(A,[2,79]),e(A,[2,80]),{27:[1,67],29:[1,68]},e(A,[2,85]),e(A,[2,86]),{62:69,65:$,66:L,67:x,68:v,69:w,70:M,71:O},{62:77,65:$,66:L,67:x,68:v,69:w,70:M,71:O},{30:78,33:62,75:N,89:b,90:T},{73:79,75:D,76:F,78:81,79:82,80:W,81:P,82:V,83:U,84:Y,85:B,86:Q,87:H,88:K},e(j,[2,60]),e(j,[2,62]),{73:93,75:D,76:F,78:81,79:82,80:W,81:P,82:V,83:U,84:Y,85:B,86:Q,87:H,88:K},{30:94,33:62,75:N,76:F,89:b,90:T},{5:[1,95]},{30:96,33:62,75:N,89:b,90:T},{5:[1,97]},{30:98,33:62,75:N,89:b,90:T},{63:[1,99]},e(G,[2,50]),e(G,[2,51]),e(G,[2,52]),e(G,[2,53]),e(G,[2,54]),e(G,[2,55]),e(G,[2,56]),{64:[1,100]},e(k,[2,59],{76:F}),e(k,[2,64],{76:z}),{33:103,75:[1,102],89:b,90:T},e(X,[2,65],{79:104,75:D,80:W,81:P,82:V,83:U,84:Y,85:B,86:Q,87:H,88:K}),e(Z,[2,67]),e(Z,[2,69]),e(Z,[2,70]),e(Z,[2,71]),e(Z,[2,72]),e(Z,[2,73]),e(Z,[2,74]),e(Z,[2,75]),e(Z,[2,76]),e(Z,[2,77]),e(Z,[2,78]),e(k,[2,57],{76:z}),e(k,[2,58],{76:F}),{5:J,28:105,31:ee,34:et,36:es,38:ei,40:en},{27:[1,112],76:F},{5:er,40:ea,56:113,57:el,59:ec},{27:[1,118],76:F},{33:119,89:b,90:T},{33:120,89:b,90:T},{75:D,78:121,79:82,80:W,81:P,82:V,83:U,84:Y,85:B,86:Q,87:H,88:K},e(j,[2,61]),e(j,[2,63]),e(Z,[2,68]),e(k,[2,21]),{32:[1,122]},{32:[1,123]},{32:[1,124]},{32:[1,125]},{5:J,28:126,31:ee,34:et,36:es,38:ei,40:en},e(k,[2,28]),{5:[1,127]},e(k,[2,42]),{32:[1,128]},{32:[1,129]},{5:er,40:ea,56:130,57:el,59:ec},e(k,[2,47]),{5:[1,131]},e(k,[2,48]),e(k,[2,49]),e(X,[2,66],{79:104,75:D,80:W,81:P,82:V,83:U,84:Y,85:B,86:Q,87:H,88:K}),{33:132,89:b,90:T},{35:133,89:[1,134],90:[1,135]},{37:136,47:[1,137],48:[1,138],49:[1,139]},{39:140,50:[1,141],51:[1,142],52:[1,143],53:[1,144]},e(k,[2,27]),{5:J,28:145,31:ee,34:et,36:es,38:ei,40:en},{58:146,89:[1,147],90:[1,148]},{60:149,89:[1,150],90:[1,151]},e(k,[2,46]),{5:er,40:ea,56:152,57:el,59:ec},{5:[1,153]},{5:[1,154]},{5:[2,83]},{5:[2,84]},{5:[1,155]},{5:[2,35]},{5:[2,36]},{5:[2,37]},{5:[1,156]},{5:[2,38]},{5:[2,39]},{5:[2,40]},{5:[2,41]},e(k,[2,22]),{5:[1,157]},{5:[2,87]},{5:[2,88]},{5:[1,158]},{5:[2,89]},{5:[2,90]},e(k,[2,43]),{5:J,28:159,31:ee,34:et,36:es,38:ei,40:en},{5:J,28:160,31:ee,34:et,36:es,38:ei,40:en},{5:J,28:161,31:ee,34:et,36:es,38:ei,40:en},{5:J,28:162,31:ee,34:et,36:es,38:ei,40:en},{5:er,40:ea,56:163,57:el,59:ec},{5:er,40:ea,56:164,57:el,59:ec},e(k,[2,23]),e(k,[2,24]),e(k,[2,25]),e(k,[2,26]),e(k,[2,44]),e(k,[2,45])],defaultActions:{8:[2,2],12:[2,1],41:[2,3],42:[2,8],43:[2,9],44:[2,10],45:[2,11],46:[2,12],47:[2,13],48:[2,14],49:[2,15],50:[2,16],134:[2,83],135:[2,84],137:[2,35],138:[2,36],139:[2,37],141:[2,38],142:[2,39],143:[2,40],144:[2,41],147:[2,87],148:[2,88],150:[2,89],151:[2,90]},parseError:(0,c.eW)(function(e,t){if(t.recoverable)this.trace(e);else{var s=Error(e);throw s.hash=t,s}},"parseError"),parse:(0,c.eW)(function(e){var t=this,s=[0],i=[],n=[null],r=[],a=this.table,l="",o=0,h=0,u=0,y=r.slice.call(arguments,1),m=Object.create(this.lexer),d={yy:{}};for(var E in this.yy)Object.prototype.hasOwnProperty.call(this.yy,E)&&(d.yy[E]=this.yy[E]);m.setInput(e,d.yy),d.yy.lexer=m,d.yy.parser=this,void 0===m.yylloc&&(m.yylloc={});var p=m.yylloc;r.push(p);var R=m.options&&m.options.ranges;function f(){var e;return"number"!=typeof(e=i.pop()||m.lex()||1)&&(e instanceof Array&&(e=(i=e).pop()),e=t.symbols_[e]||e),e}"function"==typeof d.yy.parseError?this.parseError=d.yy.parseError:this.parseError=Object.getPrototypeOf(this).parseError,(0,c.eW)(function(e){s.length=s.length-2*e,n.length=n.length-e,r.length=r.length-e},"popStack"),(0,c.eW)(f,"lex");for(var g,_,S,I,b,T,k,N,q,C={};;){if(S=s[s.length-1],this.defaultActions[S]?I=this.defaultActions[S]:(null==g&&(g=f()),I=a[S]&&a[S][g]),void 0===I||!I.length||!I[0]){var A="";for(T in q=[],a[S])this.terminals_[T]&&T>2&&q.push("'"+this.terminals_[T]+"'");A=m.showPosition?"Parse error on line "+(o+1)+":\n"+m.showPosition()+"\nExpecting "+q.join(", ")+", got '"+(this.terminals_[g]||g)+"'":"Parse error on line "+(o+1)+": Unexpected "+(1==g?"end of input":"'"+(this.terminals_[g]||g)+"'"),this.parseError(A,{text:m.match,token:this.terminals_[g]||g,line:m.yylineno,loc:p,expected:q})}if(I[0]instanceof Array&&I.length>1)throw Error("Parse Error: multiple actions possible at state: "+S+", token: "+g);switch(I[0]){case 1:s.push(g),n.push(m.yytext),r.push(m.yylloc),s.push(I[1]),g=null,_?(g=_,_=null):(h=m.yyleng,l=m.yytext,o=m.yylineno,p=m.yylloc,u>0&&u--);break;case 2:if(k=this.productions_[I[1]][1],C.$=n[n.length-k],C._$={first_line:r[r.length-(k||1)].first_line,last_line:r[r.length-1].last_line,first_column:r[r.length-(k||1)].first_column,last_column:r[r.length-1].last_column},R&&(C._$.range=[r[r.length-(k||1)].range[0],r[r.length-1].range[1]]),void 0!==(b=this.performAction.apply(C,[l,h,o,d.yy,I[1],n,r].concat(y))))return b;k&&(s=s.slice(0,-1*k*2),n=n.slice(0,-1*k),r=r.slice(0,-1*k)),s.push(this.productions_[I[1]][0]),n.push(C.$),r.push(C._$),N=a[s[s.length-2]][s[s.length-1]],s.push(N);break;case 3:return!0}}return!0},"parse")},eh={EOF:1,parseError:(0,c.eW)(function(e,t){if(this.yy.parser)this.yy.parser.parseError(e,t);else throw Error(e)},"parseError"),setInput:(0,c.eW)(function(e,t){return this.yy=t||this.yy||{},this._input=e,this._more=this._backtrack=this.done=!1,this.yylineno=this.yyleng=0,this.yytext=this.matched=this.match="",this.conditionStack=["INITIAL"],this.yylloc={first_line:1,first_column:0,last_line:1,last_column:0},this.options.ranges&&(this.yylloc.range=[0,0]),this.offset=0,this},"setInput"),input:(0,c.eW)(function(){var e=this._input[0];return this.yytext+=e,this.yyleng++,this.offset++,this.match+=e,this.matched+=e,e.match(/(?:\r\n?|\n).*/g)?(this.yylineno++,this.yylloc.last_line++):this.yylloc.last_column++,this.options.ranges&&this.yylloc.range[1]++,this._input=this._input.slice(1),e},"input"),unput:(0,c.eW)(function(e){var t=e.length,s=e.split(/(?:\r\n?|\n)/g);this._input=e+this._input,this.yytext=this.yytext.substr(0,this.yytext.length-t),this.offset-=t;var i=this.match.split(/(?:\r\n?|\n)/g);this.match=this.match.substr(0,this.match.length-1),this.matched=this.matched.substr(0,this.matched.length-1),s.length-1&&(this.yylineno-=s.length-1);var n=this.yylloc.range;return this.yylloc={first_line:this.yylloc.first_line,last_line:this.yylineno+1,first_column:this.yylloc.first_column,last_column:s?(s.length===i.length?this.yylloc.first_column:0)+i[i.length-s.length].length-s[0].length:this.yylloc.first_column-t},this.options.ranges&&(this.yylloc.range=[n[0],n[0]+this.yyleng-t]),this.yyleng=this.yytext.length,this},"unput"),more:(0,c.eW)(function(){return this._more=!0,this},"more"),reject:(0,c.eW)(function(){return this.options.backtrack_lexer?(this._backtrack=!0,this):this.parseError("Lexical error on line "+(this.yylineno+1)+". You can only invoke reject() in the lexer when the lexer is of the backtracking persuasion (options.backtrack_lexer = true).\n"+this.showPosition(),{text:"",token:null,line:this.yylineno})},"reject"),less:(0,c.eW)(function(e){this.unput(this.match.slice(e))},"less"),pastInput:(0,c.eW)(function(){var e=this.matched.substr(0,this.matched.length-this.match.length);return(e.length>20?"...":"")+e.substr(-20).replace(/\n/g,"")},"pastInput"),upcomingInput:(0,c.eW)(function(){var e=this.match;return e.length<20&&(e+=this._input.substr(0,20-e.length)),(e.substr(0,20)+(e.length>20?"...":"")).replace(/\n/g,"")},"upcomingInput"),showPosition:(0,c.eW)(function(){var e=this.pastInput(),t=Array(e.length+1).join("-");return e+this.upcomingInput()+"\n"+t+"^"},"showPosition"),test_match:(0,c.eW)(function(e,t){var s,i,n;if(this.options.backtrack_lexer&&(n={yylineno:this.yylineno,yylloc:{first_line:this.yylloc.first_line,last_line:this.last_line,first_column:this.yylloc.first_column,last_column:this.yylloc.last_column},yytext:this.yytext,match:this.match,matches:this.matches,matched:this.matched,yyleng:this.yyleng,offset:this.offset,_more:this._more,_input:this._input,yy:this.yy,conditionStack:this.conditionStack.slice(0),done:this.done},this.options.ranges&&(n.yylloc.range=this.yylloc.range.slice(0))),(i=e[0].match(/(?:\r\n?|\n).*/g))&&(this.yylineno+=i.length),this.yylloc={first_line:this.yylloc.last_line,last_line:this.yylineno+1,first_column:this.yylloc.last_column,last_column:i?i[i.length-1].length-i[i.length-1].match(/\r?\n?/)[0].length:this.yylloc.last_column+e[0].length},this.yytext+=e[0],this.match+=e[0],this.matches=e,this.yyleng=this.yytext.length,this.options.ranges&&(this.yylloc.range=[this.offset,this.offset+=this.yyleng]),this._more=!1,this._backtrack=!1,this._input=this._input.slice(e[0].length),this.matched+=e[0],s=this.performAction.call(this,this.yy,this,t,this.conditionStack[this.conditionStack.length-1]),this.done&&this._input&&(this.done=!1),s)return s;if(this._backtrack)for(var r in n)this[r]=n[r];return!1},"test_match"),next:(0,c.eW)(function(){if(this.done)return this.EOF;this._input||(this.done=!0),this._more||(this.yytext="",this.match="");for(var e,t,s,i,n=this._currentRules(),r=0;r<n.length;r++)if((s=this._input.match(this.rules[n[r]]))&&(!t||s[0].length>t[0].length)){if(t=s,i=r,this.options.backtrack_lexer){if(!1!==(e=this.test_match(s,n[r])))return e;if(!this._backtrack)return!1;t=!1;continue}if(!this.options.flex)break}return t?!1!==(e=this.test_match(t,n[i]))&&e:""===this._input?this.EOF:this.parseError("Lexical error on line "+(this.yylineno+1)+". Unrecognized text.\n"+this.showPosition(),{text:"",token:null,line:this.yylineno})},"next"),lex:(0,c.eW)(function(){return this.next()||this.lex()},"lex"),begin:(0,c.eW)(function(e){this.conditionStack.push(e)},"begin"),popState:(0,c.eW)(function(){return this.conditionStack.length-1>0?this.conditionStack.pop():this.conditionStack[0]},"popState"),_currentRules:(0,c.eW)(function(){return this.conditionStack.length&&this.conditionStack[this.conditionStack.length-1]?this.conditions[this.conditionStack[this.conditionStack.length-1]].rules:this.conditions.INITIAL.rules},"_currentRules"),topState:(0,c.eW)(function(e){return(e=this.conditionStack.length-1-Math.abs(e||0))>=0?this.conditionStack[e]:"INITIAL"},"topState"),pushState:(0,c.eW)(function(e){this.begin(e)},"pushState"),stateStackSize:(0,c.eW)(function(){return this.conditionStack.length},"stateStackSize"),options:{"case-insensitive":!0},performAction:(0,c.eW)(function(e,t,s,i){switch(s){case 0:return"title";case 1:return this.begin("acc_title"),9;case 2:return this.popState(),"acc_title_value";case 3:return this.begin("acc_descr"),11;case 4:return this.popState(),"acc_descr_value";case 5:this.begin("acc_descr_multiline");break;case 6:case 58:case 65:this.popState();break;case 7:return"acc_descr_multiline_value";case 8:return 21;case 9:return 22;case 10:return 23;case 11:return 24;case 12:return 5;case 13:case 14:case 15:case 56:break;case 16:return 8;case 17:return 6;case 18:return 27;case 19:return 40;case 20:return 29;case 21:return 32;case 22:return 31;case 23:return 34;case 24:return 36;case 25:return 38;case 26:return 41;case 27:return 42;case 28:return 43;case 29:return 44;case 30:return 45;case 31:return 46;case 32:return 47;case 33:return 48;case 34:return 49;case 35:return 50;case 36:return 51;case 37:return 52;case 38:return 53;case 39:return 54;case 40:return 65;case 41:return 66;case 42:return 67;case 43:return 68;case 44:return 69;case 45:return 70;case 46:return 71;case 47:return 57;case 48:return 59;case 49:return this.begin("style"),77;case 50:case 68:return 75;case 51:return 81;case 52:return 88;case 53:return"PERCENT";case 54:return 86;case 55:return 84;case 57:case 64:this.begin("string");break;case 59:return this.begin("style"),72;case 60:return this.begin("style"),74;case 61:return 61;case 62:return 64;case 63:return 63;case 66:return"qString";case 67:return t.yytext=t.yytext.trim(),89;case 69:return 80;case 70:return 76}},"anonymous"),rules:[/^(?:title\s[^#\n;]+)/i,/^(?:accTitle\s*:\s*)/i,/^(?:(?!\n||)*[^\n]*)/i,/^(?:accDescr\s*:\s*)/i,/^(?:(?!\n||)*[^\n]*)/i,/^(?:accDescr\s*\{\s*)/i,/^(?:[\}])/i,/^(?:[^\}]*)/i,/^(?:.*direction\s+TB[^\n]*)/i,/^(?:.*direction\s+BT[^\n]*)/i,/^(?:.*direction\s+RL[^\n]*)/i,/^(?:.*direction\s+LR[^\n]*)/i,/^(?:(\r?\n)+)/i,/^(?:\s+)/i,/^(?:#[^\n]*)/i,/^(?:%[^\n]*)/i,/^(?:$)/i,/^(?:requirementDiagram\b)/i,/^(?:\{)/i,/^(?:\})/i,/^(?::{3})/i,/^(?::)/i,/^(?:id\b)/i,/^(?:text\b)/i,/^(?:risk\b)/i,/^(?:verifyMethod\b)/i,/^(?:requirement\b)/i,/^(?:functionalRequirement\b)/i,/^(?:interfaceRequirement\b)/i,/^(?:performanceRequirement\b)/i,/^(?:physicalRequirement\b)/i,/^(?:designConstraint\b)/i,/^(?:low\b)/i,/^(?:medium\b)/i,/^(?:high\b)/i,/^(?:analysis\b)/i,/^(?:demonstration\b)/i,/^(?:inspection\b)/i,/^(?:test\b)/i,/^(?:element\b)/i,/^(?:contains\b)/i,/^(?:copies\b)/i,/^(?:derives\b)/i,/^(?:satisfies\b)/i,/^(?:verifies\b)/i,/^(?:refines\b)/i,/^(?:traces\b)/i,/^(?:type\b)/i,/^(?:docref\b)/i,/^(?:style\b)/i,/^(?:\w+)/i,/^(?::)/i,/^(?:;)/i,/^(?:%)/i,/^(?:-)/i,/^(?:#)/i,/^(?: )/i,/^(?:["])/i,/^(?:\n)/i,/^(?:classDef\b)/i,/^(?:class\b)/i,/^(?:<-)/i,/^(?:->)/i,/^(?:-)/i,/^(?:["])/i,/^(?:["])/i,/^(?:[^"]*)/i,/^(?:[\w][^:,\r\n\{\<\>\-\=]*)/i,/^(?:\w+)/i,/^(?:[0-9]+)/i,/^(?:,)/i],conditions:{acc_descr_multiline:{rules:[6,7,68,69,70],inclusive:!1},acc_descr:{rules:[4,68,69,70],inclusive:!1},acc_title:{rules:[2,68,69,70],inclusive:!1},style:{rules:[50,51,52,53,54,55,56,57,58,68,69,70],inclusive:!1},unqString:{rules:[68,69,70],inclusive:!1},token:{rules:[68,69,70],inclusive:!1},string:{rules:[65,66,68,69,70],inclusive:!1},INITIAL:{rules:[0,1,3,5,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,59,60,61,62,63,64,67,68,69,70],inclusive:!0}}};function eu(){this.yy={}}return eo.lexer=eh,(0,c.eW)(eu,"Parser"),eu.prototype=eo,eo.Parser=eu,new eu}();o.parser=o;var h=class{constructor(){this.relations=[],this.latestRequirement=this.getInitialRequirement(),this.requirements=new Map,this.latestElement=this.getInitialElement(),this.elements=new Map,this.classes=new Map,this.direction="TB",this.RequirementType={REQUIREMENT:"Requirement",FUNCTIONAL_REQUIREMENT:"Functional Requirement",INTERFACE_REQUIREMENT:"Interface Requirement",PERFORMANCE_REQUIREMENT:"Performance Requirement",PHYSICAL_REQUIREMENT:"Physical Requirement",DESIGN_CONSTRAINT:"Design Constraint"},this.RiskLevel={LOW_RISK:"Low",MED_RISK:"Medium",HIGH_RISK:"High"},this.VerifyType={VERIFY_ANALYSIS:"Analysis",VERIFY_DEMONSTRATION:"Demonstration",VERIFY_INSPECTION:"Inspection",VERIFY_TEST:"Test"},this.Relationships={CONTAINS:"contains",COPIES:"copies",DERIVES:"derives",SATISFIES:"satisfies",VERIFIES:"verifies",REFINES:"refines",TRACES:"traces"},this.setAccTitle=l.GN,this.getAccTitle=l.eu,this.setAccDescription=l.U$,this.getAccDescription=l.Mx,this.setDiagramTitle=l.g2,this.getDiagramTitle=l.Kr,this.getConfig=(0,c.eW)(()=>(0,l.nV)().requirement,"getConfig"),this.clear(),this.setDirection=this.setDirection.bind(this),this.addRequirement=this.addRequirement.bind(this),this.setNewReqId=this.setNewReqId.bind(this),this.setNewReqRisk=this.setNewReqRisk.bind(this),this.setNewReqText=this.setNewReqText.bind(this),this.setNewReqVerifyMethod=this.setNewReqVerifyMethod.bind(this),this.addElement=this.addElement.bind(this),this.setNewElementType=this.setNewElementType.bind(this),this.setNewElementDocRef=this.setNewElementDocRef.bind(this),this.addRelationship=this.addRelationship.bind(this),this.setCssStyle=this.setCssStyle.bind(this),this.setClass=this.setClass.bind(this),this.defineClass=this.defineClass.bind(this),this.setAccTitle=this.setAccTitle.bind(this),this.setAccDescription=this.setAccDescription.bind(this)}static{(0,c.eW)(this,"RequirementDB")}getDirection(){return this.direction}setDirection(e){this.direction=e}resetLatestRequirement(){this.latestRequirement=this.getInitialRequirement()}resetLatestElement(){this.latestElement=this.getInitialElement()}getInitialRequirement(){return{requirementId:"",text:"",risk:"",verifyMethod:"",name:"",type:"",cssStyles:[],classes:["default"]}}getInitialElement(){return{name:"",type:"",docRef:"",cssStyles:[],classes:["default"]}}addRequirement(e,t){return this.requirements.has(e)||this.requirements.set(e,{name:e,type:t,requirementId:this.latestRequirement.requirementId,text:this.latestRequirement.text,risk:this.latestRequirement.risk,verifyMethod:this.latestRequirement.verifyMethod,cssStyles:[],classes:["default"]}),this.resetLatestRequirement(),this.requirements.get(e)}getRequirements(){return this.requirements}setNewReqId(e){void 0!==this.latestRequirement&&(this.latestRequirement.requirementId=e)}setNewReqText(e){void 0!==this.latestRequirement&&(this.latestRequirement.text=e)}setNewReqRisk(e){void 0!==this.latestRequirement&&(this.latestRequirement.risk=e)}setNewReqVerifyMethod(e){void 0!==this.latestRequirement&&(this.latestRequirement.verifyMethod=e)}addElement(e){return this.elements.has(e)||(this.elements.set(e,{name:e,type:this.latestElement.type,docRef:this.latestElement.docRef,cssStyles:[],classes:["default"]}),c.cM.info("Added new element: ",e)),this.resetLatestElement(),this.elements.get(e)}getElements(){return this.elements}setNewElementType(e){void 0!==this.latestElement&&(this.latestElement.type=e)}setNewElementDocRef(e){void 0!==this.latestElement&&(this.latestElement.docRef=e)}addRelationship(e,t,s){this.relations.push({type:e,src:t,dst:s})}getRelationships(){return this.relations}clear(){this.relations=[],this.resetLatestRequirement(),this.requirements=new Map,this.resetLatestElement(),this.elements=new Map,this.classes=new Map,(0,l.ZH)()}setCssStyle(e,t){for(let s of e){let e=this.requirements.get(s)??this.elements.get(s);if(!t||!e)return;for(let s of t)s.includes(",")?e.cssStyles.push(...s.split(",")):e.cssStyles.push(s)}}setClass(e,t){for(let s of e){let e=this.requirements.get(s)??this.elements.get(s);if(e)for(let s of t){e.classes.push(s);let t=this.classes.get(s)?.styles;t&&e.cssStyles.push(...t)}}}defineClass(e,t){for(let s of e){let e=this.classes.get(s);void 0===e&&(e={id:s,styles:[],textStyles:[]},this.classes.set(s,e)),t&&t.forEach(function(t){if(/color/.exec(t)){let s=t.replace("fill","bgFill");e.textStyles.push(s)}e.styles.push(t)}),this.requirements.forEach(e=>{e.classes.includes(s)&&e.cssStyles.push(...t.flatMap(e=>e.split(",")))}),this.elements.forEach(e=>{e.classes.includes(s)&&e.cssStyles.push(...t.flatMap(e=>e.split(",")))})}}getClasses(){return this.classes}getData(){let e=(0,l.nV)(),t=[],s=[];for(let s of this.requirements.values())s.id=s.name,s.cssStyles=s.cssStyles,s.cssClasses=s.classes.join(" "),s.shape="requirementBox",s.look=e.look,s.colorIndex=t.length,t.push(s);for(let s of this.elements.values())s.shape="requirementBox",s.look=e.look,s.id=s.name,s.cssStyles=s.cssStyles,s.cssClasses=s.classes.join(" "),s.colorIndex=t.length,t.push(s);for(let t of this.relations){let i=0,n=t.type===this.Relationships.CONTAINS,r={id:`${t.src}-${t.dst}-${i}`,start:this.requirements.get(t.src)?.name??this.elements.get(t.src)?.name,end:this.requirements.get(t.dst)?.name??this.elements.get(t.dst)?.name,label:`&lt;&lt;${t.type}&gt;&gt;`,classes:"relationshipLine",style:["fill:none",n?"":"stroke-dasharray: 10,7"],labelpos:"c",thickness:"normal",type:"normal",pattern:n?"normal":"dashed",arrowTypeStart:n?"requirement_contains":"",arrowTypeEnd:n?"":"requirement_arrow",look:e.look,labelType:"markdown"};s.push(r),i++}return{nodes:t,edges:s,other:{},config:e,direction:this.getDirection()}}},u=(0,c.eW)(e=>{let{themeVariables:t,look:s}=(0,l.iE)(),{bkgColorArray:i,borderColorArray:n}=t;if(!n?.length)return"";let r="";for(let t=0;t<e.THEME_COLOR_LIMIT;t++)r+=`
2
-
3
- [data-look="${s}"][data-color-id="color-${t}"].node path {
4
- stroke: ${n[t]};
5
- fill: ${i?.length?i[t]:""};
6
- }
7
-
8
- [data-look="${s}"][data-color-id="color-${t}"].node rect {
9
- stroke: ${n[t]};
10
- fill: ${i?.length?i[t]:""};
11
- }
12
- `;return r},"genColor"),y=(0,c.eW)(e=>{let{look:t,themeVariables:s}=(0,l.iE)(),{requirementEdgeLabelBackground:i}=s;return`
13
- ${u(e)}
14
- marker {
15
- fill: ${e.relationColor};
16
- stroke: ${e.relationColor};
17
- }
18
-
19
- marker.cross {
20
- stroke: ${e.lineColor};
21
- }
22
-
23
- svg {
24
- font-family: ${e.fontFamily};
25
- font-size: ${e.fontSize};
26
- }
27
-
28
- .reqBox {
29
- fill: ${e.requirementBackground};
30
- fill-opacity: 1.0;
31
- stroke: ${e.requirementBorderColor};
32
- stroke-width: ${e.requirementBorderSize};
33
- }
34
-
35
- .reqTitle, .reqLabel{
36
- fill: ${e.requirementTextColor};
37
- }
38
- .reqLabelBox {
39
- fill: ${e.relationLabelBackground};
40
- fill-opacity: 1.0;
41
- }
42
-
43
- .req-title-line {
44
- stroke: ${e.requirementBorderColor};
45
- stroke-width: ${e.requirementBorderSize};
46
- }
47
- .relationshipLine {
48
- stroke: ${e.relationColor};
49
- stroke-width: ${"neo"===t?e.strokeWidth:"1px"};
50
- }
51
- .relationshipLabel {
52
- fill: ${e.relationLabelColor};
53
- }
54
- .edgeLabel {
55
- background-color: ${e.edgeLabelBackground};
56
- }
57
- .edgeLabel .label rect {
58
- fill: ${e.edgeLabelBackground};
59
- }
60
- .edgeLabel .label text {
61
- fill: ${e.relationLabelColor};
62
- }
63
- .divider {
64
- stroke: ${e.nodeBorder};
65
- stroke-width: 1;
66
- }
67
- .label {
68
- font-family: ${e.fontFamily};
69
- color: ${e.nodeTextColor||e.textColor};
70
- }
71
- .label text,span {
72
- fill: ${e.nodeTextColor||e.textColor};
73
- color: ${e.nodeTextColor||e.textColor};
74
- }
75
- .labelBkg {
76
- background-color: ${i??e.edgeLabelBackground};
77
- }
78
-
79
- `},"getStyles"),m={};(0,c.r2)(m,{draw:()=>d});var d=(0,c.eW)(async function(e,t,s,o){c.cM.info("REF0:"),c.cM.info("Drawing requirement diagram (unified)",t);let{securityLevel:h,state:u,layout:y,look:m}=(0,l.nV)(),d=o.db.getData(),E=(0,i.q)(t,h);d.type=o.type,d.layoutAlgorithm=(0,r._b)(y),d.nodeSpacing=u?.nodeSpacing??50,d.rankSpacing=u?.rankSpacing??50,d.markers="neo"===m?["requirement_contains_neo","requirement_arrow_neo"]:["requirement_contains","requirement_arrow"],d.diagramId=t,await (0,r.sY)(d,E),a.w8.insertTitle(E,"requirementDiagramTitleText",u?.titleTopMargin??25,o.db.getDiagramTitle()),(0,n.j)(E,8,"requirementDiagram",u?.useMaxWidth??!0)},"draw"),E={parser:o,get db(){return new h},renderer:m,styles:y}}}]);
@@ -1 +0,0 @@
1
- "use strict";(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[6177],{6177:function(t,e,a){a.d(e,{diagram:function(){return v}});var n,i=a(1015);a(4759),a(1984),a(8523),a(825),a(2995),a(1674),a(4994),a(3984),a(7062);var r=a(778),d=a(9125),s=a(7632),o=a(8859),g=a(2805),l=a(5060),p=(0,s.eW)(t=>t.append("circle").attr("class","start-state").attr("r",(0,d.nV)().state.sizeUnit).attr("cx",(0,d.nV)().state.padding+(0,d.nV)().state.sizeUnit).attr("cy",(0,d.nV)().state.padding+(0,d.nV)().state.sizeUnit),"drawStartState"),h=(0,s.eW)(t=>t.append("line").style("stroke","grey").style("stroke-dasharray","3").attr("x1",(0,d.nV)().state.textHeight).attr("class","divider").attr("x2",2*(0,d.nV)().state.textHeight).attr("y1",0).attr("y2",0),"drawDivider"),c=(0,s.eW)((t,e)=>{let a=t.append("text").attr("x",2*(0,d.nV)().state.padding).attr("y",(0,d.nV)().state.textHeight+2*(0,d.nV)().state.padding).attr("font-size",(0,d.nV)().state.fontSize).attr("class","state-title").text(e.id),n=a.node().getBBox();return t.insert("rect",":first-child").attr("x",(0,d.nV)().state.padding).attr("y",(0,d.nV)().state.padding).attr("width",n.width+2*(0,d.nV)().state.padding).attr("height",n.height+2*(0,d.nV)().state.padding).attr("rx",(0,d.nV)().state.radius),a},"drawSimpleState"),x=(0,s.eW)((t,e)=>{let a=(0,s.eW)(function(t,e,a){let n=t.append("tspan").attr("x",2*(0,d.nV)().state.padding).text(e);a||n.attr("dy",(0,d.nV)().state.textHeight)},"addTspan"),n=t.append("text").attr("x",2*(0,d.nV)().state.padding).attr("y",(0,d.nV)().state.textHeight+1.3*(0,d.nV)().state.padding).attr("font-size",(0,d.nV)().state.fontSize).attr("class","state-title").text(e.descriptions[0]).node().getBBox(),i=n.height,r=t.append("text").attr("x",(0,d.nV)().state.padding).attr("y",i+.4*(0,d.nV)().state.padding+(0,d.nV)().state.dividerMargin+(0,d.nV)().state.textHeight).attr("class","state-description"),o=!0,g=!0;e.descriptions.forEach(function(t){o||(a(r,t,g),g=!1),o=!1});let l=t.append("line").attr("x1",(0,d.nV)().state.padding).attr("y1",(0,d.nV)().state.padding+i+(0,d.nV)().state.dividerMargin/2).attr("y2",(0,d.nV)().state.padding+i+(0,d.nV)().state.dividerMargin/2).attr("class","descr-divider"),p=r.node().getBBox(),h=Math.max(p.width,n.width);return l.attr("x2",h+3*(0,d.nV)().state.padding),t.insert("rect",":first-child").attr("x",(0,d.nV)().state.padding).attr("y",(0,d.nV)().state.padding).attr("width",h+2*(0,d.nV)().state.padding).attr("height",p.height+i+2*(0,d.nV)().state.padding).attr("rx",(0,d.nV)().state.radius),t},"drawDescrState"),V=(0,s.eW)((t,e,a)=>{let n;let i=(0,d.nV)().state.padding,r=2*(0,d.nV)().state.padding,s=t.node().getBBox(),o=s.width,g=s.x,l=t.append("text").attr("x",0).attr("y",(0,d.nV)().state.titleShift).attr("font-size",(0,d.nV)().state.fontSize).attr("class","state-title").text(e.id),p=l.node().getBBox().width+r,h=Math.max(p,o);h===o&&(h+=r);let c=t.node().getBBox();e.doc,n=g-i,p>o&&(n=(o-h)/2+i),Math.abs(g-c.x)<i&&p>o&&(n=g-(p-o)/2);let x=1-(0,d.nV)().state.textHeight;return t.insert("rect",":first-child").attr("x",n).attr("y",x).attr("class",a?"alt-composit":"composit").attr("width",h).attr("height",c.height+(0,d.nV)().state.textHeight+(0,d.nV)().state.titleShift+1).attr("rx","0"),l.attr("x",n+i),p<=o&&l.attr("x",g+(h-r)/2-p/2+i),t.insert("rect",":first-child").attr("x",n).attr("y",(0,d.nV)().state.titleShift-(0,d.nV)().state.textHeight-(0,d.nV)().state.padding).attr("width",h).attr("height",3*(0,d.nV)().state.textHeight).attr("rx",(0,d.nV)().state.radius),t.insert("rect",":first-child").attr("x",n).attr("y",(0,d.nV)().state.titleShift-(0,d.nV)().state.textHeight-(0,d.nV)().state.padding).attr("width",h).attr("height",c.height+3+2*(0,d.nV)().state.textHeight).attr("rx",(0,d.nV)().state.radius),t},"addTitleAndBox"),u=(0,s.eW)(t=>(t.append("circle").attr("class","end-state-outer").attr("r",(0,d.nV)().state.sizeUnit+(0,d.nV)().state.miniPadding).attr("cx",(0,d.nV)().state.padding+(0,d.nV)().state.sizeUnit+(0,d.nV)().state.miniPadding).attr("cy",(0,d.nV)().state.padding+(0,d.nV)().state.sizeUnit+(0,d.nV)().state.miniPadding),t.append("circle").attr("class","end-state-inner").attr("r",(0,d.nV)().state.sizeUnit).attr("cx",(0,d.nV)().state.padding+(0,d.nV)().state.sizeUnit+2).attr("cy",(0,d.nV)().state.padding+(0,d.nV)().state.sizeUnit+2)),"drawEndState"),f=(0,s.eW)((t,e)=>{let a=(0,d.nV)().state.forkWidth,n=(0,d.nV)().state.forkHeight;if(e.parentId){let t=a;a=n,n=t}return t.append("rect").style("stroke","black").style("fill","black").attr("width",a).attr("height",n).attr("x",(0,d.nV)().state.padding).attr("y",(0,d.nV)().state.padding)},"drawForkJoinState"),y=(0,s.eW)((t,e,a,n)=>{let i=0,r=n.append("text");r.style("text-anchor","start"),r.attr("class","noteText");let s=t.replace(/\r\n/g,"<br/>"),o=(s=s.replace(/\n/g,"<br/>")).split(d.SY.lineBreakRegex),g=1.25*(0,d.nV)().state.noteMargin;for(let t of o){let n=t.trim();if(n.length>0){let t=r.append("tspan");t.text(n),0===g&&(g+=t.node().getBBox().height),i+=g,t.attr("x",e+(0,d.nV)().state.noteMargin),t.attr("y",a+i+1.25*(0,d.nV)().state.noteMargin)}}return{textWidth:r.node().getBBox().width,textHeight:i}},"_drawLongText"),w=(0,s.eW)((t,e)=>{e.attr("class","state-note");let a=e.append("rect").attr("x",0).attr("y",(0,d.nV)().state.padding),{textWidth:n,textHeight:i}=y(t,0,0,e.append("g"));return a.attr("height",i+2*(0,d.nV)().state.noteMargin),a.attr("width",n+2*(0,d.nV)().state.noteMargin),a},"drawNote"),b=(0,s.eW)(function(t,e){let a=e.id,n={id:a,label:e.id,width:0,height:0},i=t.append("g").attr("id",a).attr("class","stateGroup");"start"===e.type&&p(i),"end"===e.type&&u(i),("fork"===e.type||"join"===e.type)&&f(i,e),"note"===e.type&&w(e.note.text,i),"divider"===e.type&&h(i),"default"===e.type&&0===e.descriptions.length&&c(i,e),"default"===e.type&&e.descriptions.length>0&&x(i,e);let r=i.node().getBBox();return n.width=r.width+2*(0,d.nV)().state.padding,n.height=r.height+2*(0,d.nV)().state.padding,n},"drawState"),B=0,m=(0,s.eW)(function(t,e,a){let n=(0,s.eW)(function(t){switch(t){case i.oI.relationType.AGGREGATION:return"aggregation";case i.oI.relationType.EXTENSION:return"extension";case i.oI.relationType.COMPOSITION:return"composition";case i.oI.relationType.DEPENDENCY:return"dependency"}},"getRelationType");e.points=e.points.filter(t=>!Number.isNaN(t.y));let g=e.points,l=(0,o.jvg)().x(function(t){return t.x}).y(function(t){return t.y}).curve(o.$0Z),p=t.append("path").attr("d",l(g)).attr("id","edge"+B).attr("class","transition"),h="";if((0,d.nV)().state.arrowMarkerAbsolute&&(h=(0,d.Gr)(!0)),p.attr("marker-end","url("+h+"#"+n(i.oI.relationType.DEPENDENCY)+"End)"),void 0!==a.title){let n=t.append("g").attr("class","stateLabel"),{x:i,y:o}=r.w8.calcLabelPosition(e.points),g=d.SY.getRows(a.title),l=0,p=[],h=0,c=0;for(let t=0;t<=g.length;t++){let e=n.append("text").attr("text-anchor","middle").text(g[t]).attr("x",i).attr("y",o+l),a=e.node().getBBox();h=Math.max(h,a.width),c=Math.min(c,a.x),s.cM.info(a.x,i,o+l),0===l&&(l=e.node().getBBox().height,s.cM.info("Title height",l,o)),p.push(e)}let x=l*g.length;if(g.length>1){let t=(g.length-1)*l*.5;p.forEach((e,a)=>e.attr("y",o+a*l-t)),x=l*g.length}let V=n.node().getBBox();n.insert("rect",":first-child").attr("class","box").attr("x",i-h/2-(0,d.nV)().state.padding/2).attr("y",o-x/2-(0,d.nV)().state.padding/2-3.5).attr("width",h+(0,d.nV)().state.padding).attr("height",x+(0,d.nV)().state.padding),s.cM.info(V)}B++},"drawEdge"),M={},k=(0,s.eW)(function(){},"setConf"),S=(0,s.eW)(function(t){t.append("defs").append("marker").attr("id","dependencyEnd").attr("refX",19).attr("refY",7).attr("markerWidth",20).attr("markerHeight",28).attr("orient","auto").append("path").attr("d","M 19,7 L9,13 L14,7 L9,1 Z")},"insertMarkers"),E=(0,s.eW)(function(t,e,a,i){let r;n=(0,d.nV)().state;let g=(0,d.nV)().securityLevel;"sandbox"===g&&(r=(0,o.Ys)("#i"+e));let l="sandbox"===g?(0,o.Ys)(r.nodes()[0].contentDocument.body):(0,o.Ys)("body"),p="sandbox"===g?r.nodes()[0].contentDocument:document;s.cM.debug("Rendering diagram "+t);let h=l.select(`[id='${e}']`);S(h),W(i.db.getRootDoc(),h.append("g").attr("id",e+"-root"),void 0,!1,l,p,i);let c=n.padding,x=h.node().getBBox(),V=x.width+2*c,u=x.height+2*c;(0,d.v2)(h,u,1.75*V,n.useMaxWidth),h.attr("viewBox",`${x.x-n.padding} ${x.y-n.padding} `+V+" "+u)},"draw"),N=(0,s.eW)(t=>t?t.length*n.fontSizeFactor:1,"getLabelWidth"),W=(0,s.eW)((t,e,a,i,r,o,p)=>{let h;let c=new l.k({compound:!0,multigraph:!0}),x=!0;for(h=0;h<t.length;h++)if("relation"===t[h].stmt){x=!1;break}a?c.setGraph({rankdir:"LR",multigraph:!0,compound:!0,ranker:"tight-tree",ranksep:x?1:n.edgeLengthFactor,nodeSep:x?1:50,isMultiGraph:!0}):c.setGraph({rankdir:"TB",multigraph:!0,compound:!0,ranksep:x?1:n.edgeLengthFactor,nodeSep:x?1:50,ranker:"tight-tree",isMultiGraph:!0}),c.setDefaultEdgeLabel(function(){return{}});let u=p.db.getStates(),f=p.db.getRelations();for(let t of Object.keys(u)){let d;let s=u[t];if(a&&(s.parentId=a),s.doc){let t=e.append("g").attr("id",s.id).attr("class","stateGroup");d=W(s.doc,t,s.id,!i,r,o,p);{let e=(t=V(t,s,i)).node().getBBox();d.width=e.width,d.height=e.height+n.padding/2,M[s.id]={y:n.compositTitleSize}}}else d=b(e,s,c);if(s.note){let t=b(e,{descriptions:[],id:s.id+"-note",note:s.note,type:"note"},c);"left of"===s.note.position?(c.setNode(d.id+"-note",t),c.setNode(d.id,d)):(c.setNode(d.id,d),c.setNode(d.id+"-note",t)),c.setParent(d.id,d.id+"-group"),c.setParent(d.id+"-note",d.id+"-group")}else c.setNode(d.id,d)}s.cM.debug("Count=",c.nodeCount(),c);let y=0;f.forEach(function(t){y++,s.cM.debug("Setting edge",t),c.setEdge(t.id1,t.id2,{relation:t,width:N(t.title),height:n.labelHeight*d.SY.getRows(t.title).length,labelpos:"c"},"id"+y)}),(0,g.bK)(c),s.cM.debug("Graph after layout",c.nodes());let w=e.node();c.nodes().forEach(function(t){void 0!==t&&void 0!==c.node(t)?(s.cM.warn("Node "+t+": "+JSON.stringify(c.node(t))),r.select("#"+w.id+" #"+t).attr("transform","translate("+(c.node(t).x-c.node(t).width/2)+","+(c.node(t).y+(M[t]?M[t].y:0)-c.node(t).height/2)+" )"),r.select("#"+w.id+" #"+t).attr("data-x-shift",c.node(t).x-c.node(t).width/2),o.querySelectorAll("#"+w.id+" #"+t+" .divider").forEach(t=>{let e=t.parentElement,a=0,n=0;e&&(e.parentElement&&(a=e.parentElement.getBBox().width),Number.isNaN(n=parseInt(e.getAttribute("data-x-shift"),10))&&(n=0)),t.setAttribute("x1",0-n+8),t.setAttribute("x2",a-n-8)})):s.cM.debug("No Node "+t+": "+JSON.stringify(c.node(t)))});let B=w.getBBox();c.edges().forEach(function(t){void 0!==t&&void 0!==c.edge(t)&&(s.cM.debug("Edge "+t.v+" -> "+t.w+": "+JSON.stringify(c.edge(t))),m(e,c.edge(t),c.edge(t).relation))}),B=w.getBBox();let k={id:a||"root",label:a||"root",width:0,height:0};return k.width=B.width+2*n.padding,k.height=B.height+2*n.padding,s.cM.debug("Doc rendered",k,c),k},"renderDoc"),v={parser:i.J8,get db(){return new i.oI(1)},renderer:{setConf:k,draw:E},styles:i.Ee,init:(0,s.eW)(t=>{t.state||(t.state={}),t.state.arrowMarkerAbsolute=t.arrowMarkerAbsolute},"init")}}}]);