.region-highlight_frame__6Tkr2{margin:0;display:grid;grid-gap:18px;gap:18px;min-width:0;align-items:start;grid-template-areas:"page" "list" "detail"}.region-highlight_page__xSuDZ{grid-area:page}.region-highlight_list__17RTw{grid-area:list}.region-highlight_detail__SptHZ{grid-area:detail}@media (min-width:880px){.region-highlight_frame__6Tkr2{grid-template-columns:minmax(0,320px) minmax(0,1fr);grid-template-areas:"page detail" "list detail";align-content:start;gap:24px}}@media (min-width:1200px){.region-highlight_frame__6Tkr2{grid-template-columns:minmax(0,320px) minmax(0,320px) minmax(0,1fr);grid-template-areas:"page list detail"}}.region-highlight_page__xSuDZ{position:relative;display:block;min-width:0;border:1px solid var(--hairline-hi);border-radius:var(--r-paper-lg);overflow:hidden;background:var(--g2)}.region-highlight_pageImage__JUJHy{display:block;width:100%;height:auto}.region-highlight_pageAbsent__xS97Q{display:grid;place-items:center;min-height:220px;padding:24px;background:var(--g2)}.region-highlight_pageAbsent__xS97Q p{margin:0;max-width:28ch;text-align:center;font-family:var(--f-mono);font-size:12px;line-height:1.7;color:var(--text-lo)}.region-highlight_region__qORYi{position:absolute;display:block;margin:0;padding:0;border:1px solid var(--source);border-radius:2px;background:transparent}.region-highlight_region__qORYi:before{content:"";position:absolute;inset:0;background:var(--source);opacity:.06}.region-highlight_region__qORYi[data-selected]{border-width:2px;box-shadow:0 0 0 1px var(--ground)}.region-highlight_region__qORYi[data-selected]:before{opacity:.16}.region-highlight_list__17RTw{margin:0;padding:0;list-style:none;display:grid;grid-gap:6px;gap:6px;min-width:0}.region-highlight_row__R4R_K{display:block;width:100%;min-height:44px;margin:0;padding:11px 12px;text-align:left;border:1px solid var(--hairline);border-left:2px solid var(--decor);border-radius:var(--r-paper-lg);background:var(--g1);cursor:pointer}.region-highlight_row__R4R_K[aria-pressed=true]{border-color:var(--hairline-hi);border-left:2px solid var(--source);background:var(--g2)}.region-highlight_row__R4R_K:focus-visible{outline:2px solid var(--text-hi);outline-offset:2px}.region-highlight_rowExcerpt__w2wUr{display:-webkit-box;-webkit-box-orient:vertical;-webkit-line-clamp:2;line-clamp:2;overflow:hidden;font-size:13px;line-height:1.6;color:var(--text-mid)}.region-highlight_row__R4R_K[aria-pressed=true] .region-highlight_rowExcerpt__w2wUr{color:var(--text-hi)}.region-highlight_regionName__YyvXS{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;-webkit-clip-path:inset(50%);clip-path:inset(50%);white-space:nowrap;border:0}.region-highlight_detail__SptHZ{display:grid;grid-gap:10px;gap:10px;min-width:0;align-content:start}.region-highlight_caption__PFfJo{margin:0;max-width:62ch;font-size:13.5px;line-height:1.66;color:var(--text-mid)}.region-highlight_mark__wcdTa{margin:0;font-family:var(--f-mono);font-size:12px;letter-spacing:.13em;text-transform:uppercase;color:var(--text-lo)}.region-highlight_excerpt__6piWs{margin:0;padding:12px 16px;border:1px solid var(--hairline);border-left:2px solid var(--source);border-radius:var(--r-paper-lg);background:var(--g1);font-size:13.5px;line-height:1.7;color:var(--text-hi);max-width:62ch}.region-highlight_locator__G6FSj{margin:0;font-family:var(--f-mono);font-size:12px;line-height:1.65;color:var(--text-lo);overflow-wrap:anywhere;max-width:62ch}.region-highlight_detail__SptHZ .region-highlight_locator__G6FSj{word-break:break-all;overflow-wrap:anywhere}.region-highlight_source__8oIei{margin:0;font-size:12.5px;line-height:1.6;color:var(--text-lo);overflow-wrap:anywhere}.region-highlight_open__AlTkF{margin:0;font-size:13px;line-height:1.6}@media (max-width:1079px),(pointer:coarse){.region-highlight_open__AlTkF a{display:inline-block;padding-block:12.5px;margin-block:-12.5px}}.compiler-specimen_specimen__nihfZ{width:100%;min-width:0;margin:40px auto 0;max-width:1120px;border:1px solid var(--border-dark);border-radius:var(--radius-md);overflow:hidden;background:var(--ink-900);text-align:left}.compiler-specimen_rail__2DMut{display:grid;grid-template-columns:repeat(5,minmax(0,1fr));border-bottom:1px solid var(--border-dark)}.compiler-specimen_stage__5Ok0k{min-height:48px;padding:10px 8px;border:0;border-right:1px solid var(--border-dark);background:transparent;color:var(--text-lo);font:600 12px/1.2 var(--f-mono);letter-spacing:.04em;cursor:pointer}.compiler-specimen_stage__5Ok0k:last-child{border-right:0}.compiler-specimen_stage__5Ok0k[data-active=true]{color:var(--source);background:color-mix(in oklch,var(--source) 8%,transparent)}.compiler-specimen_motion__R_VeX:focus-visible,.compiler-specimen_stage__5Ok0k:focus-visible{outline:2px solid var(--source);outline-offset:-3px}.compiler-specimen_sourceBar__xANBb{display:flex;align-items:center;justify-content:space-between;gap:20px;padding:12px 18px;border-bottom:1px solid var(--border-dark);color:var(--text-mid);font:12px/1.4 var(--f-mono)}.compiler-specimen_identity__e6eKv{min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.compiler-specimen_motion__R_VeX{flex:none;min-width:80px;min-height:44px;border:1px solid var(--border-dark);border-radius:var(--radius-sm);background:transparent;color:var(--text-hi);font:600 12px/1 var(--f-sans);cursor:pointer}.compiler-specimen_canvas__wTyhB{display:grid;grid-template-columns:minmax(300px,.88fr) minmax(0,1.12fr);min-height:520px;overflow:clip}.compiler-specimen_sourceViewport__ZjmHa{position:relative;min-width:0;margin:28px;overflow:hidden;border:1px solid var(--border-dark);background:linear-gradient(var(--border-dark) 1px,transparent 1px),linear-gradient(90deg,var(--border-dark) 1px,transparent 1px),var(--ink-950);background-size:24px 24px}.compiler-specimen_canvas__wTyhB:not([data-stage=page]) .compiler-specimen_sourceViewport__ZjmHa{align-self:center;height:clamp(112px,10vw,140px)}.compiler-specimen_sourceAsset__q_6QS{position:absolute;inset:16px;display:block;min-width:0;overflow:hidden;transform-origin:center;transition:opacity .26s var(--ease-out),transform .72s var(--ease-out);will-change:transform}.compiler-specimen_specimen__nihfZ[data-playing=false] .compiler-specimen_region__UcLCi,.compiler-specimen_specimen__nihfZ[data-playing=false] .compiler-specimen_sourceAsset__q_6QS{transition:none}.compiler-specimen_sourceAsset__q_6QS img{display:block;width:100%;height:100%;object-fit:contain}.compiler-specimen_fullPage__Khzr2{opacity:1;transform:translateZ(0) scale(.98)}.compiler-specimen_regionCrop__uxvo7{inset:auto 16px 42px;aspect-ratio:1120/103;opacity:0;transform:translate3d(0,20px,0) scale(.78)}.compiler-specimen_sourceViewport__ZjmHa:not([data-camera-stage="0"]) .compiler-specimen_fullPage__Khzr2{opacity:0;transform:translate3d(0,-12%,0) scale(1.12)}.compiler-specimen_sourceViewport__ZjmHa:not([data-camera-stage="0"]) .compiler-specimen_regionCrop__uxvo7{opacity:1}.compiler-specimen_sourceViewport__ZjmHa[data-camera-stage="1"] .compiler-specimen_regionCrop__uxvo7,.compiler-specimen_sourceViewport__ZjmHa[data-camera-stage="2"] .compiler-specimen_regionCrop__uxvo7,.compiler-specimen_sourceViewport__ZjmHa[data-camera-stage="3"] .compiler-specimen_regionCrop__uxvo7,.compiler-specimen_sourceViewport__ZjmHa[data-camera-stage="4"] .compiler-specimen_regionCrop__uxvo7{transform:translateZ(0) scale(1)}.compiler-specimen_region__UcLCi{position:absolute;inset:auto 16px 42px;aspect-ratio:1120/103;border:2px solid var(--source-ink);opacity:0;transition:inset .72s var(--ease-out),opacity .26s var(--ease-out);pointer-events:none}.compiler-specimen_sourceViewport__ZjmHa:not([data-camera-stage="0"]) .compiler-specimen_region__UcLCi{opacity:1}.compiler-specimen_sourceCaption__dBVct{position:absolute;inset:auto 16px 14px;z-index:2;margin:0;padding:6px 8px;background:color-mix(in oklch,var(--ink-950) 88%,transparent);color:var(--text-mid);font:12px/1.35 var(--f-mono);overflow-wrap:anywhere}.compiler-specimen_output__8rbm6{min-width:0;padding:38px clamp(24px,3vw,42px) 34px;border-left:1px solid var(--border-dark)}.compiler-specimen_eyebrow__aHJ2r{margin:0 0 18px;color:var(--source);font:600 12px/1.3 var(--f-mono);letter-spacing:.1em;text-transform:uppercase}.compiler-specimen_title__4ljtt{margin:0;color:var(--text-hi);font:600 clamp(24px,3vw,36px) /1.08 var(--f-sans);letter-spacing:-.025em}.compiler-specimen_body__ifjiO{margin:16px 0 0;max-width:54ch;color:var(--text-mid);font:15px/1.65 var(--f-sans)}.compiler-specimen_evidenceComposition__JywkD,.compiler-specimen_intelligenceComposition__8zfHC,.compiler-specimen_knowledgeComposition__NzK_p,.compiler-specimen_pageComposition__jFLbf,.compiler-specimen_structureComposition__BY9gf{min-width:0;margin-top:26px;animation:compiler-specimen_composition-in__xYDO_ .54s var(--ease-out) both}.compiler-specimen_compositionLabel__RK6w2{margin:0 0 12px;color:var(--text-lo);font:600 12px/1.3 var(--f-mono);letter-spacing:.08em;text-transform:uppercase}.compiler-specimen_compositionLead__3GqsX{max-width:24ch;margin:0;color:var(--text-hi);font:500 20px/1.3 var(--f-sans)}.compiler-specimen_compactLedger__ZfVoY{margin:22px 0 0;border-top:1px solid var(--border-dark)}.compiler-specimen_compactLedger__ZfVoY div{display:grid;grid-template-columns:56px minmax(0,1fr);grid-gap:12px;gap:12px;padding:9px 0;border-bottom:1px solid var(--border-dark)}.compiler-specimen_compactLedger__ZfVoY dd,.compiler-specimen_compactLedger__ZfVoY dt{margin:0;font:12px/1.45 var(--f-mono)}.compiler-specimen_compactLedger__ZfVoY dt{color:var(--text-lo);text-transform:uppercase}.compiler-specimen_compactLedger__ZfVoY dd{min-width:0;color:var(--text-hi);overflow-wrap:anywhere}.compiler-specimen_cellMap__TAv35{display:grid;grid-template-columns:minmax(0,1fr) minmax(64px,auto) minmax(64px,auto);border:1px solid var(--source);background:color-mix(in oklch,var(--source) 7%,transparent);font:12px/1.35 var(--f-mono);font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.compiler-specimen_cellMap__TAv35>*{min-width:0;padding:14px 12px;border-right:1px solid var(--border-dark)}.compiler-specimen_cellMap__TAv35>:last-child{border-right:0}.compiler-specimen_rowName__b0TAZ{color:var(--text-hi);overflow-wrap:anywhere}.compiler-specimen_cell__i02Kf{color:var(--source);text-align:right;white-space:nowrap}.compiler-specimen_coordinateRow__4iiP7{display:grid;grid-gap:7px;gap:7px;margin-top:12px;color:var(--text-lo);font:12px/1.45 var(--f-mono);overflow-wrap:anywhere}.compiler-specimen_evidenceComposition__JywkD blockquote{margin:0;padding:16px 18px;border-left:2px solid var(--source);background:color-mix(in oklch,var(--source) 6%,transparent);color:var(--text-hi);font:13px/1.55 var(--f-sans)}.compiler-specimen_addressGrid__NQ_wK{display:grid;grid-template-columns:62px minmax(0,1fr);grid-gap:6px 12px;gap:6px 12px;margin-top:14px;font:12px/1.45 var(--f-mono)}.compiler-specimen_addressGrid__NQ_wK span{color:var(--text-lo);text-transform:uppercase}.compiler-specimen_addressGrid__NQ_wK b{min-width:0;color:var(--text-hi);font-weight:500;overflow-wrap:anywhere}.compiler-specimen_knowledgeObject__ITNIX{display:grid;grid-template-columns:minmax(0,1fr) auto;grid-gap:8px 20px;gap:8px 20px;padding:18px;border:1px solid var(--border-dark);background:var(--ink-950)}.compiler-specimen_objectType__BHLB_{grid-column:1/-1;color:var(--source);font:12px/1.3 var(--f-mono);text-transform:uppercase}.compiler-specimen_knowledgeObject__ITNIX strong{min-width:0;color:var(--text-hi);font:600 15px/1.35 var(--f-sans);overflow-wrap:anywhere}.compiler-specimen_objectValue__NArp4{color:var(--text-hi);font:600 28px/1 var(--f-mono);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;white-space:nowrap}.compiler-specimen_objectUnit__y_ETY{grid-column:1/-1;color:var(--text-lo);font:12px/1.4 var(--f-mono)}.compiler-specimen_sourceTether__4l2t7{display:flex;align-items:center;gap:10px;margin-top:14px;color:var(--text-mid)}.compiler-specimen_sourceTether__4l2t7 span{width:36px;height:1px;background:var(--source)}.compiler-specimen_sourceTether__4l2t7 p{min-width:0;margin:0;font:12px/1.45 var(--f-mono);overflow-wrap:anywhere}.compiler-specimen_question__H2Rgf{margin:0;color:var(--text-hi);font:500 18px/1.4 var(--f-sans)}.compiler-specimen_answer__tyj8X{display:flex;align-items:baseline;gap:12px;margin:18px 0 0}.compiler-specimen_answer__tyj8X strong{color:var(--source);font:600 clamp(36px,5vw,54px)/1 var(--f-mono);font-feature-settings:"tnum";font-variant-numeric:tabular-nums;white-space:nowrap}.compiler-specimen_answer__tyj8X span{color:var(--text-mid);font:12px/1.45 var(--f-mono)}.compiler-specimen_citation___xVRB{margin:20px 0 0;padding-top:12px;border-top:1px solid var(--border-dark);color:var(--source);font:12px/1.5 var(--f-mono);overflow-wrap:anywhere}@keyframes compiler-specimen_composition-in__xYDO_{0%{opacity:0;transform:translate3d(18px,0,0)}to{opacity:1;transform:translateZ(0)}}@media (max-width:767px){.compiler-specimen_specimen__nihfZ{margin-top:28px}.compiler-specimen_rail__2DMut{grid-template-columns:repeat(6,minmax(0,1fr));gap:1px;background:var(--border-dark)}.compiler-specimen_stage__5Ok0k{grid-column:span 2;min-height:48px;border:0;background:var(--ink-900);text-align:center;padding-inline:4px}.compiler-specimen_stage__5Ok0k:nth-child(n+4){grid-column:span 3}.compiler-specimen_sourceBar__xANBb{align-items:flex-start;gap:12px}.compiler-specimen_identity__e6eKv{white-space:normal;overflow-wrap:anywhere}.compiler-specimen_canvas__wTyhB{grid-template-columns:1fr;min-height:0}.compiler-specimen_sourceViewport__ZjmHa{height:340px;margin:14px}.compiler-specimen_sourceViewport__ZjmHa:not([data-camera-stage="0"]) .compiler-specimen_fullPage__Khzr2{transform:translate3d(0,-12%,0) scale(1)}.compiler-specimen_sourceAsset__q_6QS{inset:12px}.compiler-specimen_regionCrop__uxvo7,.compiler-specimen_sourceViewport__ZjmHa:not([data-camera-stage="0"]) .compiler-specimen_region__UcLCi{inset:auto 12px 40px}.compiler-specimen_sourceCaption__dBVct{inset-inline:12px;bottom:10px}.compiler-specimen_output__8rbm6{border-left:0;border-top:1px solid var(--border-dark);padding:26px 18px}.compiler-specimen_cellMap__TAv35{grid-template-columns:minmax(0,1fr) 58px 58px;font-size:12px}.compiler-specimen_cellMap__TAv35>*{padding:12px 8px}.compiler-specimen_knowledgeObject__ITNIX{grid-template-columns:minmax(0,1fr) auto;gap:8px 10px;padding:15px}.compiler-specimen_objectValue__NArp4{font-size:23px}.compiler-specimen_answer__tyj8X{align-items:flex-start;flex-direction:column;gap:8px}.compiler-specimen_answer__tyj8X strong{font-size:38px}}@media (prefers-reduced-motion:reduce){.compiler-specimen_region__UcLCi,.compiler-specimen_sourceAsset__q_6QS{transition:none}.compiler-specimen_evidenceComposition__JywkD,.compiler-specimen_intelligenceComposition__8zfHC,.compiler-specimen_knowledgeComposition__NzK_p,.compiler-specimen_pageComposition__jFLbf,.compiler-specimen_structureComposition__BY9gf{animation:none}.compiler-specimen_motion__R_VeX,.compiler-specimen_stage__5Ok0k{scroll-behavior:auto}}.proof_tabs__VS8hx{margin-top:40px}.proof_tablist__aUiFP{display:flex;flex-wrap:wrap;gap:8px;padding-bottom:6px}.proof_tab__jdduq{flex:1 1 100%;min-height:44px;padding:10px 16px;border:1px solid var(--hairline);border-radius:var(--r-inst);background:transparent;color:var(--text-mid);font-family:inherit;font-size:var(--lv2-small);line-height:1.35;text-align:left;cursor:pointer;transition:color var(--motion-ui) var(--ease-ui),border-color var(--motion-ui) var(--ease-ui)}@media (min-width:900px){.proof_tablist__aUiFP{flex-wrap:nowrap;overflow-x:auto;scrollbar-width:thin}.proof_tab__jdduq{flex:0 0 auto;max-width:34ch}}.proof_tab__jdduq[aria-selected=true]{border-color:var(--source);box-shadow:inset 0 -2px 0 0 var(--source);color:var(--text-hi);font-weight:500}@media (hover:hover) and (pointer:fine){.proof_tab__jdduq:hover{border-color:var(--hairline-hi);color:var(--text-hi)}}.proof_panel___ubTO{margin-top:28px}.proof_panel___ubTO[hidden]{display:none}.proof_grid__BIIjb{position:relative;isolation:isolate;display:grid;grid-gap:20px;gap:20px}@media (min-width:900px){.proof_grid__BIIjb{grid-template-columns:minmax(0,5fr) minmax(0,7fr);align-items:start;gap:24px clamp(40px,4vw,64px)}}.proof_answer__mwvxs{display:grid;grid-gap:14px;gap:14px;align-content:start}.proof_label__vwUUk{margin:0;color:var(--text-lo);text-transform:uppercase;letter-spacing:.08em}.proof_excerpt__8IiB1{margin:0;padding-left:16px;border-left:2px solid var(--hairline-hi);font-size:var(--lv2-body);line-height:1.55;color:var(--text-hi)}.proof_citation__thC02{margin:0;color:var(--text-mid);transition:color var(--motion-ui) var(--ease-ui)}.proof_open__qy6oN{justify-self:start}.proof_doc__ekmNE{margin:0;display:grid;grid-gap:12px;gap:12px}.proof_frames__YeRJZ{display:grid;grid-gap:16px;gap:16px;align-items:start}@media (min-width:900px){.proof_frames__YeRJZ{grid-template-columns:minmax(0,240px) minmax(0,1fr)}}.proof_pageCell__2IB6z{display:block;max-width:240px}.proof_crop__4Vmo4{display:block;width:100%;height:auto;border:1px solid var(--hairline);border-radius:var(--radius-sm)}.proof_nextRow__mjSHw{margin:28px 0 0}.proof_grid__BIIjb:has(.proof_answer__mwvxs a:focus-visible) .lv2-region,.proof_grid__BIIjb:has(.proof_answer__mwvxs:hover) .lv2-region{outline:2px solid var(--source);outline-offset:2px}.proof_grid__BIIjb:has(.proof_answer__mwvxs a:focus-visible) .proof_citation__thC02,.proof_grid__BIIjb:has(.proof_answer__mwvxs:hover) .proof_citation__thC02{color:var(--source)}.proof_panel___ubTO{padding:clamp(16px,2vw,28px);border:1px solid var(--hairline);border-radius:var(--radius-md)}