.btc[data-astro-cid-z4cqpvy6]{border:1px solid var(--rule);border-radius:6px;padding:1.1rem 1.2rem;margin:1.2rem 0}.btc-label[data-astro-cid-z4cqpvy6]{font-size:.72rem}.btc-lbl[data-astro-cid-z4cqpvy6]{display:block;font-size:.8rem;color:var(--secondary);margin:.6rem 0 .3rem}#btc-code[data-astro-cid-z4cqpvy6]{width:100%;font-family:var(--mono);font-size:.82rem;padding:.6rem;border:1px solid var(--rule);border-radius:4px;background:color-mix(in srgb,var(--text) 3%,var(--ground));color:var(--text);resize:vertical}.btc-controls[data-astro-cid-z4cqpvy6]{display:flex;gap:.4rem;flex-wrap:wrap;margin:.7rem 0}.btc-controls[data-astro-cid-z4cqpvy6] button[data-astro-cid-z4cqpvy6]{font-family:var(--mono);font-size:.78rem;padding:.4rem .7rem;background:var(--ground);color:var(--text);border:1px solid var(--rule);border-radius:4px;cursor:pointer}.btc-controls[data-astro-cid-z4cqpvy6] button[data-astro-cid-z4cqpvy6]:hover{border-color:var(--text)}.btc-list[data-astro-cid-z4cqpvy6]{list-style:none;margin:.5rem 0;padding:0;font-family:var(--mono);font-size:.78rem}.btc-list[data-astro-cid-z4cqpvy6] li[data-astro-cid-z4cqpvy6]{padding:.15rem 0}.btc-list[data-astro-cid-z4cqpvy6] li[data-astro-cid-z4cqpvy6].bad{color:var(--grade-fail)}.btc-list[data-astro-cid-z4cqpvy6] .ctrl[data-astro-cid-z4cqpvy6]{color:var(--grade-open);font-size:.7rem;text-transform:uppercase}.btc-msg[data-astro-cid-z4cqpvy6]{font-size:.9rem;margin-top:.5rem}.btc-fatal[data-astro-cid-z4cqpvy6]{font-size:.85rem;color:var(--grade-fail)}.pwt[data-astro-cid-ghahvs5v]{border:1px solid var(--rule);border-radius:6px;padding:1.1rem 1.2rem;margin:1.2rem 0}.pwt-label[data-astro-cid-ghahvs5v]{font-size:.72rem}.pwt-intent[data-astro-cid-ghahvs5v]{font-size:.95rem}.pwt-specs[data-astro-cid-ghahvs5v]{list-style:none;margin:.6rem 0 0;padding:0}.pwt-specs[data-astro-cid-ghahvs5v]>li[data-astro-cid-ghahvs5v]{margin-bottom:.5rem}.pwt-spec[data-astro-cid-ghahvs5v]{display:flex;justify-content:space-between;gap:1rem;width:100%;text-align:left;align-items:center;padding:.6rem .8rem;background:var(--ground);color:var(--text);border:1px solid var(--rule);border-radius:5px;cursor:pointer}.pwt-spec[data-astro-cid-ghahvs5v]:hover{border-color:var(--text)}.pwt-spec[data-astro-cid-ghahvs5v][aria-checked=true]{border-color:var(--grade-strong)}.pwt-formal[data-astro-cid-ghahvs5v]{font-size:.85rem}.pwt-proof[data-astro-cid-ghahvs5v]{font-size:.68rem;color:var(--grade-strong);white-space:nowrap}.pwt-exploit[data-astro-cid-ghahvs5v]{font-size:.85rem;color:var(--secondary);border-left:3px solid var(--grade-fail);padding:.5rem .8rem;margin:.4rem 0 .2rem}.pwt-exploit[data-astro-cid-ghahvs5v] .mono[data-astro-cid-ghahvs5v]{display:inline-block;margin-top:.3rem;color:var(--grade-fail);font-size:.78rem}.pwt-verdict[data-astro-cid-ghahvs5v]{margin-top:.8rem;padding:.7rem 1rem;font-size:.92rem;border-left:3px solid var(--rule)}.pwt-verdict[data-astro-cid-ghahvs5v].ok{border-color:var(--grade-strong)}.pwt-verdict[data-astro-cid-ghahvs5v].fail{border-color:var(--grade-fail)}.subtitle[data-astro-cid-5stn34cl]{font-size:1.05rem;margin-top:-.4rem}h2[data-astro-cid-5stn34cl]{border-top:1px solid var(--rule);padding-top:1.4rem;margin-top:2.2rem}.mech[data-astro-cid-5stn34cl]{margin:1.4rem 0 2rem}.mech[data-astro-cid-5stn34cl] h3[data-astro-cid-5stn34cl]{margin-bottom:.3rem}.mech[data-astro-cid-5stn34cl] .claim[data-astro-cid-5stn34cl]{font-weight:600;margin:0 0 .6rem}.detect[data-astro-cid-5stn34cl]{font-size:.92rem;border-left:2px solid var(--rule);padding-left:.8rem}.pipeline[data-astro-cid-5stn34cl]{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.6rem}.pipeline[data-astro-cid-5stn34cl]>li[data-astro-cid-5stn34cl]{display:grid;grid-template-columns:11rem auto;align-items:start;gap:.4rem .6rem}.stage[data-astro-cid-5stn34cl]{font-size:.82rem;font-weight:600;padding:.25rem 0}.arrow[data-astro-cid-5stn34cl]{display:none}.pipeline[data-astro-cid-5stn34cl] .at[data-astro-cid-5stn34cl]{grid-column:1 / -1;margin:0 0 .3rem .5rem;padding-left:1rem}.pipeline[data-astro-cid-5stn34cl] .at[data-astro-cid-5stn34cl] li[data-astro-cid-5stn34cl]{font-size:.88rem;color:var(--secondary)}