hex-audit 0.6.3 → 0.8.0

package/dashboard/.next/static/chunks/997.56901b86e1b8a87b.js

@@ -0,0 +1,8 @@
+"use strict";(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[997],{70997:function(e,t,r){r.r(t),r.d(t,{alerts:function(){return l},buttons:function(){return a},canvasError:function(){return g},clearCanvasDialog:function(){return v},colorPicker:function(){return E},colors:function(){return L},confirmDialog:function(){return h},default:function(){return D},encrypted:function(){return T},errorDialog:function(){return p},errorSplash:function(){return u},errors:function(){return o},exportDialog:function(){return c},headings:function(){return d},helpDialog:function(){return b},hints:function(){return k},imageExportDialog:function(){return S},labels:function(){return i},library:function(){return n},mermaid:function(){return _},overwriteConfirm:function(){return F},publishDialog:function(){return f},publishSuccessDialog:function(){return y},roomDialog:function(){return m},stats:function(){return x},toast:function(){return j},toolBar:function(){return s},welcomeScreen:function(){return w}}),r(51937);var i={paste:"Lim inn",pasteAsPlaintext:"",pasteCharts:"Lim inn diagram",selectAll:"Vel alt",multiSelect:"Legg til element i utval",moveCanvas:"Flytt lerretet",cut:"Klipp ut",copy:"Kopier",copyAsPng:"Kopier til utklippstavla som PNG",copyAsSvg:"Kopier til utklippstavla som SVG",copyText:"",copySource:"",convertToCode:"",bringForward:"Flytt framover",sendToBack:"Send heilt bak",bringToFront:"Flytt heilt fram",sendBackward:"Send bakover",delete:"Slett",copyStyles:"Kopier stilar",pasteStyles:"Lim inn stilar",stroke:"Strek",background:"Bakgrunn",fill:"Fyll",strokeWidth:"Strekbreidd",strokeStyle:"Strekstil",strokeStyle_solid:"Solid",strokeStyle_dashed:"Stipla",strokeStyle_dotted:"Prikka",sloppiness:"Ujamnheit",opacity:"Synlegheit",textAlign:"Tekstjustering",edges:"Kanter",sharp:"Skarp",round:"Rund",arrowheads:"Pilhovud",arrowhead_none:"Ingen",arrowhead_arrow:"Pil",arrowhead_bar:"Stolpe",arrowhead_circle:"",arrowhead_circle_outline:"",arrowhead_triangle:"Trekant",arrowhead_triangle_outline:"",arrowhead_diamond:"",arrowhead_diamond_outline:"",fontSize:"Skriftstorleik",fontFamily:"Skrifttype",addWatermark:"Legg til \xabLaga med Excalidraw\xbb",handDrawn:"Handteikna",normal:"Normal",code:"Kode",small:"Liten",medium:"Medium",large:"Stor",veryLarge:"Sv\xe6rt stor",solid:"Solid",hachure:"Skravert",zigzag:"",crossHatch:"Krysskravert",thin:"Tynn",bold:"Tjukk",left:"Venstre",center:"Midstill",right:"H\xf8gre",extraBold:"Ekstra tjukk",architect:"Arkitekt",artist:"Kunstnar",cartoonist:"Teiknar",fileTitle:"Filnamn",colorPicker:"Fargeveljar",canvasColors:"Brukt p\xe5 lerretet",canvasBackground:"Lerretsbakgrunn",drawingCanvas:"Lerret",layers:"Lag",actions:"Handlingar",language:"Spr\xe5k",liveCollaboration:"",duplicateSelection:"Dupliser",untitled:"Utan namn",name:"Namn",yourName:"Namnet ditt",madeWithExcalidraw:"Laga med Excalidraw",group:"Grupper utval",ungroup:"Avgrupper utval",collaborators:"Samarbeidarar",showGrid:"Vis rutenett",addToLibrary:"Legg til i bibliotek",removeFromLibrary:"Fjern fr\xe5 bibliotek",libraryLoadingMessage:"Laster bibliotek…",libraries:"Blad gjennom bibliotek",loadingScene:"Laster scene…",align:"Juster",alignTop:"Juster til topp",alignBottom:"Juster til botn",alignLeft:"Juster til venstre",alignRight:"Juster til h\xf8gre",centerVertically:"Midtstill vertikalt",centerHorizontally:"Midtstill horisontalt",distributeHorizontally:"Sprei horisontalt",distributeVertically:"Sprei vertikalt",flipHorizontal:"Vipp vassrett",flipVertical:"Vipp loddrett",viewMode:"Visningsmodus",share:"Del",showStroke:"Vis fargeveljar for linjer",showBackground:"Vis fargeveljar for bakgrunn",toggleTheme:"Veksle tema",personalLib:"Personleg bibliotek",excalidrawLib:"Excalidraw-bibliotek",decreaseFontSize:"Gjer skriftstorleik mindre",increaseFontSize:"Gjer skriftstorleik st\xf8rre",unbindText:"Avbind tekst",bindText:"",createContainerFromText:"",link:{edit:"Rediger lenke",editEmbed:"",create:"Lag lenke",createEmbed:"",label:"Lenke",labelEmbed:"",empty:""},lineEditor:{edit:"",exit:""},elementLock:{lock:"",unlock:"",lockAll:"",unlockAll:""},statusPublished:"",sidebarLock:"",selectAllElementsInFrame:"",removeAllElementsFromFrame:"",eyeDropper:"",textToDiagram:"",prompt:""},n={noItems:"",hint_emptyLibrary:"",hint_emptyPrivateLibrary:""},a={clearReset:"Tilbakestill lerretet",exportJSON:"Eksporter til fil",exportImage:"",export:"",copyToClipboard:"Kopier til utklippstavla",save:"Lagre til noverande fil",saveAs:"Lagre som",load:"",getShareableLink:"Hent delingslenke",close:"Lukk",selectLanguage:"Vel spr\xe5k",scrollBackToContent:"Skroll tilbake til innhald",zoomIn:"Zoom inn",zoomOut:"Zoom ut",resetZoom:"Nullstill zoom",menu:"Meny",done:"Ferdig",edit:"Rediger",undo:"Angre",redo:"Gjer om",resetLibrary:"Nullstill bibliotek",createNewRoom:"Lag nytt rom",fullScreen:"Fullskjerm",darkMode:"M\xf8rk modus",lightMode:"Lys modus",zenMode:"Zen-modus",objectsSnapMode:"",exitZenMode:"Avslutt zen-modus",cancel:"Avbryt",clear:"T\xf8m",remove:"Fjern",embed:"",publishLibrary:"Publiser",submit:"Send inn",confirm:"Stadfest",embeddableInteractionButton:""},l={clearReset:"Dette vil t\xf8mme lerretet. Er du sikker?",couldNotCreateShareableLink:"Kunne ikkje lage delingslenke.",couldNotCreateShareableLinkTooBig:"Kunne ikkje opprette deleleg lenke: scena er for stor",couldNotLoadInvalidFile:"Kunne ikkje laste inn ugyldig fil",importBackendFailed:"Importering av backend feila.",cannotExportEmptyCanvas:"Kan ikkje eksportere eit tomt lerret.",couldNotCopyToClipboard:"",decryptFailed:"Kunne ikkje dekryptere data.",uploadedSecurly:"Opplastinga er kryptert og er ikkje mogleg \xe5 lese av Excalidraw-serveren eller tredjepartar.",loadSceneOverridePrompt:"Innlasting av ekstern teikning erstattar ditt eksisterande innhald. Ynskjer du \xe5 fortsette?",collabStopOverridePrompt:`Viss du avsluttar \xf8kta overskriv du den f\xf8rre, lokalt lagra teikninga di. Er du sikker?
+
+(\xd8nsker du \xe5 halde fram med denne? D\xe5 er det berre \xe5 lukke denne fana.)`,errorAddingToLibrary:"Kunne ikkje legge elementet i biblioteket",errorRemovingFromLibrary:"Kunne ikkje fjerne elementet fr\xe5 biblioteket",confirmAddLibrary:"Dette vil legge til {{numShapes}} form(er) i biblioteket ditt. Er du sikker?",imageDoesNotContainScene:"Dette biletet ser ikkje ut til \xe5 ha noko scenedata. Har du skrutt p\xe5 innbygging av scene medan eksporteringa heldt p\xe5?",cannotRestoreFromImage:"Scena kunne ikkje gjenopprettast fr\xe5 denne biletfila",invalidSceneUrl:"Kunne ikkje hente noko scene fr\xe5 den URL-en. Ho er anten \xf8ydelagd eller inneheld ikkje gyldig Excalidraw JSON-data.",resetLibrary:"Dette vil fjerne alt innhald fr\xe5 biblioteket. Er du sikker?",removeItemsFromsLibrary:"Slette {{count}}\xa0element fr\xe5 biblioteket?",invalidEncryptionKey:"Krypteringsn\xf8kkelen m\xe5 ha 22 teikn. Sanntidssamarbeid er deaktivert.",collabOfflineWarning:""},o={unsupportedFileType:"Filtypen er ikkje st\xf8tta.",imageInsertError:"Kunne ikkje sette inn biletet. Pr\xf8v igjen seinare...",fileTooBig:"Fila er for stor. Maksimal tillate storleik er {{maxSize}}.",svgImageInsertError:"Kunne ikkje sette inn SVG-biletet. SVG-koden ser ugyldig ut.",failedToFetchImage:"",invalidSVGString:"Ugyldig SVG.",cannotResolveCollabServer:"Kunne ikkje kople til samarbeidsserveren. Ver vennleg \xe5 oppdatere inn sida og pr\xf8v p\xe5 nytt.",importLibraryError:"",collabSaveFailed:"",collabSaveFailed_sizeExceeded:"",imageToolNotSupported:"",brave_measure_text_error:{line1:"",line2:"",line3:"",line4:""},libraryElementTypeError:{embeddable:"",iframe:"",image:""},asyncPasteFailedOnRead:"",asyncPasteFailedOnParse:"",copyToSystemClipboardFailed:""},s={selection:"Vel",image:"Sett in bilete",rectangle:"Rektangel",diamond:"Diamant",ellipse:"Ellipse",arrow:"Pil",line:"Linje",freedraw:"Teikn",text:"Tekst",library:"Bibliotek",lock:"Hald fram med valt verkt\xf8y",penMode:"",link:"Legg til/ oppdater lenke til valt figur",eraser:"Viskel\xear",frame:"",magicframe:"",embeddable:"",laser:"",hand:"",extraTools:"",mermaidToExcalidraw:"",magicSettings:""},d={canvasActions:"Handlingar: lerret",selectedShapeActions:"Handlingar: valt objekt",shapes:"Formar"},k={canvasPanning:"",linearElement:"Klikk for \xe5 starte linje med fleire punkt, eller drag for ei enkel linje",freeDraw:"Klikk og drag, slepp n\xe5r du er ferdig",text:"Tips: du kan \xf2g leggje til tekst ved \xe5 dobbeltklikke kor som helst med utvalgsverktyet",embeddable:"",text_selected:"Dobbelklikk eller trykk ENTER for \xe5 redigere teksta",text_editing:"Trykk Escape eller CtrlOrCmd+ENTER for \xe5 fullf\xf8re redigeringa",linearElementMulti:"Klikk p\xe5 siste punkt eller trykk Escape eller Enter for \xe5 fullf\xf8re",lockAngle:"Du kan begrense vinkelen ved \xe5 holde nede SKIFT",resize:`Du kan halde fram med forholdet ved \xe5 trykke SHIFT medan du endrar storleik,
+trykk ALT for \xe5 endre storleiken fr\xe5 midten`,resizeImage:`Du kan endre storleiken fritt ved \xe5 halde inne SHIFT,
+hald ALT for \xe5 endre storleik fr\xe5 sentrum`,rotate:"Du kan l\xe5se vinklane ved \xe5 halde SHIFT medan du roterer",lineEditor_info:"",lineEditor_pointSelected:`Trykk p\xe5 Slett for \xe5 fjerne punkt(a),
+Ctrl / Cmd+D for \xe5 duplisere, eller drag for \xe5 flytte`,lineEditor_nothingSelected:`Vel eit punkt \xe5 redigere (hald inne SHIFT for \xe5 velje fleire),
+eller hald inne Alt og klikk for \xe5 legge til nye punkt`,placeImage:"Klikk for \xe5 plassere biletet, eller klikk og drag for \xe5 velje storleik manuelt",publishLibrary:"Publiser ditt eige bibliotek",bindTextToElement:"Trykk p\xe5 enter for \xe5 legge til tekst",deepBoxSelect:"Hald inne Ctrl / Cmd for \xe5 velje djupt, og forhindre flytting",eraserRevert:"Hald inne Alt for \xe5 reversere markering av element for sletting",firefox_clipboard_write:"",disableSnapping:""},g={cannotShowPreview:"Kan ikkje vise f\xf8rehandsvising",canvasTooBig:"Lerretet er mogleg for stort.",canvasTooBigTip:"Tips: pr\xf8v \xe5 flytte elementa som er lengst fr\xe5 kvarandre, litt n\xe6rare kvarandre."},u={headingMain:"Ein feil oppstod. Pr\xf8v <button>\xe5 laste sida p\xe5 nytt.</button>",clearCanvasMessage:"Om ny sidelasting ikkje fungerer, pr\xf8v <button>\xe5 t\xf8mme lerretet.</button>",clearCanvasCaveat:" Dette vil f\xf8re til tap av arbeid ",trackedToSentry:"Feilen med identifikator {{eventId}} vart logga i systemet v\xe5rt.",openIssueMessage:"Vi er veldig n\xf8ye med \xe5 ikkje inkludere scene-opplysingane dine i feilmeldinga. Viss scena di ikkje er privat kan du vurdere \xe5 f\xf8lge opp i <button>feilrapporteringssystemet v\xe5rt.</button> Ta med opplysingane nedanfor ved \xe5 kopiere og lime inn i GitHub-saka.",sceneContent:"Scene-innhald:"},m={desc_intro:"Du kan invitere personar til scena di for \xe5 samarbeide med deg.",desc_privacy:"Ta det med ro; \xf8kta brukar ende-til-ende-kryptering, s\xe5 alt du teiknar held fram med \xe5 vere privat. Ikkje ein gong serveren v\xe5r kan sj\xe5 kva du lagar.",button_startSession:"Start \xf8kt",button_stopSession:"Stopp \xf8kt",desc_inProgressIntro:"Sanntids-samarbeids\xf8kt er no i gang.",desc_shareLink:"Del denne lenka med dei du vil samarbeide med:",desc_exitSession:"Dersom du avsluttar \xf8kta blir du kopla fr\xe5 rommet, men du kan halde fram med \xe5 arbeide med scena lokalt. Ver merksam p\xe5 at dette ikkje vil p\xe5verke andre personar, og desse vil framleis ha moglegheit til \xe5 samarbeide p\xe5 deira eigen versjon.",shareTitle:"Bli med p\xe5 eit sanntidssamarbeid p\xe5 Excalidraw"},p={title:"Feil"},c={disk_title:"Lagre til disk",disk_details:"Eksporter scenedataa til ei fil du kan importere seinare.",disk_button:"Lagre til fil",link_title:"Deleleg lenke",link_details:"Eksporter som skrivebeskytta lenke.",link_button:"Eksporter til lenke",excalidrawplus_description:"Lagre scena til Excalidraw+-arbeidsomr\xe5det ditt.",excalidrawplus_button:"Eksporter",excalidrawplus_exportError:"Kunne ikkje eksportere til Excalidraw+ akkurat no..."},b={blog:"Les bloggen v\xe5r",click:"klikk",deepSelect:"Marker djupt",deepBoxSelect:"Marker djupt inni boksen og forhindr flytting",curvedArrow:"Boga pil",curvedLine:"Boga linje",documentation:"Dokumentasjon",doubleClick:"dobbelklikk",drag:"drag",editor:"Redigering",editLineArrowPoints:"",editText:"",github:"Funne eit problem? Send inn",howto:"F\xf8lg vegleiinga v\xe5r",or:"eller",preventBinding:"Hindre pilkopling",tools:"",shortcuts:"Tastatursnarvegar",textFinish:"Fullf\xf8r redigering (teksthandsamar)",textNewLine:"Legg til ny linje (teksthandsamar)",title:"Hjelp",view:"Vising",zoomToFit:"Zoom for \xe5 sj\xe5 alle elementa",zoomToSelection:"Zoom til utval",toggleElementLock:"",movePageUpDown:"",movePageLeftRight:""},v={title:"T\xf8m lerretet"},f={title:"Publiser bibliotek",itemName:"Elementnamn",authorName:"Eigaren sitt namn",githubUsername:"GitHub-brukarnamn",twitterUsername:"Twitter-brukarnamn",libraryName:"Biblioteknamn",libraryDesc:"Bibliotekskildring",website:"Nettstad",placeholder:{authorName:"Namnet eller brukarnamnet ditt",libraryName:"Namnet p\xe5 biblioteket ditt",libraryDesc:"Skildring av biblioteket ditt s\xe5nn at andre forst\xe5r bruken av det",githubHandle:"GitHub-brukarnamn (valfritt), slik at du kan redigere bibiloteket n\xe5r det er sendt inn til vurdering",twitterHandle:"Twitter-brukarnamn (valfritt), s\xe5 vi veit kven vi skal kreditere p\xe5 Twitter",website:"Lenke til den personlege nettstaden din eller ein anna stad (valfritt)"},errors:{required:"Kravt",website:"Fyll inn ein gyldig URL"},noteDescription:"Send inn biblioteket ditt til inkludering i <link>den offentlege bibliotek-kjeldekoda</link>slik at andre kan bruke det i teikningane deira.",noteGuidelines:"Biblioteket m\xe5 godkjennast manuelt fyrst. Ver vennleg \xe5 lese <link>retningslinjene</link> f\xf8r du sender inn. Du kjem til \xe5 trenge ein GitHub-konto for \xe5 kommunisere og gjere endringar dersom kravt, men det er ikkje strengt naudsynt.",noteLicense:"Ved \xe5 sende inn godkjenner du at biblioteket vert publisert under <link>MIT-lisensen, </link>som kort sagt betyr at kven som helst kan bruke det utan avgrensingar.",noteItems:"Kvart bibliotekselement m\xe5 ha eit eige namn, slik at det er mogleg \xe5 filtrere. Dei f\xf8lgande bibliotekselementa blir inkludert:",atleastOneLibItem:"Ver vennleg \xe5 markere minst eitt bibliotekselement for \xe5 starte",republishWarning:""},y={title:"Bibliotek innsendt",content:"Tusen takk {{authorName}}! Biblioteket ditt har blitt sendt inn til gjennomgang. Du kan halde styr p\xe5 status<link>her</link>"},h={resetLibrary:"Tilbakestill bibliotek",removeItemsFromLib:"Fjern valde element fr\xe5 biblioteket"},S={header:"",label:{withBackground:"",onlySelected:"",darkMode:"",embedScene:"",scale:"",padding:""},tooltip:{embedScene:""},title:{exportToPng:"",exportToSvg:"",copyPngToClipboard:""},button:{exportToPng:"",exportToSvg:"",copyPngToClipboard:""}},T={tooltip:"Teikningane dine er ende-til-ende-krypterte slik at Excalidraw sine serverar aldri f\xe5r sj\xe5 dei.",link:"Blogginnlegg om ende-til-ende-kryptering i Excalidraw"},x={angle:"Vinkel",element:"Element",elements:"Element",height:"H\xf8gde",scene:"Scene",selected:"Valde",storage:"Lagring",title:"Statistikk for nerdar",total:"Totalt",version:"Versjon",versionCopy:"Klikk for \xe5 kopiere",versionNotAvailable:"Versjonen er ikkje tilgjengeleg",width:"Breidde"},j={addedToLibrary:"Lagt til i bibliotek",copyStyles:"Kopierte stilane.",copyToClipboard:"Kopiert til utklippstavla.",copyToClipboardAsPng:`Kopierte {{exportSelection}} til utklippstavla som PNG
+({{exportColorScheme}})`,fileSaved:"Fila er lagra.",fileSavedToFilename:"Lagra som {filename}",canvas:"lerret",selection:"val",pasteAsSingleElement:"",unableToEmbed:"",unrecognizedLinkFormat:""},L={transparent:"Gjennomsiktig",black:"",white:"",red:"",pink:"",grape:"",violet:"",gray:"",blue:"",cyan:"",teal:"",green:"",yellow:"",orange:"",bronze:""},w={app:{center_heading:"",center_heading_plus:"",menuHint:""},defaults:{menuHint:"",center_heading:"",toolbarHint:"",helpHint:""}},E={mostUsedCustomColors:"",colors:"",shades:"",hexCode:"",noShades:""},F={action:{exportToImage:{title:"",button:"",description:""},saveToDisk:{title:"",button:"",description:""},excalidrawPlus:{title:"",button:"",description:""}},modal:{loadFromFile:{title:"",button:"",description:""},shareableLink:{title:"",button:"",description:""}}},_={title:"",button:"",description:"",syntax:"",preview:""},D={labels:i,library:n,buttons:a,alerts:l,errors:o,toolBar:s,headings:d,hints:k,canvasError:g,errorSplash:u,roomDialog:m,errorDialog:p,exportDialog:c,helpDialog:b,clearCanvasDialog:v,publishDialog:f,publishSuccessDialog:y,confirmDialog:h,imageExportDialog:S,encrypted:T,stats:x,toast:j,colors:L,welcomeScreen:w,colorPicker:E,overwriteConfirm:F,mermaid:_}}}]);

package/dashboard/.next/static/chunks/app/_not-found/page-5ff5d54b6fd6f17e.js

@@ -0,0 +1 @@
+(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[7409],{8968:function(e,t,n){(window.__NEXT_P=window.__NEXT_P||[]).push(["/_not-found/page",function(){return n(54682)}])},54682:function(e,t,n){"use strict";Object.defineProperty(t,"__esModule",{value:!0}),Object.defineProperty(t,"default",{enumerable:!0,get:function(){return s}}),n(74849);let i=n(37821);n(58078);let o={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"},l={display:"inline-block"},r={display:"inline-block",margin:"0 20px 0 0",padding:"0 23px 0 0",fontSize:24,fontWeight:500,verticalAlign:"top",lineHeight:"49px"},d={fontSize:14,fontWeight:400,lineHeight:"49px",margin:0};function s(){return(0,i.jsxs)(i.Fragment,{children:[(0,i.jsx)("title",{children:"404: This page could not be found."}),(0,i.jsx)("div",{style:o,children:(0,i.jsxs)("div",{children:[(0,i.jsx)("style",{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)}}"}}),(0,i.jsx)("h1",{className:"next-error-h1",style:r,children:"404"}),(0,i.jsx)("div",{style:l,children:(0,i.jsx)("h2",{style:d,children:"This page could not be found."})})]})})]})}("function"==typeof t.default||"object"==typeof t.default&&null!==t.default)&&void 0===t.default.__esModule&&(Object.defineProperty(t.default,"__esModule",{value:!0}),Object.assign(t.default,t),e.exports=t.default)}},function(e){e.O(0,[7115,3205,1744],function(){return e(e.s=8968)}),_N_E=e.O()}]);

package/dashboard/.next/static/chunks/app/changes/page-f8a860034221cad4.js

