.instrument{border:1px solid var(--rule-strong);background:color-mix(in srgb, var(--vessel) 42%, transparent);max-width:min(var(--measure,68ch), 100%);margin-top:1.6rem;padding:1.6rem}.prove{font-family:var(--data);font-size:var(--t-body);letter-spacing:.08em;text-transform:uppercase;color:var(--vacuum);background:var(--resolved);border:1px solid var(--resolved);cursor:pointer;border-radius:0;margin-top:1.1rem;padding:.85rem 1.6rem}.prove:hover{background:color-mix(in srgb, var(--resolved) 82%, var(--vacuum))}.prove:disabled{color:var(--fg-dim);border-color:var(--rule-strong);cursor:default;background:0 0}.verdict-row{font-family:var(--data);flex-wrap:wrap;align-items:baseline;gap:1rem;margin-top:1.4rem;display:flex}.v-key{font-size:var(--t-micro);letter-spacing:.16em;text-transform:uppercase;color:var(--fg-dim)}.v-rule{background:var(--rule-strong);flex:1;align-self:center;min-width:2rem;height:1px}.v-text{letter-spacing:.06em;text-transform:uppercase;color:var(--fg-dim);text-align:right;overflow-wrap:anywhere;font-size:clamp(1.5rem,4vw,2.3rem);line-height:1}.verdict-row[data-state=pass] .v-rule{background:var(--verdict)}.verdict-row[data-state=pass] .v-text{color:var(--verdict)}.verdict-row[data-state=fail] .v-rule{background:var(--breach)}.verdict-row[data-state=fail] .v-text{color:var(--breach)}.prove-facts,.calc-facts{gap:.4rem;margin:1.2rem 0 0;display:grid}.prove-facts div,.calc-facts div{border-top:1px solid var(--rule);align-items:baseline;gap:1rem;padding-top:.4rem;display:flex}.prove-facts dt,.calc-facts dt{font-family:var(--data);font-size:var(--t-micro);letter-spacing:.14em;text-transform:uppercase;color:var(--fg-dim);min-width:14ch}.prove-facts dd,.calc-facts dd{font-family:var(--data);font-size:var(--t-small);color:var(--fg);overflow-wrap:anywhere;margin:0}.instrument .say{font-size:var(--t-small);color:var(--fg-dim);max-width:var(--measure,68ch);margin-top:.9rem}.calc-field{flex-wrap:wrap;align-items:center;gap:.5rem;margin-top:1.1rem;display:flex}.calc-field label{font-family:var(--data);font-size:var(--t-micro);letter-spacing:.14em;text-transform:uppercase;color:var(--fg-dim)}.calc-field input{min-width:0;font-family:var(--data);font-size:var(--t-body);color:var(--fg);background:color-mix(in srgb, var(--vessel) 72%, transparent);border:1px solid var(--rule-strong);border-radius:0;flex:8rem;padding:.72rem .9rem}.calc-live[hidden],.calc-static[hidden]{display:none}.bounces{max-width:var(--measure,68ch);gap:.9rem;margin:1.4rem 0 0;padding:0;list-style:none;display:grid}.bounces li{border-top:1px solid var(--rule);padding-top:.7rem}.bounce-key{font-family:var(--data);font-size:var(--t-micro);letter-spacing:.14em;text-transform:uppercase;color:var(--fg-dim)}.bounces .verdict-row{margin-top:.5rem}.bounces .v-text{font-size:var(--t-small);letter-spacing:.12em;line-height:1.3}