:root{color-scheme:dark;--bg:#0b0d10;--fg:#e4e8eb;--muted:#8b959f;--line:#252a30;--accent:#dfff00;--warn:#d0b492;--red:#dcafa8;--mono:ui-monospace,SFMono-Regular,Consolas,monospace;--sans:Inter,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:25px}body{margin:0;background:var(--bg);color:var(--fg);font:14px/1.6 var(--sans);-webkit-font-smoothing:antialiased}a{color:inherit;text-decoration:none}a:hover{color:#fff}button{font:inherit;background:transparent;color:var(--fg);border:1px solid #41484f;padding:12px 17px;border-radius:3px;cursor:pointer}button:hover{border-color:#bac5ce;background:#15191d}button:disabled{opacity:.4;cursor:not-allowed}button.primary{background:#dfff00;color:#171b08;border-color:#dfff00}button.primary:hover:not(:disabled):not([aria-disabled=true]){background:#eaff66;border-color:#eaff66;color:#171b08}button.quiet{border-color:transparent;padding-inline:0;color:var(--muted)}button:focus-visible,a:focus-visible,summary:focus-visible{outline:2px solid #dfff00;outline-offset:5px}[hidden]{display:none!important}.skip{position:absolute;top:-100px;left:15px;padding:10px;background:var(--fg);color:var(--bg)}.skip:focus{top:10px;z-index:20}header{height:77px;border-bottom:1px solid var(--line);display:flex;align-items:center;gap:35px;padding:0 max(5%,calc((100vw - 1240px)/2));}.brand{display:flex;align-items:center;gap:9px;font-size:15px;font-weight:550;letter-spacing:-.4px;white-space:nowrap}.brand img{width:17px;height:17px}nav{display:flex;gap:28px;margin-left:auto;align-items:center;color:var(--muted);font-size:12px}nav [aria-current]{color:var(--fg)}.language{font:10px var(--mono);padding:6px 8px;border-color:var(--line)}main{max-width:1380px;margin:auto;padding:50px 5% 65px}.intro{display:grid;grid-template-columns:minmax(0,1fr) 260px;gap:50px;align-items:end;margin-bottom:40px}.eyebrow,.tag{font:9px/1.6 var(--mono);letter-spacing:1.5px;color:var(--muted);margin:0 0 17px}h1{font-size:48px;line-height:1.15;letter-spacing:-1.8px;font-weight:420;margin:0}h2{font-size:17px;font-weight:470;letter-spacing:-.3px;margin:0}h3{font-size:13px;font-weight:500;margin:0}p{margin:0}.lead{font-size:15px;line-height:1.7;max-width:580px;color:#a6afb7;margin-top:22px}.start>button{width:100%;display:flex;justify-content:space-between;align-items:center;font-size:12px}.start p{font-size:10px;line-height:1.8;color:var(--muted);margin-top:13px}.start a{font-size:10px;display:inline-block;margin-top:12px;color:var(--accent)}#stop{margin-top:9px;color:var(--warn);border-color:#6d5b48}.research-line{display:grid;grid-template-columns:auto minmax(0,1fr);column-gap:15px;row-gap:8px;border-block:1px solid var(--line);padding:19px 0}.research-line .tag{margin:3px 0 0;color:var(--accent);font-size:11px;letter-spacing:0}.research-line p{font-size:12px;line-height:1.8;color:#bdc7cd}.formula{grid-column:2;font:11px/1.6 var(--mono);color:var(--muted)}.run-source{display:flex;justify-content:space-between;gap:20px;align-items:center;margin:25px 0 35px;font:10px/1.8 var(--mono);color:var(--muted)}.run-source>div{display:flex;align-items:baseline;gap:9px}.run-source a{font:11px var(--sans);white-space:nowrap}.marker{width:5px;height:5px;border-radius:50%;flex:0 0 5px;background:#748189}.marker.running{background:var(--accent);animation:pulse 1.2s ease-in-out infinite}.marker.completed{background:var(--accent)}.marker.failed{background:var(--red)}@keyframes pulse{50%{opacity:.3}}.section-heading{display:flex;align-items:baseline;justify-content:space-between;gap:20px;margin-bottom:17px}.caption{font-size:10px;color:var(--muted)}.table-wrap{overflow-x:auto}table{border-collapse:collapse;width:100%;text-align:left;font-size:12px;min-width:640px}thead{font:9px/1.6 var(--mono);letter-spacing:.6px;color:#6f7c88}th{font-weight:400;padding:7px 0 12px}td{padding:17px 0;border-top:1px solid var(--line);vertical-align:middle}td:first-child{width:23%}.agent-name{display:block;color:#cdd5db}.agent-id{font:9px var(--mono);color:#74808a;display:block;margin-top:3px}.task-cell{width:47%;color:#99a6b0;padding-right:25px;font-size:11px}.status-cell{font:10px var(--mono);white-space:nowrap;color:#71808b}.status-cell.completed{color:var(--accent)}.status-cell.running{color:#e7e9ed}.status-cell.failed{color:var(--red)}.time{width:8%;text-align:right;font:10px var(--mono);color:#84919c}.note{color:var(--muted);font-size:10px;line-height:1.8}.team>.note{margin-top:16px;max-width:810px}.results{border-top:1px solid var(--line);margin-top:34px;padding-top:26px}.outcome{font:9px/1.7 var(--mono);color:var(--accent);text-align:right}.outcome.failed{color:var(--red)}.result-grid{display:grid;grid-template-columns:minmax(0,1fr) 180px;gap:34px;margin-top:23px}figure{margin:0;min-width:0}.plot-top{display:flex;justify-content:space-between;gap:14px;font-size:11px;color:#b6c1ca}.plot-top>.caption{text-align:right;font-size:9px}#plot{display:block;width:100%;height:auto;aspect-ratio:750/330;margin-top:10px}#plot text{font:10px var(--mono);fill:#82909c}#plot .grid{stroke:#232b33;stroke-width:1}#plot .axis{stroke:#42505b;stroke-width:1}.legend{display:flex;gap:22px;flex-wrap:wrap;font:10px var(--mono);color:#a9b7c1}.legend>span{display:flex;gap:7px;align-items:center}.legend i{width:16px;height:2px;background:#b5ceca}.legend .line-mutual{background:#e7e9eb}.legend .line-global{height:0;border-top:2px dashed #6b7e8c;background:transparent}figcaption p{font-size:9px;color:#6f818f;margin-top:12px;line-height:1.7;max-width:650px}.metrics{border-left:1px solid var(--line);padding-left:25px}.metrics dl{margin:0}.metrics dl>div+div{margin-top:19px}.metrics dt{font-size:9px;color:var(--muted)}.metrics dd{font:24px/1.4 var(--mono);letter-spacing:-.6px;color:#cdd2d7;margin:5px 0 0}.metrics p{font-size:9px;color:#6f7e89;margin-top:21px;line-height:1.8}.claims{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:27px;border-top:1px solid var(--line);padding-top:23px;margin-top:25px}.claims article{min-width:0}.claims .claim-kind{font:8px var(--mono);color:#7c9591;text-transform:uppercase;letter-spacing:.8px;margin-bottom:9px}.claims h3{font-size:12px;line-height:1.6;color:#b8c8cd}.claims p{font-size:10px;line-height:1.8;color:#899ca7;margin-top:7px}.scope{font-size:10px;line-height:1.8;color:#b5aa92;border-left:2px solid #736749;padding-left:13px;max-width:860px;margin-top:26px}.empty{padding:35px 20px 40px;text-align:center;color:#607382}.empty>span{font:27px var(--mono);letter-spacing:8px}.empty p{font-size:11px;margin:12px auto 0;max-width:380px}.evidence{display:flex;justify-content:space-between;align-items:center;gap:40px;padding:29px 0;margin-top:32px;border-top:1px solid var(--line)}.evidence .eyebrow{font-size:8px;margin-bottom:8px}.evidence h2{font-size:20px;line-height:1.5;margin-bottom:7px}.evidence .note{max-width:600px}.evidence-actions{display:flex;flex-direction:column;align-items:stretch;flex:0 0 auto;min-width:205px;gap:4px}.evidence-actions button{font-size:11px}.technical{border-top:1px solid var(--line)}summary{padding:16px 0;font-size:11px;cursor:pointer;color:#a7b8c3}summary::marker{color:#6d808d}summary span+span{font:9px var(--mono);color:#6c7e8b;margin-left:10px}.technical>.note{max-width:850px;margin:0 0 15px}.protocol-meta{display:flex;gap:20px;justify-content:space-between;align-items:baseline;font-size:10px;color:#6f8594;margin-top:18px}.protocol-meta code{font:9px/1.8 var(--mono);color:#99acae;overflow-wrap:anywhere}pre{font:9px/1.7 var(--mono);color:#8398a7;overflow:auto;max-height:290px;white-space:pre-wrap;overflow-wrap:anywhere;background:#0c1014;padding:15px;margin:12px 0 22px;border:1px solid #1c252d}.technical h3{font-size:11px;margin-top:22px}.technical>a{font-size:11px;color:var(--accent);display:inline-block;margin-bottom:24px}.journal-list{padding-bottom:12px}.journal-row{display:flex;align-items:center;justify-content:space-between;gap:20px;border-top:1px solid var(--line);padding:12px 0;font:10px/1.7 var(--mono);color:#8496a3}.journal-row>span{overflow-wrap:anywhere}.journal-row button{font-size:10px;padding:6px 12px;white-space:nowrap}.connections{margin-top:42px;border-top:1px solid var(--line);padding-top:25px}.connections>.section-heading{margin-bottom:7px}.connections>.section-heading>a{font-size:11px;color:var(--accent)}.connection-row{display:grid;grid-template-columns:minmax(0,1fr) 160px 160px;align-items:center;gap:22px;padding:19px 0;border-bottom:1px solid var(--line)}.connection-row h3{font-size:12px}.connection-row p{font-size:10px;line-height:1.8;color:var(--muted);margin-top:4px;max-width:620px}.connection-state{font:9px/1.7 var(--mono);color:var(--accent)}.connection-state.neutral{color:#8b909a}.connection-row>a{font-size:10px;text-align:right;color:#a6bdc7}footer{max-width:1380px;margin:auto;padding:23px 5%;border-top:1px solid var(--line);font-size:9px;color:#6d808c;display:flex;justify-content:space-between;gap:20px}footer>span{display:flex;gap:9px}footer>div{display:flex;gap:24px}.error{font-size:11px;line-height:1.8;color:var(--red);padding:14px 0;border-block:1px solid #613e37;margin-bottom:24px;overflow-wrap:anywhere}noscript{display:block;padding:20px;color:var(--warn)}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}.marker.running{animation:none}}@media(max-width:1000px){header{padding-inline:5%;gap:20px}nav{gap:20px}.intro{gap:30px}h1{font-size:42px}.result-grid{gap:22px;grid-template-columns:minmax(0,1fr) 150px}.metrics{padding-left:20px}.metrics dd{font-size:20px}.claims{gap:20px}.connection-row{grid-template-columns:minmax(0,1fr) 130px 135px;gap:17px}}@media(max-width:700px){header{height:auto;min-height:70px;padding:17px 20px 12px;gap:15px;flex-wrap:wrap}.brand{font-size:14px}nav{order:3;width:100%;gap:23px;font-size:11px;margin-top:3px}.language{margin-left:auto;font-size:9px}main{padding:30px 20px 40px}.intro{grid-template-columns:1fr;gap:24px;margin-bottom:29px}h1{font-size:38px}.eyebrow{font-size:8px;letter-spacing:.8px;margin-bottom:12px}.lead{font-size:13px;margin-top:16px}.start{display:grid;grid-template-columns:1fr 1fr;gap:10px 18px;align-items:center}.start>button{grid-column:1/-1;width:auto;font-size:12px;padding:13px 16px}.start>p{font-size:9px;margin-top:0}.start>a{font-size:9px;line-height:1.7;margin:0;text-align:right}#stop{margin-top:0}.research-line{padding:16px 0}.research-line p{font-size:11px}.formula{font-size:9px;overflow-wrap:anywhere}.run-source{margin:20px 0 25px;font-size:8px;gap:14px}.run-source a{font-size:9px}.section-heading{gap:15px;align-items:flex-start}.section-heading h2{font-size:15px}.section-heading .caption{font-size:8px;max-width:135px;text-align:right;line-height:1.7}table{min-width:520px;font-size:11px}th{font-size:8px}td{padding:14px 0}.task-cell{font-size:9px;padding-right:15px}.status-cell{font-size:9px}.time{font-size:9px}.agent-id{font-size:8px}.note{font-size:9px}.team>.note{margin-top:13px}.results{margin-top:26px;padding-top:22px}.outcome{max-width:140px;font-size:8px}.result-grid{grid-template-columns:minmax(0,1fr);gap:22px;margin-top:21px}.plot-top{font-size:10px;gap:10px}.plot-top>.caption{font-size:8px;max-width:130px}.legend{font-size:8px;gap:13px}figcaption p{font-size:8px}.metrics{border-left:0;border-top:1px solid var(--line);padding:18px 0 0}.metrics dl{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:16px}.metrics dl>div+div{margin-top:0}.metrics dt{font-size:8px}.metrics dd{font-size:20px;margin-top:6px}.metrics p{font-size:8px;margin-top:13px}.claims{grid-template-columns:1fr;gap:21px;padding-top:19px;margin-top:20px}.claims .claim-kind{font-size:7px;margin-bottom:6px}.claims h3{font-size:12px}.claims p{font-size:10px}.scope{font-size:9px;margin-top:23px}.evidence{display:block;gap:0;padding:24px 0;margin-top:28px}.evidence h2{font-size:18px}.evidence-actions{flex-direction:row;align-items:center;gap:17px;margin-top:19px;flex-wrap:wrap}.evidence-actions button{font-size:10px;padding:10px 13px}.evidence-actions button.quiet{padding-inline:0}.protocol-meta{display:block}.protocol-meta code{display:block;font-size:8px;margin-top:5px}.technical summary{font-size:10px;padding:14px 0}.technical pre{font-size:8px;padding:10px}.connections{margin-top:31px;padding-top:21px}.connections>.section-heading>a{font-size:9px;text-align:right}.connection-row{grid-template-columns:1fr auto;gap:11px 15px;padding:18px 0}.connection-row>div{grid-column:1/-1}.connection-row h3{font-size:12px}.connection-row p{font-size:9px}.connection-row>a{font-size:9px}.connection-state{font-size:8px}footer{padding:21px 20px;display:block;font-size:8px}footer>div{margin-top:15px;gap:20px}.journal-row{font-size:8px;gap:13px}.journal-row button{font-size:8px}}@media(max-width:370px){nav{gap:17px;font-size:10px}.metrics dl{gap:10px}.metrics dd{font-size:17px}h1{font-size:34px}.start{grid-template-columns:1fr}.start>p,.start>a{grid-column:1;text-align:left}}

/* Readable scientific work surface, including narrow screens. */
body{font-size:16px}header{height:auto;min-height:72px;padding-block:16px}nav{font-size:14px;flex-wrap:wrap;gap:22px}.language{font-size:13px}main{padding-top:30px}.intro{margin-bottom:25px;gap:30px}h1{font-size:36px;line-height:1.15;letter-spacing:-1.1px}.eyebrow,.tag{font-size:12px;letter-spacing:1px;margin-bottom:10px}.lead{font-size:16px;margin-top:12px}.start>button{font-size:15px}.start p,.start a{font-size:13px}.research-line p{font-size:14px}.formula{font-size:13px}.run-source{font-size:13px;margin:22px 0 26px}.run-source a{font-size:14px}.section-heading h2{font-size:21px}.caption{font-size:13px}h3{font-size:16px}table{font-size:14px}thead,th{font-size:12px}.task-cell,.status-cell{font-size:14px}.time,.agent-id{font-size:12px}.note{font-size:13px}.outcome{font-size:12px}.plot-top{font-size:14px}.plot-top>.caption{font-size:12px}#plot text{font-size:12px}.legend{font-size:13px}figcaption p{font-size:13px}.metrics{min-width:0}.metrics dt{font-size:13px}.metrics p{font-size:13px}.claims .claim-kind{font-size:12px}.claims h3{font-size:16px}.claims p{font-size:14px}.scope{font-size:14px}.evidence .eyebrow{font-size:12px}.evidence-actions button{font-size:14px}.technical summary{font-size:14px}.technical h3{font-size:16px}.technical>a,.technical>p>a{font-size:14px}.technical pre{font-size:12px}.protocol-meta{font-size:13px}.protocol-meta code{font-size:12px}.journal-row,.journal-row button{font-size:13px}.connections>.section-heading>a{font-size:14px}.connection-row{grid-template-columns:minmax(0,1fr) 180px 180px}.connection-row h3{font-size:16px}.connection-row p{font-size:14px}.connection-state{font-size:13px}.connection-row>a{font-size:14px}footer,.error{font-size:13px}summary span+span{font-size:12px}
@media(max-width:1000px){.connection-row{grid-template-columns:minmax(0,1fr) 140px 160px}.result-grid{grid-template-columns:minmax(0,1fr) 180px}}
@media(max-width:700px){header{gap:15px}nav{gap:16px}.intro{gap:20px}h1{font-size:30px}.eyebrow{font-size:12px}.start{grid-template-columns:1fr}.start>p,.start>a{grid-column:1;text-align:left}.research-line p{font-size:14px}.run-source{align-items:flex-start;flex-wrap:wrap}.section-heading{flex-wrap:wrap}.section-heading .caption{font-size:13px;max-width:none;text-align:left}.outcome{max-width:none}.table-wrap{overflow:visible}table{min-width:0;display:block}thead{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%)}tbody{display:block}tbody tr{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:5px 12px;border-top:1px solid var(--line);padding:16px 0}td,td:first-child{width:auto;border:0;padding:0}.task-cell{grid-column:1/-1;grid-row:2;padding-right:0}.status-cell{grid-column:2;grid-row:1;text-align:right;align-self:center}.time{grid-column:2;grid-row:3;width:auto}.agent-id{display:inline;margin-left:0}.result-grid{grid-template-columns:1fr}.plot-top{flex-wrap:wrap}.plot-top>.caption{font-size:12px;max-width:none;text-align:left}.metrics dt{font-size:13px}.metrics dd{font-size:21px}.claims{gap:22px}.claims p{font-size:14px}.connection-row{grid-template-columns:1fr auto;gap:12px}.protocol-meta code{font-size:12px}.journal-row{flex-wrap:wrap}footer{font-size:13px}.formula{overflow-wrap:anywhere}}

@media(max-width:700px){.task-cell{width:auto}}