:root{color-scheme:light;--ink:#17211b;--muted:#59665e;--paper:#f5f1e8;--card:#fffdf7;--line:#d9d2c4;--accent:#176440;--accent-dark:#0f4d31;--warn:#8a4b16;--code:#102219}*{box-sizing:border-box}html{scroll-behavior:auto}body{margin:0;background:radial-gradient(circle at 85% 0,#e5eee5 0,transparent 28rem),var(--paper);color:var(--ink);font:16px/1.65 ui-sans-serif,system-ui,sans-serif}a{color:var(--accent-dark);text-underline-offset:.16em}a:hover{text-decoration-thickness:2px}a:focus-visible{outline:2px solid var(--card);outline-offset:2px;border-radius:4px;box-shadow:0 0 0 5px var(--accent-dark)}.skip-link{position:fixed;z-index:10;left:1rem;top:-5rem;padding:.65rem 1rem;background:var(--ink);color:white}.skip-link:focus{top:1rem}main{width:min(100%,1120px);margin:auto;padding:4.5rem 1.4rem 5rem;overflow-wrap:anywhere}h1{margin:.65rem 0 1.25rem;font:700 clamp(2.45rem,6vw,4.75rem)/1 ui-serif,Georgia,serif;letter-spacing:-.025em;max-width:18ch}h2,h3{font-family:ui-serif,Georgia,serif;line-height:1.2}h2{font-size:clamp(1.55rem,3vw,2rem)}h3{font-size:1.25rem}.lede{font-size:clamp(1.08rem,2vw,1.3rem);max-width:780px;color:var(--muted)}.eyebrow{text-transform:uppercase;letter-spacing:.13em;font-size:.75rem;font-weight:800;color:var(--accent)}.candidate{padding:.7rem 1rem;text-align:center;background:#ffe2ad;color:#62320c;font-weight:750}.breadcrumb{display:flex;flex-wrap:wrap;gap:.35rem .6rem;align-items:center;margin-bottom:1.5rem;color:var(--muted);font-size:.94rem}.actions{display:flex;flex-wrap:wrap;gap:1rem;align-items:center;margin:1.6rem 0 3rem}.button{display:inline-flex;align-items:center;justify-content:center;min-height:44px;padding:.65rem 1.15rem;border-radius:999px;background:var(--accent);color:white;text-align:center;text-decoration:none;font-weight:700;box-shadow:0 8px 20px #143d2920}.button:hover{background:var(--accent-dark)}.text-link{font-weight:700}.grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(280px,100%),1fr));gap:1rem}.grid>*{min-width:0}.proof-card,.reviews article,section{margin:2.25rem 0}.proof-card,.reviews article,.summary-panel{min-width:0;background:color-mix(in srgb,var(--card) 94%,transparent);border:1px solid var(--line);border-radius:18px;padding:1.3rem;box-shadow:0 12px 36px #324b3b0a}.proof-card h3{margin:.25rem 0 1rem}.proof-card h3 a{color:var(--ink)}pre{max-width:100%;min-width:0;white-space:pre-wrap;overflow-wrap:anywhere;word-break:break-word;background:var(--code);color:#e8f3ea;padding:1rem;border-radius:12px;font:13px/1.55 ui-monospace,SFMono-Regular,Consolas,monospace;box-shadow:inset 0 0 0 1px #ffffff12}pre code{overflow-wrap:inherit}dl{display:grid;gap:.5rem;min-width:0}dl div{display:grid;grid-template-columns:9rem minmax(0,1fr);gap:.75rem;border-top:1px solid var(--line);padding-top:.55rem;min-width:0}dt{font-weight:750}dd{min-width:0;margin:0;color:var(--muted);overflow-wrap:anywhere;word-break:break-word}.status{display:inline-flex;align-items:center;padding:.15rem .55rem;border-radius:999px;font-size:.82rem;font-weight:750;text-decoration:none}.status-ok{background:#dceee2;color:#164b30}.status-warn{background:#f8e7c9;color:#70400f}.metrics{display:grid;grid-template-columns:repeat(auto-fit,minmax(150px,1fr));gap:1rem}.metrics div{display:flex;flex-direction:column}.metrics strong{font:700 2rem/1 ui-serif,Georgia,serif;color:var(--accent-dark)}.metrics span{color:var(--muted)}.file-list{columns:2;column-gap:2rem}.file-list li{break-inside:avoid;margin:.3rem 0}code{overflow-wrap:anywhere;word-break:break-word}footer{display:flex;align-items:center;justify-content:center;flex-wrap:wrap;gap:.5rem 1.25rem;border-top:1px solid var(--line);padding:2rem;text-align:center;color:var(--muted);font-size:.9rem}footer a{font-weight:750}@media(max-width:620px){main{padding:2.5rem 1.15rem 4rem}h1{font-size:clamp(2.35rem,12vw,3.35rem)}dl div{grid-template-columns:minmax(0,1fr);gap:.35rem}.file-list{columns:1}.candidate{font-size:.9rem;line-height:1.35}}
.site-header{width:min(100%,1180px);margin:auto;padding:1rem 1.4rem;display:flex;align-items:center;justify-content:space-between;gap:1.5rem}.brand{display:inline-flex;align-items:center;gap:.65rem;color:var(--ink);font-weight:850;text-decoration:none;letter-spacing:-.02em}.brand-mark{display:grid;flex:0 0 auto;place-items:center;width:2.1rem;height:2.1rem;border-radius:10px;background:var(--accent);color:var(--card);font:800 1.15rem/1 ui-serif,Georgia,serif}.site-header nav{display:flex;align-items:center;justify-content:flex-end;flex-wrap:wrap;gap:.25rem .8rem}.site-header nav a{display:inline-flex;align-items:center;min-height:44px;padding:0 .15rem;font-size:.9rem;font-weight:700;text-decoration:none}.compact-label{display:none}.atlas-home{width:100%;max-width:none;padding:0 0 6rem}.atlas-home>section:not(.atlas-hero):not(.atlas-snapshot){width:min(calc(100% - 2.8rem),1120px);margin-left:auto;margin-right:auto}.atlas-hero{min-height:630px;display:grid;grid-template-columns:minmax(0,.9fr) minmax(420px,1.1fr);align-items:stretch;background:#0c2b20;color:var(--card);overflow:hidden}.hero-copy{align-self:center;padding:5rem max(2rem,calc((100vw - 1120px)/2));padding-right:2.5rem}.hero-copy h1{font-size:clamp(4rem,7vw,5.8rem);max-width:none;white-space:nowrap;margin:.6rem 0 1.5rem;color:#fffdf7}.hero-copy .lede{color:#d7e3da;max-width:650px}.hero-copy .eyebrow{color:#c8a455}.light-link{color:#f6e5bd}.hero-art{position:relative;margin:0;min-height:100%;overflow:hidden}.hero-art:after{content:"";position:absolute;inset:0;background:linear-gradient(90deg,#0c2b20 0,transparent 42%)}.hero-art img{width:100%;height:100%;min-height:630px;object-fit:cover}.hero-art figcaption{position:absolute;z-index:1;right:1rem;bottom:1rem;max-width:26rem;padding:.45rem .7rem;border-radius:6px;background:#0b2119e6;color:#eef5ef;font-size:.8rem}.atlas-snapshot{width:min(calc(100% - 2.8rem),1120px);margin:-2.6rem auto 4rem;position:relative;z-index:2;display:grid;grid-template-columns:repeat(4,1fr);border:1px solid var(--line);border-radius:18px;background:var(--card);box-shadow:0 18px 55px #10221924}.atlas-snapshot div{display:flex;flex-direction:column;padding:1.35rem 1.5rem;border-right:1px solid var(--line)}.atlas-snapshot div:last-child{border-right:0}.atlas-snapshot strong{font:800 2.25rem/1 ui-serif,Georgia,serif;color:var(--accent-dark)}.atlas-snapshot span{margin-top:.35rem;color:var(--muted);font-size:.86rem}.section-head{display:flex;align-items:flex-end;justify-content:space-between;gap:1.5rem;margin-bottom:1.2rem}.section-head h2{margin:.2rem 0}.section-head>.status{flex:0 1 auto;justify-content:center;max-width:100%;padding:.45rem .85rem;line-height:1.3;text-align:center}.section-intro{max-width:790px;color:var(--muted);margin-bottom:1.5rem}.featured{padding-top:1rem}.featured-layout{display:grid;grid-template-columns:minmax(0,1.1fr) minmax(300px,.9fr);gap:2rem;align-items:center;padding:1.5rem;border:1px solid var(--line);border-radius:22px;background:var(--card);box-shadow:0 18px 50px #1022190c}.compact-feature{margin-top:1.25rem}.cohort-map{max-width:760px;margin:2.25rem 0 3rem}.feature-visual{min-width:0}.math-infographic{display:block;width:100%;height:auto;border-radius:16px;background:#0e2d22}.math-infographic .map-path{fill:none;stroke:#d5af5a;stroke-width:3}.math-infographic .muted-path{stroke:#8fb09b}.math-infographic .map-node{fill:#f8e9bd;stroke:#0e2d22;stroke-width:4}.math-infographic .major-node{fill:#d5af5a}.math-infographic .formula-chip rect{fill:#f8e9bd}.math-infographic .formula-chip .formula-main{fill:#173c2d;text-anchor:middle;font:700 18px ui-monospace,monospace}.math-infographic .formula-chip .chip-label{fill:#42604f;text-anchor:middle;font:700 12px ui-sans-serif,system-ui;letter-spacing:.04em}.math-infographic .map-label{fill:#c9dacd;font:13px ui-sans-serif,system-ui}.visual-caption{margin:.55rem .2rem 0;color:var(--muted);font-size:.78rem}.signal-list{display:grid;gap:.55rem;padding:0;list-style:none}.signal-list li{padding:.55rem .7rem;border-left:3px solid var(--accent);background:#eaf2eb}.boundary{padding:1rem;border:1px solid #e9cf9f;border-radius:12px;background:#fff6e4;color:#5c3d1f}.review-desk{padding-top:3rem}.catalog-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(300px,100%),1fr));gap:1.2rem}.catalog-card{overflow:hidden;margin:0;border:1px solid var(--line);border-radius:18px;background:var(--card);box-shadow:0 12px 35px #1022190a}.mini-visual{min-height:150px;display:grid;place-items:center;background:linear-gradient(135deg,#0d3023,#174b37);color:#ecd79b}.mini-visual svg{width:100%;height:auto}.mini-visual svg g{fill:none;stroke:currentColor;stroke-width:2.5;stroke-linecap:round;stroke-linejoin:round}.mini-visual .shape{fill:#f3e4b51f;stroke:#f2dc9c}.mini-visual .fill{fill:#d5af5a66;stroke:#e7cb7e}.mini-visual .hub{fill:#f4df9e;stroke:#f4df9e}.mini-visual .grid{stroke:#8daf984d;stroke-width:1}.mini-visual .blocked{stroke:#f2b47d;stroke-width:4}.catalog-card-copy{padding:1.15rem}.catalog-card h3{margin:.2rem 0 .7rem}.catalog-card-copy>p:not(.eyebrow):not(.candidate-note):not(.public-note){color:var(--muted);font-size:.92rem}.card-signals{margin:1rem 0}.card-signals div{grid-template-columns:5rem minmax(0,1fr);font-size:.82rem}.candidate-note,.public-note{display:inline-flex;margin:.25rem 0 0;padding:.22rem .6rem;border-radius:999px;font-size:.77rem;font-weight:750}.candidate-note{background:#f8e7c9;color:#70400f}.public-note{background:#dceee2;color:#164b30}.trust-model{display:grid;grid-template-columns:minmax(240px,.65fr) minmax(0,1.35fr);gap:3rem;padding-top:4rem}.evidence-flow{display:grid;grid-template-columns:repeat(4,1fr);gap:.7rem;margin:0;padding:0;list-style:none;counter-reset:evidence}.evidence-flow li{position:relative;display:flex;flex-direction:column;min-height:170px;padding:1rem;border-top:3px solid var(--accent);background:var(--card)}.evidence-flow li:not(:last-child):after{content:"→";position:absolute;right:-.8rem;top:45%;z-index:1;color:var(--accent);font-weight:900}.evidence-flow span{color:var(--accent);font-size:.72rem;font-weight:850;letter-spacing:.12em}.evidence-flow strong{margin:.8rem 0 .45rem;font-family:ui-serif,Georgia,serif}.evidence-flow small{color:var(--muted)}.ambition{padding-top:4rem}.ambition-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:1rem}.ambition-grid article{padding:1.35rem;border:1px solid var(--line);border-radius:16px;background:#ffffff80}.ambition-grid h3{margin-top:0}.ambition-grid p{color:var(--muted)}
@media(min-width:901px){.reviews{grid-template-columns:repeat(2,minmax(0,1fr))}.catalog-grid>.catalog-card:last-child:nth-child(3n+1){grid-column:2}}
@media(max-width:900px){.atlas-hero{grid-template-columns:1fr;min-height:0}.hero-copy{padding:4rem 1.4rem 2.5rem}.hero-art{height:360px}.hero-art img{min-height:360px}.hero-art:after{background:linear-gradient(180deg,#0c2b20 0,transparent 45%)}.atlas-snapshot{grid-template-columns:repeat(2,1fr)}.atlas-snapshot div:nth-of-type(2){border-right:0}.atlas-snapshot div:nth-of-type(-n+2){border-bottom:1px solid var(--line)}.featured-layout,.trust-model{grid-template-columns:1fr}.evidence-flow{grid-template-columns:1fr}.evidence-flow li:not(:last-child):after{content:"↓";left:50%;right:auto;top:auto;bottom:-1.15rem;transform:translateX(-50%)}}
@media(min-width:621px) and (max-width:900px){.grid:not(.reviews){grid-template-columns:1fr}}
@media(max-width:620px){.site-header{display:grid;grid-template-columns:1fr;padding:.85rem 1.15rem;gap:.5rem}.site-header nav{display:grid;width:100%;max-width:none;grid-template-columns:repeat(2,minmax(0,1fr));gap:.25rem}.site-header nav.primary-nav-home{grid-template-columns:repeat(3,minmax(0,1fr))}.site-header nav a{justify-content:center;padding:0;font-size:.85rem;text-align:center}.wide-label{display:none}.compact-label{display:inline}.atlas-home>section:not(.atlas-hero):not(.atlas-snapshot){width:min(calc(100% - 2.3rem),1120px)}.atlas-snapshot{width:min(calc(100% - 2.3rem),1120px);margin-top:-1.5rem}.atlas-snapshot div{padding:1rem}.section-head{align-items:flex-start;flex-direction:column}.section-head>.status{border-radius:12px}.featured-layout{padding:1rem}.ambition-grid{grid-template-columns:1fr}.hero-copy h1{font-size:clamp(3.5rem,17vw,5rem);white-space:normal}.hero-art{height:270px}.hero-art img{min-height:270px}}
@media(max-width:345px){.site-header{padding:.85rem 1rem}.site-header nav a{font-size:.78rem}.wide-label{display:none}.compact-label{display:inline}.brand{font-size:.95rem}.brand-mark{width:1.9rem;height:1.9rem}.hero-copy h1{font-size:3rem}.atlas-snapshot{grid-template-columns:1fr}.atlas-snapshot div{border-right:0;border-bottom:1px solid var(--line)}.atlas-snapshot div:last-child{border-bottom:0}}
@media(max-width:220px){.section-head>.status{padding:.5rem;overflow-wrap:normal;word-break:normal}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}
@media(min-width:901px){.atlas-hero{grid-template-columns:minmax(0,1fr) minmax(420px,1fr)}.hero-copy{min-width:0}.hero-copy h1{max-width:100%;overflow-wrap:normal}}
:root{color-scheme:dark;--ink:#f4f1e8;--muted:#b7c4bb;--paper:#071812;--card:#10281f;--line:#315144;--accent:#d8b45f;--accent-dark:#f0cf7d;--button:#1f8056;--button-hover:#25835a;--focus:#f4d277;--warn:#f0b46d;--code:#040e0a}
body{background:radial-gradient(circle at 85% 0,#17382b 0,transparent 32rem),linear-gradient(180deg,#0a1d16 0,var(--paper) 64rem)}a{color:var(--accent-dark)}a:focus-visible{outline:3px solid var(--focus);outline-offset:3px;box-shadow:none}.skip-link{background:var(--focus);color:var(--paper)}.candidate{border-bottom:1px solid #9b6d2a;background:#604117;color:#ffe6ad}.button{background:var(--button);color:#fff;box-shadow:0 10px 24px #00000042}.button:hover{background:var(--button-hover)}.site-header{background:#081b14}.brand{color:var(--ink)}.brand-mark{background:var(--accent);color:var(--paper)}.atlas-hero{background:#061f17;color:var(--ink)}.hero-copy h1{color:#fffdf7}.hero-copy .lede{color:#cfddd4}.hero-copy .eyebrow{color:var(--accent)}.light-link{color:var(--accent-dark)}.hero-art:after{background:linear-gradient(90deg,#061f17 0,transparent 42%)}.atlas-snapshot{background:var(--card);box-shadow:0 22px 60px #00000066}.atlas-snapshot strong,.metrics strong{color:var(--accent-dark)}.featured-layout{background:var(--card);box-shadow:0 18px 50px #0000003d}.signal-list li{background:#15362a}.boundary{border-color:#765b2d;background:#2b2418;color:#ead7ad}.catalog-card{background:var(--card);box-shadow:0 14px 38px #0000003d}.candidate-note,.status-warn{background:#4b341a;color:#f4ce88}.public-note,.status-ok{background:#173f2e;color:#bce8c9}.evidence-flow li,.ambition-grid article{background:var(--card)}.proof-card,.reviews article,.summary-panel{box-shadow:0 14px 40px #00000038}footer{background:#06130f}
html{background:var(--paper);scroll-padding-block:5rem 1rem}.site-header{width:100%;max-width:none;padding-left:max(1.4rem,calc((100vw - 1152px)/2));padding-right:max(1.4rem,calc((100vw - 1152px)/2));border-bottom:1px solid #17392b}.atlas-hero{margin:0}.quick-boundary{display:inline-block;margin:1rem 0 .25rem;padding:.75rem 1rem;border:1px solid #765b2d;border-radius:12px;background:#2b2418;color:#ead7ad}.technical-summary{max-width:760px;margin:0 0 3rem;border:1px solid var(--line);border-radius:14px;background:var(--card)}.technical-summary summary{display:flex;align-items:center;min-height:48px;padding:.65rem 1rem;color:var(--accent-dark);cursor:pointer;font-weight:750}.technical-summary p{margin:0;padding:0 1rem 1rem;color:var(--muted)}
.catalog-card{color:inherit;text-decoration:none}.catalog-card:hover,.catalog-card:focus-visible{border-color:var(--accent);box-shadow:0 18px 44px #00000055}.catalog-card h3{display:flex;align-items:flex-start;justify-content:space-between;gap:.65rem}.formalization-detail-page,.catalog-proof-page,.catalog-source-page{max-width:1180px}.formalization-hero,.catalog-proof-hero{display:grid;grid-template-columns:minmax(280px,.8fr) minmax(0,1.2fr);gap:2rem;align-items:start}.formalization-hero>header,.catalog-proof-hero>header{padding-top:1rem}.formalization-hero h1,.catalog-proof-hero h1,.catalog-source-page h1{max-width:20ch;font-size:clamp(2.35rem,5vw,4.2rem)}.formalization-infographic{min-width:0;margin:0;border:1px solid var(--line);border-radius:22px;background:linear-gradient(145deg,#0d3023,#0a1d16);box-shadow:0 18px 55px #00000042;overflow:hidden}.formalization-visual{display:grid;min-height:250px;place-items:center;padding:1.4rem;color:#ecd79b}.formalization-visual svg{display:block;width:100%;height:auto;max-height:300px}.formalization-visual svg g{fill:none;stroke:currentColor;stroke-width:2.5;stroke-linecap:round;stroke-linejoin:round}.formalization-visual .shape{fill:#f3e4b51f;stroke:#f2dc9c}.formalization-visual .fill{fill:#d5af5a66;stroke:#e7cb7e}.formalization-visual .hub{fill:#f4df9e;stroke:#f4df9e}.formalization-visual .grid{stroke:#8daf9870;stroke-width:1}.formalization-visual .blocked{stroke:#f2b47d;stroke-width:4}.formalization-flow{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr) auto minmax(0,1fr);align-items:stretch;border-top:1px solid var(--line);background:#081913}.formalization-flow div{display:flex;min-width:0;min-height:106px;flex-direction:column;justify-content:center;padding:.9rem}.formalization-flow small{color:var(--muted);font-size:.68rem;font-weight:800;letter-spacing:.08em;text-transform:uppercase}.formalization-flow strong{margin-top:.35rem;font-family:ui-serif,Georgia,serif;font-size:.96rem;line-height:1.3}.formalization-flow i{display:grid;place-items:center;color:var(--accent);font-style:normal}.formalization-infographic figcaption{padding:.8rem 1rem;border-top:1px solid var(--line);color:var(--muted);font-size:.78rem;line-height:1.5}.formalization-infographic figcaption strong{color:var(--ink)}.boundary-list{display:grid;gap:.55rem;max-width:900px;padding-left:1.25rem;color:var(--muted)}.artifact-route-grid{grid-template-columns:repeat(auto-fit,minmax(min(360px,100%),1fr))}.artifact-route-card,.source-file-card{min-width:0;padding:1.3rem;border:1px solid var(--line);border-radius:18px;background:var(--card);box-shadow:0 14px 40px #00000032}.artifact-route-card h3,.source-file-card h2{margin:.2rem 0 .75rem}.artifact-route-card p:not(.eyebrow),.source-file-card>p:not(.eyebrow){color:var(--muted)}.artifact-route-signals{display:flex;flex-wrap:wrap;gap:.45rem;margin:1rem 0}.source-actions{display:flex;flex-wrap:wrap;align-items:center;gap:.7rem 1rem}.source-actions .text-link{display:inline-flex;min-height:44px;align-items:center}.compact-source-actions{margin-top:1rem}.source-download-panel{display:grid;grid-template-columns:minmax(0,1.2fr) minmax(240px,.8fr);gap:1.5rem;align-items:center;padding:1.5rem;border:1px solid #775d2e;border-radius:20px;background:linear-gradient(135deg,#2b2418,#10281f)}.source-download-panel h2{margin:.2rem 0 .65rem}.source-download-panel p{margin-bottom:0;color:#d8d2bd}.source-download-panel .source-actions{align-items:stretch;flex-direction:column}.source-download-panel .source-actions>*{justify-content:center;text-align:center}.gate-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:.8rem}.gate-grid article{position:relative;min-width:0;padding:1rem 1rem 1rem 3.1rem;border:1px solid var(--line);border-radius:15px;background:var(--card)}.gate-grid article>span{position:absolute;left:1rem;top:1rem;color:var(--accent);font-size:.7rem;font-weight:850;letter-spacing:.1em}.gate-grid h3{margin:.05rem 0 .4rem;font-size:1rem}.gate-grid p{margin:0;color:var(--muted);font-size:.82rem;line-height:1.5}.catalog-proof-page .formalization-infographic{align-self:start}.inline-source-actions{margin-top:1rem}.evidence-details{padding:1rem;border:1px solid var(--line);border-radius:16px;background:var(--card)}.evidence-details code,.source-file-facts code{word-break:break-all}.axiom-list{display:flex;flex-wrap:wrap;gap:.6rem;padding:0;list-style:none}.axiom-list li{padding:.5rem .7rem;border:1px solid var(--line);border-radius:999px;background:var(--card)}.source-release-grid{display:grid;gap:1rem}.source-file-facts{margin:1rem 0}.catalog-source-page>header{max-width:900px}.catalog-source-page .result-boundary-panel{max-width:none}.formalization-detail-page .proof-status-strip,.catalog-proof-page .proof-status-strip,.catalog-source-page .proof-status-strip{margin:2rem 0 3rem}@media(max-width:900px){.formalization-hero,.catalog-proof-hero,.source-download-panel{grid-template-columns:1fr}.formalization-hero>header,.catalog-proof-hero>header{padding-top:0}.gate-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.formalization-visual{min-height:220px}.source-download-panel .source-actions{align-items:flex-start;flex-direction:row}.source-download-panel .source-actions>*{justify-content:flex-start;text-align:left}}@media(max-width:620px){.formalization-flow{grid-template-columns:1fr}.formalization-flow div{min-height:0;padding:.75rem 1rem}.formalization-flow i{height:24px;transform:rotate(90deg)}.gate-grid{grid-template-columns:1fr}.formalization-visual{min-height:0;padding:.75rem}.formalization-infographic figcaption{font-size:.72rem}.source-actions,.source-download-panel .source-actions{align-items:stretch;flex-direction:column}.source-actions>*{width:100%;justify-content:center;text-align:center}.artifact-route-card,.source-file-card,.source-download-panel{padding:1rem}.formalization-hero h1,.catalog-proof-hero h1,.catalog-source-page h1{font-size:clamp(2rem,11vw,3rem)}}@media(max-width:280px){.formalization-visual{padding:.45rem}.formalization-flow div{padding:.6rem}.gate-grid article{padding:.7rem}.gate-grid article>span{position:static;display:block;margin-bottom:.25rem}.artifact-route-card,.source-file-card,.source-download-panel,.evidence-details{padding:.7rem}.axiom-list{display:grid}.axiom-list li{border-radius:10px}.formalization-detail-page .proof-status-strip,.catalog-proof-page .proof-status-strip,.catalog-source-page .proof-status-strip{margin:1rem 0 2rem}}@media print{.formalization-infographic,.formalization-flow,.artifact-route-card,.source-file-card,.source-download-panel,.gate-grid article,.evidence-details,.axiom-list li{border-color:#66716b!important;background:#fff!important;box-shadow:none!important}.formalization-infographic,.artifact-route-card,.source-download-panel,.gate-grid article{break-inside:avoid}}

.catalog-artifact-page{max-width:1080px}.artifact-evidence-hero{display:flex;align-items:end;justify-content:space-between;gap:2rem;margin-bottom:1.5rem;padding:1.4rem;border:1px solid var(--line);border-left:4px solid var(--accent);border-radius:22px;background:linear-gradient(145deg,#102d23,#0a1d16)}.artifact-evidence-hero>div{min-width:0}.artifact-evidence-hero h1{max-width:21ch;margin:.35rem 0 .9rem;font-size:clamp(2.1rem,4.5vw,3.65rem)}.artifact-evidence-hero .lede{margin-bottom:0}.artifact-evidence-hero>.button{flex:0 0 auto}.lean-evidence-route,.artifact-evidence-downloads{display:grid;grid-template-columns:minmax(0,1.25fr) minmax(220px,.75fr);gap:1.5rem;align-items:center;padding:1.4rem;border:1px solid #4a6d5d;border-radius:20px;background:linear-gradient(135deg,#102d23,#081b14)}.lean-evidence-route h2,.lean-evidence-route p,.artifact-evidence-downloads h2,.artifact-evidence-downloads p{margin:.2rem 0}.lean-evidence-route>.button{justify-self:end}.technical-evidence-record{padding:1.4rem}.technical-evidence-record>.technical-evidence-body{padding:0}.artifact-evidence-downloads .source-actions{align-items:stretch;flex-direction:column}.artifact-evidence-downloads .source-actions>*{justify-content:center;text-align:center}.artifact-review-bindings{padding:1.3rem;border-left:4px solid var(--accent);background:#0a1d16}.artifact-review-bindings h2,.artifact-review-bindings p{margin:.25rem 0 .7rem}@media(max-width:760px){.artifact-evidence-hero{align-items:flex-start;flex-direction:column}.lean-evidence-route,.artifact-evidence-downloads{grid-template-columns:1fr}.lean-evidence-route>.button{justify-self:start}.artifact-evidence-downloads .source-actions{align-items:flex-start;flex-direction:row}}@media(max-width:620px){.artifact-evidence-hero,.lean-evidence-route,.artifact-evidence-downloads,.technical-evidence-record{padding:1rem}.artifact-evidence-hero>.button,.lean-evidence-route>.button{width:100%}.artifact-evidence-downloads .source-actions{align-items:stretch;flex-direction:column}.artifact-evidence-downloads .source-actions>*{width:100%;justify-content:center}}@media print{.artifact-evidence-hero,.lean-evidence-route,.artifact-evidence-downloads,.technical-evidence-record,.artifact-review-bindings{border-color:#66716b!important;background:#fff!important;box-shadow:none!important}}
.technical-summary summary:focus-visible{outline:3px solid var(--focus);outline-offset:3px;border-radius:8px}.catalog-card{display:flex;flex-direction:column}.catalog-card-copy{display:flex;flex:1;flex-direction:column}.card-signals{margin-top:auto;padding-top:1rem}.section-action{margin:-.75rem 0 1.5rem}
@media(max-width:900px){.hero-copy{padding-top:3rem}.hero-art:after{background:linear-gradient(180deg,#061f17 0,transparent 45%)}}
@media(max-width:620px){.site-header{padding:.85rem 1.15rem}}
@media(max-width:340px){.site-header{padding:.85rem 1rem}}
h4{font-family:ui-serif,Georgia,serif;line-height:1.25}.brand,.actions .text-link,.section-action .text-link,footer a{display:inline-flex;align-items:center;min-height:44px}
.collaboration{padding-top:4rem}.collaboration-intro{display:grid;grid-template-columns:minmax(260px,.75fr) minmax(0,1.25fr);gap:1rem 3rem;align-items:end}.collaboration-intro>*{min-width:0}.collaboration-intro .eyebrow{grid-column:1/-1;margin-bottom:0}.collaboration-intro h2,.collaboration-intro p{margin-top:0}.collaboration-intro p{color:var(--muted)}.collaboration-network{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1.1fr) auto minmax(0,1fr) auto minmax(0,1.1fr);gap:.65rem;align-items:stretch;margin-top:2rem}.collaboration-column,.collaboration-agent-pair{display:grid;min-width:0;gap:.55rem}.collaboration-agent-pair,.collaboration-gate-column{grid-template-rows:repeat(2,minmax(0,1fr))}.collaboration-node{display:flex;min-width:0;min-height:116px;flex-direction:column;justify-content:center;padding:1rem;border:1px solid #3d6252;border-radius:16px;background:#0a1d16}.collaboration-node>strong{font:700 1rem/1.25 ui-serif,Georgia,serif}.collaboration-node>small{margin-top:.4rem;color:var(--muted);font-size:.78rem;line-height:1.45}.collaboration-node-label{display:block;margin:0 0 .4rem;color:var(--accent);font-size:.65rem;font-weight:850;letter-spacing:.08em;text-transform:uppercase}.collaboration-column>.collaboration-node-label{align-self:end}.collaboration-route-node{border-top:3px solid var(--accent)}.collaboration-check-node{border-color:#3f785f}.collaboration-review-node{border-color:#765b2d}.collaboration-atlas-node{border-color:#b88e38;background:linear-gradient(145deg,#2c2518,#10281f)}.collaboration-edge{display:grid;place-items:center;color:var(--accent);font-size:1.35rem;font-weight:900}.collaboration-feedback{display:flex;align-items:center;justify-content:center;gap:.65rem;margin:1rem 0 0;padding:.7rem;border:1px dashed #5b704f;border-radius:999px;color:var(--muted);font-size:.82rem;text-align:center}.collaboration-feedback>span{color:var(--accent);font-size:1.35rem}.collaboration-posture{margin:1rem 0 0;padding:1rem 1.2rem;border:1px solid #765b2d;border-radius:14px;background:#2b2418;color:#ead7ad}
.catalog-group{margin:2.75rem 0}.catalog-group-head{display:flex;align-items:baseline;justify-content:space-between;gap:1rem;margin-bottom:1rem;border-bottom:1px solid var(--line)}.catalog-group-head h3{margin:0 0 .65rem}.catalog-group-head span{color:var(--muted);font-size:.84rem}.home-catalog-list{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.8rem}.home-catalog-item{display:grid;grid-template-columns:108px minmax(0,1fr);min-width:0;overflow:hidden;border:1px solid var(--line);border-radius:16px;background:var(--card);color:inherit;text-decoration:none;box-shadow:0 12px 32px #00000030}.home-catalog-item:hover,.home-catalog-item:focus-visible{border-color:var(--accent);box-shadow:0 16px 38px #00000048}.home-catalog-visual{min-height:100%;height:100%;overflow:hidden;padding:.35rem}.home-catalog-visual svg{display:block;width:100%;max-width:100%;height:auto}.home-catalog-copy{display:flex;min-width:0;flex-direction:column;padding:.85rem}.home-catalog-copy .eyebrow{margin:0}.home-catalog-copy h4{display:flex;align-items:flex-start;justify-content:space-between;gap:.55rem;margin:.2rem 0 .45rem;font:700 1rem/1.22 ui-serif,Georgia,serif}.catalog-card-arrow{flex:0 0 auto;color:var(--accent-dark);font-family:ui-sans-serif,system-ui;font-size:1rem}.home-catalog-summary{margin:.15rem 0 .7rem;color:var(--muted);font-size:.8rem;line-height:1.45}.home-catalog-meta{display:flex;align-items:center;justify-content:space-between;flex-wrap:wrap;gap:.45rem;margin-top:auto;padding-top:.65rem;border-top:1px solid var(--line);color:var(--muted);font-size:.72rem}.home-catalog-meta .candidate-note,.home-catalog-meta .public-note{margin:0}.catalog-card:target{scroll-margin-block:1rem;border-color:var(--accent);box-shadow:0 0 0 2px #d5af5a55,0 16px 42px #00000040}
.proof-intro-grid{display:grid;grid-template-columns:minmax(0,1.05fr) minmax(360px,.95fr);grid-template-areas:"intro visual" "plain visual" "status visual";gap:1rem 2rem;align-items:start;margin-bottom:1.5rem}.proof-intro-grid>*{min-width:0}.proof-page-intro{grid-area:intro}.proof-intro-grid>.proof-status-strip{grid-area:status;margin:0}.proof-intro-grid>.plain-statement{grid-area:plain;margin:0}.proof-intro-grid>.proof-infographic{grid-area:visual}.proof-infographic{position:relative;overflow:hidden;margin:0;padding:1.35rem;border:1px solid #3d6553;border-radius:24px;background:radial-gradient(circle at 90% 5%,#2c6048 0,transparent 12rem),linear-gradient(145deg,#102d23,#0a2119);box-shadow:0 20px 55px #00000045}.proof-infographic:before{content:"";position:absolute;inset:-30% 0 auto auto;width:min(15rem,40%);height:15rem;border:1px solid #d8b45f35;border-radius:50%;box-shadow:0 0 0 2rem #d8b45f0b,0 0 0 4rem #d8b45f08}.proof-infographic>*{position:relative}.proof-infographic-head .eyebrow{margin:0}.proof-infographic-head h2{margin:.25rem 0 1rem;font-size:1.45rem}.proof-logic{display:grid;gap:.65rem}.proof-stage{position:relative;display:grid;grid-template-columns:2.15rem minmax(0,1fr);gap:.8rem;align-items:start;padding:.85rem;border:1px solid #3b5c4d;border-radius:14px;background:#0a1f18d9}.proof-stage:not(:last-child):after{content:"";position:absolute;left:1.9rem;bottom:-.66rem;width:2px;height:.66rem;background:var(--accent)}.proof-stage-number{display:grid;place-items:center;width:2rem;height:2rem;border-radius:50%;background:var(--accent);color:var(--paper);font-weight:900}.proof-stage div{display:flex;min-width:0;flex-direction:column}.proof-stage small{color:var(--muted);font-size:.73rem;letter-spacing:.04em}.proof-stage strong{margin:.2rem 0;color:var(--ink);font:700 1.05rem/1.25 ui-serif,Georgia,serif}.proof-stage code,.proof-stage span:not(.proof-stage-number){color:var(--muted);font-size:.78rem}.proof-stage-result{border-color:#92753a;background:#2c2518}.proof-stage-result strong{color:#f4d277;font-size:1.35rem}.proof-infographic figcaption{margin-top:.9rem;color:var(--muted);font-size:.76rem}.exact-statement{margin-top:3rem}.exact-statement h2{margin-bottom:1rem}
.source-route{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr) auto minmax(0,1fr);gap:.8rem;align-items:center;margin:2.25rem 0;padding:1.2rem;border:1px solid var(--line);border-radius:20px;background:linear-gradient(135deg,#102d23,#0b2019);box-shadow:0 16px 45px #00000035}.source-route div{display:flex;min-height:112px;flex-direction:column;justify-content:center;padding:1rem;border:1px solid #365847;border-radius:14px;background:#0a1d16}.source-route span{color:var(--accent);font-size:.72rem;font-weight:850;letter-spacing:.12em}.source-route strong{margin:.35rem 0;font-family:ui-serif,Georgia,serif;font-size:1.15rem}.source-route small{color:var(--muted)}.source-route i{color:var(--accent);font-size:1.45rem;font-style:normal}
.cohort-proof-grid{grid-template-columns:repeat(3,minmax(0,1fr))}.cohort-proof-card{display:flex;flex-direction:column}.cohort-formula{margin:.5rem 0;padding:.9rem;border:1px solid #92753a;border-radius:12px;background:#2c2518;color:#f4d277;font:700 1.3rem/1.25 ui-serif,Georgia,serif;text-align:center}.cohort-eventually{color:var(--muted);font-size:.88rem}.proof-signals{display:flex;flex-wrap:wrap;gap:.4rem;margin:.8rem 0;padding:0;list-style:none}.proof-signals .status{font-size:.72rem}.statement-disclosure,.review-summary{border:1px solid var(--line);border-radius:12px;background:#0a1d16}.statement-disclosure{margin:.6rem 0}.statement-disclosure summary,.review-summary summary{display:flex;align-items:center;min-height:48px;padding:.65rem .85rem;color:var(--accent-dark);cursor:pointer;font-weight:750}.statement-disclosure pre{margin:0;border-radius:0 0 11px 11px;box-shadow:none}.cohort-proof-card>p:last-child{margin-top:auto}.review-list{display:grid;gap:.75rem}.review-summary summary span{display:flex;min-width:0;flex-direction:column}.review-summary summary strong{text-transform:capitalize}.review-summary summary small{color:var(--muted);font-weight:500}.review-detail{padding:0 1rem 1rem}.review-metadata{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:.65rem;margin:.35rem 0 0}.review-metadata div{display:block;min-width:0;padding:.65rem;border:1px solid var(--line);border-radius:9px;background:var(--paper)}.review-metadata dt{color:var(--muted);font-size:.72rem;font-weight:750;letter-spacing:.04em;text-transform:uppercase}.review-metadata dd{margin:.2rem 0 0;color:var(--ink);font-weight:700;overflow-wrap:normal;word-break:normal}.technical-summary summary,.statement-disclosure summary,.review-summary summary{position:relative;padding-right:2.4rem;list-style:none}.technical-summary summary::-webkit-details-marker,.statement-disclosure summary::-webkit-details-marker,.review-summary summary::-webkit-details-marker{display:none}.technical-summary summary:after,.statement-disclosure summary:after,.review-summary summary:after{content:"";position:absolute;right:1rem;flex:0 0 auto;width:.55rem;height:.55rem;margin-left:0;border-right:2px solid currentColor;border-bottom:2px solid currentColor;transform:rotate(45deg);transition:transform .15s ease}.technical-summary[open] summary:after,.statement-disclosure[open] summary:after,.review-summary[open] summary:after{content:"";transform:rotate(225deg)}.statement-disclosure summary:focus-visible,.review-summary summary:focus-visible{outline:3px solid var(--focus);outline-offset:3px;border-radius:8px}@media(max-width:720px){.review-metadata{grid-template-columns:repeat(2,minmax(0,1fr))}}@media(max-width:360px){.review-metadata{grid-template-columns:minmax(0,1fr)}}
@media(max-width:900px){.collaboration-intro,.proof-intro-grid{grid-template-columns:1fr}.proof-intro-grid{grid-template-areas:"intro" "plain" "visual" "status"}.collaboration-network{grid-template-columns:minmax(0,1fr);gap:.55rem}.collaboration-edge{min-height:24px;transform:rotate(90deg)}.collaboration-agent-pair,.collaboration-gate-column{grid-template-rows:none;grid-template-columns:repeat(2,minmax(0,1fr))}.collaboration-column>.collaboration-node-label{align-self:auto}.cohort-proof-grid{grid-template-columns:1fr}.proof-infographic{max-width:680px}.source-route{grid-template-columns:1fr}.source-route i{justify-self:center;transform:rotate(90deg)}.source-route div{width:100%;min-height:0}.evidence-flow li{min-height:0;padding:.9rem 1rem .9rem 3.2rem}.evidence-flow li>span{position:absolute;left:1rem;top:1rem}.evidence-flow li strong{margin:0 0 .25rem}}
@media(max-width:620px){.home-catalog-list{grid-template-columns:1fr}.collaboration-agent-pair,.collaboration-gate-column{grid-template-columns:minmax(0,1fr)}.collaboration-node{min-height:0;padding:.85rem}.collaboration-feedback{align-items:flex-start;border-radius:16px;text-align:left}.catalog-group-head{align-items:flex-start;flex-direction:column;gap:0}.home-catalog-item{grid-template-columns:96px minmax(0,1fr)}.home-catalog-visual svg{width:100%}.proof-infographic{padding:1rem}.proof-stage-result strong{font-size:1.2rem}.cohort-formula{font-size:1.15rem}}
@media(max-width:340px){.site-header nav{gap:0}.site-header nav a{font-size:.78rem}.source-route{padding:.85rem}.proof-stage{grid-template-columns:1.8rem minmax(0,1fr);padding:.7rem}.proof-stage-number{width:1.7rem;height:1.7rem}.proof-stage:not(:last-child):after{left:1.52rem}}
.mini-visual{min-height:128px}.candidate-note,.public-note{align-self:flex-start;width:max-content;max-width:100%}.card-signals div{grid-template-columns:6.5rem minmax(0,1fr)}
.hero-art img{display:block}
body{min-height:100vh;display:flex;flex-direction:column}main{flex:1 0 auto}footer{margin-top:auto}
.breadcrumb{column-gap:0}.breadcrumb>*{display:inline-flex;align-items:center;white-space:nowrap}.breadcrumb a,a.status{min-height:44px}.breadcrumb>*+*:before{content:"/";margin:0 .6rem;color:var(--muted);text-decoration:none}
.cohort-intro-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:2rem;align-items:center;margin-bottom:1.5rem}.cohort-intro-grid+section{margin-top:1.5rem}.cohort-intro-copy{min-width:0}.cohort-map{max-width:none;margin:0}.cohort-map .technical-summary{max-width:none;margin:1rem 0 0}.cohort-proof-grid>.proof-card{margin-top:0}
.source-route-action{margin:-1.5rem 0 2.25rem;text-align:right}.source-start-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:.8rem}.source-start-grid a{display:flex;min-height:110px;flex-direction:column;justify-content:center;padding:1rem;border:1px solid var(--line);border-radius:14px;background:#0a1d16;text-decoration:none}.source-start-grid strong{color:var(--ink);font:700 1.05rem/1.25 ui-serif,Georgia,serif}.source-start-grid span{margin-top:.35rem;color:var(--muted);font-size:.82rem;overflow-wrap:anywhere}.source-start-grid .raw-link-note{align-self:flex-start;margin-top:.7rem;font-style:normal}.source-commit-line{display:flex;flex-wrap:wrap;gap:.45rem .8rem;align-items:center;margin:0 0 1.25rem;color:var(--muted)}.source-commit-line strong{color:var(--ink)}.source-commit-line code{min-width:0}.file-list{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));columns:auto;gap:.5rem 1rem;padding:0;list-style:none}.file-list li{display:flex;break-inside:auto;min-width:0;flex-direction:column;margin:0;padding:.7rem 0;border-top:1px solid var(--line)}.file-list span{color:var(--muted);font-size:.82rem}.page-actions{display:flex;flex-wrap:wrap;gap:1rem;align-items:center;margin:2.5rem 0 0}.page-actions .text-link{display:inline-flex;align-items:center;min-height:44px}h1 sup,.cohort-proof-card h3 sup{font-size:.55em;vertical-align:.55em;letter-spacing:0}
@media(min-width:901px){.atlas-hero,.hero-art img{max-height:51.25rem}}
@media(max-width:900px){.cohort-intro-grid{grid-template-columns:1fr;gap:1.5rem}.source-start-grid{grid-template-columns:1fr}.source-start-grid a{min-height:0}.source-route-action{text-align:left}}
@media(max-width:620px){.catalog-grid{gap:.9rem}.file-list{grid-template-columns:1fr}.math-infographic .map-label{font-size:18px;font-weight:600}.math-infographic .formula-chip .formula-main{font-size:22px}.math-infographic .formula-chip .chip-label{font-size:16px}}
@media(max-width:450px){.math-infographic .map-label{font-size:22px}.math-infographic .formula-chip .formula-main{font-size:25px}.math-infographic .formula-chip .chip-label{font-size:18px}}
@media(max-width:340px){.hero-copy .button{padding-inline:.8rem;font-size:.92rem;white-space:nowrap}.candidate-note,.public-note{padding-inline:.5rem;font-size:.72rem}}
@media(max-width:340px){.catalog-page>h1{font-size:2.1rem;overflow-wrap:normal;word-break:normal}.site-header{padding-inline:.75rem}.site-header nav{gap:0}.site-header nav a{font-size:.78rem}.math-infographic .map-label{font-size:26px}.math-infographic .formula-chip .formula-main{font-size:28px}.math-infographic .formula-chip .chip-label{font-size:20px}}
.snapshot-title{grid-column:1/-1;margin:0;padding:.7rem 1.5rem;border-bottom:1px solid var(--line);color:var(--muted);font-size:.72rem;font-weight:850;letter-spacing:.12em;text-transform:uppercase}.visitor-paths{display:grid;grid-template-columns:minmax(230px,.62fr) minmax(0,1.38fr);gap:2rem;align-items:center;padding:1.5rem;border:1px solid var(--line);border-radius:22px;background:linear-gradient(135deg,#0d2b21,#0a1d16);box-shadow:0 18px 48px #00000030}.visitor-paths-intro h2,.visitor-paths-intro p{margin-top:0}.visitor-paths-intro>p:last-child{color:var(--muted)}.visitor-path-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:.75rem}.visitor-path-grid a{display:flex;min-width:0;min-height:150px;flex-direction:column;padding:1rem;border:1px solid #3c5b4e;border-radius:14px;background:#10281f;text-decoration:none}.visitor-path-grid a:hover{border-color:var(--accent)}.visitor-path-grid span{color:var(--accent);font-size:.72rem;font-weight:850;letter-spacing:.12em}.visitor-path-grid strong{margin:.7rem 0 .4rem;color:var(--ink);font-family:ui-serif,Georgia,serif;line-height:1.25}.visitor-path-grid small{color:var(--muted)}.visitor-path-grid .path-action{margin-top:auto;padding-top:.8rem;color:var(--accent-dark);font-size:.76rem;font-weight:800;letter-spacing:0}
.status-guide{display:grid;gap:1rem;margin:2rem 0 3rem;padding:1.4rem;border:1px solid var(--line);border-radius:20px;background:linear-gradient(135deg,#102d23,#0b2019)}.status-guide h2,.status-guide p{margin:.2rem 0}.status-guide-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:.8rem}.status-guide-grid div{display:flex;min-width:0;flex-direction:column;padding:1rem;border-left:3px solid var(--accent);background:#0a1d16}.status-guide-grid strong{font-family:ui-serif,Georgia,serif}.status-guide-grid span{margin-top:.35rem;color:var(--muted);font-size:.88rem}.catalog-jumps{display:flex;flex-wrap:wrap;gap:.55rem;align-items:center;margin:1.4rem 0 2rem;padding:.7rem;border:1px solid var(--line);border-radius:14px;background:#0a1d16}.catalog-jumps>span{padding:.35rem .5rem;color:var(--muted);font-size:.78rem;font-weight:800;text-transform:uppercase;letter-spacing:.1em}.catalog-jumps a{display:inline-flex;min-height:44px;align-items:center;gap:.5rem;padding:.35rem .75rem;border:1px solid #3b5c4d;border-radius:999px;text-decoration:none;font-weight:700}.catalog-jumps a span{display:grid;place-items:center;min-width:1.5rem;height:1.5rem;border-radius:50%;background:#173f2e;color:#bce8c9;font-size:.75rem}.catalog-group-full{scroll-margin-block:1rem}.catalog-group-full>.catalog-grid{margin-top:1rem}
.proof-status-strip{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));margin:0 0 2.5rem;border:1px solid var(--line);border-radius:16px;background:#0a1d16;overflow:hidden}.proof-status-strip div{display:flex;min-width:0;flex-direction:column;padding:.85rem 1rem;border-right:1px solid var(--line)}.proof-status-strip div:last-child{border-right:0}.proof-status-strip span{color:var(--muted);font-size:.72rem;font-weight:800;letter-spacing:.08em;text-transform:uppercase}.proof-status-strip strong{margin-top:.18rem;color:var(--ink);font-size:.92rem}.cohort-status-strip{margin-bottom:3rem}.concept-bridge{display:grid;grid-template-columns:minmax(250px,.65fr) minmax(0,1.35fr);gap:1.5rem 2.5rem;align-items:center;padding:1.5rem;border:1px solid var(--line);border-radius:22px;background:linear-gradient(135deg,#102d23,#0a1d16);box-shadow:0 16px 42px #00000028}.concept-bridge-intro h2,.concept-bridge-intro p{margin-top:0}.concept-bridge-intro>p:last-child{color:var(--muted)}.concept-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.8rem}.concept-grid article{min-width:0;padding:1rem;border:1px solid #3b5c4d;border-radius:14px;background:#071b14}.concept-grid article>span{color:var(--accent);font-size:.72rem;font-weight:850;letter-spacing:.12em}.concept-grid h3{margin:.65rem 0 .45rem}.concept-grid p{margin:0;color:var(--muted);font-size:.9rem}.page-guide{display:flex;flex-wrap:wrap;align-items:center;gap:.25rem .45rem;margin:2.5rem 0;padding:.65rem .8rem;border:1px solid var(--line);border-radius:16px;background:#0a1d16;box-shadow:0 12px 32px #00000022}.page-guide>span{margin-right:auto;padding:.35rem .45rem;color:var(--muted);font-size:.78rem;font-weight:800;letter-spacing:.1em;text-transform:uppercase}.page-guide a{display:inline-flex;min-height:44px;align-items:center;padding:.35rem .6rem;border-radius:10px;font-weight:700;transition:background .15s ease,color .15s ease}.page-guide a:hover,.page-guide a:focus-visible{background:#173f2e;color:var(--ink)}.plain-statement{margin:1.8rem 0 0;padding:1.2rem 1.3rem;border:1px solid #4a6d5d;border-left:4px solid var(--accent);border-radius:16px;background:#10281f}.plain-statement h2{margin:.2rem 0 .7rem;font-size:1.35rem}.plain-statement p:not(.eyebrow){margin:.2rem 0 .7rem;color:var(--ink);font-size:1.02rem}.plain-statement small{display:block;color:var(--muted)}.result-boundary-panel{padding:1.25rem 1.4rem;border:1px solid #765b2d;border-radius:18px;background:#2b2418}.result-boundary-panel h2{margin:.25rem 0 .6rem}.result-boundary-panel p:last-child{margin-bottom:0;color:#ead7ad}.statement-switcher{margin:2.75rem 0}.statement-switcher-head h2,.statement-switcher-head p{margin:.2rem 0}.statement-switcher-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:.75rem;margin-top:1rem}.statement-switcher-item{display:flex;min-width:0;min-height:88px;flex-direction:column;justify-content:center;padding:.85rem 1rem;border:1px solid var(--line);border-radius:14px;background:#0a1d16;text-decoration:none}.statement-switcher-item:hover{border-color:var(--accent)}.statement-switcher-item.current{border-color:#92753a;background:#2c2518}.statement-switcher-item strong{color:var(--ink);font-family:ui-serif,Georgia,serif;line-height:1.25}.statement-switcher-item small{margin-top:.3rem;color:var(--accent-dark)}.axiom-groups{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem}.axiom-groups article{min-width:0;padding:1.2rem;border:1px solid var(--line);border-radius:16px;background:#0a1d16}.axiom-groups h3{margin:.25rem 0 .8rem}.axiom-groups p:not(.eyebrow){color:var(--muted)}.axiom-groups ul{padding-left:1.2rem}.axiom-disclosure{margin-top:1rem;border-top:1px solid var(--line)}.axiom-disclosure summary{display:flex;min-height:44px;align-items:center;color:var(--accent-dark);cursor:pointer;font-weight:750}.axiom-disclosure ul{margin-bottom:0}.source-version-line{display:flex;flex-wrap:wrap;gap:.35rem .65rem;align-items:center;margin:1.5rem 0;padding:.8rem 1rem;border-left:3px solid var(--accent);background:#10281f;color:var(--muted)}.source-version-line strong{color:var(--ink)}.source-intro-actions{display:flex;flex-wrap:wrap;gap:1rem;align-items:center;margin:1.5rem 0 2.5rem}.source-intro-actions .text-link,.cohort-proof-card h3 a,.cohort-proof-card>p:last-child a,.source-route-action a{display:inline-flex;min-height:44px;align-items:center}.exact-statement pre{font-size:14px;line-height:1.65}
.raw-source-link{display:inline-flex;min-height:44px;align-items:center;flex-wrap:wrap;gap:.45rem}.raw-link-note{display:inline-flex;padding:.05rem .35rem;border:1px solid var(--line);border-radius:999px;color:var(--muted);font-size:.75rem;font-weight:700;text-decoration:none;vertical-align:middle}
.source-status-strip{grid-template-columns:repeat(2,minmax(0,1fr));margin:1.5rem 0 2rem}.source-route .current{border-color:#92753a;background:#2c2518}.technical-check-details{max-width:none;margin:1rem 0 2rem}.raw-file-intro{max-width:720px;color:var(--muted);font-size:.88rem}.source-start-grid a{align-items:flex-start;text-align:left}.source-start-grid .raw-link-note,.file-list .raw-link-note{align-self:flex-end;margin-left:auto;padding:0;border:0;font-size:0}.source-start-grid .raw-link-note:after,.file-list .raw-link-note:after{content:"↗";font-size:.82rem}
@media(max-width:900px){.visitor-paths,.status-guide,.concept-bridge{grid-template-columns:1fr}.visitor-path-grid{grid-template-columns:repeat(3,minmax(0,1fr))}.axiom-groups{grid-template-columns:1fr}.concept-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}
@media(max-width:620px){.visitor-path-grid,.status-guide-grid,.concept-grid,.statement-switcher-grid{grid-template-columns:1fr}.visitor-path-grid a{min-height:0}.proof-status-strip{grid-template-columns:1fr}.proof-status-strip div{border-right:0;border-bottom:1px solid var(--line)}.proof-status-strip div:last-child{border-bottom:0}.page-guide{align-items:stretch}.page-guide>span{width:100%}.page-guide a{flex:1 1 auto;justify-content:center;padding-inline:.5rem;border:1px solid var(--line);border-radius:999px}.source-intro-actions{align-items:stretch;flex-direction:column}.source-intro-actions .button,.source-intro-actions .text-link{justify-content:center}.exact-statement pre{font-size:12px}}
@media(max-width:620px){.home-catalog-item{grid-template-columns:96px minmax(0,1fr)}.home-catalog-visual svg{width:100%}.home-catalog-copy{padding:.7rem}.home-catalog-summary{display:-webkit-box;margin:.1rem 0 .55rem;overflow:hidden;-webkit-box-orient:vertical;-webkit-line-clamp:2}.home-catalog-meta{padding-top:.5rem}.catalog-page .catalog-card{display:grid;grid-template-columns:96px minmax(0,1fr);align-items:stretch}.catalog-page .catalog-card .mini-visual{min-height:0;overflow:hidden;padding:.35rem}.catalog-page .catalog-card .mini-visual svg{width:100%;max-width:100%;height:auto}.catalog-page .catalog-card-copy{padding:.85rem}.catalog-page .catalog-card h3{margin:.15rem 0 .45rem;font-size:1.08rem}.catalog-page .catalog-card-copy>p:not(.eyebrow):not(.candidate-note):not(.public-note){display:-webkit-box;margin:.2rem 0 .5rem;overflow:hidden;font-size:.82rem;line-height:1.45;-webkit-box-orient:vertical;-webkit-line-clamp:3}.catalog-page .card-signals{gap:.15rem;margin:.45rem 0 0;padding-top:.35rem}.catalog-page .card-signals div{display:block;padding-top:.25rem;font-size:.72rem}.catalog-page .card-signals dt,.catalog-page .card-signals dd{display:inline}.catalog-page .card-signals dt:after{content:": "}.catalog-page .catalog-card .candidate-note{display:none}}
.hero-copy{min-width:0;max-width:100%}.hero-copy .actions{margin-bottom:0}.source-landing h1{max-width:23ch}.source-landing h1 .nowrap-phrase{white-space:nowrap}.source-version-item{min-width:0}.source-version-item+.source-version-item:before{content:"·";margin-right:.65rem}.target-label-narrow{display:none}
@media(min-width:901px) and (max-width:1100px){.trust-model{grid-template-columns:1fr;gap:1.5rem}.trust-model>div{max-width:42rem}}
@media(min-width:681px){.home-catalog-list>.home-catalog-item:last-child:nth-child(odd){grid-column:1/-1;width:calc(50% - .4rem);justify-self:center}}
@media(max-width:680px){.section-head{align-items:flex-start;flex-direction:column}.section-head>.status{border-radius:12px}.catalog-group-head{align-items:flex-start;flex-direction:column;gap:0}.home-catalog-list{grid-template-columns:1fr}.catalog-page .catalog-grid{grid-template-columns:1fr;gap:.9rem}.catalog-page .catalog-card{display:grid;grid-template-columns:96px minmax(0,1fr);align-items:stretch}.catalog-page .catalog-card .mini-visual{min-height:0;overflow:hidden;padding:.35rem}.catalog-page .catalog-card .mini-visual svg{width:100%;max-width:100%;height:auto}.catalog-page .catalog-card-copy{padding:.85rem}.catalog-page .catalog-card h3{margin:.15rem 0 .45rem;font-size:1.08rem}.catalog-page .catalog-card-copy>p:not(.eyebrow):not(.candidate-note):not(.public-note){display:-webkit-box;margin:.2rem 0 .5rem;overflow:hidden;font-size:.82rem;line-height:1.45;-webkit-box-orient:vertical;-webkit-line-clamp:3}.catalog-page .card-signals{gap:.15rem;margin:.45rem 0 0;padding-top:.35rem}.catalog-page .card-signals div{display:block;padding-top:.25rem;font-size:.72rem}.catalog-page .card-signals dt,.catalog-page .card-signals dd{display:inline}.catalog-page .card-signals dt:after{content:": "}.math-infographic .map-label{font-size:clamp(13px,calc(47px - 5vw),30px)}.math-infographic .formula-chip .formula-main{font-size:clamp(18px,calc(48px - 4.4vw),33px)}.math-infographic .formula-chip .chip-label{font-size:clamp(12px,calc(34px - 3.24vw),23px)}}
@media(max-width:340px){.math-infographic .map-label{font-size:30px;font-weight:700}.math-infographic .target-label-wide{display:none}.math-infographic .target-label-narrow{display:block}.math-infographic .formula-chip .formula-main{font-size:33px}.math-infographic .formula-chip .chip-label{font-size:23px}}
@media(max-width:280px){main{padding-inline:.75rem}.atlas-home{padding-inline:0}.atlas-home>section:not(.atlas-hero):not(.atlas-snapshot),.atlas-snapshot{width:calc(100% - 1.5rem)}.site-header{padding-inline:.75rem}.brand{min-width:0;gap:.4rem;font-size:.875rem}.brand-mark{width:1.75rem;height:1.75rem}.site-header nav{min-width:0;max-width:100%;gap:0}.site-header nav a{font-size:.75rem}.skip-link{left:.5rem;right:.5rem;width:auto;max-width:none;padding-inline:.65rem}.skip-link:focus{top:.5rem}.site-header a:focus-visible,.skip-link:focus-visible,.atlas-hero a:focus-visible{outline-offset:-3px}h1,.catalog-page>h1{font-size:clamp(1.05rem,12vw,2.1rem);overflow-wrap:normal;word-break:normal}h2{font-size:clamp(1rem,10vw,1.45rem)}h3{font-size:1rem}.proof-infographic-head h2{font-size:.95rem;overflow-wrap:normal;word-break:normal}.plain-statement{padding:.65rem}.plain-statement h2{font-size:.9rem;overflow-wrap:normal;word-break:normal}.catalog-card .eyebrow,.home-catalog-item .eyebrow{font-size:.68rem;letter-spacing:0;text-transform:none}.eyebrow,.proof-status-strip span{letter-spacing:.04em;overflow-wrap:normal;word-break:normal}.collaboration-intro .eyebrow{letter-spacing:0;text-transform:none}.atlas-hero{overflow:visible}.hero-copy{padding:2rem .75rem 1.5rem}.hero-copy h1{font-size:clamp(1.35rem,16vw,2.5rem);white-space:normal;overflow-wrap:normal;word-break:normal}.hero-copy .actions{align-items:stretch;flex-direction:column}.hero-copy .button,.hero-copy .actions .text-link{width:100%;max-width:100%;justify-content:center;padding-inline:.65rem;text-align:center;white-space:normal;overflow-wrap:normal;word-break:normal}.breadcrumb{display:grid;grid-template-columns:minmax(0,1fr);gap:0;margin-bottom:1rem}.breadcrumb>*{display:flex;width:100%;min-width:0;max-width:100%;min-height:44px;align-items:center;white-space:normal;overflow-wrap:normal;word-break:normal}.breadcrumb>*+*:before{content:"›";flex:0 0 auto;margin:0 .35rem 0 0}.home-catalog-item,.catalog-page .catalog-card{display:grid;grid-template-columns:minmax(0,1fr)}.home-catalog-visual,.catalog-page .catalog-card .mini-visual{min-height:0;aspect-ratio:16/7}.home-catalog-visual svg,.catalog-page .catalog-card .mini-visual svg{width:100%;height:100%}.home-catalog-copy,.catalog-page .catalog-card-copy{padding:.65rem}.home-catalog-copy h4,.catalog-page .catalog-card h3{font-size:.9rem;overflow-wrap:normal;word-break:normal}.home-catalog-summary,.catalog-page .catalog-card-copy>p:not(.eyebrow):not(.candidate-note):not(.public-note){display:block;overflow:visible;-webkit-line-clamp:unset}.atlas-snapshot div,.featured-layout,.visitor-paths,.status-guide,.concept-bridge,.proof-card,.summary-panel,.axiom-groups article{padding:.75rem}.visitor-path-grid a,.status-guide-grid div,.concept-grid article,.collaboration-grid article,.evidence-flow li{padding:.65rem}.collaboration-grid article>span,.evidence-flow li>span{position:static}.candidate-note,.public-note,.status{min-width:0;max-width:100%;white-space:normal;overflow-wrap:normal;word-break:normal}.section-head>.status,.proof-signals .status{width:100%;justify-content:center;text-align:center}.proof-status-strip div{padding:.65rem .75rem}.cohort-formula{padding:.6rem;font-size:.95rem}.cohort-proof-card h3{overflow-wrap:normal;word-break:normal}.technical-summary summary,.statement-disclosure summary,.review-summary summary{padding:.55rem 1.5rem .55rem .5rem;font-size:.82rem;overflow-wrap:normal;word-break:normal}.technical-summary summary:after,.statement-disclosure summary:after,.review-summary summary:after{right:.55rem;width:.45rem;height:.45rem}.review-detail{padding:0 .65rem .65rem}.page-guide{gap:.35rem}.page-guide a{padding-inline:.25rem;font-size:.85rem;overflow-wrap:normal;word-break:normal}.proof-infographic{padding:.65rem}.proof-stage{grid-template-columns:minmax(0,1fr);gap:.35rem;padding:.65rem}.proof-stage-number{width:1.75rem;height:1.75rem}.proof-stage:not(:last-child):after{left:50%;transform:translateX(-50%)}.proof-stage small,.proof-stage strong,.proof-stage code,.proof-stage span:not(.proof-stage-number){overflow-wrap:normal;word-break:normal}.proof-stage-result strong{font-size:1.05rem}.source-route{gap:.55rem;padding:.65rem}.source-route div,.source-start-grid a{padding:.65rem}.source-route strong,.source-start-grid strong{overflow-wrap:normal;word-break:normal}.source-start-grid span{font-size:.75rem}.source-intro-actions .button{padding-inline:.65rem;white-space:normal;overflow-wrap:normal;word-break:normal}}
@media(max-width:220px){.site-header nav,.site-header nav.primary-nav-home{display:grid;grid-template-columns:1fr}.site-header nav a{justify-content:flex-start;padding-inline:.25rem}.button{width:100%;padding-inline:.45rem;font-size:.8rem;white-space:normal;overflow-wrap:normal;word-break:normal}}
@media(max-width:180px){main{padding-inline:.5rem}.atlas-home{padding-inline:0}.atlas-home>section:not(.atlas-hero):not(.atlas-snapshot),.atlas-snapshot{width:calc(100% - 1rem)}.hero-copy{padding-inline:.5rem}.breadcrumb>*+*:before{content:none}.atlas-snapshot div,.featured-layout,.visitor-paths,.status-guide,.concept-bridge,.proof-card,.summary-panel,.visitor-path-grid a,.status-guide-grid div,.concept-grid article,.collaboration-grid article,.evidence-flow li,.axiom-groups article,.proof-status-strip div,.proof-infographic,.proof-stage,.source-route,.source-route div,.source-start-grid a{padding:.5rem}.button{font-size:.7rem}.concept-grid h3{font-size:.8rem;overflow-wrap:normal;word-break:normal}.technical-summary summary,.statement-disclosure summary,.review-summary summary{padding:.5rem 1.35rem .5rem .4rem;font-size:.75rem}footer{gap:.25rem;padding:1rem .5rem}}
.breadcrumb>*+*:before,.evidence-flow li:not(:last-child):after{content:none;display:none}.breadcrumb-segment{display:inline-flex;min-width:0;max-width:100%;align-items:center;white-space:normal}.breadcrumb-segment>a,.breadcrumb-segment>[aria-current=page]{display:inline-flex;min-width:0;max-width:100%;min-height:44px;align-items:center;overflow-wrap:anywhere;white-space:normal}.breadcrumb-separator{flex:0 0 auto;align-self:center;margin:0 .6rem;color:var(--muted)}
.status-guide{grid-template-columns:minmax(220px,.55fr) minmax(0,1.45fr);gap:1rem;margin:1.5rem 0 2.5rem;padding:.85rem 1rem}.status-guide h2{margin:0;font-size:1.35rem}.status-guide-grid div{padding:.65rem .8rem}.status-guide-grid span{font-size:.82rem}
.source-route-step{display:flex;min-height:112px;flex-direction:column;justify-content:center;padding:1rem;border:1px solid #365847;border-radius:14px;background:#0a1d16;color:inherit;text-decoration:none}.source-route-step>span{color:var(--accent);font-size:.72rem;font-weight:850;letter-spacing:.12em}.source-route a.source-route-step:hover{border-color:var(--accent)}
@media(max-width:900px){.source-route-step{width:100%;min-height:0}}
@media(min-width:281px) and (max-width:620px){.breadcrumb-separator{margin:0 .25rem}.source-landing h1{font-size:clamp(2.25rem,10vw,2.7rem)}.source-version-item{width:100%}.source-version-item+.source-version-item:before{display:none}}
@media(max-width:680px){.status-guide{grid-template-columns:1fr}.status-guide-grid{grid-template-columns:1fr}}
@media(max-width:280px){.breadcrumb{display:flex;flex-wrap:wrap;gap:0}.breadcrumb>*{width:auto;max-width:100%;flex:0 1 auto}.breadcrumb-separator{display:inline-flex;min-height:0;margin:0 .2rem}.catalog-card-arrow{display:none}.source-route-step{padding:.65rem}}
@media(max-width:180px){.breadcrumb-separator{display:none}.source-route-step{padding:.5rem}.status-guide{padding:.5rem}.status-guide h2{font-size:1rem}}
.breadcrumb-segment{white-space:nowrap}.breadcrumb-segment>a,.breadcrumb-segment>[aria-current=page]{overflow-wrap:normal;white-space:inherit}
@media(max-width:620px){.breadcrumb{display:grid;grid-template-columns:minmax(0,1fr);gap:0;align-items:start;margin-bottom:1rem}.breadcrumb>*{width:100%;min-width:0;max-width:100%;min-height:44px}.breadcrumb>a{display:inline-flex;align-items:center}.breadcrumb-segment{display:grid;grid-template-columns:auto minmax(0,1fr);align-items:center;white-space:normal}.breadcrumb-segment>a,.breadcrumb-segment>[aria-current=page]{display:inline-flex;min-height:44px;align-items:center;overflow-wrap:anywhere;white-space:normal}.breadcrumb-separator{display:inline-flex;align-self:stretch;align-items:center;margin:0 .5rem 0 0}}
@media(max-width:180px){.breadcrumb-separator{display:none}}
@media print{.visitor-paths,.visitor-path-grid a,.status-guide,.status-guide-grid div,.catalog-jumps,.home-catalog-item,.concept-bridge,.concept-grid article,.proof-status-strip,.plain-statement,.result-boundary-panel,.statement-switcher-item,.axiom-groups article,.source-version-line{background:#fff!important;border-color:#66716b!important}.visitor-paths,.status-guide,.home-catalog-item,.concept-bridge,.proof-status-strip,.plain-statement,.result-boundary-panel,.statement-switcher,.axiom-groups article{break-inside:avoid}}
@media print{@page{margin:12mm}html{color-scheme:light;scroll-padding-block:0;background:#fff!important;--ink:#111;--muted:#333;--paper:#fff;--card:#fff;--line:#66716b;--accent:#111;--accent-dark:#111;--button:#fff;--button-hover:#fff;--focus:#111;--warn:#111;--code:#fff}body{display:block;background:#fff!important}body *{color:#111!important;box-shadow:none!important;text-shadow:none!important}a{text-decoration:underline}.skip-link,.site-header nav,.hero-art{display:none!important}.candidate,.site-header,.atlas-hero,.atlas-snapshot,.featured-layout,.catalog-card,.home-catalog-item,.evidence-flow li,.collaboration-grid article,.ambition-grid article,.proof-infographic,.proof-stage,.proof-stage-result,.source-route,.source-route div,.source-route-step,.cohort-formula,.statement-disclosure,.review-summary,.technical-summary,.source-start-grid a,.summary-panel,.signal-list li,.boundary,.collaboration-posture,.candidate-note,.public-note,.status{background:#fff!important}.candidate,.site-header,footer{border-color:#66716b!important}.site-header{padding:.75rem 0}.brand-mark,.button,.status,.candidate-note,.public-note{border:1px solid #66716b}.button{background:#fff!important;color:#111!important}.atlas-home{padding:0}.atlas-home>section:not(.atlas-hero):not(.atlas-snapshot){width:100%}.atlas-hero{display:block;min-height:0;max-height:none!important;overflow:visible}.hero-copy{padding:1rem 0 2rem}.hero-copy h1{color:#111!important}.atlas-snapshot{width:100%;margin:0 0 2rem}.proof-infographic:before{display:none}.proof-infographic,.proof-stage,.source-route,.source-route div,.source-route-step,.cohort-formula,.statement-disclosure,.review-summary,.technical-summary,.summary-panel,.catalog-card,.home-catalog-item{border-color:#66716b!important}pre{border:1px solid #66716b;background:#fff!important;color:#111!important}.math-infographic{background:#fff!important;border:1px solid #66716b}.math-infographic .map-path{stroke:#111}.math-infographic .muted-path{stroke:#4b554f}.math-infographic .map-node{fill:#fff;stroke:#111}.math-infographic .major-node{fill:#111}.math-infographic .formula-chip rect{fill:#fff;stroke:#111}.math-infographic .formula-chip text,.math-infographic .map-label{fill:#111}.mini-visual{background:#fff!important}.mini-visual .shape,.mini-visual .fill,.mini-visual .hub{fill:none;stroke:#111}.mini-visual .grid{stroke:#66716b}.proof-infographic,.proof-card,.catalog-card,.home-catalog-item,.review-summary,.source-route,.summary-panel,.atlas-snapshot{break-inside:avoid}main{width:100%;padding:1.5rem 0 2rem}footer{background:#fff!important}}

.formalization-hero h1,.catalog-proof-hero h1,.catalog-source-page h1{max-width:20ch;font-size:clamp(2.15rem,4.2vw,3.55rem);overflow-wrap:normal;word-break:normal;hyphens:none}.artifact-route-card h3 a{display:inline-flex;min-height:44px;align-items:center}.formalization-flow small{color:#c5d0c8;font-size:.75rem}.formalization-infographic figcaption{font-size:.84rem;line-height:1.55}.axiom-disclosure summary:focus-visible{outline:3px solid var(--focus);outline-offset:3px;border-radius:8px}.home-catalog-summary,.catalog-page .catalog-card-copy>p:not(.eyebrow):not(.candidate-note):not(.public-note):not(.catalog-card-state){display:block;overflow:visible;-webkit-box-orient:initial;-webkit-line-clamp:unset}.catalog-card-state{margin-top:auto;padding-top:1rem;color:var(--accent-dark);font-size:.78rem;font-weight:750}.catalog-proof-hero{padding:1.25rem;border:1px solid var(--line);border-left:4px solid var(--accent);border-radius:22px;background:linear-gradient(145deg,#102d23,#0a1d16)}.catalog-proof-hero>header{padding-top:0}.catalog-proof-page .formalization-infographic{box-shadow:none}.catalog-proof-page .formalization-visual{min-height:210px}.catalog-proof-page .formalization-flow div{min-height:92px}.artifact-identity{display:grid;grid-template-columns:minmax(0,1fr);gap:.35rem;margin:1.2rem 0}.artifact-identity div{grid-template-columns:7rem minmax(0,1fr);gap:.6rem;padding:.45rem 0}.artifact-identity dt{color:var(--accent);font-size:.7rem;letter-spacing:.08em;text-transform:uppercase}.artifact-identity dd{color:var(--ink)}@media(max-width:620px){.formalization-hero h1,.catalog-proof-hero h1,.catalog-source-page h1{font-size:clamp(1.9rem,9.5vw,2.7rem)}.formalization-infographic figcaption{font-size:.84rem;line-height:1.55}.catalog-proof-hero{padding:1rem}}

.formalization-hero,.catalog-proof-hero{display:flex;flex-wrap:wrap;gap:2rem clamp(2.5rem,5vw,4rem)}.formalization-hero>header,.catalog-proof-hero>header{min-width:0;flex:.8 1 32rem}.formalization-hero>:not(header),.catalog-proof-hero>:not(header){min-width:0;flex:1.2 1 32rem}.formalization-hero h1,.catalog-proof-hero h1{overflow-wrap:break-word}.proof-intro-grid{display:flex;flex-wrap:wrap;gap:1rem 2rem}.proof-intro-copy{display:flex;min-width:0;flex:1.05 1 32rem;flex-direction:column;gap:1rem}.proof-intro-copy>.plain-statement,.proof-intro-copy>.proof-status-strip{margin:0}.proof-intro-grid>.proof-infographic{min-width:0;flex:.95 1 32rem}
.evidence-refresh-notice{padding:1rem 1.1rem;border:1px solid #8c6730;border-left:4px solid var(--warn);border-radius:14px;background:#2b2418;color:#ead7ad}.opened-proposition{padding:1.35rem 1.4rem;border:1px solid var(--line);border-radius:18px;background:#0a1d16}.opened-proposition h2{margin:.2rem 0 .55rem}.opened-proposition pre{font-size:14px;line-height:1.65}.supporting-definitions{margin-top:1rem;border-top:1px solid var(--line)}.supporting-definitions summary{display:flex;min-height:48px;align-items:center;color:var(--accent-dark);cursor:pointer;font-weight:750}.supporting-definitions h3{margin:1.2rem 0 .45rem;font-size:1rem}.supporting-definitions pre{margin-bottom:1rem}@media(max-width:620px){.opened-proposition{padding:1rem}}

.featured-layout{position:relative}.featured-primary-link:after{position:absolute;z-index:1;inset:0;border-radius:22px;content:""}.featured-primary-link:focus-visible:after{outline:3px solid var(--focus);outline-offset:3px}.atlas-home .atlas-snapshot{margin-top:2.5rem}.publication-gates,.technical-evidence{margin:2.25rem 0;border:1px solid var(--line);border-radius:18px;background:var(--card)}.publication-gates>summary,.technical-evidence>summary{display:flex;min-height:52px;align-items:center;padding:.85rem 1.1rem;color:var(--accent-dark);cursor:pointer;font-weight:800}.publication-gates>summary:focus-visible,.technical-evidence>summary:focus-visible{outline:3px solid var(--focus);outline-offset:3px;border-radius:16px}.publication-gates>section,.technical-evidence-body{margin:0;padding:0 1.1rem 1.1rem}.technical-evidence-body>section{margin:2rem 0}.home-catalog-summary{font-size:.875rem;line-height:1.5}.catalog-page .catalog-card-copy>p:not(.eyebrow):not(.candidate-note):not(.public-note){font-size:.92rem;line-height:1.5}.snapshot-title,.proof-status-strip span,.proof-signals .status,.artifact-identity dt{font-size:.76rem}.home-catalog-meta{font-size:.75rem}.evidence-flow span,.collaboration-node small,.visitor-path-grid span,.concept-grid article>span,.gate-grid article>span,.source-route-step>span{font-size:.75rem}.review-summary summary small{font-size:.82rem;line-height:1.4}.proof-stage small{font-size:.8rem;line-height:1.45}.proof-stage code,.proof-stage span:not(.proof-stage-number){font-size:.82rem;line-height:1.45}.proof-infographic figcaption{font-size:.82rem;line-height:1.5}.source-snapshot-link{display:inline-flex;min-height:44px;align-items:center}.catalog-page .card-signals div{font-size:.78rem}@media(max-width:900px){.hero-copy h1{font-size:clamp(1.75rem,16vw,4rem);white-space:normal;overflow-wrap:normal;word-break:normal}.catalog-page>h1{font-size:clamp(1.6rem,12vw,3.5rem);overflow-wrap:normal;word-break:normal}}@media(max-width:680px){.catalog-page .catalog-card-copy>p:not(.eyebrow):not(.candidate-note):not(.public-note){font-size:.875rem}}@media(max-width:340px){.artifact-identity div{grid-template-columns:minmax(0,1fr);gap:.15rem}.artifact-identity dt,.artifact-identity dd{width:100%}.artifact-identity dd code{overflow-wrap:anywhere;word-break:normal}}@media(max-width:280px){.catalog-card .eyebrow,.home-catalog-item .eyebrow{font-size:.75rem}.publication-gates>summary,.technical-evidence>summary,.publication-gates>section,.technical-evidence-body{padding-inline:.65rem}}.catalog-page .catalog-card-copy>.catalog-card-state{display:block;margin-top:auto;padding-top:.75rem;overflow:visible;color:var(--accent-dark);font-size:.78rem;line-height:1.4;font-weight:750;-webkit-line-clamp:unset}

.collatz-relationship-map{padding:clamp(1rem,2.7vw,1.6rem);border:1px solid var(--line);border-radius:24px;background:linear-gradient(145deg,#102d23,#081b14);box-shadow:0 18px 52px #00000035}.collatz-relationship-heading{display:flex;align-items:end;justify-content:space-between;gap:1rem}.collatz-relationship-heading h2,.collatz-relationship-heading p{margin:.1rem 0}.collatz-relationship-legend{display:flex;flex-wrap:wrap;gap:.4rem;justify-content:flex-end}.collatz-relationship-legend span{padding:.25rem .5rem;border:1px solid var(--line);border-radius:999px;font-size:.68rem;font-weight:800}.collatz-relationship-legend .relation-dependency{border-color:#b88e38;color:#f0cf7d}.collatz-relationship-legend .relation-strengthens{border-color:#3f785f;color:#bce8c9}.collatz-relationship-legend .relation-comparison{border-style:dashed;color:var(--muted)}.collatz-relationship-lanes{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem;margin-top:1.2rem}.collatz-relation-lane{min-width:0;padding:1rem;border:1px solid #3d6252;border-radius:18px;background:#071812}.collatz-relation-lane-current{border-color:#b88e38;box-shadow:inset 0 0 0 1px #d8b45f22}.collatz-relation-lane-label{margin:0 0 .2rem;color:var(--accent);font-size:.68rem;font-weight:850;letter-spacing:.08em;text-transform:uppercase}.collatz-relation-lane h3{margin:.2rem 0 1rem;font-size:1.1rem}.collatz-relation-variant-cluster{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:.45rem;padding:.55rem;border:1px solid #4a6d5d;border-radius:15px;background:#0a1d16}.collatz-relation-variant-cluster a,.collatz-relation-dependency-chain>a,.collatz-relation-dependency-chain>span:not(.collatz-relation-arrow),.collatz-relation-endpoints a,.collatz-relation-comparison a{display:flex;min-width:0;min-height:72px;flex-direction:column;justify-content:center;padding:.65rem;border:1px solid #3d6252;border-radius:12px;background:#10281f;color:inherit;text-decoration:none}.collatz-relation-variant-cluster a:hover,.collatz-relation-variant-cluster a:focus-visible,.collatz-relation-dependency-chain a:hover,.collatz-relation-dependency-chain a:focus-visible,.collatz-relation-comparison a:hover,.collatz-relation-comparison a:focus-visible{border-color:var(--accent);background:#173f2e}.collatz-relation-variant-cluster small{color:var(--muted);font-size:.68rem}.collatz-relation-variant-cluster strong{margin-top:.2rem;color:var(--ink);font-family:ui-serif,Georgia,serif}.collatz-relation-strengthens{margin-top:.65rem;padding:.6rem;border-left:3px solid #3f785f;background:#10281f}.collatz-relation-strengthens>span{color:#bce8c9;font-size:.72rem;font-weight:800}.collatz-relation-strengthens>div{display:flex;flex-wrap:wrap;gap:.35rem;margin-top:.4rem}.collatz-relation-strengthens>div span{padding:.2rem .4rem;border:1px solid #3f785f;border-radius:999px;color:var(--muted);font-size:.66rem}.collatz-relation-dependency-chain{display:grid;grid-template-columns:minmax(0,.8fr) auto minmax(0,1fr) auto minmax(0,1.15fr);gap:.4rem;align-items:stretch}.collatz-relation-dependency-chain>a,.collatz-relation-dependency-chain>span:not(.collatz-relation-arrow){text-align:center}.collatz-relation-arrow{display:grid;place-items:center;color:#f0cf7d;font-weight:900}.collatz-relation-endpoints{display:grid;gap:.35rem}.collatz-relation-endpoints a{min-height:0}.collatz-relation-comparison{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:.45rem;align-items:center;margin-top:.65rem;padding:.55rem;border:1px dashed #718078;border-radius:14px}.collatz-relation-comparison>span{color:var(--muted);font-size:.7rem;font-weight:800;text-align:center}.collatz-relationship-transcript{margin-top:1rem;border-top:1px solid var(--line)}.collatz-relationship-transcript summary{display:flex;min-height:44px;align-items:center;color:var(--accent-dark);cursor:pointer;font-size:.82rem;font-weight:800}.collatz-relationship-transcript ul{margin:.2rem 0 .5rem;padding-left:1.2rem}.collatz-relationship-transcript li{margin:.4rem 0;color:var(--muted);font-size:.78rem}.collatz-relationship-transcript strong{color:var(--ink)}@media(max-width:820px){.collatz-relationship-heading{align-items:flex-start;flex-direction:column}.collatz-relationship-legend{justify-content:flex-start}.collatz-relationship-lanes{grid-template-columns:minmax(0,1fr)}}@media(max-width:560px){.collatz-relation-variant-cluster,.collatz-relation-dependency-chain,.collatz-relation-comparison{grid-template-columns:minmax(0,1fr)}.collatz-relation-arrow{min-height:22px;transform:rotate(90deg)}.collatz-relation-comparison>span{text-align:left}}@media(max-width:280px){.collatz-relationship-map,.collatz-relation-lane{padding:.65rem}.collatz-relationship-legend{display:grid}.collatz-relationship-legend span{text-align:center}}@media print{.collatz-relationship-map,.collatz-relation-lane,.collatz-relation-variant-cluster,.collatz-relation-variant-cluster a,.collatz-relation-dependency-chain>a,.collatz-relation-dependency-chain>span:not(.collatz-relation-arrow),.collatz-relation-endpoints a,.collatz-relation-comparison,.collatz-relation-comparison a{border-color:#66716b!important;background:#fff!important;box-shadow:none!important}}
.collatz-relation-variant-cluster>span{display:flex;min-width:0;min-height:72px;flex-direction:column;justify-content:center;padding:.65rem;border:1px solid #3d6252;border-radius:12px;background:#10281f;color:inherit}.collatz-relation-variant-cluster>span small{color:var(--muted);font-size:.68rem}.collatz-relation-variant-cluster>span strong{margin-top:.2rem;color:var(--ink);font-family:ui-serif,Georgia,serif}@media print{.collatz-relation-variant-cluster>span{border-color:#66716b!important;background:#fff!important}}
.theorem-neighborhood,.theorem-family-map{padding:clamp(1rem,2.7vw,1.6rem);border:1px solid var(--line);border-radius:24px;background:linear-gradient(145deg,#102d23,#081b14);box-shadow:0 18px 52px #00000035}.theorem-neighborhood-heading{display:flex;align-items:end;justify-content:space-between;gap:1rem}.theorem-neighborhood-heading h2,.theorem-neighborhood-heading p{margin:.1rem 0}.theorem-neighborhood-heading>span{flex:0 0 auto;padding:.28rem .62rem;border:1px solid #5b704f;border-radius:999px;color:var(--accent-dark);font-size:.74rem;font-weight:800}.theorem-neighborhood-graph{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(220px,.9fr) auto minmax(0,1fr);gap:.75rem;align-items:stretch}.theorem-neighborhood-graph-prerequisites-only{grid-template-columns:minmax(0,1fr) auto minmax(220px,.9fr)}.theorem-neighborhood-graph-dependents-only{grid-template-columns:minmax(220px,.9fr) auto minmax(0,1fr)}.theorem-neighborhood-lane{display:flex;min-width:0;flex-direction:column;gap:.55rem}.theorem-neighborhood-lane h3{margin:0 0 .15rem;color:var(--muted);font:800 .72rem/1.4 ui-sans-serif,system-ui,sans-serif;letter-spacing:.08em;text-transform:uppercase}.theorem-neighbor-list{display:grid;gap:.55rem}.theorem-neighbor-node,.theorem-current-node,.theorem-family-node{display:flex;min-width:0;min-height:98px;flex-direction:column;justify-content:center;padding:.85rem;border:1px solid #3d6252;border-radius:15px;background:#0a1d16}.theorem-neighbor-node{color:inherit;text-decoration:none}.theorem-neighbor-node:hover,.theorem-neighbor-node:focus-visible,.theorem-family-node:hover,.theorem-family-node:focus-visible{border-color:var(--accent);background:#102c21}.theorem-neighbor-node small,.theorem-current-node small,.theorem-family-node small{color:var(--accent);font-size:.68rem;font-weight:800;letter-spacing:.07em;text-transform:uppercase}.theorem-neighbor-node strong,.theorem-current-node strong,.theorem-family-node strong{margin:.28rem 0;font:700 1rem/1.25 ui-serif,Georgia,serif}.theorem-neighbor-node code,.theorem-current-node code,.theorem-family-node code{display:block;color:var(--muted);font-size:.68rem;line-height:1.4;overflow-wrap:anywhere}.theorem-neighbor-node>span{margin-top:.45rem;color:var(--accent-dark);font-size:.72rem;font-weight:750}.theorem-neighbor-node-unlinked>span{color:var(--muted)}.theorem-current-node{border-color:#b88e38;background:linear-gradient(145deg,#2c2518,#171f17);box-shadow:inset 0 0 0 1px #d8b45f22}.theorem-neighborhood-arrow{display:grid;place-items:center;color:var(--accent);font-size:1.45rem;font-weight:900}.theorem-dependency-evidence{margin-top:1rem;border-top:1px solid var(--line)}.theorem-dependency-evidence summary{display:flex;min-height:44px;align-items:center;color:var(--accent-dark);cursor:pointer;font-size:.82rem;font-weight:800}.theorem-dependency-evidence ul{display:grid;gap:.55rem;margin:.2rem 0 .8rem;padding:0;list-style:none}.theorem-dependency-evidence li{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);gap:.55rem;align-items:center;padding:.65rem;border:1px solid var(--line);border-radius:12px;background:#071812}.theorem-dependency-evidence li code{font-size:.72rem}.theorem-dependency-evidence li>span{color:var(--accent);font-size:.7rem;font-weight:800}.theorem-dependency-evidence li>small{grid-column:1/-1;color:var(--muted);font-size:.68rem}.theorem-neighborhood-scope{margin:1rem 0 0;color:var(--muted);font-size:.75rem}.theorem-family-flow{display:flex;align-items:stretch;gap:.65rem;margin:1.25rem 0;padding:0;list-style:none}.theorem-family-flow>li:not(.theorem-family-arrow){display:flex;min-width:0;flex:1}.theorem-family-node{width:100%;color:inherit;text-decoration:none}.theorem-family-arrow{display:grid;flex:0 0 auto;place-items:center;color:var(--accent);font-size:1.45rem;font-weight:900}@media(max-width:760px){.theorem-neighborhood-heading{align-items:flex-start;flex-direction:column}.theorem-neighborhood-heading>span{align-self:flex-start}.theorem-neighborhood-graph,.theorem-neighborhood-graph-prerequisites-only,.theorem-neighborhood-graph-dependents-only{grid-template-columns:minmax(0,1fr)}.theorem-neighborhood-arrow{min-height:24px;transform:rotate(90deg)}.theorem-family-flow{align-items:stretch;flex-direction:column}.theorem-family-arrow{min-height:24px;transform:rotate(90deg)}.theorem-dependency-evidence li{grid-template-columns:minmax(0,1fr)}.theorem-dependency-evidence li>small{grid-column:auto}}@media(max-width:340px){.theorem-neighborhood,.theorem-family-map{padding:.7rem}.theorem-neighbor-node,.theorem-current-node,.theorem-family-node{min-height:0;padding:.7rem}}@media print{.theorem-neighborhood,.theorem-family-map,.theorem-neighbor-node,.theorem-current-node,.theorem-family-node,.theorem-dependency-evidence li{border-color:#66716b!important;background:#fff!important;box-shadow:none!important}.theorem-neighbor-node,.theorem-current-node,.theorem-family-node{break-inside:avoid}}

.theorem-neighborhood,.theorem-family-map{padding:clamp(1rem,2.7vw,1.65rem);overflow:hidden;border:1px solid #355f4d;border-radius:24px;background:linear-gradient(145deg,#102d23,#071812);box-shadow:0 18px 52px #00000035}.theorem-dependency-heading{display:flex;align-items:end;justify-content:space-between;gap:1rem}.theorem-dependency-heading h2,.theorem-dependency-heading p{margin:.1rem 0}.theorem-dependency-heading>span{flex:0 0 auto;padding:.38rem .7rem;border:1px solid #726b45;border-radius:999px;background:#1e2b1e;color:#f0cd72;font-size:.74rem;font-weight:850}.theorem-neighborhood>.section-intro,.theorem-family-map>.section-intro{max-width:70rem;margin-bottom:1rem}.theorem-graph-controls{display:flex;flex-wrap:wrap;gap:.45rem;align-items:center;margin:.85rem 0}.theorem-graph-controls[hidden]{display:none}.theorem-graph-controls>span{margin-right:.15rem;color:var(--muted);font-size:.72rem;font-weight:800;letter-spacing:.08em;text-transform:uppercase}.theorem-graph-controls button{min-height:42px;padding:.45rem .75rem;border:1px solid #3d6252;border-radius:999px;background:#071812;color:var(--ink);cursor:pointer;font:750 .78rem/1.2 ui-sans-serif,system-ui,sans-serif}.theorem-graph-controls button small{margin-left:.25rem;color:var(--muted);font:inherit;font-weight:600}.theorem-graph-controls button:hover,.theorem-graph-controls button:focus-visible{border-color:var(--accent);background:#102c21}.theorem-graph-controls button[aria-pressed=true]{border-color:#d8b45f;background:#2c2518;color:#f6df9b}.theorem-graph-controls button[aria-pressed=true] small{color:#e0cf9d}.theorem-dependency-canvas{margin:.7rem 0 0;overflow-x:auto;overscroll-behavior-inline:contain;border:1px solid #315444;border-radius:18px;background:#05130e;scrollbar-color:#5d7a69 #071812}.theorem-dependency-canvas:focus-visible{outline:3px solid var(--focus);outline-offset:3px}.theorem-dependency-svg{display:block;width:max(100%,1040px);max-width:none;height:auto}.theorem-graph-grid{opacity:.2}.theorem-dependency-svg pattern path{fill:none;stroke:#335044;stroke-width:1}.theorem-graph-artifact>rect{fill:#071c14;stroke:#315746;stroke-width:1.5}.theorem-graph-artifact-current>rect{fill:#10251b;stroke:#d8b45f;stroke-width:2.5}.theorem-graph-artifact-kicker,.theorem-graph-lane-label,.theorem-graph-current-label,.theorem-graph-node-kind{font-family:ui-sans-serif,system-ui,sans-serif;font-weight:850;letter-spacing:1.2px}.theorem-graph-artifact-kicker{fill:#90ac9d;font-size:9px}.theorem-graph-current-label{fill:#f2cf75;font-size:9px}.theorem-graph-lane-label{fill:#79988a;font-size:9px}.theorem-graph-artifact-title,.theorem-graph-artifact-link text{fill:#f8f4e9;font:700 16px ui-serif,Georgia,serif}.theorem-graph-artifact-link{text-decoration:none}.theorem-graph-artifact-link:hover text,.theorem-graph-artifact-link:focus-visible text{fill:#f2cf75;text-decoration:underline}.theorem-graph-artifact-link:focus-visible{outline:none}.theorem-graph-node{cursor:pointer;text-decoration:none;transition:opacity .16s ease}.theorem-graph-node rect{fill:#102d23;stroke:#4a7561;stroke-width:1.4;transition:fill .16s ease,stroke .16s ease}.theorem-graph-node-public-endpoint rect{fill:#162a22;stroke:#9c8349}.theorem-graph-node-formal-statement rect{fill:#0b2119;stroke:#628b78;stroke-dasharray:5 3}.theorem-graph-node-kind{fill:#b3cabf;font-size:8.5px}.theorem-graph-node-title{fill:#fff9eb;font:700 14px ui-serif,Georgia,serif}.theorem-graph-node:hover rect,.theorem-graph-node:focus-visible rect,.theorem-graph-node.is-active rect{fill:#1b4031;stroke:#f0cc72;stroke-width:2.5}.theorem-graph-node:focus-visible{outline:none}.theorem-graph-edge{color:#e6bd59;transition:opacity .16s ease}.theorem-graph-edge path{fill:none;stroke:currentColor;stroke-width:3}.theorem-graph-edge text{fill:#f1cf77;paint-order:stroke;stroke:#061510;stroke-width:5px;font:800 10px ui-sans-serif,system-ui,sans-serif;letter-spacing:.5px}.theorem-graph-edge-binding{color:#6aa488}.theorem-graph-edge-binding path{stroke-width:2;stroke-dasharray:7 5}.theorem-graph-edge-binding text{fill:#8cc2a7}.theorem-dependency-svg marker[id$=-dependency-arrow] path{fill:#e6bd59}.theorem-dependency-svg marker[id$=-binding-arrow] path{fill:#6aa488}.theorem-dependency-graph[data-graph-mode=dependencies] [data-graph-layer=binding]{display:none}.has-graph-focus .theorem-graph-node:not(.is-active):not(.is-related),.has-graph-focus .theorem-graph-edge:not(.is-related){opacity:.18}.has-graph-focus .theorem-graph-node.is-related rect,.has-graph-focus .theorem-graph-edge.is-related path{stroke:#f2cf75}.theorem-graph-inspector{display:grid;grid-template-columns:minmax(10rem,.35fr) minmax(0,1fr);gap:.65rem;margin:.75rem 0 0;padding:.7rem .85rem;border:1px solid #315444;border-radius:13px;background:#091b15}.theorem-graph-inspector strong{color:#f2cf75}.theorem-graph-inspector span{min-width:0;color:var(--muted);overflow-wrap:anywhere}.theorem-graph-legend{display:flex;flex-wrap:wrap;gap:.55rem 1.15rem;margin:.85rem 0;color:var(--muted);font-size:.72rem}.theorem-graph-legend span{display:inline-flex;align-items:center;gap:.42rem}.theorem-graph-legend i{display:inline-block;width:1.7rem;height:3px;background:#e6bd59}.theorem-graph-legend .legend-binding{height:2px;background:repeating-linear-gradient(90deg,#6aa488 0 6px,transparent 6px 10px)}.theorem-graph-legend .legend-current{width:.8rem;height:.8rem;border:2px solid #d8b45f;border-radius:3px;background:#10251b}.theorem-dependency-evidence{margin-top:.75rem;border-top:1px solid var(--line)}.theorem-dependency-evidence summary{display:flex;min-height:44px;align-items:center;color:var(--accent-dark);cursor:pointer;font-size:.82rem;font-weight:800}.theorem-dependency-evidence ul{display:grid;gap:.55rem;margin:.2rem 0 .8rem;padding:0;list-style:none}.theorem-dependency-evidence li{display:grid;grid-template-columns:auto minmax(0,1fr) auto minmax(0,1fr);gap:.45rem .65rem;align-items:center;padding:.65rem;border:1px solid var(--line);border-radius:12px;background:#071812}.theorem-dependency-evidence li>span{color:var(--accent);font-size:.68rem;font-weight:850;text-transform:uppercase}.theorem-dependency-evidence li code{font-size:.7rem;overflow-wrap:anywhere}.theorem-dependency-evidence li>strong{color:#f1cf77;font-size:.72rem}.theorem-dependency-evidence li>small{grid-column:1/-1;color:var(--muted);font-size:.68rem}.theorem-neighborhood-scope{margin:1rem 0 0;padding-top:.85rem;border-top:1px solid var(--line);color:var(--muted);font-size:.75rem;line-height:1.55}.theorem-neighborhood-scope strong{color:var(--ink)}
.theorem-graph-scroll-hint{display:none}
[data-theorem-dependency-graph][data-graph-mode=dependencies] [data-graph-layer=binding]{display:none}
@media(max-width:760px){.theorem-dependency-heading{align-items:flex-start;flex-direction:column}.theorem-dependency-heading>span{align-self:flex-start}.theorem-graph-scroll-hint{display:flex;align-items:center;justify-content:space-between;gap:.75rem;margin:.65rem 0;color:#c7d4cd;font-size:.75rem}.theorem-graph-scroll-hint span{color:#f2cf75;font-size:1.15rem}.theorem-graph-inspector{grid-template-columns:1fr}.theorem-dependency-evidence li{grid-template-columns:minmax(0,1fr)}.theorem-dependency-evidence li>small{grid-column:auto}.theorem-dependency-svg{width:1040px}}
@media(max-width:420px){.theorem-graph-controls{display:grid;grid-template-columns:1fr}.theorem-graph-controls>span{margin:0}.theorem-graph-controls button{width:100%;border-radius:12px;text-align:left}}
@media(max-width:340px){.theorem-neighborhood,.theorem-family-map{padding:.7rem}.theorem-graph-inspector{padding:.65rem}.theorem-graph-legend{display:grid}}
@media(prefers-reduced-motion:reduce){.theorem-graph-node,.theorem-graph-node rect,.theorem-graph-edge{transition:none}}
@media print{.theorem-neighborhood,.theorem-family-map,.theorem-dependency-canvas,.theorem-graph-inspector,.theorem-dependency-evidence li{border-color:#66716b!important;background:#fff!important;box-shadow:none!important}.theorem-graph-controls,.theorem-graph-inspector{display:none!important}.theorem-dependency-canvas{overflow:visible}.theorem-dependency-svg{width:100%;max-width:100%}[data-theorem-dependency-graph] [data-graph-layer=binding]{display:inline!important}.theorem-graph-artifact>rect,.theorem-graph-node rect{fill:#fff!important;stroke:#111!important}.theorem-dependency-svg text{fill:#111!important}.theorem-graph-edge path{stroke:#111!important}.theorem-dependency-svg marker path{fill:#111!important}.theorem-graph-grid{display:none}.theorem-dependency-evidence{break-inside:avoid}}


.generated-theorem-poster,.generated-theorem-visual,.generated-proof-walkthrough{padding:clamp(1rem,2.5vw,1.6rem);border:1px solid var(--line);border-radius:24px;background:linear-gradient(145deg,#0d2b21,#071913);box-shadow:0 22px 60px #00000035;overflow:hidden}.generated-visual-heading{display:flex;align-items:end;justify-content:space-between;gap:1rem;margin-bottom:1rem}.generated-visual-heading h2,.generated-visual-heading p{margin:.1rem 0}.generated-visual-heading>span{flex:0 0 auto;padding:.3rem .65rem;border:1px solid #5c684c;border-radius:999px;color:var(--accent-dark);font-size:.75rem;font-weight:800}.generated-poster-layout{display:grid;grid-template-columns:minmax(280px,46rem) minmax(16rem,.7fr);gap:clamp(1rem,3vw,2rem);align-items:start}.generated-poster-figure{min-width:0;margin:0}.generated-poster-link{display:block;border-radius:16px}.generated-poster-link:focus-visible{outline-offset:4px}.generated-poster-figure img{display:block;width:100%;height:auto;border:1px solid #746b54;border-radius:16px;background:#f3efe5}.generated-poster-figure figcaption{padding:.65rem .2rem 0;color:var(--muted);font-size:.8rem;line-height:1.5}.generated-poster-transcript{min-width:0;padding:.2rem}.generated-poster-transcript>p:last-child{color:var(--muted)}.generated-poster-full-transcript{margin-top:1rem;border-top:1px solid var(--line)}.generated-poster-full-transcript summary{display:flex;min-height:44px;align-items:center;color:var(--accent-dark);cursor:pointer;font-size:.85rem;font-weight:750}.generated-poster-full-transcript p{margin:.2rem 0 .8rem;color:var(--muted);font-size:.8rem;line-height:1.65}.generated-theorem-visual-layout{display:flex;flex-wrap:wrap;gap:1.25rem;align-items:center}.generated-theorem-visual-layout>figure{flex:1.45 1 28rem}.generated-theorem-visual-layout>.generated-visual-copy{flex:.55 1 16rem}.generated-theorem-visual figure,.walkthrough-page figure{min-width:0;margin:0}.generated-theorem-visual img,.walkthrough-page img{display:block;width:100%;height:auto;aspect-ratio:3/2;border:1px solid #365847;border-radius:16px;background:#06130f;object-fit:contain}.generated-theorem-visual figcaption,.walkthrough-page figcaption{padding:.65rem .2rem 0;color:var(--muted);font-size:.8rem;line-height:1.5}.generated-visual-copy{min-width:0;padding:.3rem}.generated-visual-copy>p:last-child,.walkthrough-page-copy>p:not(.eyebrow):not(.walkthrough-equation){color:var(--muted)}.generated-visual-equation,.walkthrough-equation{margin:.3rem 0 1rem;padding:.8rem 1rem;border-left:3px solid var(--accent);background:#06130f;color:var(--ink)}.generated-visual-equation code,.walkthrough-equation code{font-size:clamp(.82rem,1.4vw,1rem);word-break:normal}.generated-visual-boundary{margin:1rem 0 0;padding-top:.85rem;border-top:1px solid var(--line);color:var(--muted);font-size:.78rem}.proof-walkthrough-pages{display:grid;gap:1rem;margin:1.25rem 0 0;padding:0;list-style:none}.walkthrough-page{display:grid;grid-template-columns:minmax(280px,.95fr) minmax(0,1.05fr);gap:1.25rem;align-items:center;min-width:0;padding:1rem;border:1px solid var(--line);border-radius:18px;background:#0a1d16}.walkthrough-page-copy{position:relative;min-width:0;padding:.2rem .2rem .2rem .6rem}.walkthrough-page-copy h3{margin:.15rem 0 .7rem;padding-right:3.3rem}.walkthrough-page-number{position:absolute;right:.2rem;top:0;color:#d8b45f55;font:800 2.25rem/1 ui-serif,Georgia,serif}.walkthrough-source-anchors{margin-top:1rem;border-top:1px solid var(--line)}.walkthrough-source-anchors summary{display:flex;min-height:44px;align-items:center;color:var(--accent-dark);cursor:pointer;font-size:.85rem;font-weight:750}.walkthrough-source-anchors ul{margin:.2rem 0 .8rem;padding-left:1.2rem}.walkthrough-source-anchors li{margin:.25rem 0}.walkthrough-source-anchors code{font-size:.78rem}@media(max-width:820px){.generated-poster-layout,.walkthrough-page{grid-template-columns:1fr}.generated-poster-figure{width:min(100%,42rem);justify-self:center}.walkthrough-page-copy{padding:.2rem}.generated-visual-heading{align-items:flex-start;flex-direction:column}.generated-visual-heading>span{align-self:flex-start}}@media(max-width:340px){.generated-theorem-poster,.generated-theorem-visual,.generated-proof-walkthrough,.walkthrough-page{padding:.65rem}.walkthrough-page-copy h3{padding-right:0}.walkthrough-page-number{position:static;display:block;margin-bottom:.3rem;font-size:1.5rem}.generated-visual-equation,.walkthrough-equation{padding:.65rem}}@media print{.generated-theorem-poster,.generated-theorem-visual,.generated-proof-walkthrough,.walkthrough-page,.generated-visual-equation,.walkthrough-equation{border-color:#66716b!important;background:#fff!important;box-shadow:none!important}.generated-visual-equation code,.walkthrough-equation code{color:#111!important}.generated-poster-figure img,.generated-theorem-visual img,.walkthrough-page img{border-color:#66716b!important;break-inside:avoid}.generated-poster-layout,.walkthrough-page{break-inside:avoid;grid-template-columns:1fr}.generated-visual-heading>span{border-color:#66716b!important}}

.paper-publication{display:grid;grid-template-columns:minmax(190px,260px) minmax(0,1fr);gap:clamp(1.25rem,3vw,2.5rem);align-items:center;padding:clamp(1rem,2.8vw,1.75rem);border:1px solid var(--line);border-radius:24px;background:linear-gradient(145deg,#102d23,#0a1d16);box-shadow:0 20px 55px #00000038}.paper-cover-link{position:relative;display:block;min-width:0;border-radius:16px}.paper-cover-link img{display:block;width:100%;height:auto;aspect-ratio:3/4;border:1px solid #4a6759;border-radius:16px;background:#071812;box-shadow:0 18px 42px #00000055}.paper-cover-action{position:absolute;right:.6rem;bottom:.6rem;padding:.3rem .5rem;border:1px solid #f0cf7d88;border-radius:999px;background:#071812e8;color:#f7dfaa;font-size:.7rem;font-weight:800}.paper-publication-copy{min-width:0}.paper-publication-copy h2{max-width:25ch;margin:.25rem 0 .55rem}.paper-publication-copy h2 a{color:var(--ink);text-decoration-thickness:1px}.paper-byline{margin:.2rem 0 1rem;color:var(--accent-dark);font-weight:750}.paper-publication-copy>p:not(.eyebrow):not(.paper-byline){color:var(--muted)}.paper-provenance{margin-top:1rem;border-top:1px solid var(--line)}.paper-provenance summary{display:flex;min-height:44px;align-items:center;color:var(--accent-dark);cursor:pointer;font-size:.86rem;font-weight:750}.paper-provenance p,.paper-provenance li{color:var(--muted);font-size:.82rem}.paper-provenance ul{padding-left:1.2rem}@media(max-width:680px){.paper-publication{grid-template-columns:minmax(0,1fr)}.paper-cover-link{width:min(70vw,260px);justify-self:center}.paper-publication-copy h2{max-width:none}}@media(max-width:340px){.paper-publication{padding:.7rem}.paper-cover-link{width:min(80vw,220px)}}@media print{.paper-publication{grid-template-columns:180px minmax(0,1fr);border-color:#66716b!important;background:#fff!important;box-shadow:none!important;break-inside:avoid}.paper-cover-link img{border-color:#66716b!important;box-shadow:none!important}.paper-cover-action{display:none!important}}

.heading-count{display:inline-flex;margin-left:.35rem;padding:.12rem .5rem;border:1px solid var(--line);border-radius:999px;color:var(--muted);font:700 .72rem/1.4 ui-sans-serif,system-ui,sans-serif;vertical-align:.15rem}
.source-tree-list{margin-bottom:2rem}
.file-list .source-file-path{display:block;min-width:0;flex:1 1 auto;color:var(--ink);font-size:.88rem;line-height:1.35}
.source-file-path strong{display:block;color:var(--accent-dark);overflow-wrap:anywhere}
.file-list .source-file-directory{display:block;margin-bottom:.1rem;color:var(--muted);font-size:.7rem;line-height:1.35;overflow-wrap:anywhere}
.compact-source-list{margin-bottom:.5rem}
.source-closure-panel{margin:1.35rem 0 1rem;padding:1.2rem;border:1px solid #7b6332;border-radius:18px;background:linear-gradient(135deg,#193b2d,#0b2219);box-shadow:0 16px 40px #00000036}
.source-closure-panel>header{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:1.25rem;align-items:center}
.source-closure-panel h3{margin:.15rem 0 .35rem;font-size:clamp(1.35rem,2.6vw,1.9rem)}
.source-closure-panel header p:not(.eyebrow){max-width:680px;margin:0;color:#c8d5cc}
.source-closure-panel>header>strong{display:flex;min-width:6.3rem;align-items:center;flex-direction:column;color:var(--accent-dark);font:800 2.75rem/1 ui-serif,Georgia,serif;text-align:center}
.source-closure-panel>header>strong small{margin-top:.25rem;color:var(--muted);font:800 .68rem/1.2 ui-sans-serif,system-ui,sans-serif;letter-spacing:.09em;text-transform:uppercase}
.source-starting-files{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.7rem;margin-top:1rem}
.source-starting-files a{display:grid;min-width:0;min-height:126px;grid-template-rows:auto auto 1fr auto;padding:.85rem;border:1px solid #496c5b;border-radius:13px;background:#071812;color:inherit;text-decoration:none;transition:border-color .15s ease,background .15s ease,transform .15s ease}
.source-starting-files a:hover,.source-starting-files a:focus-visible{border-color:var(--accent);background:#102c21}
.source-starting-files span{color:var(--accent);font-size:.67rem;font-weight:850;letter-spacing:.1em;text-transform:uppercase}
.source-starting-files strong{margin:.22rem 0;color:var(--ink);font-size:1rem;overflow-wrap:anywhere}
.source-starting-files small{color:var(--muted);line-height:1.45}
.source-starting-files code{margin-top:.55rem;color:#8fab99;font-size:.66rem;line-height:1.35}
.source-tree-large{margin:1rem 0;padding:0 1rem;border:1px solid #496c5b;border-radius:16px;background:#0a2118}
.source-tree-large>summary{display:flex;min-height:54px;align-items:center;color:var(--accent-dark);cursor:pointer;font-weight:850}
.source-tree-large>p{color:var(--muted)}
.source-tree-browser{margin:1rem 0}
.source-filter-status{margin:.55rem 0 1rem;color:var(--muted);font-size:.82rem}
.source-directory-groups{display:grid;gap:.6rem}
.source-directory-group{border:1px solid var(--line);border-radius:12px;background:#071812}
.source-directory-group>summary{display:flex;min-height:48px;align-items:center;justify-content:space-between;gap:1rem;padding:.65rem .8rem;color:var(--accent-dark);cursor:pointer;font-weight:800}
.source-directory-group>summary span:first-child{min-width:0;overflow-wrap:anywhere}
.source-directory-group>summary span:last-child{flex:0 0 auto;color:var(--muted);font-size:.75rem}
.source-directory-group .file-list{margin:0;padding:0 .8rem .8rem}
.source-directory-group [hidden],.source-tree-browser [hidden]{display:none}
.source-tree-large:not([open]){margin-bottom:1rem}
@media(max-width:620px){.source-closure-panel>header{grid-template-columns:1fr}.source-closure-panel>header>strong{align-items:flex-start;flex-direction:row;gap:.45rem;text-align:left}.source-closure-panel>header>strong small{margin-top:.2rem}.source-starting-files{grid-template-columns:1fr}.source-starting-files a{min-height:0}.file-list .source-file-path{font-size:.82rem}.file-list .source-file-directory{font-size:.68rem}.source-directory-group>summary{align-items:flex-start;flex-direction:column;gap:.2rem}}
@media(max-width:345px){.source-closure-panel{padding:.9rem}.source-tree-large{padding:0 .7rem}.source-starting-files a{padding:.75rem}}
@media print{.source-closure-panel,.source-starting-files a,.source-tree-large{border-color:#66716b!important;background:#fff!important;box-shadow:none!important}.source-closure-panel header p:not(.eyebrow),.source-starting-files small,.source-starting-files code,.source-tree-large>p{color:#333!important}}


.hero-status-strip{margin:1.25rem 0 0}.cohort-intro-copy .cohort-status-strip{margin:1.4rem 0 0}.single-artifact-route{display:flex;align-items:center;justify-content:space-between;gap:1.5rem;padding:1.25rem;border:1px solid var(--line);border-radius:18px;background:var(--card)}.single-artifact-route>div{min-width:0}.single-artifact-route h2,.single-artifact-route p{margin:.2rem 0}.single-artifact-route p{max-width:48rem;color:var(--muted)}.single-artifact-route .button{flex:0 0 auto}.formalization-variant-note{max-width:48rem;margin:-.45rem 0 .8rem;color:var(--accent-dark)}.generated-theorem-poster-preview{display:grid;grid-template-columns:minmax(0,1fr) minmax(18rem,21rem);gap:1.5rem;align-items:center}.generated-theorem-poster-preview .generated-poster-preview-copy{min-width:0}.generated-theorem-poster-preview .generated-poster-preview-copy h2{margin:.2rem 0 .75rem}.generated-theorem-poster-preview .generated-poster-preview-copy p:not(.eyebrow){color:var(--muted)}.generated-theorem-poster-preview .generated-poster-link{width:min(100%,21rem);justify-self:center}.generated-theorem-poster-preview img{display:block;width:100%;height:auto;border:1px solid #746b54;border-radius:16px;background:#f3efe5}.poster-full-size-action{display:none;min-height:44px;align-items:center;margin-top:.45rem;font-weight:800}.poster-transcript-lines p{margin:.35rem 0;color:var(--muted);font-size:.8rem;line-height:1.55}.generated-visual-disclosure{margin:1rem 0 2.25rem;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.generated-visual-disclosure summary{display:flex;min-height:44px;align-items:center;color:var(--accent-dark);cursor:pointer;font-size:.84rem;font-weight:800}.generated-visual-disclosure p{max-width:800px;margin:.15rem 0 .85rem;color:var(--muted);font-size:.82rem}.family-explanation-link{display:flex;align-items:center;justify-content:space-between;gap:1.25rem;margin:1rem 0 2rem;padding:1rem 1.2rem;border:1px solid #745b2f;border-radius:16px;background:#3a2818;color:var(--ink)}.family-explanation-link>div{min-width:0}.family-explanation-link h2,.family-explanation-link p{margin:.2rem 0}.family-explanation-link p:last-child{max-width:48rem;color:#ded6c8}.family-explanation-link .button{flex:0 0 auto}.notation-guide{padding:1.2rem 1.35rem;border:1px solid var(--line);border-radius:18px;background:#0a1d16}.notation-guide h2{margin:.2rem 0 .8rem;font-size:1.35rem}.notation-guide dl{margin:0}.notation-guide p:last-child{color:var(--muted);font-size:.86rem}.wrapper-declaration{margin:1rem 0 2.25rem;border:1px solid var(--line);border-radius:14px;background:var(--card)}.wrapper-declaration>summary{display:flex;min-height:48px;align-items:center;padding:.7rem 1rem;color:var(--accent-dark);cursor:pointer;font-weight:800}.wrapper-declaration>p,.wrapper-declaration>pre,.wrapper-declaration>.source-actions{margin-left:1rem;margin-right:1rem}.wrapper-declaration>.source-actions{margin-bottom:1rem}.theorem-page-guide{position:sticky;z-index:3;top:.5rem;background:#0a1d16e8;backdrop-filter:blur(12px)}@media(max-width:820px){.generated-theorem-poster-preview{grid-template-columns:1fr}.single-artifact-route,.family-explanation-link{align-items:flex-start;flex-direction:column}.single-artifact-route .button,.family-explanation-link .button{width:100%}.poster-full-size-action{display:inline-flex}.theorem-page-guide{position:static}}@media print{.catalog-proof-hero,.formalization-hero,.catalog-proof-hero header,.formalization-hero header,.single-artifact-route,.generated-theorem-poster-preview,.family-explanation-link,.notation-guide,.wrapper-declaration,.generated-visual-disclosure{border-color:#66716b!important;background:#fff!important;box-shadow:none!important}.catalog-proof-hero h1,.catalog-proof-hero .lede,.formalization-hero h1,.formalization-hero .lede,.family-explanation-link p:last-child{color:#111!important}.page-guide,.poster-full-size-action{display:none!important}.proof-walkthrough-pages{gap:.4rem}.walkthrough-page{grid-template-columns:42mm minmax(0,1fr)!important;gap:5mm;padding:3mm!important;align-items:start;break-inside:avoid}.walkthrough-page img{max-height:28mm;object-fit:contain}.walkthrough-page figure figcaption{font-size:7pt;line-height:1.25;padding-top:1mm}.walkthrough-page-copy h3{margin:0 0 1mm;font-size:11pt}.walkthrough-page-copy>p{margin:1mm 0;font-size:8pt;line-height:1.35}.walkthrough-equation{margin:1mm 0;padding:1.5mm 2mm}.walkthrough-source-anchors{display:none}.walkthrough-page-number{font-size:16pt}}

.generated-poster-primary-action{display:flex;width:min(100%,36rem);min-height:64px;align-items:center;justify-content:space-between;gap:1rem;margin-top:1.15rem;padding:.9rem 1.05rem;border:1px solid #83c8a4;border-radius:16px;box-shadow:0 14px 32px #00000042;line-height:1.25;text-align:left}
.generated-poster-primary-action>span:first-child{min-width:0}
.generated-poster-primary-action strong{display:block;font-size:1rem}
.generated-poster-primary-action small{display:block;margin-top:.3rem;color:#e1eee7;font-size:.76rem;font-weight:650;line-height:1.4}
.generated-poster-primary-arrow{flex:0 0 auto;font-size:1.45rem;line-height:1}
@media(max-width:820px){.generated-poster-primary-action{width:100%}}
@media(max-width:340px){.generated-poster-primary-action{align-items:flex-start;padding:.8rem}.generated-poster-primary-arrow{font-size:1.2rem}}
@media print{.generated-poster-primary-action{border-color:#66716b!important;background:#fff!important;color:#111!important;box-shadow:none!important}.generated-poster-primary-action small{color:#333!important}}


.formalization-hero>header,.catalog-proof-hero>header{min-width:0}
@media(max-width:900px){
  .proof-intro-grid{display:flex;flex-direction:column;gap:1rem}
  .proof-intro-copy{display:contents}
  .proof-intro-copy>.proof-page-intro{order:1}
  .proof-intro-grid>.proof-infographic{order:2;max-width:none}
  .proof-intro-copy>.plain-statement{order:3}
  .proof-intro-copy>.proof-status-strip{order:4}
  .formalization-hero,.catalog-proof-hero{gap:.5rem}
  .formalization-hero>header,.catalog-proof-hero>header{display:contents}
  .formalization-hero>header>.eyebrow,.catalog-proof-hero>header>.eyebrow{order:1;flex:0 0 100%}
  .formalization-hero>header>h1,.catalog-proof-hero>header>h1{order:2;flex:0 0 100%}
  .formalization-hero>header>.lede,.catalog-proof-hero>header>.lede{order:3;flex:0 0 100%}
  .formalization-hero>.formalization-infographic,.catalog-proof-hero>.formalization-infographic{order:4;flex:0 0 100%;margin-top:.75rem}
  .formalization-hero>header>.hero-status-strip,.catalog-proof-hero>header>.hero-status-strip{order:5;flex:0 0 100%;margin:1rem 0 0}
  .cohort-intro-grid{gap:.65rem}
  .cohort-intro-copy{display:contents}
  .cohort-intro-copy>.eyebrow{order:1}
  .cohort-intro-copy>h1{order:2}
  .cohort-intro-copy>.lede{order:3}
  .cohort-intro-grid>.cohort-map{order:4;margin-top:.75rem}
  .cohort-intro-copy>.quick-boundary{order:5}
  .cohort-intro-copy>.cohort-status-strip{order:6;margin:1rem 0 0}
}
@media print{
  .proof-intro-copy,.formalization-hero>header,.catalog-proof-hero>header,.cohort-intro-copy{display:block}
}

.generated-poster-link picture,.generated-theorem-visual picture,.walkthrough-page picture{display:block}.generated-poster-link picture{width:100%}.source-bundle-scope{color:var(--muted);font-size:.82rem;line-height:1.55}

.theorem-graph-controls button{min-height:44px}.supporting-definitions h3{text-wrap:balance}@media(max-width:340px){.supporting-definitions h3 code{font-size:.8125rem;letter-spacing:-.02em}}

.catalog-footprint-compact{display:flex!important;flex-direction:column;gap:.12rem;margin:.65rem 0!important;padding-top:.65rem;border-top:1px solid var(--line);overflow:visible!important}.catalog-footprint-compact strong{color:var(--ink);font-size:.8rem}.catalog-footprint-compact span{color:var(--muted);font-size:.74rem;line-height:1.4}.atlas-snapshot>div:last-of-type{border-right:0}.snapshot-method{grid-column:1/-1;margin:0;padding:.7rem 1rem;border-top:1px solid var(--line);color:var(--muted);font-size:.75rem;line-height:1.45}.catalog-footprint-method,.artifact-footprint-method{color:var(--muted);font-size:.75rem;line-height:1.5}.catalog-footprint-method{max-width:900px;margin:.7rem 0 1.5rem}.artifact-footprint-method{max-width:900px;margin:-1.4rem 0 2rem}.formalization-footprint,.computation-footprint{padding:clamp(1rem,2.8vw,1.6rem);border:1px solid var(--line);border-radius:22px;background:linear-gradient(145deg,#102d23,#081b14);box-shadow:0 18px 52px #00000035}.formalization-footprint-heading{display:flex;align-items:end;justify-content:space-between;gap:1rem}.formalization-footprint-heading h2,.formalization-footprint-heading p{margin:.15rem 0}.formalization-footprint-heading .text-link{flex:0 0 auto}.formalization-footprint-grid{grid-template-columns:repeat(auto-fit,minmax(min(12rem,100%),1fr));gap:.75rem;margin:1.25rem 0}.formalization-footprint-grid div{display:flex;min-width:0;min-height:112px;flex-direction:column;justify-content:flex-end;gap:.35rem;padding:1rem;border:1px solid #3b5c4d;border-radius:15px;background:#071812}.formalization-footprint-grid dt{color:var(--muted);font-size:.75rem;line-height:1.35}.formalization-footprint-grid dd{color:var(--accent-dark);font:800 clamp(1.5rem,3vw,2.2rem)/1 ui-serif,Georgia,serif;word-break:normal}.footprint-method{max-width:900px;margin:1rem 0 0;padding-top:1rem;border-top:1px solid var(--line);color:var(--muted);font-size:.78rem;line-height:1.55}.footprint-method strong{color:var(--ink)}.artifact-footprint-strip{display:flex;align-items:center;flex-wrap:wrap;gap:.55rem .75rem;margin:1rem 0 2rem;padding:.75rem .85rem;border:1px solid var(--line);border-radius:14px;background:#0a1d16;color:var(--muted);font-size:.76rem}.artifact-footprint-strip span{display:inline-flex;align-items:center;min-height:28px;gap:.24rem;padding-right:.75rem;border-right:1px solid var(--line)}.artifact-footprint-strip strong{color:var(--ink);font-size:.86rem}.artifact-footprint-strip a{margin-left:auto;font-weight:800}.computation-footprint{display:grid;grid-template-columns:minmax(0,1.1fr) minmax(18rem,.9fr);gap:1.5rem;align-items:center}.computation-footprint h2,.computation-footprint p{margin:.2rem 0}.computation-footprint>div>p:last-child{color:var(--muted)}.computation-footprint dl{margin:0}.computation-footprint dl div{grid-template-columns:minmax(0,1fr);gap:.2rem;padding:.75rem 0}.computation-footprint dd{color:var(--accent-dark);font:800 1.7rem/1 ui-serif,Georgia,serif}.proof-architecture-scope{margin:.25rem 0 1rem;padding:.75rem .9rem;border-left:3px solid var(--accent);background:#071812;color:var(--muted);font-size:.8rem}.source-line-count{display:block;color:var(--muted);font-size:.72rem;line-height:1.35}.source-starting-files em{margin-top:.35rem;color:var(--accent-dark);font-size:.72rem;font-style:normal;font-weight:750}.source-directory-group>summary [data-source-directory-count]{white-space:nowrap}
@media(max-width:760px){.formalization-footprint-heading{align-items:flex-start;flex-direction:column}.formalization-footprint-heading .text-link{min-height:44px}.computation-footprint{grid-template-columns:1fr}.artifact-footprint-strip{align-items:stretch;flex-direction:column}.artifact-footprint-strip span{border-right:0}.artifact-footprint-strip a{margin-left:0;min-height:44px;align-items:center;display:inline-flex}}
@media(max-width:340px){.atlas-snapshot>div:last-of-type{border-bottom:0}.formalization-footprint,.computation-footprint{padding:.7rem}.formalization-footprint-grid div{min-height:0;padding:.75rem}.formalization-footprint-grid dd{font-size:1.4rem}}
@media print{.formalization-footprint,.computation-footprint,.formalization-footprint-grid div,.artifact-footprint-strip{border-color:#66716b!important;background:#fff!important;box-shadow:none!important}.formalization-footprint,.computation-footprint{break-inside:avoid}}

.image-lightbox-trigger{position:relative;display:block;width:100%;min-width:0;padding:0;border:0;background:transparent;color:inherit;text-align:inherit;cursor:zoom-in}.image-lightbox-trigger .image-zoom-hint{position:absolute;right:.65rem;bottom:.65rem;padding:.32rem .55rem;border:1px solid #f0cf7d88;border-radius:999px;background:#071812e8;color:#f7dfaa;font-size:.72rem;font-weight:800;letter-spacing:.03em;opacity:0;pointer-events:none;transform:translateY(.25rem);transition:opacity .16s ease,transform .16s ease}.image-lightbox-trigger:hover .image-zoom-hint,.image-lightbox-trigger:focus-visible .image-zoom-hint{opacity:1;transform:none}.image-lightbox-text-trigger{padding:0;border:0;background:transparent;color:var(--accent-dark);font:800 1rem/1.4 ui-sans-serif,system-ui,sans-serif;text-decoration:underline;text-underline-offset:.16em;cursor:zoom-in}.image-lightbox{width:min(96vw,1200px);max-width:none;height:min(94vh,980px);max-height:none;padding:0;border:1px solid #6e8a78;border-radius:22px;background:#071812;color:var(--ink);box-shadow:0 28px 90px #000b;overflow:hidden}.image-lightbox::backdrop{background:#020806e8;backdrop-filter:blur(5px)}.image-lightbox-frame{display:grid;height:100%;grid-template-rows:auto minmax(0,1fr) auto;padding:1rem}.image-lightbox-header{display:flex;align-items:center;justify-content:space-between;gap:1rem;padding:0 0 .75rem}.image-lightbox-header h2{margin:0;font-size:1.25rem}.image-lightbox-close{display:inline-flex;min-height:44px;align-items:center;gap:.4rem;padding:.45rem .8rem;border:1px solid #6e8a78;border-radius:999px;background:#102d23;color:var(--ink);font:800 .85rem/1 ui-sans-serif,system-ui,sans-serif;cursor:pointer}.image-lightbox-close span{font-size:1.3rem}.image-lightbox figure{display:grid;min-height:0;margin:0;grid-template-rows:minmax(0,1fr) auto}.image-lightbox figure img{display:block;min-width:0;max-width:100%;height:100%;max-height:calc(94vh - 10rem);margin:auto;border:1px solid #365847;border-radius:14px;background:#f3efe5;object-fit:contain}.image-lightbox figcaption{max-width:900px;margin:auto;padding:.65rem .25rem 0;color:var(--muted);font-size:.82rem;line-height:1.45;text-align:center}.image-lightbox-original{display:inline-flex;min-height:44px;align-items:center;justify-self:center;padding-top:.35rem;font-weight:800}@media(max-width:620px){.image-lightbox-trigger .image-zoom-hint{position:static;display:flex;width:max-content;margin:.45rem 0 0 auto;opacity:1;transform:none}.image-lightbox{width:100vw;height:100dvh;border:0;border-radius:0}.image-lightbox-frame{padding:.7rem}.image-lightbox figure img{max-height:calc(100dvh - 10rem)}.image-lightbox figcaption{font-size:.75rem}.image-lightbox-header h2{font-size:1.05rem}}@media print{.image-zoom-hint,.image-lightbox{display:none!important}}

.image-lightbox{box-sizing:border-box;width:calc(100vw - 1rem);max-width:none;height:calc(100vh - 1rem);height:calc(100dvh - 1rem);max-height:none;margin:auto}.image-lightbox-frame{box-sizing:border-box;padding:.55rem .65rem .4rem}.image-lightbox-header{padding-bottom:.35rem}.image-lightbox-header h2{font-size:1.05rem}.image-lightbox figure{overflow:auto}.image-lightbox figure img{width:auto;height:auto;max-width:100%;max-height:100%;background:transparent;object-fit:initial}.image-lightbox.image-lightbox-portrait figure{display:block;overflow:auto;text-align:center}.image-lightbox.image-lightbox-portrait figure img{width:min(100%,64rem);height:auto;max-height:none;margin:0 auto}.image-lightbox figcaption{padding-top:.35rem}.image-lightbox-original{padding-top:0}@media(max-width:620px){.image-lightbox{width:100vw;height:100vh;height:100dvh}.image-lightbox:not(.image-lightbox-portrait){height:fit-content;max-height:100dvh}.image-lightbox:not(.image-lightbox-portrait) .image-lightbox-frame{height:auto}.image-lightbox-frame{padding:.45rem}.image-lightbox-header{padding-bottom:.2rem}}

.featured-layout:hover,.featured-layout:focus-within{border-color:var(--accent);box-shadow:0 22px 58px #00000058}.discovery-featured-layout{align-items:stretch;color:inherit;text-decoration:none}.discovery-featured-art{display:grid;min-width:0;place-items:center;margin:0;padding:1rem;border:1px solid #746b54;border-radius:16px;background:#f3efe5}.discovery-featured-art picture{display:grid;width:100%;place-items:center}.discovery-featured-art img{display:block;width:auto;max-width:100%;height:auto;max-height:40rem;border-radius:10px}.discovery-featured-art figcaption{margin-top:.7rem;color:#425248;font-size:.78rem;text-align:center}.discovery-featured-copy{display:flex;min-width:0;flex-direction:column}.featured-question{margin-top:0}.featured-result-matrix{display:grid;gap:.55rem;margin:.65rem 0 1rem}.featured-result-track{display:grid;grid-template-columns:minmax(7rem,.9fr) minmax(8rem,1fr) minmax(9rem,1.15fr) minmax(8rem,1fr);overflow:hidden;border:1px solid #3d6252;border-radius:14px;background:#071812}.featured-result-track>div{display:flex;min-width:0;flex-direction:column;padding:.7rem .75rem;border-right:1px solid var(--line)}.featured-result-track>div:last-child{border-right:0}.featured-result-track small{color:var(--accent);font-size:.65rem;font-weight:850;letter-spacing:.08em;text-transform:uppercase}.featured-result-track strong{margin-top:.2rem;color:var(--ink);font-size:.82rem;line-height:1.35}.featured-proof-route{display:flex;flex-wrap:wrap;align-items:center;gap:.35rem .55rem;margin:.2rem 0 1rem;color:var(--muted);font-size:.82rem}.featured-proof-route strong{color:var(--ink)}.featured-proof-route span{padding:.18rem .42rem;border:1px solid #3d6252;border-radius:999px;background:#0a1d16}.featured-proof-route i{color:var(--accent);font-style:normal}.featured-boundary{margin:.25rem 0 1.15rem}.discovery-featured-copy .button{align-self:flex-start;margin-top:auto}.discovery-featured-layout:focus-visible{outline:3px solid var(--focus);outline-offset:4px}@media(max-width:1100px){.featured-result-track{grid-template-columns:repeat(2,minmax(0,1fr))}.featured-result-track>div{border-bottom:1px solid var(--line)}.featured-result-track>div:nth-child(2n){border-right:0}.featured-result-track>div:nth-last-child(-n+2){border-bottom:0}}@media(max-width:900px){.discovery-featured-art img{width:min(100%,31rem);max-height:none}.discovery-featured-copy .button{align-self:stretch;justify-content:center;text-align:center}}@media(max-width:520px){.featured-result-track{grid-template-columns:1fr}.featured-result-track>div,.featured-result-track>div:nth-child(2n){border-right:0;border-bottom:1px solid var(--line)}.featured-result-track>div:last-child{border-bottom:0}.featured-proof-route{align-items:stretch;flex-direction:column}.featured-proof-route i{align-self:center;transform:rotate(90deg)}}

.featured-result-track{grid-template-columns:repeat(2,minmax(0,1fr))}.featured-result-track>div{border-bottom:1px solid var(--line)}.featured-result-track>div:nth-child(2n){border-right:0}.featured-result-track>div:nth-last-child(-n+2){border-bottom:0}@media(max-width:520px){.featured-result-track{grid-template-columns:1fr}.featured-result-track>div,.featured-result-track>div:nth-child(2n),.featured-result-track>div:nth-last-child(-n+2){border-right:0;border-bottom:1px solid var(--line)}.featured-result-track>div:last-child{border-bottom:0}}
.catalog-grid{grid-template-columns:repeat(auto-fit,minmax(min(20rem,100%),1fr))}.catalog-grid>.catalog-card:last-child:nth-child(3n+1){grid-column:auto}.trust-model{grid-template-columns:repeat(auto-fit,minmax(min(22rem,100%),1fr))}.evidence-flow,.collaboration-grid{grid-template-columns:repeat(auto-fit,minmax(min(16rem,100%),1fr))}.home-catalog-list{grid-template-columns:repeat(auto-fit,minmax(min(30rem,100%),1fr))}.home-catalog-list>.home-catalog-item:last-child:nth-child(odd){grid-column:auto;width:auto;justify-self:stretch}.status-guide{grid-template-columns:repeat(auto-fit,minmax(min(22rem,100%),1fr))}.status-guide-grid{grid-template-columns:repeat(auto-fit,minmax(min(18rem,100%),1fr))}.source-tree-single{margin:1rem 0;padding:1rem;border-left:3px solid var(--accent);background:#071812;color:var(--muted);font-size:.88rem}
@media(max-width:620px){.evidence-flow,.collaboration-grid,.home-catalog-list,.status-guide,.status-guide-grid{grid-template-columns:1fr}}
.library-landmarks{margin:3rem 0}.library-landmarks-link{display:grid;grid-template-columns:minmax(260px,.82fr) minmax(0,1.18fr);gap:clamp(1.25rem,4vw,3rem);align-items:center;padding:clamp(1rem,3vw,2rem);border:1px solid #5b704f;border-radius:24px;background:linear-gradient(145deg,#102d23,#081b14);box-shadow:0 18px 52px #00000035;color:inherit;text-decoration:none;transition:border-color .16s ease,box-shadow .16s ease,transform .16s ease}.library-landmarks-link:visited{color:inherit}.library-landmarks-link:hover,.library-landmarks-link:focus-visible{border-color:var(--accent);box-shadow:0 24px 64px #00000055,0 0 0 1px #f0cf7d33;transform:translateY(-3px)}.library-landmarks-link:focus-visible{outline:3px solid var(--focus);outline-offset:4px}.library-landmarks-link:hover .button,.library-landmarks-link:focus-visible .button{background:var(--button-hover)}.library-landmarks-art,.library-landmarks-copy{min-width:0}.library-landmarks-art{overflow:hidden;border:1px solid #4d6758;border-radius:18px;background:#0a1d16}.library-landmarks-art img{display:block;width:100%;height:auto;aspect-ratio:3/2;object-fit:cover}.library-landmarks-copy h2{margin:.2rem 0 .75rem}.library-landmarks-copy>.boundary{margin:1.1rem 0}.library-landmarks-facts{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(9.5rem,100%),1fr));gap:.6rem;margin:1rem 0}.library-landmarks-facts div{display:grid;min-width:0;grid-template-columns:minmax(0,1fr);gap:.15rem;padding:.7rem;border-top:2px solid var(--accent);background:#071812}.library-landmarks-facts dt{color:var(--muted);font-size:.7rem;text-transform:uppercase;letter-spacing:.08em}.library-landmarks-facts dd{margin:.2rem 0 0;overflow-wrap:anywhere;font-family:ui-serif,Georgia,serif;font-weight:700}@media(min-width:901px){.hero-copy h1{font-size:clamp(3rem,7vw,5.8rem)}}@media(max-width:760px){.library-landmarks-link{grid-template-columns:minmax(0,1fr)}}@media(prefers-reduced-motion:reduce){.library-landmarks-link{transition:none}.library-landmarks-link:hover,.library-landmarks-link:focus-visible{transform:none}}@media print{.library-landmarks-link,.library-landmarks-art,.library-landmarks-facts div{border-color:#66716b!important;background:#fff!important;box-shadow:none!important;transform:none!important}.library-landmarks{break-inside:avoid}}

.status-guide{grid-template-columns:1fr}.poster-full-size-action{display:none}@media(min-width:621px) and (max-width:820px){.poster-full-size-action{display:inline-flex}}@media(max-width:620px){.image-lightbox{width:100vw;height:fit-content;max-height:100dvh;overflow:auto}.image-lightbox-frame{height:auto}.image-lightbox.image-lightbox-portrait figure img{width:auto;max-width:100%;max-height:calc(100dvh - 10rem)}}@media(prefers-reduced-motion:reduce){.image-zoom-hint,.technical-summary summary:after,.statement-disclosure summary:after,.review-summary summary:after{transition:none}}

.skip-link{z-index:1000}
.hero-copy{position:relative;z-index:2}
.hero-copy h1{max-width:100%;white-space:normal;overflow:visible}
button:focus-visible,summary:focus-visible,.image-lightbox figure:focus-visible,.image-lightbox-close:focus{outline:3px solid var(--focus);outline-offset:3px;border-radius:8px}
.image-lightbox-trigger{text-decoration:none}
html.lightbox-open,html.lightbox-open body{overflow:hidden}
.image-lightbox-load-error figure img{visibility:hidden}
.image-lightbox-load-error figure{min-height:12rem}
[data-source-filter-controls]{display:none}
[data-source-browser].source-filter-enabled [data-source-filter-controls]{display:block}
.source-tree-browser [data-source-filter-controls]>label{display:block;margin-bottom:.4rem;color:var(--ink);font-weight:800}
.source-tree-browser [data-source-filter-controls]>input{width:min(100%,38rem);min-height:46px;padding:.65rem .8rem;border:1px solid #4a6d5d;border-radius:10px;background:#071812;color:var(--ink);font:inherit}
.source-tree-browser [data-source-filter-controls]>input:focus-visible{outline:3px solid var(--focus);outline-offset:2px}
.source-tree>summary{display:flex;min-height:48px;align-items:center;cursor:pointer}
@media(max-width:620px){.source-tree-browser [data-source-filter-controls]>input{width:100%}}
@media print{.image-lightbox,[data-source-filter-controls]{display:none!important}details:not([open])>:not(summary){display:block!important}[data-source-browser] [hidden]{display:block!important}.opened-proposition,.wrapper-declaration,.technical-evidence,.publication-gates,.source-tree,.source-directory-group,.generated-visual-disclosure{background:#fff!important;color:#111!important}.opened-proposition pre,.wrapper-declaration pre{background:#fff!important;color:#111!important}}

.site-header nav a[aria-current]{position:relative;background:#2b2418;box-shadow:inset 0 -.18rem 0 var(--accent);color:var(--accent-dark);padding-inline:.55rem}
pre{font-size:.8125rem}
.opened-proposition pre,.exact-statement pre{font-size:clamp(.875rem,1.3vw,.975rem);line-height:1.65}
.theorem-dependency-svg{width:max(100%,65rem)}
.theorem-graph-artifact-kicker,.theorem-graph-current-label,.theorem-graph-lane-label{font-size:11px}
.theorem-graph-node-kind{font-size:11px}
.theorem-graph-edge text{font-size:12px}
.theorem-graph-legend{font-size:.8125rem}
.theorem-graph-node{cursor:default}
a.theorem-graph-node{cursor:pointer}
.theorem-graph-node-unlinked{cursor:help}
.source-closure-group{margin:2rem 0;padding:1.25rem;border:1px solid var(--line);border-radius:20px;background:#0a1d16}
.source-closure-group>h2,.source-closure-group>p{margin:.25rem 0 .8rem}
.source-artifact-declaration{color:var(--accent-dark);overflow-wrap:anywhere}
.hero-copy{grid-column:1;grid-row:1;align-self:end;padding-bottom:1rem}
.hero-explainer{z-index:2;grid-column:1;grid-row:2;align-self:start;margin:0;padding:0 max(2rem,calc((100vw - 1120px)/2)) 5rem;padding-right:2.5rem;color:#cfddd4}
.hero-art{grid-column:2;grid-row:1/3}
@media(max-width:900px){
  .atlas-hero{grid-template-rows:auto auto auto}
  .hero-copy{grid-column:1;grid-row:1;padding:2.25rem 1.4rem 1.25rem}
  .hero-explainer{grid-column:1;grid-row:2;padding:0 1.4rem 2rem}
  .hero-art{grid-column:1;grid-row:3;height:240px;min-height:0}
  .hero-art img{min-height:240px}
}
@media(max-width:620px){
  .candidate{padding:.45rem .75rem;font-size:.8rem;line-height:1.25}
  .site-header{display:grid;grid-template-columns:auto minmax(0,1fr);padding:.6rem 1rem;gap:.35rem .75rem}
  .site-header .brand{gap:.45rem;font-size:.9rem}
  .site-header .brand-mark{width:1.9rem;height:1.9rem}
  .site-header nav{gap:.25rem}
  .site-header nav[data-nav-count="2"]{grid-template-columns:repeat(2,minmax(0,1fr))}
  .site-header nav[data-nav-count="3"]{grid-template-columns:repeat(3,minmax(0,1fr))}
  .site-header nav[data-nav-count="4"]{grid-template-columns:repeat(4,minmax(0,1fr))}
  .site-header nav a{font-size:.75rem}
  .breadcrumb-separator{display:none}
  .breadcrumb-segment{grid-template-columns:minmax(0,1fr)}
  .hero-art{height:220px}
  .hero-art img{min-height:220px}
  .exact-statement pre{font-size:clamp(.875rem,1.3vw,.975rem)}
  .theorem-dependency-svg{width:65rem}
}
@media(max-width:370px){
  .site-header{grid-template-columns:1fr}
  .site-header nav[data-nav-count="4"]{grid-template-columns:repeat(2,minmax(0,1fr))}
}
@media(max-width:220px){
  .site-header nav[data-nav-count]{grid-template-columns:1fr}
}

.brand{gap:.5rem}.brand-mark{display:block;flex:0 0 auto;width:2.55rem;height:2.55rem;overflow:visible;border:0;border-radius:0;background:transparent;color:inherit;font:inherit}.brand-wordmark{font:800 1.08rem/1 ui-serif,Georgia,serif;letter-spacing:-.035em}.footer-brand{display:inline-flex;align-items:center;gap:.42rem;color:var(--ink);text-decoration:none}.footer-brand .brand-mark{width:2rem;height:2rem}.footer-brand .brand-wordmark{font-size:.98rem}
@media(max-width:620px){.site-header .brand-mark{width:2.3rem;height:2.3rem}.site-header .brand-wordmark{font-size:1rem}}
@media(max-width:345px){.site-header .brand-mark{width:2.05rem;height:2.05rem}.site-header .brand-wordmark{font-size:.95rem}}
@media(max-width:280px){.site-header .brand-mark{width:1.85rem;height:1.85rem}.site-header .brand-wordmark{font-size:.875rem}.footer-brand .brand-mark{width:1.75rem;height:1.75rem}}
@media print{.brand-mark{border:0!important}.brand-atlas-ring,.brand-atlas-arc,.brand-route{stroke:#111!important}.brand-node,.brand-gate{fill:#fff!important;stroke:#111!important}.brand-gate-core{fill:#111!important}}

.library-landmarks-link:hover,.library-landmarks-link:focus-visible{transform:none}