.proof-report{padding-top:66px}.proof-heading{max-width:760px;margin:0 0 48px}.proof-heading .eyebrow{margin:40px 0 24px}.proof-heading h1{letter-spacing:-.065em;margin:0 0 28px;font-size:clamp(56px,7.6vw,94px);font-weight:550;line-height:.98}.proof-heading .engineering-deck{max-width:640px;font-size:23px}.proof-scope-statement{max-width:610px;color:var(--text);margin:24px 0;font-size:15px;line-height:1.7}.proof-top-actions{flex-wrap:wrap;gap:12px;margin-top:30px;display:flex}.proof-kicker{color:var(--muted);font:11px/1.6 var(--font-geist-mono), monospace;text-transform:uppercase;letter-spacing:.075em}.proof-provenance{border-top:1px solid var(--line);border-bottom:1px solid var(--line);grid-template-columns:1.5fr 1fr 1.2fr 1fr;gap:24px;margin:0 0 76px;padding:23px 0;display:grid}.proof-provenance dt,.proof-money-states dt,.proof-metrics dt{color:var(--muted);font:11px/1.6 var(--font-geist-mono), monospace}.proof-provenance dd{font:12px/1.7 var(--font-geist-mono), monospace;overflow-wrap:anywhere;margin:7px 0 0}.proof-provenance a,.proof-text-link,.proof-evidence-links a,.proof-method-body a,.proof-identity a,.proof-reproduce a:not(.button),.proof-figure figcaption a{color:var(--cyan)}.proof-section-label h2{letter-spacing:-.04em;margin:13px 0 15px;font-size:clamp(29px,4vw,40px);font-weight:540;line-height:1.15}.proof-section-label>p:last-child{max-width:650px;color:var(--muted);margin-bottom:30px;font-size:16px;line-height:1.75}.proof-overview{scroll-margin-top:100px}.proof-summary-table table{border-collapse:collapse;width:100%}.proof-summary-table thead th{text-align:left;color:var(--muted);font:11px/1.5 var(--font-geist-mono), monospace;text-transform:uppercase;letter-spacing:.06em;border-bottom:1px solid var(--line);padding:15px 0}.proof-summary-table tbody th,.proof-summary-table td{text-align:left;border-bottom:1px solid var(--line);vertical-align:top;padding:25px 22px 25px 0}.proof-summary-table tbody th{width:29%;font-size:15px;font-weight:500;line-height:1.6}.proof-summary-table th a{align-items:baseline;gap:10px;display:flex}.proof-summary-table th a>span:first-child{color:var(--muted);font:11px/1.6 var(--font-geist-mono), monospace}.proof-summary-table th a>span:last-child{color:var(--cyan);margin-left:auto}.proof-summary-table td:nth-child(2){width:23%}.proof-summary-table td:last-child{width:48%;color:var(--muted);padding-right:0;font-size:14px;line-height:1.75}.proof-summary-table tbody th a:hover{color:var(--cyan)}.proof-verdict{width:max-content;font:11px/1.6 var(--font-geist-mono), monospace;white-space:nowrap;border:1px solid var(--line);background:var(--surface);color:var(--muted);border-radius:4px;align-items:center;gap:8px;padding:5px 9px;display:inline-flex}.proof-verdict>span{background:currentColor;border-radius:50%;width:5px;height:5px}.proof-verdict-holds{color:var(--cyan);border-color:#254b53}.proof-verdict-holds-with-caveat{color:var(--warning);border-color:#53432c}.proof-verdict-does-not-hold{color:#f0aaa4;border-color:#5a3634}.proof-scope{background:var(--surface);border:1px solid var(--line);border-radius:8px;grid-template-columns:1fr 1fr;gap:32px;margin:34px 0 74px;padding:26px 28px;display:grid}.proof-scope p{color:var(--text);margin:9px 0 0;font-size:14px;line-height:1.8}.proof-scope>div:last-child p{color:var(--muted)}.proof-episode,.proof-identity,.proof-reproduce{border-top:1px solid var(--line);margin-top:80px;padding-top:32px;scroll-margin-top:110px}.proof-episode-header{grid-template-columns:45px minmax(0,1fr) auto;align-items:start;gap:20px;display:grid}.proof-episode-number{color:var(--indigo);font:16px/1.6 var(--font-geist-mono), monospace;padding-top:1px}.proof-episode-header .proof-kicker{margin:0 0 10px}.proof-episode-header h2{letter-spacing:-.035em;margin:0;font-size:clamp(26px,3vw,34px);font-weight:540;line-height:1.2}.proof-claim{max-width:770px;color:var(--muted);margin:25px 0 25px 65px;font-size:17px;line-height:1.8}.proof-observation{border-left:2px solid var(--indigo);margin:28px 0;padding-left:20px}.proof-observation .proof-kicker{margin:0 0 7px}.proof-observation>p:last-child{max-width:830px;margin:0;font-size:18px;line-height:1.75}.proof-metrics{flex-wrap:wrap;gap:25px 55px;margin:28px 0;display:flex}.proof-metrics dd{font:24px/1.4 var(--font-geist-mono), monospace;letter-spacing:-.04em;margin:7px 0 0}.proof-no-data{border:1px dashed var(--line);border-radius:7px;margin:28px 0;padding:26px 28px}.proof-no-data p{color:var(--muted);margin:8px 0 0;font-size:14px;line-height:1.7}.proof-caveat{border-left:2px solid var(--warning);color:#c9c0b3;background:#12100c;padding:15px 18px;font-size:14px;line-height:1.8}.proof-caveat strong{color:var(--warning);font-weight:550}.proof-method,.proof-terminal{border:1px solid var(--line);background:var(--surface);border-radius:7px;margin-top:24px}.proof-method summary,.proof-terminal summary{cursor:pointer;padding:18px 21px;font-size:14px;line-height:1.5}.proof-method summary{justify-content:space-between;gap:20px;list-style:none;display:flex}.proof-method summary::-webkit-details-marker{display:none}.proof-expand{color:var(--cyan);font-family:var(--font-geist-mono), monospace}.proof-method[open] .proof-expand{transform:rotate(45deg)}.proof-method-body{border-top:1px solid var(--line);padding:4px 25px 26px}.proof-method-body h3{margin-top:25px;font-size:15px}.proof-method-body p,.proof-method-body li,.proof-method-body a,.proof-reproduce-grid p{font-size:14px;line-height:1.8}.proof-method-body p,.proof-method-body li{color:var(--muted)}.proof-method-body ol{padding-left:21px;list-style:decimal}.proof-method-body li{margin:8px 0;padding-left:5px}.proof-method-body li::marker{color:var(--cyan)}.proof-report pre{background:var(--surface-2);border:1px solid var(--line);border-radius:7px;padding:20px;overflow:auto}.proof-report pre code{font:12px/1.8 var(--font-geist-mono), monospace;white-space:pre}.proof-terminal pre{margin:0 20px}.proof-terminal>p{color:var(--muted);margin:16px 20px 20px;font-size:12px;line-height:1.7}.proof-evidence-links{flex-wrap:wrap;gap:10px 28px;margin:21px 0;font-size:12px;line-height:1.7;display:flex}.proof-evidence-links>span{color:var(--muted)}.proof-evidence-links a{align-items:center;gap:10px;display:inline-flex}.proof-figure{background:var(--surface);border:1px solid var(--line);border-radius:8px;margin:28px 0;padding:24px 28px 17px}.proof-figure figcaption{border-top:1px solid var(--line);color:var(--muted);font:11px/1.8 var(--font-geist-mono), monospace;margin-top:20px;padding-top:15px}.proof-line-chart{width:100%;height:auto;display:block}.proof-line-chart text{fill:var(--muted);font:12px var(--font-geist-mono), monospace}.proof-chart-grid{stroke:var(--line)}.proof-chart-budget{stroke:var(--muted);stroke-dasharray:5 7}.proof-chart-line{fill:none;stroke:var(--cyan);stroke-width:3px}.proof-chart-point{fill:var(--cyan)}.proof-chart-note{color:var(--muted);margin:12px 0 0;font-size:13px;line-height:1.75}.proof-data-table{color:var(--muted);margin-top:15px;font-size:12px}.proof-data-table summary{cursor:pointer;padding:6px 0}.proof-data-table table{border-collapse:collapse;width:100%;max-width:400px;font-family:var(--font-geist-mono), monospace;margin-top:10px}.proof-data-table th,.proof-data-table td{text-align:left;border-bottom:1px solid var(--line);padding:5px 12px 5px 0}.proof-cost-bars{gap:25px;padding:12px 0;display:grid}.proof-bar-row>div:first-child{color:var(--muted);justify-content:space-between;gap:12px;margin-bottom:10px;font-size:13px;display:flex}.proof-bar-row strong{color:var(--text);font:16px/1.5 var(--font-geist-mono), monospace}.proof-bar-track{background:var(--surface-2);border-radius:2px;height:13px;overflow:hidden}.proof-bar-fill{height:100%;display:block}.proof-series-0{background:var(--cyan)}.proof-series-1{background:var(--indigo)}.proof-series-2{background:var(--warning)}.proof-timeline{margin:0;padding:4px 0;list-style:none}.proof-timeline li{grid-template-columns:76px minmax(0,1fr);gap:24px;padding:0 0 24px;display:grid;position:relative}.proof-timeline li:last-child{padding-bottom:0}.proof-timeline li:before{content:"";background:var(--line);width:1px;position:absolute;top:8px;bottom:-7px;left:86px}.proof-timeline li:last-child:before{display:none}.proof-timeline li:after{content:"";background:var(--cyan);border-radius:50%;width:7px;height:7px;position:absolute;top:7px;left:83px}.proof-timeline-time{color:var(--muted);font:12px/1.7 var(--font-geist-mono), monospace}.proof-timeline strong{font-size:14px;font-weight:550}.proof-timeline p{color:var(--muted);margin:7px 0 0;font-size:13px;line-height:1.7}.proof-outcome-strip{border-radius:3px;gap:3px;height:35px;margin:10px 0 23px;display:flex;overflow:hidden}.proof-outcome-strip span{color:var(--bg);font:12px var(--font-geist-mono), monospace;place-items:center;min-width:24px;display:grid}.proof-counts,.proof-money-states{grid-template-columns:repeat(3,1fr);gap:20px;display:grid}.proof-counts dt{color:var(--muted);align-items:center;gap:8px;font-size:12px;display:flex}.proof-key{width:7px;height:7px;display:inline-block}.proof-counts dd{font:28px/1.2 var(--font-geist-mono), monospace;margin:12px 0 0}.proof-counts small{color:var(--muted);font-size:12px}.proof-money-states{border-top:1px solid var(--line);margin-top:30px;padding-top:20px}.proof-money-states dd{font:17px/1.5 var(--font-geist-mono), monospace;margin:8px 0 0}.proof-identity{border-color:#5a3634}.proof-identity>p{max-width:860px;color:var(--muted);margin:26px 0 0 65px;font-size:15px;line-height:1.85}.proof-identity strong{color:var(--text);font-weight:550}.proof-identity a{text-underline-offset:3px;text-decoration:underline}.proof-reproduce-grid{grid-template-columns:1.15fr 1fr;gap:40px;margin-top:30px;display:grid}.proof-reproduce-grid>div{min-width:0}.proof-reproduce-grid h3{font-size:16px;font-weight:550}.proof-reproduce-grid p{color:var(--muted)}.proof-reproduce-grid a{font-size:13px;line-height:1.7}.proof-pending-note{border-top:1px solid var(--line);padding:15px 0}.proof-reading{margin-top:45px}.proof-reading dl>div{grid-template-columns:155px 1fr;gap:20px;margin:20px 0;font-size:14px;line-height:1.75;display:grid}.proof-reading dd{color:var(--muted);margin:0}.proof-footer{justify-content:space-between;gap:25px;width:100%;display:flex}:is(.proof-report a:focus-visible,.proof-report summary:focus-visible,.proof-index a:focus-visible){outline:2px solid var(--cyan);outline-offset:5px}.proof-report a:hover,.proof-index a:hover .proof-text-link{text-underline-offset:4px;text-decoration:underline}.proof-report .button:hover{text-decoration:none}.proof-release-link{border-top:1px solid var(--line);border-bottom:1px solid var(--line);grid-template-columns:1.2fr 1fr;gap:50px;padding:35px 0;display:grid}.proof-release-link h2{letter-spacing:-.04em;margin:18px 0 0;font-size:clamp(28px,4vw,42px);font-weight:540;line-height:1.2}.proof-release-link p{color:var(--muted);font-size:17px;line-height:1.8}.proof-text-link{font-size:14px}.proof-index-note{color:var(--muted);margin-top:28px;font-size:13px;line-height:1.8}.release-overview{padding-top:60px}.release-overview .engineering-article-inner{max-width:900px}.release-heading{margin-bottom:44px}.release-heading .eyebrow{margin:38px 0 22px}.release-heading h1{letter-spacing:-.055em;margin:0 0 18px;font-size:clamp(42px,6vw,66px);font-weight:550;line-height:1.1}.release-heading .engineering-deck{max-width:720px;font-size:22px}.release-links{flex-wrap:wrap;gap:12px 28px;margin-top:24px;font-size:13px;display:flex}.release-links a,.release-system-card a,.release-overview .proof-caveat a{color:var(--cyan)}.release-section{border-top:1px solid var(--line);margin-top:40px;padding-top:28px}.release-section h2{letter-spacing:-.035em;margin:0 0 22px;font-size:27px;font-weight:540}.release-highlights{margin:0 0 25px;padding:0 0 0 20px;list-style:outside}.release-highlights li{color:var(--muted);margin:14px 0;padding-left:7px;font-size:15px;line-height:1.8}.release-highlights strong{color:var(--text);font-weight:550}.release-highlights li::marker{color:var(--indigo)}.release-section-heading{justify-content:space-between;align-items:baseline;gap:15px 28px;display:flex}.release-system-card{border:1px solid var(--line);background:var(--surface);border-radius:7px;grid-template-columns:1fr 1fr;gap:26px 36px;margin:0;padding:25px 28px;display:grid}.release-system-card dt{color:var(--text);font-size:13px;font-weight:550}.release-system-card dd{color:var(--muted);margin:9px 0 0;font-size:13px;line-height:1.8}.release-scope-note{color:var(--muted);margin:22px 0;font-size:13px;line-height:1.8}.release-claims{grid-template-columns:1fr 1fr;gap:24px 36px;margin-top:28px;display:grid}.release-claim{border-top:1px solid var(--line);padding-top:19px}.release-claim>div{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:12px;display:flex}.release-claim h3{margin:0;font-size:15px;font-weight:550}.release-claim h3 span{color:var(--cyan);margin-left:4px}.release-claim p{color:var(--muted);margin:13px 0 0;font-size:13px;line-height:1.8}.release-claim .release-condition{color:var(--warning);margin-top:9px;font-size:12px}.release-analysis-link{border-top:1px solid var(--line);border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:28px;margin:35px 0 0;padding:26px 0;display:flex}.release-analysis-link h3{margin:0 0 9px;font-size:17px;font-weight:550}.release-analysis-link p{color:var(--muted);max-width:510px;margin:0;font-size:13px;line-height:1.8}.release-analysis-link .button{flex-shrink:0}.release-overview a:focus-visible{outline:2px solid var(--cyan);outline-offset:5px}.release-overview a:hover{text-underline-offset:4px;text-decoration:underline}.release-overview .button:hover{text-decoration:none}@media (max-width:900px){.proof-provenance{grid-template-columns:1fr 1fr}.proof-summary-table tbody th{width:33%}.proof-summary-table td:nth-child(2){width:25%}.proof-summary-table td:last-child{width:42%}.proof-episode-header{grid-template-columns:32px minmax(0,1fr);gap:16px}.proof-episode-header>.proof-verdict{grid-column:2}.proof-claim,.proof-identity>p{margin-left:48px}}@media (max-width:620px){.release-overview{padding:34px 20px 60px}.release-heading .engineering-deck{font-size:19px}.release-section-heading,.release-analysis-link{flex-direction:column;align-items:flex-start}.release-section-heading{gap:0;margin-bottom:20px}.release-section-heading h2{margin-bottom:9px}.release-system-card,.release-claims{grid-template-columns:1fr}.release-system-card{gap:23px;padding:22px}.release-claims{gap:20px}.release-claim>div{gap:8px}.release-claim h3{font-size:14px}.proof-report{padding:34px 20px 60px}.proof-heading .eyebrow{margin-top:30px}.proof-heading h1{font-size:clamp(50px,13vw,76px)}.proof-heading .engineering-deck{font-size:19px;line-height:1.65}.proof-provenance{gap:22px 16px;margin-bottom:48px}.proof-provenance dd{font-size:11px}.proof-summary-table thead{clip-path:inset(50%);width:1px;height:1px;position:absolute;overflow:hidden}.proof-summary-table tbody tr{border-top:1px solid var(--line);grid-template-columns:minmax(0,1fr) auto;gap:16px;padding:22px 0;display:grid}.proof-summary-table tbody tr:last-child{border-bottom:1px solid var(--line)}.proof-summary-table tbody th,.proof-summary-table td{border:0;padding:0;width:auto!important}.proof-summary-table tbody th{font-size:14px}.proof-summary-table th a{gap:8px}.proof-summary-table th a>span:last-child{display:none}.proof-summary-table td:last-child{grid-column:1/-1;font-size:13px}.proof-verdict{gap:6px;padding:4px 7px;font-size:10px}.proof-scope{grid-template-columns:1fr;gap:22px;margin-bottom:50px;padding:22px}.proof-episode,.proof-identity,.proof-reproduce{margin-top:56px;padding-top:26px}.proof-overview,.proof-episode,.proof-identity,.proof-reproduce{scroll-margin-top:145px}.proof-episode-header{grid-template-columns:26px minmax(0,1fr);gap:14px}.proof-episode-header h2{font-size:27px}.proof-episode-number{font-size:14px}.proof-claim,.proof-identity>p{margin-left:0;font-size:15px}.proof-observation>p:last-child{font-size:16px}.proof-method-body{padding-left:18px;padding-right:18px}.proof-report pre{padding:15px}.proof-report pre code{font-size:11px}.proof-figure{padding:18px 15px 15px}.proof-line-chart{min-width:0}.proof-line-chart text{font-size:32px}.proof-counts,.proof-money-states{gap:18px 12px}.proof-counts dt{align-items:baseline;gap:5px;font-size:10px;line-height:1.5}.proof-counts dd{font-size:22px}.proof-counts small,.proof-money-states dt{font-size:10px}.proof-money-states dd{font-size:14px}.proof-reading dl>div{grid-template-columns:1fr;gap:5px}.proof-reproduce-grid,.proof-release-link{grid-template-columns:1fr;gap:20px}.proof-footer{flex-wrap:wrap;font-size:12px}}