:root{--paper:#f3f7fc;--white:#fff;--ink:#152b47;--muted:#556980;--line:#d7e2ef;--blue:#2466de;--blue-wash:#e9f0ff;--teal:#127c74;--teal-wash:#dff5ed;--amber:#99571c;--amber-wash:#fff1df;--display:"Bahnschrift","Avenir Next","Trebuchet MS",sans-serif;--body:"Segoe UI",Helvetica,Arial,sans-serif;--mono:"Cascadia Code",Consolas,monospace}
*{box-sizing:border-box}body{margin:0;background:var(--paper);color:var(--ink);font:15px/1.55 var(--body)}a{color:inherit;text-underline-offset:4px}button,input,select{font:inherit}button,a,input,select{-webkit-tap-highlight-color:transparent}button{cursor:pointer}button:disabled{opacity:.4;cursor:default}:focus-visible{outline:3px solid var(--blue);outline-offset:4px}button:focus-visible{outline-offset:2px}.masthead{max-width:1440px;margin:auto;padding:28px 48px;display:flex;align-items:center;justify-content:space-between}.brand{display:flex;align-items:center;gap:9px;font:600 21px var(--display);text-decoration:none}.brand span{font-weight:400;color:var(--muted)}.brand svg{width:36px;height:28px;margin-right:7px;stroke:var(--blue);fill:var(--paper);stroke-width:2}.repo-link{font-size:13px;text-decoration:none}.repo-link span{padding-left:8px;color:var(--blue)}main{max-width:1440px;margin:auto;padding:0 48px}.intro{display:grid;grid-template-columns:1.15fr 1fr;gap:60px;padding:34px 0 37px;align-items:end}.eyebrow{font:600 10px/1.5 var(--mono);letter-spacing:.12em;color:var(--muted);margin:0 0 12px}h1{font:500 clamp(36px,4.2vw,60px)/1.04 var(--display);letter-spacing:-.038em;margin:0}h2{font:500 25px/1.22 var(--display);letter-spacing:-.018em;margin:0}.intro-note{max-width:455px;justify-self:end;padding-bottom:3px}.intro-note>p:first-child{font-size:16px;line-height:1.65;margin:0 0 18px}.provenance{font:11px/1.6 var(--mono);color:var(--muted);margin:0;display:flex;align-items:center;gap:9px}.dot{background:var(--teal);width:6px;height:6px;border-radius:100%;flex-shrink:0}.workspace{background:var(--white);border:1px solid var(--line);border-radius:12px;overflow:hidden;box-shadow:0 12px 40px #223c6610}.controls{display:flex;align-items:center;gap:24px;padding:19px 24px;border-bottom:1px solid var(--line)}label{display:flex;flex-direction:column;font:10px var(--mono);color:var(--muted);gap:6px;min-width:210px}select{max-width:300px;min-width:210px;background:white;color:var(--ink);border:0;border-bottom:1px solid var(--line);padding:3px 22px 5px 0;font:600 14px var(--body);border-radius:0}.record-badge{margin-left:auto;font:10px/1.6 var(--mono);color:var(--teal);border:1px solid #cae8df;border-radius:4px;padding:5px 9px;max-width:245px}.question-bar{display:flex;align-items:center;gap:14px;padding:17px 24px;background:#fafcff;border-bottom:1px solid var(--line)}.question-bar p{margin:0;font-size:16px;font-weight:500}.question-mark{color:var(--blue);font:500 21px var(--display);flex-shrink:0}.walk-grid{display:grid;grid-template-columns:minmax(0,1.65fr) minmax(300px,1fr);min-height:520px}.map-panel{min-width:0;display:flex;flex-direction:column}.map-heading{display:flex;align-items:center;justify-content:space-between;padding:20px 24px 0}.map-heading h2{font-size:15px}.mono{font:10px var(--mono);color:var(--muted)}.graph-scroll{overflow:auto;flex:1;display:flex;align-items:center;min-height:300px;background-image:radial-gradient(#d8e3f0 .7px,transparent .7px);background-size:20px 20px;margin-top:12px}#graph{display:block;width:100%;min-width:620px;height:310px;overflow:visible}.graph-edge{fill:none;stroke:#d4deeb;stroke-width:1.7}.graph-edge.traversed{stroke:var(--teal);stroke-width:2.5}.graph-edge.active{stroke:var(--blue);stroke-width:3}.graph-edge.pruned{stroke:#b9c8dc;stroke-dasharray:4 5}.graph-node{cursor:pointer}.graph-node rect{fill:#fff;stroke:#cad7e6;stroke-width:1.2;rx:8}.graph-node .node-title{font:500 11px var(--display);fill:var(--muted)}.graph-node .node-kind{font:8px var(--mono);fill:#75879d;letter-spacing:.04em}.graph-node.visited rect{fill:var(--teal-wash);stroke:#69ac9c}.graph-node.visited .node-title{fill:#155e56}.graph-node.current rect{fill:var(--blue);stroke:var(--blue);stroke-width:2}.graph-node.current .node-title,.graph-node.current .node-kind{fill:white}.graph-node:hover rect{stroke:var(--blue);stroke-width:2}.legend{display:flex;gap:17px;flex-wrap:wrap;padding:12px 24px;font-size:10px;color:var(--muted)}.legend span{display:flex;align-items:center;gap:5px}.legend-dot{display:inline-block;width:7px;height:7px;border-radius:2px}.legend-dot.visited{background:var(--teal)}.legend-dot.current{background:var(--blue)}.legend-dot.unseen{border:1px solid #8b9eb6}.legend-hint{font-style:italic;margin-left:auto}.playback{display:flex;align-items:center;gap:9px;padding:16px 24px;border-top:1px solid var(--line)}.icon-button,.play-button{border:1px solid var(--line);border-radius:5px;background:white;color:var(--ink);height:32px;padding:0 10px;font-size:12px}.play-button{background:var(--blue);color:white;border-color:var(--blue);min-width:85px}.playback input{flex:1;min-width:40px;accent-color:var(--blue);cursor:pointer}.step-caption{padding:0 24px 18px;font-size:12px;min-height:53px;color:var(--muted)}.inspector{background:#f7faff;border-left:1px solid var(--line);padding:23px 24px;overflow:auto;max-height:650px}.inspector-heading{display:flex;justify-content:space-between;align-items:baseline}.text-button{border:0;background:none;color:var(--blue);padding:0;font-size:11px}.inspector h2{font-size:23px;margin:0 0 17px}.inspector h3{font:600 10px var(--mono);color:var(--muted);letter-spacing:.08em;margin:22px 0 10px;text-transform:uppercase}.fact{border-left:2px solid #99c4ba;padding:0 0 0 10px;margin:12px 0;font-size:12px}.fact p{margin:3px 0}.fact-id{font:9px var(--mono);color:var(--teal)}.fact-status{font:9px var(--mono);color:var(--amber);padding-left:6px}.empty-note,.inspector-note{font-size:12px;color:var(--muted)}.edge-choice{margin:12px 0}.edge-line{display:flex;justify-content:space-between;gap:8px;font-size:12px}.edge-line strong{font-weight:600}.score{font:11px var(--mono);color:var(--blue)}.score-track{height:4px;border-radius:3px;background:#dfe7f2;margin:6px 0 4px;overflow:hidden}.score-fill{height:100%;background:#97afd0}.edge-choice.chosen .score-fill{background:var(--blue)}.edge-meta{display:flex;justify-content:space-between;color:var(--muted);font:9px/1.5 var(--mono)}.edge-choice.chosen .disposition{color:var(--blue)}.omitted{color:var(--amber);font-size:11px;border-left:2px solid #e2b983;padding-left:8px}.request-details{font-size:11px;margin-top:18px}.request-details summary{cursor:pointer;color:var(--blue)}pre{white-space:pre-wrap;overflow-wrap:anywhere;font:10px/1.5 var(--mono);max-height:360px;overflow:auto;padding:12px;background:#eaf0f8;border-radius:5px}.run-summary{display:flex;gap:30px;border-top:1px solid var(--line);padding:17px 24px;align-items:center;flex-wrap:wrap}.summary-item{font:11px var(--mono);color:var(--muted)}.summary-item strong{font-size:16px;color:var(--ink);padding-right:5px;font-weight:600}.outcome{font-size:12px;color:var(--teal);margin-left:auto}.outcome.incomplete{color:var(--amber)}.comparison{padding:49px 0 0}.section-heading{display:flex;justify-content:space-between;align-items:end;gap:40px;margin-bottom:23px}.section-heading p:not(.eyebrow){max-width:500px;color:var(--muted);font-size:13px;margin:0}.section-heading .eyebrow{margin-bottom:5px}.table-scroll{overflow:auto;border-top:1px solid var(--line)}table{width:100%;border-collapse:collapse;text-align:left;white-space:nowrap;font-size:12px}th{font:10px var(--mono);color:var(--muted);padding:14px 14px;font-weight:400}td{padding:13px 14px;border-top:1px solid var(--line)}tbody tr{cursor:pointer}tbody tr.selected{background:var(--blue-wash)}tbody tr:hover{background:#eaf1fc}td:first-child{font-weight:600}td:not(:first-child){font-family:var(--mono);font-size:11px}.table-button{border:0;background:none;padding:0;color:inherit;font-weight:600;text-align:left}.recall{display:inline-block;min-width:65px;color:var(--teal)}.recall.partial{color:var(--amber)}.table-note{color:var(--muted);font-size:11px;max-width:840px;margin:13px 0}.method{margin:55px 0 0;padding:33px 0;border-top:1px solid var(--line);display:grid;grid-template-columns:1fr 2fr;gap:60px}.method h2{font-size:30px}.method ol{margin:0;padding:0;list-style:none;display:grid;grid-template-columns:repeat(3,1fr);gap:30px;counter-reset:flow}.method li{counter-increment:flow}.method li:before{content:counter(flow);display:block;font:11px var(--mono);color:var(--blue);margin-bottom:10px}.method strong{font:500 18px var(--display)}.method li p{font-size:12px;color:var(--muted);line-height:1.6;margin:8px 0}footer{border-top:1px solid var(--line);margin:25px 0 0;padding:19px 0 25px;display:flex;justify-content:space-between;gap:15px;color:var(--muted);font-size:11px}footer p{margin:0}footer a{margin-left:18px}.error{background:#fff1df;color:#744511;padding:20px;border:1px solid #e8cca9;margin:20px 0}
@media(min-width:1500px){#graph{height:360px}.walk-grid{min-height:550px}}
@media(max-width:1050px){main{padding:0 25px}.masthead{padding:24px 25px}.intro{gap:30px}.walk-grid{grid-template-columns:minmax(0,1.3fr) minmax(290px,1fr)}.legend-hint{display:none!important}.controls{gap:15px}.controls label,.controls select{min-width:175px}.record-badge{max-width:185px;font-size:9px}.run-summary{gap:17px}.outcome{margin-left:0}}
@media(max-width:760px){main{padding:0 16px}.masthead{padding:20px 16px}.brand{font-size:17px}.brand svg{width:27px}.repo-link{font-size:11px}.intro{grid-template-columns:1fr;gap:20px;padding:22px 0 25px}.intro-note{justify-self:start;max-width:530px}.intro-note>p:first-child{font-size:14px}.intro h1{font-size:43px}.provenance{font-size:9px}.controls{flex-wrap:wrap;padding:15px;gap:16px}.controls label{min-width:0;flex:1}.controls select{width:100%;min-width:0;font-size:12px;max-width:100%}.record-badge{max-width:none;margin-left:0;font-size:9px}.question-bar{padding:15px}.question-bar p{font-size:14px}.walk-grid{grid-template-columns:1fr}.map-heading{padding:17px 16px 0}.graph-scroll{min-height:260px}#graph{height:290px;min-width:600px}.legend{padding:10px 16px;gap:13px}.playback{padding:15px}.step-caption{padding:0 16px 14px}.inspector{border-left:0;border-top:1px solid var(--line);padding:20px;max-height:500px}.run-summary{padding:16px;gap:16px}.summary-item{font-size:10px}.summary-item strong{font-size:15px}.outcome{width:100%;font-size:11px}.section-heading{display:block}.section-heading p:not(.eyebrow){margin-top:14px}.comparison{padding-top:32px}.method{grid-template-columns:1fr;gap:25px;margin-top:32px}.method ol{gap:18px}.method h2{font-size:28px}.method h2 br{display:none}.method li p{font-size:11px}.method strong{font-size:16px}footer{display:block;font-size:10px}footer p+p{margin-top:12px}footer a{margin-left:0;margin-right:18px}}
@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;animation:none!important;transition:none!important}}

@media(max-width:760px){.controls label{flex:1 1 calc(50% - 8px)}.record-badge{flex:0 0 100%}}