:root{--bg: #0d1117;--panel: #151b23;--panel2: #1b222c;--line: #2a3441;--ink: #e6edf3;--dim: #8b98a5;--ok: #3fb950;--warn: #d29922;--bad: #f85149;--accent: #58a6ff;--mono: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, monospace}*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--ink);font:15px/1.6 -apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif}.app{max-width:1240px;margin:0 auto;padding:2.5rem 1.25rem 4rem}header h1{font-size:2.4rem;margin:0 0 .6rem;letter-spacing:-.02em}.lede{max-width:66ch;color:var(--dim);margin:0 0 .7rem}.lede em{color:var(--ink);font-style:normal;font-weight:600}code{font-family:var(--mono);font-size:.88em}header code{color:var(--accent)}.controls{display:flex;flex-wrap:wrap;gap:1.25rem;justify-content:space-between;margin:1.8rem 0 .8rem}.scenarios,.edits{display:flex;flex-wrap:wrap;gap:.5rem}button{background:var(--panel);color:var(--ink);border:1px solid var(--line);border-radius:7px;padding:.5rem .9rem;font-size:.88rem;font-family:inherit;cursor:pointer}button:hover:not(:disabled){border-color:var(--accent)}button.active{border-color:var(--accent);color:var(--accent)}button:disabled{opacity:.4;cursor:default}.edits button{background:var(--panel2)}.blurb{color:var(--dim);font-size:.9rem;margin:0 0 1.6rem;max-width:80ch}.grid{display:grid;grid-template-columns:1.15fr 1fr;gap:2rem;align-items:start}@media (max-width: 950px){.grid{grid-template-columns:1fr}}h2{font-size:1.02rem;margin:1.8rem 0 .7rem;display:flex;align-items:center;gap:.7rem;flex-wrap:wrap}.col>h2:first-child{margin-top:0}.badge{font-size:.74rem;font-weight:600;padding:.2rem .55rem;border-radius:999px;font-family:var(--mono)}.badge.intact{background:#3fb95024;color:var(--ok)}.badge.broken{background:#f8514924;color:var(--bad)}.badge.empty{background:var(--panel2);color:var(--dim)}table.chain{width:100%;border-collapse:collapse;background:var(--panel);border:1px solid var(--line);border-radius:8px;overflow:hidden;font-size:.84rem}.chain th{text-align:left;font-weight:600;color:var(--dim);font-size:.72rem;text-transform:uppercase;letter-spacing:.05em;padding:.5rem .7rem;border-bottom:1px solid var(--line)}.chain td{padding:.45rem .7rem;border-bottom:1px solid rgba(42,52,65,.5);vertical-align:top}.chain tr:last-child td{border-bottom:none}.chain tr.bad{background:#f851490f}.chain .num{color:var(--dim);font-family:var(--mono)}.mono{font-family:var(--mono)}.dim{color:var(--dim)}.chip{display:inline-block;font-size:.7rem;font-family:var(--mono);padding:.12rem .45rem;border-radius:4px;white-space:nowrap}.chip.ok{background:#3fb95024;color:var(--ok)}.chip.hash_mismatch,.chip.link_broken,.chip.unhashed{background:#f8514924;color:var(--bad)}.detail{display:block;color:var(--dim);font-size:.74rem;margin-top:.2rem}.head{font-size:.78rem;color:var(--dim);margin:.6rem 0 0}.empty{color:var(--dim);font-size:.9rem}textarea{width:100%;height:210px;background:var(--panel);color:var(--ink);border:1px solid var(--line);border-radius:8px;padding:.8rem;font-family:var(--mono);font-size:.72rem;line-height:1.5;resize:vertical}textarea:focus{outline:none;border-color:var(--accent)}.parse-errors{color:var(--bad);font-size:.78rem;padding-left:1.1rem;margin:.5rem 0 0}.conformance{background:var(--panel);border:1px solid var(--line);border-radius:8px;padding:.9rem 1rem}.tally{margin:0 0 .6rem;font-size:.88rem}.never{font-size:.82rem;color:var(--dim);margin:0 0 .6rem}.never code{background:var(--panel2);padding:.1rem .35rem;border-radius:4px;margin-right:.3rem;color:var(--warn)}.findings{margin:0;padding-left:1.1rem;font-size:.82rem;color:var(--dim)}.findings code{color:var(--ink)}.findings li{margin-bottom:.2rem}.provenance{font-size:.74rem;color:var(--dim);border-top:1px solid var(--line);margin:.9rem 0 0;padding-top:.7rem}.claims{display:flex;flex-direction:column;gap:.8rem}.claim{background:var(--panel);border:1px solid var(--line);border-left:3px solid var(--line);border-radius:8px;padding:.9rem 1rem}.claim.proved{border-left-color:var(--ok)}.claim.conditional{border-left-color:var(--warn)}.claim.unprovable{border-left-color:var(--bad)}.claim h3{font-size:.95rem;margin:0 0 .5rem;line-height:1.4}.claim p{margin:.55rem 0 0;font-size:.85rem;color:var(--dim)}.chip.proved{background:#3fb95024;color:var(--ok)}.chip.conditional{background:#d2992224;color:var(--warn)}.chip.unprovable{background:#f8514924;color:var(--bad)}.would{font-size:.8rem}.would span{color:var(--ink);font-weight:600}footer{margin-top:3rem;padding-top:1.2rem;border-top:1px solid var(--line);color:var(--dim);font-size:.82rem}footer p{margin:.3rem 0}a{color:var(--accent)}