:root{--ink:#111;--paper:#fff;--muted:#535353;--line:#d7d7d7;--sans:Inter,Arial,sans-serif;--mono:'JetBrains Mono',monospace;--display:'Archivo Black',Arial,sans-serif}
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:2rem}body{overflow-wrap:anywhere;margin:0;background:var(--paper);color:var(--ink);font:1rem/1.65 var(--sans)}a{color:inherit;text-underline-offset:.22em;text-decoration-thickness:1px}a:hover{text-decoration-thickness:2px}button,summary{touch-action:manipulation}p{margin:0 0 1.2rem}h1,h2,h3{margin:0;font-weight:400}h2{font:clamp(2rem,3.6vw,3.3rem)/1.1 var(--display);letter-spacing:-.045em}h3{font-size:1.25rem;font-weight:600;line-height:1.4}strong{font-weight:600}section{scroll-margin-top:2rem}.eyebrow{font:.78rem/1.6 var(--mono);letter-spacing:.08em;text-transform:uppercase;margin:0 0 1.3rem}.skip{position:absolute;top:-5rem;left:1rem;z-index:20;background:#111;color:#fff;padding:1rem}.skip:focus{top:1rem}.hero{padding:0 0 3.5rem}.hero h1{font:clamp(4.6rem,12vw,10rem)/.98 var(--display);letter-spacing:-.06em;margin:0 0 1.2rem}.hero-line{font:clamp(1.6rem,3.3vw,2.85rem)/1.2 var(--sans);letter-spacing:-.04em;max-width:48rem;margin-bottom:2rem}.hero-bottom{display:grid;grid-template-columns:minmax(0,1.55fr) minmax(0,1fr);gap:4rem;align-items:start}.intro{font-size:1.1rem;max-width:39rem;line-height:1.7;margin:0}.hero-action{display:flex;flex-direction:column;align-items:flex-start;gap:1rem;padding-top:.25rem}.button{display:inline-flex;justify-content:space-between;align-items:center;gap:2rem;padding:.95rem 1.25rem;background:var(--ink);border:1px solid var(--ink);color:white;font-weight:600;text-decoration:none;min-height:3rem}.button:hover{background:#333;text-decoration:none}.text-link{font-size:.95rem}.contents{display:flex;flex-wrap:wrap;gap:.75rem 1.8rem;border-top:1px solid var(--ink);border-bottom:1px solid var(--ink);padding:1.05rem 0;font-size:.9rem}.section{padding:5rem 0;border-bottom:1px solid var(--line)}.split{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1.4fr);gap:4rem}.prose{max-width:42rem}.large{font-size:clamp(1.2rem,2vw,1.5rem);line-height:1.5;letter-spacing:-.02em}.prose>p:last-child{margin:0}.feature{padding:3rem;margin:5rem 0 0;background:#f2f2f2;display:grid;grid-template-columns:minmax(0,1.2fr) minmax(0,1fr);gap:3rem}.feature h2{font-size:clamp(1.7rem,2.8vw,2.65rem);margin-bottom:1.4rem}.feature-limit{font-size:.9rem;color:#414141;border-left:2px solid #777;padding-left:1rem}.feature a{font-size:.95rem}.comparison{margin:0;align-self:center}.comparison figcaption{font-size:.9rem;font-weight:600;line-height:1.5;margin-bottom:1.5rem}.compare-row{margin:1.4rem 0}.compare-row>span{display:block;font-size:.85rem;margin-bottom:.55rem}.bars{display:grid;gap:.35rem}.bar{width:var(--size);padding:.55rem .7rem;display:flex;gap:.5rem;justify-content:space-between;align-items:center;font:1.25rem/1.3 var(--mono);min-width:min(10rem,100%);flex-wrap:wrap}.bar span{font:.8rem/1.4 var(--sans)}.original{border:1px solid #aaa;background:#fff}.supported{color:white;background:#111;border:1px solid #111}.chart-note{font-size:.8rem;line-height:1.6;color:var(--muted);margin-top:1rem}.section-top{display:grid;grid-template-columns:minmax(0,1.2fr) minmax(0,1fr);gap:4rem;align-items:end;margin-bottom:2.8rem}.section-top>p{margin:0;max-width:30rem}.updates{border-top:1px solid #111}.update{border-bottom:1px solid #111}.update summary{list-style:none;display:grid;grid-template-columns:8rem minmax(0,1fr) 1.5rem;align-items:start;gap:1.5rem;padding:1.6rem 0;cursor:pointer}.update summary::-webkit-details-marker{display:none}.update time{font:.78rem/1.7 var(--mono);padding-top:.2rem}.update summary strong{display:block;font-size:1.22rem;line-height:1.4;letter-spacing:-.02em}.update summary small{display:block;font-size:.85rem;line-height:1.5;margin-top:.6rem;color:var(--muted)}.plus{font:1.8rem/1 var(--sans)}.update[open] .plus{transform:rotate(45deg)}.update-body{max-width:48rem;padding:0 2.5rem 1.6rem 9.5rem;box-sizing:content-box}.update-body p:last-child{margin:0}.caption{font-size:.8rem;color:var(--muted);max-width:50rem;line-height:1.6;margin:1.5rem 0 0}.question{border-top:1px solid var(--line);padding:1rem 0}.question:last-child{border-bottom:1px solid var(--line)}.question summary{font-weight:600;cursor:pointer;padding-right:.5rem;line-height:1.5}.question p{margin:1rem 0 0}.funding{background:#111;color:#fff;padding:3.5rem;margin-top:5rem}.funding-head{display:grid;grid-template-columns:1.3fr 1fr;gap:3rem;margin-bottom:2rem}.funding-head .large{align-self:end;margin:0}.fund-intro{max-width:45rem;color:#eee}.milestones{list-style:none;padding:0;margin:3rem 0;display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:2rem}.milestones li{border-top:1px solid #777;padding-top:1.3rem}.number{display:block;font:1.15rem var(--mono);margin-bottom:1.5rem;color:#bbb}.milestones h3{font-size:1.2rem;margin-bottom:1rem}.milestones p{font-size:.95rem;color:#eee;margin:0}.fund-bottom{display:grid;grid-template-columns:1fr 1fr;gap:2rem;border-top:1px solid #777;padding-top:1.5rem;font-size:.9rem;color:#ddd;margin-bottom:1.5rem}.button.light{background:#fff;color:#111;border-color:#fff}.button.light:hover{background:#e4e4e4}.funding :is(a,summary):focus-visible{outline:3px solid white;outline-offset:5px}.role{color:var(--muted);font-size:.9rem;margin:1rem 0 1.6rem}.contact{font-size:1.2rem;overflow-wrap:anywhere}.footer{padding:2rem 0 0;font-size:.85rem;display:flex;flex-wrap:wrap;justify-content:space-between;gap:.7rem 2rem}.footer p{margin:0}.footer p:nth-child(2){color:var(--muted)}
@media(max-width:900px){.hero-bottom,.split{gap:2rem}.section-top{gap:2rem}.feature{padding:2rem;gap:2rem}.funding{padding:2.5rem}.funding-head{gap:2rem}.milestones{gap:1.5rem}.update-body{padding-left:0;max-width:43rem}.update summary{grid-template-columns:7rem minmax(0,1fr) 1.5rem;gap:1rem}}
@media(max-width:650px){html{scroll-padding-top:1rem}.hero{padding-bottom:2rem}.hero h1{font-size:min(17vw,6.3rem)}.hero-line{font-size:1.65rem}.desktop-break{display:none}.hero-bottom,.split,.section-top,.feature,.funding-head,.fund-bottom{grid-template-columns:1fr;gap:1.5rem}.hero-action{gap:1rem}.intro{font-size:1rem}.contents{gap:.7rem 1.2rem;font-size:.85rem}.section{padding:3rem 0}.eyebrow{font-size:.75rem;margin-bottom:1rem}.feature{margin:3rem -1.25rem 0;padding:2rem 1.25rem;gap:2rem}.feature h2{font-size:2rem}.comparison{max-width:30rem;width:100%}.section-top{margin-bottom:1.5rem}.update summary{grid-template-columns:minmax(0,1fr) 1.5rem;gap:.65rem 1rem;padding:1.2rem 0}.update summary time{grid-column:1 / -1}.update summary strong{font-size:1.12rem}.update-body{padding:0 0 1.5rem;font-size:.96rem}.funding{margin:3rem -1.25rem 0;padding:2.5rem 1.25rem}.funding h2{font-size:2.2rem}.milestones{grid-template-columns:1fr;gap:1.6rem;margin:2rem 0}.number{float:left;min-width:3rem;margin:0}.milestones h3,.milestones p{margin-left:3rem}.milestones h3{margin-bottom:.6rem}.fund-bottom{gap:.3rem;margin-bottom:1.2rem}.footer{display:block}.footer p,.footer>a{display:block;margin-bottom:.7rem}.button{max-width:100%;gap:1.2rem}.contact{font-size:1.05rem}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}
@media print{.contents,.hero-action,.footer>a,.skip{display:none}.feature,.funding{background:white;color:black;border:1px solid #999;margin:2rem 0;padding:1.5rem}.funding p,.number{color:black}.section{padding:2rem 0}.update-body{display:block!important}.hero h1{font-size:50pt}}

.partner-outputs{border-top:1px solid #777;padding-top:1.5rem;margin:0 0 2rem;max-width:48rem}.partner-outputs ul{padding-left:1.2rem}.partner-outputs li{margin:.8rem 0;color:#eee}.partner-outputs .question{border-color:#777}.partner-outputs .question p{font-size:.95rem;color:#eee}

.handoff-title{font-size:.95rem;font-weight:600;margin-bottom:1.3rem}.handoff ol{list-style:none;padding:0;margin:0}.handoff li{border-top:1px solid #aaa;padding:1rem 0}.handoff li>span{display:block;font:.75rem/1.6 var(--mono);color:var(--muted);margin-bottom:.4rem}.handoff li strong{display:block;font-size:1.1rem;line-height:1.5}.update-body .comparison{padding:1.5rem;background:#f2f2f2;margin:1.5rem 0 0;max-width:36rem}

.hero-status{margin:1.3rem 0 0;color:var(--muted);font-size:.8rem;line-height:1.5}
@media(max-width:650px){.hero h1{margin-bottom:.8rem}.hero-line{margin-bottom:1.2rem}.hero-status{margin-top:1rem}.hero-bottom{gap:1.15rem}.hero-action{gap:.7rem}}

.question summary{list-style:none;display:flex;justify-content:space-between;gap:1rem}.question summary::-webkit-details-marker{display:none}.question-symbol{font:1.5rem/1.1 var(--sans);flex:none}.question[open] .question-symbol{transform:rotate(45deg)}

.record-note{border-left:2px solid var(--ink);padding:.2rem 0 .2rem 1.15rem;margin:0 0 2rem;max-width:51rem;color:var(--muted);font-size:.9rem;line-height:1.65}.record-note p{margin:0}

.update-return{font-size:.85rem;margin-top:1.5rem!important}

.update{scroll-margin-top:6rem}

@media(min-width:651px){.milestones.two-settings{grid-template-columns:repeat(2,minmax(0,1fr))}}

.theorem-display{align-self:center;border-top:1px solid var(--ink);border-bottom:1px solid var(--ink);padding:2rem 0}.theorem-display .eyebrow{margin-bottom:1rem}.theorem-formula{font:400 clamp(3.4rem,6vw,5.5rem)/1.15 var(--mono);letter-spacing:-.07em;margin:0 0 1.5rem}.theorem-formula sup{font-size:.55em;vertical-align:super}.theorem-display>p:not(.theorem-formula){max-width:27rem}.theorem-id{padding-top:1rem;border-top:1px solid var(--line);font-size:.8rem;color:var(--muted)}.theorem-id code{font:.78rem/1.7 var(--mono);overflow-wrap:anywhere}

.proof-credit{font:.76rem/1.6 var(--mono);color:var(--muted);padding-bottom:1rem;border-bottom:1px solid var(--line)}

.question{scroll-margin-top:5rem}

/* Actual Lean excerpts: color distinguishes syntax, names and mathematical symbols. */
.source-showcase{padding-top:4rem;scroll-margin-top:6rem}.source-heading{display:grid;grid-template-columns:1.2fr 1fr;gap:4rem;align-items:end;margin-bottom:2.5rem}.source-heading>p{max-width:30rem;margin:0}.source-heading h2{font-size:clamp(1.8rem,3vw,2.6rem)}.lean-pieces{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:2rem;align-items:start}.lean-piece{margin:0;min-width:0;scroll-margin-top:6rem}.lean-domain{font:.72rem/1.5 var(--mono);text-transform:uppercase;letter-spacing:.07em;color:var(--muted);margin:0 0 .6rem}.lean-piece h3{font-size:1.16rem;letter-spacing:-.02em;margin-bottom:.7rem}.lean-explanation{font-size:.93rem;line-height:1.65;max-width:32rem;margin-bottom:1.5rem;min-height:3.1rem}.lean-window{background:#191d27;color:#edf0f6;border:1px solid #191d27;min-width:0}.lean-file{display:flex;flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.65rem 1rem;padding:1rem 1.25rem;border-bottom:1px solid #465063;font:.7rem/1.5 var(--mono);color:#c4cbd8}.lean-file>span:first-child{overflow-wrap:anywhere;min-width:0}.lean-checked{color:#b7e4c9;white-space:normal}.lean-code{margin:0;padding:1.4rem 1.25rem;min-height:13rem;font:.8rem/1.9 var(--mono);tab-size:2;white-space:pre;overflow-wrap:normal;word-break:normal;overflow-x:auto;max-width:100%}.lean-code code{font:inherit;white-space:inherit}.lean-code:focus-visible{outline:2px solid #b4caff;outline-offset:-5px}.lean-keyword{color:#d1bdff}.lean-name{color:#a9ceff}.lean-symbol{color:#bce4d2}.lean-number{color:#f1d992}.lean-source{display:flex;flex-wrap:wrap;justify-content:space-between;gap:.5rem 1rem;padding:.85rem 1.25rem;border-top:1px solid #465063;font:.68rem/1.5 var(--mono);color:#c4cbd8}.lean-caption{margin:1rem 0 0;font-size:.86rem}.source-note{font-size:.78rem;line-height:1.7;color:var(--muted);margin:1.5rem 0 0;max-width:48rem}
@media(max-width:900px){.source-heading{gap:2rem}.lean-pieces{gap:1.5rem}.lean-file,.lean-source{padding-left:1rem;padding-right:1rem}.lean-code{padding:1.2rem 1rem}}
@media(max-width:650px){.source-showcase{padding-top:3rem}.source-heading,.lean-pieces{grid-template-columns:1fr;gap:1.8rem}.source-heading{gap:1rem;margin-bottom:2rem}.lean-piece+.lean-piece{margin-top:.5rem}.lean-explanation{min-height:0;margin-bottom:1.1rem}.lean-code{min-height:0;font-size:.79rem;line-height:1.9;padding:1.2rem .95rem}.lean-file{font-size:.67rem}.lean-source{font-size:.65rem}.source-note{font-size:.75rem}}
@media print{.lean-window{background:#f4f3ef;color:#111;break-inside:avoid}.lean-file,.lean-source,.lean-code span{color:#111}.lean-checked{color:#0b7a3e}.lean-pieces{display:block}.lean-piece{margin:1.5rem 0}.lean-code{min-height:0}}

/* Proof reuse and one explicitly attributed native output. */
.reuse-story{border-left:3px solid var(--ink);padding:0 0 0 1.5rem;margin:0 0 2.5rem}.reuse-story .eyebrow{margin-bottom:.65rem}.reuse-story h3{font-size:1.3rem;margin-bottom:1.3rem}.reuse-steps{display:grid;grid-template-columns:1fr 1fr;gap:2rem;max-width:62rem}.reuse-steps p{font-size:.95rem;margin:0}.reuse-steps time{display:block;font:.75rem/1.6 var(--mono);color:var(--muted);margin-bottom:.5rem}.reuse-steps strong{display:block}.reuse-note{font-size:.84rem;line-height:1.7;max-width:52rem;margin:1.2rem 0 0;color:var(--muted)}.native-piece{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1.4fr);gap:2.5rem;margin:0 0 3rem}.native-piece figcaption>p:not(.lean-domain){font-size:.94rem}.native-piece .source-note{margin-top:0;font-size:.8rem!important}.native-piece .lean-code{min-height:0}.native-piece .lean-caption{font-size:.86rem}
@media(max-width:760px){.native-piece{grid-template-columns:minmax(0,1fr);gap:1rem}.reuse-steps{grid-template-columns:1fr;gap:1.2rem}.reuse-story{padding-left:1rem}.native-piece{margin-bottom:2rem}}

.native-piece>*{min-width:0}

/* Discovery narrative, reusing the institute's typography and quiet rules. */
.hero-definition{font-size:.91rem;line-height:1.7;margin:1.2rem 0 0;color:var(--muted)}
.discovery-steps{list-style:none;margin:0;padding:0;display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:2rem}
.discovery-steps li{border-top:2px solid var(--ink);padding-top:1.2rem;min-width:0}
.step-label{display:block;font:.72rem/1.6 var(--mono);text-transform:uppercase;color:var(--muted);margin-bottom:1.4rem}
.discovery-steps h3{font-size:1.14rem;letter-spacing:-.02em;margin-bottom:1rem}
.discovery-steps p{font-size:.9rem;line-height:1.75;margin:0}.discovery-scope{font-size:.8rem;color:var(--muted);margin:1.8rem 0 0;max-width:54rem}
.reuse-story>p:not(.eyebrow):not(.reuse-note){max-width:61rem;margin:0;font-size:.98rem;line-height:1.8}
@media(max-width:1000px){.discovery-steps{grid-template-columns:repeat(2,minmax(0,1fr));gap:2rem}}
@media(max-width:650px){.discovery-steps{grid-template-columns:1fr;gap:1.5rem}.discovery-steps h3 br{display:none}.step-label{margin-bottom:.65rem}.discovery-steps h3{margin-bottom:.6rem}.discovery-scope{margin-top:1.5rem}.hero-definition{font-size:.87rem}}

.rpi-panel .hero-definition{color:#c4cbd8}

/* Photon-history case study: a bounded result carried into further research. */
.photon-result{display:grid;grid-template-columns:minmax(0,1.15fr) minmax(0,1fr);gap:3rem;background:#172739;color:#f4f3eb;padding:2.5rem;margin:0 0 2.5rem}
.photon-result .eyebrow{color:#b7c9d4}.photon-result p{max-width:34rem}.photon-equation{font:400 clamp(1.8rem,3.6vw,3.3rem)/1.5 var(--mono);letter-spacing:-.055em;white-space:nowrap;margin:.5rem 0 1rem}.photon-equation sup{font-size:.65em}.photon-meaning p{font-size:.95rem;line-height:1.7;margin:0 0 1.1rem}.photon-meaning p:last-child{margin-bottom:0}.photon-meaning strong{color:#d7e9c4}.case-significance{max-width:64rem;font-size:1rem;line-height:1.8;margin:2rem 0}.case-details{max-width:64rem}.case-details p{font-size:.92rem;line-height:1.8}.response-equation{font:500 clamp(1.1rem,2.4vw,1.5rem)/1.7 var(--mono);letter-spacing:-.04em}.photon-case{scroll-margin-top:6rem}
@media(max-width:760px){.photon-result{grid-template-columns:1fr;gap:1.4rem;padding:1.6rem}.photon-equation{font-size:clamp(1.45rem,5.6vw,2.6rem)}.photon-meaning{border-top:1px solid #64717d;padding-top:1.4rem}.photon-result>div>p:last-child{margin-bottom:0}}
@media(max-width:380px){.photon-result{padding:1.2rem}.photon-equation{font-size:1.35rem}.response-equation{font-size:1rem}}
@media print{.photon-result{background:#fff;color:#111;border:1px solid #999}.photon-result .eyebrow,.photon-meaning strong{color:#111}}