/*! tailwindcss v4.2.1 | MIT License | https://tailwindcss.com */@layer theme{:host,:root{--font-sans:ui-sans-serif,system-ui,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";--font-mono:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono","Courier New",monospace;--spacing:.25rem;--default-transition-duration:.15s;--default-transition-timing-function:cubic-bezier(.4,0,.2,1);--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,::backdrop,:after,:before{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}:host,html{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif,system-ui,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,pre,samp{font-family:var(--default-mono-font-family,ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono","Courier New",monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}menu,ol,ul{list-style:none}audio,canvas,embed,iframe,img,object,svg,video{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,optgroup,select,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab,red,red)){::placeholder{color:color-mix(in oklab,currentcolor 50%,transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit,::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-day-field,::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-hour-field,::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-millisecond-field,::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button,::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.visible{visibility:visible}.static{position:static}.start{inset-inline-start:var(--spacing)}.container{width:100%}@media (min-width:40rem){.container{max-width:40rem}}@media (min-width:48rem){.container{max-width:48rem}}@media (min-width:64rem){.container{max-width:64rem}}@media (min-width:80rem){.container{max-width:80rem}}@media (min-width:96rem){.container{max-width:96rem}}.contents{display:contents}.table{display:table}.transition{transition-property:color,background-color,border-color,outline-color,text-decoration-color,fill,stroke,--tw-gradient-from,--tw-gradient-via,--tw-gradient-to,opacity,box-shadow,transform,translate,scale,rotate,filter,-webkit-backdrop-filter,backdrop-filter,display,content-visibility,overlay,pointer-events;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}}:root{--font-geist-sans:Arial,sans-serif;--font-geist-mono:"Courier New",monospace;--bg:#080d0b;--panel:#0d1511;--line:#29372f;--ink:#dce9e2;--muted:#71857b;--acid:#b7f26c;--teal:#62d4c0;--amber:#e7b965}*{box-sizing:border-box}html{background:var(--bg);color:var(--ink)}body{font-family:var(--font-geist-sans),Arial,sans-serif;background:radial-gradient(circle at 50% 15%,#17271f 0,#0000 38%);min-height:100vh;margin:0}button{font:inherit}main{min-height:100vh}header{border-bottom:1px solid var(--line);z-index:5;background:#090f0cdd;gap:24px;height:74px;padding:0 32px;position:sticky;top:0}.brand,header{align-items:center;display:flex}.brand{gap:13px}.brand>span{width:36px;height:36px;color:var(--acid);border:1px solid #668371;place-items:center;font:700 17px serif;display:grid;transform:rotate(45deg)}.brand>div{flex-direction:column;display:flex}.brand b{font-size:15px}.brand small,.memory{font:10px var(--font-geist-mono);color:var(--muted)}.memory{text-transform:uppercase;align-items:center;gap:7px;margin-left:auto;display:flex}.memory i{background:var(--teal);border-radius:50%;width:6px;height:6px}.memory.loading i,.memory.saving i{background:var(--amber);animation:pulse 1s infinite}.memory.error i{background:#c96b60}.reset{color:#a4b4ac;cursor:pointer;background:0 0;border:1px solid #3c4d44;padding:9px 13px;font-size:11px}.hero{border-bottom:1px solid var(--line);grid-template-columns:minmax(0,1fr) 260px;align-items:end;gap:50px;padding:42px 5vw 34px;display:grid}.finished>span,.flow span,.label,.next span,.sectiontitle span,.stagehead span{font:9px var(--font-geist-mono);letter-spacing:.16em;color:var(--muted)}h1{max-width:800px;margin:12px 0;font:400 clamp(25px,4vw,44px)/1.12 serif}.hero p{color:#91a299;margin:0;font-size:13px}.meter strong{font:34px var(--font-geist-mono);color:var(--acid);margin-bottom:10px;display:block}.meter>div{background:#26352d;height:4px}.meter i{background:var(--acid);height:100%;transition:width .4s;display:block}.meter small{color:var(--muted);font:10px var(--font-geist-mono);margin-top:9px;display:block}.layout{border-bottom:1px solid var(--line);grid-template-columns:330px minmax(0,1fr);min-height:500px;display:grid}nav{border-right:1px solid var(--line);padding:18px}nav button{width:100%;color:var(--muted);text-align:left;cursor:default;background:0 0;border:0;border-bottom:1px solid #1c2822;gap:14px;padding:16px 10px;display:flex}nav button.done{color:#9dafa6;cursor:pointer}nav button.active{color:var(--ink);border-left:2px solid var(--acid);background:#132019}nav em{font:10px var(--font-geist-mono);color:#52665b;width:20px;font-style:normal}nav .done em{color:var(--teal)}nav span{flex-direction:column;gap:5px;display:flex}nav b{font-size:12px}nav small{font:9px var(--font-geist-mono);color:var(--muted)}.stage{max-width:1000px;padding:42px clamp(24px,5vw,72px)}.stagehead{align-items:center;gap:25px;display:flex}.stagehead b{color:var(--acid);font:16px serif}h2{max-width:760px;margin:25px 0 35px;font:400 clamp(23px,3vw,36px)/1.25 serif}.flow{grid-template-columns:repeat(3,1fr);gap:10px;margin-bottom:30px;display:grid}.flow section{border:1px solid var(--line);background:var(--panel);min-height:145px;padding:18px}.flow p,.flow pre{color:#a4b4ac;font:12px/1.6 var(--font-geist-mono);white-space:pre-wrap;margin:15px 0 0}.flow section:nth-child(2){border-color:#466052}.primary,.secondary{color:var(--acid);cursor:pointer;background:#192716;border:1px solid #668a4f;margin-right:8px;padding:13px 18px;font-size:11px}.primary span{margin-left:22px;font-size:16px}.secondary{color:#9bada4;background:0 0;border-color:#3c4d44}.primary:disabled,.secondary:disabled{opacity:.4}.finished{border-left:2px solid var(--acid);padding:10px 0 10px 25px}.finished p{color:#91a299;max-width:700px;line-height:1.7}.analysis,.evidence{border-bottom:1px solid var(--line);padding:32px 5vw}.sectiontitle{flex-direction:column;gap:8px;margin-bottom:22px;display:flex}.sectiontitle b{font:20px serif}.evidencegrid{grid-template-columns:repeat(3,1fr);gap:9px;display:grid}.evidencegrid article{border:1px solid var(--line);background:#0b120f;gap:13px;padding:15px;display:flex}.evidencegrid article.warn{border-color:#594a34}.evidencegrid em{font:9px var(--font-geist-mono);color:var(--teal);font-style:normal}.evidencegrid b{font-size:12px}.evidencegrid p{font:10px/1.5 var(--font-geist-mono);color:#91a299}.evidencegrid small{font:8px var(--font-geist-mono);color:var(--teal)}.evidencegrid .warn small{color:var(--amber)}.columns{grid-template-columns:1fr 1fr;gap:12px;display:grid}.columns>div{background:#0c1611;border:1px solid #355044;padding:22px}.columns .missing{border-color:#514338}.columns h3{margin:0 0 18px;font:18px serif}.columns p{font:11px/1.5 var(--font-geist-mono);color:#9eb0a7}.columns>div:first-child p{color:#9ed4b7}.columns .missing p{color:#c4a782}.next{border-left:3px solid var(--acid);background:#121e16;flex-direction:column;gap:10px;margin-top:12px;padding:20px;display:flex}.next b{max-width:900px;font:14px/1.6 serif}@keyframes pulse{50%{opacity:.5}}@media (max-width:800px){header{padding:0 15px}.brand small,.memory{display:none}.reset{margin-left:auto}.hero{gap:25px;padding:28px 18px}.hero,.layout{grid-template-columns:1fr}nav{border-right:0;border-bottom:1px solid var(--line);padding:8px;display:flex;overflow-x:auto}nav button{border-bottom:0;border-right:1px solid #1c2822;min-width:210px}.stage{padding:28px 18px}.flow{grid-template-columns:1fr}.flow section{min-height:auto}.analysis,.evidence{padding:28px 18px}.columns,.evidencegrid{grid-template-columns:1fr}.primary,.secondary{width:100%;margin:0 0 8px}}.real{padding:38px 5vw 60px}.intro{max-width:850px;color:#91a299;font-size:13px;line-height:1.7}.lab{display:grid;grid-template-columns:1fr 1fr;gap:12px;margin-top:24px}.lab>div{min-width:0}.lab label,.output>span{display:block;font:9px var(--font-geist-mono);letter-spacing:.15em;color:var(--muted);margin-bottom:10px}.lab textarea{width:100%;height:330px;resize:vertical;border:1px solid var(--line);background:#080d0b;color:#bcd0c6;padding:16px;font:11px/1.6 var(--font-geist-mono);outline:none;margin-bottom:10px}.lab textarea:focus{border-color:#5c7b68}.output{min-height:390px;border:1px solid var(--line);background:#0b120f;padding:18px}.output.valid{border-color:#446c58}.output.invalid{border-color:#684b3e}.output>strong{display:block;color:var(--acid);font:24px var(--font-geist-mono);margin:24px 0 12px}.output>p{color:#9bada4;font:12px/1.6 var(--font-geist-mono)}.selectedTask{border-left:2px solid var(--acid);background:#132019;padding:14px;margin:20px 0;display:flex;flex-direction:column;gap:7px}.selectedTask small{color:var(--muted);font:8px var(--font-geist-mono)}.selectedTask b{font:13px var(--font-geist-mono)}.output code{display:block;border-top:1px solid #243129;padding:10px 0;color:#91bca7;font:10px/1.5 var(--font-geist-mono);white-space:normal}.output code.err{color:#d39a82}@media(max-width:800px){.real{padding:28px 18px}.lab{grid-template-columns:1fr}.output{min-height:260px}}.executionLog{margin-top:28px;border-top:1px solid var(--line);padding-top:16px}.executionLog>span{display:block;font:9px var(--font-geist-mono);letter-spacing:.15em;color:var(--muted);margin-bottom:10px}.executionLog article{display:grid;grid-template-columns:1fr auto;gap:6px;border-left:2px solid var(--teal);padding:10px 12px;margin:7px 0;background:#0d1712}.executionLog article.fail{border-color:#c96b60}.executionLog b{font:10px var(--font-geist-mono)}.executionLog small{font:9px var(--font-geist-mono);color:var(--muted)}.executionLog code{grid-column:1/3;border:0;padding:0;color:#a9bcb2;overflow-wrap:anywhere}.lab .secondary{margin-bottom:10px}.runControls{display:flex;flex-wrap:wrap;gap:8px;margin:22px 0}.runControls button{margin:0}.runControls input{flex:1;min-width:220px;border:1px solid var(--line);background:#080d0b;color:#bcd0c6;padding:10px 12px;font:10px var(--font-geist-mono)}.runBadge{display:block;color:var(--teal);font:9px/1.6 var(--font-geist-mono);overflow-wrap:anywhere}@media(max-width:800px){.runControls>*{width:100%}}.autonomous{border-top:1px solid var(--teal);background:linear-gradient(180deg,rgba(70,194,143,.06),transparent)}.autoRun{margin:20px 0 26px}.autoError{color:#e28b7e}.proof{border:1px solid var(--line);background:#080d0b}.proof.verified{border-color:#357a5e}.proofHead{padding:22px;border-bottom:1px solid var(--line)}.proofHead>span{font:10px var(--font-geist-mono);letter-spacing:.14em;color:var(--teal)}.proofHead h3{font-size:24px;margin:10px 0 4px}.proofHead p{color:var(--muted);margin:0}.proofGrid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr))}.proofGrid article{padding:20px;border-right:1px solid var(--line);border-bottom:1px solid var(--line);min-width:0}.proofGrid small{display:block;color:var(--teal);font:9px var(--font-geist-mono);letter-spacing:.12em;margin-bottom:14px}.proofGrid p{display:grid;gap:4px;font-size:12px;border-bottom:1px solid #17221d;padding-bottom:10px}.proofGrid code{display:block;color:#9eafa7;font:9px/1.5 var(--font-geist-mono);overflow-wrap:anywhere}.proofGrid h4{margin:0 0 8px}@media(max-width:760px){.proofGrid{grid-template-columns:1fr}.proofGrid article{border-right:0}}