hex-audit 0.7.0 → 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 (584) hide show
  1. package/CLAUDE.md +137 -77
  2. package/DEMO.md +40 -117
  3. package/README.md +200 -402
  4. package/dashboard/.next/BUILD_ID +1 -1
  5. package/dashboard/.next/app-build-manifest.json +56 -101
  6. package/dashboard/.next/app-path-routes-manifest.json +1 -1
  7. package/dashboard/.next/build-manifest.json +9 -9
  8. package/dashboard/.next/next-server.js.nft.json +1 -1
  9. package/dashboard/.next/prerender-manifest.json +1 -1
  10. package/dashboard/.next/react-loadable-manifest.json +436 -15
  11. package/dashboard/.next/routes-manifest.json +1 -1
  12. package/dashboard/.next/server/app/_not-found/page.js +1 -1
  13. package/dashboard/.next/server/app/_not-found/page.js.nft.json +1 -1
  14. package/dashboard/.next/server/app/_not-found/page_client-reference-manifest.js +1 -1
  15. package/dashboard/.next/server/app/api/code/route.js +1 -1
  16. package/dashboard/.next/server/app/api/code/route.js.nft.json +1 -1
  17. package/dashboard/.next/server/app/api/comments/route.js +1 -0
  18. package/dashboard/.next/server/app/api/comments/route.js.nft.json +1 -0
  19. package/dashboard/.next/server/app/api/diagrams/[name]/export/route.js +1 -0
  20. package/dashboard/.next/server/app/api/diagrams/[name]/export/route.js.nft.json +1 -0
  21. package/dashboard/.next/server/app/api/diagrams/[name]/resolve/route.js +1 -0
  22. package/dashboard/.next/server/app/api/diagrams/[name]/resolve/route.js.nft.json +1 -0
  23. package/dashboard/.next/server/app/api/diagrams/[name]/route.js +1 -0
  24. package/dashboard/.next/server/app/api/diagrams/[name]/route.js.nft.json +1 -0
  25. package/dashboard/.next/server/app/api/figures/[name]/route.js +1 -0
  26. package/dashboard/.next/server/app/api/figures/[name]/route.js.nft.json +1 -0
  27. package/dashboard/.next/server/app/api/focus/route.js +1 -0
  28. package/dashboard/.next/server/app/api/focus/route.js.nft.json +1 -0
  29. package/dashboard/.next/server/app/api/github-status/route.js +1 -1
  30. package/dashboard/.next/server/app/api/invariants/[id]/route.js +1 -0
  31. package/dashboard/.next/server/app/api/invariants/[id]/route.js.nft.json +1 -0
  32. package/dashboard/.next/server/app/api/issues/[id]/revert-auto/route.js +1 -0
  33. package/dashboard/.next/server/app/api/issues/[id]/revert-auto/route.js.nft.json +1 -0
  34. package/dashboard/.next/server/app/api/nav/route.js +1 -0
  35. package/dashboard/.next/server/app/api/nav/route.js.nft.json +1 -0
  36. package/dashboard/.next/server/app/api/notes/done/route.js +1 -1
  37. package/dashboard/.next/server/app/api/notes/done/route.js.nft.json +1 -1
  38. package/dashboard/.next/server/app/api/notes/lead/route.js +1 -1
  39. package/dashboard/.next/server/app/api/notes/lead/route.js.nft.json +1 -1
  40. package/dashboard/.next/server/app/api/notes/question/route.js +1 -1
  41. package/dashboard/.next/server/app/api/notes/question/route.js.nft.json +1 -1
  42. package/dashboard/.next/server/app/api/notes/record/route.js +3 -3
  43. package/dashboard/.next/server/app/api/notes/route.js +2 -2
  44. package/dashboard/.next/server/app/api/palette/route.js +1 -0
  45. package/dashboard/.next/server/app/api/palette/route.js.nft.json +1 -0
  46. package/dashboard/.next/server/app/api/progress/route.js +1 -1
  47. package/dashboard/.next/server/app/api/progress/route.js.nft.json +1 -1
  48. package/dashboard/.next/server/app/api/watch/route.js +2 -2
  49. package/dashboard/.next/server/app/api/watch/route.js.nft.json +1 -1
  50. package/dashboard/.next/server/app/api/xref/route.js +1 -0
  51. package/dashboard/.next/server/app/changes/page.js +1 -20
  52. package/dashboard/.next/server/app/changes/page.js.nft.json +1 -1
  53. package/dashboard/.next/server/app/changes/page_client-reference-manifest.js +1 -1
  54. package/dashboard/.next/server/app/excalidraw-assets/[...path]/route.js +1 -0
  55. package/dashboard/.next/server/app/issues/page.js +5 -28
  56. package/dashboard/.next/server/app/issues/page.js.nft.json +1 -1
  57. package/dashboard/.next/server/app/issues/page_client-reference-manifest.js +1 -1
  58. package/dashboard/.next/server/app/model/page.js +1 -0
  59. package/dashboard/.next/server/app/{calls → model}/page.js.nft.json +1 -1
  60. package/dashboard/.next/server/app/model/page_client-reference-manifest.js +1 -0
  61. package/dashboard/.next/server/app/page.js +1 -20
  62. package/dashboard/.next/server/app/page.js.nft.json +1 -1
  63. package/dashboard/.next/server/app/page_client-reference-manifest.js +1 -1
  64. package/dashboard/.next/server/app/report/page.js +1 -1
  65. package/dashboard/.next/server/app/report/page.js.nft.json +1 -1
  66. package/dashboard/.next/server/app/report/page_client-reference-manifest.js +1 -1
  67. package/dashboard/.next/server/app/review/page.js +1 -0
  68. package/dashboard/.next/server/app/{access → review}/page.js.nft.json +1 -1
  69. package/dashboard/.next/server/app/review/page_client-reference-manifest.js +1 -0
  70. package/dashboard/.next/server/app-paths-manifest.json +19 -16
  71. package/dashboard/.next/server/chunks/310.js +4 -0
  72. package/dashboard/.next/server/chunks/370.js +1 -0
  73. package/dashboard/.next/server/chunks/42.js +1 -1
  74. package/dashboard/.next/server/chunks/624.js +14 -0
  75. package/dashboard/.next/server/chunks/645.js +1 -1
  76. package/dashboard/.next/server/chunks/649.js +1 -1
  77. package/dashboard/.next/server/chunks/653.js +1 -0
  78. package/dashboard/.next/server/functions-config-manifest.json +1 -1
  79. package/dashboard/.next/server/middleware-build-manifest.js +1 -1
  80. package/dashboard/.next/server/middleware-react-loadable-manifest.js +1 -1
  81. package/dashboard/.next/server/pages/500.html +1 -1
  82. package/dashboard/.next/server/pages/_error.js +1 -1
  83. package/dashboard/.next/server/server-reference-manifest.js +1 -1
  84. package/dashboard/.next/server/server-reference-manifest.json +1 -1
  85. package/dashboard/.next/static/chunks/0bbe10ee.8e7ffa06d2170dfe.js +84 -0
  86. package/dashboard/.next/static/chunks/1026.0ef689a305302427.js +1 -0
  87. package/dashboard/.next/static/chunks/1164.34eb76767ebea46f.js +8 -0
  88. package/dashboard/.next/static/chunks/119.a9a79633900a235f.js +5 -0
  89. package/dashboard/.next/static/chunks/1291.6c486c9b1d4b1b3a.js +1 -0
  90. package/dashboard/.next/static/chunks/139.4691848fc5a46253.js +10 -0
  91. package/dashboard/.next/static/chunks/145.1bf74fecdb4022e3.js +11 -0
  92. package/dashboard/.next/static/chunks/1517.8e7075f78e22b3a0.js +8 -0
  93. package/dashboard/.next/static/chunks/165.6f174060a0ce2db4.js +6 -0
  94. package/dashboard/.next/static/chunks/1741.5c370b7702d2eb40.js +8 -0
  95. package/dashboard/.next/static/chunks/1e36816c.5748c83adc8a6bd6.js +108 -0
  96. package/dashboard/.next/static/chunks/2061.eab75b3c1dfa068a.js +1 -0
  97. package/dashboard/.next/static/chunks/2148.3ce718f62d1b2f7c.js +10 -0
  98. package/dashboard/.next/static/chunks/217-1d5b680ffd10e3f9.js +1 -0
  99. package/dashboard/.next/static/chunks/2208.fb884379aa3ae968.js +1 -0
  100. package/dashboard/.next/static/chunks/2276.112c7855333fca5f.js +6 -0
  101. package/dashboard/.next/static/chunks/2374-8c6f137938f8518a.js +1 -0
  102. package/dashboard/.next/static/chunks/2445.18a86507d2996b95.js +1 -0
  103. package/dashboard/.next/static/chunks/2712.15dd8577973baf22.js +10 -0
  104. package/dashboard/.next/static/chunks/2759.533dec5317e0a1d1.js +1 -0
  105. package/dashboard/.next/static/chunks/2812.62b213bef580b69a.js +1 -0
  106. package/dashboard/.next/static/chunks/2895.bb57cacb7aaf42a1.js +9 -0
  107. package/dashboard/.next/static/chunks/2972.e5a9251b538dcf19.js +9 -0
  108. package/dashboard/.next/static/chunks/3206.8d9a10db2b04b93f.js +1 -0
  109. package/dashboard/.next/static/chunks/3485.36766504793b7237.js +9 -0
  110. package/dashboard/.next/static/chunks/3725.de9376dc994735d4.js +9 -0
  111. package/dashboard/.next/static/chunks/3774.1df377928e8387f7.js +9 -0
  112. package/dashboard/.next/static/chunks/3963.39d72b3875dfe2e9.js +13 -0
  113. package/dashboard/.next/static/chunks/4013.73884b23bfaebdde.js +11 -0
  114. package/dashboard/.next/static/chunks/4117.278aff1fa23fd36e.js +6 -0
  115. package/dashboard/.next/static/chunks/4210.cc8594110017c579.js +11 -0
  116. package/dashboard/.next/static/chunks/4282.28485875540886cc.js +7 -0
  117. package/dashboard/.next/static/chunks/4318.a2f469a88d88f6d0.js +8 -0
  118. package/dashboard/.next/static/chunks/4363.8999a6e727c48003.js +1 -0
  119. package/dashboard/.next/static/chunks/4641.e03d118fffebd580.js +5 -0
  120. package/dashboard/.next/static/chunks/483.a910dab7734a1074.js +8 -0
  121. package/dashboard/.next/static/chunks/4926.76693f542e9cc062.js +6 -0
  122. package/dashboard/.next/static/chunks/4938.03f6d04dabf38745.js +10 -0
  123. package/dashboard/.next/static/chunks/5112.0757c2b0c285e62e.js +1 -0
  124. package/dashboard/.next/static/chunks/5199.c83ea7efb0eec705.js +11 -0
  125. package/dashboard/.next/static/chunks/530.849957a8907eb288.js +1 -0
  126. package/dashboard/.next/static/chunks/5424.4e8ca0711a32bccf.js +7 -0
  127. package/dashboard/.next/static/chunks/55.a593a78be9714679.js +1 -0
  128. package/dashboard/.next/static/chunks/5535.6cd0bd8d368d8902.js +4 -0
  129. package/dashboard/.next/static/chunks/5626.7d4e93d7acbeffc9.js +10 -0
  130. package/dashboard/.next/static/chunks/5775.a0d7c1b1e89b9a93.js +9 -0
  131. package/dashboard/.next/static/chunks/6118.266956b3333b1d7a.js +9 -0
  132. package/dashboard/.next/static/chunks/6121.a2e6d93720b1205e.js +77 -0
  133. package/dashboard/.next/static/chunks/6853.d3ad43614e8ca0ab.js +1 -0
  134. package/dashboard/.next/static/chunks/6951.02a3a158d02158c9.js +5 -0
  135. package/dashboard/.next/static/chunks/6970.013f24568c87d918.js +11 -0
  136. package/dashboard/.next/static/chunks/7013.39d41e82b37be63b.js +9 -0
  137. package/dashboard/.next/static/chunks/7107.1c5412197912b8ed.js +8 -0
  138. package/dashboard/.next/static/chunks/7508.dd60e2d06d149f5f.js +9 -0
  139. package/dashboard/.next/static/chunks/7524.0fde4c61553d1491.js +3 -0
  140. package/dashboard/.next/static/chunks/7834-47f318a04a05688f.js +1 -0
  141. package/dashboard/.next/static/chunks/8317.d0b3eddef4cae0d5.js +1 -0
  142. package/dashboard/.next/static/chunks/838.2b2aa006519ba44c.js +10 -0
  143. package/dashboard/.next/static/chunks/8398.924fd8f4c83417c0.js +7 -0
  144. package/dashboard/.next/static/chunks/8428b36f.8ac4e67061c01307.js +34 -0
  145. package/dashboard/.next/static/chunks/8514.85ccbbea8ab21d04.js +5 -0
  146. package/dashboard/.next/static/chunks/8538.5f7ebe76c4b63162.js +1 -0
  147. package/dashboard/.next/static/chunks/8687.9406baa8b5601fd0.js +1 -0
  148. package/dashboard/.next/static/chunks/8721.47346e2cb6412376.js +10 -0
  149. package/dashboard/.next/static/chunks/8770.4f544bd1a6f03a62.js +8 -0
  150. package/dashboard/.next/static/chunks/8812.3d96fd54dba566f8.js +9 -0
  151. package/dashboard/.next/static/chunks/8962.d22aa67a97970dd8.js +1 -0
  152. package/dashboard/.next/static/chunks/8986.b327224b83f4399a.js +5 -0
  153. package/dashboard/.next/static/chunks/9271.5f66c19a8ee1ff36.js +10 -0
  154. package/dashboard/.next/static/chunks/9282.f8d01442bab4c0da.js +2 -0
  155. package/dashboard/.next/static/chunks/9366.0ec24a0791b9b00f.js +1 -0
  156. package/dashboard/.next/static/chunks/9707.5cd7d2ee933a4af5.js +6 -0
  157. package/dashboard/.next/static/chunks/9716.15fffc0b0038601d.js +4 -0
  158. package/dashboard/.next/static/chunks/9791.e3b3f5a367f63c8a.js +1 -0
  159. package/dashboard/.next/static/chunks/9820.8c1efad5260e8137.js +1 -0
  160. package/dashboard/.next/static/chunks/985.50150e9eaa4bde33.js +39 -0
  161. package/dashboard/.next/static/chunks/997.56901b86e1b8a87b.js +8 -0
  162. package/dashboard/.next/static/chunks/app/changes/page-f8a860034221cad4.js +1 -0
  163. package/dashboard/.next/static/chunks/app/issues/page-da4da93188c414a6.js +1 -0
  164. package/dashboard/.next/static/chunks/app/layout-27a9da4610423c1e.js +1 -0
  165. package/dashboard/.next/static/chunks/app/model/page-9680e22fdd6ddb81.js +1 -0
  166. package/dashboard/.next/static/chunks/app/page-0e67750d99fb2836.js +1 -0
  167. package/dashboard/.next/static/chunks/app/report/page-b56b1db9b9dcf2b6.js +1 -0
  168. package/dashboard/.next/static/chunks/app/review/page-3ef69f0e0badd333.js +1 -0
  169. package/dashboard/.next/static/chunks/c75e29e3.d91220f782934d80.js +1 -0
  170. package/dashboard/.next/static/chunks/{main-cc3a889b25e9aa68.js → main-9c95a7ffedc7afb4.js} +1 -1
  171. package/dashboard/.next/static/chunks/webpack-6da70e4f9fcf1799.js +1 -0
  172. package/dashboard/.next/static/css/ceafd91ca8dd753d.css +3 -0
  173. package/dashboard/.next/static/css/e4aad1f9c715b79a.css +1 -0
  174. package/dashboard/.next/static/media/Assistant-Bold.c8f39f24.woff2 +0 -0
  175. package/dashboard/.next/static/media/Assistant-Medium.1e75d8e6.woff2 +0 -0
  176. package/dashboard/.next/static/media/Assistant-Regular.7acbabb8.woff2 +0 -0
  177. package/dashboard/.next/static/media/Assistant-SemiBold.167acbf8.woff2 +0 -0
  178. package/dashboard/app/api/code/route.ts +26 -20
  179. package/dashboard/app/api/comments/route.ts +158 -0
  180. package/dashboard/app/api/diagrams/[name]/export/route.ts +26 -0
  181. package/dashboard/app/api/diagrams/[name]/resolve/route.ts +25 -0
  182. package/dashboard/app/api/diagrams/[name]/route.ts +37 -0
  183. package/dashboard/app/api/figures/[name]/route.ts +15 -0
  184. package/dashboard/app/api/focus/route.ts +35 -0
  185. package/dashboard/app/api/invariants/[id]/route.ts +35 -0
  186. package/dashboard/app/api/issues/[id]/revert-auto/route.ts +18 -0
  187. package/dashboard/app/api/nav/route.ts +120 -0
  188. package/dashboard/app/api/palette/route.ts +68 -0
  189. package/dashboard/app/api/progress/route.ts +54 -23
  190. package/dashboard/app/api/xref/route.ts +30 -0
  191. package/dashboard/app/changes/ChangesClient.tsx +730 -356
  192. package/dashboard/app/changes/page.tsx +27 -19
  193. package/dashboard/app/excalidraw-assets/[...path]/route.ts +56 -0
  194. package/dashboard/app/globals.css +231 -77
  195. package/dashboard/app/issues/BoardClient.tsx +817 -0
  196. package/dashboard/app/issues/page.tsx +27 -272
  197. package/dashboard/app/layout.tsx +32 -17
  198. package/dashboard/app/model/ModelClient.tsx +1303 -0
  199. package/dashboard/app/model/page.tsx +98 -0
  200. package/dashboard/app/page.tsx +191 -277
  201. package/dashboard/app/report/ReportClient.tsx +147 -74
  202. package/dashboard/app/report/page.tsx +25 -14
  203. package/dashboard/app/review/ReviewClient.tsx +1180 -0
  204. package/dashboard/app/review/page.tsx +93 -0
  205. package/dashboard/components/AutoRefresh.tsx +22 -19
  206. package/dashboard/components/CodeComments.tsx +303 -0
  207. package/dashboard/components/CodeNav.tsx +523 -0
  208. package/dashboard/components/CodeReference.tsx +92 -99
  209. package/dashboard/components/CodeViewer.tsx +526 -0
  210. package/dashboard/components/CommandPalette.tsx +141 -66
  211. package/dashboard/components/DiagramCanvas.tsx +275 -0
  212. package/dashboard/components/DianeNote.tsx +244 -0
  213. package/dashboard/components/LiveStatus.tsx +30 -68
  214. package/dashboard/components/MarkdownRenderer.tsx +34 -32
  215. package/dashboard/components/RecordButton.tsx +132 -0
  216. package/dashboard/components/ui/Button.tsx +39 -0
  217. package/dashboard/components/ui/Chip.tsx +37 -0
  218. package/dashboard/components/ui/EmptyState.tsx +31 -0
  219. package/dashboard/components/ui/Icons.tsx +126 -0
  220. package/dashboard/components/ui/Inspector.tsx +122 -0
  221. package/dashboard/components/ui/Kbd.tsx +15 -0
  222. package/dashboard/components/ui/ListRow.tsx +92 -0
  223. package/dashboard/components/ui/LocalTime.tsx +14 -0
  224. package/dashboard/components/ui/ProgressRing.tsx +54 -0
  225. package/dashboard/components/ui/ResizeHandle.tsx +93 -0
  226. package/dashboard/components/ui/RiskMeter.tsx +27 -0
  227. package/dashboard/components/ui/SearchField.tsx +55 -0
  228. package/dashboard/components/ui/SegmentedControl.tsx +71 -0
  229. package/dashboard/components/ui/SeverityDot.tsx +57 -0
  230. package/dashboard/components/ui/Sidebar.tsx +236 -0
  231. package/dashboard/components/ui/SplitView.tsx +122 -0
  232. package/dashboard/components/ui/StateGlyph.tsx +66 -0
  233. package/dashboard/components/ui/Toast.tsx +91 -0
  234. package/dashboard/lib/api.ts +17 -0
  235. package/dashboard/lib/cn.ts +4 -0
  236. package/dashboard/lib/data.ts +2 -21
  237. package/dashboard/lib/finding-markdown.ts +1 -1
  238. package/dashboard/lib/focus.ts +42 -0
  239. package/dashboard/lib/hotkeys.ts +41 -0
  240. package/dashboard/lib/inline-markdown.test.ts +11 -0
  241. package/dashboard/lib/live.ts +32 -0
  242. package/dashboard/lib/pane-width.ts +36 -0
  243. package/dashboard/lib/server/board.ts +229 -0
  244. package/dashboard/lib/server/diagrams.ts +191 -0
  245. package/dashboard/lib/server/safe-path.ts +28 -0
  246. package/dashboard/lib/server/workspace.ts +113 -0
  247. package/dashboard/lib/server/xref.ts +42 -0
  248. package/dashboard/lib/solidity.test.ts +37 -0
  249. package/dashboard/lib/solidity.ts +191 -0
  250. package/dashboard/lib/source.ts +28 -0
  251. package/dashboard/lib/types.ts +164 -0
  252. package/dashboard/lib/url.ts +18 -0
  253. package/dashboard/lib/watcher.ts +31 -22
  254. package/dashboard/tailwind.config.ts +6 -3
  255. package/dist/analysis/code-model.d.ts.map +1 -1
  256. package/dist/analysis/code-model.js +4 -1
  257. package/dist/analysis/code-model.js.map +1 -1
  258. package/dist/analysis/diff.d.ts +12 -1
  259. package/dist/analysis/diff.d.ts.map +1 -1
  260. package/dist/analysis/diff.js +143 -0
  261. package/dist/analysis/diff.js.map +1 -1
  262. package/dist/commands/analyze.d.ts.map +1 -1
  263. package/dist/commands/analyze.js +17 -48
  264. package/dist/commands/analyze.js.map +1 -1
  265. package/dist/commands/claude.d.ts.map +1 -1
  266. package/dist/commands/claude.js +5 -0
  267. package/dist/commands/claude.js.map +1 -1
  268. package/dist/commands/dashboard.d.ts.map +1 -1
  269. package/dist/commands/dashboard.js +10 -2
  270. package/dist/commands/dashboard.js.map +1 -1
  271. package/dist/commands/diagram.d.ts +3 -0
  272. package/dist/commands/diagram.d.ts.map +1 -0
  273. package/dist/commands/diagram.js +71 -0
  274. package/dist/commands/diagram.js.map +1 -0
  275. package/dist/commands/diff.d.ts +4 -5
  276. package/dist/commands/diff.d.ts.map +1 -1
  277. package/dist/commands/diff.js +56 -17
  278. package/dist/commands/diff.js.map +1 -1
  279. package/dist/commands/doctor.d.ts.map +1 -1
  280. package/dist/commands/doctor.js +5 -18
  281. package/dist/commands/doctor.js.map +1 -1
  282. package/dist/commands/facts.d.ts +23 -0
  283. package/dist/commands/facts.d.ts.map +1 -0
  284. package/dist/commands/facts.js +121 -0
  285. package/dist/commands/facts.js.map +1 -0
  286. package/dist/commands/fix-review.d.ts +9 -0
  287. package/dist/commands/fix-review.d.ts.map +1 -0
  288. package/dist/commands/fix-review.js +367 -0
  289. package/dist/commands/fix-review.js.map +1 -0
  290. package/dist/commands/init.d.ts.map +1 -1
  291. package/dist/commands/init.js +51 -47
  292. package/dist/commands/init.js.map +1 -1
  293. package/dist/commands/issue.d.ts.map +1 -1
  294. package/dist/commands/issue.js +151 -2
  295. package/dist/commands/issue.js.map +1 -1
  296. package/dist/commands/mcp.d.ts +3 -0
  297. package/dist/commands/mcp.d.ts.map +1 -0
  298. package/dist/commands/mcp.js +11 -0
  299. package/dist/commands/mcp.js.map +1 -0
  300. package/dist/commands/model.d.ts +4 -0
  301. package/dist/commands/model.d.ts.map +1 -0
  302. package/dist/commands/model.js +275 -0
  303. package/dist/commands/model.js.map +1 -0
  304. package/dist/commands/note.d.ts.map +1 -1
  305. package/dist/commands/note.js +31 -1
  306. package/dist/commands/note.js.map +1 -1
  307. package/dist/commands/review.d.ts +4 -0
  308. package/dist/commands/review.d.ts.map +1 -0
  309. package/dist/commands/review.js +164 -0
  310. package/dist/commands/review.js.map +1 -0
  311. package/dist/core/comments.d.ts +59 -0
  312. package/dist/core/comments.d.ts.map +1 -0
  313. package/dist/core/comments.js +263 -0
  314. package/dist/core/comments.js.map +1 -0
  315. package/dist/core/config.d.ts.map +1 -1
  316. package/dist/core/config.js +0 -1
  317. package/dist/core/config.js.map +1 -1
  318. package/dist/core/dedup.d.ts +56 -0
  319. package/dist/core/dedup.d.ts.map +1 -0
  320. package/dist/core/dedup.js +208 -0
  321. package/dist/core/dedup.js.map +1 -0
  322. package/dist/core/errors.d.ts +1 -1
  323. package/dist/core/errors.d.ts.map +1 -1
  324. package/dist/core/errors.js +0 -15
  325. package/dist/core/errors.js.map +1 -1
  326. package/dist/core/external-tools.d.ts +0 -14
  327. package/dist/core/external-tools.d.ts.map +1 -1
  328. package/dist/core/external-tools.js +2 -52
  329. package/dist/core/external-tools.js.map +1 -1
  330. package/dist/core/fix-review.d.ts +54 -0
  331. package/dist/core/fix-review.d.ts.map +1 -0
  332. package/dist/core/fix-review.js +98 -0
  333. package/dist/core/fix-review.js.map +1 -0
  334. package/dist/core/fuzz-sync.d.ts +93 -0
  335. package/dist/core/fuzz-sync.d.ts.map +1 -0
  336. package/dist/core/fuzz-sync.js +516 -0
  337. package/dist/core/fuzz-sync.js.map +1 -0
  338. package/dist/core/git.d.ts +7 -0
  339. package/dist/core/git.d.ts.map +1 -1
  340. package/dist/core/git.js +42 -0
  341. package/dist/core/git.js.map +1 -1
  342. package/dist/core/issues.d.ts +32 -1
  343. package/dist/core/issues.d.ts.map +1 -1
  344. package/dist/core/issues.js +135 -3
  345. package/dist/core/issues.js.map +1 -1
  346. package/dist/core/mcp-config.d.ts +12 -0
  347. package/dist/core/mcp-config.d.ts.map +1 -0
  348. package/dist/core/mcp-config.js +29 -0
  349. package/dist/core/mcp-config.js.map +1 -0
  350. package/dist/core/model.d.ts +38 -0
  351. package/dist/core/model.d.ts.map +1 -0
  352. package/dist/core/model.js +160 -0
  353. package/dist/core/model.js.map +1 -0
  354. package/dist/core/notes.d.ts +2 -0
  355. package/dist/core/notes.d.ts.map +1 -1
  356. package/dist/core/notes.js +13 -3
  357. package/dist/core/notes.js.map +1 -1
  358. package/dist/core/review.d.ts +47 -0
  359. package/dist/core/review.d.ts.map +1 -1
  360. package/dist/core/review.js +177 -1
  361. package/dist/core/review.js.map +1 -1
  362. package/dist/core/rules.d.ts +12 -0
  363. package/dist/core/rules.d.ts.map +1 -0
  364. package/dist/core/rules.js +66 -0
  365. package/dist/core/rules.js.map +1 -0
  366. package/dist/core/schema.d.ts +4817 -2245
  367. package/dist/core/schema.d.ts.map +1 -1
  368. package/dist/core/schema.js +452 -113
  369. package/dist/core/schema.js.map +1 -1
  370. package/dist/core/scope.d.ts +8 -0
  371. package/dist/core/scope.d.ts.map +1 -0
  372. package/dist/core/scope.js +18 -0
  373. package/dist/core/scope.js.map +1 -0
  374. package/dist/diagrams/build.d.ts +18 -0
  375. package/dist/diagrams/build.d.ts.map +1 -0
  376. package/dist/diagrams/build.js +135 -0
  377. package/dist/diagrams/build.js.map +1 -0
  378. package/dist/diagrams/excalidraw.d.ts +27 -0
  379. package/dist/diagrams/excalidraw.d.ts.map +1 -0
  380. package/dist/diagrams/excalidraw.js +219 -0
  381. package/dist/diagrams/excalidraw.js.map +1 -0
  382. package/dist/diagrams/layout.d.ts +48 -0
  383. package/dist/diagrams/layout.d.ts.map +1 -0
  384. package/dist/diagrams/layout.js +686 -0
  385. package/dist/diagrams/layout.js.map +1 -0
  386. package/dist/facts/build.d.ts +23 -0
  387. package/dist/facts/build.d.ts.map +1 -0
  388. package/dist/facts/build.js +112 -0
  389. package/dist/facts/build.js.map +1 -0
  390. package/dist/facts/extract.d.ts +53 -0
  391. package/dist/facts/extract.d.ts.map +1 -0
  392. package/dist/facts/extract.js +635 -0
  393. package/dist/facts/extract.js.map +1 -0
  394. package/dist/facts/fallback.d.ts +7 -0
  395. package/dist/facts/fallback.d.ts.map +1 -0
  396. package/dist/facts/fallback.js +156 -0
  397. package/dist/facts/fallback.js.map +1 -0
  398. package/dist/facts/implementations.d.ts +29 -0
  399. package/dist/facts/implementations.d.ts.map +1 -0
  400. package/dist/facts/implementations.js +43 -0
  401. package/dist/facts/implementations.js.map +1 -0
  402. package/dist/facts/query.d.ts +35 -0
  403. package/dist/facts/query.d.ts.map +1 -0
  404. package/dist/facts/query.js +157 -0
  405. package/dist/facts/query.js.map +1 -0
  406. package/dist/facts/xref.d.ts +53 -0
  407. package/dist/facts/xref.d.ts.map +1 -0
  408. package/dist/facts/xref.js +282 -0
  409. package/dist/facts/xref.js.map +1 -0
  410. package/dist/index.js +14 -16
  411. package/dist/index.js.map +1 -1
  412. package/dist/mcp/server.d.ts +3 -0
  413. package/dist/mcp/server.d.ts.map +1 -0
  414. package/dist/mcp/server.js +400 -0
  415. package/dist/mcp/server.js.map +1 -0
  416. package/dist/skills/ai-audit/SKILL.md +16 -6
  417. package/dist/skills/ai-audit/UPSTREAM.md +9 -4
  418. package/dist/skills/ai-audit/references/hex-board.md +34 -46
  419. package/dist/skills/diane.md +26 -12
  420. package/dist/skills/fix-review.md +58 -0
  421. package/dist/skills/fuzz/LICENSE +21 -0
  422. package/dist/skills/fuzz/SKILL.md +655 -0
  423. package/dist/skills/fuzz/UPSTREAM.md +119 -0
  424. package/dist/skills/fuzz/agents/implementers/global-property-implementer.md +81 -0
  425. package/dist/skills/fuzz/agents/implementers/specific-property-implementer.md +121 -0
  426. package/dist/skills/fuzz/agents/invariant-discovery/adversarial-profit-maximizer.md +123 -0
  427. package/dist/skills/fuzz/agents/invariant-discovery/conservation-auditor.md +92 -0
  428. package/dist/skills/fuzz/agents/invariant-discovery/protocol-type-specialist.md +173 -0
  429. package/dist/skills/fuzz/agents/invariant-discovery/roundtrip-rounding-analyst.md +164 -0
  430. package/dist/skills/fuzz/agents/invariant-discovery/state-transition-mapper.md +92 -0
  431. package/dist/skills/fuzz/agents/invariant-discovery/synthesizer.md +261 -0
  432. package/dist/skills/fuzz/agents/protocol-analyzer.md +80 -0
  433. package/dist/skills/fuzz/agents/report-writer.md +135 -0
  434. package/dist/skills/fuzz/references/handler-patterns.md +222 -0
  435. package/dist/skills/fuzz/references/hex-invariants.md +102 -0
  436. package/dist/skills/fuzz/references/property-generation.md +149 -0
  437. package/dist/skills/fuzz/references/selection-policy.md +49 -0
  438. package/dist/skills/fuzz/references/setup-playbook.md +92 -0
  439. package/dist/skills/fuzz/references/template-map.md +121 -0
  440. package/dist/skills/fuzz/scripts/ensure_foundry.sh +125 -0
  441. package/dist/skills/fuzz/scripts/estimate_cost.js +157 -0
  442. package/dist/skills/fuzz/scripts/extract_abis.js +303 -0
  443. package/dist/skills/fuzz/scripts/fizz_sync.js +692 -0
  444. package/dist/skills/fuzz/scripts/generate_handlers.js +370 -0
  445. package/dist/skills/fuzz/scripts/generate_suite.js +254 -0
  446. package/dist/skills/fuzz/scripts/lib/log-viewer.js +332 -0
  447. package/dist/skills/fuzz/scripts/run_echidna.js +192 -0
  448. package/dist/skills/fuzz/scripts/run_medusa.js +329 -0
  449. package/dist/skills/fuzz/scripts/select_functions.js +637 -0
  450. package/dist/skills/fuzz/scripts/setup_fuzz_profile.sh +142 -0
  451. package/dist/skills/fuzz/templates/Actor.sol +63 -0
  452. package/dist/skills/fuzz/templates/Base.sol +121 -0
  453. package/dist/skills/fuzz/templates/FoundryTester.sol +29 -0
  454. package/dist/skills/fuzz/templates/FuzzTester.sol +11 -0
  455. package/dist/skills/fuzz/templates/Properties.sol +17 -0
  456. package/dist/skills/fuzz/templates/README.md +56 -0
  457. package/dist/skills/fuzz/templates/Snapshots.sol +26 -0
  458. package/dist/skills/fuzz/templates/echidna.yaml +18 -0
  459. package/dist/skills/fuzz/templates/handlers/Handlers.sol +13 -0
  460. package/dist/skills/fuzz/templates/medusa.json +93 -0
  461. package/dist/skills/fuzz/templates/utils/Clamp.sol +223 -0
  462. package/dist/skills/fuzz/templates/utils/DecimalPrinter.sol +63 -0
  463. package/dist/skills/fuzz/templates/utils/Deployer.sol +17 -0
  464. package/dist/skills/fuzz/templates/utils/EnumerableSet.sol +206 -0
  465. package/dist/skills/fuzz/templates/utils/Hevm.sol +62 -0
  466. package/dist/skills/fuzz/templates/utils/Logger.sol +619 -0
  467. package/dist/skills/fuzz/templates/utils/Math.sol +52 -0
  468. package/dist/skills/fuzz/templates/utils/MockERC20.sol +279 -0
  469. package/dist/skills/fuzz/templates/utils/PropertiesAsserts.sol +238 -0
  470. package/dist/skills/fuzz/templates/utils/StringUtils.sol +85 -0
  471. package/dist/skills/fuzz-convert/SKILL.md +249 -0
  472. package/dist/skills/fuzz-sync/SKILL.md +342 -0
  473. package/dist/skills/generate-poc.md +8 -26
  474. package/dist/skills/generate-report.md +17 -5
  475. package/dist/skills/ingest-aa-report.md +11 -30
  476. package/dist/skills/init-audit/SKILL.md +155 -0
  477. package/dist/skills/init-audit/references/agents/conformance-checker.md +36 -0
  478. package/dist/skills/init-audit/references/agents/contract-reader.md +59 -0
  479. package/dist/skills/init-audit/references/agents/diagram-composer.md +48 -0
  480. package/dist/skills/init-audit/references/agents/docs-extractor.md +26 -0
  481. package/dist/skills/init-audit/references/agents/prior-audit.md +32 -0
  482. package/dist/skills/init-audit/references/agents/regression-checker.md +28 -0
  483. package/dist/skills/init-audit/references/agents/skeptic.md +31 -0
  484. package/dist/skills/init-audit/references/agents/standards-checker.md +39 -0
  485. package/dist/skills/init-audit/references/agents/synthesizer.md +50 -0
  486. package/dist/skills/prevalidate.md +62 -0
  487. package/dist/skills/sync-issues.md +11 -25
  488. package/dist/skills/validate-all-findings.md +2 -2
  489. package/dist/skills/validate-finding.md +25 -24
  490. package/dist/skills/write-finding.md +6 -5
  491. package/dist/types/index.d.ts +16 -12
  492. package/dist/types/index.d.ts.map +1 -1
  493. package/package.json +5 -4
  494. package/dashboard/.next/server/app/access/page.js +0 -1
  495. package/dashboard/.next/server/app/access/page_client-reference-manifest.js +0 -1
  496. package/dashboard/.next/server/app/api/flows/route.js +0 -1
  497. package/dashboard/.next/server/app/api/mermaid/route.js +0 -1
  498. package/dashboard/.next/server/app/calls/page.js +0 -1
  499. package/dashboard/.next/server/app/calls/page_client-reference-manifest.js +0 -1
  500. package/dashboard/.next/server/app/conformance/page.js +0 -1
  501. package/dashboard/.next/server/app/conformance/page.js.nft.json +0 -1
  502. package/dashboard/.next/server/app/conformance/page_client-reference-manifest.js +0 -1
  503. package/dashboard/.next/server/app/diagram/page.js +0 -1
  504. package/dashboard/.next/server/app/diagram/page.js.nft.json +0 -1
  505. package/dashboard/.next/server/app/diagram/page_client-reference-manifest.js +0 -1
  506. package/dashboard/.next/server/app/flows/page.js +0 -1
  507. package/dashboard/.next/server/app/flows/page.js.nft.json +0 -1
  508. package/dashboard/.next/server/app/flows/page_client-reference-manifest.js +0 -1
  509. package/dashboard/.next/server/app/functions/page.js +0 -1
  510. package/dashboard/.next/server/app/functions/page.js.nft.json +0 -1
  511. package/dashboard/.next/server/app/functions/page_client-reference-manifest.js +0 -1
  512. package/dashboard/.next/server/app/notes/page.js +0 -22
  513. package/dashboard/.next/server/app/notes/page.js.nft.json +0 -1
  514. package/dashboard/.next/server/app/notes/page_client-reference-manifest.js +0 -1
  515. package/dashboard/.next/server/app/progress/page.js +0 -1
  516. package/dashboard/.next/server/app/progress/page.js.nft.json +0 -1
  517. package/dashboard/.next/server/app/progress/page_client-reference-manifest.js +0 -1
  518. package/dashboard/.next/server/app/stats/page.js +0 -1
  519. package/dashboard/.next/server/app/stats/page.js.nft.json +0 -1
  520. package/dashboard/.next/server/app/stats/page_client-reference-manifest.js +0 -1
  521. package/dashboard/.next/server/chunks/530.js +0 -1
  522. package/dashboard/.next/server/chunks/622.js +0 -3
  523. package/dashboard/.next/server/chunks/665.js +0 -13
  524. package/dashboard/.next/server/chunks/939.js +0 -1
  525. package/dashboard/.next/static/chunks/3017.4a5312e3c20a173f.js +0 -1
  526. package/dashboard/.next/static/chunks/7397-37adf76cad543297.js +0 -1
  527. package/dashboard/.next/static/chunks/7973.e34032723285a616.js +0 -79
  528. package/dashboard/.next/static/chunks/8452-6d77fa353402422c.js +0 -13
  529. package/dashboard/.next/static/chunks/8928-fc049decdfbdaa6d.js +0 -1
  530. package/dashboard/.next/static/chunks/app/access/page-f8403cbdfc1c176b.js +0 -1
  531. package/dashboard/.next/static/chunks/app/calls/page-41f20d01e12382ef.js +0 -1
  532. package/dashboard/.next/static/chunks/app/changes/page-82bf8b6f48cdc506.js +0 -1
  533. package/dashboard/.next/static/chunks/app/conformance/page-6bb8e3b372e38098.js +0 -1
  534. package/dashboard/.next/static/chunks/app/diagram/page-469cd7a6f183efba.js +0 -1
  535. package/dashboard/.next/static/chunks/app/flows/page-7872dd9141ba0b07.js +0 -1
  536. package/dashboard/.next/static/chunks/app/functions/page-5847bcb77a8e7edf.js +0 -1
  537. package/dashboard/.next/static/chunks/app/issues/page-1ffc64fe40439002.js +0 -1
  538. package/dashboard/.next/static/chunks/app/layout-6c6d2a0fd7c989d3.js +0 -1
  539. package/dashboard/.next/static/chunks/app/notes/page-8bcaa52304500098.js +0 -1
  540. package/dashboard/.next/static/chunks/app/page-d63800ddb072b77b.js +0 -1
  541. package/dashboard/.next/static/chunks/app/progress/page-e26554f655a62eef.js +0 -1
  542. package/dashboard/.next/static/chunks/app/report/page-18c04fb2f193b020.js +0 -1
  543. package/dashboard/.next/static/chunks/app/stats/page-67ff59fd69bed651.js +0 -1
  544. package/dashboard/.next/static/chunks/webpack-4de0e79bdd6a0418.js +0 -1
  545. package/dashboard/.next/static/css/1112cea2260b3926.css +0 -3
  546. package/dashboard/app/access/AccessClient.tsx +0 -402
  547. package/dashboard/app/access/ReadOnlyFunctions.tsx +0 -114
  548. package/dashboard/app/access/page.tsx +0 -125
  549. package/dashboard/app/api/flows/route.ts +0 -32
  550. package/dashboard/app/api/mermaid/route.ts +0 -25
  551. package/dashboard/app/calls/CallsClient.tsx +0 -170
  552. package/dashboard/app/calls/page.tsx +0 -57
  553. package/dashboard/app/conformance/ConformanceTable.tsx +0 -214
  554. package/dashboard/app/conformance/page.tsx +0 -186
  555. package/dashboard/app/diagram/page.tsx +0 -65
  556. package/dashboard/app/flows/page.tsx +0 -102
  557. package/dashboard/app/functions/FunctionsClient.tsx +0 -167
  558. package/dashboard/app/functions/page.tsx +0 -178
  559. package/dashboard/app/issues/IssuesBoardClient.tsx +0 -813
  560. package/dashboard/app/notes/NotesClient.tsx +0 -706
  561. package/dashboard/app/notes/page.tsx +0 -47
  562. package/dashboard/app/progress/ProgressClient.tsx +0 -354
  563. package/dashboard/app/progress/page.tsx +0 -127
  564. package/dashboard/app/stats/StatsClient.tsx +0 -452
  565. package/dashboard/app/stats/page.tsx +0 -50
  566. package/dashboard/components/ConfidenceBadge.tsx +0 -53
  567. package/dashboard/components/DashboardLayout.tsx +0 -510
  568. package/dashboard/components/FilterableTable.tsx +0 -293
  569. package/dashboard/components/MermaidViewer.tsx +0 -267
  570. package/dashboard/components/NotYetGenerated.tsx +0 -32
  571. package/dashboard/components/SeverityBadge.tsx +0 -28
  572. package/dashboard/components/SignalBars.tsx +0 -27
  573. package/dashboard/components/SortableTable.tsx +0 -122
  574. package/dashboard/lib/conformance-tokens.ts +0 -49
  575. package/dist/skills/init-audit.md +0 -386
  576. /package/dashboard/.next/server/app/api/{flows → xref}/route.js.nft.json +0 -0
  577. /package/dashboard/.next/server/app/{api/mermaid → excalidraw-assets/[...path]}/route.js.nft.json +0 -0
  578. /package/dashboard/.next/static/{z5XBev05xDAkDrxWxAjNu → bGV1ry1vvIbM5b506eVBR}/_buildManifest.js +0 -0
  579. /package/dashboard/.next/static/{z5XBev05xDAkDrxWxAjNu → bGV1ry1vvIbM5b506eVBR}/_ssgManifest.js +0 -0
  580. /package/dashboard/.next/static/chunks/{3205-47d09be47325709f.js → 3205-fd963acf2fdfd080.js} +0 -0
  581. /package/dashboard/.next/static/chunks/{3924-88d849290406ee6f.js → 3924-f1f85ccc7d59d7ab.js} +0 -0
  582. /package/dashboard/.next/static/chunks/{618f8807-69fc7bb97c2b87c1.js → 618f8807-fbb1466bc29c17c6.js} +0 -0
  583. /package/dashboard/.next/static/chunks/{7498-d1814d68ba346d13.js → 7498-7cf464d8af69cd0a.js} +0 -0
  584. /package/dashboard/.next/static/chunks/app/_not-found/{page-c299b935209993df.js → page-5ff5d54b6fd6f17e.js} +0 -0
