.page_main__GlU4n{display:flex;flex-direction:column;justify-content:flex-start;align-items:center;padding:1rem;min-height:100vh;overflow-x:hidden;width:100%}.page_grid__f5Kdy{display:grid;grid-template-columns:1fr;grid-template-rows:repeat(3,auto);grid-gap:2rem;gap:2rem;max-width:100%;width:100%}.page_row__xP1Vd{padding:1rem;border-radius:var(--border-radius);border:1px solid rgba(var(--card-border-rgb),.15);margin-top:-15px}.page_row__xP1Vd h2{font-weight:600;margin-bottom:1rem;text-align:center}.page_row__xP1Vd p{margin:0;opacity:.8;font-size:1rem;line-height:1}.page_textInput__KXxBd{width:90%;box-sizing:border-box;padding:1rem 1.25rem;border:1px solid rgba(var(--card-border-rgb),.2);border-radius:12px;font-size:1rem;font-weight:500;color:inherit;transition:all .2s ease}.page_textInput__KXxBd:focus{outline:none;border-color:rgba(var(--card-border-rgb),.6);transform:translateY(-1px)}.page_textInput__KXxBd::placeholder{opacity:.5;color:inherit;font-weight:400}.page_textInput__KXxBd:hover{border-color:rgba(var(--card-border-rgb),.4)}.page_textInputWrapper__N3HK8{flex:1 1;position:relative}.page_textInputOverlay__XpNwt{position:absolute;inset:0;border-radius:4px;display:flex;align-items:center;justify-content:center}.page_submitButton__6O8qB{margin-left:10px;padding:8px 16px;border-radius:4px;border:1px solid #ccc;background:#f5f5f5;cursor:pointer;font-size:1rem;font-weight:500;transition:background .2s}.page_submitButton__6O8qB:hover{background:#e0e0e0}.page_tabHeader__I1VaA{width:-moz-fit-content;width:fit-content;display:flex;justify-content:center;gap:.25rem;margin:.35rem auto .15rem;position:-webkit-sticky;position:sticky;top:0;z-index:1000;padding:.3rem;border:1px solid rgba(var(--card-border-rgb),.22);border-radius:999px;background:hsla(0,0%,100%,.92);-webkit-backdrop-filter:blur(5px);backdrop-filter:blur(5px)}.page_tabButton__stR9X{border:none;padding:.45rem .9rem;font-weight:500;font-size:.92rem;border-radius:999px;background:transparent;color:#6b7280;transition:color .15s ease,background .15s ease,box-shadow .15s ease;cursor:pointer}.page_tabButton__stR9X:hover{color:#111827;background:#f3f4f6}.page_tabButtonActive__vFIP2{color:#111827;background:#fff;box-shadow:0 1px 2px rgba(0,0,0,.08)}.page_blogContainer__8cNyT{width:min(920px,100%);max-width:100%;margin:1.25rem auto 0;padding:0 clamp(.75rem,4vw,2.5rem);display:flex;flex-direction:column;gap:1.35rem;box-sizing:border-box}.page_heroSection___mcj9{position:relative;overflow:hidden;border-radius:14px;border:1px solid rgba(var(--card-border-rgb),.2);padding:1rem 1.1rem 1.15rem;background:hsla(0,0%,100%,.96);z-index:2}.page_voronoiCornerDecor__t6CMu{position:absolute;top:0;right:0;width:85%;height:360px;border-radius:0;opacity:.2;mask-image:radial-gradient(ellipse at 80% 40%,rgba(0,0,0,.88) 0,rgba(0,0,0,.7) 34%,rgba(0,0,0,.34) 58%,transparent 100%);-webkit-mask-image:radial-gradient(ellipse at 80% 40%,rgba(0,0,0,.88) 0,rgba(0,0,0,.7) 34%,rgba(0,0,0,.34) 58%,transparent 100%);pointer-events:none;z-index:0;overflow:hidden}.page_voronoiSvg__KeodV{width:100%;height:100%;display:block;transform:none;transform-origin:top right;preserveAspectRatio:xMaxYMin slice}.page_vCellBlue__BbFYE{fill:#355f86;fill-opacity:.92}.page_vCellBlueSoft__2mrI2{fill:#a2bddb;fill-opacity:.85}.page_vCellRed__MuDb5{fill:#9b5961;fill-opacity:.9}.page_vCellRedSoft__QtxUC{fill:#e7bcc0;fill-opacity:.82}.page_heroSection___mcj9>:not(.page_voronoiCornerDecor__t6CMu){position:relative;z-index:1}.page_eyebrow__H9Slr{margin:0 0 .6rem;font-size:.72rem;letter-spacing:.08em;text-transform:uppercase;color:#6b7280;font-weight:600}.page_heroTitle__Gfler{margin:0;font-size:clamp(1.55rem,2.8vw,2.25rem);line-height:1.15;font-weight:600;color:#111827;max-width:26ch}.page_heroTitle__Gfler a{color:inherit;text-decoration:none}.page_heroTitle__Gfler a:hover{text-decoration:underline;text-underline-offset:3px}.page_heroAuthors__5qWL0{margin:.55rem 0 0;color:#6b7280;line-height:1.5;font-size:.92rem}.page_authorLink__P8odq{color:inherit;text-decoration:underline;text-underline-offset:2px;-webkit-text-decoration-color:hsla(220,9%,46%,.4);text-decoration-color:hsla(220,9%,46%,.4)}.page_authorLink__P8odq:hover{color:#374151;-webkit-text-decoration-color:#374151;text-decoration-color:#374151}.page_awardRow__GoeLe{margin-top:.38rem;display:inline-flex;align-items:center;gap:.4rem;width:-moz-fit-content;width:fit-content;padding:0;border:none;border-radius:0;background:transparent}.page_awardIcon__vvjKR{color:#6b7280;display:inline-flex;align-items:center;line-height:1;opacity:.9}.page_awardText__WnO3Y{font-size:.9rem;font-weight:400;color:#6b7280;line-height:1.5;letter-spacing:0}.page_heroMetaLink__kBMSF{display:block;margin-top:.32rem;width:-moz-fit-content;width:fit-content;font-size:.9rem;color:#6b7280;line-height:1.5;text-decoration:underline;text-underline-offset:2px}.page_heroMetaLink__kBMSF:hover{color:#374151}.page_heroSubtitle__RTAw0{margin:1rem 0 0;color:#4b5563;line-height:1.72;max-width:72ch}.page_abstractToggle__qGE_b{display:inline-flex;align-items:center;gap:.35rem;margin-top:.85rem;padding:0;background:none;border:none;font-size:.83rem;color:#6b7280;cursor:pointer;font-weight:500;letter-spacing:.01em}.page_abstractToggle__qGE_b:hover{color:#374151}.page_abstractText__1zQQf{margin-top:.65rem;font-size:.88rem;line-height:1.72;color:#4b5563;border-left:2px solid rgba(var(--card-border-rgb),.35);padding-left:.85rem}.page_heroActions__8_tzb{display:flex;flex-wrap:wrap;gap:1rem;margin-top:1.15rem}.page_primaryCta__JU8yd{border:1px solid #d1d5db;border-radius:0;padding:.5rem .8rem;background:transparent;color:#111827;font-weight:500;font-size:.92rem;cursor:pointer}.page_primaryCta__JU8yd:hover{background:#f9fafb}.page_secondaryCta__fOxcz{border-radius:0;padding:.5rem .8rem;border:1px solid #d1d5db;color:#374151;text-decoration:none;font-weight:500;font-size:.92rem;background:transparent}.page_secondaryCta__fOxcz:hover{background:#f9fafb}.page_aboutMajorSection__UpgdU{display:flex;flex-direction:column;gap:.75rem;padding:1.2rem 1.25rem 1.35rem;border-radius:14px;border:1px solid rgba(var(--card-border-rgb),.22);background:hsla(0,0%,100%,.97);box-shadow:0 1px 3px rgba(15,23,42,.06);box-sizing:border-box}.page_heroSection___mcj9+.page_aboutMajorSection__UpgdU{margin-top:0}.page_aboutMajorTitle__tzFHG{margin:0;font-size:clamp(1.14rem,2.4vw,1.45rem);font-weight:650;color:#0f172a;letter-spacing:-.02em;line-height:1.22}.page_aboutMajorSection__UpgdU>p{margin:0;line-height:1.72;color:#4b5563;font-size:.97rem}.page_aboutMajorSection__UpgdU>p.page_aboutSectionDeck__6ch3V{margin:.1rem 0 0;font-size:.9rem;line-height:1.55;color:#64748b;font-weight:500}.page_pragmaticRepairRequirements__5mXY6{margin:0;padding-left:1.15rem;line-height:1.68;color:#4b5563;font-size:.95rem}.page_pragmaticRepairRequirements__5mXY6 li+li{margin-top:.4rem}.page_pragmaticRepairAlgorithmLead__kg84H{margin:.85rem 0 0;line-height:1.68;color:#4b5563;font-size:.95rem}.page_pragmaticRepairAlgorithmFigure__essql{margin-top:.65rem}.page_pragmaticRepairAlgorithm__wfy_h{margin:0;padding-left:1.45rem;list-style-type:decimal;list-style-position:outside;line-height:1.68;color:#4b5563;font-size:.95rem}.page_pragmaticRepairAlgorithm__wfy_h li{padding-left:.35rem}.page_pragmaticRepairAlgorithm__wfy_h li+li{margin-top:.45rem}.page_aboutSubsection__0_fsp{display:flex;flex-direction:column;gap:.6rem}.page_aboutMajorSection__UpgdU>div.page_aboutSubsection__0_fsp:first-of-type,.page_aboutSubsection__0_fsp+.page_aboutSubsection__0_fsp{margin-top:1.05rem;padding-top:1.05rem;border-top:1px solid rgba(var(--card-border-rgb),.18)}.page_aboutSubsection__0_fsp h3{margin:0;font-size:1.02rem;font-weight:600;color:#111827}.page_aboutSubsection__0_fsp p{margin:0;line-height:1.72;color:#4b5563;font-size:.95rem}.page_aboutFigureBlock__6wMEG{margin-top:.35rem;border:none;border-radius:0;padding:0;background:transparent;overflow:hidden}.page_aboutFigureBlock__6wMEG img{display:block;width:100%;max-width:100%;height:auto;object-fit:contain;object-position:top left}.page_aboutFigureCaption__y4XVg{margin:.65rem 0 0;font-size:.82rem;line-height:1.55;color:#6b7280}.page_discussionTakeawaysLead__6NgvZ{margin:0;line-height:1.72;color:#4b5563;font-size:.97rem}.page_discussionTakeawaysList__u8LTI{margin:.5rem 0 0;padding:0 0 0 1.2rem;list-style:disc;line-height:1.72;color:#4b5563;font-size:.97rem}.page_discussionTakeawaysList__u8LTI li{margin:0;padding-left:.35rem}.page_discussionTakeawaysList__u8LTI li+li{margin-top:.7rem}.page_bibliography__DG71j{margin:.5rem 0 0;padding-left:1.35rem;list-style:decimal;font-size:.88rem;line-height:1.58;color:#374151}.page_bibliography__DG71j li{margin:0 0 .65rem;padding-left:.4rem}.page_bibliography__DG71j li::marker{font-weight:500;color:#6b7280}.page_bibliography__DG71j a{color:#1d4ed8;text-decoration:none}.page_bibliography__DG71j a:hover{text-decoration:underline}.page_widgetIntro__0_GmY{margin-top:.4rem!important}.page_ambiguityWidget__hhg8f{margin-top:.9rem;display:flex;flex-direction:column;gap:.9rem;border:1px solid rgba(var(--card-border-rgb),.18);border-radius:var(--border-radius);padding:.95rem;background:#fff}.page_widgetControls__aMFpG{display:flex;flex-direction:column;gap:.6rem}.page_widgetInput__s5Qwh{width:100%;border:1px solid rgba(var(--card-border-rgb),.35);border-radius:8px;padding:.62rem .72rem;font-size:.9rem;color:#1f2937;background:#f8fafc;font-family:var(--font-mono)}.page_widgetInput__s5Qwh:focus{outline:none;border-color:#2b547e;background:#fff}.page_widgetPresets__QMeAn{display:flex;flex-wrap:wrap;gap:.45rem}.page_widgetPresetButton__y3Kpc{border:1px solid rgba(var(--card-border-rgb),.28);background:#fff;color:#4b5563;border-radius:6px;padding:.28rem .55rem;font-size:.78rem;cursor:pointer;line-height:1.35}.page_widgetPresetButtonActive__6xSCX{border-color:#2b547e;background:#eef4fb;color:#111827}.page_widgetDomainGrid__Glb_a{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));grid-gap:.65rem;gap:.65rem}.page_widgetDomainCard__QSGbD{border:1px solid rgba(var(--card-border-rgb),.3);border-radius:10px;padding:.72rem;text-align:left;background:#fff;cursor:pointer;display:flex;flex-direction:column;gap:.45rem;position:relative}.page_widgetDomainCardActive__E6P8Y{box-shadow:0 0 0 1px rgba(15,23,42,.12)}.page_widgetDomainBlue__4tSFc{border-left:4px solid #2b547e;background:linear-gradient(180deg,rgba(233,241,250,.7),#fff 46%)}.page_widgetDomainRed__V23X3{border-left:4px solid #8e4a51;background:linear-gradient(180deg,rgba(250,237,239,.72),#fff 46%)}.page_widgetDomainBlue__4tSFc.page_widgetDomainCardActive__E6P8Y{border-color:#1b3a57;box-shadow:0 0 0 1px rgba(43,84,126,.26)}.page_widgetDomainRed__V23X3.page_widgetDomainCardActive__E6P8Y{border-color:#6e3a41;box-shadow:0 0 0 1px rgba(142,74,81,.28)}.page_widgetDomainLabel__1hILO{font-size:.84rem;font-weight:600;color:#111827}.page_widgetDomainDescription__E4vxP{margin:0;color:#4b5563;font-size:.85rem;line-height:1.48}.page_widgetSqlPreview__APU8g{font-size:.74rem;line-height:1.4;color:#334155;white-space:normal;word-break:break-word;background:rgba(248,250,252,.9);border:1px solid rgba(var(--card-border-rgb),.18);border-radius:6px;padding:.42rem .48rem;font-family:var(--font-mono)}.page_widgetFooter__OKOUx{font-size:.83rem;color:#4b5563;border-top:1px solid rgba(var(--card-border-rgb),.24);padding-top:.55rem;font-family:var(--font-mono)}.page_widgetFooterLabel__qrVi5{color:#111827;font-weight:600}.page_takeawaysThreeCol__NHA81{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));grid-gap:1.25rem 1.5rem;gap:1.25rem 1.5rem;margin-top:1.05rem}.page_workflowFoldBody__amhEW .page_takeawaysThreeCol__NHA81{margin-top:0}.page_workflowListColumn__OwpvO{min-width:0;display:flex;flex-direction:column;gap:.55rem}.page_workflowListColumn__OwpvO>p{margin:0}.page_workflowItemHeading__KxOeV{margin:0;display:flex;align-items:center;gap:.5rem;line-height:1.35}.page_workflowIcon__sQVRz{flex-shrink:0;width:28px;height:28px;display:block;object-fit:contain}.page_workflowItemTitle__K7_Sx{margin:0;font-size:1.02rem;font-weight:600;color:#111827;flex:1 1;min-width:0}.page_workflowFold__mGlYD{margin:1.05rem 0 0;min-width:0}.page_workflowSummary__W1als{display:flex;align-items:center;gap:.35rem;cursor:pointer;list-style:none;font-size:.88rem;font-weight:500;color:#374151;padding:.35rem 0;-webkit-user-select:none;-moz-user-select:none;user-select:none}.page_workflowSummary__W1als:hover .page_workflowChevron__rMXio{color:#374151}.page_workflowSummary__W1als::-webkit-details-marker{display:none}.page_workflowChevron__rMXio{flex-shrink:0;color:#6b7280;transition:transform .2s ease}.page_workflowFold__mGlYD[open] .page_workflowChevron__rMXio{transform:rotate(180deg)}.page_workflowFoldBody__amhEW{margin-top:.55rem;padding:0 0 0 .85rem;border-left:2px solid rgba(var(--card-border-rgb),.35);font-size:.88rem;line-height:1.72;color:#4b5563;display:flex;flex-direction:column;gap:.65rem}.page_workflowFoldBody__amhEW>p{margin:0}@media (max-width:780px){.page_takeawaysThreeCol__NHA81,.page_widgetDomainGrid__Glb_a{grid-template-columns:1fr}.page_heroSubtitle__RTAw0,.page_heroTitle__Gfler{max-width:100%}}.sql-vis_container__ngbSD{display:flex;flex-direction:column;align-items:center;width:100%;height:100%}.sql-vis_title__IWU4x{font-size:1.25rem;font-weight:600;margin-bottom:1rem;color:inherit;text-align:center}.sql-vis_svg__2ckIP{width:100%;height:100%;background:transparent}.sql-vis_point__Eb3gk{cursor:pointer;transition:all .2s ease}.sql-vis_point__Eb3gk:hover{opacity:.8}.sql-vis_axis__g3hoi{font-size:12px}.sql-vis_axisLabel__px0Ia,.sql-vis_axis__g3hoi{font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif}.sql-vis_axisLabel__px0Ia{font-size:14px;font-weight:500}.sql-vis_tooltip__DDMhq{position:absolute;background:rgba(0,0,0,.8);color:#fff;padding:8px 12px;border-radius:4px;font-size:12px;pointer-events:none;z-index:1000}.sql-vis_highlighted__BFD2X{fill:#f44!important;stroke:#fff!important;stroke-width:4px!important;r:10px!important;filter:drop-shadow(0 0 8px rgba(255,68,68,.6))}.sql-vis_lassoPath__Jukzv{fill:none;stroke:#ff6b6b;stroke-width:2;stroke-dasharray:5,5;pointer-events:none}.sql-vis_lassoFill__P_I3G{fill:hsla(0,100%,71%,.1);pointer-events:none}.sql-vis_selectionInfo__d04Tu{margin-bottom:10px;padding:8px 12px;background-color:#e3f2fd;border-radius:4px;border:1px solid #2196f3;font-size:14px}.sql-vis_clearButton__sib8z{margin-left:10px;padding:2px 8px;background-color:#f44336;color:#fff;border:none;border-radius:3px;cursor:pointer;font-size:12px}.sql-vis_clearButton__sib8z:hover{background-color:#d32f2f}.sql-vis_lassoInstructions__NuXUo{margin-bottom:10px;padding:6px 10px;background-color:#fff3e0;border-radius:4px;border:1px solid #ff9800;font-size:12px;color:#e65100}.section-41-notation_fold__jEfRH{margin-top:.65rem}.section-41-notation_summary__s0g8i{display:flex;align-items:center;gap:.35rem;cursor:pointer;list-style:none;font-size:.88rem;font-weight:500;color:#374151;padding:.35rem 0;-webkit-user-select:none;-moz-user-select:none;user-select:none}.section-41-notation_summary__s0g8i:hover .section-41-notation_summaryChevron__s7pZS{color:#374151}.section-41-notation_summary__s0g8i::-webkit-details-marker{display:none}.section-41-notation_summaryChevron__s7pZS{flex-shrink:0;color:#6b7280;transition:transform .2s ease}.section-41-notation_fold__jEfRH[open] .section-41-notation_summaryChevron__s7pZS{transform:rotate(180deg)}.section-41-notation_body__kk39a{margin-top:.55rem;padding:0 0 0 .85rem;border-left:2px solid rgba(var(--card-border-rgb),.35);font-size:.88rem;line-height:1.72;color:#4b5563}.section-41-notation_body__kk39a p{margin:0}.section-41-notation_body__kk39a p+p{margin-top:.65rem}.section-41-notation_sectionLabel__rXhAE{font-weight:600;color:#111827;font-size:.93rem}.section-41-notation_body__kk39a .section-41-notation_sectionLabel__rXhAE{margin-bottom:.35rem}.section-41-notation_inlineMath__wey9G{display:inline-block;vertical-align:baseline;margin:0 .06em}.section-41-notation_inlineMath__wey9G .katex{font-size:1.05em}.section-41-notation_displayMath__RZUmc{margin:.5rem 0;padding:.35rem 0;overflow-x:auto;text-align:center}.section-41-notation_displayMath__RZUmc .katex-display{margin:0}.section-41-notation_code__fdbMQ{font-size:.86em}.section-41-notation_sup__wOlrv{font-size:.72em;font-weight:600;margin-left:.06em}.section-41-notation_cite__3SS4K{color:#64748b;font-size:.92em}.section-41-notation_footnote__BTY1P{margin-top:.85rem!important;padding-top:.65rem;border-top:1px dashed rgba(var(--card-border-rgb),.28);font-size:.84rem;color:#64748b}.section-41-notation_fnSource__Ui29F{color:#6b7280}