:root{color-scheme:light dark;--ink: #16202c;--muted: #5a6b7d;--rule: #d7dee6;--ground: #fbfcfd;--panel: #fff;--accent: #1d3557;--alarm: #9a1c1c;--alarm-ground: #fdf2f2;--warn: #7a5300;--ok: #1d6b3f}@media(prefers-color-scheme:dark){:root{--ink: #e6ecf2;--muted: #9fb0c2;--rule: #2b3949;--ground: #101720;--panel: #161f2a;--accent: #8fb4e0;--alarm: #ff9b9b;--alarm-ground: #2a1414;--warn: #e0b65f;--ok: #7fd6a3}}*{box-sizing:border-box}body{margin:0;padding:2.5rem 1.25rem 5rem;background:var(--ground);color:var(--ink);font:16px/1.6 system-ui,-apple-system,Segoe UI,Roboto,Helvetica Neue,sans-serif}main{max-width:56rem;margin:0 auto}h1{font-size:1.7rem;margin:0 0 .4rem;letter-spacing:-.01em}h2{font-size:1.05rem;margin:1.6rem 0 .5rem}.lede{margin:0 0 .75rem;max-width:46rem;color:var(--muted)}.promise{margin:0 0 1.5rem;font-weight:600;color:var(--accent)}.muted{color:var(--muted)}code{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.92em}#drop{border:2px dashed var(--rule);border-radius:10px;background:var(--panel);padding:2.25rem 1rem;text-align:center;transition:border-color .12s,background .12s}#drop.over{border-color:var(--accent);background:var(--panel)}#drop-label{display:block;font-size:1.05rem;margin-bottom:.75rem;cursor:pointer}#file{font:inherit}#options{margin:1.25rem 0 0;border:1px solid var(--rule);border-radius:8px;background:var(--panel)}#options>summary{padding:.6rem .9rem;cursor:pointer;font-weight:600}.options-grid{display:grid;gap:1rem;grid-template-columns:repeat(auto-fit,minmax(18rem,1fr));padding:0 .9rem 1rem}fieldset{border:0;margin:0;padding:0}legend{font-weight:600;padding:0 0 .35rem}#options label{display:block;margin:.3rem 0}#options label.indent{margin-left:1.6rem;color:var(--muted)}#options input[type=number]{width:8rem;font:inherit;padding:.15rem .3rem}#status{margin:1.25rem 0 0;color:var(--muted)}#error{margin:1rem 0 0;padding:.9rem 1rem;border-radius:8px;border:1px solid var(--alarm);background:var(--alarm-ground);color:var(--alarm)}#invariant-failure{margin:1.25rem 0;padding:1rem 1.1rem;border-radius:8px;border:2px solid var(--alarm);background:var(--alarm-ground);color:var(--alarm)}#invariant-failure h2{margin-top:0;font-size:1.1rem}.invariant-name{font-weight:600}#invariants{list-style:none;padding:0;margin:1.25rem 0 .5rem}#invariants li{padding:.3rem 0;border-bottom:1px solid var(--rule)}.state{display:inline-block;min-width:7.5rem;font-weight:700;font-size:.8rem;letter-spacing:.04em;text-transform:uppercase}.state-held{color:var(--ok)}.state-failed{color:var(--alarm)}.state-not-covered{color:var(--warn)}.gap{margin:.2rem 0 .2rem 7.5rem;font-size:.93rem}#check-these{margin-top:1.5rem}#check-these-list li{margin:.25rem 0}#more-warnings{margin-top:.75rem;color:var(--muted)}#more-warnings summary{cursor:pointer}#next{margin:1.75rem 0;padding:1rem 1.1rem 1rem 1.4rem;border-radius:8px;border:1px solid var(--rule);background:var(--panel)}#next h2{margin-top:0}#next-steps{margin:0;padding-left:1.2rem}#next-steps li{margin:.2rem 0}.actions{margin:1.25rem 0}button{font:inherit;padding:.4rem .9rem;border-radius:6px;border:1px solid var(--rule);background:var(--panel);color:var(--ink);cursor:pointer}#download{font-size:1.05rem;padding:.6rem 1.4rem;font-weight:600;border-color:var(--accent)}button[data-prominent=true]{border-color:var(--accent);font-weight:600}#files{width:100%;border-collapse:collapse;margin-top:1rem;font-size:.93rem}#files th,#files td{text-align:left;padding:.3rem .5rem;border-bottom:1px solid var(--rule)}#files .num,#files th.num{text-align:right;font-variant-numeric:tabular-nums}#files .path{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.9em;word-break:break-all}