@import url("https://fonts.googleapis.com/css2?family=Source+Serif+4:ital,opsz,wght@0,8..60,300;0,8..60,400;0,8..60,500;0,8..60,600;0,8..60,700;1,8..60,400&family=IBM+Plex+Mono:wght@400;500&display=swap");*,*::before,*::after{box-sizing:border-box;margin:0;padding:0}html{scroll-behavior:smooth;scroll-padding-top:4rem}@media (max-width: 900px){html{scroll-padding-top:6.5rem}}body{font-family:"Source Serif 4",Georgia,serif;font-size:18px;background:#fffff8;color:#353230;line-height:1.45;-webkit-font-smoothing:antialiased;font-kerning:normal;text-rendering:optimizeLegibility}@media (max-width: 600px){body{font-size:16px}}a{color:#96700a;text-decoration:none}a:hover{text-decoration:underline}::selection{background:rgba(150,112,10,.18)}code{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.84em;background:#f4f1e8;padding:.1em .35em;border-radius:2px}.container{max-width:1040px;margin:0 auto;padding:0 2.5rem}@media (max-width: 600px){.container{padding:0 1.25rem}}.section{padding:3rem 0}.section--dark{background:#1e1b16;color:#ccc5b8}.section--dark .section-label{color:#b09860}.section--dark .section-title{color:#ece5d8}.section--dark .section-sub{color:#908878}.section--dark code{background:#28241e;color:#ccc5b8}.section-label{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.72rem;font-weight:500;letter-spacing:.12em;text-transform:uppercase;color:#70695e;margin-bottom:.5rem}.section-title{font-size:1.6rem;font-weight:600;color:#1a1816;line-height:1.3;margin-bottom:.75rem}@media (max-width: 600px){.section-title{font-size:1.35rem}}.section-sub{font-size:1rem;color:#70695e;max-width:36em;line-height:1.5}.nav{position:fixed;top:0;left:0;right:0;z-index:100;padding:.85rem 2rem;display:flex;align-items:center;justify-content:space-between;gap:1rem;background:rgba(255,255,248,.95);backdrop-filter:blur(8px);border-bottom:1px solid #e0dace}@media (max-width: 900px){.nav{padding:.65rem 1rem;align-items:flex-start;flex-direction:column;gap:.5rem}}.nav-logo{text-decoration:none;font-family:"IBM Plex Mono",Menlo,monospace;font-weight:500;font-size:.92rem;color:#1a1816}.nav-logo span{color:#96700a}.nav-logo:hover{text-decoration:none}.nav-group{display:flex;align-items:center;gap:1rem;margin-left:auto}@media (max-width: 900px){.nav-group{width:100%;flex-direction:column;align-items:stretch;margin-left:0;gap:.55rem}}.nav-links{display:flex;gap:1.15rem;list-style:none;align-items:center;flex-wrap:wrap;justify-content:flex-end}@media (max-width: 900px){.nav-links{width:100%;flex-wrap:nowrap;overflow-x:auto;padding-bottom:.15rem;scrollbar-width:none}.nav-links::-webkit-scrollbar{display:none}}.nav-links a{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.75rem;font-weight:500;color:#70695e;white-space:nowrap}.nav-links a:hover{color:#1a1816;text-decoration:none}.nav-cta{display:flex;align-items:center;gap:.5rem;flex-shrink:0}@media (max-width: 900px){.nav-cta{width:100%;justify-content:flex-start}}.nav-btn{display:inline-flex;align-items:center;justify-content:center;font-family:"IBM Plex Mono",Menlo,monospace;font-size:.72rem;font-weight:500;padding:.45rem .8rem;border-radius:999px;border:1px solid rgba(0,0,0,0);text-decoration:none;white-space:nowrap}.nav-btn:hover{text-decoration:none}.nav-btn--paper{background:#1a1816;color:#fffff8}.nav-btn--paper:hover{opacity:.88}.nav-btn--ghost{color:#353230;border-color:#e0dace}.nav-btn--ghost:hover{border-color:#70695e}.hero{min-height:auto;display:flex;align-items:flex-start;padding:5.5rem 0 3.5rem}@media (max-width: 900px){.hero{padding:8rem 0 2.5rem}}.hero-grid{display:grid;grid-template-columns:1fr 320px;gap:2.75rem;align-items:start}@media (max-width: 860px){.hero-grid{grid-template-columns:1fr;gap:1.5rem}}.hero h1{font-size:clamp(2rem,4vw,2.5rem);font-weight:600;color:#1a1816;line-height:1.15;margin-bottom:.85rem;letter-spacing:-.02em}.hero h1 em{font-style:italic;color:#1a1816}@media (max-width: 600px){.hero h1{font-size:1.8rem}}.hero-badge{display:inline-block;font-family:"IBM Plex Mono",Menlo,monospace;font-size:.65rem;font-weight:400;color:#70695e;margin-bottom:.75rem}.hero-desc{font-size:1.02rem;color:#70695e;max-width:31em;line-height:1.55;margin-bottom:.85rem}.hero-actions{display:flex;gap:.7rem;flex-wrap:wrap}.hero-aside{background:#faf7f0;border:1px solid #e0dace;border-radius:4px;padding:1rem 1.25rem}@media (max-width: 860px){.hero-aside{display:block;max-width:520px}}.hero-proofline{display:flex;flex-wrap:wrap;gap:.35rem;max-width:42rem;margin-bottom:1rem}.proof-chip{display:inline-flex;align-items:center;min-height:2rem;padding:.35rem .75rem;border-radius:999px;border:1px solid #e0dace;background:#faf7f0;font-family:"IBM Plex Mono",Menlo,monospace;font-size:.72rem;font-weight:500;line-height:1.35}.proof-chip--exact{color:#266743;border-color:rgba(45,122,79,.25)}.proof-chip--alg{color:#7e5e08;border-color:rgba(150,112,10,.25)}.proof-chip--approx{color:#9c632b;border-color:rgba(176,112,48,.25)}.proof-chip--stat{color:#345e84;border-color:rgba(59,107,150,.25)}.aside-kicker{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.64rem;font-weight:500;letter-spacing:.08em;text-transform:uppercase;color:#70695e;margin-bottom:.6rem}.stat-list{list-style:none}.stat-list .stat-row{display:flex;align-items:baseline;justify-content:space-between;padding:.45rem 0;border-bottom:1px solid #e0dace}.stat-list .stat-row:last-child{border-bottom:none}.stat-list .stat-row:first-child .stat-val{font-size:.95rem;font-weight:600}.stat-list .stat-key{font-size:.85rem;color:#70695e}.stat-list .stat-val{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.82rem;font-weight:500;color:#1a1816}.btn{display:inline-flex;align-items:center;gap:.35rem;font-family:"IBM Plex Mono",Menlo,monospace;font-size:.8rem;font-weight:500;padding:.62rem 1.2rem;border-radius:3px;border:1px solid rgba(0,0,0,0);cursor:pointer;text-decoration:none}.btn-primary{background:#1a1816;color:#fffff8}.btn-primary:hover{text-decoration:none;opacity:.85}.btn-ghost{background:rgba(0,0,0,0);color:#353230;border-color:#e0dace}.btn-ghost:hover{text-decoration:none;border-color:#70695e}.rule{border:none;height:1px;background:#e0dace;margin:0}.three-col{display:grid;grid-template-columns:1fr 1fr 1fr;gap:0;margin-top:2rem;border:1px solid #e0dace;border-radius:4px;overflow:hidden}@media (max-width: 700px){.three-col{grid-template-columns:1fr}}.three-col-item{padding:1.5rem;border-right:1px solid #e0dace}.three-col-item:last-child{border-right:none}@media (max-width: 700px){.three-col-item{border-right:none;border-bottom:1px solid #e0dace}.three-col-item:last-child{border-bottom:none}}.three-col-item--highlight{background:#faf7f0}.three-col-item .col-label{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.62rem;font-weight:500;letter-spacing:.1em;text-transform:uppercase;margin-bottom:.35rem}.three-col-item .col-label--red{color:#a63d3d}.three-col-item .col-label--green{color:#2d7a4f}.three-col-item .col-label--orange{color:#b07030}.three-col-item h3{font-size:1.05rem;font-weight:600;color:#1a1816;margin-bottom:.35rem}.three-col-item p{font-size:.9rem;color:#70695e;line-height:1.55}.audit-grid{display:grid;grid-template-columns:1fr 1fr;gap:1rem;margin-top:2rem}@media (max-width: 760px){.audit-grid{grid-template-columns:1fr}}.audit-card{padding:1.5rem;border:1px solid #e0dace;border-radius:4px;background:#fffff8}.audit-card--highlight{background:#faf7f0}.audit-card h3{font-size:1.08rem;font-weight:600;color:#1a1816;margin-bottom:.35rem}.audit-card p{font-size:.92rem;color:#70695e;line-height:1.55;margin-bottom:1rem;max-width:32em}.audit-label{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.66rem;font-weight:500;letter-spacing:.08em;text-transform:uppercase;color:#70695e;margin-bottom:.4rem}.audit-points{list-style:none}.audit-points li{position:relative;padding-left:1rem;font-size:.88rem;color:#353230;line-height:1.5;margin-bottom:.45rem}.audit-points li::before{content:"";position:absolute;left:0;top:.58rem;width:5px;height:5px;border-radius:50%;background:#96700a}.audit-points li:last-child{margin-bottom:0}.audit-note{margin-top:1rem;padding:.95rem 1.1rem;border-left:3px solid #e0dace;background:#faf7f0;color:#70695e;font-size:.9rem;line-height:1.55}.audit-note strong{color:#1a1816;font-weight:600}.timeline{margin-top:2rem;position:relative;padding-left:1.5rem}.timeline::before{content:"";position:absolute;left:0;top:.4rem;bottom:.4rem;width:1px;background:#e0dace}.timeline-step{position:relative;padding:0 0 2rem 1.25rem}.timeline-step:last-child{padding-bottom:0}.timeline-step::before{content:"";position:absolute;left:-1.5rem;top:.45rem;width:7px;height:7px;border-radius:50%;background:#fffff8;border:1.5px solid #70695e}.timeline-step-label{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.65rem;font-weight:500;letter-spacing:.08em;text-transform:uppercase;color:#70695e;margin-bottom:.15rem}.timeline-step h3{font-size:1.05rem;font-weight:600;color:#1a1816;margin-bottom:.25rem}.timeline-step p{font-size:.92rem;color:#70695e;line-height:1.55;max-width:34em}.pipeline-wrap{margin-top:2rem;overflow-x:auto}.pipeline{display:flex;min-width:720px;border:1px solid #e0dace;border-radius:3px;overflow:hidden}.pipe{flex:1;padding:.75rem .4rem;text-align:center;border-right:1px solid #e0dace}.pipe:last-child{border-right:none}.pipe-name{font-size:.78rem;font-weight:600;color:#1a1816;margin-bottom:.15rem;white-space:nowrap}.pipe-tag{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.58rem;font-weight:500;letter-spacing:.04em;text-transform:uppercase;white-space:nowrap}.pipe--exact .pipe-tag{color:#2d7a4f}.pipe--alg .pipe-tag{color:#96700a}.pipe--approx .pipe-tag{color:#b07030}.pipe--stat .pipe-tag{color:#3b6b96}.pipe--fail .pipe-tag{color:#a63d3d}.pipeline-legend{display:flex;gap:1.25rem;margin-top:.75rem;font-size:.75rem;color:#70695e;flex-wrap:wrap}.pipeline-legend span{display:flex;align-items:center;gap:.3rem}.pipeline-legend span::before{content:"";width:7px;height:7px;border-radius:1px}.pipeline-legend .legend-exact::before{background:#2d7a4f}.pipeline-legend .legend-alg::before{background:#96700a}.pipeline-legend .legend-approx::before{background:#b07030}.pipeline-legend .legend-stat::before{background:#3b6b96}.pipeline-legend .legend-fail::before{background:#a63d3d}.approx-note{margin-top:1.5rem;padding:1.25rem 1.5rem;background:#faf7f0;border-left:3px solid #e0dace;border-radius:0 3px 3px 0}.approx-note p{font-size:.9rem;color:#70695e;line-height:1.6;max-width:38em}.abstract-text{margin-top:1.25rem}.abstract-text p{font-size:.95rem;color:#353230;line-height:1.6;max-width:38em;margin-bottom:.85rem}.abstract-text p:last-child{margin-bottom:0}.authors{margin-top:1rem;font-size:.88rem;color:#70695e;line-height:1.6}.authors a{color:#96700a}.freivalds-grid{margin-top:2rem;display:grid;grid-template-columns:1fr 1fr;gap:2.5rem;align-items:start}@media (max-width: 700px){.freivalds-grid{grid-template-columns:1fr}}.freivalds-text p{font-size:.95rem;color:#70695e;line-height:1.55;margin-bottom:.85rem;max-width:34em}.matrix-tags{display:flex;flex-wrap:wrap;gap:.35rem;margin-top:1rem}.matrix-tags .tag{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.68rem;font-weight:400;padding:.15rem .45rem;border:1px solid #e0dace;border-radius:2px;color:#353230}.demo-box{background:#1e1b16;border-radius:4px;padding:1.5rem;color:#ccc5b8}.demo-box .demo-header{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.62rem;font-weight:500;letter-spacing:.08em;text-transform:uppercase;color:#908878;margin-bottom:.75rem}.demo-box .demo-output{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.78rem;line-height:1.7;padding:.85rem;background:rgba(0,0,0,.3);border-radius:3px;margin-bottom:.75rem;min-height:70px;white-space:pre;overflow-x:auto}.demo-box .demo-output .val{color:#d4a024;font-weight:500}.demo-box .demo-output .dim{color:#706858}.demo-box .demo-output .ok{color:#5dac78}.demo-box .demo-output .err{color:#d46b6b}.demo-box .demo-result{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.75rem;font-weight:500;padding:.5rem .85rem;border-radius:3px;text-align:center;margin-bottom:.6rem}.demo-box .demo-result.pass{background:rgba(93,172,120,.12);color:#5dac78}.demo-box .demo-result.fail{background:rgba(212,107,107,.12);color:#d46b6b}.demo-box .demo-btns{display:grid;grid-template-columns:1fr 1fr;gap:.4rem}.demo-box .demo-btn{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.7rem;font-weight:500;padding:.45rem;background:rgba(255,255,255,.05);border:1px solid rgba(255,255,255,.08);border-radius:3px;color:#ccc5b8;cursor:pointer}.demo-box .demo-btn:hover{background:rgba(255,255,255,.1)}.bench-cols{display:grid;grid-template-columns:1fr 1fr;gap:2rem;margin-top:2rem}@media (max-width: 700px){.bench-cols{grid-template-columns:1fr}}.bench-facts{display:grid;grid-template-columns:repeat(3, minmax(0, 1fr));gap:.85rem;margin-top:1.5rem}@media (max-width: 760px){.bench-facts{grid-template-columns:1fr}}.bench-fact{padding:.9rem 1rem;border:1px solid rgba(204,197,184,.16);border-radius:4px;background:rgba(255,255,255,.025)}.bench-fact strong{display:block;color:#ece5d8;font-size:.9rem;font-weight:600;line-height:1.45}.bench-fact-label{display:block;font-family:"IBM Plex Mono",Menlo,monospace;font-size:.62rem;font-weight:500;letter-spacing:.08em;text-transform:uppercase;color:#908878;margin-bottom:.35rem}.bench-panel h3{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.72rem;font-weight:500;color:inherit;margin-bottom:1rem}.metric-row{display:flex;align-items:center;gap:.6rem;margin-bottom:.6rem}.metric-row-label{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.68rem;color:#70695e;min-width:50px;text-align:right;flex-shrink:0}.metric-row-bar{flex:1;height:20px;background:#f4f1e8;border-radius:2px;overflow:hidden}.metric-row-fill{height:100%;border-radius:2px;width:0}.metric-row-fill--gold{background:#b8860b}.metric-row-fill--blue{background:#3b6b96}.metric-row-fill--green{background:#2d7a4f}.metric-row-fill--orange{background:#b07030}.metric-row-val{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.68rem;font-weight:500;min-width:50px;flex-shrink:0}.table-wrap{overflow-x:auto}.specs-table{margin-top:2rem;width:100%;border-collapse:collapse;min-width:640px}.specs-table th,.specs-table td{padding:.6rem .75rem;text-align:left;border-bottom:1px solid #e0dace}.specs-table th{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.65rem;font-weight:500;letter-spacing:.06em;text-transform:uppercase;color:#70695e}.specs-table td{font-size:.9rem}.specs-table td:first-child{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.8rem;font-weight:500;color:#1a1816;white-space:nowrap}.compat-grid{display:grid;grid-template-columns:1fr 1fr;gap:1rem;margin-top:2rem}@media (max-width: 760px){.compat-grid{grid-template-columns:1fr}}.compat-item{padding:1.35rem 1.5rem;border:1px solid #e0dace;border-radius:4px;background:#fffff8}.compat-item--warn{background:#fffbf5}.compat-item h3{font-size:1rem;font-weight:600;color:#1a1816;margin-bottom:.3rem}.compat-item p{font-size:.9rem;color:#70695e;line-height:1.55;max-width:32em}.compat-label{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.64rem;font-weight:500;letter-spacing:.08em;text-transform:uppercase;margin-bottom:.35rem}.compat-label--green{color:#2d7a4f}.compat-label--red{color:#a63d3d}.cases-grid{display:grid;grid-template-columns:1fr 1fr;gap:1px;margin-top:2rem;background:#e0dace;border:1px solid #e0dace;border-radius:4px;overflow:hidden}@media (max-width: 600px){.cases-grid{grid-template-columns:1fr}}.case-item{background:#fffff8;padding:1.35rem 1.5rem}.case-item h3{font-size:1rem;font-weight:600;color:#1a1816;margin-bottom:.25rem}.case-item p{font-size:.88rem;color:#70695e;line-height:1.5}.footer{padding:1.5rem 0;display:flex;align-items:center;justify-content:space-between;flex-wrap:wrap;gap:.75rem}.footer-left{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.72rem;color:#70695e}.footer-left a{color:#70695e}.footer-right{display:flex;gap:1.25rem}.footer-right a{font-family:"IBM Plex Mono",Menlo,monospace;font-size:.72rem;color:#70695e}