@@ -0,0 +1 @@
+(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[5381],{17916:function(e,t,n){Promise.resolve().then(n.bind(n,71520)),Promise.resolve().then(n.bind(n,81751))},71520:function(e,t,n){"use strict";n.d(t,{ChangesClient:function(){return R}});var i=n(37821),a=n(97333),s=n(14233),l=n(58078),o=n(90168),c=n(81751),r=n(32011),d=n(52171),u=n(75833),x=n(90026),m=n(61434),p=n(55631),h=n(93775),f=n(29487),v=n(85268),b=n(4848),g=n(83206),j=n(17968);let y={added:"Added",modified:"Modified",removed:"Removed",comments_only:"Comments only"},_={added:"var(--success)",modified:"var(--high)",removed:"var(--critical)",comments_only:"var(--neutral)"},N={changed:"Changed",calls:"Calls",modifier:"Uses modifier",reads_state:"Reads state",override:"Dispatches to",inherits:"Inherits"},k={regressed:{label:"Regressed",color:"var(--critical)"},acknowledged_still_present:{label:"Still present",color:"var(--medium)"},fix_touched_ok:{label:"Fix touched, holds",color:"var(--success)"},fixed_unchanged:{label:"Fixed, untouched",color:"var(--neutral)"},code_removed:{label:"Code removed",color:"var(--neutral)"}},w={fixed:{label:"Fixed",color:"var(--success)"},partially_fixed:{label:"Partially fixed",color:"var(--medium)"},not_fixed:{label:"Not fixed",color:"var(--critical)"},unaddressed:{label:"Unaddressed",color:"var(--high)"},unknown:{label:"Unknown",color:"var(--neutral)"}},C={passing:"passes",failing:"fails",error:"errors",missing:"missing"},z=(e,t)=>"".concat(e," ").concat(t).concat(1===e?"":"s");function R(e){var t;let{diff:n,overview:a,prior:s,fixReview:r,reviewStates:p}=e,h=(0,o.useSearchParams)(),j=(0,l.useMemo)(()=>{let e=n?[{id:"overview",label:"Overview"}]:[];return r&&e.push({id:"fixes",label:"Fix review",count:r.cards.length+r.unmapped_changes.length}),(null==n?void 0:n.storage_layout_changes.length)&&e.push({id:"storage",label:"Storage layout",count:n.storage_layout_changes.length}),n&&(e.push({id:"code",label:"Changed code",count:n.changes.length}),e.push({id:"impact",label:"Impact",count:n.impacted.length})),(null==s?void 0:s.items.length)&&e.push({id:"prior",label:"Prior findings",count:s.items.length}),e},[n,s,r]),[C,R]=(0,l.useState)(()=>{var e,t;let n=h.get("s");return n&&j.some(e=>e.id===n)?n:null!==(t=null===(e=j[0])||void 0===e?void 0:e.id)&&void 0!==t?t:"overview"}),[F,P]=(0,l.useState)(null),[U,H]=(0,l.useState)("entry");(0,l.useEffect)(()=>{var e;(0,g.q)({s:C===(null===(e=j[0])||void 0===e?void 0:e.id)?null:C}),P(null)},[C]);let M=(0,l.useMemo)(()=>{var e;return(null!==(e=null==n?void 0:n.impacted)&&void 0!==e?e:[]).map((e,t)=>({it:e,i:t})).filter(e=>{let{it:t}=e;return"all"===U||t.is_entry_point||0===t.depth}).sort((e,t)=>e.it.depth-t.it.depth||Number(t.it.is_entry_point)-Number(e.it.is_entry_point))},[n,U]);(0,l.useEffect)(()=>{if(F){if("impact"===F.kind&&n){let e=n.impacted[F.i];(0,b.k)({ref:"".concat(e.contract,".").concat(e.function),kind:"function",label:"".concat(e.contract,".").concat(e.function),file:e.file,...e.line_start?{line_start:e.line_start}:{}})}else if("change"===F.kind&&n){let t=n.changes[F.i];if("function"===t.kind||"modifier"===t.kind){var e;(0,b.k)({ref:"".concat(t.contract,".").concat(t.entity),kind:"function",label:"".concat(t.contract,".").concat(t.entity),file:t.file,...t.line_start?{line_start:t.line_start,line_end:null!==(e=t.line_end)&&void 0!==e?e:t.line_start}:{}})}}else if("fix"===F.kind&&r){let e=r.cards[F.i];(0,b.k)({ref:e.id,kind:"card",label:e.title})}}},[F]),(0,v.y)({Escape:()=>P(null),j:()=>O(1),k:()=>O(-1)});let O=e=>{let t=j.findIndex(e=>e.id===C),n=j[Math.max(0,Math.min(j.length-1,t+e))];n&&R(n.id)},W=(0,i.jsx)("div",{className:"min-h-0 flex-1 overflow-y-auto p-2",children:j.map(e=>(0,i.jsx)(d.w,{dense:!0,selected:e.id===C,onClick:()=>R(e.id),title:e.label,trailing:void 0!==e.count?(0,i.jsx)("span",{className:"tabular-nums",children:e.count}):void 0},e.id))});return(0,i.jsx)(c.z,{toolbar:(0,i.jsx)(c.Toolbar,{title:"Changes",meta:n?(0,i.jsxs)("span",{children:[(0,i.jsx)("span",{className:"font-mono text-caption",children:n.base_commit.slice(0,8)})," →"," ",(0,i.jsx)("span",{className:"font-mono text-caption",children:n.head_commit.slice(0,8)}),(0,i.jsxs)("span",{className:"ml-2",children:["+",n.summary.additions," −",n.summary.deletions]})]}):r?(0,i.jsxs)("span",{children:["Fix review \xb7"," ",(0,i.jsx)("span",{className:"font-mono text-caption",children:r.from_commit.slice(0,8)})," ","→ ",(0,i.jsx)("span",{className:"font-mono text-caption",children:r.to_commit.slice(0,8)})]}):void 0}),list:W,listWidth:220,inspector:F?(0,i.jsx)(I,{sel:F,diff:n,prior:s,fixReview:r,reviewStates:p,onClose:()=>P(null)}):void 0,children:(0,i.jsx)(c.x,{children:(0,i.jsxs)("div",{className:"mx-auto max-w-[760px] px-8 pb-16 pt-8",children:["overview"===C&&n&&(0,i.jsxs)("div",{className:"rise-in",children:[(0,i.jsxs)("p",{className:"text-heading font-medium text-text-primary",children:[z(n.summary.files_changed,"file")," changed \xb7"," ",n.summary.functions_added," added, ",n.summary.functions_modified," modified,"," ",n.summary.functions_removed," removed"]}),(0,i.jsxs)("p",{className:"mt-1 text-body text-text-secondary",children:["The change reaches ",z(n.summary.impacted_entry_points,"entry point"),n.summary.storage_layout_changes?" and moves ".concat(z(n.summary.storage_layout_changes,"storage slot")):"","."]}),(null!==(t=n.warnings)&&void 0!==t?t:[]).map((e,t)=>(0,i.jsxs)("p",{className:"mt-3 flex gap-2 text-caption text-text-secondary",children:[(0,i.jsx)(x.oT,{color:"var(--medium)",className:"mt-1"}),e]},t)),a&&(0,i.jsx)("div",{className:"mt-8 border-t border-border-subtle pt-6",children:(0,i.jsx)(f.$8,{content:a.replace(/^# .*\n+/,"")})}),r&&(0,i.jsx)("button",{type:"button",onClick:()=>R("fixes"),className:"mt-8 flex w-full items-center gap-3 border-y border-border-subtle py-3 text-left hover:border-border-default",children:(0,i.jsxs)("span",{className:"flex-1 text-body text-text-primary",children:["Fix review of ",r.to_commit.slice(0,8),":"," ",(0,i.jsx)("span",{className:"text-text-secondary",children:S(r)})]})})]}),"storage"===C&&n&&(0,i.jsx)(T,{title:"Storage layout",hint:"Slots that moved. Behind a proxy, an upgrade would read these from the wrong place.",children:n.storage_layout_changes.map((e,t)=>(0,i.jsx)(E,{selected:(null==F?void 0:F.kind)==="storage"&&F.i===t,onClick:()=>P({kind:"storage",i:t}),leading:(0,i.jsx)(x.oT,{color:"var(--high)"}),title:(0,i.jsx)(f.T9,{children:e.detail}),subtitle:"".concat(e.contract," \xb7 ").concat(e.kind.replace(/_/g," "))},t))}),"code"===C&&n&&(0,i.jsx)(T,{title:"Changed code",hint:n.files.map(e=>"".concat(e.path," (+").concat(e.additions," −").concat(e.deletions,")")).join(" \xb7 "),children:(function(e,t){var n;let i=new Map;for(let a of e)i.set(t(a),[...null!==(n=i.get(t(a)))&&void 0!==n?n:[],a]);return Array.from(i.entries())})(n.changes.map((e,t)=>({c:e,i:t})),e=>e.c.contract).map(e=>{let[t,n]=e;return(0,i.jsxs)("div",{children:[(0,i.jsx)(d.i,{children:t}),n.map(e=>{var t;let{c:n,i:a}=e;return(0,i.jsx)(E,{selected:(null==F?void 0:F.kind)==="change"&&F.i===a,onClick:()=>P({kind:"change",i:a}),leading:(0,i.jsx)(x.oT,{color:_[n.change],title:y[n.change]}),title:(0,i.jsx)("span",{className:"font-mono text-caption text-text-primary",children:n.entity}),subtitle:"".concat(n.kind.replace("_"," ")," \xb7 ").concat(null!==(t=y[n.change])&&void 0!==t?t:n.change)},a)})]},t)})}),"impact"===C&&n&&(0,i.jsx)(T,{title:"Impact",hint:"Every function the change reaches: changed code first, then callers, modifier users, readers of changed state and inherited entry points.",control:(0,i.jsx)(u.s,{segments:[{value:"entry",label:"Entry points"},{value:"all",label:"All",count:n.impacted.length}],value:U,onChange:H}),children:M.map(e=>{var t,n,a,s,l,o;let{it:c,i:r}=e,d=p["".concat(c.contract,".").concat(c.function)];return(0,i.jsx)(E,{selected:(null==F?void 0:F.kind)==="impact"&&F.i===r,onClick:()=>P({kind:"impact",i:r}),leading:d?(0,i.jsx)(m.e,{state:d}):(0,i.jsx)("span",{className:"h-3.5 w-3.5"}),title:(0,i.jsxs)("span",{children:[c.contract,".",(0,i.jsx)("span",{className:"font-medium",children:c.function.split("(")[0]})]}),subtitle:0===c.depth?"Changed \xb7 ".concat(null!==(s=null===(t=c.reasons[0])||void 0===t?void 0:t.via)&&void 0!==s?s:""):"".concat(z(c.depth,"hop")," \xb7 ").concat(null!==(l=N[null===(n=c.reasons[0])||void 0===n?void 0:n.kind])&&void 0!==l?l:""," ").concat(null!==(o=null===(a=c.reasons[0])||void 0===a?void 0:a.via)&&void 0!==o?o:""),trailing:c.is_entry_point?"Entry point":c.visibility},r)})}),"prior"===C&&s&&(0,i.jsx)(T,{title:"Prior findings",hint:"Findings from the previous audit, checked against this change.",children:s.items.map((e,t)=>{var n,a,s,l,o;return(0,i.jsx)(E,{selected:(null==F?void 0:F.kind)==="prior"&&F.i===t,onClick:()=>P({kind:"prior",i:t}),leading:(0,i.jsx)(x.oH,{severity:e.severity,label:!1}),title:e.title,subtitle:"".concat(e.id," \xb7 ").concat(null!==(l=null===(n=k[e.status])||void 0===n?void 0:n.label)&&void 0!==l?l:e.status),trailing:(0,i.jsx)(x.oT,{color:null!==(o=null===(a=k[e.status])||void 0===a?void 0:a.color)&&void 0!==o?o:"var(--neutral)",title:null===(s=k[e.status])||void 0===s?void 0:s.label})},e.id)})}),"fixes"===C&&r&&(0,i.jsxs)(i.Fragment,{children:[(0,i.jsx)(T,{title:"Fix review",hint:"".concat(r.from_commit.slice(0,8)," → ").concat(r.to_commit.slice(0,8)," \xb7 ").concat(S(r),". Read-only here; the CLI skill applies the proposals."),children:r.cards.map((e,t)=>{var n,a,s,l,o;return(0,i.jsx)(E,{selected:(null==F?void 0:F.kind)==="fix"&&F.i===t,onClick:()=>P({kind:"fix",i:t}),leading:(0,i.jsx)(x.oT,{color:null!==(l=null===(n=w[e.status])||void 0===n?void 0:n.color)&&void 0!==l?l:"var(--neutral)",title:null===(a=w[e.status])||void 0===a?void 0:a.label}),title:e.title,subtitle:"".concat(e.id).concat(e.github_issue?" \xb7 #".concat(e.github_issue):""," \xb7 ").concat(null!==(o=null===(s=w[e.status])||void 0===s?void 0:s.label)&&void 0!==o?o:e.status).concat(e.applied_at?" \xb7 applied":""),trailing:(0,i.jsx)(x.oH,{severity:e.severity})},e.id)})}),r.unmapped_changes.length>0&&(0,i.jsx)(T,{title:"Changes no card explains",hint:"Fix-commit code that needs a review of its own.",children:r.unmapped_changes.map((e,t)=>(0,i.jsx)(E,{selected:(null==F?void 0:F.kind)==="unmapped"&&F.i===t,onClick:()=>P({kind:"unmapped",i:t}),leading:(0,i.jsx)(x.oT,{color:e.reviewed?"var(--success)":"var(--medium)",title:e.reviewed?"Reviewed":"Needs review"}),title:(0,i.jsx)("span",{className:"font-mono text-caption text-text-primary",children:e.entity}),subtitle:"".concat(e.contract," \xb7 ").concat(e.kind," ").concat(e.change).concat(e.reviewed?" \xb7 reviewed":"")},t))})]})]})})})}function S(e){let t=e.summary;return[t.fixed?"".concat(t.fixed," fixed"):null,t.partially_fixed?"".concat(t.partially_fixed," partially fixed"):null,t.not_fixed?"".concat(t.not_fixed," not fixed"):null,t.unaddressed?"".concat(t.unaddressed," unaddressed"):null,t.unknown?"".concat(t.unknown," unknown"):null,t.unmapped?z(t.unmapped,"unmapped change"):null].filter(Boolean).join(" \xb7 ")}function T(e){let{title:t,hint:n,control:a,children:s}=e;return(0,i.jsxs)("section",{className:"rise-in mb-10",children:[(0,i.jsxs)("div",{className:"mb-3 flex flex-wrap items-end justify-between gap-3",children:[(0,i.jsxs)("div",{className:"min-w-0",children:[(0,i.jsx)("h2",{className:"text-heading font-medium text-text-primary",children:t}),n&&(0,i.jsx)("p",{className:"mt-0.5 text-caption text-text-tertiary",children:n})]}),a]}),(0,i.jsx)("div",{className:"-mx-2",children:s})]})}function E(e){let{selected:t,onClick:n,leading:a,title:s,subtitle:l,trailing:o}=e;return(0,i.jsxs)("button",{type:"button",onClick:n,className:(0,j.cn)("flex w-full items-center gap-3 rounded-md px-2 py-2 text-left",t?"bg-accent-subtle":"hover:bg-surface-1"),children:[a&&(0,i.jsx)("span",{className:"flex w-4 shrink-0 justify-center",children:a}),(0,i.jsxs)("span",{className:"min-w-0 flex-1",children:[(0,i.jsx)("span",{className:(0,j.cn)("block truncate text-body",t?"text-accent":"text-text-primary"),children:s}),l&&(0,i.jsx)("span",{className:"block truncate text-caption text-text-tertiary",children:l})]}),o&&(0,i.jsx)("span",{className:"shrink-0 text-caption text-text-tertiary",children:o})]})}function F(e){let{id:t,states:n}=e,a=n[t];return a?(0,i.jsxs)(s.default,{href:"/review?fn=".concat(encodeURIComponent(t)),className:"inline-flex h-8 items-center gap-2 rounded-md border border-border-default bg-surface-0 px-3 text-body font-medium text-text-primary shadow-sm hover:bg-surface-2",children:[(0,i.jsx)(m.e,{state:a})," Open in Review"]}):null}function I(e){var t,n,l,o,c,d,u,m;let{sel:v,diff:b,prior:g,fixReview:j,reviewStates:_,onClose:R}=e;if("change"===v.kind&&b){let e=b.changes[v.i],t="".concat(e.contract,".").concat(e.entity);return(0,i.jsx)(r.lj,{eyebrow:"".concat(e.contract," \xb7 ").concat(e.kind.replace("_"," ")),title:(0,i.jsx)("span",{className:"font-mono text-body",children:e.entity}),subtitle:y[e.change],onClose:R,actions:(0,i.jsx)(F,{id:t,states:_}),children:(0,i.jsx)(r.oz,{label:"Where",children:"removed"!==e.change&&e.line_start?(0,i.jsx)(h.i,{file:e.file,lineStart:e.line_start,lineEnd:e.line_end}):(0,i.jsx)("span",{className:"font-mono text-caption text-text-secondary",children:e.file})})})}if("impact"===v.kind&&b){let e=b.impacted[v.i],t="".concat(e.contract,".").concat(e.function);return(0,i.jsxs)(r.lj,{eyebrow:"".concat(e.contract," \xb7 ").concat(e.is_entry_point?"Entry point":e.visibility),title:e.function.split("(")[0],subtitle:(0,i.jsx)("span",{className:"font-mono",children:e.function}),onClose:R,actions:(0,i.jsx)(F,{id:t,states:_}),children:[(0,i.jsxs)(r.oz,{label:"Why it is impacted",children:[(0,i.jsx)("ul",{className:"space-y-1.5",children:e.reasons.map((e,t)=>{var n;return(0,i.jsxs)("li",{className:"text-body text-text-secondary",children:[null!==(n=N[e.kind])&&void 0!==n?n:e.kind," ",(0,i.jsx)("span",{className:"font-mono text-caption text-text-primary",children:e.via})]},t)})}),(0,i.jsxs)("p",{className:"mt-2 text-caption text-text-tertiary",children:[0===e.depth?"Changed itself":"".concat(z(e.depth,"hop")," from the nearest change")," ","\xb7 ",e.confidence," confidence"]})]}),(0,i.jsx)(r.oz,{label:"Where",children:(0,i.jsx)(h.i,{file:e.file,lineStart:e.line_start})})]})}if("storage"===v.kind&&b){let e=b.storage_layout_changes[v.i];return(0,i.jsx)(r.lj,{eyebrow:e.contract,title:e.kind.replace(/_/g," ").replace(/^./,e=>e.toUpperCase()),onClose:R,children:(0,i.jsxs)(r.oz,{label:"Detail",children:[(0,i.jsx)("p",{className:"text-body text-text-secondary",children:(0,i.jsx)(f.T9,{children:e.detail})}),(0,i.jsx)("p",{className:"mt-2 font-mono text-caption text-text-tertiary",children:e.file})]})})}if("prior"===v.kind&&g){let e=g.items[v.i];return(0,i.jsx)(r.lj,{eyebrow:"".concat(e.id," \xb7 prior audit"),title:e.title,subtitle:(0,i.jsx)(x.oH,{severity:e.severity}),onClose:R,actions:e.issue_id?(0,i.jsxs)(s.default,{href:"/issues?card=".concat(encodeURIComponent(e.issue_id)),className:"inline-flex h-8 items-center rounded-md border border-border-default bg-surface-0 px-3 text-body font-medium text-text-primary shadow-sm hover:bg-surface-2",children:["Open card ",e.issue_id]}):void 0,children:(0,i.jsx)(r.oz,{label:null!==(n=null===(t=k[e.status])||void 0===t?void 0:t.label)&&void 0!==n?n:e.status,children:(0,i.jsx)("p",{className:"text-body text-text-secondary",children:e.reasoning})})})}if("fix"===v.kind&&j){let e=j.cards[v.i];return(0,i.jsxs)(r.lj,{eyebrow:"".concat(e.id).concat(e.github_issue?" \xb7 #".concat(e.github_issue):""),title:e.title,subtitle:(0,i.jsx)(x.oH,{severity:e.severity}),onClose:R,actions:(0,i.jsx)(s.default,{href:"/issues?card=".concat(encodeURIComponent(e.id)),className:"inline-flex h-8 items-center rounded-md border border-border-default bg-surface-0 px-3 text-body font-medium text-text-primary shadow-sm hover:bg-surface-2",children:"Open card"}),children:[(0,i.jsxs)(r.oz,{label:"Status",children:[(0,i.jsxs)("p",{className:"flex items-center gap-2 text-body text-text-primary",children:[(0,i.jsx)(x.oT,{color:null!==(c=null===(l=w[e.status])||void 0===l?void 0:l.color)&&void 0!==c?c:"var(--neutral)"}),null!==(d=null===(o=w[e.status])||void 0===o?void 0:o.label)&&void 0!==d?d:e.status]}),e.evidence&&(0,i.jsx)("p",{className:"mt-1.5 text-body text-text-secondary",children:e.evidence})]}),(e.poc.file||e.poc.before||e.poc.after)&&(0,i.jsxs)(r.oz,{label:"Proof of concept",children:[e.poc.file&&(0,i.jsx)("p",{className:"truncate font-mono text-caption text-text-secondary",children:e.poc.file}),e.poc.before&&(0,i.jsx)(r.vz,{label:"Audited",children:null!==(u=C[e.poc.before])&&void 0!==u?u:e.poc.before}),e.poc.after&&(0,i.jsx)(r.vz,{label:"Fixed",children:null!==(m=C[e.poc.after])&&void 0!==m?m:e.poc.after})]}),(e.changed_functions.length>0||e.commits.length>0)&&(0,i.jsxs)(r.oz,{label:"Changed by",children:[e.changed_functions.map(e=>(0,i.jsx)(s.default,{href:"/review?fn=".concat(encodeURIComponent(e)),className:"-mx-1.5 block truncate rounded-md px-1.5 py-1 text-body text-text-primary hover:bg-surface-2",children:e.split("(")[0]},e)),e.commits.length>0&&(0,i.jsx)("p",{className:"mt-1 font-mono text-caption text-text-tertiary",children:e.commits.join(", ")})]}),(e.proposed.resolution||e.proposed.update_from_client)&&(0,i.jsxs)(r.oz,{label:e.applied_at?"Applied to GitHub":"Proposed",children:[e.proposed.resolution&&(0,i.jsx)(r.vz,{label:"Resolution",children:e.proposed.resolution}),e.proposed.update_from_client&&(0,i.jsx)("p",{className:"mt-1 text-body text-text-secondary",children:e.proposed.update_from_client}),e.applied_at&&(0,i.jsx)("p",{className:"mt-1 text-caption text-text-tertiary",children:(0,i.jsx)(a.P,{iso:e.applied_at})})]})]})}if("unmapped"===v.kind&&j){let e=j.unmapped_changes[v.i];return(0,i.jsxs)(r.lj,{eyebrow:"".concat(e.contract," \xb7 ").concat(e.kind," ").concat(e.change),title:(0,i.jsx)("span",{className:"font-mono text-body",children:e.entity}),onClose:R,children:[(0,i.jsx)(r.oz,{label:"Where",children:(0,i.jsx)("p",{className:"font-mono text-caption text-text-secondary",children:e.file})}),e.impacted_entry_points.length>0&&(0,i.jsx)(r.oz,{label:"Reaches",children:e.impacted_entry_points.map(e=>(0,i.jsx)(s.default,{href:"/review?fn=".concat(encodeURIComponent(e)),className:"-mx-1.5 block truncate rounded-md px-1.5 py-1 text-body text-text-primary hover:bg-surface-2",children:e.split("(")[0]},e))}),(0,i.jsxs)(r.oz,{label:"Review",children:[(0,i.jsx)("p",{className:"text-body text-text-secondary",children:e.reviewed?"Reviewed.":"Not reviewed yet."}),e.note&&(0,i.jsx)("p",{className:"mt-1 text-body text-text-secondary",children:e.note})]})]})}return(0,i.jsx)(p.u,{sentence:"Nothing selected."})}},97333:function(e,t,n){"use strict";n.d(t,{P:function(){return a}});var i=n(37821);function a(e){let{iso:t,className:n}=e;return(0,i.jsx)("time",{dateTime:t,className:n,suppressHydrationWarning:!0,children:new Date(t).toLocaleString()})}},75833:function(e,t,n){"use strict";n.d(t,{s:function(){return s}});var i=n(37821),a=n(17968);function s(e){let{segments:t,value:n,onChange:s,className:l,ariaLabel:o,size:c="md",fill:r=!1}=e;return(0,i.jsx)("div",{role:"tablist","aria-label":o,className:(0,a.cn)("max-w-full items-center gap-0.5 overflow-x-auto rounded-lg bg-surface-2 p-0.5",r?"flex w-full":"inline-flex",l),children:t.map(e=>{let t=e.value===n;return(0,i.jsxs)("button",{role:"tab",type:"button","aria-selected":t,onClick:()=>s(e.value),className:(0,a.cn)("inline-flex h-6 shrink-0 items-center justify-center gap-1 whitespace-nowrap rounded-md font-medium","sm"===c?"px-1.5 text-[11.5px]":"px-2.5 text-caption",r&&"flex-1",t?"bg-surface-0 text-text-primary shadow-sm":"text-text-secondary hover:text-text-primary"),children:[e.label,void 0!==e.count&&(0,i.jsx)("span",{className:"tabular-nums text-text-tertiary",children:e.count})]},e.value)})})}}},function(e){e.O(0,[7498,217,2374,7834,7115,3205,1744],function(){return e(e.s=17916)}),_N_E=e.O()}]);

package/dashboard/.next/static/chunks/app/issues/page-da4da93188c414a6.js

@@ -0,0 +1 @@
+(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[4521],{86965:function(e,t,n){Promise.resolve().then(n.bind(n,68916)),Promise.resolve().then(n.bind(n,81751))},68916:function(e,t,n){"use strict";n.d(t,{BoardClient:function(){return A}});var r=n(37821),a=n(97333),s=n(14233),i=n(58078),o=n(90168),l=n(63924),c=n(81751),d=n(32011),u=n(59167),x=n(75833),m=n(90026),p=n(17968);let h={neutral:"bg-surface-2 text-text-secondary",accent:"bg-accent-subtle text-accent",warn:"bg-[color-mix(in_oklch,var(--high)_14%,transparent)] text-[var(--high)]",danger:"bg-[color-mix(in_oklch,var(--critical)_14%,transparent)] text-[var(--critical)]",ok:"bg-[color-mix(in_oklch,var(--success)_14%,transparent)] text-[var(--success)]"};function f(e){let{tone:t="neutral",children:n,className:a,title:s}=e;return(0,r.jsx)("span",{title:s,className:(0,p.cn)("inline-flex items-center gap-1 whitespace-nowrap rounded-md px-1.5 py-px text-caption font-medium",h[t],a),children:n})}var v=n(55592),b=n(53963),y=n(88554),g=n(69059),j=n(29487),N=n(85268),_=n(4848),w=n(83206),k=n(79513);let C={Critical:0,High:1,Medium:2,Low:3,Info:4},S={manual:"Manual",auditagent:"AuditAgent","ai-audit":"AI audit",conformance:"Conformance",github:"GitHub","prior-audit":"Prior audit",invariant:"Invariant"},T=[{id:"potential",label:"Potential",hint:"Awaiting validation"},{id:"verified",label:"Verified",hint:"Confirmed, ready to sync"},{id:"synced",label:"Synced",hint:"On GitHub; edit there"},{id:"invalid",label:"Rejected",hint:"Not in the report"},{id:"duplicate",label:"Duplicate",hint:"Covered by another card"}],z=Object.fromEntries(T.map(e=>[e.id,e.label])),R={potential:"pending_validation",verified:"verified",synced:"synced",invalid:"rejected",duplicate:"duplicate"},E={out_of_scope:"Out of scope",trusted_role:"Trusted role",by_design:"By design",known_issue:"Known issue"},P={reproduced:"Reproduced",refuted:"Refuted",uncertain:"Uncertain",valid_no_poc:"Valid, no PoC"},D=["Critical","High","Medium","Low","Info"],U=["Fixed","Mitigated","Acknowledged","Not Fixed","Unresolved"];function A(e){var t;let{issues:n,rules:a,formatCtx:s}=e,d=(0,o.useRouter)(),m=(0,o.useSearchParams)(),p=(0,y.p)(),[h,f]=(0,i.useState)({});(0,i.useEffect)(()=>f({}),[n]);let v=(0,i.useMemo)(()=>n.map(e=>h[e.id]?{...e,column:h[e.id],status:R[h[e.id]]}:e),[n,h]),[g,j]=(0,i.useState)(""),[P,D]=(0,i.useState)("all"),[U,A]=(0,i.useState)({potential:!1,verified:!1,synced:!1,invalid:!0,duplicate:!0}),[H,O]=(0,i.useState)(()=>m.get("card")),[$,G]=(0,i.useState)(!1),[L,V]=(0,i.useState)(!1);(0,i.useEffect)(()=>{let e=m.get("card");e&&O(e)},[m]);let F=null!==(t=v.find(e=>e.id===H))&&void 0!==t?t:null;(0,i.useEffect)(()=>{var e;(0,w.q)({card:null!==(e=null==F?void 0:F.id)&&void 0!==e?e:null}),F&&(0,_.k)({ref:F.id,kind:"card",label:F.title}),G(!1)},[null==F?void 0:F.id]),(0,i.useEffect)(()=>{F&&U[F.column]&&A(e=>({...e,[F.column]:!1}))},[null==F?void 0:F.id]);let q=(0,i.useMemo)(()=>Array.from(new Set(n.map(e=>e.source))).sort((e,t)=>{var n,r;return(null!==(n=S[e])&&void 0!==n?n:e).localeCompare(null!==(r=S[t])&&void 0!==r?r:t)}),[n]),B=(0,i.useMemo)(()=>{let e=g.trim().toLowerCase();return v.filter(t=>("all"===P||t.source===P)&&(!e||"".concat(t.id," ").concat(t.title," ").concat(t.description).toLowerCase().includes(e)))},[v,g,P]),K=(0,i.useMemo)(()=>{let e={potential:[],verified:[],synced:[],invalid:[],duplicate:[]};for(let t of B)e[t.column].push(t);for(let t of Object.values(e))t.sort((e,t)=>{var n,r;return(null!==(n=C[e.severity])&&void 0!==n?n:5)-(null!==(r=C[t.severity])&&void 0!==r?r:5)||e.id.localeCompare(t.id)});return e},[B]),Z=(0,i.useMemo)(()=>T.filter(e=>!U[e.id]).flatMap(e=>K[e.id].map(e=>e.id)),[K,U]),J=(0,i.useCallback)(async function(e,t){let n=arguments.length>2&&void 0!==arguments[2]?arguments[2]:{undoable:!0},r=v.find(t=>t.id===e);if(!r||r.column===t)return;let a=r.column;f(n=>({...n,[e]:t}));try{await (0,k.C)("/api/issues/".concat(encodeURIComponent(e),"/move"),{column:t}),n.undoable&&p({message:"".concat(e," moved to ").concat(z[t]),action:{label:"Undo",onClick:()=>{f(t=>({...t,[e]:a})),(0,k.C)("/api/issues/".concat(encodeURIComponent(e),"/move"),{column:a}).then(()=>d.refresh())}}}),d.refresh()}catch(t){f(t=>{let n={...t};return delete n[e],n}),p({message:t.message,tone:"error"})}},[v,d,p]),W=(0,l.Dy)((0,l.VT)(l.we,{activationConstraint:{distance:5}})),Q=(0,i.useRef)(null),X=e=>{O(e),e&&requestAnimationFrame(()=>{var t,n;return null===(n=Q.current)||void 0===n?void 0:null===(t=n.querySelector('[data-card="'.concat(CSS.escape(e),'"]')))||void 0===t?void 0:t.scrollIntoView({block:"nearest"})})};(0,N.y)({j:()=>{let e=H?Z.indexOf(H):-1;Z.length&&X(Z[Math.min(Z.length-1,e+1)])},k:()=>{let e=H?Z.indexOf(H):0;Z.length&&X(Z[Math.max(0,e-1)])},e:e=>{F&&"synced"!==F.column&&(e.preventDefault(),G(!0))},Escape:()=>{$?G(!1):L?V(!1):X(null)}});let Y=[{value:"all",label:"All"},...q.map(e=>{var t;return{value:e,label:null!==(t=S[e])&&void 0!==t?t:e}})];return(0,r.jsx)(c.z,{toolbar:(0,r.jsxs)(c.Toolbar,{title:"Board",meta:"".concat(n.length," card").concat(1===n.length?"":"s"),children:[(0,r.jsx)(u.U,{value:g,onChange:j,placeholder:"Search cards",className:"w-56"}),q.length>1&&(0,r.jsx)(x.s,{segments:Y,value:P,onChange:D,ariaLabel:"Source"})]}),inspector:F?(0,r.jsx)(I,{card:F,editing:$,setEditing:G,formatCtx:s,onClose:()=>X(null),onReverted:()=>f(e=>({...e,[F.id]:"potential"}))},F.id):void 0,children:(0,r.jsxs)("div",{className:"flex min-h-0 flex-1 flex-col",children:[(0,r.jsx)(l.LB,{sensors:W,onDragEnd:e=>{if(!e.over)return;let t=e.over.id,n=v.find(t=>t.id===e.active.id);n&&n.column!==t&&"synced"!==t&&"synced"!==n.column&&J(n.id,t)},children:(0,r.jsx)("div",{ref:Q,className:"flex min-h-0 flex-1 gap-5 overflow-x-auto px-5 pt-4",children:T.map(e=>(0,r.jsx)(M,{column:e,cards:K[e.id],collapsed:U[e.id],onToggle:()=>A(t=>({...t,[e.id]:!t[e.id]})),selectedId:H,onSelect:X},e.id))})}),(0,r.jsxs)("footer",{className:"relative flex shrink-0 items-center gap-3 border-t border-border-subtle px-5 py-2 text-caption text-text-tertiary",children:[(0,r.jsx)("button",{type:"button",onClick:()=>V(e=>!e),className:"rounded-md px-1.5 py-0.5 hover:bg-surface-2 hover:text-text-primary","aria-expanded":L,children:a.length?"".concat(a.length," triage rule").concat(1===a.length?"":"s"):"No triage rules"}),(0,r.jsxs)("span",{className:"hidden truncate sm:inline",children:["Drag a card to move it \xb7 ",(0,r.jsx)(b.T,{children:"j"})," ",(0,r.jsx)(b.T,{children:"k"})," to step \xb7 ",(0,r.jsx)(b.T,{children:"e"})," to edit"]}),L&&(0,r.jsxs)("div",{className:"rise-in absolute bottom-10 left-4 z-20 w-[min(420px,calc(100vw-2rem))] rounded-lg border border-border-default bg-surface-1 p-4 shadow-lg",children:[(0,r.jsx)("div",{className:"mb-2 text-body font-medium text-text-primary",children:"Triage rules"}),0===a.length?(0,r.jsxs)("p",{className:"text-body text-text-secondary",children:["Standing decisions that keep AI runs from resurfacing the same false positives. Add one with ",(0,r.jsx)("code",{className:"font-mono text-caption",children:"hex rule add"}),"."]}):(0,r.jsx)("ul",{className:"space-y-2",children:a.map(e=>{var t;return(0,r.jsxs)("li",{className:"text-body",children:[(0,r.jsx)("span",{className:"text-text-primary",children:e.text}),(0,r.jsxs)("span",{className:"block text-caption text-text-tertiary",children:[e.id," \xb7 ",null!==(t=E[e.kind])&&void 0!==t?t:e.kind,e.scope.length?" \xb7 ".concat(e.scope.join(", ")):" \xb7 whole audit"]})]},e.id)})})]})]})]})})}function M(e){let{column:t,cards:n,collapsed:a,onToggle:s,selectedId:i,onSelect:o}=e,{isOver:c,setNodeRef:d}=(0,l.Zj)({id:t.id,disabled:"synced"===t.id});return a?(0,r.jsx)("section",{ref:d,"aria-label":t.label,className:(0,p.cn)("flex w-10 shrink-0 flex-col items-center rounded-lg pb-4 pt-1",c?"bg-accent-subtle":"hover:bg-surface-1"),children:(0,r.jsxs)("button",{type:"button",onClick:s,title:"Show ".concat(t.label),className:"flex h-full w-full flex-col items-center gap-2 pt-1 text-text-tertiary hover:text-text-primary",children:[(0,r.jsx)(g.g6,{className:"h-3.5 w-3.5"}),(0,r.jsx)("span",{className:"text-caption tabular-nums",children:n.length}),(0,r.jsx)("span",{className:"text-caption font-medium [writing-mode:vertical-rl]",children:t.label})]})}):(0,r.jsxs)("section",{ref:d,"aria-label":t.label,className:(0,p.cn)("flex min-w-[200px] max-w-[360px] flex-1 flex-col rounded-lg",c&&"bg-accent-subtle"),children:[(0,r.jsxs)("header",{className:"flex shrink-0 items-baseline gap-2 px-1 pb-3 pt-1",title:t.hint,children:[(0,r.jsx)("h2",{className:"text-heading font-medium text-text-primary",children:t.label}),(0,r.jsx)("span",{className:"text-caption tabular-nums text-text-tertiary",children:n.length}),("invalid"===t.id||"duplicate"===t.id)&&(0,r.jsx)("button",{type:"button",onClick:s,className:"ml-auto rounded px-1 text-caption text-text-tertiary hover:text-text-primary",children:"Hide"})]}),(0,r.jsxs)("div",{className:"min-h-0 flex-1 space-y-2 overflow-y-auto pb-6",children:[n.map(e=>(0,r.jsx)(H,{card:e,selected:e.id===i,onSelect:o},e.id)),0===n.length&&(0,r.jsx)("div",{className:"rounded-lg border border-dashed border-border-subtle px-3 py-6 text-center text-caption text-text-tertiary",children:t.hint})]})]})}function H(e){var t,n;let{card:a,selected:s,onSelect:i}=e,o="synced"===a.column,{attributes:c,listeners:d,setNodeRef:u,transform:x,isDragging:h}=(0,l.O1)({id:a.id,disabled:o}),v=x?{transform:"translate3d(".concat(x.x,"px, ").concat(x.y,"px, 0)"),zIndex:40}:{};return(0,r.jsxs)("article",{ref:u,"data-card":a.id,style:v,...o?{}:c,...o?{}:d,onClick:()=>!x&&i(a.id),className:(0,p.cn)("cursor-pointer select-none rounded-lg border bg-surface-1 px-3 py-2.5",s?"border-accent":"border-border-subtle hover:border-border-default",h&&"shadow-lg"),children:[(0,r.jsx)("h3",{className:"line-clamp-3 text-body text-text-primary",children:a.title}),(0,r.jsxs)("div",{className:"mt-2 flex items-center gap-2 text-caption text-text-tertiary",children:[(0,r.jsx)(m.oH,{severity:a.severity,className:"text-text-secondary"}),(0,r.jsxs)("span",{className:"min-w-0 truncate",children:[a.id," \xb7 ",null!==(t=S[a.source])&&void 0!==t?t:a.source]}),(0,r.jsx)("span",{className:"ml-auto",children:(null===(n=a.validation)||void 0===n?void 0:n.auto_moved_to)?(0,r.jsx)(f,{children:"Auto-moved"}):"passing"===a.poc_status?(0,r.jsx)(f,{tone:"ok",children:"PoC ✓"}):"failing"===a.poc_status?(0,r.jsx)(f,{tone:"danger",children:"PoC ✕"}):a.duplicate_of?(0,r.jsxs)(f,{children:["Dup of ",a.duplicate_of]}):null})]})]})}function I(e){var t,n,i,l,c,u;let{card:x,editing:p,setEditing:h,formatCtx:f,onClose:N,onReverted:_}=e,w=(0,o.useRouter)(),C=(0,y.p)(),T="synced"===x.column,R=x.validation,E=async()=>{try{await (0,k.C)("/api/issues/".concat(encodeURIComponent(x.id),"/revert-auto"),{}),_(),C({message:"".concat(x.id," is back in Potential")}),w.refresh()}catch(e){C({message:e.message,tone:"error"})}},D=async()=>{try{await navigator.clipboard.writeText(function(e){let t=arguments.length>1&&void 0!==arguments[1]?arguments[1]:{};return"## [".concat(e.severity,"] ").concat(e.title,"\n\n").concat(function(e,t){var n;let r=new Set,a=e.code_locations.map(e=>e.file).filter(e=>e&&!r.has(e)&&r.add(e)).map(e=>(function(e,t){if(t.repositoryUrl&&t.commit){let n=t.repositoryUrl.replace(/\/+$/,"");return"[`".concat(e,"`](").concat(n,"/blob/").concat(t.commit,"/").concat(e,")")}return"[`".concat(e,"`]()")})(e,t)).join(", "),s=e.resolution||"Unresolved",i=null!==(n=e.update_from_client)&&void 0!==n?n:"";return["**File(s)**: ".concat(a),"","**Description**: ".concat(function(e){if(!e)return e;let t=!1,n="";return e.split("\n").map(e=>{let r=e.match(/^\s*(```+|~~~+)/);if(r)return t?r[1][0]===n&&(t=!1,n=""):(t=!0,n=r[1][0]),e;if(t)return e;let a=e.match(/^\s*#{1,6}\s+(.*\S)\s*$/);return a?"**".concat(a[1],"**"):/^\s*(-{3,}|\*{3,}|_{3,})\s*$/.test(e)?"":e}).join("\n")}(e.description)),"","**Recommendation(s)**: ".concat(e.recommendation),"","**Status**: ".concat(s),"","**Update from the client**: ".concat(i)].join("\n")}(e,t),"\n\n---\n")}(x,f)),C({message:"Copied as HackMD"})}catch(e){C({message:"Clipboard is not available here",tone:"error"})}};return p?(0,r.jsx)(O,{card:x,onDone:()=>h(!1),onClose:N}):(0,r.jsxs)(d.lj,{eyebrow:"".concat(x.id," \xb7 ").concat(null!==(n=S[x.source])&&void 0!==n?n:x.source," \xb7 ").concat(z[x.column]),title:x.title,subtitle:(0,r.jsx)(m.oH,{severity:x.severity,className:"text-text-secondary"}),onClose:N,actions:(0,r.jsxs)(r.Fragment,{children:[(0,r.jsxs)(v.z,{onClick:()=>h(!0),disabled:T,title:T?"Synced to GitHub: edit it there":void 0,children:["Edit ",(0,r.jsx)(b.T,{children:"e"})]}),(0,r.jsx)(v.z,{variant:"ghost",onClick:D,children:"Copy as HackMD"}),x.github_issue_url&&(0,r.jsxs)("a",{href:x.github_issue_url,target:"_blank",rel:"noreferrer",className:"inline-flex h-8 items-center gap-1.5 rounded-md px-2.5 text-body text-text-secondary hover:bg-surface-2 hover:text-text-primary",children:["#",x.github_issue_number," ",(0,r.jsx)(g.Ak,{className:"h-3.5 w-3.5"})]})]}),children:[(null==R?void 0:R.auto_moved_to)&&(0,r.jsxs)("div",{className:"mb-4 rounded-lg bg-surface-2 px-3 py-2.5",children:[(0,r.jsxs)("p",{className:"text-body text-text-primary",children:["An agent moved this card to ","verified"===R.auto_moved_to?"Verified":"Rejected","verified"===R.auto_moved_to&&"passing"===R.poc_status?" after its PoC passed":"","rejected"===R.auto_moved_to&&R.refuters?" after ".concat(R.refuters," refuters agreed"):"","."]}),(0,r.jsx)(v.z,{size:"sm",variant:"secondary",onClick:E,className:"mt-2",children:"Revert to Potential"})]}),R&&(0,r.jsxs)(d.oz,{label:"Validation",children:[R.verdict&&(0,r.jsx)(d.vz,{label:"Verdict",children:null!==(i=P[R.verdict])&&void 0!==i?i:R.verdict}),R.validated_by&&(0,r.jsx)(d.vz,{label:"By",children:"agent"===R.validated_by?"An agent":"The auditor"}),(R.poc_file||x.poc_file)&&(0,r.jsxs)(d.vz,{label:"PoC",children:[(0,r.jsx)("span",{className:"font-mono text-caption",children:null!==(l=R.poc_file)&&void 0!==l?l:x.poc_file}),(null!==(c=R.poc_status)&&void 0!==c?c:x.poc_status)&&(0,r.jsx)("span",{className:"ml-2 text-caption text-text-tertiary",children:null===(t=null!==(u=R.poc_status)&&void 0!==u?u:x.poc_status)||void 0===t?void 0:t.replace("_"," ")})]}),R.memo&&(0,r.jsx)(d.vz,{label:"Memo",children:(0,r.jsx)("span",{className:"font-mono text-caption",children:R.memo})}),R.reverted_at&&(0,r.jsx)(d.vz,{label:"Reverted",children:(0,r.jsx)(a.P,{iso:R.reverted_at})})]}),x.description&&(0,r.jsx)(d.oz,{label:"Description",children:(0,r.jsx)(j.$8,{content:x.description})}),x.recommendation&&(0,r.jsx)(d.oz,{label:"Recommendation",children:(0,r.jsx)(j.$8,{content:x.recommendation})}),(x.resolution||x.update_from_client)&&(0,r.jsxs)(d.oz,{label:"Client response",children:[x.resolution&&(0,r.jsx)(d.vz,{label:"Status",children:x.resolution}),x.update_from_client&&(0,r.jsx)("p",{className:"mt-1 text-body text-text-secondary",children:x.update_from_client})]}),(x.functions.length>0||x.code_locations.length>0)&&(0,r.jsxs)(d.oz,{label:"Code",children:[x.functions.map(e=>(0,r.jsxs)(s.default,{href:"/review?fn=".concat(encodeURIComponent(e)),className:"-mx-1.5 flex items-center justify-between gap-2 rounded-md px-1.5 py-1 text-body text-text-primary hover:bg-surface-2",children:[(0,r.jsx)("span",{className:"truncate",children:e.split("(")[0]}),(0,r.jsx)("span",{className:"shrink-0 text-caption text-text-tertiary",children:"Review"})]},e)),0===x.functions.length&&Array.from(new Set(x.code_locations.map(e=>e.file))).map(e=>(0,r.jsx)("p",{className:"truncate font-mono text-caption text-text-secondary",children:e},e))]}),(x.duplicate_of||x.match_signals)&&(0,r.jsxs)(d.oz,{label:"Duplicate",children:[x.duplicate_of&&(0,r.jsx)(d.vz,{label:"Of",children:x.duplicate_of}),x.match_signals&&(0,r.jsxs)("p",{className:"mt-1 text-caption text-text-secondary",children:["Contract ",x.match_signals.contract?"matches":"differs"," \xb7 function"," ",x.match_signals.function?"matches":"differs"," \xb7 root cause"," ",x.match_signals.root_cause," \xb7 attack vector ",x.match_signals.attack_vector]}),x.reasoning&&(0,r.jsx)("p",{className:"mt-1 text-body text-text-secondary",children:x.reasoning})]}),T&&(0,r.jsxs)("p",{className:"mt-2 text-caption text-text-tertiary",children:["Synced to GitHub and read-only here. Edit it on GitHub, then run"," ",(0,r.jsx)("code",{className:"font-mono",children:"/sync-issues"}),"."]})]})}function O(e){var t,n;let{card:a,onDone:s,onClose:l}=e,c=(0,o.useRouter)(),u=(0,y.p)(),[x,m]=(0,i.useState)({title:a.title,severity:a.severity,resolution:null!==(t=a.resolution)&&void 0!==t?t:"",description:a.description,recommendation:a.recommendation,update_from_client:null!==(n=a.update_from_client)&&void 0!==n?n:""}),[h,f]=(0,i.useState)(!1),g=(0,i.useRef)(null);(0,i.useEffect)(()=>{var e;return null===(e=g.current)||void 0===e?void 0:e.focus()},[]);let j=async()=>{f(!0);try{await (0,k.C)("/api/issues/".concat(encodeURIComponent(a.id)),{...x,resolution:x.resolution||void 0,update_from_client:x.update_from_client||void 0},"PATCH"),u({message:"".concat(a.id," saved")}),c.refresh(),s()}catch(e){u({message:e.message,tone:"error"})}finally{f(!1)}},N="w-full rounded-md border border-border-subtle bg-surface-0 px-2.5 py-1.5 text-body text-text-primary focus:border-border-emphasis focus:outline-none";return(0,r.jsx)(d.lj,{eyebrow:"Editing ".concat(a.id),title:x.title||a.id,onClose:l,actions:(0,r.jsxs)(r.Fragment,{children:[(0,r.jsx)(v.z,{variant:"primary",onClick:j,disabled:h,children:h?"Saving…":"Save"}),(0,r.jsx)(v.z,{variant:"ghost",onClick:s,children:"Cancel"})]}),children:(0,r.jsxs)("form",{className:"space-y-4 border-t border-border-subtle pt-4",onSubmit:e=>{e.preventDefault(),j()},onKeyDown:e=>{"Enter"===e.key&&(e.metaKey||e.ctrlKey)&&j(),"Escape"===e.key&&s()},children:[(0,r.jsx)($,{text:"Title",children:(0,r.jsx)("input",{ref:g,className:N,value:x.title,onChange:e=>m({...x,title:e.target.value})})}),(0,r.jsxs)("div",{className:"grid grid-cols-2 gap-3",children:[(0,r.jsx)($,{text:"Severity",children:(0,r.jsx)("select",{className:N,value:x.severity,onChange:e=>m({...x,severity:e.target.value}),children:D.map(e=>(0,r.jsx)("option",{children:e},e))})}),(0,r.jsx)($,{text:"Resolution",children:(0,r.jsxs)("select",{className:N,value:x.resolution,onChange:e=>m({...x,resolution:e.target.value}),children:[(0,r.jsx)("option",{value:"",children:"None"}),U.map(e=>(0,r.jsx)("option",{children:e},e))]})})]}),(0,r.jsx)($,{text:"Description",children:(0,r.jsx)("textarea",{className:(0,p.cn)(N,"leading-6"),rows:10,value:x.description,onChange:e=>m({...x,description:e.target.value})})}),(0,r.jsx)($,{text:"Recommendation",children:(0,r.jsx)("textarea",{className:(0,p.cn)(N,"leading-6"),rows:4,value:x.recommendation,onChange:e=>m({...x,recommendation:e.target.value})})}),(0,r.jsx)($,{text:"Update from the client",children:(0,r.jsx)("textarea",{className:N,rows:3,value:x.update_from_client,placeholder:"Used by /generate-report",onChange:e=>m({...x,update_from_client:e.target.value})})}),(0,r.jsxs)("p",{className:"text-caption text-text-tertiary",children:[(0,r.jsx)(b.T,{children:"⌘"})," ",(0,r.jsx)(b.T,{children:"↵"})," to save \xb7 ",(0,r.jsx)(b.T,{children:"esc"})," to cancel"]})]})})}function $(e){let{text:t,children:n}=e;return(0,r.jsxs)("label",{className:"block",children:[(0,r.jsx)("span",{className:"mb-1 block text-caption text-text-tertiary",children:t}),n]})}},29487:function(e,t,n){"use strict";n.d(t,{$8:function(){return i},T9:function(){return o}});var r=n(37821),a=n(48525),s=n(45592);function i(e){let{content:t,className:n}=e;return(0,r.jsx)("div",{className:"prose max-w-none text-body\n        prose-headings:font-semibold prose-headings:text-text-primary\n        prose-h1:text-title prose-h2:text-heading prose-h3:text-body\n        prose-p:text-text-secondary prose-p:leading-relaxed\n        prose-strong:text-text-primary\n        prose-code:rounded prose-code:bg-surface-2 prose-code:px-1 prose-code:py-px prose-code:font-normal prose-code:text-[0.88em] prose-code:text-text-primary\n        prose-code:before:content-none prose-code:after:content-none\n        prose-pre:rounded-md prose-pre:border prose-pre:border-border-subtle prose-pre:bg-surface-1 prose-pre:text-text-primary\n        prose-a:text-accent prose-a:no-underline hover:prose-a:underline\n        prose-th:text-text-primary prose-td:text-text-secondary\n        prose-hr:border-border-subtle\n        prose-blockquote:border-border-default prose-blockquote:text-text-secondary\n        prose-li:text-text-secondary prose-li:marker:text-text-tertiary\n        ".concat(null!=n?n:""),children:(0,r.jsx)(a.UG,{remarkPlugins:[s.Z],children:t})})}function o(e){let{children:t}=e;return(0,r.jsx)(a.UG,{remarkPlugins:[s.Z],components:{p:e=>{let{children:t}=e;return(0,r.jsx)(r.Fragment,{children:t})},code:e=>{let{children:t}=e;return(0,r.jsx)("code",{className:"rounded bg-surface-2 px-1 py-px font-mono text-[0.86em] text-text-primary",children:t})},strong:e=>{let{children:t}=e;return(0,r.jsx)("strong",{className:"font-semibold text-text-primary",children:t})},a:e=>{let{href:t,children:n}=e;return(0,r.jsx)("a",{href:t,target:"_blank",rel:"noreferrer",className:"text-accent hover:underline",children:n})}},children:t.split("\n").map(e=>e.replace(/^(\s*)(\d+)([.)])(\s)/,"$1$2\\$3$4").replace(/^(\s*)([-*+#>])(\s)/,"$1\\$2$3")).join("\n")})}},32011:function(e,t,n){"use strict";n.d(t,{lj:function(){return o},oz:function(){return l},vz:function(){return c}});var r=n(37821),a=n(58078),s=n(17968),i=n(69059);function o(e){let{eyebrow:t,title:n,subtitle:a,onClose:s,actions:o,children:l}=e;return(0,r.jsxs)("div",{className:"flex min-h-0 flex-1 flex-col",children:[(0,r.jsxs)("div",{className:"shrink-0 px-5 pb-4 pt-4",children:[(0,r.jsxs)("div",{className:"flex items-start gap-2",children:[(0,r.jsxs)("div",{className:"min-w-0 flex-1",children:[t&&(0,r.jsx)("div",{className:"mb-1 text-caption text-text-tertiary",children:t}),(0,r.jsx)("h2",{className:"break-words text-heading font-semibold text-text-primary",children:n}),a&&(0,r.jsx)("div",{className:"mt-1 break-words text-caption text-text-secondary",children:a})]}),s&&(0,r.jsx)("button",{type:"button",onClick:s,"aria-label":"Close inspector",className:"-mr-1.5 -mt-0.5 rounded-md p-1.5 text-text-tertiary hover:bg-surface-2 hover:text-text-primary",children:(0,r.jsx)(i.bM,{className:"h-4 w-4"})})]}),o&&(0,r.jsx)("div",{className:"mt-4 flex flex-wrap items-center gap-2",children:o})]}),(0,r.jsx)("div",{className:"min-h-0 flex-1 overflow-y-auto px-5 pb-6",children:l}),(0,r.jsx)(u,{})]})}function l(e){let{label:t,children:n,className:a,trailing:i}=e;return(0,r.jsxs)("section",{className:(0,s.cn)("border-t border-border-subtle pt-3 pb-4",a),children:[(0,r.jsxs)("div",{className:"mb-2 flex items-baseline justify-between gap-2",children:[(0,r.jsx)("h3",{className:"text-caption font-medium text-text-tertiary",children:t}),i]}),n]})}function c(e){let{label:t,children:n}=e;return(0,r.jsxs)("div",{className:"flex items-baseline gap-3 py-0.5 text-body",children:[(0,r.jsx)("span",{className:"w-24 shrink-0 text-text-tertiary",children:t}),(0,r.jsx)("span",{className:"min-w-0 flex-1 break-words text-text-primary",children:n})]})}let d="hex.focus-hint-dismissed";function u(){let[e,t]=(0,a.useState)(!1);return((0,a.useEffect)(()=>{try{t("1"!==localStorage.getItem(d))}catch(e){t(!1)}},[]),e)?(0,r.jsxs)("div",{className:"flex shrink-0 items-center gap-2 border-t border-border-subtle px-5 py-2.5 text-caption text-text-tertiary",children:[(0,r.jsx)("span",{className:"h-1.5 w-1.5 shrink-0 rounded-full bg-accent","aria-hidden":"true"}),(0,r.jsx)("span",{className:"flex-1",children:"Claude can see your selection."}),(0,r.jsx)("button",{type:"button",onClick:()=>{try{localStorage.setItem(d,"1")}catch(e){}t(!1)},className:"rounded px-1.5 py-0.5 text-text-secondary hover:bg-surface-2 hover:text-text-primary",children:"Got it"})]}):null}},53963:function(e,t,n){"use strict";n.d(t,{T:function(){return s}});var r=n(37821),a=n(17968);function s(e){let{children:t,className:n}=e;return(0,r.jsx)("kbd",{className:(0,a.cn)("inline-flex h-[18px] min-w-[18px] items-center justify-center rounded-[5px] border border-border-default bg-surface-2 px-1 font-sans text-[11px] leading-none text-text-tertiary",n),children:t})}},97333:function(e,t,n){"use strict";n.d(t,{P:function(){return a}});var r=n(37821);function a(e){let{iso:t,className:n}=e;return(0,r.jsx)("time",{dateTime:t,className:n,suppressHydrationWarning:!0,children:new Date(t).toLocaleString()})}},59167:function(e,t,n){"use strict";n.d(t,{U:function(){return c}});var r=n(37821),a=n(58078),s=n(17968),i=n(85268),o=n(69059),l=n(53963);function c(e){let{value:t,onChange:n,placeholder:c="Search",className:d,hotkey:u=!0}=e,x=(0,a.useRef)(null);return(0,i.y)({"/":e=>{var t,n;e.preventDefault(),null===(t=x.current)||void 0===t||t.focus(),null===(n=x.current)||void 0===n||n.select()}},u),(0,r.jsxs)("label",{className:(0,s.cn)("relative flex h-8 items-center",d),children:[(0,r.jsx)(o.jV,{className:"pointer-events-none absolute left-2.5 h-3.5 w-3.5 text-text-tertiary"}),(0,r.jsx)("input",{ref:x,type:"search",value:t,placeholder:c,"aria-label":c,onChange:e=>n(e.target.value),onKeyDown:e=>{if("Escape"===e.key){var t;n(""),null===(t=x.current)||void 0===t||t.blur()}},className:"h-8 w-full rounded-md border border-transparent bg-surface-2 pl-8 pr-8 text-body text-text-primary placeholder:text-text-tertiary focus:border-border-emphasis focus:bg-surface-0 focus:outline-none [&::-webkit-search-cancel-button]:hidden"}),u&&!t&&(0,r.jsx)(l.T,{className:"pointer-events-none absolute right-2",children:"/"})]})}},75833:function(e,t,n){"use strict";n.d(t,{s:function(){return s}});var r=n(37821),a=n(17968);function s(e){let{segments:t,value:n,onChange:s,className:i,ariaLabel:o,size:l="md",fill:c=!1}=e;return(0,r.jsx)("div",{role:"tablist","aria-label":o,className:(0,a.cn)("max-w-full items-center gap-0.5 overflow-x-auto rounded-lg bg-surface-2 p-0.5",c?"flex w-full":"inline-flex",i),children:t.map(e=>{let t=e.value===n;return(0,r.jsxs)("button",{role:"tab",type:"button","aria-selected":t,onClick:()=>s(e.value),className:(0,a.cn)("inline-flex h-6 shrink-0 items-center justify-center gap-1 whitespace-nowrap rounded-md font-medium","sm"===l?"px-1.5 text-[11.5px]":"px-2.5 text-caption",c&&"flex-1",t?"bg-surface-0 text-text-primary shadow-sm":"text-text-secondary hover:text-text-primary"),children:[e.label,void 0!==e.count&&(0,r.jsx)("span",{className:"tabular-nums text-text-tertiary",children:e.count})]},e.value)})})}},90026:function(e,t,n){"use strict";n.d(t,{oH:function(){return i},oT:function(){return o}});var r=n(37821),a=n(17968);let s={critical:"var(--critical)",high:"var(--high)",medium:"var(--medium)",low:"var(--low)",info:"var(--info)"};function i(e){var t;let{severity:n,label:i=!0,className:o}=e;return(0,r.jsxs)("span",{className:(0,a.cn)("inline-flex items-center gap-1.5 whitespace-nowrap",o),children:[(0,r.jsx)("span",{"aria-hidden":"true",className:"inline-block h-2 w-2 shrink-0 rounded-full",style:{background:null!==(t=s[n.toLowerCase()])&&void 0!==t?t:"var(--info)"}}),i?(0,r.jsx)("span",{children:n}):(0,r.jsx)("span",{className:"sr-only",children:n})]})}function o(e){let{color:t,className:n,title:s}=e;return(0,r.jsx)("span",{"aria-hidden":!s||void 0,title:s,className:(0,a.cn)("inline-block h-2 w-2 shrink-0 rounded-full",n),style:{background:t}})}},79513:function(e,t,n){"use strict";async function r(e,t){var n;let r=arguments.length>2&&void 0!==arguments[2]?arguments[2]:"POST",a=await fetch(e,{method:r,headers:{"Content-Type":"application/json"},body:JSON.stringify(t)}),s=await a.json().catch(()=>({}));if(!a.ok)throw Error(null!==(n=s.error)&&void 0!==n?n:"Request failed (".concat(a.status,")"));return s}n.d(t,{C:function(){return r}})},4848:function(e,t,n){"use strict";n.d(t,{k:function(){return s}});let r=null,a="";function s(e){let t=JSON.stringify(e);t!==a&&(r&&clearTimeout(r),r=setTimeout(()=>{a=t,fetch("/api/focus",{method:"POST",headers:{"Content-Type":"application/json"},body:t}).catch(()=>{a=""})},350))}}},function(e){e.O(0,[7498,217,3924,2374,7115,3205,1744],function(){return e(e.s=86965)}),_N_E=e.O()}]);

package/dashboard/.next/static/chunks/app/layout-27a9da4610423c1e.js

@@ -0,0 +1 @@
+(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[3185],{69766:function(e,t,n){Promise.resolve().then(n.t.bind(n,13812,23)),Promise.resolve().then(n.bind(n,84300)),Promise.resolve().then(n.bind(n,92198)),Promise.resolve().then(n.bind(n,63237)),Promise.resolve().then(n.bind(n,88554)),Promise.resolve().then(n.bind(n,4595)),Promise.resolve().then(n.t.bind(n,41600,23)),Promise.resolve().then(n.t.bind(n,55256,23))},84300:function(e,t,n){"use strict";n.d(t,{AutoRefresh:function(){return i}});var r=n(58078),a=n(90168),s=n(96945);function i(){let e=(0,a.useRouter)(),t=(0,r.useRef)(null);return(0,r.useEffect)(()=>{let n=new EventSource("/api/watch");return n.onopen=()=>(0,s.x)({connected:!0}),n.onerror=()=>(0,s.x)({connected:!1}),n.onmessage=n=>{let r=null;try{var a;r=null!==(a=JSON.parse(n.data).file)&&void 0!==a?a:null}catch(e){}t.current&&clearTimeout(t.current),t.current=setTimeout(()=>{(0,s.x)({lastUpdate:Date.now(),lastFile:r,connected:!0}),e.refresh()},400)},()=>{n.close(),t.current&&clearTimeout(t.current)}},[e]),null}},92198:function(e,t,n){"use strict";n.d(t,{CommandPalette:function(){return d}});var r=n(37821),a=n(58078),s=n(90168),i=n(63237),o=n(69059),l=n(53963),c=n(17968);let u={page:"Page",function:"Function",contract:"Contract",card:"Card",invariant:"Invariant",diagram:"Diagram"};function d(e){let{showChanges:t}=e,[n,d]=(0,a.useState)(!1),[h,x]=(0,a.useState)(""),[m,f]=(0,a.useState)(0),[p,v]=(0,a.useState)([]),b=(0,a.useRef)(null),y=(0,a.useRef)(null),g=(0,s.useRouter)(),j=(0,a.useMemo)(()=>i.w.filter(e=>t||!e.changesOnly).map(e=>({kind:"page",label:e.label,href:e.href})),[t]),w=(0,a.useCallback)(()=>{d(!0),x(""),f(0),fetch("/api/palette",{cache:"no-store"}).then(e=>e.ok?e.json():{entries:[]}).then(e=>{var t;return v(null!==(t=e.entries)&&void 0!==t?t:[])}).catch(()=>v([]))},[]);(0,a.useEffect)(()=>{let e=e=>{(e.metaKey||e.ctrlKey)&&"k"===e.key.toLowerCase()&&(e.preventDefault(),n?d(!1):w())},t=()=>w();return window.addEventListener("keydown",e),window.addEventListener("hex:palette",t),()=>{window.removeEventListener("keydown",e),window.removeEventListener("hex:palette",t)}},[n,w]),(0,a.useEffect)(()=>{n&&requestAnimationFrame(()=>{var e;return null===(e=b.current)||void 0===e?void 0:e.focus()})},[n]);let k=(0,a.useMemo)(()=>{let e=h.trim().toLowerCase().split(/\s+/).filter(Boolean);return e.length?[...j,...p].map(t=>({e:t,s:function(e,t){var n;let r=e.label.toLowerCase(),a="".concat(r," ").concat((null!==(n=e.detail)&&void 0!==n?n:"").toLowerCase());if(!t.every(e=>a.includes(e)))return -1;let s=t[0],i=0;return r.startsWith(s)?i+=30:new RegExp("(^|[^a-z0-9])".concat(s.replace(/[.*+?^${}()|[\]\\]/g,"\\$&"))).test(r)?i+=20:r.includes(s)&&(i+=10),"page"===e.kind&&(i+=8),i-r.length/100}(t,e)})).filter(e=>e.s>=0).sort((e,t)=>t.s-e.s).slice(0,40).map(e=>e.e):[...j,...p.filter(e=>"diagram"===e.kind||"contract"===e.kind)].slice(0,30)},[h,j,p]);(0,a.useEffect)(()=>f(0),[h]),(0,a.useEffect)(()=>{var e,t;null===(t=y.current)||void 0===t||null===(e=t.querySelector('[data-index="'.concat(m,'"]')))||void 0===e||e.scrollIntoView({block:"nearest"})},[m]);let N=e=>{d(!1),g.push(e.href)};return n?(0,r.jsx)("div",{"data-hex-palette":!0,className:"fade-in fixed inset-0 z-[9000] flex items-start justify-center px-4 pt-[14vh]",style:{background:"var(--overlay-bg)"},onClick:()=>d(!1),children:(0,r.jsxs)("div",{role:"dialog","aria-modal":"true","aria-label":"Go to anything",className:"rise-in w-full max-w-xl overflow-hidden rounded-lg border border-border-default bg-surface-1 shadow-lg",onClick:e=>e.stopPropagation(),children:[(0,r.jsxs)("div",{className:"flex items-center gap-3 border-b border-border-subtle px-4",children:[(0,r.jsx)(o.jV,{className:"h-4 w-4 shrink-0 text-text-tertiary"}),(0,r.jsx)("input",{ref:b,type:"text",value:h,onChange:e=>x(e.target.value),placeholder:"Go to a page, function, card, invariant…","aria-label":"Search",className:"h-12 flex-1 bg-transparent text-body text-text-primary placeholder:text-text-tertiary focus:outline-none",onKeyDown:e=>{"ArrowDown"===e.key||"n"===e.key&&e.ctrlKey?(e.preventDefault(),f(e=>Math.min(e+1,k.length-1))):"ArrowUp"===e.key||"p"===e.key&&e.ctrlKey?(e.preventDefault(),f(e=>Math.max(e-1,0))):"Enter"===e.key&&k[m]?(e.preventDefault(),N(k[m])):"Escape"===e.key?(e.preventDefault(),d(!1)):"Tab"===e.key&&e.preventDefault()}}),(0,r.jsx)(l.T,{children:"esc"})]}),(0,r.jsx)("div",{ref:y,className:"max-h-[52vh] overflow-y-auto p-1.5",role:"listbox",children:0===k.length?(0,r.jsx)("div",{className:"px-3 py-6 text-center text-body text-text-tertiary",children:"No matches"}):k.map((e,t)=>(0,r.jsxs)("button",{type:"button",role:"option","aria-selected":t===m,"data-index":t,onMouseMove:()=>f(t),onClick:()=>N(e),className:(0,c.cn)("flex w-full items-center gap-3 rounded-md px-3 py-2 text-left",t===m?"bg-accent-subtle":""),children:[(0,r.jsxs)("span",{className:"min-w-0 flex-1",children:[(0,r.jsx)("span",{className:(0,c.cn)("block truncate text-body",t===m?"text-accent":"text-text-primary"),children:e.label}),e.detail&&(0,r.jsx)("span",{className:"block truncate text-caption text-text-tertiary",children:e.detail})]}),(0,r.jsx)("span",{className:"shrink-0 text-caption text-text-tertiary",children:u[e.kind]})]},"".concat(e.kind,":").concat(e.href,":").concat(t)))})]})}):null}},69059:function(e,t,n){"use strict";n.d(t,{Ak:function(){return b},C9:function(){return p},NO:function(){return v},O3:function(){return f},UH:function(){return s},VU:function(){return u},bM:function(){return h},dc:function(){return y},g6:function(){return x},jV:function(){return d},lE:function(){return m},oG:function(){return g},ui:function(){return o},ve:function(){return c},vv:function(){return i},yK:function(){return l}});var r=n(37821);function a(e){let{children:t,...n}=e;return(0,r.jsx)("svg",{"aria-hidden":"true",viewBox:"0 0 24 24",fill:"none",stroke:"currentColor",strokeWidth:1.5,strokeLinecap:"round",strokeLinejoin:"round",...n,children:t})}let s=e=>(0,r.jsxs)(a,{...e,children:[(0,r.jsx)("circle",{cx:"12",cy:"12",r:"8.25"}),(0,r.jsx)("path",{d:"M12 7.5V12l3 2"})]}),i=e=>(0,r.jsxs)(a,{...e,children:[(0,r.jsx)("rect",{x:"3.75",y:"3.75",width:"6.5",height:"6.5",rx:"1.5"}),(0,r.jsx)("rect",{x:"13.75",y:"13.75",width:"6.5",height:"6.5",rx:"1.5"}),(0,r.jsx)("path",{d:"M10.25 7h3.5a3 3 0 0 1 3 3v3.75"})]}),o=e=>(0,r.jsxs)(a,{...e,children:[(0,r.jsx)("path",{d:"M6.75 3.75h7.5l4.5 4.5v11.25a.75.75 0 0 1-.75.75H6.75a.75.75 0 0 1-.75-.75V4.5a.75.75 0 0 1 .75-.75Z"}),(0,r.jsx)("path",{d:"M9 13.5l2 2 4-4.5"})]}),l=e=>(0,r.jsx)(a,{...e,children:(0,r.jsx)("path",{d:"M7.5 20.25 3.75 16.5 7.5 12.75M3.75 16.5h12M16.5 3.75l3.75 3.75-3.75 3.75M20.25 7.5h-12"})}),c=e=>(0,r.jsxs)(a,{...e,children:[(0,r.jsx)("rect",{x:"3.75",y:"4.5",width:"4.5",height:"15",rx:"1.25"}),(0,r.jsx)("rect",{x:"9.75",y:"4.5",width:"4.5",height:"10",rx:"1.25"}),(0,r.jsx)("rect",{x:"15.75",y:"4.5",width:"4.5",height:"12.5",rx:"1.25"})]}),u=e=>(0,r.jsxs)(a,{...e,children:[(0,r.jsx)("path",{d:"M6.75 3.75h10.5a.75.75 0 0 1 .75.75v15a.75.75 0 0 1-.75.75H6.75a.75.75 0 0 1-.75-.75v-15a.75.75 0 0 1 .75-.75Z"}),(0,r.jsx)("path",{d:"M9 8.25h6M9 11.25h6M9 14.25h3.75"})]}),d=e=>(0,r.jsxs)(a,{...e,children:[(0,r.jsx)("circle",{cx:"10.5",cy:"10.5",r:"6"}),(0,r.jsx)("path",{d:"m15 15 5.25 5.25"})]}),h=e=>(0,r.jsx)(a,{...e,children:(0,r.jsx)("path",{d:"M6 6l12 12M18 6 6 18"})}),x=e=>(0,r.jsx)(a,{...e,children:(0,r.jsx)("path",{d:"m9 5.25 6.75 6.75L9 18.75"})}),m=e=>(0,r.jsxs)(a,{...e,children:[(0,r.jsx)("rect",{x:"9",y:"3",width:"6",height:"11.25",rx:"3"}),(0,r.jsx)("path",{d:"M5.25 11.25a6.75 6.75 0 0 0 13.5 0M12 18v3"})]}),f=e=>(0,r.jsxs)(a,{...e,children:[(0,r.jsx)("circle",{cx:"12",cy:"12",r:"3.75"}),(0,r.jsx)("path",{d:"M12 3v1.5M12 19.5V21M3 12h1.5M19.5 12H21M5.6 5.6l1.06 1.06M17.34 17.34l1.06 1.06M5.6 18.4l1.06-1.06M17.34 6.66l1.06-1.06"})]}),p=e=>(0,r.jsx)(a,{...e,children:(0,r.jsx)("path",{d:"M20.25 14.6A8.25 8.25 0 0 1 9.4 3.75a8.25 8.25 0 1 0 10.85 10.85Z"})}),v=e=>(0,r.jsx)(a,{...e,children:(0,r.jsx)("path",{d:"m5.25 12.75 4.5 4.5 9-10.5"})}),b=e=>(0,r.jsx)(a,{...e,children:(0,r.jsx)("path",{d:"M13.5 4.5h6v6M19.5 4.5 11.25 12.75M17.25 13.5v5.25a.75.75 0 0 1-.75.75H5.25a.75.75 0 0 1-.75-.75V7.5a.75.75 0 0 1 .75-.75h5.25"})}),y=e=>(0,r.jsx)(a,{...e,children:(0,r.jsx)("path",{d:"M3.75 7.5h16.5M3.75 12h16.5M3.75 16.5h16.5"})}),g=e=>(0,r.jsxs)(a,{...e,children:[(0,r.jsx)("rect",{x:"3.75",y:"4.5",width:"16.5",height:"15",rx:"2.25"}),(0,r.jsx)("path",{d:"M9.75 4.5v15"})]})},53963:function(e,t,n){"use strict";n.d(t,{T:function(){return s}});var r=n(37821),a=n(17968);function s(e){let{children:t,className:n}=e;return(0,r.jsx)("kbd",{className:(0,a.cn)("inline-flex h-[18px] min-w-[18px] items-center justify-center rounded-[5px] border border-border-default bg-surface-2 px-1 font-sans text-[11px] leading-none text-text-tertiary",n),children:t})}},23576:function(e,t,n){"use strict";n.d(t,{O:function(){return i}});var r=n(37821),a=n(13442),s=n(17968);function i(e){let{name:t,edge:n,min:i,max:o,className:l}=e,c=e=>Math.min(o,Math.max(i,e)),u=()=>window.dispatchEvent(new Event("resize"));return(0,r.jsx)("div",{role:"separator","aria-orientation":"vertical","aria-label":"Resize pane",tabIndex:0,title:"Drag to resize \xb7 double-click to reset",onPointerDown:e=>{let r=e.currentTarget.parentElement;if(!r||0!==e.button)return;e.preventDefault();let s=e.currentTarget,i=e.clientX,o=r.getBoundingClientRect().width,l=o;s.setPointerCapture(e.pointerId),document.body.classList.add("is-resizing");let d=e=>{let r=e.clientX-i;l=c("right"===n?o+r:o-r),(0,a.vv)(t,l)},h=()=>{s.removeEventListener("pointermove",d),s.removeEventListener("pointerup",h),s.removeEventListener("pointercancel",h),document.body.classList.remove("is-resizing"),Math.round(l)!==Math.round(o)&&(0,a.j5)(t,l),u()};s.addEventListener("pointermove",d),s.addEventListener("pointerup",h),s.addEventListener("pointercancel",h)},onDoubleClick:()=>{(0,a.vv)(t,null),(0,a.j5)(t,null),u()},onKeyDown:e=>{if("ArrowLeft"!==e.key&&"ArrowRight"!==e.key)return;let r=e.currentTarget.parentElement;if(!r)return;e.preventDefault();let s="ArrowRight"===e.key==("right"===n),i=c(r.getBoundingClientRect().width+(s?16:-16));(0,a.vv)(t,i),(0,a.j5)(t,i),u()},className:(0,s.cn)("group/resize absolute inset-y-0 z-20 w-2 cursor-col-resize touch-none focus-visible:outline-none","right"===n?"-right-1":"-left-1",l),children:(0,r.jsx)("span",{className:"mx-auto block h-full w-px transition-colors duration-200 group-hover/resize:bg-border-emphasis group-focus-visible/resize:bg-border-emphasis"})})}},63237:function(e,t,n){"use strict";n.d(t,{w:function(){return p},Sidebar:function(){return y}});var r=n(37821),a=n(14233),s=n(90168),i=n(4595),o=n(58078),l=n(17968),c=n(96945);function u(e,t){let n=Math.round((t-e)/1e3);return n<10?"just now":n<60?"".concat(n,"s ago"):n<3600?"".concat(Math.round(n/60),"m ago"):"".concat(Math.round(n/3600),"h ago")}function d(){let e=(0,c.g)(),[t,n]=(0,o.useState)(()=>Date.now()),[a,s]=(0,o.useState)(null);return(0,o.useEffect)(()=>{let e=setInterval(()=>n(Date.now()),3e4);return()=>clearInterval(e)},[]),(0,o.useEffect)(()=>{n(Date.now()),fetch("/api/github-status",{cache:"no-store"}).then(e=>e.ok?e.json():null).then(e=>s(e&&"string"==typeof e.last_synced_at?e:null)).catch(()=>s(null))},[e.lastUpdate]),(0,r.jsxs)("div",{className:"space-y-1 px-2.5 text-caption text-text-tertiary","aria-live":"polite",children:[(0,r.jsxs)("div",{className:"flex items-center gap-2",title:e.lastFile?"Last change: ".concat(e.lastFile):void 0,children:[(0,r.jsx)("span",{"aria-hidden":"true",className:"h-1.5 w-1.5 shrink-0 rounded-full",style:{background:e.connected?"var(--success)":"var(--medium)"}}),(0,r.jsx)("span",{children:e.connected?"Live \xb7 updated ".concat(u(e.lastUpdate,t)):"Reconnecting…"})]}),a&&(0,r.jsxs)("div",{className:"flex items-center gap-2",title:"GitHub sync with ".concat(a.repo),children:[(0,r.jsx)("span",{"aria-hidden":"true",className:"h-1.5 w-1.5 shrink-0 rounded-full bg-text-tertiary"}),(0,r.jsxs)("span",{children:["GitHub synced ",u(Date.parse(a.last_synced_at),t)]})]})]})}var h=n(69059),x=n(53963),m=n(23576),f=n(13442);let p=[{href:"/",label:"Today",icon:h.UH},{href:"/model",label:"Model",icon:h.vv},{href:"/review",label:"Review",icon:h.ui},{href:"/changes",label:"Changes",icon:h.yK,changesOnly:!0},{href:"/issues",label:"Board",icon:h.ve},{href:"/report",label:"Report",icon:h.VU}],v=f.oA;function b(){let{resolvedTheme:e,setTheme:t}=(0,i.F)(),[n,a]=(0,o.useState)(!1);(0,o.useEffect)(()=>a(!0),[]);let s=!n||"light"!==e;return(0,r.jsx)("button",{type:"button",onClick:()=>t(s?"light":"dark"),"aria-label":"Switch to ".concat(s?"light":"dark"," appearance"),title:"Switch to ".concat(s?"light":"dark"," appearance"),className:"rounded-md p-1.5 text-text-tertiary hover:bg-surface-2 hover:text-text-primary",children:s?(0,r.jsx)(h.C9,{className:"h-4 w-4"}):(0,r.jsx)(h.O3,{className:"h-4 w-4"})})}function y(e){let{projectName:t,version:n,showChanges:i}=e,c=(0,s.usePathname)(),[u,y]=(0,o.useState)(!1),[g,j]=(0,o.useState)(!1);(0,o.useEffect)(()=>y(!1),[c]),(0,o.useEffect)(()=>{try{j("collapsed"===localStorage.getItem(f.pA))}catch(e){}},[]),(0,o.useEffect)(()=>{document.documentElement.style.setProperty("--sidebar-w",g?"60px":v)},[g]);let w=()=>j(e=>{try{localStorage.setItem(f.pA,e?"expanded":"collapsed")}catch(e){}return!e});(0,o.useEffect)(()=>{let e=e=>{(e.metaKey||e.ctrlKey)&&"\\"===e.key&&(e.preventDefault(),w())};return window.addEventListener("keydown",e),()=>window.removeEventListener("keydown",e)},[]);let k=g&&!u;return(0,r.jsxs)(r.Fragment,{children:[(0,r.jsx)("button",{type:"button","aria-label":"Toggle navigation",onClick:()=>y(e=>!e),className:"fixed left-3 top-3 z-[60] flex h-9 w-9 items-center justify-center rounded-md border border-border-subtle bg-surface-1 text-text-secondary md:hidden",children:(0,r.jsx)(h.dc,{className:"h-5 w-5"})}),u&&(0,r.jsx)("div",{className:"fade-in fixed inset-0 z-40 md:hidden",style:{background:"var(--overlay-bg)"},onClick:()=>y(!1)}),(0,r.jsxs)("nav",{"aria-label":"Main navigation",className:(0,l.cn)("fixed left-0 top-0 z-50 flex h-screen w-[220px] flex-col border-r border-border-subtle bg-surface-1 transition-[transform,width] duration-200 ease-out md:w-[var(--sidebar-w,220px)] md:translate-x-0",u?"translate-x-0":"-translate-x-full"),children:[(0,r.jsxs)("div",{className:(0,l.cn)("flex items-start gap-2 pb-5 pt-5",k?"justify-center px-2":"px-5"),children:[!k&&(0,r.jsxs)("div",{className:"min-w-0 flex-1",children:[(0,r.jsxs)("div",{className:"flex items-baseline gap-2",children:[(0,r.jsx)("span",{className:"text-heading font-semibold tracking-tight text-text-primary",children:"Hex"}),(0,r.jsx)("span",{className:"text-caption text-text-tertiary",children:n})]}),t&&(0,r.jsx)("div",{className:"mt-0.5 truncate text-caption text-text-secondary",children:t})]}),(0,r.jsx)("button",{type:"button",onClick:w,"aria-label":g?"Show sidebar":"Hide sidebar",title:"".concat(g?"Show":"Hide"," sidebar (⌘\\)"),className:"-mr-1 hidden rounded-md p-1.5 text-text-tertiary hover:bg-surface-2 hover:text-text-primary md:block",children:(0,r.jsx)(h.oG,{className:"h-4 w-4"})})]}),(0,r.jsx)("div",{className:(0,l.cn)("flex-1 space-y-0.5 overflow-y-auto",k?"px-2":"px-3"),children:p.filter(e=>i||!e.changesOnly).map(e=>{var t;let n="/"===(t=e.href)?"/"===c:c===t||c.startsWith(t+"/");return(0,r.jsxs)(a.default,{href:e.href,title:k?e.label:void 0,"aria-current":n?"page":void 0,className:(0,l.cn)("flex h-8 items-center gap-2.5 rounded-md text-body",k?"justify-center px-0":"px-2.5",n?"bg-accent-subtle font-medium text-accent":"text-text-secondary hover:bg-surface-2 hover:text-text-primary"),children:[(0,r.jsx)(e.icon,{className:"h-4 w-4 shrink-0"}),!k&&(0,r.jsx)("span",{children:e.label}),k&&(0,r.jsx)("span",{className:"sr-only",children:e.label})]},e.href)})}),k?(0,r.jsxs)("div",{className:"flex flex-col items-center gap-2 border-t border-border-subtle py-3",children:[(0,r.jsx)("button",{type:"button",onClick:()=>window.dispatchEvent(new CustomEvent("hex:palette")),title:"Go to anything (⌘K)",className:"rounded-md p-1.5 text-text-tertiary hover:bg-surface-2 hover:text-text-primary",children:(0,r.jsx)(x.T,{children:"⌘K"})}),(0,r.jsx)(b,{})]}):(0,r.jsxs)("div",{className:"space-y-3 border-t border-border-subtle px-3 py-3",children:[(0,r.jsx)(d,{}),(0,r.jsxs)("div",{className:"flex items-center justify-between px-1",children:[(0,r.jsxs)("button",{type:"button",onClick:()=>window.dispatchEvent(new CustomEvent("hex:palette")),className:"flex items-center gap-2 rounded-md px-1.5 py-1 text-caption text-text-tertiary hover:bg-surface-2 hover:text-text-primary",children:[(0,r.jsx)(x.T,{children:"⌘K"}),(0,r.jsx)("span",{children:"Go to anything"})]}),(0,r.jsx)(b,{})]})]}),!k&&(0,r.jsx)(m.O,{name:"sidebar",edge:"right",min:180,max:360,className:"hidden md:block"})]})]})}},88554:function(e,t,n){"use strict";n.d(t,{ToastProvider:function(){return l},p:function(){return o}});var r=n(37821),a=n(58078),s=n(69059);let i=(0,a.createContext)(()=>{});function o(){return(0,a.useContext)(i)}function l(e){let{children:t}=e,[n,o]=(0,a.useState)(null),l=(0,a.useRef)(null),c=(0,a.useRef)(0),u=(0,a.useCallback)(()=>{l.current&&clearTimeout(l.current),o(null)},[]),d=(0,a.useCallback)(e=>{l.current&&clearTimeout(l.current),c.current+=1,o({...e,id:c.current}),l.current=setTimeout(()=>o(null),e.action?6e3:3500)},[]);return(0,a.useEffect)(()=>()=>{l.current&&clearTimeout(l.current)},[]),(0,r.jsxs)(i.Provider,{value:d,children:[t,(0,r.jsx)("div",{"aria-live":"polite",className:"pointer-events-none fixed inset-x-0 bottom-6 z-[9500] flex justify-center px-4",children:n&&(0,r.jsxs)("div",{role:"status",className:"rise-in pointer-events-auto flex items-center gap-3 rounded-lg border border-border-default bg-surface-1 py-2 pl-4 pr-2 text-body shadow-lg",children:[(0,r.jsx)("span",{className:"error"===n.tone?"text-[var(--critical)]":"text-text-primary",children:n.message}),n.action&&(0,r.jsx)("button",{type:"button",onClick:()=>{var e;null===(e=n.action)||void 0===e||e.onClick(),u()},className:"rounded-md px-2 py-0.5 text-body font-medium text-accent hover:bg-accent-subtle",children:n.action.label}),(0,r.jsx)("button",{type:"button","aria-label":"Dismiss",onClick:u,className:"rounded-md p-1 text-text-tertiary hover:bg-surface-2 hover:text-text-primary",children:(0,r.jsx)(s.bM,{className:"h-3.5 w-3.5"})})]},n.id)})]})}},17968:function(e,t,n){"use strict";function r(){for(var e=arguments.length,t=Array(e),n=0;n<e;n++)t[n]=arguments[n];return t.filter(Boolean).join(" ")}n.d(t,{cn:function(){return r}})},96945:function(e,t,n){"use strict";n.d(t,{g:function(){return o},x:function(){return i}});var r=n(58078);let a={connected:!1,lastUpdate:Date.now(),lastFile:null},s=new Set;function i(e){for(let t of(a={...a,...e},s))t()}function o(){return(0,r.useSyncExternalStore)(e=>(s.add(e),()=>s.delete(e)),()=>a,()=>a)}},13442:function(e,t,n){"use strict";n.d(t,{j5:function(){return i},oA:function(){return r},pA:function(){return a},vv:function(){return s}});let r="var(--w-sidebar, 220px)",a="hex.sidebar";function s(e,t){let n=document.documentElement.style;null===t?n.removeProperty("--w-".concat(e)):n.setProperty("--w-".concat(e),"".concat(Math.round(t),"px"))}function i(e,t){try{null===t?localStorage.removeItem("hex.w.".concat(e)):localStorage.setItem("hex.w.".concat(e),String(Math.round(t)))}catch(e){}}},14233:function(e,t,n){"use strict";n.d(t,{default:function(){return a.a}});var r=n(67498),a=n.n(r)},90168:function(e,t,n){"use strict";var r=n(87462);n.o(r,"usePathname")&&n.d(t,{usePathname:function(){return r.usePathname}}),n.o(r,"useRouter")&&n.d(t,{useRouter:function(){return r.useRouter}}),n.o(r,"useSearchParams")&&n.d(t,{useSearchParams:function(){return r.useSearchParams}})},13812:function(){},55256:function(e){e.exports={style:{fontFamily:"'__JetBrains_Mono_4dc837', '__JetBrains_Mono_Fallback_4dc837'",fontStyle:"normal"},className:"__className_4dc837",variable:"__variable_4dc837"}},41600:function(e){e.exports={style:{fontFamily:"'__Manrope_855f89', '__Manrope_Fallback_855f89'",fontStyle:"normal"},className:"__className_855f89",variable:"__variable_855f89"}},4595:function(e,t,n){"use strict";n.d(t,{F:function(){return u},ThemeProvider:function(){return d}});var r=n(58078),a=(e,t,n,r,a,s,i,o)=>{let l=document.documentElement,c=["light","dark"];function u(t){(Array.isArray(e)?e:[e]).forEach(e=>{let n="class"===e,r=n&&s?a.map(e=>s[e]||e):a;n?(l.classList.remove(...r),l.classList.add(s&&s[t]?s[t]:t)):l.setAttribute(e,t)}),o&&c.includes(t)&&(l.style.colorScheme=t)}if(r)u(r);else try{let e=localStorage.getItem(t)||n,r=i&&"system"===e?window.matchMedia("(prefers-color-scheme: dark)").matches?"dark":"light":e;u(r)}catch(e){}},s=["light","dark"],i="(prefers-color-scheme: dark)",o="undefined"==typeof window,l=r.createContext(void 0),c={setTheme:e=>{},themes:[]},u=()=>{var e;return null!=(e=r.useContext(l))?e:c},d=e=>r.useContext(l)?r.createElement(r.Fragment,null,e.children):r.createElement(x,{...e}),h=["light","dark"],x=e=>{let{forcedTheme:t,disableTransitionOnChange:n=!1,enableSystem:a=!0,enableColorScheme:o=!0,storageKey:c="theme",themes:u=h,defaultTheme:d=a?"system":"light",attribute:x="data-theme",value:b,children:y,nonce:g,scriptProps:j}=e,[w,k]=r.useState(()=>f(c,d)),[N,M]=r.useState(()=>"system"===w?v():w),E=b?Object.values(b):u,C=r.useCallback(e=>{let t=e;if(!t)return;"system"===e&&a&&(t=v());let r=b?b[t]:t,i=n?p(g):null,l=document.documentElement,c=e=>{"class"===e?(l.classList.remove(...E),r&&l.classList.add(r)):e.startsWith("data-")&&(r?l.setAttribute(e,r):l.removeAttribute(e))};if(Array.isArray(x)?x.forEach(c):c(x),o){let e=s.includes(d)?d:null,n=s.includes(t)?t:e;l.style.colorScheme=n}null==i||i()},[g]),S=r.useCallback(e=>{let t="function"==typeof e?e(w):e;k(t);try{localStorage.setItem(c,t)}catch(e){}},[w]),_=r.useCallback(e=>{M(v(e)),"system"===w&&a&&!t&&C("system")},[w,t]);r.useEffect(()=>{let e=window.matchMedia(i);return e.addListener(_),_(e),()=>e.removeListener(_)},[_]),r.useEffect(()=>{let e=e=>{e.key===c&&(e.newValue?k(e.newValue):S(d))};return window.addEventListener("storage",e),()=>window.removeEventListener("storage",e)},[S]),r.useEffect(()=>{C(null!=t?t:w)},[t,w]);let T=r.useMemo(()=>({theme:w,setTheme:S,forcedTheme:t,resolvedTheme:"system"===w?N:w,themes:a?[...u,"system"]:u,systemTheme:a?N:void 0}),[w,S,t,N,a,u]);return r.createElement(l.Provider,{value:T},r.createElement(m,{forcedTheme:t,storageKey:c,attribute:x,enableSystem:a,enableColorScheme:o,defaultTheme:d,value:b,themes:u,nonce:g,scriptProps:j}),y)},m=r.memo(e=>{let{forcedTheme:t,storageKey:n,attribute:s,enableSystem:i,enableColorScheme:o,defaultTheme:l,value:c,themes:u,nonce:d,scriptProps:h}=e,x=JSON.stringify([s,n,l,t,u,c,i,o]).slice(1,-1);return r.createElement("script",{...h,suppressHydrationWarning:!0,nonce:"undefined"==typeof window?d:"",dangerouslySetInnerHTML:{__html:"(".concat(a.toString(),")(").concat(x,")")}})}),f=(e,t)=>{let n;if(!o){try{n=localStorage.getItem(e)||void 0}catch(e){}return n||t}},p=e=>{let t=document.createElement("style");return e&&t.setAttribute("nonce",e),t.appendChild(document.createTextNode("*,*::before,*::after{-webkit-transition:none!important;-moz-transition:none!important;-o-transition:none!important;-ms-transition:none!important;transition:none!important}")),document.head.appendChild(t),()=>{window.getComputedStyle(document.body),setTimeout(()=>{document.head.removeChild(t)},1)}},v=e=>(e||(e=window.matchMedia(i)),e.matches?"dark":"light")}},function(e){e.O(0,[5116,7498,7115,3205,1744],function(){return e(e.s=69766)}),_N_E=e.O()}]);

package/dashboard/.next/static/chunks/app/model/page-9680e22fdd6ddb81.js

@@ -0,0 +1 @@
+(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[6303],{71232:function(e,t,n){Promise.resolve().then(n.bind(n,85581)),Promise.resolve().then(n.bind(n,81751))},85581:function(e,t,n){"use strict";n.d(t,{ModelClient:function(){return A}});var s=n(37821),i=n(14233),l=n(22475),a=n.n(l),r=n(58078),o=n(90168),c=n(4595),d=n(81751),u=n(32011),m=n(52171),x=n(90026),p=n(61434),h=n(55592),f=n(55631),v=n(88554),y=n(69059),b=n(93775),j=n(29487),g=n(85268),k=n(4848),w=n(83206),N=n(79513),_=n(17968);let C=a()(()=>Promise.all([n.e(4867),n.e(3163),n.e(8544),n.e(7628),n.e(985),n.e(2445)]).then(n.bind(n,12445)),{loadableGenerated:{webpack:()=>[12445]},ssr:!1,loading:()=>(0,s.jsx)("div",{className:"flex h-full items-center justify-center text-caption text-text-tertiary",children:"Loading canvas…"})}),S={actors:"Actors",assets:"Assets",privileges:"Privileges",trust:"Trust",dependencies:"Dependencies",accounting:"Accounting",invariants:"Invariants",spec:"Spec"},T={actors:"Who interacts with the protocol, and how far each is trusted.",assets:"What holds value, where it sits, and which functions move it.",privileges:"What each privileged role can do, at worst.",trust:"What has to be true outside the code for the protocol to be safe.",dependencies:"External systems the protocol relies on, and how they fail.",accounting:"The equations that must balance, and who moves each term.",invariants:"Properties that must always hold. Accept the ones you agree with; they feed /ai-audit and the fuzzer.",spec:"How the code measures up against its documentation and standards."},E={verified:{label:"Verified",color:"var(--success)"},contested:{label:"Contested",color:"var(--high)"},unverified:{label:"Unverified",color:"var(--neutral)"}},z={CONFORMS:{label:"Conforms",color:"var(--success)"},DEVIATES:{label:"Deviates",color:"var(--critical)"},PARTIAL:{label:"Partial",color:"var(--medium)"},UNVERIFIABLE:{label:"Unverifiable",color:"var(--neutral)"},UNDOCUMENTED:{label:"Undocumented",color:"var(--neutral)"}},I={passing:{label:"passing",color:"var(--success)"},failing:{label:"failing",color:"var(--critical)"},broken:{label:"broken",color:"var(--high)"},not_written:{label:"not written",color:"var(--neutral)"}},P={proposed:"Proposed",accepted:"Accepted",rejected:"Rejected"},R=e=>e.split("(")[0];function O(e){var t;let{status:n}=e,i=null!==(t=E[null!=n?n:"unverified"])&&void 0!==t?t:E.unverified;return(0,s.jsxs)("span",{className:"inline-flex items-center gap-1.5 text-caption text-text-tertiary",children:[(0,s.jsx)(x.oT,{color:i.color}),i.label]})}function A(e){var t;let n,{model:i,invariants:l,spec:a,diagrams:u,fns:p,contracts:h,states:b,cards:j,cardsByFn:_}=e,C=(0,o.useSearchParams)(),T=(0,o.useRouter)(),E=(0,v.p)(),{resolvedTheme:z}=(0,c.F)(),I=(0,r.useMemo)(()=>{let e=[];return i&&(e.push({id:"actors",count:i.actors.length}),e.push({id:"assets",count:i.assets.length}),e.push({id:"privileges",count:i.privileges.length}),e.push({id:"trust",count:i.trust_assumptions.length}),e.push({id:"dependencies",count:i.external_dependencies.length}),e.push({id:"accounting",count:i.accounting.length})),e.push({id:"invariants",count:l.length}),(null==a?void 0:a.length)&&e.push({id:"spec",count:a.length}),e},[i,l,a]),R=(0,r.useCallback)(()=>{var e,t;let n=C.get("d");if(n&&u.some(e=>e.name===n))return{kind:"diagram",name:n};let s=C.get("s");return s&&I.some(e=>e.id===s)?{kind:"section",id:s}:u[0]?{kind:"diagram",name:u[0].name}:{kind:"section",id:null!==(t=null===(e=I[0])||void 0===e?void 0:e.id)&&void 0!==t?t:"invariants"}},[C,u,I]),[O,A]=(0,r.useState)(R),[L,D]=(0,r.useState)(()=>C.get("id")),[W,q]=(0,r.useState)(null);(0,r.useEffect)(()=>{(C.get("d")||C.get("s"))&&(A(R()),D(C.get("id")))},[C]);let V="diagram"===O.kind?"d:".concat(O.name):"s:".concat(O.id);(0,r.useEffect)(()=>{"diagram"===O.kind?(0,w.q)({d:O.name,s:null,id:null}):(0,w.q)({s:O.id,d:null,id:L})},[V,L]);let B=e=>{A(e),D(null),q(null)},G=(0,r.useMemo)(()=>[...u.map(e=>({kind:"diagram",name:e.name})),...I.map(e=>({kind:"section",id:e.id}))],[u,I]);(0,g.y)({j:()=>{let e=G.findIndex(e=>("diagram"===e.kind?"d:".concat(e.name):"s:".concat(e.id))===V),t=G[Math.min(G.length-1,e+1)];t&&B(t)},k:()=>{let e=G.findIndex(e=>("diagram"===e.kind?"d:".concat(e.name):"s:".concat(e.id))===V),t=G[Math.max(0,e-1)];t&&B(t)},Escape:()=>{D(null),q(null)}});let[J,Q]=(0,r.useState)({});(0,r.useEffect)(()=>Q({}),[l]);let X=(0,r.useMemo)(()=>l.map(e=>J[e.id]?{...e,status:J[e.id]}:e),[l,J]),Y=(0,r.useCallback)(async(e,t)=>{let n=e.status;Q(n=>({...n,[e.id]:t}));try{await (0,N.C)("/api/invariants/".concat(encodeURIComponent(e.id)),{status:t}),E({message:"".concat(e.id," ").concat(P[t].toLowerCase()),action:{label:"Undo",onClick:()=>{Q(t=>({...t,[e.id]:n})),(0,N.C)("/api/invariants/".concat(encodeURIComponent(e.id)),{status:n}).then(()=>T.refresh())}}}),T.refresh()}catch(t){Q(t=>({...t,[e.id]:n})),E({message:t.message,tone:"error"})}},[T,E]);(0,r.useEffect)(()=>{var e,t,n;if("diagram"!==O.kind||!W)return;let s=null!==(t=null!==(e=W.ref)&&void 0!==e?e:W.node)&&void 0!==t?t:"";if(!s)return;let i=F(s,p);(0,k.k)({ref:null!==(n=null==i?void 0:i.id)&&void 0!==n?n:s,kind:"diagram_node",label:W.label||s,...i?{file:i.file,line_start:i.line_start,line_end:i.line_end}:{}})},[W]),(0,r.useEffect)(()=>{if("section"===O.kind&&L){if("invariants"===O.id){let e=l.find(e=>e.id===L);e&&(0,k.k)({ref:e.id,kind:"invariant",label:e.statement})}else if("privileges"===O.id&&i){let e=i.privileges[Number(L)],t=e?p[e.function]:void 0;e&&(0,k.k)({ref:e.function,kind:"function",label:e.function,...t?{file:t.file,line_start:t.line_start,line_end:t.line_end}:{}})}}},[V,L]);let Z="diagram"===O.kind&&null!==(t=u.find(e=>e.name===O.name))&&void 0!==t?t:null,$={model:i,invariants:X,fns:p,contracts:h,states:b,cards:j,cardsByFn:_,spec:a};"diagram"===O.kind&&W?n=(0,s.jsx)(H,{sel:W,ctx:$,onClose:()=>q(null),onOpenSection:(e,t)=>{A({kind:"section",id:e}),D(t)}}):"section"===O.kind&&null!==L&&(n=(0,s.jsx)(K,{section:O.id,item:L,ctx:$,onClose:()=>D(null),onInvariant:Y}));let ee=(0,s.jsxs)("div",{className:"min-h-0 flex-1 overflow-y-auto px-2 pb-6 pt-1",children:[u.length>0&&(0,s.jsx)(m.i,{children:"Diagrams"}),u.map(e=>(0,s.jsx)(m.w,{dense:!0,selected:"diagram"===O.kind&&O.name===e.name,onClick:()=>B({kind:"diagram",name:e.name}),title:e.title,trailing:e.stale?(0,s.jsx)(x.oT,{color:"var(--medium)",title:"The model changed since you edited this diagram"}):e.in_report?(0,s.jsx)("span",{title:"In the report",children:(0,s.jsx)(y.NO,{className:"h-3.5 w-3.5"})}):e.edited?"Edited":void 0},e.name)),(0,s.jsx)(m.i,{children:"Protocol"}),I.map(e=>(0,s.jsx)(m.w,{dense:!0,selected:"section"===O.kind&&O.id===e.id,onClick:()=>B({kind:"section",id:e.id}),title:S[e.id],titleClassName:0===e.count?"text-text-tertiary":void 0,trailing:(0,s.jsx)("span",{className:"tabular-nums",children:e.count})},e.id))]});return(0,s.jsx)(d.z,{toolbar:(0,s.jsx)(d.Toolbar,{title:"Model",meta:(null==i?void 0:i.summary)?(0,s.jsx)("span",{className:"hidden lg:inline",children:i.summary}):void 0}),list:ee,listWidth:248,inspector:n,inspectorFloating:"diagram"===O.kind,children:"diagram"===O.kind?Z?(0,s.jsx)(M,{entry:Z,theme:"light"===z?"light":"dark",onSelect:q},Z.name):(0,s.jsx)(f.u,{sentence:"This diagram is gone. Rebuild diagrams to bring it back.",command:"hex diagram build"}):(0,s.jsx)(U,{id:O.id,ctx:$,selected:L,onSelect:D,onInvariant:Y})})}function M(e){let{entry:t,theme:n,onSelect:i}=e,l=(0,o.useRouter)(),a=(0,v.p)(),c=(0,r.useRef)(null),[d,u]=(0,r.useState)(null),[m,p]=(0,r.useState)(t.in_report),[f,b]=(0,r.useState)(!1),[j,g]=(0,r.useState)(!1);(0,r.useEffect)(()=>p(t.in_report),[t.in_report]),(0,r.useEffect)(()=>{if("saved"!==d)return;let e=setTimeout(()=>u(null),1600);return()=>clearTimeout(e)},[d]);let k=(0,r.useCallback)(e=>{c.current=e},[]),w=(0,r.useCallback)(e=>{u(e),"saved"===e&&l.refresh()},[l]),S=async()=>{if(c.current){b(!0);try{let e=await c.current.exportPng();if(!(await fetch("/api/diagrams/".concat(encodeURIComponent(t.name),"/export"),{method:"POST",headers:{"Content-Type":"image/png"},body:e})).ok)throw Error("Could not write the figure");p(!0),a({message:"Added to the report as figures/".concat(t.name,".png")}),l.refresh()}catch(e){a({message:e.message,tone:"error"})}finally{b(!1)}}},T=async()=>{b(!0);try{await fetch("/api/diagrams/".concat(encodeURIComponent(t.name),"/export"),{method:"DELETE"}),p(!1),a({message:"Removed from the report",action:{label:"Undo",onClick:()=>void S()}}),l.refresh()}finally{b(!1)}},E=async e=>{try{await (0,N.C)("/api/diagrams/".concat(encodeURIComponent(t.name),"/resolve"),{action:e}),a({message:"use-new"===e?"Switched to the new layout":"Kept your edits"}),l.refresh()}catch(e){a({message:e.message,tone:"error"})}};return(0,s.jsxs)("div",{className:"flex min-h-0 flex-1 flex-col",children:[(0,s.jsxs)("div",{className:"flex shrink-0 flex-wrap items-start gap-x-6 gap-y-3 border-b border-border-subtle px-6 py-4",children:[(0,s.jsxs)("div",{className:"min-w-0 flex-1",children:[(0,s.jsxs)("div",{className:"flex items-baseline gap-3",children:[(0,s.jsx)("h2",{className:"text-heading font-semibold text-text-primary",children:t.title}),(0,s.jsx)("span",{className:"text-caption text-text-tertiary",children:"saving"===d?"Saving…":"saved"===d?"Saved":"error"===d?"Couldn't save":t.edited?"Edited":""})]}),(0,s.jsx)("p",{className:"mt-1 max-w-3xl text-body text-text-secondary",children:t.takeaway})]}),(0,s.jsxs)("div",{className:"flex items-center gap-2",children:[(0,s.jsx)(h.z,{variant:"ghost",onClick:()=>g(e=>!e),"aria-pressed":j,title:"Show colors, strokes and fonts for the selected shapes",className:j?"bg-surface-2 text-text-primary":void 0,children:"Style"}),m?(0,s.jsxs)(h.z,{onClick:T,disabled:f,"aria-pressed":!0,title:"Take this diagram out of the report",children:[(0,s.jsx)(y.NO,{className:"h-4 w-4"})," In report"]}):(0,s.jsx)(h.z,{variant:"primary",onClick:S,disabled:f,children:f?"Exporting…":"Use in report"})]})]}),t.stale&&(0,s.jsxs)("div",{className:"fade-in flex shrink-0 flex-wrap items-center gap-3 border-b border-border-subtle bg-surface-1 px-6 py-2.5",children:[(0,s.jsx)(x.oT,{color:"var(--medium)"}),(0,s.jsx)("span",{className:"flex-1 text-body text-text-secondary",children:"The model changed since you edited this diagram."}),(0,s.jsx)(h.z,{size:"sm",variant:"secondary",onClick:()=>E("use-new"),children:"Use new layout"}),(0,s.jsx)(h.z,{size:"sm",variant:"ghost",onClick:()=>E("keep-mine"),children:"Keep mine"})]}),(0,s.jsx)("div",{className:(0,_.cn)("hex-canvas relative min-h-0 flex-1",j&&"hex-canvas--style"),children:(0,s.jsx)(C,{name:t.name,mtime:t.mtime,theme:n,onSelect:i,onSaved:w,onReady:k})})]})}function U(e){var t,n,i,l,a,r,o;let{id:c,ctx:u,selected:m,onSelect:p,onInvariant:f}=e,v=u.model,y=[],b="";switch(c){case"actors":y=(null!==(t=null==v?void 0:v.actors)&&void 0!==t?t:[]).map(e=>({key:e.id,title:e.name,subtitle:"".concat(e.kind.replace("_"," ")," \xb7 ").concat(e.trust.replace("_"," ")).concat(e.powers.length?" \xb7 ".concat(e.powers.map(R).map(e=>e.split(".").pop()).join(", ")):""),trailing:(0,s.jsx)(O,{status:e.status})})),b="No actors in the model yet.";break;case"assets":y=(null!==(n=null==v?void 0:v.assets)&&void 0!==n?n:[]).map(e=>({key:e.id,title:e.name,subtitle:"".concat(e.kind).concat(e.held_by.length?" \xb7 held by ".concat(e.held_by.join(", ")):"").concat(e.moved_by.length?" \xb7 moved by ".concat(e.moved_by.map(e=>R(e).split(".").pop()).join(", ")):""),trailing:(0,s.jsx)(O,{status:e.status})})),b="No assets in the model yet.";break;case"privileges":y=(null!==(i=null==v?void 0:v.privileges)&&void 0!==i?i:[]).map((e,t)=>({key:String(t),title:(0,s.jsxs)("span",{children:[L(v,e.actor)," can"," ",(0,s.jsx)("span",{className:"font-medium",children:R(e.function).split(".").pop()}),": ",e.effect]}),subtitle:"At worst: ".concat(e.worst_case).concat(e.timelock?" \xb7 timelock ".concat(e.timelock):""),trailing:(0,s.jsx)(O,{status:e.status})})),b="No privileged functions in the model.";break;case"trust":y=(null!==(l=null==v?void 0:v.trust_assumptions)&&void 0!==l?l:[]).map(e=>({key:e.claim_id,title:e.text,trailing:(0,s.jsx)(O,{status:e.status})})),b="No trust assumptions recorded.";break;case"dependencies":y=(null!==(a=null==v?void 0:v.external_dependencies)&&void 0!==a?a:[]).map(e=>({key:e.id,title:e.name,subtitle:"".concat(e.kind).concat(e.failure_modes.length?" \xb7 ".concat(e.failure_modes.join("; ")):""),trailing:(0,s.jsx)(O,{status:e.status})})),b="No external dependencies recorded.";break;case"accounting":y=(null!==(r=null==v?void 0:v.accounting)&&void 0!==r?r:[]).map(e=>({key:e.id,title:e.name,subtitle:e.equation,trailing:(0,s.jsx)(O,{status:e.status})})),b="No accounting equations recorded.";break;case"invariants":y=u.invariants.map(e=>{var t;let n=e.test?I[e.test.status]:null;return{key:e.id,title:e.statement,subtitle:(0,s.jsxs)("span",{className:"inline-flex flex-wrap items-center gap-x-2",children:[(0,s.jsxs)("span",{children:[e.id," \xb7 ",e.kind," \xb7 ",P[e.status]]}),(null===(t=e.verification)||void 0===t?void 0:t.status)==="contested"&&(0,s.jsxs)("span",{className:"inline-flex items-center gap-1.5",children:["\xb7 ",(0,s.jsx)(x.oT,{color:E.contested.color})," Contested"]}),e.test&&n&&(0,s.jsxs)("span",{className:"inline-flex items-center gap-1.5",children:["\xb7 ",(0,s.jsx)(x.oT,{color:n.color})," ",e.test.tool," ",n.label]}),e.issue_id&&(0,s.jsxs)("span",{children:["\xb7 ",e.issue_id]})]}),actions:"proposed"===e.status?(0,s.jsxs)("span",{className:"flex shrink-0 gap-1",children:[(0,s.jsx)(h.z,{size:"sm",variant:"secondary",onClick:t=>{t.stopPropagation(),f(e,"accepted")},children:"Accept"}),(0,s.jsx)(h.z,{size:"sm",variant:"ghost",onClick:t=>{t.stopPropagation(),f(e,"rejected")},children:"Reject"})]}):void 0}}),b="No invariants yet. /init-audit proposes them from the model.";break;case"spec":y=(null!==(o=u.spec)&&void 0!==o?o:[]).map(e=>{var t,n,i,l;return{key:e.id,title:e.spec_text,subtitle:"".concat(e.id," \xb7 ").concat(e.source.replace("_"," ")),trailing:(0,s.jsxs)("span",{className:"inline-flex items-center gap-1.5 text-caption text-text-tertiary",children:[(0,s.jsx)(x.oT,{color:null!==(i=null===(t=z[e.status])||void 0===t?void 0:t.color)&&void 0!==i?i:"var(--neutral)"}),null!==(l=null===(n=z[e.status])||void 0===n?void 0:n.label)&&void 0!==l?l:e.status]})}}),b="No spec conformance checks yet."}return(0,s.jsx)(d.x,{children:(0,s.jsxs)("div",{className:"mx-auto max-w-[780px] px-8 pb-16 pt-8",children:[(0,s.jsx)("h2",{className:"text-title font-semibold text-text-primary",children:S[c]}),(0,s.jsx)("p",{className:"mt-1 text-body text-text-tertiary",children:T[c]}),0===y.length?(0,s.jsx)("p",{className:"mt-8 text-body text-text-tertiary",children:b}):(0,s.jsx)("div",{className:"stagger -mx-2 mt-6",children:y.map(e=>(0,s.jsxs)("div",{role:"button",tabIndex:0,onClick:()=>p(e.key),onKeyDown:t=>"Enter"===t.key&&p(e.key),className:(0,_.cn)("flex cursor-pointer items-start gap-4 rounded-md px-2 py-2.5",m===e.key?"bg-accent-subtle":"hover:bg-surface-1"),children:[(0,s.jsxs)("div",{className:"min-w-0 flex-1",children:[(0,s.jsx)("div",{className:(0,_.cn)("text-body",m===e.key?"text-accent":"text-text-primary"),children:e.title}),e.subtitle&&(0,s.jsx)("div",{className:"mt-0.5 text-caption text-text-tertiary",children:e.subtitle})]}),m!==e.key&&e.actions,e.trailing&&(0,s.jsx)("div",{className:"shrink-0 pt-0.5",children:e.trailing})]},e.key))})]})})}function L(e,t){var n,s;return null!==(s=null==e?void 0:null===(n=e.actors.find(e=>e.id===t))||void 0===n?void 0:n.name)&&void 0!==s?s:t}function F(e,t){if(t[e])return t[e];if(e.includes(".")&&!e.includes("(")){var n;let[s,i]=e.split(".");return null!==(n=Object.values(t).find(e=>e.contract===s&&e.name===i))&&void 0!==n?n:null}return null}function D(e){let{evidence:t}=e;return(null==t?void 0:t.length)?(0,s.jsx)(u.oz,{label:"Evidence",children:(0,s.jsx)("div",{className:"flex flex-col items-start gap-1",children:t.map((e,t)=>(0,s.jsx)(b.i,{file:e.file,lineStart:e.line_start,lineEnd:e.line_end},t))})}):null}function W(e){let{ids:t,ctx:n,label:l}=e;return t.length?(0,s.jsx)(u.oz,{label:l,children:t.map(e=>{let t=n.states[e];return(0,s.jsxs)(i.default,{href:"/review?fn=".concat(encodeURIComponent(e)),className:"-mx-1.5 flex items-center gap-2 rounded-md px-1.5 py-1 text-body text-text-primary hover:bg-surface-2",children:[t?(0,s.jsx)(p.e,{state:t,className:"h-3 w-3"}):(0,s.jsx)("span",{className:"h-3 w-3"}),(0,s.jsx)("span",{className:"truncate",children:R(e)})]},e)})}):null}function q(e){let{ids:t,ctx:n}=e;return t.length?(0,s.jsx)(u.oz,{label:"Cards",children:t.map(e=>{var t;let l=n.cards[e];return(0,s.jsxs)(i.default,{href:"/issues?card=".concat(encodeURIComponent(e)),className:"-mx-1.5 flex items-center gap-2 rounded-md px-1.5 py-1 text-body text-text-primary hover:bg-surface-2",children:[l&&(0,s.jsx)(x.oH,{severity:l.severity,label:!1}),(0,s.jsx)("span",{className:"min-w-0 flex-1 truncate",children:null!==(t=null==l?void 0:l.title)&&void 0!==t?t:e}),(0,s.jsx)("span",{className:"shrink-0 text-caption text-text-tertiary",children:e})]},e)})}):null}function V(e){var t,n,i,l,a;let{fn:r,ctx:o}=e,c=null!==(t=o.states[r.id])&&void 0!==t?t:null,d=o.model,m=(null!==(n=null==d?void 0:d.privileges)&&void 0!==n?n:[]).filter(e=>e.function===r.id),x=(null!==(i=null==d?void 0:d.actors)&&void 0!==i?i:[]).filter(e=>e.powers.includes(r.id)),h=(null!==(l=null==d?void 0:d.assets)&&void 0!==l?l:[]).filter(e=>e.moved_by.includes(r.id)),f=o.invariants.filter(e=>e.scope.functions.includes(r.id));return(0,s.jsxs)(s.Fragment,{children:[(0,s.jsxs)(u.oz,{label:"Code",children:[(0,s.jsx)(b.i,{file:r.file,lineStart:r.line_start,lineEnd:r.line_end}),(0,s.jsxs)("p",{className:"mt-1.5 text-caption text-text-tertiary",children:[r.callers," caller",1===r.callers?"":"s"," \xb7 ",r.callees," callee",1===r.callees?"":"s",r.is_entry_point?" \xb7 entry point":""]})]}),c&&(0,s.jsx)(u.oz,{label:"Review",children:(0,s.jsxs)("p",{className:"flex items-center gap-2 text-body text-text-primary",children:[(0,s.jsx)(p.e,{state:c})," ",p.U[c]]})}),(m.length>0||x.length>0||h.length>0)&&(0,s.jsx)(u.oz,{label:"In the model",children:(0,s.jsxs)("ul",{className:"space-y-1 text-body text-text-secondary",children:[x.map(e=>(0,s.jsxs)("li",{children:["Only ",e.name," can call it."]},e.id)),m.map((e,t)=>(0,s.jsxs)("li",{children:[e.effect,". At worst: ",e.worst_case,"."]},t)),h.map(e=>(0,s.jsxs)("li",{children:["Moves ",e.name,"."]},e.id))]})}),f.length>0&&(0,s.jsx)(u.oz,{label:"Invariants",children:f.map(e=>(0,s.jsxs)("p",{className:"text-body text-text-secondary",children:[e.statement," ",(0,s.jsx)("span",{className:"text-caption text-text-tertiary",children:e.id})]},e.id))}),(0,s.jsx)(q,{ids:null!==(a=o.cardsByFn[r.id])&&void 0!==a?a:[],ctx:o})]})}function B(e){let{fnId:t}=e;return(0,s.jsx)(i.default,{href:"/review?fn=".concat(encodeURIComponent(t)),className:"inline-flex h-8 items-center rounded-md border border-border-default bg-surface-0 px-3 text-body font-medium text-text-primary shadow-sm hover:bg-surface-2",children:"Open in Review"})}function H(e){var t,n;let{sel:l,ctx:a,onClose:r,onOpenSection:o}=e,c=null!==(n=null!==(t=l.ref)&&void 0!==t?t:l.node)&&void 0!==n?n:"",d=F(c,a.fns);if(d)return(0,s.jsx)(u.lj,{eyebrow:"Function \xb7 ".concat(d.contract).concat(l.changed?" \xb7 changed":""),title:d.name,subtitle:(0,s.jsx)("span",{className:"font-mono",children:d.signature}),onClose:r,actions:(0,s.jsx)(B,{fnId:d.id}),children:(0,s.jsx)(V,{fn:d,ctx:a})});let m=a.contracts[c];if(m)return(0,s.jsx)(u.lj,{eyebrow:"Contract \xb7 ".concat(m.kind),title:m.name,onClose:r,actions:(0,s.jsx)(i.default,{href:"/review?contract=".concat(encodeURIComponent(m.name)),className:"inline-flex h-8 items-center rounded-md border border-border-default bg-surface-0 px-3 text-body font-medium text-text-primary shadow-sm hover:bg-surface-2",children:"Open in Review"}),children:(0,s.jsxs)(u.oz,{label:"Code",children:[(0,s.jsx)(b.i,{file:m.file,lineStart:m.line_start,lineEnd:m.line_end}),(0,s.jsxs)("p",{className:"mt-1.5 text-caption text-text-tertiary",children:[m.functions," functions \xb7 ",m.entry_points," entry points"]})]})});let x=a.model,p=null==x?void 0:x.actors.find(e=>e.id===c);if(p)return(0,s.jsx)(K,{section:"actors",item:p.id,ctx:a,onClose:r});let f=null==x?void 0:x.assets.find(e=>e.id===c);if(f)return(0,s.jsx)(K,{section:"assets",item:f.id,ctx:a,onClose:r});let v=null==x?void 0:x.external_dependencies.find(e=>e.id===c);if(v)return(0,s.jsx)(K,{section:"dependencies",item:v.id,ctx:a,onClose:r});let y=null==x?void 0:x.accounting.find(e=>e.id===c);if(y)return(0,s.jsx)(K,{section:"accounting",item:y.id,ctx:a,onClose:r});let j=a.invariants.find(e=>e.id===c);return j?(0,s.jsx)(u.lj,{eyebrow:"Invariant",title:j.statement,onClose:r,children:(0,s.jsx)(h.z,{variant:"secondary",onClick:()=>o("invariants",j.id),children:"Open in Invariants"})}):(0,s.jsx)(u.lj,{eyebrow:l.changed?"Diagram node \xb7 changed":"Diagram node",title:l.label||c,onClose:r,children:(0,s.jsx)("p",{className:"border-t border-border-subtle pt-3 text-body text-text-tertiary",children:"This node isn’t linked to code or the model."})})}function K(e){var t,n,i,l,a,r,o,c,d,m;let{section:p,item:f,ctx:v,onClose:y,onInvariant:g}=e,k=v.model;switch(p){case"actors":{let e=null==k?void 0:k.actors.find(e=>e.id===f);if(!e)return null;return(0,s.jsxs)(u.lj,{eyebrow:"Actor \xb7 ".concat(e.kind.replace("_"," ")),title:e.name,subtitle:"".concat(e.trust.replace("_"," ")),onClose:y,children:[e.description&&(0,s.jsx)("p",{className:"pb-4 text-body text-text-secondary",children:e.description}),(0,s.jsx)(G,{status:e.status,note:e.note,by:e.verified_by}),(0,s.jsx)(W,{ids:e.powers,ctx:v,label:"Can call"}),(0,s.jsx)(D,{evidence:e.evidence})]})}case"assets":{let e=null==k?void 0:k.assets.find(e=>e.id===f);if(!e)return null;return(0,s.jsxs)(u.lj,{eyebrow:"Asset \xb7 ".concat(e.kind),title:e.name,subtitle:e.held_by.length?"Held by ".concat(e.held_by.join(", ")):void 0,onClose:y,children:[e.description&&(0,s.jsx)("p",{className:"pb-4 text-body text-text-secondary",children:e.description}),(0,s.jsx)(G,{status:e.status,note:e.note,by:e.verified_by}),(0,s.jsx)(W,{ids:e.moved_by,ctx:v,label:"Moved by"}),(0,s.jsx)(D,{evidence:e.evidence})]})}case"privileges":{let e=null==k?void 0:k.privileges[Number(f)];if(!e)return null;let i=v.fns[e.function];return(0,s.jsxs)(u.lj,{eyebrow:"Privilege \xb7 ".concat(L(k,e.actor)),title:null!==(t=R(e.function).split(".").pop())&&void 0!==t?t:e.function,subtitle:i?(0,s.jsx)("span",{className:"font-mono",children:i.signature}):e.function,onClose:y,actions:i?(0,s.jsx)(B,{fnId:i.id}):void 0,children:[(0,s.jsx)(u.oz,{label:"Effect",children:(0,s.jsx)("p",{className:"text-body text-text-secondary",children:e.effect})}),(0,s.jsxs)(u.oz,{label:"Worst case",children:[(0,s.jsx)("p",{className:"text-body text-text-primary",children:e.worst_case}),e.timelock&&(0,s.jsxs)("p",{className:"mt-1 text-caption text-text-tertiary",children:["Timelock ",e.timelock]})]}),(0,s.jsx)(G,{status:e.status,note:e.note,by:e.verified_by}),(0,s.jsx)(D,{evidence:e.evidence}),i&&(0,s.jsx)(q,{ids:null!==(n=v.cardsByFn[i.id])&&void 0!==n?n:[],ctx:v})]})}case"trust":{let e=null==k?void 0:k.trust_assumptions.find(e=>e.claim_id===f);if(!e)return null;return(0,s.jsxs)(u.lj,{eyebrow:"Trust assumption",title:e.text,onClose:y,children:[(0,s.jsx)(G,{status:e.status,note:e.note,by:e.verified_by}),(0,s.jsx)(D,{evidence:e.evidence})]})}case"dependencies":{let e=null==k?void 0:k.external_dependencies.find(e=>e.id===f);if(!e)return null;return(0,s.jsxs)(u.lj,{eyebrow:"Dependency \xb7 ".concat(e.kind),title:e.name,onClose:y,children:[e.failure_modes.length>0&&(0,s.jsx)(u.oz,{label:"How it can fail",children:(0,s.jsx)("ul",{className:"space-y-1 text-body text-text-secondary",children:e.failure_modes.map((e,t)=>(0,s.jsx)("li",{children:e},t))})}),(0,s.jsx)(G,{status:e.status,note:e.note,by:e.verified_by}),(0,s.jsx)(W,{ids:e.used_by,ctx:v,label:"Used by"}),(0,s.jsx)(D,{evidence:e.evidence})]})}case"accounting":{let e=null==k?void 0:k.accounting.find(e=>e.id===f);if(!e)return null;return(0,s.jsxs)(u.lj,{eyebrow:"Accounting",title:e.name,subtitle:e.equation,onClose:y,children:[(0,s.jsx)(u.oz,{label:"Terms",children:(0,s.jsx)("ul",{className:"space-y-2",children:e.terms.map((e,t)=>(0,s.jsxs)("li",{className:"text-body",children:[(0,s.jsx)("div",{className:"text-text-primary",children:e.term}),(0,s.jsx)("div",{className:"text-caption text-text-tertiary",children:e.updated_by.map(e=>"".concat(R(e.function).split(".").pop()," ").concat("increase"===e.direction?"↑":"decrease"===e.direction?"↓":"=")).join(" \xb7 ")})]},t))})}),(0,s.jsx)(G,{status:e.status,note:e.note,by:e.verified_by}),(0,s.jsx)(D,{evidence:e.evidence})]})}case"invariants":{let e=v.invariants.find(e=>e.id===f);if(!e)return null;let t=e.test?I[e.test.status]:null;return(0,s.jsxs)(u.lj,{eyebrow:"".concat(e.id," \xb7 ").concat(e.kind," \xb7 ").concat(P[e.status]),title:e.statement,subtitle:e.on_chain_enforced?"Enforced on-chain":"Not enforced on-chain: it holds only if the code is right",onClose:y,actions:g?"accepted"===e.status?(0,s.jsx)(h.z,{onClick:()=>g(e,"rejected"),children:"Reject"}):"rejected"===e.status?(0,s.jsx)(h.z,{onClick:()=>g(e,"accepted"),children:"Accept"}):(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)(h.z,{variant:"primary",onClick:()=>g(e,"accepted"),children:"Accept"}),(0,s.jsx)(h.z,{variant:"ghost",onClick:()=>g(e,"rejected"),children:"Reject"})]}):void 0,children:[e.verification&&(0,s.jsx)(u.oz,{label:"contested"===e.verification.status?"Contested by the skeptic":"Verified by the skeptic",children:(0,s.jsxs)("p",{className:"flex items-start gap-2 text-body text-text-secondary",children:[(0,s.jsx)(x.oT,{color:E[e.verification.status].color,className:"mt-1.5"}),(0,s.jsx)("span",{children:null!==(i=e.verification.note)&&void 0!==i?i:"The code maintains this on every path the skeptic checked."})]})}),e.rationale&&(0,s.jsx)(u.oz,{label:"Rationale",children:(0,s.jsx)("p",{className:"text-body text-text-secondary",children:e.rationale})}),e.test&&t&&(0,s.jsxs)(u.oz,{label:"Test",children:[(0,s.jsxs)("p",{className:"flex items-center gap-2 text-body text-text-primary",children:[(0,s.jsx)(x.oT,{color:t.color})," ",e.test.tool," ",t.label,e.test.property_id&&(0,s.jsx)("span",{className:"text-caption text-text-tertiary",children:e.test.property_id})]}),void 0!==e.test.runs&&(0,s.jsxs)("p",{className:"mt-1 text-caption text-text-tertiary",children:[e.test.runs.toLocaleString()," runs"]}),(e.test.repro_file||e.test.file)&&(0,s.jsx)("p",{className:"mt-1 truncate font-mono text-caption text-text-secondary",children:null!==(l=e.test.repro_file)&&void 0!==l?l:e.test.file})]}),e.issue_id&&(0,s.jsx)(q,{ids:[e.issue_id],ctx:v}),(0,s.jsx)(W,{ids:e.scope.functions,ctx:v,label:"Scope"}),0===e.scope.functions.length&&e.scope.contracts.length>0&&(0,s.jsx)(u.oz,{label:"Scope",children:(0,s.jsx)("p",{className:"text-body text-text-secondary",children:e.scope.contracts.join(", ")})}),(0,s.jsx)(D,{evidence:e.evidence})]})}case"spec":{let e=null===(a=v.spec)||void 0===a?void 0:a.find(e=>e.id===f);if(!e)return null;return(0,s.jsxs)(u.lj,{eyebrow:"".concat(e.id," \xb7 ").concat(e.source.replace("_"," ")),title:e.spec_text,onClose:y,children:[(0,s.jsxs)(u.oz,{label:"Verdict",children:[(0,s.jsxs)("p",{className:"flex items-center gap-2 text-body text-text-primary",children:[(0,s.jsx)(x.oT,{color:null!==(d=null===(r=z[e.status])||void 0===r?void 0:r.color)&&void 0!==d?d:"var(--neutral)"})," ",null!==(m=null===(o=z[e.status])||void 0===o?void 0:o.label)&&void 0!==m?m:e.status,e.confidence&&(0,s.jsxs)("span",{className:"text-caption text-text-tertiary",children:[e.confidence," confidence"]})]}),e.finding&&(0,s.jsx)("p",{className:"mt-1.5 text-body text-text-secondary",children:(0,s.jsx)(j.T9,{children:e.finding})})]}),(null===(c=e.code_location)||void 0===c?void 0:c.file)&&(0,s.jsx)(u.oz,{label:"Code",children:(0,s.jsx)(b.i,{file:e.code_location.file,lineStart:e.code_location.line_start,lineEnd:e.code_location.line_end})})]})}}return null}function G(e){var t;let{status:n,note:i,by:l}=e,a=null!==(t=E[null!=n?n:"unverified"])&&void 0!==t?t:E.unverified;return(0,s.jsxs)(u.oz,{label:"Claim",children:[(0,s.jsxs)("p",{className:"flex items-center gap-2 text-body text-text-primary",children:[(0,s.jsx)(x.oT,{color:a.color})," ",a.label,l&&(0,s.jsxs)("span",{className:"text-caption text-text-tertiary",children:["by ",l]})]}),i&&(0,s.jsx)("p",{className:"mt-1 text-body text-text-secondary",children:i})]})}},22475:function(e,t,n){"use strict";Object.defineProperty(t,"__esModule",{value:!0}),Object.defineProperty(t,"default",{enumerable:!0,get:function(){return l}});let s=n(74849);n(37821),n(58078);let i=s._(n(52078));function l(e,t){var n;let s={loading:e=>{let{error:t,isLoading:n,pastDelay:s}=e;return null}};"function"==typeof e&&(s.loader=e);let l={...s,...t};return(0,i.default)({...l,modules:null==(n=l.loadableGenerated)?void 0:n.modules})}("function"==typeof t.default||"object"==typeof t.default&&null!==t.default)&&void 0===t.default.__esModule&&(Object.defineProperty(t.default,"__esModule",{value:!0}),Object.assign(t.default,t),e.exports=t.default)},62209:function(e,t,n){"use strict";Object.defineProperty(t,"__esModule",{value:!0}),Object.defineProperty(t,"BailoutToCSR",{enumerable:!0,get:function(){return i}});let s=n(51905);function i(e){let{reason:t,children:n}=e;if("undefined"==typeof window)throw new s.BailoutToCSRError(t);return n}},52078:function(e,t,n){"use strict";Object.defineProperty(t,"__esModule",{value:!0}),Object.defineProperty(t,"default",{enumerable:!0,get:function(){return c}});let s=n(37821),i=n(58078),l=n(62209),a=n(33178);function r(e){return{default:e&&"default"in e?e.default:e}}let o={loader:()=>Promise.resolve(r(()=>null)),loading:null,ssr:!0},c=function(e){let t={...o,...e},n=(0,i.lazy)(()=>t.loader().then(r)),c=t.loading;function d(e){let r=c?(0,s.jsx)(c,{isLoading:!0,pastDelay:!0,error:null}):null,o=t.ssr?(0,s.jsxs)(s.Fragment,{children:["undefined"==typeof window?(0,s.jsx)(a.PreloadCss,{moduleIds:t.modules}):null,(0,s.jsx)(n,{...e})]}):(0,s.jsx)(l.BailoutToCSR,{reason:"next/dynamic",children:(0,s.jsx)(n,{...e})});return(0,s.jsx)(i.Suspense,{fallback:r,children:o})}return d.displayName="LoadableComponent",d}},33178:function(e,t,n){"use strict";Object.defineProperty(t,"__esModule",{value:!0}),Object.defineProperty(t,"PreloadCss",{enumerable:!0,get:function(){return l}});let s=n(37821),i=n(44116);function l(e){let{moduleIds:t}=e;if("undefined"!=typeof window)return null;let n=(0,i.getExpectedRequestStore)("next/dynamic css"),l=[];if(n.reactLoadableManifest&&t){let e=n.reactLoadableManifest;for(let n of t){if(!e[n])continue;let t=e[n].files.filter(e=>e.endsWith(".css"));l.push(...t)}}return 0===l.length?null:(0,s.jsx)(s.Fragment,{children:l.map(e=>(0,s.jsx)("link",{precedence:"dynamic",rel:"stylesheet",href:n.assetPrefix+"/_next/"+encodeURI(e),as:"style"},e))})}},4595:function(e,t,n){"use strict";n.d(t,{F:function(){return d},ThemeProvider:function(){return u}});var s=n(58078),i=(e,t,n,s,i,l,a,r)=>{let o=document.documentElement,c=["light","dark"];function d(t){(Array.isArray(e)?e:[e]).forEach(e=>{let n="class"===e,s=n&&l?i.map(e=>l[e]||e):i;n?(o.classList.remove(...s),o.classList.add(l&&l[t]?l[t]:t)):o.setAttribute(e,t)}),r&&c.includes(t)&&(o.style.colorScheme=t)}if(s)d(s);else try{let e=localStorage.getItem(t)||n,s=a&&"system"===e?window.matchMedia("(prefers-color-scheme: dark)").matches?"dark":"light":e;d(s)}catch(e){}},l=["light","dark"],a="(prefers-color-scheme: dark)",r="undefined"==typeof window,o=s.createContext(void 0),c={setTheme:e=>{},themes:[]},d=()=>{var e;return null!=(e=s.useContext(o))?e:c},u=e=>s.useContext(o)?s.createElement(s.Fragment,null,e.children):s.createElement(x,{...e}),m=["light","dark"],x=e=>{let{forcedTheme:t,disableTransitionOnChange:n=!1,enableSystem:i=!0,enableColorScheme:r=!0,storageKey:c="theme",themes:d=m,defaultTheme:u=i?"system":"light",attribute:x="data-theme",value:y,children:b,nonce:j,scriptProps:g}=e,[k,w]=s.useState(()=>h(c,u)),[N,_]=s.useState(()=>"system"===k?v():k),C=y?Object.values(y):d,S=s.useCallback(e=>{let t=e;if(!t)return;"system"===e&&i&&(t=v());let s=y?y[t]:t,a=n?f(j):null,o=document.documentElement,c=e=>{"class"===e?(o.classList.remove(...C),s&&o.classList.add(s)):e.startsWith("data-")&&(s?o.setAttribute(e,s):o.removeAttribute(e))};if(Array.isArray(x)?x.forEach(c):c(x),r){let e=l.includes(u)?u:null,n=l.includes(t)?t:e;o.style.colorScheme=n}null==a||a()},[j]),T=s.useCallback(e=>{let t="function"==typeof e?e(k):e;w(t);try{localStorage.setItem(c,t)}catch(e){}},[k]),E=s.useCallback(e=>{_(v(e)),"system"===k&&i&&!t&&S("system")},[k,t]);s.useEffect(()=>{let e=window.matchMedia(a);return e.addListener(E),E(e),()=>e.removeListener(E)},[E]),s.useEffect(()=>{let e=e=>{e.key===c&&(e.newValue?w(e.newValue):T(u))};return window.addEventListener("storage",e),()=>window.removeEventListener("storage",e)},[T]),s.useEffect(()=>{S(null!=t?t:k)},[t,k]);let z=s.useMemo(()=>({theme:k,setTheme:T,forcedTheme:t,resolvedTheme:"system"===k?N:k,themes:i?[...d,"system"]:d,systemTheme:i?N:void 0}),[k,T,t,N,i,d]);return s.createElement(o.Provider,{value:z},s.createElement(p,{forcedTheme:t,storageKey:c,attribute:x,enableSystem:i,enableColorScheme:r,defaultTheme:u,value:y,themes:d,nonce:j,scriptProps:g}),b)},p=s.memo(e=>{let{forcedTheme:t,storageKey:n,attribute:l,enableSystem:a,enableColorScheme:r,defaultTheme:o,value:c,themes:d,nonce:u,scriptProps:m}=e,x=JSON.stringify([l,n,o,t,d,c,a,r]).slice(1,-1);return s.createElement("script",{...m,suppressHydrationWarning:!0,nonce:"undefined"==typeof window?u:"",dangerouslySetInnerHTML:{__html:"(".concat(i.toString(),")(").concat(x,")")}})}),h=(e,t)=>{let n;if(!r){try{n=localStorage.getItem(e)||void 0}catch(e){}return n||t}},f=e=>{let t=document.createElement("style");return e&&t.setAttribute("nonce",e),t.appendChild(document.createTextNode("*,*::before,*::after{-webkit-transition:none!important;-moz-transition:none!important;-o-transition:none!important;-ms-transition:none!important;transition:none!important}")),document.head.appendChild(t),()=>{window.getComputedStyle(document.body),setTimeout(()=>{document.head.removeChild(t)},1)}},v=e=>(e||(e=window.matchMedia(a)),e.matches?"dark":"light")}},function(e){e.O(0,[7498,217,2374,7834,7115,3205,1744],function(){return e(e.s=71232)}),_N_E=e.O()}]);

package/dashboard/.next/static/chunks/app/page-0e67750d99fb2836.js

@@ -0,0 +1 @@
+(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[1931],{10589:function(n,e,u){Promise.resolve().then(u.t.bind(u,67498,23))}},function(n){n.O(0,[7498,7115,3205,1744],function(){return n(n.s=10589)}),_N_E=n.O()}]);

package/dashboard/.next/static/chunks/app/report/page-b56b1db9b9dcf2b6.js

@@ -0,0 +1 @@
+(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[9420],{74985:function(e,t,n){Promise.resolve().then(n.bind(n,56902)),Promise.resolve().then(n.bind(n,81751))},56902:function(e,t,n){"use strict";n.d(t,{ReportClient:function(){return h}});var s=n(37821),a=n(14233),i=n(58078),r=n(90168),l=n(81751),c=n(52171),o=n(55592),d=n(55631),u=n(88554),x=n(85268),m=n(83206);let f=[{key:"executive_summary",label:"Executive summary",file:"executive_summary.txt"},{key:"audited_files",label:"Audited files",file:"audited_files.txt"},{key:"summary_of_findings",label:"Summary of issues",file:"summary_of_findings.txt"},{key:"system_overview",label:"System overview",file:"system_overview.txt"},{key:"findings",label:"Issues",file:"findings.txt"},{key:"documentation_eval",label:"Documentation",file:"documentation_eval.txt"},{key:"test_suite",label:"Test suite",file:"test_suite.txt"}];function h(e){var t;let{sections:n,figures:h}=e,p=(0,r.useSearchParams)(),y=(0,u.p)(),g=f.filter(e=>n[e.key]).length,v=[...f.map(e=>e.key),...h.length?["figures"]:[]],[b,j]=(0,i.useState)(()=>{var e,t;let s=p.get("s");return s&&v.includes(s)?s:null!==(t=null===(e=f.find(e=>n[e.key]))||void 0===e?void 0:e.key)&&void 0!==t?t:h.length?"figures":"executive_summary"});(0,i.useEffect)(()=>(0,m.q)({s:b}),[b]),(0,x.y)({j:()=>j(v[Math.min(v.length-1,v.indexOf(b)+1)]),k:()=>j(v[Math.max(0,v.indexOf(b)-1)])});let k=f.find(e=>e.key===b),N="figures"===b?null:n[b],w=async()=>{if(N)try{var e;await navigator.clipboard.writeText(N),y({message:"".concat(null!==(e=null==k?void 0:k.label)&&void 0!==e?e:"Section"," copied")})}catch(e){y({message:"Clipboard is not available here",tone:"error"})}};return(0,s.jsx)(l.z,{toolbar:(0,s.jsx)(l.Toolbar,{title:"Report",meta:"".concat(g," of ").concat(f.length," sections ready")}),listWidth:240,list:(0,s.jsxs)("div",{className:"min-h-0 flex-1 overflow-y-auto p-2",children:[(0,s.jsx)(c.i,{children:"Sections"}),f.map(e=>(0,s.jsx)(c.w,{dense:!0,selected:b===e.key,onClick:()=>j(e.key),title:e.label,titleClassName:n[e.key]?void 0:"text-text-tertiary",trailing:n[e.key]?void 0:"Not yet"},e.key)),h.length>0&&(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)(c.i,{children:"Figures"}),(0,s.jsx)(c.w,{dense:!0,selected:"figures"===b,onClick:()=>j("figures"),title:"Diagrams in the report",trailing:(0,s.jsx)("span",{className:"tabular-nums",children:h.length})})]})]}),children:"figures"===b?(0,s.jsx)(l.x,{children:(0,s.jsxs)("div",{className:"mx-auto max-w-[900px] px-8 pb-16 pt-8",children:[(0,s.jsx)("h2",{className:"text-heading font-medium text-text-primary",children:"Diagrams in the report"}),(0,s.jsxs)("p",{className:"mt-0.5 text-caption text-text-tertiary",children:["PNGs in ",(0,s.jsx)("span",{className:"font-mono",children:".hex/report/figures/"}),". Choose which diagrams go in from Model."]}),(0,s.jsx)("div",{className:"stagger mt-6 grid gap-6 sm:grid-cols-2",children:h.map(e=>(0,s.jsxs)(a.default,{href:"/model?d=".concat(encodeURIComponent(e.name)),className:"group block",children:[(0,s.jsx)("div",{className:"overflow-hidden rounded-lg border border-border-subtle bg-white group-hover:border-border-default",children:(0,s.jsx)("img",{src:"/api/figures/".concat(encodeURIComponent(e.name),"?v=").concat(e.v),alt:e.title,className:"aspect-[4/3] w-full object-contain p-3"})}),(0,s.jsx)("div",{className:"mt-2 text-body font-medium text-text-primary",children:e.title}),e.takeaway&&(0,s.jsx)("div",{className:"text-caption text-text-tertiary",children:e.takeaway}),(0,s.jsxs)("div",{className:"font-mono text-caption text-text-tertiary",children:["figures/",e.name,".png"]})]},e.name))})]})}):N?(0,s.jsxs)(s.Fragment,{children:[(0,s.jsxs)("div",{className:"flex h-12 shrink-0 items-center gap-3 border-b border-border-subtle px-5",children:[(0,s.jsxs)("span",{className:"flex-1 truncate font-mono text-caption text-text-tertiary",children:["report/",null==k?void 0:k.file]}),(0,s.jsx)(o.z,{variant:"primary",size:"sm",onClick:w,children:"Copy LaTeX"})]}),(0,s.jsx)(l.x,{className:"bg-[var(--code-bg)]",children:(0,s.jsx)("pre",{className:"mx-auto max-w-[900px] whitespace-pre-wrap break-words px-8 py-6 font-mono text-[12.5px] leading-6 text-text-secondary",children:N})})]}):(0,s.jsx)(d.u,{sentence:"".concat(null!==(t=null==k?void 0:k.label)&&void 0!==t?t:"This section"," has not been generated yet."),command:"/generate-report"})})}},55631:function(e,t,n){"use strict";n.d(t,{u:function(){return i}});var s=n(37821),a=n(17968);function i(e){let{sentence:t,command:n,className:i}=e;return(0,s.jsxs)("div",{className:(0,a.cn)("flex h-full min-h-[200px] flex-col items-center justify-center px-6 text-center fade-in",i),children:[(0,s.jsx)("p",{className:"max-w-sm text-body text-text-secondary",children:t}),n&&(0,s.jsx)("code",{className:"mt-3 rounded-md bg-surface-2 px-2.5 py-1 font-mono text-caption text-text-primary",children:n})]})}},52171:function(e,t,n){"use strict";n.d(t,{i:function(){return l},w:function(){return r}});var s=n(37821),a=n(58078),i=n(17968);let r=(0,a.forwardRef)(function(e,t){let{selected:n,leading:a,title:r,subtitle:l,trailing:c,onClick:o,className:d,dense:u,titleClassName:x,...m}=e;return(0,s.jsxs)("button",{ref:t,type:"button",onClick:o,"aria-current":n?"true":void 0,"data-id":m["data-id"],className:(0,i.cn)("group flex w-full items-center gap-2.5 rounded-md px-2.5 text-left",u?"min-h-[30px] py-1":"min-h-[36px] py-1.5",n?"bg-accent-subtle":"hover:bg-surface-2",d),children:[void 0!==a&&(0,s.jsx)("span",{className:"flex shrink-0 items-center",children:a}),(0,s.jsxs)("span",{className:"min-w-0 flex-1",children:[(0,s.jsx)("span",{className:(0,i.cn)("block truncate text-body",n?"text-accent font-medium":"text-text-primary",x),children:r}),l&&(0,s.jsx)("span",{className:"block truncate text-caption text-text-tertiary",children:l})]}),void 0!==c&&(0,s.jsx)("span",{className:"flex shrink-0 items-center gap-2 text-caption text-text-tertiary",children:c})]})});function l(e){let{children:t,trailing:n}=e;return(0,s.jsxs)("div",{className:"flex items-baseline justify-between px-2.5 pb-1 pt-4 text-caption font-medium text-text-tertiary first:pt-1",children:[(0,s.jsx)("span",{className:"truncate",children:t}),n&&(0,s.jsx)("span",{className:"shrink-0 tabular-nums",children:n})]})}},14233:function(e,t,n){"use strict";n.d(t,{default:function(){return a.a}});var s=n(67498),a=n.n(s)},90168:function(e,t,n){"use strict";var s=n(87462);n.o(s,"usePathname")&&n.d(t,{usePathname:function(){return s.usePathname}}),n.o(s,"useRouter")&&n.d(t,{useRouter:function(){return s.useRouter}}),n.o(s,"useSearchParams")&&n.d(t,{useSearchParams:function(){return s.useSearchParams}})}},function(e){e.O(0,[7498,2374,7115,3205,1744],function(){return e(e.s=74985)}),_N_E=e.O()}]);

package/dashboard/.next/static/chunks/app/review/page-3ef69f0e0badd333.js

@@ -0,0 +1 @@
+(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[8672],{61838:function(e,t,n){Promise.resolve().then(n.bind(n,52331)),Promise.resolve().then(n.bind(n,81751))},52331:function(e,t,n){"use strict";n.d(t,{ReviewClient:function(){return U}});var a=n(37821),r=n(97333),l=n(14233),s=n(58078),i=n(90168),c=n(81751),o=n(32011),d=n(52171),u=n(59167),x=n(75833),m=n(61434),h=n(90026);function p(e){let{risk:t,className:n}=e,r=t>=55?3:t>=30?2:1;return(0,a.jsx)("span",{className:"inline-flex items-end gap-[2px] ".concat(null!=n?n:""),title:"Risk ".concat(t),"aria-label":"Risk ".concat(t),children:[1,2,3].map(e=>(0,a.jsx)("span",{className:"w-[3px] rounded-[1px]",style:{height:4+2*e,background:e<=r?3===r?"var(--text-secondary)":"var(--text-tertiary)":"var(--surface-3)"}},e))})}var f=n(55592),v=n(53963),b=n(55631),y=n(88554),g=n(69059),j=n(24629),w=n(26543),N=n(93775),k=n(29487),C=n(79513),_=n(17968);function S(e){var t;let{note:n,fnId:r,fnName:l}=e,s=(0,i.useRouter)(),c=(0,y.p)(),d=null!==(t=n.functions.find(e=>e.fn_ref&&(e.fn_ref===r||e.fn_ref==="".concat(n.contract,".").concat(l))))&&void 0!==t?t:n.functions.find(e=>{var t;return(null!==(t=e.sig.split("(")[0])&&void 0!==t?t:"").trim()===l}),u=n.questions.filter(e=>{var t;return!(null===(t=e.answer)||void 0===t?void 0:t.trim())}),x=n.leads.filter(e=>"open"===e.status).sort((e,t)=>Number(t.text.includes(l))-Number(e.text.includes(l))),m=async e=>{try{await (0,C.C)("/api/notes/lead",{contract:n.target,id:e,action:"close",status:"dismissed"}),s.refresh(),c({message:"Lead dismissed",action:{label:"Undo",onClick:()=>void(0,C.C)("/api/notes/lead",{contract:n.target,id:e,action:"reopen"}).then(()=>s.refresh())}})}catch(e){c({message:e.message,tone:"error"})}},h=!d&&0===u.length&&0===x.length;return(0,a.jsxs)(o.oz,{label:"Diane's notes on ".concat(n.contract),children:[h&&(0,a.jsxs)("p",{className:"text-body text-text-tertiary",children:["Nothing yet. Record a narration, then run"," ",(0,a.jsx)("code",{className:"font-mono text-caption",children:"/diane"}),"."]}),d&&(0,a.jsxs)("div",{className:"space-y-1.5 text-body text-text-secondary",children:[d.purpose&&(0,a.jsx)("p",{children:(0,a.jsx)(k.T9,{children:d.purpose})}),d.access&&(0,a.jsxs)("p",{children:[(0,a.jsx)("span",{className:"text-text-tertiary",children:"Access "}),(0,a.jsx)(k.T9,{children:d.access})]}),d.effects&&(0,a.jsxs)("p",{children:[(0,a.jsx)("span",{className:"text-text-tertiary",children:"Effects "}),(0,a.jsx)(k.T9,{children:d.effects})]}),d.notes.map((e,t)=>(0,a.jsx)("p",{children:(0,a.jsx)(k.T9,{children:e})},t)),d.warnings.map((e,t)=>(0,a.jsxs)("p",{className:"flex gap-2 text-text-primary",children:[(0,a.jsx)("span",{className:"mt-[7px] h-1.5 w-1.5 shrink-0 rounded-full",style:{background:"var(--high)"}}),(0,a.jsx)("span",{children:(0,a.jsx)(k.T9,{children:e})})]},"w".concat(t)))]}),u.length>0&&(0,a.jsxs)("div",{className:"mt-5",children:[(0,a.jsxs)("div",{className:"flex items-baseline justify-between text-caption text-text-tertiary",children:[(0,a.jsx)("span",{children:"Open questions"}),(0,a.jsx)("span",{className:"tabular-nums",children:u.length})]}),(0,a.jsx)("ul",{className:"mt-1.5 divide-y divide-border-subtle border-y border-border-subtle",children:u.map(e=>(0,a.jsx)("li",{className:"py-2.5",children:(0,a.jsx)(q,{contract:n.target,id:e.id,text:e.q})},e.id))})]}),x.length>0&&(0,a.jsxs)("div",{className:"mt-5",children:[(0,a.jsxs)("div",{className:"flex items-baseline justify-between text-caption text-text-tertiary",children:[(0,a.jsx)("span",{children:"Open leads"}),(0,a.jsx)("span",{className:"tabular-nums",children:x.length})]}),(0,a.jsx)("ul",{className:"mt-1.5 divide-y divide-border-subtle border-y border-border-subtle",children:x.map(e=>(0,a.jsx)(E,{lead:e,onDismiss:()=>m(e.id)},e.id))})]})]})}let R={"ai-audit":"AI audit","init-audit":"Pre-review",diane:"Diane",auditagent:"AuditAgent"};function E(e){var t,n;let{lead:r,onDismiss:l}=e,[i,c]=(0,s.useState)(!1),o=r.text.length>220,d=null!==(n=R[null!==(t=r.source)&&void 0!==t?t:"diane"])&&void 0!==n?n:r.source;return(0,a.jsxs)("li",{className:"group flex gap-2.5 py-2.5",children:[(0,a.jsx)("span",{className:"mt-[7px] h-1.5 w-1.5 shrink-0 rounded-full",style:{background:"var(--medium)"}}),(0,a.jsxs)("div",{className:"min-w-0 flex-1",children:[(0,a.jsx)("p",{className:(0,_.cn)("text-body text-text-primary",o&&!i&&"line-clamp-3"),onClick:()=>o&&c(e=>!e),children:(0,a.jsx)(k.T9,{children:r.text})}),(0,a.jsxs)("div",{className:"mt-1 flex items-center gap-2 text-caption text-text-tertiary",children:[d&&(0,a.jsx)("span",{children:d}),o&&(0,a.jsx)("button",{type:"button",onClick:()=>c(e=>!e),className:"hover:text-text-primary",children:i?"Show less":"Show more"}),(0,a.jsx)("button",{type:"button",onClick:l,className:"ml-auto rounded-md px-1.5 py-0.5 opacity-0 hover:bg-surface-2 hover:text-text-primary focus-visible:opacity-100 group-hover:opacity-100",children:"Dismiss"})]})]})]})}function q(e){let{contract:t,id:n,text:r}=e,l=(0,i.useRouter)(),c=(0,y.p)(),[o,d]=(0,s.useState)(""),[u,x]=(0,s.useState)(!1);(0,s.useEffect)(()=>d(""),[n]);let m=async()=>{if(o.trim()){x(!0);try{await (0,C.C)("/api/notes/question",{contract:t,id:n,answer:o.trim()}),c({message:"Answer saved"}),l.refresh()}catch(e){c({message:e.message,tone:"error"})}finally{x(!1)}}};return(0,a.jsxs)("div",{children:[(0,a.jsx)("p",{className:"text-body text-text-primary",children:(0,a.jsx)(k.T9,{children:r})}),(0,a.jsxs)("div",{className:"mt-1.5 flex items-start gap-2",children:[(0,a.jsx)("textarea",{value:o,onChange:e=>d(e.target.value),onKeyDown:e=>{"Enter"===e.key&&(e.metaKey||e.ctrlKey)&&m()},rows:1,placeholder:"Answer…",className:"min-h-[32px] flex-1 resize-y rounded-md border border-border-subtle bg-surface-0 px-2.5 py-1.5 text-body text-text-primary placeholder:text-text-tertiary focus:border-border-emphasis focus:outline-none"}),o.trim()&&(0,a.jsx)(f.z,{size:"sm",variant:"secondary",onClick:m,disabled:u,className:"mt-0.5",children:"Save"})]})]})}function T(e){let{contract:t,pending:n}=e,r=(0,i.useRouter)(),l=(0,y.p)(),[c,o]=(0,s.useState)("idle"),[d,u]=(0,s.useState)(0),x=(0,s.useRef)(null),m=(0,s.useRef)([]),h=(0,s.useRef)(null),p=(0,s.useRef)(null),v=(0,s.useRef)(t);v.current=t,(0,s.useEffect)(()=>()=>{var e;p.current&&clearInterval(p.current),null===(e=h.current)||void 0===e||e.getTracks().forEach(e=>e.stop())},[]);let b=(0,s.useCallback)(async e=>{o("transcribing");try{var t,n;let a=new FormData;a.append("audio",new Blob(m.current,{type:"audio/webm"}),"narration.webm"),a.append("contract",e||"general");let s=await fetch("/api/notes/record",{method:"POST",body:a}),i=await s.json().catch(()=>({}));422===s.status&&i.whisperMissing?l({message:"Audio saved, but no local Whisper engine is installed. ".concat(null!==(t=i.error)&&void 0!==t?t:""),tone:"error"}):s.ok?(l({message:"Narration saved for ".concat(i.contract,". Run /diane in Claude Code to process it.")}),r.refresh()):l({message:null!==(n=i.error)&&void 0!==n?n:"Recording failed",tone:"error"})}catch(e){l({message:e instanceof Error?e.message:"Recording failed",tone:"error"})}finally{o("idle")}},[r,l]),j=(0,s.useCallback)(async()=>{try{let e=await navigator.mediaDevices.getUserMedia({audio:!0});h.current=e,m.current=[];let t=new MediaRecorder(e),n=v.current;t.ondataavailable=e=>{e.data.size>0&&m.current.push(e.data)},t.onstop=()=>{e.getTracks().forEach(e=>e.stop()),p.current&&clearInterval(p.current),b(n)},x.current=t,t.start(),u(0),p.current=setInterval(()=>u(e=>e+1),1e3),o("recording")}catch(e){l({message:"Could not access the microphone. Allow it and try again.",tone:"error"})}},[l,b]);return"recording"===c?(0,a.jsxs)(f.z,{variant:"secondary",onClick:()=>{var e;return null===(e=x.current)||void 0===e?void 0:e.stop()},title:"Stop and transcribe",children:[(0,a.jsx)("span",{className:"h-2 w-2 rounded-full",style:{background:"var(--critical)"}}),"Stop \xb7 ",(0,a.jsx)("span",{className:"tabular-nums",children:"".concat(Math.floor(d/60),":").concat(String(d%60).padStart(2,"0"))})]}):(0,a.jsxs)(f.z,{variant:"secondary",onClick:j,disabled:"transcribing"===c,title:"Narrate your reading of ".concat(t||"the protocol"," for Diane"),children:[(0,a.jsx)(g.lE,{className:"h-4 w-4 text-text-secondary"}),"transcribing"===c?"Transcribing…":"Record narration",n>0&&"idle"===c&&(0,a.jsxs)("span",{className:"text-caption text-text-tertiary",title:"".concat(n," narration session(s) waiting for /diane"),children:[n," waiting"]})]})}var M=n(85268),z=n(4848),A=n(83206);let P=e=>{var t,n;return null!==(n=(null!==(t=e.key)&&void 0!==t?t:e.name).replace(/\(.*$/,"").split(".").pop())&&void 0!==n?n:e.name};function U(e){var t,n,r,l,o;let{rows:h,blindSpots:v,details:j,labels:w,cards:N,notes:S,diffMode:R,generalNote:E,pendingSessions:q}=e,U=(0,i.useRouter)(),L=(0,i.useSearchParams)(),K=(0,y.p)(),[W,B]=(0,s.useState)({});(0,s.useEffect)(()=>B({}),[h]);let G=(0,s.useMemo)(()=>h.map(e=>{var t;return W[e.id]?{...e,state:W[e.id].state,note:null!==(t=W[e.id].note)&&void 0!==t?t:e.note}:e}),[h,W]),$=(0,s.useMemo)(()=>new Map(G.map(e=>[e.id,e])),[G]),[H,Q]=(0,s.useState)("all"),[V,X]=(0,s.useState)(""),[J,Y]=(0,s.useState)(!1),Z=(0,s.useCallback)(()=>{var e,t,n;let a=L.get("fn");if(a&&h.some(e=>e.id===a))return a;let r=L.get("contract");if(r){let e=h.find(e=>e.contract===r);if(e)return e.id}return null!==(n=null!==(t=v[0])&&void 0!==t?t:null===(e=h[0])||void 0===e?void 0:e.id)&&void 0!==n?n:null},[L,h,v]),ee=()=>{var e,t;let n=/^(.*):(\d+)-(\d+)$/.exec(null!==(e=L.get("at"))&&void 0!==e?e:"");return n?{file:n[1],start:Number(n[2]),end:Number(n[3]),...L.get("key")?{key:L.get("key")}:{},name:null!==(t=L.get("name"))&&void 0!==t?t:n[1]}:null},[et,en]=(0,s.useState)(ee),[ea,er]=(0,s.useState)(()=>ee()?null:Z()),[el,es]=(0,s.useState)(()=>Number(L.get("line"))||null);(0,s.useEffect)(()=>{es(Number(L.get("line"))||null);let e=ee();if(e){en(e),er(null);return}en(null),(L.get("fn")||L.get("contract"))&&er(Z())},[L]);let ei=ea&&null!==(r=$.get(ea))&&void 0!==r?r:null,[ec,eo]=(0,s.useState)([]),[ed,eu]=(0,s.useState)(0),ex=(0,s.useRef)(null);(0,s.useEffect)(()=>{var e,t;let n=window.history.state;(null==n?void 0:null===(e=n.hexTrail)||void 0===e?void 0:e.length)&&(eo(n.hexTrail),eu(null!==(t=n.hexPos)&&void 0!==t?t:0));let a=e=>{let t=e.state;if(null==t?void 0:t.hexTrail){var n;eo(t.hexTrail),eu(null!==(n=t.hexPos)&&void 0!==n?n:0)}};return window.addEventListener("popstate",a),()=>window.removeEventListener("popstate",a)},[]);let em=e=>{eo([e]),eu(0),window.history.replaceState({hexTrail:[e],hexPos:0},"",e.url)};(0,s.useEffect)(()=>{if(ec.length)return;let e=ei?ei.name:et?P(et):null;e&&em({label:e,url:window.location.pathname+window.location.search})},[null==ei?void 0:ei.id,null==et?void 0:et.file]);let eh=(0,s.useCallback)(e=>{var t;let n=e.key?$.get(e.key):void 0,a=new URL(window.location.href);for(let e of["fn","at","key","name","line","contract"])a.searchParams.delete(e);n?a.searchParams.set("fn",n.id):(a.searchParams.set("at","".concat(e.file,":").concat(e.line_start,"-").concat(e.line_end)),e.key&&a.searchParams.set("key",e.key),a.searchParams.set("name",e.name)),e.line&&a.searchParams.set("line",String(e.line));let r={label:n?n.name:P(e),...e.via?{via:e.via.replace(/\(.*$/,"").split(".")[0]}:{},url:a.pathname+a.search},l=[...ec.slice(0,ed+1),r];window.history.pushState({hexTrail:l,hexPos:l.length-1},"",r.url),eo(l),eu(l.length-1),es(null!==(t=e.line)&&void 0!==t?t:null),n?(en(null),er(n.id)):(en({file:e.file,start:e.line_start,end:e.line_end,...e.key?{key:e.key}:{},name:e.name}),er(null))},[$,ec,ed]),ep=(0,s.useMemo)(()=>({open:eh,stateOf:e=>{var t;return null===(t=$.get(e))||void 0===t?void 0:t.state}}),[eh,$]);(0,s.useEffect)(()=>{var e,t;ei&&((0,A.q)({fn:ei.id,contract:null,at:null,key:null,name:null}),(0,z.k)({ref:ei.id,kind:"function",label:"".concat(ei.contract,".").concat(null!==(t=null===(e=j[ei.id])||void 0===e?void 0:e.signature)&&void 0!==t?t:ei.name),file:ei.file,line_start:ei.line_start,line_end:ei.line_end}))},[null==ei?void 0:ei.id]);let ef=(0,s.useMemo)(()=>{let e;let t=V.trim().toLowerCase();return e="blind"===H?v.map(e=>$.get(e)).filter(e=>!!e):G.filter(e=>"unread"===H?"unread"===e.state:"questioned"===H?"questioned"===e.state:"changed"!==H||void 0!==e.diff_depth),t&&(e=e.filter(e=>{var n,a;return"".concat(e.contract,".").concat(e.name," ").concat(null!==(a=null===(n=j[e.id])||void 0===n?void 0:n.signature)&&void 0!==a?a:"").toLowerCase().includes(t)})),e},[G,$,H,V,v,j]),ev=(0,s.useMemo)(()=>{var e;if("blind"===H)return[{contract:null,rows:ef}];let t=new Map;for(let n of ef)t.set(n.contract,[...null!==(e=t.get(n.contract))&&void 0!==e?e:[],n]);return Array.from(t.entries()).map(e=>{let[t,n]=e;return{contract:t,rows:n}})},[ef,H]),eb=(0,s.useMemo)(()=>ev.flatMap(e=>e.rows.map(e=>e.id)),[ev]),ey=(0,s.useRef)(null),eg=(0,s.useCallback)(e=>{er(e),en(null),es(null);let t=h.find(t=>t.id===e);t&&em({label:t.name,url:"/review?fn=".concat(encodeURIComponent(e))}),requestAnimationFrame(()=>{var t,n;return null===(n=ey.current)||void 0===n?void 0:null===(t=n.querySelector('[data-id="'.concat(CSS.escape(e),'"]')))||void 0===t?void 0:t.scrollIntoView({block:"nearest"})})},[h]),ej=e=>{if(!eb.length)return;let t=ea?eb.indexOf(ea):-1,n=eb[Math.max(0,Math.min(eb.length-1,-1===t?0:t+e))];n&&eg(n)},ew=(0,s.useRef)(null),eN=(0,s.useCallback)(async function(e,t,n){let a=arguments.length>3&&void 0!==arguments[3]?arguments[3]:{},r={state:e.state,note:e.note};B(a=>({...a,[e.id]:{state:t,note:n}}));try{await (0,C.C)("/api/progress",{ids:[e.id],state:t,...n?{note:n}:{}}),a.silent||K({message:"unread"===t?"".concat(e.name," marked unread"):"".concat(e.name," marked ").concat(m.U[t].toLowerCase()),action:{label:"Undo",onClick:()=>{B(t=>({...t,[e.id]:r})),(0,C.C)("/api/progress",{ids:[e.id],state:r.state,...r.note?{note:r.note}:{}}).then(()=>U.refresh())}}}),U.refresh()}catch(t){B(t=>({...t,[e.id]:r})),K({message:t.message,tone:"error"})}},[U,K]),ek=e=>{if(ei){if("questioned"===e&&"questioned"!==ei.state){eN(ei,"questioned",ei.note),requestAnimationFrame(()=>{var e;return null===(e=ew.current)||void 0===e?void 0:e.focus()});return}eN(ei,ei.state===e?"unread":e,"questioned"===e?ei.note:void 0)}};(0,M.y)({j:()=>ej(1),k:()=>ej(-1),ArrowDown:e=>{e.preventDefault(),ej(1)},ArrowUp:e=>{e.preventDefault(),ej(-1)},r:()=>ek("read"),c:()=>ek("cleared"),q:()=>ek("questioned"),e:e=>{if((null==ei?void 0:ei.state)==="questioned"){var t;e.preventDefault(),null===(t=ew.current)||void 0===t||t.focus()}}});let eC=(0,s.useMemo)(()=>{let e=G.reduce((e,t)=>e+t.nsloc,0),t=G.filter(e=>"cleared"===e.state).reduce((e,t)=>e+t.nsloc,0);return{total:e,cleared:t,pct:e?Math.round(100*t/e):0}},[G]),e_=[{value:"all",label:"All"},{value:"unread",label:"Unread"},{value:"questioned",label:"Questioned"},...R?[{value:"changed",label:"Changed"}]:[],{value:"blind",label:"Blind spots"}],eS=(0,s.useMemo)(()=>{let e=new Map;for(let n of G){var t;let a=null!==(t=e.get(n.contract))&&void 0!==t?t:{cleared:0,total:0};a.total++,"cleared"===n.state&&a.cleared++,e.set(n.contract,a)}return e},[G]),eR=(0,a.jsxs)(c.Toolbar,{title:"Review",meta:(0,a.jsxs)("span",{className:"inline-flex items-center gap-2.5",children:[(0,a.jsx)("span",{className:"relative inline-block h-1 w-20 overflow-hidden rounded-full bg-surface-3 align-middle",children:(0,a.jsx)("span",{className:"absolute inset-y-0 left-0 rounded-full",style:{width:"".concat(eC.pct,"%"),background:"var(--success)",transition:"width 400ms var(--ease-out)"}})}),(0,a.jsxs)("span",{className:"tabular-nums",children:[eC.pct,"% cleared"]})]}),children:[(0,a.jsxs)(f.z,{variant:"ghost",onClick:()=>Y(e=>!e),"aria-expanded":J,children:["General note",(0,a.jsx)(g.g6,{className:(0,_.cn)("h-3.5 w-3.5 transition-transform duration-200",J&&"rotate-90")})]}),(0,a.jsx)(T,{contract:null!==(l=null==ei?void 0:ei.contract)&&void 0!==l?l:"general",pending:q})]}),eE=ei?{file:ei.file,start:ei.line_start,end:ei.line_end,key:ei.id}:et?{file:et.file,start:et.start,end:et.end,key:et.key}:null,eq=ei?null===(t=j[ei.id])||void 0===t?void 0:t.called_by.length:void 0,eT=(0,a.jsxs)(a.Fragment,{children:[(0,a.jsxs)("div",{className:"space-y-2 border-b border-border-subtle p-3",children:[(0,a.jsx)(u.U,{value:V,onChange:X,placeholder:"Search functions"}),(0,a.jsx)(x.s,{segments:e_,value:H,onChange:Q,ariaLabel:"Filter functions",size:"sm",fill:!0})]}),(0,a.jsx)("div",{ref:ey,className:"min-h-0 flex-1 overflow-y-auto px-2 pb-6 pt-1",children:0===ef.length?(0,a.jsx)("p",{className:"px-3 py-8 text-center text-body text-text-tertiary",children:V?"No functions match.":"questioned"===H?"Nothing is questioned.":"Nothing here."}):ev.map(e=>{var t,n,r,l,s;return(0,a.jsxs)("div",{children:[e.contract&&(0,a.jsx)(d.i,{trailing:"".concat(null!==(r=null===(t=eS.get(e.contract))||void 0===t?void 0:t.cleared)&&void 0!==r?r:0,"/").concat(null!==(l=null===(n=eS.get(e.contract))||void 0===n?void 0:n.total)&&void 0!==l?l:0),children:e.contract}),e.rows.map(e=>(0,a.jsx)(d.w,{"data-id":e.id,dense:!0,selected:e.id===ea,onClick:()=>eg(e.id),leading:(0,a.jsx)(m.e,{state:e.state}),title:"blind"===H?"".concat(e.contract,".").concat(e.name):e.name,trailing:(0,a.jsx)(p,{risk:e.risk})},e.id))]},null!==(s=e.contract)&&void 0!==s?s:"blind")})})]});return(0,a.jsx)(c.z,{toolbar:(0,a.jsxs)(a.Fragment,{children:[eR,J&&(0,a.jsx)("div",{className:"fade-in max-h-[38vh] shrink-0 overflow-y-auto border-b border-border-subtle bg-surface-1 px-6 py-4",children:E.trim()?(0,a.jsx)("div",{className:"max-w-3xl",children:(0,a.jsx)(k.$8,{content:E})}):(0,a.jsxs)("p",{className:"text-body text-text-tertiary",children:["No protocol-wide notes yet. Record a narration with nothing selected, then run"," ",(0,a.jsx)("code",{className:"font-mono text-caption",children:"/diane"}),"."]})})]}),list:eT,listWidth:312,inspector:ei?(0,a.jsx)(I,{row:ei,detail:j[ei.id],labels:w,reviewable:$,cards:N,note:S[ei.contract],onOpen:eh,onToggle:ek,onSaveNote:e=>void eN(ei,"questioned",e,{silent:!0}),noteRef:ew}):et?(0,a.jsx)(O,{loc:et,reviewable:$,onOpen:eh}):void 0,children:eE?(0,a.jsxs)(a.Fragment,{children:[(0,a.jsxs)("div",{className:"flex h-10 shrink-0 items-center gap-1 border-b border-border-subtle pl-2 pr-4",children:[(0,a.jsx)(D,{trail:ec,pos:ed}),(0,a.jsxs)("span",{className:"ml-auto shrink-0 truncate pl-3 font-mono text-caption text-text-tertiary",children:[eE.file,":",eE.start]}),eE.key&&(null!=eq?eq:0)>0&&(0,a.jsxs)(f.z,{size:"sm",variant:"ghost",className:"ml-1",title:"Callers and call sites (⇧F12)",onClick:()=>{var e;return null===(e=ex.current)||void 0===e?void 0:e.showUsages(eE.key)},children:[(null===(n=j[null!==(o=null==ei?void 0:ei.id)&&void 0!==o?o:""])||void 0===n?void 0:n.kind)==="modifier"?"Guards":"Called by"," ",eq]})]}),(0,a.jsx)("div",{className:"min-h-0 flex-1",children:(0,a.jsx)(F,{file:eE.file,range:{start:eE.start,end:eE.end},focusLine:el,nav:ep,currentKey:eE.key,handle:ex,onSelectRange:(e,t)=>{(0,z.k)({ref:"".concat(eE.file,":").concat(e,"-").concat(t),kind:"code_range",label:"".concat(eE.file,":").concat(e,"-").concat(t),file:eE.file,line_start:e,line_end:t})}})})]}):(0,a.jsx)(b.u,{sentence:"Pick a function on the left to read it here."})})}function D(e){let{trail:t,pos:n}=e,r="flex h-7 w-7 shrink-0 items-center justify-center rounded-md text-text-tertiary hover:bg-surface-2 hover:text-text-primary disabled:pointer-events-none disabled:opacity-30",l=t.slice(Math.max(0,n-4),Math.min(t.length,n+3)),s=Math.max(0,n-4);return(0,a.jsxs)("div",{className:"flex min-w-0 items-center gap-0.5",children:[(0,a.jsx)("button",{type:"button",className:r,disabled:0===n,onClick:()=>window.history.back(),"aria-label":"Back",title:"Back (Alt+←)",children:(0,a.jsx)(g.g6,{className:"h-3.5 w-3.5 rotate-180"})}),(0,a.jsx)("button",{type:"button",className:r,disabled:n>=t.length-1,onClick:()=>window.history.forward(),"aria-label":"Forward",title:"Forward (Alt+→)",children:(0,a.jsx)(g.g6,{className:"h-3.5 w-3.5"})}),(0,a.jsxs)("nav",{"aria-label":"Flow",className:"ml-1 flex min-w-0 items-center gap-1 overflow-hidden",children:[s>0&&(0,a.jsx)("span",{className:"text-caption text-text-tertiary",children:"…"}),l.map((e,t)=>{let r=s+t;return(0,a.jsxs)("span",{className:"flex min-w-0 items-center gap-1",children:[t>0&&(0,a.jsx)(g.g6,{className:"h-3 w-3 shrink-0 text-text-tertiary"}),(0,a.jsx)("button",{type:"button",disabled:r===n,onClick:()=>window.history.go(r-n),className:(0,_.cn)("truncate rounded px-1 font-mono text-caption",r===n?"text-text-primary":r<n?"text-text-secondary hover:text-text-primary":"text-text-tertiary hover:text-text-secondary"),children:e.label}),e.via&&(0,a.jsxs)("span",{className:"shrink-0 text-caption text-text-tertiary",children:["via ",e.via]})]},r)})]})]})}function F(e){let{file:t,range:n,onSelectRange:r,focusLine:l,nav:s,currentKey:i,handle:c}=e,o=(0,w.dU)(t);return(0,a.jsx)(j.uX,{file:t,range:n,onSelectRange:r,comments:o,nav:s,focusLine:l,currentKey:i,handle:c})}let L={contract:"Contract",interface:"Interface",library:"Library",function:"Function",modifier:"Modifier",state_var:"State variable",event:"Event",error:"Error",struct:"Struct",enum:"Enum",type:"Type",constant:"Constant"};function O(e){var t,n,r;let{loc:l,reviewable:i,onOpen:c}=e,[d,u]=(0,s.useState)(null);(0,s.useEffect)(()=>{if(u(null),!l.key)return;let e=!0;return fetch("/api/nav?key=".concat(encodeURIComponent(l.key))).then(e=>e.json()).then(t=>e&&u(t)).catch(()=>e&&u(null)),()=>{e=!1}},[l.key]),(0,s.useEffect)(()=>{var e;(0,z.k)({ref:"".concat(l.file,":").concat(l.start,"-").concat(l.end),kind:"code_range",label:null!==(e=l.key)&&void 0!==e?e:"".concat(l.file,":").concat(l.start,"-").concat(l.end),file:l.file,line_start:l.start,line_end:l.end})},[l.file,l.start,l.end,l.key]);let x=null==d?void 0:d.decl,h=e=>{var t,n,a;return c({...e.from?{key:e.from}:{},name:null!==(t=e.fromName)&&void 0!==t?t:e.file,file:e.file,line_start:null!==(n=e.fromStart)&&void 0!==n?n:e.line,line_end:null!==(a=e.fromEnd)&&void 0!==a?a:e.line,line:e.line})},p=[];for(let[e,n]of[["Written by",["write"]],["Read by",["read"]],[(null==x?void 0:x.kind)==="modifier"?"Guards":(null==x?void 0:x.kind)==="function"?"Called by":"Used in",null]]){let a=(null!==(t=null==d?void 0:d.sites)&&void 0!==t?t:[]).filter(e=>n?n.includes(e.kind):!["write","read"].includes(e.kind));a.length&&p.push([e,a])}return(0,a.jsxs)(o.lj,{eyebrow:"".concat(x?L[x.kind]:"Code").concat((null==x?void 0:x.contract)?" \xb7 ".concat(x.contract):"").concat(x&&!x.in_scope?" \xb7 out of scope":""),title:null!==(n=null==x?void 0:x.name)&&void 0!==n?n:l.name,subtitle:(null==x?void 0:x.signature)?(0,a.jsx)("span",{className:"font-mono",children:x.signature}):void 0,children:[(0,a.jsxs)(o.oz,{label:"Where",children:[(0,a.jsx)(N.i,{file:l.file,lineStart:l.start,lineEnd:l.end}),(null==x?void 0:x.doc)&&(0,a.jsx)("p",{className:"mt-2 text-body text-text-secondary",children:x.doc})]}),(null!==(r=null==d?void 0:d.impls.length)&&void 0!==r?r:0)>0&&(0,a.jsx)(o.oz,{label:"Runs in",children:(0,a.jsx)("ul",{children:d.impls.map(e=>(0,a.jsx)("li",{children:(0,a.jsxs)("button",{type:"button",onClick:()=>{var t;return e.decl&&c({key:e.id,name:"".concat(null!==(t=e.decl.contract)&&void 0!==t?t:"",".").concat(e.decl.name),file:e.decl.file,line_start:e.decl.line_start,line_end:e.decl.line_end,line:e.decl.line,via:l.key})},className:"-mx-1.5 flex w-[calc(100%+12px)] items-center gap-2 rounded-md px-1.5 py-1 text-left hover:bg-surface-2",children:[i.get(e.id)?(0,a.jsx)(m.e,{state:i.get(e.id).state,className:"h-3 w-3"}):(0,a.jsx)("span",{className:"h-3 w-3 shrink-0"}),(0,a.jsx)("span",{className:"min-w-0 flex-1 truncate text-body text-text-primary",children:e.decl?"".concat(e.decl.contract,".").concat(e.decl.name):e.id}),(0,a.jsx)("span",{className:"shrink-0 text-caption text-text-tertiary",children:"signature"===e.by?"same signature":"override"})]})},e.id))})}),p.map(e=>{let[t,n]=e;return(0,a.jsx)(o.oz,{label:t,trailing:(0,a.jsx)("span",{className:"text-caption text-text-tertiary",children:n.length}),children:(0,a.jsx)("ul",{children:n.map((e,t)=>{var n;return(0,a.jsx)("li",{children:(0,a.jsxs)("button",{type:"button",onClick:()=>h(e),className:"-mx-1.5 flex w-[calc(100%+12px)] items-center gap-2 rounded-md px-1.5 py-1 text-left hover:bg-surface-2",children:[e.from&&i.get(e.from)?(0,a.jsx)(m.e,{state:i.get(e.from).state,className:"h-3 w-3"}):(0,a.jsx)("span",{className:"h-3 w-3 shrink-0"}),(0,a.jsx)("span",{className:"min-w-0 flex-1 truncate text-body text-text-primary",children:null!==(n=e.fromName)&&void 0!==n?n:e.file}),(0,a.jsxs)("span",{className:"shrink-0 text-caption text-text-tertiary",children:["line ",e.line]})]})},t)})})},t)}),!l.key&&(0,a.jsxs)("p",{className:"text-body text-text-tertiary",children:["A position in ",l.file,"."]})]})}function I(e){var t,n,i;let{row:c,detail:d,labels:u,reviewable:x,cards:p,note:b,onOpen:y,onToggle:g,onSaveNote:j,noteRef:w}=e,[N,k]=(0,s.useState)(null!==(t=c.note)&&void 0!==t?t:"");(0,s.useEffect)(()=>{var e;return k(null!==(e=c.note)&&void 0!==e?e:"")},[c.id,c.note]);let C=d?[c.is_entry_point?"Entry point":d.visibility,"nonpayable"!==d.mutability?d.mutability:null]:[];return(0,a.jsxs)(o.lj,{eyebrow:(0,a.jsxs)("span",{children:[c.contract," \xb7 ",C.filter(Boolean).join(" \xb7 ")]}),title:c.name,subtitle:(0,a.jsx)("span",{className:"font-mono",children:null!==(n=null==d?void 0:d.signature)&&void 0!==n?n:c.name}),actions:(0,a.jsxs)("div",{className:"w-full space-y-3",children:[(0,a.jsxs)("div",{className:"flex items-center gap-2",children:[(0,a.jsx)(K,{active:"read"===c.state,onClick:()=>g("read"),k:"r",children:"Read"}),(0,a.jsx)(K,{active:"questioned"===c.state,onClick:()=>g("questioned"),k:"q",children:"Question"}),"cleared"===c.state?(0,a.jsx)(K,{active:!0,onClick:()=>g("cleared"),k:"c",children:"Cleared"}):(0,a.jsx)(f.z,{variant:"primary",onClick:()=>g("cleared"),className:"flex-1",title:"Clear (c)",children:"Clear"})]}),(0,a.jsxs)("p",{className:"flex flex-wrap items-center gap-x-3 gap-y-1 text-caption text-text-tertiary",children:[(0,a.jsxs)("span",{className:"inline-flex items-center gap-1",children:[(0,a.jsx)(v.T,{children:"r"})," read"]}),(0,a.jsxs)("span",{className:"inline-flex items-center gap-1",children:[(0,a.jsx)(v.T,{children:"q"})," question"]}),(0,a.jsxs)("span",{className:"inline-flex items-center gap-1",children:[(0,a.jsx)(v.T,{children:"c"})," clear"]}),(0,a.jsxs)("span",{className:"inline-flex items-center gap-1",children:[(0,a.jsx)(v.T,{children:"j"}),(0,a.jsx)(v.T,{children:"k"})," move"]})]}),"questioned"===c.state&&(0,a.jsx)("textarea",{ref:w,value:N,onChange:e=>k(e.target.value),onBlur:()=>{var e;return N.trim()!==(null!==(e=c.note)&&void 0!==e?e:"")&&j(N.trim())},onKeyDown:e=>{"Enter"===e.key&&(e.metaKey||e.ctrlKey)&&e.target.blur(),"Escape"===e.key&&e.target.blur()},rows:2,placeholder:"What's the question?",className:"fade-in w-full resize-y rounded-md border border-border-subtle bg-surface-0 px-2.5 py-2 text-body text-text-primary placeholder:text-text-tertiary focus:border-border-emphasis focus:outline-none"}),c.by&&"unread"!==c.state&&(0,a.jsxs)("p",{className:"text-caption text-text-tertiary",children:[m.U[c.state]," by ",c.by,c.updated_at?" \xb7 ":"",c.updated_at&&(0,a.jsx)(r.P,{iso:c.updated_at})]})]}),children:[c.risk_reasons.length>0&&(0,a.jsxs)(o.oz,{label:"Why it matters",children:[(0,a.jsxs)("p",{className:"text-body text-text-secondary",children:[(i=c.risk_reasons.join(", ")).charAt(0).toUpperCase()+i.slice(1),"."]}),(0,a.jsxs)("p",{className:"mt-1 text-caption text-text-tertiary",children:[c.nsloc," nSLOC \xb7"," ",c.ai_seen?"an /ai-audit scan raised something here":"no /ai-audit coverage yet"]})]}),c.cards.length>0&&(0,a.jsx)(o.oz,{label:"Cards",children:(0,a.jsx)("ul",{className:"space-y-1",children:c.cards.map(e=>{var t;let n=p[e];return(0,a.jsx)("li",{children:(0,a.jsxs)(l.default,{href:"/issues?card=".concat(encodeURIComponent(e)),className:"-mx-1.5 flex items-center gap-2 rounded-md px-1.5 py-1 text-body text-text-primary hover:bg-surface-2",children:[n&&(0,a.jsx)(h.oH,{severity:n.severity,label:!1}),(0,a.jsx)("span",{className:"min-w-0 flex-1 truncate",children:null!==(t=null==n?void 0:n.title)&&void 0!==t?t:e}),(0,a.jsx)("span",{className:"shrink-0 text-caption text-text-tertiary",children:e})]})},e)})})}),d&&(0,a.jsxs)(a.Fragment,{children:[(0,a.jsx)(B,{label:"modifier"===d.kind?"Guards":"Called by",ids:d.called_by,at:d.called_at,labels:u,reviewable:x,onOpen:y}),(0,a.jsx)(B,{label:"Calls",ids:d.calls,labels:u,reviewable:x,onOpen:y}),(d.modifiers.length>0||d.external_calls.length>0)&&(0,a.jsxs)(o.oz,{label:"Guards and external calls",children:[d.modifiers.length>0&&(0,a.jsxs)("p",{className:"text-body text-text-secondary",children:["Modifiers"," ",(0,a.jsx)("span",{className:"font-mono text-caption text-text-primary",children:d.modifiers.join(", ")})]}),d.external_calls.map((e,t)=>(0,a.jsxs)("p",{className:"flex items-baseline justify-between gap-2 text-body",children:[(0,a.jsxs)("span",{className:"truncate font-mono text-caption text-text-primary",children:[e.target,".",e.member]}),(0,a.jsxs)("span",{className:"shrink-0 text-caption text-text-tertiary",children:["low_level"===e.kind?"low-level \xb7 ":"","line ",e.line]})]},t))]}),(d.reads.length>0||d.writes.length>0)&&(0,a.jsxs)(o.oz,{label:"State",children:[d.writes.length>0&&(0,a.jsx)(W,{label:"Writes",vars:d.writes}),d.reads.length>0&&(0,a.jsx)(W,{label:"Reads",vars:d.reads})]})]}),b&&(0,a.jsx)(S,{note:b,fnId:c.id,fnName:c.name})]})}function K(e){let{active:t,onClick:n,k:r,children:l}=e;return(0,a.jsx)(f.z,{variant:"secondary",onClick:n,"aria-pressed":t,title:"".concat(t?"Undo":""," (").concat(r,")").trim(),className:(0,_.cn)("flex-1",t&&"border-border-emphasis bg-surface-3"),children:l})}function W(e){let{label:t,vars:n}=e;return(0,a.jsxs)("p",{className:"flex gap-3 py-0.5 text-body",children:[(0,a.jsx)("span",{className:"w-14 shrink-0 text-text-tertiary",children:t}),(0,a.jsx)("span",{className:"min-w-0 flex-1 break-words font-mono text-caption leading-6 text-text-primary",children:n.map(e=>e.split(".").slice(1).join(".")||e).join(", ")})]})}function B(e){let{label:t,ids:n,at:r,labels:l,reviewable:i,onOpen:c}=e,[d,u]=(0,s.useState)(!1);if(0===n.length)return null;let x=d?n:n.slice(0,6);return(0,a.jsxs)(o.oz,{label:t,trailing:(0,a.jsx)("span",{className:"text-caption text-text-tertiary",children:n.length}),children:[(0,a.jsx)("ul",{children:x.map(e=>{var t;let n=l[e],s=i.get(e),o=null!==(t=null==r?void 0:r[e])&&void 0!==t?t:[];return(0,a.jsx)("li",{children:(0,a.jsxs)("button",{type:"button",onClick:()=>n&&c({key:e,name:"".concat(n.contract,".").concat(n.name),file:n.file,line_start:n.line_start,line_end:n.line_end,...o[0]?{line:o[0]}:{}}),className:"-mx-1.5 flex w-[calc(100%+12px)] items-center gap-2 rounded-md px-1.5 py-1 text-left hover:bg-surface-2",children:[s?(0,a.jsx)(m.e,{state:s.state,className:"h-3 w-3"}):(0,a.jsx)("span",{className:"h-3 w-3 shrink-0"}),(0,a.jsx)("span",{className:"min-w-0 flex-1 truncate text-body text-text-primary",children:n?"".concat(n.contract,".").concat(n.name):e}),o.length>0&&(0,a.jsxs)("span",{className:"shrink-0 text-caption tabular-nums text-text-tertiary",children:["line ",o.join(", ")]})]})},e)})}),n.length>6&&!d&&(0,a.jsxs)("button",{type:"button",onClick:()=>u(!0),className:"mt-1 text-caption text-text-secondary hover:text-text-primary",children:["Show ",n.length-6," more"]})]})}},53963:function(e,t,n){"use strict";n.d(t,{T:function(){return l}});var a=n(37821),r=n(17968);function l(e){let{children:t,className:n}=e;return(0,a.jsx)("kbd",{className:(0,r.cn)("inline-flex h-[18px] min-w-[18px] items-center justify-center rounded-[5px] border border-border-default bg-surface-2 px-1 font-sans text-[11px] leading-none text-text-tertiary",n),children:t})}},97333:function(e,t,n){"use strict";n.d(t,{P:function(){return r}});var a=n(37821);function r(e){let{iso:t,className:n}=e;return(0,a.jsx)("time",{dateTime:t,className:n,suppressHydrationWarning:!0,children:new Date(t).toLocaleString()})}},59167:function(e,t,n){"use strict";n.d(t,{U:function(){return o}});var a=n(37821),r=n(58078),l=n(17968),s=n(85268),i=n(69059),c=n(53963);function o(e){let{value:t,onChange:n,placeholder:o="Search",className:d,hotkey:u=!0}=e,x=(0,r.useRef)(null);return(0,s.y)({"/":e=>{var t,n;e.preventDefault(),null===(t=x.current)||void 0===t||t.focus(),null===(n=x.current)||void 0===n||n.select()}},u),(0,a.jsxs)("label",{className:(0,l.cn)("relative flex h-8 items-center",d),children:[(0,a.jsx)(i.jV,{className:"pointer-events-none absolute left-2.5 h-3.5 w-3.5 text-text-tertiary"}),(0,a.jsx)("input",{ref:x,type:"search",value:t,placeholder:o,"aria-label":o,onChange:e=>n(e.target.value),onKeyDown:e=>{if("Escape"===e.key){var t;n(""),null===(t=x.current)||void 0===t||t.blur()}},className:"h-8 w-full rounded-md border border-transparent bg-surface-2 pl-8 pr-8 text-body text-text-primary placeholder:text-text-tertiary focus:border-border-emphasis focus:bg-surface-0 focus:outline-none [&::-webkit-search-cancel-button]:hidden"}),u&&!t&&(0,a.jsx)(c.T,{className:"pointer-events-none absolute right-2",children:"/"})]})}},75833:function(e,t,n){"use strict";n.d(t,{s:function(){return l}});var a=n(37821),r=n(17968);function l(e){let{segments:t,value:n,onChange:l,className:s,ariaLabel:i,size:c="md",fill:o=!1}=e;return(0,a.jsx)("div",{role:"tablist","aria-label":i,className:(0,r.cn)("max-w-full items-center gap-0.5 overflow-x-auto rounded-lg bg-surface-2 p-0.5",o?"flex w-full":"inline-flex",s),children:t.map(e=>{let t=e.value===n;return(0,a.jsxs)("button",{role:"tab",type:"button","aria-selected":t,onClick:()=>l(e.value),className:(0,r.cn)("inline-flex h-6 shrink-0 items-center justify-center gap-1 whitespace-nowrap rounded-md font-medium","sm"===c?"px-1.5 text-[11.5px]":"px-2.5 text-caption",o&&"flex-1",t?"bg-surface-0 text-text-primary shadow-sm":"text-text-secondary hover:text-text-primary"),children:[e.label,void 0!==e.count&&(0,a.jsx)("span",{className:"tabular-nums text-text-tertiary",children:e.count})]},e.value)})})}}},function(e){e.O(0,[7498,217,2374,7834,7115,3205,1744],function(){return e(e.s=61838)}),_N_E=e.O()}]);