@@ -1 +1 @@
1
- globalThis.__RSC_MANIFEST=(globalThis.__RSC_MANIFEST||{});globalThis.__RSC_MANIFEST["/_not-found/page"]={"moduleLoading":{"prefix":"/_next/","crossOrigin":null},"ssrModuleMapping":{"3443":{"*":{"id":"7406","name":"*","chunks":[],"async":false}},"4595":{"*":{"id":"1388","name":"*","chunks":[],"async":false}},"9922":{"*":{"id":"8033","name":"*","chunks":[],"async":false}},"11076":{"*":{"id":"9323","name":"*","chunks":[],"async":false}},"11447":{"*":{"id":"5915","name":"*","chunks":[],"async":false}},"13037":{"*":{"id":"226","name":"*","chunks":[],"async":false}},"15276":{"*":{"id":"820","name":"*","chunks":[],"async":false}},"25268":{"*":{"id":"3817","name":"*","chunks":[],"async":false}},"27542":{"*":{"id":"9555","name":"*","chunks":[],"async":false}},"29487":{"*":{"id":"6844","name":"*","chunks":[],"async":false}},"30274":{"*":{"id":"7918","name":"*","chunks":[],"async":false}},"37780":{"*":{"id":"8664","name":"*","chunks":[],"async":false}},"43297":{"*":{"id":"1611","name":"*","chunks":[],"async":false}},"56902":{"*":{"id":"2541","name":"*","chunks":[],"async":false}},"67498":{"*":{"id":"696","name":"*","chunks":[],"async":false}},"71520":{"*":{"id":"5707","name":"*","chunks":[],"async":false}},"72024":{"*":{"id":"2857","name":"*","chunks":[],"async":false}},"73719":{"*":{"id":"526","name":"*","chunks":[],"async":false}},"77701":{"*":{"id":"8530","name":"*","chunks":[],"async":false}},"89690":{"*":{"id":"2204","name":"*","chunks":[],"async":false}},"92198":{"*":{"id":"9915","name":"*","chunks":[],"async":false}},"93362":{"*":{"id":"5289","name":"*","chunks":[],"async":false}},"99754":{"*":{"id":"4790","name":"*","chunks":[],"async":false}}},"edgeSSRModuleMapping":{},"clientModules":{"/home/dx/Work/hex/node_modules/next/dist/client/components/app-router.js":{"id":25268,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/app-router.js":{"id":25268,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/client-page.js":{"id":11076,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/client-page.js":{"id":11076,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/error-boundary.js":{"id":89690,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/error-boundary.js":{"id":89690,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/layout-router.js":{"id":15276,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/layout-router.js":{"id":15276,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/not-found-boundary.js":{"id":11447,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/not-found-boundary.js":{"id":11447,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/render-from-template-context.js":{"id":43297,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/render-from-template-context.js":{"id":43297,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/globals.css":{"id":13812,"name":"*","chunks":["7498","static/chunks/7498-d1814d68ba346d13.js","3185","static/chunks/app/layout-6c6d2a0fd7c989d3.js"],"async":false},"/home/dx/Work/hex/dashboard/components/CommandPalette.tsx":{"id":92198,"name":"*","chunks":["7498","static/chunks/7498-d1814d68ba346d13.js","3185","static/chunks/app/layout-6c6d2a0fd7c989d3.js"],"async":false},"/home/dx/Work/hex/dashboard/components/DashboardLayout.tsx":{"id":30274,"name":"*","chunks":["7498","static/chunks/7498-d1814d68ba346d13.js","3185","static/chunks/app/layout-6c6d2a0fd7c989d3.js"],"async":false},"/home/dx/Work/hex/node_modules/next-themes/dist/index.mjs":{"id":4595,"name":"*","chunks":["7498","static/chunks/7498-d1814d68ba346d13.js","3185","static/chunks/app/layout-6c6d2a0fd7c989d3.js"],"async":false},"/home/dx/Work/hex/node_modules/next/font/google/target.css?{\"path\":\"app/layout.tsx\",\"import\":\"Manrope\",\"arguments\":[{\"subsets\":[\"latin\"],\"variable\":\"--font-sans\",\"display\":\"swap\"}],\"variableName\":\"manrope\"}":{"id":41600,"name":"*","chunks":["7498","static/chunks/7498-d1814d68ba346d13.js","3185","static/chunks/app/layout-6c6d2a0fd7c989d3.js"],"async":false},"/home/dx/Work/hex/node_modules/next/font/google/target.css?{\"path\":\"app/layout.tsx\",\"import\":\"JetBrains_Mono\",\"arguments\":[{\"subsets\":[\"latin\"],\"variable\":\"--font-mono\",\"display\":\"swap\"}],\"variableName\":\"jetbrainsMono\"}":{"id":55256,"name":"*","chunks":["7498","static/chunks/7498-d1814d68ba346d13.js","3185","static/chunks/app/layout-6c6d2a0fd7c989d3.js"],"async":false},"/home/dx/Work/hex/dashboard/app/diagram/page.tsx":{"id":73719,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/flows/page.tsx":{"id":3443,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/calls/CallsClient.tsx":{"id":93362,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/changes/ChangesClient.tsx":{"id":71520,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/access/AccessClient.tsx":{"id":13037,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/notes/NotesClient.tsx":{"id":72024,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/conformance/ConformanceTable.tsx":{"id":27542,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/functions/FunctionsClient.tsx":{"id":37780,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/report/ReportClient.tsx":{"id":56902,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/stats/StatsClient.tsx":{"id":9922,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/progress/ProgressClient.tsx":{"id":77701,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/issues/IssuesBoardClient.tsx":{"id":99754,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/components/MarkdownRenderer.tsx":{"id":29487,"name":"*","chunks":["7397","static/chunks/7397-37adf76cad543297.js","7498","static/chunks/7498-d1814d68ba346d13.js","1931","static/chunks/app/page-d63800ddb072b77b.js"],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/link.js":{"id":67498,"name":"*","chunks":["7397","static/chunks/7397-37adf76cad543297.js","7498","static/chunks/7498-d1814d68ba346d13.js","1931","static/chunks/app/page-d63800ddb072b77b.js"],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/link.js":{"id":67498,"name":"*","chunks":["7397","static/chunks/7397-37adf76cad543297.js","7498","static/chunks/7498-d1814d68ba346d13.js","1931","static/chunks/app/page-d63800ddb072b77b.js"],"async":false}},"entryCSSFiles":{"/home/dx/Work/hex/dashboard/":[],"/home/dx/Work/hex/dashboard/app/layout":["static/css/1112cea2260b3926.css"],"/home/dx/Work/hex/dashboard/app/page":[],"/home/dx/Work/hex/dashboard/app/_not-found/page":[]}}
1
+ globalThis.__RSC_MANIFEST=(globalThis.__RSC_MANIFEST||{});globalThis.__RSC_MANIFEST["/_not-found/page"]={"moduleLoading":{"prefix":"/_next/","crossOrigin":null},"ssrModuleMapping":{"4595":{"*":{"id":"1388","name":"*","chunks":[],"async":false}},"11076":{"*":{"id":"9323","name":"*","chunks":[],"async":false}},"11447":{"*":{"id":"5915","name":"*","chunks":[],"async":false}},"15276":{"*":{"id":"820","name":"*","chunks":[],"async":false}},"25268":{"*":{"id":"3817","name":"*","chunks":[],"async":false}},"43297":{"*":{"id":"1611","name":"*","chunks":[],"async":false}},"52331":{"*":{"id":"1174","name":"*","chunks":[],"async":false}},"56902":{"*":{"id":"2541","name":"*","chunks":[],"async":false}},"63237":{"*":{"id":"281","name":"*","chunks":[],"async":false}},"67498":{"*":{"id":"696","name":"*","chunks":[],"async":false}},"68916":{"*":{"id":"5314","name":"*","chunks":[],"async":false}},"71520":{"*":{"id":"5707","name":"*","chunks":[],"async":false}},"81751":{"*":{"id":"3368","name":"*","chunks":[],"async":false}},"84300":{"*":{"id":"9939","name":"*","chunks":[],"async":false}},"85581":{"*":{"id":"6462","name":"*","chunks":[],"async":false}},"88554":{"*":{"id":"1352","name":"*","chunks":[],"async":false}},"89690":{"*":{"id":"2204","name":"*","chunks":[],"async":false}},"92198":{"*":{"id":"9915","name":"*","chunks":[],"async":false}}},"edgeSSRModuleMapping":{},"clientModules":{"/home/dx/Work/hex/node_modules/next/dist/client/components/app-router.js":{"id":25268,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/app-router.js":{"id":25268,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/client-page.js":{"id":11076,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/client-page.js":{"id":11076,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/error-boundary.js":{"id":89690,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/error-boundary.js":{"id":89690,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/layout-router.js":{"id":15276,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/layout-router.js":{"id":15276,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/not-found-boundary.js":{"id":11447,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/not-found-boundary.js":{"id":11447,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/render-from-template-context.js":{"id":43297,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/render-from-template-context.js":{"id":43297,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/globals.css":{"id":13812,"name":"*","chunks":["7498","static/chunks/7498-7cf464d8af69cd0a.js","3185","static/chunks/app/layout-27a9da4610423c1e.js"],"async":false},"/home/dx/Work/hex/dashboard/components/AutoRefresh.tsx":{"id":84300,"name":"*","chunks":["7498","static/chunks/7498-7cf464d8af69cd0a.js","3185","static/chunks/app/layout-27a9da4610423c1e.js"],"async":false},"/home/dx/Work/hex/dashboard/components/CommandPalette.tsx":{"id":92198,"name":"*","chunks":["7498","static/chunks/7498-7cf464d8af69cd0a.js","3185","static/chunks/app/layout-27a9da4610423c1e.js"],"async":false},"/home/dx/Work/hex/dashboard/components/ui/Sidebar.tsx":{"id":63237,"name":"*","chunks":["7498","static/chunks/7498-7cf464d8af69cd0a.js","3185","static/chunks/app/layout-27a9da4610423c1e.js"],"async":false},"/home/dx/Work/hex/dashboard/components/ui/Toast.tsx":{"id":88554,"name":"*","chunks":["7498","static/chunks/7498-7cf464d8af69cd0a.js","3185","static/chunks/app/layout-27a9da4610423c1e.js"],"async":false},"/home/dx/Work/hex/node_modules/next-themes/dist/index.mjs":{"id":4595,"name":"*","chunks":["7498","static/chunks/7498-7cf464d8af69cd0a.js","3185","static/chunks/app/layout-27a9da4610423c1e.js"],"async":false},"/home/dx/Work/hex/node_modules/next/font/google/target.css?{\"path\":\"app/layout.tsx\",\"import\":\"Manrope\",\"arguments\":[{\"subsets\":[\"latin\"],\"variable\":\"--font-sans\",\"display\":\"swap\"}],\"variableName\":\"manrope\"}":{"id":41600,"name":"*","chunks":["7498","static/chunks/7498-7cf464d8af69cd0a.js","3185","static/chunks/app/layout-27a9da4610423c1e.js"],"async":false},"/home/dx/Work/hex/node_modules/next/font/google/target.css?{\"path\":\"app/layout.tsx\",\"import\":\"JetBrains_Mono\",\"arguments\":[{\"subsets\":[\"latin\"],\"variable\":\"--font-mono\",\"display\":\"swap\"}],\"variableName\":\"jetbrainsMono\"}":{"id":55256,"name":"*","chunks":["7498","static/chunks/7498-7cf464d8af69cd0a.js","3185","static/chunks/app/layout-27a9da4610423c1e.js"],"async":false},"/home/dx/Work/hex/dashboard/app/changes/ChangesClient.tsx":{"id":71520,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/components/ui/SplitView.tsx":{"id":81751,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/issues/BoardClient.tsx":{"id":68916,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/model/ModelClient.tsx":{"id":85581,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/report/ReportClient.tsx":{"id":56902,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/review/ReviewClient.tsx":{"id":52331,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/link.js":{"id":67498,"name":"*","chunks":["7498","static/chunks/7498-7cf464d8af69cd0a.js","1931","static/chunks/app/page-0e67750d99fb2836.js"],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/link.js":{"id":67498,"name":"*","chunks":["7498","static/chunks/7498-7cf464d8af69cd0a.js","1931","static/chunks/app/page-0e67750d99fb2836.js"],"async":false}},"entryCSSFiles":{"/home/dx/Work/hex/dashboard/":[],"/home/dx/Work/hex/dashboard/app/layout":["static/css/ceafd91ca8dd753d.css"],"/home/dx/Work/hex/dashboard/app/page":[],"/home/dx/Work/hex/dashboard/app/_not-found/page":[]}}
@@ -1 +1 @@
1
- "use strict";(()=>{var e={};e.id=850,e.ids=[850],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},8455:(e,r,t)=>{t.r(r),t.d(r,{originalPathname:()=>v,patchFetch:()=>f,requestAsyncStorage:()=>x,routeModule:()=>h,serverHooks:()=>g,staticGenerationAsyncStorage:()=>m});var s={};t.r(s),t.d(s,{GET:()=>l});var o=t(3277),n=t(5265),a=t(5356),i=t(7076),p=t(7561),u=t.n(p),d=t(9411),c=t.n(d);async function l(e){let r=e.nextUrl.searchParams.get("file"),t=parseInt(e.nextUrl.searchParams.get("start")??"1",10),s=parseInt(e.nextUrl.searchParams.get("end")??"0",10);if(!r)return i.NextResponse.json({error:"Missing file parameter"},{status:400});let o=process.env.HEX_PROJECT_DIR??process.env.SOLAUDIT_PROJECT_DIR??process.cwd(),n=c().resolve(o,r);if(!n.startsWith(c().resolve(o)))return i.NextResponse.json({error:"Path outside project directory"},{status:403});try{let e=u().readFileSync(n,"utf-8").split("\n"),r=s>0?Math.min(s,e.length):e.length,o=e.slice(Math.max(1,t)-1,r).join("\n");return i.NextResponse.json({code:o})}catch{return i.NextResponse.json({error:`File not found: ${r}`},{status:404})}}let h=new o.AppRouteRouteModule({definition:{kind:n.x.APP_ROUTE,page:"/api/code/route",pathname:"/api/code",filename:"route",bundlePath:"app/api/code/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/code/route.ts",nextConfigOutput:"",userland:s}),{requestAsyncStorage:x,staticGenerationAsyncStorage:m,serverHooks:g}=h,v="/api/code/route";function f(){return(0,a.patchFetch)({serverHooks:g,staticGenerationAsyncStorage:m})}}};var r=require("../../../webpack-runtime.js");r.C(e);var t=e=>r(r.s=e),s=r.X(0,[916,786],()=>t(8455));module.exports=s})();
1
+ "use strict";(()=>{var e={};e.id=850,e.ids=[850],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},8455:(e,t,n)=>{n.r(t),n.d(t,{originalPathname:()=>x,patchFetch:()=>y,requestAsyncStorage:()=>m,routeModule:()=>p,serverHooks:()=>g,staticGenerationAsyncStorage:()=>h});var r={};n.r(r),n.d(r,{GET:()=>d,dynamic:()=>f});var s=n(3277),i=n(5265),o=n(5356),a=n(7076),u=n(7561),l=n.n(u),c=n(6720);let f="force-dynamic";async function d(e){let t=e.nextUrl.searchParams.get("file");if(!t)return a.NextResponse.json({error:"Missing file parameter"},{status:400});let n=(0,c.B)(t);if(!n)return a.NextResponse.json({error:"File not available"},{status:403});try{let t=l().statSync(n);if(!t.isFile())return a.NextResponse.json({error:"Not a file"},{status:400});if(t.size>2097152)return a.NextResponse.json({error:"File too large"},{status:413});let r=l().readFileSync(n,"utf-8"),s=e.nextUrl.searchParams.get("start"),i=e.nextUrl.searchParams.get("end");if(!s&&!i)return a.NextResponse.json({code:r,start:1,lines:r.split("\n").length});let o=r.split("\n"),u=Math.max(1,parseInt(s??"1",10)||1),c=Math.min(o.length,parseInt(i??"0",10)||o.length);return a.NextResponse.json({code:o.slice(u-1,c).join("\n"),start:u,lines:o.length})}catch{return a.NextResponse.json({error:`File not found: ${t}`},{status:404})}}let p=new s.AppRouteRouteModule({definition:{kind:i.x.APP_ROUTE,page:"/api/code/route",pathname:"/api/code",filename:"route",bundlePath:"app/api/code/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/code/route.ts",nextConfigOutput:"",userland:r}),{requestAsyncStorage:m,staticGenerationAsyncStorage:h,serverHooks:g}=p,x="/api/code/route";function y(){return(0,o.patchFetch)({serverHooks:g,staticGenerationAsyncStorage:h})}},6720:(e,t,n)=>{n.d(t,{B:()=>u});var r=n(7561),s=n.n(r),i=n(9411),o=n.n(i),a=n(6905);function u(e){let t,n;try{t=s().realpathSync((0,a.G2)())}catch{return null}try{n=s().realpathSync(o().resolve(t,e))}catch{return null}return n!==t&&!n.startsWith(t+o().sep)||o().relative(t,n).split(o().sep).some(e=>e.startsWith(".")||"node_modules"===e)?null:n}},6905:(e,t,n)=>{n.d(t,{Aw:()=>g,G2:()=>d,Ge:()=>h,QR:()=>j,Rd:()=>v,TS:()=>y,WV:()=>f,cA:()=>m,eT:()=>x,zi:()=>p});var r=n(7561),s=n.n(r),i=n(9411),o=n.n(i),a=n(1720),u=n(1310),l=n(6700),c=n(5568);function f(){return(0,a.ZN)()}function d(){return o().dirname(f())}function p(){return(0,a.gn)("config.json")}function m(){return p()?.project?.mode==="diff"}function h(){return(0,l.Je)(f())}function g(e=10){return(0,u.hC)(f(),{blindSpots:e})}function x(e){let t=f(),n=(0,c.dh)(t,e),r=(0,c.pV)(t,n);return{target:n,contract:e,marked_done:r.marked_done,purpose:r.description.purpose,functions:r.description.functions.map(e=>({id:e.id,sig:e.sig,fn_ref:e.fn_ref,purpose:e.purpose,access:e.access,effects:e.effects,notes:e.notes,warnings:e.warnings})),questions:r.questions,leads:r.leads}}function y(){return(0,c.sC)(f()).sessions.filter(e=>!e.processed).length}function j(){try{return s().readFileSync(o().join(f(),"notes","general.md"),"utf-8")}catch{return""}}function v(){let e=o().join(f(),"fix-review"),t=null;try{for(let n of s().readdirSync(e))if(n.endsWith(".json"))try{let r=JSON.parse(s().readFileSync(o().join(e,n),"utf-8"));(!t||Date.parse(r.generated_at)>Date.parse(t.generated_at))&&(t=r)}catch{}}catch{return null}return t}},6700:(e,t,n)=>{n.d(t,{DO:()=>c,Je:()=>a,V7:()=>l,fY:()=>f});var r=n(7561),s=n.n(r),i=n(9411),o=n.n(i);function a(e){try{return JSON.parse(s().readFileSync(o().join(e,"facts.json"),"utf-8"))}catch{return null}}function u(e,t){return e.state_vars.some(e=>e.id===t)?[t]:e.state_vars.filter(e=>e.name===t).map(e=>e.id)}function l(e,t){let n=new Set(u(e,t));return e.functions.filter(e=>e.reads.some(e=>n.has(e))).map(e=>e.id)}function c(e,t){let n=new Set(u(e,t));return e.functions.filter(e=>e.writes.some(e=>n.has(e))).map(e=>e.id)}function f(e,t){let n=new Map(e.functions.map(e=>[e.id,e])),r=[];for(let s of function(e,t){let n=e.functions.filter(e=>e.id===t);if(n.length)return n;let r=t.indexOf("."),s=t.indexOf("(");if(r>0&&(-1===s||r<s)){let n=t.slice(0,r),s=t.slice(r+1),i=s.includes("(")?null:s;return e.functions.filter(e=>e.contract===n&&(i?e.name===i:e.signature===s))}let i=s>0?t.slice(0,s):t;return e.functions.filter(e=>e.name===i||e.signature===t)}(e,t))for(let e of s.called_by){let t=n.get(e.from)?.file??"";for(let n of e.at?.length?e.at:[void 0])r.push({from:e.from,kind:e.kind,file:t,...n?{line:n}:{}})}return r.sort((e,t)=>e.file.localeCompare(t.file)||(e.line??0)-(t.line??0)||e.from.localeCompare(t.from))}}};var t=require("../../../webpack-runtime.js");t.C(e);var n=e=>t(t.s=e),r=t.X(0,[916,786,42,310],()=>n(8455));module.exports=r})();
@@ -1 +1 @@
1
- {"version":1,"files":["../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../node_modules/next/package.json","../../../../../../package.json","../../../../package.json","../../../chunks/786.js","../../../chunks/916.js","../../../webpack-runtime.js"]}
1
+ {"version":1,"files":["../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../node_modules/next/package.json","../../../../../../package.json","../../../../package.json","../../../chunks/310.js","../../../chunks/42.js","../../../chunks/786.js","../../../chunks/916.js","../../../webpack-runtime.js"]}
@@ -0,0 +1 @@
1
+ "use strict";(()=>{var e={};e.id=13,e.ids=[13],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7718:e=>{e.exports=require("node:child_process")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},3967:(e,t,n)=>{n.r(t),n.d(t,{originalPathname:()=>I,patchFetch:()=>J,requestAsyncStorage:()=>B,routeModule:()=>A,serverHooks:()=>G,staticGenerationAsyncStorage:()=>D});var r={};n.r(r),n.d(r,{DELETE:()=>T,GET:()=>R,PATCH:()=>P,POST:()=>F,dynamic:()=>b});var i=n(3277),l=n(5265),s=n(5356),o=n(7076),a=n(7718),u=n(7561),c=n.n(u),f=n(1720),d=n(6905),m=n(6720),p=n(9411),h=n.n(p);let _=e=>h().join(e,"notes","comments.json");function g(e){try{return JSON.parse(c().readFileSync(_(e),"utf-8")).comments??[]}catch{return[]}}function x(e,t){let n=_(e);c().mkdirSync(h().dirname(n),{recursive:!0});let r=`${n}.tmp`;c().writeFileSync(r,JSON.stringify({comments:t},null,2)+"\n","utf-8"),c().renameSync(r,n)}function y(e,t){let n=h().resolve(h().dirname(h().resolve(e)),t),r=c().readFileSync(n,"utf-8"),i=r.includes("\r\n")?"\r\n":"\n";return{abs:n,lines:r.split(/\r?\n/),eol:i}}function w(e){let t=`${e.abs}.hex-tmp`,n=c().statSync(e.abs).mode;c().writeFileSync(t,e.lines.join(e.eol),{encoding:"utf-8",mode:n}),c().renameSync(t,e.abs)}let S=e=>e.split(/\r?\n/).map(e=>e.trim()).join("\n");function j(e,t){let n=t.line_end-t.line_start+1,r=S(t.snippet),i=t=>S(e.slice(t-1,t-1+n).join("\n"))===r;if(i(t.line_start))return{start:t.line_start,end:t.line_end};let l=null;for(let r=1;r+n-1<=e.length;r++)i(r)&&(null===l||Math.abs(r-t.line_start)<Math.abs(l-t.line_start))&&(l=r);return null===l?null:{start:l,end:l+n-1}}function v(e,t,n,r,i){for(let l of e)l.id!==n&&l.file===t&&!(l.line_start<r)&&(l.line_start+=i,l.line_end+=i,l.in_source&&(l.in_source.line+=i))}function N(e,t){let n=g(e),r=n.find(e=>e.id===t);if(!r)throw Error(`No comment ${t}`);if(r.in_source)return r;if(!r.file.endsWith(".sol"))throw Error("Only Solidity files take @audit comments");let i=y(e,r.file),l=j(i.lines,r);if(!l)throw Error("The code this comment was written on is no longer in the file");let s=/^\s*/.exec(i.lines[l.start-1]??"")?.[0]??"",o=r.text.trim().split(/\r?\n/).map((e,t)=>`${s}// ${0===t?"@audit ":""}${e.trimEnd()}`.trimEnd());return i.lines.splice(l.start-1,0,...o),w(i),v(n,r.file,r.id,l.start,o.length),r.in_source={line:l.start,inserted:o,at:new Date().toISOString()},r.line_start=l.start+o.length,r.line_end=l.end+o.length,x(e,n),r}function E(e,t){let n=g(e),r=n.find(e=>e.id===t);if(!r)throw Error(`No comment ${t}`);if(!r.in_source)return r;let i=y(e,r.file),{inserted:l}=r.in_source,s=S(l.join("\n")),o=j(i.lines,{line_start:r.in_source.line,line_end:r.in_source.line+l.length-1,snippet:l.join("\n")});if(!o||S(i.lines.slice(o.start-1,o.end).join("\n"))!==s)throw Error("The @audit lines were changed in the file, so Hex will not remove them; edit the file directly.");return i.lines.splice(o.start-1,l.length),w(i),v(n,r.file,r.id,o.start,-l.length),r.line_start-=l.length,r.line_end-=l.length,delete r.in_source,x(e,n),r}let b="force-dynamic",C=null,O=!1,$=!1;function k(){let e=process.env.HEX_CLI;if(!e||!c().existsSync(e))return"skipped";let t=()=>{if(O){$=!0;return}O=!0;let n=(0,a.spawn)(process.execPath,[e,"facts","--project",(0,d.G2)()],{stdio:"ignore"});n.on("exit",()=>{O=!1,$&&($=!1,t())}),n.on("error",()=>{O=!1})};return C&&clearTimeout(C),C=setTimeout(t,800),"rebuilding"}let q=(e,t=400)=>o.NextResponse.json({error:e},{status:t}),M=e=>q(e instanceof Error?e.message:String(e),500);async function R(e){let t=e.nextUrl.searchParams.get("file");if(!t)return q("Missing file");if(!(0,m.B)(t))return q("File not available",403);try{return o.NextResponse.json({comments:function(e,t){let n;let r=g(e),i=r.filter(e=>e.file===t);if(0===i.length)return[];try{n=y(e,t).lines}catch{return i.map(e=>({...e,stale:!0}))}let l=!1,s=[];for(let e of i){let t=j(n,e);if(!t){s.push({...e,stale:!0});continue}if(t.start!==e.line_start){let n=t.start-e.line_start;e.line_start=t.start,e.line_end=t.end,e.in_source&&(e.in_source.line+=n),l=!0}s.push({...e})}return l&&x(e,r),s.sort((e,t)=>e.line_end-t.line_end||e.created_at.localeCompare(t.created_at))}((0,f.ZN)(),t)})}catch(e){return M(e)}}async function F(e){try{let t=await e.json(),n=(0,f.ZN)();switch(t.action??"add"){case"add":{if(!t.file||!(0,m.B)(t.file))return q("File not available",403);if(!t.line_start||!t.text?.trim())return q("line_start and text are required");let e=function(e,t){let n=t.text.trim();if(!n)throw Error("A comment needs text");let{lines:r}=y(e,t.file),i=Math.max(1,Math.min(t.line_start,t.line_end)),l=Math.min(r.length,Math.max(t.line_start,t.line_end));if(i>r.length)throw Error(`${t.file} has only ${r.length} lines`);let s=g(e),o=s.reduce((e,t)=>Math.max(e,parseInt(t.id.replace(/^C-/,""),10)||0),0),a={id:`C-${String(o+1).padStart(3,"0")}`,file:t.file,line_start:i,line_end:l,snippet:r.slice(i-1,l).join("\n"),text:n,by:t.by??"auditor",created_at:new Date().toISOString()};return s.push(a),x(e,s),a}(n,{file:t.file,line_start:t.line_start,line_end:t.line_end??t.line_start,text:t.text});return o.NextResponse.json({comment:e})}case"restore":{let e=t.comment;if(!e?.id||!e.file||!(0,m.B)(e.file))return q("Invalid comment");return o.NextResponse.json({comment:function(e,t){let n=g(e).filter(e=>e.id!==t.id);return n.push(t),x(e,n),t}(n,e)})}case"write":case"unwrite":{if(!t.id)return q("id is required");let e=g(n).find(e=>e.id===t.id);if(!e||!(0,m.B)(e.file))return q("Comment not available",404);let r="write"===t.action?N(n,t.id):E(n,t.id);return o.NextResponse.json({comment:r,facts:k()})}default:return q(`Unknown action ${t.action}`)}}catch(e){return M(e)}}async function P(e){try{let{id:t,text:n}=await e.json();if(!t||!n?.trim())return q("id and text are required");let r=(0,f.ZN)(),i=g(r).find(e=>e.id===t);if(!i||!(0,m.B)(i.file))return q("Comment not available",404);let l=function(e,t,n){let r=n.trim();if(!r)throw Error("A comment needs text");let i=g(e).find(e=>e.id===t);if(!i)throw Error(`No comment ${t}`);let l=!!i.in_source;l&&E(e,t);let s=g(e),o=s.find(e=>e.id===t);return o.text=r,o.updated_at=new Date().toISOString(),x(e,s),l?N(e,t):o}(r,t,n);return o.NextResponse.json({comment:l,...i.in_source?{facts:k()}:{}})}catch(e){return M(e)}}async function T(e){try{let t=e.nextUrl.searchParams.get("id");if(!t)return q("Missing id");let n=(0,f.ZN)(),r=g(n).find(e=>e.id===t);if(!r||!(0,m.B)(r.file))return q("Comment not available",404);let i=function(e,t){let n=g(e).find(e=>e.id===t);if(!n)throw Error(`No comment ${t}`);let r=n.in_source?E(e,t):n;return x(e,g(e).filter(e=>e.id!==t)),r}(n,t);return o.NextResponse.json({comment:i,...r.in_source?{facts:k()}:{}})}catch(e){return M(e)}}let A=new i.AppRouteRouteModule({definition:{kind:l.x.APP_ROUTE,page:"/api/comments/route",pathname:"/api/comments",filename:"route",bundlePath:"app/api/comments/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/comments/route.ts",nextConfigOutput:"",userland:r}),{requestAsyncStorage:B,staticGenerationAsyncStorage:D,serverHooks:G}=A,I="/api/comments/route";function J(){return(0,s.patchFetch)({serverHooks:G,staticGenerationAsyncStorage:D})}},6720:(e,t,n)=>{n.d(t,{B:()=>a});var r=n(7561),i=n.n(r),l=n(9411),s=n.n(l),o=n(6905);function a(e){let t,n;try{t=i().realpathSync((0,o.G2)())}catch{return null}try{n=i().realpathSync(s().resolve(t,e))}catch{return null}return n!==t&&!n.startsWith(t+s().sep)||s().relative(t,n).split(s().sep).some(e=>e.startsWith(".")||"node_modules"===e)?null:n}},6905:(e,t,n)=>{n.d(t,{Aw:()=>_,G2:()=>d,Ge:()=>h,QR:()=>y,Rd:()=>w,TS:()=>x,WV:()=>f,cA:()=>p,eT:()=>g,zi:()=>m});var r=n(7561),i=n.n(r),l=n(9411),s=n.n(l),o=n(1720),a=n(1310),u=n(6700),c=n(5568);function f(){return(0,o.ZN)()}function d(){return s().dirname(f())}function m(){return(0,o.gn)("config.json")}function p(){return m()?.project?.mode==="diff"}function h(){return(0,u.Je)(f())}function _(e=10){return(0,a.hC)(f(),{blindSpots:e})}function g(e){let t=f(),n=(0,c.dh)(t,e),r=(0,c.pV)(t,n);return{target:n,contract:e,marked_done:r.marked_done,purpose:r.description.purpose,functions:r.description.functions.map(e=>({id:e.id,sig:e.sig,fn_ref:e.fn_ref,purpose:e.purpose,access:e.access,effects:e.effects,notes:e.notes,warnings:e.warnings})),questions:r.questions,leads:r.leads}}function x(){return(0,c.sC)(f()).sessions.filter(e=>!e.processed).length}function y(){try{return i().readFileSync(s().join(f(),"notes","general.md"),"utf-8")}catch{return""}}function w(){let e=s().join(f(),"fix-review"),t=null;try{for(let n of i().readdirSync(e))if(n.endsWith(".json"))try{let r=JSON.parse(i().readFileSync(s().join(e,n),"utf-8"));(!t||Date.parse(r.generated_at)>Date.parse(t.generated_at))&&(t=r)}catch{}}catch{return null}return t}},6700:(e,t,n)=>{n.d(t,{DO:()=>c,Je:()=>o,V7:()=>u,fY:()=>f});var r=n(7561),i=n.n(r),l=n(9411),s=n.n(l);function o(e){try{return JSON.parse(i().readFileSync(s().join(e,"facts.json"),"utf-8"))}catch{return null}}function a(e,t){return e.state_vars.some(e=>e.id===t)?[t]:e.state_vars.filter(e=>e.name===t).map(e=>e.id)}function u(e,t){let n=new Set(a(e,t));return e.functions.filter(e=>e.reads.some(e=>n.has(e))).map(e=>e.id)}function c(e,t){let n=new Set(a(e,t));return e.functions.filter(e=>e.writes.some(e=>n.has(e))).map(e=>e.id)}function f(e,t){let n=new Map(e.functions.map(e=>[e.id,e])),r=[];for(let i of function(e,t){let n=e.functions.filter(e=>e.id===t);if(n.length)return n;let r=t.indexOf("."),i=t.indexOf("(");if(r>0&&(-1===i||r<i)){let n=t.slice(0,r),i=t.slice(r+1),l=i.includes("(")?null:i;return e.functions.filter(e=>e.contract===n&&(l?e.name===l:e.signature===i))}let l=i>0?t.slice(0,i):t;return e.functions.filter(e=>e.name===l||e.signature===t)}(e,t))for(let e of i.called_by){let t=n.get(e.from)?.file??"";for(let n of e.at?.length?e.at:[void 0])r.push({from:e.from,kind:e.kind,file:t,...n?{line:n}:{}})}return r.sort((e,t)=>e.file.localeCompare(t.file)||(e.line??0)-(t.line??0)||e.from.localeCompare(t.from))}}};var t=require("../../../webpack-runtime.js");t.C(e);var n=e=>t(t.s=e),r=t.X(0,[916,786,42,310],()=>n(3967));module.exports=r})();
@@ -0,0 +1 @@
1
+ {"version":1,"files":["../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../node_modules/next/package.json","../../../../../../package.json","../../../../package.json","../../../chunks/310.js","../../../chunks/42.js","../../../chunks/786.js","../../../chunks/916.js","../../../webpack-runtime.js"]}
@@ -0,0 +1 @@
1
+ "use strict";(()=>{var e={};e.id=502,e.ids=[502],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},4271:(e,n,t)=>{t.r(n),t.d(n,{originalPathname:()=>y,patchFetch:()=>g,requestAsyncStorage:()=>m,routeModule:()=>p,serverHooks:()=>x,staticGenerationAsyncStorage:()=>h});var r={};t.r(r),t.d(r,{DELETE:()=>d,POST:()=>l,dynamic:()=>c});var i=t(3277),o=t(5265),a=t(5356),s=t(7076),u=t(5719);let c="force-dynamic",f=Buffer.from([137,80,78,71]);async function l(e,{params:n}){if(!(0,u.kb)(n.name))return s.NextResponse.json({error:"Invalid name"},{status:400});let t=Buffer.from(await e.arrayBuffer());return t.length<8||!t.subarray(0,4).equals(f)?s.NextResponse.json({error:"Body must be a PNG"},{status:400}):t.length>20971520?s.NextResponse.json({error:"PNG too large"},{status:413}):((0,u.sv)(n.name,t),s.NextResponse.json({ok:!0}))}async function d(e,{params:n}){return(0,u.kb)(n.name)?((0,u.hd)(n.name),s.NextResponse.json({ok:!0})):s.NextResponse.json({error:"Invalid name"},{status:400})}let p=new i.AppRouteRouteModule({definition:{kind:o.x.APP_ROUTE,page:"/api/diagrams/[name]/export/route",pathname:"/api/diagrams/[name]/export",filename:"route",bundlePath:"app/api/diagrams/[name]/export/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/diagrams/[name]/export/route.ts",nextConfigOutput:"",userland:r}),{requestAsyncStorage:m,staticGenerationAsyncStorage:h,serverHooks:x}=p,y="/api/diagrams/[name]/export/route";function g(){return(0,a.patchFetch)({serverHooks:x,staticGenerationAsyncStorage:h})}},5719:(e,n,t)=>{t.d(n,{FK:()=>m,HE:()=>k,Ik:()=>R,Kl:()=>w,Vb:()=>O,ZD:()=>_,g1:()=>S,hd:()=>b,kb:()=>c,qu:()=>j,sv:()=>N,xt:()=>v});var r=t(7561),i=t.n(r),o=t(9411),a=t.n(o),s=t(6905);let u=/^[a-z0-9][a-z0-9-]*$/;function c(e){return u.test(e)}function f(){return a().join((0,s.WV)(),"model","diagrams")}function l(){return a().join((0,s.WV)(),"report","figures")}function d(e,n){i().mkdirSync(a().dirname(e),{recursive:!0});let t=e+".tmp";i().writeFileSync(t,JSON.stringify(n,null,2)+"\n","utf-8"),i().renameSync(t,e)}function p(e){try{return JSON.parse(i().readFileSync(e,"utf-8"))}catch{return null}}function m(){return p(a().join(f(),"index.json"))??[]}function h(e,n){let t=m(),r=t.find(n=>n.name===e);return r?(Object.assign(r,n),d(a().join(f(),"index.json"),t),r):null}let x=e=>a().join(f(),`${e}.excalidraw`),y=e=>a().join(f(),`${e}.regenerated.excalidraw`),g=e=>a().join(l(),`${e}.png`);function S(e){try{return Math.floor(i().statSync(x(e)).mtimeMs)}catch{return 0}}function j(e){try{return Math.floor(i().statSync(g(e)).mtimeMs)}catch{return 0}}function v(e){return p(x(e))}function _(e,n){let t=v(e),r=m().find(n=>n.name===e),i=n.appState??t?.appState??{},o={type:"excalidraw",version:2,source:t?.source??"hex",elements:n.elements,appState:{viewBackgroundColor:i.viewBackgroundColor??"#ffffff",gridSize:i.gridSize??null},files:n.files??t?.files??{},hex:{name:e,type:t?.hex?.type??r?.type??"custom",spec_hash:t?.hex?.spec_hash??r?.spec_hash??"",edited:!0}};return d(x(e),o),h(e,{edited:!0}),{mtime:S(e)}}function w(e){let n=p(y(e));if(!n)throw Error(`No regenerated layout for ${e}`);d(x(e),{...n,hex:{...n.hex??{name:e,type:"custom"},edited:!1}}),i().rmSync(y(e),{force:!0}),h(e,{edited:!1,stale:!1,...n.hex?.spec_hash?{spec_hash:n.hex.spec_hash}:{}})}function k(e){let n=p(y(e)),t=v(e),r=n?.hex?.spec_hash??t?.hex?.spec_hash??"";t&&d(x(e),{...t,hex:{...t.hex??{name:e,type:"custom"},spec_hash:r,edited:!0}}),i().rmSync(y(e),{force:!0}),h(e,{stale:!1,edited:!0,...r?{spec_hash:r}:{}})}function N(e,n){i().mkdirSync(l(),{recursive:!0});let t=g(e)+".tmp";i().writeFileSync(t,n),i().renameSync(t,g(e)),h(e,{in_report:!0})}function b(e){i().rmSync(g(e),{force:!0}),h(e,{in_report:!1})}function O(e){try{return i().readFileSync(g(e))}catch{return null}}function R(){try{return i().readdirSync(l()).filter(e=>e.endsWith(".png")).map(e=>e.replace(/\.png$/,"")).filter(c).sort()}catch{return[]}}},6905:(e,n,t)=>{t.d(n,{Aw:()=>x,G2:()=>d,Ge:()=>h,QR:()=>S,Rd:()=>j,TS:()=>g,WV:()=>l,cA:()=>m,eT:()=>y,zi:()=>p});var r=t(7561),i=t.n(r),o=t(9411),a=t.n(o),s=t(1720),u=t(1310),c=t(6700),f=t(5568);function l(){return(0,s.ZN)()}function d(){return a().dirname(l())}function p(){return(0,s.gn)("config.json")}function m(){return p()?.project?.mode==="diff"}function h(){return(0,c.Je)(l())}function x(e=10){return(0,u.hC)(l(),{blindSpots:e})}function y(e){let n=l(),t=(0,f.dh)(n,e),r=(0,f.pV)(n,t);return{target:t,contract:e,marked_done:r.marked_done,purpose:r.description.purpose,functions:r.description.functions.map(e=>({id:e.id,sig:e.sig,fn_ref:e.fn_ref,purpose:e.purpose,access:e.access,effects:e.effects,notes:e.notes,warnings:e.warnings})),questions:r.questions,leads:r.leads}}function g(){return(0,f.sC)(l()).sessions.filter(e=>!e.processed).length}function S(){try{return i().readFileSync(a().join(l(),"notes","general.md"),"utf-8")}catch{return""}}function j(){let e=a().join(l(),"fix-review"),n=null;try{for(let t of i().readdirSync(e))if(t.endsWith(".json"))try{let r=JSON.parse(i().readFileSync(a().join(e,t),"utf-8"));(!n||Date.parse(r.generated_at)>Date.parse(n.generated_at))&&(n=r)}catch{}}catch{return null}return n}},6700:(e,n,t)=>{t.d(n,{DO:()=>f,Je:()=>s,V7:()=>c,fY:()=>l});var r=t(7561),i=t.n(r),o=t(9411),a=t.n(o);function s(e){try{return JSON.parse(i().readFileSync(a().join(e,"facts.json"),"utf-8"))}catch{return null}}function u(e,n){return e.state_vars.some(e=>e.id===n)?[n]:e.state_vars.filter(e=>e.name===n).map(e=>e.id)}function c(e,n){let t=new Set(u(e,n));return e.functions.filter(e=>e.reads.some(e=>t.has(e))).map(e=>e.id)}function f(e,n){let t=new Set(u(e,n));return e.functions.filter(e=>e.writes.some(e=>t.has(e))).map(e=>e.id)}function l(e,n){let t=new Map(e.functions.map(e=>[e.id,e])),r=[];for(let i of function(e,n){let t=e.functions.filter(e=>e.id===n);if(t.length)return t;let r=n.indexOf("."),i=n.indexOf("(");if(r>0&&(-1===i||r<i)){let t=n.slice(0,r),i=n.slice(r+1),o=i.includes("(")?null:i;return e.functions.filter(e=>e.contract===t&&(o?e.name===o:e.signature===i))}let o=i>0?n.slice(0,i):n;return e.functions.filter(e=>e.name===o||e.signature===n)}(e,n))for(let e of i.called_by){let n=t.get(e.from)?.file??"";for(let t of e.at?.length?e.at:[void 0])r.push({from:e.from,kind:e.kind,file:n,...t?{line:t}:{}})}return r.sort((e,n)=>e.file.localeCompare(n.file)||(e.line??0)-(n.line??0)||e.from.localeCompare(n.from))}}};var n=require("../../../../../webpack-runtime.js");n.C(e);var t=e=>n(n.s=e),r=n.X(0,[916,786,42,310],()=>t(4271));module.exports=r})();
@@ -0,0 +1 @@
1
+ {"version":1,"files":["../../../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../../../node_modules/next/package.json","../../../../../../../../package.json","../../../../../../package.json","../../../../../chunks/310.js","../../../../../chunks/42.js","../../../../../chunks/786.js","../../../../../chunks/916.js","../../../../../webpack-runtime.js"]}
@@ -0,0 +1 @@
1
+ "use strict";(()=>{var e={};e.id=708,e.ids=[708],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},3811:(e,n,t)=>{t.r(n),t.d(n,{originalPathname:()=>h,patchFetch:()=>g,requestAsyncStorage:()=>d,routeModule:()=>l,serverHooks:()=>m,staticGenerationAsyncStorage:()=>p});var r={};t.r(r),t.d(r,{POST:()=>f,dynamic:()=>c});var i=t(3277),o=t(5265),s=t(5356),a=t(7076),u=t(5719);let c="force-dynamic";async function f(e,{params:n}){if(!(0,u.kb)(n.name))return a.NextResponse.json({error:"Invalid name"},{status:400});let{action:t}=await e.json().catch(()=>({}));try{if("use-new"===t)(0,u.Kl)(n.name);else{if("keep-mine"!==t)return a.NextResponse.json({error:"action must be 'use-new' or 'keep-mine'"},{status:400});(0,u.HE)(n.name)}return a.NextResponse.json({ok:!0})}catch(e){return a.NextResponse.json({error:e instanceof Error?e.message:String(e)},{status:400})}}let l=new i.AppRouteRouteModule({definition:{kind:o.x.APP_ROUTE,page:"/api/diagrams/[name]/resolve/route",pathname:"/api/diagrams/[name]/resolve",filename:"route",bundlePath:"app/api/diagrams/[name]/resolve/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/diagrams/[name]/resolve/route.ts",nextConfigOutput:"",userland:r}),{requestAsyncStorage:d,staticGenerationAsyncStorage:p,serverHooks:m}=l,h="/api/diagrams/[name]/resolve/route";function g(){return(0,s.patchFetch)({serverHooks:m,staticGenerationAsyncStorage:p})}},5719:(e,n,t)=>{t.d(n,{FK:()=>m,HE:()=>k,Ik:()=>b,Kl:()=>w,Vb:()=>N,ZD:()=>_,g1:()=>S,hd:()=>F,kb:()=>c,qu:()=>v,sv:()=>O,xt:()=>j});var r=t(7561),i=t.n(r),o=t(9411),s=t.n(o),a=t(6905);let u=/^[a-z0-9][a-z0-9-]*$/;function c(e){return u.test(e)}function f(){return s().join((0,a.WV)(),"model","diagrams")}function l(){return s().join((0,a.WV)(),"report","figures")}function d(e,n){i().mkdirSync(s().dirname(e),{recursive:!0});let t=e+".tmp";i().writeFileSync(t,JSON.stringify(n,null,2)+"\n","utf-8"),i().renameSync(t,e)}function p(e){try{return JSON.parse(i().readFileSync(e,"utf-8"))}catch{return null}}function m(){return p(s().join(f(),"index.json"))??[]}function h(e,n){let t=m(),r=t.find(n=>n.name===e);return r?(Object.assign(r,n),d(s().join(f(),"index.json"),t),r):null}let g=e=>s().join(f(),`${e}.excalidraw`),y=e=>s().join(f(),`${e}.regenerated.excalidraw`),x=e=>s().join(l(),`${e}.png`);function S(e){try{return Math.floor(i().statSync(g(e)).mtimeMs)}catch{return 0}}function v(e){try{return Math.floor(i().statSync(x(e)).mtimeMs)}catch{return 0}}function j(e){return p(g(e))}function _(e,n){let t=j(e),r=m().find(n=>n.name===e),i=n.appState??t?.appState??{},o={type:"excalidraw",version:2,source:t?.source??"hex",elements:n.elements,appState:{viewBackgroundColor:i.viewBackgroundColor??"#ffffff",gridSize:i.gridSize??null},files:n.files??t?.files??{},hex:{name:e,type:t?.hex?.type??r?.type??"custom",spec_hash:t?.hex?.spec_hash??r?.spec_hash??"",edited:!0}};return d(g(e),o),h(e,{edited:!0}),{mtime:S(e)}}function w(e){let n=p(y(e));if(!n)throw Error(`No regenerated layout for ${e}`);d(g(e),{...n,hex:{...n.hex??{name:e,type:"custom"},edited:!1}}),i().rmSync(y(e),{force:!0}),h(e,{edited:!1,stale:!1,...n.hex?.spec_hash?{spec_hash:n.hex.spec_hash}:{}})}function k(e){let n=p(y(e)),t=j(e),r=n?.hex?.spec_hash??t?.hex?.spec_hash??"";t&&d(g(e),{...t,hex:{...t.hex??{name:e,type:"custom"},spec_hash:r,edited:!0}}),i().rmSync(y(e),{force:!0}),h(e,{stale:!1,edited:!0,...r?{spec_hash:r}:{}})}function O(e,n){i().mkdirSync(l(),{recursive:!0});let t=x(e)+".tmp";i().writeFileSync(t,n),i().renameSync(t,x(e)),h(e,{in_report:!0})}function F(e){i().rmSync(x(e),{force:!0}),h(e,{in_report:!1})}function N(e){try{return i().readFileSync(x(e))}catch{return null}}function b(){try{return i().readdirSync(l()).filter(e=>e.endsWith(".png")).map(e=>e.replace(/\.png$/,"")).filter(c).sort()}catch{return[]}}},6905:(e,n,t)=>{t.d(n,{Aw:()=>g,G2:()=>d,Ge:()=>h,QR:()=>S,Rd:()=>v,TS:()=>x,WV:()=>l,cA:()=>m,eT:()=>y,zi:()=>p});var r=t(7561),i=t.n(r),o=t(9411),s=t.n(o),a=t(1720),u=t(1310),c=t(6700),f=t(5568);function l(){return(0,a.ZN)()}function d(){return s().dirname(l())}function p(){return(0,a.gn)("config.json")}function m(){return p()?.project?.mode==="diff"}function h(){return(0,c.Je)(l())}function g(e=10){return(0,u.hC)(l(),{blindSpots:e})}function y(e){let n=l(),t=(0,f.dh)(n,e),r=(0,f.pV)(n,t);return{target:t,contract:e,marked_done:r.marked_done,purpose:r.description.purpose,functions:r.description.functions.map(e=>({id:e.id,sig:e.sig,fn_ref:e.fn_ref,purpose:e.purpose,access:e.access,effects:e.effects,notes:e.notes,warnings:e.warnings})),questions:r.questions,leads:r.leads}}function x(){return(0,f.sC)(l()).sessions.filter(e=>!e.processed).length}function S(){try{return i().readFileSync(s().join(l(),"notes","general.md"),"utf-8")}catch{return""}}function v(){let e=s().join(l(),"fix-review"),n=null;try{for(let t of i().readdirSync(e))if(t.endsWith(".json"))try{let r=JSON.parse(i().readFileSync(s().join(e,t),"utf-8"));(!n||Date.parse(r.generated_at)>Date.parse(n.generated_at))&&(n=r)}catch{}}catch{return null}return n}},6700:(e,n,t)=>{t.d(n,{DO:()=>f,Je:()=>a,V7:()=>c,fY:()=>l});var r=t(7561),i=t.n(r),o=t(9411),s=t.n(o);function a(e){try{return JSON.parse(i().readFileSync(s().join(e,"facts.json"),"utf-8"))}catch{return null}}function u(e,n){return e.state_vars.some(e=>e.id===n)?[n]:e.state_vars.filter(e=>e.name===n).map(e=>e.id)}function c(e,n){let t=new Set(u(e,n));return e.functions.filter(e=>e.reads.some(e=>t.has(e))).map(e=>e.id)}function f(e,n){let t=new Set(u(e,n));return e.functions.filter(e=>e.writes.some(e=>t.has(e))).map(e=>e.id)}function l(e,n){let t=new Map(e.functions.map(e=>[e.id,e])),r=[];for(let i of function(e,n){let t=e.functions.filter(e=>e.id===n);if(t.length)return t;let r=n.indexOf("."),i=n.indexOf("(");if(r>0&&(-1===i||r<i)){let t=n.slice(0,r),i=n.slice(r+1),o=i.includes("(")?null:i;return e.functions.filter(e=>e.contract===t&&(o?e.name===o:e.signature===i))}let o=i>0?n.slice(0,i):n;return e.functions.filter(e=>e.name===o||e.signature===n)}(e,n))for(let e of i.called_by){let n=t.get(e.from)?.file??"";for(let t of e.at?.length?e.at:[void 0])r.push({from:e.from,kind:e.kind,file:n,...t?{line:t}:{}})}return r.sort((e,n)=>e.file.localeCompare(n.file)||(e.line??0)-(n.line??0)||e.from.localeCompare(n.from))}}};var n=require("../../../../../webpack-runtime.js");n.C(e);var t=e=>n(n.s=e),r=n.X(0,[916,786,42,310],()=>t(3811));module.exports=r})();
@@ -0,0 +1 @@
1
+ {"version":1,"files":["../../../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../../../node_modules/next/package.json","../../../../../../../../package.json","../../../../../../package.json","../../../../../chunks/310.js","../../../../../chunks/42.js","../../../../../chunks/786.js","../../../../../chunks/916.js","../../../../../webpack-runtime.js"]}
@@ -0,0 +1 @@
1
+ "use strict";(()=>{var e={};e.id=726,e.ids=[726],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},6561:(e,n,t)=>{t.r(n),t.d(n,{originalPathname:()=>y,patchFetch:()=>g,requestAsyncStorage:()=>p,routeModule:()=>d,serverHooks:()=>h,staticGenerationAsyncStorage:()=>m});var r={};t.r(r),t.d(r,{GET:()=>f,PUT:()=>l,dynamic:()=>c});var i=t(3277),s=t(5265),a=t(5356),o=t(7076),u=t(5719);let c="force-dynamic";async function f(e,{params:n}){if(!(0,u.kb)(n.name))return o.NextResponse.json({error:"Invalid name"},{status:400});let t=(0,u.xt)(n.name);return t?o.NextResponse.json({scene:t,mtime:(0,u.g1)(n.name)}):o.NextResponse.json({error:"Not found"},{status:404})}async function l(e,{params:n}){if(!(0,u.kb)(n.name))return o.NextResponse.json({error:"Invalid name"},{status:400});let t=await e.json().catch(()=>null);if(!t||!Array.isArray(t.elements))return o.NextResponse.json({error:"elements must be an array"},{status:400});try{let{mtime:e}=(0,u.ZD)(n.name,{elements:t.elements,appState:t.appState,files:t.files});return o.NextResponse.json({ok:!0,mtime:e})}catch(e){return o.NextResponse.json({error:e instanceof Error?e.message:String(e)},{status:500})}}let d=new i.AppRouteRouteModule({definition:{kind:s.x.APP_ROUTE,page:"/api/diagrams/[name]/route",pathname:"/api/diagrams/[name]",filename:"route",bundlePath:"app/api/diagrams/[name]/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/diagrams/[name]/route.ts",nextConfigOutput:"",userland:r}),{requestAsyncStorage:p,staticGenerationAsyncStorage:m,serverHooks:h}=d,y="/api/diagrams/[name]/route";function g(){return(0,a.patchFetch)({serverHooks:h,staticGenerationAsyncStorage:m})}},5719:(e,n,t)=>{t.d(n,{FK:()=>m,HE:()=>k,Ik:()=>F,Kl:()=>w,Vb:()=>b,ZD:()=>_,g1:()=>S,hd:()=>R,kb:()=>c,qu:()=>j,sv:()=>N,xt:()=>v});var r=t(7561),i=t.n(r),s=t(9411),a=t.n(s),o=t(6905);let u=/^[a-z0-9][a-z0-9-]*$/;function c(e){return u.test(e)}function f(){return a().join((0,o.WV)(),"model","diagrams")}function l(){return a().join((0,o.WV)(),"report","figures")}function d(e,n){i().mkdirSync(a().dirname(e),{recursive:!0});let t=e+".tmp";i().writeFileSync(t,JSON.stringify(n,null,2)+"\n","utf-8"),i().renameSync(t,e)}function p(e){try{return JSON.parse(i().readFileSync(e,"utf-8"))}catch{return null}}function m(){return p(a().join(f(),"index.json"))??[]}function h(e,n){let t=m(),r=t.find(n=>n.name===e);return r?(Object.assign(r,n),d(a().join(f(),"index.json"),t),r):null}let y=e=>a().join(f(),`${e}.excalidraw`),g=e=>a().join(f(),`${e}.regenerated.excalidraw`),x=e=>a().join(l(),`${e}.png`);function S(e){try{return Math.floor(i().statSync(y(e)).mtimeMs)}catch{return 0}}function j(e){try{return Math.floor(i().statSync(x(e)).mtimeMs)}catch{return 0}}function v(e){return p(y(e))}function _(e,n){let t=v(e),r=m().find(n=>n.name===e),i=n.appState??t?.appState??{},s={type:"excalidraw",version:2,source:t?.source??"hex",elements:n.elements,appState:{viewBackgroundColor:i.viewBackgroundColor??"#ffffff",gridSize:i.gridSize??null},files:n.files??t?.files??{},hex:{name:e,type:t?.hex?.type??r?.type??"custom",spec_hash:t?.hex?.spec_hash??r?.spec_hash??"",edited:!0}};return d(y(e),s),h(e,{edited:!0}),{mtime:S(e)}}function w(e){let n=p(g(e));if(!n)throw Error(`No regenerated layout for ${e}`);d(y(e),{...n,hex:{...n.hex??{name:e,type:"custom"},edited:!1}}),i().rmSync(g(e),{force:!0}),h(e,{edited:!1,stale:!1,...n.hex?.spec_hash?{spec_hash:n.hex.spec_hash}:{}})}function k(e){let n=p(g(e)),t=v(e),r=n?.hex?.spec_hash??t?.hex?.spec_hash??"";t&&d(y(e),{...t,hex:{...t.hex??{name:e,type:"custom"},spec_hash:r,edited:!0}}),i().rmSync(g(e),{force:!0}),h(e,{stale:!1,edited:!0,...r?{spec_hash:r}:{}})}function N(e,n){i().mkdirSync(l(),{recursive:!0});let t=x(e)+".tmp";i().writeFileSync(t,n),i().renameSync(t,x(e)),h(e,{in_report:!0})}function R(e){i().rmSync(x(e),{force:!0}),h(e,{in_report:!1})}function b(e){try{return i().readFileSync(x(e))}catch{return null}}function F(){try{return i().readdirSync(l()).filter(e=>e.endsWith(".png")).map(e=>e.replace(/\.png$/,"")).filter(c).sort()}catch{return[]}}},6905:(e,n,t)=>{t.d(n,{Aw:()=>y,G2:()=>d,Ge:()=>h,QR:()=>S,Rd:()=>j,TS:()=>x,WV:()=>l,cA:()=>m,eT:()=>g,zi:()=>p});var r=t(7561),i=t.n(r),s=t(9411),a=t.n(s),o=t(1720),u=t(1310),c=t(6700),f=t(5568);function l(){return(0,o.ZN)()}function d(){return a().dirname(l())}function p(){return(0,o.gn)("config.json")}function m(){return p()?.project?.mode==="diff"}function h(){return(0,c.Je)(l())}function y(e=10){return(0,u.hC)(l(),{blindSpots:e})}function g(e){let n=l(),t=(0,f.dh)(n,e),r=(0,f.pV)(n,t);return{target:t,contract:e,marked_done:r.marked_done,purpose:r.description.purpose,functions:r.description.functions.map(e=>({id:e.id,sig:e.sig,fn_ref:e.fn_ref,purpose:e.purpose,access:e.access,effects:e.effects,notes:e.notes,warnings:e.warnings})),questions:r.questions,leads:r.leads}}function x(){return(0,f.sC)(l()).sessions.filter(e=>!e.processed).length}function S(){try{return i().readFileSync(a().join(l(),"notes","general.md"),"utf-8")}catch{return""}}function j(){let e=a().join(l(),"fix-review"),n=null;try{for(let t of i().readdirSync(e))if(t.endsWith(".json"))try{let r=JSON.parse(i().readFileSync(a().join(e,t),"utf-8"));(!n||Date.parse(r.generated_at)>Date.parse(n.generated_at))&&(n=r)}catch{}}catch{return null}return n}},6700:(e,n,t)=>{t.d(n,{DO:()=>f,Je:()=>o,V7:()=>c,fY:()=>l});var r=t(7561),i=t.n(r),s=t(9411),a=t.n(s);function o(e){try{return JSON.parse(i().readFileSync(a().join(e,"facts.json"),"utf-8"))}catch{return null}}function u(e,n){return e.state_vars.some(e=>e.id===n)?[n]:e.state_vars.filter(e=>e.name===n).map(e=>e.id)}function c(e,n){let t=new Set(u(e,n));return e.functions.filter(e=>e.reads.some(e=>t.has(e))).map(e=>e.id)}function f(e,n){let t=new Set(u(e,n));return e.functions.filter(e=>e.writes.some(e=>t.has(e))).map(e=>e.id)}function l(e,n){let t=new Map(e.functions.map(e=>[e.id,e])),r=[];for(let i of function(e,n){let t=e.functions.filter(e=>e.id===n);if(t.length)return t;let r=n.indexOf("."),i=n.indexOf("(");if(r>0&&(-1===i||r<i)){let t=n.slice(0,r),i=n.slice(r+1),s=i.includes("(")?null:i;return e.functions.filter(e=>e.contract===t&&(s?e.name===s:e.signature===i))}let s=i>0?n.slice(0,i):n;return e.functions.filter(e=>e.name===s||e.signature===n)}(e,n))for(let e of i.called_by){let n=t.get(e.from)?.file??"";for(let t of e.at?.length?e.at:[void 0])r.push({from:e.from,kind:e.kind,file:n,...t?{line:t}:{}})}return r.sort((e,n)=>e.file.localeCompare(n.file)||(e.line??0)-(n.line??0)||e.from.localeCompare(n.from))}}};var n=require("../../../../webpack-runtime.js");n.C(e);var t=e=>n(n.s=e),r=n.X(0,[916,786,42,310],()=>t(6561));module.exports=r})();
@@ -0,0 +1 @@
1
+ {"version":1,"files":["../../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../../node_modules/next/package.json","../../../../../../../package.json","../../../../../package.json","../../../../chunks/310.js","../../../../chunks/42.js","../../../../chunks/786.js","../../../../chunks/916.js","../../../../webpack-runtime.js"]}
@@ -0,0 +1 @@
1
+ "use strict";(()=>{var e={};e.id=602,e.ids=[602],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},4243:(e,n,t)=>{t.r(n),t.d(n,{originalPathname:()=>m,patchFetch:()=>g,requestAsyncStorage:()=>d,routeModule:()=>l,serverHooks:()=>h,staticGenerationAsyncStorage:()=>p});var r={};t.r(r),t.d(r,{GET:()=>f,dynamic:()=>c});var i=t(3277),o=t(5265),a=t(5356),s=t(7076),u=t(5719);let c="force-dynamic";async function f(e,{params:n}){let t=n.name.replace(/\.png$/,"");if(!(0,u.kb)(t))return s.NextResponse.json({error:"Invalid name"},{status:400});let r=(0,u.Vb)(t);return r?new s.NextResponse(new Uint8Array(r),{headers:{"Content-Type":"image/png","Cache-Control":"no-cache"}}):s.NextResponse.json({error:"Not found"},{status:404})}let l=new i.AppRouteRouteModule({definition:{kind:o.x.APP_ROUTE,page:"/api/figures/[name]/route",pathname:"/api/figures/[name]",filename:"route",bundlePath:"app/api/figures/[name]/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/figures/[name]/route.ts",nextConfigOutput:"",userland:r}),{requestAsyncStorage:d,staticGenerationAsyncStorage:p,serverHooks:h}=l,m="/api/figures/[name]/route";function g(){return(0,a.patchFetch)({serverHooks:h,staticGenerationAsyncStorage:p})}},5719:(e,n,t)=>{t.d(n,{FK:()=>h,HE:()=>k,Ik:()=>O,Kl:()=>w,Vb:()=>N,ZD:()=>_,g1:()=>S,hd:()=>F,kb:()=>c,qu:()=>j,sv:()=>C,xt:()=>v});var r=t(7561),i=t.n(r),o=t(9411),a=t.n(o),s=t(6905);let u=/^[a-z0-9][a-z0-9-]*$/;function c(e){return u.test(e)}function f(){return a().join((0,s.WV)(),"model","diagrams")}function l(){return a().join((0,s.WV)(),"report","figures")}function d(e,n){i().mkdirSync(a().dirname(e),{recursive:!0});let t=e+".tmp";i().writeFileSync(t,JSON.stringify(n,null,2)+"\n","utf-8"),i().renameSync(t,e)}function p(e){try{return JSON.parse(i().readFileSync(e,"utf-8"))}catch{return null}}function h(){return p(a().join(f(),"index.json"))??[]}function m(e,n){let t=h(),r=t.find(n=>n.name===e);return r?(Object.assign(r,n),d(a().join(f(),"index.json"),t),r):null}let g=e=>a().join(f(),`${e}.excalidraw`),y=e=>a().join(f(),`${e}.regenerated.excalidraw`),x=e=>a().join(l(),`${e}.png`);function S(e){try{return Math.floor(i().statSync(g(e)).mtimeMs)}catch{return 0}}function j(e){try{return Math.floor(i().statSync(x(e)).mtimeMs)}catch{return 0}}function v(e){return p(g(e))}function _(e,n){let t=v(e),r=h().find(n=>n.name===e),i=n.appState??t?.appState??{},o={type:"excalidraw",version:2,source:t?.source??"hex",elements:n.elements,appState:{viewBackgroundColor:i.viewBackgroundColor??"#ffffff",gridSize:i.gridSize??null},files:n.files??t?.files??{},hex:{name:e,type:t?.hex?.type??r?.type??"custom",spec_hash:t?.hex?.spec_hash??r?.spec_hash??"",edited:!0}};return d(g(e),o),m(e,{edited:!0}),{mtime:S(e)}}function w(e){let n=p(y(e));if(!n)throw Error(`No regenerated layout for ${e}`);d(g(e),{...n,hex:{...n.hex??{name:e,type:"custom"},edited:!1}}),i().rmSync(y(e),{force:!0}),m(e,{edited:!1,stale:!1,...n.hex?.spec_hash?{spec_hash:n.hex.spec_hash}:{}})}function k(e){let n=p(y(e)),t=v(e),r=n?.hex?.spec_hash??t?.hex?.spec_hash??"";t&&d(g(e),{...t,hex:{...t.hex??{name:e,type:"custom"},spec_hash:r,edited:!0}}),i().rmSync(y(e),{force:!0}),m(e,{stale:!1,edited:!0,...r?{spec_hash:r}:{}})}function C(e,n){i().mkdirSync(l(),{recursive:!0});let t=x(e)+".tmp";i().writeFileSync(t,n),i().renameSync(t,x(e)),m(e,{in_report:!0})}function F(e){i().rmSync(x(e),{force:!0}),m(e,{in_report:!1})}function N(e){try{return i().readFileSync(x(e))}catch{return null}}function O(){try{return i().readdirSync(l()).filter(e=>e.endsWith(".png")).map(e=>e.replace(/\.png$/,"")).filter(c).sort()}catch{return[]}}},6905:(e,n,t)=>{t.d(n,{Aw:()=>g,G2:()=>d,Ge:()=>m,QR:()=>S,Rd:()=>j,TS:()=>x,WV:()=>l,cA:()=>h,eT:()=>y,zi:()=>p});var r=t(7561),i=t.n(r),o=t(9411),a=t.n(o),s=t(1720),u=t(1310),c=t(6700),f=t(5568);function l(){return(0,s.ZN)()}function d(){return a().dirname(l())}function p(){return(0,s.gn)("config.json")}function h(){return p()?.project?.mode==="diff"}function m(){return(0,c.Je)(l())}function g(e=10){return(0,u.hC)(l(),{blindSpots:e})}function y(e){let n=l(),t=(0,f.dh)(n,e),r=(0,f.pV)(n,t);return{target:t,contract:e,marked_done:r.marked_done,purpose:r.description.purpose,functions:r.description.functions.map(e=>({id:e.id,sig:e.sig,fn_ref:e.fn_ref,purpose:e.purpose,access:e.access,effects:e.effects,notes:e.notes,warnings:e.warnings})),questions:r.questions,leads:r.leads}}function x(){return(0,f.sC)(l()).sessions.filter(e=>!e.processed).length}function S(){try{return i().readFileSync(a().join(l(),"notes","general.md"),"utf-8")}catch{return""}}function j(){let e=a().join(l(),"fix-review"),n=null;try{for(let t of i().readdirSync(e))if(t.endsWith(".json"))try{let r=JSON.parse(i().readFileSync(a().join(e,t),"utf-8"));(!n||Date.parse(r.generated_at)>Date.parse(n.generated_at))&&(n=r)}catch{}}catch{return null}return n}},6700:(e,n,t)=>{t.d(n,{DO:()=>f,Je:()=>s,V7:()=>c,fY:()=>l});var r=t(7561),i=t.n(r),o=t(9411),a=t.n(o);function s(e){try{return JSON.parse(i().readFileSync(a().join(e,"facts.json"),"utf-8"))}catch{return null}}function u(e,n){return e.state_vars.some(e=>e.id===n)?[n]:e.state_vars.filter(e=>e.name===n).map(e=>e.id)}function c(e,n){let t=new Set(u(e,n));return e.functions.filter(e=>e.reads.some(e=>t.has(e))).map(e=>e.id)}function f(e,n){let t=new Set(u(e,n));return e.functions.filter(e=>e.writes.some(e=>t.has(e))).map(e=>e.id)}function l(e,n){let t=new Map(e.functions.map(e=>[e.id,e])),r=[];for(let i of function(e,n){let t=e.functions.filter(e=>e.id===n);if(t.length)return t;let r=n.indexOf("."),i=n.indexOf("(");if(r>0&&(-1===i||r<i)){let t=n.slice(0,r),i=n.slice(r+1),o=i.includes("(")?null:i;return e.functions.filter(e=>e.contract===t&&(o?e.name===o:e.signature===i))}let o=i>0?n.slice(0,i):n;return e.functions.filter(e=>e.name===o||e.signature===n)}(e,n))for(let e of i.called_by){let n=t.get(e.from)?.file??"";for(let t of e.at?.length?e.at:[void 0])r.push({from:e.from,kind:e.kind,file:n,...t?{line:t}:{}})}return r.sort((e,n)=>e.file.localeCompare(n.file)||(e.line??0)-(n.line??0)||e.from.localeCompare(n.from))}}};var n=require("../../../../webpack-runtime.js");n.C(e);var t=e=>n(n.s=e),r=n.X(0,[916,786,42,310],()=>t(4243));module.exports=r})();
@@ -0,0 +1 @@
1
+ {"version":1,"files":["../../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../../node_modules/next/package.json","../../../../../../../package.json","../../../../../package.json","../../../../chunks/310.js","../../../../chunks/42.js","../../../../chunks/786.js","../../../../chunks/916.js","../../../../webpack-runtime.js"]}
@@ -0,0 +1 @@
1
+ "use strict";(()=>{var e={};e.id=105,e.ids=[105],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},1200:(e,n,t)=>{t.r(n),t.d(n,{originalPathname:()=>x,patchFetch:()=>S,requestAsyncStorage:()=>y,routeModule:()=>h,serverHooks:()=>_,staticGenerationAsyncStorage:()=>v});var r={};t.r(r),t.d(r,{POST:()=>g,dynamic:()=>p});var i=t(3277),o=t(5265),s=t(5356),a=t(7076),u=t(7561),f=t.n(u),c=t(9411),l=t.n(c),d=t(6905);let p="force-dynamic",m=new Set(["function","card","diagram_node","code_range","invariant","comment"]);async function g(e){let n=await e.json().catch(()=>({}));if("string"!=typeof n.ref||!n.ref||"string"!=typeof n.kind||!m.has(n.kind))return a.NextResponse.json({error:"ref and kind are required"},{status:400});let t=e=>"number"==typeof e&&Number.isFinite(e)?Math.trunc(e):void 0,r={ref:n.ref.slice(0,500),kind:n.kind,label:"string"==typeof n.label?n.label.slice(0,500):n.ref.slice(0,500),..."string"==typeof n.file?{file:n.file}:{},...void 0!==t(n.line_start)?{line_start:t(n.line_start)}:{},...void 0!==t(n.line_end)?{line_end:t(n.line_end)}:{},updated_at:new Date().toISOString()},i=l().join((0,d.WV)(),"focus.json"),o=i+".tmp";return f().writeFileSync(o,JSON.stringify(r,null,2)+"\n","utf-8"),f().renameSync(o,i),a.NextResponse.json({ok:!0})}let h=new i.AppRouteRouteModule({definition:{kind:o.x.APP_ROUTE,page:"/api/focus/route",pathname:"/api/focus",filename:"route",bundlePath:"app/api/focus/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/focus/route.ts",nextConfigOutput:"",userland:r}),{requestAsyncStorage:y,staticGenerationAsyncStorage:v,serverHooks:_}=h,x="/api/focus/route";function S(){return(0,s.patchFetch)({serverHooks:_,staticGenerationAsyncStorage:v})}},6905:(e,n,t)=>{t.d(n,{Aw:()=>h,G2:()=>d,Ge:()=>g,QR:()=>_,Rd:()=>x,TS:()=>v,WV:()=>l,cA:()=>m,eT:()=>y,zi:()=>p});var r=t(7561),i=t.n(r),o=t(9411),s=t.n(o),a=t(1720),u=t(1310),f=t(6700),c=t(5568);function l(){return(0,a.ZN)()}function d(){return s().dirname(l())}function p(){return(0,a.gn)("config.json")}function m(){return p()?.project?.mode==="diff"}function g(){return(0,f.Je)(l())}function h(e=10){return(0,u.hC)(l(),{blindSpots:e})}function y(e){let n=l(),t=(0,c.dh)(n,e),r=(0,c.pV)(n,t);return{target:t,contract:e,marked_done:r.marked_done,purpose:r.description.purpose,functions:r.description.functions.map(e=>({id:e.id,sig:e.sig,fn_ref:e.fn_ref,purpose:e.purpose,access:e.access,effects:e.effects,notes:e.notes,warnings:e.warnings})),questions:r.questions,leads:r.leads}}function v(){return(0,c.sC)(l()).sessions.filter(e=>!e.processed).length}function _(){try{return i().readFileSync(s().join(l(),"notes","general.md"),"utf-8")}catch{return""}}function x(){let e=s().join(l(),"fix-review"),n=null;try{for(let t of i().readdirSync(e))if(t.endsWith(".json"))try{let r=JSON.parse(i().readFileSync(s().join(e,t),"utf-8"));(!n||Date.parse(r.generated_at)>Date.parse(n.generated_at))&&(n=r)}catch{}}catch{return null}return n}},6700:(e,n,t)=>{t.d(n,{DO:()=>c,Je:()=>a,V7:()=>f,fY:()=>l});var r=t(7561),i=t.n(r),o=t(9411),s=t.n(o);function a(e){try{return JSON.parse(i().readFileSync(s().join(e,"facts.json"),"utf-8"))}catch{return null}}function u(e,n){return e.state_vars.some(e=>e.id===n)?[n]:e.state_vars.filter(e=>e.name===n).map(e=>e.id)}function f(e,n){let t=new Set(u(e,n));return e.functions.filter(e=>e.reads.some(e=>t.has(e))).map(e=>e.id)}function c(e,n){let t=new Set(u(e,n));return e.functions.filter(e=>e.writes.some(e=>t.has(e))).map(e=>e.id)}function l(e,n){let t=new Map(e.functions.map(e=>[e.id,e])),r=[];for(let i of function(e,n){let t=e.functions.filter(e=>e.id===n);if(t.length)return t;let r=n.indexOf("."),i=n.indexOf("(");if(r>0&&(-1===i||r<i)){let t=n.slice(0,r),i=n.slice(r+1),o=i.includes("(")?null:i;return e.functions.filter(e=>e.contract===t&&(o?e.name===o:e.signature===i))}let o=i>0?n.slice(0,i):n;return e.functions.filter(e=>e.name===o||e.signature===n)}(e,n))for(let e of i.called_by){let n=t.get(e.from)?.file??"";for(let t of e.at?.length?e.at:[void 0])r.push({from:e.from,kind:e.kind,file:n,...t?{line:t}:{}})}return r.sort((e,n)=>e.file.localeCompare(n.file)||(e.line??0)-(n.line??0)||e.from.localeCompare(n.from))}}};var n=require("../../../webpack-runtime.js");n.C(e);var t=e=>n(n.s=e),r=n.X(0,[916,786,42,310],()=>t(1200));module.exports=r})();
@@ -0,0 +1 @@
1
+ {"version":1,"files":["../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../node_modules/next/package.json","../../../../../../package.json","../../../../package.json","../../../chunks/310.js","../../../chunks/42.js","../../../chunks/786.js","../../../chunks/916.js","../../../webpack-runtime.js"]}
@@ -1 +1 @@
1
- "use strict";(()=>{var e={};e.id=432,e.ids=[432],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},6296:(e,t,r)=>{r.r(t),r.d(t,{originalPathname:()=>y,patchFetch:()=>x,requestAsyncStorage:()=>d,routeModule:()=>p,serverHooks:()=>h,staticGenerationAsyncStorage:()=>f});var n={};r.r(n),r.d(n,{GET:()=>l,dynamic:()=>c});var u=r(3277),i=r(5265),o=r(5356),s=r(7076),a=r(1720);let c="force-dynamic";async function l(){let e=(0,a.gn)("external/github/sync-status.json");return s.NextResponse.json(e??null)}let p=new u.AppRouteRouteModule({definition:{kind:i.x.APP_ROUTE,page:"/api/github-status/route",pathname:"/api/github-status",filename:"route",bundlePath:"app/api/github-status/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/github-status/route.ts",nextConfigOutput:"",userland:n}),{requestAsyncStorage:d,staticGenerationAsyncStorage:f,serverHooks:h}=p,y="/api/github-status/route";function x(){return(0,o.patchFetch)({serverHooks:h,staticGenerationAsyncStorage:f})}},1720:(e,t,r)=>{r.d(t,{ki:()=>f,ZN:()=>h,J1:()=>y,gn:()=>l,ws:()=>p,V9:()=>x,au:()=>d});var n=r(7561),u=r.n(n),i=r(9411),o=r.n(i);let s=[".hex",".solaudit","solaudit-output"];function a(e){return e.replace(/\\/g,"/")}function c(){try{let e=function(e=process.cwd()){let t=o().resolve(e);for(;;){let e=function(e){for(let t of[...s.map(t=>o().join(e,t,"config.json")),o().join(e,"config.json")])if(u().existsSync(t))return a(t);return null}(t);if(e)return a(o().dirname(e));let r=o().dirname(t);if(r===t)return null;t=r}}(process.cwd());if(e)return e}catch{}return o().join(process.cwd(),".hex")}function l(e){try{let t=o().join(c(),e),r=u().readFileSync(t,"utf-8");return JSON.parse(r)}catch{return null}}function p(e){try{let t=o().join(c(),e);return u().readFileSync(t,"utf-8")}catch{return null}}function d(e,t){let r=o().join(c(),e);u().writeFileSync(r,JSON.stringify(t,null,2),"utf-8")}function f(e){try{let t=o().join(c(),e);return u().existsSync(t)}catch{return!1}}function h(){return c()}function y(e){try{let t=o().join(c(),e);if(!u().existsSync(t))return[];return u().readdirSync(t,{withFileTypes:!0}).filter(e=>e.isDirectory()).map(e=>e.name)}catch{return[]}}function x(e){try{let t=o().join(c(),e),r=u().readFileSync(t,"utf-8");return JSON.parse(r)}catch{return null}}}};var t=require("../../../webpack-runtime.js");t.C(e);var r=e=>t(t.s=e),n=t.X(0,[916,786],()=>r(6296));module.exports=n})();
1
+ "use strict";(()=>{var e={};e.id=432,e.ids=[432],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},6034:(e,t,r)=>{r.r(t),r.d(t,{originalPathname:()=>x,patchFetch:()=>y,requestAsyncStorage:()=>d,routeModule:()=>p,serverHooks:()=>h,staticGenerationAsyncStorage:()=>f});var n={};r.r(n),r.d(n,{GET:()=>l,dynamic:()=>c});var u=r(3277),i=r(5265),o=r(5356),a=r(7076),s=r(1720);let c="force-dynamic";async function l(){let e=(0,s.gn)("external/github/sync-status.json");return a.NextResponse.json(e??null)}let p=new u.AppRouteRouteModule({definition:{kind:i.x.APP_ROUTE,page:"/api/github-status/route",pathname:"/api/github-status",filename:"route",bundlePath:"app/api/github-status/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/github-status/route.ts",nextConfigOutput:"",userland:n}),{requestAsyncStorage:d,staticGenerationAsyncStorage:f,serverHooks:h}=p,x="/api/github-status/route";function y(){return(0,o.patchFetch)({serverHooks:h,staticGenerationAsyncStorage:f})}},1720:(e,t,r)=>{r.d(t,{ZN:()=>d,J1:()=>f,gn:()=>l,ws:()=>p,V9:()=>h});var n=r(7561),u=r.n(n),i=r(9411),o=r.n(i);let a=[".hex",".solaudit","solaudit-output"];function s(e){return e.replace(/\\/g,"/")}function c(){try{let e=function(e=process.cwd()){let t=o().resolve(e);for(;;){let e=function(e){for(let t of[...a.map(t=>o().join(e,t,"config.json")),o().join(e,"config.json")])if(u().existsSync(t))return s(t);return null}(t);if(e)return s(o().dirname(e));let r=o().dirname(t);if(r===t)return null;t=r}}(process.cwd());if(e)return e}catch{}return o().join(process.cwd(),".hex")}function l(e){try{let t=o().join(c(),e),r=u().readFileSync(t,"utf-8");return JSON.parse(r)}catch{return null}}function p(e){try{let t=o().join(c(),e);return u().readFileSync(t,"utf-8")}catch{return null}}function d(){return c()}function f(e){try{let t=o().join(c(),e);if(!u().existsSync(t))return[];return u().readdirSync(t,{withFileTypes:!0}).filter(e=>e.isDirectory()).map(e=>e.name)}catch{return[]}}function h(e){try{let t=o().join(c(),e),r=u().readFileSync(t,"utf-8");return JSON.parse(r)}catch{return null}}}};var t=require("../../../webpack-runtime.js");t.C(e);var r=e=>t(t.s=e),n=t.X(0,[916,786],()=>r(6034));module.exports=n})();
@@ -0,0 +1 @@
1
+ "use strict";(()=>{var e={};e.id=785,e.ids=[785],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},8719:(e,n,t)=>{t.r(n),t.d(n,{originalPathname:()=>g,patchFetch:()=>S,requestAsyncStorage:()=>m,routeModule:()=>p,serverHooks:()=>v,staticGenerationAsyncStorage:()=>h});var r={};t.r(r),t.d(r,{POST:()=>l,dynamic:()=>d});var i=t(3277),o=t(5265),a=t(5356),s=t(7076),u=t(6905),c=t(8594);let d="force-dynamic",f=new Set(["proposed","accepted","rejected"]);async function l(e,{params:n}){let{status:t,rationale:r}=await e.json().catch(()=>({}));if(!t||!f.has(t))return s.NextResponse.json({error:"status must be proposed|accepted|rejected"},{status:400});try{let e=(0,c.bv)((0,u.WV)(),n.id,t,"string"==typeof r&&r.trim()?r.trim():void 0);return s.NextResponse.json({ok:!0,invariant:e})}catch(e){return s.NextResponse.json({error:e instanceof Error?e.message:String(e)},{status:400})}}let p=new i.AppRouteRouteModule({definition:{kind:o.x.APP_ROUTE,page:"/api/invariants/[id]/route",pathname:"/api/invariants/[id]",filename:"route",bundlePath:"app/api/invariants/[id]/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/invariants/[id]/route.ts",nextConfigOutput:"",userland:r}),{requestAsyncStorage:m,staticGenerationAsyncStorage:h,serverHooks:v}=p,g="/api/invariants/[id]/route";function S(){return(0,a.patchFetch)({serverHooks:v,staticGenerationAsyncStorage:h})}},6905:(e,n,t)=>{t.d(n,{Aw:()=>v,G2:()=>l,Ge:()=>h,QR:()=>j,Rd:()=>y,TS:()=>S,WV:()=>f,cA:()=>m,eT:()=>g,zi:()=>p});var r=t(7561),i=t.n(r),o=t(9411),a=t.n(o),s=t(1720),u=t(1310),c=t(6700),d=t(5568);function f(){return(0,s.ZN)()}function l(){return a().dirname(f())}function p(){return(0,s.gn)("config.json")}function m(){return p()?.project?.mode==="diff"}function h(){return(0,c.Je)(f())}function v(e=10){return(0,u.hC)(f(),{blindSpots:e})}function g(e){let n=f(),t=(0,d.dh)(n,e),r=(0,d.pV)(n,t);return{target:t,contract:e,marked_done:r.marked_done,purpose:r.description.purpose,functions:r.description.functions.map(e=>({id:e.id,sig:e.sig,fn_ref:e.fn_ref,purpose:e.purpose,access:e.access,effects:e.effects,notes:e.notes,warnings:e.warnings})),questions:r.questions,leads:r.leads}}function S(){return(0,d.sC)(f()).sessions.filter(e=>!e.processed).length}function j(){try{return i().readFileSync(a().join(f(),"notes","general.md"),"utf-8")}catch{return""}}function y(){let e=a().join(f(),"fix-review"),n=null;try{for(let t of i().readdirSync(e))if(t.endsWith(".json"))try{let r=JSON.parse(i().readFileSync(a().join(e,t),"utf-8"));(!n||Date.parse(r.generated_at)>Date.parse(n.generated_at))&&(n=r)}catch{}}catch{return null}return n}},8594:(e,n,t)=>{t.d(n,{bv:()=>l,ri:()=>f,wl:()=>c});var r=t(7561),i=t.n(r),o=t(9411),a=t.n(o);function s(e){return a().join(e,"model")}function u(e){try{return JSON.parse(i().readFileSync(e,"utf-8"))}catch{return null}}function c(e){return u(a().join(s(e),"protocol.json"))}let d=e=>a().join(s(e),"invariants.json");function f(e){return u(d(e))??{updated_at:new Date(0).toISOString(),invariants:[]}}function l(e,n,t,r){return function(e,n,t){let r=f(e),o=r.invariants.find(e=>e.id===n);if(!o)throw Error(`No invariant ${n} in .hex/model/invariants.json`);return t(o),function(e,n){i().mkdirSync(a().dirname(e),{recursive:!0});let t=e+".tmp";i().writeFileSync(t,JSON.stringify(n,null,2)+"\n","utf-8"),i().renameSync(t,e)}(d(e),{...r,updated_at:new Date().toISOString()}),o}(e,n,e=>{e.status=t,r&&(e.rationale=r)})}},6700:(e,n,t)=>{t.d(n,{DO:()=>d,Je:()=>s,V7:()=>c,fY:()=>f});var r=t(7561),i=t.n(r),o=t(9411),a=t.n(o);function s(e){try{return JSON.parse(i().readFileSync(a().join(e,"facts.json"),"utf-8"))}catch{return null}}function u(e,n){return e.state_vars.some(e=>e.id===n)?[n]:e.state_vars.filter(e=>e.name===n).map(e=>e.id)}function c(e,n){let t=new Set(u(e,n));return e.functions.filter(e=>e.reads.some(e=>t.has(e))).map(e=>e.id)}function d(e,n){let t=new Set(u(e,n));return e.functions.filter(e=>e.writes.some(e=>t.has(e))).map(e=>e.id)}function f(e,n){let t=new Map(e.functions.map(e=>[e.id,e])),r=[];for(let i of function(e,n){let t=e.functions.filter(e=>e.id===n);if(t.length)return t;let r=n.indexOf("."),i=n.indexOf("(");if(r>0&&(-1===i||r<i)){let t=n.slice(0,r),i=n.slice(r+1),o=i.includes("(")?null:i;return e.functions.filter(e=>e.contract===t&&(o?e.name===o:e.signature===i))}let o=i>0?n.slice(0,i):n;return e.functions.filter(e=>e.name===o||e.signature===n)}(e,n))for(let e of i.called_by){let n=t.get(e.from)?.file??"";for(let t of e.at?.length?e.at:[void 0])r.push({from:e.from,kind:e.kind,file:n,...t?{line:t}:{}})}return r.sort((e,n)=>e.file.localeCompare(n.file)||(e.line??0)-(n.line??0)||e.from.localeCompare(n.from))}}};var n=require("../../../../webpack-runtime.js");n.C(e);var t=e=>n(n.s=e),r=n.X(0,[916,786,42,310],()=>t(8719));module.exports=r})();
@@ -0,0 +1 @@
1
+ {"version":1,"files":["../../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../../node_modules/next/package.json","../../../../../../../package.json","../../../../../package.json","../../../../chunks/310.js","../../../../chunks/42.js","../../../../chunks/786.js","../../../../chunks/916.js","../../../../webpack-runtime.js"]}
@@ -0,0 +1 @@
1
+ "use strict";(()=>{var e={};e.id=820,e.ids=[820],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},8214:(e,t,r)=>{r.r(t),r.d(t,{originalPathname:()=>h,patchFetch:()=>g,requestAsyncStorage:()=>l,routeModule:()=>x,serverHooks:()=>v,staticGenerationAsyncStorage:()=>m});var s={};r.r(s),r.d(s,{POST:()=>c,dynamic:()=>p});var o=r(3277),a=r(5265),i=r(5356),u=r(7076),n=r(1720),d=r(3022);let p="force-dynamic";async function c(e,{params:t}){try{let e=(0,d.zt)((0,n.ZN)(),t.id);return u.NextResponse.json({ok:!0,id:t.id,status:e.status})}catch(e){return u.NextResponse.json({error:e instanceof Error?e.message:String(e)},{status:400})}}let x=new o.AppRouteRouteModule({definition:{kind:a.x.APP_ROUTE,page:"/api/issues/[id]/revert-auto/route",pathname:"/api/issues/[id]/revert-auto",filename:"route",bundlePath:"app/api/issues/[id]/revert-auto/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/issues/[id]/revert-auto/route.ts",nextConfigOutput:"",userland:s}),{requestAsyncStorage:l,staticGenerationAsyncStorage:m,serverHooks:v}=x,h="/api/issues/[id]/revert-auto/route";function g(){return(0,i.patchFetch)({serverHooks:v,staticGenerationAsyncStorage:m})}}};var t=require("../../../../../webpack-runtime.js");t.C(e);var r=e=>t(t.s=e),s=t.X(0,[916,786,42],()=>r(8214));module.exports=s})();
@@ -0,0 +1 @@
1
+ {"version":1,"files":["../../../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../../../node_modules/next/package.json","../../../../../../../../package.json","../../../../../../package.json","../../../../../chunks/42.js","../../../../../chunks/786.js","../../../../../chunks/916.js","../../../../../webpack-runtime.js"]}
@@ -0,0 +1 @@
1
+ "use strict";(()=>{var e={};e.id=817,e.ids=[817],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},9638:(e,t,n)=>{n.r(t),n.d(t,{originalPathname:()=>_,patchFetch:()=>S,requestAsyncStorage:()=>g,routeModule:()=>y,serverHooks:()=>k,staticGenerationAsyncStorage:()=>v});var r={};n.r(r),n.d(r,{GET:()=>h,dynamic:()=>m});var i=n(3277),l=n(5265),o=n(5356),a=n(7076),s=n(7561),u=n.n(s),f=n(6905),c=n(6720),d=n(9416),p=n(6700);let m="force-dynamic";async function h(e){let t=e.nextUrl.searchParams.get("key");if(!t)return a.NextResponse.json({error:"Missing key"},{status:400});let n=(0,d.o)(),r=(0,f.Ge)(),i=n?.decls[t],l=new Map,o=(e,t)=>{if(!l.has(e)){let t=(0,c.B)(e),n=[];try{t&&(n=u().readFileSync(t,"utf-8").split(/\r?\n/))}catch{}l.set(e,n)}return(l.get(e)[t-1]??"").trim()},s=e=>{let t=n?.decls[e];return t?`${t.contract?`${t.contract}.`:""}${t.name}`:e.replace(/\(.*$/,"")},m=[];if((i?"function"===i.kind||"modifier"===i.kind:t.includes("("))&&r){let e=new Map(r.functions.map(e=>[e.id,e]));m=(0,p.fY)(r,t).filter(e=>e.line).map(t=>({from:t.from,fromName:s(t.from),fromStart:e.get(t.from)?.line_start,fromEnd:e.get(t.from)?.line_end,file:t.file,line:t.line,code:o(t.file,t.line),kind:t.kind}))}else if(n){let e=new Set(r&&i?.kind==="state_var"?(0,p.DO)(r,t):[]),l=new Set(r&&i?.kind==="state_var"?(0,p.V7)(r,t):[]);for(let[r,a]of Object.entries(n.refs))for(let[u,,,f,c]of a){if(f!==t||c)continue;let a=(0,d.Z)(n,r,u),p=i?.kind!=="state_var"?"use":a&&e.has(a.key)?"write":a&&l.has(a.key)?"read":"use";m.push({...a?{from:a.key,fromName:s(a.key),fromStart:a.decl.line_start,fromEnd:a.decl.line_end}:{},file:r,line:u,code:o(r,u),kind:p})}}let h=new Set;m=m.filter(e=>{let t=`${e.from??""}|${e.file}|${e.line}|${e.kind}`;return!h.has(t)&&(h.add(t),!0)}).sort((e,t)=>e.file.localeCompare(t.file)||e.line-t.line);let y=(n?.impls[t]??[]).map(e=>({...e,decl:n?.decls[e.id]??null}));return a.NextResponse.json({key:t,decl:i??null,impls:y,sites:m})}let y=new i.AppRouteRouteModule({definition:{kind:l.x.APP_ROUTE,page:"/api/nav/route",pathname:"/api/nav",filename:"route",bundlePath:"app/api/nav/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/nav/route.ts",nextConfigOutput:"",userland:r}),{requestAsyncStorage:g,staticGenerationAsyncStorage:v,serverHooks:k}=y,_="/api/nav/route";function S(){return(0,o.patchFetch)({serverHooks:k,staticGenerationAsyncStorage:v})}},6720:(e,t,n)=>{n.d(t,{B:()=>s});var r=n(7561),i=n.n(r),l=n(9411),o=n.n(l),a=n(6905);function s(e){let t,n;try{t=i().realpathSync((0,a.G2)())}catch{return null}try{n=i().realpathSync(o().resolve(t,e))}catch{return null}return n!==t&&!n.startsWith(t+o().sep)||o().relative(t,n).split(o().sep).some(e=>e.startsWith(".")||"node_modules"===e)?null:n}},6905:(e,t,n)=>{n.d(t,{Aw:()=>y,G2:()=>d,Ge:()=>h,QR:()=>k,Rd:()=>_,TS:()=>v,WV:()=>c,cA:()=>m,eT:()=>g,zi:()=>p});var r=n(7561),i=n.n(r),l=n(9411),o=n.n(l),a=n(1720),s=n(1310),u=n(6700),f=n(5568);function c(){return(0,a.ZN)()}function d(){return o().dirname(c())}function p(){return(0,a.gn)("config.json")}function m(){return p()?.project?.mode==="diff"}function h(){return(0,u.Je)(c())}function y(e=10){return(0,s.hC)(c(),{blindSpots:e})}function g(e){let t=c(),n=(0,f.dh)(t,e),r=(0,f.pV)(t,n);return{target:n,contract:e,marked_done:r.marked_done,purpose:r.description.purpose,functions:r.description.functions.map(e=>({id:e.id,sig:e.sig,fn_ref:e.fn_ref,purpose:e.purpose,access:e.access,effects:e.effects,notes:e.notes,warnings:e.warnings})),questions:r.questions,leads:r.leads}}function v(){return(0,f.sC)(c()).sessions.filter(e=>!e.processed).length}function k(){try{return i().readFileSync(o().join(c(),"notes","general.md"),"utf-8")}catch{return""}}function _(){let e=o().join(c(),"fix-review"),t=null;try{for(let n of i().readdirSync(e))if(n.endsWith(".json"))try{let r=JSON.parse(i().readFileSync(o().join(e,n),"utf-8"));(!t||Date.parse(r.generated_at)>Date.parse(t.generated_at))&&(t=r)}catch{}}catch{return null}return t}},9416:(e,t,n)=>{n.d(t,{Z:()=>f,o:()=>u});var r=n(7561),i=n.n(r),l=n(9411),o=n.n(l),a=n(1720);let s=null;function u(){let e;let t=o().join((0,a.ZN)(),"xref.json");try{e=i().statSync(t).mtimeMs}catch{return s=null,null}if(s&&s.file===t&&s.mtime===e)return s.data;try{let n=JSON.parse(i().readFileSync(t,"utf-8"));return s={file:t,mtime:e,data:n},n}catch{return null}}function f(e,t,n){let r=null;for(let[i,l]of Object.entries(e.decls))l.file===t&&("function"===l.kind||"modifier"===l.kind)&&(n<l.line_start||n>l.line_end||r&&!(l.line_end-l.line_start<r.decl.line_end-r.decl.line_start)||(r={key:i,decl:l}));return r}},6700:(e,t,n)=>{n.d(t,{DO:()=>f,Je:()=>a,V7:()=>u,fY:()=>c});var r=n(7561),i=n.n(r),l=n(9411),o=n.n(l);function a(e){try{return JSON.parse(i().readFileSync(o().join(e,"facts.json"),"utf-8"))}catch{return null}}function s(e,t){return e.state_vars.some(e=>e.id===t)?[t]:e.state_vars.filter(e=>e.name===t).map(e=>e.id)}function u(e,t){let n=new Set(s(e,t));return e.functions.filter(e=>e.reads.some(e=>n.has(e))).map(e=>e.id)}function f(e,t){let n=new Set(s(e,t));return e.functions.filter(e=>e.writes.some(e=>n.has(e))).map(e=>e.id)}function c(e,t){let n=new Map(e.functions.map(e=>[e.id,e])),r=[];for(let i of function(e,t){let n=e.functions.filter(e=>e.id===t);if(n.length)return n;let r=t.indexOf("."),i=t.indexOf("(");if(r>0&&(-1===i||r<i)){let n=t.slice(0,r),i=t.slice(r+1),l=i.includes("(")?null:i;return e.functions.filter(e=>e.contract===n&&(l?e.name===l:e.signature===i))}let l=i>0?t.slice(0,i):t;return e.functions.filter(e=>e.name===l||e.signature===t)}(e,t))for(let e of i.called_by){let t=n.get(e.from)?.file??"";for(let n of e.at?.length?e.at:[void 0])r.push({from:e.from,kind:e.kind,file:t,...n?{line:n}:{}})}return r.sort((e,t)=>e.file.localeCompare(t.file)||(e.line??0)-(t.line??0)||e.from.localeCompare(t.from))}}};var t=require("../../../webpack-runtime.js");t.C(e);var n=e=>t(t.s=e),r=t.X(0,[916,786,42,310],()=>n(9638));module.exports=r})();
@@ -0,0 +1 @@
1
+ {"version":1,"files":["../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../node_modules/next/package.json","../../../../../../package.json","../../../../package.json","../../../chunks/310.js","../../../chunks/42.js","../../../chunks/786.js","../../../chunks/916.js","../../../webpack-runtime.js"]}
@@ -1 +1 @@
1
- "use strict";(()=>{var e={};e.id=548,e.ids=[548],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},6416:(e,t,r)=>{r.r(t),r.d(t,{originalPathname:()=>g,patchFetch:()=>v,requestAsyncStorage:()=>m,routeModule:()=>x,serverHooks:()=>f,staticGenerationAsyncStorage:()=>h});var o={};r.r(o),r.d(o,{POST:()=>l,dynamic:()=>c});var n=r(3277),s=r(5265),a=r(5356),i=r(7076),p=r(1720),u=r(5568),d=r(1310);let c="force-dynamic";async function l(e){let{contract:t,done:r}=await e.json();if("string"!=typeof t||"boolean"!=typeof r)return i.NextResponse.json({error:"contract must be a string and done a boolean"},{status:400});try{let e=(0,p.ZN)();return(0,u.wL)(e,t,r),(0,d.Ht)(e,t),i.NextResponse.json({ok:!0})}catch(e){return i.NextResponse.json({error:e instanceof Error?e.message:String(e)},{status:400})}}let x=new n.AppRouteRouteModule({definition:{kind:s.x.APP_ROUTE,page:"/api/notes/done/route",pathname:"/api/notes/done",filename:"route",bundlePath:"app/api/notes/done/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/notes/done/route.ts",nextConfigOutput:"",userland:o}),{requestAsyncStorage:m,staticGenerationAsyncStorage:h,serverHooks:f}=x,g="/api/notes/done/route";function v(){return(0,a.patchFetch)({serverHooks:f,staticGenerationAsyncStorage:h})}}};var t=require("../../../../webpack-runtime.js");t.C(e);var r=e=>t(t.s=e),o=t.X(0,[916,786,622],()=>r(6416));module.exports=o})();
1
+ "use strict";(()=>{var e={};e.id=548,e.ids=[548],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},6416:(e,t,r)=>{r.r(t),r.d(t,{originalPathname:()=>g,patchFetch:()=>v,requestAsyncStorage:()=>m,routeModule:()=>x,serverHooks:()=>f,staticGenerationAsyncStorage:()=>h});var o={};r.r(o),r.d(o,{POST:()=>l,dynamic:()=>c});var n=r(3277),s=r(5265),a=r(5356),i=r(7076),p=r(1720),u=r(5568),d=r(1310);let c="force-dynamic";async function l(e){let{contract:t,done:r}=await e.json();if("string"!=typeof t||"boolean"!=typeof r)return i.NextResponse.json({error:"contract must be a string and done a boolean"},{status:400});try{let e=(0,p.ZN)();return(0,u.wL)(e,t,r),(0,d.t9)(e,t),i.NextResponse.json({ok:!0})}catch(e){return i.NextResponse.json({error:e instanceof Error?e.message:String(e)},{status:400})}}let x=new n.AppRouteRouteModule({definition:{kind:s.x.APP_ROUTE,page:"/api/notes/done/route",pathname:"/api/notes/done",filename:"route",bundlePath:"app/api/notes/done/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/notes/done/route.ts",nextConfigOutput:"",userland:o}),{requestAsyncStorage:m,staticGenerationAsyncStorage:h,serverHooks:f}=x,g="/api/notes/done/route";function v(){return(0,a.patchFetch)({serverHooks:f,staticGenerationAsyncStorage:h})}}};var t=require("../../../../webpack-runtime.js");t.C(e);var r=e=>t(t.s=e),o=t.X(0,[916,786,42,310],()=>r(6416));module.exports=o})();
@@ -1 +1 @@
1
- {"version":1,"files":["../../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../../node_modules/next/package.json","../../../../../../../package.json","../../../../../package.json","../../../../chunks/622.js","../../../../chunks/786.js","../../../../chunks/916.js","../../../../webpack-runtime.js"]}
1
+ {"version":1,"files":["../../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../../node_modules/next/package.json","../../../../../../../package.json","../../../../../package.json","../../../../chunks/310.js","../../../../chunks/42.js","../../../../chunks/786.js","../../../../chunks/916.js","../../../../webpack-runtime.js"]}
@@ -1 +1 @@
1
- "use strict";(()=>{var e={};e.id=739,e.ids=[739],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},323:(e,t,r)=>{r.r(t),r.d(t,{originalPathname:()=>h,patchFetch:()=>v,requestAsyncStorage:()=>x,routeModule:()=>m,serverHooks:()=>f,staticGenerationAsyncStorage:()=>g});var s={};r.r(s),r.d(s,{POST:()=>l,dynamic:()=>c});var o=r(3277),n=r(5265),a=r(5356),i=r(7076),p=r(1720),u=r(5568),d=r(1310);let c="force-dynamic";async function l(e){let{contract:t,id:r,action:s,status:o}=await e.json();if("string"!=typeof t||"string"!=typeof r||"string"!=typeof s)return i.NextResponse.json({error:"contract, id and action must be strings"},{status:400});try{let e=(0,p.ZN)();if("reopen"===s)(0,u.mQ)(e,t,r);else{if("close"!==s)return i.NextResponse.json({error:`unknown action ${s}`},{status:400});(0,u.U6)(e,t,r,"dismissed"===o||"logged"===o?o:"dismissed")}return(0,d.Ht)(e,t),i.NextResponse.json({ok:!0})}catch(e){return i.NextResponse.json({error:e instanceof Error?e.message:String(e)},{status:400})}}let m=new o.AppRouteRouteModule({definition:{kind:n.x.APP_ROUTE,page:"/api/notes/lead/route",pathname:"/api/notes/lead",filename:"route",bundlePath:"app/api/notes/lead/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/notes/lead/route.ts",nextConfigOutput:"",userland:s}),{requestAsyncStorage:x,staticGenerationAsyncStorage:g,serverHooks:f}=m,h="/api/notes/lead/route";function v(){return(0,a.patchFetch)({serverHooks:f,staticGenerationAsyncStorage:g})}}};var t=require("../../../../webpack-runtime.js");t.C(e);var r=e=>t(t.s=e),s=t.X(0,[916,786,622],()=>r(323));module.exports=s})();
1
+ "use strict";(()=>{var e={};e.id=739,e.ids=[739],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},323:(e,t,r)=>{r.r(t),r.d(t,{originalPathname:()=>h,patchFetch:()=>v,requestAsyncStorage:()=>x,routeModule:()=>m,serverHooks:()=>f,staticGenerationAsyncStorage:()=>g});var s={};r.r(s),r.d(s,{POST:()=>l,dynamic:()=>c});var o=r(3277),n=r(5265),a=r(5356),i=r(7076),p=r(1720),u=r(5568),d=r(1310);let c="force-dynamic";async function l(e){let{contract:t,id:r,action:s,status:o}=await e.json();if("string"!=typeof t||"string"!=typeof r||"string"!=typeof s)return i.NextResponse.json({error:"contract, id and action must be strings"},{status:400});try{let e=(0,p.ZN)();if("reopen"===s)(0,u.mQ)(e,t,r);else{if("close"!==s)return i.NextResponse.json({error:`unknown action ${s}`},{status:400});(0,u.U6)(e,t,r,"dismissed"===o||"logged"===o?o:"dismissed")}return(0,d.t9)(e,t),i.NextResponse.json({ok:!0})}catch(e){return i.NextResponse.json({error:e instanceof Error?e.message:String(e)},{status:400})}}let m=new o.AppRouteRouteModule({definition:{kind:n.x.APP_ROUTE,page:"/api/notes/lead/route",pathname:"/api/notes/lead",filename:"route",bundlePath:"app/api/notes/lead/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/notes/lead/route.ts",nextConfigOutput:"",userland:s}),{requestAsyncStorage:x,staticGenerationAsyncStorage:g,serverHooks:f}=m,h="/api/notes/lead/route";function v(){return(0,a.patchFetch)({serverHooks:f,staticGenerationAsyncStorage:g})}}};var t=require("../../../../webpack-runtime.js");t.C(e);var r=e=>t(t.s=e),s=t.X(0,[916,786,42,310],()=>r(323));module.exports=s})();
@@ -1 +1 @@
1
- {"version":1,"files":["../../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../../node_modules/next/package.json","../../../../../../../package.json","../../../../../package.json","../../../../chunks/622.js","../../../../chunks/786.js","../../../../chunks/916.js","../../../../webpack-runtime.js"]}
1
+ {"version":1,"files":["../../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../../node_modules/next/package.json","../../../../../../../package.json","../../../../../package.json","../../../../chunks/310.js","../../../../chunks/42.js","../../../../chunks/786.js","../../../../chunks/916.js","../../../../webpack-runtime.js"]}
@@ -1 +1 @@
1
- "use strict";(()=>{var e={};e.id=834,e.ids=[834],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},8044:(e,t,r)=>{r.r(t),r.d(t,{originalPathname:()=>f,patchFetch:()=>q,requestAsyncStorage:()=>m,routeModule:()=>x,serverHooks:()=>h,staticGenerationAsyncStorage:()=>g});var o={};r.r(o),r.d(o,{POST:()=>l,dynamic:()=>c});var n=r(3277),s=r(5265),a=r(5356),i=r(7076),u=r(1720),p=r(5568),d=r(1310);let c="force-dynamic";async function l(e){let{contract:t,id:r,answer:o}=await e.json();if("string"!=typeof t||"string"!=typeof r||"string"!=typeof o)return i.NextResponse.json({error:"contract, id and answer must be strings"},{status:400});try{let e=(0,u.ZN)();return(0,p.Tl)(e,t,r,o),(0,d.Ht)(e,t),i.NextResponse.json({ok:!0})}catch(e){return i.NextResponse.json({error:e instanceof Error?e.message:String(e)},{status:400})}}let x=new n.AppRouteRouteModule({definition:{kind:s.x.APP_ROUTE,page:"/api/notes/question/route",pathname:"/api/notes/question",filename:"route",bundlePath:"app/api/notes/question/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/notes/question/route.ts",nextConfigOutput:"",userland:o}),{requestAsyncStorage:m,staticGenerationAsyncStorage:g,serverHooks:h}=x,f="/api/notes/question/route";function q(){return(0,a.patchFetch)({serverHooks:h,staticGenerationAsyncStorage:g})}}};var t=require("../../../../webpack-runtime.js");t.C(e);var r=e=>t(t.s=e),o=t.X(0,[916,786,622],()=>r(8044));module.exports=o})();
1
+ "use strict";(()=>{var e={};e.id=834,e.ids=[834],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},8044:(e,t,r)=>{r.r(t),r.d(t,{originalPathname:()=>f,patchFetch:()=>q,requestAsyncStorage:()=>m,routeModule:()=>x,serverHooks:()=>h,staticGenerationAsyncStorage:()=>g});var o={};r.r(o),r.d(o,{POST:()=>l,dynamic:()=>c});var n=r(3277),s=r(5265),a=r(5356),i=r(7076),u=r(1720),p=r(5568),d=r(1310);let c="force-dynamic";async function l(e){let{contract:t,id:r,answer:o}=await e.json();if("string"!=typeof t||"string"!=typeof r||"string"!=typeof o)return i.NextResponse.json({error:"contract, id and answer must be strings"},{status:400});try{let e=(0,u.ZN)();return(0,p.Tl)(e,t,r,o),(0,d.t9)(e,t),i.NextResponse.json({ok:!0})}catch(e){return i.NextResponse.json({error:e instanceof Error?e.message:String(e)},{status:400})}}let x=new n.AppRouteRouteModule({definition:{kind:s.x.APP_ROUTE,page:"/api/notes/question/route",pathname:"/api/notes/question",filename:"route",bundlePath:"app/api/notes/question/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/notes/question/route.ts",nextConfigOutput:"",userland:o}),{requestAsyncStorage:m,staticGenerationAsyncStorage:g,serverHooks:h}=x,f="/api/notes/question/route";function q(){return(0,a.patchFetch)({serverHooks:h,staticGenerationAsyncStorage:g})}}};var t=require("../../../../webpack-runtime.js");t.C(e);var r=e=>t(t.s=e),o=t.X(0,[916,786,42,310],()=>r(8044));module.exports=o})();
@@ -1 +1 @@
1
- {"version":1,"files":["../../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../../node_modules/next/package.json","../../../../../../../package.json","../../../../../package.json","../../../../chunks/622.js","../../../../chunks/786.js","../../../../chunks/916.js","../../../../webpack-runtime.js"]}
1
+ {"version":1,"files":["../../../../../../../node_modules/next/dist/client/components/action-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/action-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/async-local-storage.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/request-async-storage.external.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage-instance.js","../../../../../../../node_modules/next/dist/client/components/static-generation-async-storage.external.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/index.js","../../../../../../../node_modules/next/dist/compiled/@opentelemetry/api/package.json","../../../../../../../node_modules/next/dist/compiled/next-server/app-page.runtime.prod.js","../../../../../../../node_modules/next/dist/compiled/next-server/app-route.runtime.prod.js","../../../../../../../node_modules/next/dist/server/lib/trace/constants.js","../../../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../../../node_modules/next/package.json","../../../../../../../package.json","../../../../../package.json","../../../../chunks/310.js","../../../../chunks/42.js","../../../../chunks/786.js","../../../../chunks/916.js","../../../../webpack-runtime.js"]}
@@ -1,9 +1,9 @@
1
- "use strict";(()=>{var e={};e.id=153,e.ids=[153],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},8296:(e,t,r)=>{r.r(t),r.d(t,{originalPathname:()=>q,patchFetch:()=>P,requestAsyncStorage:()=>b,routeModule:()=>N,serverHooks:()=>F,staticGenerationAsyncStorage:()=>O});var n={};r.r(n),r.d(n,{POST:()=>k,dynamic:()=>E});var i=r(3277),o=r(5265),s=r(5356),a=r(7076),c=r(7561),u=r.n(c),l=r(9411),d=r.n(l),f=r(1720),p=r(5568);let m=require("node:child_process"),h=require("node:http");var y=r.n(h);let g=require("node:os");var S=r.n(g);class w extends Error{constructor(){super("No local Whisper engine found. Install one (audio stays on your machine):\n • pip install openai-whisper (provides the `whisper` command)\n • pip install faster-whisper (lighter, faster on CPU)\n • whisper.cpp + HEX_WHISPER_MODEL=/path/to/ggml-base.en.bin"),this.name="WhisperMissingError"}}let x=process.env.HEX_WHISPER_MODEL_NAME||"base.en";function v(e){try{return(0,m.execFileSync)("sh",["-c",`command -v ${e}`],{stdio:"ignore"}),!0}catch{return!1}}function j(e){!function(){if(!v("ffmpeg"))throw Error("ffmpeg is required to convert recordings for transcription, but was not found.")}();let t=d().join(S().tmpdir(),`hex-narration-${d().basename(e)}.wav`);return(0,m.execFileSync)("ffmpeg",["-y","-i",e,"-ar","16000","-ac","1","-f","wav",t],{stdio:"ignore"}),t}let _=`
1
+ "use strict";(()=>{var e={};e.id=153,e.ids=[153],e.modules={399:e=>{e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},517:e=>{e.exports=require("next/dist/compiled/next-server/app-route.runtime.prod.js")},7718:e=>{e.exports=require("node:child_process")},7561:e=>{e.exports=require("node:fs")},9411:e=>{e.exports=require("node:path")},6280:(e,t,r)=>{r.r(t),r.d(t,{originalPathname:()=>F,patchFetch:()=>$,requestAsyncStorage:()=>N,routeModule:()=>b,serverHooks:()=>q,staticGenerationAsyncStorage:()=>O});var n={};r.r(n),r.d(n,{POST:()=>k,dynamic:()=>E});var i=r(3277),o=r(5265),s=r(5356),a=r(7076),c=r(7561),u=r.n(c),l=r(9411),d=r.n(l),f=r(1720),p=r(5568),m=r(7718);let h=require("node:http");var y=r.n(h);let g=require("node:os");var S=r.n(g);class w extends Error{constructor(){super("No local Whisper engine found. Install one (audio stays on your machine):\n • pip install openai-whisper (provides the `whisper` command)\n • pip install faster-whisper (lighter, faster on CPU)\n • whisper.cpp + HEX_WHISPER_MODEL=/path/to/ggml-base.en.bin"),this.name="WhisperMissingError"}}let x=process.env.HEX_WHISPER_MODEL_NAME||"base.en";function _(e){try{return(0,m.execFileSync)("sh",["-c",`command -v ${e}`],{stdio:"ignore"}),!0}catch{return!1}}function v(e){!function(){if(!_("ffmpeg"))throw Error("ffmpeg is required to convert recordings for transcription, but was not found.")}();let t=d().join(S().tmpdir(),`hex-narration-${d().basename(e)}.wav`);return(0,m.execFileSync)("ffmpeg",["-y","-i",e,"-ar","16000","-ac","1","-f","wav",t],{stdio:"ignore"}),t}let j=`
2
2
  import sys
3
3
  from faster_whisper import WhisperModel
4
4
  model = WhisperModel(sys.argv[2], device="cpu", compute_type="int8")
5
5
  segments, _ = model.transcribe(sys.argv[1], language="en")
6
6
  sys.stdout.write(" ".join(s.text.strip() for s in segments).strip())
7
- `,E="force-dynamic";async function k(e){try{let t;let r=await e.formData(),n=r.get("audio"),i=String(r.get("contract")??"").trim()||"general";if(!(n instanceof Blob))return a.NextResponse.json({error:"audio file is required"},{status:400});let o=(0,f.ZN)(),s=new Date().toISOString().replace(/[:.]/g,"-"),c=d().join("audio",`${s}.webm`),l=d().join(o,"notes",c);u().mkdirSync(d().dirname(l),{recursive:!0}),u().writeFileSync(l,Buffer.from(await n.arrayBuffer()));try{let e=process.env.HEX_WHISPER_URL||null;t=e?await function(e,t){let r=j(e),n=u().readFileSync(r),i=new URL("/transcribe",t);return new Promise((e,t)=>{let r=y().request({hostname:i.hostname,port:i.port,path:i.pathname,method:"POST",headers:{"Content-Type":"application/octet-stream","Content-Length":n.length}},r=>{let n=[];r.on("data",e=>n.push(e)),r.on("end",()=>{try{let r=JSON.parse(Buffer.concat(n).toString("utf-8"));r.error?t(Error(r.error)):e((r.text??"").trim())}catch(e){t(e instanceof Error?e:Error(String(e)))}})});r.on("error",t),r.write(n),r.end()}).finally(()=>{try{u().unlinkSync(r)}catch{}})}(l,e):function(e){let t=function(){if(v("whisper"))return{kind:"openai",bin:"whisper"};for(let e of["python3","python"])if(v(e)&&function(e){try{return(0,m.execFileSync)(e,["-c","import faster_whisper"],{stdio:"ignore"}),!0}catch{return!1}}(e))return{kind:"faster",bin:e};let e=process.env.HEX_WHISPER_MODEL;for(let t of["whisper-cli","whisper-cpp"])if(e&&v(t))return{kind:"cpp",bin:t,model:e};return null}();if(!t)throw new w;let r=j(e);try{if("openai"===t.kind){let e=u().mkdtempSync(d().join(S().tmpdir(),"hex-whisper-"));(0,m.execFileSync)(t.bin,[r,"--model",x,"--language","en","--output_format","txt","--output_dir",e,"--task","transcribe"],{stdio:"ignore"});let n=d().join(e,d().basename(r).replace(/\.wav$/,"")+".txt");return u().readFileSync(n,"utf-8").trim()}if("faster"===t.kind){let e=process.env.HEX_WHISPER_MODEL_NAME||"base";return(0,m.execFileSync)(t.bin,["-c",_,r,e],{encoding:"utf-8",maxBuffer:67108864}).trim()}let e=r.replace(/\.wav$/,"");return(0,m.execFileSync)(t.bin,["-m",t.model,"-f",r,"-otxt","-of",e,"-l","en"],{stdio:"ignore"}),u().readFileSync(e+".txt","utf-8").trim()}finally{try{u().unlinkSync(r)}catch{}}}(l)}catch(e){if(e instanceof w)return a.NextResponse.json({error:e.message,audioSaved:c,whisperMissing:!0},{status:422});throw e}let h=(0,p.ed)(o,{ts:s,contract:i,transcript:t,audio:c});return a.NextResponse.json({ok:!0,session:h.file,contract:i})}catch(e){return a.NextResponse.json({error:e instanceof Error?e.message:String(e)},{status:500})}}let N=new i.AppRouteRouteModule({definition:{kind:o.x.APP_ROUTE,page:"/api/notes/record/route",pathname:"/api/notes/record",filename:"route",bundlePath:"app/api/notes/record/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/notes/record/route.ts",nextConfigOutput:"",userland:n}),{requestAsyncStorage:b,staticGenerationAsyncStorage:O,serverHooks:F}=N,q="/api/notes/record/route";function P(){return(0,s.patchFetch)({serverHooks:F,staticGenerationAsyncStorage:O})}},1720:(e,t,r)=>{r.d(t,{ki:()=>p,ZN:()=>m,J1:()=>h,gn:()=>l,ws:()=>d,V9:()=>y,au:()=>f});var n=r(7561),i=r.n(n),o=r(9411),s=r.n(o);let a=[".hex",".solaudit","solaudit-output"];function c(e){return e.replace(/\\/g,"/")}function u(){try{let e=function(e=process.cwd()){let t=s().resolve(e);for(;;){let e=function(e){for(let t of[...a.map(t=>s().join(e,t,"config.json")),s().join(e,"config.json")])if(i().existsSync(t))return c(t);return null}(t);if(e)return c(s().dirname(e));let r=s().dirname(t);if(r===t)return null;t=r}}(process.cwd());if(e)return e}catch{}return s().join(process.cwd(),".hex")}function l(e){try{let t=s().join(u(),e),r=i().readFileSync(t,"utf-8");return JSON.parse(r)}catch{return null}}function d(e){try{let t=s().join(u(),e);return i().readFileSync(t,"utf-8")}catch{return null}}function f(e,t){let r=s().join(u(),e);i().writeFileSync(r,JSON.stringify(t,null,2),"utf-8")}function p(e){try{let t=s().join(u(),e);return i().existsSync(t)}catch{return!1}}function m(){return u()}function h(e){try{let t=s().join(u(),e);if(!i().existsSync(t))return[];return i().readdirSync(t,{withFileTypes:!0}).filter(e=>e.isDirectory()).map(e=>e.name)}catch{return[]}}function y(e){try{let t=s().join(u(),e),r=i().readFileSync(t,"utf-8");return JSON.parse(r)}catch{return null}}},5568:(e,t,r)=>{r.d(t,{BW:()=>g,PB:()=>y,Tl:()=>b,U6:()=>k,ed:()=>S,mQ:()=>N,pV:()=>j,sC:()=>p,wL:()=>E,yQ:()=>O});var n=r(7561),i=r.n(n),o=r(9411),s=r.n(o);let a={active_contract:null,contracts:[],sessions:[]};function c(e){return s().join(e,"notes")}function u(e){return e.replace(/[/\\:*?"<>|]/g,"_").trim()}function l(e,t){return"general"===t?s().join(c(e),"general.md"):s().join(c(e),"contracts",u(t)+".md")}function d(e){try{return i().readFileSync(e,"utf-8")}catch{return null}}function f(e,t){let r=s().dirname(e);i().existsSync(r)||i().mkdirSync(r,{recursive:!0});let n=e+".tmp";i().writeFileSync(n,t,"utf-8"),i().renameSync(n,e)}function p(e){let t=d(s().join(c(e),"notes.json"));if(!t)return{...a};try{let e=JSON.parse(t);return{active_contract:e.active_contract??null,contracts:Array.isArray(e.contracts)?e.contracts:[],sessions:Array.isArray(e.sessions)?e.sessions:[]}}catch{return{...a}}}function m(e,t){f(s().join(c(e),"notes.json"),JSON.stringify(t,null,2)+"\n")}function h(e,t){"general"===t||e.contracts.includes(t)||e.contracts.push(t)}function y(e,t){return d(l(e,t))??""}function g(e,t,r){f(l(e,t),r.endsWith("\n")?r:r+"\n");let n=p(e);h(n,t),m(e,n)}function S(e,t){let r=s().join("sessions",`${t.ts}.md`),n=`# Narration — ${t.contract} — ${t.ts}
7
+ `,E="force-dynamic";async function k(e){try{let t;let r=await e.formData(),n=r.get("audio"),i=String(r.get("contract")??"").trim()||"general";if(!(n instanceof Blob))return a.NextResponse.json({error:"audio file is required"},{status:400});let o=(0,f.ZN)(),s=new Date().toISOString().replace(/[:.]/g,"-"),c=d().join("audio",`${s}.webm`),l=d().join(o,"notes",c);u().mkdirSync(d().dirname(l),{recursive:!0}),u().writeFileSync(l,Buffer.from(await n.arrayBuffer()));try{let e=process.env.HEX_WHISPER_URL||null;t=e?await function(e,t){let r=v(e),n=u().readFileSync(r),i=new URL("/transcribe",t);return new Promise((e,t)=>{let r=y().request({hostname:i.hostname,port:i.port,path:i.pathname,method:"POST",headers:{"Content-Type":"application/octet-stream","Content-Length":n.length}},r=>{let n=[];r.on("data",e=>n.push(e)),r.on("end",()=>{try{let r=JSON.parse(Buffer.concat(n).toString("utf-8"));r.error?t(Error(r.error)):e((r.text??"").trim())}catch(e){t(e instanceof Error?e:Error(String(e)))}})});r.on("error",t),r.write(n),r.end()}).finally(()=>{try{u().unlinkSync(r)}catch{}})}(l,e):function(e){let t=function(){if(_("whisper"))return{kind:"openai",bin:"whisper"};for(let e of["python3","python"])if(_(e)&&function(e){try{return(0,m.execFileSync)(e,["-c","import faster_whisper"],{stdio:"ignore"}),!0}catch{return!1}}(e))return{kind:"faster",bin:e};let e=process.env.HEX_WHISPER_MODEL;for(let t of["whisper-cli","whisper-cpp"])if(e&&_(t))return{kind:"cpp",bin:t,model:e};return null}();if(!t)throw new w;let r=v(e);try{if("openai"===t.kind){let e=u().mkdtempSync(d().join(S().tmpdir(),"hex-whisper-"));(0,m.execFileSync)(t.bin,[r,"--model",x,"--language","en","--output_format","txt","--output_dir",e,"--task","transcribe"],{stdio:"ignore"});let n=d().join(e,d().basename(r).replace(/\.wav$/,"")+".txt");return u().readFileSync(n,"utf-8").trim()}if("faster"===t.kind){let e=process.env.HEX_WHISPER_MODEL_NAME||"base";return(0,m.execFileSync)(t.bin,["-c",j,r,e],{encoding:"utf-8",maxBuffer:67108864}).trim()}let e=r.replace(/\.wav$/,"");return(0,m.execFileSync)(t.bin,["-m",t.model,"-f",r,"-otxt","-of",e,"-l","en"],{stdio:"ignore"}),u().readFileSync(e+".txt","utf-8").trim()}finally{try{u().unlinkSync(r)}catch{}}}(l)}catch(e){if(e instanceof w)return a.NextResponse.json({error:e.message,audioSaved:c,whisperMissing:!0},{status:422});throw e}let h=(0,p.ed)(o,{ts:s,contract:i,transcript:t,audio:c});return a.NextResponse.json({ok:!0,session:h.file,contract:i})}catch(e){return a.NextResponse.json({error:e instanceof Error?e.message:String(e)},{status:500})}}let b=new i.AppRouteRouteModule({definition:{kind:o.x.APP_ROUTE,page:"/api/notes/record/route",pathname:"/api/notes/record",filename:"route",bundlePath:"app/api/notes/record/route"},resolvedPagePath:"/home/dx/Work/hex/dashboard/app/api/notes/record/route.ts",nextConfigOutput:"",userland:n}),{requestAsyncStorage:N,staticGenerationAsyncStorage:O,serverHooks:q}=b,F="/api/notes/record/route";function $(){return(0,s.patchFetch)({serverHooks:q,staticGenerationAsyncStorage:O})}},1720:(e,t,r)=>{r.d(t,{ZN:()=>f,J1:()=>p,gn:()=>l,ws:()=>d,V9:()=>m});var n=r(7561),i=r.n(n),o=r(9411),s=r.n(o);let a=[".hex",".solaudit","solaudit-output"];function c(e){return e.replace(/\\/g,"/")}function u(){try{let e=function(e=process.cwd()){let t=s().resolve(e);for(;;){let e=function(e){for(let t of[...a.map(t=>s().join(e,t,"config.json")),s().join(e,"config.json")])if(i().existsSync(t))return c(t);return null}(t);if(e)return c(s().dirname(e));let r=s().dirname(t);if(r===t)return null;t=r}}(process.cwd());if(e)return e}catch{}return s().join(process.cwd(),".hex")}function l(e){try{let t=s().join(u(),e),r=i().readFileSync(t,"utf-8");return JSON.parse(r)}catch{return null}}function d(e){try{let t=s().join(u(),e);return i().readFileSync(t,"utf-8")}catch{return null}}function f(){return u()}function p(e){try{let t=s().join(u(),e);if(!i().existsSync(t))return[];return i().readdirSync(t,{withFileTypes:!0}).filter(e=>e.isDirectory()).map(e=>e.name)}catch{return[]}}function m(e){try{let t=s().join(u(),e),r=i().readFileSync(t,"utf-8");return JSON.parse(r)}catch{return null}}},5568:(e,t,r)=>{r.d(t,{BW:()=>h,Tl:()=>b,U6:()=>E,dh:()=>j,ed:()=>y,mQ:()=>k,pV:()=>x,sC:()=>f,wL:()=>v,yQ:()=>N});var n=r(7561),i=r.n(n),o=r(9411),s=r.n(o);let a={active_contract:null,contracts:[],sessions:[]};function c(e){return s().join(e,"notes")}function u(e){return e.replace(/[/\\:*?"<>|]/g,"_").trim()}function l(e){try{return i().readFileSync(e,"utf-8")}catch{return null}}function d(e,t){let r=s().dirname(e);i().existsSync(r)||i().mkdirSync(r,{recursive:!0});let n=e+".tmp";i().writeFileSync(n,t,"utf-8"),i().renameSync(n,e)}function f(e){let t=l(s().join(c(e),"notes.json"));if(!t)return{...a};try{let e=JSON.parse(t);return{active_contract:e.active_contract??null,contracts:Array.isArray(e.contracts)?e.contracts:[],sessions:Array.isArray(e.sessions)?e.sessions:[]}}catch{return{...a}}}function p(e,t){d(s().join(c(e),"notes.json"),JSON.stringify(t,null,2)+"\n")}function m(e,t){"general"===t||e.contracts.includes(t)||e.contracts.push(t)}function h(e,t,r){d("general"===t?s().join(c(e),"general.md"):s().join(c(e),"contracts",u(t)+".md"),r.endsWith("\n")?r:r+"\n");let n=f(e);m(n,t),p(e,n)}function y(e,t){let r=s().join("sessions",`${t.ts}.md`),n=`# Narration — ${t.contract} — ${t.ts}
8
8
 
9
- `;return f(s().join(c(e),r),n+t.transcript.trim()+"\n"),function(e,t){let r=p(e),n={file:t.file,contract:t.contract,ts:t.ts,processed:!1,...t.audio?{audio:t.audio}:{}};return r.sessions.push(n),r.active_contract=t.contract,h(r,t.contract),m(e,r),n}(e,{file:r,contract:t.contract,ts:t.ts,audio:t.audio})}function w(e,t){return s().join(c(e),"contracts",u(t)+".json")}function x(e){return{contract:e,marked_done:!1,description:{purpose:[],inheritance:[],storage:[],roles:[],functions:[]},questions:[],leads:[],updated_at:new Date().toISOString()}}function v(e){return Array.isArray(e)?e:[]}function j(e,t){let r=d(w(e,t));if(!r)return x(t);try{let e=JSON.parse(r),n=e.description??{};return{contract:e.contract??t,file:e.file,marked_done:!!e.marked_done,description:{purpose:v(n.purpose),inheritance:v(n.inheritance),storage:v(n.storage),roles:v(n.roles),functions:v(n.functions).map(e=>{var t;return{id:e.id??((((t=e.sig??"").split("(")[0]??t).trim()||t).replace(/[^\w]+/g,"_")||"fn"),sig:e.sig??"",purpose:e.purpose,access:e.access,effects:e.effects,notes:v(e.notes),warnings:v(e.warnings)}})},questions:v(e.questions),leads:v(e.leads),updated_at:e.updated_at??new Date().toISOString()}}catch{return x(t)}}function _(e,t,r){let n={...r,contract:t,updated_at:new Date().toISOString()};f(w(e,t),JSON.stringify(n,null,2)+"\n");let i=p(e);h(i,t),m(e,i)}function E(e,t,r){let n=j(e,t);return n.marked_done=r,_(e,t,n),n}function k(e,t,r,n,i){let o=j(e,t),s=o.leads.find(e=>e.id===r);if(!s)throw Error(`No lead ${r} on ${t}`);return s.status=n,i&&(s.ref=i),_(e,t,o),o}function N(e,t,r){let n=j(e,t),i=n.leads.find(e=>e.id===r);if(!i)throw Error(`No lead ${r} on ${t}`);return i.status="open",delete i.ref,_(e,t,n),n}function b(e,t,r,n){let i=j(e,t),o=i.questions.find(e=>e.id===r);if(!o)throw Error(`No question ${r} on ${t}`);return o.answer=n,_(e,t,i),i}function O(e){let t=e.leads.filter(e=>"open"===e.status).length,r=e.questions.filter(e=>!e.answer||!e.answer.trim()).length;return{openLeads:t,unansweredQuestions:r,reviewed:e.marked_done&&0===t&&0===r}}}};var t=require("../../../../webpack-runtime.js");t.C(e);var r=e=>t(t.s=e),n=t.X(0,[916,786],()=>r(8296));module.exports=n})();
9
+ `;return d(s().join(c(e),r),n+t.transcript.trim()+"\n"),function(e,t){let r=f(e),n={file:t.file,contract:t.contract,ts:t.ts,processed:!1,...t.audio?{audio:t.audio}:{}};return r.sessions.push(n),r.active_contract=t.contract,m(r,t.contract),p(e,r),n}(e,{file:r,contract:t.contract,ts:t.ts,audio:t.audio})}function g(e,t){return s().join(c(e),"contracts",u(t)+".json")}function S(e){return{contract:e,marked_done:!1,description:{purpose:[],inheritance:[],storage:[],roles:[],functions:[]},questions:[],leads:[],updated_at:new Date().toISOString()}}function w(e){return Array.isArray(e)?e:[]}function x(e,t){let r=l(g(e,t));if(!r)return S(t);try{let e=JSON.parse(r),n=e.description??{};return{contract:e.contract??t,file:e.file,marked_done:!!e.marked_done,description:{purpose:w(n.purpose),inheritance:w(n.inheritance),storage:w(n.storage),roles:w(n.roles),functions:w(n.functions).map(e=>{var t;return{id:e.id??((((t=e.sig??"").split("(")[0]??t).trim()||t).replace(/[^\w]+/g,"_")||"fn"),...e.fn_ref?{fn_ref:e.fn_ref}:{},sig:e.sig??"",purpose:e.purpose,access:e.access,effects:e.effects,notes:w(e.notes),warnings:w(e.warnings)}})},questions:w(e.questions),leads:w(e.leads),updated_at:e.updated_at??new Date().toISOString()}}catch{return S(t)}}function _(e,t,r){let n={...r,contract:t,updated_at:new Date().toISOString()};d(g(e,t),JSON.stringify(n,null,2)+"\n");let i=f(e);m(i,t),p(e,i)}function v(e,t,r){let n=x(e,t);return n.marked_done=r,_(e,t,n),n}function j(e,t){let r=t.replace(/\.sol$/i,""),n=f(e).contracts;return n.includes(t)?t:n.includes(r)?r:n.includes(`${r}.sol`)?`${r}.sol`:r}function E(e,t,r,n,i){let o=x(e,t),s=o.leads.find(e=>e.id===r);if(!s)throw Error(`No lead ${r} on ${t}`);return s.status=n,i&&(s.ref=i),_(e,t,o),o}function k(e,t,r){let n=x(e,t),i=n.leads.find(e=>e.id===r);if(!i)throw Error(`No lead ${r} on ${t}`);return i.status="open",delete i.ref,_(e,t,n),n}function b(e,t,r,n){let i=x(e,t),o=i.questions.find(e=>e.id===r);if(!o)throw Error(`No question ${r} on ${t}`);return o.answer=n,_(e,t,i),i}function N(e){let t=e.leads.filter(e=>"open"===e.status).length,r=e.questions.filter(e=>!e.answer||!e.answer.trim()).length;return{openLeads:t,unansweredQuestions:r,reviewed:e.marked_done&&0===t&&0===r}}}};var t=require("../../../../webpack-runtime.js");t.C(e);var r=e=>t(t.s=e),n=t.X(0,[916,786],()=>r(6280));module.exports=n})();