hex-audit 0.5.1 → 0.5.3
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.
- package/dashboard/.next/BUILD_ID +1 -1
- package/dashboard/.next/app-build-manifest.json +23 -22
- package/dashboard/.next/app-path-routes-manifest.json +1 -1
- package/dashboard/.next/build-manifest.json +2 -2
- package/dashboard/.next/next-minimal-server.js.nft.json +1 -1
- package/dashboard/.next/next-server.js.nft.json +1 -1
- package/dashboard/.next/prerender-manifest.json +1 -1
- package/dashboard/.next/server/app/_not-found/page.js +1 -1
- package/dashboard/.next/server/app/_not-found/page.js.nft.json +1 -1
- package/dashboard/.next/server/app/_not-found/page_client-reference-manifest.js +1 -1
- package/dashboard/.next/server/app/_not-found.html +1 -1
- package/dashboard/.next/server/app/_not-found.rsc +4 -4
- package/dashboard/.next/server/app/access/page.js +1 -1
- package/dashboard/.next/server/app/access/page.js.nft.json +1 -1
- package/dashboard/.next/server/app/access/page_client-reference-manifest.js +1 -1
- package/dashboard/.next/server/app/calls/page.js +1 -1
- package/dashboard/.next/server/app/calls/page.js.nft.json +1 -1
- package/dashboard/.next/server/app/calls/page_client-reference-manifest.js +1 -1
- package/dashboard/.next/server/app/conformance/page.js +1 -1
- package/dashboard/.next/server/app/conformance/page.js.nft.json +1 -1
- package/dashboard/.next/server/app/conformance/page_client-reference-manifest.js +1 -1
- package/dashboard/.next/server/app/diagram/page.js +1 -1
- package/dashboard/.next/server/app/diagram/page.js.nft.json +1 -1
- package/dashboard/.next/server/app/diagram/page_client-reference-manifest.js +1 -1
- package/dashboard/.next/server/app/diagram.html +1 -1
- package/dashboard/.next/server/app/diagram.rsc +4 -4
- package/dashboard/.next/server/app/flows/page.js +1 -1
- package/dashboard/.next/server/app/flows/page.js.nft.json +1 -1
- package/dashboard/.next/server/app/flows/page_client-reference-manifest.js +1 -1
- package/dashboard/.next/server/app/flows.html +1 -1
- package/dashboard/.next/server/app/flows.rsc +4 -4
- package/dashboard/.next/server/app/functions/page.js +1 -1
- package/dashboard/.next/server/app/functions/page.js.nft.json +1 -1
- package/dashboard/.next/server/app/functions/page_client-reference-manifest.js +1 -1
- package/dashboard/.next/server/app/issues/page.js +28 -5
- package/dashboard/.next/server/app/issues/page.js.nft.json +1 -1
- package/dashboard/.next/server/app/issues/page_client-reference-manifest.js +1 -1
- package/dashboard/.next/server/app/overleaf/page.js +1 -1
- package/dashboard/.next/server/app/overleaf/page.js.nft.json +1 -1
- package/dashboard/.next/server/app/overleaf/page_client-reference-manifest.js +1 -1
- package/dashboard/.next/server/app/page.js +2 -2
- package/dashboard/.next/server/app/page.js.nft.json +1 -1
- package/dashboard/.next/server/app/page_client-reference-manifest.js +1 -1
- package/dashboard/.next/server/app/progress/page.js +1 -1
- package/dashboard/.next/server/app/progress/page.js.nft.json +1 -1
- package/dashboard/.next/server/app/progress/page_client-reference-manifest.js +1 -1
- package/dashboard/.next/server/app/stats/page.js +1 -1
- package/dashboard/.next/server/app/stats/page.js.nft.json +1 -1
- package/dashboard/.next/server/app/stats/page_client-reference-manifest.js +1 -1
- package/dashboard/.next/server/app-paths-manifest.json +9 -9
- package/dashboard/.next/server/chunks/494.js +1 -0
- package/dashboard/.next/server/chunks/{431.js → 530.js} +1 -1
- package/dashboard/.next/server/functions-config-manifest.json +1 -1
- package/dashboard/.next/server/middleware-build-manifest.js +1 -1
- package/dashboard/.next/server/pages/404.html +1 -1
- package/dashboard/.next/server/pages/500.html +1 -1
- package/dashboard/.next/server/server-reference-manifest.js +1 -1
- package/dashboard/.next/server/server-reference-manifest.json +1 -1
- package/dashboard/.next/static/chunks/app/issues/page-abb062e4cf118340.js +1 -0
- package/dashboard/.next/static/chunks/app/{layout-91d2987f5030a3c4.js → layout-2c5383c11b1fbd97.js} +1 -1
- package/dashboard/.next/static/chunks/app/{page-a0f25953d4457935.js → page-1226422e170d8895.js} +1 -1
- package/dashboard/.next/static/css/691f4e9edab008c8.css +3 -0
- package/dashboard/app/issues/IssuesBoardClient.tsx +68 -22
- package/dashboard/app/layout.tsx +2 -1
- package/dashboard/components/DashboardLayout.tsx +11 -3
- package/dist/commands/note.d.ts +3 -0
- package/dist/commands/note.d.ts.map +1 -0
- package/dist/commands/note.js +145 -0
- package/dist/commands/note.js.map +1 -0
- package/dist/core/notes.d.ts +62 -0
- package/dist/core/notes.d.ts.map +1 -0
- package/dist/core/notes.js +160 -0
- package/dist/core/notes.js.map +1 -0
- package/dist/core/whisper.d.ts +24 -0
- package/dist/core/whisper.d.ts.map +1 -0
- package/dist/core/whisper.js +124 -0
- package/dist/core/whisper.js.map +1 -0
- package/dist/index.js +6 -1
- package/dist/index.js.map +1 -1
- package/dist/skills/diane.md +99 -0
- package/dist/skills/ingest-aa-report.md +1 -1
- package/dist/skills/sync-issues.md +23 -3
- package/dist/skills/validate-issue.md +1 -1
- package/dist/skills/write-finding.md +2 -1
- package/package.json +1 -1
- package/dashboard/.next/static/chunks/app/issues/page-6bfbf80884d3c9d8.js +0 -1
- package/dashboard/.next/static/css/9c84313d0484b74f.css +0 -3
- /package/dashboard/.next/static/{dm-uzRRik5AgaBPedT1iR → 8MjKGPuSZw4OIpcHY4G0W}/_buildManifest.js +0 -0
- /package/dashboard/.next/static/{dm-uzRRik5AgaBPedT1iR → 8MjKGPuSZw4OIpcHY4G0W}/_ssgManifest.js +0 -0
|
@@ -1 +1 @@
|
|
|
1
|
-
<!DOCTYPE html><html lang="en"><head><meta charSet="utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><link rel="preload" href="/_next/static/media/4c9affa5bc8f420e-s.p.woff2" as="font" crossorigin="" type="font/woff2"/><link rel="preload" href="/_next/static/media/bb3ef058b751a6ad-s.p.woff2" as="font" crossorigin="" type="font/woff2"/><link rel="stylesheet" href="/_next/static/css/9c84313d0484b74f.css" data-precedence="next"/><link rel="preload" as="script" fetchPriority="low" href="/_next/static/chunks/webpack-08869f2b18792e51.js"/><script src="/_next/static/chunks/618f8807-547c5614e1318888.js" async=""></script><script src="/_next/static/chunks/3205-728c260fbb4f89c6.js" async=""></script><script src="/_next/static/chunks/main-app-9d2f6b8a47133e9b.js" async=""></script><script src="/_next/static/chunks/7498-ea83cb9e30ec5491.js" async=""></script><script src="/_next/static/chunks/app/layout-91d2987f5030a3c4.js" async=""></script><meta name="robots" content="noindex"/><title>404: This page could not be found.</title><title>Hex</title><meta name="description" content="Local dashboard for Solidity smart contract audits"/><meta name="next-size-adjust"/><script src="/_next/static/chunks/polyfills-78c92fac7aa8fdd8.js" noModule=""></script></head><body class="__variable_73ee6c __variable_3c557b min-h-screen bg-surface-0 text-text-primary font-sans"><script>((e,t,r,n,o,l,a,u)=>{let i=document.documentElement,s=["light","dark"];function c(t){(Array.isArray(e)?e:[e]).forEach(e=>{let r="class"===e,n=r&&l?o.map(e=>l[e]||e):o;r?(i.classList.remove(...n),i.classList.add(l&&l[t]?l[t]:t)):i.setAttribute(e,t)}),u&&s.includes(t)&&(i.style.colorScheme=t)}if(n)c(n);else try{let e=localStorage.getItem(t)||r,n=a&&"system"===e?window.matchMedia("(prefers-color-scheme: dark)").matches?"dark":"light":e;c(n)}catch(e){}})("data-theme","theme","dark",null,["light","dark"],null,false,true)</script><div class="min-h-screen"><button type="button" aria-label="Toggle navigation" class="fixed left-3 top-3 z-[60] flex h-10 w-10 items-center justify-center rounded-md bg-surface-1 border border-border-default text-text-secondary hover:text-text-primary md:hidden"><svg class="h-5 w-5" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M3.75 6.75h16.5M3.75 12h16.5m-16.5 5.25h16.5"></path></svg></button><nav aria-label="Main navigation" class="fixed left-0 top-0 z-50 flex h-screen w-[220px] flex-col border-r border-border-subtle bg-surface-1 transition-transform duration-200 -translate-x-full md:translate-x-0"><div class="px-5 pb-4 pt-6"><div class="flex items-baseline gap-2"><span class="text-title font-semibold text-text-primary">Hex</span><span class="text-caption text-text-tertiary">v0.5.1</span></div></div><div class="flex-1 overflow-y-auto px-3 pb-4"><div class="mt-6 first:mt-0"><div class="mb-1.5 px-3 text-caption font-medium text-text-tertiary">Recon</div><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="m2.25 12 8.954-8.955a1.126 1.126 0 0 1 1.591 0L21.75 12M4.5 9.75v10.125c0 .621.504 1.125 1.125 1.125H9.75v-4.875c0-.621.504-1.125 1.125-1.125h2.25c.621 0 1.125.504 1.125 1.125V21h4.125c.621 0 1.125-.504 1.125-1.125V9.75M8.25 21h8.25"></path></svg><span>Home</span></a><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/progress"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M11.35 3.836c-.065.21-.1.433-.1.664 0 .414.336.75.75.75h4.5a.75.75 0 0 0 .75-.75 2.25 2.25 0 0 0-.1-.664m-5.8 0A2.251 2.251 0 0 1 13.5 2.25H15a2.25 2.25 0 0 1 2.15 1.586m-5.8 0c-.376.023-.75.05-1.124.08C9.095 4.01 8.25 4.973 8.25 6.108V8.25m8.9-4.414c.376.023.75.05 1.124.08 1.131.094 1.976 1.057 1.976 2.192V16.5A2.25 2.25 0 0 1 18 18.75h-2.25m-7.5-10.5H4.875c-.621 0-1.125.504-1.125 1.125v11.25c0 .621.504 1.125 1.125 1.125h9.75c.621 0 1.125-.504 1.125-1.125V18.75m-7.5-10.5h6.375c.621 0 1.125.504 1.125 1.125v9.375m-8.25-3 1.5 1.5 3-3.75"></path></svg><span>Progress</span></a><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/stats"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M3 13.125C3 12.504 3.504 12 4.125 12h2.25c.621 0 1.125.504 1.125 1.125v6.75C7.5 20.496 6.996 21 6.375 21h-2.25A1.125 1.125 0 0 1 3 19.875v-6.75ZM9.75 8.625c0-.621.504-1.125 1.125-1.125h2.25c.621 0 1.125.504 1.125 1.125v11.25c0 .621-.504 1.125-1.125 1.125h-2.25a1.125 1.125 0 0 1-1.125-1.125V8.625ZM16.5 4.125c0-.621.504-1.125 1.125-1.125h2.25C20.496 3 21 3.504 21 4.125v15.75c0 .621-.504 1.125-1.125 1.125h-2.25a1.125 1.125 0 0 1-1.125-1.125V4.125Z"></path></svg><span>Stats</span></a></div><div class="mt-6 first:mt-0"><div class="mb-1.5 px-3 text-caption font-medium text-text-tertiary">Analysis</div><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/access"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M16.5 10.5V6.75a4.5 4.5 0 1 0-9 0v3.75m-.75 11.25h10.5a2.25 2.25 0 0 0 2.25-2.25v-6.75a2.25 2.25 0 0 0-2.25-2.25H6.75a2.25 2.25 0 0 0-2.25 2.25v6.75a2.25 2.25 0 0 0 2.25 2.25Z"></path></svg><span>Access Control</span></a><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/functions"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M17.25 6.75 22.5 12l-5.25 5.25m-10.5 0L1.5 12l5.25-5.25m7.5-3-4.5 16.5"></path></svg><span>Functions</span></a><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/calls"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M7.5 21 3 16.5m0 0L7.5 12M3 16.5h13.5m0-13.5L21 7.5m0 0L16.5 12M21 7.5H7.5"></path></svg><span>Ext Calls</span></a></div><div class="mt-6 first:mt-0"><div class="mb-1.5 px-3 text-caption font-medium text-text-tertiary">Reasoning</div><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/conformance"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M10.125 2.25h-4.5c-.621 0-1.125.504-1.125 1.125v17.25c0 .621.504 1.125 1.125 1.125h12.75c.621 0 1.125-.504 1.125-1.125v-9M10.125 2.25h.375a9 9 0 0 1 9 9v.375M10.125 2.25A3.375 3.375 0 0 1 13.5 5.625v1.5c0 .621.504 1.125 1.125 1.125h1.5a3.375 3.375 0 0 1 3.375 3.375"></path></svg><span>Spec Conformance</span></a></div><div class="mt-6 first:mt-0"><div class="mb-1.5 px-3 text-caption font-medium text-text-tertiary">Visual</div><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/diagram"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M7.5 3.75H6A2.25 2.25 0 0 0 3.75 6v1.5M16.5 3.75H18A2.25 2.25 0 0 1 20.25 6v1.5m0 9V18A2.25 2.25 0 0 1 18 20.25h-1.5m-9 0H6A2.25 2.25 0 0 1 3.75 18v-1.5M15 12a3 3 0 1 1-6 0 3 3 0 0 1 6 0Z"></path></svg><span>Diagram</span></a><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/flows"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M3.75 3v11.25A2.25 2.25 0 0 0 6 16.5h2.25M3.75 3h-1.5m1.5 0h16.5m0 0h1.5m-1.5 0v11.25A2.25 2.25 0 0 1 18 16.5h-2.25m-7.5 0h7.5m-7.5 0-1 3m8.5-3 1 3m0 0 .5 1.5m-.5-1.5h-9.5m0 0-.5 1.5"></path></svg><span>Flows</span></a></div><div class="mt-6 first:mt-0"><div class="mb-1.5 px-3 text-caption font-medium text-text-tertiary">Issues</div><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/issues"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M8.25 6.75h12M8.25 12h12m-12 5.25h12M3.75 6.75h.007v.008H3.75V6.75Zm.375 0a.375.375 0 1 1-.75 0 .375.375 0 0 1 .75 0ZM3.75 12h.007v.008H3.75V12Zm.375 0a.375.375 0 1 1-.75 0 .375.375 0 0 1 .75 0Zm-.375 5.25h.007v.008H3.75v-.008Zm.375 0a.375.375 0 1 1-.75 0 .375.375 0 0 1 .75 0Z"></path></svg><span>Board</span></a><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/overleaf"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M12 9v3.75m-9.303 3.376c-.866 1.5.217 3.374 1.948 3.374h14.71c1.73 0 2.813-1.874 1.948-3.374L13.949 3.378c-.866-1.5-3.032-1.5-3.898 0L2.697 16.126ZM12 15.75h.007v.008H12v-.008Z"></path></svg><span>Overleaf</span></a></div></div><div class="border-t border-border-subtle px-3 py-3 space-y-1"><div class="px-3 py-1 text-caption text-text-tertiary" aria-live="polite"><div class="flex items-center gap-2" title="Last refresh 7:32:59 PM — watcher disconnected"><span class="inline-block h-1.5 w-1.5 rounded-full bg-[var(--medium)]" aria-hidden="true"></span><span>Reconnecting…</span></div></div><div class="h-9"></div><div class="flex items-center gap-1.5 px-3 py-1 text-caption text-text-tertiary"><kbd class="rounded border border-border-default bg-surface-2 px-1.5 py-0.5 text-[11px]">⌘K</kbd><span>Quick nav</span></div></div></nav><main class="min-h-screen bg-surface-0 p-6 pt-16 md:ml-[220px] md:pt-6"><div class="mx-auto max-w-6xl"><div style="font-family:system-ui,"Segoe UI",Roboto,Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";height:100vh;text-align:center;display:flex;flex-direction:column;align-items:center;justify-content:center"><div><style>body{color:#000;background:#fff;margin:0}.next-error-h1{border-right:1px solid rgba(0,0,0,.3)}@media (prefers-color-scheme:dark){body{color:#fff;background:#000}.next-error-h1{border-right:1px solid rgba(255,255,255,.3)}}</style><h1 class="next-error-h1" style="display:inline-block;margin:0 20px 0 0;padding:0 23px 0 0;font-size:24px;font-weight:500;vertical-align:top;line-height:49px">404</h1><div style="display:inline-block"><h2 style="font-size:14px;font-weight:400;line-height:49px;margin:0">This page could not be found.</h2></div></div></div></div></main></div><script src="/_next/static/chunks/webpack-08869f2b18792e51.js" async=""></script><script>(self.__next_f=self.__next_f||[]).push([0]);self.__next_f.push([2,null])</script><script>self.__next_f.push([1,"1:HL[\"/_next/static/media/4c9affa5bc8f420e-s.p.woff2\",\"font\",{\"crossOrigin\":\"\",\"type\":\"font/woff2\"}]\n2:HL[\"/_next/static/media/bb3ef058b751a6ad-s.p.woff2\",\"font\",{\"crossOrigin\":\"\",\"type\":\"font/woff2\"}]\n3:HL[\"/_next/static/css/9c84313d0484b74f.css\",\"style\"]\n"])</script><script>self.__next_f.push([1,"4:I[5268,[],\"\"]\n6:I[5276,[],\"\"]\n7:I[3297,[],\"\"]\n8:I[4595,[\"7498\",\"static/chunks/7498-ea83cb9e30ec5491.js\",\"3185\",\"static/chunks/app/layout-91d2987f5030a3c4.js\"],\"ThemeProvider\"]\n9:I[2198,[\"7498\",\"static/chunks/7498-ea83cb9e30ec5491.js\",\"3185\",\"static/chunks/app/layout-91d2987f5030a3c4.js\"],\"CommandPalette\"]\na:I[1187,[\"7498\",\"static/chunks/7498-ea83cb9e30ec5491.js\",\"3185\",\"static/chunks/app/layout-91d2987f5030a3c4.js\"],\"DashboardLayout\"]\n10:I[9690,[],\"\"]\nb:{\"fontFamily\":\"system-ui,\\\"Segoe UI\\\",Roboto,Helvetica,Arial,sans-serif,\\\"Apple Color Emoji\\\",\\\"Segoe UI Emoji\\\"\",\"height\":\"100vh\",\"textAlign\":\"center\",\"display\":\"flex\",\"flexDirection\":\"column\",\"alignItems\":\"center\",\"justifyContent\":\"center\"}\nc:{\"display\":\"inline-block\",\"margin\":\"0 20px 0 0\",\"padding\":\"0 23px 0 0\",\"fontSize\":24,\"fontWeight\":500,\"verticalAlign\":\"top\",\"lineHeight\":\"49px\"}\nd:{\"display\":\"inline-block\"}\ne:{\"fontSize\":14,\"fontWeight\":400,\"lineHeight\":\"49px\",\"margin\":0}\n11:[]\n"])</script><script>self.__next_f.push([1,"0:[[[\"$\",\"link\",\"0\",{\"rel\":\"stylesheet\",\"href\":\"/_next/static/css/9c84313d0484b74f.css\",\"precedence\":\"next\",\"crossOrigin\":\"$undefined\"}]],[\"$\",\"$L4\",null,{\"buildId\":\"dm-uzRRik5AgaBPedT1iR\",\"assetPrefix\":\"\",\"initialCanonicalUrl\":\"/_not-found\",\"initialTree\":[\"\",{\"children\":[\"/_not-found\",{\"children\":[\"__PAGE__\",{}]}]},\"$undefined\",\"$undefined\",true],\"initialSeedData\":[\"\",{\"children\":[\"/_not-found\",{\"children\":[\"__PAGE__\",{},[[\"$L5\",[[\"$\",\"title\",null,{\"children\":\"404: This page could not be found.\"}],[\"$\",\"div\",null,{\"style\":{\"fontFamily\":\"system-ui,\\\"Segoe UI\\\",Roboto,Helvetica,Arial,sans-serif,\\\"Apple Color Emoji\\\",\\\"Segoe UI Emoji\\\"\",\"height\":\"100vh\",\"textAlign\":\"center\",\"display\":\"flex\",\"flexDirection\":\"column\",\"alignItems\":\"center\",\"justifyContent\":\"center\"},\"children\":[\"$\",\"div\",null,{\"children\":[[\"$\",\"style\",null,{\"dangerouslySetInnerHTML\":{\"__html\":\"body{color:#000;background:#fff;margin:0}.next-error-h1{border-right:1px solid rgba(0,0,0,.3)}@media (prefers-color-scheme:dark){body{color:#fff;background:#000}.next-error-h1{border-right:1px solid rgba(255,255,255,.3)}}\"}}],[\"$\",\"h1\",null,{\"className\":\"next-error-h1\",\"style\":{\"display\":\"inline-block\",\"margin\":\"0 20px 0 0\",\"padding\":\"0 23px 0 0\",\"fontSize\":24,\"fontWeight\":500,\"verticalAlign\":\"top\",\"lineHeight\":\"49px\"},\"children\":\"404\"}],[\"$\",\"div\",null,{\"style\":{\"display\":\"inline-block\"},\"children\":[\"$\",\"h2\",null,{\"style\":{\"fontSize\":14,\"fontWeight\":400,\"lineHeight\":\"49px\",\"margin\":0},\"children\":\"This page could not be found.\"}]}]]}]}]]],null],null]},[\"$\",\"$L6\",null,{\"parallelRouterKey\":\"children\",\"segmentPath\":[\"children\",\"/_not-found\",\"children\"],\"error\":\"$undefined\",\"errorStyles\":\"$undefined\",\"errorScripts\":\"$undefined\",\"template\":[\"$\",\"$L7\",null,{}],\"templateStyles\":\"$undefined\",\"templateScripts\":\"$undefined\",\"notFound\":\"$undefined\",\"notFoundStyles\":\"$undefined\",\"styles\":null}],null]},[[\"$\",\"html\",null,{\"lang\":\"en\",\"suppressHydrationWarning\":true,\"children\":[\"$\",\"body\",null,{\"className\":\"__variable_73ee6c __variable_3c557b min-h-screen bg-surface-0 text-text-primary font-sans\",\"children\":[\"$\",\"$L8\",null,{\"attribute\":\"data-theme\",\"defaultTheme\":\"dark\",\"enableSystem\":false,\"children\":[[\"$\",\"$L9\",null,{}],[\"$\",\"$La\",null,{\"children\":[\"$\",\"$L6\",null,{\"parallelRouterKey\":\"children\",\"segmentPath\":[\"children\"],\"error\":\"$undefined\",\"errorStyles\":\"$undefined\",\"errorScripts\":\"$undefined\",\"template\":[\"$\",\"$L7\",null,{}],\"templateStyles\":\"$undefined\",\"templateScripts\":\"$undefined\",\"notFound\":[[\"$\",\"title\",null,{\"children\":\"404: This page could not be found.\"}],[\"$\",\"div\",null,{\"style\":\"$b\",\"children\":[\"$\",\"div\",null,{\"children\":[[\"$\",\"style\",null,{\"dangerouslySetInnerHTML\":{\"__html\":\"body{color:#000;background:#fff;margin:0}.next-error-h1{border-right:1px solid rgba(0,0,0,.3)}@media (prefers-color-scheme:dark){body{color:#fff;background:#000}.next-error-h1{border-right:1px solid rgba(255,255,255,.3)}}\"}}],[\"$\",\"h1\",null,{\"className\":\"next-error-h1\",\"style\":\"$c\",\"children\":\"404\"}],[\"$\",\"div\",null,{\"style\":\"$d\",\"children\":[\"$\",\"h2\",null,{\"style\":\"$e\",\"children\":\"This page could not be found.\"}]}]]}]}]],\"notFoundStyles\":[],\"styles\":null}]}]]}]}]}],null],null],\"couldBeIntercepted\":false,\"initialHead\":[[\"$\",\"meta\",null,{\"name\":\"robots\",\"content\":\"noindex\"}],\"$Lf\"],\"globalErrorComponent\":\"$10\",\"missingSlots\":\"$W11\"}]]\n"])</script><script>self.__next_f.push([1,"f:[[\"$\",\"meta\",\"0\",{\"name\":\"viewport\",\"content\":\"width=device-width, initial-scale=1\"}],[\"$\",\"meta\",\"1\",{\"charSet\":\"utf-8\"}],[\"$\",\"title\",\"2\",{\"children\":\"Hex\"}],[\"$\",\"meta\",\"3\",{\"name\":\"description\",\"content\":\"Local dashboard for Solidity smart contract audits\"}],[\"$\",\"meta\",\"4\",{\"name\":\"next-size-adjust\"}]]\n5:null\n"])</script></body></html>
|
|
1
|
+
<!DOCTYPE html><html lang="en"><head><meta charSet="utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><link rel="preload" href="/_next/static/media/4c9affa5bc8f420e-s.p.woff2" as="font" crossorigin="" type="font/woff2"/><link rel="preload" href="/_next/static/media/bb3ef058b751a6ad-s.p.woff2" as="font" crossorigin="" type="font/woff2"/><link rel="stylesheet" href="/_next/static/css/691f4e9edab008c8.css" data-precedence="next"/><link rel="preload" as="script" fetchPriority="low" href="/_next/static/chunks/webpack-08869f2b18792e51.js"/><script src="/_next/static/chunks/618f8807-547c5614e1318888.js" async=""></script><script src="/_next/static/chunks/3205-728c260fbb4f89c6.js" async=""></script><script src="/_next/static/chunks/main-app-9d2f6b8a47133e9b.js" async=""></script><script src="/_next/static/chunks/7498-ea83cb9e30ec5491.js" async=""></script><script src="/_next/static/chunks/app/layout-2c5383c11b1fbd97.js" async=""></script><meta name="robots" content="noindex"/><title>404: This page could not be found.</title><title>Hex</title><meta name="description" content="Local dashboard for Solidity smart contract audits"/><meta name="next-size-adjust"/><script src="/_next/static/chunks/polyfills-78c92fac7aa8fdd8.js" noModule=""></script></head><body class="__variable_73ee6c __variable_3c557b min-h-screen bg-surface-0 text-text-primary font-sans"><script>((e,t,r,n,o,l,a,u)=>{let i=document.documentElement,s=["light","dark"];function c(t){(Array.isArray(e)?e:[e]).forEach(e=>{let r="class"===e,n=r&&l?o.map(e=>l[e]||e):o;r?(i.classList.remove(...n),i.classList.add(l&&l[t]?l[t]:t)):i.setAttribute(e,t)}),u&&s.includes(t)&&(i.style.colorScheme=t)}if(n)c(n);else try{let e=localStorage.getItem(t)||r,n=a&&"system"===e?window.matchMedia("(prefers-color-scheme: dark)").matches?"dark":"light":e;c(n)}catch(e){}})("data-theme","theme","dark",null,["light","dark"],null,false,true)</script><div class="min-h-screen"><button type="button" aria-label="Toggle navigation" class="fixed left-3 top-3 z-[60] flex h-10 w-10 items-center justify-center rounded-md bg-surface-1 border border-border-default text-text-secondary hover:text-text-primary md:hidden"><svg class="h-5 w-5" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M3.75 6.75h16.5M3.75 12h16.5m-16.5 5.25h16.5"></path></svg></button><nav aria-label="Main navigation" class="fixed left-0 top-0 z-50 flex h-screen w-[220px] flex-col border-r border-border-subtle bg-surface-1 transition-transform duration-200 -translate-x-full md:translate-x-0"><div class="px-5 pb-4 pt-6"><div class="flex items-baseline gap-2"><span class="text-title font-semibold text-text-primary">Hex</span><span class="text-caption text-text-tertiary">v<!-- -->0.5.3</span></div></div><div class="flex-1 overflow-y-auto px-3 pb-4"><div class="mt-6 first:mt-0"><div class="mb-1.5 px-3 text-caption font-medium text-text-tertiary">Recon</div><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="m2.25 12 8.954-8.955a1.126 1.126 0 0 1 1.591 0L21.75 12M4.5 9.75v10.125c0 .621.504 1.125 1.125 1.125H9.75v-4.875c0-.621.504-1.125 1.125-1.125h2.25c.621 0 1.125.504 1.125 1.125V21h4.125c.621 0 1.125-.504 1.125-1.125V9.75M8.25 21h8.25"></path></svg><span>Home</span></a><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/progress"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M11.35 3.836c-.065.21-.1.433-.1.664 0 .414.336.75.75.75h4.5a.75.75 0 0 0 .75-.75 2.25 2.25 0 0 0-.1-.664m-5.8 0A2.251 2.251 0 0 1 13.5 2.25H15a2.25 2.25 0 0 1 2.15 1.586m-5.8 0c-.376.023-.75.05-1.124.08C9.095 4.01 8.25 4.973 8.25 6.108V8.25m8.9-4.414c.376.023.75.05 1.124.08 1.131.094 1.976 1.057 1.976 2.192V16.5A2.25 2.25 0 0 1 18 18.75h-2.25m-7.5-10.5H4.875c-.621 0-1.125.504-1.125 1.125v11.25c0 .621.504 1.125 1.125 1.125h9.75c.621 0 1.125-.504 1.125-1.125V18.75m-7.5-10.5h6.375c.621 0 1.125.504 1.125 1.125v9.375m-8.25-3 1.5 1.5 3-3.75"></path></svg><span>Progress</span></a><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/stats"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M3 13.125C3 12.504 3.504 12 4.125 12h2.25c.621 0 1.125.504 1.125 1.125v6.75C7.5 20.496 6.996 21 6.375 21h-2.25A1.125 1.125 0 0 1 3 19.875v-6.75ZM9.75 8.625c0-.621.504-1.125 1.125-1.125h2.25c.621 0 1.125.504 1.125 1.125v11.25c0 .621-.504 1.125-1.125 1.125h-2.25a1.125 1.125 0 0 1-1.125-1.125V8.625ZM16.5 4.125c0-.621.504-1.125 1.125-1.125h2.25C20.496 3 21 3.504 21 4.125v15.75c0 .621-.504 1.125-1.125 1.125h-2.25a1.125 1.125 0 0 1-1.125-1.125V4.125Z"></path></svg><span>Stats</span></a></div><div class="mt-6 first:mt-0"><div class="mb-1.5 px-3 text-caption font-medium text-text-tertiary">Analysis</div><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/access"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M16.5 10.5V6.75a4.5 4.5 0 1 0-9 0v3.75m-.75 11.25h10.5a2.25 2.25 0 0 0 2.25-2.25v-6.75a2.25 2.25 0 0 0-2.25-2.25H6.75a2.25 2.25 0 0 0-2.25 2.25v6.75a2.25 2.25 0 0 0 2.25 2.25Z"></path></svg><span>Access Control</span></a><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/functions"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M17.25 6.75 22.5 12l-5.25 5.25m-10.5 0L1.5 12l5.25-5.25m7.5-3-4.5 16.5"></path></svg><span>Functions</span></a><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/calls"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M7.5 21 3 16.5m0 0L7.5 12M3 16.5h13.5m0-13.5L21 7.5m0 0L16.5 12M21 7.5H7.5"></path></svg><span>Ext Calls</span></a></div><div class="mt-6 first:mt-0"><div class="mb-1.5 px-3 text-caption font-medium text-text-tertiary">Reasoning</div><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/conformance"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M10.125 2.25h-4.5c-.621 0-1.125.504-1.125 1.125v17.25c0 .621.504 1.125 1.125 1.125h12.75c.621 0 1.125-.504 1.125-1.125v-9M10.125 2.25h.375a9 9 0 0 1 9 9v.375M10.125 2.25A3.375 3.375 0 0 1 13.5 5.625v1.5c0 .621.504 1.125 1.125 1.125h1.5a3.375 3.375 0 0 1 3.375 3.375"></path></svg><span>Spec Conformance</span></a></div><div class="mt-6 first:mt-0"><div class="mb-1.5 px-3 text-caption font-medium text-text-tertiary">Visual</div><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/diagram"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M7.5 3.75H6A2.25 2.25 0 0 0 3.75 6v1.5M16.5 3.75H18A2.25 2.25 0 0 1 20.25 6v1.5m0 9V18A2.25 2.25 0 0 1 18 20.25h-1.5m-9 0H6A2.25 2.25 0 0 1 3.75 18v-1.5M15 12a3 3 0 1 1-6 0 3 3 0 0 1 6 0Z"></path></svg><span>Diagram</span></a><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/flows"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M3.75 3v11.25A2.25 2.25 0 0 0 6 16.5h2.25M3.75 3h-1.5m1.5 0h16.5m0 0h1.5m-1.5 0v11.25A2.25 2.25 0 0 1 18 16.5h-2.25m-7.5 0h7.5m-7.5 0-1 3m8.5-3 1 3m0 0 .5 1.5m-.5-1.5h-9.5m0 0-.5 1.5"></path></svg><span>Flows</span></a></div><div class="mt-6 first:mt-0"><div class="mb-1.5 px-3 text-caption font-medium text-text-tertiary">Issues</div><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/issues"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M8.25 6.75h12M8.25 12h12m-12 5.25h12M3.75 6.75h.007v.008H3.75V6.75Zm.375 0a.375.375 0 1 1-.75 0 .375.375 0 0 1 .75 0ZM3.75 12h.007v.008H3.75V12Zm.375 0a.375.375 0 1 1-.75 0 .375.375 0 0 1 .75 0Zm-.375 5.25h.007v.008H3.75v-.008Zm.375 0a.375.375 0 1 1-.75 0 .375.375 0 0 1 .75 0Z"></path></svg><span>Board</span></a><a class="group flex items-center gap-2.5 rounded-md px-3 py-2 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary" href="/overleaf"><svg class="h-4 w-4 shrink-0" aria-hidden="true" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="1.5"><path stroke-linecap="round" stroke-linejoin="round" d="M12 9v3.75m-9.303 3.376c-.866 1.5.217 3.374 1.948 3.374h14.71c1.73 0 2.813-1.874 1.948-3.374L13.949 3.378c-.866-1.5-3.032-1.5-3.898 0L2.697 16.126ZM12 15.75h.007v.008H12v-.008Z"></path></svg><span>Overleaf</span></a></div></div><div class="border-t border-border-subtle px-3 py-3 space-y-1"><div class="px-3 py-1 text-caption text-text-tertiary" aria-live="polite"><div class="flex items-center gap-2" title="Last refresh 5:57:49 PM — watcher disconnected"><span class="inline-block h-1.5 w-1.5 rounded-full bg-[var(--medium)]" aria-hidden="true"></span><span>Reconnecting…</span></div></div><div class="h-9"></div><div class="flex items-center gap-1.5 px-3 py-1 text-caption text-text-tertiary"><kbd class="rounded border border-border-default bg-surface-2 px-1.5 py-0.5 text-[11px]">⌘K</kbd><span>Quick nav</span></div></div></nav><main class="min-h-screen bg-surface-0 p-6 pt-16 md:ml-[220px] md:pt-6"><div class="mx-auto max-w-6xl"><div style="font-family:system-ui,"Segoe UI",Roboto,Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji";height:100vh;text-align:center;display:flex;flex-direction:column;align-items:center;justify-content:center"><div><style>body{color:#000;background:#fff;margin:0}.next-error-h1{border-right:1px solid rgba(0,0,0,.3)}@media (prefers-color-scheme:dark){body{color:#fff;background:#000}.next-error-h1{border-right:1px solid rgba(255,255,255,.3)}}</style><h1 class="next-error-h1" style="display:inline-block;margin:0 20px 0 0;padding:0 23px 0 0;font-size:24px;font-weight:500;vertical-align:top;line-height:49px">404</h1><div style="display:inline-block"><h2 style="font-size:14px;font-weight:400;line-height:49px;margin:0">This page could not be found.</h2></div></div></div></div></main></div><script src="/_next/static/chunks/webpack-08869f2b18792e51.js" async=""></script><script>(self.__next_f=self.__next_f||[]).push([0]);self.__next_f.push([2,null])</script><script>self.__next_f.push([1,"1:HL[\"/_next/static/media/4c9affa5bc8f420e-s.p.woff2\",\"font\",{\"crossOrigin\":\"\",\"type\":\"font/woff2\"}]\n2:HL[\"/_next/static/media/bb3ef058b751a6ad-s.p.woff2\",\"font\",{\"crossOrigin\":\"\",\"type\":\"font/woff2\"}]\n3:HL[\"/_next/static/css/691f4e9edab008c8.css\",\"style\"]\n"])</script><script>self.__next_f.push([1,"4:I[5268,[],\"\"]\n6:I[5276,[],\"\"]\n7:I[3297,[],\"\"]\n8:I[4595,[\"7498\",\"static/chunks/7498-ea83cb9e30ec5491.js\",\"3185\",\"static/chunks/app/layout-2c5383c11b1fbd97.js\"],\"ThemeProvider\"]\n9:I[2198,[\"7498\",\"static/chunks/7498-ea83cb9e30ec5491.js\",\"3185\",\"static/chunks/app/layout-2c5383c11b1fbd97.js\"],\"CommandPalette\"]\na:I[1187,[\"7498\",\"static/chunks/7498-ea83cb9e30ec5491.js\",\"3185\",\"static/chunks/app/layout-2c5383c11b1fbd97.js\"],\"DashboardLayout\"]\n10:I[9690,[],\"\"]\nb:{\"fontFamily\":\"system-ui,\\\"Segoe UI\\\",Roboto,Helvetica,Arial,sans-serif,\\\"Apple Color Emoji\\\",\\\"Segoe UI Emoji\\\"\",\"height\":\"100vh\",\"textAlign\":\"center\",\"display\":\"flex\",\"flexDirection\":\"column\",\"alignItems\":\"center\",\"justifyContent\":\"center\"}\nc:{\"display\":\"inline-block\",\"margin\":\"0 20px 0 0\",\"padding\":\"0 23px 0 0\",\"fontSize\":24,\"fontWeight\":500,\"verticalAlign\":\"top\",\"lineHeight\":\"49px\"}\nd:{\"display\":\"inline-block\"}\ne:{\"fontSize\":14,\"fontWeight\":400,\"lineHeight\":\"49px\",\"margin\":0}\n11:[]\n"])</script><script>self.__next_f.push([1,"0:[[[\"$\",\"link\",\"0\",{\"rel\":\"stylesheet\",\"href\":\"/_next/static/css/691f4e9edab008c8.css\",\"precedence\":\"next\",\"crossOrigin\":\"$undefined\"}]],[\"$\",\"$L4\",null,{\"buildId\":\"8MjKGPuSZw4OIpcHY4G0W\",\"assetPrefix\":\"\",\"initialCanonicalUrl\":\"/_not-found\",\"initialTree\":[\"\",{\"children\":[\"/_not-found\",{\"children\":[\"__PAGE__\",{}]}]},\"$undefined\",\"$undefined\",true],\"initialSeedData\":[\"\",{\"children\":[\"/_not-found\",{\"children\":[\"__PAGE__\",{},[[\"$L5\",[[\"$\",\"title\",null,{\"children\":\"404: This page could not be found.\"}],[\"$\",\"div\",null,{\"style\":{\"fontFamily\":\"system-ui,\\\"Segoe UI\\\",Roboto,Helvetica,Arial,sans-serif,\\\"Apple Color Emoji\\\",\\\"Segoe UI Emoji\\\"\",\"height\":\"100vh\",\"textAlign\":\"center\",\"display\":\"flex\",\"flexDirection\":\"column\",\"alignItems\":\"center\",\"justifyContent\":\"center\"},\"children\":[\"$\",\"div\",null,{\"children\":[[\"$\",\"style\",null,{\"dangerouslySetInnerHTML\":{\"__html\":\"body{color:#000;background:#fff;margin:0}.next-error-h1{border-right:1px solid rgba(0,0,0,.3)}@media (prefers-color-scheme:dark){body{color:#fff;background:#000}.next-error-h1{border-right:1px solid rgba(255,255,255,.3)}}\"}}],[\"$\",\"h1\",null,{\"className\":\"next-error-h1\",\"style\":{\"display\":\"inline-block\",\"margin\":\"0 20px 0 0\",\"padding\":\"0 23px 0 0\",\"fontSize\":24,\"fontWeight\":500,\"verticalAlign\":\"top\",\"lineHeight\":\"49px\"},\"children\":\"404\"}],[\"$\",\"div\",null,{\"style\":{\"display\":\"inline-block\"},\"children\":[\"$\",\"h2\",null,{\"style\":{\"fontSize\":14,\"fontWeight\":400,\"lineHeight\":\"49px\",\"margin\":0},\"children\":\"This page could not be found.\"}]}]]}]}]]],null],null]},[\"$\",\"$L6\",null,{\"parallelRouterKey\":\"children\",\"segmentPath\":[\"children\",\"/_not-found\",\"children\"],\"error\":\"$undefined\",\"errorStyles\":\"$undefined\",\"errorScripts\":\"$undefined\",\"template\":[\"$\",\"$L7\",null,{}],\"templateStyles\":\"$undefined\",\"templateScripts\":\"$undefined\",\"notFound\":\"$undefined\",\"notFoundStyles\":\"$undefined\",\"styles\":null}],null]},[[\"$\",\"html\",null,{\"lang\":\"en\",\"suppressHydrationWarning\":true,\"children\":[\"$\",\"body\",null,{\"className\":\"__variable_73ee6c __variable_3c557b min-h-screen bg-surface-0 text-text-primary font-sans\",\"children\":[\"$\",\"$L8\",null,{\"attribute\":\"data-theme\",\"defaultTheme\":\"dark\",\"enableSystem\":false,\"children\":[[\"$\",\"$L9\",null,{}],[\"$\",\"$La\",null,{\"version\":\"0.5.3\",\"children\":[\"$\",\"$L6\",null,{\"parallelRouterKey\":\"children\",\"segmentPath\":[\"children\"],\"error\":\"$undefined\",\"errorStyles\":\"$undefined\",\"errorScripts\":\"$undefined\",\"template\":[\"$\",\"$L7\",null,{}],\"templateStyles\":\"$undefined\",\"templateScripts\":\"$undefined\",\"notFound\":[[\"$\",\"title\",null,{\"children\":\"404: This page could not be found.\"}],[\"$\",\"div\",null,{\"style\":\"$b\",\"children\":[\"$\",\"div\",null,{\"children\":[[\"$\",\"style\",null,{\"dangerouslySetInnerHTML\":{\"__html\":\"body{color:#000;background:#fff;margin:0}.next-error-h1{border-right:1px solid rgba(0,0,0,.3)}@media (prefers-color-scheme:dark){body{color:#fff;background:#000}.next-error-h1{border-right:1px solid rgba(255,255,255,.3)}}\"}}],[\"$\",\"h1\",null,{\"className\":\"next-error-h1\",\"style\":\"$c\",\"children\":\"404\"}],[\"$\",\"div\",null,{\"style\":\"$d\",\"children\":[\"$\",\"h2\",null,{\"style\":\"$e\",\"children\":\"This page could not be found.\"}]}]]}]}]],\"notFoundStyles\":[],\"styles\":null}]}]]}]}]}],null],null],\"couldBeIntercepted\":false,\"initialHead\":[[\"$\",\"meta\",null,{\"name\":\"robots\",\"content\":\"noindex\"}],\"$Lf\"],\"globalErrorComponent\":\"$10\",\"missingSlots\":\"$W11\"}]]\n"])</script><script>self.__next_f.push([1,"f:[[\"$\",\"meta\",\"0\",{\"name\":\"viewport\",\"content\":\"width=device-width, initial-scale=1\"}],[\"$\",\"meta\",\"1\",{\"charSet\":\"utf-8\"}],[\"$\",\"title\",\"2\",{\"children\":\"Hex\"}],[\"$\",\"meta\",\"3\",{\"name\":\"description\",\"content\":\"Local dashboard for Solidity smart contract audits\"}],[\"$\",\"meta\",\"4\",{\"name\":\"next-size-adjust\"}]]\n5:null\n"])</script></body></html>
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
2:I[5276,[],""]
|
|
2
2
|
3:I[3297,[],""]
|
|
3
|
-
4:I[4595,["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-
|
|
4
|
-
5:I[2198,["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-
|
|
5
|
-
6:I[1187,["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-
|
|
3
|
+
4:I[4595,["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-2c5383c11b1fbd97.js"],"ThemeProvider"]
|
|
4
|
+
5:I[2198,["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-2c5383c11b1fbd97.js"],"CommandPalette"]
|
|
5
|
+
6:I[1187,["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-2c5383c11b1fbd97.js"],"DashboardLayout"]
|
|
6
6
|
7:{"fontFamily":"system-ui,\"Segoe UI\",Roboto,Helvetica,Arial,sans-serif,\"Apple Color Emoji\",\"Segoe UI Emoji\"","height":"100vh","textAlign":"center","display":"flex","flexDirection":"column","alignItems":"center","justifyContent":"center"}
|
|
7
7
|
8:{"display":"inline-block","margin":"0 20px 0 0","padding":"0 23px 0 0","fontSize":24,"fontWeight":500,"verticalAlign":"top","lineHeight":"49px"}
|
|
8
8
|
9:{"display":"inline-block"}
|
|
9
9
|
a:{"fontSize":14,"fontWeight":400,"lineHeight":"49px","margin":0}
|
|
10
|
-
0:["
|
|
10
|
+
0:["8MjKGPuSZw4OIpcHY4G0W",[[["",{"children":["/_not-found",{"children":["__PAGE__",{}]}]},"$undefined","$undefined",true],["",{"children":["/_not-found",{"children":["__PAGE__",{},[["$L1",[["$","title",null,{"children":"404: This page could not be found."}],["$","div",null,{"style":{"fontFamily":"system-ui,\"Segoe UI\",Roboto,Helvetica,Arial,sans-serif,\"Apple Color Emoji\",\"Segoe UI Emoji\"","height":"100vh","textAlign":"center","display":"flex","flexDirection":"column","alignItems":"center","justifyContent":"center"},"children":["$","div",null,{"children":[["$","style",null,{"dangerouslySetInnerHTML":{"__html":"body{color:#000;background:#fff;margin:0}.next-error-h1{border-right:1px solid rgba(0,0,0,.3)}@media (prefers-color-scheme:dark){body{color:#fff;background:#000}.next-error-h1{border-right:1px solid rgba(255,255,255,.3)}}"}}],["$","h1",null,{"className":"next-error-h1","style":{"display":"inline-block","margin":"0 20px 0 0","padding":"0 23px 0 0","fontSize":24,"fontWeight":500,"verticalAlign":"top","lineHeight":"49px"},"children":"404"}],["$","div",null,{"style":{"display":"inline-block"},"children":["$","h2",null,{"style":{"fontSize":14,"fontWeight":400,"lineHeight":"49px","margin":0},"children":"This page could not be found."}]}]]}]}]]],null],null]},["$","$L2",null,{"parallelRouterKey":"children","segmentPath":["children","/_not-found","children"],"error":"$undefined","errorStyles":"$undefined","errorScripts":"$undefined","template":["$","$L3",null,{}],"templateStyles":"$undefined","templateScripts":"$undefined","notFound":"$undefined","notFoundStyles":"$undefined","styles":null}],null]},[["$","html",null,{"lang":"en","suppressHydrationWarning":true,"children":["$","body",null,{"className":"__variable_73ee6c __variable_3c557b min-h-screen bg-surface-0 text-text-primary font-sans","children":["$","$L4",null,{"attribute":"data-theme","defaultTheme":"dark","enableSystem":false,"children":[["$","$L5",null,{}],["$","$L6",null,{"version":"0.5.3","children":["$","$L2",null,{"parallelRouterKey":"children","segmentPath":["children"],"error":"$undefined","errorStyles":"$undefined","errorScripts":"$undefined","template":["$","$L3",null,{}],"templateStyles":"$undefined","templateScripts":"$undefined","notFound":[["$","title",null,{"children":"404: This page could not be found."}],["$","div",null,{"style":"$7","children":["$","div",null,{"children":[["$","style",null,{"dangerouslySetInnerHTML":{"__html":"body{color:#000;background:#fff;margin:0}.next-error-h1{border-right:1px solid rgba(0,0,0,.3)}@media (prefers-color-scheme:dark){body{color:#fff;background:#000}.next-error-h1{border-right:1px solid rgba(255,255,255,.3)}}"}}],["$","h1",null,{"className":"next-error-h1","style":"$8","children":"404"}],["$","div",null,{"style":"$9","children":["$","h2",null,{"style":"$a","children":"This page could not be found."}]}]]}]}]],"notFoundStyles":[],"styles":null}]}]]}]}]}],null],null],[[["$","link","0",{"rel":"stylesheet","href":"/_next/static/css/691f4e9edab008c8.css","precedence":"next","crossOrigin":"$undefined"}]],[["$","meta",null,{"name":"robots","content":"noindex"}],"$Lb"]]]]]
|
|
11
11
|
b:[["$","meta","0",{"name":"viewport","content":"width=device-width, initial-scale=1"}],["$","meta","1",{"charSet":"utf-8"}],["$","title","2",{"children":"Hex"}],["$","meta","3",{"name":"description","content":"Local dashboard for Solidity smart contract audits"}],["$","meta","4",{"name":"next-size-adjust"}]]
|
|
12
12
|
1:null
|
|
@@ -1 +1 @@
|
|
|
1
|
-
(()=>{var e={};e.id=980,e.ids=[980],e.modules={7849:e=>{"use strict";e.exports=require("next/dist/client/components/action-async-storage.external")},2934:e=>{"use strict";e.exports=require("next/dist/client/components/action-async-storage.external.js")},5403:e=>{"use strict";e.exports=require("next/dist/client/components/request-async-storage.external")},4580:e=>{"use strict";e.exports=require("next/dist/client/components/request-async-storage.external.js")},4749:e=>{"use strict";e.exports=require("next/dist/client/components/static-generation-async-storage.external")},5869:e=>{"use strict";e.exports=require("next/dist/client/components/static-generation-async-storage.external.js")},399:e=>{"use strict";e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},7561:e=>{"use strict";e.exports=require("node:fs")},9411:e=>{"use strict";e.exports=require("node:path")},1017:e=>{"use strict";e.exports=require("path")},7310:e=>{"use strict";e.exports=require("url")},1166:(e,t,s)=>{"use strict";s.r(t),s.d(t,{GlobalError:()=>i.a,__next_app__:()=>u,originalPathname:()=>x,pages:()=>d,routeModule:()=>p,tree:()=>c}),s(7824),s(8116),s(2874);var a=s(7105),r=s(5265),n=s(157),i=s.n(n),o=s(4665),l={};for(let e in o)0>["default","tree","pages","GlobalError","originalPathname","__next_app__","routeModule"].indexOf(e)&&(l[e]=()=>o[e]);s.d(t,l);let c=["",{children:["access",{children:["__PAGE__",{},{page:[()=>Promise.resolve().then(s.bind(s,7824)),"/home/dx/Work/hex/dashboard/app/access/page.tsx"]}]},{metadata:{icon:[async e=>(await Promise.resolve().then(s.bind(s,2950))).default(e)],apple:[],openGraph:[],twitter:[],manifest:void 0}}]},{layout:[()=>Promise.resolve().then(s.bind(s,8116)),"/home/dx/Work/hex/dashboard/app/layout.tsx"],"not-found":[()=>Promise.resolve().then(s.t.bind(s,2874,23)),"next/dist/client/components/not-found-error"],metadata:{icon:[async e=>(await Promise.resolve().then(s.bind(s,2950))).default(e)],apple:[],openGraph:[],twitter:[],manifest:void 0}}],d=["/home/dx/Work/hex/dashboard/app/access/page.tsx"],x="/access/page",u={require:s,loadChunk:()=>Promise.resolve()},p=new a.AppPageRouteModule({definition:{kind:r.x.APP_PAGE,page:"/access/page",pathname:"/access",bundlePath:"",filename:"",appPaths:[]},userland:{loaderTree:c}})},4722:(e,t,s)=>{Promise.resolve().then(s.bind(s,4136))},4136:(e,t,s)=>{"use strict";s.d(t,{AccessClient:()=>m});var a=s(9899),r=s(5507),n=s(983),i=s(366);let o={high:"bg-[var(--success)]/15 text-[var(--success)]",medium:"bg-[var(--medium)]/15 text-[var(--medium)]",low:"bg-[var(--critical)]/15 text-[var(--critical)]"};function l({level:e,derivedFrom:t}){let[s,n]=(0,r.useState)(!1),i=o[e.toLowerCase()]??o.low,l=t?`confidence-${e}-${t.replace(/\W+/g,"-")}`:void 0,c=t?`${e} confidence, derived from ${t}`:`${e} confidence`;return(0,a.jsxs)("span",{className:"relative inline-block focus-visible:outline focus-visible:outline-2 focus-visible:outline-offset-2 focus-visible:outline-accent rounded-md",tabIndex:t?0:void 0,role:t?"group":void 0,"aria-label":c,"aria-describedby":s&&l?l:void 0,onMouseEnter:()=>n(!0),onMouseLeave:()=>n(!1),onFocus:()=>n(!0),onBlur:()=>n(!1),children:[a.jsx("span",{className:`inline-flex items-center rounded-md px-2 py-0.5 text-caption font-medium ${i}`,children:e}),t&&s&&(0,a.jsxs)("span",{id:l,role:"tooltip",className:"absolute bottom-full left-1/2 z-50 mb-2 -translate-x-1/2 whitespace-nowrap rounded-md border border-border-default bg-surface-3 px-2 py-1 text-caption text-text-secondary shadow-lg",children:["Derived from: ",t]})]})}let c={access_control:"bg-accent-subtle text-accent",state_check:"bg-[var(--medium)]/15 text-[var(--medium)]",guard:"bg-[var(--low)]/15 text-[var(--low)]",unknown:"bg-[var(--neutral)]/15 text-[var(--neutral)]"};function d(e){return e.is_likely_access_control??!0}let x={external:"bg-[var(--critical)]/15 text-[var(--critical)]",public:"bg-[var(--high)]/15 text-[var(--high)]",internal:"bg-[var(--low)]/15 text-[var(--low)]",private:"bg-[var(--neutral)]/15 text-[var(--neutral)]"};function u({visibility:e}){let t=x[e]??"bg-[var(--neutral)]/15 text-[var(--neutral)]";return a.jsx("span",{className:`inline-flex items-center rounded-sm px-2 py-0.5 text-caption font-medium ${t}`,children:e})}let p=["All","State-Changing","Read-Only"];function m({writeFunctions:e,readOnlyFunctions:t,anyoneFnKeys:s,otherRoles:o,allRoles:x}){let[m,h]=(0,r.useState)("All"),[f,b]=(0,r.useState)(!1),[v,g]=(0,r.useState)(!1),y=(0,r.useMemo)(()=>new Set(s),[s]),j=(0,r.useMemo)(()=>o.filter(e=>!d(e)),[o]),w=(0,r.useMemo)(()=>v?o:o.filter(d),[o,v]),N=(0,r.useMemo)(()=>{let e=new Map;for(let t of x)if(d(t))for(let s of t.functions){let a=`${s.contract}::${s.function}`,r=e.get(a)??[];r.push(t.role),e.set(a,r)}return e},[x]),C=(0,r.useMemo)(()=>[...e,...t],[e,t]),k=(0,r.useMemo)(()=>e.filter(e=>y.has(`${e.contract}::${e.function}`)),[e,y]),$=(0,r.useMemo)(()=>{switch(m){case"All":return C;case"State-Changing":return f?k:e;case"Read-Only":return t}},[m,f,C,e,t,k]),_="All"===m||"Read-Only"===m,S=(0,r.useMemo)(()=>(function(e,t,s){let r=[{id:"contract",header:"Contract",accessorKey:"contract",enableColumnFilter:!0,cell:e=>a.jsx("span",{className:"font-medium text-text-primary",children:e.contract})},{id:"function",header:"Function",accessorKey:"function",cell:e=>a.jsx("span",{className:"font-mono text-body text-text-secondary",children:e.function})},{id:"caller",header:"Who can call",accessorKey:"function",cell:s=>{let r=`${s.contract}::${s.function}`,n=t.get(r)??[],i=e.has(r);return 0!==n.length||i?(0,a.jsxs)("div",{className:"flex flex-wrap gap-1",children:[i&&a.jsx("span",{className:"inline-flex items-center rounded-md bg-[var(--critical)]/10 px-2 py-0.5 text-caption font-medium text-[var(--critical)]",children:"Anyone"}),n.filter(e=>"anyone"!==e.toLowerCase()&&"public"!==e.toLowerCase()).map(e=>a.jsx("span",{className:"inline-flex items-center rounded-md bg-accent-subtle px-2 py-0.5 text-caption font-medium text-accent",children:e},e))]}):a.jsx("span",{className:"text-text-tertiary",children:"--"})}},{id:"visibility",header:"Visibility",accessorKey:"visibility",enableColumnFilter:!0,cell:e=>a.jsx(u,{visibility:e.visibility})}];return s&&r.push({id:"mutability",header:"Mutability",accessorKey:"state_mutability",cell:e=>a.jsx("span",{className:"text-caption text-text-tertiary",children:e.state_mutability??"--"})}),r.push({id:"modifiers",header:"Modifiers",accessorKey:"modifiers",cell:e=>e.modifiers.length>0?a.jsx("div",{className:"flex flex-wrap gap-1",children:e.modifiers.map(e=>a.jsx("span",{className:"inline-flex items-center rounded-sm bg-surface-3 px-2 py-0.5 text-caption text-text-secondary",children:e},e))}):a.jsx("span",{className:"text-text-tertiary",children:"--"})},{id:"location",header:"Location",accessorKey:"evidence",cell:e=>a.jsx(i.i,{file:e.evidence.file,lineStart:e.evidence.line_start,lineEnd:e.evidence.line_end,snippet:e.evidence.snippet})}),r})(y,N,_),[y,N,_]);return(0,a.jsxs)(a.Fragment,{children:[(0,a.jsxs)("div",{className:"mb-sp-5 flex flex-wrap items-center gap-sp-3",children:[a.jsx("div",{className:"inline-flex overflow-x-auto rounded-md bg-surface-3 p-1",children:p.map(s=>(0,a.jsxs)("button",{type:"button",onClick:()=>{h(s),"State-Changing"!==s&&b(!1)},className:`whitespace-nowrap rounded-sm px-sp-3 py-1.5 text-body font-medium ${m===s?"bg-surface-2 text-text-primary shadow-sm":"text-text-secondary hover:text-text-primary"}`,children:[s,(0,a.jsxs)("span",{className:"ml-1.5 text-caption opacity-60",children:["All"===s&&C.length,"State-Changing"===s&&e.length,"Read-Only"===s&&t.length]})]},s))}),"State-Changing"===m&&k.length>0&&(0,a.jsxs)("button",{type:"button",onClick:()=>b(e=>!e),className:`rounded-sm px-sp-3 py-1.5 text-body font-medium ${f?"bg-[var(--critical)]/15 text-[var(--critical)] shadow-sm":"bg-surface-3 text-text-secondary hover:text-text-primary"}`,children:["Unprotected only",a.jsx("span",{className:"ml-1.5 text-caption opacity-60",children:k.length})]})]}),a.jsx("div",{className:"mb-sp-6",children:a.jsx(n.v,{columns:S,data:$,defaultOpen:!0,rowClassName:e=>{let t=`${e.contract}::${e.function}`;return y.has(t)?"bg-[var(--critical)]/5 hover:bg-[var(--critical)]/10":"bg-surface-1 hover:bg-surface-3"}})}),o.length>0&&(0,a.jsxs)("div",{className:"mb-sp-6",children:[(0,a.jsxs)("div",{className:"mb-sp-3 flex items-center justify-between gap-sp-3",children:[(0,a.jsxs)("h3",{className:"text-heading font-medium text-text-primary",children:["Roles",(0,a.jsxs)("span",{className:"ml-2 text-caption font-normal text-text-tertiary",children:[w.length," shown \xb7 ",j.length," inferred / unknown hidden"]})]}),j.length>0&&(0,a.jsxs)("button",{type:"button",onClick:()=>g(e=>!e),"aria-pressed":v,className:`rounded-md px-3 py-1.5 text-caption font-medium focus-visible:outline focus-visible:outline-2 focus-visible:outline-offset-2 focus-visible:outline-accent ${v?"bg-accent text-surface-0":"bg-surface-3 text-text-secondary hover:text-text-primary"}`,children:[v?"Hide":"Show"," inferred / unknown (",j.length,")"]})]}),a.jsx("div",{className:"grid gap-sp-3 sm:grid-cols-2",children:w.map(e=>(0,a.jsxs)("div",{className:`rounded-md border bg-surface-2 p-sp-4 ${d(e)?"border-border-default":"border-dashed border-border-emphasis opacity-90"}`,children:[(0,a.jsxs)("div",{className:"mb-sp-2 flex items-center justify-between gap-sp-2",children:[(0,a.jsxs)("div",{className:"flex items-center gap-sp-2",children:[a.jsx("h4",{className:"text-heading font-medium text-text-primary",children:e.role}),e.kind&&a.jsx("span",{className:`inline-flex items-center rounded-md px-2 py-0.5 text-caption font-medium ${c[e.kind]}`,children:e.kind.replace("_"," ")})]}),a.jsx(l,{level:e.confidence,derivedFrom:e.derived_from})]}),a.jsx("p",{className:"mb-sp-3 text-body text-text-secondary",children:e.description}),e.modifier&&(0,a.jsxs)("p",{className:"mb-sp-2 text-caption text-text-tertiary",children:["Modifier:"," ",a.jsx("code",{className:"rounded-sm bg-surface-0 px-1.5 py-0.5 text-text-secondary",children:e.modifier})]}),e.functions.length>0&&(0,a.jsxs)("div",{className:"mb-sp-2",children:[(0,a.jsxs)("p",{className:"mb-1 text-caption font-medium uppercase text-text-tertiary",children:["Functions (",e.functions.length,")"]}),a.jsx("div",{className:"flex flex-wrap gap-1",children:e.functions.map(e=>(0,a.jsxs)("span",{className:"inline-flex items-center rounded-sm bg-surface-3 px-2 py-0.5 font-mono text-caption text-text-secondary",children:[e.contract,".",e.function]},`${e.contract}::${e.function}`))})]}),e.warnings.length>0&&a.jsx("div",{className:"mt-sp-2 space-y-1 border-t border-border-subtle pt-sp-2",children:e.warnings.map((e,t)=>a.jsx("p",{className:"text-caption text-[var(--medium)]",children:e},t))})]},e.role))})]})]})}},366:(e,t,s)=>{"use strict";s.d(t,{i:()=>n});var a=s(9899),r=s(5507);function n({file:e,lineStart:t,lineEnd:s,snippet:n}){let[o,l]=(0,r.useState)(!1),[c,d]=(0,r.useState)(n??null),[x,u]=(0,r.useState)(!1),[p,m]=(0,r.useState)(null),h=`${e}:${t}${s&&s!==t?`-${s}`:""}`,f=async()=>{if(l(!0),!c){u(!0);try{let a=new URLSearchParams({file:e,start:String(Math.max(1,t-3)),end:String((s??t)+3)}),r=await fetch(`/api/code?${a}`);if(!r.ok)throw Error("Failed to load source");let n=await r.json();d(n.code)}catch(e){m(e instanceof Error?e.message:"Failed to load")}finally{u(!1)}}};return(0,a.jsxs)(a.Fragment,{children:[a.jsx("button",{type:"button",onClick:f,className:"font-mono text-caption text-accent hover:underline focus-visible:outline focus-visible:outline-2 focus-visible:outline-offset-2 focus-visible:outline-accent rounded-sm",children:h}),o&&a.jsx(i,{onClose:()=>l(!1),children:(0,a.jsxs)("div",{role:"dialog","aria-modal":"true","aria-label":`Source code: ${h}`,className:"relative max-h-[80vh] w-full max-w-3xl overflow-auto border border-border-emphasis bg-surface-1 shadow-2xl",style:{borderRadius:"var(--radius-md)",boxShadow:"var(--shadow-accent)"},onClick:e=>e.stopPropagation(),children:[(0,a.jsxs)("div",{className:"sticky top-0 flex items-center justify-between border-b border-border-default bg-surface-2 px-sp-4 py-sp-3",children:[a.jsx("span",{className:"font-mono text-body text-text-primary",children:h}),a.jsx("button",{type:"button",onClick:()=>l(!1),"aria-label":"Close",className:"rounded p-1 text-text-tertiary hover:bg-surface-3 hover:text-text-primary focus-visible:outline focus-visible:outline-2 focus-visible:outline-offset-2 focus-visible:outline-accent",children:a.jsx("svg",{className:"h-5 w-5","aria-hidden":"true",fill:"none",viewBox:"0 0 24 24",stroke:"currentColor",strokeWidth:2,children:a.jsx("path",{strokeLinecap:"round",strokeLinejoin:"round",d:"M6 18L18 6M6 6l12 12"})})})]}),(0,a.jsxs)("div",{className:"p-sp-4",children:[x&&a.jsx("p",{className:"text-body text-text-secondary",children:"Loading..."}),p&&a.jsx("p",{className:"text-body text-severity-critical",children:p}),c&&a.jsx("pre",{className:"overflow-x-auto rounded-md bg-surface-0 p-sp-4 text-caption leading-relaxed text-text-secondary",children:c.split("\n").map((e,r)=>{let n=Math.max(1,t-3)+r,i=n>=t&&n<=(s??t);return(0,a.jsxs)("div",{className:i?"bg-accent/10":"",children:[a.jsx("span",{className:"mr-4 inline-block w-10 select-none text-right text-text-tertiary",children:n}),e]},r)})})]})]})})]})}function i({onClose:e,children:t}){let s=(0,r.useRef)(null);return a.jsx("div",{ref:s,tabIndex:-1,className:"fixed inset-0 z-50 flex items-center justify-center outline-none",style:{background:"var(--overlay-bg)"},onClick:e,onKeyDown:t=>{"Escape"===t.key&&e()},children:t})}},7824:(e,t,s)=>{"use strict";s.r(t),s.d(t,{default:()=>u,dynamic:()=>x});var a=s(5023),r=s(1720),n=s(446),i=s(2772);let o=(0,i.createProxy)(String.raw`/home/dx/Work/hex/dashboard/app/access/AccessClient.tsx`),{__esModule:l,$$typeof:c}=o;o.default;let d=(0,i.createProxy)(String.raw`/home/dx/Work/hex/dashboard/app/access/AccessClient.tsx#AccessClient`),x="force-dynamic";function u(){let e=(0,r.gn)("access-control.json");if(!e)return(0,a.jsxs)("div",{children:[a.jsx("h2",{className:"mb-sp-5 text-title font-semibold text-text-primary",children:"Access Control"}),a.jsx(n.v,{command:"hex access"})]});let{functions:t,roles:s}=e,i=t.filter(e=>"external"===e.visibility||"public"===e.visibility),o=i.filter(e=>"view"!==e.state_mutability&&"pure"!==e.state_mutability),l=i.filter(e=>"view"===e.state_mutability||"pure"===e.state_mutability),c=s.find(e=>"anyone"===e.role.toLowerCase()||"public"===e.role.toLowerCase()),x=s.filter(e=>"anyone"!==e.role.toLowerCase()&&"public"!==e.role.toLowerCase()),u=c?.functions.map(e=>`${e.contract}::${e.function}`)??[],p=new Set(o.map(e=>`${e.contract}::${e.function}`)),m=u.filter(e=>p.has(e)).length;return(0,a.jsxs)("div",{children:[a.jsx("h2",{className:"mb-sp-5 text-title font-semibold text-text-primary",children:"Access Control"}),(0,a.jsxs)("div",{className:"mb-sp-5 flex flex-wrap gap-sp-3",children:[(0,a.jsxs)("div",{className:"flex items-center gap-2 rounded-md border border-border-default bg-surface-2 px-sp-4 py-sp-2",children:[a.jsx("span",{className:"text-heading font-semibold text-text-primary",children:i.length}),a.jsx("span",{className:"text-caption text-text-secondary",children:"Total"})]}),(0,a.jsxs)("div",{className:"flex items-center gap-2 rounded-md border border-border-default bg-surface-2 px-sp-4 py-sp-2",children:[a.jsx("span",{className:"text-heading font-semibold text-text-primary",children:o.length}),a.jsx("span",{className:"text-caption text-text-secondary",children:"State-Changing"})]}),m>0&&(0,a.jsxs)("div",{className:"flex items-center gap-2 rounded-md border border-[var(--critical)]/30 bg-[var(--critical)]/5 px-sp-4 py-sp-2",children:[a.jsx("span",{className:"text-heading font-semibold text-[var(--critical)]",children:m}),a.jsx("span",{className:"text-caption text-[var(--critical)]/80",children:"Unprotected"})]})]}),a.jsx(d,{writeFunctions:o,readOnlyFunctions:l,anyoneFnKeys:u,anyoneRole:c??null,otherRoles:x,allRoles:s})]})}}};var t=require("../../webpack-runtime.js");t.C(e);var s=e=>t(t.s=e),a=t.X(0,[916,649,645,665,431,44],()=>s(1166));module.exports=a})();
|
|
1
|
+
(()=>{var e={};e.id=980,e.ids=[980],e.modules={7849:e=>{"use strict";e.exports=require("next/dist/client/components/action-async-storage.external")},2934:e=>{"use strict";e.exports=require("next/dist/client/components/action-async-storage.external.js")},5403:e=>{"use strict";e.exports=require("next/dist/client/components/request-async-storage.external")},4580:e=>{"use strict";e.exports=require("next/dist/client/components/request-async-storage.external.js")},4749:e=>{"use strict";e.exports=require("next/dist/client/components/static-generation-async-storage.external")},5869:e=>{"use strict";e.exports=require("next/dist/client/components/static-generation-async-storage.external.js")},399:e=>{"use strict";e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},7561:e=>{"use strict";e.exports=require("node:fs")},9411:e=>{"use strict";e.exports=require("node:path")},1017:e=>{"use strict";e.exports=require("path")},7310:e=>{"use strict";e.exports=require("url")},1166:(e,t,s)=>{"use strict";s.r(t),s.d(t,{GlobalError:()=>i.a,__next_app__:()=>u,originalPathname:()=>x,pages:()=>d,routeModule:()=>p,tree:()=>c}),s(7824),s(819),s(2874);var a=s(7105),r=s(5265),n=s(157),i=s.n(n),o=s(4665),l={};for(let e in o)0>["default","tree","pages","GlobalError","originalPathname","__next_app__","routeModule"].indexOf(e)&&(l[e]=()=>o[e]);s.d(t,l);let c=["",{children:["access",{children:["__PAGE__",{},{page:[()=>Promise.resolve().then(s.bind(s,7824)),"/home/dx/Work/hex/dashboard/app/access/page.tsx"]}]},{metadata:{icon:[async e=>(await Promise.resolve().then(s.bind(s,2950))).default(e)],apple:[],openGraph:[],twitter:[],manifest:void 0}}]},{layout:[()=>Promise.resolve().then(s.bind(s,819)),"/home/dx/Work/hex/dashboard/app/layout.tsx"],"not-found":[()=>Promise.resolve().then(s.t.bind(s,2874,23)),"next/dist/client/components/not-found-error"],metadata:{icon:[async e=>(await Promise.resolve().then(s.bind(s,2950))).default(e)],apple:[],openGraph:[],twitter:[],manifest:void 0}}],d=["/home/dx/Work/hex/dashboard/app/access/page.tsx"],x="/access/page",u={require:s,loadChunk:()=>Promise.resolve()},p=new a.AppPageRouteModule({definition:{kind:r.x.APP_PAGE,page:"/access/page",pathname:"/access",bundlePath:"",filename:"",appPaths:[]},userland:{loaderTree:c}})},4722:(e,t,s)=>{Promise.resolve().then(s.bind(s,4136))},4136:(e,t,s)=>{"use strict";s.d(t,{AccessClient:()=>m});var a=s(9899),r=s(5507),n=s(983),i=s(366);let o={high:"bg-[var(--success)]/15 text-[var(--success)]",medium:"bg-[var(--medium)]/15 text-[var(--medium)]",low:"bg-[var(--critical)]/15 text-[var(--critical)]"};function l({level:e,derivedFrom:t}){let[s,n]=(0,r.useState)(!1),i=o[e.toLowerCase()]??o.low,l=t?`confidence-${e}-${t.replace(/\W+/g,"-")}`:void 0,c=t?`${e} confidence, derived from ${t}`:`${e} confidence`;return(0,a.jsxs)("span",{className:"relative inline-block focus-visible:outline focus-visible:outline-2 focus-visible:outline-offset-2 focus-visible:outline-accent rounded-md",tabIndex:t?0:void 0,role:t?"group":void 0,"aria-label":c,"aria-describedby":s&&l?l:void 0,onMouseEnter:()=>n(!0),onMouseLeave:()=>n(!1),onFocus:()=>n(!0),onBlur:()=>n(!1),children:[a.jsx("span",{className:`inline-flex items-center rounded-md px-2 py-0.5 text-caption font-medium ${i}`,children:e}),t&&s&&(0,a.jsxs)("span",{id:l,role:"tooltip",className:"absolute bottom-full left-1/2 z-50 mb-2 -translate-x-1/2 whitespace-nowrap rounded-md border border-border-default bg-surface-3 px-2 py-1 text-caption text-text-secondary shadow-lg",children:["Derived from: ",t]})]})}let c={access_control:"bg-accent-subtle text-accent",state_check:"bg-[var(--medium)]/15 text-[var(--medium)]",guard:"bg-[var(--low)]/15 text-[var(--low)]",unknown:"bg-[var(--neutral)]/15 text-[var(--neutral)]"};function d(e){return e.is_likely_access_control??!0}let x={external:"bg-[var(--critical)]/15 text-[var(--critical)]",public:"bg-[var(--high)]/15 text-[var(--high)]",internal:"bg-[var(--low)]/15 text-[var(--low)]",private:"bg-[var(--neutral)]/15 text-[var(--neutral)]"};function u({visibility:e}){let t=x[e]??"bg-[var(--neutral)]/15 text-[var(--neutral)]";return a.jsx("span",{className:`inline-flex items-center rounded-sm px-2 py-0.5 text-caption font-medium ${t}`,children:e})}let p=["All","State-Changing","Read-Only"];function m({writeFunctions:e,readOnlyFunctions:t,anyoneFnKeys:s,otherRoles:o,allRoles:x}){let[m,h]=(0,r.useState)("All"),[f,b]=(0,r.useState)(!1),[v,g]=(0,r.useState)(!1),y=(0,r.useMemo)(()=>new Set(s),[s]),j=(0,r.useMemo)(()=>o.filter(e=>!d(e)),[o]),w=(0,r.useMemo)(()=>v?o:o.filter(d),[o,v]),N=(0,r.useMemo)(()=>{let e=new Map;for(let t of x)if(d(t))for(let s of t.functions){let a=`${s.contract}::${s.function}`,r=e.get(a)??[];r.push(t.role),e.set(a,r)}return e},[x]),C=(0,r.useMemo)(()=>[...e,...t],[e,t]),k=(0,r.useMemo)(()=>e.filter(e=>y.has(`${e.contract}::${e.function}`)),[e,y]),$=(0,r.useMemo)(()=>{switch(m){case"All":return C;case"State-Changing":return f?k:e;case"Read-Only":return t}},[m,f,C,e,t,k]),_="All"===m||"Read-Only"===m,S=(0,r.useMemo)(()=>(function(e,t,s){let r=[{id:"contract",header:"Contract",accessorKey:"contract",enableColumnFilter:!0,cell:e=>a.jsx("span",{className:"font-medium text-text-primary",children:e.contract})},{id:"function",header:"Function",accessorKey:"function",cell:e=>a.jsx("span",{className:"font-mono text-body text-text-secondary",children:e.function})},{id:"caller",header:"Who can call",accessorKey:"function",cell:s=>{let r=`${s.contract}::${s.function}`,n=t.get(r)??[],i=e.has(r);return 0!==n.length||i?(0,a.jsxs)("div",{className:"flex flex-wrap gap-1",children:[i&&a.jsx("span",{className:"inline-flex items-center rounded-md bg-[var(--critical)]/10 px-2 py-0.5 text-caption font-medium text-[var(--critical)]",children:"Anyone"}),n.filter(e=>"anyone"!==e.toLowerCase()&&"public"!==e.toLowerCase()).map(e=>a.jsx("span",{className:"inline-flex items-center rounded-md bg-accent-subtle px-2 py-0.5 text-caption font-medium text-accent",children:e},e))]}):a.jsx("span",{className:"text-text-tertiary",children:"--"})}},{id:"visibility",header:"Visibility",accessorKey:"visibility",enableColumnFilter:!0,cell:e=>a.jsx(u,{visibility:e.visibility})}];return s&&r.push({id:"mutability",header:"Mutability",accessorKey:"state_mutability",cell:e=>a.jsx("span",{className:"text-caption text-text-tertiary",children:e.state_mutability??"--"})}),r.push({id:"modifiers",header:"Modifiers",accessorKey:"modifiers",cell:e=>e.modifiers.length>0?a.jsx("div",{className:"flex flex-wrap gap-1",children:e.modifiers.map(e=>a.jsx("span",{className:"inline-flex items-center rounded-sm bg-surface-3 px-2 py-0.5 text-caption text-text-secondary",children:e},e))}):a.jsx("span",{className:"text-text-tertiary",children:"--"})},{id:"location",header:"Location",accessorKey:"evidence",cell:e=>a.jsx(i.i,{file:e.evidence.file,lineStart:e.evidence.line_start,lineEnd:e.evidence.line_end,snippet:e.evidence.snippet})}),r})(y,N,_),[y,N,_]);return(0,a.jsxs)(a.Fragment,{children:[(0,a.jsxs)("div",{className:"mb-sp-5 flex flex-wrap items-center gap-sp-3",children:[a.jsx("div",{className:"inline-flex overflow-x-auto rounded-md bg-surface-3 p-1",children:p.map(s=>(0,a.jsxs)("button",{type:"button",onClick:()=>{h(s),"State-Changing"!==s&&b(!1)},className:`whitespace-nowrap rounded-sm px-sp-3 py-1.5 text-body font-medium ${m===s?"bg-surface-2 text-text-primary shadow-sm":"text-text-secondary hover:text-text-primary"}`,children:[s,(0,a.jsxs)("span",{className:"ml-1.5 text-caption opacity-60",children:["All"===s&&C.length,"State-Changing"===s&&e.length,"Read-Only"===s&&t.length]})]},s))}),"State-Changing"===m&&k.length>0&&(0,a.jsxs)("button",{type:"button",onClick:()=>b(e=>!e),className:`rounded-sm px-sp-3 py-1.5 text-body font-medium ${f?"bg-[var(--critical)]/15 text-[var(--critical)] shadow-sm":"bg-surface-3 text-text-secondary hover:text-text-primary"}`,children:["Unprotected only",a.jsx("span",{className:"ml-1.5 text-caption opacity-60",children:k.length})]})]}),a.jsx("div",{className:"mb-sp-6",children:a.jsx(n.v,{columns:S,data:$,defaultOpen:!0,rowClassName:e=>{let t=`${e.contract}::${e.function}`;return y.has(t)?"bg-[var(--critical)]/5 hover:bg-[var(--critical)]/10":"bg-surface-1 hover:bg-surface-3"}})}),o.length>0&&(0,a.jsxs)("div",{className:"mb-sp-6",children:[(0,a.jsxs)("div",{className:"mb-sp-3 flex items-center justify-between gap-sp-3",children:[(0,a.jsxs)("h3",{className:"text-heading font-medium text-text-primary",children:["Roles",(0,a.jsxs)("span",{className:"ml-2 text-caption font-normal text-text-tertiary",children:[w.length," shown \xb7 ",j.length," inferred / unknown hidden"]})]}),j.length>0&&(0,a.jsxs)("button",{type:"button",onClick:()=>g(e=>!e),"aria-pressed":v,className:`rounded-md px-3 py-1.5 text-caption font-medium focus-visible:outline focus-visible:outline-2 focus-visible:outline-offset-2 focus-visible:outline-accent ${v?"bg-accent text-surface-0":"bg-surface-3 text-text-secondary hover:text-text-primary"}`,children:[v?"Hide":"Show"," inferred / unknown (",j.length,")"]})]}),a.jsx("div",{className:"grid gap-sp-3 sm:grid-cols-2",children:w.map(e=>(0,a.jsxs)("div",{className:`rounded-md border bg-surface-2 p-sp-4 ${d(e)?"border-border-default":"border-dashed border-border-emphasis opacity-90"}`,children:[(0,a.jsxs)("div",{className:"mb-sp-2 flex items-center justify-between gap-sp-2",children:[(0,a.jsxs)("div",{className:"flex items-center gap-sp-2",children:[a.jsx("h4",{className:"text-heading font-medium text-text-primary",children:e.role}),e.kind&&a.jsx("span",{className:`inline-flex items-center rounded-md px-2 py-0.5 text-caption font-medium ${c[e.kind]}`,children:e.kind.replace("_"," ")})]}),a.jsx(l,{level:e.confidence,derivedFrom:e.derived_from})]}),a.jsx("p",{className:"mb-sp-3 text-body text-text-secondary",children:e.description}),e.modifier&&(0,a.jsxs)("p",{className:"mb-sp-2 text-caption text-text-tertiary",children:["Modifier:"," ",a.jsx("code",{className:"rounded-sm bg-surface-0 px-1.5 py-0.5 text-text-secondary",children:e.modifier})]}),e.functions.length>0&&(0,a.jsxs)("div",{className:"mb-sp-2",children:[(0,a.jsxs)("p",{className:"mb-1 text-caption font-medium uppercase text-text-tertiary",children:["Functions (",e.functions.length,")"]}),a.jsx("div",{className:"flex flex-wrap gap-1",children:e.functions.map(e=>(0,a.jsxs)("span",{className:"inline-flex items-center rounded-sm bg-surface-3 px-2 py-0.5 font-mono text-caption text-text-secondary",children:[e.contract,".",e.function]},`${e.contract}::${e.function}`))})]}),e.warnings.length>0&&a.jsx("div",{className:"mt-sp-2 space-y-1 border-t border-border-subtle pt-sp-2",children:e.warnings.map((e,t)=>a.jsx("p",{className:"text-caption text-[var(--medium)]",children:e},t))})]},e.role))})]})]})}},366:(e,t,s)=>{"use strict";s.d(t,{i:()=>n});var a=s(9899),r=s(5507);function n({file:e,lineStart:t,lineEnd:s,snippet:n}){let[o,l]=(0,r.useState)(!1),[c,d]=(0,r.useState)(n??null),[x,u]=(0,r.useState)(!1),[p,m]=(0,r.useState)(null),h=`${e}:${t}${s&&s!==t?`-${s}`:""}`,f=async()=>{if(l(!0),!c){u(!0);try{let a=new URLSearchParams({file:e,start:String(Math.max(1,t-3)),end:String((s??t)+3)}),r=await fetch(`/api/code?${a}`);if(!r.ok)throw Error("Failed to load source");let n=await r.json();d(n.code)}catch(e){m(e instanceof Error?e.message:"Failed to load")}finally{u(!1)}}};return(0,a.jsxs)(a.Fragment,{children:[a.jsx("button",{type:"button",onClick:f,className:"font-mono text-caption text-accent hover:underline focus-visible:outline focus-visible:outline-2 focus-visible:outline-offset-2 focus-visible:outline-accent rounded-sm",children:h}),o&&a.jsx(i,{onClose:()=>l(!1),children:(0,a.jsxs)("div",{role:"dialog","aria-modal":"true","aria-label":`Source code: ${h}`,className:"relative max-h-[80vh] w-full max-w-3xl overflow-auto border border-border-emphasis bg-surface-1 shadow-2xl",style:{borderRadius:"var(--radius-md)",boxShadow:"var(--shadow-accent)"},onClick:e=>e.stopPropagation(),children:[(0,a.jsxs)("div",{className:"sticky top-0 flex items-center justify-between border-b border-border-default bg-surface-2 px-sp-4 py-sp-3",children:[a.jsx("span",{className:"font-mono text-body text-text-primary",children:h}),a.jsx("button",{type:"button",onClick:()=>l(!1),"aria-label":"Close",className:"rounded p-1 text-text-tertiary hover:bg-surface-3 hover:text-text-primary focus-visible:outline focus-visible:outline-2 focus-visible:outline-offset-2 focus-visible:outline-accent",children:a.jsx("svg",{className:"h-5 w-5","aria-hidden":"true",fill:"none",viewBox:"0 0 24 24",stroke:"currentColor",strokeWidth:2,children:a.jsx("path",{strokeLinecap:"round",strokeLinejoin:"round",d:"M6 18L18 6M6 6l12 12"})})})]}),(0,a.jsxs)("div",{className:"p-sp-4",children:[x&&a.jsx("p",{className:"text-body text-text-secondary",children:"Loading..."}),p&&a.jsx("p",{className:"text-body text-severity-critical",children:p}),c&&a.jsx("pre",{className:"overflow-x-auto rounded-md bg-surface-0 p-sp-4 text-caption leading-relaxed text-text-secondary",children:c.split("\n").map((e,r)=>{let n=Math.max(1,t-3)+r,i=n>=t&&n<=(s??t);return(0,a.jsxs)("div",{className:i?"bg-accent/10":"",children:[a.jsx("span",{className:"mr-4 inline-block w-10 select-none text-right text-text-tertiary",children:n}),e]},r)})})]})]})})]})}function i({onClose:e,children:t}){let s=(0,r.useRef)(null);return a.jsx("div",{ref:s,tabIndex:-1,className:"fixed inset-0 z-50 flex items-center justify-center outline-none",style:{background:"var(--overlay-bg)"},onClick:e,onKeyDown:t=>{"Escape"===t.key&&e()},children:t})}},7824:(e,t,s)=>{"use strict";s.r(t),s.d(t,{default:()=>u,dynamic:()=>x});var a=s(5023),r=s(1720),n=s(446),i=s(2772);let o=(0,i.createProxy)(String.raw`/home/dx/Work/hex/dashboard/app/access/AccessClient.tsx`),{__esModule:l,$$typeof:c}=o;o.default;let d=(0,i.createProxy)(String.raw`/home/dx/Work/hex/dashboard/app/access/AccessClient.tsx#AccessClient`),x="force-dynamic";function u(){let e=(0,r.gn)("access-control.json");if(!e)return(0,a.jsxs)("div",{children:[a.jsx("h2",{className:"mb-sp-5 text-title font-semibold text-text-primary",children:"Access Control"}),a.jsx(n.v,{command:"hex access"})]});let{functions:t,roles:s}=e,i=t.filter(e=>"external"===e.visibility||"public"===e.visibility),o=i.filter(e=>"view"!==e.state_mutability&&"pure"!==e.state_mutability),l=i.filter(e=>"view"===e.state_mutability||"pure"===e.state_mutability),c=s.find(e=>"anyone"===e.role.toLowerCase()||"public"===e.role.toLowerCase()),x=s.filter(e=>"anyone"!==e.role.toLowerCase()&&"public"!==e.role.toLowerCase()),u=c?.functions.map(e=>`${e.contract}::${e.function}`)??[],p=new Set(o.map(e=>`${e.contract}::${e.function}`)),m=u.filter(e=>p.has(e)).length;return(0,a.jsxs)("div",{children:[a.jsx("h2",{className:"mb-sp-5 text-title font-semibold text-text-primary",children:"Access Control"}),(0,a.jsxs)("div",{className:"mb-sp-5 flex flex-wrap gap-sp-3",children:[(0,a.jsxs)("div",{className:"flex items-center gap-2 rounded-md border border-border-default bg-surface-2 px-sp-4 py-sp-2",children:[a.jsx("span",{className:"text-heading font-semibold text-text-primary",children:i.length}),a.jsx("span",{className:"text-caption text-text-secondary",children:"Total"})]}),(0,a.jsxs)("div",{className:"flex items-center gap-2 rounded-md border border-border-default bg-surface-2 px-sp-4 py-sp-2",children:[a.jsx("span",{className:"text-heading font-semibold text-text-primary",children:o.length}),a.jsx("span",{className:"text-caption text-text-secondary",children:"State-Changing"})]}),m>0&&(0,a.jsxs)("div",{className:"flex items-center gap-2 rounded-md border border-[var(--critical)]/30 bg-[var(--critical)]/5 px-sp-4 py-sp-2",children:[a.jsx("span",{className:"text-heading font-semibold text-[var(--critical)]",children:m}),a.jsx("span",{className:"text-caption text-[var(--critical)]/80",children:"Unprotected"})]})]}),a.jsx(d,{writeFunctions:o,readOnlyFunctions:l,anyoneFnKeys:u,anyoneRole:c??null,otherRoles:x,allRoles:s})]})}}};var t=require("../../webpack-runtime.js");t.C(e);var s=e=>t(t.s=e),a=t.X(0,[916,649,645,665,530,44],()=>s(1166));module.exports=a})();
|
|
@@ -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/server/lib/trace/constants.js","../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../node_modules/next/package.json","../../../../../package.json","../../../package.json","../../chunks/
|
|
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/server/lib/trace/constants.js","../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../node_modules/next/package.json","../../../../../package.json","../../../package.json","../../chunks/44.js","../../chunks/530.js","../../chunks/645.js","../../chunks/649.js","../../chunks/665.js","../../chunks/916.js","../../webpack-runtime.js","page_client-reference-manifest.js"]}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
globalThis.__RSC_MANIFEST=(globalThis.__RSC_MANIFEST||{});globalThis.__RSC_MANIFEST["/access/page"]={"moduleLoading":{"prefix":"/_next/","crossOrigin":null},"ssrModuleMapping":{"9":{"*":{"id":"6131","name":"*","chunks":[],"async":false}},"1076":{"*":{"id":"9323","name":"*","chunks":[],"async":false}},"1187":{"*":{"id":"7918","name":"*","chunks":[],"async":false}},"1447":{"*":{"id":"5915","name":"*","chunks":[],"async":false}},"2198":{"*":{"id":"9915","name":"*","chunks":[],"async":false}},"3297":{"*":{"id":"1611","name":"*","chunks":[],"async":false}},"3362":{"*":{"id":"5289","name":"*","chunks":[],"async":false}},"3443":{"*":{"id":"7406","name":"*","chunks":[],"async":false}},"3719":{"*":{"id":"526","name":"*","chunks":[],"async":false}},"4595":{"*":{"id":"1388","name":"*","chunks":[],"async":false}},"5268":{"*":{"id":"3817","name":"*","chunks":[],"async":false}},"5276":{"*":{"id":"820","name":"*","chunks":[],"async":false}},"7063":{"*":{"id":"618","name":"*","chunks":[],"async":false}},"7498":{"*":{"id":"696","name":"*","chunks":[],"async":false}},"7542":{"*":{"id":"9555","name":"*","chunks":[],"async":false}},"7701":{"*":{"id":"8530","name":"*","chunks":[],"async":false}},"7780":{"*":{"id":"8664","name":"*","chunks":[],"async":false}},"9487":{"*":{"id":"
|
|
1
|
+
globalThis.__RSC_MANIFEST=(globalThis.__RSC_MANIFEST||{});globalThis.__RSC_MANIFEST["/access/page"]={"moduleLoading":{"prefix":"/_next/","crossOrigin":null},"ssrModuleMapping":{"9":{"*":{"id":"6131","name":"*","chunks":[],"async":false}},"1076":{"*":{"id":"9323","name":"*","chunks":[],"async":false}},"1187":{"*":{"id":"7918","name":"*","chunks":[],"async":false}},"1447":{"*":{"id":"5915","name":"*","chunks":[],"async":false}},"2198":{"*":{"id":"9915","name":"*","chunks":[],"async":false}},"3297":{"*":{"id":"1611","name":"*","chunks":[],"async":false}},"3362":{"*":{"id":"5289","name":"*","chunks":[],"async":false}},"3443":{"*":{"id":"7406","name":"*","chunks":[],"async":false}},"3719":{"*":{"id":"526","name":"*","chunks":[],"async":false}},"4595":{"*":{"id":"1388","name":"*","chunks":[],"async":false}},"5268":{"*":{"id":"3817","name":"*","chunks":[],"async":false}},"5276":{"*":{"id":"820","name":"*","chunks":[],"async":false}},"7063":{"*":{"id":"618","name":"*","chunks":[],"async":false}},"7498":{"*":{"id":"696","name":"*","chunks":[],"async":false}},"7542":{"*":{"id":"9555","name":"*","chunks":[],"async":false}},"7701":{"*":{"id":"8530","name":"*","chunks":[],"async":false}},"7780":{"*":{"id":"8664","name":"*","chunks":[],"async":false}},"9487":{"*":{"id":"6844","name":"*","chunks":[],"async":false}},"9690":{"*":{"id":"2204","name":"*","chunks":[],"async":false}},"9745":{"*":{"id":"4136","name":"*","chunks":[],"async":false}},"9922":{"*":{"id":"8033","name":"*","chunks":[],"async":false}}},"edgeSSRModuleMapping":{},"clientModules":{"/home/dx/Work/hex/node_modules/next/dist/client/components/app-router.js":{"id":5268,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/app-router.js":{"id":5268,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/client-page.js":{"id":1076,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/client-page.js":{"id":1076,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/error-boundary.js":{"id":9690,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/error-boundary.js":{"id":9690,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/layout-router.js":{"id":5276,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/layout-router.js":{"id":5276,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/not-found-boundary.js":{"id":1447,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/not-found-boundary.js":{"id":1447,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/render-from-template-context.js":{"id":3297,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/render-from-template-context.js":{"id":3297,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/globals.css":{"id":3812,"name":"*","chunks":["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-2c5383c11b1fbd97.js"],"async":false},"/home/dx/Work/hex/dashboard/components/CommandPalette.tsx":{"id":2198,"name":"*","chunks":["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-2c5383c11b1fbd97.js"],"async":false},"/home/dx/Work/hex/dashboard/components/DashboardLayout.tsx":{"id":1187,"name":"*","chunks":["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-2c5383c11b1fbd97.js"],"async":false},"/home/dx/Work/hex/node_modules/next-themes/dist/index.mjs":{"id":4595,"name":"*","chunks":["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-2c5383c11b1fbd97.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":8414,"name":"*","chunks":["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-2c5383c11b1fbd97.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":5256,"name":"*","chunks":["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-2c5383c11b1fbd97.js"],"async":false},"/home/dx/Work/hex/dashboard/app/flows/page.tsx":{"id":3443,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/diagram/page.tsx":{"id":3719,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/calls/CallsClient.tsx":{"id":3362,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/access/AccessClient.tsx":{"id":9745,"name":"*","chunks":["8452","static/chunks/8452-e616b5f43bceb95f.js","8928","static/chunks/8928-60c623ee89d2e6ad.js","2980","static/chunks/app/access/page-3668562e7464eb5d.js"],"async":false},"/home/dx/Work/hex/dashboard/app/overleaf/OverleafClient.tsx":{"id":9,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/conformance/ConformanceTable.tsx":{"id":7542,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/functions/FunctionsClient.tsx":{"id":7780,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/stats/StatsClient.tsx":{"id":9922,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/components/MarkdownRenderer.tsx":{"id":9487,"name":"*","chunks":["7397","static/chunks/7397-f6f4dddc7a20bfc1.js","7498","static/chunks/7498-ea83cb9e30ec5491.js","1931","static/chunks/app/page-1226422e170d8895.js"],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/link.js":{"id":7498,"name":"*","chunks":["7397","static/chunks/7397-f6f4dddc7a20bfc1.js","7498","static/chunks/7498-ea83cb9e30ec5491.js","1931","static/chunks/app/page-1226422e170d8895.js"],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/link.js":{"id":7498,"name":"*","chunks":["7397","static/chunks/7397-f6f4dddc7a20bfc1.js","7498","static/chunks/7498-ea83cb9e30ec5491.js","1931","static/chunks/app/page-1226422e170d8895.js"],"async":false},"/home/dx/Work/hex/dashboard/app/issues/IssuesBoardClient.tsx":{"id":7063,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/progress/ProgressClient.tsx":{"id":7701,"name":"*","chunks":[],"async":false}},"entryCSSFiles":{"/home/dx/Work/hex/dashboard/":[],"/home/dx/Work/hex/dashboard/app/layout":["static/css/691f4e9edab008c8.css"],"/home/dx/Work/hex/dashboard/app/page":[],"/home/dx/Work/hex/dashboard/app/access/page":[]}}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
(()=>{var e={};e.id=780,e.ids=[780],e.modules={7849:e=>{"use strict";e.exports=require("next/dist/client/components/action-async-storage.external")},2934:e=>{"use strict";e.exports=require("next/dist/client/components/action-async-storage.external.js")},5403:e=>{"use strict";e.exports=require("next/dist/client/components/request-async-storage.external")},4580:e=>{"use strict";e.exports=require("next/dist/client/components/request-async-storage.external.js")},4749:e=>{"use strict";e.exports=require("next/dist/client/components/static-generation-async-storage.external")},5869:e=>{"use strict";e.exports=require("next/dist/client/components/static-generation-async-storage.external.js")},399:e=>{"use strict";e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},7561:e=>{"use strict";e.exports=require("node:fs")},9411:e=>{"use strict";e.exports=require("node:path")},1017:e=>{"use strict";e.exports=require("path")},7310:e=>{"use strict";e.exports=require("url")},6872:(e,t,r)=>{"use strict";r.r(t),r.d(t,{GlobalError:()=>n.a,__next_app__:()=>u,originalPathname:()=>x,pages:()=>d,routeModule:()=>p,tree:()=>o}),r(2261),r(
|
|
1
|
+
(()=>{var e={};e.id=780,e.ids=[780],e.modules={7849:e=>{"use strict";e.exports=require("next/dist/client/components/action-async-storage.external")},2934:e=>{"use strict";e.exports=require("next/dist/client/components/action-async-storage.external.js")},5403:e=>{"use strict";e.exports=require("next/dist/client/components/request-async-storage.external")},4580:e=>{"use strict";e.exports=require("next/dist/client/components/request-async-storage.external.js")},4749:e=>{"use strict";e.exports=require("next/dist/client/components/static-generation-async-storage.external")},5869:e=>{"use strict";e.exports=require("next/dist/client/components/static-generation-async-storage.external.js")},399:e=>{"use strict";e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},7561:e=>{"use strict";e.exports=require("node:fs")},9411:e=>{"use strict";e.exports=require("node:path")},1017:e=>{"use strict";e.exports=require("path")},7310:e=>{"use strict";e.exports=require("url")},6872:(e,t,r)=>{"use strict";r.r(t),r.d(t,{GlobalError:()=>n.a,__next_app__:()=>u,originalPathname:()=>x,pages:()=>d,routeModule:()=>p,tree:()=>o}),r(2261),r(819),r(2874);var s=r(7105),a=r(5265),l=r(157),n=r.n(l),c=r(4665),i={};for(let e in c)0>["default","tree","pages","GlobalError","originalPathname","__next_app__","routeModule"].indexOf(e)&&(i[e]=()=>c[e]);r.d(t,i);let o=["",{children:["calls",{children:["__PAGE__",{},{page:[()=>Promise.resolve().then(r.bind(r,2261)),"/home/dx/Work/hex/dashboard/app/calls/page.tsx"]}]},{metadata:{icon:[async e=>(await Promise.resolve().then(r.bind(r,2950))).default(e)],apple:[],openGraph:[],twitter:[],manifest:void 0}}]},{layout:[()=>Promise.resolve().then(r.bind(r,819)),"/home/dx/Work/hex/dashboard/app/layout.tsx"],"not-found":[()=>Promise.resolve().then(r.t.bind(r,2874,23)),"next/dist/client/components/not-found-error"],metadata:{icon:[async e=>(await Promise.resolve().then(r.bind(r,2950))).default(e)],apple:[],openGraph:[],twitter:[],manifest:void 0}}],d=["/home/dx/Work/hex/dashboard/app/calls/page.tsx"],x="/calls/page",u={require:r,loadChunk:()=>Promise.resolve()},p=new s.AppPageRouteModule({definition:{kind:a.x.APP_PAGE,page:"/calls/page",pathname:"/calls",bundlePath:"",filename:"",appPaths:[]},userland:{loaderTree:o}})},5485:(e,t,r)=>{Promise.resolve().then(r.bind(r,5289))},5289:(e,t,r)=>{"use strict";r.d(t,{CallsClient:()=>i});var s=r(9899),a=r(983);let l={external:"bg-[var(--critical)]/15 text-[var(--critical)]",untrusted:"bg-[var(--critical)]/15 text-[var(--critical)]","semi-trusted":"bg-[var(--medium)]/15 text-[var(--medium)]",semi_trusted:"bg-[var(--medium)]/15 text-[var(--medium)]",trusted:"bg-[var(--success)]/15 text-[var(--success)]"};function n({trust:e}){let t=l[e.toLowerCase()]??"bg-[var(--neutral)]/15 text-[var(--neutral)]";return s.jsx("span",{className:`inline-flex items-center rounded-sm px-2 py-0.5 text-caption font-medium ${t}`,children:e})}let c=[{id:"contract",header:"Contract",accessorKey:"contract",enableColumnFilter:!0,cell:e=>s.jsx("span",{className:"font-medium text-text-primary",children:e.contract})},{id:"function",header:"Function",accessorKey:"fn",cell:e=>s.jsx("span",{className:"font-mono text-body text-text-secondary",children:e.fn})},{id:"call",header:"Call",accessorKey:"call",cell:e=>s.jsx("span",{className:"font-mono text-body text-text-secondary",children:e.call})},{id:"return_checked",header:"Return Checked",accessorKey:"return_checked",cell:e=>s.jsx("span",{className:e.return_checked?"text-[var(--success)]":"text-[var(--critical)]",children:e.return_checked?"Yes":"No"})},{id:"call_type",header:"Call Type",accessorKey:"call_type",enableColumnFilter:!0,cell:e=>s.jsx("span",{className:"inline-flex items-center rounded-sm bg-surface-3 px-2 py-0.5 text-caption text-text-secondary",children:e.call_type})},{id:"trust",header:"Trust",accessorKey:"trust",enableColumnFilter:!0,cell:e=>s.jsx(n,{trust:e.trust})}];function i({calls:e}){let t=e.map(e=>{var t;return{contract:e.contract,fn:e.function,call:`${e.target}.${e.method}()`,return_checked:!0===(t=e.return_checked.value)||"true"===t||"yes"===t,call_type:e.call_type,trust:String(e.trust_level.value)}}),r={};for(let e of t)r[e.trust]=(r[e.trust]??0)+1;let l=t.filter(e=>!e.return_checked).length;return(0,s.jsxs)("div",{children:[s.jsx("h2",{className:"mb-sp-5 text-title font-semibold text-text-primary",children:"External Calls"}),(0,s.jsxs)("p",{className:"mb-sp-3 text-body text-text-secondary",children:[t.length," external call",1!==t.length?"s":""," found"]}),(0,s.jsxs)("div",{className:"mb-sp-5 grid grid-cols-2 gap-sp-3 sm:grid-cols-4",children:[Object.entries(r).map(([e,t])=>(0,s.jsxs)("div",{className:"rounded-md border border-border-default bg-surface-2 p-sp-4",children:[s.jsx("div",{className:"text-display text-text-primary",children:t}),s.jsx("div",{className:"mt-1",children:s.jsx(n,{trust:e})})]},e)),l>0&&(0,s.jsxs)("div",{className:"rounded-md border border-[var(--critical)]/30 bg-[var(--critical)]/5 p-sp-4",children:[s.jsx("div",{className:"text-display text-[var(--critical)]",children:l}),s.jsx("div",{className:"mt-1 text-caption text-[var(--critical)]/70",children:"Unchecked returns"})]})]}),s.jsx(a.v,{columns:c,data:t,defaultOpen:!0})]})}},2261:(e,t,r)=>{"use strict";r.r(t),r.d(t,{default:()=>u,dynamic:()=>x});var s=r(5023),a=r(1720),l=r(446),n=r(2772);let c=(0,n.createProxy)(String.raw`/home/dx/Work/hex/dashboard/app/calls/CallsClient.tsx`),{__esModule:i,$$typeof:o}=c;c.default;let d=(0,n.createProxy)(String.raw`/home/dx/Work/hex/dashboard/app/calls/CallsClient.tsx#CallsClient`),x="force-dynamic";function u(){let e=(0,a.gn)("external-calls.json");return e?s.jsx(d,{calls:e.calls}):(0,s.jsxs)("div",{children:[s.jsx("h2",{className:"mb-sp-5 text-title font-semibold text-text-primary",children:"External Calls"}),s.jsx(l.v,{command:"hex calls"})]})}}};var t=require("../../webpack-runtime.js");t.C(e);var r=e=>t(t.s=e),s=t.X(0,[916,649,645,665,530,44],()=>r(6872));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/server/lib/trace/constants.js","../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../node_modules/next/package.json","../../../../../package.json","../../../package.json","../../chunks/
|
|
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/server/lib/trace/constants.js","../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../node_modules/next/package.json","../../../../../package.json","../../../package.json","../../chunks/44.js","../../chunks/530.js","../../chunks/645.js","../../chunks/649.js","../../chunks/665.js","../../chunks/916.js","../../webpack-runtime.js","page_client-reference-manifest.js"]}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
globalThis.__RSC_MANIFEST=(globalThis.__RSC_MANIFEST||{});globalThis.__RSC_MANIFEST["/calls/page"]={"moduleLoading":{"prefix":"/_next/","crossOrigin":null},"ssrModuleMapping":{"9":{"*":{"id":"6131","name":"*","chunks":[],"async":false}},"1076":{"*":{"id":"9323","name":"*","chunks":[],"async":false}},"1187":{"*":{"id":"7918","name":"*","chunks":[],"async":false}},"1447":{"*":{"id":"5915","name":"*","chunks":[],"async":false}},"2198":{"*":{"id":"9915","name":"*","chunks":[],"async":false}},"3297":{"*":{"id":"1611","name":"*","chunks":[],"async":false}},"3362":{"*":{"id":"5289","name":"*","chunks":[],"async":false}},"3443":{"*":{"id":"7406","name":"*","chunks":[],"async":false}},"3719":{"*":{"id":"526","name":"*","chunks":[],"async":false}},"4595":{"*":{"id":"1388","name":"*","chunks":[],"async":false}},"5268":{"*":{"id":"3817","name":"*","chunks":[],"async":false}},"5276":{"*":{"id":"820","name":"*","chunks":[],"async":false}},"7063":{"*":{"id":"618","name":"*","chunks":[],"async":false}},"7498":{"*":{"id":"696","name":"*","chunks":[],"async":false}},"7542":{"*":{"id":"9555","name":"*","chunks":[],"async":false}},"7701":{"*":{"id":"8530","name":"*","chunks":[],"async":false}},"7780":{"*":{"id":"8664","name":"*","chunks":[],"async":false}},"9487":{"*":{"id":"
|
|
1
|
+
globalThis.__RSC_MANIFEST=(globalThis.__RSC_MANIFEST||{});globalThis.__RSC_MANIFEST["/calls/page"]={"moduleLoading":{"prefix":"/_next/","crossOrigin":null},"ssrModuleMapping":{"9":{"*":{"id":"6131","name":"*","chunks":[],"async":false}},"1076":{"*":{"id":"9323","name":"*","chunks":[],"async":false}},"1187":{"*":{"id":"7918","name":"*","chunks":[],"async":false}},"1447":{"*":{"id":"5915","name":"*","chunks":[],"async":false}},"2198":{"*":{"id":"9915","name":"*","chunks":[],"async":false}},"3297":{"*":{"id":"1611","name":"*","chunks":[],"async":false}},"3362":{"*":{"id":"5289","name":"*","chunks":[],"async":false}},"3443":{"*":{"id":"7406","name":"*","chunks":[],"async":false}},"3719":{"*":{"id":"526","name":"*","chunks":[],"async":false}},"4595":{"*":{"id":"1388","name":"*","chunks":[],"async":false}},"5268":{"*":{"id":"3817","name":"*","chunks":[],"async":false}},"5276":{"*":{"id":"820","name":"*","chunks":[],"async":false}},"7063":{"*":{"id":"618","name":"*","chunks":[],"async":false}},"7498":{"*":{"id":"696","name":"*","chunks":[],"async":false}},"7542":{"*":{"id":"9555","name":"*","chunks":[],"async":false}},"7701":{"*":{"id":"8530","name":"*","chunks":[],"async":false}},"7780":{"*":{"id":"8664","name":"*","chunks":[],"async":false}},"9487":{"*":{"id":"6844","name":"*","chunks":[],"async":false}},"9690":{"*":{"id":"2204","name":"*","chunks":[],"async":false}},"9745":{"*":{"id":"4136","name":"*","chunks":[],"async":false}},"9922":{"*":{"id":"8033","name":"*","chunks":[],"async":false}}},"edgeSSRModuleMapping":{},"clientModules":{"/home/dx/Work/hex/node_modules/next/dist/client/components/app-router.js":{"id":5268,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/app-router.js":{"id":5268,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/client-page.js":{"id":1076,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/client-page.js":{"id":1076,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/error-boundary.js":{"id":9690,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/error-boundary.js":{"id":9690,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/layout-router.js":{"id":5276,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/layout-router.js":{"id":5276,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/not-found-boundary.js":{"id":1447,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/not-found-boundary.js":{"id":1447,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/components/render-from-template-context.js":{"id":3297,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/components/render-from-template-context.js":{"id":3297,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/globals.css":{"id":3812,"name":"*","chunks":["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-2c5383c11b1fbd97.js"],"async":false},"/home/dx/Work/hex/dashboard/components/CommandPalette.tsx":{"id":2198,"name":"*","chunks":["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-2c5383c11b1fbd97.js"],"async":false},"/home/dx/Work/hex/dashboard/components/DashboardLayout.tsx":{"id":1187,"name":"*","chunks":["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-2c5383c11b1fbd97.js"],"async":false},"/home/dx/Work/hex/node_modules/next-themes/dist/index.mjs":{"id":4595,"name":"*","chunks":["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-2c5383c11b1fbd97.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":8414,"name":"*","chunks":["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-2c5383c11b1fbd97.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":5256,"name":"*","chunks":["7498","static/chunks/7498-ea83cb9e30ec5491.js","3185","static/chunks/app/layout-2c5383c11b1fbd97.js"],"async":false},"/home/dx/Work/hex/dashboard/app/flows/page.tsx":{"id":3443,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/diagram/page.tsx":{"id":3719,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/calls/CallsClient.tsx":{"id":3362,"name":"*","chunks":["8452","static/chunks/8452-e616b5f43bceb95f.js","1780","static/chunks/app/calls/page-d07f5b8664cc8303.js"],"async":false},"/home/dx/Work/hex/dashboard/app/access/AccessClient.tsx":{"id":9745,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/overleaf/OverleafClient.tsx":{"id":9,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/conformance/ConformanceTable.tsx":{"id":7542,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/functions/FunctionsClient.tsx":{"id":7780,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/stats/StatsClient.tsx":{"id":9922,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/components/MarkdownRenderer.tsx":{"id":9487,"name":"*","chunks":["7397","static/chunks/7397-f6f4dddc7a20bfc1.js","7498","static/chunks/7498-ea83cb9e30ec5491.js","1931","static/chunks/app/page-1226422e170d8895.js"],"async":false},"/home/dx/Work/hex/node_modules/next/dist/client/link.js":{"id":7498,"name":"*","chunks":["7397","static/chunks/7397-f6f4dddc7a20bfc1.js","7498","static/chunks/7498-ea83cb9e30ec5491.js","1931","static/chunks/app/page-1226422e170d8895.js"],"async":false},"/home/dx/Work/hex/node_modules/next/dist/esm/client/link.js":{"id":7498,"name":"*","chunks":["7397","static/chunks/7397-f6f4dddc7a20bfc1.js","7498","static/chunks/7498-ea83cb9e30ec5491.js","1931","static/chunks/app/page-1226422e170d8895.js"],"async":false},"/home/dx/Work/hex/dashboard/app/issues/IssuesBoardClient.tsx":{"id":7063,"name":"*","chunks":[],"async":false},"/home/dx/Work/hex/dashboard/app/progress/ProgressClient.tsx":{"id":7701,"name":"*","chunks":[],"async":false}},"entryCSSFiles":{"/home/dx/Work/hex/dashboard/":[],"/home/dx/Work/hex/dashboard/app/layout":["static/css/691f4e9edab008c8.css"],"/home/dx/Work/hex/dashboard/app/page":[],"/home/dx/Work/hex/dashboard/app/calls/page":[]}}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
(()=>{var e={};e.id=464,e.ids=[464],e.modules={7849:e=>{"use strict";e.exports=require("next/dist/client/components/action-async-storage.external")},2934:e=>{"use strict";e.exports=require("next/dist/client/components/action-async-storage.external.js")},5403:e=>{"use strict";e.exports=require("next/dist/client/components/request-async-storage.external")},4580:e=>{"use strict";e.exports=require("next/dist/client/components/request-async-storage.external.js")},4749:e=>{"use strict";e.exports=require("next/dist/client/components/static-generation-async-storage.external")},5869:e=>{"use strict";e.exports=require("next/dist/client/components/static-generation-async-storage.external.js")},399:e=>{"use strict";e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},7561:e=>{"use strict";e.exports=require("node:fs")},9411:e=>{"use strict";e.exports=require("node:path")},1017:e=>{"use strict";e.exports=require("path")},7310:e=>{"use strict";e.exports=require("url")},6250:(e,t,s)=>{"use strict";s.r(t),s.d(t,{GlobalError:()=>c.a,__next_app__:()=>p,originalPathname:()=>u,pages:()=>d,routeModule:()=>x,tree:()=>l}),s(2397),s(8116),s(2874);var r=s(7105),n=s(5265),a=s(157),c=s.n(a),i=s(4665),o={};for(let e in i)0>["default","tree","pages","GlobalError","originalPathname","__next_app__","routeModule"].indexOf(e)&&(o[e]=()=>i[e]);s.d(t,o);let l=["",{children:["conformance",{children:["__PAGE__",{},{page:[()=>Promise.resolve().then(s.bind(s,2397)),"/home/dx/Work/hex/dashboard/app/conformance/page.tsx"]}]},{metadata:{icon:[async e=>(await Promise.resolve().then(s.bind(s,2950))).default(e)],apple:[],openGraph:[],twitter:[],manifest:void 0}}]},{layout:[()=>Promise.resolve().then(s.bind(s,8116)),"/home/dx/Work/hex/dashboard/app/layout.tsx"],"not-found":[()=>Promise.resolve().then(s.t.bind(s,2874,23)),"next/dist/client/components/not-found-error"],metadata:{icon:[async e=>(await Promise.resolve().then(s.bind(s,2950))).default(e)],apple:[],openGraph:[],twitter:[],manifest:void 0}}],d=["/home/dx/Work/hex/dashboard/app/conformance/page.tsx"],u="/conformance/page",p={require:s,loadChunk:()=>Promise.resolve()},x=new r.AppPageRouteModule({definition:{kind:n.x.APP_PAGE,page:"/conformance/page",pathname:"/conformance",bundlePath:"",filename:"",appPaths:[]},userland:{loaderTree:l}})},4244:(e,t,s)=>{Promise.resolve().then(s.bind(s,9555))},9555:(e,t,s)=>{"use strict";s.d(t,{ConformanceTable:()=>l});var r=s(9899),n=s(5507);let a={DEVIATES:"bg-[var(--critical)]/18 text-[var(--critical)]",PARTIAL:"bg-[var(--medium)]/18 text-[var(--medium)]",UNVERIFIABLE:"bg-accent/18 text-accent",UNDOCUMENTED:"bg-[var(--neutral)]/18 text-[var(--neutral)]",CONFORMS:"bg-[var(--success)]/18 text-[var(--success)]"},c={DEVIATES:"bg-[var(--critical)]/5",PARTIAL:"bg-[var(--medium)]/5",UNVERIFIABLE:"bg-accent/5",UNDOCUMENTED:"bg-surface-1",CONFORMS:"bg-[var(--success)]/5"},i={Critical:"bg-[var(--critical)]/18 text-[var(--critical)]",High:"bg-[var(--high)]/18 text-[var(--high)]",Medium:"bg-[var(--medium)]/18 text-[var(--medium)]",Low:"bg-[var(--low)]/18 text-[var(--low)]",Info:"bg-[var(--info)]/18 text-[var(--info)]"},o={external_docs:"Docs",natspec:"NatSpec",interface:"Interface",erc_eip:"ERC/EIP"};function l({checks:e}){let[t,s]=(0,n.useState)(new Set),[l,d]=(0,n.useState)(null);function u(e){s(t=>{let s=new Set(t);return s.has(e)?s.delete(e):s.add(e),s})}let p=l?e.filter(e=>e.status===l):e;return(0,r.jsxs)("div",{children:[(0,r.jsxs)("div",{className:"mb-sp-3 flex flex-wrap gap-1",children:[r.jsx("button",{type:"button",onClick:()=>d(null),"aria-pressed":!l,className:`rounded-md px-3 py-1.5 text-caption font-medium focus-visible:outline focus-visible:outline-2 focus-visible:outline-offset-2 focus-visible:outline-accent ${l?"bg-surface-3 text-text-secondary hover:text-text-primary":"bg-accent text-surface-0"}`,children:"All"}),["DEVIATES","PARTIAL","UNVERIFIABLE","UNDOCUMENTED","CONFORMS"].map(t=>{let s=e.filter(e=>e.status===t).length;if(0===s)return null;let n=l===t;return(0,r.jsxs)("button",{type:"button",onClick:()=>d(n?null:t),"aria-pressed":n,className:`rounded-md px-3 py-1.5 text-caption font-medium focus-visible:outline focus-visible:outline-2 focus-visible:outline-offset-2 focus-visible:outline-accent ${n?"bg-accent text-surface-0":"bg-surface-3 text-text-secondary hover:text-text-primary"}`,children:[t," ",r.jsx("span",{className:"opacity-60",children:s})]},t)})]}),r.jsx("div",{className:"overflow-x-auto rounded-md border border-border-default",children:(0,r.jsxs)("table",{className:"w-full text-left text-body",children:[r.jsx("thead",{className:"border-b border-border-default bg-surface-2 text-caption font-medium uppercase tracking-wider text-text-tertiary",children:(0,r.jsxs)("tr",{children:[r.jsx("th",{scope:"col",className:"w-8 px-2 py-sp-2"}),r.jsx("th",{scope:"col",className:"w-24 px-sp-4 py-sp-2",children:"ID"}),r.jsx("th",{scope:"col",className:"px-sp-4 py-sp-2",children:"Requirement"}),r.jsx("th",{scope:"col",className:"w-32 px-sp-4 py-sp-2",children:"Status"}),r.jsx("th",{scope:"col",className:"w-24 px-sp-4 py-sp-2",children:"Source"})]})}),r.jsx("tbody",{className:"divide-y divide-border-subtle",children:p.map(e=>{let s=t.has(e.id),l=a[e.status]??a.UNDOCUMENTED,d=c[e.status]??c.UNDOCUMENTED;return(0,r.jsxs)(n.Fragment,{children:[(0,r.jsxs)("tr",{role:"button",tabIndex:0,"aria-expanded":s,onClick:()=>u(e.id),onKeyDown:t=>{("Enter"===t.key||" "===t.key)&&(t.preventDefault(),u(e.id))},className:`${d} cursor-pointer hover:bg-surface-3`,children:[r.jsx("td",{className:"w-8 px-2 py-sp-2 text-text-tertiary",children:r.jsx("svg",{"aria-hidden":"true",className:`h-4 w-4 ${s?"rotate-90":""}`,fill:"none",viewBox:"0 0 24 24",stroke:"currentColor",strokeWidth:2,children:r.jsx("path",{strokeLinecap:"round",strokeLinejoin:"round",d:"m9 5 7 7-7 7"})})}),r.jsx("td",{className:"whitespace-nowrap px-sp-4 py-sp-2 font-mono text-caption text-text-secondary",children:e.id}),r.jsx("td",{className:"px-sp-4 py-sp-2 text-text-primary",children:e.requirement}),r.jsx("td",{className:"px-sp-4 py-sp-2",children:r.jsx("span",{className:`inline-flex items-center rounded-sm px-2 py-0.5 text-caption font-medium ${l}`,children:e.status})}),r.jsx("td",{className:"px-sp-4 py-sp-2 text-caption text-text-tertiary",children:e.source?o[e.source]??e.source:e.spec_section??"-"})]}),s&&r.jsx("tr",{className:`${d}`,children:(0,r.jsxs)("td",{colSpan:5,className:"bg-surface-0 px-sp-6 py-sp-4",children:[(0,r.jsxs)("div",{className:"text-body text-text-secondary",children:[r.jsx("h4",{className:"mb-sp-2 text-caption font-medium uppercase text-text-tertiary",children:"Details"}),r.jsx("p",{className:"whitespace-pre-wrap",children:e.details})]}),(0,r.jsxs)("div",{className:"mt-sp-3 flex flex-wrap gap-sp-3",children:[e.confidence&&(0,r.jsxs)("div",{children:[r.jsx("span",{className:"text-caption text-text-tertiary",children:"Confidence: "}),r.jsx("span",{className:"text-caption text-text-secondary",children:e.confidence})]}),e.severity_hint&&(0,r.jsxs)("div",{children:[r.jsx("span",{className:"text-caption text-text-tertiary",children:"Severity: "}),r.jsx("span",{className:`inline-flex items-center rounded-sm px-2 py-0.5 text-caption font-medium ${i[e.severity_hint]??i.Info}`,children:e.severity_hint})]}),e.code_location&&(0,r.jsxs)("div",{children:[r.jsx("span",{className:"text-caption text-text-tertiary",children:"Location: "}),(0,r.jsxs)("code",{className:"rounded-sm bg-surface-3 px-1.5 py-0.5 text-caption text-text-secondary",children:[e.code_location.file,":",e.code_location.line_start,e.code_location.line_end!==e.code_location.line_start&&`-${e.code_location.line_end}`]})]}),e.spec_url&&(0,r.jsxs)("div",{children:[r.jsx("span",{className:"text-caption text-text-tertiary",children:"Spec: "}),r.jsx("a",{href:e.spec_url,target:"_blank",rel:"noopener noreferrer",className:"text-caption text-accent hover:underline focus-visible:outline focus-visible:outline-2 focus-visible:outline-offset-2 focus-visible:outline-accent rounded-sm",children:e.spec_anchor??e.spec_url.replace(/^https?:\/\//,"")})]})]})]})})]},e.id)})})]})})]})}},2397:(e,t,s)=>{"use strict";s.r(t),s.d(t,{default:()=>f,dynamic:()=>x});var r=s(5023),n=s(1720),a=s(446);let c={DEVIATES:"bg-[var(--critical)]",PARTIAL:"bg-[var(--medium)]",UNVERIFIABLE:"bg-accent",UNDOCUMENTED:"bg-[var(--neutral)]",CONFORMS:"bg-[var(--success)]"},i={DEVIATES:"text-[var(--critical)]",PARTIAL:"text-[var(--medium)]",UNVERIFIABLE:"text-accent",UNDOCUMENTED:"text-text-secondary",CONFORMS:"text-[var(--success)]"};var o=s(2772);let l=(0,o.createProxy)(String.raw`/home/dx/Work/hex/dashboard/app/conformance/ConformanceTable.tsx`),{__esModule:d,$$typeof:u}=l;l.default;let p=(0,o.createProxy)(String.raw`/home/dx/Work/hex/dashboard/app/conformance/ConformanceTable.tsx#ConformanceTable`),x="force-dynamic",m={DEVIATES:0,PARTIAL:1,UNVERIFIABLE:2,UNDOCUMENTED:3,CONFORMS:4};function f(){let e;let t=(0,n.gn)("spec-conformance.json");if(!t)return(0,r.jsxs)("div",{children:[r.jsx("h2",{className:"mb-sp-5 text-title font-semibold text-text-primary",children:"Spec Conformance"}),r.jsx(a.v,{command:"Use the check-spec-conformance skill"})]});(e=t.items?t.items.map(e=>{let t=e.spec_location??{},s="string"==typeof t.url?t.url:void 0,r="string"==typeof t.section?t.section:void 0;return{id:e.id,requirement:e.spec_text,status:e.status,details:e.finding,spec_section:e.source??"-",confidence:e.confidence,source:e.source,severity_hint:e.severity_hint,code_location:e.code_location,spec_url:s,spec_anchor:r}}):t.checks?t.checks.map(e=>({id:e.id,requirement:e.requirement,status:e.status,details:e.details,spec_section:e.spec_section??"-",confidence:e.confidence})):[]).sort((e,t)=>(m[e.status]??99)-(m[t.status]??99));let s=t.summary??{total_checks:e.length,conforms:e.filter(e=>"CONFORMS"===e.status).length,deviates:e.filter(e=>"DEVIATES"===e.status).length,partial:e.filter(e=>"PARTIAL"===e.status).length,unverifiable:e.filter(e=>"UNVERIFIABLE"===e.status).length,undocumented:e.filter(e=>"UNDOCUMENTED"===e.status).length},o=[{status:"DEVIATES",count:s.deviates},{status:"PARTIAL",count:s.partial},{status:"UNVERIFIABLE",count:s.unverifiable},{status:"UNDOCUMENTED",count:s.undocumented},{status:"CONFORMS",count:s.conforms}];return(0,r.jsxs)("div",{children:[r.jsx("h2",{className:"mb-sp-5 text-title font-semibold text-text-primary",children:"Spec Conformance"}),r.jsx("div",{className:"mb-sp-5 flex flex-wrap gap-sp-3",children:o.map(({status:e,count:t})=>(0,r.jsxs)("div",{className:"flex items-center gap-2 rounded-md border border-border-default bg-surface-2 px-sp-4 py-sp-2",children:[r.jsx("span",{className:`inline-block h-2.5 w-2.5 rounded-full ${c[e]}`}),r.jsx("span",{className:`text-caption font-medium ${i[e]}`,children:e}),r.jsx("span",{className:"text-heading font-semibold text-text-primary",children:t})]},e))}),(0,r.jsxs)("p",{className:"mb-sp-3 text-body text-text-secondary",children:[s.total_checks," conformance check",1!==s.total_checks?"s":"",t.sources_checked&&(0,r.jsxs)("span",{className:"ml-2 text-text-tertiary",children:["(sources: ",Object.entries(t.sources_checked).filter(([,e])=>!0===e||Array.isArray(e)&&e.length>0).map(([e])=>e.replace(/_/g," ")).join(", "),")"]})]}),r.jsx(p,{checks:e})]})}},446:(e,t,s)=>{"use strict";s.d(t,{v:()=>n});var r=s(5023);function n({command:e}){return(0,r.jsxs)("div",{className:"flex flex-col items-center justify-center border border-dashed border-border-default bg-surface-1 px-sp-5 py-sp-8 text-center",style:{borderRadius:"var(--radius-sm)"},children:[r.jsx("svg",{className:"mb-4 h-12 w-12 text-text-tertiary",fill:"none",viewBox:"0 0 24 24",stroke:"currentColor",strokeWidth:1.5,children:r.jsx("path",{strokeLinecap:"round",strokeLinejoin:"round",d:"M19.5 14.25v-2.625a3.375 3.375 0 0 0-3.375-3.375h-1.5A1.125 1.125 0 0 1 13.5 7.125v-1.5a3.375 3.375 0 0 0-3.375-3.375H8.25m6.75 12H9.75m3 0H9.75m0 0v3m-3-6h1.5m-1.5 0v3m6-6h.008v.008H15V9.75Z"})}),r.jsx("h3",{className:"mb-2 text-heading font-medium text-text-primary",children:"Data not yet generated"}),r.jsx("p",{className:"mb-4 text-body text-text-secondary",children:"Run the following command to generate this data:"}),r.jsx("code",{className:"border border-border-default bg-surface-0 px-sp-4 py-sp-2 font-mono text-body text-accent",style:{borderRadius:"var(--radius-sm)"},children:e})]})}},1720:(e,t,s)=>{"use strict";s.d(t,{ki:()=>x,ZN:()=>m,J1:()=>f,gn:()=>d,ws:()=>u,V9:()=>h,au:()=>p});var r=s(7561),n=s.n(r),a=s(9411),c=s.n(a);let i=[".hex",".solaudit","solaudit-output"];function o(e){return e.replace(/\\/g,"/")}function l(){try{let e=function(e=process.cwd()){let t=c().resolve(e);for(;;){let e=function(e){for(let t of[...i.map(t=>c().join(e,t,"config.json")),c().join(e,"config.json")])if(n().existsSync(t))return o(t);return null}(t);if(e)return o(c().dirname(e));let s=c().dirname(t);if(s===t)return null;t=s}}(process.cwd());if(e)return e}catch{}return c().join(process.cwd(),".hex")}function d(e){try{let t=c().join(l(),e),s=n().readFileSync(t,"utf-8");return JSON.parse(s)}catch{return null}}function u(e){try{let t=c().join(l(),e);return n().readFileSync(t,"utf-8")}catch{return null}}function p(e,t){let s=c().join(l(),e);n().writeFileSync(s,JSON.stringify(t,null,2),"utf-8")}function x(e){try{let t=c().join(l(),e);return n().existsSync(t)}catch{return!1}}function m(){return l()}function f(e){try{let t=c().join(l(),e);if(!n().existsSync(t))return[];return n().readdirSync(t,{withFileTypes:!0}).filter(e=>e.isDirectory()).map(e=>e.name)}catch{return[]}}function h(e){try{let t=c().join(l(),e),s=n().readFileSync(t,"utf-8");return JSON.parse(s)}catch{return null}}},2950:(e,t,s)=>{"use strict";s.r(t),s.d(t,{default:()=>n});var r=s(1645);let n=e=>[{type:"image/svg+xml",sizes:"any",url:(0,r.fillMetadataSegment)(".",e.params,"icon.svg")+"?83fa4bf1ef0d214d"}]}};var t=require("../../webpack-runtime.js");t.C(e);var s=e=>t(t.s=e),r=t.X(0,[916,649,645,431],()=>s(6250));module.exports=r})();
|
|
1
|
+
(()=>{var e={};e.id=464,e.ids=[464],e.modules={7849:e=>{"use strict";e.exports=require("next/dist/client/components/action-async-storage.external")},2934:e=>{"use strict";e.exports=require("next/dist/client/components/action-async-storage.external.js")},5403:e=>{"use strict";e.exports=require("next/dist/client/components/request-async-storage.external")},4580:e=>{"use strict";e.exports=require("next/dist/client/components/request-async-storage.external.js")},4749:e=>{"use strict";e.exports=require("next/dist/client/components/static-generation-async-storage.external")},5869:e=>{"use strict";e.exports=require("next/dist/client/components/static-generation-async-storage.external.js")},399:e=>{"use strict";e.exports=require("next/dist/compiled/next-server/app-page.runtime.prod.js")},7561:e=>{"use strict";e.exports=require("node:fs")},9411:e=>{"use strict";e.exports=require("node:path")},1017:e=>{"use strict";e.exports=require("path")},7310:e=>{"use strict";e.exports=require("url")},6250:(e,t,s)=>{"use strict";s.r(t),s.d(t,{GlobalError:()=>c.a,__next_app__:()=>p,originalPathname:()=>u,pages:()=>d,routeModule:()=>x,tree:()=>l}),s(2397),s(819),s(2874);var r=s(7105),n=s(5265),a=s(157),c=s.n(a),i=s(4665),o={};for(let e in i)0>["default","tree","pages","GlobalError","originalPathname","__next_app__","routeModule"].indexOf(e)&&(o[e]=()=>i[e]);s.d(t,o);let l=["",{children:["conformance",{children:["__PAGE__",{},{page:[()=>Promise.resolve().then(s.bind(s,2397)),"/home/dx/Work/hex/dashboard/app/conformance/page.tsx"]}]},{metadata:{icon:[async e=>(await Promise.resolve().then(s.bind(s,2950))).default(e)],apple:[],openGraph:[],twitter:[],manifest:void 0}}]},{layout:[()=>Promise.resolve().then(s.bind(s,819)),"/home/dx/Work/hex/dashboard/app/layout.tsx"],"not-found":[()=>Promise.resolve().then(s.t.bind(s,2874,23)),"next/dist/client/components/not-found-error"],metadata:{icon:[async e=>(await Promise.resolve().then(s.bind(s,2950))).default(e)],apple:[],openGraph:[],twitter:[],manifest:void 0}}],d=["/home/dx/Work/hex/dashboard/app/conformance/page.tsx"],u="/conformance/page",p={require:s,loadChunk:()=>Promise.resolve()},x=new r.AppPageRouteModule({definition:{kind:n.x.APP_PAGE,page:"/conformance/page",pathname:"/conformance",bundlePath:"",filename:"",appPaths:[]},userland:{loaderTree:l}})},4244:(e,t,s)=>{Promise.resolve().then(s.bind(s,9555))},9555:(e,t,s)=>{"use strict";s.d(t,{ConformanceTable:()=>l});var r=s(9899),n=s(5507);let a={DEVIATES:"bg-[var(--critical)]/18 text-[var(--critical)]",PARTIAL:"bg-[var(--medium)]/18 text-[var(--medium)]",UNVERIFIABLE:"bg-accent/18 text-accent",UNDOCUMENTED:"bg-[var(--neutral)]/18 text-[var(--neutral)]",CONFORMS:"bg-[var(--success)]/18 text-[var(--success)]"},c={DEVIATES:"bg-[var(--critical)]/5",PARTIAL:"bg-[var(--medium)]/5",UNVERIFIABLE:"bg-accent/5",UNDOCUMENTED:"bg-surface-1",CONFORMS:"bg-[var(--success)]/5"},i={Critical:"bg-[var(--critical)]/18 text-[var(--critical)]",High:"bg-[var(--high)]/18 text-[var(--high)]",Medium:"bg-[var(--medium)]/18 text-[var(--medium)]",Low:"bg-[var(--low)]/18 text-[var(--low)]",Info:"bg-[var(--info)]/18 text-[var(--info)]"},o={external_docs:"Docs",natspec:"NatSpec",interface:"Interface",erc_eip:"ERC/EIP"};function l({checks:e}){let[t,s]=(0,n.useState)(new Set),[l,d]=(0,n.useState)(null);function u(e){s(t=>{let s=new Set(t);return s.has(e)?s.delete(e):s.add(e),s})}let p=l?e.filter(e=>e.status===l):e;return(0,r.jsxs)("div",{children:[(0,r.jsxs)("div",{className:"mb-sp-3 flex flex-wrap gap-1",children:[r.jsx("button",{type:"button",onClick:()=>d(null),"aria-pressed":!l,className:`rounded-md px-3 py-1.5 text-caption font-medium focus-visible:outline focus-visible:outline-2 focus-visible:outline-offset-2 focus-visible:outline-accent ${l?"bg-surface-3 text-text-secondary hover:text-text-primary":"bg-accent text-surface-0"}`,children:"All"}),["DEVIATES","PARTIAL","UNVERIFIABLE","UNDOCUMENTED","CONFORMS"].map(t=>{let s=e.filter(e=>e.status===t).length;if(0===s)return null;let n=l===t;return(0,r.jsxs)("button",{type:"button",onClick:()=>d(n?null:t),"aria-pressed":n,className:`rounded-md px-3 py-1.5 text-caption font-medium focus-visible:outline focus-visible:outline-2 focus-visible:outline-offset-2 focus-visible:outline-accent ${n?"bg-accent text-surface-0":"bg-surface-3 text-text-secondary hover:text-text-primary"}`,children:[t," ",r.jsx("span",{className:"opacity-60",children:s})]},t)})]}),r.jsx("div",{className:"overflow-x-auto rounded-md border border-border-default",children:(0,r.jsxs)("table",{className:"w-full text-left text-body",children:[r.jsx("thead",{className:"border-b border-border-default bg-surface-2 text-caption font-medium uppercase tracking-wider text-text-tertiary",children:(0,r.jsxs)("tr",{children:[r.jsx("th",{scope:"col",className:"w-8 px-2 py-sp-2"}),r.jsx("th",{scope:"col",className:"w-24 px-sp-4 py-sp-2",children:"ID"}),r.jsx("th",{scope:"col",className:"px-sp-4 py-sp-2",children:"Requirement"}),r.jsx("th",{scope:"col",className:"w-32 px-sp-4 py-sp-2",children:"Status"}),r.jsx("th",{scope:"col",className:"w-24 px-sp-4 py-sp-2",children:"Source"})]})}),r.jsx("tbody",{className:"divide-y divide-border-subtle",children:p.map(e=>{let s=t.has(e.id),l=a[e.status]??a.UNDOCUMENTED,d=c[e.status]??c.UNDOCUMENTED;return(0,r.jsxs)(n.Fragment,{children:[(0,r.jsxs)("tr",{role:"button",tabIndex:0,"aria-expanded":s,onClick:()=>u(e.id),onKeyDown:t=>{("Enter"===t.key||" "===t.key)&&(t.preventDefault(),u(e.id))},className:`${d} cursor-pointer hover:bg-surface-3`,children:[r.jsx("td",{className:"w-8 px-2 py-sp-2 text-text-tertiary",children:r.jsx("svg",{"aria-hidden":"true",className:`h-4 w-4 ${s?"rotate-90":""}`,fill:"none",viewBox:"0 0 24 24",stroke:"currentColor",strokeWidth:2,children:r.jsx("path",{strokeLinecap:"round",strokeLinejoin:"round",d:"m9 5 7 7-7 7"})})}),r.jsx("td",{className:"whitespace-nowrap px-sp-4 py-sp-2 font-mono text-caption text-text-secondary",children:e.id}),r.jsx("td",{className:"px-sp-4 py-sp-2 text-text-primary",children:e.requirement}),r.jsx("td",{className:"px-sp-4 py-sp-2",children:r.jsx("span",{className:`inline-flex items-center rounded-sm px-2 py-0.5 text-caption font-medium ${l}`,children:e.status})}),r.jsx("td",{className:"px-sp-4 py-sp-2 text-caption text-text-tertiary",children:e.source?o[e.source]??e.source:e.spec_section??"-"})]}),s&&r.jsx("tr",{className:`${d}`,children:(0,r.jsxs)("td",{colSpan:5,className:"bg-surface-0 px-sp-6 py-sp-4",children:[(0,r.jsxs)("div",{className:"text-body text-text-secondary",children:[r.jsx("h4",{className:"mb-sp-2 text-caption font-medium uppercase text-text-tertiary",children:"Details"}),r.jsx("p",{className:"whitespace-pre-wrap",children:e.details})]}),(0,r.jsxs)("div",{className:"mt-sp-3 flex flex-wrap gap-sp-3",children:[e.confidence&&(0,r.jsxs)("div",{children:[r.jsx("span",{className:"text-caption text-text-tertiary",children:"Confidence: "}),r.jsx("span",{className:"text-caption text-text-secondary",children:e.confidence})]}),e.severity_hint&&(0,r.jsxs)("div",{children:[r.jsx("span",{className:"text-caption text-text-tertiary",children:"Severity: "}),r.jsx("span",{className:`inline-flex items-center rounded-sm px-2 py-0.5 text-caption font-medium ${i[e.severity_hint]??i.Info}`,children:e.severity_hint})]}),e.code_location&&(0,r.jsxs)("div",{children:[r.jsx("span",{className:"text-caption text-text-tertiary",children:"Location: "}),(0,r.jsxs)("code",{className:"rounded-sm bg-surface-3 px-1.5 py-0.5 text-caption text-text-secondary",children:[e.code_location.file,":",e.code_location.line_start,e.code_location.line_end!==e.code_location.line_start&&`-${e.code_location.line_end}`]})]}),e.spec_url&&(0,r.jsxs)("div",{children:[r.jsx("span",{className:"text-caption text-text-tertiary",children:"Spec: "}),r.jsx("a",{href:e.spec_url,target:"_blank",rel:"noopener noreferrer",className:"text-caption text-accent hover:underline focus-visible:outline focus-visible:outline-2 focus-visible:outline-offset-2 focus-visible:outline-accent rounded-sm",children:e.spec_anchor??e.spec_url.replace(/^https?:\/\//,"")})]})]})]})})]},e.id)})})]})})]})}},2397:(e,t,s)=>{"use strict";s.r(t),s.d(t,{default:()=>f,dynamic:()=>x});var r=s(5023),n=s(1720),a=s(446);let c={DEVIATES:"bg-[var(--critical)]",PARTIAL:"bg-[var(--medium)]",UNVERIFIABLE:"bg-accent",UNDOCUMENTED:"bg-[var(--neutral)]",CONFORMS:"bg-[var(--success)]"},i={DEVIATES:"text-[var(--critical)]",PARTIAL:"text-[var(--medium)]",UNVERIFIABLE:"text-accent",UNDOCUMENTED:"text-text-secondary",CONFORMS:"text-[var(--success)]"};var o=s(2772);let l=(0,o.createProxy)(String.raw`/home/dx/Work/hex/dashboard/app/conformance/ConformanceTable.tsx`),{__esModule:d,$$typeof:u}=l;l.default;let p=(0,o.createProxy)(String.raw`/home/dx/Work/hex/dashboard/app/conformance/ConformanceTable.tsx#ConformanceTable`),x="force-dynamic",m={DEVIATES:0,PARTIAL:1,UNVERIFIABLE:2,UNDOCUMENTED:3,CONFORMS:4};function f(){let e;let t=(0,n.gn)("spec-conformance.json");if(!t)return(0,r.jsxs)("div",{children:[r.jsx("h2",{className:"mb-sp-5 text-title font-semibold text-text-primary",children:"Spec Conformance"}),r.jsx(a.v,{command:"Use the check-spec-conformance skill"})]});(e=t.items?t.items.map(e=>{let t=e.spec_location??{},s="string"==typeof t.url?t.url:void 0,r="string"==typeof t.section?t.section:void 0;return{id:e.id,requirement:e.spec_text,status:e.status,details:e.finding,spec_section:e.source??"-",confidence:e.confidence,source:e.source,severity_hint:e.severity_hint,code_location:e.code_location,spec_url:s,spec_anchor:r}}):t.checks?t.checks.map(e=>({id:e.id,requirement:e.requirement,status:e.status,details:e.details,spec_section:e.spec_section??"-",confidence:e.confidence})):[]).sort((e,t)=>(m[e.status]??99)-(m[t.status]??99));let s=t.summary??{total_checks:e.length,conforms:e.filter(e=>"CONFORMS"===e.status).length,deviates:e.filter(e=>"DEVIATES"===e.status).length,partial:e.filter(e=>"PARTIAL"===e.status).length,unverifiable:e.filter(e=>"UNVERIFIABLE"===e.status).length,undocumented:e.filter(e=>"UNDOCUMENTED"===e.status).length},o=[{status:"DEVIATES",count:s.deviates},{status:"PARTIAL",count:s.partial},{status:"UNVERIFIABLE",count:s.unverifiable},{status:"UNDOCUMENTED",count:s.undocumented},{status:"CONFORMS",count:s.conforms}];return(0,r.jsxs)("div",{children:[r.jsx("h2",{className:"mb-sp-5 text-title font-semibold text-text-primary",children:"Spec Conformance"}),r.jsx("div",{className:"mb-sp-5 flex flex-wrap gap-sp-3",children:o.map(({status:e,count:t})=>(0,r.jsxs)("div",{className:"flex items-center gap-2 rounded-md border border-border-default bg-surface-2 px-sp-4 py-sp-2",children:[r.jsx("span",{className:`inline-block h-2.5 w-2.5 rounded-full ${c[e]}`}),r.jsx("span",{className:`text-caption font-medium ${i[e]}`,children:e}),r.jsx("span",{className:"text-heading font-semibold text-text-primary",children:t})]},e))}),(0,r.jsxs)("p",{className:"mb-sp-3 text-body text-text-secondary",children:[s.total_checks," conformance check",1!==s.total_checks?"s":"",t.sources_checked&&(0,r.jsxs)("span",{className:"ml-2 text-text-tertiary",children:["(sources: ",Object.entries(t.sources_checked).filter(([,e])=>!0===e||Array.isArray(e)&&e.length>0).map(([e])=>e.replace(/_/g," ")).join(", "),")"]})]}),r.jsx(p,{checks:e})]})}},446:(e,t,s)=>{"use strict";s.d(t,{v:()=>n});var r=s(5023);function n({command:e}){return(0,r.jsxs)("div",{className:"flex flex-col items-center justify-center border border-dashed border-border-default bg-surface-1 px-sp-5 py-sp-8 text-center",style:{borderRadius:"var(--radius-sm)"},children:[r.jsx("svg",{className:"mb-4 h-12 w-12 text-text-tertiary",fill:"none",viewBox:"0 0 24 24",stroke:"currentColor",strokeWidth:1.5,children:r.jsx("path",{strokeLinecap:"round",strokeLinejoin:"round",d:"M19.5 14.25v-2.625a3.375 3.375 0 0 0-3.375-3.375h-1.5A1.125 1.125 0 0 1 13.5 7.125v-1.5a3.375 3.375 0 0 0-3.375-3.375H8.25m6.75 12H9.75m3 0H9.75m0 0v3m-3-6h1.5m-1.5 0v3m6-6h.008v.008H15V9.75Z"})}),r.jsx("h3",{className:"mb-2 text-heading font-medium text-text-primary",children:"Data not yet generated"}),r.jsx("p",{className:"mb-4 text-body text-text-secondary",children:"Run the following command to generate this data:"}),r.jsx("code",{className:"border border-border-default bg-surface-0 px-sp-4 py-sp-2 font-mono text-body text-accent",style:{borderRadius:"var(--radius-sm)"},children:e})]})}},1720:(e,t,s)=>{"use strict";s.d(t,{ki:()=>x,ZN:()=>m,J1:()=>f,gn:()=>d,ws:()=>u,V9:()=>h,au:()=>p});var r=s(7561),n=s.n(r),a=s(9411),c=s.n(a);let i=[".hex",".solaudit","solaudit-output"];function o(e){return e.replace(/\\/g,"/")}function l(){try{let e=function(e=process.cwd()){let t=c().resolve(e);for(;;){let e=function(e){for(let t of[...i.map(t=>c().join(e,t,"config.json")),c().join(e,"config.json")])if(n().existsSync(t))return o(t);return null}(t);if(e)return o(c().dirname(e));let s=c().dirname(t);if(s===t)return null;t=s}}(process.cwd());if(e)return e}catch{}return c().join(process.cwd(),".hex")}function d(e){try{let t=c().join(l(),e),s=n().readFileSync(t,"utf-8");return JSON.parse(s)}catch{return null}}function u(e){try{let t=c().join(l(),e);return n().readFileSync(t,"utf-8")}catch{return null}}function p(e,t){let s=c().join(l(),e);n().writeFileSync(s,JSON.stringify(t,null,2),"utf-8")}function x(e){try{let t=c().join(l(),e);return n().existsSync(t)}catch{return!1}}function m(){return l()}function f(e){try{let t=c().join(l(),e);if(!n().existsSync(t))return[];return n().readdirSync(t,{withFileTypes:!0}).filter(e=>e.isDirectory()).map(e=>e.name)}catch{return[]}}function h(e){try{let t=c().join(l(),e),s=n().readFileSync(t,"utf-8");return JSON.parse(s)}catch{return null}}},2950:(e,t,s)=>{"use strict";s.r(t),s.d(t,{default:()=>n});var r=s(1645);let n=e=>[{type:"image/svg+xml",sizes:"any",url:(0,r.fillMetadataSegment)(".",e.params,"icon.svg")+"?83fa4bf1ef0d214d"}]}};var t=require("../../webpack-runtime.js");t.C(e);var s=e=>t(t.s=e),r=t.X(0,[916,649,645,530],()=>s(6250));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/server/lib/trace/constants.js","../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../node_modules/next/package.json","../../../../../package.json","../../../package.json","../../chunks/
|
|
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/server/lib/trace/constants.js","../../../../../node_modules/next/dist/server/lib/trace/tracer.js","../../../../../node_modules/next/package.json","../../../../../package.json","../../../package.json","../../chunks/530.js","../../chunks/645.js","../../chunks/649.js","../../chunks/916.js","../../webpack-runtime.js","page_client-reference-manifest.js"]}
|