:root{--duration-normal: .2s;--ease-out-smooth: cubic-bezier(.16, 1, .3, 1);--brand-1: hsl(180, 29%, 17%);--brand-2: hsl(180, 36%, 22%);--brand-3: hsl(166, 30%, 29%);--brand-4: hsl(166, 55%, 31%);--brand-5: oklch(.5726 .1056 177.0838);--brand-6: hsl(148, 44%, 47%);--brand-7: hsl(144, 55%, 57%);--brand-8: hsl(144, 73%, 68%);--brand-9: hsl(133, 54%, 78%);--brand-10: rgb(184, 239, 196);--brand-11: #d0f1d1;--brand-12: #e4f6e5;--brand: var(--brand-5);--highlight: hsl(214, 100%, 97%);--highlight-fragment: hsl(214, 100%, 93%);--link: lch(44.196 70 286.91);--link-hover: lch(38 70 286.91);--background: oklch(.98 0 0);--panel: white;--panel-background: var(--background);--foreground: oklch(.2686 0 0);--card: oklch(1 0 0);--card-foreground: oklch(.2686 0 0);--popover: oklch(1 0 0);--popover-foreground: oklch(.2686 0 0);--primary: var(--brand);--primary-foreground: oklch(1 0 0);--secondary: var(--highlight);--secondary-foreground: oklch(0 0 0);--muted: oklch(.9846 .0017 247.8389);--muted-foreground: oklch(.551 .0234 264.3637);--icon: #757575;--accent: oklch(.9552 .0294 146.9093);--accent-foreground: oklch(0 0 0);--destructive: oklch(.6368 .2078 25.3313);--destructive-foreground: oklch(1 0 0);--border: oklch(.9276 .0058 264.5313);--input: var(--muted);--ring: oklch(.5726 .1056 177.0838);--selection: color-mix(in oklab, var(--primary) 22%, transparent);--selection-strong: color-mix(in oklab, var(--primary) 30%, transparent);--chart-1: oklch(.7686 .1647 70.0804);--chart-2: oklch(.6658 .1574 58.3183);--chart-3: oklch(.5553 .1455 48.9975);--chart-4: oklch(.4732 .1247 46.2007);--chart-5: oklch(.4137 .1054 45.9038);--sidebar: oklch(.9846 .0017 247.8389);--sidebar-foreground: oklch(.2686 0 0);--sidebar-primary: oklch(.5726 .1056 177.0838);--sidebar-primary-foreground: oklch(1 0 0);--sidebar-accent: oklch(.9552 .0294 146.9093);--sidebar-accent-foreground: oklch(0 0 0);--sidebar-border: oklch(.9276 .0058 264.5313);--sidebar-ring: oklch(.5726 .1056 177.0838);--font-sans: ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, "Noto Sans", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-serif: Georgia, "Times New Roman", Times, "Source Serif 4", serif;--font-mono: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--radius: .375rem;--shadow-2xs: 0px 4px 8px -1px hsl(0 0% 0% / .05);--shadow-xs: 0px 4px 8px -1px hsl(0 0% 0% / .05);--shadow-sm: 0px 4px 8px -1px hsl(0 0% 0% / .1), 0px 1px 2px -2px hsl(0 0% 0% / .1);--shadow: 0px 4px 8px -1px hsl(0 0% 0% / .1), 0px 1px 2px -2px hsl(0 0% 0% / .1);--shadow-md: 0px 4px 8px -1px hsl(0 0% 0% / .1), 0px 2px 4px -2px hsl(0 0% 0% / .1);--shadow-lg: 0px 4px 8px -1px hsl(0 0% 0% / .1), 0px 4px 6px -2px hsl(0 0% 0% / .1);--shadow-xl: 0px 4px 8px -1px hsl(0 0% 0% / .1), 0px 8px 10px -2px hsl(0 0% 0% / .1);--shadow-2xl: 0px 4px 8px -1px hsl(0 0% 0% / .25);--hljs-comment: #71717a;--hljs-red: #ef4444;--hljs-orange: #f97316;--hljs-green: #22c55e;--hljs-yellow: #ca8a04;--hljs-blue: #3b82f6}.dark{--brand-1: hsl(123, 50%, 93%);--brand-2: hsl(122, 53%, 88%);--brand-3: hsl(133, 63%, 83%);--brand-4: hsl(133, 54%, 78%);--brand-5: hsl(144, 73%, 68%);--brand-6: hsl(144, 55%, 57%);--brand-7: hsl(148, 44%, 47%);--brand-8: oklch(.5726 .1056 177.0838);--brand-9: hsl(166, 55%, 31%);--brand-10: hsl(166, 30%, 29%);--brand-11: hsl(180, 36%, 22%);--brand-12: hsl(180, 29%, 17%);--brand: var(--brand-8);--highlight: hsl(214, 48%, 22%);--highlight-fragment: var(--highlight);--link: lch(59.472 70 288.421);--link-hover: lch(65 70 288.421);--background: oklch(.2046 0 0);--panel-background: black;--panel: var(--background);--foreground: oklch(.9219 0 0);--card: oklch(.2686 0 0);--card-foreground: oklch(.9219 0 0);--popover: oklch(.2686 0 0);--popover-foreground: oklch(.9219 0 0);--primary: oklch(.5726 .1056 177.0838);--primary-foreground: oklch(1 0 0);--secondary: oklch(.9258 .055 145.9246);--secondary-foreground: oklch(0 0 0);--muted: oklch(.2686 0 0);--muted-foreground: oklch(.7155 0 0);--icon: oklch(.7155 0 0);--accent: oklch(.3564 .0649 179.3744);--accent-foreground: oklch(1 0 0);--destructive: oklch(.6368 .2078 25.3313);--destructive-foreground: oklch(1 0 0);--border: oklch(.2686 0 0);--input: var(--muted);--ring: oklch(.7155 0 0);--selection: color-mix(in oklab, var(--primary) 32%, transparent);--selection-strong: color-mix(in oklab, var(--primary) 40%, transparent);--chart-1: oklch(.8369 .1644 84.4286);--chart-2: oklch(.6658 .1574 58.3183);--chart-3: oklch(.4732 .1247 46.2007);--chart-4: oklch(.5553 .1455 48.9975);--chart-5: oklch(.4732 .1247 46.2007);--sidebar: oklch(.1684 0 0);--sidebar-foreground: oklch(.9219 0 0);--sidebar-primary: oklch(.5261 .088 173.2501);--sidebar-primary-foreground: oklch(1 0 0);--sidebar-accent: oklch(.3876 .0451 195.4511);--sidebar-accent-foreground: oklch(1 0 0);--sidebar-border: oklch(.3876 .0451 195.4511);--sidebar-ring: oklch(.3876 .0451 195.4511);--font-sans: ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, "Noto Sans", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-serif: Source Serif 4, serif;--font-mono: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--radius: .375rem;--shadow-2xs: 0px 4px 8px -1px hsl(0 0% 0% / .05);--shadow-xs: 0px 4px 8px -1px hsl(0 0% 0% / .05);--shadow-sm: 0px 4px 8px -1px hsl(0 0% 0% / .1), 0px 1px 2px -2px hsl(0 0% 0% / .1);--shadow: 0px 4px 8px -1px hsl(0 0% 0% / .1), 0px 1px 2px -2px hsl(0 0% 0% / .1);--shadow-md: 0px 4px 8px -1px hsl(0 0% 0% / .1), 0px 2px 4px -2px hsl(0 0% 0% / .1);--shadow-lg: 0px 4px 8px -1px hsl(0 0% 0% / .1), 0px 4px 6px -2px hsl(0 0% 0% / .1);--shadow-xl: 0px 4px 8px -1px hsl(0 0% 0% / .1), 0px 8px 10px -2px hsl(0 0% 0% / .1);--shadow-2xl: 0px 4px 8px -1px hsl(0 0% 0% / .25);--hljs-comment: #a1a1aa;--hljs-red: #f87171;--hljs-orange: #fb923c;--hljs-green: #4ade80;--hljs-yellow: #eab308;--hljs-blue: #60a5fa}@theme inline{ --color-brand: var(--brand); --color-brand-1: var(--brand-1); --color-brand-2: var(--brand-2); --color-brand-3: var(--brand-3); --color-brand-4: var(--brand-4); --color-brand-5: var(--brand-5); --color-brand-6: var(--brand-6); --color-brand-7: var(--brand-7); --color-brand-8: var(--brand-8); --color-brand-9: var(--brand-9); --color-brand-10: var(--brand-10); --color-brand-11: var(--brand-11); --color-brand-12: var(--brand-12); --color-highlight: var(--highlight); --color-link: var(--link); --color-link-hover: var(--link-hover); --color-background: var(--background); --color-panel: var(--panel); --color-panel-background: var(--panel-background); --color-foreground: var(--foreground); --color-card: var(--card); --color-card-foreground: var(--card-foreground); --color-popover: var(--popover); --color-popover-foreground: var(--popover-foreground); --color-primary: var(--primary); --color-primary-foreground: var(--primary-foreground); --color-secondary: var(--secondary); --color-secondary-foreground: var(--secondary-foreground); --color-muted: var(--muted); --color-muted-foreground: var(--muted-foreground); --color-icon: var(--icon); --color-accent: var(--accent); --color-accent-foreground: var(--accent-foreground); --color-destructive: var(--destructive); --color-destructive-foreground: var(--destructive-foreground); --color-border: var(--border); --color-input: var(--input); --color-ring: var(--ring); --color-selection: var(--selection); --color-selection-strong: var(--selection-strong); --color-chart-1: var(--chart-1); --color-chart-2: var(--chart-2); --color-chart-3: var(--chart-3); --color-chart-4: var(--chart-4); --color-chart-5: var(--chart-5); --color-sidebar: var(--sidebar); --color-sidebar-foreground: var(--sidebar-foreground); --color-sidebar-primary: var(--sidebar-primary); --color-sidebar-primary-foreground: var(--sidebar-primary-foreground); --color-sidebar-accent: var(--sidebar-accent); --color-sidebar-accent-foreground: var(--sidebar-accent-foreground); --color-sidebar-border: var(--sidebar-border); --color-sidebar-ring: var(--sidebar-ring); --font-sans: var(--font-sans); --font-mono: var(--font-mono); --font-serif: var(--font-serif); --radius-sm: calc(var(--radius) - 4px); --radius-md: calc(var(--radius) - 2px); --radius-lg: var(--radius); --radius-xl: calc(var(--radius) + 4px); --shadow-2xs: var(--shadow-2xs); --shadow-xs: var(--shadow-xs); --shadow-sm: var(--shadow-sm); --shadow: var(--shadow); --shadow-md: var(--shadow-md); --shadow-lg: var(--shadow-lg); --shadow-xl: var(--shadow-xl); --shadow-2xl: var(--shadow-2xl); }:is(.hm-prose [data-node-type=blockNode],[data-resourceid],.ProseMirror td,.ProseMirror th,.highlight-transition,.bn-range-highlight-focus){transition:background-color var(--duration-normal) var(--ease-out-smooth)}@media(prefers-reduced-motion:reduce){:is(.hm-prose [data-node-type=blockNode],[data-resourceid],.ProseMirror td,.ProseMirror th,.highlight-transition,.bn-range-highlight-focus){transition:none}}.comments-view[data-comments-view=thread]{animation:comments-enter-thread var(--duration-normal) var(--ease-out-smooth)}.comments-view[data-comments-view=roots]{animation:comments-return-roots var(--duration-normal) var(--ease-out-smooth)}@keyframes comments-enter-thread{0%{opacity:0;transform:translate(2rem)}to{opacity:1;transform:translate(0)}}@keyframes comments-return-roots{0%{opacity:0;transform:translate(-2rem)}to{opacity:1;transform:translate(0)}}@media(prefers-reduced-motion:reduce){.comments-view{animation:none!important}}.site-sidebar-drawer[data-state=open]{animation:site-sidebar-enter var(--duration-normal) var(--ease-out-smooth) both}.site-sidebar-drawer[data-state=closed]{animation:site-sidebar-exit var(--duration-normal) var(--ease-out-smooth) both}@keyframes site-sidebar-enter{0%{transform:translate(-100%)}to{transform:translate(0)}}@keyframes site-sidebar-exit{0%{transform:translate(0)}to{transform:translate(100vw)}}@media(prefers-reduced-motion:reduce){.site-sidebar-drawer[data-state]{animation:none}}:root{font-family:var(--font-sans);color:var(--foreground);background:var(--background);font-synthesis:none;--lab-space-1: .25rem;--lab-space-2: .5rem;--lab-space-3: .75rem;--lab-space-4: 1rem;--lab-space-5: 1.5rem;--lab-space-6: 2rem;--lab-space-7: 3rem;--lab-warning: #8b5900;--lab-warning-bg: #fff8e8;--lab-failure: #a33c27}*{box-sizing:border-box}body{margin:0}button,input,select{font:inherit}button,a,select,input{transition:background var(--duration-normal) var(--ease-out-smooth),border-color var(--duration-normal) var(--ease-out-smooth),transform var(--duration-normal) var(--ease-out-smooth)}button{color:inherit;cursor:pointer;border:0;background:none}button:disabled{opacity:.4;cursor:not-allowed}button:active:not(:disabled){transform:translateY(1px)}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible{outline:2px solid var(--ring);outline-offset:3px}a{color:var(--brand);text-decoration:none}a:hover{text-decoration:underline}.lab-shell{display:grid;grid-template-columns:244px minmax(0,1fr);min-height:100vh}.sidebar{background:var(--panel);border-right:1px solid var(--border);display:flex;flex-direction:column;padding:var(--lab-space-6) var(--lab-space-4);gap:var(--lab-space-6)}.wordmark{display:flex;gap:var(--lab-space-3);align-items:center;padding:0 var(--lab-space-3);color:var(--foreground);font-family:var(--font-serif);font-size:1.6rem;line-height:1.1}.wordmark:hover{text-decoration:none}.wordmark svg{color:var(--brand)}.wordmark-sub{display:block;font-family:var(--font-mono);font-size:.65rem;letter-spacing:.09em;text-transform:uppercase;color:var(--muted-foreground);margin-top:var(--lab-space-2)}.catalogue-label{display:flex;justify-content:space-between;padding:0 var(--lab-space-3);font-size:.58rem;font-weight:600;letter-spacing:.12em;color:var(--muted-foreground)}.catalogue-label span{font-family:var(--font-mono)}.sidebar nav{display:flex;flex-direction:column;gap:var(--lab-space-1);margin-top:calc(-1 * var(--lab-space-4))}.journey-link{width:100%;display:flex;align-items:center;text-align:left;gap:var(--lab-space-3);padding:var(--lab-space-3);border-radius:var(--radius);font-size:.75rem;line-height:1.4}.journey-link small{display:block;color:var(--muted-foreground);font-size:.61rem;margin-top:var(--lab-space-1)}.journey-number{font-family:var(--font-mono);font-size:.65rem;color:var(--muted-foreground)}.journey-link svg{margin-left:auto}.journey-link:hover{background:var(--background)}.journey-link.active{background:color-mix(in oklab,var(--brand) 7%,transparent);color:var(--brand-2)}.sidebar-bottom{margin-top:auto;padding:var(--lab-space-5) var(--lab-space-3) 0;border-top:1px solid var(--border);display:flex;gap:var(--lab-space-3);align-items:flex-start;color:var(--muted-foreground)}.sidebar-bottom p{margin:0;font-size:.65rem;line-height:1.8}.sidebar-bottom strong{font-weight:500;color:var(--foreground)}main{min-width:0}.topbar{height:64px;padding:0 var(--lab-space-7);border-bottom:1px solid var(--border);display:flex;align-items:center;justify-content:space-between;background:var(--panel)}.topbar>span{display:flex;align-items:center;gap:var(--lab-space-3);font-size:.59rem;letter-spacing:.1em;color:var(--muted-foreground)}.topbar .small-status{font-size:.65rem;letter-spacing:0}.status-dot{display:inline-block;width:5px;height:5px;background:var(--brand);border-radius:50%;flex-shrink:0}.workspace{max-width:1536px;margin:auto;padding:var(--lab-space-7)}.page-heading{display:flex;gap:var(--lab-space-5);align-items:center;justify-content:space-between;margin-bottom:var(--lab-space-6)}.eyebrow{font-family:var(--font-mono);font-size:.58rem;letter-spacing:.08em;color:var(--muted-foreground);font-weight:500}h1{font-family:var(--font-serif);font-size:clamp(1.8rem,3vw,2.7rem);font-weight:400;letter-spacing:-.035em;margin:var(--lab-space-3) 0}h1>span{color:var(--brand)}.page-heading p{font-size:.78rem;color:var(--muted-foreground);margin:0;line-height:1.65}.pilot-label{display:flex;align-items:center;gap:var(--lab-space-2);padding:var(--lab-space-2) var(--lab-space-3);border:1px solid var(--border);border-radius:var(--radius);font-family:var(--font-mono);font-size:.58rem;color:var(--muted-foreground);white-space:nowrap}.tabs{display:flex;align-items:center;gap:var(--lab-space-5);border-bottom:1px solid var(--border);margin-bottom:var(--lab-space-6)}.tabs button{display:flex;align-items:center;gap:var(--lab-space-2);padding:var(--lab-space-3) 0 var(--lab-space-4);border-bottom:2px solid transparent;font-size:.73rem;color:var(--muted-foreground)}.tabs button[aria-selected=true]{color:var(--foreground);border-color:var(--brand)}.tabs button:hover{color:var(--brand)}.tabs .import-button{margin-left:auto;font-size:.67rem}.control-bar{display:flex;align-items:center;gap:var(--lab-space-5);background:var(--panel);padding:var(--lab-space-4) var(--lab-space-5);border:1px solid var(--border);border-radius:var(--radius);box-shadow:var(--shadow-2xs)}.control-bar label{display:flex;flex-direction:column;gap:var(--lab-space-2);font-family:var(--font-mono);font-size:.55rem;letter-spacing:.09em;color:var(--muted-foreground)}.scenario-picker{flex:1}.scenario-picker select{border:0;background:transparent;font-family:var(--font-sans);font-size:.78rem;color:var(--foreground);width:100%;padding-right:var(--lab-space-4)}.seed-picker{border-left:1px solid var(--border);padding-left:var(--lab-space-5)}.seed-picker input{border:0;width:84px;font-family:var(--font-mono);font-size:.75rem;color:var(--foreground);background:transparent}.playback{display:flex;align-items:center;gap:var(--lab-space-2)}.icon-button,.step-button,.primary-button{display:inline-flex;align-items:center;justify-content:center;gap:var(--lab-space-2);min-height:36px;padding:var(--lab-space-2) var(--lab-space-3);border:1px solid var(--border);border-radius:var(--radius);font-size:.7rem;background:var(--panel)}.icon-button{border-color:transparent}.primary-button{background:var(--brand-2);color:var(--primary-foreground);border-color:var(--brand-2)}.primary-button:hover:not(:disabled){background:var(--brand-3)}.step-button:hover:not(:disabled),.icon-button:hover{background:var(--background);border-color:var(--ring)}.speed-select{font-size:.65rem;background:transparent;border:0;padding:var(--lab-space-2);color:var(--muted-foreground)}.scenario-description{font-size:.68rem;line-height:1.6;color:var(--muted-foreground);padding:0 var(--lab-space-1);margin:var(--lab-space-3) 0 var(--lab-space-6)}.section-heading{display:flex;justify-content:space-between;align-items:center;gap:var(--lab-space-3);padding-bottom:var(--lab-space-4)}h2{font-size:.78rem;font-weight:600;margin:0}h2>span{font-size:.63rem;font-weight:400;color:var(--muted-foreground);padding-left:var(--lab-space-2)}.clock{font-family:var(--font-mono);font-size:.57rem;color:var(--muted-foreground)}.statechart{display:flex;align-items:stretch;gap:var(--lab-space-2);background-image:radial-gradient(var(--border) .6px,transparent .6px);background-size:12px 12px;padding:var(--lab-space-5) var(--lab-space-4);border:1px solid var(--border);border-radius:var(--radius) var(--radius) 0 0;overflow-x:auto}.phase{flex:1;min-width:144px;display:flex;flex-direction:column;text-align:left;padding:var(--lab-space-4) var(--lab-space-3);border:1px solid var(--border);border-radius:var(--radius);background:var(--panel);box-shadow:var(--shadow-2xs)}.phase:hover,.phase.is-selected{border-color:var(--brand)}.phase.is-active{box-shadow:inset 0 2px 0 var(--brand),var(--shadow-2xs)}.phase-top{display:flex;align-items:center;justify-content:space-between;gap:var(--lab-space-2);margin-bottom:var(--lab-space-4);font-family:var(--font-mono);font-size:.5rem;color:var(--muted-foreground)}.phase-state{color:var(--brand);font-weight:600;letter-spacing:.04em}.phase-actor{text-align:right}.phase>strong{font-size:.73rem;font-weight:600;line-height:1.5}.state-list{display:flex;flex-direction:column;gap:var(--lab-space-1);margin-top:var(--lab-space-4)}.state-chip{display:flex;gap:var(--lab-space-2);align-items:center;border-radius:var(--radius);padding:var(--lab-space-1) var(--lab-space-2);font-size:.58rem;color:var(--muted-foreground);min-height:24px;line-height:1.5}.state-chip svg{flex-shrink:0}.state-chip.current{background:color-mix(in oklab,var(--brand) 8%,transparent);color:var(--brand-2);font-weight:600}.state-chip.visited{color:var(--foreground)}.phase-arrow{flex-shrink:0;align-self:center;color:var(--muted-foreground)}.phase-inspector{display:grid;grid-template-columns:1.3fr 1fr .9fr;gap:var(--lab-space-5);padding:var(--lab-space-5);background:var(--panel);border:1px solid var(--border);border-top:0;border-radius:0 0 var(--radius) var(--radius)}.phase-inspector p{font-size:.66rem;line-height:1.8;margin:var(--lab-space-2) 0 0}.source-links{display:flex;flex-direction:column;gap:var(--lab-space-2);min-width:0}.source-links a{font-family:var(--font-mono);font-size:.57rem;display:flex;gap:var(--lab-space-2);align-items:center;overflow-wrap:anywhere}.source-links a svg{flex-shrink:0}.milestone-strip{display:grid;grid-template-columns:repeat(5,1fr);padding:var(--lab-space-5) 0;margin-bottom:var(--lab-space-3);gap:var(--lab-space-4)}.transition-inspector{background:var(--panel);border:1px solid var(--border);border-radius:var(--radius);margin-top:var(--lab-space-3);padding:var(--lab-space-4);font-size:.65rem}.transition-inspector summary{cursor:pointer;font-weight:500}.transition-inspector summary>span{color:var(--muted-foreground);font-size:.58rem;margin-left:var(--lab-space-3)}.transition-inspector label{display:flex;align-items:center;gap:var(--lab-space-3);margin:var(--lab-space-4) 0}.transition-inspector select{background:var(--panel);color:var(--foreground);border:1px solid var(--border);padding:var(--lab-space-2);border-radius:var(--radius)}.transition-list>div{display:flex;flex-wrap:wrap;gap:var(--lab-space-3);align-items:center;border-top:1px solid var(--border);padding:var(--lab-space-3) 0}.transition-list code{font-family:var(--font-mono);font-size:.6rem;overflow-wrap:anywhere}.transition-list strong{font-weight:500}.transition-list small{margin-left:auto;color:var(--muted-foreground)}.milestone-strip>div{display:flex;gap:var(--lab-space-2);align-items:center;color:var(--muted-foreground);font-size:.66rem}.milestone-strip small{display:block;font-size:.55rem;margin-top:var(--lab-space-1);font-family:var(--font-mono)}.milestone-strip .reached{color:var(--brand-2)}.lower-grid{display:grid;grid-template-columns:1.25fr 1fr;gap:var(--lab-space-5);align-items:start}.timeline-panel,.resource-panel,.assertions-panel{background:var(--panel);border:1px solid var(--border);border-radius:var(--radius);padding:var(--lab-space-5)}.actor-head{display:grid;grid-template-columns:64px 1fr;gap:var(--lab-space-3);border-bottom:1px solid var(--border);padding-bottom:var(--lab-space-3);font-family:var(--font-mono);font-size:.5rem;letter-spacing:.06em;color:var(--muted-foreground)}.timeline-scroll{max-height:450px;overflow:auto}.timeline-empty{min-height:180px;display:flex;flex-direction:column;align-items:center;justify-content:center;color:var(--muted-foreground);gap:var(--lab-space-2);text-align:center}.timeline-empty p{font-size:.68rem;line-height:1.8}.timeline-empty strong{font-weight:400;color:var(--foreground)}.timeline-event{width:100%;display:grid;grid-template-columns:48px 8px 1fr 12px;gap:var(--lab-space-3);align-items:center;padding:var(--lab-space-3) 0;border-bottom:1px solid var(--border);text-align:left}.timeline-event:hover,.timeline-event.selected{background:var(--background)}.timeline-event time{font-family:var(--font-mono);font-size:.55rem;color:var(--muted-foreground)}.event-mark{width:5px;height:5px;border:1px solid var(--brand);border-radius:50%}.timeline-event strong{font-family:var(--font-mono);font-size:.62rem;font-weight:500;overflow-wrap:anywhere}.timeline-event small{display:block;font-size:.56rem;color:var(--muted-foreground);margin-top:var(--lab-space-1);line-height:1.6}.timeline-event>svg{color:var(--muted-foreground)}.right-stack{display:flex;flex-direction:column;gap:var(--lab-space-5)}.resource-empty{font-size:.66rem;color:var(--muted-foreground);line-height:1.8;margin:0}.resource-list{display:grid;grid-template-columns:1fr 1fr;gap:var(--lab-space-4) var(--lab-space-3)}.resource-list>div{display:flex;gap:var(--lab-space-2);align-items:flex-start;min-width:0}.resource-icon{color:var(--muted-foreground);margin-top:var(--lab-space-1)}.resource-list strong{display:block;font-size:.62rem;font-weight:500}.resource-list small{display:block;font-size:.55rem;color:var(--muted-foreground);margin-top:var(--lab-space-1);line-height:1.6}.assertion{display:flex;gap:var(--lab-space-2);align-items:center;font-size:.62rem;line-height:1.6;padding:var(--lab-space-1) 0}.assertion svg{color:var(--brand);flex-shrink:0}.assertion.failed,.assertion.failed svg{color:var(--lab-failure)}.assertion-note{font-size:.55rem;color:var(--muted-foreground);margin:var(--lab-space-3) 0 0;line-height:1.6}.footnote{display:flex;align-items:center;gap:var(--lab-space-2);margin-top:var(--lab-space-5);color:var(--muted-foreground);font-size:.59rem;line-height:1.7}.footnote svg{flex-shrink:0}.footnote button{display:flex;align-items:center;gap:var(--lab-space-2);margin-left:auto;white-space:nowrap;font-size:.62rem}.text-button{font-size:.59rem;color:var(--brand)}.notice{display:flex;align-items:center;gap:var(--lab-space-3);padding:var(--lab-space-4);background:var(--lab-warning-bg);color:var(--lab-warning);border:1px solid color-mix(in oklab,var(--lab-warning) 20%,transparent);border-radius:var(--radius);font-size:.7rem;line-height:1.7;margin-bottom:var(--lab-space-5)}.notice>svg{flex-shrink:0}.notice button{margin-left:auto}.notice.error{color:var(--lab-failure)}.empty-state{display:flex;flex-direction:column;gap:var(--lab-space-5);align-items:center;justify-content:center;text-align:center;padding:var(--lab-space-7) var(--lab-space-5);border:1px dashed var(--border);border-radius:var(--radius);background:var(--panel)}.empty-state h2{font-family:var(--font-serif);font-size:1.7rem;font-weight:400}.empty-state p{font-size:.75rem;line-height:1.9;color:var(--muted-foreground);margin:0}.empty-state code{font-family:var(--font-mono);font-size:.65rem;padding:var(--lab-space-3);background:var(--background);overflow-wrap:anywhere;max-width:100%}.evidence-heading{display:flex;align-items:center;gap:var(--lab-space-3);margin-bottom:var(--lab-space-5);flex-wrap:wrap}.untrusted-label{font-family:var(--font-mono);color:var(--lab-warning);font-size:.56rem;margin-right:auto}.observation-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:var(--lab-space-4);margin-bottom:var(--lab-space-5)}.observation{background:var(--panel);padding:var(--lab-space-4);border:1px solid var(--border);border-radius:var(--radius)}.observation>span{font-family:var(--font-mono);font-size:.54rem;color:var(--muted-foreground)}.observation strong{display:block;margin-top:var(--lab-space-3);font-size:.72rem;text-transform:capitalize}.observation p{font-size:.65rem;color:var(--muted-foreground);margin-bottom:0}#panel-evidence>.timeline-panel{margin-top:var(--lab-space-5)}.comparison-intro{margin:var(--lab-space-6) 0;max-width:620px}.comparison-intro h2{font-family:var(--font-serif);font-size:1.6rem;font-weight:400}.comparison-intro p{font-size:.75rem;color:var(--muted-foreground);line-height:1.8}.comparison-table{background:var(--panel);border:1px solid var(--border);border-radius:var(--radius);overflow:hidden}.comparison-row{display:grid;grid-template-columns:1fr 1.5fr 1.5fr;gap:var(--lab-space-5);padding:var(--lab-space-5);border-bottom:1px solid var(--border);font-size:.7rem;line-height:1.8}.comparison-row:last-child{border-bottom:0}.comparison-row>strong{font-weight:500}.table-head{background:var(--background);font-family:var(--font-mono);font-size:.56rem}.muted{color:var(--muted-foreground)}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}@media(min-width:1500px){.statechart{gap:var(--lab-space-3);padding:var(--lab-space-6)}.phase{padding:var(--lab-space-5) var(--lab-space-4)}}@media(max-width:1200px){.lab-shell{grid-template-columns:208px minmax(0,1fr)}.workspace{padding:var(--lab-space-6)}.topbar{padding:0 var(--lab-space-6)}.phase-arrow{display:none}.phase{min-width:140px}.phase-inspector{grid-template-columns:1fr 1fr}.source-links{grid-column:1 / -1;flex-direction:row;flex-wrap:wrap;align-items:center}.source-links .eyebrow{margin-right:var(--lab-space-3)}.lower-grid{grid-template-columns:1fr}.right-stack{display:grid;grid-template-columns:1fr 1fr}.resource-list{grid-template-columns:1fr}}@media(max-width:760px){.lab-shell{display:block}.sidebar{padding:var(--lab-space-4);gap:var(--lab-space-4);border-right:0;border-bottom:1px solid var(--border)}.wordmark{font-size:1.3rem}.wordmark-sub{font-size:.55rem}.sidebar nav{display:flex;flex-direction:row;overflow-x:auto;margin:0;padding-bottom:var(--lab-space-2)}.journey-link{flex:0 0 auto;width:auto;padding:var(--lab-space-2) var(--lab-space-3);border:1px solid var(--border)}.journey-link small,.journey-number,.sidebar-bottom,.catalogue-label,.journey-link>svg{display:none}.topbar{height:44px;padding:0 var(--lab-space-5)}.workspace{padding:var(--lab-space-5)}.page-heading{margin-bottom:var(--lab-space-5)}.pilot-label{display:none}.tabs{gap:var(--lab-space-4);flex-wrap:wrap;margin-bottom:var(--lab-space-5)}.tabs button{font-size:.66rem}.tabs .import-button{font-size:0;padding:0}.tabs .import-button svg{width:18px}.control-bar{flex-wrap:wrap;gap:var(--lab-space-4);padding:var(--lab-space-4)}.scenario-picker{min-width:180px}.seed-picker{padding-left:var(--lab-space-4)}.playback{width:100%;justify-content:flex-end;padding-top:var(--lab-space-3);border-top:1px solid var(--border)}.section-heading{flex-wrap:wrap}h2>span{font-size:.57rem}.clock{font-size:.51rem}.statechart{padding:var(--lab-space-4) var(--lab-space-3)}.phase{flex:0 0 175px}.phase-inspector{grid-template-columns:1fr;gap:var(--lab-space-4);padding:var(--lab-space-4)}.source-links{flex-direction:column;align-items:flex-start}.milestone-strip{grid-template-columns:repeat(3,1fr);row-gap:var(--lab-space-4)}.lower-grid,.right-stack{display:flex;flex-direction:column}.right-stack{width:100%}.lower-grid>*{width:100%}.timeline-panel,.resource-panel,.assertions-panel{padding:var(--lab-space-4)}.resource-list{grid-template-columns:1fr 1fr}.footnote{align-items:flex-start;flex-wrap:wrap}.footnote>span{flex:1}.footnote button{padding:var(--lab-space-2) 0}.observation-grid{grid-template-columns:1fr 1fr}.comparison-row{gap:var(--lab-space-3);grid-template-columns:.9fr 1fr 1fr;padding:var(--lab-space-4);font-size:.62rem}.table-head{font-size:.5rem}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{transition:none!important;scroll-behavior:auto!important}}