:root{--font-body:"Public Sans", "Helvetica Neue", Helvetica, sans-serif;--font-mono:"IBM Plex Mono", "Courier New", monospace;--bg:#0b1328;--bg-soft:#152042;--paper:#f5f3ea;--text:#f8fafc;--muted:#a4b3cc;--warn:#f0b33c;--danger:#f06050;--ok:#31d48f;--line:#2a3a67;--card:#12203fdd}html[data-theme=light]{--bg:#f6f4ec;--bg-soft:#ebe7db;--paper:#121d39;--text:#12213f;--muted:#4a5e7e;--warn:#a05b00;--danger:#b92317;--ok:#0b7a45;--line:#bfc8dd;--card:#ffffffd6}*,:before,:after{box-sizing:border-box}body{font-family:var(--font-body);color:var(--text);background:var(--bg);margin:0;line-height:1.55}a{color:var(--paper);-webkit-text-decoration-color:var(--warn);text-decoration-color:var(--warn)}a:hover,a:focus-visible{color:var(--warn)}.skip-link{background:var(--warn);color:#000;font:700 .85rem var(--font-mono);z-index:1000;border-radius:0 0 .4rem .4rem;padding:.4rem .8rem;text-decoration:none;position:absolute;top:-999px;left:.5rem}.skip-link:focus{top:0}.sr-only{clip:rect(0,0,0,0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}#app{max-width:1500px;min-height:100svh;margin:0 auto;padding:.75rem;position:relative}.page-bg{background:radial-gradient(circle at 8% 5%, #f0b33c26, transparent 38%), radial-gradient(circle at 90% 8%, #ec4f3c17, transparent 44%), linear-gradient(160deg, var(--bg) 0%, var(--bg-soft) 100%);z-index:-1;position:fixed;inset:0}.topbar{justify-content:space-between;align-items:center;gap:1rem;margin-bottom:.75rem;display:flex}.topbar h1{letter-spacing:.04em;text-transform:uppercase;color:var(--paper);margin:0;font-size:clamp(1.05rem,1.6vw,1.7rem)}.theme-toggle{border:1px solid var(--line);color:var(--text);background:var(--card);cursor:pointer;border-radius:999px;justify-content:center;align-items:center;width:2.6rem;height:2.6rem;font-size:1.15rem;display:inline-flex}.theme-toggle:focus-visible,button:focus-visible,a:focus-visible{outline:3px solid var(--warn);outline-offset:2px}.panel-grid{grid-template-columns:1fr;gap:.75rem;display:grid}.panel{border:1px solid var(--line);background:var(--card);-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px);border-radius:.8rem;padding:.85rem;overflow:hidden}.panel-title{font:700 .85rem/1.2 var(--font-mono);letter-spacing:.1em;color:var(--warn);margin:0 0 .55rem}.contract-block{border:1px dashed var(--line);color:var(--paper);font:.76rem/1.55 var(--font-mono);white-space:pre-wrap;word-break:break-word;background:#070c1a80;margin:0;padding:.7rem;overflow-x:auto}html[data-theme=light] .contract-block,html[data-theme=light] .state-cell,html[data-theme=light] .toy-grid span{background:#121d390f}html[data-theme=light] .scenario-tabs button{background:#121d390a}html[data-theme=light] button{background:#121d390f}html[data-theme=light] .model-table th{background:#121d3914}html[data-theme=light] .page-bg{background:radial-gradient(circle at 8% 5%, #a05b0014, transparent 38%), radial-gradient(circle at 90% 8%, #b923170d, transparent 44%), linear-gradient(160deg, var(--bg) 0%, var(--bg-soft) 100%)}h3{color:var(--paper);margin:.8rem 0 .3rem;font-size:.9rem}.state-grid{grid-template-columns:repeat(4,minmax(0,1fr));gap:.35rem;display:grid}.state-cell,.toy-grid span{border:1px solid var(--line);text-align:center;font:.72rem var(--font-mono);background:#080f1f8c;border-radius:.4rem;padding:.3rem}.state-cell.key-carry,.toy-grid .key-carry{border-color:var(--danger);color:#ffd8d1}.state-cell.pulse{animation:.8s pulse}@keyframes pulse{0%{transform:scale(1)}50%{transform:scale(1.04);box-shadow:0 0 .7rem #f0b33c66}to{transform:scale(1)}}.state-note,.tiny{color:var(--muted);font-size:.78rem}.toy-grid{grid-template-columns:repeat(4,minmax(0,1fr));gap:.35rem;display:grid}.model-table{border-collapse:collapse;border:1px solid var(--line);table-layout:fixed;word-wrap:break-word;border-radius:.5rem;width:100%;font-size:.78rem;overflow:hidden}.model-table th,.model-table td{border-bottom:1px solid var(--line);text-align:left;padding:.4rem .5rem}.model-table th{font:700 .74rem var(--font-mono);color:var(--paper);background:#101d3d99}.ok-text{color:var(--ok)}.danger-text{color:var(--danger)}.gap-wrap{margin:.7rem 0}.gap-bar{background:linear-gradient(90deg,#31d48f73 0%,#f0b33ccc 58%,#ec4f3c99 100%);border-radius:999px;height:.7rem;position:relative}.gap-bar .mark{font:.7rem var(--font-mono);color:var(--muted);position:absolute;top:.85rem}.gap-bar .left{left:0}.gap-bar .right{right:0}.scenario-tabs{flex-wrap:wrap;gap:.3rem;margin-top:1.4rem;display:flex}.scenario-tabs button{border:1px solid var(--line);color:var(--text);cursor:pointer;background:#0a132780;border-radius:.4rem;min-height:2.75rem;padding:.5rem .75rem;font-size:.78rem}.scenario-tabs button.active{border-color:var(--warn);background:#f0b33c1f}.scenario-card{border-left:4px solid var(--line);margin-top:.55rem;padding:.55rem .65rem;font-size:.8rem}.scenario-card.ok{border-left-color:var(--ok)}.scenario-card.warn{border-left-color:var(--warn)}.actions{flex-wrap:wrap;gap:.4rem;display:flex}button{border:1px solid var(--line);color:var(--text);min-height:2.75rem;font:.8rem var(--font-mono);cursor:pointer;background:#07112680;border-radius:.4rem;padding:.5rem .75rem;transition:background-color .15s,border-color .15s}button:hover:not(:disabled){border-color:var(--warn);background:#f0b33c1a}button:active:not(:disabled){background:#f0b33c33}button:disabled{opacity:.4;cursor:not-allowed}.attack-log{border:1px solid var(--line);max-height:24rem;font:.74rem/1.5 var(--font-mono);background:#060c1c8c;border-radius:.45rem;margin-top:.5rem;padding:.55rem;overflow:auto}html[data-theme=light] .attack-log{background:#121d390a}.attack-log p{margin:0 0 .35rem}.attack-log .phase-header{color:var(--warn);margin-top:.5rem;font-weight:700}.attack-log .result-header{color:var(--danger);margin-top:.8rem;font-size:.82rem}.complexity-badge{color:var(--warn);opacity:.85;font-size:.68rem}.disclaimer{border:1px solid var(--warn);background:#f0b33c14;border-radius:.45rem;margin-top:.6rem;padding:.6rem;font-size:.78rem}.disclaimer strong{color:var(--warn)}.hidden{display:none}.timeline{border-left:2px solid var(--line);gap:.65rem;padding-left:.6rem;font-size:.8rem;display:grid}.tl-entry{flex-direction:column;gap:.15rem;display:flex}.tl-entry b{color:var(--warn)}.tl-entry a{font-size:.76rem}.verdict-grid{gap:.65rem;margin-top:.75rem;display:grid}.verdict-h{font:700 .73rem var(--font-mono);letter-spacing:.05em;color:var(--paper);margin:0 0 .3rem}.verdict-grid p{margin:.15rem 0;font-size:.8rem}blockquote.lesson{border-left:4px solid var(--warn);margin:1rem 0 0;padding:.6rem .7rem;font-size:.88rem}blockquote.lesson p{margin:.2rem 0}footer{border-top:1px solid var(--line);color:var(--muted);text-align:center;margin:.8rem 0 .3rem;padding-top:.7rem;font-size:.82rem}@media (width<=479px){.model-table th:nth-child(2){border-top:2px solid var(--warn)}.gap-bar .mark{font-size:.62rem}.attack-log{max-height:16rem}}@media (width>=768px){#app{padding:1rem}.panel-grid,.verdict-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (width>=1440px){#app{padding:1.5rem 2rem}.panel-grid{gap:1.1rem}.panel{padding:1.1rem}}