.se-wrap{color:#edfaff;background:linear-gradient(#05111ab8,#02080de0);border:1px solid #9de9ff33;margin:80px 40px 100px;padding:28px}.se-head{justify-content:space-between;align-items:flex-start;gap:24px;margin-bottom:28px;display:flex}.se-head small,.se-controls label,.se-metrics small,.se-legend,.se-badge{letter-spacing:.14em;color:#7fa5b8;font:700 10px ui-monospace,Consolas,monospace}.se-head h2{letter-spacing:-.04em;margin:8px 0 10px;font-size:clamp(34px,4vw,58px)}.se-head p{color:#9fb9c7;max-width:760px;margin:0;line-height:1.6}.se-badge{color:#e5c777;white-space:nowrap;border:1px solid #e5c77761;padding:10px 12px}.se-grid{grid-template-columns:minmax(260px,.7fr) 1.3fr;gap:18px;display:grid}.se-controls,.se-metrics,.se-chart{background:#020a0f8c;border:1px solid #9de9ff26}.se-controls{padding:20px}.se-controls label{margin-bottom:20px;display:block}.se-controls label b{float:right;color:#edfaff}.se-controls input{accent-color:#9de9ff;width:100%;margin-top:10px}.se-actions{gap:10px;display:flex}.se-actions button{color:#edfaff;cursor:pointer;background:#48c8ff14;border:1px solid #9de9ff47;flex:1;min-height:44px;font-weight:700}.se-metrics{grid-template-columns:repeat(5,1fr);display:grid}.se-metrics article{border-right:1px solid #9de9ff1a;padding:20px}.se-metrics article:last-child{border-right:0}.se-metrics strong{margin-top:18px;font-size:clamp(20px,2vw,30px);display:block}.se-chart{height:300px;margin-top:18px;padding:18px;position:relative;overflow:hidden}.se-chart:before{content:"";pointer-events:none;background-image:linear-gradient(#9de9ff12 1px,#0000 1px),linear-gradient(90deg,#9de9ff12 1px,#0000 1px);background-size:10% 20%;position:absolute;inset:42px 18px 18px}.se-chart svg{width:calc(100% - 36px);height:230px;position:absolute;top:46px;left:18px;right:18px;overflow:visible}.se-chart polyline{fill:none;vector-effect:non-scaling-stroke;stroke-width:1.8px}.se-chart .truth{stroke:#e5c777}.se-chart .obs{stroke:#6b8797;stroke-dasharray:2 2}.se-chart .est{stroke:#9de9ff}.se-legend{gap:18px;display:flex}.se-legend span:first-child{color:#e5c777}.se-legend span:nth-child(2){color:#6b8797}.se-legend span:nth-child(3){color:#9de9ff}.se-note{color:#819ba8;border-left:2px solid #9de9ff59;margin-top:16px;padding-left:14px;font-size:13px;line-height:1.55}@media (max-width:1000px){.se-grid{grid-template-columns:1fr}.se-metrics{grid-template-columns:repeat(2,1fr)}.se-head{flex-direction:column}.se-badge{white-space:normal}}@media (max-width:600px){.se-wrap{margin:50px 16px 70px;padding:18px}.se-metrics{grid-template-columns:1fr}.se-metrics article{border-bottom:1px solid #9de9ff1a;border-right:0}.se-chart{height:250px}.se-chart svg{height:180px}}.state-lab-intro{color:#edfaff;margin:30px 40px 0}.state-lab-intro small{color:#9de9ff;letter-spacing:.16em}.state-lab-intro h1{margin:10px 0;font-size:clamp(28px,3vw,44px)}.state-lab-intro p{color:#9fb9c7;margin:0;line-height:1.6}.state-lab-page .se-wrap{margin-top:24px;margin-bottom:40px}.se-empty{text-align:center;color:#9fb9c7;z-index:1;position:absolute;inset:40% 20px auto}.se-actions button:disabled{opacity:.4;cursor:default}.se-actions button:focus-visible,.se-controls input:focus-visible{outline-offset:4px;outline:2px solid #e5c777}.se-metrics{grid-template-columns:repeat(3,minmax(0,1fr))}.se-metrics article{min-width:0}.se-metrics small{overflow-wrap:anywhere;line-height:1.5}@media (max-width:600px){.state-lab-intro{margin:24px 16px 0}.se-metrics{grid-template-columns:repeat(2,minmax(0,1fr))}}.se-controls select,.se-controls input[type=number]{color:#edfaff;box-sizing:border-box;background:#081823;border:1px solid #345364;width:100%;margin-top:10px;padding:10px;font:14px system-ui;display:block}.se-actions{flex-wrap:wrap;margin-top:12px}.se-actions button{padding:10px 6px;font-size:11px}.se-grid{grid-template-columns:minmax(230px,.55fr) minmax(0,1.5fr)}.se-chart{aspect-ratio:980/350;height:auto;min-height:230px;padding:16px 10px}.se-chart:before{display:none}.se-chart svg{width:100%;height:auto;margin-top:14px;position:static;overflow:visible}.se-chart path{fill:none;stroke-width:2px;vector-effect:non-scaling-stroke}.trace-truth{stroke:#e5c777}.trace-observation{stroke:#809cae;stroke-dasharray:3 4}.trace-a{stroke:#9de9ff}.trace-b{stroke:#cd9eff}.dot-truth{fill:#e5c777}.dot-observation{fill:#809cae}.dot-a{fill:#9de9ff}.dot-b{fill:#cd9eff}.se-legend{letter-spacing:.04em;flex-wrap:wrap;font-size:11px}.se-b-key{color:#cd9eff}.se-results{margin-top:18px;overflow-x:auto}.se-results table{border-collapse:collapse;width:100%;font:14px ui-monospace,monospace}.se-results caption{text-align:left;color:#a4bfcc;padding:12px 0;font:13px system-ui}.se-results td,.se-results th{text-align:left;border-bottom:1px solid #244050;padding:12px 8px}.se-run-status{color:#9de9ff;margin:0;font:12px ui-monospace,monospace}.se-method{color:#a4bfcc;border-top:1px solid #244050;margin-top:24px;padding-top:20px;line-height:1.7}.se-method summary{cursor:pointer;color:#d5f3ff}.se-method p{max-width:100ch}@media (max-width:1000px){.se-grid{grid-template-columns:1fr}.se-chart{aspect-ratio:auto;min-height:0}}.state-lab-page .state-lab-intro{margin:20px 24px 0;padding:0}.state-lab-page .state-lab-intro h1{margin:6px 0;font-size:24px}.state-lab-intro p{font-size:14px}.state-lab-page .se-wrap{margin:20px 24px 36px;padding:22px}.state-lab-page .se-head{gap:18px;margin-bottom:20px}.state-lab-page .se-head h2{margin:5px 0 8px;font-size:34px}.state-lab-page .se-head p{font-size:14px}.state-lab-page .se-controls{padding:16px}.se-controls label{margin-bottom:16px}@media (max-width:600px){.state-lab-page .state-lab-intro{margin:16px}.state-lab-page .se-wrap{margin:16px;padding:16px}.state-lab-page .se-head h2{font-size:28px}}.so-wrap{color:#edfaff;background:#020a0fb8;border:1px solid #9de9ff33;margin:20px 24px 36px;padding:22px}.so-head{justify-content:space-between;align-items:flex-start;gap:18px;display:flex}.so-head small,.so-panel small{letter-spacing:.13em;color:#7fa5b8;font:700 10px ui-monospace,Consolas,monospace}.so-head h2{margin:5px 0 8px;font-size:34px}.so-head p,.so-note{color:#91aebb;line-height:1.55}.so-badge{color:#e5c777;letter-spacing:.1em;border:1px solid #e5c77759;padding:9px 11px;font:700 10px ui-monospace,monospace}.so-grid{grid-template-columns:minmax(0,1.45fr) minmax(260px,.55fr);gap:16px;margin-top:18px;display:grid}.so-panel{background:#04101899;border:1px solid #9de9ff24;min-width:0;padding:16px}.so-toolbar{justify-content:space-between;align-items:center;gap:12px;display:flex}.so-toolbar strong{margin-top:4px;display:block}.so-actions{gap:8px;display:flex}.so-actions button{color:#edfaff;background:#48c8ff14;border:1px solid #9de9ff47;min-height:40px;padding:0 14px}.so-actions button:disabled{opacity:.35}.so-range{accent-color:#9de9ff;width:100%;margin:16px 0}.so-values,.so-derived{grid-template-columns:repeat(4,minmax(0,1fr));gap:8px;display:grid}.so-values div,.so-derived div{border:1px solid #9de9ff1f;min-width:0;padding:10px}.so-values b,.so-derived b{overflow-wrap:anywhere;margin-top:6px;font:700 14px ui-monospace,monospace;display:block}.so-chart{border:1px solid #9de9ff1f;margin-top:12px;padding:8px}.so-chart svg{width:100%;height:auto}.so-gridline{stroke:#163544}.so-axis{stroke:#5f8191;stroke-width:1.5px}.so-axis-label{fill:#7fa5b8;font-size:10px}.so-trail{fill:none;stroke:#9de9ff;stroke-width:2px;opacity:.55}.so-shape{fill:#cd9eff2e;stroke:#cd9eff;stroke-width:2px}.so-centre{fill:#edfaff}.so-derived{margin-top:10px}.so-replay h3{margin:8px 0}.so-replay p{color:#91aebb;line-height:1.5}.so-replay-status{border:1px solid #77efad4d;justify-content:space-between;gap:8px;margin:14px 0;padding:12px;display:flex}.so-replay-status span{color:#77efad}.so-replay dl{margin:0}.so-replay dl div{border-bottom:1px solid #9de9ff1a;justify-content:space-between;gap:12px;padding:9px 0;display:flex}.so-replay dt{color:#7fa5b8}.so-replay dd{overflow-wrap:anywhere;margin:0;font-family:ui-monospace,monospace}.state-shadow-link{border:1px solid #e5c77738;justify-content:space-between;align-items:center;gap:18px;margin:0 24px 36px;padding:18px;display:flex}.state-shadow-link p{color:#91aebb;margin:0}.state-shadow-link a{white-space:nowrap;color:#e5c777}@media (max-width:900px){.so-grid{grid-template-columns:1fr}.so-values,.so-derived{grid-template-columns:repeat(2,minmax(0,1fr))}.so-head,.state-shadow-link{flex-direction:column}.so-badge{white-space:normal}}@media (max-width:600px){.so-wrap{margin:16px;padding:16px}.so-head h2{font-size:28px}.so-values,.so-derived{grid-template-columns:1fr}.state-shadow-link{margin:0 16px 28px}}