@font-face{font-family:Atkinson Hyperlegible Next Variable;font-style:normal;font-display:swap;font-weight:200 800;src:url(../media/atkinson-hyperlegible-next-latin-ext-wght-normal.06adi5qjgm3bm.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Atkinson Hyperlegible Next Variable;font-style:normal;font-display:swap;font-weight:200 800;src:url(../media/atkinson-hyperlegible-next-latin-wght-normal.1o9o6__l__p-w.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:Atkinson Hyperlegible Mono Variable;font-style:normal;font-display:swap;font-weight:200 800;src:url(../media/atkinson-hyperlegible-mono-latin-ext-wght-normal.3r-pmifgbjv3x.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Atkinson Hyperlegible Mono Variable;font-style:normal;font-display:swap;font-weight:200 800;src:url(../media/atkinson-hyperlegible-mono-latin-wght-normal.0dezz_p37j6_1.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
:root{--sans:"Atkinson Hyperlegible Next Variable", system-ui, sans-serif;--mono:"Atkinson Hyperlegible Mono Variable", ui-monospace, Consolas, monospace;--bg:#eef0ec;--surface:#fafbf8;--surface-2:#e8ebe5;--canvas:#f4f5f2;--rule:#d4d8d0;--rule-strong:#a9aea4;--ink:#161815;--ink-2:#464b44;--ink-3:#61675e;--link:#1f56a0;--select:#1f56a0;--f-runtime:#2459a6;--f-boundary:#b5400e;--f-system:#2a6d5d;--f-code:#737a6f;--gap:#b3261e;--heur:#8a5d00;--ok:#2e6b3b;--edge:#8d9389;--hatch:color-mix(in srgb, var(--gap) 22%, transparent);--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}@media (prefers-color-scheme:dark){:root{--bg:#171816;--surface:#1f201e;--surface-2:#2a2c28;--canvas:#1b1c1a;--rule:#343631;--rule-strong:#4f524b;--ink:#e8e9e4;--ink-2:#bcc0b6;--ink-3:#959a8f;--link:#8fb4e6;--select:#8fb4e6;--f-runtime:#7fa7de;--f-boundary:#ec8a5b;--f-system:#6db3a1;--f-code:#9ba096;--gap:#ee7b6f;--heur:#d8a842;--ok:#7fbb8b;--edge:#6b7066;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}}*{box-sizing:border-box}html,body{height:100%;margin:0}body{background:var(--bg);color:var(--ink);font:14px/1.45 var(--sans);-webkit-font-smoothing:antialiased}a{color:var(--link);text-underline-offset:2px}code,pre,kbd{font-family:var(--mono);font-size:.9em}h1,h2,h3{letter-spacing:-.01em;line-height:1.15}h4{color:var(--ink);margin:18px 0 6px;font-size:13px;font-weight:700}h4 .muted{font-weight:400}button{font:inherit;color:inherit}.muted{color:var(--ink-3)}.empty{color:var(--ink-3);padding:16px}.center{height:100vh;color:var(--ink-3);place-items:center;display:grid}.num{font-variant-numeric:tabular-nums}:focus-visible{outline:2px solid var(--select);outline-offset:1px}.glyph{background:var(--g);flex:none;width:9px;height:9px;display:inline-block}.glyph--runtime{--g:var(--f-runtime)}.glyph--boundary{--g:var(--f-boundary);transform:rotate(45deg)scale(.86)}.glyph--system{--g:var(--f-system);border-radius:50%}.glyph--code{--g:transparent;border:1.5px solid var(--f-code)}.glyph--gap{--g:repeating-linear-gradient(135deg, var(--gap) 0 1.5px, transparent 1.5px 3.5px);border:1px solid var(--gap)}.line{border-top:2px solid var(--edge);vertical-align:middle;flex:none;width:22px;height:0;display:inline-block}.line--inferred{border-top-style:dashed}.line--heuristic{border-top:2px dotted var(--heur)}.line--ipc{border-top-color:var(--f-boundary)}.btn{border:1px solid var(--rule-strong);background:var(--surface);cursor:pointer;color:var(--ink);border-radius:3px;align-items:center;gap:6px;padding:5px 10px;font-size:13px;line-height:1.3;text-decoration:none;display:inline-flex}.btn:hover{background:var(--surface-2)}.btn:disabled{opacity:.5;cursor:default}.btn--primary{background:var(--ink);border-color:var(--ink);color:var(--surface);font-weight:600}.btn--primary:hover{background:var(--ink-2)}.link{cursor:pointer;color:var(--link);text-align:left;background:0 0;border:0;align-items:center;gap:6px;min-width:0;padding:0;display:inline-flex}.link:hover{text-underline-offset:2px;text-decoration:underline}.tabs{border-bottom:1px solid var(--rule);gap:18px;display:flex}.tab{cursor:pointer;color:var(--ink-3);background:0 0;border:0;border-bottom:2px solid #0000;margin-bottom:-1px;padding:8px 0 7px;font-size:13px}.tab:hover{color:var(--ink)}.tab--on{color:var(--ink);border-bottom-color:var(--ink);font-weight:600}.status{align-items:center;gap:5px;font-size:13px;display:inline-flex}.status:before{content:"";background:currentColor;flex:none;width:8px;height:8px}.status--complete{color:var(--ok)}.status--partial{color:var(--heur)}.status--partial:before{background:repeating-linear-gradient(135deg,currentColor 0 1.5px,#0000 1.5px 3.5px);border:1px solid}.flag{color:var(--heur);white-space:nowrap;font-size:12px}.site-head{flex-wrap:wrap;align-items:baseline;gap:22px;max-width:1280px;margin:0 auto;padding:18px 24px 0;display:flex}.wordmark{color:var(--ink);letter-spacing:-.01em;font-size:16px;font-weight:800;text-decoration:none}.site-head nav{flex-wrap:wrap;gap:18px;font-size:14px;display:flex}.site-head nav a{color:var(--ink-2);text-decoration:none}.site-head nav a:hover{color:var(--ink);text-decoration:underline}.site-head__end{margin-left:auto}.frontpage{max-width:1280px;margin:0 auto;padding:0 24px 64px;font-size:16px;line-height:1.55}.intro{grid-template-columns:minmax(0,1.35fr) minmax(0,1fr);align-items:end;gap:48px;padding:44px 0 28px;display:grid}.intro h1{max-width:14em;margin:0 0 16px;font-size:clamp(32px,4.4vw,52px);font-weight:800}.intro p{max-width:38em;color:var(--ink-2);margin:0}.intro__try{flex-wrap:wrap;align-items:center;gap:10px 16px;margin-top:20px;font-size:14px;display:flex}.spec{border-top:1.5px solid var(--ink);margin:0;font-size:14px}.spec>div{border-bottom:1px solid var(--rule);grid-template-columns:88px 1fr;gap:12px;padding:7px 0;display:grid}.spec dt{color:var(--ink-3)}.spec dd{margin:0}.specimen{border:1px solid var(--rule-strong);background:var(--surface)}.specimen__bar{border-bottom:1px solid var(--rule);background:var(--bg);flex-wrap:wrap;align-items:center;gap:18px;padding:0 14px;display:flex}.specimen__bar .tabs{border-bottom:0}.specimen__bar .tab{padding:10px 0 9px}.specimen__open{margin-left:auto;font-size:13px}.specimen__groups{flex-wrap:wrap;column-gap:28px;min-width:0;max-width:100%;display:flex}.specimen__group{align-items:baseline;gap:12px;min-width:0;max-width:100%;display:flex}.specimen__group-label{color:var(--ink-3);white-space:nowrap;font-size:12px}.specimen__frame{height:min(78vh,760px);min-height:520px;display:flex}.specimen__frame>*{flex:1;min-width:0}.specimen__frame .center{height:auto}.specimen__caption{color:var(--ink-3);margin:8px 0 0;font-size:13px}.section{padding-top:56px}.section>h2{margin:0 0 6px;font-size:24px;font-weight:800}.section>p{max-width:42em;color:var(--ink-2);margin:0 0 18px}.cols{grid-template-columns:repeat(2,minmax(0,1fr));gap:40px;display:grid}.key{border-collapse:collapse;width:100%;font-size:15px}.key th{text-align:left;color:var(--ink-3);border-bottom:1.5px solid var(--ink);padding:0 0 6px;font-size:13px;font-weight:700}.key td{border-bottom:1px solid var(--rule);vertical-align:top;padding:9px 12px 9px 0}.key td:first-child{width:44px;padding-top:14px}.key .glyph{width:11px;height:11px}.key strong{font-weight:700}.table{border-collapse:collapse;width:100%;font-size:15px}.table th{text-align:left;color:var(--ink-3);border-bottom:1.5px solid var(--ink);white-space:nowrap;padding:0 16px 6px 0;font-size:13px;font-weight:700}.table td{border-bottom:1px solid var(--rule);vertical-align:baseline;padding:11px 16px 11px 0}.table td.num,.table th.num{text-align:right}.table tbody tr:hover{background:var(--surface)}.table__name a{color:var(--ink);font-weight:700}.table__note{color:var(--ink-3);font-size:13.5px;display:block}.code{border:1px solid var(--rule);background:var(--surface);color:var(--ink);font-family:var(--mono);border-radius:3px;margin:8px 0;padding:10px 12px;font-size:13.5px;overflow-x:auto}.site-foot{border-top:1px solid var(--rule);color:var(--ink-3);flex-wrap:wrap;gap:18px;margin-top:64px;padding-top:14px;font-size:13.5px;display:flex}.site-foot a{color:var(--ink-2)}.doc{max-width:760px;margin:0 auto;padding:0 24px 64px;font-size:16px;line-height:1.55}.doc h1{margin:40px 0 12px;font-size:clamp(28px,4vw,40px);font-weight:800}.doc>p{color:var(--ink-2);max-width:38em}.steps{padding-left:22px}.steps li{margin:14px 0;padding-left:4px}.steps li::marker{font-weight:700}.dropzone{border:1.5px dashed var(--rule-strong);background:var(--surface);cursor:pointer;border-radius:3px;flex-direction:column;align-items:flex-start;gap:4px;margin-top:12px;padding:28px 24px;display:flex;position:relative}.dropzone:hover,.dropzone--over{border-color:var(--ink);background:var(--surface-2)}.dropzone input{opacity:0;cursor:pointer;position:absolute;inset:0}.dropzone__title{font-size:17px;font-weight:700}.error{color:var(--ink);background:color-mix(in srgb, var(--gap) 10%, var(--surface));border:1px solid color-mix(in srgb, var(--gap) 45%, transparent);border-radius:3px;margin-top:12px;padding:10px 12px}.explorer{background:var(--surface);flex-direction:column;height:100vh;font-size:14px;line-height:1.45;display:flex}.explorer--embedded{height:100%}.explorer>.panes{flex:1}.topbar{border-bottom:1px solid var(--rule);background:var(--bg);flex-wrap:wrap;align-items:center;gap:14px;padding:8px 16px;display:flex}.topbar .wordmark{font-size:15px}.topbar__app{flex-wrap:wrap;align-items:baseline;gap:10px;display:flex}.topbar__app strong{font-size:15px}.topbar__version{font-family:var(--mono);color:var(--ink-3);font-size:12.5px}.topbar__meta{color:var(--ink-3);margin-left:auto;font-size:12.5px}.banner{border-bottom:1px solid var(--rule);background:color-mix(in srgb, var(--heur) 9%, var(--surface));padding:7px 16px;font-size:13px}.panes{grid-template-columns:290px minmax(0,1fr) 370px;min-height:0;display:grid}.sidebar{background:var(--surface);border-right:1px solid var(--rule);min-height:0;padding:10px 12px;overflow:auto}.side{background:var(--surface);border-left:1px solid var(--rule);flex-direction:column;min-height:0;display:flex}.side__tabs{padding:0 16px}.side__panel{flex:1;min-height:0;overflow:auto}.side__panel[hidden]{display:none}.inspector{padding:14px 16px 24px}.search{border:1px solid var(--rule-strong);background:var(--canvas);width:100%;color:var(--ink);font:inherit;border-radius:3px;padding:7px 9px}.search::placeholder{color:var(--ink-3)}.search:focus{outline:2px solid var(--select);outline-offset:-1px}.sidebar .tabs{gap:16px;margin:8px 0 6px}.findings{margin:0;padding:0;list-style:none}.finding{cursor:pointer;text-align:left;background:0 0;border:0;border-radius:2px;grid-template-columns:12px minmax(0,1fr) auto auto;align-items:center;gap:8px;width:100%;padding:6px;display:grid}.finding:hover{background:var(--surface-2)}.finding--on{background:var(--surface-2);font-weight:600}.finding--none{color:var(--ink-3)}.finding--none .glyph{opacity:.4}.finding--gap{border-top:1px solid var(--rule);border-radius:0;margin-top:8px;padding-top:10px}.finding__label{text-overflow:ellipsis;overflow:hidden}.finding__count{font-variant-numeric:tabular-nums;text-align:right;font-size:13px}.finding--none .finding__count{font-size:12px}.finding__notes{color:var(--ink-3);margin:2px 0 6px 26px;padding:0;font-size:12.5px;list-style:none}.finding__more{margin:0 0 8px 22px;font-size:12.5px}.node-list{border-left:1px solid var(--rule);margin:0 0 8px 11px;padding:0 0 0 10px;list-style:none}.node-list__item,.tree__leaf,.tree__dir{cursor:pointer;text-align:left;background:0 0;border:0;border-radius:2px;align-items:center;gap:8px;width:100%;min-width:0;padding:3px 6px;display:flex}.node-list__item:hover,.tree__leaf:hover,.tree__dir:hover{background:var(--surface-2)}.node-list__item.is-selected,.tree__leaf.is-selected{background:color-mix(in srgb, var(--select) 14%, transparent)}.node-list__name{text-overflow:ellipsis;white-space:nowrap;font-family:var(--mono);flex:1;font-size:12.5px;overflow:hidden}.node-list__kind{white-space:nowrap;font-size:11.5px}.tree{font-family:var(--mono);margin:4px 0 0;padding:0;font-size:12.5px;list-style:none}.tree__leaf{text-overflow:ellipsis;white-space:nowrap;display:block;overflow:hidden}.tree__caret{width:10px;color:var(--ink-3)}.graph-pane{background:var(--canvas);grid-template-rows:auto 1fr auto;min-width:0;min-height:0;display:grid;position:relative}.graph-pane__bar{border-bottom:1px solid var(--rule);background:var(--surface);flex-wrap:wrap;align-items:center;gap:8px;min-height:37px;padding:6px 12px;font-size:13px;display:flex}.crumb{cursor:pointer;color:var(--link);background:0 0;border:0;padding:2px 0}.crumb:hover{text-decoration:underline}.crumb--here{color:var(--ink);cursor:default;font-weight:600}.crumb--here:hover{text-decoration:none}.crumb-sep{color:var(--ink-3)}.graph-pane__meta{color:var(--ink-3);margin-left:auto;font-size:12.5px}.graph-pane__hint{color:var(--ink-3);border-top:1px solid var(--rule);background:var(--surface);margin:0;padding:5px 12px;font-size:12.5px}.react-flow{--xy-background-color:var(--canvas);--xy-background-pattern-color:var(--rule);--xy-edge-stroke:var(--edge);--xy-edge-label-background-color:var(--canvas);--xy-edge-label-color:var(--ink-3);--xy-minimap-background-color:var(--surface);--xy-minimap-mask-background-color:color-mix(in srgb, var(--bg) 70%, transparent);--xy-minimap-node-background-color:var(--rule-strong);--xy-controls-button-background-color:var(--surface);--xy-controls-button-background-color-hover:var(--surface-2);--xy-controls-button-color:var(--ink-2);--xy-controls-button-color-hover:var(--ink);--xy-controls-button-border-color:var(--rule);--xy-controls-box-shadow:none;--xy-attribution-background-color:transparent}.react-flow__controls,.react-flow__minimap{border:1px solid var(--rule-strong)}.react-flow__attribution a{color:var(--ink-3)}.react-flow__edge-text{font-size:10.5px;font-family:var(--sans)}.rel path.react-flow__edge-path{stroke:var(--edge);stroke-width:1.3px}.rel-inferred path.react-flow__edge-path{stroke-dasharray:5 4}.rel-ipc path.react-flow__edge-path{stroke:var(--f-boundary);stroke-width:1.5px}.rel-heuristic path.react-flow__edge-path{stroke:var(--heur);stroke-dasharray:1.5 4;stroke-linecap:round;stroke-width:1.8px}.kind-node{background:var(--surface);border:1px solid var(--rule-strong);width:230px;height:54px;color:var(--ink);border-radius:3px;padding:7px 10px 6px}.kind-node.is-selected{border-color:var(--select);box-shadow:0 0 0 1.5px var(--select)}.kind-node.is-focused{border-color:var(--ink);border-width:1.5px}.kind-node.is-gap{border:1px dashed var(--gap);background:repeating-linear-gradient(135deg, var(--surface) 0 7px, var(--hatch) 7px 8px)}.kind-node__kind{color:var(--ink-3);align-items:center;gap:6px;font-size:11.5px;display:flex}.kind-node__flag{color:var(--heur);margin-left:auto}.kind-node__name{font-family:var(--mono);text-overflow:ellipsis;white-space:nowrap;margin-top:4px;font-size:12.5px;overflow:hidden}.kind-node .react-flow__handle{opacity:0}.inspector__head{border-bottom:1.5px solid var(--ink);padding-bottom:12px}.inspector__kind{color:var(--ink-2);align-items:center;gap:7px;font-size:13px;display:flex}.inspector__origin{color:var(--ink-3);margin-left:auto;font-size:12px}.inspector__origin--heuristic{color:var(--heur)}.inspector__title{font-family:var(--mono);word-break:break-all;letter-spacing:0;margin:6px 0 10px;font-size:15px;font-weight:600}.facts{margin:0}.facts__row{border-bottom:1px solid var(--rule);grid-template-columns:116px 1fr;gap:10px;padding:6px 0;font-size:13px;display:grid}.facts dt{color:var(--ink-3)}.facts dd{font-family:var(--mono);word-break:break-word;margin:0;font-size:12.5px}.evidence-list{border-top:1px solid var(--rule);margin:0;padding:0;list-style:none}.evidence{border-bottom:1px solid var(--rule);padding:8px 0}.evidence__head{align-items:center;gap:8px;font-size:12.5px;display:flex}.evidence__state{font-weight:600}.evidence--inferred .evidence__state{font-style:italic}.evidence__conf{color:var(--ink-3)}.evidence__where{color:var(--ink);word-break:break-all;margin-top:3px;font-size:12.5px;display:block}.evidence__meta{color:var(--ink-3);margin-top:2px;font-size:12px}.evidence__limits{color:var(--ink-3);margin-top:4px;font-size:12.5px}.evidence__limits summary{cursor:pointer}.evidence__limits ul{margin:4px 0 0;padding-left:18px}.relations ul{margin:0;padding:0;list-style:none}.relations li{align-items:center;gap:8px;min-width:0;padding:3px 0;font-size:12.5px;display:flex}.relations .link{font-family:var(--mono);overflow:hidden}.relations__name{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.rel-name{width:74px;color:var(--ink-3);flex:none;font-size:12px}.rel-name--inferred{font-style:italic}.rel-heur{color:var(--heur);flex:none;font-size:12px}.ask{padding:12px 16px 24px}.ask form{flex-direction:column;gap:8px;margin:8px 0;display:flex}.ask__bar{justify-content:space-between;align-items:center;gap:8px;display:flex}.ask__model{border:1px solid var(--rule-strong);background:var(--canvas);color:var(--ink);font:inherit;border-radius:3px;max-width:75%;padding:5px 8px;font-size:12.5px}.ask__input{resize:vertical;min-height:60px}.ask form .btn{align-self:flex-end}.ask__remember{color:var(--ink-2);align-items:center;gap:6px;font-size:13px;display:flex}.ask__fine{font-size:12px}.ask__ideas{border-top:1px solid var(--rule);margin:8px 0;padding:0;list-style:none}.ask__ideas li{border-bottom:1px solid var(--rule)}.ask__ideas .link{text-align:left;white-space:normal;width:100%;padding:7px 0;font-size:13.5px;display:block}.ask__ideas .link.is-on{color:var(--ink);font-weight:600}.ask__asked{margin:16px 0 6px;font-weight:700}.ask__steps{color:var(--ink-3);margin:6px 0 10px;padding-left:18px;font-size:12.5px}.ask__steps.is-running li:last-child:after{content:" …"}.ask__tours{margin-bottom:16px}.ask__tour{border-bottom:1px solid var(--rule);margin-bottom:16px;padding-bottom:12px}.answer{font-size:14px;line-height:1.55}.answer p{margin:8px 0}.answer ul,.answer ol{margin:6px 0;padding-left:20px}.answer li{margin:3px 0}.answer h5{margin:14px 0 4px;font-size:14px}.answer code{background:var(--surface-2);border-radius:2px;padding:1px 4px}.answer__node{font-family:var(--mono);text-underline-offset:3px;font-size:13px;-webkit-text-decoration:underline dotted;text-decoration:underline dotted;display:inline}.upload-form{border:1px solid var(--rule-strong);background:var(--surface);flex-direction:column;gap:12px;padding:24px;display:flex}.upload-form>label{font-weight:700}.upload-form>p{margin:0}.upload-form>button{align-self:flex-start}.upload-form input{max-width:100%;font:inherit}.upload-form input[type=password]{border:1px solid var(--rule-strong);background:var(--canvas);width:min(100%,24rem);color:var(--ink);border-radius:3px;margin-top:8px;padding:7px 9px;display:block}.upload-form summary{cursor:pointer}.upload-progress{width:100%;height:.75rem;accent-color:var(--link);display:block}.analysis-stages{color:var(--ink-3);flex-wrap:wrap;gap:.75rem 2rem;padding-left:1.25rem;display:flex}.analysis-stages [aria-current=step]{color:var(--ink);font-weight:600}@media (max-width:1100px){.panes{grid-template-columns:250px minmax(0,1fr)}.side{border-left:0;border-top:1px solid var(--rule);grid-column:1/-1;max-height:55vh}.explorer:not(.explorer--embedded){height:auto;min-height:100vh}.explorer:not(.explorer--embedded) .graph-pane{height:60vh}.specimen__frame{height:auto;min-height:0}.explorer--embedded{height:auto}.explorer--embedded .graph-pane{height:min(65vh,520px);min-height:360px}.explorer--embedded .side{min-height:280px}.intro{grid-template-columns:1fr;align-items:start;gap:24px}}@media (max-width:720px){.panes{grid-template-columns:1fr}.sidebar{border-right:0;max-height:40vh}.explorer:not(.explorer--embedded) .graph-pane{height:60vh}.explorer--embedded .sidebar{display:none}.cols{grid-template-columns:1fr}.site-head,.frontpage,.doc{padding-left:16px;padding-right:16px}.explorer--embedded .graph-pane{height:70vh;min-height:420px}.table .hide-narrow{display:none}.topbar__meta,.site-head__end{margin-left:0}.specimen__bar .tabs{max-width:100%;overflow-x:auto}.specimen__bar .tab{white-space:nowrap}.specimen__group{flex-direction:column;gap:0;max-width:100%}}