:root{--paper:#f7f8f4;--white:#fff;--ink:#183330;--muted:#586a65;--line:#d8e0d8;--green:#166b56;--green-light:#e5f3e9;--blue:#305e9a;--blue-light:#eaf0fb;--amber:#805718;--amber-light:#fbefd9;--open:#913d50;--open-light:#f9e9eb;--radius:16px;font:16px/1.6 Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;color:var(--ink);background:var(--paper)}*{box-sizing:border-box}body{margin:0}a{color:inherit;text-underline-offset:4px}button,input,select{font:inherit}button,a,input,select{touch-action:manipulation}button{cursor:pointer}a:focus-visible,button:focus-visible,input:focus-visible,select:focus-visible,pre:focus-visible{outline:3px solid #3673c4;outline-offset:4px}button:disabled{cursor:default;opacity:.45}button{color:var(--ink)}[hidden]{display:none!important}.skip{position:fixed;top:-100px;left:20px;z-index:10;background:var(--ink);color:white;padding:12px 20px}.skip:focus{top:10px}.top{max-width:1440px;margin:auto;padding:25px 44px;display:flex;align-items:center;gap:36px;border-bottom:1px solid var(--line)}.brand{display:flex;align-items:center;gap:13px;text-decoration:none;font-weight:700;letter-spacing:-.02em;line-height:1.2}.mark{font-size:36px;background:var(--green);color:white;width:45px;height:45px;border-radius:12px;text-align:center}.brand-sub{display:block;font-size:11px;text-transform:uppercase;letter-spacing:.12em;font-weight:500;margin-top:7px;color:var(--muted)}nav{display:flex;gap:28px;margin-left:auto;font-size:14px}nav a{text-decoration:none}nav a:hover{text-decoration:underline}.paused{font-size:11px;font-weight:700;text-transform:uppercase;letter-spacing:.09em;border:1px solid var(--line);padding:7px 12px;border-radius:20px;white-space:nowrap}main{max-width:1352px;margin:auto;padding:0 40px}.hero{display:grid;grid-template-columns:1.18fr 1fr;gap:90px;padding:76px 0 60px;align-items:center}.eyebrow{font-size:11px;letter-spacing:.15em;text-transform:uppercase;font-weight:700;color:var(--muted);margin:0 0 20px}h1{font-size:clamp(42px,4.8vw,68px);line-height:1.06;letter-spacing:-.055em;margin:0 0 26px;font-weight:630}h1 em{font-style:normal;color:var(--green)}.intro{font-size:17px;line-height:1.75;color:var(--muted);max-width:550px}.hero-links{display:flex;align-items:center;gap:24px;margin-top:30px;font-size:13px;font-weight:600}.hero-links a{text-decoration:none}.primary{padding:13px 20px;background:var(--ink);color:white;border-radius:7px}.primary span{padding-left:18px}.target{border:1px solid var(--line);border-radius:var(--radius);padding:28px 30px;background:#eef2ea;position:relative}.target-top{display:flex;align-items:center;gap:9px;font-size:12px;color:var(--open);border-bottom:1px solid #d5ded0;padding-bottom:21px;margin-bottom:26px}.open-dot{width:7px;height:7px;background:var(--open);border-radius:50%}.target .eyebrow{margin-bottom:12px}.formula{font:500 clamp(20px,2.2vw,30px)/1.5 ui-monospace,SFMono-Regular,Consolas,monospace;letter-spacing:-.06em;white-space:nowrap}.formula sup{font-size:.55em;letter-spacing:0}.target>p:not(.eyebrow):not(.formula){font-size:12px;color:var(--muted)}.separation{border-top:1px solid #d5ded0;margin-top:25px;padding-top:19px;font-size:12px}.separation p{margin:7px 0 0;color:var(--muted)}.snapshot{display:grid;grid-template-columns:1fr 1fr 1fr auto;gap:20px;border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:25px 0}.snapshot strong{font-size:25px;letter-spacing:-.03em;font-weight:600;display:block}.snapshot span{font-size:12px;color:var(--muted)}.snapshot p{font-size:11px;color:var(--muted);text-align:right}.section{padding:68px 0;scroll-margin-top:20px;border-bottom:1px solid var(--line)}.section-heading{display:flex;align-items:flex-start;justify-content:space-between;gap:50px;margin-bottom:30px}.section-heading .eyebrow{margin-bottom:8px}h2{font-size:29px;line-height:1.25;letter-spacing:-.035em;margin:0;font-weight:600}.note{color:var(--muted);font-size:12px;line-height:1.7}.section-heading>.note{max-width:410px;margin:0}.pipeline-layout{display:grid;grid-template-columns:330px 1fr;gap:30px;align-items:start}#stage-list{list-style:none;padding:0;margin:0;display:grid;gap:9px}.stage-button{width:100%;display:grid;grid-template-columns:28px 1fr;gap:12px;text-align:left;border:1px solid transparent;background:transparent;padding:15px 17px;border-radius:10px;transition:background .12s,border-color .12s}.stage-button:hover{background:#edf1e9}.stage-button[aria-pressed=true]{background:var(--white);border-color:#a6beb0;box-shadow:0 3px 12px #24473607}.step-number{color:#7a8f82;font:12px/1.7 ui-monospace,monospace;padding-top:2px}.stage-name{font-size:14px;font-weight:650;line-height:1.35;display:block;margin-bottom:6px}.status{font-size:10px;line-height:1.4;font-weight:650;padding:4px 7px;border-radius:5px;display:inline-block;letter-spacing:.015em}.status.finalized-machine,.status.finalized{color:var(--green);background:var(--green-light)}.status.proved-math,.status.proved{color:var(--blue);background:var(--blue-light)}.status.draft,.status.partial,.status.mixed{color:var(--amber);background:var(--amber-light)}.status.open{color:var(--open);background:var(--open-light)}.status.legacy-unclassified{color:var(--muted);background:#edf0ed}.detail{background:white;border:1px solid var(--line);border-radius:var(--radius);padding:32px;min-height:420px}.detail h3{font-size:26px;line-height:1.25;letter-spacing:-.03em;margin:17px 0}.detail .summary{font-size:15px;line-height:1.8;color:var(--muted)}.detail h4{font-size:11px;letter-spacing:.1em;text-transform:uppercase;margin:26px 0 10px}.detail ul{padding-left:20px;color:var(--muted);font-size:13px;line-height:1.8}.remaining{padding:1px 18px 12px;background:#f9f4e9;border-radius:9px;margin-top:25px}.remaining h4{color:var(--amber);margin-top:16px}.remaining ul{margin-bottom:0}.proof-links{display:grid;gap:8px}.proof-link{display:block;padding:11px 13px;border:1px solid var(--line);border-radius:7px;text-decoration:none;font-size:12px;overflow-wrap:anywhere}.proof-link:hover{border-color:#92b5a4;background:#f7faf6}.proof-link code{font:11px/1.7 ui-monospace,monospace;color:var(--muted);display:block}.detail .group-links{display:flex;flex-wrap:wrap;gap:8px}.group-links a{font-size:11px;color:var(--green);overflow-wrap:anywhere}.stage-search{margin-top:24px;background:none;border:0;padding:0;font-size:12px;color:var(--green);text-decoration:underline;text-underline-offset:4px}.search-panel{padding:23px;background:white;border:1px solid var(--line);border-radius:12px}.search-label{display:block;font-size:12px;font-weight:650;margin-bottom:10px}.key{float:right;font:11px ui-monospace,monospace;color:var(--muted);border:1px solid var(--line);padding:2px 6px;border-radius:3px}input[type=search]{display:block;width:100%;border:1px solid #b9c9bd;background:#fbfcfa;border-radius:7px;padding:13px 15px;color:var(--ink);font-size:14px}.filters{display:flex;align-items:center;gap:12px;margin-top:18px;flex-wrap:wrap}.filters label{font-size:11px;color:var(--muted)}select{max-width:100%;background:white;border:1px solid var(--line);border-radius:5px;padding:6px 8px;font-size:12px}.quiet{border:0;background:none;text-decoration:underline;font-size:12px;margin-left:auto}.results-status{font-size:12px;color:var(--muted);margin:24px 0 12px}.module-list{border-top:1px solid var(--line)}.module-row{padding:16px 0;border-bottom:1px solid var(--line);display:grid;grid-template-columns:1fr auto;gap:18px;align-items:start}.module-name{font:12px/1.6 ui-monospace,SFMono-Regular,Consolas,monospace;overflow-wrap:anywhere;font-weight:600;text-decoration:none}.module-name:hover{color:var(--green);text-decoration:underline}.module-summary{font-size:11px;color:var(--muted);margin:6px 0;max-width:880px;overflow-wrap:anywhere}.module-declarations{font-size:11px;color:var(--green);overflow-wrap:anywhere}.module-declarations a{display:inline-block;margin-right:15px}.empty-state{padding:35px;text-align:center;color:var(--muted)}.pagination{display:flex;align-items:center;justify-content:space-between;margin:22px 0 14px;font-size:12px}.pagination button{border:1px solid var(--line);border-radius:5px;padding:8px 13px;background:white;font-size:12px}.glossary{display:grid;grid-template-columns:1fr 1fr;gap:28px 40px}.glossary h3{font-size:14px;margin:0 0 7px}.glossary p{font-size:12px;color:var(--muted);margin:0}.evidence-links{display:flex;flex-wrap:wrap;gap:14px 24px;border-top:1px solid var(--line);margin-top:30px;padding-top:23px;font-size:12px}.evidence>.note{margin-top:22px}footer{max-width:1352px;margin:auto;padding:28px 40px 40px;display:flex;justify-content:space-between;gap:20px;color:var(--muted);font-size:11px}.noscript{padding:20px;background:var(--amber-light)}.source-main{max-width:1500px;padding-top:40px}.source-main h1{font-size:24px;overflow-wrap:anywhere}.source-main pre{background:white;border:1px solid var(--line);border-radius:9px;padding:18px 0;overflow:auto;font:12px/1.8 ui-monospace,SFMono-Regular,Consolas,monospace;tab-size:2}.source-line{display:block;white-space:pre;min-height:1.8em;padding-right:24px}.source-line:target,.source-line.requested-line{background:#fff2c3}.line-number{display:inline-block;width:65px;padding:0 15px;text-align:right;color:#7b8980;user-select:none;text-decoration:none}.source-page .top{max-width:1500px}.source-page nav{font-size:12px}#source-error{background:var(--open-light);padding:20px;border-radius:7px}
@media(min-width:1100px){.detail{position:sticky;top:22px}}@media(max-width:1000px){.hero{gap:35px}.hero-links{gap:15px;flex-wrap:wrap}.pipeline-layout{grid-template-columns:280px 1fr;gap:20px}.detail{padding:24px}.snapshot{grid-template-columns:1fr 1fr 1fr}.snapshot>p{grid-column:1/-1;text-align:left;margin:0}.snapshot>p br{display:none}.formula{font-size:21px}}@media(max-width:720px){.top{padding:18px 20px;gap:16px;flex-wrap:wrap}.brand{font-size:14px}.mark{width:34px;height:34px;font-size:26px;border-radius:9px}.brand-sub{font-size:9px}.paused{margin-left:auto;font-size:9px;padding:6px 9px}.top nav{order:3;margin-left:0;width:100%;font-size:12px;gap:24px}main{padding:0 20px}.hero{grid-template-columns:1fr;padding:38px 0 32px;gap:28px}h1{font-size:47px}.intro{font-size:14px}.hero-links{font-size:12px;gap:19px}.target{padding:23px}.formula{font-size:25px}.target-top{margin-bottom:21px}.snapshot{gap:15px;padding:20px 0}.snapshot strong{font-size:21px}.snapshot span{font-size:10px;line-height:1.5;display:block}.snapshot p{font-size:10px}.section{padding:40px 0}.section-heading{display:block;margin-bottom:22px}.section-heading>.note{margin-top:14px;max-width:none}h2{font-size:25px}.pipeline-layout{grid-template-columns:1fr}#stage-list{grid-template-columns:1fr 1fr;gap:7px}.stage-button{padding:13px 9px;grid-template-columns:20px 1fr;gap:5px;border-color:var(--line)}.stage-name{font-size:11px}.stage-button .status{font-size:9px}.detail{min-height:0;padding:23px}.detail h3{font-size:23px}.detail .summary{font-size:13px}.detail ul{font-size:12px}.search-panel{padding:17px}.filters{gap:10px}.filters label{width:100%;margin-top:5px}select{width:100%}.quiet{margin-top:3px}.module-row{grid-template-columns:1fr;gap:4px}.module-row>.status{justify-self:start;grid-row:1}.module-name{font-size:11px}.module-summary{font-size:10px}.glossary{grid-template-columns:1fr;gap:22px}.evidence-links{display:grid;gap:13px}footer{padding:24px 20px;flex-wrap:wrap}.source-main{padding-top:30px}.source-main h1{font-size:19px}.source-main pre{font-size:11px}.line-number{width:42px;padding:0 8px}}@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important}}

.hero-subtitle{font-size:23px;letter-spacing:-.025em;margin:-9px 0 22px;color:var(--green);font-weight:550}@media(max-width:720px){.hero-subtitle{font-size:20px}}