:root{color-scheme:dark;--bg:#111;--fg:#eee;--mute:#9a9a9a;--faint:#787878;--line:rgba(255,255,255,.1);--line-strong:rgba(255,255,255,.22);--code-bg:#1a1a1a;--mono:ui-monospace,'SF Mono',Menlo,monospace;--pad:clamp(1.25rem,4vw,1.5rem);--max:36rem}
*,*::before,*::after{margin:0;padding:0;box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:2rem}body{background:var(--bg);color:var(--mute);font-family:ui-sans-serif,system-ui,-apple-system,sans-serif;font-size:16.5px;line-height:1.6;min-height:100vh;-webkit-font-smoothing:antialiased}::selection{background:#fff;color:#000}a{color:var(--fg);text-decoration:none}a:hover{color:#fff}button,input,a{touch-action:manipulation}button{font:inherit;cursor:pointer}a:focus-visible,button:focus-visible,summary:focus-visible,input:focus-visible{outline:1px solid var(--fg);outline-offset:5px}.skip{position:absolute;top:-100px;left:20px;background:var(--fg);color:var(--bg);padding:8px;z-index:2}.skip:focus{top:8px}.site-header{max-width:var(--max);margin:0 auto;padding:1.75rem var(--pad) 0;display:flex;align-items:center;justify-content:space-between;gap:1rem}.brand{color:var(--mute);font-size:.95rem;font-weight:500}#print{color:var(--faint);border:0;background:none;font-size:.75rem}#print:hover{color:var(--fg)}main{max-width:var(--max);margin:0 auto;padding:1.75rem var(--pad) 5rem}article h1{font-size:1.45rem;font-weight:600;letter-spacing:-.03em;line-height:1.25;color:var(--fg)}.post-meta{display:flex;flex-wrap:wrap;gap:.3rem 1rem;margin-top:.55rem;font-size:.85rem;color:var(--faint)}.post-meta time{font-size:.9rem}.article-body{margin-top:2.75rem}.article-body h2{color:var(--fg);font-size:1.12rem;font-weight:600;margin:2.75rem 0 1rem;letter-spacing:-.02em}.article-body h3{color:var(--fg);font-size:1rem;font-weight:600;margin:2rem 0 .65rem}.article-body p{font-size:1.02rem;line-height:1.8;margin-bottom:1.1rem}.article-body strong,.article-body b{color:var(--fg);font-weight:600}.article-body em{color:#b0b0b0}.article-body a{border-bottom:1px solid var(--line-strong)}.article-body a:hover{border-bottom-color:var(--fg)}.article-body ul,.article-body ol{font-size:1.02rem;line-height:1.8;margin-bottom:1.1rem;padding-left:1.3rem}.article-body li{margin-bottom:.35rem}.mono{font-family:var(--mono);font-size:.72rem;color:var(--faint)}
.semantic-labels{margin:1.5rem 0}.semantic-labels>div{display:grid;grid-template-columns:88px minmax(0,1fr);align-items:baseline;gap:.5rem;margin-bottom:.7rem}.semantic-labels p{margin:0;font-size:.9rem}.class-label{font-family:var(--mono);font-size:.75rem;color:#ddd}.logic-world{background:var(--code-bg);border:1px solid var(--line);border-radius:5px;padding:1.2rem;margin:1.5rem 0}.logic-world>.mono{font-size:.65rem}pre{font-family:var(--mono);font-size:.75rem;line-height:1.9;overflow-x:auto;margin:1rem 0;color:#c8c8c8}.world-answers{display:flex;flex-wrap:wrap;gap:.6rem 1.5rem;padding-top:.75rem;border-top:1px solid var(--line);font-size:.7rem}.world-answers span{display:flex;flex-direction:column}.world-answers b{font-family:var(--mono);font-size:.7rem}.table-scroll{overflow-x:auto;max-width:100%;overscroll-behavior-x:contain}table{width:100%;border-collapse:collapse;font-size:.77rem;line-height:1.75;text-align:left;font-variant-numeric:tabular-nums}caption{text-align:left;color:var(--faint);font-size:.73rem;padding-bottom:.75rem}th{font-size:.72rem;font-weight:500;color:#b6b6b6;border-bottom:1px solid var(--line-strong);padding:.6rem .75rem .6rem 0}td{border-bottom:1px solid var(--line);padding:.8rem .75rem .8rem 0;vertical-align:top}th:last-child,td:last-child{padding-right:0}.study-table td:first-child{font-family:var(--mono);font-size:.7rem}.study-table td:nth-child(2){width:35%}.article-body .caption,figcaption{font-size:.75rem;line-height:1.8;color:var(--faint);margin:.9rem 0 1.5rem}.source-link{font-size:.77rem;white-space:nowrap}
.research-figure{margin:2rem 0;padding:1.1rem 0 .3rem;border-block:1px solid var(--line)}.figure-heading{display:flex;flex-wrap:wrap;align-items:baseline;gap:.6rem}.figure-number{font-family:var(--mono);font-size:.65rem;color:var(--faint);text-transform:lowercase}.figure-heading h3{font-size:.82rem;margin:0;font-weight:500}.figure-unit{margin-left:auto;font-size:.65rem;font-family:var(--mono);color:var(--faint)}.legend{display:flex;flex-wrap:wrap;gap:.5rem 1.1rem;font-size:.68rem;margin:1.2rem 0 .6rem}.legend span{display:flex;gap:.45rem;align-items:center}.dot{width:7px;height:7px;display:inline-block}.control{background:#555}.treatment{background:#c4c4c4}.comparison-group{padding:.9rem 0}.comparison-group+.comparison-group{border-top:1px solid var(--line)}.seed-label{font-size:.72rem;color:#bbb;margin-bottom:.6rem}.bar-row{display:grid;grid-template-columns:75px minmax(0,1fr) 72px;align-items:center;gap:.75rem;margin:.6rem 0;font-size:.68rem}.bar-row>span:last-child{text-align:right;color:#ddd;font-family:var(--mono)}.bar-track{background:#222;height:9px}.bar-track i{display:block;height:100%}.gain-note{margin-top:.7rem;font-size:.7rem;color:#aaa;text-align:right}.figure-bottom{display:flex;justify-content:space-between;gap:1rem;font-size:.65rem;color:var(--faint);margin:.8rem 0}.research-figure figcaption{margin-bottom:.8rem}.objective{padding:1rem 1.1rem;background:var(--code-bg);border:1px solid var(--line);border-radius:5px;margin:1.5rem 0}.objective p{color:#ddd;font-family:var(--mono);font-size:.8rem;line-height:1.8;margin:.75rem 0;overflow-wrap:anywhere}.objective>span{font-size:.75rem;line-height:1.8;display:block}.interval-chart svg{display:block;width:100%;height:auto;margin:1.5rem 0 1rem;font-family:var(--mono);font-size:12px}.figure-toolbar{display:flex;align-items:center;justify-content:space-between;gap:1rem;flex-wrap:wrap;margin:1.1rem 0}.figure-toolbar>.mono{display:none}.segmented{display:flex;flex-wrap:wrap;gap:1rem}.segmented button{padding:.25rem 0;color:var(--faint);font-size:.73rem;line-height:1.5;background:none;border:0;border-bottom:1px solid transparent}.segmented button.active{color:var(--fg);border-bottom-color:#888}.segmented button:hover{color:#ddd}.threshold-row{display:grid;grid-template-columns:minmax(130px,1.3fr) minmax(40px,.7fr) 70px;gap:.9rem;padding:.8rem 0;align-items:center}.threshold-row b{font-size:.72rem;font-weight:400;display:block;color:#bbb}.threshold-row small{font-family:var(--mono);font-size:.62rem;color:var(--faint);display:block;margin-top:.2rem}.threshold-row strong{font-family:var(--mono);text-align:right;font-size:.8rem;font-weight:400}.threshold-row .bar-track{height:4px}.threshold-row .bar-track i{background:#aaa}
.case-study{border-block:1px solid var(--line);margin:1.5rem 0;padding:1rem 0}.case-toolbar{display:flex;justify-content:space-between;gap:1rem;flex-wrap:wrap;margin-bottom:1.5rem}.case-toolbar>.mono{display:none}.query>.mono{font-size:.67rem}.query h3{font-size:1rem;margin:.5rem 0}.query>.class-label{display:inline-block;margin-bottom:1rem;border-bottom:1px solid var(--line-strong)}.focus-facts{display:flex;gap:.6rem;flex-wrap:wrap;font-family:var(--mono);font-size:.73rem;padding:1rem 0;border-block:1px solid var(--line)}.fact{color:#bcbcbc}.fact.removed{color:#777;text-decoration:line-through}.fact.added{color:#ddd}.edit-toggle{display:flex;align-items:center;gap:.7rem;margin:1.25rem 0;font-size:.8rem;cursor:pointer}.edit-toggle input{accent-color:#aaa;width:15px;height:15px;flex-shrink:0}.switch{display:none}.toggle-detail{display:block;color:var(--faint);font-size:.7rem;margin-top:.2rem}.case-rules{color:var(--mute);font-family:var(--mono);margin:1.2rem 0}.case-rules p{font-size:.73rem;line-height:1.9;margin:0 0 .75rem}.prediction-table{font-size:.74rem}.prediction-table .class-label{font-size:.7rem}.verdict-wrong{color:#c3a5a1}.verdict-correct{color:#ccc}.article-body .case-interpretation{font-size:.82rem;margin:1rem 0}details{margin:1.1rem 0;font-size:.82rem}summary{cursor:pointer;color:#bbb;font-size:.8rem;padding:.35rem 0}details ul{margin-top:.75rem}.case-body details ul{font-size:.8rem}details .mono{overflow-wrap:anywhere;font-size:.65rem}.methods{margin:1rem 0}.methods>div{margin:1.5rem 0}.methods dt{font-size:.85rem;font-weight:600;color:#ddd;margin-bottom:.4rem}.methods dd{font-size:.9rem;line-height:1.85}.article-body .limitation{font-size:.9rem}.conclusion-line{margin:1.5rem 0;border-left:1px solid #555;padding-left:1rem}.conclusion-line p{font-size:1rem;margin-top:.65rem;color:#bbb}.record-links{margin:1.5rem 0}.record-links a{display:flex;align-items:baseline;justify-content:space-between;gap:1rem;padding:.6rem 0;font-size:.78rem;border-bottom:1px solid var(--line)}.record-links a span:last-child{white-space:nowrap;font-size:.68rem;color:var(--faint)}.article-body .appendix p{font-size:.85rem;margin-top:.5rem}.article-body .references{font-size:.8rem;color:var(--faint)}.references li{margin-bottom:.85rem}footer{margin-top:3.5rem;padding-top:1.5rem;border-top:1px solid var(--line);display:flex;justify-content:space-between;font-size:.85rem;gap:1rem}footer a{color:var(--mute)}.noscript{max-width:var(--max);padding:1rem var(--pad);margin:auto;font-size:.8rem}.data-error{border-left:1px solid #c3a5a1;padding-left:1rem}
@media(max-width:560px){.figure-unit{display:none}.bar-row{grid-template-columns:65px minmax(0,1fr) 65px;gap:.6rem}.semantic-labels>div{grid-template-columns:75px minmax(0,1fr)}.threshold-row{grid-template-columns:minmax(125px,1.3fr) minmax(20px,.5fr) 60px;gap:.65rem}.threshold-row strong{font-size:.73rem}.threshold-row b{font-size:.7rem}.threshold-row small{font-size:.6rem}.logic-world{padding:1rem}pre{font-size:.68rem}.record-links a{font-size:.74rem}.record-links a span:first-child{max-width:65%}.record-links a span:last-child{font-size:.65rem}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}
@media print{@page{margin:18mm;size:A4}:root{color-scheme:light;--bg:#fff;--fg:#111;--mute:#444;--faint:#666;--line:#ddd;--line-strong:#bbb;--code-bg:#f5f5f5}body{font-size:10pt}main{max-width:none;padding:1.5rem 0 0}.site-header{padding:0;max-width:none}#print,footer,.edit-toggle{display:none}.article-body{margin-top:1.5rem}.article-body p{font-size:10pt}.article-body strong,.article-body b,h1,h2,h3{color:#111}.article-body h2{margin-top:1.5rem;break-after:avoid}.research-figure,.case-study,.logic-world{break-inside:avoid}.logic-world pre,.objective p,.threshold-row b,.threshold-row strong,.class-label,.query h3,.methods dt{color:#222}.bar-track{background:#eee}.treatment,.threshold-row .bar-track i{background:#555}.interval-chart{color:#333}.table-scroll{overflow:visible}.case-toolbar:after{content:'saved example shown in the selected preview state';font-size:8pt;color:#666}details:not([open]){display:none}}

.proof{padding:1rem 1.1rem;background:var(--code-bg);border:1px solid var(--line);border-radius:5px;font-size:.78rem}.case-toolbar>.mono{display:block}