@font-face{font-family:Chakra Petch;font-style:normal;font-weight:600;font-display:swap;src:url(/fonts/chakra-petch-600.woff2) format("woff2")}@font-face{font-family:Chakra Petch;font-style:normal;font-weight:700;font-display:swap;src:url(/fonts/chakra-petch-700.woff2) format("woff2")}:root{color-scheme:light;--bg: #f3ead4;--paper: #fffdf7;--ink: #15120c;--muted: #6c6450;--on-accent: #15120c;--line: var(--ink);--shadow: var(--line);--saffron: #ff8c1a;--green: #14a64f;--red: #ff4d3a;--sky: #ffd76a;--bw: 2.5px;--sh: 6px 6px 0 var(--shadow);--sh-sm: 3px 3px 0 var(--shadow);--sh-lg: 9px 9px 0 var(--shadow);--r: 10px;--r-sm: 8px;--sans: "Helvetica Neue", Arial, -apple-system, BlinkMacSystemFont, system-ui, sans-serif;--mono: ui-monospace, "SF Mono", "JetBrains Mono", "Cascadia Code", Menlo, monospace}*{box-sizing:border-box}html{-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}body{margin:0;min-height:100vh;font-family:var(--sans);color:var(--ink);background-color:var(--bg);background-image:radial-gradient(var(--ink) 1.1px,transparent 1.1px);background-size:22px 22px;background-position:-11px -11px;line-height:1.55;font-weight:500}body:before{content:"";position:fixed;inset:0;z-index:-1;pointer-events:none;background:var(--bg);opacity:.86}main{max-width:860px;margin:0 auto;padding:48px 24px 96px}.brand{display:flex;align-items:center;gap:2px;margin-bottom:42px}.brand .mark{display:grid;place-items:center;width:42px;height:42px}.brand .mark svg{width:42px;height:42px}.brand .name{font-family:"Chakra Petch",var(--sans);font-weight:700;font-size:28px;letter-spacing:-.03em}.flag{display:inline-flex;align-items:center;filter:drop-shadow(2px 2px 0 var(--shadow));transform-origin:left center;transition:transform .2s ease}.flag:hover{animation:flag-wave .6s ease-in-out infinite}@keyframes flag-wave{0%,to{transform:rotate(-3deg)}50%{transform:rotate(3deg)}}.madein{display:flex;align-items:center;gap:11px;margin-top:64px;padding-top:22px;border-top:2px dotted var(--line);color:var(--muted);font-size:13px;font-weight:700;letter-spacing:.02em}.brand .tag{font-family:var(--mono);font-size:11px;font-weight:700;color:var(--ink);background:var(--paper);border:var(--bw) solid var(--line);border-radius:var(--r-sm);padding:4px 10px;letter-spacing:.02em}nav{display:flex;gap:10px;margin-bottom:30px}nav a{font-size:13.5px;font-weight:700;color:var(--ink);text-decoration:none;padding:7px 13px;border:var(--bw) solid var(--line);border-radius:var(--r-sm);background:var(--paper);box-shadow:var(--sh-sm);transition:transform .1s,box-shadow .1s,background .12s}nav a:hover{background:var(--saffron);transform:translate(-1px,-1px);box-shadow:4px 4px 0 var(--shadow)}.eyebrow{display:inline-block;font-size:12px;font-weight:800;letter-spacing:.08em;text-transform:uppercase;color:var(--on-accent);background:var(--sky);border:var(--bw) solid var(--line);border-radius:6px;padding:4px 10px;margin-bottom:20px;box-shadow:var(--sh-sm)}.eyebrow:before{content:none}h1{font-size:clamp(36px,7vw,60px);line-height:1;letter-spacing:-.035em;font-weight:900;margin:0 0 20px}h1 .grad{display:inline-block;background:var(--green);color:var(--paper);border:var(--bw) solid var(--line);border-radius:8px;padding:0 12px;box-shadow:var(--sh-sm);transform:rotate(-1.2deg)}.sub{color:var(--ink);font-size:16.5px;margin:0 0 34px;max-width:60ch;font-weight:500}.page-title{margin-top:2px}.page-title h1{font-size:clamp(30px,5.5vw,44px)}a{color:inherit;text-decoration:underline;text-decoration-thickness:1.5px;text-decoration-color:var(--muted);text-underline-offset:3px}a:hover{color:var(--ink);text-decoration-color:var(--ink)}code{font-family:var(--mono);font-size:.86em;font-weight:700;color:var(--on-accent);background:var(--sky);border:2px solid var(--line);padding:0 5px;border-radius:5px}.card{background:var(--paper);border:var(--bw) solid var(--line);border-radius:var(--r);padding:26px 26px 28px;margin-bottom:22px;box-shadow:var(--sh);animation:rise .4s cubic-bezier(.22,1,.36,1) both}.card>h2{display:flex;align-items:center;gap:11px;margin:0 0 18px;font-size:18px;font-weight:800;letter-spacing:-.02em;color:var(--ink)}.card>h2:before{content:"";width:16px;height:16px;border:var(--bw) solid var(--line);border-radius:4px;background:var(--saffron)}.card>h2:after{content:none}.card:nth-of-type(2){animation-delay:.05s}.card:nth-of-type(3){animation-delay:.1s}.card:nth-of-type(4){animation-delay:.15s}@keyframes rise{0%{opacity:0;transform:translateY(12px)}to{opacity:1;transform:none}}.actions{display:grid;gap:18px;grid-template-columns:1fr 1fr}@media(max-width:560px){.actions{grid-template-columns:1fr}}.action{display:flex;flex-direction:column;gap:10px;padding:22px;border:var(--bw) solid var(--line);border-radius:var(--r-sm);background:var(--paper);text-decoration:none;color:var(--ink);box-shadow:var(--sh-sm);transition:transform .12s,box-shadow .12s,background .12s}.action:hover{transform:translate(-3px,-3px);box-shadow:var(--sh-lg);background:#fff}.action .ico{width:44px;height:44px;border-radius:var(--r-sm);display:grid;place-items:center;background:var(--saffron);border:var(--bw) solid var(--line);color:var(--on-accent)}.action .ico svg{width:21px;height:21px}.action .t{font-weight:800;font-size:18px;letter-spacing:-.02em}.action .d{color:var(--muted);font-size:14px;line-height:1.5}.action .go{margin-top:2px;color:var(--ink);font-size:14px;font-weight:800}.row{display:flex;gap:13px;align-items:center;flex-wrap:wrap}label{color:var(--ink);font-size:14px;font-weight:600}label:has(input[type=checkbox]){display:inline-flex;align-items:center;gap:9px;padding:8px 14px;background:var(--paper);border:var(--bw) solid var(--line);border-radius:var(--r-sm);cursor:pointer;box-shadow:var(--sh-sm);transition:background .12s,transform .1s,box-shadow .1s}label:has(input[type=checkbox]:checked){background:var(--sky)}label:has(input[type=checkbox]):active{transform:translate(2px,2px);box-shadow:1px 1px 0 var(--shadow)}input[type=checkbox]{accent-color:var(--ink);width:16px;height:16px}input[type=date],input[type=file],input[type=password],input[type=text],textarea{background:var(--paper);color:var(--ink);border:var(--bw) solid var(--line);border-radius:var(--r-sm);padding:10px 13px;font-family:var(--sans);font-weight:600;font-size:14px;box-shadow:var(--sh-sm)}textarea{width:100%;resize:vertical;font-family:var(--mono);font-size:12.5px;line-height:1.5}input[type=date]:focus,input[type=file]:focus,input[type=password]:focus,input[type=text]:focus,textarea:focus{outline:none;background:var(--sky);color:var(--on-accent);caret-color:var(--on-accent)}input[type=file]::file-selector-button{background:var(--ink);color:var(--paper);border:0;border-radius:6px;padding:6px 12px;margin-right:11px;cursor:pointer;font-family:var(--sans);font-weight:700;font-size:13px}button{position:relative;display:inline-flex;align-items:center;gap:9px;background:var(--saffron);color:var(--on-accent);border:var(--bw) solid var(--line);border-radius:var(--r-sm);padding:11px 20px;font-family:var(--sans);font-weight:800;font-size:14.5px;letter-spacing:-.01em;cursor:pointer;box-shadow:var(--sh-sm);transition:transform .1s,box-shadow .1s,filter .12s}button:hover:not(:disabled){transform:translate(-1px,-1px);box-shadow:5px 5px 0 var(--shadow)}button:active:not(:disabled){transform:translate(3px,3px);box-shadow:0 0 0 var(--ink)}button:disabled{opacity:.5;cursor:default;box-shadow:none}button.ghost{background:var(--paper)}button.ghost:hover:not(:disabled){background:var(--sky)}.spinner{display:none;width:14px;height:14px;border:2.5px solid rgba(21,18,12,.3);border-top-color:var(--ink);border-radius:50%;animation:spin .7s linear infinite}button.is-busy .spinner{display:inline-block}@keyframes spin{to{transform:rotate(360deg)}}.pill{display:inline-flex;align-items:center;gap:8px;font-size:13px;font-weight:600;color:var(--ink);border:var(--bw) solid var(--line);border-radius:var(--r-sm);padding:7px 13px;background:var(--paper);box-shadow:var(--sh-sm)}.pill.live:before{content:"";width:9px;height:9px;border-radius:50%;background:var(--green);border:2px solid var(--line);animation:blink 1.3s steps(1) infinite}@keyframes blink{50%{opacity:.3}}.pill b{font-weight:800}.secret{color:var(--red);font-weight:800}.mono{font-family:var(--mono);font-weight:700}.stats{display:flex;gap:14px;flex-wrap:wrap;margin:6px 0}.stat{flex:1 1 130px;background:var(--paper);border:var(--bw) solid var(--line);border-radius:var(--r-sm);padding:16px 18px;box-shadow:var(--sh-sm)}.stat .v{font-size:25px;font-weight:900;color:var(--ink);letter-spacing:-.03em}.stat .k{font-size:11px;color:var(--muted);text-transform:uppercase;letter-spacing:.06em;font-weight:700;margin-top:7px}.verdict{display:flex;align-items:center;gap:14px;font-size:17px;font-weight:900;letter-spacing:-.01em;text-transform:uppercase;padding:18px 20px;border:var(--bw) solid var(--line);border-radius:var(--r-sm);box-shadow:var(--sh);animation:pop .3s cubic-bezier(.22,1,.36,1) both}.verdict:before{content:"";width:28px;height:28px;border-radius:6px;flex:none;border:var(--bw) solid var(--line);background-repeat:no-repeat;background-position:center;background-size:16px}.verdict.ok{color:var(--on-accent);background:var(--green)}.verdict.ok:before{background-color:var(--paper);background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='%2315120c' stroke-width='3.5' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M20 6 9 17l-5-5'/%3E%3C/svg%3E")}.verdict.bad{color:var(--paper);background:var(--red)}.verdict.bad:before{background-color:var(--paper);background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='%2315120c' stroke-width='3.5' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M18 6 6 18M6 6l12 12'/%3E%3C/svg%3E")}@keyframes pop{0%{opacity:0;transform:scale(.96)}to{opacity:1;transform:none}}.terminal{border:var(--bw) solid var(--line);border-radius:var(--r-sm);overflow:hidden;background:var(--paper);box-shadow:var(--sh-sm)}.terminal .bar{display:flex;align-items:center;padding:11px 16px;border-bottom:var(--bw) solid var(--line);background:var(--ink);font-size:12px;font-weight:700;letter-spacing:.08em;text-transform:uppercase;color:var(--paper)}.terminal .bar:before{content:"";width:10px;height:10px;border-radius:50%;background:#ff5f56;box-shadow:16px 0 #ffbd2e,32px 0 #27c93f;margin-right:44px}pre{margin:0;padding:18px;font-family:var(--mono);font-size:12.5px;font-weight:600;line-height:1.7;color:var(--ink);max-height:280px;overflow:auto;white-space:pre-wrap}pre:empty:after{content:"awaiting input…";color:var(--muted);font-weight:500}.titleblock{display:none}.callout{border:var(--bw) solid var(--line);background:var(--sky);border-radius:var(--r-sm);padding:13px 16px;color:var(--on-accent);font-size:14px;font-weight:500;box-shadow:var(--sh-sm)}.hidden{display:none!important}.download{display:inline-flex;align-items:center;gap:8px;margin-top:16px;font-size:14px;font-weight:800;color:var(--on-accent);text-decoration:none;border:var(--bw) solid var(--line);border-radius:var(--r-sm);padding:9px 14px;background:var(--saffron);box-shadow:var(--sh-sm)}.download:hover{transform:translate(-1px,-1px);box-shadow:5px 5px 0 var(--shadow)}.muted{color:var(--muted)}.fine{color:var(--muted);font-size:12.5px}.theme-toggle{position:fixed;top:18px;right:18px;z-index:50;width:44px;height:44px;padding:0;display:grid;place-items:center;background:var(--paper);color:var(--ink);border:var(--bw) solid var(--line);border-radius:var(--r-sm);box-shadow:var(--sh-sm)}.theme-toggle svg{width:20px;height:20px}.theme-toggle:hover:not(:disabled){background:var(--sky);color:var(--on-accent)}@media(max-width:560px){.theme-toggle{top:12px;right:12px}}[data-theme=dark]{color-scheme:dark;--bg: #16130d;--paper: #211b12;--ink: #f4ecd6;--muted: #a99f86;--on-accent: #15120c;--line: #8a8068;--shadow: #6b6350}[data-theme=dark] nav a:hover{color:var(--on-accent)}[data-theme=dark] .action:hover{background:#2c2517}[data-theme=dark] button.ghost{color:var(--ink)}[data-theme=dark] button.ghost:hover:not(:disabled){color:var(--on-accent)}[data-theme=dark] .terminal .bar{background:#0d0b07;color:var(--ink)}[data-theme=dark] label:has(input[type=checkbox]:checked){background:#3a3220}[data-theme=dark] .verdict.ok:before,[data-theme=dark] .verdict.bad:before{background-color:#f4ecd6}[data-theme=dark] .verdict.bad{color:#f4ecd6}[data-theme=dark] .spinner{border-color:#f4ecd64d;border-top-color:var(--ink)}select{background:var(--paper);color:var(--ink);border:var(--bw) solid var(--line);border-radius:var(--r-sm);padding:9px 13px;font-family:var(--sans);font-weight:700;font-size:14px;box-shadow:var(--sh-sm);cursor:pointer}select:focus{outline:none;background:var(--sky)}.dropzone{display:flex;align-items:center;gap:14px;padding:16px 18px;margin-bottom:13px;border:var(--bw) dashed var(--line);border-radius:var(--r-sm);background:var(--paper);cursor:pointer;transition:background .12s,border-color .12s,transform .1s,box-shadow .1s}.dropzone:hover,.dropzone:focus-visible{outline:none;background:var(--sky)}.dropzone.dragover{background:var(--sky);border-style:solid;transform:translate(-1px,-1px);box-shadow:var(--sh-sm)}.dropzone .dz-ico{flex:none;width:40px;height:40px;display:grid;place-items:center;border:var(--bw) solid var(--line);border-radius:var(--r-sm);background:var(--saffron);color:var(--on-accent)}.dropzone .dz-ico svg{width:20px;height:20px}.dropzone .dz-text{display:flex;flex-direction:column;gap:1px}.dropzone .dz-text b{font-weight:800;font-size:14.5px}.dropzone .dz-text>span{color:var(--muted);font-size:12.5px}.dropzone .dz-file{margin-left:auto;padding-left:10px;font-family:var(--mono);font-size:12.5px;font-weight:700;color:var(--ink);word-break:break-all;text-align:right}.leak{display:grid;grid-template-columns:repeat(auto-fill,minmax(160px,1fr));gap:12px;margin-top:4px}.leak .cell{border:var(--bw) solid var(--red);border-radius:var(--r-sm);background:var(--paper);padding:12px 14px;box-shadow:3px 3px 0 var(--red);animation:rise .3s cubic-bezier(.22,1,.36,1) both}.leak .cell .k{font-size:10.5px;text-transform:uppercase;letter-spacing:.06em;font-weight:800;color:var(--red)}.leak .cell .v{font-size:14.5px;font-weight:800;color:var(--ink);margin-top:4px;word-break:break-word}h1 .grad.bad{background:var(--red)}.callout.bad{background:var(--red);color:var(--paper)}.callout.ok{background:var(--green);color:var(--on-accent)}[data-theme=dark] .callout.bad{color:#f4ecd6}#leak-note{background:#7d1a10;color:#fdecea}.status-quo{--saffron: var(--red)}.status-quo .eyebrow{background:var(--paper);color:var(--red);border-color:var(--red);font-weight:600}.status-quo .card-ok>h2:before{background:var(--green)}.brandword{font-family:"Chakra Petch",var(--sans);letter-spacing:-.02em}.diagram-box svg{display:block;width:100%;max-width:480px;height:auto;margin:0 auto}.status-quo .download{background:var(--green)}.status-quo .download:hover{box-shadow:5px 5px 0 var(--shadow)}[data-theme=dark] .dropzone:hover,[data-theme=dark] .dropzone:focus-visible,[data-theme=dark] .dropzone.dragover{background:#3a3220}[data-theme=dark] input[type=date]:focus,[data-theme=dark] input[type=file]:focus,[data-theme=dark] input[type=password]:focus,[data-theme=dark] input[type=text]:focus,[data-theme=dark] select:focus,[data-theme=dark] textarea:focus{background:#3a3220;color:var(--ink);caret-color:var(--ink)}.topbar{display:flex;align-items:center;justify-content:space-between;gap:16px;margin-bottom:30px}.topbar .brand{margin-bottom:0}.how-btn{font-size:13.5px;padding:9px 16px}.demo,.outcome{padding:30px 30px 32px}.demo>div,.outcome>div{animation:rise .28s cubic-bezier(.22,1,.36,1) both}.note{color:var(--muted);font-size:13px;margin:0}.note.busy{color:var(--ink);font-weight:700}.note.busy:before{content:"";display:inline-block;vertical-align:-2.5px;width:13px;height:13px;margin-right:8px;border:2.5px solid rgba(21,18,12,.18);border-top-color:var(--saffron);border-radius:50%;animation:spin .8s linear infinite}[data-theme=dark] .note.busy:before{border-color:#f4ecd62e;border-top-color:var(--saffron)}.note.mono{font-family:var(--mono);font-size:11.5px}.fold{margin-top:16px}.fold>summary{cursor:pointer;list-style:none;width:fit-content;display:inline-flex;align-items:center;gap:8px;font-size:12px;font-weight:800;letter-spacing:.06em;text-transform:uppercase;color:var(--muted);padding:6px 0}.fold>summary::-webkit-details-marker{display:none}.fold>summary:before{content:"▸";font-size:11px;transition:transform .15s}.fold[open]>summary:before{transform:rotate(90deg)}.fold>summary:hover{color:var(--ink)}.fold-body{margin-top:10px;padding:16px 18px;border:var(--bw) solid var(--line);border-radius:var(--r-sm);background:var(--paper)}.fold-body>*+*{margin-top:14px}.fold-body textarea{margin:0}button.small{font-size:13px;padding:7px 14px}.tech{margin-top:26px;padding-top:18px;border-top:2px dotted var(--line)}#st-load .dropzone{margin-bottom:0}#st-load .dz-hint{margin-top:10px;max-width:60ch;line-height:1.55}#st-load #up-pwd-row{margin-top:14px}#st-load #up-status:not(:empty){margin-top:14px}.acard{border:var(--bw) solid var(--line);border-radius:var(--r);background:var(--paper);box-shadow:var(--sh);overflow:hidden}.acard-tri{height:7px;background:var(--saffron)}.acard-strip{height:7px;background:var(--green);border-top:var(--bw) solid var(--line)}.acard-top{display:flex;align-items:center;gap:13px;padding:12px 16px;border-bottom:var(--bw) solid var(--line)}.acard-logo{flex:none;display:grid;place-items:center}.acard-logo svg{display:block;width:62px;height:auto}.acard-gov{display:flex;flex-direction:column;line-height:1.25;min-width:0}.acard-gov b{font-size:15.5px;font-weight:800;letter-spacing:-.01em}.acard-gov span{font-size:12px;font-weight:600;color:var(--muted)}.acard-badge{margin-left:auto;flex:none;display:inline-flex;align-items:center;gap:6px;font-size:11px;font-weight:800;letter-spacing:.02em;padding:4px 10px;background:var(--paper);color:var(--green);border:2px solid var(--line);border-radius:999px}.acard-badge svg{width:12px;height:12px}.acard-badge.hidden{display:none!important}.acard-body{display:grid;grid-template-columns:92px 1fr;gap:18px;padding:18px 20px 16px}.acard-photo{grid-row:span 1;display:flex;flex-direction:column;align-items:center;justify-content:center;gap:5px;height:108px;border:var(--bw) dashed var(--line);border-radius:var(--r-sm);color:var(--muted);background:var(--bg)}.acard-photo svg{width:34px;height:34px}.acard-photo span{font-size:9.5px;font-weight:800;letter-spacing:.08em;text-transform:uppercase}.acard-fields{margin:0;display:grid;grid-template-columns:1fr 1fr;gap:12px 18px;align-content:start}.af{min-width:0}.af-wide{grid-column:1 / -1}.af dt{font-size:9.5px;font-weight:800;letter-spacing:.08em;text-transform:uppercase;color:var(--muted);margin-bottom:2px}.af dd{margin:0;font-size:14.5px;font-weight:800;letter-spacing:-.01em;line-height:1.35;word-break:break-word}.af-wide dd{font-size:15px}.acard-uid{grid-column:1 / -1;display:flex;align-items:center;justify-content:space-between;gap:14px;flex-wrap:wrap;margin-top:4px;padding-top:13px;border-top:2px dotted var(--line)}.acard-uid-n{font-family:var(--mono);font-size:21px;font-weight:800;letter-spacing:.14em}.mask{filter:blur(6px);transition:filter .18s ease}.ac-fields.revealed .mask{filter:none}.eye{display:inline-flex;align-items:center;gap:7px;padding:6px 12px;font-size:12.5px;font-weight:800;background:var(--paper);color:var(--ink);border:var(--bw) solid var(--line);border-radius:var(--r-sm);box-shadow:var(--sh-sm)}.eye svg{width:15px;height:15px}.eye .eye-on{display:none}.eye[aria-pressed=true]{background:var(--sky);color:var(--on-accent)}.eye[aria-pressed=true] .eye-off{display:none}.eye[aria-pressed=true] .eye-on{display:block}.acard-foot{display:flex;align-items:baseline;justify-content:space-between;gap:14px;flex-wrap:wrap;margin:12px 0 0}.acard.unsigned .acard-tri,.acard.unsigned .acard-strip{background:var(--red)}.acard.unsigned .acard-logo{filter:grayscale(1);opacity:.55}@media(max-width:560px){.acard-body{grid-template-columns:74px 1fr;gap:14px;padding:15px 15px 13px}.acard-photo{height:92px}.acard-fields{grid-template-columns:1fr}.acard-uid-n{font-size:17px}}.ask{display:flex;flex-direction:column;gap:1px;margin:26px 0 13px}.ask b{font-size:15.5px;font-weight:800;letter-spacing:-.015em}.ask span{font-size:13.5px;color:var(--muted);font-weight:600}.chips{display:flex;flex-wrap:wrap;gap:10px}.chip{display:inline-flex;align-items:center;padding:9px 15px;font-size:14px;font-weight:700;background:var(--paper);color:var(--ink);border:var(--bw) solid var(--line);border-radius:var(--r-sm);box-shadow:var(--sh-sm);cursor:pointer;transition:background .12s,transform .1s,box-shadow .1s}.chip input{position:absolute;opacity:0;pointer-events:none}.chip:hover{transform:translate(-1px,-1px);box-shadow:5px 5px 0 var(--shadow)}.chip:has(input:checked){background:var(--sky);color:var(--on-accent);font-weight:800}.chip:has(input:focus-visible){outline:3px solid var(--saffron);outline-offset:2px}[data-theme=dark] .chip:has(input:checked){background:#3a3220;color:var(--ink)}.cta{margin-top:24px}.cta button{font-size:15.5px;padding:13px 22px}.alt{margin:14px 0 0}.alt .link-btn{font-size:13px}.warming{margin:10px 0 0;font-size:12.5px;color:var(--muted);display:none}body[data-prover=warming] .warming{display:block}body[data-prover=failed] .warming{display:block;color:var(--red)}body[data-prover=failed] .warming:after{content:" (it didn't start, check the console)"}.working{display:flex;flex-direction:column;align-items:stretch;gap:22px;padding:0 0 8px}.mill{position:relative;overflow:hidden;width:100%;margin-bottom:22px;padding:15px 17px;border:var(--bw) solid var(--line);border-radius:var(--r-sm);background:var(--bg);box-shadow:var(--sh-sm)}.mill-hex{margin:0;padding:0 0 4px;font-family:var(--mono);font-size:12.5px;font-weight:700;line-height:1.85;letter-spacing:.04em;color:var(--muted);opacity:.5;white-space:pre;overflow:hidden;user-select:none;max-height:none}.mill-sweep{position:absolute;inset:0;pointer-events:none;background:linear-gradient(90deg,transparent 30%,var(--saffron) 50%,transparent 70%);opacity:.42;will-change:transform;animation:mill-sweep 1.7s cubic-bezier(.5,0,.5,1) infinite}@keyframes mill-sweep{0%{transform:translate(-115%)}to{transform:translate(115%)}}.mill:after{content:"";position:absolute;inset:0;pointer-events:none;background:linear-gradient(90deg,transparent 40%,var(--green) 50%,transparent 60%);opacity:.16;will-change:transform;animation:mill-sweep 2.9s cubic-bezier(.5,0,.5,1) infinite}.working-line{display:flex;align-items:center;justify-content:center;gap:13px;margin:0;font-size:15.5px;font-weight:800;letter-spacing:-.015em}.spin{flex:none;width:22px;height:22px;border:3px solid rgba(21,18,12,.18);border-top-color:var(--saffron);border-radius:50%;animation:spin .8s linear infinite}[data-theme=dark] .spin{border-color:#f4ecd62e;border-top-color:var(--saffron)}.leakfact{margin:0;padding:16px 20px;border:var(--bw) solid var(--line);border-left-width:7px;border-left-color:var(--red);border-radius:var(--r-sm);background:var(--paper)}.leakfact figcaption{font-size:10px;font-weight:800;letter-spacing:.1em;text-transform:uppercase;color:var(--muted);margin-bottom:9px}.leakfact blockquote{margin:0;font-size:16px;font-weight:700;line-height:1.5;animation:leak-in .45s cubic-bezier(.22,1,.36,1) both}@keyframes leak-in{0%{opacity:0;transform:translateY(5px)}to{opacity:1;transform:none}}.leakfact cite{display:block;margin-top:9px;font-size:11.5px;font-style:normal;font-weight:700;color:var(--muted)}@media(max-width:560px){.working-line{font-size:14.5px}.leakfact blockquote{font-size:15px}.mill-hex{font-size:10.5px;letter-spacing:.02em}}.res-ledger{margin:0;border:var(--bw) solid var(--line);border-radius:var(--r-sm);background:var(--paper);box-shadow:var(--sh-sm);overflow:hidden}.rl-row{display:grid;grid-template-columns:128px 1fr;gap:14px;align-items:baseline;padding:13px 17px}.rl-row+.rl-row{border-top:var(--bw) solid var(--line)}.rl-row dt{font-size:10.5px;font-weight:800;letter-spacing:.07em;text-transform:uppercase;color:var(--saffron)}.rl-row dd{margin:0;font-size:14.5px;font-weight:700;line-height:1.5}.rl-kept{background:var(--bg)}.rl-kept dt{color:var(--green)}.rl-kept dd{color:var(--muted);font-weight:600}@media(max-width:560px){.rl-row{grid-template-columns:1fr;gap:3px}}.res-facts{display:flex;flex-wrap:wrap;gap:12px;margin-top:22px}.fact{flex:1 1 150px;display:flex;flex-direction:column;align-items:flex-start;gap:3px;padding:14px 17px 12px;border:var(--bw) solid var(--line);border-radius:var(--r-sm);background:var(--paper);box-shadow:var(--sh-sm)}.fact-v{font-family:var(--mono);font-size:24px;font-weight:800;letter-spacing:-.02em;line-height:1.1;color:var(--ink)}.fact-k{font-size:11px;font-weight:800;letter-spacing:.05em;text-transform:uppercase;color:var(--muted)}button.fact-proof{background:var(--sky);cursor:pointer;transition:transform .1s,box-shadow .1s;font-family:var(--sans);text-align:left}button.fact-proof .fact-v{color:var(--on-accent);font-size:24px}button.fact-proof .fact-k{color:var(--on-accent);opacity:.75}button.fact-proof:hover{transform:translate(-1px,-1px);box-shadow:5px 5px 0 var(--shadow)}button.fact-proof:active{transform:translate(2px,2px);box-shadow:1px 1px 0 var(--shadow)}[data-theme=dark] button.fact-proof{background:#3a3220}[data-theme=dark] button.fact-proof .fact-v,[data-theme=dark] button.fact-proof .fact-k,[data-theme=dark] button.fact-proof:after{color:var(--ink)}.res-head{margin:4px 0 16px;font-size:clamp(24px,4vw,32px);font-weight:900;letter-spacing:-.03em;line-height:1.1}.res-head:before{content:"";display:inline-block;vertical-align:-4px;width:26px;height:26px;margin-right:12px;border:var(--bw) solid var(--line);border-radius:6px;background:var(--green) no-repeat center / 15px;background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='%2315120c' stroke-width='3.5' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M20 6 9 17l-5-5'/%3E%3C/svg%3E")}.res-head.bad:before{background-color:var(--red);background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='%23fffdf7' stroke-width='3.5' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M18 6 6 18M6 6l12 12'/%3E%3C/svg%3E")}.res-knows{margin:0 0 12px;font-size:16.5px;line-height:1.5;max-width:60ch}.res-knows b{font-weight:800}.res-kept{position:relative;margin:0;padding:12px 16px 12px 42px;font-size:14.5px;line-height:1.5;max-width:62ch;border:var(--bw) solid var(--line);border-radius:var(--r-sm);background:var(--paper);box-shadow:var(--sh-sm)}.res-kept:before{content:"";position:absolute;left:15px;top:15px;width:16px;height:16px;background:no-repeat center / 16px;background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='%2314a64f' stroke-width='2.4' stroke-linecap='round' stroke-linejoin='round'%3E%3Crect x='4' y='11' width='16' height='9' rx='2'/%3E%3Cpath d='M8 11V7a4 4 0 0 1 8 0v4'/%3E%3C/svg%3E")}.res-actions{display:flex;gap:12px;flex-wrap:wrap;margin-top:22px}#res-leak .res-knows,#res-leak .leak{margin-top:16px}#res-leak .res-kept{margin-top:18px}#res-leak #sq-result{margin-bottom:4px}.link-btn{background:transparent;border:0;box-shadow:none;border-radius:0;padding:6px 2px;color:var(--muted);font-weight:700;font-size:13px;text-decoration:underline;text-decoration-thickness:2px;text-underline-offset:3px}.link-btn:hover:not(:disabled){transform:none;box-shadow:none;color:var(--ink);background:transparent}.log-fold>summary{cursor:pointer;list-style:none;display:inline-flex;align-items:center;gap:8px;font-size:12px;font-weight:800;letter-spacing:.06em;text-transform:uppercase;color:var(--muted);padding:6px 0}.log-fold>summary::-webkit-details-marker{display:none}.log-fold>summary:before{content:"▸";font-size:11px;transition:transform .15s}.log-fold[open]>summary:before{transform:rotate(90deg)}.log-fold .terminal{margin-top:10px}.log-fold .terminal pre{max-height:220px}.ctl-row{display:flex;align-items:center;gap:13px;flex-wrap:wrap}.ctl-row>button{flex:none}.ctl-row .note b{font-size:11px}.tech .tech-old,.tech[data-mode=old] .tech-zk{display:none}.tech[data-mode=old] .tech-old{display:block}.tech-zk>*+*{margin-top:14px}.spec{margin:0;border:var(--bw) solid var(--line);border-radius:var(--r-sm);background:var(--paper);overflow:hidden}.spec+.spec{margin-top:10px}.spec-row{display:grid;grid-template-columns:108px 1fr;gap:14px;align-items:baseline;padding:9px 14px}.spec-row+.spec-row{border-top:1px dotted var(--line)}.spec-row dt{font-size:10px;font-weight:800;letter-spacing:.07em;text-transform:uppercase;color:var(--muted)}.spec-row dd{margin:0;font-size:13px;font-weight:700;line-height:1.5;word-break:break-all}.spec-row dd.mono{font-family:var(--mono);font-size:12.5px}.spec-row dd.ok{color:var(--green)}.spec-row dd.bad{color:var(--red)}.spec-row dd .dim{color:var(--muted);font-weight:600}.spec-row dd .sep{color:var(--muted)}.spec-row dd b{font-weight:800}@media(max-width:560px){.spec-row{grid-template-columns:1fr;gap:2px}}@media(max-width:560px){.demo{padding:22px 20px 24px}.loaded .link-btn{margin-left:0}.cta button{width:100%;justify-content:center}}#why-modal{max-width:min(640px,94vw)}#pdf-modal{max-width:min(520px,94vw)}.pdf-help-list{margin:0;padding:0 0 0 20px}.pdf-help-list li{font-size:14px;line-height:1.6;margin-bottom:10px}.help-dot{display:inline-grid;place-items:center;width:20px;height:20px;padding:0;margin-left:4px;vertical-align:middle;position:relative;top:-1px;font-size:11.5px;font-weight:800;line-height:1;color:var(--muted);background:var(--paper);border:2px solid var(--line);border-radius:50%;box-shadow:none}.help-dot:hover:not(:disabled){color:var(--on-accent);background:var(--sky);transform:none;box-shadow:none}.pdf-help-list li:last-child{margin-bottom:0}.topbar-btns{display:flex;gap:10px}.why-lede{margin:0 0 16px;font-size:14.5px;line-height:1.6;max-width:62ch}.why-list{list-style:none;margin:0 0 18px;padding:0;border:var(--bw) solid var(--line);border-radius:var(--r-sm);background:var(--paper);overflow:hidden}.why-list li{display:flex;align-items:baseline;gap:16px;padding:10px 15px;font-size:13.5px;font-weight:600;line-height:1.5}.why-list li+li{border-top:1px dotted var(--line)}.why-list li span{flex:1 1 auto}.why-list li a{flex:none;font-size:11.5px;font-weight:700;color:var(--muted);text-decoration-thickness:1.5px}.why-list li a:hover{color:var(--ink)}.why-close{position:relative;margin:0;padding:13px 16px 13px 42px;font-size:14.5px;font-weight:700;line-height:1.55;max-width:62ch;border:var(--bw) solid var(--line);border-radius:var(--r-sm);background:var(--paper);box-shadow:var(--sh-sm)}.why-close:before{content:"";position:absolute;left:15px;top:16px;width:16px;height:16px;background:no-repeat center / 16px;background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='%2314a64f' stroke-width='2.4' stroke-linecap='round' stroke-linejoin='round'%3E%3Crect x='4' y='11' width='16' height='9' rx='2'/%3E%3Cpath d='M8 11V7a4 4 0 0 1 8 0v4'/%3E%3C/svg%3E")}@media(max-width:560px){.why-list li{flex-direction:column;gap:3px}}.modal{border:none;padding:0;background:transparent;width:100%;max-width:min(920px,94vw);max-height:92vh;margin:auto;color:var(--ink);overflow:visible}.modal::backdrop{background:#15120c8c;backdrop-filter:blur(2px)}.modal[open]{animation:pop .22s cubic-bezier(.22,1,.36,1) both}.modal-card{position:relative;background:var(--bg);border:var(--bw) solid var(--line);border-radius:var(--r);box-shadow:var(--sh-lg);padding:30px 26px 26px;max-height:92vh;overflow-y:auto}.modal-title{font-size:22px;font-weight:900;letter-spacing:-.03em;margin:0 0 22px}#how-modal{max-width:min(600px,94vw)}.how-steps{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:14px;counter-reset:how}.how-steps li{display:flex;align-items:flex-start;gap:15px;padding:17px 19px;border:var(--bw) solid var(--line);border-radius:var(--r-sm);background:var(--paper);box-shadow:var(--sh-sm)}.how-ico{flex:none;width:40px;height:40px;display:grid;place-items:center;border:var(--bw) solid var(--line);border-radius:var(--r-sm);color:var(--on-accent)}.how-issue .how-ico{background:var(--saffron)}.how-bad .how-ico{background:var(--red)}.how-ok .how-ico{background:var(--green)}.how-ico svg{width:19px;height:19px}.how-txt b{display:block;font-size:15.5px;font-weight:800;letter-spacing:-.015em}.how-txt p{margin:3px 0 0;font-size:14px;line-height:1.55;color:var(--muted)}.how-cta{margin-top:20px}.modal-close{position:absolute;top:18px;right:18px;z-index:2;width:36px;height:36px;padding:0;display:grid;place-items:center}.modal-close svg{width:12px;height:12px}.modal-card .card:last-child{margin-bottom:0}.proof-modal{max-width:min(680px,94vw)}.proof-modal-sub{margin:-10px 0 20px;font-size:13.5px}.proof-modal pre{max-height:52vh;overflow:auto;word-break:break-all;white-space:pre-wrap}.proof-modal-foot{margin-top:20px;display:flex;gap:12px;flex-wrap:wrap;align-items:stretch}.proof-modal-foot .download{margin-top:0}.proof-modal-foot button{font-size:14px;padding:9px 14px}.proof-check{margin-top:16px;border:var(--bw) solid var(--line);border-radius:var(--r-sm);background:var(--paper);overflow:hidden}.proof-check ul{list-style:none;margin:0;padding:0}.proof-check li{display:flex;align-items:baseline;gap:10px;padding:8px 14px;font-size:13px;font-weight:700;border-bottom:1px dotted var(--line);animation:rise .25s cubic-bezier(.22,1,.36,1) both}.proof-check li:before{flex:none;font-weight:800}.proof-check li.ok:before{content:"✓";color:var(--green)}.proof-check li.bad:before{content:"✗";color:var(--red)}.proof-check li i{margin-left:auto;font-style:normal;font-family:var(--mono);font-size:11px;font-weight:700;color:var(--muted);text-align:right}.proof-check-verdict{margin:0;padding:10px 14px;font-size:13.5px;font-weight:800}.proof-check-verdict.ok{color:var(--on-accent);background:var(--green)}.proof-check-verdict.bad{color:#fffdf7;background:var(--red)}[data-theme=dark] .proof-check-verdict.bad{color:#f4ecd6}