:root{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;color:#e8f1f5;font-synthesis:none;--ink:#e8f1f5;--muted:#9fb2bc;--line:#25404c;--panel:#0d1b25;--panel-2:#112530;--cyan:#62d9d2;--amber:#f2bf6c;--red:#ff8e8e;--green:#8fe3b0;--max:1180px;background:#071019;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth}body{min-width:320px;color:var(--ink);background:radial-gradient(circle at 82% 4%,#195d673d,#0000 30rem),linear-gradient(#071019 0,#08151e 48rem,#071019 100%);margin:0;line-height:1.55}a{color:var(--cyan);text-underline-offset:.2em}a:hover{color:#a7fff7}:focus-visible{outline-offset:3px;outline:3px solid #ffcf7d}.skip-link{z-index:20;color:#071019;background:#fff;border-radius:.35rem;padding:.7rem 1rem;position:fixed;top:.75rem;left:.75rem;transform:translateY(-180%)}.skip-link:focus{transform:none}.hero{border-bottom:1px solid var(--line);background-image:linear-gradient(#62d9d20d 1px,#0000 1px),linear-gradient(90deg,#62d9d20d 1px,#0000 1px);background-size:34px 34px}.topbar,.hero-copy,main,footer{width:min(calc(100% - 2rem), var(--max));margin-inline:auto}.topbar{border-bottom:1px solid #62d9d22e;justify-content:space-between;align-items:center;min-height:4.5rem;display:flex}.brand{color:var(--ink);letter-spacing:.04em;font-weight:760;text-decoration:none}.nav-links{gap:1.25rem;display:flex}.nav-links a{color:var(--muted)}.hero-copy{padding:clamp(4rem,9vw,8rem) 0 4.5rem}.eyebrow,.section-kicker{color:var(--cyan);letter-spacing:.16em;text-transform:uppercase;margin:0 0 .65rem;font-size:.75rem;font-weight:800}.section-kicker span{border:1px solid var(--cyan);border-radius:999px;place-items:center;width:2rem;height:2rem;margin-right:.75rem;display:inline-grid}h1,h2,h3,p{text-wrap:pretty}h1{letter-spacing:-.055em;max-width:900px;margin:0;font-size:clamp(2.6rem,7vw,6.2rem);font-weight:780;line-height:.98}h2{letter-spacing:-.035em;margin:0 0 .75rem;font-size:clamp(1.75rem,4vw,3rem);line-height:1.08}h3{margin:0;font-size:1rem}.lede{color:#c1d3da;max-width:760px;margin:1.7rem 0 2rem;font-size:clamp(1.05rem,2vw,1.35rem)}.profile-strip{flex-wrap:wrap;gap:.55rem;display:flex}.profile-strip span,.pill{border:1px solid var(--line);letter-spacing:.04em;background:#081a22d9;border-radius:999px;font-size:.78rem;font-weight:780}.profile-strip span{padding:.45rem .75rem}main{padding:3rem 0 6rem}.workbench,.lesson-section,.limits,.references,.run-banner{border:1px solid var(--line);background:#0d1b25eb;border-radius:1rem;box-shadow:0 22px 70px #00000029}.workbench{grid-template-columns:minmax(0,.85fr) minmax(300px,1.15fr);gap:2rem;padding:clamp(1.25rem,4vw,2.5rem);display:grid}.workbench>p{grid-column:1/-1;margin:0}.controls{gap:.85rem;display:grid}.controls label{color:var(--muted);font-size:.9rem;font-weight:650}select,button{min-height:2.75rem;font:inherit;border-radius:.45rem}select{width:100%;color:var(--ink);background:#081720;border:1px solid #41606d;margin-top:.35rem;padding:0 .7rem;display:block}.check{align-items:center;gap:.6rem;display:flex}.check input{width:1.15rem;height:1.15rem;accent-color:var(--cyan)}.check:has(input:disabled){opacity:.55}.actions{flex-wrap:wrap;gap:.7rem;margin-top:.5rem;display:flex}button{border:1px solid var(--cyan);cursor:pointer;padding:.55rem 1rem;font-weight:760}button:disabled{cursor:progress;opacity:.55}.primary{background:var(--cyan);color:#062023}.secondary{color:var(--cyan);background:0 0}.status{color:var(--muted)}#results{grid-template-columns:minmax(0,1fr);gap:1rem;margin-top:1rem;display:grid}#results>*{min-width:0}#results[aria-busy=true]{opacity:.68;min-height:8rem}.run-banner{border-color:#357068;grid-template-columns:1fr auto;align-items:center;gap:.4rem 1rem;padding:1rem 1.25rem;display:grid}.run-banner p{color:var(--muted);grid-column:1/-1;margin:0;font-size:.9rem}.signal{background:var(--green);border-radius:999px;width:.6rem;height:.6rem;margin-right:.6rem;display:inline-block;box-shadow:0 0 0 5px #8fe3b01a}.lesson-section,.limits,.references{padding:clamp(1.25rem,4vw,2.5rem)}.lesson-section>p:not(.section-kicker,.assertion,.precision),.limits>p,.references>p{color:var(--muted)}.table-wrap{margin-top:1.25rem;overflow-x:auto}table{border-collapse:collapse;width:100%;font-size:.9rem}th,td{border-bottom:1px solid var(--line);text-align:left;vertical-align:top;padding:.85rem}th{color:var(--muted);letter-spacing:.08em;text-transform:uppercase;font-size:.72rem}td small{max-width:30rem;color:var(--muted);margin-top:.25rem;display:block}.pill{padding:.2rem .55rem;display:inline-block}.pill.protect,.assertion.pass{color:var(--green)}.pill.bypass{color:var(--amber)}.pill.discard,.assertion.fail{color:var(--red)}.callout,.precision{border-left:3px solid var(--cyan);background:#0a1821;margin-top:1.25rem;padding:1rem}.callout code{margin:.4rem 0;display:block}.callout p,.precision{margin-bottom:0}code{color:#b8f4ed;overflow-wrap:anywhere;font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:.79em}.message-flow{grid-template-columns:repeat(4,minmax(0,1fr));gap:.7rem;margin-top:1.5rem;display:grid}.message-flow article,.fact,.boundary-grid article{border:1px solid var(--line);background:var(--panel-2);border-radius:.65rem;min-width:0;padding:1rem}.message-flow article>span{background:var(--cyan);color:#062023;border-radius:999px;place-items:center;width:1.8rem;height:1.8rem;margin-bottom:.8rem;font-weight:850;display:grid}.message-flow p,.fact p{color:var(--muted);margin:.5rem 0;font-size:.82rem}.fact-grid,.boundary-grid,.limit-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:.7rem;margin-top:1rem;display:grid}.fact code{margin-top:.5rem;display:block}.assertion{background:#0000001f;border:1px solid;border-radius:.55rem;margin:1rem 0 0;padding:.8rem 1rem;font-weight:700}.mode-ledger{border:1px solid var(--line);background:var(--line);border-radius:.6rem;grid-template-columns:repeat(4,minmax(0,1fr));gap:1px;margin:1.25rem 0;display:grid;overflow:hidden}.mode-ledger div{background:var(--panel-2);padding:.9rem}.mode-ledger span,.mode-ledger strong{display:block}.mode-ledger span{color:var(--muted);font-size:.72rem}.mode-ledger strong{overflow-wrap:anywhere;margin-top:.3rem}.packet-strip{border:1px solid var(--line);border-radius:.6rem;grid-template-columns:1fr .8fr 1.5fr 4fr 2fr;margin:1.5rem 0;display:grid;overflow:hidden}.packet-strip span{border-right:1px solid var(--line);min-width:0;padding:.8rem}.packet-strip span:last-child{border:0}.packet-strip b,.packet-strip code{display:block}.packet-strip b{color:var(--muted);margin-bottom:.3rem;font-size:.7rem}.packet-strip .clear{background:#f2bf6c14}.packet-strip .secret{background:#62d9d214}.packet-strip .tag{background:#8fe3b014}.boundary-grid code{max-height:8rem;display:block;overflow:auto}.limits,.references{margin-top:1rem}.limit-grid{grid-template-columns:repeat(3,minmax(0,1fr))}.limit-grid p{border-top:2px solid var(--line);color:var(--muted);margin:0;padding-top:1rem}.references ul{grid-template-columns:repeat(2,minmax(0,1fr));gap:.7rem 2rem;padding-left:1.2rem;display:grid}.stopped,.error{border-color:#8e5f5f}footer{color:var(--muted);text-align:center;padding:2rem 0 4rem}@media (width<=900px){.workbench,.message-flow,.packet-strip,.mode-ledger{grid-template-columns:1fr 1fr}.packet-strip .secret,.packet-strip .tag{grid-column:1/-1}}@media (width<=620px){.topbar,.nav-links,.actions{align-items:stretch}.topbar{align-items:flex-start;padding:1rem 0}.nav-links{text-align:right;flex-direction:column;gap:.2rem}.hero-copy{padding-top:3.5rem}.workbench,.message-flow,.fact-grid,.boundary-grid,.limit-grid,.references ul,.packet-strip,.mode-ledger{grid-template-columns:1fr}.actions,.actions button{width:100%}.packet-strip .secret,.packet-strip .tag{grid-column:auto}th,td{padding:.7rem .55rem}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}}