:root{color-scheme:dark;--bg:#090b10;--panel:#11141c;--line:#272b38;--muted:#939aaf;--text:#f0eff8;--purple:#bca2ff;--green:#9eebcc}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:24px}body{margin:0;background:var(--bg);color:var(--text);font-family:Arial,Helvetica,sans-serif;line-height:1.5}button,input,select{font:inherit}button,a{ -webkit-tap-highlight-color:transparent}button{cursor:pointer}a{color:inherit;text-decoration:none}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible{outline:2px solid var(--green);outline-offset:5px}button:disabled{opacity:.45;cursor:not-allowed}button{color:var(--text);background:transparent;border:1px solid var(--line);border-radius:7px;padding:9px 15px}button:hover{border-color:var(--purple)}.header{max-width:1320px;padding:28px 40px;margin:auto;display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid var(--line)}.brand{display:flex;align-items:center;font-size:14px;letter-spacing:2px;font-weight:800}.brand img{width:32px;margin-right:10px}.brand span{font-weight:400;color:var(--muted)}nav{display:flex;gap:28px;align-items:center;font-size:12px}nav a{color:#d3d1df}.preview{font-size:9px;letter-spacing:1.4px;border:1px solid #414252;color:#aba8bc;padding:6px 9px;border-radius:4px}.plain{padding:0;border:0;color:var(--muted);font-size:12px;text-align:left}.plain:hover{color:var(--purple)}main{max-width:1240px;margin:auto;padding:0 40px}.hero{display:grid;grid-template-columns:1.1fr 1fr;gap:30px;padding:70px 0 56px;align-items:center}.eyebrow{font-size:10px;letter-spacing:2px;color:var(--muted);font-weight:600}.status-dot,.mint-dot{display:inline-block;width:6px;height:6px;border-radius:50%;background:var(--green);margin-right:8px;box-shadow:0 0 14px #9eebcc55}.hero h1{font-size:clamp(48px,5.4vw,76px);letter-spacing:-4px;font-weight:500;line-height:1.04;margin:25px 0}.hero h1 em{font-family:Georgia,serif;color:var(--purple);font-weight:400}.lede{font-size:20px;line-height:1.5;margin:0 0 18px;color:#dddaea}.intro{font-size:14px;color:var(--muted);max-width:360px;margin-bottom:28px}.primary{background:var(--purple);color:#161024;border:0;border-radius:7px;padding:14px 21px;font-weight:700;font-size:13px;display:inline-flex;align-items:center;justify-content:space-between;gap:35px}.primary:hover{background:#cdbaff;box-shadow:0 0 28px #bca2ff18}.specs{display:flex;gap:28px;margin-top:32px;font-size:10px;color:var(--muted);letter-spacing:.3px}.specs b{display:block;color:#e7e1f5;font-family:monospace;font-size:18px;font-weight:400}.artifact{height:395px;position:relative;overflow:hidden;border:1px solid #222334;border-radius:50% 50% 12px 12px;background:radial-gradient(ellipse at center,#232037 0,#11131e 45%,#090b10 74%)}.artifact-grid{position:absolute;inset:0;background-image:linear-gradient(#bca2ff07 1px,transparent 1px),linear-gradient(90deg,#bca2ff07 1px,transparent 1px);background-size:28px 28px;mask-image:radial-gradient(black,transparent 75%)}.orbit{position:absolute;width:280px;height:120px;border:1px solid #bca2ff77;left:50%;top:44%;border-radius:50%;box-shadow:inset 0 0 22px #bca2ff10,0 0 20px #bca2ff0c}.orbit:after{content:'';position:absolute;left:12%;top:12%;width:7px;height:7px;background:#cbb9ff;border-radius:50%;box-shadow:0 0 20px #bca2ff}.orbit1{transform:translate(-50%,-50%) rotate(28deg)}.orbit2{transform:translate(-50%,-50%) rotate(-40deg);border-color:#9eebcc66}.orbit3{transform:translate(-50%,-50%) rotate(90deg)}.nucleus{position:absolute;left:50%;top:44%;transform:translate(-50%,-50%);font:italic 76px Georgia;color:#e5dfff;text-shadow:0 0 45px #c7adff99}.coordinate{position:absolute;color:#73758f;font-family:monospace;font-size:8px;letter-spacing:2px}.coord1{left:30px;top:44%}.coord2{right:25px;top:67%}.artifact-caption{position:absolute;bottom:34px;width:100%;text-align:center;letter-spacing:2px;font:9px monospace;color:#b4bbc9}.brief{border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:27px 0;display:grid;grid-template-columns:130px 1fr 145px;gap:28px;align-items:center}.brief p{font-size:13px;color:var(--muted);margin:0}.brief strong{color:var(--text);font-weight:500}.section-heading{display:flex;align-items:center;justify-content:space-between;margin-bottom:22px;gap:15px}h2{font-size:27px;font-weight:500;letter-spacing:-.8px;margin:8px 0 0}.lab,.evidence{padding-top:50px}.save-state{font-size:11px;color:var(--muted)}.bench{background:var(--panel);border:1px solid var(--line);border-radius:12px;overflow:hidden}.toolbar{display:flex;justify-content:space-between;align-items:center;padding:17px 24px;border-bottom:1px solid var(--line);gap:12px}.toolbar p{margin:0;font-size:12px;color:var(--muted)}.toolbar-actions{display:flex;gap:8px}.toolbar button{font-size:11px;padding:6px 12px}.palette{display:flex;gap:10px;padding:20px 24px 10px}.palette button{width:53px;height:45px;font-family:monospace;font-size:17px;font-weight:bold;border-color:#3a3b50;background:#181a26}.palette button.active{background:var(--purple);color:#1b142a;border-color:var(--purple)}.gate-help{height:38px;padding:0 24px;color:var(--muted);font-size:11px}.gate-help b{color:var(--purple)}.circuit-scroll{overflow-x:auto;padding:10px 24px 28px}.circuit{min-width:1000px;display:grid;grid-template-columns:55px repeat(8,1fr 36px) 45px;grid-template-rows:25px repeat(3,62px);position:relative;gap:0}.wire{height:1px;background:#414051;align-self:center;grid-column:2/18;z-index:0}.wire-label{align-self:center;font:12px monospace;color:#a6a4bd}.col-label{font:9px monospace;color:#71758c;text-align:center;align-self:center}.slot{position:relative;z-index:1;justify-self:center;align-self:center;background:#11141c;border:1px dashed #625675;width:45px;height:42px;padding:0;color:#797183;font:17px monospace}.slot.set{border-style:solid;color:#dfd3fc;background:#252035;border-color:#76648e}.slot:hover{border-color:var(--green);color:var(--green)}.link{align-self:stretch;justify-self:center;position:relative;z-index:1;width:2px;background:#a6a2bd;margin:31px 0}.link:before,.link:after{position:absolute;left:50%;transform:translate(-50%,-50%);background:#11141c;color:#d6d0e5;line-height:20px;text-align:center}.link:before{content:'●';top:0;font-size:11px}.link:after{content:'⊕';top:100%;font-size:24px}.link.reverse:before{top:100%}.link.reverse:after{top:0}.measure{align-self:center;font:17px monospace;color:#706d89;text-align:center}.bench-footer{padding:14px 24px;border-top:1px solid var(--line);display:flex;justify-content:space-between;gap:18px;font-size:10px;color:var(--muted)}#filled{white-space:nowrap;letter-spacing:1px;color:var(--purple)}.lab-bottom{display:flex;align-items:center;justify-content:space-between;gap:25px;padding-top:18px}.lab-bottom p{font-size:11px;color:var(--muted);max-width:530px}.evidence-layout{display:grid;grid-template-columns:245px 1fr;border:1px solid var(--line);border-radius:12px;background:var(--panel);overflow:hidden}aside{padding:24px;border-right:1px solid var(--line)}label{display:block;font-size:9px;letter-spacing:1.3px;color:var(--muted);margin-bottom:9px}select,input{width:100%;padding:12px 10px;background:#0c0e16;color:var(--text);border:1px solid #38384a;border-radius:6px;font-size:12px}select{margin-bottom:24px}.basis-group{display:flex;gap:8px}.basis-group button{flex:1;font:14px monospace}.basis-group button.active{border-color:var(--purple);color:var(--purple);background:#252033}#basis-help{font-size:11px;color:var(--muted);min-height:64px}.test-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:5px;margin:20px 0 10px}.test-grid button{padding:7px 1px;font:10px monospace;border-color:#313444;color:#82879c}.test-grid button.pass{color:var(--green);background:#9eebcc10;border-color:#518272}.test-grid button.selected{outline:1px solid var(--purple)}.tiny{font-size:10px;color:var(--muted);line-height:1.6}.chart-panel{padding:24px;min-width:0}.chart-head{display:flex;justify-content:space-between;gap:15px;align-items:center}.chart-head h3{font:12px monospace;font-weight:400}.legend{display:flex;gap:15px;font-size:9px;color:var(--muted)}.legend span{white-space:nowrap}.legend i{display:inline-block;width:6px;height:6px;margin-right:6px;border-radius:2px}.target-key{background:var(--purple)}.candidate-key{background:var(--green)}.chart{display:grid;grid-template-columns:repeat(8,1fr);gap:12px;height:255px;padding-top:35px;border-bottom:1px solid #3b3a4d;background:repeating-linear-gradient(to top,transparent 0,transparent 49px,#ffffff05 50px)}.bar-cell{display:flex;flex-direction:column;justify-content:flex-end;position:relative;min-width:0}.bars{height:180px;display:flex;gap:4px;align-items:flex-end;justify-content:center}.bar{width:18px;min-height:2px;background:var(--purple);border-radius:3px 3px 0 0;transition:height .25s}.bar.mine{background:var(--green)}.bar.mine.empty{height:2px!important;opacity:.2}.bar-cell .value{position:absolute;top:-9px;left:0;width:100%;text-align:center;font:9px monospace;color:#c7bdd9}.bit-label{text-align:center;font:10px monospace;color:var(--muted);padding:13px 0 10px}.chart-note{font-size:11px;color:var(--muted);padding:18px 0}.numbers{font-size:11px;color:var(--muted);border-top:1px solid var(--line);padding-top:12px}.numbers summary,summary{cursor:pointer}.numbers table{width:100%;border-collapse:collapse;font-family:monospace;font-size:10px}.numbers td,.numbers th{padding:5px;text-align:right;border-bottom:1px solid #252736}.match-pill{font:11px monospace;color:var(--green);padding:8px 12px;border:1px solid #2b403c;border-radius:25px}.claim{display:flex;justify-content:space-between;align-items:center;gap:35px;padding:34px;background:linear-gradient(110deg,#211c32,#12141e);border:1px solid #41334f;border-radius:12px;margin-top:42px}.claim p{font-size:12px;color:var(--muted)}.claim-action{text-align:center}.claim-action p{font-size:9px}.integrity{margin:30px 0;color:var(--muted);font-size:11px;padding:15px 0}.integrity p{max-width:850px}.integrity a{color:var(--purple)}code{display:block;overflow-wrap:anywhere;font:10px monospace;color:#bab1cb;margin:6px 0}footer{max-width:1240px;margin:0 auto;padding:24px 40px 40px;border-top:1px solid var(--line);display:flex;justify-content:space-between;font:9px monospace;letter-spacing:1px;color:#6b7084}dialog{background:#141722;color:var(--text);border:1px solid #4c425d;border-radius:16px;max-width:560px;width:calc(100% - 32px);padding:34px;box-shadow:0 30px 100px #0008}dialog::backdrop{background:#03050ccc;backdrop-filter:blur(8px)}dialog p,dialog li{font-size:13px;color:#aeb3c7;line-height:1.7}dialog ol{padding-left:20px}dialog li{margin:15px 0}dialog b{color:#e9e3f5}dialog .close{position:absolute;top:15px;right:15px;border:0;font-size:22px;padding:2px 10px;color:#a6a0b5}.guide-tip{padding:16px;border:1px solid #3e3753;border-radius:8px;margin:20px 0;font-size:12px;color:#c9bbdf}dialog form{margin-top:22px}dialog form button{width:100%;margin-top:12px}#result{font-size:13px;line-height:1.6;margin-top:18px;color:var(--green)}#result.error{color:#f0b5b5}.toast{position:fixed;bottom:24px;left:50%;transform:translateX(-50%);background:#262236;border:1px solid #64537d;padding:13px 20px;border-radius:8px;font-size:12px;max-width:90%;opacity:0;pointer-events:none;transition:opacity .2s;z-index:20}.toast.show{opacity:1}
@media(max-width:850px){.hero h1{font-size:54px}.artifact{height:340px}.orbit{width:220px;height:100px}.coordinate{display:none}.brief{grid-template-columns:1fr;gap:12px}.evidence-layout{grid-template-columns:200px 1fr}.chart{gap:5px}.legend{gap:7px}.chart-head{display:block}.bar{width:12px}.chart-panel{padding:18px}}
@media(max-width:600px){.header{padding:18px 20px}.brand{font-size:11px}.brand img{width:28px}nav{gap:15px}nav>a{display:none}.preview{font-size:7px;padding:4px}main{padding:0 20px}.hero{grid-template-columns:1fr;padding:38px 0 30px;gap:28px}.hero h1{font-size:57px;letter-spacing:-3px}.lede{font-size:18px}.artifact{height:230px;border-radius:12px}.orbit{width:210px;height:85px;top:42%}.nucleus{top:42%;font-size:60px}.artifact-caption{bottom:20px}.specs{margin-top:24px}.lab,.evidence{padding-top:32px}h2{font-size:23px}.save-state{font-size:9px;max-width:90px;text-align:right}.toolbar{padding:14px;align-items:flex-start}.toolbar p{max-width:130px;font-size:11px}.palette{padding:16px 14px 10px;gap:8px}.palette button{flex:1;width:auto;min-width:0;height:42px}.gate-help{padding:0 14px;font-size:10px;height:46px}.circuit-scroll{padding-left:14px;padding-right:14px}.bench-footer{padding:12px 14px;font-size:9px}.bench-footer>span:first-child{max-width:200px}.lab-bottom{align-items:flex-start;flex-direction:column;gap:10px}.lab-bottom .primary{width:100%;justify-content:center}.evidence-layout{grid-template-columns:1fr}aside{border-right:0;border-bottom:1px solid var(--line);padding:20px}select{margin-bottom:15px}.test-grid{grid-template-columns:repeat(3,1fr);margin-top:12px}#basis-help{min-height:0}.chart-panel{padding:20px 14px}.chart-head{display:flex;flex-wrap:wrap}.chart{gap:6px}.bar{width:13px}.bar-cell .value{font-size:8px}.claim{padding:24px;display:block}.claim-action{text-align:left;margin-top:22px}.claim-action .primary{width:100%;justify-content:center}footer{padding:20px;display:block;font-size:8px}footer span{display:block;margin-bottom:10px}.match-pill{font-size:9px;padding:7px 9px}dialog{padding:28px 22px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{transition:none!important}}