.playground[data-v-d105f1e8]{color:var(--color-ramp-hi)}.lab[data-v-d105f1e8]{font-family:var(--font-mono);letter-spacing:.15em;text-transform:uppercase;color:var(--color-ramp-lo);font-size:.66rem}.constraint[data-v-d105f1e8]{border-bottom:1px solid #ffffff1f;flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.6rem 1.4rem;padding-bottom:.9rem;display:flex}.constraint code[data-v-d105f1e8]{font-family:var(--font-mono);color:#fff;font-size:.95rem}.inputs[data-v-d105f1e8]{grid-template-columns:repeat(auto-fit,minmax(11rem,1fr));gap:1.2rem;margin-top:1.2rem;display:grid}.inputs label[data-v-d105f1e8]{color:#c1cad3d9;flex-direction:column;gap:.45rem;font-size:.84rem;display:flex}.inputs input[data-v-d105f1e8]{color:#fff;font-family:var(--font-mono);background:#ffffff0d;border:1px solid #ffffff29;border-radius:0;padding:.5rem .7rem;font-size:1rem}.inputs input[data-v-d105f1e8]:focus-visible{outline:2px solid var(--color-ramp-lo);outline-offset:1px}.presets[data-v-d105f1e8]{flex-wrap:wrap;align-items:center;gap:.7rem;margin-top:1rem;display:flex}.preset-row[data-v-d105f1e8]{flex-wrap:wrap;gap:.45rem;display:flex}.preset-row button[data-v-d105f1e8]{font-family:var(--font-mono);color:var(--color-ramp-hi);cursor:pointer;background:0 0;border:1px solid #fff3;padding:.3rem .6rem;font-size:.74rem;transition:border-color .15s,color .15s}.preset-row button[data-v-d105f1e8]:hover{border-color:var(--color-ramp-lo);color:#fff}.computation[data-v-d105f1e8]{background:#ffffff0a;border:1px solid #ffffff24;flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1rem 1.6rem;margin-top:1.4rem;padding:1rem 1.2rem;display:flex}.lines p[data-v-d105f1e8]{font-family:var(--font-mono);color:#c1cad3e6;font-size:.85rem;line-height:1.75}.verdict[data-v-d105f1e8]{font-family:var(--font-mono);letter-spacing:.1em;border:1px solid;padding:.45rem .9rem;font-size:1.05rem;font-weight:600}.verdict.valid[data-v-d105f1e8]{color:var(--color-ramp-lo);border-color:var(--color-ramp-lo);background:#5a94cf1f}.verdict.invalid[data-v-d105f1e8]{color:#f2795f;background:#f2795f1a;border-color:#f2795f}.verdict.void[data-v-d105f1e8]{color:#c1cad3cc;letter-spacing:.04em;border-color:#c1cad366;font-size:.8rem;font-weight:400}.note[data-v-d105f1e8]{color:#c1cad3a6;margin-top:1.1rem;font-size:.8rem;line-height:1.55}.verifier[data-v-3911c1b9]{--lab-c:var(--color-ink-faint)}.lab[data-v-3911c1b9]{font-family:var(--font-mono);letter-spacing:.15em;text-transform:uppercase;color:var(--lab-c);font-size:.66rem}.block+.block[data-v-3911c1b9]{margin-top:1.3rem}.passage[data-v-3911c1b9]{border:1px solid var(--color-rule);font-family:var(--font-serif);background:#fbfcfe;margin-top:.5rem;padding:.9rem 1rem;font-size:.98rem;line-height:1.65}.hit[data-v-3911c1b9]{color:inherit;background:#dce6f5;padding:0 .12em}.claims[data-v-3911c1b9]{border:0;gap:.6rem;margin:.5rem 0 0;padding:0;display:grid}.claims label[data-v-3911c1b9]{border:1px solid var(--color-rule);background:var(--color-surface);cursor:pointer;flex-wrap:wrap;align-items:center;gap:.6rem;padding:.65rem .9rem;font-size:.9rem;display:flex}.claims label[data-v-3911c1b9]:has(input:checked){border-color:var(--color-keyline)}.claims input[data-v-3911c1b9]{accent-color:var(--color-blue);width:.95rem;height:.95rem}.quoted[data-v-3911c1b9]{font-family:var(--font-mono);color:var(--color-blue);background:#eef1f7;padding:.12rem .4rem;font-size:.78rem}.run-row[data-v-3911c1b9]{flex-wrap:wrap;align-items:center;gap:.8rem 1.2rem;margin-top:1.3rem;display:flex}.run-row button[data-v-3911c1b9]{font-family:var(--font-mono);color:var(--color-blue);background:var(--color-surface);border:1px solid var(--color-rule);cursor:pointer;padding:.5rem .9rem;font-size:.8rem;transition:border-color .15s}.run-row button[data-v-3911c1b9]:hover{border-color:var(--color-keyline)}.result[data-v-3911c1b9]{font-family:var(--font-mono);font-size:.78rem}.result.served[data-v-3911c1b9]{color:var(--color-blue)}.result.withheld[data-v-3911c1b9]{color:var(--color-signal)}.note[data-v-3911c1b9]{color:var(--color-ink-faint);margin-top:1.1rem;font-size:.8rem;line-height:1.55}