.proof-body{font-size:1.0625rem;line-height:1.65;color:var(--foreground)}.proof-body a{color:var(--link);text-underline-offset:3px}.proof-body h2{font-weight:800}.proof-body h2,.proof-body h3{font-family:var(--font-display)}.proof-body .proof-seal{margin-top:3rem;border-top:3px double var(--foreground);padding-top:1.5rem}.proof-body .sealblock{text-align:center;color:var(--ledger-seal)}.proof-body .sealblock .seal{width:8.5rem;height:8.5rem;display:block;margin:0 auto .35rem}.proof-body .sealblock .hash{font:400 .8125rem/1.4 var(--font-mono);color:var(--muted-foreground)}.proof-body .honest{background:var(--card);color:var(--foreground);padding:1rem 1.25rem;margin:0 0 2rem;border:1px solid var(--foreground);position:relative}.proof-body .meta{display:grid;grid-template-columns:repeat(auto-fit,minmax(10rem,1fr));gap:1rem 2rem;margin:0 0 2.5rem;padding:1rem 0;border-top:3px double var(--foreground);border-bottom:.5px solid var(--border-strong)}.proof-body .meta dt{font:600 .8125rem/1 var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--muted-foreground);margin-bottom:.35rem}.proof-body .meta dd{margin:0;font-weight:700}.proof-body .meta dd.mono{font:500 .9375rem/1.4 var(--font-mono)}.proof-body .ask{border:1.5px solid var(--foreground);background:var(--card);padding:1.25rem 1.5rem;margin:0 0 3rem}.proof-body .ask .k{display:inline-block;background:var(--foreground);color:var(--primary-foreground);font:600 .8125rem/1 var(--font-mono);letter-spacing:.08em;text-transform:uppercase;padding:.4rem .65rem;margin-bottom:.8rem}.proof-body .ask .q{font:700 1.25rem/1.4 var(--font-sans);margin:0 0 .6rem}.proof-body .ask .by{margin:0;color:var(--subtle-foreground);font-size:.9375rem}.proof-body .ask .by b{font:600 .8125rem/1 var(--font-mono);letter-spacing:.06em;text-transform:uppercase;color:var(--muted-foreground);margin-right:.6rem}.proof-body h2{font:700 1.75rem/1.2 var(--font-sans);margin:3.25rem 0 1rem;letter-spacing:-.005em}.proof-body h2 .n{font:600 1rem/1 var(--font-mono);color:var(--muted-foreground);margin-right:.75rem;vertical-align:.1em}.proof-body h3{font:700 1.1875rem/1.3 var(--font-sans);margin:2rem 0 .5rem}.proof-body p{margin:0 0 1rem}.proof-body ol,.proof-body ul{padding-left:1.4rem;margin:0 0 1.25rem}.proof-body li{margin-bottom:.5rem;padding-left:.2rem}.proof-body code{font:500 .9em var(--font-mono);font-variant-numeric:tabular-nums}.proof-body .tw{overflow-x:auto;margin:.5rem 0 1.5rem}.proof-body table{width:100%;border-collapse:collapse;font-size:.9375rem;line-height:1.45;font-variant-numeric:tabular-nums}.proof-body th{text-align:left;font-weight:700;color:var(--subtle-foreground);border-bottom:1.5px solid var(--foreground);padding:0 .9rem .5rem 0;vertical-align:bottom}.proof-body td{border-bottom:1px solid var(--border);padding:.55rem .9rem .55rem 0;vertical-align:top}.proof-body td[style*=right],.proof-body th[style*=right]{text-align:right;font-family:var(--font-mono);font-size:.875rem;white-space:nowrap;padding-right:1.1rem}.proof-body th[style*=right]{font-family:var(--font-sans);font-size:.9375rem;white-space:normal}.proof-body td:last-child,.proof-body th:last-child{padding-right:0}.proof-body td:has(.mk){white-space:nowrap}.proof-body tr.total td{border-top:4px double var(--foreground);border-bottom:0;font-weight:700}.proof-body .kpis{display:grid;grid-template-columns:repeat(auto-fit,minmax(9.5rem,1fr));gap:1.25rem;margin:1.5rem 0 1.75rem}.proof-body .kpi{border-top:3px solid var(--foreground);padding-top:.6rem}.proof-body .kpi .v{font:600 2rem/1 var(--font-mono);letter-spacing:-.03em;margin:0 0 .5rem;white-space:nowrap}.proof-body .kpi .l{font-size:.9375rem;line-height:1.4;color:var(--subtle-foreground);margin:0}.proof-body .reading{border-left:4px solid var(--foreground);background:var(--ledger-paper-interior,var(--muted));padding:1.1rem 1.4rem .6rem;margin:1.5rem 0 1.75rem}.proof-body .label{font:600 .8125rem/1.3 var(--font-mono);letter-spacing:.06em;text-transform:uppercase;color:var(--muted-foreground)}.proof-body .reading .label{display:block;color:var(--foreground);margin-bottom:.5rem}.proof-body .sample{border:1px solid var(--border-strong);background:var(--card);padding:1rem 1.25rem .4rem;margin:.75rem 0 1.5rem;font-size:1rem}.proof-body .sample .label{display:block;margin-bottom:.5rem}.proof-body .sample .out{border-top:1px solid var(--border);padding-top:.75rem;color:var(--subtle-foreground)}.proof-body .evidence{border-top:2px solid var(--foreground);padding:1rem 0 .25rem;margin:0 0 1.75rem}.proof-body .ev-head{display:flex;align-items:flex-start;gap:.9rem;margin-bottom:.35rem;flex-wrap:wrap}.proof-body .ev-id{font:600 .9375rem/1.5 var(--font-mono)}.proof-body .ev-claim{font:700 1.125rem/1.4 var(--font-sans);flex:1 1 14rem}.proof-body .ev-src{font:400 .8125rem/1.5 var(--font-mono);color:var(--muted-foreground);margin:0 0 .9rem;overflow-wrap:anywhere}.proof-body .chip{display:inline-flex;align-items:center;gap:.4rem;font:600 .8125rem/1 var(--font-mono);letter-spacing:.05em;text-transform:uppercase;padding:.35rem .6rem .35rem .5rem;border:1px solid var(--foreground);white-space:nowrap}.proof-body .chip svg{width:.8rem;height:.8rem;flex:none}.proof-body .chip.measured{background:var(--foreground);color:var(--primary-foreground)}.proof-body .chip.proposed{background:var(--card);color:var(--foreground)}.proof-body .chip.unconfirmed{background:var(--card);color:var(--caution);border-color:var(--caution);border-style:dashed}.proof-body .mk{display:inline-block;width:1em;height:1em;vertical-align:-.12em}.proof-body .mk svg{width:100%;height:100%;display:block}.proof-body .mk.ok{color:var(--success)}.proof-body .mk.no{color:var(--caution)}.proof-body figure.chart{margin:1.5rem 0 1.75rem}.proof-body figure.chart .ctitle{font-weight:700;margin:0 0 .35rem}.proof-body figure.chart .shows{color:var(--subtle-foreground);margin:0 0 1rem}.proof-body .bar-row{display:grid;grid-template-columns:minmax(7rem,14rem) 1fr;gap:.25rem 1rem;align-items:center;margin-bottom:.6rem}.proof-body .bl{font-size:.9375rem;line-height:1.35}.proof-body .track{display:block;white-space:nowrap}.proof-body .track i{display:inline-block;height:1.25rem;background:var(--border);vertical-align:middle}.proof-body .track i.hi{background:var(--foreground)}.proof-body .track b{font:600 .9375rem/1 var(--font-mono);margin-left:.6rem;vertical-align:middle}.proof-body figcaption{font-size:.8125rem;line-height:1.5;color:var(--muted-foreground);margin-top:.5rem}.proof-body section.next ol{padding-left:1.5rem}.proof-body .sign{margin:1.75rem 0 0}.proof-body .sign .name{font-weight:700;margin:0}.proof-body .sign .role{margin:0;color:var(--subtle-foreground)}@media (max-width:34rem){.proof-body .bar-row{grid-template-columns:1fr}.proof-body{font-size:1rem}}