:root{--background:#161715;--surface:#1f211d;--surface-alt:#2a2c26;--text:#e8e1cc;--text-muted:#b9b197;--accent:#c99b45;--accent-hover:#e2bb6f;--border:#5b5f53;--code-bg:#151613;--node-valid:#3e9a61;--node-tampered:#af3c47;--node-proof:#ca9442;--valid-text:#5fd08a;--invalid-text:#ff7a86;--proof-text:#ca9442;--node-root:#4f6f9f;--node-leaf:#38584e;--node-internal:#5d4a2f;--sibling:#d98b2b;--sibling-ink:#f0a94a;--running:#2fa6b8;--running-ink:#57cfe0;--connector:#7d7461;--font-body:"IBM Plex Sans", "Source Sans 3", sans-serif;--font-display:"Fraunces", "Iowan Old Style", serif;--font-mono:"JetBrains Mono", "Cascadia Mono", monospace;--shadow:0 12px 28px color-mix(in oklab, var(--background), transparent 30%)}[data-theme=light]{--background:#efe9dc;--surface:#f6f2ea;--surface-alt:#e7dfd0;--text:#2b241a;--text-muted:#574f42;--accent:#896015;--accent-hover:#6d4a09;--border:#a79d89;--code-bg:#e2d8c6;--node-valid:#2e7f4f;--node-tampered:#a12832;--node-proof:#b8751e;--valid-text:#1c7a43;--invalid-text:#b0212c;--proof-text:#7e5300;--node-root:#37699a;--node-leaf:#4f7e70;--node-internal:#8f6c39;--sibling:#a5641a;--sibling-ink:#8a5310;--running:#0f7d8c;--running-ink:#0a6675;--connector:#9a9078}html,body{min-height:100%;font-family:var(--font-body);color:var(--text);background:radial-gradient(circle at 15% 0%, var(--surface-alt), var(--background) 55%);margin:0}*{box-sizing:border-box}#app{max-width:1100px;margin:0 auto;padding:2rem 1rem 4rem}.page{gap:1rem;display:grid}.cl-hero{flex-wrap:wrap;justify-content:space-between;align-items:flex-start;gap:clamp(1rem,4vw,3rem);margin:clamp(1rem,3vw,2rem) 0 1.5rem;display:flex}.cl-hero-main{flex:22rem;min-width:min(100%,20rem)}.cl-hero-title{letter-spacing:.01em;margin:0;font-size:clamp(1.6rem,3.8vw,2.7rem);font-weight:700;line-height:1.1}.cl-hero-sub{letter-spacing:.01em;opacity:.85;margin:.4rem 0 0;font-size:clamp(.9rem,1.6vw,1.05rem)}.cl-hero-desc{color:var(--text-muted);max-width:60ch;margin:.55rem 0 0;font-size:1rem;line-height:1.5}.cl-hero-why{border:1px solid var(--border);background:color-mix(in oklab,var(--accent) 6%,transparent);border-radius:10px;flex:0 min(40%,26rem);min-width:min(100%,15rem);padding:.85rem 1.05rem}.cl-hero-why-label{letter-spacing:.14em;color:var(--text-muted);font-size:.68rem;font-weight:700;display:block}.cl-hero-why-text{color:var(--text);margin:.35rem 0 0;font-size:.95rem;line-height:1.5}@media (width<=640px){.cl-hero{flex-direction:column}.cl-hero-why{flex-basis:auto;width:100%}}h1,h2,h3{font-family:var(--font-display);margin:0}h1{font-size:clamp(2.1rem,4vw,3.5rem)}h2{font-size:clamp(1.5rem,3vw,2rem)}h3{font-size:1.2rem}p,label,td,th,button,input,textarea{font-size:.98rem;line-height:1.45}.panel{background:linear-gradient(160deg, var(--surface), var(--surface-alt));border:1px solid var(--border);border-radius:1.2rem;gap:.9rem;padding:1.2rem;display:grid}.copy-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:.8rem;display:grid}.copy-grid article,.system-card{background:var(--surface);border:1px solid var(--border);border-radius:.8rem;padding:.8rem}.flow{border:1px dashed var(--border);font-family:var(--font-mono);background:var(--code-bg);border-radius:.6rem;margin-top:.65rem;padding:.5rem}.static-tree,.tree-shell{border:1px solid var(--border);background:var(--surface);border-radius:.8rem;padding:.8rem;overflow-x:auto}.tree-shell{position:relative}svg.tree-connectors{pointer-events:none;z-index:0;position:absolute;top:0;left:0}.tree-connectors .connector{fill:none;stroke:var(--connector);stroke-width:2px;opacity:.75}.tree-connectors .connector-sibling{stroke:var(--sibling);stroke-width:2.5px;opacity:1}.tree-connectors .connector-active{stroke:var(--sibling);stroke-width:3.5px;opacity:1}.tree-level{z-index:1;grid-auto-flow:column;justify-content:center;gap:.6rem;margin:.45rem 0;display:grid;position:relative}.tree-node{border:1px solid var(--border);background:var(--surface-alt);color:var(--text);text-align:left;border-radius:.65rem;gap:.2rem;min-width:8rem;padding:.46rem;display:grid}button.tree-node{cursor:pointer}.tree-caption{color:var(--text-muted);font-size:.78rem}.tree-hash,.mono{font-family:var(--font-mono);font-size:.8rem}.tree-data{font-size:.78rem}.node-root{background:color-mix(in oklab, var(--node-root), var(--surface) 68%)}.node-leaf{background:color-mix(in oklab, var(--node-leaf), var(--surface) 68%)}.node-internal{background:color-mix(in oklab, var(--node-internal), var(--surface) 68%)}.node-proof{outline:2px solid var(--node-proof)}.node-tampered{background:color-mix(in oklab, var(--node-tampered), var(--surface) 60%)}.node-tampered .tree-caption{color:var(--text)}.selected-node{outline:2px solid var(--accent)}.node-sibling{outline:2px solid var(--sibling)}.node-sibling-active{outline:3px solid var(--sibling);background:color-mix(in oklab, var(--sibling), var(--surface) 78%)}.node-running{outline:3px solid var(--running);background:color-mix(in oklab, var(--running), var(--surface) 80%)}.node-climbed:not(.node-running){outline:2px dashed var(--running)}.node-sibling-active{animation:.45s sibling-pull}@keyframes sibling-pull{0%{transform:scale(1)}45%{transform:scale(1.06)}to{transform:scale(1)}}.flag-sibling{color:#fff;background-color:#8a5310}.flag-sibling-dim{color:#fff;background-color:#6b451c}.flag-running{color:#fff;background-color:#0a6675}.caption,.notice,.panel-empty{color:var(--text-muted);margin:0}.preset-row,.action-row{flex-wrap:wrap;gap:.5rem;display:flex}.preset-btn,.primary,.secondary,.danger{border:1px solid var(--border);background:var(--surface);color:var(--text);cursor:pointer;border-radius:999px;min-height:44px;padding:.6rem 1rem;transition:border-color .18s,background .18s,transform .12s,box-shadow .18s}.preset-btn:active:not(:disabled),.primary:active:not(:disabled),.secondary:active:not(:disabled),.danger:active:not(:disabled){transform:translateY(1px)}.preset-btn:disabled,.primary:disabled,.secondary:disabled,.danger:disabled{opacity:.4;cursor:not-allowed}.preset-btn:hover:not(:disabled),.primary:hover:not(:disabled),.secondary:hover:not(:disabled),.danger:hover:not(:disabled),.theme-toggle:hover{border-color:var(--accent)}.preset-btn.active,.primary{background:color-mix(in oklab, var(--accent), var(--surface) 65%)}.danger{background:color-mix(in oklab, var(--node-tampered), var(--surface) 72%)}.meta-row{flex-wrap:wrap;align-items:baseline;gap:.5rem;display:flex}textarea,input{border:1px solid var(--border);background:var(--code-bg);width:100%;color:var(--text);font-family:var(--font-mono);border-radius:.6rem;padding:.58rem}.proof-panel{border:1px solid var(--border);background:var(--surface);border-radius:.8rem;padding:.8rem}.proof-list{gap:.35rem;margin:.55rem 0;padding-left:1.2rem;display:grid}.proof-index{color:var(--text-muted);font-size:.78rem;display:block}.proof-valid{color:var(--valid-text);font-weight:700}.proof-invalid{color:var(--invalid-text);font-weight:700}.proof-size{color:var(--proof-text)}.wrap{overflow-wrap:anywhere}table{border-collapse:collapse;border:1px solid var(--border);width:100%}th,td{border:1px solid var(--border);text-align:left;padding:.5rem}th{background:var(--surface-alt)}.calculator{border:1px solid var(--border);background:var(--surface);border-radius:.8rem;padding:.8rem}.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}.skip-link{z-index:100;background:var(--accent);color:#fff;font-family:var(--font-body);border-radius:.6rem;padding:.6rem 1rem;font-weight:600;text-decoration:none;transition:top .18s;position:absolute;top:-3rem;left:.75rem}.skip-link:focus{top:.75rem}a:focus-visible,button:focus-visible,input:focus-visible,textarea:focus-visible,[tabindex]:focus-visible{outline:3px solid var(--accent-hover);outline-offset:2px;border-radius:.4rem}#main:focus{outline:none}.field-hint{color:var(--text-muted);margin:.3rem 0 0;font-size:.85rem}.table-scroll{-webkit-overflow-scrolling:touch;border-radius:.6rem;overflow-x:auto}.tree-flag{letter-spacing:.02em;color:#fff;background-color:var(--node-tampered);border-radius:.4rem;padding:.05rem .35rem;font-size:.7rem;font-weight:700;display:inline-block}.root-row{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.mode-fieldset{border:1px solid var(--border);border-radius:.8rem;margin:.75rem 0;padding:.75rem 1rem 1rem}.mode-fieldset legend{color:var(--text);padding:0 .4rem;font-weight:700}.mode-row{flex-wrap:wrap;gap:.5rem;margin-bottom:.5rem;display:flex}.mode-btn{border:1px solid var(--border);background:var(--surface);color:var(--text);cursor:pointer;border-radius:999px;min-height:44px;padding:.55rem 1rem;transition:border-color .18s,background .18s}.mode-btn:hover{border-color:var(--accent)}.mode-btn.active{background:color-mix(in oklab, var(--accent), var(--surface) 65%);border-color:var(--accent)}.mode-btn:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.notice-warn{color:var(--invalid-text);border:1px solid color-mix(in oklab, var(--node-tampered), var(--surface) 55%);background:color-mix(in oklab, var(--node-tampered), var(--surface) 85%);border-radius:.6rem;margin:.6rem 0;padding:.6rem .75rem}.sibling-selfcopy .proof-index{color:var(--invalid-text)}.mall-panel{margin-top:1rem}.mall-case{border:1px solid var(--border);border-radius:.6rem;margin-top:.75rem;padding:.75rem}.mall-case h4{margin:0 0 .4rem}.mall-lbl{color:var(--text-muted);font-family:var(--font-body);margin-right:.35rem}.copy-btn{border:1px solid var(--border);background:var(--surface-alt);color:var(--text);cursor:pointer;border-radius:.5rem;min-height:34px;padding:.3rem .6rem;font-size:.82rem;transition:border-color .18s,background .18s}.copy-btn:hover{border-color:var(--accent)}.copy-btn.copied{border-color:var(--node-valid);color:var(--node-valid)}.proof-status{margin-top:.4rem}.section-lede{color:var(--text);margin:0 0 .4rem}.proof-gloss{border-left:3px solid var(--accent);background:color-mix(in oklab, var(--accent) 7%, transparent);color:var(--text);border-radius:0 .5rem .5rem 0;margin:0 0 .6rem;padding:.55rem .7rem}.rebuild-flag{color:#fff;background-color:#8a5310;border-radius:.4rem;margin-left:.35rem;padding:.05rem .4rem;font-size:.72rem;font-weight:700;display:inline-block}.walk-controls{flex-wrap:wrap;align-items:center;gap:.5rem;margin:.6rem 0 .3rem;display:flex}.walk-btn{min-height:40px;padding:.45rem .9rem;font-size:.9rem}.walk-progress{color:var(--text-muted);font-size:.85rem;font-family:var(--font-mono)}.walk-readout{border:1px solid var(--border);border-left:3px solid var(--running);background:color-mix(in oklab, var(--running) 6%, transparent);border-radius:0 .6rem .6rem 0;gap:.3rem;margin:.4rem 0 .6rem;padding:.6rem .75rem;display:grid}.walk-line{overflow-wrap:anywhere;margin:0}.walk-lbl{min-width:12ch;color:var(--running-ink);font-size:.78rem;font-weight:700;display:inline-block}.walk-done{color:var(--valid-text);font-weight:700}.equality{border:1px solid var(--border);border-radius:.7rem;gap:.35rem;margin:.7rem 0;padding:.75rem;transition:border-color .3s,background .3s;display:grid}.equality-match{border-color:var(--node-valid);background:color-mix(in oklab, var(--node-valid) 12%, transparent);animation:.5s eq-merge}.equality-mismatch{border-color:var(--node-tampered);background:color-mix(in oklab, var(--node-tampered) 12%, transparent)}@keyframes eq-merge{0%{opacity:.6;transform:scale(.99)}to{opacity:1;transform:scale(1)}}.eq-row{gap:.15rem;display:grid}.eq-lbl{color:var(--text-muted);font-size:.76rem;font-weight:700}.equality-match .eq-hash{color:var(--valid-text);font-weight:600}.equality-mismatch .eq-hash{color:var(--invalid-text);font-weight:600}.eq-op{font-family:var(--font-mono);text-align:center;font-size:1.4rem;font-weight:700;line-height:1}.equality-match .eq-op{color:var(--valid-text)}.equality-mismatch .eq-op{color:var(--invalid-text)}.eq-verdict{margin:.25rem 0 0;font-weight:700}.equality-match .eq-verdict{color:var(--valid-text)}.equality-mismatch .eq-verdict{color:var(--invalid-text)}.advanced{border:1px solid var(--border);background:var(--surface);border-radius:.8rem;margin-top:1rem;overflow:hidden}.advanced>summary{cursor:pointer;background:var(--surface-alt);flex-wrap:wrap;align-items:baseline;gap:.5rem .75rem;padding:.75rem 1rem;list-style:none;display:flex}.advanced>summary::-webkit-details-marker{display:none}.advanced>summary:before{content:"▸";color:var(--accent);font-size:.9rem;transition:transform .18s;display:inline-block}.advanced[open]>summary:before{transform:rotate(90deg)}.advanced>summary:focus-visible{outline:3px solid var(--accent-hover);outline-offset:-3px}.adv-title{color:var(--text);font-weight:700}.adv-hint{color:var(--text-muted);font-size:.8rem}.advanced-body{gap:.6rem;padding:.5rem 1rem 1rem;display:grid}.panel{transition:border-color .2s}.tree-node{transition:outline-color .18s,background .25s,transform .18s,box-shadow .18s}button.tree-node:hover{box-shadow:var(--shadow);transform:translateY(-2px)}.selected-node{box-shadow:0 0 0 1px var(--accent)}.node-tampered{animation:.5s tamper-pulse}@keyframes tamper-pulse{0%{transform:scale(1)}40%{transform:scale(1.05)}to{transform:scale(1)}}@media (width<=900px){.copy-grid{grid-template-columns:1fr}.mobile-hidden{display:none}.tree-level{justify-content:start}}@media (width<=560px){#app{padding:1rem .75rem 3rem}.panel{border-radius:1rem;padding:1rem .85rem}.action-row{flex-direction:column}.action-row button{width:100%}.tree-node{min-width:6.5rem}th,td{padding:.45rem;font-size:.9rem}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.001ms!important;animation-duration:.001ms!important;animation-iteration-count:1!important}}@media (hover:none){button.tree-node:hover,.theme-toggle:hover{transform:none}}