.statement-v2{--statement-v2-canvas:var(--tdb-canvas,var(--bg,#fbfaf7));--statement-v2-surface:var(--tdb-surface,#fff);--statement-v2-ink:var(--tdb-ink,var(--navy,#122033));--statement-v2-muted:var(--tdb-muted,var(--muted,#67717d));--statement-v2-rule:var(--tdb-rule,var(--rule,#deddd7));--statement-v2-accent:var(--tdb-accent,var(--accent,#3157a4));--statement-v2-accent-soft:var(--tdb-accent-soft,var(--accent-tint,#eef2fb));--statement-v2-positive:var(--tdb-positive,var(--ok,#236446));--statement-v2-warning:var(--tdb-warning,#8b5e16);--statement-v2-negative:var(--tdb-negative,#a33a3a);--statement-v2-radius:var(--tdb-radius,3px);width:min(100vw - 2.5rem,72rem);min-height:calc(100vh - 7rem);color:var(--statement-v2-ink);margin-inline:auto;padding-block:2rem 4.5rem}.statement-v2-status{color:var(--statement-v2-muted);margin:2rem 0;font-size:.875rem}.statement-v2-problem-flag{max-width:88rem;color:var(--ink-muted,#5f6470);justify-content:flex-end;align-items:center;gap:.75rem;margin:0 auto 3rem;padding:0 1.25rem;font-size:.82rem;display:flex}.statement-v2-problem-flag[hidden]{display:none}.statement-v2-problem-flag button{color:inherit;cursor:pointer;background:0 0;border:0;text-decoration:underline}.statement-v2-flag-dialog{border:1px solid var(--line,#d8dadd);width:min(34rem,100vw - 2rem);color:var(--ink,#191b20);border-radius:.5rem;padding:1.25rem}.statement-v2-flag-dialog::backdrop{background:#14182073}.statement-v2-flag-dialog form,.statement-v2-flag-dialog label{gap:.5rem;display:grid}.statement-v2-flag-dialog form{gap:1rem}.statement-v2-flag-dialog textarea,.statement-v2-flag-dialog select{border:1px solid var(--line,#d8dadd);width:100%;font:inherit;border-radius:.25rem;padding:.65rem}.statement-v2-flag-heading{justify-content:space-between;align-items:center;display:flex}.statement-v2-flag-heading h2{margin:0}.statement-v2-record[hidden],.statement-v2-status[hidden]{display:none}.statement-v2-header{padding-bottom:1.5rem}.statement-v2-identity{min-height:1.75rem;color:var(--statement-v2-muted);align-items:center;gap:.55rem;margin-bottom:1.35rem;font-size:.75rem;display:flex}.statement-v2-back,.statement-v2-link{color:var(--statement-v2-accent);text-decoration:none}.statement-v2-back:hover,.statement-v2-link:hover{text-underline-offset:.18em;text-decoration:underline}.statement-v2-separator{color:var(--statement-v2-rule)}.statement-v2-id{min-width:0;color:var(--statement-v2-muted);text-overflow:ellipsis;white-space:nowrap;font-size:.6875rem;overflow:hidden}.statement-v2-copy{border:1px solid var(--statement-v2-rule);border-radius:var(--statement-v2-radius);color:var(--statement-v2-muted);font:inherit;cursor:pointer;background:0 0;flex:none;margin-left:.15rem;padding:.2rem .42rem}.statement-v2-copy:hover{border-color:var(--statement-v2-accent);color:var(--statement-v2-accent)}.statement-v2-copy:focus-visible,.statement-v2-sections a:focus-visible,.statement-v2-back:focus-visible,.statement-v2-link:focus-visible{outline:2px solid var(--statement-v2-accent);outline-offset:2px}.statement-v2-badges{flex-wrap:wrap;gap:.4rem;margin-bottom:.8rem;display:flex}.statement-v2-badge{border:1px solid var(--statement-v2-rule);border-radius:var(--statement-v2-radius);background:var(--statement-v2-surface);min-height:1.45rem;color:var(--statement-v2-ink);align-items:baseline;gap:.38rem;padding:.15rem .42rem;font-size:.6875rem;line-height:1.25;display:inline-flex}.statement-v2-badge--positive{border-color:color-mix(in srgb, var(--statement-v2-positive) 35%, var(--statement-v2-rule));color:var(--statement-v2-positive)}.statement-v2-badge--warning{border-color:color-mix(in srgb, var(--statement-v2-warning) 35%, var(--statement-v2-rule));color:var(--statement-v2-warning)}.statement-v2-badge--negative{border-color:color-mix(in srgb, var(--statement-v2-negative) 35%, var(--statement-v2-rule));color:var(--statement-v2-negative)}.statement-v2-badge-label{font-weight:600}.statement-v2-badge-code{color:currentColor;opacity:.7;font-size:.625rem}.statement-v2-title{overflow-wrap:anywhere;letter-spacing:-.035em;max-width:58rem;margin:0;font-size:clamp(1.65rem,3.5vw,2.3rem);font-weight:610;line-height:1.12}.statement-v2-claim{border-color:color-mix(in srgb, var(--statement-v2-accent) 22%, transparent);border-radius:var(--statement-v2-radius);background:var(--statement-v2-accent-soft);max-width:58rem;margin-top:1.6rem;padding:1rem 1.2rem 1.1rem}.statement-v2-eyebrow{color:var(--statement-v2-muted);letter-spacing:.09em;text-transform:uppercase;margin:0 0 .55rem;font-size:.65rem;font-weight:650}.statement-v2-claim-text{overflow-wrap:anywhere;color:var(--statement-v2-ink);font-family:KaTeX_Main, var(--tdb-font-math,"EB Garamond Variable", Georgia, serif);margin:0;font-size:clamp(1.05rem,2vw,1.25rem);line-height:1.58}.statement-v2-summary{border-top:1px solid var(--statement-v2-rule);max-width:46rem;color:var(--statement-v2-muted);margin:.8rem 0 0;padding-top:.8rem;font-size:.875rem;line-height:1.55}.statement-v2-summary[hidden]{display:none}.statement-v2-tags{flex-wrap:wrap;gap:.35rem;margin-top:.75rem;display:flex}.statement-v2-tags:empty{display:none}.statement-v2-tag{border:1px solid var(--statement-v2-rule);border-radius:var(--statement-v2-radius);color:var(--statement-v2-muted);padding:.17rem .42rem;font-size:.6875rem}.statement-v2-sections{z-index:20;border-block:1px solid var(--statement-v2-rule);background:color-mix(in srgb, var(--statement-v2-canvas) 94%, transparent);backdrop-filter:blur(8px);scrollbar-width:none;gap:1.15rem;margin-inline:calc(50% - 50vw);padding:.7rem max(1.25rem,50vw - 36rem);display:flex;position:sticky;top:3.5rem;overflow-x:auto}.statement-v2-sections::-webkit-scrollbar{display:none}.statement-v2-sections a{color:var(--statement-v2-muted);flex:none;font-size:.75rem;font-weight:550;text-decoration:none}.statement-v2-sections a:hover{color:var(--statement-v2-accent)}.statement-v2-layout{grid-template-columns:minmax(0,1fr) minmax(16rem,19rem);gap:3rem;padding-top:1.3rem;display:grid}.statement-v2-live-hero{width:min(100%,19rem);margin:1.3rem auto 0}.statement-v2-main{min-width:0}.statement-v2-section{border-bottom:1px solid var(--statement-v2-rule);padding:1.6rem 0 2rem;scroll-margin-top:7rem}.statement-v2-section:last-child{border-bottom:0}.statement-v2-section-heading,.statement-v2-aside-heading,.statement-v2-related-heading,.statement-v2-row-heading,.statement-v2-bounty-heading,.statement-v2-event-heading{justify-content:space-between;align-items:baseline;gap:1rem;display:flex}.statement-v2-section-heading{margin-bottom:1rem}.statement-v2-section-heading h2,.statement-v2-aside-section h2{letter-spacing:-.01em;margin:0;font-size:.9rem;font-weight:680}.statement-v2-count{color:var(--statement-v2-muted);font-variant-numeric:tabular-nums;font-size:.6875rem}.statement-v2-digest-overview{max-width:48rem;margin:0;font-size:.95rem;line-height:1.65}.statement-v2-digest-stats{border-top:1px solid var(--statement-v2-rule);border-left:1px solid var(--statement-v2-rule);grid-template-columns:repeat(auto-fit,minmax(7.5rem,1fr));margin-top:1.2rem;display:grid}.statement-v2-digest-stat{border-right:1px solid var(--statement-v2-rule);border-bottom:1px solid var(--statement-v2-rule);background:var(--statement-v2-surface);flex-direction:column;justify-content:space-between;gap:.35rem;min-height:4.2rem;padding:.7rem;display:flex}.statement-v2-digest-stat strong{font-variant-numeric:tabular-nums;font-size:1.05rem;font-weight:600}.statement-v2-digest-stat span{color:var(--statement-v2-muted);font-size:.65rem}.statement-v2-digest-details{grid-template-columns:repeat(2,minmax(0,1fr));gap:1.5rem;margin-top:1.25rem;display:grid}.statement-v2-digest-details:empty{display:none}.statement-v2-digest-group h3{margin:0 0 .55rem;font-size:.75rem;font-weight:650}.statement-v2-digest-list{margin:0;padding:0;list-style:none}.statement-v2-digest-list li{border-top:1px solid color-mix(in srgb, var(--statement-v2-rule) 72%, transparent);color:var(--statement-v2-muted);padding:.55rem 0;font-size:.72rem;line-height:1.5}.statement-v2-digest-list p{margin:.35rem 0 0}.statement-v2-digest-item-heading{color:var(--statement-v2-ink);justify-content:space-between;align-items:baseline;gap:.7rem;display:flex}.statement-v2-digest-source{color:var(--statement-v2-muted);margin:1.1rem 0 0;font-size:.625rem}.statement-v2-digest-source code{overflow-wrap:anywhere;margin-top:.25rem;display:block}.statement-v2-definition-list{margin:0}.statement-v2-definition{border-bottom:1px solid color-mix(in srgb, var(--statement-v2-rule) 72%, transparent);grid-template-columns:minmax(7.5rem,.34fr) minmax(0,1fr);gap:1rem;padding:.55rem 0;font-size:.75rem;line-height:1.45;display:grid}.statement-v2-definition:last-child{border-bottom:0}.statement-v2-definition dt{color:var(--statement-v2-muted)}.statement-v2-definition dd{overflow-wrap:anywhere;min-width:0;margin:0}.statement-v2-inline-code{color:var(--statement-v2-ink);font-size:.6875rem}.statement-v2-formal-statement{white-space:pre-wrap;max-width:100%;color:var(--statement-v2-ink);margin:0;font-size:.6875rem;line-height:1.5;overflow-x:auto}.statement-v2-annotations{grid-template-columns:repeat(2,minmax(0,1fr));gap:1.25rem;margin-top:1.25rem;display:grid}.statement-v2-annotations:empty{display:none}.statement-v2-annotation-group{border-top:1px solid var(--statement-v2-rule);padding-top:.8rem}.statement-v2-annotation-group h3,.statement-v2-related-heading h3{margin:0;font-size:.75rem;font-weight:650}.statement-v2-annotation-group ul,.statement-v2-findings,.statement-v2-compact-list{color:var(--statement-v2-muted);margin:.55rem 0 0;padding-left:1.1rem;font-size:.75rem;line-height:1.55}.statement-v2-list{gap:0;display:grid}.statement-v2-evidence-item,.statement-v2-related-item,.statement-v2-review{border-top:1px solid color-mix(in srgb, var(--statement-v2-rule) 72%, transparent);padding:.9rem 0}.statement-v2-list>:first-child,.statement-v2-related-group>.statement-v2-related-heading+.statement-v2-related-item{border-top:0}.statement-v2-row-heading h3,.statement-v2-row-heading h4{margin:0;font-size:.8rem;font-weight:640;line-height:1.35}.statement-v2-row-code{max-width:55%;color:var(--statement-v2-muted);text-overflow:ellipsis;white-space:nowrap;flex:0 auto;font-size:.625rem;overflow:hidden}.statement-v2-row-summary{max-width:46rem;color:var(--statement-v2-muted);margin:.45rem 0 0;font-size:.78rem;line-height:1.52}.statement-v2-row-meta{grid-template-columns:repeat(2,minmax(0,1fr));gap:0 1.25rem;margin:.65rem 0 0;display:grid}.statement-v2-row-meta .statement-v2-definition{grid-template-columns:5.5rem minmax(0,1fr);padding:.3rem 0;font-size:.6875rem}.statement-v2-related-group{border-top:1px solid var(--statement-v2-rule);padding:.8rem 0 .4rem}.statement-v2-related-group:first-child{border-top:0;padding-top:0}.statement-v2-related-heading{color:var(--statement-v2-muted);margin-bottom:.2rem}.statement-v2-relation{color:var(--statement-v2-accent);margin:.4rem 0 0;font-size:.65rem}.statement-v2-review--decision{border:1px solid var(--statement-v2-rule);border-left:2px solid var(--statement-v2-accent);border-radius:var(--statement-v2-radius);background:var(--statement-v2-surface);margin-bottom:.3rem;padding-inline:.75rem}.statement-v2-qualification-status{border:1px solid var(--statement-v2-rule);border-left:3px solid var(--statement-v2-accent);border-radius:var(--statement-v2-radius);background:var(--statement-v2-surface);margin-bottom:.8rem;padding:.8rem}.statement-v2-qualification-status--staff_review_required{border-left-color:#b7791f}.statement-v2-qualification-status--review_service_unavailable{border-left-color:#a13333}.statement-v2-qualification-next{color:var(--statement-v2-muted);margin:.55rem 0 0;font-size:.68rem;line-height:1.5}.statement-v2-qualification-progress{flex-wrap:wrap;gap:.35rem;margin:.65rem 0 0;padding:0;list-style:none;display:flex}.statement-v2-qualification-progress li{border:1px solid var(--statement-v2-rule);color:var(--statement-v2-muted);border-radius:999px;padding:.15rem .42rem;font-size:.6rem}.statement-v2-qualification-progress li[data-state=complete]{border-color:color-mix(in srgb, #1a7f4e 40%, var(--statement-v2-rule));color:#1a7f4e}.statement-v2-qualification-progress li[data-state=current]{border-color:var(--statement-v2-accent);color:var(--statement-v2-accent);font-weight:650}.statement-v2-qualification-progress li[data-state=failed]{color:#a13333;border-color:#a13333}.statement-v2-qualification-reasons{color:var(--statement-v2-muted);gap:.35rem;margin:.65rem 0 0;padding-left:1rem;font-size:.68rem;line-height:1.45;display:grid}.statement-v2-qualification-reasons li span{margin-left:.35rem}.statement-v2-findings li+li,.statement-v2-compact-list li+li{margin-top:.25rem}.statement-v2-review-meta,.statement-v2-event-meta,.statement-v2-bounty-meta{color:var(--statement-v2-muted);margin:.45rem 0 0;font-size:.65rem;line-height:1.45}.statement-v2-prior-art{color:var(--statement-v2-muted);justify-content:space-between;align-items:center;gap:1rem;padding:.5rem 0;font-size:.6875rem;display:flex}.statement-v2-timeline{margin:0;padding:0;list-style:none}.statement-v2-event{grid-template-columns:.7rem minmax(0,1fr);gap:.65rem;display:grid}.statement-v2-event-marker{display:block;position:relative}.statement-v2-event-marker:before{border:1px solid var(--statement-v2-accent);background:var(--statement-v2-canvas);content:"";border-radius:50%;width:.38rem;height:.38rem;position:absolute;top:.42rem;left:.14rem}.statement-v2-event-marker:after{background:var(--statement-v2-rule);content:"";width:1px;position:absolute;top:.86rem;bottom:-.42rem;left:.325rem}.statement-v2-event:last-child .statement-v2-event-marker:after{display:none}.statement-v2-event-content{padding:0 0 1.15rem}.statement-v2-event-heading strong{font-size:.75rem;font-weight:630}.statement-v2-event-heading time{color:var(--statement-v2-muted);flex:none;font-size:.625rem}.statement-v2-aside{border-left:1px solid var(--statement-v2-rule);align-self:start;min-width:0;margin-top:1.6rem;padding-left:1.4rem}.statement-v2-aside-section{border-bottom:1px solid var(--statement-v2-rule);margin-bottom:1.5rem;padding:0 0 1.5rem}.statement-v2-aside-section:last-child{border-bottom:0;margin-bottom:0}.statement-v2-aside-section>h2,.statement-v2-aside-heading{margin-bottom:.8rem}.statement-v2-upvote{border:1px solid var(--statement-v2-accent);border-radius:var(--statement-v2-radius);width:100%;color:var(--statement-v2-accent);font:inherit;cursor:pointer;background:0 0;padding:.6rem .75rem;font-size:.7rem;font-weight:650}.statement-v2-upvote:hover{background:var(--statement-v2-accent);color:var(--statement-v2-surface)}.statement-v2-upvote:focus-visible{outline:2px solid var(--statement-v2-accent);outline-offset:2px}.statement-v2-upvote:disabled{cursor:default;opacity:.65}.statement-v2-bounties{gap:.85rem;display:grid}.statement-v2-bounty{border:1px solid var(--statement-v2-rule);border-radius:var(--statement-v2-radius);background:var(--statement-v2-surface);padding:.7rem}.statement-v2-bounty-heading{align-items:flex-start}.statement-v2-bounty-heading strong{font-size:.72rem;line-height:1.4}.statement-v2-bounty-amount{color:var(--statement-v2-accent);font-variant-numeric:tabular-nums;flex:none;font-size:.65rem;font-weight:650}.statement-v2-empty{color:var(--statement-v2-muted);margin:0;padding:.7rem 0;font-size:.75rem}@media (width<=52rem){.statement-v2-layout{grid-template-columns:minmax(0,1fr);gap:0}.statement-v2-aside{border-top:1px solid var(--statement-v2-rule);border-left:0;margin-top:0;padding:1.6rem 0 0}.statement-v2-digest-details{grid-template-columns:minmax(0,1fr)}.statement-v2-aside{grid-template-columns:repeat(2,minmax(0,1fr));gap:1.5rem;display:grid}.statement-v2-aside-section{min-width:0}.statement-v2-aside-section:last-child{grid-column:1/-1}}@media (width<=38rem){.statement-v2{width:min(100vw - 2rem,72rem);padding-top:1.3rem}.statement-v2-identity{flex-wrap:wrap;align-items:flex-start}.statement-v2-id{order:3;width:100%}.statement-v2-copy{margin-left:auto}.statement-v2-title{font-size:1.65rem}.statement-v2-claim{padding:.85rem .9rem}.statement-v2-sections{padding-inline:1rem}.statement-v2-annotations,.statement-v2-row-meta,.statement-v2-aside{grid-template-columns:minmax(0,1fr)}.statement-v2-aside-section:last-child{grid-column:auto}.statement-v2-definition{grid-template-columns:6.8rem minmax(0,1fr);gap:.65rem}.statement-v2-row-heading,.statement-v2-event-heading,.statement-v2-bounty-heading{flex-direction:column;align-items:flex-start;gap:.3rem}.statement-v2-row-code{max-width:100%}.statement-v2-event-heading time{flex:auto}}@media (prefers-reduced-motion:reduce){.statement-v2-sections{scroll-behavior:auto}}a.statement-v2-tag{text-decoration:none}a.statement-v2-tag:hover{border-color:var(--tdb-accent,#4f46e5);color:var(--tdb-accent,#4f46e5)}.statement-v2-badge--accent{border-color:color-mix(in srgb, var(--statement-v2-accent,#4f46e5) 35%, var(--statement-v2-rule,#e2e5ea));color:var(--statement-v2-accent,#4f46e5);background:color-mix(in srgb, var(--statement-v2-accent,#4f46e5) 7%, white)}.statement-v2-evidence-assertion{color:var(--statement-v2-ink,#0d2137);margin:0 0 .4rem;font-size:.92rem;font-weight:550;line-height:1.5}.statement-v2-evidence-meta{align-items:center;gap:.55rem;display:flex}.statement-v2-evidence-source{color:var(--statement-v2-muted,#6d7a83);font-size:.72rem}.statement-v2-evidence-item+.statement-v2-evidence-item{border-top:1px solid var(--statement-v2-rule,#edeef2);margin-top:.9rem;padding-top:.9rem}.statement-v2-idents{margin-top:.6rem}.statement-v2-idents>summary{cursor:pointer;color:var(--statement-v2-muted,#6d7a83);font-size:.78rem;font-weight:600}.statement-v2-idents>summary:hover{color:var(--statement-v2-accent,#4f46e5)}.statement-v2-idents code{white-space:pre-line;overflow-wrap:anywhere}.statement-v2-related-link:hover{color:var(--statement-v2-accent,#4f46e5)}.statement-v2-signal-row{align-items:center;gap:.6rem;display:flex}.statement-v2-signal-row+.statement-v2-signal-row{margin-top:.5rem}.statement-v2-signal-row .statement-v2-upvote{flex:none;width:auto;min-width:11rem}.statement-v2-follow{background:0 0}.statement-v2-fixture-chip{cursor:help;font-size:.62rem}.statement-v2-definitions{margin:0;padding:0;list-style:none}.statement-v2-definitions li{border-top:1px solid color-mix(in srgb, var(--statement-v2-rule,#edeef2) 70%, transparent);color:var(--statement-v2-body,#3d4b57);padding:.55rem .1rem;font-size:.9rem;line-height:1.6}.statement-v2-definitions li:first-child{border-top:0}.statement-v2-solution{background:#edeae1;border:1px solid #dcd7c9;margin-top:1.75rem;padding:1rem 1.2rem 1.1rem}.statement-v2-solution h2{letter-spacing:-.01em;color:var(--statement-v2-ink,#0d2137);font-size:.95rem;font-weight:650}.statement-v2-solution ul{margin:.55rem 0 0;padding:0;list-style:none}.statement-v2-solution li{color:var(--statement-v2-body,#3d4b57);padding:.28rem 0 .28rem 1.1rem;font-size:.86rem;line-height:1.55;position:relative}.statement-v2-solution li:before{content:"→";color:var(--statement-v2-accent,#4f46e5);font-size:.8em;position:absolute;top:.42rem;left:0}.statement-v2-formal-panel{background:#0d1526;border:1px solid #1d2a44;border-radius:.5rem;overflow:hidden}.statement-v2-formal-head{font-family:var(--font-mono,monospace);letter-spacing:.08em;text-transform:uppercase;color:#8b9bb8;background:#16203a;justify-content:space-between;align-items:center;padding:.45rem .8rem;font-size:.62rem;display:flex}.statement-v2-formal-head .copy-btn{color:#8b9bb8;font:inherit;cursor:pointer;background:0 0;border:0}.statement-v2-formal-head .copy-btn:hover{color:#dfe6f3}#statement-formal-code{font-family:var(--font-mono,monospace);color:#d7e1f2;white-space:pre;margin:0;padding:.85rem .95rem;font-size:.78rem;line-height:1.55;overflow-x:auto}.statement-v2-recordfold details>summary{cursor:pointer;align-items:baseline;gap:.7rem;list-style:none;display:flex}.statement-v2-recordfold details>summary::-webkit-details-marker{display:none}.statement-v2-recordfold summary h2{letter-spacing:-.012em;color:var(--statement-v2-ink,#0d2137);font-size:1.05rem;font-weight:650}.statement-v2-recordfold summary h2:before{content:"▸";color:var(--statement-v2-muted,#6d7a83);margin-right:.45rem;font-size:.75em;transition:transform .12s;display:inline-block}.statement-v2-recordfold details[open] summary h2:before{transform:rotate(90deg)}.statement-v2-recordfold details[open]>summary{margin-bottom:.9rem}.statement-v2-qualification-line{color:var(--statement-v2-muted,#6d7a83);margin:.6rem 0 0;font-size:.8rem}.statement-v2-integrity{border-radius:var(--tdb-radius,3px);color:#5b3a00;background:#fff8e8;border:1px solid #d89b2b;justify-content:space-between;gap:1.25rem;padding:1rem 1.1rem;display:flex}.statement-v2-integrity[hidden]{display:none}.statement-v2-integrity[data-severity=blocking]{color:#6f1712;background:#fff1ef;border-color:#c83a32}.statement-v2-integrity p{max-width:72ch;margin:.35rem 0 0;font-size:.84rem;line-height:1.55}.statement-v2-integrity-links{flex-wrap:wrap;flex:none;place-content:flex-start flex-end;gap:.4rem .7rem;display:flex}.statement-v2-integrity-links a{color:inherit;font-size:.76rem;font-weight:650}@media (width<=700px){.statement-v2-integrity{flex-direction:column}.statement-v2-integrity-links{justify-content:flex-start}}.statement-v2-agent-copy{color:var(--statement-v2-muted,#6d7a83);margin:.4rem 0 .6rem;font-size:.76rem;line-height:1.55}.statement-v2-agent-command{border:1px solid var(--statement-v2-rule,#e2e5ea);border-radius:var(--tdb-radius,3px);background:var(--tdb-surface,#faf9f5);align-items:stretch;display:flex;overflow:hidden}.statement-v2-agent-command code{font-family:var(--tdb-font-interface,sans-serif);color:var(--statement-v2-body,#3d4b57);flex:1;padding:.5rem .6rem;font-size:.72rem;line-height:1.5}.statement-v2-agent-command .copy-btn{border:0;border-left:1px solid var(--statement-v2-rule,#e2e5ea);color:var(--statement-v2-accent,#4f46e5);cursor:pointer;background:#fff;flex:none;padding:0 .7rem;font-size:.7rem;font-weight:600}.statement-v2-agent-link{color:var(--statement-v2-accent,#4f46e5);margin-top:.55rem;font-size:.74rem;font-weight:600;text-decoration:none;display:inline-block}.statement-v2-agent-link:hover{text-decoration:underline}.statement-v2-evidence-dedup{color:var(--statement-v2-muted,#6d7a83);margin:0 0 .4rem;font-size:.8rem;font-style:normal}.statement-v2-prerendered[hidden]{display:none}.statement-v2-badge--accent{border-color:color-mix(in srgb, var(--statement-v2-accent) 35%, var(--statement-v2-rule));color:var(--statement-v2-accent)}.statement-v2-static-copy{max-width:48rem;color:var(--statement-v2-ink);margin:0;font-family:Georgia,Times New Roman,serif;font-size:1rem;line-height:1.65}.statement-v2-static-formal{color:#d7e1f2;font-family:var(--tdb-font-code);white-space:pre;margin:0;padding:.85rem .95rem;font-size:.78rem;line-height:1.55;overflow-x:auto}.statement-v2-static-note{color:var(--statement-v2-muted);margin:0;font-size:.75rem;line-height:1.55}.statement-v2-related-link{color:var(--statement-v2-ink);text-decoration:none}.statement-v2-related-link:hover{color:var(--statement-v2-accent);text-underline-offset:.18em;text-decoration:underline}.statement-v2-section-heading h2,.statement-v2-aside-section>h2,.statement-v2-aside-heading h2{letter-spacing:.09em;text-transform:uppercase;color:var(--statement-v2-muted);font-size:.6875rem;font-weight:650}.statement-v2-section{padding:1.9rem 0 2.1rem}.statement-v2-title{font-size:clamp(1.7rem,3.6vw,2.35rem)}.statement-v2-claim{margin-top:1.25rem;padding:1.15rem 1.35rem 1.2rem}.statement-v2-claim-text{font-size:clamp(1.08rem,2vw,1.3rem)}.statement-v2-state{flex-wrap:wrap;align-items:center;gap:.45rem .7rem;margin-top:1rem;display:flex}.statement-v2-state-item{color:var(--statement-v2-muted);align-items:center;gap:.35rem;font-size:.8rem;line-height:1.3;display:inline-flex}.statement-v2-state-item+.statement-v2-state-item:before{content:"";background:color-mix(in srgb, var(--statement-v2-muted) 45%, transparent);border-radius:50%;width:3px;height:3px;margin-right:.35rem}.statement-v2-state-item--primary .statement-v2-state-text{background:var(--statement-v2-accent-soft);color:var(--statement-v2-accent);border-radius:999px;padding:.22rem .6rem;font-size:.76rem;font-weight:660}.statement-v2-state-item--primary.statement-v2-state--positive .statement-v2-state-text{background:color-mix(in srgb, var(--statement-v2-positive) 12%, #fff);color:var(--statement-v2-positive)}.statement-v2-state-item--primary.statement-v2-state--negative .statement-v2-state-text{background:color-mix(in srgb, var(--statement-v2-negative) 12%, #fff);color:var(--statement-v2-negative)}.statement-v2-state-item--primary.statement-v2-state--warning .statement-v2-state-text{background:color-mix(in srgb, var(--statement-v2-warning) 14%, #fff);color:var(--statement-v2-warning)}.statement-v2-state-item--primary.statement-v2-state--neutral .statement-v2-state-text{background:color-mix(in srgb, var(--statement-v2-muted) 12%, #fff);color:var(--statement-v2-ink)}.statement-v2-state-item:not(.statement-v2-state-item--primary).statement-v2-state--warning .statement-v2-state-text,.statement-v2-state-item:not(.statement-v2-state-item--primary).statement-v2-state--negative .statement-v2-state-text{color:var(--statement-v2-warning);font-weight:600}.statement-v2-state-info{background:0 0;flex:none;padding:0}.statement-v2-background{max-width:44rem;color:var(--statement-v2-body,#3d4b57);margin:0;font-size:.95rem;line-height:1.72}.statement-v2-definitions li{padding:.7rem 0;font-size:.95rem;line-height:1.68}.statement-v2-term{color:var(--statement-v2-ink);font-weight:640}.statement-v2-solution{border:1px solid color-mix(in srgb, var(--statement-v2-accent) 22%, var(--statement-v2-rule));border-left:3px solid var(--statement-v2-accent);border-radius:var(--statement-v2-radius);background:color-mix(in srgb, var(--statement-v2-accent-soft) 70%, #fff);margin-top:2rem;padding:1.05rem 1.3rem 1.2rem}.statement-v2-solution h2{font-size:.9rem;font-weight:680}.statement-v2-solution li{color:var(--statement-v2-ink);font-size:.92rem;line-height:1.6}.statement-v2-tally{border-top:1px solid var(--statement-v2-rule);border-left:1px solid var(--statement-v2-rule);grid-template-columns:repeat(auto-fit,minmax(6.5rem,1fr));display:grid}.statement-v2-tally:empty{display:none}.statement-v2-tally-cell{border-right:1px solid var(--statement-v2-rule);border-bottom:1px solid var(--statement-v2-rule);background:var(--statement-v2-surface);flex-direction:column;gap:.3rem;padding:.8rem .75rem;display:flex}.statement-v2-tally-cell strong{font-variant-numeric:tabular-nums;font-size:1.4rem;font-weight:600;line-height:1}.statement-v2-tally-cell span{color:var(--statement-v2-muted);letter-spacing:.08em;text-transform:uppercase;font-size:.62rem;font-weight:600}.statement-v2-empty-lead{max-width:42rem;color:var(--statement-v2-muted);margin:0;font-size:.92rem;line-height:1.68}.statement-v2-empty-lead[hidden]{display:none}.statement-v2-work-overview{max-width:44rem;margin:0 0 1rem;font-size:.95rem;line-height:1.65}.statement-v2-work-group{margin-top:1.6rem}.statement-v2-work-group h3{color:var(--statement-v2-muted);letter-spacing:.09em;text-transform:uppercase;margin:0 0 .5rem;font-size:.6875rem;font-weight:650}.statement-v2-evidence-item{border-top:1px solid color-mix(in srgb, var(--statement-v2-rule) 70%, transparent);align-items:baseline;gap:.7rem;padding:.55rem 0;display:flex}.statement-v2-work-group>h3+.statement-v2-evidence-item{border-top:0}.statement-v2-evidence-item+.statement-v2-evidence-item{margin-top:0;padding-top:.55rem}.statement-v2-evidence-assertion{color:var(--statement-v2-muted);margin:0;font-size:.85rem;line-height:1.55}.statement-v2-reviews{margin-top:1.4rem}.statement-v2-reviews .statement-v2-row-heading h3{letter-spacing:.09em;text-transform:uppercase;color:var(--statement-v2-muted);font-size:.6875rem;font-weight:650}.statement-v2-review-row{border-top:1px solid color-mix(in srgb, var(--statement-v2-rule) 70%, transparent);justify-content:space-between;align-items:center;gap:1rem;padding:.5rem 0;display:flex}.statement-v2-review-role{color:var(--statement-v2-ink);font-size:.82rem}.statement-v2-aside-primary{border:1px solid color-mix(in srgb, var(--statement-v2-accent) 25%, var(--statement-v2-rule));border-radius:var(--statement-v2-radius);background:color-mix(in srgb, var(--statement-v2-accent-soft) 55%, #fff);padding:1rem 1.1rem 1.15rem}.statement-v2-aside-primary>h2{color:var(--statement-v2-accent)}.statement-v2-signals{flex-wrap:wrap;gap:.45rem;display:flex}.statement-v2-signal{border:1px solid var(--statement-v2-rule);background:var(--statement-v2-surface);color:var(--statement-v2-ink);font:inherit;cursor:pointer;border-radius:999px;align-items:center;gap:.4rem;padding:.35rem .7rem;font-size:.76rem;display:inline-flex}.statement-v2-signal:hover{border-color:var(--statement-v2-accent);color:var(--statement-v2-accent)}.statement-v2-signal:focus-visible{outline:2px solid var(--statement-v2-accent);outline-offset:2px}.statement-v2-signal:disabled{cursor:default;opacity:.65}.statement-v2-signal-count{color:var(--statement-v2-muted);font-variant-numeric:tabular-nums}.statement-v2-recordfold summary h2{font-size:.9rem;font-weight:660}.statement-v2-recordfold-body{padding-top:.3rem}.statement-v2-subfold{border-top:1px solid var(--statement-v2-rule);margin-top:1.3rem;padding-top:.9rem}.statement-v2-subfold>summary{color:var(--statement-v2-ink);cursor:pointer;align-items:baseline;gap:.5rem;font-size:.82rem;font-weight:620;list-style:none;display:flex}.statement-v2-subfold>summary::-webkit-details-marker{display:none}.statement-v2-subfold>summary:before{content:"▸";color:var(--statement-v2-muted);font-size:.75em;transition:transform .12s;display:inline-block}.statement-v2-subfold[open]>summary:before{transform:rotate(90deg)}.statement-v2-subfold .statement-v2-timeline{margin-top:1rem}.statement-v2-clamped .ref-info{vertical-align:middle;display:inline-flex}@media (prefers-reduced-motion:reduce){.statement-v2-subfold>summary:before{transition:none}}.statement-v2-agent-command{background:#fff;padding:.65rem .7rem 1.9rem;display:block;position:relative}.statement-v2-agent-command code{padding:0;font-size:.735rem;line-height:1.55;display:block}.statement-v2-agent-command .copy-btn{border:1px solid color-mix(in srgb, var(--statement-v2-accent) 30%, var(--statement-v2-rule));border-radius:var(--statement-v2-radius);background:#fff;padding:.2rem .5rem;position:absolute;bottom:.4rem;right:.4rem}.statement-v2-agent-command .copy-btn:hover{background:var(--statement-v2-accent-soft)}.statement-v2-morefold{margin-top:.5rem}.statement-v2-morefold>summary{color:var(--statement-v2-accent);cursor:pointer;padding:.35rem 0;font-size:.76rem;font-weight:600;list-style:none}.statement-v2-morefold>summary::-webkit-details-marker{display:none}.statement-v2-morefold>summary:after{content:" ▾";font-size:.8em}.statement-v2-morefold[open]>summary:after{content:" ▴"}.statement-v2-evidence-item>.statement-v2-badge{white-space:nowrap;flex:none}#statement-work-detail:not(:empty){margin-top:1.15rem}.statement-v2-fixture-chip{opacity:.8;font-size:.62rem}.statement-v2-checked{color:var(--statement-v2-muted);letter-spacing:.01em;align-items:center;gap:.3rem;font-size:.72rem;display:inline-flex}.statement-v2-known{margin:0;padding:0;list-style:none}.statement-v2-known li{color:var(--statement-v2-body,#3d4b57);padding:.4rem 0 .4rem 1rem;font-size:.9rem;line-height:1.6;position:relative}.statement-v2-known li:before{content:"";background:color-mix(in srgb, var(--statement-v2-accent) 55%, transparent);border-radius:50%;width:4px;height:4px;position:absolute;top:.95rem;left:0}.statement-v2-known-group{margin-top:.9rem}.statement-v2-known-group h3{color:var(--statement-v2-muted);letter-spacing:.06em;text-transform:uppercase;margin-bottom:.1rem;font-size:.6875rem;font-weight:650}.statement-v2-reference-title{margin:0;font-size:.9rem;line-height:1.45}.statement-v2-reference-role{color:var(--statement-v2-body,#3d4b57);margin:.5rem 0 0;font-size:.78rem;line-height:1.55}.statement-v2-reference-title+.statement-v2-static-note{margin-top:.35rem}.statement-v2-related-group{--field-color:var(--tdb-muted,#656860)}.statement-v2-related-group[data-group=proofs]{--field-color:#35634e}.statement-v2-related-group[data-group=counterexamples]{--field-color:#8e382f}.statement-v2-related-group[data-group=computations],.statement-v2-related-group[data-group=artifacts]{--field-color:#24406e}.statement-v2-related-group[data-group=traces],.statement-v2-related-group[data-group=reviews]{--field-color:#4a6270}.statement-v2-related-group[data-group=open_problems]{--field-color:#835b22}.statement-v2-related-heading h3{align-items:baseline;gap:.45rem;min-width:0;display:flex}.statement-v2-group-key{color:var(--field-color);font-family:var(--tdb-font-code,ui-monospace, monospace);font-size:.72rem;font-weight:550}.statement-v2-group-gloss{color:var(--tdb-faint,#8b8d86);text-overflow:ellipsis;white-space:nowrap;font-size:.72rem;font-style:normal;overflow:hidden}.statement-v2-related-link,.statement-v2-related-item h3,.statement-v2-related-item h4{font-family:KaTeX_Main,EB Garamond Variable,Georgia,serif;font-weight:500}