/*! tailwindcss v4.2.1 | MIT License | https://tailwindcss.com */
@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-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}.fixed{position:fixed}.start{inset-inline-start:var(--spacing)}.antialiased{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}}:root{--ink:#11110f;--paper:#f3f0e8;--paper-deep:#e7e2d7;--white:#fffdf8;--green:#b8f34a;--green-dark:#3a5c00;--orange:#ff6948;--orange-dark:#771f0e;--muted:#716e66;--line:#11110f29}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:var(--paper);color:var(--ink);font-family:var(--font-geist-sans), Arial, sans-serif;margin:0}button,a{font:inherit}button{color:inherit}::selection{background:var(--green);color:var(--ink)}.masthead{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;max-width:1440px;margin:0 auto;padding:20px 36px;display:flex}.wordmark{color:var(--ink);letter-spacing:-.02em;align-items:center;gap:11px;font-size:15px;font-weight:720;text-decoration:none;display:flex}.mark{background:var(--ink);color:var(--green);font-family:var(--font-geist-mono), monospace;border-radius:4px;justify-content:center;align-items:center;width:27px;height:27px;font-size:13px;display:inline-flex}.header-proof{color:var(--muted);font-family:var(--font-geist-mono), monospace;letter-spacing:.01em;align-items:center;gap:8px;font-size:11px;display:flex}.status-light{background:#63ae00;border-radius:50%;width:7px;height:7px;box-shadow:0 0 0 4px #63ae001f}.hero{max-width:1180px;margin:0 auto;padding:104px 32px 76px}.eyebrow,.section-kicker{color:var(--muted);font-family:var(--font-geist-mono), monospace;letter-spacing:.12em;text-transform:uppercase;font-size:11px;font-weight:650;display:block}.eyebrow{align-items:center;gap:12px;display:flex}.eyebrow:before{background:var(--orange);content:"";width:28px;height:2px}.hero h1{letter-spacing:-.065em;max-width:1100px;margin:24px 0 34px;font-size:clamp(50px,7.2vw,96px);font-weight:590;line-height:.96}.hero h1 em{color:var(--green-dark);font-family:Georgia,Times New Roman,serif;font-weight:400}.lede{color:#4d4a43;letter-spacing:-.025em;max-width:720px;margin:0 0 0 auto;font-size:clamp(18px,2vw,23px);line-height:1.48}.source-link{border-bottom:1px solid var(--ink);color:var(--ink);font-family:var(--font-geist-mono), monospace;letter-spacing:.06em;text-transform:uppercase;align-items:center;gap:24px;width:fit-content;margin:46px 0 0 auto;padding:0 0 10px;font-size:10px;text-decoration:none;display:flex}.source-link span{color:var(--green-dark);font-size:15px}.source-stage{background:var(--paper-deep);max-width:1440px;margin:0 auto;padding:92px 64px 64px;scroll-margin-top:20px}.source-heading{grid-template-columns:1.15fr .85fr;align-items:end;gap:60px;max-width:1180px;margin:0 auto 55px;display:grid}.source-heading h2{letter-spacing:-.058em;max-width:720px;margin:16px 0 0;font-size:clamp(39px,4.7vw,64px);font-weight:570;line-height:1}.source-heading p{color:#5e5a52;max-width:500px;margin:0;font-size:16px;line-height:1.62}.source-heading code{font-family:var(--font-geist-mono), monospace;background:#11110f12;padding:2px 5px;font-size:.85em}.source-workbench{grid-template-columns:132px minmax(0,1fr) 290px;max-width:1310px;margin:0 auto;display:grid}.contract-nav{border:1px solid #11110f33;border-right:0;flex-direction:column;align-self:start;display:flex}.contract-nav button{cursor:pointer;text-align:left;background:0 0;border:0;border-bottom:1px solid #11110f26;align-items:center;gap:3px;min-height:77px;padding:13px 15px;font-size:12px;font-weight:670;transition:background .14s,color .14s;display:grid}.contract-nav button:last-child{border-bottom:0}.contract-nav button span{color:var(--muted);font-family:var(--font-geist-mono), monospace;letter-spacing:.08em;font-size:8px}.contract-nav button:hover{background:#fffdf885}.contract-nav button.active{background:var(--green)}.contract-nav button.active span{color:var(--green-dark)}.source-editor{color:#ebe8df;z-index:1;background:#181815;min-width:0;position:relative;box-shadow:0 26px 80px #1a160c33}.editor-toolbar,.editor-footer{color:#9b988f;font-family:var(--font-geist-mono), monospace;letter-spacing:.03em;justify-content:space-between;align-items:center;font-size:9px;display:flex}.editor-toolbar{border-bottom:1px solid #ffffff1a;padding:15px 17px}.editor-toolbar>span{color:var(--green)}.source-lines{padding:22px 0;overflow-x:auto}.source-line{font-family:var(--font-geist-mono), monospace;grid-template-columns:48px minmax(780px,1fr);min-height:24px;padding:1px 17px 1px 0;font-size:10px;line-height:1.7;transition:background .12s,color .12s,opacity .12s;display:grid}.source-line code{color:#e8e5dd;white-space:pre;font-family:inherit}.line-number{color:#5f5c55;text-align:right;-webkit-user-select:none;user-select:none;padding-right:14px}.source-line.annotation code{color:#b8f34a}.source-line.comment code{color:#6e6b64}.source-line.active{background:var(--green)}.source-line.active code,.source-line.active .line-number{color:var(--ink)}.editor-footer{text-transform:uppercase;border-top:1px solid #ffffff1a;justify-content:flex-start;gap:18px;padding:14px 17px}.editor-footer strong{color:var(--green);margin-left:auto}.contract-explanation{background:var(--white);border:1px solid #11110f29;border-left:0;flex-direction:column;align-self:stretch;min-height:100%;padding:28px 26px 25px;display:flex}.contract-counter{color:var(--muted);font-family:var(--font-geist-mono), monospace;letter-spacing:.08em;margin-bottom:30px;font-size:9px}.contract-keyword{font-family:var(--font-geist-mono), monospace;letter-spacing:.1em;text-transform:uppercase;border:1px solid;border-radius:999px;width:fit-content;padding:5px 8px;font-size:8px;font-weight:720}.contract-keyword.requires{color:#8c3a24}.contract-keyword.ensures{color:var(--green-dark)}.contract-explanation h3{letter-spacing:-.04em;margin:18px 0 16px;font-size:25px;font-weight:600;line-height:1.08}.contract-explanation>p{color:var(--muted);margin:0 0 30px;font-size:13px;line-height:1.58}.plain-language{border-top:1px solid var(--line);margin-top:auto;padding-top:18px}.plain-language span{color:var(--muted);font-family:var(--font-geist-mono), monospace;letter-spacing:.08em;text-transform:uppercase;margin-bottom:8px;font-size:8px;display:block}.plain-language strong{font-family:Georgia,Times New Roman,serif;font-size:15px;font-style:italic;font-weight:400;line-height:1.35}.verification-run{background:var(--white);border:1px solid #11110f2e;border-top:0;grid-template-columns:230px 90px 1fr;align-items:stretch;max-width:1310px;margin:0 auto;display:grid}.command-block{flex-direction:column;justify-content:center;padding:24px;display:flex}.command-block>div{font-family:var(--font-geist-mono), monospace;align-items:center;gap:9px;margin-top:12px;font-size:12px;display:flex}.command-block code{font-family:inherit;font-weight:700}.prompt{color:var(--green-dark)}.translation-arrow{border-left:1px solid var(--line);border-right:1px solid var(--line);color:var(--muted);font-family:var(--font-geist-mono), monospace;letter-spacing:.1em;text-transform:uppercase;flex-direction:column;justify-content:center;align-items:center;gap:3px;font-size:8px;display:flex}.translation-arrow b{color:var(--ink);font-size:18px}.verifier-output{color:#97948b;font-family:var(--font-geist-mono), monospace;white-space:nowrap;background:#22221e;flex-direction:column;justify-content:center;margin:0;padding:20px 24px;font-size:9px;line-height:1.7;display:flex;overflow-x:auto}.verifier-output strong{color:var(--green);margin-top:5px;font-weight:650}.demo-shell{background:var(--ink);color:var(--white);max-width:1440px;margin:0 auto;padding:54px 64px 60px;position:relative;overflow:hidden}.demo-shell:after{content:"";pointer-events:none;border:1px solid #b8f34a1c;border-radius:50%;width:430px;height:430px;position:absolute;top:-240px;right:-240px}.attack-header{z-index:1;justify-content:space-between;align-items:end;margin-bottom:52px;display:flex;position:relative}.attack-header h2{letter-spacing:-.045em;margin:9px 0 0;font-size:clamp(26px,3vw,42px);font-weight:560}.demo-shell .section-kicker{color:#aaa79e}.replay-button{background:var(--green);cursor:pointer;border:0;border-radius:2px;justify-content:space-between;align-items:center;gap:36px;min-width:190px;padding:16px 18px;font-weight:700;transition:background .14s,transform .14s;display:flex}.replay-button:hover:not(:disabled){background:#c8ff5b;transform:translateY(-2px)}.replay-button:disabled{cursor:default;opacity:.62}.timeline{border-top:1px solid #ffffff3b;height:58px;margin:0 22px;position:relative}.boundary{border-left:1px dashed var(--orange);height:58px;position:absolute;top:-17px;left:50%}.boundary:before{background:var(--orange);content:"";border-radius:50%;width:7px;height:7px;position:absolute;top:13px;left:-4px}.boundary span{color:#c8c4ba;font-family:var(--font-geist-mono), monospace;letter-spacing:.08em;text-transform:uppercase;white-space:nowrap;font-size:9px;position:absolute;top:33px;left:10px}.time-label{color:#858178;font-family:var(--font-geist-mono), monospace;font-size:10px;position:absolute;top:12px}.before-label{left:23%}.after-label{right:22%}.comparison-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:18px;display:grid}.result-card{border:1px solid #ffffff24;min-height:285px;padding:27px 28px 24px;transition:border-color .3s,background .3s}.result-card.fixed.revealed{background:#ff694814;border-color:#ff694885}.result-card.sliding.revealed{background:#b8f34a14;border-color:#b8f34a85}.card-topline{justify-content:space-between;align-items:center;display:flex}.algorithm-label{letter-spacing:-.02em;font-size:14px;font-weight:650}.evidence{font-family:var(--font-geist-mono), monospace;letter-spacing:.09em;text-transform:uppercase;border:1px solid;border-radius:999px;padding:5px 8px;font-size:9px}.observed{color:#ffa38f}.verified{color:var(--green)}.metric{align-items:baseline;gap:12px;margin:31px 0 21px;display:flex}.metric strong{letter-spacing:-.07em;font-size:62px;font-weight:540;line-height:.8}.metric span{color:#969289;font-size:12px}.request-dots{grid-template-columns:repeat(10,minmax(24px,1fr));gap:8px;display:grid}.request-dot{aspect-ratio:1;font-family:var(--font-geist-mono), monospace;border-radius:50%;justify-content:center;align-items:center;max-width:40px;font-size:11px;font-weight:800;transition:background .18s,border-color .18s,color .18s,transform .18s;display:flex}.request-dot:nth-child(5){margin-right:5px}.request-dot:nth-child(6){margin-left:5px}.request-dot.waiting{border:1px solid #ffffff29}.request-dot.accepted{background:var(--green);color:var(--ink);transform:scale(1.04)}.fixed .request-dot.accepted{background:var(--orange)}.request-dot.rejected{color:#aaa69d;border:1px solid #ffffff7a}.card-verdict{border-top:1px solid #ffffff1f;justify-content:space-between;align-items:center;margin-top:27px;padding-top:17px;display:flex}.card-verdict span{color:#918d84;font-size:11px}.card-verdict b{font-family:var(--font-geist-mono), monospace;letter-spacing:.08em;font-size:12px}.fixed.revealed .card-verdict b{color:var(--orange)}.sliding.revealed .card-verdict b{color:var(--green)}.proof-reveal{background:var(--green);color:var(--ink);opacity:.16;grid-template-columns:auto 1fr auto;align-items:center;gap:18px;margin-top:18px;padding:23px 26px;transition:opacity .35s,transform .35s;display:grid;transform:translateY(7px)}.proof-reveal.visible{opacity:1;transform:translateY(0)}.proof-icon{border:1px solid #11110f80;border-radius:50%;justify-content:center;align-items:center;width:34px;height:34px;font-size:16px;display:flex}.proof-reveal .section-kicker{color:#11110f99}.proof-reveal p{letter-spacing:-.015em;margin:5px 0 0;font-size:14px}.proof-reveal code,.theorem-name{font-family:var(--font-geist-mono), monospace}.theorem-name{border-left:1px solid #11110f40;padding:10px 0 10px 25px;font-size:11px}.trust h2{letter-spacing:-.055em;margin:17px 0 28px;font-size:clamp(37px,4.5vw,61px);font-weight:570;line-height:1.02}.file-dot{background:var(--green);border-radius:50%;width:6px;height:6px;margin-right:8px;display:inline-block}.receipts{grid-template-columns:repeat(2,minmax(0,1fr));max-width:1440px;margin:0 auto;display:grid}.receipt{min-height:445px;padding:55px 58px;position:relative;overflow:hidden}.refuted-receipt{background:var(--orange);color:var(--orange-dark)}.verified-receipt{background:var(--green);color:var(--green-dark)}.receipt .section-kicker{color:currentColor;opacity:.67}.receipt h3{color:var(--ink);letter-spacing:-.045em;max-width:510px;margin:16px 0 56px;font-size:clamp(29px,3vw,42px);font-weight:560;line-height:1.08}.receipt-stamp{font-family:var(--font-geist-mono), monospace;letter-spacing:.14em;border:2px solid;padding:9px 12px;font-size:10px;font-weight:750;position:absolute;top:34px;right:34px;transform:rotate(4deg)}.receipt dl{border-top:1px solid;grid-template-columns:repeat(2,minmax(0,1fr));margin:0;display:grid}.receipt dl div{border-bottom:1px solid;justify-content:space-between;padding:13px 8px 13px 0;display:flex}.receipt dl div:nth-child(odd){margin-right:20px}.receipt dt,.receipt dd{font-family:var(--font-geist-mono), monospace;margin:0;font-size:10px}.receipt dt{opacity:.66}.receipt dd{font-weight:700}.trust{grid-template-columns:.75fr 1.25fr;align-items:start;gap:70px;max-width:1180px;margin:0 auto;padding:120px 32px;display:grid}.trust h2{margin-bottom:0}.trust-items{border-top:1px solid var(--line)}.trust-items div{border-bottom:1px solid var(--line);grid-template-columns:42px 1fr;align-items:center;gap:22px;padding:23px 0;display:grid}.trust-items span{color:var(--muted);font-family:var(--font-geist-mono), monospace;font-size:10px}.trust-items p{letter-spacing:-.015em;margin:0;font-size:16px}footer{background:var(--ink);color:var(--white);grid-template-columns:1fr 2fr 1fr;align-items:center;gap:30px;padding:35px max(32px,50vw - 590px);display:grid}footer>span{font-weight:700}footer p{color:#aaa69d;text-align:center;margin:0;font-size:12px}footer a{color:var(--green);justify-self:end;font-size:11px;text-decoration:none}@media (width<=1100px){.source-stage{padding-left:30px;padding-right:30px}.source-workbench{grid-template-columns:120px minmax(0,1fr)}.contract-explanation{border-top:0;border-left:1px solid #11110f29;grid-column:1/-1;grid-template-columns:90px 1fr 1fr;gap:20px;min-height:auto;display:grid}.contract-counter,.contract-explanation h3,.contract-explanation>p{margin:0}.contract-keyword{grid-column:1}.plain-language{grid-column:2/-1;margin:0}}@media (width<=850px){.masthead{padding:17px 20px}.header-proof{display:none}.hero{padding:72px 22px 56px}.hero h1{letter-spacing:-.055em}.source-link{margin-left:0}.source-stage{padding:68px 20px 28px}.source-heading{grid-template-columns:1fr;align-items:start;gap:26px;margin-bottom:38px}.source-workbench{grid-template-columns:1fr}.contract-nav{border-bottom:0;border-right:1px solid #11110f33;grid-template-columns:repeat(4,minmax(0,1fr));display:grid}.contract-nav button{border-bottom:0;border-right:1px solid #11110f26;min-height:62px;padding:10px}.contract-nav button:last-child{border-right:0}.source-line{grid-template-columns:42px minmax(720px,1fr);font-size:9px}.contract-explanation{padding:24px 21px;display:flex}.contract-counter{margin-bottom:20px}.contract-explanation h3{margin:16px 0 12px}.contract-explanation>p{margin-bottom:24px}.plain-language{margin-top:0}.verification-run{grid-template-columns:1fr}.translation-arrow{border-bottom:1px solid var(--line);border-left:0;border-right:0;border-top:1px solid var(--line);flex-direction:row;padding:9px}.translation-arrow b{transform:rotate(90deg)}.demo-shell{padding:38px 20px 28px}.attack-header{flex-direction:column;align-items:stretch;gap:24px;margin-bottom:42px}.replay-button{width:100%}.comparison-grid,.receipts,.trust{grid-template-columns:1fr}.comparison-grid{gap:12px}.request-dots{gap:5px}.proof-reveal{grid-template-columns:auto 1fr;align-items:start}.theorem-name{border-left:0;grid-column:2;padding:0}.trust{gap:42px;padding:82px 22px}.receipt{min-height:auto;padding:48px 24px}.receipt-stamp{top:24px;right:20px}.receipt h3{max-width:78%;margin-bottom:42px}.receipt dl{grid-template-columns:1fr}.receipt dl div:nth-child(odd){margin-right:0}footer{grid-template-columns:1fr;padding:32px 22px}footer p{text-align:left}footer a{justify-self:start}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{transition-duration:.01ms!important}}