:root{color-scheme:dark;--bg:#0a0c0f;--panel:#101317;--line:#292e35;--text:#e9ebee;--muted:#959fab;--cyan:#a1cbd0;--amber:#c9b58d;--green:#b2bba0;--mono:ui-monospace,SFMono-Regular,Consolas,monospace;--sans:Inter,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif}*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--text);font:14px/1.6 var(--sans);-webkit-font-smoothing:antialiased}a{color:inherit;text-decoration:none}button,input,select{font:inherit;border:1px solid #39404a;background:#151a20;border-radius:5px;color:var(--text)}button{padding:9px 13px;cursor:pointer}button:hover{border-color:#818e9a;background:#222b34}button:disabled{opacity:.45;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}input,select{padding:8px 10px;width:100%;min-width:0}button:focus-visible,a:focus-visible,summary:focus-visible,input:focus-visible,select:focus-visible,svg:focus-visible,.table-scroll:focus-visible{outline:2px solid #dfff00;outline-offset:4px}[hidden]{display:none!important}.skip{position:absolute;top:-100px;left:12px;background:var(--text);color:var(--bg);padding:10px}.skip:focus{top:8px;z-index:10}.header{height:72px;max-width:1600px;margin:auto;padding:0 5%;display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid #20252b;gap:18px}.brand{display:flex;align-items:center;gap:9px;font-size:16px;font-weight:550;letter-spacing:-.4px}.brand img{width:18px;height:18px}.header nav{display:flex;gap:25px;align-items:center;font-size:12px;color:var(--muted)}#language{font:11px var(--mono);padding:5px 8px;background:transparent}main{max-width:1400px;margin:auto;padding:34px 5% 55px;min-width:0}.heading{display:flex;justify-content:space-between;align-items:flex-end;gap:28px;margin-bottom:25px}.eyebrow,.tag{font:9px var(--mono);letter-spacing:1px;color:var(--muted)}.eyebrow{display:flex;gap:9px;align-items:center;margin:0 0 10px}.eyebrow i{height:5px;width:5px;border-radius:50%;background:var(--green)}h1{font-size:32px;font-weight:450;letter-spacing:-1.1px;line-height:1.2;margin:0}.intro{max-width:365px;font-size:12px;color:var(--muted);margin:0;line-height:1.8}.pipeline{list-style:none;padding:0;margin:0 0 25px;display:grid;grid-template-columns:repeat(5,minmax(0,1fr));border-block:1px solid var(--line)}.pipeline li{position:relative;padding:15px 12px 15px 0;display:flex;gap:9px;align-items:center;color:#6f7b89;font-size:10px;min-width:0}.pipeline li+li{padding-left:15px}.pipeline span{font:9px var(--mono)}.pipeline b{font-weight:450}.pipeline li.active{color:var(--cyan)}.pipeline li.done{color:var(--green)}.pipeline li.active:after{content:"";position:absolute;height:2px;background:var(--cyan);bottom:-1px;left:0;right:12px}.hypotheses{display:grid;grid-template-columns:1fr 1fr;gap:28px}.hypotheses article{min-width:0}.hypotheses .tag{margin:0 0 9px;color:var(--cyan)}.hypotheses article+article .tag{color:var(--amber)}h2,h3{font-weight:500}.hypotheses h2{font-size:16px;line-height:1.5;letter-spacing:-.3px;margin:0 0 9px}.hypotheses p:not(.tag){font-size:11px;line-height:1.8;color:var(--muted);margin:0}.model-note{display:flex;gap:24px;align-items:baseline;border-left:2px solid #766c53;padding:12px 16px;background:#181712;margin:21px 0 28px}.model-note .tag{white-space:nowrap;color:var(--amber)}.model-note p{font-size:10px;line-height:1.8;color:#b2ac9e;margin:0}.panel,.registration,.result{border-top:1px solid var(--line);padding-top:18px;margin-top:25px}.section-title{display:flex;justify-content:space-between;align-items:center;gap:16px}.section-title h2,.section-title h3{font-size:13px;line-height:1.5;margin:0;letter-spacing:-.1px}.section-title .tag{text-align:right;font-size:8px}.formula{font:15px/1.8 var(--mono);color:#c9d6dd;padding:15px 0 3px;overflow-wrap:anywhere}.formula span{color:#667886;padding:0 10px}.small{font-size:10px;line-height:1.8;color:var(--muted)}.fields{display:grid;grid-template-columns:.7fr 1fr 1fr 1fr 1.8fr;gap:15px;margin-top:20px}.fields label>span{display:block;font-size:10px;color:var(--muted);margin-bottom:6px}.fields input,.fields select{font:11px var(--mono);height:37px}.design-count{font:10px/1.6 var(--mono);color:var(--cyan);margin:13px 0 16px}details{border-top:1px solid #232a31}summary{font-size:11px;padding:14px 0;cursor:pointer;color:#b9c6d2}summary::marker{color:#728494}pre{overflow:auto;border:1px solid var(--line);background:#0c1014;padding:13px;font:10px/1.65 var(--mono);color:#8799ab;max-height:280px;white-space:pre-wrap;overflow-wrap:anywhere}.criterion{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:20px;border-bottom:1px solid #22272d;padding:8px 0;font:10px/1.6 var(--mono)}.criterion span{color:var(--muted);overflow-wrap:anywhere}.criterion strong{color:#becbd5;font-weight:400}.badge{border:1px solid #5b513f;border-radius:3px;font:8px/1.5 var(--mono);letter-spacing:.3px;padding:4px 7px;color:var(--amber);text-align:center}.badge.success{border-color:#525a62;color:var(--green)}.registration-detail{font:10px/1.8 var(--mono);overflow-wrap:anywhere;color:#a7bcc5;margin:14px 0}.registration-detail small{display:block;color:var(--muted);font-size:9px}.action-bar{display:flex;justify-content:space-between;align-items:center;gap:15px}.buttons{display:flex;gap:10px;align-items:center;flex-wrap:wrap}.buttons button,.downloads button,.downloads a{font-size:11px}.execution{display:flex;justify-content:space-between;align-items:center;gap:25px;padding:20px;margin-top:25px;border:1px solid var(--line);background:var(--panel);border-radius:7px}.execution .tag{font-size:8px;margin:0 0 8px}.execution h2{font-size:17px;letter-spacing:-.4px;margin:0 0 8px}.execution p:not(.tag){font-size:10px;line-height:1.75;color:var(--green);margin:0}.execution .error{color:#e1b2a3!important;overflow-wrap:anywhere;max-width:760px}.execution .buttons{justify-content:flex-end}.empty-result{border:1px solid #222932;border-radius:7px;padding:48px 24px;text-align:center;margin-top:15px;background:linear-gradient(120deg,#0e1419,#0b0f13)}.empty-result p{font-size:11px;color:var(--muted);max-width:460px;margin:10px auto 0;line-height:1.8}.empty-glyph{font:32px var(--mono);letter-spacing:8px;color:#536c7a}.chart-grid{display:grid;grid-template-columns:minmax(0,1fr) 235px;gap:15px}.chart{margin:0;border:1px solid var(--line);border-radius:6px;background:#0e1115;min-width:0;overflow:hidden}.chart-controls{display:flex;align-items:center;gap:12px;border-bottom:1px solid #20262d;padding:11px 15px;font-size:10px;color:var(--muted)}.chart-controls select{max-width:205px;font-size:10px;padding:6px 10px}.chart-controls .tag{margin-left:auto;font-size:8px}#plot{display:block;width:100%;height:auto;aspect-ratio:760/370}#plot text{font:10px var(--mono);fill:#95a6b5}#plot .grid{stroke:#27313a;stroke-width:1}#plot .axis{stroke:#5b6b77;stroke-width:1}.chart figcaption{padding:0 16px 13px}.legend{display:flex;gap:15px;flex-wrap:wrap;font:10px var(--mono);color:#b5c0cd}.legend span{display:flex;align-items:center;gap:6px}.legend i{height:2px;width:14px;background:var(--cyan)}.legend .environment{background:var(--amber);height:0;border-top:2px dashed var(--amber)}.legend .global{background:#829694}.legend .mutual{background:#e4e9ed}.chart figcaption p{font-size:9px;line-height:1.6;color:#7b8d9b;margin-bottom:0}.metrics{border:1px solid var(--line);border-radius:6px;padding:17px 18px;background:var(--panel);min-width:0}.metrics>.tag{font-size:8px;margin:0 0 17px}.metrics dl{margin:0}.metrics dt{font-size:9px;color:var(--muted);margin-top:12px}.metrics dd{font:19px var(--mono);margin:4px 0;color:#bad0d6;overflow-wrap:anywhere}.metrics .small{font-size:9px;border-top:1px solid var(--line);padding-top:12px;margin:18px 0 0}.verification{margin-top:20px;border:1px solid var(--line);border-radius:6px;padding:17px}.verification h3{font-size:12px}.verification #verification-summary{font-size:11px;line-height:1.8;color:#cdd2d7;margin:14px 0}.verification #check-items{display:grid;grid-template-columns:1fr 1fr;gap:0 22px}.check{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:8px;padding:8px 0;border-bottom:1px solid #222932;font:9px/1.8 var(--mono)}.check span{color:#8ea0af;overflow-wrap:anywhere}.check strong{color:var(--green);font-weight:400;white-space:nowrap}.check.failed strong{color:#e1b2a3}.verification #independence{margin-bottom:0;font-size:9px}#table-details{margin-top:20px}.table-scroll{max-width:100%;overflow:auto;max-height:350px;border:1px solid var(--line);margin:12px 0 18px}table{border-collapse:collapse;min-width:750px;width:100%;font:9px var(--mono);text-align:right}th,td{padding:9px 12px;border-bottom:1px solid #242c35;white-space:nowrap}th{font-weight:400;color:#afbcc8}td{color:#8e9fae}thead{position:sticky;top:0;background:#161c23}.downloads{display:flex;flex-wrap:wrap;align-items:center;gap:10px;margin-top:18px}.downloads a{padding:8px;color:var(--cyan)}#snapshot-note{color:var(--amber);overflow-wrap:anywhere}.method{margin-top:32px}.method-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:28px;margin-top:16px}.method h3{font-size:12px;margin:0 0 8px}.method p{font-size:10px;line-height:1.9;color:var(--muted);margin:0}footer{max-width:1400px;padding:20px 5%;margin:auto;border-top:1px solid #242a31;display:flex;align-items:center;gap:25px;color:#7b8997;font-size:10px}footer>span{color:#acb6bf}footer p{flex:1;margin:0;font-size:9px}footer a{font-size:9px}noscript{padding:30px}@media(max-width:1000px){.fields{grid-template-columns:repeat(4,minmax(0,1fr))}.mode-field{grid-column:1/-1}.fields .mode-field select{max-width:420px}.chart-grid{grid-template-columns:minmax(0,1fr) 200px}.metrics{padding:15px}.execution{align-items:flex-start}.execution .buttons{min-width:200px}.pipeline li{font-size:9px}.pipeline li+li{padding-left:6px}.pipeline li{gap:6px}.formula{font-size:13px}.model-note{display:block}.model-note p{margin-top:5px}}@media(max-width:700px){.header{height:63px;padding:0 18px;gap:10px}.brand{font-size:13px;gap:7px}.header nav{gap:13px;font-size:10px}.header nav a:first-child{display:none}main{padding:25px 18px 35px}.heading{display:block;margin-bottom:22px}h1{font-size:27px}.eyebrow{font-size:7px;letter-spacing:.7px}.intro{margin-top:12px;font-size:11px;max-width:none}.pipeline{gap:0;margin-bottom:22px}.pipeline li,.pipeline li+li{display:block;padding:10px 4px}.pipeline b{display:block;font-size:8px;line-height:1.5;margin-top:4px;overflow-wrap:anywhere}.pipeline span{font-size:8px}.hypotheses{grid-template-columns:1fr;gap:19px}.hypotheses h2{font-size:15px}.hypotheses .tag{font-size:8px}.hypotheses p:not(.tag){font-size:10px}.model-note{margin:20px 0}.section-title h2{font-size:12px}.section-title .tag{font-size:7px;max-width:110px;overflow-wrap:anywhere}.fields{grid-template-columns:1fr 1fr;gap:12px}.fields label>span{font-size:9px}.mode-field{grid-column:1/-1}.formula{font-size:12px;line-height:2}.formula span{padding:0 3px}.action-bar,.execution{display:block}.action-bar>.small{display:block;margin-top:12px}.execution{padding:17px}.execution .buttons{justify-content:flex-start;margin-top:16px}.execution h2{font-size:16px}.buttons button,.downloads button,.downloads a{font-size:10px}.badge{font-size:7px;padding:4px 5px;max-width:46%;overflow-wrap:anywhere}.chart-grid{grid-template-columns:minmax(0,1fr)}.chart-controls{gap:8px;padding:10px}.chart-controls select{max-width:145px;font-size:9px}.chart-controls .tag{font-size:6px;text-align:right}.chart-controls label{font-size:9px}.chart figcaption{padding:0 10px 12px}.legend{gap:10px;font-size:8px}.metrics dl{display:grid;grid-template-columns:1fr 1fr;gap:5px 15px}.metrics dl>div{min-width:0}.metrics dt{margin-top:0}.metrics dd{font-size:17px;margin-bottom:12px}.metrics .small{margin-top:3px;padding-top:10px}.verification{padding:14px}.verification #check-items{grid-template-columns:1fr}.verification #verification-summary{font-size:10px}.method-grid{grid-template-columns:1fr;gap:20px}.method p{font-size:11px}.registration-detail{font-size:9px}.criterion{font-size:9px}.design-count{font-size:9px}.empty-result{padding:35px 20px}.empty-result p{font-size:10px}footer{padding:20px 18px;gap:15px}footer p{max-width:155px;font-size:8px}footer a{font-size:8px}}

.recurrence{display:grid;grid-template-columns:minmax(0,1fr) 200px;gap:30px;margin-top:17px;padding:17px;border:1px solid #4d493a;background:#141410;border-radius:6px}.recurrence h3{font-size:12px;margin:0 0 7px;font-weight:500}.recurrence p{margin:0;color:#a6a593}.recurrence strong{display:block;font:17px/1.8 var(--mono);color:var(--amber);margin-top:8px}.recurrence .tag{font-size:8px}.external-links{display:flex;gap:23px;flex-wrap:wrap;margin-top:20px;font-size:10px;color:var(--cyan)}@media(max-width:700px){.recurrence{grid-template-columns:1fr;gap:13px;padding:14px}.recurrence strong{font-size:16px;margin-top:3px}.recurrence .small{font-size:10px}.external-links{gap:15px;font-size:9px}}