fieldset.svelte-d9oj9o{border:0;min-width:0;margin:0;padding:0}legend.svelte-d9oj9o,.run-label.svelte-d9oj9o{font:var(--text-xs)/var(--leading-body) var(--font-mono);color:var(--ink-muted)}legend.svelte-d9oj9o{margin-bottom:var(--space-4)}.settings.svelte-d9oj9o{align-items:end;gap:var(--space-3);grid-template-columns:1.2fr 1.4fr .7fr auto;display:grid}label.svelte-d9oj9o{min-width:0;font-size:var(--text-sm);color:var(--ink-body);display:block}select.svelte-d9oj9o{width:100%;min-height:44px;padding:var(--space-2) var(--space-3);margin-top:var(--space-2);border:1px solid var(--border-strong);border-radius:var(--radius-sm);background:var(--surface);color:var(--ink);font:inherit;display:block}.run-label.svelte-d9oj9o{margin-block:var(--space-4) var(--space-6);overflow-wrap:anywhere}.prediction.svelte-d9oj9o{padding:var(--space-4);background:var(--accent-soft);border-left:2px solid var(--accent-ink)}.prediction.svelte-d9oj9o select:where(.svelte-d9oj9o){max-width:24rem;font-size:var(--text-sm)}.prediction.svelte-d9oj9o p:where(.svelte-d9oj9o){margin-top:var(--space-3);font-size:var(--text-base);line-height:var(--leading-prose)}.actions.svelte-d9oj9o{gap:var(--space-3);margin-top:var(--space-5);flex-wrap:wrap;display:flex}.feedback.svelte-d9oj9o{margin-top:var(--space-4);min-height:3em;font-size:var(--text-base);line-height:var(--leading-prose);color:var(--ink-body)}.metrics.svelte-d9oj9o{gap:var(--space-4);padding-block:var(--space-5);border-block:1px solid var(--border);margin-block:var(--space-5);grid-template-columns:repeat(4,minmax(0,1fr));display:grid}dt.svelte-d9oj9o{font-size:var(--text-xs);color:var(--ink-muted)}dd.svelte-d9oj9o{margin:var(--space-2) 0 0;font-size:var(--text-2xl);color:var(--ink);font-family:var(--font-mono)}dd.svelte-d9oj9o span:where(.svelte-d9oj9o){font-family:var(--font-body);font-size:var(--text-xs);color:var(--ink-muted);display:block}.workers.svelte-d9oj9o{gap:var(--space-3);grid-template-columns:repeat(auto-fit,minmax(12rem,1fr));display:grid}.worker.svelte-d9oj9o{gap:var(--space-3);border:1px solid var(--border);border-radius:var(--radius-md);padding:var(--space-4);font-size:var(--text-sm);justify-items:start;display:grid}.worker.svelte-d9oj9o strong:where(.svelte-d9oj9o){font-family:var(--font-mono);color:var(--accent-ink);font-weight:500}.worker.svelte-d9oj9o span:where(.svelte-d9oj9o){color:var(--ink-muted)}.offline.svelte-d9oj9o{background:var(--surface-sunken);border-style:dashed}.table-wrap.svelte-d9oj9o{margin-top:var(--space-6);overflow-x:auto}table.svelte-d9oj9o{border-collapse:collapse;text-align:left;width:100%;min-width:38rem;font-size:var(--text-sm)}caption.svelte-d9oj9o{text-align:left;color:var(--ink-muted);margin-bottom:var(--space-3)}th.svelte-d9oj9o,td.svelte-d9oj9o{padding:var(--space-3);border-bottom:1px solid var(--border);vertical-align:top}th.svelte-d9oj9o{color:var(--ink);font-weight:500}td.svelte-d9oj9o{color:var(--ink-body)}small.svelte-d9oj9o{color:var(--ink-muted);margin-top:var(--space-1);font-size:var(--text-xs);display:block}.evidence.svelte-d9oj9o{gap:var(--space-6);margin-top:var(--space-8);grid-template-columns:1fr 1fr;display:grid}.evidence.svelte-d9oj9o section:where(.svelte-d9oj9o){min-width:0}h4.svelte-d9oj9o{font-size:var(--text-md);margin-bottom:var(--space-4);font-weight:500}.artifact.svelte-d9oj9o+.artifact:where(.svelte-d9oj9o){margin-top:var(--space-4)}.artifact.svelte-d9oj9o>p:where(.svelte-d9oj9o){overflow-wrap:anywhere;font:var(--text-xs)/var(--leading-body) var(--font-mono);margin-bottom:var(--space-2)}.artifact.svelte-d9oj9o>p:where(.svelte-d9oj9o) span:where(.svelte-d9oj9o){color:var(--ink-muted)}pre.svelte-d9oj9o{font-size:var(--text-xs);margin:var(--space-3) 0 0;overflow-x:auto}.empty.svelte-d9oj9o{color:var(--ink-muted);font-size:var(--text-xs);margin-top:var(--space-3);line-height:var(--leading-prose)}.events.svelte-d9oj9o{font-size:var(--text-sm);line-height:var(--leading-body);padding:0;list-style:none}.events.svelte-d9oj9o li:where(.svelte-d9oj9o){border-left:1px solid var(--border-strong);padding:0 0 var(--space-4) var(--space-4)}.events.svelte-d9oj9o li:where(.svelte-d9oj9o)>p:where(.svelte-d9oj9o):first-child{color:var(--ink-muted);font:var(--text-xs)/var(--leading-body) var(--font-mono)}.events.svelte-d9oj9o strong:where(.svelte-d9oj9o){margin-block:var(--space-1);color:var(--ink);font-weight:500;display:block}.events.svelte-d9oj9o p:where(.svelte-d9oj9o){color:var(--ink-muted)}@media (width<=64rem){.settings.svelte-d9oj9o{grid-template-columns:1fr 1fr}}@media (width<=48rem){.evidence.svelte-d9oj9o{grid-template-columns:1fr}.metrics.svelte-d9oj9o{grid-template-columns:1fr 1fr}}@media (width<=30rem){.settings.svelte-d9oj9o,.workers.svelte-d9oj9o{grid-template-columns:1fr}}.case-study.svelte-1inswrx{padding-block:var(--space-16)}a.svelte-1inswrx{color:var(--accent-ink);text-underline-offset:4px}.back.svelte-1inswrx{font-size:var(--text-base)}.case-hero.svelte-1inswrx{max-width:62rem}.eyebrow.svelte-1inswrx{align-items:center;gap:var(--space-4);font:var(--text-xs)/var(--leading-body) var(--font-mono);color:var(--accent-ink);margin-block:var(--space-8) var(--space-5);flex-wrap:wrap;display:flex}h1.svelte-1inswrx{letter-spacing:var(--tracking-hero);font-size:clamp(2.3rem,5.2vw,4.4rem);line-height:1.1}h1.svelte-1inswrx span:where(.svelte-1inswrx){background:var(--hero-gradient);-webkit-text-fill-color:transparent;-webkit-background-clip:text;background-clip:text}.lead.svelte-1inswrx{max-width:48rem;margin-top:var(--space-6);font-size:var(--text-lg);line-height:var(--leading-prose);color:var(--ink-body)}.intro.svelte-1inswrx{max-width:44rem;margin-top:var(--space-4);font-size:var(--text-md);color:var(--ink-muted);line-height:var(--leading-prose)}.scope-strip.svelte-1inswrx{gap:var(--space-2) var(--space-5);margin-top:var(--space-6);font:var(--text-xs)/var(--leading-body) var(--font-mono);color:var(--ink-muted);flex-wrap:wrap;display:flex}nav.svelte-1inswrx{gap:var(--space-2);margin-top:var(--space-8);flex-wrap:wrap;display:flex}nav.svelte-1inswrx a:where(.svelte-1inswrx){min-height:44px;padding:var(--space-2) var(--space-4);border:1px solid var(--border);border-radius:var(--radius-pill);color:var(--ink-body);font-size:var(--text-base);align-items:center;text-decoration:none;display:inline-flex}nav.svelte-1inswrx a:where(.svelte-1inswrx):hover{background:var(--accent-soft);color:var(--accent-ink)}h2.svelte-1inswrx{font-size:clamp(1.4rem,2.6vw,1.9rem);line-height:var(--leading-snug);letter-spacing:var(--tracking-tight)}h3.svelte-1inswrx{font-size:var(--text-xl);line-height:var(--leading-snug);letter-spacing:var(--tracking-tight)}.kicker.svelte-1inswrx{font:var(--text-xs)/var(--leading-body) var(--font-mono);color:var(--accent-ink);margin-bottom:var(--space-3)}.case-file.svelte-1inswrx{gap:var(--space-10);padding-block:var(--space-8);border-block:1px solid var(--border);margin-top:var(--space-12);grid-template-columns:1.2fr 1fr;display:grid}.case-file.svelte-1inswrx p:where(.svelte-1inswrx):not(.kicker),.case-file.svelte-1inswrx dd:where(.svelte-1inswrx){font-size:var(--text-base);line-height:var(--leading-prose);color:var(--ink-muted);margin-top:var(--space-3)}.case-file.svelte-1inswrx dl:where(.svelte-1inswrx){gap:var(--space-4);margin:0;display:grid}.case-file.svelte-1inswrx dt:where(.svelte-1inswrx){font-size:var(--text-base);color:var(--ink);font-weight:500}.case-file.svelte-1inswrx dd:where(.svelte-1inswrx){margin-left:0;margin-top:var(--space-1)}.commit-strip.svelte-1inswrx{margin-top:var(--space-8);border:1px solid var(--border);border-radius:var(--radius-lg);grid-template-columns:repeat(3,minmax(0,1fr));padding:0;list-style:none;display:grid;overflow:hidden}.commit-strip.svelte-1inswrx li:where(.svelte-1inswrx){padding:var(--space-5);background:var(--surface-raised)}.commit-strip.svelte-1inswrx li:where(.svelte-1inswrx)+li:where(.svelte-1inswrx){border-left:1px solid var(--border)}.commit-strip.svelte-1inswrx span:where(.svelte-1inswrx){font:var(--text-xs)/var(--leading-body) var(--font-mono);color:var(--accent-ink);display:block}.commit-strip.svelte-1inswrx strong:where(.svelte-1inswrx){color:var(--ink);font-size:var(--text-md);margin-top:var(--space-3);font-weight:500;display:block}.commit-strip.svelte-1inswrx p:where(.svelte-1inswrx){font-size:var(--text-sm);color:var(--ink-muted);margin-top:var(--space-2)}.chapter-section.svelte-1inswrx{margin-block:var(--space-16);min-width:0}.chapters.svelte-1inswrx{margin-top:var(--space-8)}.chapter.svelte-1inswrx{gap:var(--space-8);padding-block:var(--space-8);border-top:1px solid var(--border);grid-template-columns:7rem minmax(0,1fr);display:grid}.chapter-number.svelte-1inswrx{font:var(--text-3xl)/1 var(--font-mono);color:var(--accent-ink)}.chapter-number.svelte-1inswrx span:where(.svelte-1inswrx){font-size:var(--text-xs);line-height:var(--leading-body);margin-top:var(--space-3);color:var(--ink-muted);display:block}.chapter-body.svelte-1inswrx{min-width:0}.chapter-body.svelte-1inswrx>p:where(.svelte-1inswrx),.section-intro.svelte-1inswrx,.detail.svelte-1inswrx p:where(.svelte-1inswrx),.finding.svelte-1inswrx p:where(.svelte-1inswrx),.proof-grid.svelte-1inswrx p:where(.svelte-1inswrx),.proof-grid.svelte-1inswrx li:where(.svelte-1inswrx){font-size:var(--text-base);line-height:var(--leading-prose);color:var(--ink-muted)}.chapter-body.svelte-1inswrx>p:where(.svelte-1inswrx),.detail.svelte-1inswrx p:where(.svelte-1inswrx)+p:where(.svelte-1inswrx),.proof-grid.svelte-1inswrx p:where(.svelte-1inswrx)+p:where(.svelte-1inswrx){margin-top:var(--space-4)}.chapter-body.svelte-1inswrx>.code-block{margin-top:var(--space-5)}.chapter-body.svelte-1inswrx .decision:where(.svelte-1inswrx){padding:var(--space-4) var(--space-5);border-left:2px solid var(--accent-ink);background:var(--accent-soft);color:var(--ink-body)}.decision.svelte-1inswrx strong:where(.svelte-1inswrx){color:var(--ink);font-weight:500}.section-intro.svelte-1inswrx{max-width:52rem;margin-block:var(--space-4) var(--space-6)}.trace-table.svelte-1inswrx{border:1px solid var(--border);border-radius:var(--radius-lg);overflow-x:auto}table.svelte-1inswrx{border-collapse:collapse;text-align:left;width:100%;min-width:38rem;font-size:var(--text-base);line-height:var(--leading-body)}caption.svelte-1inswrx{text-align:left;padding:var(--space-4);color:var(--ink-muted);font-size:var(--text-sm)}th.svelte-1inswrx,td.svelte-1inswrx{padding:var(--space-4);border-top:1px solid var(--border);vertical-align:top}th.svelte-1inswrx{color:var(--ink);font-weight:500}td.svelte-1inswrx{color:var(--ink-muted)}thead.svelte-1inswrx{background:var(--surface-raised)}.two-up.svelte-1inswrx,.proof-grid.svelte-1inswrx{gap:var(--space-6);margin-block:var(--space-6);grid-template-columns:repeat(2,minmax(0,1fr));display:grid}.finding.svelte-1inswrx{border-top:1px solid var(--border);padding-top:var(--space-5)}.finding.svelte-1inswrx p:where(.svelte-1inswrx){margin-top:var(--space-3)}.detail.svelte-1inswrx{padding-top:var(--space-3)}.detail.svelte-1inswrx .code-block{margin-block:var(--space-5)}.proof-grid.svelte-1inswrx{padding-block:var(--space-5);border-block:1px solid var(--border)}.proof-grid.svelte-1inswrx ul:where(.svelte-1inswrx){padding-left:var(--space-5);margin:0}.proof-grid.svelte-1inswrx li:where(.svelte-1inswrx)+li:where(.svelte-1inswrx){margin-top:var(--space-2)}.source-files.svelte-1inswrx,.limits.svelte-1inswrx{gap:var(--space-4);margin-top:var(--space-6);grid-template-columns:minmax(0,1fr);display:grid}.connections.svelte-1inswrx{gap:var(--space-6);margin-top:var(--space-6);grid-template-columns:1fr 1fr;display:grid}.connections.svelte-1inswrx>div:where(.svelte-1inswrx){border-top:1px solid var(--border);padding-top:var(--space-4)}.connections.svelte-1inswrx dt:where(.svelte-1inswrx){font-size:var(--text-md);color:var(--ink)}.connections.svelte-1inswrx dd:where(.svelte-1inswrx){margin:var(--space-2) 0 0;font-size:var(--text-base);color:var(--ink-muted);line-height:var(--leading-prose)}@media (width<=48rem){.case-study.svelte-1inswrx{padding-block:var(--space-10)}.case-file.svelte-1inswrx,.two-up.svelte-1inswrx,.proof-grid.svelte-1inswrx,.connections.svelte-1inswrx{grid-template-columns:1fr}.chapter.svelte-1inswrx{gap:var(--space-4);grid-template-columns:1fr}.chapter-number.svelte-1inswrx{align-items:center;gap:var(--space-4);font-size:var(--text-xl);display:flex}.chapter-number.svelte-1inswrx span:where(.svelte-1inswrx){margin:0}.commit-strip.svelte-1inswrx{grid-template-columns:1fr}.commit-strip.svelte-1inswrx li:where(.svelte-1inswrx)+li:where(.svelte-1inswrx){border-left:0;border-top:1px solid var(--border)}}