@font-face{font-family:recursive;src:url(../media/recursive_latin-s.p.1v0e1rp6b2tk-.woff2?dpl=dpl_G9fiRWUn1rEek5xii69bsTV8N4gc)format("woff2");font-display:swap;font-weight:300 1000}@font-face{font-family:recursive Fallback;src:local(Arial);ascent-override:82.84%;descent-override:21.8%;line-gap-override:0.0%;size-adjust:114.67%}.recursive_1a2a05e8-module__zUfW7q__className{font-family:recursive,recursive Fallback}.recursive_1a2a05e8-module__zUfW7q__variable{--font-recursive:"recursive", "recursive Fallback"}
html.lenis,html.lenis body{height:auto}.lenis:not(.lenis-autoToggle).lenis-stopped{overflow:clip}.lenis [data-lenis-prevent],.lenis [data-lenis-prevent-wheel],.lenis [data-lenis-prevent-touch],.lenis [data-lenis-prevent-vertical],.lenis [data-lenis-prevent-horizontal]{overscroll-behavior:contain}.lenis.lenis-smooth iframe{pointer-events:none}.lenis.lenis-autoToggle{transition-behavior:allow-discrete;transition-property:overflow;transition-duration:1ms}
@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-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}}}@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:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--spacing:.25rem;--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%;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;-webkit-text-decoration:inherit;-webkit-text-decoration: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]){appearance:button}::file-selector-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{.sr-only{clip-path:inset(50%);white-space:nowrap;border-width:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.fixed{position:fixed}.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}}.block{display:block}.grid{display:grid}.inline{display:inline}.table{display:table}.min-w-0{min-width:0}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.gap-3{gap:calc(var(--spacing) * 3)}.rounded{border-radius:.25rem}.border-0{border-style:var(--tw-border-style);border-width:0}.p-0{padding:0}.break-words{overflow-wrap:break-word}.break-all{word-break:break-all}.uppercase{text-transform:uppercase}.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)}}:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--canvas:#e8edea;--sheet:#fbfcfa;--band:#dde8e1;--ink:#17202a;--ink-2:#47535e;--rule-soft:#a7b6ae;--signal:#1d55a6;--clean:#1d6943;--clean-soft:#d6eadd;--crash:#a3221b;--crash-soft:#f5dcd8;--known:#553a9e;--known-soft:#e6e0f5;--caution:#7a4a00;--caution-soft:#f5e5c4;--neutral:#4b5864;--neutral-soft:#e0e6e9;--match:#f2dc8e;--button-ink:#fbfcfa;--button-hover:#2e3d4c}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--canvas:#11171a;--sheet:#182126;--band:#1f2b31;--ink:#e1e8e4;--ink-2:#a8b5bc;--rule-soft:#3b4b53;--signal:#8fb8ff;--clean:#74d3a0;--clean-soft:#16332a;--crash:#ff958b;--crash-soft:#41201d;--known:#c3aeff;--known-soft:#2c2647;--caution:#f1bb68;--caution-soft:#3a2b12;--neutral:#adbac3;--neutral-soft:#253239;--match:#5b4a10;--button-ink:#11171a;--button-hover:#c9d3ce}}:root[data-theme=dark]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--canvas:#11171a;--sheet:#182126;--band:#1f2b31;--ink:#e1e8e4;--ink-2:#a8b5bc;--rule-soft:#3b4b53;--signal:#8fb8ff;--clean:#74d3a0;--clean-soft:#16332a;--crash:#ff958b;--crash-soft:#41201d;--known:#c3aeff;--known-soft:#2c2647;--caution:#f1bb68;--caution-soft:#3a2b12;--neutral:#adbac3;--neutral-soft:#253239;--match:#5b4a10;--button-ink:#11171a;--button-hover:#c9d3ce}*{box-sizing:border-box}html{background:var(--canvas);color:var(--ink);scroll-padding-top:1rem;font-size:clamp(15px,1.11111vw,18px)}body{background:var(--canvas);color:var(--ink);font-family:var(--font-recursive), system-ui, sans-serif;font-variation-settings:"MONO" 0;-webkit-font-smoothing:antialiased;min-width:0;margin:0;font-weight:400;line-height:1.55}button,input,select,textarea{font:inherit;font-variation-settings:inherit}a{color:var(--signal);text-underline-offset:.2em;text-decoration-thickness:1.5px}::selection{background:var(--match);color:var(--ink)}:focus-visible{outline:3px solid var(--signal);outline-offset:2px}h1,h2,h3,h4,p{margin:0}h1,h2,.mono,.display,pre,code,.stamp,.source-chip,.btn,.brand-name{font-family:var(--font-recursive), ui-monospace, "Cascadia Code", Menlo, Consolas, monospace;font-variation-settings:"MONO" 1}h1,h2{letter-spacing:-.02em;font-weight:700;line-height:1.08}h3,h4{font-weight:700;line-height:1.25}pre,code{overflow-wrap:anywhere}pre{white-space:pre-wrap;margin:0}.sr-only{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.skip-link{background:var(--sheet);border:2px solid var(--ink);color:var(--ink);z-index:10;border-radius:6px;padding:.5rem 1rem;font-weight:700;position:absolute;top:1rem;left:1rem;transform:translateY(-200%)}.skip-link:focus{transform:translateY(0)}.page{min-width:0;max-width:80rem;margin:0 auto;padding:0 1rem}.site-head{border-bottom:2px solid var(--ink);justify-content:space-between;align-items:center;gap:.75rem;min-width:0;padding:.6rem 0;display:flex}.brand{color:var(--ink);align-items:center;gap:.5rem;min-height:44px;text-decoration:none;display:inline-flex}.brand-name{font-size:1.1rem;font-weight:800}.nav-links{flex-wrap:wrap;justify-content:flex-end;gap:0 1.1rem;margin:0;padding:0;list-style:none;display:flex}.nav-link{color:var(--ink);align-items:center;min-height:44px;font-size:.9rem;font-weight:600;text-decoration:none;display:inline-flex}.nav-link:hover,.nav-link[aria-current=page]{text-decoration:underline;text-decoration-thickness:2px}.section{border-top:2px solid var(--ink);min-width:0;padding:clamp(2rem,5vw,3.5rem) 0}.section-lead{border-top:0;padding-top:clamp(1.5rem,4vw,3rem)}.section-heading{gap:.6rem;max-width:62ch;display:grid}.section-heading h2{font-size:clamp(1.6rem,3vw,2.3rem)}.section-lede{color:var(--ink-2);max-width:62ch;font-size:1.02rem}.hero-grid{grid-template-columns:minmax(0,1fr) minmax(0,1.05fr);align-items:start;gap:clamp(1.5rem,4vw,3.5rem);display:grid}.hero-title{max-width:18ch;font-size:clamp(2rem,4vw,3.4rem);font-weight:700}.hero-lede{color:var(--ink-2);max-width:56ch;margin-top:1.1rem;font-size:clamp(1rem,1.25vw,1.12rem)}.hero-more{max-width:56ch;margin-top:1rem;font-weight:600}.ticket,.hero-answer,.summary{background:var(--sheet);border:2px solid var(--ink);border-left-width:.6rem;border-left-color:var(--tone,var(--ink));color:var(--ink);border-radius:10px;gap:.75rem;min-width:0;padding:clamp(1rem,2.2vw,1.5rem);display:grid}.hero-answer-when,.hero-answer-ids{color:var(--ink-2);font-size:.85rem}.hero-answer-ids{font-family:var(--font-recursive), ui-monospace, monospace;font-variation-settings:"MONO" 1;margin-top:-.4rem}.hero-answer-title{font-size:clamp(1.1rem,1.7vw,1.3rem)}.hero-answer-step,.next-step{max-width:36ch;font-size:clamp(1.2rem,2vw,1.5rem);font-weight:700;line-height:1.3}.next-action{color:var(--ink-2);font-weight:500}.hero-answer-facts{border-bottom:1px solid var(--rule-soft);border-top:1px solid var(--rule-soft);flex-wrap:wrap;gap:.4rem 1.5rem;margin:0;padding:.55rem 0;display:flex}.hero-answer-facts dt{color:var(--ink-2);font-size:.8rem}.hero-answer-facts dd{font-family:var(--font-recursive), ui-monospace, monospace;font-variant-numeric:tabular-nums;font-variation-settings:"MONO" 1;margin:0;font-weight:700}.hero-answer-model{gap:.15rem;margin:0;padding:0;font-size:.92rem;list-style:none;display:grid}.hero-answer-actions,.actions{flex-wrap:wrap;align-items:center;gap:.6rem;display:flex}.verdict-key,.limits{color:var(--ink-2);max-width:62ch;font-size:.9rem}.verdict-key summary,.limits summary{color:var(--ink);cursor:pointer;width:fit-content;min-height:44px;padding:.6rem 0;font-weight:600}.verdict-key ul{gap:.6rem;margin:0 0 .6rem;padding:0;list-style:none;display:grid}.verdict-key li{gap:.25rem;display:grid}.btn{border:2px solid var(--ink);cursor:pointer;border-radius:6px;align-items:center;gap:.55rem;min-height:44px;padding:.6rem 1rem;font-size:.92rem;font-weight:700;line-height:1.2;transition:background .12s;display:inline-flex}.btn-primary{background:var(--ink);color:var(--button-ink)}.btn-secondary{background:var(--sheet);color:var(--ink)}@media (hover:hover) and (pointer:fine){.btn-primary:not(:disabled):hover{background:var(--button-hover);border-color:var(--button-hover)}.btn-secondary:not(:disabled):hover{background:var(--band)}}.btn:disabled{background:var(--neutral-soft);border-color:var(--ink-2);color:var(--ink-2);cursor:not-allowed}.btn-icon{font-size:.8em}.stamp{background:var(--tone-soft,var(--sheet));border:1.5px solid var(--tone,var(--ink));color:var(--tone,var(--ink));white-space:nowrap;border-radius:4px;align-items:center;gap:.4em;width:fit-content;padding:.3em .55em;font-weight:700;line-height:1.15;display:inline-flex}.stamp-small{font-size:.78rem}.stamp-verdict{font-size:clamp(1.05rem,1.8vw,1.3rem)}.stamp-public{overflow-wrap:anywhere;white-space:normal;font-size:.92rem}.stamp-waiting{border-style:dashed}.tone-proof{--tone:var(--clean);--tone-soft:var(--clean-soft)}.tone-crash{--tone:var(--crash);--tone-soft:var(--crash-soft)}.tone-dup{--tone:var(--known);--tone-soft:var(--known-soft)}.tone-info{--tone:var(--caution);--tone-soft:var(--caution-soft)}.tone-slate{--tone:var(--neutral);--tone-soft:var(--neutral-soft)}.motion-wrap{transform-origin:0;display:inline-block}.door-intro{gap:.8rem}.door-grid{grid-template-columns:minmax(0,.8fr) minmax(0,1.2fr);gap:clamp(1.25rem,3vw,2.5rem);min-width:0;margin-top:clamp(1.25rem,3vw,2rem);display:grid}.picker-legend{margin-bottom:.5rem;font-size:1.05rem;font-weight:700}.picker{background:var(--sheet);border:2px solid var(--ink);border-radius:10px;display:grid;overflow:hidden}.pick{cursor:pointer;border-left:.35rem solid #0000;grid-template-columns:auto minmax(0,1fr);align-items:start;gap:.15rem .7rem;min-height:3.3rem;padding:.6rem .8rem .6rem .55rem;display:grid}.pick:nth-child(2n){background:var(--band)}.pick+.pick{border-top:1px solid var(--rule-soft)}.pick input{accent-color:var(--ink);width:1.05rem;height:1.05rem;margin:.2rem 0 0}.pick-title{overflow-wrap:anywhere;font-weight:600;line-height:1.3}.pick-ids{color:var(--ink-2);font-family:var(--font-recursive), ui-monospace, monospace;font-variation-settings:"MONO" 1;font-size:.8rem}.pick:has(:checked){border-left-color:var(--ink)}.pick:has(:checked) .pick-title{font-weight:800}.pick:has(:focus-visible){outline:3px solid var(--signal);outline-offset:-3px}@media (hover:hover) and (pointer:fine){.pick:not(:has(:checked)):hover{border-left-color:var(--rule-soft)}}.pick-type{color:var(--ink-2);font-family:var(--font-recursive), ui-monospace, monospace;font-variation-settings:"MONO" 1;overflow-wrap:anywhere;font-size:.8rem}.more{background:var(--sheet);border:2px solid var(--ink);border-radius:10px;margin-top:.9rem}.more-body{border-top:1px dashed var(--rule-soft);gap:.55rem;min-width:0;padding:.75rem .9rem .9rem;display:grid}.more-heading{gap:.1rem;min-width:0;display:grid}.more-gist{color:var(--ink-2);font-size:.85rem}.more-label{font-size:.92rem;font-weight:600}.more-chosen{border-left:.35rem solid var(--ink);overflow-wrap:anywhere;margin:0;padding-left:.6rem;font-size:.9rem}.more-search{background:var(--canvas);border:2px solid var(--ink);color:var(--ink);border-radius:8px;width:100%;min-width:0;min-height:44px;padding:.45rem .7rem}.more-search::placeholder{color:var(--ink-2)}.more-search:focus-visible{outline:3px solid var(--signal);outline-offset:2px}.more-search:disabled{cursor:progress}.more-count,.more-note{color:var(--ink-2);margin:0;font-size:.88rem}.more-list{overscroll-behavior:contain;gap:.85rem;min-width:0;max-height:min(64vh,34rem);padding:.1rem .2rem .1rem 0;display:grid;overflow-y:auto}.more-group{gap:.35rem;min-width:0;display:grid}.more-project{font-family:var(--font-recursive), ui-monospace, monospace;font-variation-settings:"MONO" 1;align-items:baseline;gap:.5rem;margin:0;font-weight:700;display:flex}.more-project-count{color:var(--ink-2);font-weight:400}.work{align-content:start;gap:1rem;min-width:0;display:grid}.report-card{background:var(--sheet);border:2px solid var(--ink);border-radius:10px;gap:.75rem;min-width:0;padding:clamp(1rem,2.2vw,1.4rem);display:grid}.report-head{gap:.25rem;display:grid}.report-head h2{font-size:clamp(1.25rem,2.2vw,1.6rem)}.report-ids{color:var(--ink-2);font-family:var(--font-recursive), ui-monospace, monospace;font-variation-settings:"MONO" 1;font-size:.85rem}.report-source{color:var(--ink-2);font-size:.85rem}.report-text{background:var(--band);border-left:3px solid var(--ink-2);border-radius:4px;padding:.8rem .9rem;font-size:.82rem;line-height:1.55}.action-note{color:var(--ink-2);max-width:62ch;font-size:.85rem}.limits p{line-height:1.5}.notice{background:var(--caution-soft);border:2px solid var(--caution);color:var(--ink);border-radius:8px;padding:.75rem 1rem;font-weight:600}mark[data-matched-frame]{background:var(--match);color:var(--ink);border-radius:3px;padding:0 .2em}.result{gap:1.25rem;min-width:0;scroll-margin-top:1rem;display:grid}.summary{gap:1rem;container-type:inline-size}.summary-top{flex-wrap:wrap;align-items:center;gap:.4rem .7rem;display:flex}.source-chip{border:1.5px solid var(--ink);border-radius:4px;padding:.35rem .5rem;font-size:.78rem;font-weight:700;line-height:1}.source-live{background:var(--ink);color:var(--button-ink)}.source-recorded{background:var(--sheet);color:var(--ink);border-style:dashed}.summary-kicker{font-size:.95rem;font-weight:600}.summary-kicker:focus{outline:none}.summary-kicker:focus-visible{outline:3px solid var(--signal);outline-offset:3px}.summary-note{color:var(--ink-2);font-size:.88rem}.summary-verdict{justify-items:start;gap:.7rem;display:grid}.summary-stamps{flex-wrap:wrap;align-items:center;gap:.5rem .6rem;display:flex}.summary-sentence{color:var(--ink-2);max-width:56ch;font-size:1rem}.summary-detail{background:var(--caution-soft);border-left:.35rem solid var(--caution);overflow-wrap:anywhere;border-radius:4px;padding:.5rem .75rem;font-size:.9rem}.progress{flex-wrap:wrap;gap:.35rem;margin:0;padding:0;list-style:none;display:flex}.progress li{border:1.5px dashed var(--ink-2);color:var(--ink-2);border-radius:4px;align-items:center;gap:.35rem;padding:.25rem .5rem;font-size:.78rem;font-weight:600;display:inline-flex}.progress li.progress-done{background:var(--clean-soft);border:1.5px solid var(--clean);color:var(--clean)}.build-tiles{grid-template-columns:repeat(2,minmax(0,1fr));gap:.75rem;display:grid}.build-tile{border-top:2px solid var(--ink);align-content:start;gap:.5rem;min-width:0;padding-top:.6rem;display:grid}.build-tile h4,.public-head h4{font-size:.9rem}.build-tile .stamp{white-space:normal;font-size:.95rem}.tile-rows{gap:.35rem;margin:0;display:grid}.tile-row dt{color:var(--ink-2);font-size:.78rem}.tile-row dd{font-family:var(--font-recursive), ui-monospace, monospace;font-variation-settings:"MONO" 1;overflow-wrap:anywhere;margin:0;font-weight:600}.public-line{border-top:1px solid var(--rule-soft);gap:.6rem;min-width:0;padding-top:.9rem;display:grid}.public-head{flex-wrap:wrap;align-items:center;gap:.5rem .75rem;display:flex}.public-sentence{overflow-wrap:anywhere;font-weight:600}.public-link,.public-reused{overflow-wrap:anywhere;font-size:.9rem}.public-reused{color:var(--ink-2)}.totals{border-top:1px solid var(--rule-soft);grid-template-columns:repeat(2,minmax(0,1fr));gap:.5rem 1rem;margin:0;padding-top:.8rem;display:grid}@container (min-width:36rem){.totals{grid-template-columns:repeat(4,minmax(0,1fr))}}.totals>div{min-width:0}.totals dt{color:var(--ink-2);font-size:.78rem}.totals dd{font-family:var(--font-recursive), ui-monospace, monospace;font-variant-numeric:tabular-nums;font-variation-settings:"MONO" 1;overflow-wrap:break-word;margin:.1rem 0 0;font-size:1rem;font-weight:700}.totals .unit{font-size:.8rem;font-weight:500}.totals small{color:var(--ink-2);font-family:var(--font-recursive), system-ui, sans-serif;font-variation-settings:"MONO" 0;font-size:.78rem;font-weight:500;display:block}.spend{gap:.5rem;display:grid}.spend-bar{border:1.5px solid var(--ink);border-radius:3px;height:.75rem;display:flex;overflow:hidden}.spend-bar-model,.spend-key-model,.cost-row-model .cost-fill{background:var(--known)}.spend-bar-sandbox,.spend-key-sandbox,.cost-row-sandbox .cost-fill{background:var(--caution)}.spend-bar-sandbox{flex:1}.spend-lines{gap:.3rem;margin:0;padding:0;list-style:none;display:grid}.spend-lines li{grid-template-columns:.7rem minmax(0,1fr) auto;align-items:baseline;gap:.2rem .5rem;font-size:.9rem;display:grid}.spend-key{border-radius:2px;width:.7rem;height:.7rem;display:inline-block}.spend-usd{font-family:var(--font-recursive), ui-monospace, monospace;font-variant-numeric:tabular-nums;font-variation-settings:"MONO" 1;text-align:right;font-weight:700}.public-link a,.disclosure-body a,.site-foot a{text-decoration-line:underline}.evidence{gap:.6rem;min-width:0;display:grid}.evidence-head{flex-wrap:wrap;align-items:baseline;gap:.25rem .9rem;display:flex}.evidence-head h3{font-size:1.2rem}.evidence-hint{color:var(--ink-2);font-size:.88rem}.evidence-list{background:var(--sheet);border:2px solid var(--ink);border-radius:10px;margin:0;padding:0;list-style:none;display:grid;overflow:hidden}.evidence-item{min-width:0}.evidence-item:nth-child(2n){background:var(--band)}.evidence-item+.evidence-item{border-top:1px solid var(--rule-soft)}.disclosure{min-width:0}.disclosure>summary{cursor:pointer;align-items:center;gap:.4rem .8rem;min-height:44px;padding:.5rem .9rem;list-style:none;display:flex}.disclosure>summary::-webkit-details-marker{display:none}.disclosure-title{flex:none;font-weight:700}.disclosure-gist{color:var(--ink-2);font-family:var(--font-recursive), ui-monospace, monospace;font-variation-settings:"MONO" 1;text-overflow:ellipsis;white-space:nowrap;flex:1;min-width:0;font-size:.82rem;overflow:hidden}.disclosure-caret{border-bottom:2px solid var(--ink);border-right:2px solid var(--ink);flex:none;width:.55rem;height:.55rem;margin-left:auto;transition:transform .15s;transform:rotate(45deg)translate(-2px,-2px)}.disclosure[open] .disclosure-caret{transform:rotate(-135deg)translate(-2px,-2px)}.disclosure-body{border-top:1px dashed var(--rule-soft);overflow-wrap:anywhere;gap:.3rem;min-width:0;padding:.7rem .9rem .9rem;font-size:.9rem;display:grid}.field{overflow-wrap:anywhere;min-width:0}.field-label{color:var(--ink-2)}.field-value{font-family:var(--font-recursive), ui-monospace, monospace;font-variation-settings:"MONO" 1;font-weight:600}.evidence-pages,.draft-lines{gap:.6rem;margin:.4rem 0 0;padding:0;list-style:none;display:grid}.evidence-pages>li,.draft-lines>li{border-left:3px solid var(--rule-soft);min-width:0;padding-left:.75rem}.evidence-page-title{font-weight:700}.draft-repeat{color:var(--ink-2);font-style:italic}.draft-meta{color:var(--ink-2);font-size:.82rem}.ribbon{gap:.45rem;min-width:0;margin:.1rem 0 0;display:grid}.ribbon-track{grid-template-columns:minmax(0,auto) minmax(5.5rem,1fr) minmax(0,auto);align-items:center;min-width:0;max-width:34rem;display:grid}.ribbon-end{background:var(--sheet);border:2px solid var(--ink);z-index:1;gap:.05rem;min-width:0;padding:.4rem .7rem .4rem 1.4rem;display:grid;position:relative}.ribbon-end:before{border:2px solid var(--ink);content:"";border-radius:50%;width:.5rem;height:.5rem;position:absolute;top:50%;left:.5rem;transform:translateY(-50%)}.ribbon-end code{overflow-wrap:anywhere;font-size:.95rem;font-weight:700}.ribbon-kicker{color:var(--ink-2);font-size:.72rem;line-height:1.15}.ribbon-tag{background:var(--band);border-radius:1rem 4px 4px 1rem}.ribbon-tag:before{background:var(--sheet)}.ribbon-commit{border-radius:999px}.ribbon-contains .ribbon-commit{background:var(--clean-soft)}.ribbon-contains .ribbon-commit:before{background:var(--clean)}.ribbon-missing .ribbon-commit{background:var(--crash-soft)}.ribbon-missing .ribbon-commit:before{background:var(--crash)}.ribbon-link{justify-content:center;align-items:center;min-width:0;min-height:2.6rem;display:flex;position:relative}.ribbon-line{background:var(--ink);transform-origin:0;height:3px;position:absolute;top:50%;left:0;right:0;transform:translateY(-50%)}.ribbon-missing .ribbon-line{background:repeating-linear-gradient(90deg, var(--crash) 0 10px, transparent 10px 17px)}.ribbon-word{background:var(--sheet);color:var(--clean);text-align:center;white-space:nowrap;z-index:1;border:1.5px solid;border-radius:4px;margin:0 .35rem;padding:.2rem .5rem;font-size:.8rem;font-weight:700;line-height:1.15;position:relative}.ribbon-missing .ribbon-word{color:var(--crash)}.ribbon figcaption{color:var(--ink-2);font-size:.8rem}@media (max-width:480px){.ribbon-track{grid-template-columns:minmax(0,1fr);justify-items:start}.ribbon-link{justify-content:flex-start;width:100%;min-height:3rem;padding-left:2rem}.ribbon-line{transform-origin:top;width:3px;height:100%;top:0;left:.85rem;right:auto;transform:none}.ribbon-missing .ribbon-line{background:repeating-linear-gradient(180deg, var(--crash) 0 8px, transparent 8px 13px)}.ribbon-word{margin:0}}.cost-compare{background:var(--sheet);border:2px solid var(--ink);border-radius:10px;gap:.9rem;max-width:60rem;margin:1.75rem 0 0;padding:clamp(1rem,2.2vw,1.4rem);display:grid}.cost-lead{font-size:clamp(1.15rem,2vw,1.45rem);font-weight:700;line-height:1.25}.cost-bars{gap:.8rem;margin:0;display:grid}.cost-row{gap:.3rem;display:grid}.cost-row dt{font-weight:600}.cost-row dd{grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:.75rem;margin:0;display:grid}.cost-track{background:var(--band);border:1.5px solid var(--ink);border-radius:3px;height:1.25rem;display:block;overflow:hidden}.cost-fill{height:100%;display:block}.cost-usd{font-family:var(--font-recursive), ui-monospace, monospace;font-variant-numeric:tabular-nums;font-variation-settings:"MONO" 1;font-weight:700}.cost-foot{color:var(--ink-2);font-size:.92rem}.measured-tiles{flex-wrap:wrap;gap:.5rem;margin:1.25rem 0 0;padding:0;list-style:none;display:flex}.measured-tile{background:var(--sheet);border:1.5px solid var(--ink);font-family:var(--font-recursive), ui-monospace, monospace;font-variation-settings:"MONO" 1;overflow-wrap:anywhere;border-radius:4px;min-width:0;padding:.4rem .65rem;font-size:.9rem;font-weight:600}.measured-tile-lead{border-width:2px;font-weight:800}.measured-note{border-left:3px solid var(--caution);color:var(--ink-2);max-width:62ch;margin-top:1rem;padding-left:.85rem}.measured-rows{background:var(--sheet);border:2px solid var(--ink);border-radius:10px;margin:1.5rem 0 0;padding:0;list-style:none;display:grid;overflow:hidden}.measured-row{grid-template-columns:minmax(8rem,1fr) minmax(5rem,.6fr) minmax(8rem,auto) minmax(8rem,1fr) auto auto;align-items:center;gap:.3rem 1rem;min-width:0;padding:.55rem .9rem;display:grid}.measured-row:nth-child(2n){background:var(--band)}.measured-row+.measured-row{border-top:1px solid var(--rule-soft)}.measured-row>span{overflow-wrap:anywhere;min-width:0}.measured-row .num,.proof-row .num{color:var(--ink-2);font-family:var(--font-recursive), ui-monospace, monospace;font-variant-numeric:tabular-nums;font-variation-settings:"MONO" 1;font-size:.85rem}.site-foot{border-top:2px solid var(--ink);color:var(--ink-2);flex-wrap:wrap;justify-content:space-between;gap:.4rem 1.25rem;padding:1rem 0 2rem;font-size:.85rem;display:flex}@media (max-width:1100px){.measured-row{grid-template-columns:repeat(3,minmax(0,auto));justify-content:start}}@media (max-width:960px){.hero-grid,.door-grid{grid-template-columns:minmax(0,1fr)}}@media (max-width:560px){.brand-name{display:none}.nav-links{gap:0 .8rem}.nav-link{font-size:.85rem}.measured-row{grid-template-columns:minmax(0,1fr)}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.001ms!important;animation-duration:.001ms!important;animation-iteration-count:1!important}}.proof-title{font-size:clamp(2.2rem,6vw,4.4rem)}.proof-tiles{grid-template-columns:repeat(auto-fit,minmax(13rem,1fr));gap:.75rem;margin:1.75rem 0 0;padding:0;list-style:none;display:grid}.proof-tile{background:var(--sheet);border:2px solid var(--ink);border-left:.5rem solid var(--clean);border-radius:8px;gap:.3rem;min-width:0;padding:.9rem 1rem;display:grid}.proof-tile-value{color:var(--clean);font-size:clamp(2.2rem,4vw,3rem);font-weight:800;line-height:1}.proof-cost{max-width:62ch;margin-top:1.25rem}.proof-runs{grid-template-columns:repeat(auto-fit,minmax(17rem,1fr));gap:1rem;margin-top:1.5rem;display:grid}.proof-run{background:var(--sheet);border:2px solid var(--ink);border-radius:10px;gap:.55rem;min-width:0;padding:1rem 1.2rem;display:grid}.proof-run h3{font-size:1.25rem}.proof-run-when{color:var(--ink-2)}.proof-run-count .display{margin-right:.15em;font-size:2.2rem;font-weight:800;line-height:1}.proof-run-causes{gap:.25rem;margin:0;padding-left:1.1rem;display:grid}p.proof-run-causes{padding-left:0}.proof-run-plan{border-left:3px solid var(--known);padding-left:.7rem}.proof-link{width:fit-content;font-weight:600}.proof-rule{background:var(--sheet);border:2px solid var(--ink);border-radius:8px;max-width:62ch;margin-top:1rem;padding:.6rem 1rem}.proof-rule summary{cursor:pointer;min-height:44px;padding:.6rem 0;font-weight:600}.proof-rule p{margin-top:.6rem}.proof-rows{background:var(--sheet);border:2px solid var(--ink);border-radius:10px;margin:1.5rem 0 0;padding:0;list-style:none;display:grid;overflow:hidden}.proof-row{border-left:.4rem solid #0000;grid-template-columns:minmax(9rem,.9fr) auto minmax(14rem,1.6fr) minmax(8rem,1fr) auto auto;align-items:center;gap:.4rem 1rem;min-width:0;padding:.6rem .9rem;display:grid}.proof-row:nth-child(2n){background:var(--band)}.proof-row+.proof-row{border-top:1px solid var(--rule-soft)}.proof-row>*{overflow-wrap:anywhere;min-width:0}.proof-row-miss{border-left-color:var(--crash)}.proof-row-failed{border-left-color:var(--neutral);grid-template-columns:minmax(9rem,.9fr) auto minmax(14rem,3fr) auto}.proof-row-id{gap:.05rem;display:grid}.proof-row-id .display{font-size:.95rem;font-weight:700}.proof-row-checks{flex-wrap:wrap;gap:.35rem;display:flex}.proof-row-misses{grid-column:1/-1;gap:.2rem;margin:0;padding-left:1.1rem;display:grid}.patch-row{grid-template-columns:minmax(9rem,.6fr) minmax(0,3fr);align-items:start}.patch-row[data-patch-best=PROVEN]{border-left-color:var(--clean)}.patch-row[data-patch-best=NOT_PROVEN]{border-left-color:var(--crash)}.patch-row .proof-row-crash{color:var(--ink-2);font-size:.88rem}.patch-run-cells{grid-template-columns:repeat(auto-fit,minmax(15rem,1fr));gap:.6rem 1rem;min-width:0;display:grid}.patch-run-cell{border-left:3px solid var(--rule-soft);align-content:start;gap:.3rem;min-width:0;padding-left:.6rem;display:grid}.patch-run-cell[data-patch-outcome=PROVEN]{border-left-color:var(--clean)}.patch-run-cell[data-patch-outcome=NOT_PROVEN]{border-left-color:var(--crash)}.patch-run-cell>p{overflow-wrap:anywhere;min-width:0;margin:0}.patch-run-cell-head{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.patch-run-label{font-weight:700}.patch-attempts{font-size:.9rem}.patch-diff{grid-column:1/-1;min-width:0}.patch-diff summary{cursor:pointer;width:fit-content;min-height:44px;padding:.55rem 0;font-weight:600}.patch-diff pre{background:var(--canvas);border:1px solid var(--rule-soft);font-family:var(--font-recursive), ui-monospace, monospace;font-variation-settings:"MONO" 1;white-space:pre;border-radius:6px;max-width:100%;margin:.4rem 0;padding:.7rem;font-size:.8rem;overflow-x:auto}.patch-diff pre:focus-visible{outline:3px solid var(--signal);outline-offset:2px}.patch-blocked{border-left:3px solid var(--neutral);color:var(--ink-2);grid-column:1/-1;margin:0;padding-left:.6rem;font-size:.88rem}.patch-harness-note{border-left:3px solid var(--caution);padding-left:.7rem}.patch-rationale,.patch-check,.patch-upstream{max-width:70ch;margin:.35rem 0}@media (max-width:52rem){.proof-row,.proof-row-failed{grid-template-columns:1fr auto}.proof-row-checks,.patch-attempts,.proof-row-crash,.proof-row-why{grid-column:1/-1}.patch-row{grid-template-columns:minmax(0,1fr)}}@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-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}