/* The public argument: one ordered reading path, exact geometry, open calculations. */
.proof-main{max-width:1260px;padding-top:62px}.proof-main h2{font-size:clamp(2rem,4.5vw,3.4rem);line-height:1.12;letter-spacing:-.035em}.proof-main h3{font-size:1.55rem;line-height:1.3;letter-spacing:-.02em}.proof-main p{max-width:78ch}.proof-main .eyebrow{font-size:.875rem;margin-bottom:18px}.proof-hero{display:grid;grid-template-columns:1.05fr 1fr;gap:64px;align-items:center;padding-bottom:60px}.proof-hero .proof-title{font-size:clamp(3rem,6vw,5.75rem);margin-bottom:26px}.proof-deck{font-size:1.5rem;line-height:1.45;color:var(--ink)}.proof-hero p:not(.eyebrow):not(.proof-deck){color:var(--muted)}.proof-actions{display:flex;gap:24px;flex-wrap:wrap;align-items:center;margin-top:30px}.hero-proof{border:1px solid var(--line);background:radial-gradient(ellipse at 50% 40%,#153b41 0%,#0c1923 68%);padding:28px}.hero-proof img{width:100%;height:auto;display:block;transition:transform .3s}.hero-proof a:hover img{transform:scale(1.025)}.hero-equation{display:flex;align-items:baseline;justify-content:space-between;gap:16px;padding-top:18px;border-top:1px solid #42616b}.hero-equation strong{font-size:2rem;color:var(--accent)}.hero-equation span{font-size:.875rem}.hero-proof>p:last-child{font-size:.875rem;margin-bottom:0}.proof-nav{position:sticky;top:0;z-index:20;display:flex;gap:6px;background:#081016f5;backdrop-filter:blur(12px);border-block:1px solid var(--line);overflow:auto;padding:14px 0;scrollbar-width:thin}.proof-nav a{white-space:nowrap;text-decoration:none;padding:10px 13px;border-radius:4px;color:var(--muted);font-size:.9375rem}.proof-nav a:hover,.proof-nav a[aria-current]{background:#153238;color:var(--accent)}.proof-intro{display:grid;grid-template-columns:.8fr 1.2fr;gap:72px;padding:70px 0}.proof-intro h2{margin-top:0}.proof-intro p:first-child{margin-top:0}.proof-intro p{color:var(--muted)}.proof-intro strong{color:var(--ink)}.proof-chapter{border-top:1px solid var(--line);padding:64px 0 72px;scroll-margin-top:96px}.chapter-heading{display:flex;gap:28px;align-items:baseline;margin-bottom:38px}.chapter-heading>span{font-size:1rem;color:var(--accent);font-family:ui-monospace,monospace;border-top:2px solid var(--accent);padding-top:10px}.chapter-heading h2{margin:0}.proof-chapter .theory-point{border:0;padding-top:20px;margin-top:0}.proof-chapter .theory-copy h3{font-size:1.8rem}.proof-chapter .theory-number{color:var(--accent)}.proof-chapter .foundation-part{padding-top:28px;margin-top:32px}.proof-chapter .foundation-part>h3{font-size:2rem}.proof-chapter .theory-heading{min-height:0}.proof-split{display:grid;grid-template-columns:1fr 1fr;gap:48px;align-items:start}.proof-note{border-left:3px solid var(--accent);background:#0f202a;padding:24px 28px}.proof-note h3:first-child{margin-top:0}.proof-note p:last-child{margin-bottom:0}.proof-note p,.proof-note li{color:var(--muted)}.proof-note li{margin-bottom:12px}.proof-copy{max-width:800px;margin:32px 0}.proof-lead{font-size:1.35rem;line-height:1.6}.proof-main .shape-card{background:#0d1c25;border:1px solid var(--line);box-shadow:none}.proof-main .shape-card h2{font-size:1.6rem}.proof-main .shape-kicker{font-size:.875rem}.proof-main .shapes{gap:24px}.proof-main .shape-card .model-stage{height:320px}.proof-main .model-controls button,.proof-main button,.proof-main select{font:inherit;font-size:.9375rem}.proof-main .particle-models{grid-template-columns:repeat(2,minmax(0,1fr))}.proof-main details{scroll-margin-top:100px}.proof-main summary{font-size:1rem}.proof-main .theory-detail{background:transparent;border:1px solid var(--line);border-radius:4px;padding:18px 22px;margin:24px 0}.proof-main details[open]>summary{margin-bottom:22px}.proof-main details[open]{background:#0b1821}.proof-main .theory-detail p{line-height:1.75}.proof-main .foundation-equation{font-size:1.05rem;line-height:1.9;overflow-wrap:anywhere}.proof-main .foundation-table{overflow:auto}.proof-main table{width:100%;border-collapse:collapse}.proof-main table caption{text-align:left;color:var(--accent);padding:12px 0}.proof-main th,.proof-main td{text-align:left;border-bottom:1px solid var(--line);padding:14px;font-size:1rem;line-height:1.55}.proof-tool{display:grid;grid-template-columns:1fr 1fr;gap:44px;border:1px solid #37616b;background:#102630;padding:32px;margin:40px 0}.proof-tool h3{margin-top:0}.proof-inputs{display:flex;gap:18px}.proof-inputs label{display:flex;flex-direction:column;gap:8px;flex:1;min-width:0;font-size:.9375rem;color:var(--muted)}.proof-inputs input{width:100%;min-width:0;background:#08151d;color:var(--ink);border:1px solid #52717b;border-radius:4px;font:inherit;font-size:1.15rem;padding:12px}.proof-presets{display:flex;gap:10px;flex-wrap:wrap;margin:22px 0}.proof-presets button{background:#16353e;color:var(--ink);border:1px solid #52717b;border-radius:4px;padding:10px 14px;cursor:pointer;min-height:44px}.proof-presets button:hover{border-color:var(--accent)}.proof-result{font-family:ui-monospace,monospace;font-size:1.2rem;line-height:1.8;color:var(--accent);overflow-wrap:anywhere}.proof-tool [aria-live] p{overflow-wrap:anywhere}.proton-build{display:grid;grid-template-columns:1.3fr .7fr;gap:24px;align-items:center}.proton-build figure{margin:0;min-width:0}.single-proton canvas,.single-proton .archivable-view{width:100%;height:420px}.single-proton canvas{touch-action:pan-y;display:block}.single-proton figcaption{font-size:.9375rem;color:var(--muted);padding:12px 0}.single-proton .proton-controls{display:flex;flex-wrap:wrap;gap:18px;align-items:center}.single-proton select{max-width:100%;background:#102630;color:var(--ink);border:1px solid #52717b;padding:9px}.proton-live-ledger{background:#0b1a23;padding:24px}.proton-live-ledger h3{font-size:2.4rem;color:var(--accent);margin:10px 0 20px}.proton-live-ledger dl>div{display:flex;justify-content:space-between;gap:16px;padding:12px 0;border-bottom:1px solid var(--line)}.proton-live-ledger dt{color:var(--muted)}.proton-live-ledger dd{margin:0;font-weight:650}.proof-steps{list-style:none;counter-reset:proof;display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:1px;background:var(--line);border:1px solid var(--line);padding:0;margin:32px 0}.proof-steps li{background:#0d1d26;padding:26px;counter-increment:proof}.proof-steps li::before{content:'0' counter(proof);display:block;font-family:ui-monospace,monospace;color:var(--accent);margin-bottom:12px}.proof-steps strong,.proof-steps span{display:block}.proof-steps strong{font-size:1.18rem;margin-bottom:10px}.proof-steps span{color:var(--muted)}.flat-references{max-width:650px;margin:24px auto}.flat-references img{max-width:100%;height:auto}.research-gates{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:24px;margin:38px 0}.research-gates article{padding:28px;border:1px solid var(--line);background:#0d1d26}.research-gates article>span{color:var(--accent);font-size:.9375rem}.research-gates h3{margin-top:12px}.research-gates p{color:var(--muted)}.proof-contact{border-block:1px solid #4d7580;display:flex;justify-content:space-between;align-items:center;gap:40px;padding:34px 0}.proof-contact>div{max-width:680px}.proof-contact .button{flex-shrink:0}.proof-applications{margin-top:26px;color:var(--muted)}.proof-record{padding:48px 0;border-top:1px solid var(--line)}.record-links{display:grid;grid-template-columns:1fr 1fr;gap:14px;margin:28px 0}.record-links a{border:1px solid var(--line);padding:18px}.proof-record .foundation-part{font-size:.9375rem}.proof-main [id]{scroll-margin-top:110px}.archive-edition .proof-nav{position:static}.archive-edition .proof-presets,.archive-edition .proof-inputs{display:none}.archive-edition .single-proton .archivable-view{height:420px}.archive-edition details{break-inside:auto}.archive-edition .proof-tool{display:block}.archive-edition .proof-tool>div{margin-bottom:22px}.archive-edition .hero-proof img{max-height:300px;object-fit:contain}.proof-main :focus-visible{outline:3px solid var(--accent);outline-offset:5px}
@media(max-width:960px){.proof-hero{gap:32px}.proof-hero .proof-title{font-size:3.5rem}.hero-equation{display:block}.hero-equation span{display:block}.proof-intro{gap:32px}.proof-split{gap:28px}.proton-build{grid-template-columns:1fr}.proton-live-ledger dl{display:grid;grid-template-columns:1fr 1fr;gap:0 24px}.proof-contact{align-items:start;flex-direction:column}.proof-nav a{padding:9px 11px}.proof-tool{gap:28px;padding:24px}}
@media(max-width:680px){.proof-main{padding-top:36px}.proof-hero,.proof-intro,.proof-split,.proof-tool{grid-template-columns:1fr;gap:24px}.proof-hero{padding-bottom:30px}.proof-hero .proof-title{font-size:3.3rem}.hero-proof{padding:20px}.proof-intro{padding:38px 0}.proof-main h2{font-size:2.1rem}.chapter-heading{gap:18px;margin-bottom:24px}.proof-chapter{padding:40px 0}.proof-main .shapes,.proof-main .particle-models,.proof-steps,.research-gates,.record-links{grid-template-columns:1fr}.proof-main .shape-card .model-stage{height:290px}.single-proton canvas,.single-proton .archivable-view{height:330px}.proof-note{padding:20px}.proof-inputs{gap:12px}.proof-tool{padding:20px}.proton-live-ledger dl{grid-template-columns:1fr}.single-proton .proton-controls{align-items:start;flex-direction:column}.proof-nav{margin-inline:-8px;padding-inline:8px}.proof-main .theory-figure .archivable-view{height:300px}.proof-main table{min-width:490px}.proof-main .foundation-equation{font-size:1rem}.proof-contact h3{font-size:1.7rem}}
@media(prefers-reduced-motion:reduce){.hero-proof img{transition:none}}
@media print{.proof-nav,.proof-actions,.proof-presets,.proton-controls,.lsm-angles,.model-controls,.theory-controls,.proof-inputs{display:none}.proof-main{width:100%;max-width:none}.proof-chapter{break-before:auto}a{overflow-wrap:anywhere}}

/* Interactive homepage proton; the original poster remains the offline fallback. */
.hero-proton-view{position:relative;aspect-ratio:8/5;width:100%}.hero-proton-view>img,.hero-proton-view>canvas{position:absolute;inset:0;display:block;width:100%;height:100%;object-fit:contain}.hero-proton-view>canvas{visibility:hidden;touch-action:none;cursor:grab}.hero-proton-view>canvas:active{cursor:grabbing}.hero-proton-view[data-live=true]>canvas{visibility:visible}.hero-proton-view[data-live=true]>img{visibility:hidden}.hero-proton-help{display:none;font-size:.875rem;margin:0 0 16px}.hero-proton-view[data-live=true]+.hero-proton-help{display:block}.hero-equation strong a{color:inherit;text-decoration:none}.archive-edition .hero-proton-help{display:none}@media print{.hero-proton-view>canvas{display:none}.hero-proton-view[data-live=true]>img{visibility:visible}.hero-proton-help{display:none}}

.proof-hero .proof-title{font-weight:600;line-height:1.06;letter-spacing:-.045em;margin-top:0}.proof-hero .proof-title span{display:block;color:var(--accent)}