@font-face{font-family:Inter;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/2c55a0e60120577a-s.03ez25a9g3i0n.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Inter;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/9c72aa0f40e4eef8-s.3i9rha7jpxn0q.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Inter;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/ad66f9afd8947f86-s.2o7ko1d-5m1xu.woff2)format("woff2");unicode-range:U+1F??}@font-face{font-family:Inter;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/5476f68d60460930-s.1ee5w62fj497l.woff2)format("woff2");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:Inter;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/2bbe8d2671613f1f-s.1way2z9fj6cig.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Inter;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/1bffadaabf893a1e-s.0szrwpqb9mkwe.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Inter;font-style:normal;font-weight:100 900;font-display:swap;src:url(../media/83afe278b6a6bb3c-s.p.45535valc9rzk.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Inter Fallback;src:local(Arial);ascent-override:90.44%;descent-override:22.52%;line-gap-override:0.0%;size-adjust:107.12%}.inter_2fe1ab3d-module__-T-KAq__className{font-family:Inter,Inter Fallback;font-style:normal}.inter_2fe1ab3d-module__-T-KAq__variable{--font-inter:"Inter", "Inter Fallback"}
@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-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:-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--radius-sm:.25rem;--radius-md:.375rem;--radius-lg:.5rem;--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,-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, 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:where(:not(iframe)){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}.sr-only{clip-path:inset(50%);white-space:nowrap;border-width:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.absolute{position:absolute}.fixed{position:fixed}.relative{position:relative}.block{display:block}.contents{display:contents}.flex{display:flex}.hidden{display:none}.rounded{border-radius:.25rem}.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,)}}:root{--ink:#142d27;--ink-deep:#0b211c;--forest:#174f42;--forest-bright:#216b58;--paper:#f5f3eb;--paper-warm:#ece9dd;--white:#fffefa;--lime:#d8f58b;--lime-bright:#e8ffad;--coral:#ff7557;--muted:#67736e;--line:#d8d8ce;--line-dark:#ffffff24;--shadow:0 22px 70px #0f2d251a;--radius-lg:30px;--radius-md:20px;--radius-sm:12px;--brand-mark-ink:var(--ink);--brand-dot:var(--coral);--font-sans:var(--font-inter), ui-sans-serif, system-ui, -apple-system, "Segoe UI", sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:var(--paper);color:var(--ink);font-family:var(--font-sans);-webkit-font-smoothing:antialiased;margin:0;font-size:16px;line-height:1.6}::selection{background:var(--lime);color:var(--ink)}a{color:inherit;text-decoration:none}button,input,textarea,select{font:inherit}button,summary{cursor:pointer}code,pre{font-family:SFMono-Regular,Consolas,Liberation Mono,monospace}h1,h2,h3,p{margin-top:0}h1,h2,h3{text-wrap:balance}h1,h2{letter-spacing:-.045em;font-family:Georgia,Times New Roman,serif;font-weight:500;line-height:1.02}h2{margin-bottom:20px;font-size:clamp(2.05rem,4vw,3.65rem)}h3{margin-bottom:9px;font-size:1.08rem;line-height:1.25}.shell{width:min(1180px,100% - 48px);margin-inline:auto}.shell-wrap{padding-inline:24px}.shell-wrap>.shell{width:min(1180px,100%)}.section-space{padding-block:112px}.sr-only{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.skip-link{z-index:1000;background:var(--lime);color:var(--ink);border-radius:8px;padding:10px 16px;font-weight:750;transition:transform .16s;position:fixed;top:12px;left:12px;transform:translateY(-150%)}.skip-link:focus{transform:translateY(0)}:focus-visible{outline:3px solid var(--forest);outline-offset:3px}.hero-panel :focus-visible,.dark-section :focus-visible,.frozen-section :focus-visible,.final-cta :focus-visible,.inner-hero :focus-visible,.record-hero :focus-visible,.signin-page :focus-visible,.axiom-card :focus-visible,.site-footer :focus-visible{outline-color:var(--lime-bright)}.eyebrow{color:var(--forest-bright);letter-spacing:.16em;text-transform:uppercase;margin-bottom:18px;font-size:.72rem;font-weight:850;line-height:1.2;display:inline-block}.eyebrow-light{color:var(--lime)}.button{border:1px solid #0000;border-radius:999px;justify-content:center;align-items:center;gap:9px;min-height:48px;padding:0 21px;font-size:.9rem;font-weight:760;line-height:1;transition:transform .16s,background .16s,border-color .16s;display:inline-flex}.button:hover{transform:translateY(-2px)}.button-lime{background:var(--lime);color:var(--ink);box-shadow:0 10px 32px #d8f58b26}.button-lime:hover{background:var(--lime-bright)}.button-dark{background:var(--ink);color:var(--white)}.button-dark:hover{background:var(--forest)}.button-ghost-light{color:var(--white);background:0 0;border-color:#ffffff42}.button-ghost-light:hover{background:#ffffff0f;border-color:#ffffff8f}.button-small{min-height:38px;padding-inline:16px;font-size:.82rem}.text-link{color:var(--forest);border-bottom:1px solid;align-items:center;gap:8px;font-size:.9rem;font-weight:800;line-height:1.7;display:inline-flex}.text-link:hover svg{transform:translate(3px)}.text-link svg{transition:transform .16s}.site-header{z-index:100;-webkit-backdrop-filter:blur(18px);backdrop-filter:blur(18px);background:#f5f3ebe0;border-bottom:1px solid #142d271a;position:sticky;top:0}.header-inner{grid-template-columns:auto 1fr auto;align-items:center;gap:32px;height:72px;display:grid}.brand{letter-spacing:-.025em;align-items:center;gap:10px;width:max-content;font-family:Georgia,Times New Roman,serif;font-size:1.16rem;font-weight:700;line-height:1;display:inline-flex}.brand-mark{width:34px;height:34px;color:var(--lime)}.brand-sub{color:var(--muted);font-weight:500}.desktop-nav{justify-self:center;align-items:center;gap:30px;display:flex}.desktop-nav a{color:#475751;font-size:.82rem;font-weight:700}.desktop-nav a:hover{color:var(--ink)}.header-auth{justify-content:flex-end;align-items:center;gap:12px;display:flex}.header-auth form{display:flex}.user-handle{max-width:130px;color:var(--muted);text-overflow:ellipsis;white-space:nowrap;font-size:.78rem;font-weight:700;overflow:hidden}.icon-button{border:1px solid var(--line);width:38px;height:38px;color:var(--ink);background:0 0;border-radius:999px;place-items:center;display:grid}.mobile-menu{display:none}.hero{padding-top:24px}.hero-panel{border-radius:var(--radius-lg);background:var(--ink-deep);min-height:700px;color:var(--white);box-shadow:var(--shadow);grid-template-rows:1fr auto;grid-template-columns:minmax(0,1.08fr) minmax(390px,.92fr);display:grid;position:relative;overflow:hidden}.hero-panel:before{content:"";pointer-events:none;background:radial-gradient(circle at 14% 0,#3e826d5c,#0000 42%),linear-gradient(115deg,#0000 45%,#ffffff06);position:absolute;inset:0}.zeta-field{z-index:0;opacity:.78;pointer-events:none;width:62%;height:76%;position:absolute;top:-25px;right:-80px}.hero-content,.record-display,.hero-metrics{z-index:1;position:relative}.hero-content{flex-direction:column;align-self:center;align-items:flex-start;max-width:680px;padding:82px 40px 70px 70px;display:flex}.status-pill{color:#dce8e3;letter-spacing:.07em;text-transform:uppercase;background:#d8f58b0f;border:1px solid #d8f58b38;border-radius:999px;align-items:center;gap:9px;margin-bottom:28px;padding:8px 13px;font-size:.68rem;font-weight:800;display:inline-flex}.pulse-dot{background:var(--lime);border-radius:50%;width:7px;height:7px;box-shadow:0 0 0 5px #d8f58b1a}@keyframes pulse-ring{0%,to{box-shadow:0 0 0 4px #d8f58b24}50%{box-shadow:0 0 0 8px #d8f58b0a}}@media (prefers-reduced-motion:no-preference){.pulse-dot{animation:2.8s ease-in-out infinite pulse-ring}}.hero h1{max-width:720px;margin-bottom:25px;font-size:clamp(3.15rem,6vw,5.55rem);line-height:.96}.hero h1 em{color:var(--lime);font-weight:inherit}.hero-lede{color:#c7d2ce;max-width:600px;margin-bottom:31px;font-size:1.08rem;line-height:1.65}.hero-actions{flex-wrap:wrap;align-items:center;gap:12px;display:flex}.record-display{border-radius:var(--radius-md);-webkit-backdrop-filter:blur(13px);backdrop-filter:blur(13px);background:#061b16b8;border:1px solid #ffffff21;place-self:center end;width:calc(100% - 42px);max-width:490px;margin:72px 42px 72px 0;padding:31px;box-shadow:0 24px 75px #00000036}.record-label{color:var(--lime);letter-spacing:.12em;text-transform:uppercase;align-items:center;gap:8px;margin-bottom:11px;font-size:.68rem;font-weight:850;display:flex}.record-number{font-family:var(--font-sans);letter-spacing:-.03em;white-space:nowrap;align-items:flex-start;margin-bottom:4px;font-size:clamp(2rem,3.6vw,3.35rem);font-weight:650;line-height:1;display:flex}.record-number sup{color:var(--coral);font-family:var(--font-sans);letter-spacing:0;margin:4px 0 0 6px;font-size:.9rem;font-weight:800}.record-display>code{color:#91a59e;font-size:.75rem}.frontier-progress{margin-top:36px}.progress-labels,.progress-scale{justify-content:space-between;align-items:center;display:flex}.progress-labels{color:#9fb0aa;margin-bottom:10px;font-size:.68rem}.progress-labels strong{color:var(--white)}.progress-track{background:#ffffff1f;border-radius:999px;height:7px;position:relative}.progress-fill{border-radius:inherit;background:linear-gradient(90deg, var(--forest-bright), var(--lime));inset-block:0;position:absolute;left:0}.prior-marker{z-index:2;background:var(--coral);width:2px;height:17px;position:absolute;top:-5px}.progress-scale{color:#7d938b;margin-top:8px;font-size:.68rem}.hero-metrics{background:#00000014;border-top:1px solid #ffffff1f;grid-column:1/-1;grid-template-columns:repeat(3,1fr);display:grid}.hero-metrics>div{border-right:1px solid #ffffff1a;min-height:128px;padding:25px 34px}.hero-metrics>div:last-child{border-right:0}.hero-metrics span{color:#8ca099;letter-spacing:.12em;text-transform:uppercase;margin-bottom:6px;font-size:.63rem;font-weight:850;display:block}.hero-metrics strong{font-family:Georgia,Times New Roman,serif;font-size:1.9rem;font-weight:500;line-height:1}.hero-metrics small{color:var(--lime);font-family:var(--font-sans);letter-spacing:0;font-size:.68rem;font-weight:700}.hero-metrics p{color:#82958f;margin:7px 0 0;font-size:.72rem}.intro-grid{grid-template-columns:.9fr 1.1fr;align-items:start;gap:clamp(50px,10vw,140px);display:grid}.intro-copy h2{margin-bottom:0}.intro-text{padding-top:22px}.intro-text p{color:#54635e;font-size:1.05rem;line-height:1.8}.intro-text p:first-child{color:var(--ink);font-size:1.2rem}.section-heading{justify-content:space-between;align-items:end;gap:40px;display:flex}.section-heading h2{margin-bottom:0}.chart-section{padding-bottom:40px}.chart-card,.leaderboard-card{border:1px solid var(--line);border-radius:var(--radius-md);background:var(--white);overflow:hidden;box-shadow:0 14px 50px #0f2d250f}.chart-heading,.leaderboard-heading{padding:38px 42px 24px}.chart-heading h2,.leaderboard-heading h2{font-size:clamp(1.85rem,3.3vw,2.7rem)}.chart-unit,.legend{color:#5c6a64;font-size:.7rem;font-weight:750}.bound-chart{width:100%;height:auto;padding:0 18px 10px;display:block}.bound-chart-compact{display:none}.chart-grid{stroke:#e9e8df;stroke-width:1px}.chart-label{fill:#5c6a64;font-family:var(--font-sans);font-size:11px}.chart-line{fill:none;stroke:var(--forest);stroke-linecap:round;stroke-linejoin:round;stroke-width:3px}.chart-point{fill:var(--white);stroke:var(--forest);stroke-width:3px}.chart-point-current{fill:var(--lime);stroke:var(--ink);stroke-width:4px}.chart-value{fill:var(--ink);font-family:var(--font-sans);font-size:11px;font-weight:800}.legend{align-items:center;gap:7px;display:inline-flex}.legend-dot{background:var(--forest);border-radius:50%;width:8px;height:8px}.leaderboard-card table{border-collapse:collapse;text-align:left;width:100%}.leaderboard-card th{border-block:1px solid var(--line);color:#5c6a64;letter-spacing:.11em;text-transform:uppercase;background:#f1f0e9;padding:12px 22px;font-size:.68rem;font-weight:850}.leaderboard-card th:first-child,.leaderboard-card td:first-child{padding-left:42px}.leaderboard-card th:last-child,.leaderboard-card td:last-child{padding-right:42px}.leaderboard-card td{vertical-align:middle;border-bottom:1px solid #e4e3da;padding:23px 22px}.leaderboard-card tbody tr:last-child td{border-bottom:0}.leaderboard-card tbody tr:hover{background:#fafaf6}.leaderboard-card .current-row{background:#d8f58b2b}.rank{color:#8d9792;font-family:SFMono-Regular,Consolas,monospace;font-size:.7rem}.score-cell{white-space:nowrap;align-items:center;gap:10px;display:flex}.score-cell strong{font-family:var(--font-sans);font-variant-numeric:tabular-nums;letter-spacing:-.01em;font-size:1.08rem;font-weight:700}.record-chip,.permission-chip{background:var(--lime);color:var(--ink);letter-spacing:.06em;text-transform:uppercase;border-radius:999px;padding:4px 8px;font-size:.55rem;font-weight:850;display:inline-flex}.leaderboard-card td:nth-child(3) strong,.leaderboard-card td:nth-child(3) small{display:block}.leaderboard-card td:nth-child(3) strong{font-size:.82rem}.leaderboard-card td:nth-child(3) small{color:var(--muted);margin-top:3px;font-size:.66rem}.method-cell{color:#53615c;max-width:210px;font-size:.72rem;line-height:1.45;display:block}.evidence-links{flex-direction:column;align-items:flex-start;gap:7px;display:flex}.evidence-link{color:var(--forest);white-space:nowrap;align-items:center;gap:6px;font-size:.72rem;font-weight:800;display:inline-flex}.evidence-link.expert{color:#7a5233}.dark-section{background:var(--ink-deep);color:var(--white)}.pipeline-section{padding-block:106px}.pipeline-heading{margin-bottom:57px}.pipeline-heading h2{color:var(--white)}.pipeline-heading>p{color:#99aaa4;max-width:430px;margin:0;font-size:.9rem}.pipeline-grid{grid-template-columns:repeat(5,1fr);margin:0;padding:0;list-style:none;display:grid}.pipeline-grid li{border-left:1px solid var(--line-dark);min-height:245px;padding:0 28px;position:relative}.pipeline-grid li:first-child{border-left:0;padding-left:0}.pipeline-grid li:last-child{padding-right:0}.pipeline-icon{width:48px;height:48px;color:var(--lime);background:#d8f58b14;border:1px solid #d8f58b47;border-radius:14px;place-items:center;margin-bottom:31px;display:grid}.pipeline-grid li>span{color:var(--coral);margin-bottom:6px;font-family:SFMono-Regular,Consolas,monospace;font-size:.62rem;font-weight:800;display:block}.pipeline-grid h3{color:var(--white);font-size:.94rem}.pipeline-grid p{color:#8fa19b;margin:0;font-size:.74rem;line-height:1.65}.contract-grid{grid-template-columns:.82fr 1.18fr;align-items:center;gap:clamp(55px,9vw,120px);display:grid}.contract-copy p{max-width:480px;color:var(--muted);margin-bottom:25px}.theorem-card{border-radius:var(--radius-md);background:var(--white);box-shadow:var(--shadow);border:1px solid #cfcec3;overflow:hidden}.theorem-top,.theorem-bottom{color:#68746f;background:#efeee6;align-items:center;gap:9px;padding:15px 21px;font-family:SFMono-Regular,Consolas,monospace;font-size:.66rem;display:flex}.theorem-top{border-bottom:1px solid #d9d8cf}.theorem-bottom{border-top:1px solid #d9d8cf}.locked{color:var(--forest);font-family:var(--font-sans);letter-spacing:.05em;text-transform:uppercase;align-items:center;gap:4px;margin-left:auto;font-size:.56rem;font-weight:850;display:inline-flex}.theorem-body{padding:45px 35px}.theorem-math,.theorem-main{text-align:center;font-family:Georgia,Times New Roman,serif}.theorem-math{color:#52605b;margin-bottom:11px;font-size:1rem}.theorem-main{margin-bottom:31px;font-size:clamp(1.3rem,2.6vw,2rem);line-height:1.3}.theorem-defs{color:#77827e;justify-content:center;gap:22px;font-size:.65rem;display:flex}.final-cta{border-radius:var(--radius-lg);background:var(--forest);color:var(--white);justify-content:space-between;align-items:end;gap:50px;margin-bottom:24px;padding:75px 78px;display:flex}.final-cta h2{color:var(--white);margin-bottom:13px}.final-cta p{color:#b4c5be;margin:0}.final-actions{flex-wrap:wrap;flex:none;gap:10px;display:flex}.inner-hero{padding-top:24px}.inner-hero>.shell{border-radius:var(--radius-lg);background:var(--ink-deep);color:var(--white)}.inner-hero-grid{background-image:radial-gradient(circle at 78% 15%,#266c5775,#0000 40%);grid-template-columns:minmax(0,1.2fr) minmax(310px,.8fr);align-items:center;gap:clamp(55px,9vw,120px);min-height:510px;padding:74px 75px;display:grid}.inner-hero-grid>*{min-width:0}.inner-hero h1{max-width:750px;margin-bottom:24px;font-size:clamp(3rem,5.7vw,5.2rem)}.inner-hero-grid>div>p{color:#b7c5c0;max-width:630px;margin-bottom:30px;font-size:1.05rem}.challenge-score-card,.submit-status-card,.trust-seal{border-radius:var(--radius-md);-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);background:#0000002e;border:1px solid #ffffff21;padding:31px}.challenge-score-card>span{color:var(--lime);letter-spacing:.12em;text-transform:uppercase;margin-bottom:15px;font-size:.65rem;font-weight:850;display:block}.challenge-score-card strong{overflow-wrap:anywhere;letter-spacing:.04em;margin-bottom:7px;font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:clamp(1.02rem,1.6vw,1.22rem);font-weight:600;line-height:1.65;display:block}.challenge-score-card code{color:#94aaa2;font-size:.73rem}.challenge-score-card p{border-top:1px solid var(--line-dark);color:var(--coral);margin:30px 0 0;padding-top:18px;font-size:.75rem;font-weight:750}.contract-layout{grid-template-columns:minmax(0,1fr) 230px;align-items:start;gap:90px;display:grid}.prose-section{min-width:0;max-width:780px}.prose-section>p{color:#53615c;font-size:1.02rem;line-height:1.8}.prose-section>p:first-of-type{color:var(--ink);font-size:1.13rem}.prose-section .code-block{margin-block:34px}.code-block{border-radius:var(--radius-sm);background:var(--ink-deep);color:#e7eee9;border:1px solid #293d37;overflow:hidden;box-shadow:0 14px 40px #091f1a1a}.code-label{color:#91a69e;letter-spacing:.08em;text-transform:uppercase;background:#ffffff09;border-bottom:1px solid #ffffff1a;padding:11px 17px;font-size:.61rem;font-weight:750}.code-block pre{color:#dce9e3;margin:0;padding:23px;font-size:.75rem;line-height:1.75;overflow-x:auto}.toc-card{border-left:2px solid var(--forest);flex-direction:column;gap:12px;padding:25px;display:flex;position:sticky;top:101px}.toc-title{letter-spacing:.1em;text-transform:uppercase;margin-bottom:6px;font-size:.68rem;font-weight:850}.toc-card a{color:var(--muted);font-size:.78rem;font-weight:650}.toc-card a:hover{color:var(--forest)}.rule-section{padding-bottom:112px;scroll-margin-top:90px}.split-heading{margin-bottom:46px}.split-heading>p{max-width:410px;color:var(--muted);margin:0;font-size:.86rem}.rule-grid,.trust-grid{grid-template-columns:repeat(3,1fr);gap:16px;display:grid}.rule-grid article,.trust-grid article{border:1px solid var(--line);border-radius:var(--radius-md);background:var(--white);min-height:245px;padding:30px}.rule-icon{background:var(--lime);border-radius:13px;place-items:center;width:47px;height:47px;margin-bottom:37px;display:grid}.rule-grid h3,.trust-grid h3{font-size:1.08rem}.rule-grid p,.trust-grid p{color:var(--muted);margin:0;font-size:.8rem}.rule-grid code{color:var(--forest);font-size:.73rem}.frozen-section{background:var(--forest);color:var(--white);padding-block:95px;scroll-margin-top:72px}.frozen-grid{grid-template-columns:.9fr 1.1fr;align-items:center;gap:100px;display:grid}.frozen-grid h2{color:var(--white)}.frozen-grid p{color:#b5c6c0;max-width:450px}.check-list{flex-direction:column;gap:13px;margin:26px 0 0;padding:0;list-style:none;display:flex}.check-list li{color:#4f5f59;align-items:flex-start;gap:10px;font-size:.83rem;display:flex}.check-list li svg{color:var(--forest);flex:none;margin-top:4px}.check-list-dark{margin:0}.check-list-dark li{color:#d2ddd9;border-bottom:1px solid #ffffff21;padding:13px 0}.check-list-dark li svg{color:var(--lime)}.acceptance-grid{grid-template-columns:repeat(2,1fr);gap:18px;display:grid}.acceptance-card{border:1px solid var(--line);border-radius:var(--radius-md);background:var(--white);min-height:240px;padding:36px}.acceptance-card.accepted{background:#f3f9df;border-color:#b8d869}.acceptance-kicker{color:var(--forest);letter-spacing:.08em;text-transform:uppercase;align-items:center;gap:7px;margin-bottom:45px;font-size:.65rem;font-weight:850;display:flex}.acceptance-card p{color:var(--muted);margin:0;font-size:.82rem}.pins-card{border:1px solid var(--line);border-radius:var(--radius-md);background:var(--white);grid-template-columns:1fr 1fr;align-items:end;gap:36px 60px;margin-bottom:112px;padding:52px;scroll-margin-top:95px;display:grid}.pins-card h2{margin-bottom:0;font-size:clamp(1.85rem,3.5vw,2.8rem)}.pin-list{margin:0}.pin-list>div{border-bottom:1px solid var(--line);justify-content:space-between;padding:10px 0;display:flex}.pin-list dt{color:var(--muted);font-size:.72rem}.pin-list dd{margin:0;font-family:SFMono-Regular,Consolas,monospace;font-size:.7rem}.pins-card .text-link{grid-column:1}.methodology-hero .inner-hero-grid{background-image:radial-gradient(circle at 78%,#d8f58b21,#0000 30%),linear-gradient(130deg,#0000 50%,#18584759)}.trust-seal{text-align:center;flex-direction:column;justify-content:center;align-items:center;min-height:245px;display:flex}.trust-seal svg{color:var(--lime);margin-bottom:22px}.trust-seal strong{margin-bottom:7px;font-family:Georgia,Times New Roman,serif;font-size:1.45rem;font-weight:500}.trust-seal span{color:#8ea49b;font-size:.68rem}.methodology-pipeline{margin-top:-1px}.trust-grid article{flex-direction:column;display:flex;position:relative}.trust-grid article>svg{color:var(--forest);margin-bottom:38px}.trust-grid .permission-chip{width:max-content;margin-top:auto}.methodology-detail{grid-template-columns:1.25fr .75fr;align-items:center;gap:80px;padding-bottom:112px;display:grid}.kernel-diagram{border:1px solid var(--line);border-radius:var(--radius-sm);background:var(--white);justify-content:space-between;align-items:center;gap:10px;margin-top:40px;padding:18px 20px;display:flex}.kernel-diagram span{white-space:nowrap;background:#ebeee6;border-radius:7px;padding:7px 10px;font-family:SFMono-Regular,Consolas,monospace;font-size:.64rem}.kernel-diagram svg{color:var(--forest);flex:none}.axiom-card{border-radius:var(--radius-md);background:var(--ink);color:var(--white);padding:34px}.axiom-card h3{margin-bottom:25px;font-family:Georgia,Times New Roman,serif;font-size:1.65rem;font-weight:500}.axiom-card ul{margin:0 0 22px;padding:0;list-style:none}.axiom-card li{border-bottom:1px solid var(--line-dark);align-items:center;gap:9px;padding:11px 0;display:flex}.axiom-card li svg{color:var(--lime)}.axiom-card li code{color:#dce7e2;font-size:.75rem}.axiom-card p{color:#91a39c;margin:0;font-size:.72rem}.isolation-section{background:#e7e5db;padding-block:95px}.isolation-grid{grid-template-columns:.95fr 1.05fr;align-items:center;gap:100px;display:grid}.isolation-grid>div:first-child p{max-width:500px;color:var(--muted)}.isolation-list{flex-direction:column;display:flex}.isolation-list>div{border-bottom:1px solid #c9c9bf;gap:18px;padding:20px 0;display:flex}.isolation-list>div>svg{color:var(--forest);flex:none;margin-top:4px}.isolation-list strong,.isolation-list small{display:block}.isolation-list strong{margin-bottom:3px;font-size:.86rem}.isolation-list small{color:var(--muted);font-size:.72rem}.local-check{grid-template-columns:.8fr 1.2fr;align-items:center;gap:80px;display:grid}.local-check>div:first-child p{color:var(--muted)}.submit-status-card strong,.submit-status-card p{display:block}.submit-status-card strong{margin-bottom:12px;font-family:Georgia,Times New Roman,serif;font-size:1.6rem;font-weight:500;line-height:1.2}.submit-status-card p{color:#96aaa2;margin:0;font-size:.76rem}.submit-hero form{display:flex}.numbered-steps{grid-template-columns:repeat(3,1fr);margin:0;padding:0;list-style:none;display:grid}.numbered-steps li{border-block:1px solid var(--line);border-right:1px solid var(--line);gap:23px;min-height:200px;padding:31px;display:flex}.numbered-steps li:first-child{border-left:1px solid var(--line);border-radius:var(--radius-md) 0 0 var(--radius-md)}.numbered-steps li:last-child{border-radius:0 var(--radius-md) var(--radius-md) 0}.numbered-steps li>span{color:var(--coral);font-family:SFMono-Regular,Consolas,monospace;font-size:.68rem;font-weight:850}.numbered-steps h3{font-size:1rem}.numbered-steps p{color:var(--muted);margin:0;font-size:.77rem}.numbered-steps code{color:var(--forest);font-size:.68rem}.submission-template{grid-template-columns:.72fr 1.28fr;align-items:center;gap:75px;padding-bottom:112px;display:grid}.template-copy p{color:var(--muted)}.submission-template .code-block pre{max-height:530px}.verify-locally{border:1px solid var(--line);border-radius:var(--radius-md);background:var(--white);grid-template-columns:auto 1fr auto;align-items:center;gap:28px;padding:42px;display:grid}.verify-icon{background:var(--lime);border-radius:14px;place-items:center;width:52px;height:52px;display:grid}.verify-locally .eyebrow{margin-bottom:6px}.verify-locally h2{margin-bottom:5px;font-size:1.55rem}.verify-locally p{color:var(--muted);margin:0;font-size:.75rem}.verify-locally>code{white-space:pre-wrap;overflow-wrap:anywhere;max-width:410px;color:var(--forest);background:#edf0e8;border-radius:8px;padding:12px 15px;font-size:.72rem}.submit-final-card{border-radius:var(--radius-md);background:var(--lime);align-items:center;gap:27px;margin-block:40px 112px;padding:48px;display:flex}.submit-final-card>svg{flex:none}.submit-final-card div{margin-right:auto}.submit-final-card h2{margin-bottom:4px;font-size:2rem}.submit-final-card p{color:#526157;margin:0;font-size:.82rem}.direct-submit-section{padding-bottom:70px}.direct-submit-heading{justify-content:space-between;align-items:end;gap:30px;margin-bottom:34px;display:flex}.direct-submit-heading h2{margin:0;font-size:clamp(2.1rem,4vw,3.4rem)}.current-record-chip{border:1px solid var(--line);border-radius:var(--radius-sm);background:var(--white);min-width:330px;padding:16px 19px}.current-record-chip span,.current-record-chip code{display:block}.current-record-chip span{color:var(--muted);letter-spacing:.1em;text-transform:uppercase;margin-bottom:5px;font-size:.62rem;font-weight:850}.current-record-chip code{max-width:100%;color:var(--forest);text-overflow:ellipsis;white-space:nowrap;font-size:.69rem;overflow:hidden}.direct-submission-form{border:1px solid var(--line);border-radius:var(--radius-lg);background:var(--white);box-shadow:var(--shadow);padding:clamp(26px,4vw,48px)}.submission-fields{grid-template-columns:repeat(2,minmax(0,1fr));gap:22px;display:grid}.submission-fields label,.submission-fields label>span,.lean-source-field{display:block}.submission-fields label>span{margin-bottom:7px;font-size:.72rem;font-weight:800}.submission-fields input,.submission-fields textarea{width:100%;color:var(--ink);font:inherit;background:#fbfcf8;border:1px solid #cfd5ce;border-radius:9px;padding:12px 14px;font-size:.8rem}.submission-fields input:focus,.submission-fields textarea:focus,.lean-editor:focus{border-color:var(--forest-bright);outline:3px solid #216b5824}.submission-fields small{color:var(--muted);margin-top:5px;font-size:.64rem;display:block}.submission-fields .field-wide{grid-column:1/-1}.lean-source-field{border-radius:var(--radius-md);background:#0d251f;border:1px solid #183c33;margin-top:30px;overflow:hidden}.lean-source-heading,.source-meter{justify-content:space-between;align-items:center;gap:18px;padding:13px 16px;display:flex}.lean-source-heading{color:var(--white);border-bottom:1px solid #ffffff1f}.lean-source-heading>div,.file-picker{align-items:center;gap:8px;display:inline-flex}.lean-source-heading>div span{font-family:SFMono-Regular,Consolas,monospace;font-size:.7rem}.file-picker{cursor:pointer;color:var(--lime);font-size:.68rem;font-weight:800}.file-picker input{clip:rect(0 0 0 0);width:1px;height:1px;position:absolute;overflow:hidden}.lean-editor{resize:vertical;color:#dce9e3;tab-size:2;background:#0a1f1a;border:0;border-radius:0;outline:0;width:100%;min-height:430px;padding:22px;font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:.76rem;line-height:1.65;display:block}.lean-editor::placeholder{color:#668078}.source-meter{color:#819990;border-top:1px solid #ffffff1a;font-family:SFMono-Regular,Consolas,monospace;font-size:.61rem}.license-consent{color:var(--muted);align-items:flex-start;gap:10px;margin:24px 0;font-size:.72rem;display:flex}.license-consent input{width:16px;height:16px;accent-color:var(--forest);margin-top:3px}.verification-job-card{border:1px solid var(--line);border-radius:var(--radius-md);background:#f4f5ef;grid-template-columns:auto 1fr auto;align-items:center;gap:16px;padding:22px;display:grid}.verification-job-card.running,.verification-job-card.starting{background:#f3f8e7;border-color:#b9c79b}.verification-job-card.verified{background:#eaf5d4;border-color:#83ad6b}.verification-job-card.rejected,.verification-job-card.superseded,.verification-job-card.error{background:#fff1ed;border-color:#e4b1a5}.job-icon{background:var(--white);width:44px;height:44px;color:var(--forest);border-radius:12px;place-items:center;display:grid}.verification-job-card.rejected .job-icon,.verification-job-card.superseded .job-icon,.verification-job-card.error .job-icon{color:#b14932}.verification-job-card strong,.verification-job-card p,.verification-job-card code{display:block}.verification-job-card a{color:var(--forest);text-underline-offset:3px;margin-top:7px;font-size:.68rem;font-weight:800;text-decoration:underline;display:inline-block}.verification-job-card strong{font-size:.82rem}.verification-job-card p{color:var(--muted);margin:3px 0 0;font-size:.7rem}.verification-job-card code{overflow-wrap:anywhere;color:var(--forest);margin-top:6px;font-size:.59rem}.spin{animation:1.1s linear infinite spin}@keyframes spin{to{transform:rotate(360deg)}}.verification-log{border:1px solid var(--line);border-radius:var(--radius-sm);color:#c7d8d1;background:#0a1f1a;margin-top:18px}.verification-log summary{cursor:pointer;padding:13px 16px;font-size:.7rem;font-weight:800}.verification-log pre{white-space:pre-wrap;border-top:1px solid #ffffff1a;max-height:420px;margin:0;padding:18px;font-size:.65rem;overflow:auto}.submission-locked-card{border:1px solid var(--line);border-radius:var(--radius-md);background:var(--white);align-items:center;gap:20px;padding:34px;display:flex}.submission-locked-card>svg{color:var(--forest);flex:none}.submission-locked-card div{margin-right:auto}.submission-locked-card h3{margin-bottom:4px}.submission-locked-card p{color:var(--muted);margin:0;font-size:.74rem}.inline-proof-rules{color:#40564d;margin:0;padding:0;font-size:.67rem;list-style:none}.inline-proof-rules li{align-items:center;gap:6px;display:flex}.record-hero{padding-top:24px}.record-hero>.shell{border-radius:var(--radius-lg);background:var(--ink-deep);min-height:490px;color:var(--white);padding:55px 72px 72px}.back-link{color:var(--muted);align-items:center;gap:7px;font-size:.72rem;font-weight:750;display:inline-flex}.back-link-light{color:#92a69f;margin-bottom:70px}.record-hero-grid{grid-template-columns:1.1fr .9fr;align-items:center;gap:75px;display:grid}.verification-badges{flex-wrap:wrap;align-items:center;gap:9px;margin-bottom:20px;display:flex}.verification-badge{letter-spacing:.07em;text-transform:uppercase;border-radius:999px;align-items:center;gap:7px;padding:7px 11px;font-size:.63rem;font-weight:850;display:inline-flex}.verification-badge.verified{background:var(--lime);color:var(--ink)}.verification-badge.paper{color:#c5d1cc;border:1px solid #ffffff3d}.verification-badge.expert{color:#ffd1b2;border:1px solid #f4a77499}.record-hero h1{margin-bottom:20px;font-size:clamp(2.9rem,5vw,4.7rem)}.record-hero-grid>div:first-child>p{color:#a8b9b2;max-width:570px;margin:0}.record-big-score{border-left:1px solid var(--line-dark);padding-left:43px}.record-big-score>span,.record-big-score>strong,.record-big-score>code{display:block}.record-big-score>span{color:var(--lime);letter-spacing:.12em;text-transform:uppercase;margin-bottom:12px;font-size:.65rem;font-weight:850}.record-big-score>strong{font-family:var(--font-sans);letter-spacing:-.03em;white-space:nowrap;margin-bottom:8px;font-size:clamp(2.2rem,4.4vw,3.8rem);font-weight:650;line-height:1}.record-big-score sup{color:var(--coral);font-family:var(--font-sans);margin-left:5px;font-size:.8rem}.record-big-score code{color:#8ca199;font-size:.7rem}.record-details{grid-template-columns:1fr 430px;align-items:start;gap:100px;padding-block:100px 120px;display:grid}.record-details article h2{font-size:3rem}.record-metadata{max-width:650px;margin:40px 0 0}.record-metadata>div{border-bottom:1px solid var(--line);grid-template-columns:160px 1fr;padding:16px 0;display:grid}.record-metadata dt{color:var(--muted);align-items:center;gap:8px;font-size:.72rem;display:flex}.record-metadata dd{margin:0;font-size:.82rem;font-weight:700}.evidence-card{border:1px solid var(--line);border-radius:var(--radius-md);background:var(--white);padding:36px}.evidence-card h3{font-family:Georgia,Times New Roman,serif;font-size:1.75rem;font-weight:500}.evidence-card p{color:var(--muted);margin-bottom:24px;font-size:.8rem}.evidence-card .text-link{margin-top:22px;font-size:.75rem}.independent-review{border-top:1px solid var(--line);color:#5c6a64;gap:11px;margin-top:26px;padding-top:22px;display:flex}.independent-review>div,.independent-review strong,.independent-review span,.independent-review a{display:block}.independent-review strong{color:var(--ink);margin-bottom:4px;font-size:.76rem}.independent-review span,.independent-review a{font-size:.7rem;line-height:1.5}.independent-review p{color:#5c6a64;margin:6px 0 0;font-size:.7rem;line-height:1.5}.independent-review a{color:var(--forest);align-items:center;gap:4px;margin-top:7px;font-weight:800;display:inline-flex}.independent-review.reviewed{color:#9b5d36}.signin-page,.not-found-page{background:var(--ink-deep);min-height:calc(100vh - 72px);color:var(--white);place-items:center;padding:55px 24px;display:grid}.signin-card{border-radius:var(--radius-lg);text-align:center;background:#ffffff0b;border:1px solid #ffffff1f;width:min(530px,100%);padding:54px;box-shadow:0 28px 90px #0000003d}.signin-mark{width:55px;height:55px;color:var(--lime);margin-bottom:25px}.signin-card h1{margin-bottom:18px;font-size:2.85rem}.signin-card>p{color:#9eb0a9;margin-bottom:28px;font-size:.88rem}.signin-card form,.signin-actions{justify-content:center;display:flex}.signin-actions{flex-wrap:wrap;gap:10px}.signin-button{width:100%}.signin-security{border-block:1px solid var(--line-dark);justify-content:center;gap:20px;margin-block:34px 24px;padding-block:18px;display:flex}.signin-security span{color:#8fa39b;align-items:center;gap:6px;font-size:.65rem;display:inline-flex}.signin-card .back-link{color:#8fa39b}.not-found-page{text-align:center;flex-direction:column;justify-content:center;display:flex}.not-found-mark{width:63px;color:var(--lime);margin-bottom:20px}.not-found-page>span{color:var(--coral);letter-spacing:.15em;font-family:SFMono-Regular,Consolas,monospace;font-size:.72rem;font-weight:850}.not-found-page h1{margin:14px 0;font-size:clamp(2.5rem,6vw,4.5rem)}.not-found-page p{color:#97aaa2;margin-bottom:27px}.site-footer{color:var(--white);background:#081b17;padding-top:78px}.footer-grid{grid-template-columns:1.2fr .8fr;gap:80px;padding-bottom:65px;display:grid}.footer-brand{margin-bottom:20px}.footer-grid>div:first-child>p{color:#849991;max-width:340px;font-size:.78rem}.footer-links{grid-template-columns:repeat(2,1fr);gap:45px;display:grid}.footer-links>div{flex-direction:column;gap:10px;display:flex}.footer-label{color:var(--lime);letter-spacing:.12em;text-transform:uppercase;margin-bottom:5px;font-size:.6rem;font-weight:850}.footer-links a{color:#a1b1ab;align-items:center;gap:6px;font-size:.72rem;display:inline-flex}.footer-links a:hover{color:var(--white)}.footer-bottom{color:#62766f;border-top:1px solid #ffffff17;justify-content:space-between;gap:20px;padding-block:20px;font-size:.6rem;display:flex}.table-scroll-hint{display:none}.cta-note{opacity:.75;max-width:520px;margin:14px 0 0;font-size:.78rem;line-height:1.55}.signin-error{color:#ff8a70;text-align:left;background:#ff755717;border:1px solid #ff8a7066;border-radius:10px;margin-bottom:22px;padding:12px 15px;font-size:.82rem;font-weight:650}.footer-note{color:#9db3ab;max-width:330px;margin:12px 0 0;font-size:.76rem;line-height:1.55}.submissions-index h1{margin-bottom:18px;font-size:clamp(2.05rem,4vw,3.65rem)}.submissions-lede{color:#53615c;max-width:640px;margin-bottom:40px;font-size:1.02rem}.submissions-list{gap:12px;margin:0 0 26px;padding:0;list-style:none;display:grid}.submissions-item{border:1px solid var(--line);border-radius:var(--radius-sm);background:var(--white);grid-template-columns:58px minmax(0,1fr) auto auto;align-items:center;gap:18px;padding:20px 24px;transition:transform .16s,border-color .16s;display:grid}.submissions-item:hover{border-color:var(--forest-bright);transform:translateY(-2px)}.submissions-year{color:#5c6a64;font-family:SFMono-Regular,Consolas,monospace;font-size:.78rem;font-weight:700}.submissions-main strong{font-size:.98rem;display:block}.submissions-main small{color:#5c6a64;font-size:.76rem}.submissions-score{font-family:var(--font-sans);font-variant-numeric:tabular-nums;font-size:1.02rem;font-weight:700}.submissions-badge{border:1px solid var(--line);color:#5c6a64;letter-spacing:.05em;text-transform:uppercase;border-radius:999px;align-items:center;gap:6px;padding:6px 11px;font-size:.68rem;font-weight:800;display:inline-flex}.submissions-badges{flex-wrap:wrap;align-items:center;gap:6px;display:flex}.submissions-badge.verified{color:var(--forest);background:#d8f58b59;border-color:#174f4259}.submissions-badge.expert{color:#7a5233;background:#f4a77421;border-color:#b4693e59}.submissions-open{border:1px solid var(--line);border-radius:var(--radius-sm);background:var(--paper-warm);align-items:center;gap:18px;padding:22px 26px;display:flex}.submissions-open p{color:#53615c;flex:1;margin:0;font-size:.88rem}@media (max-width:1000px){.desktop-nav{gap:18px}.hero-panel{grid-template-columns:1fr}.hero-content{padding-bottom:35px}.record-display{justify-self:start;width:auto;min-width:440px;margin:0 60px 65px}.zeta-field{width:80%}.pipeline-grid{grid-template-columns:repeat(3,1fr);row-gap:50px}.pipeline-grid li:nth-child(4){border-left:0;padding-left:0}.pipeline-grid li{min-height:210px}.inner-hero-grid{gap:55px;padding:66px 55px}.contract-layout,.record-details{gap:55px}.record-details{grid-template-columns:1fr 360px}.verify-locally{grid-template-columns:auto 1fr}.verify-locally>code{grid-column:2}}@media (max-width:780px){.shell{width:min(100% - 32px,1180px)}.shell-wrap{padding-inline:16px}.section-space{padding-block:78px}.header-inner{grid-template-columns:1fr auto auto;gap:10px;height:64px}.desktop-nav,.header-auth .user-handle,.header-auth .icon-button{display:none}.mobile-menu{display:block;position:relative}.mobile-menu-trigger{border:1px solid var(--line);background:0 0;border-radius:50%;flex-direction:column;justify-content:center;align-items:center;gap:6px;width:40px;height:40px;padding:0;display:flex}.mobile-menu-trigger span{background:var(--ink);width:15px;height:1px;transition:transform .16s}.mobile-menu-trigger[aria-expanded=true] span:first-child{transform:translateY(3.5px)rotate(45deg)}.mobile-menu-trigger[aria-expanded=true] span:last-child{transform:translateY(-3.5px)rotate(-45deg)}.mobile-menu nav{border:1px solid var(--line);background:var(--white);width:190px;box-shadow:var(--shadow);border-radius:13px;flex-direction:column;gap:4px;padding:14px;display:flex;position:absolute;top:48px;right:0}.mobile-menu nav a{border-radius:7px;padding:9px 11px;font-size:.78rem;font-weight:700}.mobile-menu nav a:hover{background:var(--paper-warm)}.hero{padding-top:16px}.hero-panel{border-radius:22px;min-height:0}.hero-content{padding:60px 28px 34px}.hero h1{font-size:clamp(2.8rem,13.5vw,4.25rem)}.hero-lede{font-size:.93rem}.zeta-field{opacity:.42;width:115%;height:470px;top:10px;right:-170px}.record-display{width:calc(100% - 56px);min-width:0;max-width:none;margin:0 28px 45px;padding:25px}.record-number{font-size:clamp(1.9rem,8vw,3rem)}.hero-metrics{grid-template-columns:1fr}.hero-metrics>div{border-bottom:1px solid #ffffff1a;border-right:0;min-height:0;padding:22px 28px}.hero-metrics>div:last-child{border-bottom:0}.intro-grid,.contract-grid,.frozen-grid,.methodology-detail,.isolation-grid,.local-check,.submission-template,.record-details,.footer-grid{grid-template-columns:1fr;gap:48px}.intro-text{padding-top:0}.chart-heading,.leaderboard-heading{padding:28px 25px 20px}.chart-unit,.legend,.bound-chart-wide{display:none}.bound-chart-compact{display:block}.bound-chart-compact .chart-label,.bound-chart-compact .chart-value{font-size:14px}.table-scroll{overflow-x:auto}.table-scroll-hint{color:#5c6a64;padding:0 25px 12px;font-size:.7rem;font-weight:700;display:block}.submissions-item{grid-template-columns:minmax(0,1fr) auto;grid-template-areas:"year badge""main main""score score";gap:10px 14px;padding:17px 18px}.submissions-year{grid-area:year}.submissions-main{grid-area:main;min-width:0}.submissions-main small{margin-top:4px;line-height:1.55;display:block}.submissions-score{grid-area:score;margin-top:4px}.submissions-badges{grid-area:badge;justify-self:end}.leaderboard-card table{min-width:810px}.pipeline-heading,.split-heading,.section-heading{flex-direction:column;align-items:start}.pipeline-grid{grid-template-columns:1fr 1fr}.pipeline-grid li,.pipeline-grid li:nth-child(4){border-left:1px solid var(--line-dark);padding:0 22px}.pipeline-grid li:nth-child(odd){border-left:0;padding-left:0}.pipeline-grid li:nth-child(2n){padding-right:0}.final-cta{flex-direction:column;align-items:start;padding:52px 35px}.inner-hero{padding-top:16px}.inner-hero-grid{border-radius:22px;grid-template-columns:1fr;gap:45px;min-height:0;padding:55px 33px}.inner-hero h1{font-size:clamp(2.7rem,12.5vw,4rem)}.contract-layout{grid-template-columns:1fr;gap:20px}.toc-card{order:-1;position:static}.rule-grid,.trust-grid,.acceptance-grid,.pins-card{grid-template-columns:1fr}.pins-card{padding:34px}.pins-card .text-link{grid-column:auto}.numbered-steps{grid-template-columns:1fr}.numbered-steps li,.numbered-steps li:first-child,.numbered-steps li:last-child{border:1px solid var(--line);border-bottom:0;border-radius:0;min-height:0}.numbered-steps li:first-child{border-radius:var(--radius-md) var(--radius-md) 0 0}.numbered-steps li:last-child{border-bottom:1px solid var(--line);border-radius:0 0 var(--radius-md) var(--radius-md)}.verify-locally{grid-template-columns:auto 1fr;padding:30px}.verify-locally>code{grid-column:1/-1;max-width:100%}.submit-final-card,.direct-submit-heading,.submission-locked-card{flex-direction:column;align-items:flex-start}.current-record-chip{width:100%;min-width:0}.submission-fields{grid-template-columns:1fr}.submission-fields .field-wide{grid-column:auto}.lean-source-heading,.source-meter{flex-direction:column;align-items:flex-start}.lean-editor{min-height:360px}.verification-job-card{grid-template-columns:auto 1fr}.verification-job-card .button{grid-column:1/-1;width:100%}.submission-locked-card form,.submission-locked-card .button{width:100%}.record-hero{padding-top:16px}.record-hero>.shell{border-radius:22px;padding:42px 32px 55px}.back-link-light{margin-bottom:50px}.record-hero-grid{grid-template-columns:1fr;gap:45px}.record-big-score{border-top:1px solid var(--line-dark);border-left:0;padding:30px 0 0}.record-details{padding-block:75px 90px}.footer-links{gap:25px}.footer-bottom{flex-direction:column;align-items:flex-start}}@media (max-width:500px){.header-auth .button{white-space:nowrap;min-height:36px;padding-inline:12px;font-size:.72rem}.brand{font-size:.98rem}.header-auth .button svg{width:14px;height:14px}.hero-actions,.final-actions,.signin-actions{flex-direction:column;align-items:stretch;width:100%}.hero-actions .button,.final-actions .button,.signin-actions .button{width:100%}.status-pill{border-radius:12px;align-items:flex-start;line-height:1.5}.progress-scale span:nth-child(2){display:none}.pipeline-grid{grid-template-columns:1fr}.pipeline-grid li,.pipeline-grid li:nth-child(4),.pipeline-grid li:nth-child(2n){border-left:0;min-height:0;padding:0 0 34px}.pipeline-icon{margin-bottom:20px}.theorem-body{padding:35px 20px}.theorem-defs{text-align:center;flex-direction:column;align-items:center}.code-block pre{padding:17px;font-size:.72rem}.kernel-diagram{flex-direction:column;align-items:stretch}.kernel-diagram svg{align-self:center;transform:rotate(90deg)}.record-metadata>div{grid-template-columns:1fr;gap:7px}.record-big-score>strong{font-size:10vw}.signin-card{padding:38px 25px}.signin-security{flex-direction:column;align-items:center;gap:10px}.footer-links{grid-template-columns:1fr}.submissions-open{flex-direction:column;align-items:flex-start}}@media (max-width:350px){.site-header .brand>span{display:none}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important}}@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}