:root{--bg: #f6efe3;--bg-soft: #eadfca;--panel: #fffaf0;--text: #241f17;--muted: #4d4537;--accent: #b45309;--accent-2: #1d6f63;--danger: #b01a2e;--ok: #1a6a3c;--warn: #8a5800;--border: #c2ac88;--focus: #0059d6;--shadow: 0 14px 34px rgba(60, 40, 12, .16);--on-accent: #ffffff;--chart-surface: #fffaf0;--chart-grid: rgba(36, 31, 23, .1);--chart-axis: #8a7858;font-size:16px}:root[data-theme=dark]{--bg: #1c1a16;--bg-soft: #2a261f;--panel: #272219;--text: #f4efe4;--muted: #d6cdb9;--accent: #f5b14c;--accent-2: #5fd6c0;--danger: #ff8a92;--ok: #7ef0a8;--warn: #ffce7a;--border: #6f6450;--focus: #7bc1ff;--shadow: 0 18px 42px rgba(0, 0, 0, .4);--on-accent: #241400;--chart-surface: #211d16;--chart-grid: rgba(244, 239, 228, .12);--chart-axis: #a3937a}*{box-sizing:border-box}html,body{margin:0;min-height:100%;background:radial-gradient(circle at 12% 8%,color-mix(in srgb,var(--accent) 22%,transparent),transparent 42%),radial-gradient(circle at 92% 0%,color-mix(in srgb,var(--accent-2) 20%,transparent),transparent 38%),var(--bg);color:var(--text);font-family:IBM Plex Sans,Segoe UI,sans-serif}a{color:inherit}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.skip-link{position:absolute;left:-9999px;top:0;background:var(--panel);padding:.75rem;border:2px solid var(--focus)}.skip-link:focus{left:.5rem;top:.5rem;z-index:99}#app{max-width:1140px;margin:0 auto;padding:.8rem}.hero{position:relative;background:linear-gradient(160deg,var(--panel),var(--bg-soft));border:1px solid var(--border);border-radius:1rem;padding:1.1rem;box-shadow:var(--shadow)}.category-chip,.primitive-chip,.status,.links a{border-radius:999px;border:1px solid var(--border);padding:.35rem .65rem;display:inline-flex;align-items:center;min-height:36px;text-decoration:none}.category-chip{background:var(--accent);color:var(--on-accent);border-color:transparent;font-weight:700}h1,h2,h3{font-family:Space Grotesk,Trebuchet MS,sans-serif;line-height:1.2}h1{font-size:clamp(1.8rem,6vw,2.8rem);margin:.8rem 0 .4rem}h2{font-size:clamp(1.3rem,4.2vw,1.8rem);margin:.3rem 0}.subtitle{color:var(--muted);font-size:1.05rem}.subhead{font-size:1.05rem;margin:1rem 0 .3rem;padding-top:.8rem;border-top:1px dashed var(--border)}code{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;background:color-mix(in srgb,var(--accent) 12%,var(--panel));padding:.05rem .3rem;border-radius:.3rem;overflow-wrap:break-word}.panel-text,.panel-note,.chart-summary,li,p,label{font-size:1rem}.panel-note,.chart-summary{color:var(--muted)}.panel-note.caveat{border-top:1px dashed var(--border);padding-top:.7rem;margin-top:.9rem}.chip-row,.status-row,.links{display:flex;flex-wrap:wrap;gap:.5rem;margin-top:.6rem}.primitive-chip{background:color-mix(in srgb,var(--accent) 18%,transparent)}main{display:grid;gap:.9rem;margin-top:.9rem}.panel,.why{background:linear-gradient(165deg,var(--panel),color-mix(in srgb,var(--panel) 80%,var(--bg-soft)));border:1px solid var(--border);border-radius:1rem;padding:1rem;box-shadow:var(--shadow)}.panel.attack{border-color:color-mix(in srgb,var(--accent) 50%,var(--border))}.panel-head{display:grid;gap:.45rem;margin-bottom:.4rem}.status{font-weight:700;font-size:.85rem}.bad{color:var(--danger);border-color:color-mix(in srgb,var(--danger) 60%,var(--border));background:color-mix(in srgb,var(--danger) 10%,var(--panel))}.good{color:var(--ok);border-color:color-mix(in srgb,var(--ok) 60%,var(--border));background:color-mix(in srgb,var(--ok) 16%,var(--panel))}.warn{color:var(--warn);border-color:color-mix(in srgb,var(--warn) 60%,var(--border));background:color-mix(in srgb,var(--warn) 14%,var(--panel))}button,input[type=text],input:not([type]){width:100%;min-height:44px;border-radius:.7rem;border:1px solid var(--border);padding:.65rem .75rem;background:var(--panel);color:var(--text);font-size:1rem}button{cursor:pointer;font-weight:700;background:linear-gradient(160deg,color-mix(in srgb,var(--accent) 24%,var(--panel)),var(--panel))}button.secondary{background:var(--panel);font-weight:600}button:focus-visible,input:focus-visible,a:focus-visible,pre:focus-visible,summary:focus-visible{outline:3px solid var(--focus);outline-offset:2px}button[aria-busy=true],button:disabled{cursor:progress;opacity:.7}.controls{display:grid;gap:.45rem;margin-top:.7rem}canvas{width:100%;max-width:100%;border:1px solid var(--border);border-radius:.8rem;margin-top:.6rem;background:var(--chart-surface)}.code-compare{display:grid;gap:.7rem;margin:.8rem 0}.code-compare figure{margin:0}.code-cap{font-weight:700;font-size:.85rem;padding:.3rem .55rem;border-radius:.5rem .5rem 0 0;border:1px solid var(--border);border-bottom:none}.code-compare pre{margin:0;padding:.7rem .8rem;border:1px solid var(--border);border-radius:0 .5rem .5rem;background:var(--chart-surface);overflow-x:auto;font-size:.82rem;line-height:1.5}.code-compare pre code{background:none;padding:0}.attack-config{display:grid;gap:.6rem;margin:.8rem 0}.attack-config fieldset{border:1px solid var(--border);border-radius:.7rem;padding:.6rem .8rem;margin:0;display:flex;flex-wrap:wrap;gap:.4rem 1.1rem;align-items:center}.attack-config legend{font-weight:700;font-size:.85rem;padding:0 .3rem;color:var(--muted)}.attack-config label{display:inline-flex;align-items:center;gap:.4rem;min-height:36px}.attack-config input[type=radio]{width:auto;min-height:0;accent-color:var(--accent)}.attack-config input[type=range]{flex:1 1 160px;min-width:140px;accent-color:var(--accent)}.attack-actions{display:flex;gap:.6rem;flex-wrap:wrap;margin-bottom:.6rem}.attack-actions button{flex:1 1 160px}.recovery{display:flex;align-items:center;gap:.6rem;flex-wrap:wrap;margin:.5rem 0}.recovery-label{font-weight:700;color:var(--muted)}.slots{display:flex;gap:.35rem;flex-wrap:wrap}.slot{display:grid;place-items:center;width:2rem;height:2.5rem;border:1px solid var(--border);border-radius:.4rem;background:var(--chart-surface);font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:1.15rem;font-weight:700;color:var(--muted)}.slot.filled{color:var(--on-accent);background:var(--accent);border-color:transparent;transition:background .2s ease}.slot.cursor{border-color:var(--accent);box-shadow:0 0 0 2px color-mix(in srgb,var(--accent) 45%,transparent)}.slot.filled{animation:slot-pop .28s ease-out}@keyframes slot-pop{0%{transform:scale(.6);opacity:.4}60%{transform:scale(1.12)}to{transform:scale(1);opacity:1}}.progress{height:8px;border-radius:999px;background:color-mix(in srgb,var(--text) 12%,var(--panel));border:1px solid var(--border);overflow:hidden;margin:.3rem 0 .2rem}.progress-fill{height:100%;width:0;border-radius:999px;background:linear-gradient(90deg,var(--accent-2),var(--accent));transition:width .25s ease}.reveal{margin-top:.5rem;display:grid;gap:.3rem}.reveal:empty{display:none}.reveal-row{display:flex;gap:.7rem;align-items:baseline;flex-wrap:wrap}.reveal-key{min-width:7rem;font-weight:700;color:var(--muted)}.reveal-val{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.reveal-val .ch{display:inline-block;padding:.05rem .25rem;border-radius:.25rem}.reveal-val .ch.ok{background:color-mix(in srgb,var(--ok) 30%,var(--panel));color:var(--text)}.reveal-val .ch.bad{background:color-mix(in srgb,var(--danger) 30%,var(--panel));color:var(--text)}.verdict{margin-top:.7rem;padding:.7rem .85rem;border-radius:.7rem;border:1px solid var(--border);border-left-width:5px;font-size:.95rem;line-height:1.45;background:var(--panel)}.verdict:empty{display:none}.verdict strong{font-family:Space Grotesk,Trebuchet MS,sans-serif}.verdict--leak{border-left-color:var(--danger);background:color-mix(in srgb,var(--danger) 12%,var(--panel))}.verdict--safe{border-left-color:var(--ok);background:color-mix(in srgb,var(--ok) 14%,var(--panel))}.verdict--inconclusive{border-left-color:var(--warn);background:color-mix(in srgb,var(--warn) 12%,var(--panel))}.proof-card{display:grid;gap:.7rem;margin:.8rem 0}.proof-col{border:1px solid var(--border);border-left-width:4px;border-radius:.6rem;padding:.6rem .85rem;background:var(--panel)}.proof-col h3{margin:.1rem 0 .4rem;font-size:1rem}.proof-col ul{margin:0;padding-left:1.1rem;display:grid;gap:.3rem;font-size:.92rem}.proof-col.proves{border-left-color:var(--ok);background:color-mix(in srgb,var(--ok) 8%,var(--panel))}.proof-col.disproves{border-left-color:var(--warn);background:color-mix(in srgb,var(--warn) 8%,var(--panel))}.why-won{margin-top:.6rem}.why-won:empty{display:none}.why-won h4{font-family:Space Grotesk,Trebuchet MS,sans-serif;margin:0 0 .3rem;font-size:1rem}.why-won p{margin:0 0 .4rem;font-size:.92rem;color:var(--muted)}.why-top{list-style:none;display:flex;flex-wrap:wrap;gap:.4rem;margin:0;padding:0}.why-top li{display:inline-flex;align-items:center;gap:.35rem;border:1px solid var(--border);border-radius:.5rem;padding:.25rem .5rem;font-size:.85rem}.why-top li.win{border-color:var(--danger);background:color-mix(in srgb,var(--danger) 14%,var(--panel));font-weight:700}.why-top .cost{color:var(--muted);font-variant-numeric:tabular-nums}.why-won .lowconf{color:var(--warn)}.board:empty{display:none}.board{margin-top:.5rem;overflow-x:auto}.board table{width:100%;border-collapse:collapse;font-size:.9rem}.board caption{text-align:left;color:var(--muted);font-size:.85rem;padding-bottom:.4rem}.board th,.board td{border:1px solid var(--border);padding:.4rem .55rem;text-align:left;vertical-align:top}.board thead th{background:color-mix(in srgb,var(--accent) 12%,var(--panel))}.board .board-leak{background:color-mix(in srgb,var(--danger) 10%,var(--panel))}.board .board-safe{background:color-mix(in srgb,var(--ok) 10%,var(--panel))}.board .board-pending{color:var(--muted);font-style:italic}.board-score{font-variant-numeric:tabular-nums;font-weight:700}.chart-data{margin-top:.6rem;font-size:.92rem;overflow-x:auto}.chart-data summary{cursor:pointer;color:var(--muted);min-height:44px;display:flex;align-items:center}.chart-data table{width:100%;border-collapse:collapse;margin-top:.4rem}.chart-data caption{text-align:left;color:var(--muted);padding-bottom:.4rem;font-size:.85rem}.chart-data th,.chart-data td{border:1px solid var(--border);padding:.35rem .55rem;text-align:right;font-variant-numeric:tabular-nums}.chart-data thead th,.chart-data tbody th{text-align:left}.chart-data thead th{background:color-mix(in srgb,var(--accent) 12%,var(--panel))}.rules{padding-left:1.1rem;display:grid;gap:.4rem}.links a{background:color-mix(in srgb,var(--accent-2) 18%,var(--panel))}.page-footer{max-width:1140px;margin:1.5rem auto 2rem;padding:1.5rem .8rem;text-align:center;font-size:.85rem;color:var(--muted)}@media (min-width: 720px){#app{padding:1.2rem}.code-compare{grid-template-columns:1fr 1fr}.two-col{grid-template-columns:auto 1fr;align-items:center;column-gap:.9rem}.two-col button{grid-column:1 / -1}}@media (prefers-reduced-motion: reduce){*{animation:none!important;transition:none!important;scroll-behavior:auto!important}}