@font-face{font-family:Fraunces;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/7452ca4a93358909-s.woff2) format("woff2");unicode-range:u+0102-0103,u+0110-0111,u+0128-0129,u+0168-0169,u+01a0-01a1,u+01af-01b0,u+0300-0301,u+0303-0304,u+0308-0309,u+0323,u+0329,u+1ea0-1ef9,u+20ab}@font-face{font-family:Fraunces;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/e0ecb571b51ea3b5-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,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:Fraunces;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/6e8c7cb283336a9d-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:Fraunces Fallback;src:local("Times New Roman");ascent-override:84.71%;descent-override:22.09%;line-gap-override:0.00%;size-adjust:115.45%}.__className_fdb222{font-family:Fraunces,Fraunces Fallback;font-style:normal}.__variable_fdb222{--font-display:"Fraunces","Fraunces Fallback"}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/886030b0b59bc5a7-s.woff2) format("woff2");unicode-range:u+0460-052f,u+1c80-1c8a,u+20b4,u+2de0-2dff,u+a640-a69f,u+fe2e-fe2f}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/0aa834ed78bf6d07-s.woff2) format("woff2");unicode-range:u+0301,u+0400-045f,u+0490-0491,u+04b0-04b1,u+2116}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/67957d42bae0796d-s.woff2) format("woff2");unicode-range:u+0370-0377,u+037a-037f,u+0384-038a,u+038c,u+038e-03a1,u+03a3-03ff}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/f911b923c6adde36-s.woff2) format("woff2");unicode-range:u+0102-0103,u+0110-0111,u+0128-0129,u+0168-0169,u+01a0-01a1,u+01af-01b0,u+0300-0301,u+0303-0304,u+0308-0309,u+0323,u+0329,u+1ea0-1ef9,u+20ab}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/939c4f875ee75fbb-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,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:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/bb3ef058b751a6ad-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:JetBrains Mono Fallback;src:local("Arial");ascent-override:75.79%;descent-override:22.29%;line-gap-override:0.00%;size-adjust:134.59%}.__className_3c557b{font-family:JetBrains Mono,JetBrains Mono Fallback;font-style:normal}.__variable_3c557b{--font-mono:"JetBrains Mono","JetBrains Mono Fallback"}:root{--bg:#0b0d10;--panel:#14181d;--border:#232a32;--text:#e6edf3;--muted:#8b949e;--verified:#3fb950;--divergent:#f85149;--unproven:#d29922;--not-executed:#8b949e;--link:#58a6ff}*{box-sizing:border-box}body:before{z-index:9999;background-image:repeating-linear-gradient(0deg,rgba(255,255,255,.028),rgba(255,255,255,.028) 1px,transparent 0,transparent 4px)}body:after,body:before{content:"";position:fixed;inset:0;pointer-events:none}body:after{z-index:9998;background:radial-gradient(ellipse 110% 90% at 50% 30%,transparent 50%,rgba(0,0,0,.52) 100%)}body{margin:0;background:var(--bg);color:var(--text);font-family:var(--font-mono,ui-monospace),"SF Mono",Menlo,monospace;font-size:.9rem;line-height:1.6}main{max-width:68rem;margin:0 auto;padding:3rem 1.5rem 4rem}h1{margin:0 0 .25rem;font-family:var(--font-display,Georgia),serif;font-size:2.5rem;font-weight:900;letter-spacing:-.035em;font-optical-sizing:auto;line-height:1.1}h1:before{content:"> ";font-family:var(--font-mono,monospace);font-size:.52em;font-weight:400;color:var(--verified);vertical-align:.18em;opacity:.8;letter-spacing:0}.tagline{margin:0 0 2rem;max-width:46rem;color:var(--muted)}code{font-family:var(--font-mono,ui-monospace),monospace;font-size:.85em}a{color:var(--link)}.muted{color:var(--muted)}.stats{display:grid;grid-template-columns:repeat(auto-fit,minmax(8rem,1fr));gap:.75rem;margin-bottom:1.5rem}.stat{background:var(--panel);border:1px solid var(--border);border-radius:.4rem;padding:1rem;display:flex;flex-direction:column;gap:.3rem}.stat.verified{border-left:3px solid var(--verified)}.stat.divergent{border-left:3px solid var(--divergent)}.stat.unproven{border-left:3px solid var(--unproven)}.stat-value{font-family:var(--font-display,Georgia),serif;font-size:2.25rem;font-weight:900;font-optical-sizing:auto;font-feature-settings:"tnum";font-variant-numeric:tabular-nums;line-height:1}.stat-label{font-size:.7rem;color:var(--muted);text-transform:uppercase;letter-spacing:.07em}.stat.verified .stat-value{color:var(--verified)}.stat.divergent .stat-value{color:var(--divergent)}.stat.unproven .stat-value{color:var(--unproven)}.stat.not-executed .stat-value{color:var(--not-executed)}.meta dl{display:grid;grid-template-columns:auto 1fr;gap:.35rem 1.25rem;margin:0 0 2rem;font-size:.88rem}.meta dt{color:var(--muted)}.meta dd{margin:0}.notice{background:var(--panel);border:1px solid var(--border);border-left:3px solid var(--unproven);border-radius:.4rem;padding:1rem 1.25rem;margin-bottom:2rem}.notice p{margin:.5rem 0 0;font-size:.88rem}table{width:100%;border-collapse:collapse;font-size:.875rem}th{text-align:left;color:var(--muted);font-weight:400;font-size:.7rem;text-transform:uppercase;letter-spacing:.07em}td,th{padding:.6rem .75rem;border-bottom:1px solid var(--border)}td{font-feature-settings:"tnum";font-variant-numeric:tabular-nums}tbody tr:hover{background:var(--panel)}.verdict{display:inline-block;padding:.15rem .45rem;border-radius:.2rem;font-family:var(--font-mono,monospace);font-size:.68rem;font-weight:600;letter-spacing:.08em;border:1px solid}.verdict.verified{color:var(--verified)}.verdict.divergent{color:var(--divergent)}.verdict.unproven{color:var(--unproven)}.verdict.not-executed{color:var(--not-executed)}.reason-code{display:block;margin-top:.3rem;font-size:.66rem;color:var(--muted);letter-spacing:.03em}.keeperhub{background:var(--panel);border:1px solid var(--border);border-left:3px solid var(--verified);border-radius:.4rem;padding:1rem 1.25rem;margin-bottom:2rem}.keeperhub h2{margin:0 0 .5rem;font-family:var(--font-display,Georgia),serif;font-size:1.1rem;font-weight:900;letter-spacing:-.01em}.keeperhub p{margin:0 0 .75rem;font-size:.85rem;max-width:52rem}.keeperhub .commands{margin-bottom:0}.unreadable-note{margin:.75rem 0 0;font-size:.8rem;border-left:3px solid var(--unproven);padding-left:.75rem}.pagination{display:flex;align-items:center;gap:.75rem;margin-top:1rem}.page-link{border:1px solid var(--border);border-radius:.3rem;padding:.3rem .7rem;font-size:.78rem;text-decoration:none;color:var(--text);transition:border-color .12s ease}.page-link:hover{border-color:var(--link)}.page-link.disabled{color:var(--muted);opacity:.4;pointer-events:none}.page-status{font-size:.78rem;font-feature-settings:"tnum";font-variant-numeric:tabular-nums}footer{margin-top:2.5rem;padding-top:1.5rem;border-top:1px solid var(--border);font-size:.875rem}.copyable{display:inline-flex;align-items:center;gap:.4rem}.copy-button{border:1px solid var(--border,#2a2a35);background:transparent;color:inherit;opacity:.45;border-radius:3px;padding:.05rem .35rem;font-family:var(--font-mono,monospace);font-size:.65rem;letter-spacing:.04em;cursor:pointer;transition:opacity .12s ease,border-color .12s ease}.copy-button:focus-visible,.copy-button:hover{opacity:1;border-color:currentColor}.detail-row>td{padding-top:0;border-top:none}.detail-row summary{cursor:pointer;font-size:.76rem;opacity:.5;padding:.25rem 0;-webkit-user-select:none;user-select:none;font-family:var(--font-mono,monospace);letter-spacing:.02em}.detail-row summary:hover{opacity:1}.detail-row details[open] summary{opacity:1;margin-bottom:.75rem}.fields{display:grid;grid-template-columns:max-content 1fr;gap:.35rem 1.25rem;margin:0 0 1rem;font-size:.8rem}.fields dt{opacity:.55;white-space:nowrap}.fields dd{margin:0;overflow-wrap:anywhere}.commands{list-style:none;margin:.5rem 0 1rem;padding:0;display:grid;gap:.75rem}.command-label{display:block;font-size:.72rem;opacity:.55;margin-bottom:.2rem}.copyable.command{align-items:flex-start;width:100%}.copyable.command code{font-size:.7rem;line-height:1.5;overflow-wrap:anywhere;white-space:pre-wrap}