:root{--ink:#080c0e;--surface:#0d1316;--surface-raised:#11191d;--cream:#f1ecdf;--muted:#9ca5a3;--line:#354044;--line-soft:#252e31;--mint:#91e3c7;--mint-soft:#c8f4e3;--violet:#b68cff;--sand:#e7d8a8;--serif:"Iowan Old Style", "Palatino Linotype", Palatino, Georgia, serif;--sans:Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--mono:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;--content:1440px}*{box-sizing:border-box}html{background:var(--ink);--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;scroll-behavior:smooth;scroll-padding-top:84px}body{background:radial-gradient(circle at 74% 12%, #36666117, transparent 25rem), linear-gradient(180deg, #090e10 0%, var(--ink) 100%);color:var(--cream);font-family:var(--sans);text-rendering:optimizelegibility;margin:0;font-size:16px;line-height:1.55}button,a{-webkit-tap-highlight-color:transparent}a{color:inherit;text-decoration:none}button{color:inherit;font:inherit}::selection{background:var(--mint);color:var(--ink)}.site-header{-webkit-backdrop-filter:blur(18px);backdrop-filter:blur(18px);border-bottom:1px solid var(--line-soft);z-index:20;background:#080c0ee0;grid-template-columns:minmax(280px,1fr) auto minmax(280px,1fr);align-items:center;height:82px;padding:0 clamp(20px,3vw,48px);display:grid;position:sticky;inset:0 0 auto}.brand{font-family:var(--serif);letter-spacing:-.01em;justify-self:start;align-items:center;gap:15px;font-size:clamp(17px,1.5vw,22px);display:inline-flex}.brand-mark{fill:none;height:38px;stroke:var(--mint-soft);stroke-width:1.2px;width:38px}.site-header nav{align-self:stretch;align-items:stretch;gap:clamp(28px,3.5vw,54px);display:flex}.site-header nav a{color:#aeb6b4;letter-spacing:.02em;align-items:center;font-size:14px;display:flex;position:relative}.site-header nav a:hover,.site-header nav a:focus-visible{color:var(--cream)}.site-header nav a:first-child{color:var(--mint)}.site-header nav a:first-child:after{background:var(--mint);content:"";bottom:10px;height:2px;position:absolute;inset-inline:0}.header-action{border:1px solid #81938d;border-radius:6px;justify-self:end;align-items:center;gap:12px;padding:11px 16px;font-size:14px;transition:border-color .16s,background-color .16s;display:inline-flex}.header-action:hover,.header-action:focus-visible{border-color:var(--mint);background:#91e3c714}.header-action svg,.schematic-note svg,.explorer-toolbar svg{fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.4px}.header-action svg{width:18px;height:18px}.explore-section{max-width:var(--content);grid-template-columns:minmax(360px,.72fr) minmax(640px,1.28fr);min-height:calc(100vh - 82px);margin:0 auto;display:grid}.explore-copy{border-right:1px solid var(--line-soft);flex-direction:column;justify-content:center;min-width:0;padding:64px clamp(30px,4vw,64px) 54px;display:flex}.section-index,.section-label,.footer-label{color:var(--mint);font-family:var(--mono);letter-spacing:.12em;text-transform:uppercase;margin:0 0 20px;font-size:12px}h1,h2,h3,p{margin-top:0}h1,h2,h3{font-family:var(--serif);font-weight:400}h1{letter-spacing:-.045em;max-width:740px;margin-bottom:30px;font-size:clamp(48px,5vw,82px);line-height:.99}.lede{color:#bbc2c0;font-family:var(--serif);max-width:660px;margin-bottom:30px;font-size:clamp(18px,1.45vw,22px);line-height:1.7}.math{color:var(--cream);font-family:var(--serif);font-style:italic}.formula-card{border-bottom:1px solid var(--line);border-top:1px solid var(--line);font-family:var(--serif);background:linear-gradient(135deg,#91e3c70f,#0000 60%);margin:0 0 26px;padding:19px 0;font-size:clamp(16px,1.35vw,20px);line-height:1.75}.formula-card p{overflow-wrap:anywhere;margin:0}.formula-card span{color:var(--mint);min-width:76px;font-style:italic;display:inline-block}.schematic-note{color:var(--muted);align-items:center;gap:10px;margin:0;font-size:13px;display:flex}.schematic-note svg{flex:none;width:20px;height:20px}.explorer-shell{grid-template-rows:52px minmax(500px,1fr) auto;min-width:0;min-height:680px;display:grid;position:relative}.explorer-toolbar{border-bottom:1px solid var(--line-soft);color:var(--muted);font-family:var(--mono);letter-spacing:.04em;text-transform:uppercase;justify-content:space-between;align-items:center;padding:0 22px;font-size:11px;display:flex}.explorer-toolbar>div{align-items:center;gap:9px;display:flex}.status-dot{background:var(--mint);border-radius:50%;width:6px;height:6px;box-shadow:0 0 0 4px #91e3c71a}.explorer-toolbar button{color:#b4bcba;cursor:pointer;font-family:var(--mono);background:0 0;border:0;align-items:center;gap:7px;padding:8px;font-size:11px;display:inline-flex}.explorer-toolbar button:hover,.explorer-toolbar button:focus-visible{color:var(--mint)}.explorer-toolbar svg{width:16px;height:16px}.canvas-wrap{min-height:0;position:relative;overflow:hidden}.canvas-disclaimer{border-top:1px solid var(--line-soft);color:var(--muted);margin:0;padding:12px 22px 0;font-size:12px;line-height:1.55}.canvas-disclaimer .math{color:var(--cream)}.canvas-wrap:after{content:"";pointer-events:none;background:linear-gradient(90deg,#91e3c714,#0000 22% 78%,#b68cff12);position:absolute;inset:0}canvas{cursor:grab;touch-action:none;width:100%;height:100%;min-height:500px;display:block}canvas:active{cursor:grabbing}canvas:focus-visible{outline:2px solid var(--mint);outline-offset:-5px}.canvas-legend,.canvas-metric{-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);color:#adb6b3;font-family:var(--mono);z-index:2;background:#080c0ec7;border:1px solid #394347;border-radius:5px;font-size:11px;position:absolute}.canvas-legend{gap:9px;padding:12px 14px;display:grid;top:18px;left:18px}.canvas-legend span{align-items:center;gap:8px;display:flex}.canvas-legend i{border:2px solid;width:9px;height:9px;display:block}.legend-one{border-radius:50%;border-color:var(--mint)!important}.legend-two{border-color:var(--violet)!important}.legend-three{clip-path:polygon(50% 0,100% 100%,0 100%);border-color:var(--sand)!important}.canvas-metric{gap:4px;padding:12px 15px;display:grid;bottom:18px;right:18px}.canvas-metric span:first-child{color:var(--mint);letter-spacing:.12em;text-transform:uppercase;font-size:9px}.canvas-metric strong{color:var(--cream);font-family:var(--serif);font-size:18px;font-weight:400}.mode-panel{border-top:1px solid var(--line-soft);padding:18px 22px 20px}.mode-panel>p:first-child{color:var(--muted);font-family:var(--mono);letter-spacing:.1em;text-transform:uppercase;margin-bottom:10px;font-size:10px}.mode-buttons{grid-template-columns:repeat(3,1fr);gap:8px;display:grid}.mode-buttons button{cursor:pointer;font-family:var(--mono);text-align:left;background:0 0;border:1px solid #343e42;border-radius:5px;grid-template-columns:16px 1fr auto;align-items:center;gap:10px;min-width:0;padding:12px;font-size:12px;display:grid}.mode-buttons button:hover,.mode-buttons button:focus-visible{border-color:#697875}.mode-buttons button.active{border-color:var(--mint);background:#91e3c70a;box-shadow:inset 0 0 0 1px #91e3c71f}.mode-buttons kbd{color:var(--muted);font-family:var(--mono);border:1px solid #3c474a;border-radius:3px;padding:1px 5px;font-size:10px}.mode-symbol{border:2px solid var(--mint);width:12px;height:12px;display:block}.mode-generic{border-radius:50%}.mode-collision{border-color:var(--violet)}.mode-etale{border-color:var(--sand);clip-path:polygon(50% 0,100% 100%,0 100%)}.explorer-help{color:#74807d;font-family:var(--mono);margin:10px 0 0;font-size:10px}.mode-disclaimer{color:var(--muted);margin:10px 0 0;font-size:12px;line-height:1.45}.proof-section,.receipt-section{border-top:1px solid var(--line);max-width:var(--content);margin:0 auto;padding:clamp(76px,9vw,132px) clamp(24px,4vw,64px)}.section-heading{grid-template-columns:minmax(0,1.35fr) minmax(280px,.65fr);align-items:end;gap:60px;margin-bottom:64px;display:grid}.section-heading .section-index{margin-bottom:18px}.section-heading h2{letter-spacing:-.04em;margin:0;font-size:clamp(42px,5vw,72px);line-height:1.04}.section-heading>p{color:var(--muted);font-family:var(--serif);margin:0;font-size:18px;line-height:1.65}.proof-rail{counter-reset:proof-step;grid-template-columns:repeat(6,minmax(0,1fr));margin:0 0 96px;padding:0;list-style:none;display:grid;position:relative}.proof-rail:before{background:var(--line);content:"";height:1px;position:absolute;top:21px;left:3%;right:3%}.proof-rail li{border-left:1px solid var(--line);min-width:0;padding:58px 24px 0;position:relative}.proof-rail li:last-child{border-right:1px solid var(--line)}.step-number{background:var(--surface);border:1px solid var(--mint);color:var(--mint);font-family:var(--mono);z-index:1;border-radius:50%;justify-content:center;align-items:center;width:42px;height:42px;font-size:13px;display:flex;position:absolute;top:0;left:20px}.proof-rail li:nth-child(3) .step-number,.proof-rail li:nth-child(5) .step-number{border-color:var(--violet);color:var(--violet)}.proof-rail h3{margin-bottom:12px;font-size:20px;line-height:1.25}.proof-rail p{color:#9da7a4;font-family:var(--serif);min-height:90px;font-size:15px;line-height:1.5}code{font-family:var(--mono)}.proof-rail code{color:var(--mint);overflow-wrap:anywhere;margin-top:7px;font-size:10px;line-height:1.5;display:block}.correspondence{border-bottom:1px solid var(--line);border-top:1px solid var(--line);grid-template-columns:minmax(280px,.72fr) minmax(0,1.28fr);display:grid}.correspondence-intro{border-right:1px solid var(--line);padding:42px 42px 42px 0}.correspondence-intro h3{margin-bottom:20px;font-size:clamp(26px,3vw,38px);line-height:1.15}.correspondence-intro>p:last-child{color:var(--muted);margin:0}.correspondence-table-wrap{padding:26px 0 26px 42px;overflow-x:auto}table{border-collapse:collapse;width:100%}th,td{border-bottom:1px solid var(--line);text-align:left;vertical-align:top;padding:14px 12px}th{color:var(--muted);font-family:var(--mono);letter-spacing:.1em;text-transform:uppercase;font-size:10px;font-weight:400}td{color:#c7cdca;font-family:var(--serif);font-size:15px}td code{color:var(--mint);overflow-wrap:anywhere;font-size:11px}.receipt-section{padding-bottom:58px}.receipt-heading{margin-bottom:50px}.receipt-grid{border:1px solid var(--line);grid-template-columns:minmax(0,1.15fr) minmax(340px,.85fr);display:grid}.terminal-card{border-right:1px solid var(--line);min-width:0}.terminal-bar{border-bottom:1px solid var(--line);color:var(--muted);font-family:var(--mono);letter-spacing:.04em;text-transform:uppercase;justify-content:space-between;align-items:center;padding:13px 18px;font-size:11px;display:flex}.terminal-status{color:var(--mint)}.terminal-card pre{border-bottom:1px solid var(--line);color:#cbd4d1;font-family:var(--mono);background:linear-gradient(90deg,#91e3c70d,#0000 36%),#090e11;margin:0;padding:28px;font-size:clamp(10px,1vw,13px);line-height:1.75;overflow-x:auto}.terminal-card>p{color:var(--muted);font-family:var(--serif);margin:0;padding:24px 28px 28px;font-size:15px;line-height:1.65}.terminal-card>p code{color:var(--mint);font-size:12px}.evidence-card{padding:30px}.evidence-card h3{margin-bottom:16px;font-size:clamp(30px,3vw,44px)}.evidence-lede{color:var(--muted);font-family:var(--serif);line-height:1.65}.evidence-card ul{border-top:1px solid var(--line);margin:24px 0;padding:0;list-style:none}.evidence-card li{border-bottom:1px solid var(--line);font-family:var(--mono);grid-template-columns:.8fr 1.2fr;gap:20px;padding:12px 0;font-size:11px;display:grid}.evidence-card li span{color:var(--muted)}.evidence-card li strong{color:var(--mint-soft);font-weight:400}.boundary-note{border-left:2px solid var(--violet);color:#c7bdde;font-family:var(--serif);margin:0;padding-left:16px;font-size:14px}.source-links{border-bottom:1px solid var(--line);grid-template-columns:repeat(3,1fr);margin-top:38px;display:grid}.source-links a{border-left:1px solid var(--line);grid-template-columns:auto 1fr auto;align-items:center;gap:16px;padding:24px 22px;display:grid}.source-links a:last-child{border-right:1px solid var(--line)}.source-links a:hover,.source-links a:focus-visible{background:#91e3c70d}.source-icon{border:1px solid var(--mint);color:var(--mint);font-family:var(--mono);justify-content:center;align-items:center;width:42px;height:42px;font-size:8px;display:flex}.source-links strong,.source-links small{display:block}.source-links strong{font-family:var(--serif);font-size:18px;font-weight:400}.source-links small{color:var(--muted);font-size:11px}.source-links a>span:last-child{color:var(--mint)}.evidence-links{border-bottom:1px solid var(--line);font-family:var(--mono);letter-spacing:.04em;text-transform:uppercase;flex-wrap:wrap;align-items:center;gap:0;font-size:10px;display:flex}.evidence-links a{border-left:1px solid var(--line);color:var(--muted);padding:14px 18px}.evidence-links a:last-child{border-right:1px solid var(--line)}.evidence-links a:hover,.evidence-links a:focus-visible{color:var(--mint);background:#91e3c70d}footer{border-top:1px solid var(--line);max-width:var(--content);grid-template-columns:repeat(3,1fr);gap:0;margin:0 auto;padding:0 clamp(24px,4vw,64px);display:grid}footer>div{border-right:1px solid var(--line);padding:32px 28px}footer>div:first-child{border-left:1px solid var(--line)}footer p{color:#afb7b4;font-family:var(--serif);margin:0}footer .footer-label{color:var(--mint);font-family:var(--mono);margin-bottom:7px}.sr-only{clip:rect(0, 0, 0, 0)!important;clip-path:inset(50%)!important;white-space:nowrap!important;border:0!important;width:1px!important;height:1px!important;margin:-1px!important;padding:0!important;position:absolute!important;overflow:hidden!important}:focus-visible{outline:2px solid var(--mint);outline-offset:4px}@media (width<=1120px){.site-header{grid-template-columns:1fr auto}.site-header nav{display:none}.explore-section{grid-template-columns:minmax(330px,.68fr) minmax(500px,1.32fr)}.mode-buttons{grid-template-columns:1fr}.explorer-shell{grid-template-rows:52px minmax(470px,1fr) auto}.proof-rail{grid-template-columns:repeat(3,1fr);row-gap:56px}.proof-rail:before{display:none}.proof-rail li:nth-child(3){border-right:1px solid var(--line)}.proof-rail p{min-height:70px}}@media (width<=820px){.site-header{height:68px;padding-inline:18px}.brand-mark{width:31px;height:31px}.brand span{font-size:16px}.header-action{gap:0;padding:9px;font-size:0}.header-action svg{width:19px;height:19px}.explore-section{display:block}.explore-copy{border-bottom:1px solid var(--line-soft);border-right:0;padding:54px 24px 44px}h1{font-size:clamp(46px,12.5vw,68px)}.explorer-shell{min-height:760px}.section-heading{display:block}.section-heading>p{max-width:600px;margin-top:26px}.proof-section,.receipt-section{padding-inline:24px}.proof-rail{grid-template-columns:repeat(2,1fr)}.proof-rail li:nth-child(2),.proof-rail li:nth-child(4),.proof-rail li:nth-child(6){border-right:1px solid var(--line)}.correspondence,.receipt-grid{display:block}.correspondence-intro,.terminal-card{border-bottom:1px solid var(--line);border-right:0}.correspondence-intro{padding-right:0}.correspondence-table-wrap{padding-left:0}.source-links{grid-template-columns:1fr}.source-links a{border-right:1px solid var(--line)}footer{grid-template-columns:1fr;padding-inline:24px}footer>div{border-left:1px solid var(--line)}}@media (width<=540px){.brand span{max-width:205px}.explore-copy{padding-top:44px}.lede{font-size:18px}.formula-card{font-size:15px}.formula-card span{min-width:63px}.explorer-shell{grid-template-rows:48px 430px auto;min-height:650px}canvas{min-height:430px}.canvas-legend{top:10px;left:10px}.canvas-metric{bottom:10px;right:10px}.mode-panel{padding:15px}.proof-section,.receipt-section{padding-block:74px;padding-inline:18px}.section-heading{margin-bottom:44px}.section-heading h2{font-size:42px}.proof-rail{display:block}.proof-rail li,.proof-rail li:nth-child(n){border-left:1px solid var(--line);border-right:1px solid var(--line);padding-bottom:38px}.proof-rail p{min-height:auto}.receipt-grid{border-inline:0}.terminal-card pre{padding:18px 14px;font-size:9px}.evidence-card{padding:24px 18px}.evidence-card li,.evidence-card li span,.evidence-card li strong{display:block}.evidence-card li strong{margin-top:4px}.source-links a{padding-inline:14px}footer,footer>div{padding-inline:18px}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important}}