:root{--ink:#112c32;--muted:#53686b;--paper:#f6f5ef;--green:#176f58;--mint:#d8ede0;--line:#d6ddd6;--red:#a14029;--mono:ui-monospace,SFMono-Regular,Consolas,monospace}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:30px}body{margin:0;color:var(--ink);background:var(--paper);font:16px/1.6 -apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif}a{color:inherit;text-decoration:none}button,input{font:inherit}button,a,label{ -webkit-tap-highlight-color:transparent}button{cursor:pointer}a:focus-visible,button:focus-visible,label:focus-visible,input:focus-visible,summary:focus-visible{outline:3px solid #d48337;outline-offset:5px}.shell{width:min(1256px,calc(100% - 96px));margin:auto}.skip{position:fixed;top:-100px;left:16px;background:white;padding:12px;z-index:20}.skip:focus{top:16px}.nav{height:100px;display:flex;justify-content:space-between;align-items:center;border-bottom:1px solid var(--line)}.brand{display:flex;align-items:center;gap:10px;font-size:21px;font-weight:750;letter-spacing:-.7px}.version{font:10px var(--mono);padding:4px 6px;border:1px solid var(--line);margin-left:4px}.nav nav{display:flex;gap:32px;font-size:13px;font-weight:550}.nav-source{border-bottom:1px solid var(--ink)}.hero{display:grid;grid-template-columns:1.16fr 1fr;gap:64px;align-items:center;padding:85px 0 90px}.eyebrow{font:10px/1.5 var(--mono);letter-spacing:1.5px;font-weight:500}.dot{display:inline-block;width:6px;height:6px;border-radius:100%;background:var(--green);margin-right:8px;vertical-align:1px}h1{font-size:clamp(44px,4.6vw,68px);line-height:1.065;letter-spacing:-3.5px;font-weight:650;margin:26px 0}h1 em{font-family:Georgia,serif;font-weight:400;color:var(--green);letter-spacing:-3px}.lead{max-width:490px;font-size:17px;line-height:1.7;color:var(--muted)}.actions{display:flex;align-items:center;gap:27px;margin-top:30px}.button{display:inline-flex;align-items:center;justify-content:space-between;gap:32px;padding:14px 20px;font-size:13px;font-weight:650;border:1px solid transparent;cursor:pointer}.primary{color:#fff;background:var(--ink)}.primary:hover{background:var(--green)}.text-link{font-size:13px;font-weight:600;display:inline-block;border-bottom:1px solid #a0afa5;padding-bottom:3px}.text-link span{margin-left:12px}.hero-facts{display:flex;flex-wrap:wrap;gap:10px 16px;font:10px var(--mono);color:var(--muted);margin-top:33px}.hero-facts span:before{content:"·";margin-right:7px}.instrument{background:#fffef9;border:1px solid #cdd6cc;box-shadow:14px 18px 0 #e8ece2;transform:rotate(.6deg)}.instrument-top{padding:17px 20px;border-bottom:1px solid var(--line);display:flex;justify-content:space-between;align-items:center;gap:12px}.mono{font-family:var(--mono);font-size:10px}.live{font-size:10px;color:var(--green)}.live:before{content:"●";font-size:7px;margin-right:6px}.shared{text-align:center;padding:27px 15px 25px;background:#f1f5ec}.mini-label{font:9px/1.5 var(--mono);letter-spacing:.7px;color:var(--muted)}.shared p{font-size:14px;font-weight:600;margin:9px 0}.queues{display:flex;justify-content:center;gap:8px}.queues span{border:1px solid #cbd7c9;padding:3px 9px;font:9px var(--mono);border-radius:2px}.worlds{display:grid;grid-template-columns:1fr 1fr}.world{padding:22px 20px 24px}.world+.world{border-left:1px solid var(--line)}.world-label{font:9px var(--mono);letter-spacing:1px}.context{margin-top:18px}.context span{font-size:10px;display:block;color:var(--muted)}.context strong{font-size:11px;font-weight:550;display:block;margin-top:3px}.path-line{height:35px;margin:10px 0 12px 3px;border-left:1px dashed #91aca0;position:relative}.path-line:after{content:"↓";position:absolute;bottom:-10px;left:-4px;color:#91aca0;font-size:12px}.queue{font:18px var(--mono);font-weight:550;margin:8px 0 10px}.danger{color:var(--red)}.allowed{color:var(--green);font:9px var(--mono)}.instrument-result{margin:0 14px;padding:16px 12px;background:#f5e9dd;display:flex;gap:14px;align-items:center}.result-icon{font-size:33px;line-height:1;color:var(--red)}.instrument-result strong{font-size:11px;font-weight:650}.instrument-result p{font-size:10px;margin:3px 0 0;color:#805c46}.instrument-note{text-align:center;font:9px var(--mono);color:var(--muted);padding:3px}.principle{background:#e7ece2;border-block:1px solid var(--line)}.principle-grid{display:grid;grid-template-columns:1fr 1.65fr .35fr;align-items:center;padding:28px 0;gap:25px}.principle-grid>p:nth-child(2){font-size:21px;line-height:1.6;color:#6a7c72;margin:0;font-weight:400;letter-spacing:-.4px}.principle-grid strong{font-weight:550;color:var(--ink)}.principle-index{font:25px var(--mono);text-align:right;color:#53735e}.section{padding:94px 0}.section-heading{display:grid;grid-template-columns:1.2fr .8fr;align-items:end;gap:85px;margin-bottom:38px}h2{font-size:39px;line-height:1.14;letter-spacing:-1.8px;font-weight:600;margin:17px 0 0}.section-heading>p{font-size:14px;color:var(--muted);max-width:370px;margin-bottom:0}.lab{background:#fffef9;border:1px solid var(--line)}.lab-controls{padding:24px 28px;border-bottom:1px solid var(--line)}.segmented{display:flex;gap:7px;margin-top:12px;flex-wrap:wrap}.segmented button{font-size:12px;background:transparent;border:1px solid #cdd6cc;padding:10px 16px;color:var(--ink)}.segmented button[aria-pressed=true]{background:var(--ink);color:#fff;border-color:var(--ink)}.lab-help{font-size:11px;color:var(--muted);margin:14px 0 0;max-width:710px}.lab-body{padding:30px}.lab-runs{display:grid;grid-template-columns:1fr auto 1fr;align-items:center;gap:30px;text-align:center}.lab-runs strong{display:block;font:24px var(--mono);margin:9px 0 3px;letter-spacing:-1px}.lab-runs p{font-size:12px;color:var(--muted);margin:0}.compare-symbol{font-size:38px;color:var(--red)}.lab-verdict{display:flex;gap:22px;align-items:center;padding:18px 22px;margin-top:28px;background:#f5e9dd;border-left:3px solid var(--red)}.lab-verdict>span{font:11px var(--mono);font-weight:bold;color:var(--red)}.lab-verdict p{margin:0;font-size:12px}.lab-verdict[data-state=consistent]{background:#e5f0e7;border-color:var(--green)}.lab-verdict[data-state=consistent]>span{color:var(--green)}.lab-verdict[data-state=inconclusive]{background:#eeede3;border-color:#897d44}.lab-verdict[data-state=inconclusive]>span{color:#75692f}.steps{display:grid;grid-template-columns:repeat(3,1fr);gap:42px;margin-top:42px}.step-num{font:10px var(--mono);color:var(--green);border-top:1px solid #a6b9a9;display:block;padding-top:13px}h3{font-size:18px;letter-spacing:-.4px;line-height:1.4;font-weight:600;margin:13px 0 9px}.steps p{font-size:13px;color:var(--muted);margin:0}.dark-section{background:var(--ink);color:var(--paper);padding:75px 0}.start-grid{display:grid;grid-template-columns:1fr 1.1fr;gap:90px;align-items:center}.start-grid .eyebrow{color:#8eb5a6}.start-grid h2{font-size:42px}.start-grid>div>p:not(.eyebrow){font-size:14px;line-height:1.7;color:#b2c4c0;margin:25px 0;max-width:355px}.light-link{color:#d8ecdf}.requirements{font:10px/1.8 var(--mono);color:#89a79a;margin-top:34px}.terminal{background:#0d2429;border:1px solid #37514f;min-width:0}.terminal-title{border-bottom:1px solid #37514f;padding:13px 19px;display:flex;justify-content:space-between;align-items:center;font:9px var(--mono);letter-spacing:.6px;color:#a8bdb3}.terminal-title button{background:transparent;border:1px solid #526961;color:#cee2d6;font:10px var(--mono);padding:5px 12px}.terminal pre{padding:18px 20px;overflow:auto;font:11px/1.9 var(--mono);color:#d2e5da;margin:0}.terminal-result{padding:16px 20px 19px;border-top:1px solid #37514f}.terminal-result>span{font:9px var(--mono);color:#88a499;display:block;margin-bottom:8px}.terminal-result>strong{font:16px var(--mono);color:#ecc4a8}.terminal-result small{font-size:10px;margin-left:10px;color:#93afa1}.terminal-result p{margin:6px 0 0;font:10px var(--mono);color:#a2b5ac}.copy-status{font-size:10px;padding:0 20px;color:#d3e4d8}.copy-status:empty{display:none}.report-box{border:1px solid var(--line);background:#fffef9;padding:28px}.report-toolbar{display:flex;gap:23px;align-items:center;flex-wrap:wrap}.secondary{background:#e8ede3;border-color:#c8d5c6;padding:11px 16px}.text-button{font-size:12px;color:var(--green);background:none;border:0;padding:8px 0}.local-label{margin-left:auto;font:9px var(--mono);color:var(--muted)}#report-file{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%)}.report-toolbar:has(#report-file:focus-visible) label{outline:3px solid #d48337;outline-offset:4px}#report-message{font-size:12px;color:var(--muted);margin:19px 0 0}#report-message[data-error=true]{color:var(--red)}.report-summary{display:flex;gap:20px;align-items:center;flex-wrap:wrap;margin-top:28px;border-top:1px solid var(--line);padding-top:20px}.report-summary strong{font:18px var(--mono)}.report-summary span{font-size:12px;color:var(--muted)}.report-policy{overflow-wrap:anywhere;color:var(--muted)}.group-row{padding:15px 0;border-top:1px solid var(--line);display:grid;grid-template-columns:1fr 1fr;gap:10px}.group-row p{font-size:12px;margin:3px 0;overflow-wrap:anywhere}.group-row strong{font:11px var(--mono);overflow-wrap:anywhere}.group-detail{color:var(--muted)}.boundaries{font-size:12px;margin-top:22px;color:var(--muted)}.boundaries summary{cursor:pointer;font-weight:600}.scope-grid{display:grid;grid-template-columns:1fr 1fr;gap:90px;padding:10px 0 85px}.scope-grid>div:nth-child(2){border-top:1px solid var(--line);padding-top:12px}.scope-grid p:not(.eyebrow){font-size:13px;color:var(--muted)}.scope-grid h3{margin-top:0}.footer{border-top:1px solid var(--line);padding:30px 0 38px;display:flex;justify-content:space-between;gap:25px;align-items:start}.footer .brand{font-size:17px}.footer p{font-size:11px;color:var(--muted);margin:7px 0}.footer>div:nth-child(2){display:flex;gap:22px;font-size:11px;padding-top:4px}.footer>.mono{font-size:9px;color:var(--muted);padding-top:7px}[hidden]{display:none!important}@media(min-width:1500px){.hero{padding:105px 0}}@media(max-width:1050px){.shell{width:calc(100% - 56px)}.hero{gap:38px}h1{letter-spacing:-2.5px;font-size:48px}.hero-copy .lead{font-size:15px}.world{padding:18px 13px}.queue{font-size:16px}.instrument-top{padding:14px}.actions{gap:18px}.button{gap:19px}.start-grid,.scope-grid{gap:50px}.section-heading{gap:50px}.footer>div:nth-child(2){gap:13px}}@media(max-width:780px){.shell{width:calc(100% - 40px)}.nav{height:78px}.nav nav{gap:18px;font-size:12px}.nav nav>a:first-child{display:none}.hero{grid-template-columns:1fr;gap:48px;padding:50px 0 60px}.hero-copy{max-width:560px}h1{font-size:58px}.lead{max-width:520px}.instrument{max-width:550px;width:100%;margin:0 auto;transform:none;box-shadow:7px 9px 0 #e8ece2}.world{padding:23px}.queue{font-size:23px}.context strong{font-size:13px}.instrument-result strong{font-size:13px}.principle-grid{grid-template-columns:1fr auto;gap:12px;padding:22px 0}.principle-grid .eyebrow{grid-column:1/-1}.principle-grid>p:nth-child(2){font-size:19px}.section{padding:60px 0}.section-heading{grid-template-columns:1fr;gap:18px;margin-bottom:26px}.section-heading>p{max-width:560px;margin:0}h2{font-size:36px}.lab-controls{padding:21px}.segmented button{font-size:11px;padding:9px 10px}.lab-body{padding:23px}.lab-verdict{align-items:start;gap:12px;flex-direction:column}.steps{gap:20px}.start-grid{grid-template-columns:1fr;gap:30px}.dark-section{padding:55px 0}.start-grid>div>p:not(.eyebrow){max-width:540px}.requirements{margin-top:20px}.start-grid h2{font-size:37px}.report-box{padding:21px}.scope-grid{grid-template-columns:1fr;gap:30px;padding-bottom:55px}.footer{flex-wrap:wrap}.footer>div:nth-child(2){flex-direction:column;gap:7px}.footer>.mono{width:100%}.local-label{margin-left:0}.group-row{grid-template-columns:1fr}}@media(max-width:450px){.shell{width:calc(100% - 32px)}.brand{font-size:18px}.nav nav{gap:13px}.nav nav>a:nth-child(2){display:none}h1{font-size:46px;letter-spacing:-2.5px}h1 em{letter-spacing:-2.1px}.actions{gap:20px}.actions .button{padding:13px;font-size:12px}.text-link{font-size:12px}.hero-facts{font-size:9px}.instrument-top{font-size:9px}.world{padding:20px 12px}.context strong{font-size:11px}.queue{font-size:19px}.lab-runs{gap:13px}.lab-runs strong{font-size:18px}.compare-symbol{font-size:29px}.mini-label{font-size:8px}.lab-body{padding:20px 15px}.steps{grid-template-columns:1fr;gap:22px}.steps h3{margin-top:9px}.steps p{max-width:330px}.principle-grid>p:nth-child(2){font-size:17px}.principle-index{font-size:21px}.terminal pre{font-size:10px;padding:15px}.report-toolbar{gap:12px}.report-summary strong{font-size:15px}.start-grid h2,h2{font-size:33px}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}@media print{.nav nav,.actions,.report-toolbar,.dark-section{display:none}.shell{width:100%}.hero,.section,.scope-grid{padding:20px 0}.hero{gap:25px}.instrument{box-shadow:none}.footer{padding:15px 0}}