/* SIO14 · Proof Explorer */
.proof-body .masthead nav{gap:22px}.proof-hero{align-items:center}.proof-hero-card{min-width:0;border:1px solid rgba(184,242,209,.18);border-radius:20px;padding:27px;background:linear-gradient(155deg,rgba(12,34,25,.92),rgba(5,15,12,.72));box-shadow:0 34px 95px rgba(0,0,0,.25)}.proof-kicker{display:block;color:#6f8277;font:600 .52rem/1 var(--mono);letter-spacing:.1em;margin-bottom:20px}.proof-hero-row{display:grid;grid-template-columns:.8fr 1.2fr;gap:14px;padding:12px 0;border-bottom:1px solid var(--hairline)}.proof-hero-row span{color:#6e8176;font:500 .54rem/1.35 var(--mono)}.proof-hero-row b{color:#becbc3;font:550 .57rem/1.35 var(--mono);overflow-wrap:anywhere}.proof-verdict{margin-top:22px;padding:17px;border:1px solid rgba(184,242,209,.2);border-radius:10px;background:rgba(184,242,209,.045);display:flex;justify-content:space-between;gap:16px}.proof-verdict span,.proof-verdict strong{font:650 .55rem/1 var(--mono);letter-spacing:.08em}.proof-verdict span{color:#74887d}.proof-verdict strong{color:var(--phosphor)}.proof-hero-card p{margin:17px 0 0;color:#677c70;font:500 .52rem/1.55 var(--mono)}
.proof-stage{max-width:var(--max);margin:0 auto;padding:115px var(--pad)}.proof-stage-head{display:grid;grid-template-columns:1.05fr .95fr;gap:80px;align-items:end}.proof-stage-head h2{font-size:clamp(3rem,5vw,5.5rem);line-height:.96;margin:12px 0 20px}.proof-stage-head p{color:var(--muted);font-size:.82rem;line-height:1.75}.proof-scenarios{display:grid;grid-template-columns:1fr 1fr;border:1px solid var(--line);border-radius:16px;overflow:hidden}.proof-scenarios button{appearance:none;border:0;border-right:1px solid var(--line);border-bottom:1px solid var(--line);background:#07120f;color:#8b9b92;padding:17px;text-align:left;font:560 .58rem/1.3 var(--mono);cursor:pointer}.proof-scenarios button:nth-child(2n){border-right:0}.proof-scenarios button:nth-child(n+3){border-bottom:0}.proof-scenarios button span{display:block;color:#566a5f;font-size:.47rem;margin-bottom:8px}.proof-scenarios button.active{background:rgba(184,242,209,.055);color:var(--phosphor)}
.proof-workbench{display:grid;grid-template-columns:.72fr 1.28fr;margin-top:48px;border:1px solid var(--line);border-radius:20px;overflow:hidden;background:#06100d}.proof-tree{border-right:1px solid var(--line);min-width:0}.proof-tree-head{display:flex;justify-content:space-between;gap:14px;padding:19px 20px;border-bottom:1px solid var(--line);font:600 .54rem/1 var(--mono);color:#72867a}.proof-tree-head b{color:var(--phosphor)}.proof-tree button{width:100%;border:0;border-bottom:1px solid var(--hairline);background:transparent;color:inherit;display:grid;grid-template-columns:34px 1fr;gap:12px;padding:16px 20px;text-align:left;cursor:pointer}.proof-tree button>span{font:500 .49rem/1 var(--mono);color:#52665b;padding-top:3px}.proof-tree button b{display:block;color:#aab8b0;font-size:.72rem;font-weight:570}.proof-tree button small{display:block;color:#5e7266;font:500 .49rem/1.5 var(--mono);margin-top:5px;overflow-wrap:anywhere}.proof-tree button.active{background:rgba(184,242,209,.045);box-shadow:inset 2px 0 0 var(--phosphor)}.proof-tree button.active b{color:var(--phosphor)}
.proof-inspector{padding:34px;min-width:0}.proof-inspector-top{display:flex;align-items:start;justify-content:space-between;gap:24px;border-bottom:1px solid var(--line);padding-bottom:23px}.proof-inspector-top span{font:600 .5rem/1 var(--mono);letter-spacing:.09em;color:#687b70}.proof-inspector-top h3{font-family:var(--display);font-size:2.1rem;font-weight:400;line-height:1.05;margin:10px 0 0}.proof-inspector-top>b{font:650 .55rem/1 var(--mono);letter-spacing:.07em;color:var(--phosphor);border:1px solid rgba(184,242,209,.19);padding:9px 11px;border-radius:8px}.proof-inspector>p{max-width:760px;color:#8fa096;font-size:.78rem;line-height:1.72;margin:26px 0}.proof-inspector dl{margin:0;border-top:1px solid var(--hairline)}.proof-inspector dl div{display:grid;grid-template-columns:.45fr 1.55fr;gap:20px;padding:12px 0;border-bottom:1px solid var(--hairline);font:500 .55rem/1.45 var(--mono)}.proof-inspector dt{color:#61756a}.proof-inspector dd{margin:0;color:#a4b2aa;overflow-wrap:anywhere}.proof-code{margin-top:23px;padding:20px;border:1px solid var(--hairline);border-radius:11px;background:#040b09;color:#7f988b;white-space:pre-wrap;overflow-wrap:anywhere;font:500 .55rem/1.65 var(--mono)}.proof-statusbar{display:grid;grid-template-columns:repeat(5,1fr);border:1px solid var(--line);border-top:0}.proof-statusbar div{padding:15px;border-right:1px solid var(--hairline);min-width:0}.proof-statusbar div:last-child{border-right:0}.proof-statusbar span,.proof-statusbar b{display:block;font:600 .49rem/1.3 var(--mono);overflow-wrap:anywhere}.proof-statusbar span{color:#5d7166;margin-bottom:8px}.proof-statusbar b{color:#aab8b0}.proof-statusbar .active{background:rgba(184,242,209,.045)}.proof-statusbar .active b{color:var(--phosphor)}
.proof-layers,.proof-anatomy,.proof-outcomes,.proof-hashes,.proof-review,.proof-faq{padding-top:95px}.proof-truth{margin-top:20px}.proof-body .footer-links{flex-wrap:wrap}
@media(max-width:1100px){.proof-stage-head{grid-template-columns:1fr;gap:30px}.proof-scenarios{max-width:720px}.proof-statusbar{grid-template-columns:1fr 1fr}.proof-statusbar div:nth-child(2n){border-right:0}.proof-statusbar div:last-child{grid-column:1/-1}}
@media(max-width:760px){.proof-body .masthead nav a[aria-current="page"]{display:none}.proof-workbench{grid-template-columns:1fr}.proof-tree{border-right:0;border-bottom:1px solid var(--line)}.proof-tree button{grid-template-columns:30px 1fr}.proof-inspector{padding:24px}.proof-inspector-top{flex-direction:column}.proof-inspector dl div{grid-template-columns:1fr;gap:5px}.proof-statusbar{grid-template-columns:1fr}.proof-statusbar div{border-right:0;border-bottom:1px solid var(--hairline)}.proof-statusbar div:last-child{grid-column:auto;border-bottom:0}.proof-scenarios{grid-template-columns:1fr}.proof-scenarios button{border-right:0!important;border-bottom:1px solid var(--line)!important}.proof-scenarios button:last-child{border-bottom:0!important}.proof-hero-row{grid-template-columns:1fr;gap:5px}.proof-verdict{flex-direction:column}.proof-stage{padding-top:90px;padding-bottom:90px}}