/*! tailwindcss v4.3.3 | MIT License | https://tailwindcss.com */@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-border-style:solid;--tw-font-weight:initial;--tw-ordinal:initial;--tw-slashed-zero:initial;--tw-numeric-figure:initial;--tw-numeric-spacing:initial;--tw-numeric-fraction:initial;--tw-shadow:0 0 #0000;--tw-shadow-color:initial;--tw-shadow-alpha:100%;--tw-inset-shadow:0 0 #0000;--tw-inset-shadow-color:initial;--tw-inset-shadow-alpha:100%;--tw-ring-color:initial;--tw-ring-shadow:0 0 #0000;--tw-inset-ring-color:initial;--tw-inset-ring-shadow:0 0 #0000;--tw-ring-inset:initial;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-offset-shadow:0 0 #0000;--tw-outline-style:solid;--tw-blur:initial;--tw-brightness:initial;--tw-contrast:initial;--tw-grayscale:initial;--tw-hue-rotate:initial;--tw-invert:initial;--tw-opacity:initial;--tw-saturate:initial;--tw-sepia:initial;--tw-drop-shadow:initial;--tw-drop-shadow-color:initial;--tw-drop-shadow-alpha:100%;--tw-drop-shadow-size:initial}}}@layer theme{:root,:host{--font-sans:-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-mono:var(--font-mono);--spacing:.25rem;--font-weight-normal:400;--leading-tight:1.25;--leading-snug:1.375;--leading-loose:2;--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;-moz-tab-size:4;tab-size:4;line-height:1.5;font-family:var(--default-font-family,-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring:where(:not(iframe)){outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab,red,red)){::placeholder{color:color-mix(in oklab,currentcolor 50%,transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){-webkit-appearance:button;-moz-appearance:button;appearance:button}::file-selector-button{-webkit-appearance:button;-moz-appearance:button;appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.pointer-events-none{pointer-events:none}.collapse{visibility:collapse}.invisible{visibility:hidden}.visible{visibility:visible}.absolute{position:absolute}.fixed{position:fixed}.relative{position:relative}.static{position:static}.inset-x-0{inset-inline:0}.bottom-0{bottom:0}.isolate{isolation:isolate}.z-40{z-index:40}.z-50{z-index:50}.container{width:100%}@media(min-width:40rem){.container{max-width:40rem}}@media(min-width:48rem){.container{max-width:48rem}}@media(min-width:64rem){.container{max-width:64rem}}@media(min-width:80rem){.container{max-width:80rem}}@media(min-width:96rem){.container{max-width:96rem}}.m-0{margin:0}.mt-1{margin-top:var(--spacing)}.mt-2{margin-top:calc(var(--spacing) * 2)}.mt-3{margin-top:calc(var(--spacing) * 3)}.mr-1{margin-right:var(--spacing)}.mb-2{margin-bottom:calc(var(--spacing) * 2)}.mb-3{margin-bottom:calc(var(--spacing) * 3)}.mb-4{margin-bottom:calc(var(--spacing) * 4)}.ml-auto{margin-left:auto}.block{display:block}.flex{display:flex}.grid{display:grid}.hidden{display:none}.inline{display:inline}.table{display:table}.h-3{height:calc(var(--spacing) * 3)}.min-h-screen{min-height:100vh}.w-3{width:calc(var(--spacing) * 3)}.w-full{width:100%}.min-w-4{min-width:calc(var(--spacing) * 4)}.flex-1{flex:1}.shrink{flex-shrink:1}.shrink-0{flex-shrink:0}.grow{flex-grow:1}.border-collapse{border-collapse:collapse}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.cursor-crosshair{cursor:crosshair}.cursor-pointer{cursor:pointer}.resize{resize:both}.list-none{list-style-type:none}.grid-cols-\[14px_1fr\]{grid-template-columns:14px 1fr}.flex-col{flex-direction:column}.flex-wrap{flex-wrap:wrap}.items-baseline{align-items:baseline}.items-center{align-items:center}.items-start{align-items:flex-start}.gap-2{gap:calc(var(--spacing) * 2)}.gap-3{gap:calc(var(--spacing) * 3)}.gap-6{gap:calc(var(--spacing) * 6)}.gap-x-6{column-gap:calc(var(--spacing) * 6)}.gap-x-8{column-gap:calc(var(--spacing) * 8)}.gap-y-2{row-gap:calc(var(--spacing) * 2)}.overflow-hidden{overflow:hidden}.overflow-x-auto{overflow-x:auto}.rounded{border-radius:.25rem}.border{border-style:var(--tw-border-style);border-width:1px}.border-t{border-top-style:var(--tw-border-style);border-top-width:1px}.p-0{padding:0}.px-3{padding-inline:calc(var(--spacing) * 3)}.px-6{padding-inline:calc(var(--spacing) * 6)}.py-2{padding-block:calc(var(--spacing) * 2)}.py-3{padding-block:calc(var(--spacing) * 3)}.pr-6{padding-right:calc(var(--spacing) * 6)}.pb-3{padding-bottom:calc(var(--spacing) * 3)}.pb-28{padding-bottom:calc(var(--spacing) * 28)}.pl-2{padding-left:calc(var(--spacing) * 2)}.text-left{text-align:left}.text-right{text-align:right}.font-normal{--tw-font-weight:var(--font-weight-normal);font-weight:var(--font-weight-normal)}.break-all{word-break:break-all}.whitespace-nowrap{white-space:nowrap}.uppercase{text-transform:uppercase}.tabular-nums{--tw-numeric-spacing:tabular-nums;font-variant-numeric:var(--tw-ordinal,) var(--tw-slashed-zero,) var(--tw-numeric-figure,) var(--tw-numeric-spacing,) var(--tw-numeric-fraction,)}.shadow{--tw-shadow:0 1px 3px 0 var(--tw-shadow-color,#0000001a), 0 1px 2px -1px var(--tw-shadow-color,#0000001a);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.ring{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(1px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.outline{outline-style:var(--tw-outline-style);outline-width:1px}.filter{filter:var(--tw-blur,) var(--tw-brightness,) var(--tw-contrast,) var(--tw-grayscale,) var(--tw-hue-rotate,) var(--tw-invert,) var(--tw-saturate,) var(--tw-sepia,) var(--tw-drop-shadow,)}@media(min-width:40rem){.sm\:grid-cols-2{grid-template-columns:repeat(2,minmax(0,1fr))}}@media(min-width:64rem){.lg\:grid-cols-3{grid-template-columns:repeat(3,minmax(0,1fr))}.lg\:items-end{align-items:flex-end}}@media(min-width:80rem){.xl\:grid-cols-4{grid-template-columns:repeat(4,minmax(0,1fr))}}}@font-face{font-family:Azeret Mono;font-style:normal;font-weight:300 700;font-display:swap;src:url(/fonts/azeret-mono-latin.woff2)format("woff2")}@font-face{font-family:Mondwest;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/mondwest-regular.woff)format("woff")}@font-face{font-family:AuxMono;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/aux-mono-regular.woff)format("woff")}:root{--font-mono:"Azeret Mono", "JetBrains Mono", "Courier New", monospace;--font-display:"Mondwest", "Azeret Mono", "Courier New", "Lucida Console", monospace;--font-chrome:"AuxMono", "Azeret Mono", "JetBrains Mono", "Consolas", "Courier New", monospace;--brand-primary:#fad7d1;--brand-secondary:#f8c1b8;--brand-deep-brown:#230800;--brand-dark-bg:#0a0a0a;--brand-warm-grey:#f5f0ed;--brand-blue:#1958ff;--brand-green:#3ce200;--brand-red:red;--brand-purple:#c200ff;--brand-yellow:#fbf700;--brand-grey:#737373;--text-label:11px;--text-ui:12px;--text-body:14px;--text-lede:17px;--text-display:30px;--text-mega:clamp(38px, 6.1vw, 96px);--text-giant:clamp(52px, 8.2vw, 108px);--track-tight:-.02em;--track-flat:.005em;--track-caps:.06em;--track-term:.09em;--track-label:.14em;--leading-crop:.9;--leading-flat:1;--leading-tight:1.12;--leading-snug:1.45;--leading-body:1.65;--leading-loose:1.8;--weight-body:300;--weight-label:400;--weight-strong:500;--weight-display:400;--radius:0px;--shadow-panel:none;--shadow-pressed:none;--mark-bg:var(--brand-red)}@supports (color:color-mix(in lab,red,red)){:root{--mark-bg:color-mix(in srgb, var(--brand-red) 35%, var(--bg))}}:root{--heading-underline:none;--rule-style:dotted;--rule-h:repeating-linear-gradient(to right, var(--rule) 0 2px, transparent 2px 5px);--rule-v:repeating-linear-gradient(to bottom, var(--rule) 0 2px, transparent 2px 5px);--state-ring:var(--fg)}@supports (color:color-mix(in lab,red,red)){:root{--state-ring:color-mix(in srgb, var(--fg) 46%, transparent)}}:root{--alert-text:var(--brand-red)}@supports (color:color-mix(in lab,red,red)){:root{--alert-text:color-mix(in srgb, var(--brand-red) 70%, var(--brand-deep-brown))}}:root{--st-text-provisional:var(--brand-blue)}@supports (color:color-mix(in lab,red,red)){:root{--st-text-provisional:color-mix(in srgb, var(--brand-blue) 62%, var(--brand-deep-brown))}}:root{--cell-stroke:var(--fg)}@supports (color:color-mix(in lab,red,red)){:root{--cell-stroke:color-mix(in srgb, var(--fg) 26%, transparent)}}:root{--dither-dot:#ffffff38;--grain-opacity:.07;--grain-blend:multiply;--noise-opacity:.7;--noise-blend:screen;--board-cell:28px;--board-gap:8px;--rail-w:180px;--rail-gap:3.5rem;--page-gutter:3.5rem;--page-max:1560px;--measure:60ch;--pad-control:10px 18px;--pad-control-sm:6px 12px;--pad-chip:3px 9px;--pad-rail-label:.5rem;--logo-h:38px;--pad-masthead:.7rem;--masthead-h:calc(var(--logo-h) + var(--pad-masthead) * 2 + 1px);--gap-tight:1.5rem;--gap-close:4rem;--gap-section:8rem}@media(max-width:700px){:root{--page-gutter:1.25rem;--rail-gap:1.5rem;--gap-section:6rem;--gap-close:2rem;--board-cell:64px;--board-gap:16px;--text-lede:14px}}[data-direction=record]{color-scheme:light;--logo-ink:#2a120d;--o1b-line:var(--fg);--o1b-fill:var(--bg);--o1b-node:var(--fg);--bg:var(--brand-primary);--panel:transparent;--sunk:#fff;--fg:var(--brand-deep-brown);--fg-dim:#230800b3;--fg-faint:#2308009e;--rule:#23080066;--rule-strong:var(--brand-deep-brown);--accent:var(--brand-deep-brown);--accent-fg:var(--brand-warm-grey);--st-unaudited:#23080024;--st-cell-empty:#23080024;--mark-bg:var(--brand-red)}@supports (color:color-mix(in lab,red,red)){[data-direction=record]{--mark-bg:color-mix(in srgb, var(--brand-red) 25%, var(--bg))}}[data-direction=record]{--dither-dot:#2308006b;--grain-blend:multiply}[data-direction=instrument]{color-scheme:dark;--alert-text:var(--brand-red)}@supports (color:color-mix(in lab,red,red)){[data-direction=instrument]{--alert-text:color-mix(in srgb, var(--brand-red) 75%, var(--brand-primary))}}[data-direction=instrument]{--st-text-provisional:var(--brand-blue)}@supports (color:color-mix(in lab,red,red)){[data-direction=instrument]{--st-text-provisional:color-mix(in srgb, var(--brand-blue) 75%, var(--brand-primary))}}[data-direction=instrument]{--logo-ink:#f8d6d0;--o1b-line:var(--fg);--o1b-fill:var(--brand-primary);--o1b-node:var(--brand-primary);--bg:var(--brand-deep-brown);--panel:#1b0a05;--sunk:#150703;--fg:var(--brand-primary);--fg-dim:#fad7d1ad;--fg-faint:#fad7d18a;--rule:#fad7d138;--rule-strong:#fad7d152;--accent:var(--brand-primary);--accent-fg:var(--brand-deep-brown);--st-unaudited:#4b342c;--st-cell-empty:#3a2620;--dither-dot:#fad7d133;--grain-blend:screen;--mark-bg:var(--brand-red)}@supports (color:color-mix(in lab,red,red)){[data-direction=instrument]{--mark-bg:color-mix(in srgb, var(--brand-red) 45%, var(--bg))}}[data-direction=relay]{color-scheme:dark;--alert-text:var(--brand-red)}@supports (color:color-mix(in lab,red,red)){[data-direction=relay]{--alert-text:color-mix(in srgb, var(--brand-red) 75%, var(--brand-primary))}}[data-direction=relay]{--st-text-provisional:var(--brand-blue)}@supports (color:color-mix(in lab,red,red)){[data-direction=relay]{--st-text-provisional:color-mix(in srgb, var(--brand-blue) 75%, var(--brand-primary))}}[data-direction=relay]{--logo-ink:#fff;--o1b-line:var(--fg);--o1b-fill:var(--brand-primary);--o1b-node:var(--brand-primary);--bg:var(--brand-dark-bg);--panel:var(--brand-deep-brown);--sunk:#1e1816;--fg:#e5e5e5;--fg-dim:#9b9b9b;--fg-faint:#e5e5e585;--rule:#fad7d14d;--rule-strong:#fad7d173;--accent:var(--brand-primary);--accent-fg:var(--brand-dark-bg);--st-unaudited:#4b342c;--st-cell-empty:#2e2422;--dither-dot:#fad7d12e;--grain-blend:screen;--mark-bg:var(--brand-red)}@supports (color:color-mix(in lab,red,red)){[data-direction=relay]{--mark-bg:color-mix(in srgb, var(--brand-red) 45%, var(--bg))}}:root{--st-claimed:var(--fg);--st-frontier:var(--fg);--st-provisional:var(--brand-blue);--st-confirmed:var(--brand-green);--alert:var(--brand-red)}*{box-sizing:border-box}body{background-color:var(--bg);color:var(--fg);font-family:var(--font-mono);font-weight:var(--weight-body);font-size:var(--text-body);line-height:var(--leading-body);-webkit-font-smoothing:antialiased;font-variant-numeric:tabular-nums;margin:0}body:before{content:"";z-index:0;pointer-events:none;opacity:var(--noise-opacity);mix-blend-mode:var(--noise-blend);background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='180' height='180'%3E%3Cfilter id='s'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.9' numOctaves='1' stitchTiles='stitch'/%3E%3CfeComponentTransfer%3E%3CfeFuncA type='discrete' tableValues='0 0 0 0 0 0 0 1'/%3E%3C/feComponentTransfer%3E%3C/filter%3E%3Crect width='180' height='180' filter='url(%23s)'/%3E%3C/svg%3E");position:fixed;top:0;right:0;bottom:0;left:0}body:after{content:"";z-index:100;pointer-events:none;opacity:var(--grain-opacity);mix-blend-mode:var(--grain-blend);background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='140' height='140'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.82' numOctaves='3' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='140' height='140' filter='url(%23n)'/%3E%3C/svg%3E");position:fixed;top:0;right:0;bottom:0;left:0}@media(prefers-reduced-motion:reduce){body:after{opacity:calc(var(--grain-opacity) * .6)}}::selection{background:var(--fg)}@supports (color:color-mix(in lab,red,red)){::selection{background:color-mix(in srgb,var(--fg) 22%,var(--bg))}}::selection{color:var(--fg)}.ledger th,.ledger td{border-bottom:1px var(--rule-style) var(--rule)}.ledger tbody tr:last-child th,.ledger tbody tr:last-child td{border-bottom:0}.claim{gap:var(--gap-close);grid-template-columns:minmax(0,1fr);display:grid}@media(min-width:1100px){.claim{gap:var(--gap-close);grid-template-columns:minmax(0,1.15fr) minmax(0,.85fr);align-items:start}}.claim__argument>p:last-of-type{margin-bottom:var(--gap-close)}@media(max-width:1099px){.claim__plot{display:none}}.statbar__value{font-size:var(--text-display);font-weight:var(--weight-body);letter-spacing:var(--track-tight);line-height:var(--leading-flat);white-space:nowrap}@media(max-width:700px){.statbar__value{font-size:22px}}.statbar{row-gap:var(--gap-close);column-gap:var(--gap-tight);grid-template-columns:repeat(2,minmax(0,1fr));display:grid}.statbar__cell{text-align:center}@media(min-width:720px){.statbar{justify-content:space-between;gap:calc(var(--gap-tight) / 2);display:flex}.statbar__cell{text-align:left}.statbar__cell+.statbar__cell{padding-left:var(--gap-tight);background-image:var(--rule-v);background-position:0 0;background-repeat:no-repeat;background-size:1px 100%}}.bracketed{padding:var(--gap-tight) var(--gap-tight) var(--gap-tight) var(--gap-tight);position:relative}.bracketed:before,.bracketed:after{content:"";border:1px solid var(--fg);opacity:.5;pointer-events:none;width:14px;height:14px;position:absolute}.bracketed:before{border-bottom:0;border-right:0;top:0;left:0}.bracketed:after{border-top:0;border-left:0;bottom:0;right:0}.board-stack{position:relative}.relay-scroll{max-width:100%;overflow-x:auto}.relay-strip{align-items:stretch;gap:6px;height:150px;display:flex}@media(max-width:1300px){.relay-strip{height:112px}}@media(max-width:900px){.relay-strip{height:88px}}.relay-strip__steps{flex:1;align-items:stretch;gap:3px;min-width:0;display:flex}.relay-strip__step{cursor:pointer;border:0;flex:1;min-width:2px;padding:0;transition:transform .1s,outline-color .1s}.relay-strip__step.is-hovered{outline:1px solid var(--fg);z-index:2;transform:scaleX(1.6)}.relay-strip__step.is-frontier,.relay-strip__step.is-claimed{z-index:1}.relay-strip__step.is-flipping{animation:.52s ease-out backwards relay-flip}@keyframes relay-flip{0%{background:var(--st-provisional);transform:scaleY(1.15)}to{transform:scaleY(1)}}.relay-strip__boundary{background:repeating-linear-gradient(to bottom,var(--st-provisional) 0 7px,transparent 7px 11px);flex:0 0 9px}.relay-checkpoint{aspect-ratio:1;padding:0 var(--gap-tight);border:1px solid var(--fg);cursor:pointer;background:0 0;flex-direction:column;flex:none;justify-content:center;align-items:center;gap:8px;display:flex}.relay-checkpoint__anchor{background:var(--fg);width:9px;height:9px;transform:rotate(45deg)}.relay-checkpoint__mark{font-size:var(--text-ui);letter-spacing:var(--track-label);color:var(--fg-dim)}.relay-checkpoint__step{font-size:var(--text-ui);font-variant-numeric:tabular-nums}.relay-checkpoint__dot{background:var(--st-confirmed);width:8px;height:8px}.relay-note{display:none}@media(max-width:700px){.relay-note{font-size:var(--text-label);letter-spacing:var(--track-caps);line-height:var(--leading-body);color:var(--fg-faint);margin:12px 0 0;display:block}}.relay-axis{justify-content:space-between;gap:var(--gap-close);margin-top:var(--gap-tight);font-size:var(--text-label);letter-spacing:var(--track-caps);color:var(--fg-faint);flex-wrap:wrap;display:flex}@media(max-width:760px){.relay-axis{gap:var(--gap-tight)}.relay-axis>:not(.relay-axis__end){display:none}}.relay-axis span{display:block}.relay-axis__end--right{text-align:right}@media(max-width:700px){.relay-scroll{overflow-x:visible}.relay-strip{gap:0;min-width:0;height:64px}.relay-checkpoint,.relay-strip__boundary{display:none}.relay-strip__steps{gap:1px}.relay-strip__step{pointer-events:none}.relay-scroll.scroll-hint:after{content:none}}@media(min-width:701px)and (max-width:760px){.relay-strip{min-width:32rem}}.badges{gap:var(--gap-tight);flex-wrap:wrap;display:flex}.badge{font-family:var(--font-chrome);font-size:var(--text-label);letter-spacing:var(--track-label);text-transform:uppercase;color:var(--fg-dim);border:1px var(--rule-style) var(--rule);padding:5px 10px}.badge--anchor{color:var(--fg);border-color:var(--fg)}.seg-top{justify-content:space-between;align-items:center;gap:var(--gap-tight);flex-wrap:wrap;display:flex}.seg-nav{gap:8px;display:flex}.seg-head{justify-content:space-between;align-items:flex-end;gap:var(--gap-close);margin-top:var(--gap-close);flex-wrap:wrap;display:flex}.seg-head__right{text-align:right}@media(max-width:700px){.seg-head__right{text-align:left}}.badge__dot{vertical-align:1px;width:7px;height:7px;margin-right:7px;display:inline-block}.seg-lifecycle{margin-top:var(--gap-close);border:1px var(--rule-style) var(--rule);border-left:3px solid var(--fg);font-size:var(--text-ui);line-height:var(--leading-body);color:var(--fg-dim);max-width:92ch;padding:2.25rem}.seg-lifecycle p{margin:0}.seg-grid{gap:var(--gap-close);display:grid}@media(min-width:1000px){.seg-grid{grid-template-columns:minmax(0,1.1fr) minmax(0,.9fr);align-items:start}}.seg-stack{gap:var(--gap-close);flex-direction:column;display:flex}.step-detail{padding:0}.anchor-card{border:1px var(--rule-style) var(--rule);padding:2.25rem}.anchor-card__step{margin:10px 0 var(--gap-tight)}.step-detail__block{margin-top:var(--gap-tight);padding-top:var(--gap-tight)}.anchor-card__head{justify-content:space-between;align-items:baseline;gap:var(--gap-tight);display:flex}.step-detail__grid{gap:var(--gap-tight);margin-top:var(--gap-tight);grid-template-columns:repeat(auto-fit,minmax(9rem,1fr));display:grid}.step-detail__actions{align-items:center;gap:var(--gap-tight);margin-top:var(--gap-close);flex-wrap:wrap;display:flex}.anchor-card__row{justify-content:space-between;align-items:baseline;gap:var(--gap-tight);padding:8px 0;display:flex}@media(max-width:700px){.anchor-card__row{grid-template-columns:minmax(0,1fr);gap:4px;display:grid}.anchor-card__row>span:last-child{text-align:left!important}}.claims{font-size:var(--text-ui)}.claims th,.claims td{padding:12px var(--gap-tight) 12px 0;border-bottom:1px var(--rule-style) var(--rule)}.claims thead th{border-top:1px var(--rule-style) var(--rule)}.claims__go{text-align:right;width:3rem;padding-right:0}.table-scroll,.relay-scroll{max-width:100%;overflow-x:auto}@media(max-width:700px){.table-scroll.stacks>table,.stacks thead,.stacks tbody,.stacks tr,.stacks th,.stacks td{width:auto;min-width:0;display:block}.stacks thead{display:none}.stacks tr{padding:var(--gap-tight) 0;border-bottom:1px var(--rule-style) var(--rule)}.stacks td{gap:var(--gap-tight);grid-template-columns:12ch minmax(0,1fr);align-items:baseline;display:grid;text-align:left!important;white-space:normal!important;border:0!important;padding:3px 0!important}.stacks td:before{content:attr(data-label);font-family:var(--font-chrome);font-size:var(--text-label);letter-spacing:var(--track-label);text-transform:uppercase;color:var(--fg-faint)}.stacks td[data-label=Step]{font-size:var(--text-lede);grid-template-columns:minmax(0,1fr);padding-bottom:8px!important}.stacks td[data-label=Step]:before{display:none}.table-scroll.stacks{overflow-x:visible}.stacks .claims__go{text-align:left;width:auto}.scroll-hint:after{content:"Scroll for more →";font-family:var(--font-chrome);font-size:var(--text-label);letter-spacing:var(--track-label);text-transform:uppercase;color:var(--fg-faint);margin-top:10px;display:block}}.table-scroll>table{min-width:var(--table-min,34rem)}.ledger tr.is-superseded td{color:var(--fg-faint)}.ledger tr.is-superseded td:first-child,.masthead-shell{position:relative}.masthead__nav{font-size:var(--text-ui);letter-spacing:var(--track-label);flex-wrap:wrap;justify-content:center;gap:0 2rem;display:flex}.masthead__toggle{border:1px var(--rule-style) var(--rule-strong);color:var(--fg);font-family:var(--font-chrome);font-size:var(--text-label);letter-spacing:var(--track-label);text-transform:uppercase;padding:var(--pad-control-sm);cursor:pointer;background:0 0;display:none}.menu{z-index:30;background:var(--bg);border-bottom:1px solid var(--rule-strong);grid-template-rows:0fr;transition:grid-template-rows .2s ease-out;display:none;position:absolute;top:100%;left:0;right:0}.menu__inner{overflow:hidden}.menu.is-open{grid-template-rows:1fr}.menu[aria-hidden=true]{visibility:hidden}.menu.is-open{visibility:visible}@media(prefers-reduced-motion:reduce){.menu{transition:none}}.menu__nav{font-size:var(--text-body);letter-spacing:var(--track-label);flex-direction:column;display:flex}.menu__item{justify-content:space-between;align-items:baseline;gap:var(--gap-tight);padding:18px var(--page-gutter);border-top:1px var(--rule-style) var(--rule);text-decoration:none;display:flex}.menu__here{font-size:var(--text-label);letter-spacing:var(--track-label);color:var(--fg-faint)}.menu__jump{padding:var(--gap-tight) var(--page-gutter) var(--gap-close);border-top:1px var(--rule-style) var(--rule)}.menu__jump-label{color:var(--fg-faint);margin-bottom:12px;display:block}.menu__appearance{padding:var(--gap-tight) var(--page-gutter) var(--gap-close);border-top:1px var(--rule-style) var(--rule)}.menu__appearance .appearance{margin-left:-14px;padding:14px}@media(max-width:1100px){.masthead__nav,.masthead>.masthead__end{display:none}.masthead__toggle{display:block}.menu{display:grid}}.jump{border:1px var(--rule-style) var(--rule-strong);font-family:var(--font-chrome);font-size:var(--text-label);letter-spacing:var(--track-label);align-items:stretch;display:flex}.appearance{color:var(--fg-dim);cursor:pointer;background:0 0;border:0;justify-content:center;align-items:center;padding:6px;display:inline-flex}.appearance:hover{color:var(--fg)}.appearance:focus-visible{outline:2px solid var(--fg);outline-offset:-2px}.jump__label{color:var(--fg-faint);border-right:1px var(--rule-style) var(--rule);white-space:nowrap;align-items:center;padding:0 10px;display:flex}.jump__toggle{display:flex}.jump__tab{color:var(--fg-faint);font:inherit;text-transform:uppercase;cursor:pointer;background:0 0;border:0;padding:6px 9px}.jump__tab.is-on{background:var(--accent);color:var(--accent-fg)}.jump__input{border:0;border-left:1px var(--rule-style) var(--rule);width:11ch;min-width:0;color:var(--fg);font:inherit;font-family:var(--font-mono);letter-spacing:0;font-variant-numeric:tabular-nums;background:0 0;padding:6px 8px}.jump__input::placeholder{color:var(--fg-faint)}.jump__input:focus,.jump__tab:focus-visible,.jump__go:focus-visible{outline:2px solid var(--fg);outline-offset:-2px}.jump__go{border:0;border-left:1px var(--rule-style) var(--rule);color:var(--fg);font:inherit;cursor:pointer;background:0 0;padding:6px 10px}.jump__go:disabled{color:var(--fg-faint);cursor:not-allowed}.legend__item--action{font:inherit;text-align:left;cursor:pointer;background:0 0;border:0;padding:0}.legend__item--action:hover{color:var(--fg)}.legend__item.is-off{opacity:.4}.legend__item.is-on .state-term{text-underline-offset:3px;text-decoration:underline}.legend__count{color:var(--fg-faint);font-variant-numeric:tabular-nums;margin-left:8px}.phase-bands-row>div{min-height:14px}.board-axis{justify-content:space-between;gap:var(--gap-tight);font-size:var(--text-label);letter-spacing:var(--track-caps);color:var(--fg-faint);margin-top:1.5rem;display:flex}.hint--narrow{display:none}@media(max-width:700px){.hint--wide{display:none}.hint--narrow{display:inline}}.board-hint{font-size:var(--text-label);letter-spacing:var(--track-caps);line-height:var(--leading-body);color:var(--fg-faint);margin:10px 0 0}.phase-line{font-size:var(--text-label);letter-spacing:var(--track-caps);line-height:var(--leading-body);color:var(--fg-faint);margin:0 0 2rem;display:none}@media(max-width:700px){.phase-bands-row{display:none}.phase-line{display:block}.anchor-card,.seg-lifecycle,.caveat{padding:1.5rem}.anchor-card__head{flex-wrap:wrap;gap:10px}.anchor-card__head .badge{white-space:nowrap}}@media(max-width:1099px){.claim-rail__print{display:none}}@media(max-width:700px){.bracketed{padding-left:0;padding-right:0}}.consent-footer{margin-top:var(--gap-close);font-size:var(--text-label);color:var(--fg-dim)}.consent-banner{z-index:60;right:1rem;bottom:max(1rem,env(safe-area-inset-bottom));border:1px solid var(--rule-strong);background:var(--bg);width:min(24rem,100vw - 2rem);max-height:calc(100dvh - 2rem);color:var(--fg);font-family:var(--font-mono);font-size:var(--text-ui);letter-spacing:0;padding:1rem;line-height:1.65;position:fixed;overflow:auto}.consent-banner__heading{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:1rem;margin-bottom:.65rem;display:flex}.consent-banner__heading>span{font-weight:var(--weight-strong)}.consent-banner p{color:var(--fg-dim);margin:0}.consent-banner p[role=alert]{margin-top:.65rem}.consent-banner__actions{grid-template-columns:1fr 1fr;gap:.75rem;margin-top:1rem;display:grid}.consent-banner__actions .btn{min-height:44px;font-family:var(--font-mono);letter-spacing:0;justify-content:center}.consent-banner__cancel{margin-top:.65rem}.btn{border:1px var(--rule-style) var(--rule-strong);color:var(--fg);font:inherit;font-family:var(--font-chrome);font-size:var(--text-ui);font-weight:var(--weight-label);letter-spacing:var(--track-label);text-transform:uppercase;padding:var(--pad-control);cursor:pointer;background:0 0;align-items:center;gap:8px;text-decoration:none;display:inline-flex}.btn:hover:not(:disabled){border-color:var(--fg)}.btn--primary{border-color:var(--accent);background:var(--accent);color:var(--accent-fg)}.btn:disabled{cursor:not-allowed;color:var(--fg-faint)}.btn--primary:disabled{border-color:var(--rule);color:var(--fg-faint);background:0 0}.blocked{font-size:var(--text-ui);color:var(--alert-text);line-height:var(--leading-body)}.field__error{font-size:var(--text-ui);color:var(--alert-text);margin-top:8px;display:block}.field__input.is-invalid{border-bottom-color:var(--alert-text)}.controls{align-items:center;gap:var(--gap-tight);margin-top:var(--gap-close);flex-wrap:wrap;display:flex}.flow-head{justify-content:space-between;align-items:baseline;gap:var(--gap-tight);padding-top:var(--gap-close);font-size:var(--text-ui);flex-wrap:wrap;display:flex}.stages{margin:var(--gap-close) 0 0;grid-template-columns:repeat(6,minmax(0,1fr));gap:1px;padding:0;list-style:none;display:grid}.stage{border-top:3px solid var(--rule);color:var(--fg-faint);font-size:var(--text-ui);align-items:baseline;gap:8px;padding:12px 0 0;display:flex}.stage.is-done,.stage.is-current{border-top-color:var(--fg)}.stage.is-done{color:var(--fg-dim)}.stage.is-current{color:var(--fg)}.stage__n{font-size:var(--text-label);letter-spacing:var(--track-label)}.stage__name{font-size:var(--text-label);letter-spacing:var(--track-label);text-transform:uppercase}.stages-compact{display:none}@media(max-width:760px){.stages{display:none}.stages-compact{margin-top:var(--gap-close);display:block}.stages-compact__meter{background:var(--rule);height:3px}.stages-compact__meter>span{background:var(--fg);height:100%;transition:width .2s ease-out;display:block}.stages-compact__read{justify-content:space-between;gap:var(--gap-tight);font-size:var(--text-label);letter-spacing:var(--track-label);text-transform:uppercase;margin-top:10px;display:flex}.stages-compact__read>:first-child{color:var(--fg-faint)}}@media(min-width:761px)and (max-width:900px){.stages{gap:var(--gap-tight) 12px;grid-template-columns:repeat(3,minmax(0,1fr))}}.flow{padding-top:var(--gap-close);justify-content:center;display:flex}.flow__card{border:1px var(--rule-style) var(--rule);width:100%;max-width:62rem;padding:3rem}@media(max-width:700px){.flow__card{padding:2rem 1.5rem}}.flow__eyebrow{color:var(--fg-faint)}.audit-title{font-size:var(--text-mega);font-weight:var(--weight-display);line-height:var(--leading-tight);letter-spacing:var(--track-tight);margin:var(--gap-tight) 0 0;text-wrap:balance}.flow__title{font-family:var(--font-chrome);font-size:var(--text-display);font-weight:var(--weight-strong);letter-spacing:var(--track-caps);line-height:var(--leading-flat);text-transform:uppercase;margin:var(--gap-tight) 0 0}.flow__lede{margin:var(--gap-tight) 0 0;max-width:66ch;font-size:var(--text-body);line-height:var(--leading-body);color:var(--fg-dim)}.flow__note{margin:var(--gap-tight) 0 0;max-width:72ch;font-size:var(--text-ui);line-height:var(--leading-body);color:var(--fg-faint)}.flow__actions{align-items:center;gap:var(--gap-tight);margin-top:var(--gap-close);flex-wrap:wrap;display:flex}.spec{margin-top:var(--gap-close)}.spec__row{gap:var(--gap-tight);border-bottom:1px var(--rule-style) var(--rule);font-size:var(--text-ui);grid-template-columns:12rem minmax(16ch,1fr) fit-content(19rem);align-items:baseline;padding:14px 0;display:grid}.spec__row:first-child{border-top:1px var(--rule-style) var(--rule)}.spec--compact .spec__row{padding:11px 0}.spec__k{color:var(--fg-faint)}.spec__v{word-break:break-word;min-width:0}.spec__note{color:var(--fg-faint);font-size:var(--text-label);text-align:right}@media(max-width:760px){.spec__row{grid-template-columns:minmax(0,1fr);gap:4px}.spec__note{text-align:left}}.needs{margin-top:var(--gap-close)}.needs__row{flex-wrap:wrap;gap:10px;margin-top:12px;display:flex}.chip{border:1px var(--rule-style) var(--rule);padding:var(--pad-control-sm);font-family:var(--font-chrome);font-size:var(--text-label);letter-spacing:var(--track-label);text-transform:uppercase;color:var(--fg-dim);display:inline-block}.chip--key{border-color:var(--st-provisional);color:var(--st-text-provisional,var(--fg))}.field{margin-top:var(--gap-close);display:block}.field__input{border:0;border-bottom:1px solid var(--rule-strong);width:100%;color:var(--fg);font-family:var(--font-mono);font-size:var(--text-body);background:0 0;margin-top:10px;padding:10px 0;display:block}.field__input::placeholder{color:var(--fg-faint)}.field__select{border:0;border-bottom:1px solid var(--rule-strong);background-color:#0000;background-image:linear-gradient(45deg,transparent 50%,var(--fg-dim) 50%),linear-gradient(135deg,var(--fg-dim) 50%,transparent 50%);width:100%;color:var(--fg);font-family:var(--font-mono);font-size:var(--text-body);-webkit-appearance:none;-moz-appearance:none;appearance:none;cursor:pointer;background-position:right 6px top 55%,right 1px top 55%;background-repeat:no-repeat;background-size:5px 5px,5px 5px;border-radius:0;margin-top:10px;padding:10px 20px 10px 0;display:block}.field__select:focus{border-bottom-color:var(--fg);outline:none}.field__select:invalid,.field__select:has(option[value=""]:checked){color:var(--fg-faint)}.field__select--button{text-align:left;cursor:pointer}.field__select--button.is-empty{color:var(--fg-faint)}.drawer{z-index:60;background:var(--bg);border-top:1px solid var(--rule-strong);flex-direction:column;max-height:76svh;animation:.2s ease-out drawer-in;display:flex;position:fixed;bottom:0;left:0;right:0}@keyframes drawer-in{0%{transform:translateY(100%)}}@media(prefers-reduced-motion:reduce){.drawer{animation:none}}.drawer__head{justify-content:space-between;align-items:baseline;gap:var(--gap-tight);padding:18px var(--page-gutter);border-bottom:1px solid var(--rule-strong);display:flex}.drawer__close{color:var(--fg-dim);font-size:var(--text-label);letter-spacing:var(--track-label);text-transform:uppercase;cursor:pointer;background:0 0;border:0;padding:0}.drawer__list{padding-bottom:env(safe-area-inset-bottom,0px);overscroll-behavior:contain;overflow-y:auto}.drawer__option{justify-content:space-between;align-items:baseline;gap:var(--gap-tight);width:100%;padding:18px var(--page-gutter);border:0;border-top:1px var(--rule-style) var(--rule);color:var(--fg);font-family:var(--font-mono);font-size:var(--text-body);text-align:left;cursor:pointer;background:0 0;display:flex}.drawer__option:first-child{border-top:0}.drawer__option[aria-checked=true]{color:var(--fg);font-weight:var(--weight-strong)}.drawer__option:focus-visible{outline:1px solid var(--fg);outline-offset:-3px}.machine__row{gap:var(--gap-tight);grid-template-columns:minmax(0,1.4fr) minmax(0,1fr);display:grid}@media(max-width:560px){.machine__row{grid-template-columns:minmax(0,1fr);gap:0}}.machine__note{font-size:var(--text-label);line-height:var(--leading-body);color:var(--fg-faint);margin:6px 0 0}.machine__preview{font-size:var(--text-label);letter-spacing:var(--track-label);color:var(--fg-dim);margin:12px 0 0}.machine__preview strong{color:var(--fg);font-weight:var(--weight-body)}.field__input:focus{border-bottom-color:var(--fg);outline:none}.terminal{margin-top:var(--gap-close);border:1px var(--rule-style) var(--rule);background:var(--fg)}@supports (color:color-mix(in lab,red,red)){.terminal{background:color-mix(in srgb,var(--fg) 6%,var(--bg))}}.terminal__bar{justify-content:space-between;align-items:center;gap:var(--gap-tight);border-bottom:1px var(--rule-style) var(--rule);padding:10px 14px;display:flex}.terminal__copy{border:1px var(--rule-style) var(--rule);color:var(--fg-dim);font-family:var(--font-chrome);font-size:var(--text-label);letter-spacing:var(--track-label);text-transform:uppercase;padding:var(--pad-control-sm);cursor:pointer;background:0 0}.terminal__copy:hover{color:var(--fg);border-color:var(--fg)}.terminal__body{font-size:var(--text-label);line-height:var(--leading-loose);white-space:pre-wrap;word-break:break-word;color:var(--fg-dim);margin:0;padding:18px}.hashbox{margin-top:var(--gap-tight);border:1px var(--rule-style) var(--rule);padding:var(--gap-tight)}.hashbox.is-match{border-color:var(--st-provisional)}.hashbox.is-diff{border-color:var(--alert)}.verdict{margin-top:var(--gap-tight);display:block}.share{margin-top:var(--gap-close);border-top:1px var(--rule-style) var(--rule);padding-top:var(--gap-close)}.share__toggle{margin:12px 0 var(--gap-tight);border:1px var(--rule-style) var(--rule-strong);width:fit-content;display:flex}.share__tab{color:var(--fg-dim);font-family:var(--font-chrome);font-size:var(--text-label);letter-spacing:var(--track-label);text-transform:uppercase;padding:var(--pad-control-sm);cursor:pointer;background:0 0;border:0}.share__tab.is-on{background:var(--accent);color:var(--accent-fg)}.share__badge{margin-top:var(--gap-tight)}.drop__note{font-size:var(--text-label);color:var(--fg-faint);margin-top:5px;display:block}.drop{justify-content:space-between;align-items:baseline;gap:var(--gap-tight);border:1px dashed var(--rule-strong);padding:var(--gap-tight);font-size:var(--text-ui);flex-wrap:wrap;display:flex}.meter{background:var(--st-cell-empty);height:10px;overflow:hidden}.meter__fill{background:var(--st-provisional);height:100%;transition:width .22s linear}.meter__read{justify-content:space-between;gap:var(--gap-tight);font-size:var(--text-ui);color:var(--fg-dim);flex-wrap:wrap;margin-top:10px;display:flex}.cmd{padding:var(--gap-tight);background:var(--fg);margin:0}@supports (color:color-mix(in lab,red,red)){.cmd{background:color-mix(in srgb,var(--fg) 6%,var(--bg))}}.cmd{font-size:var(--text-label);line-height:var(--leading-loose);white-space:pre;overflow-x:auto}.artefact{justify-content:space-between;align-items:baseline;gap:var(--gap-tight);border-bottom:1px var(--rule-style) var(--rule);font-size:var(--text-ui);flex-wrap:wrap;padding:12px 0;display:flex}.artefact:first-of-type{border-top:1px var(--rule-style) var(--rule)}.artefact__ok{color:var(--fg-dim);align-items:center;gap:7px;display:inline-flex}.artefact__dot{background:var(--st-confirmed);flex:none;width:8px;height:8px}.caveat{border:1px var(--rule-style) var(--rule);border-left:3px solid var(--fg);max-width:92ch;font-size:var(--text-ui);line-height:var(--leading-body);color:var(--fg-dim);gap:var(--gap-tight);flex-direction:column;padding:2.25rem;display:flex}.caveat p{margin:0}.caveat__head{color:var(--fg)}.person__addr{font-size:var(--text-label);letter-spacing:.03em;color:var(--fg-faint);word-break:break-all;margin-top:10px;display:block}.outcomes{flex-wrap:wrap;gap:0;margin:0;display:flex}.outcomes__item{padding:12px var(--gap-close) 12px 0;border-top:1px var(--rule-style) var(--rule);border-bottom:1px var(--rule-style) var(--rule);font-size:var(--text-ui);align-items:baseline;gap:10px;display:flex}.outcomes dt,.outcomes dd{margin:0}.outcomes dd{color:var(--fg-dim);font-variant-numeric:tabular-nums}.hardware{font-size:var(--text-ui);color:var(--fg-dim);flex-direction:column;max-width:46ch;margin:0;padding:0;list-style:none;display:flex}.hardware li{border-bottom:1px var(--rule-style) var(--rule);padding:10px 0}.hardware li:first-child{border-top:1px var(--rule-style) var(--rule)}.tx-fields{max-width:92ch}.tx-row{gap:var(--gap-tight);border-bottom:1px var(--rule-style) var(--rule);font-size:var(--text-ui);grid-template-columns:12ch minmax(0,1fr);align-items:baseline;padding:12px 0;display:grid}.tx-row:first-child{border-top:1px var(--rule-style) var(--rule)}.tx-row__k{color:var(--fg-faint)}.tx-row__v{word-break:break-all;min-width:0}.tx-addr{font-size:var(--text-label);letter-spacing:.03em}@media(max-width:700px){.tx-row{grid-template-columns:minmax(0,1fr);gap:6px}}.about-head{padding-top:var(--gap-close)}.about-lede{margin:var(--gap-close) 0 0;max-width:var(--measure);font-size:var(--text-lede);line-height:var(--leading-snug);color:var(--fg-dim)}.about-note{max-width:92ch;font-size:var(--text-ui);line-height:var(--leading-body);color:var(--fg-dim);margin:0}.about-prose{gap:var(--gap-tight);max-width:78ch;line-height:var(--leading-body);color:var(--fg-dim);flex-direction:column;display:flex}.about-prose p{margin:0}.proves{gap:var(--gap-close);display:grid}@media(min-width:1000px){.proves{gap:var(--rail-gap);grid-template-columns:repeat(2,minmax(0,1fr))}.proves__col+.proves__col{padding-left:var(--rail-gap);background-image:var(--rule-v);background-position:0 0;background-repeat:no-repeat;background-size:1px 100%}}.proves__head{padding-bottom:var(--gap-tight)}.proves__list{flex-direction:column;margin:0;padding:0;list-style:none;display:flex}.proves__list li{padding:var(--gap-tight) 0;border-top:1px var(--rule-style) var(--rule);font-size:var(--text-ui);line-height:var(--leading-body);color:var(--fg-dim)}.nondet{margin:var(--gap-close) 0 0;gap:0;display:grid}@media(min-width:900px){.nondet{column-gap:var(--rail-gap);grid-template-columns:repeat(2,minmax(0,1fr))}}.nondet__item{padding:var(--gap-tight) 0;border-top:1px var(--rule-style) var(--rule)}.failure__dt{justify-content:space-between;align-items:baseline;gap:var(--gap-tight);flex-wrap:wrap;display:flex}.failure__state{font-weight:var(--weight-body)}.nondet dt{font-size:var(--text-ui);font-weight:var(--weight-strong);color:var(--fg)}.nondet dd{font-size:var(--text-ui);line-height:var(--leading-body);color:var(--fg-dim);margin:6px 0 0}.step-hashes{gap:var(--gap-close);display:grid}@media(min-width:1100px){.step-hashes{gap:var(--gap-close);grid-template-columns:repeat(2,minmax(0,1fr))}}.step-note{margin:var(--gap-close) 0 0;max-width:92ch;font-size:var(--text-ui);line-height:var(--leading-body);color:var(--fg-dim)}.seg-crumbs{font-size:var(--text-label);letter-spacing:var(--track-label);flex-wrap:wrap;align-items:baseline;gap:4px 10px;display:flex}.seg-crumbs>*{white-space:nowrap}.seg-crumbs>span{color:var(--fg-faint)}.proof-line{flex-direction:column;gap:6px;display:flex}.proof-path{margin:var(--gap-tight) 0;flex-direction:column;padding:0;list-style:none;display:flex}.proof-node{align-items:baseline;gap:var(--gap-tight);border-bottom:1px var(--rule-style) var(--rule);padding:9px 0;display:flex}.proof-node:first-child{border-top:1px var(--rule-style) var(--rule)}.proof-node__side{white-space:nowrap;width:11ch;color:var(--fg-faint);flex:none}.proof-node__hash{font-size:var(--text-label);letter-spacing:.03em;line-height:var(--leading-body);color:var(--fg-dim)}.proof-verdict{margin:var(--gap-tight) 0 0;font-size:var(--text-ui);line-height:var(--leading-body);color:var(--fg-dim)}.proof-verdict.is-broken{color:var(--alert-text)}.step-inputs{max-width:92ch}.legend{row-gap:var(--gap-close);grid-template-columns:repeat(2,minmax(0,1fr));display:grid}.legend__item{padding-left:var(--gap-tight);background-image:var(--rule-v);background-position:0 0;background-repeat:no-repeat;background-size:1px 100%}.legend__item:nth-child(odd){background-image:none;padding-left:0}@media(min-width:1000px){.legend{grid-template-columns:repeat(4,minmax(0,1fr))}.legend__item:nth-child(odd){background-image:var(--rule-v);padding-left:var(--gap-tight)}.legend__item:nth-child(4n+1){background-image:none;padding-left:0}}@media(max-width:620px){.legend{row-gap:var(--gap-tight);grid-template-columns:minmax(0,1fr)}.legend__item{background-image:none;padding-left:0}}.relay-step{gap:var(--gap-tight);grid-template-columns:minmax(0,1fr);display:grid}@media(min-width:700px){.relay-step{grid-template-columns:7rem minmax(0,1fr);gap:2.5rem}.relay-step>div:nth-child(2){max-width:58ch}}.relay-step__figure{display:none}@media(min-width:1080px){.relay-step{grid-template-columns:7rem minmax(0,58ch) minmax(0,1fr)}.relay-step__figure{align-self:center;display:block}}.take-step{gap:var(--gap-close);grid-template-columns:minmax(0,1fr);display:grid}@media(min-width:1100px){.take-step{gap:var(--gap-close);grid-template-columns:minmax(0,1fr) minmax(0,.9fr);align-items:start}}.take-step__aside{gap:var(--gap-close);flex-direction:column;display:flex}@media(max-width:1099px){.take-step__plot{display:none}}.stat-grid{border:1px var(--rule-style) var(--rule);grid-template-columns:repeat(2,minmax(0,1fr));display:grid}@media(min-width:900px){.stat-grid{grid-template-columns:repeat(4,minmax(0,1fr))}}.stat-grid__cell{padding:var(--gap-tight);box-shadow:1px 0 0 0 var(--rule),0 1px 0 0 var(--rule)}.stat-grid__cell--lead{grid-column:span 2}@media(min-width:900px){.stat-grid__cell--lead{grid-row:span 2}}.stat-grid__cell--field{grid-column:1/-1;min-height:9rem;padding:0}.link{color:var(--fg-dim);text-underline-offset:4px;cursor:pointer;text-decoration:underline;text-decoration-thickness:1px}.link:hover{color:var(--fg)}.marked{background:var(--accent);color:var(--accent-fg);-webkit-box-decoration-break:clone;box-decoration-break:clone;margin-left:-.24em;padding:.06em .24em .1em}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}@media(prefers-reduced-motion:reduce){*,:before,:after{transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}.label{font-size:var(--text-label);font-weight:var(--weight-label);text-transform:uppercase;letter-spacing:var(--track-label);color:var(--fg-dim)}.lede{font-size:var(--text-lede);line-height:var(--leading-body);font-weight:var(--weight-body)}.state-term{font-size:.92em;font-weight:var(--weight-label);text-transform:uppercase;letter-spacing:var(--track-term);color:var(--fg);white-space:nowrap}.state-term__marker{vertical-align:.02em;width:.62em;height:.62em;margin-right:.34em;display:inline-block}.rule-t,.rule-b,.rule-r,.md-rule-r{background-repeat:no-repeat}.rule-t{background-image:var(--rule-h);background-position:0 0;background-size:100% 1px}.rule-b{background-image:var(--rule-h);background-position:0 100%;background-size:100% 1px}.rule-r{background-image:var(--rule-v);background-position:100% 0;background-size:1px 100%}@media(min-width:768px){.md-rule-r{background-image:var(--rule-v);background-position:100% 0;background-size:1px 100%}}@media(max-width:767px){.md-rule-r{background-image:var(--rule-h);background-position:0 100%;background-size:100% 1px}}.chrome{font-family:var(--font-chrome,var(--font-mono))}.display-face{font-family:var(--font-display);letter-spacing:-.015em;text-transform:none}.section-heading{-webkit-text-decoration:var(--heading-underline);text-decoration:var(--heading-underline);text-underline-offset:5px;text-decoration-thickness:1px}.page{max-width:var(--page-max);padding-inline:var(--page-gutter);margin-inline:auto}@media(min-width:1100px){.claim-row{min-height:calc(100svh - var(--masthead-h))}.claim-row>.claim{align-self:stretch}.claim-row .claim{align-items:stretch}.claim-row .claim__argument{flex-direction:column;display:flex}.claim-row .claim__bar{margin-top:auto}.claim-row .claim__plot{min-height:0;display:block}.claim-row .claim__plot>svg{height:100%}}@media(max-width:700px){.row .relay-scroll{margin-inline:calc(-1 * var(--page-gutter));width:calc(100% + var(--page-gutter) * 2);max-width:none}}.row{grid-template-columns:var(--rail-w) minmax(0,1fr);column-gap:var(--rail-gap);align-items:start;display:grid;position:relative}.row:before{content:"";top:var(--row-inset,0);bottom:0;left:calc(var(--rail-w) + var(--rail-gap) / 2);background-image:var(--rule-v);pointer-events:none;width:1px;position:absolute}.row:has(.wide):before{display:none}.masthead{align-items:center;column-gap:var(--gap-tight);grid-template-columns:1fr auto 1fr;display:grid}.masthead__end{align-items:center;gap:var(--gap-tight);justify-self:end;display:flex}@media(max-width:1100px){.masthead{grid-template-columns:1fr auto;place-items:center start;row-gap:0}.masthead__toggle{justify-self:end}.jump__input{flex:1;width:auto;min-width:0}}@media(max-width:900px){.row:before{display:none}}.row>.rail{position:sticky;top:1.5rem}.row>.claim-rail{flex-direction:column;align-self:stretch;display:flex;position:static}.claim-rail__print{margin-top:auto}@media(max-width:900px){.row{row-gap:var(--gap-tight);grid-template-columns:minmax(0,1fr)}.row>.rail{position:static}.claim-rail{margin-top:var(--gap-close);order:2}.row>.claim{order:1}}.measure{max-width:var(--measure);text-wrap:pretty}.wide{grid-column:1/-1}.watermark__inner{gap:var(--gap-tight);font-size:var(--text-ui);line-height:var(--leading-body);color:var(--fg-dim);align-items:baseline;padding-block:10px;display:flex}.watermark__label{color:var(--alert-text);flex-shrink:0}.field__hint{max-width:60ch;font-size:var(--text-label);line-height:var(--leading-snug);color:var(--fg-faint);margin-top:6px;display:block}.about-details{margin-top:var(--gap-close);max-width:78ch}.about-details>summary{cursor:pointer;color:var(--fg-dim);list-style:none}.about-details>summary::-webkit-details-marker{display:none}.about-details>summary:before{content:"▸ "}.about-details[open]>summary:before{content:"▾ "}.doc-text{max-width:78ch;padding:var(--gap-tight);border:1px var(--rule-style) var(--rule);font-family:inherit;font-size:var(--text-body);line-height:var(--leading-body);white-space:pre-wrap;overflow-wrap:anywhere;color:var(--fg-dim);margin:0}.data-excerpt{overflow-wrap:anywhere;min-width:14rem;max-width:22rem;color:var(--fg-dim)}.device-costs{margin-top:var(--gap-tight)}.device-costs__row{gap:var(--gap-tight);border-bottom:1px var(--rule-style) var(--rule);font-size:var(--text-ui);grid-template-columns:15rem minmax(8ch,auto) 1fr;align-items:baseline;padding:10px 0;display:grid}.device-costs__row:first-child{border-top:1px var(--rule-style) var(--rule)}.device-costs--compact .device-costs__row{padding:8px 0}.device-costs__device{color:var(--fg-faint)}.device-costs__cost{min-width:0}.device-costs__note{color:var(--fg-faint);font-size:var(--text-label);text-align:right}@media(max-width:760px){.device-costs__row{grid-template-columns:minmax(0,1fr);gap:2px}.device-costs__note{text-align:left}}.relay-relation{margin:var(--gap-tight) 0 0;max-width:78ch;font-size:var(--text-label);line-height:var(--leading-body);color:var(--fg-dim)}.segment-key{gap:var(--gap-tight) var(--gap-close);margin-top:var(--gap-tight);font-size:var(--text-label);color:var(--fg-dim);flex-wrap:wrap;display:flex}.segment-key__item{align-items:center;gap:8px;display:inline-flex}.segment-key__mark{flex:0 0 14px;width:14px;height:14px}.segment-key__mark--rule{flex:0 0 4px;width:4px}@property --tw-rotate-x{syntax:"*";inherits:false}@property --tw-rotate-y{syntax:"*";inherits:false}@property --tw-rotate-z{syntax:"*";inherits:false}@property --tw-skew-x{syntax:"*";inherits:false}@property --tw-skew-y{syntax:"*";inherits:false}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-font-weight{syntax:"*";inherits:false}@property --tw-ordinal{syntax:"*";inherits:false}@property --tw-slashed-zero{syntax:"*";inherits:false}@property --tw-numeric-figure{syntax:"*";inherits:false}@property --tw-numeric-spacing{syntax:"*";inherits:false}@property --tw-numeric-fraction{syntax:"*";inherits:false}@property --tw-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-shadow-color{syntax:"*";inherits:false}@property --tw-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-inset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-shadow-color{syntax:"*";inherits:false}@property --tw-inset-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-ring-color{syntax:"*";inherits:false}@property --tw-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-ring-color{syntax:"*";inherits:false}@property --tw-inset-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-ring-inset{syntax:"*";inherits:false}@property --tw-ring-offset-width{syntax:"<length>";inherits:false;initial-value:0}@property --tw-ring-offset-color{syntax:"*";inherits:false;initial-value:#fff}@property --tw-ring-offset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-outline-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-blur{syntax:"*";inherits:false}@property --tw-brightness{syntax:"*";inherits:false}@property --tw-contrast{syntax:"*";inherits:false}@property --tw-grayscale{syntax:"*";inherits:false}@property --tw-hue-rotate{syntax:"*";inherits:false}@property --tw-invert{syntax:"*";inherits:false}@property --tw-opacity{syntax:"*";inherits:false}@property --tw-saturate{syntax:"*";inherits:false}@property --tw-sepia{syntax:"*";inherits:false}@property --tw-drop-shadow{syntax:"*";inherits:false}@property --tw-drop-shadow-color{syntax:"*";inherits:false}@property --tw-drop-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-drop-shadow-size{syntax:"*";inherits:false}