/*! 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{--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-border-style:solid;--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}::backdrop{--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-border-style:solid;--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-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{box-sizing:border-box;border:0 solid;margin:0;padding:0}::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]){-webkit-appearance:button;appearance:button}::file-selector-button{-webkit-appearance: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}.static{position:static}.start{inset-inline-start:var(--spacing)}.end{inset-inline-end:var(--spacing)}.container{width:100%}@media (min-width:40rem){.container{max-width:40rem}}@media (min-width:48rem){.container{max-width:48rem}}@media (min-width:64rem){.container{max-width:64rem}}@media (min-width:80rem){.container{max-width:80rem}}@media (min-width:96rem){.container{max-width:96rem}}.block{display:block}.contents{display:contents}.flex{display:flex}.grid{display:grid}.hidden{display:none}.table{display:table}.h-8{height:calc(var(--spacing) * 8)}.h-83{height:calc(var(--spacing) * 83)}.grow{flex-grow:1}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.resize{resize:both}.truncate{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.rounded{border-radius:.25rem}.border{border-style:var(--tw-border-style);border-width:1px}.p-0{padding:calc(var(--spacing) * 0)}.p-8{padding:calc(var(--spacing) * 8)}.p-82{padding:calc(var(--spacing) * 82)}.capitalize{text-transform:capitalize}.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{--bg:#aebccc;--text:#0b1524;--muted:#43566d;--faint:#50637b;--line:#8496ab;--line-soft:#9baabd;--paper-width:1060px;--font-mono:"Courier New", Courier, "Liberation Mono", monospace;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}*{box-sizing:border-box}html{scroll-behavior:smooth;background:var(--bg);scroll-padding-top:24px}body{background:var(--bg);color:var(--text);font-family:var(--font-mono);text-transform:lowercase;-webkit-font-smoothing:antialiased;margin:0;font-size:13px;font-weight:400;line-height:1.8}code,pre,input,.case{text-transform:none}button{text-transform:inherit}a{color:var(--text);text-underline-offset:3px;text-decoration:underline;text-decoration-thickness:1px;-webkit-text-decoration-color:var(--line);-webkit-text-decoration-color:var(--line);-webkit-text-decoration-color:var(--line);text-decoration-color:var(--line)}a:hover{-webkit-text-decoration-color:var(--text);-webkit-text-decoration-color:var(--text);-webkit-text-decoration-color:var(--text);text-decoration-color:var(--text)}:is(a:focus-visible,button:focus-visible,input:focus-visible){outline:1px solid var(--text);outline-offset:3px}h1,h2,h3,p{margin:0}h1,h2,h3{font:inherit;font-weight:700;line-height:1.6}h1{font-size:14px}h2,h3{font-size:13px}section[id]{scroll-margin-top:24px}.platform-header{background:var(--bg)}.platform-header-inner{width:min(100%, var(--paper-width));flex-direction:column;align-items:center;gap:10px;margin:0 auto;padding:18px 28px 6px;display:flex}.platform-logo{line-height:0;text-decoration:none;display:block}.moth-mark{width:240px;height:240px;color:var(--text);justify-content:center;align-items:center;display:flex}.moth-mark pre{font-family:var(--font-mono);letter-spacing:0;white-space:pre;text-align:left;margin:0;font-size:12px;font-weight:400;line-height:13px}.entropy{background:var(--bg);display:block;position:relative;overflow:hidden}.entropy canvas{display:block}.platform-brand{color:var(--text);text-transform:none;font-size:15px;font-weight:400;text-decoration:none}.platform-brand:hover{text-decoration:underline}.platform-ca{color:var(--muted);text-align:center;overflow-wrap:anywhere;text-transform:none;margin:-4px 0 0;font-size:12.5px;line-height:1.8}.platform-ca .case{color:var(--text)}.platform-ca .secondary-button{color:var(--muted);font-size:12.5px}.desktop-navigation{flex-wrap:wrap;justify-content:center;align-items:baseline;gap:6px 30px;margin-top:4px;display:flex}.desktop-navigation a{color:var(--text);text-decoration:none}.desktop-navigation a:hover{text-decoration:underline}.primary-button,.secondary-button{color:var(--text);white-space:nowrap;background:0 0;border:0;border-radius:0;align-items:baseline;gap:6px;padding:0;font-size:13px;font-weight:400;line-height:1.8;text-decoration:none;display:inline-flex}.primary-button{font-weight:700}.primary-button:before,.secondary-button:before{content:"[ "}.primary-button:after,.secondary-button:after{content:" ]"}.paper{width:min(100%, var(--paper-width));margin:0 auto;padding:28px 28px 90px}.paper>header h1{margin-bottom:18px}.paper h2{margin:34px 0 10px}.paper h3{color:var(--muted);margin:22px 0 6px}.paper p{margin:12px 0}.byline{color:var(--faint);margin-bottom:6px}.abstract{border-left:1px solid var(--line);margin:20px 0 6px;padding:2px 0 2px 16px}.abstract h2{margin:0 0 2px}.abstract p{font-size:13px}.paper ol,.paper ul{margin:10px 0 10px 24px;padding:0}.paper li{margin:5px 0}.paper li::marker{color:var(--faint)}.actions{flex-wrap:wrap;align-items:baseline;gap:6px 22px;margin:14px 0 4px;display:flex}.bracket{font-weight:700;text-decoration:none}.bracket:before{content:"[ "}.bracket:after{content:" ]"}.bracket:hover{text-decoration:underline}.paper-block{border-left:1px solid var(--line);color:var(--muted);white-space:pre-wrap;overflow-wrap:anywhere;font:12.5px/1.7 var(--font-mono);margin:14px 0;padding:4px 0 4px 16px}.table-wrap{margin:12px 0 4px;overflow-x:auto}table{border-collapse:collapse;width:100%;line-height:1.7}caption{caption-side:top;text-align:left;color:var(--faint);padding-bottom:6px}th{text-align:left;white-space:nowrap;vertical-align:bottom;padding:4px 22px 6px 0;font-weight:700}td{vertical-align:top;overflow-wrap:anywhere;padding:5px 22px 5px 0}th.num,td.num{text-align:right;font-variant-numeric:tabular-nums}.signature{width:32%}.status{color:var(--muted);align-items:center;gap:8px;display:flex}.status-dot{border:1px solid var(--text);border-radius:50%;width:7px;height:7px;display:inline-block}.note{color:var(--faint)}button.bracket{color:inherit;font:inherit;cursor:pointer;background:0 0;border:0;padding:0;font-weight:700}button:disabled{cursor:not-allowed;opacity:.5}.proof-controls{flex-wrap:wrap;gap:12px 24px;margin:16px 0;display:flex}.proof-controls input,.proof-controls select{font:inherit;color:inherit;border:1px solid var(--line);background:0 0;border-radius:0;max-width:100%;padding:4px 6px}.proof-controls input{width:255px}.proof-controls label{flex-wrap:wrap;align-items:center;gap:8px;display:flex}select:focus-visible{outline:1px solid var(--text);outline-offset:3px}.model-player{border:0;width:100%;height:580px;margin-top:16px;display:block}.file-hash{color:var(--muted);overflow-wrap:anywhere;font-size:11px;display:block}.file-table td:first-child{min-width:230px}.file-table td:last-child{min-width:120px}.admin-form{max-width:620px;margin-top:28px}.admin-form label{margin-bottom:6px;display:block}.admin-form input{width:100%;font:inherit;color:inherit;border:1px solid var(--line);background:0 0;border-radius:0;padding:8px;display:block}.console{border-left:1px solid var(--line);margin:14px 0;padding:2px 0 2px 16px}.console>p{max-width:760px;color:var(--faint);justify-content:space-between;display:flex}.console pre{max-width:760px;min-height:170px;color:var(--text);font:12.5px/1.7 var(--font-mono);margin:8px 0;padding:14px 0}.prompt-row{max-width:760px;display:flex}.prompt-row input{background:var(--bg);min-width:0;color:var(--text);font:inherit;border:0;flex:1;padding:7px 0}.prompt-row input::placeholder{color:var(--faint)}.prompt-row button{background:var(--bg);color:var(--text);font:inherit;border:0;padding:7px 0 7px 20px}.prompt-row button:disabled,.prompt-row input:disabled{cursor:not-allowed;opacity:.62}footer{color:var(--faint);margin-top:42px;padding-top:14px}@media (max-width:600px){.platform-header-inner{padding:14px 18px 0}.desktop-navigation{gap:6px 18px}.paper{padding:22px 18px 60px}th,td{min-width:125px;padding-right:18px}.actions{gap:4px 15px}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}}@property --tw-rotate-x{syntax:"*";inherits:false}@property --tw-rotate-y{syntax:"*";inherits:false}@property --tw-rotate-z{syntax:"*";inherits:false}@property --tw-skew-x{syntax:"*";inherits:false}@property --tw-skew-y{syntax:"*";inherits:false}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@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}