File size: 12,231 Bytes
450ac2f | 1 2 3 4 5 6 7 | :root{font-family:Inter,"Segoe UI",Arial,sans-serif;color:#d9e4e8;background:#0a1015;font-synthesis:none;--panel:#101a22;--line:#263843;--muted:#8fa5b2;--cyan:#78e9e6;--amber:#f1bd71;--red:#ff8e94}*{box-sizing:border-box}body{margin:0}button,input,select{font:inherit}button,a,input,select,summary{touch-action:manipulation}button{border:1px solid #354b57;color:#d9e4e8;background:#15242e;border-radius:5px;padding:10px 13px;cursor:pointer;font-size:13px;font-weight:600}button:hover{background:#223642;border-color:#6d8b9a}button:disabled{opacity:.4;cursor:not-allowed}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible{outline:2px solid var(--cyan);outline-offset:3px}a{color:var(--cyan)}.skip{position:absolute;top:-70px;padding:14px;background:#162731;z-index:5}.skip:focus{top:0}.masthead{height:82px;border-bottom:1px solid var(--line);padding:0 4%;display:flex;align-items:center;justify-content:space-between}.brand{color:#e8f4f5;font-size:22px;font-weight:800;letter-spacing:3px;text-decoration:none;display:flex;align-items:center;gap:13px}.brand-mark{font-size:39px;color:var(--cyan);line-height:1}.version{margin-left:18px;font:10px Consolas,monospace;letter-spacing:1.5px;color:var(--muted)}.connection{display:flex;align-items:center;gap:8px;font:11px Consolas,monospace;color:var(--muted)}.dot{height:7px;width:7px;background:var(--amber);border-radius:100%}.dot.online{background:var(--cyan)}main{max-width:1600px;margin:auto;padding:0 4%}.intro{display:grid;grid-template-columns:1.1fr 1fr;gap:60px;padding:48px 0 42px;align-items:center}.eyebrow,.mini-label{font:10px Consolas,monospace;letter-spacing:1.8px;color:var(--muted);margin:0}.eyebrow{color:var(--cyan)}h1{font-size:clamp(32px,3.6vw,52px);line-height:1.08;letter-spacing:-1.8px;margin:18px 0}h2{font-size:21px;letter-spacing:-.4px;font-weight:600;margin:12px 0}h3{font-size:15px;margin:0}.lede{font-size:14px;line-height:1.65;color:var(--muted);margin:0}.principle{border-left:1px solid #35505b;padding:23px 0 23px 34px}.principle p{font-size:13px;line-height:1.7;color:var(--muted);max-width:450px}.signal-chain{display:flex;align-items:center;gap:14px;margin:21px 0;font:12px Consolas,monospace}.signal-chain span{border:1px solid #34505b;padding:13px 11px;background:#101f28}.signal-chain b{color:var(--cyan);font-weight:400}.tag{display:inline-block;font:10px Consolas,monospace;color:var(--amber);border:1px solid #514433;border-radius:3px;padding:5px 7px;letter-spacing:.3px}.lab-layout{display:grid;grid-template-columns:285px minmax(0,1fr);gap:23px;align-items:start}.panel{background:var(--panel);border:1px solid var(--line);border-radius:7px}.controls{padding:21px}.panel-title{display:flex;justify-content:space-between;gap:10px;margin-bottom:24px}.panel-title .mini-label{font-size:8px;letter-spacing:.6px}label{display:block;font-size:12px;color:#bbced6;margin:19px 0 8px}input[type=number],select{color:#e4edf0;background:#0b141b;border:1px solid #314751;border-radius:4px;width:100%;height:37px;padding:0 9px;font-size:12px}select{padding-right:4px}.help{color:var(--muted);font-size:11px;line-height:1.6;margin:9px 0}.two-cols{display:grid;grid-template-columns:1fr 1fr;gap:13px}.check{display:flex;align-items:start;gap:8px;margin:23px 0}.check input{accent-color:var(--cyan);margin:2px 0}.check small{display:block;font-size:10px;color:var(--muted);margin-top:5px}.primary{display:flex;align-items:center;justify-content:space-between;background:var(--cyan);color:#092426;width:100%;border-color:var(--cyan);padding:13px}.primary:hover{background:#a3ffff;color:#092426}.secondary{width:100%;margin-top:10px}.file-actions{border-top:1px solid var(--line);margin-top:20px;padding-top:19px}.file-actions button{width:100%;background:transparent}.limits{border-top:1px solid var(--line);padding-top:18px;margin-top:20px;color:var(--muted);font-size:11px;line-height:1.7}.limits summary{cursor:pointer;color:#c3d6dd}.workspace{min-width:0;outline:none}.empty-state{min-height:470px;text-align:center;display:flex;flex-direction:column;justify-content:center;align-items:center;padding:45px}.empty-state p:not(.eyebrow){font-size:13px;color:var(--muted);line-height:1.8;max-width:440px}.empty-glyph{font:48px Consolas,monospace;color:#3a606b;margin-bottom:35px}.empty-steps{display:flex;gap:25px;margin-top:33px;font:10px Consolas,monospace;color:var(--muted)}.notice{padding:13px 17px;border:1px solid #6b5232;background:#292217;border-radius:5px;color:#f1d3a8;font-size:13px;line-height:1.5;margin-bottom:20px;overflow-wrap:anywhere}.notice.success{border-color:#365d57;background:#132b29;color:#a4e2d6}.job-panel{padding:19px;margin-bottom:20px}.job-heading{display:flex;justify-content:space-between;gap:20px;align-items:center}.job-heading p{font-size:13px;margin:10px 0}progress{accent-color:var(--cyan);width:100%;height:6px;margin:10px 0}.result-toolbar{display:flex;justify-content:space-between;gap:15px;align-items:center;margin:3px 0 20px}.result-meta{font:11px Consolas,monospace;color:var(--muted);margin:8px 0;overflow-wrap:anywhere}.toolbar-actions{display:flex;gap:8px;flex-shrink:0}.toolbar-actions button{font-size:11px}.status-grid{display:grid;grid-template-columns:1fr 1fr;gap:16px;margin-bottom:18px}.status-card{padding:22px;min-width:0}.status-card h2{font-size:22px;color:var(--amber);overflow-wrap:anywhere}.status-card.good h2{color:var(--cyan)}.status-card.bad h2{color:var(--red)}.status-card p{font-size:12px;color:var(--muted);line-height:1.6;margin-bottom:0}.word{font-family:Consolas,monospace;font-size:14px;color:#e6f1f2;margin:14px 0}.section-panel{padding:22px;margin-bottom:18px;overflow:hidden}.section-heading{display:flex;justify-content:space-between;align-items:center;gap:14px;margin-bottom:17px}.section-heading span{font:10px Consolas,monospace;color:var(--muted)}.metric-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:1px;background:var(--line);border:1px solid var(--line);border-radius:5px;overflow:hidden;margin-bottom:18px}.metric{background:var(--panel);padding:18px}.metric b{display:block;font:25px Consolas,monospace;font-weight:400;color:var(--cyan);margin-bottom:7px}.metric span{font-size:10px;color:var(--muted)}.two-panels{display:grid;grid-template-columns:1.2fr 1fr;gap:18px}.graph{width:100%;height:auto;display:block;max-height:430px}.graph text{font-family:Consolas,monospace}.graph .edge{stroke:#4d6e7d;fill:none;stroke-width:1.2}.graph .node{fill:#142b35;stroke:#6dd8d8;stroke-width:1.5}.graph .node.initial{stroke:var(--amber)}.graph .label{fill:#c9dce4;font-size:10px}.graph .state{fill:#e2f5f5;font-size:14px}.table-scroll{overflow:auto;max-height:340px}table{border-collapse:collapse;width:100%;font-size:11px;text-align:left}th{position:sticky;top:0;background:#15232c;color:var(--muted);font-weight:500;font-size:10px;letter-spacing:.4px}th,td{padding:10px 11px;border-bottom:1px solid var(--line);white-space:nowrap}td{font-family:Consolas,monospace}td.wrap{white-space:normal;overflow-wrap:anywhere}.timeline{padding:0;margin:0;list-style:none;max-height:340px;overflow:auto}.timeline li{display:grid;grid-template-columns:31px 1fr auto;gap:13px;padding:14px 0;border-bottom:1px solid var(--line);align-items:start;font-size:12px}.probe-index{font:11px Consolas,monospace;color:var(--cyan);border:1px solid #35505b;border-radius:50%;width:26px;height:26px;display:grid;place-items:center}.probe-code{font:12px Consolas,monospace;line-height:1.8}.probe-count{font:11px Consolas,monospace;color:var(--muted);text-align:right}.muted{color:var(--muted)}.kv{display:grid;grid-template-columns:1fr 1fr;gap:9px;font-size:11px;margin:0}.kv dt{color:var(--muted)}.kv dd{margin:0;text-align:right;font-family:Consolas,monospace;overflow-wrap:anywhere}.raw{font:10px Consolas,monospace;line-height:1.7;white-space:pre-wrap;overflow-wrap:anywhere;color:var(--muted);max-height:350px;overflow:auto}.fineprint{font-size:11px;line-height:1.8;color:var(--muted)}.study-chart{width:100%;display:block;min-height:120px}.study-chart text{fill:var(--muted);font:10px Consolas,monospace}.study-chart .bar{fill:var(--cyan)}footer{display:flex;justify-content:space-between;color:#6f8794;font:10px Consolas,monospace;letter-spacing:.4px;padding:35px 0} [hidden]{display:none!important}@media(min-width:1500px){.lab-layout{grid-template-columns:305px minmax(0,1fr)}}@media(max-width:1050px){.version{display:none}.intro{gap:25px}.signal-chain{gap:8px;font-size:10px}.signal-chain span{padding:10px 7px}.two-panels{grid-template-columns:1fr}.status-card h2{font-size:18px}.lab-layout{grid-template-columns:260px minmax(0,1fr)}.toolbar-actions{flex-wrap:wrap;justify-content:flex-end}}@media(max-width:760px){.masthead{height:68px}.brand{font-size:17px;letter-spacing:2px}.connection{font-size:9px;max-width:125px}.intro{grid-template-columns:1fr;padding:30px 0;gap:24px}.principle{padding:12px 0 12px 20px}.lab-layout{grid-template-columns:1fr}.controls{padding:20px}.controls form{display:grid;grid-template-columns:1fr 1fr;gap:0 16px}.controls form>label,.controls form>select,.controls form>.help,.controls form>.tag,.controls form>.check,.controls form>button{grid-column:1/-1}.controls form>.two-cols{grid-column:1/-1}.status-grid{gap:10px}.status-card{padding:15px}.status-card h2{font-size:15px}.metric-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.result-toolbar{align-items:start}.toolbar-actions{max-width:145px}.empty-steps{gap:12px;font-size:9px}.empty-state{min-height:360px;padding:25px}.section-panel{padding:17px}.result-meta{font-size:10px}footer{gap:20px;line-height:1.7}.signal-chain{font-size:11px}}
.conditions-cell{min-width:190px;max-width:270px;line-height:1.6}.controls form>.risk-setting{grid-column:1/-1}.study-run-detail{min-width:0;scroll-margin-top:20px}.study-run-detail:focus-visible{outline:2px solid var(--cyan);outline-offset:4px}.policy-tree{list-style:none;margin:0;padding:0;font:11px Consolas,monospace}.policy-tree ul{list-style:none;border-left:1px solid var(--line);margin:10px 0 10px 12px;padding-left:18px}.policy-tree li{margin:10px 0}.policy-node{display:inline-block;border:1px solid #46636e;border-radius:4px;padding:8px 12px;background:#14242d}.policy-stop{color:var(--amber)}.policy-executed{border-color:var(--cyan);background:#193a3c;color:#c3ffff}.policy-observation{color:var(--muted);margin-bottom:7px}
.controls form>.instance-setting{grid-column:1/-1}input:disabled{opacity:.5}.model-inclusion{font:18px Consolas,monospace;color:var(--amber);margin:0 0 12px}.model-inclusion.refuted{color:var(--red)}.diagnostic-class{border-top:1px solid var(--line);margin-top:20px;padding-top:17px}.diagnostic-class h4{font-size:12px;margin:0 0 12px}.diagnostic-notes{padding-left:18px}.diagnostic-notes li{margin:7px 0}.reliability-note{padding:10px 12px;border-left:2px solid var(--amber);background:#211f1a}
.controls form>.fault-setting{grid-column:1/-1;min-width:0;margin:0 0 20px;padding:12px;border:1px solid var(--line);border-radius:4px}.fault-setting legend{padding:0 6px;color:var(--cyan);font-size:11px}.fault-setting>label:first-of-type{margin-top:4px}select:disabled{opacity:.5}.fault-setting .help:last-child{margin-bottom:0}
.planning-proposal{border-top:1px solid var(--line);padding-top:15px;margin-top:18px;min-width:0}.planning-proposal h4{font:12px Consolas,monospace;color:#d9e4e8;margin:0}.planning-objective{padding:10px 12px;border-left:2px solid var(--cyan);background:#102429}.planning-proposal .kv{margin:14px 0}
.reliability-stratum{border-top:1px solid var(--line);padding-top:15px;margin-top:18px;min-width:0}.reliability-stratum h4{font:12px Consolas,monospace;color:#d9e4e8;line-height:1.6;margin:0;overflow-wrap:anywhere}.reliability-metrics{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:10px;margin:16px 0}.reliability-metric{padding:12px;background:#0c171f;border:1px solid var(--line);border-radius:4px;min-width:0}.reliability-metric h5{font-size:10px;line-height:1.6;font-weight:400;color:var(--muted);margin:0}.reliability-metric p{font:12px Consolas,monospace;color:var(--cyan);line-height:1.8;margin:9px 0 0;overflow-wrap:anywhere}@media(max-width:1050px){.reliability-metrics{grid-template-columns:1fr}}
|