/*! tailwindcss v4.2.1 | MIT License | https://tailwindcss.com */
@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-shadow:0 0 #0000;--tw-shadow-color:initial;--tw-shadow-alpha:100%;--tw-inset-shadow:0 0 #0000;--tw-inset-shadow-color:initial;--tw-inset-shadow-alpha:100%;--tw-ring-color:initial;--tw-ring-shadow:0 0 #0000;--tw-inset-ring-color:initial;--tw-inset-ring-shadow:0 0 #0000;--tw-ring-inset:initial;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-offset-shadow:0 0 #0000;--tw-blur:initial;--tw-brightness:initial;--tw-contrast:initial;--tw-grayscale:initial;--tw-hue-rotate:initial;--tw-invert:initial;--tw-opacity:initial;--tw-saturate:initial;--tw-sepia:initial;--tw-drop-shadow:initial;--tw-drop-shadow-color:initial;--tw-drop-shadow-alpha:100%;--tw-drop-shadow-size:initial}}}@layer theme{:root,:host{--font-sans:ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-serif:ui-serif, Georgia, Cambria, "Times New Roman", Times, serif;--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--spacing:.25rem;--default-transition-duration:.15s;--default-transition-timing-function:cubic-bezier(.4, 0, .2, 1);--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab, currentcolor 50%, transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.visible{visibility:visible}.absolute{position:absolute}.fixed{position:fixed}.relative{position:relative}.start{inset-inline-start:var(--spacing)}.end{inset-inline-end:var(--spacing)}.block{display:block}.inline{display:inline}.table{display:table}.rounded{border-radius:.25rem}.antialiased{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}.ring{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(1px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow)}.filter{filter:var(--tw-blur,) var(--tw-brightness,) var(--tw-contrast,) var(--tw-grayscale,) var(--tw-hue-rotate,) var(--tw-invert,) var(--tw-saturate,) var(--tw-sepia,) var(--tw-drop-shadow,)}.transition{transition-property:color,background-color,border-color,outline-color,text-decoration-color,fill,stroke,--tw-gradient-from,--tw-gradient-via,--tw-gradient-to,opacity,box-shadow,transform,translate,scale,rotate,filter,-webkit-backdrop-filter,backdrop-filter,display,content-visibility,overlay,pointer-events;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}}:root{--paper:#f7f7f3;--paper-deep:#ecece5;--ink:#171814;--muted:#63655f;--line:#d9d9d1;--line-dark:#b9bbb2;--blue:#294b7a;--blue-soft:#e6edf5;--green:#1f5a46;--green-soft:#e3efe9;--amber:#875a16;--amber-soft:#f6ecd6;--red:#8a3931;--red-soft:#f5e5e1;--font-serif:"Iowan Old Style", "Palatino Linotype", "Book Antiqua", Palatino, Georgia, serif;--font-sans:var(--font-geist-sans), "Helvetica Neue", Helvetica, Arial, sans-serif;--font-mono:var(--font-geist-mono), "SFMono-Regular", Consolas, "Liberation Mono", monospace}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:var(--paper);color:var(--ink);font-family:var(--font-serif);font-kerning:normal;text-rendering:optimizelegibility;margin:0;font-size:16px}button,input{font-family:var(--font-sans)}a{color:inherit}main{min-height:100vh}.site-header{border-bottom:1px solid var(--line-dark);grid-template-columns:1fr auto;align-items:center;width:min(1380px,100% - 64px);min-height:58px;margin:0 auto;display:grid}.wordmark{letter-spacing:.04em;align-items:center;gap:11px;width:max-content;font-size:13px;font-weight:700;text-decoration:none;display:inline-flex}.wordmark-mark{border:1px solid var(--ink);width:30px;height:30px;font-family:var(--font-serif);letter-spacing:.06em;place-items:center;font-size:11px;font-weight:700;display:inline-grid}.header-date{color:var(--muted);font-family:var(--font-sans);letter-spacing:.04em;justify-self:end;font-size:11px}.hero{width:min(1380px,100% - 64px);margin:0 auto;padding:46px 0 40px}.hero-copy{max-width:none}.eyebrow{color:var(--blue);font-family:var(--font-sans);letter-spacing:.12em;text-transform:uppercase;margin:0;font-size:11px;font-weight:700}h1,h2,h3,p{margin-top:0}h1{max-width:none;font-family:var(--font-serif);letter-spacing:-.035em;white-space:nowrap;margin:0 0 16px;font-size:clamp(40px,4.1vw,58px);font-weight:400;line-height:.98}.index-section{width:min(1380px,100% - 64px);margin:0 auto;padding:44px 0 52px}.section-heading{display:block}.section-heading h2{font-family:var(--font-serif);letter-spacing:-.04em;margin:0;font-size:clamp(32px,3.4vw,48px);font-weight:400;line-height:1}.area-tabs{border-top:1px solid var(--ink);border-bottom:1px solid var(--line-dark);border-left:1px solid var(--line);grid-template-columns:repeat(4,minmax(0,1fr));margin-top:0;display:grid}.area-tab{border:0;border-right:1px solid var(--line);border-bottom:1px solid var(--line);min-height:56px;color:var(--muted);cursor:pointer;text-align:left;background:#ffffff3d;justify-content:space-between;align-items:flex-end;gap:12px;padding:10px 13px;font-size:11px;display:flex}.area-tab strong{color:var(--blue);font-family:var(--font-sans);font-size:11px}.area-tab:hover,.area-tab:focus-visible,.area-tab.active{background:var(--blue-soft);color:var(--ink)}.filters{border-top:1px solid var(--line-dark);border-bottom:1px solid var(--line-dark);grid-template-columns:minmax(270px,1fr) auto auto;align-items:center;gap:14px;margin-top:16px;padding:12px 0;display:grid}.search-field{align-items:center;gap:15px;display:flex}.search-field>span{letter-spacing:.12em;text-transform:uppercase;font-size:10px;font-weight:700}.search-field input{border:1px solid var(--line);width:min(100%,350px);height:34px;color:var(--ink);background:#ffffff73;border-radius:0;outline:none;padding:0 12px;font-size:13px}.search-field input:focus{border-color:var(--blue);box-shadow:0 0 0 2px #294b7a1f}.filter-group{gap:3px;display:flex}.filter{min-height:30px;color:var(--muted);cursor:pointer;background:0 0;border:1px solid #0000;padding:0 10px;font-size:11px}.filter:hover,.filter:focus-visible{color:var(--ink)}.filter.active{border-color:var(--line-dark);color:var(--ink);background:#fff}.formal-toggle{color:var(--muted);cursor:pointer;align-items:center;gap:8px;font-size:11px;display:flex}.formal-toggle input{width:14px;height:14px;accent-color:var(--blue)}.model-filter{border-top:1px solid var(--line);grid-column:1/-1;align-items:center;gap:14px;padding-top:10px;display:flex}.model-filter>span{font-family:var(--font-sans);letter-spacing:.12em;text-transform:uppercase;flex:none;font-size:10px;font-weight:700}.verification-guide{border-bottom:1px solid var(--line);max-width:none;margin:12px 0 4px;padding-bottom:12px}.verification-guide-grid{background:var(--paper-deep);grid-template-columns:repeat(4,minmax(0,1fr));gap:16px;margin-top:12px;padding:13px 15px;display:grid}.verification-guide-grid p{color:var(--muted);font-family:var(--font-sans);margin:0;font-size:10px;line-height:1.5}.verification-guide-grid strong{color:var(--ink)}.verification-guide-grid code{color:var(--red);font-family:var(--font-mono)}.claim-list{border-top:1px solid var(--ink)}.field-groups{gap:42px;display:grid}.field-group>header{justify-content:space-between;align-items:end;gap:24px;min-height:58px;padding:0 0 12px;display:flex}.field-group>header p{color:var(--blue);font-family:var(--font-sans);letter-spacing:.11em;text-transform:uppercase;margin-bottom:8px;font-size:9px;font-weight:700}.field-group>header h3{font-family:var(--font-serif);letter-spacing:-.035em;margin:0;font-size:clamp(28px,2.6vw,38px);font-weight:400}.claim{border-bottom:1px solid var(--line-dark);grid-template-columns:50px minmax(0,1fr) minmax(250px,.36fr);gap:18px;padding:22px 0 24px;display:grid}.claim-index{color:var(--muted);font-family:var(--font-mono);padding-top:5px;font-size:11px}.claim-meta{color:var(--blue);font-family:var(--font-sans);letter-spacing:.07em;text-transform:uppercase;gap:10px;font-size:10px;display:flex}.claim-meta span+span:before{content:"·";margin-right:10px}.claim h3{font-family:var(--font-serif);letter-spacing:-.025em;margin:8px 0;font-size:clamp(24px,2vw,30px);font-weight:400}.problem-statement{border-top:1px solid var(--line-dark);border-bottom:1px solid var(--line);background:#ffffff57;max-width:820px;margin:12px 0 14px;padding:12px 14px 13px}.problem-statement .problem-label{color:var(--blue);font-family:var(--font-sans);letter-spacing:.11em;text-transform:uppercase;margin:0 0 8px;font-size:9px;font-weight:700}.problem-copy{font-family:var(--font-serif);margin:0;font-size:15px;line-height:1.58}.math-inline .katex,.math-block .katex{font-size:1.02em}.math-block{margin:.75em 0;display:block;overflow:auto hidden}.math-block .katex-display{margin:0}.claim-result{color:#4c4e49;max-width:760px;margin-bottom:14px;font-size:14px;line-height:1.55}details{max-width:820px}summary{width:max-content;color:var(--ink);cursor:pointer;letter-spacing:.06em;text-transform:uppercase;font-size:11px;font-weight:700;list-style:none}summary::-webkit-details-marker{display:none}summary:before{width:17px;color:var(--blue);content:"+";display:inline-block}details[open] summary:before{content:"−"}.detail-grid{background:var(--paper-deep);grid-template-columns:1fr 1fr;gap:14px 22px;margin-top:16px;padding:16px;display:grid}.detail-grid p{margin:0;font-size:12px;line-height:1.55}.detail-grid .detail-label{color:var(--muted);font-family:var(--font-sans);letter-spacing:.1em;text-transform:uppercase;margin-bottom:5px;font-size:9px;font-weight:700}.detail-grid .audit-detail{color:var(--red)}.scope-note{border-left:2px solid var(--blue);color:var(--muted);font-family:var(--font-serif);margin:14px 0 0;padding-left:17px;font-size:14px;line-height:1.6}.source-links{flex-wrap:wrap;gap:8px 18px;margin-top:12px;display:flex}.source-links a{color:var(--blue);text-underline-offset:4px;font-size:11px;font-weight:700;text-decoration-thickness:1px}.claim-facts{border-left:1px solid var(--line);padding-left:18px}.status{letter-spacing:.07em;text-transform:uppercase;padding:6px 8px;font-size:9px;font-weight:700;line-height:1.3;display:inline-block}.status-resolved{background:var(--green-soft);color:var(--green)}.status-partial,.status-variant{background:var(--amber-soft);color:var(--amber)}.status-formalized{background:var(--blue-soft);color:var(--blue)}.status-retracted{background:var(--red-soft);color:var(--red)}.claim-facts dl{margin:16px 0 0}.claim-facts dl div+div{margin-top:11px}.claim-facts dt{color:var(--muted);font-family:var(--font-sans);letter-spacing:.11em;text-transform:uppercase;margin-bottom:4px;font-size:8px;font-weight:700}.claim-facts dd{margin:0;font-size:12px;line-height:1.45}.activity-rating{align-items:center;gap:8px;display:flex}.activity-rating>span{gap:3px;display:inline-flex}.activity-rating b{color:var(--blue);font-family:var(--font-sans);font-size:10px}.activity-dot{border:1px solid var(--line-dark);background:0 0;border-radius:50%;width:7px;height:7px;display:inline-block}.activity-dot.active{border-color:var(--blue);background:var(--blue)}.verification-formal{color:var(--green)}.verification-expert,.verification-mixed,.verification-peer{color:var(--blue)}.verification-unverified,.audit-flag{color:var(--red)}.empty-state{border-bottom:1px solid var(--line-dark);text-align:center;padding:64px 20px}.empty-state p{color:var(--muted)}.empty-state button{border:0;border-bottom:1px solid var(--ink);cursor:pointer;background:0 0;font-weight:700}@media (width<=1000px){.site-header,.hero,.index-section{width:min(100% - 40px,1380px)}.site-header{grid-template-columns:1fr auto}.filters{grid-template-columns:1fr}.area-tabs{grid-template-columns:repeat(2,minmax(0,1fr))}.verification-guide-grid{grid-template-columns:1fr 1fr}.filter-group{flex-wrap:wrap}.claim{grid-template-columns:38px minmax(0,1fr)}.claim-facts{border-top:1px solid var(--line);border-left:0;grid-column:2;grid-template-columns:auto 1fr;gap:24px;padding:18px 0 0;display:grid}.claim-facts dl{grid-template-columns:repeat(3,1fr);gap:16px;margin:0;display:grid}.claim-facts dl div+div{margin:0}}@media (width<=700px){.site-header{min-height:66px}.header-date{display:none}.hero{padding:34px 0 32px}h1{white-space:normal;font-size:clamp(42px,13vw,58px)}.section-heading{grid-template-columns:1fr;gap:20px}.area-tab{min-height:64px}.index-section{padding:38px 0 44px}.claim{grid-template-columns:1fr;gap:10px}.claim-index{display:none}.claim-facts{grid-column:1;grid-template-columns:1fr}.claim-facts dl{grid-template-columns:1fr 1fr}.detail-grid,.verification-guide-grid{grid-template-columns:1fr}.field-group>header{flex-direction:column;align-items:flex-start;gap:8px}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}}@property --tw-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-shadow-color{syntax:"*";inherits:false}@property --tw-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-inset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-shadow-color{syntax:"*";inherits:false}@property --tw-inset-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-ring-color{syntax:"*";inherits:false}@property --tw-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-ring-color{syntax:"*";inherits:false}@property --tw-inset-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-ring-inset{syntax:"*";inherits:false}@property --tw-ring-offset-width{syntax:"<length>";inherits:false;initial-value:0}@property --tw-ring-offset-color{syntax:"*";inherits:false;initial-value:#fff}@property --tw-ring-offset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-blur{syntax:"*";inherits:false}@property --tw-brightness{syntax:"*";inherits:false}@property --tw-contrast{syntax:"*";inherits:false}@property --tw-grayscale{syntax:"*";inherits:false}@property --tw-hue-rotate{syntax:"*";inherits:false}@property --tw-invert{syntax:"*";inherits:false}@property --tw-opacity{syntax:"*";inherits:false}@property --tw-saturate{syntax:"*";inherits:false}@property --tw-sepia{syntax:"*";inherits:false}@property --tw-drop-shadow{syntax:"*";inherits:false}@property --tw-drop-shadow-color{syntax:"*";inherits:false}@property --tw-drop-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-drop-shadow-size{syntax:"*";inherits:false}