.proof-room-thesis[data-astro-cid-3rkrlumz]{padding:var(--registry-panel-padding);border-left:4px solid var(--color-meta);--current-surface:#111;--current-border:#ffffff1a;--current-line:#ffffff14;--current-muted:#e2e8f0ad;--current-text:#f1f5f9;color:var(--current-text);margin-bottom:var(--space-5);background:#111}.section-tag[data-astro-cid-3rkrlumz]{margin-bottom:1rem}.proof-room-thesis[data-astro-cid-3rkrlumz] h2[data-astro-cid-3rkrlumz]{font-size:clamp(1.65rem,3vw,2.35rem);line-height:var(--type-section-title-line-height);letter-spacing:var(--type-section-title-letter-spacing);word-spacing:var(--type-section-title-word-spacing);color:var(--current-text);margin:0}.thesis-lead[data-astro-cid-3rkrlumz]{max-width:55rem;color:var(--current-muted);margin:1.1rem 0 0;font-size:clamp(1rem,1.6vw,1.15rem);line-height:1.6}.scope-ledger[data-astro-cid-3rkrlumz]{border-top:1px solid var(--current-line);margin-top:1.5rem;padding-top:1.25rem}.scope-row[data-astro-cid-3rkrlumz]{border-bottom:1px solid var(--current-line);grid-template-columns:3rem minmax(0,1fr);align-items:start;gap:1rem;padding:.85rem 0;display:grid}.scope-row[data-astro-cid-3rkrlumz]:last-child{border-bottom:none;padding-bottom:0}.scope-index[data-astro-cid-3rkrlumz]{font-family:var(--font-mono);letter-spacing:.08em;color:var(--color-meta);padding-top:.2em;font-size:.68rem;font-weight:800}.scope-row[data-astro-cid-3rkrlumz] p[data-astro-cid-3rkrlumz]{color:var(--current-muted);margin:0;font-size:.92rem;line-height:1.6}.proof-room-actions[data-astro-cid-3rkrlumz]{border-top:1px solid var(--current-line);flex-wrap:wrap;gap:.8rem 1.2rem;margin-top:1.5rem;padding-top:1.25rem;display:flex}.proof-action-link[data-astro-cid-3rkrlumz]{font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--color-action);font-size:.72rem;font-weight:800;text-decoration:none}.maturity-legend[data-astro-cid-3rkrlumz]{border-top:1px solid var(--current-line);color:var(--current-muted);font-family:var(--font-mono);gap:.45rem;margin-top:1.35rem;padding-top:1rem;font-size:.72rem;line-height:1.5;display:grid}.maturity-legend[data-astro-cid-3rkrlumz] strong[data-astro-cid-3rkrlumz]{color:var(--color-meta);letter-spacing:.06em}.proof-action-link[data-astro-cid-3rkrlumz]:hover{color:#f1f5f9}.project-section[data-astro-cid-3rkrlumz]{margin-top:var(--space-8);gap:1.35rem;display:grid}.section-header[data-astro-cid-3rkrlumz]{gap:.6rem;display:grid}.section-header[data-astro-cid-3rkrlumz] h2[data-astro-cid-3rkrlumz]{color:var(--current-text);font-size:clamp(1.6rem,3vw,2.15rem);line-height:var(--type-section-title-line-height);letter-spacing:var(--type-section-title-letter-spacing);word-spacing:var(--type-section-title-word-spacing);margin:0}.section-desc[data-astro-cid-3rkrlumz]{max-width:64ch;color:var(--current-muted);margin:0;font-size:.98rem;line-height:1.62}.protocol-ledger[data-astro-cid-3rkrlumz]{grid-template-columns:minmax(0,1fr);display:grid}.protocol-ledger[data-astro-cid-3rkrlumz] .variant-protocol{--current-surface:#111;--current-border:#ffffff1a;--current-line:#ffffff14;--current-muted:#e2e8f0ad;--current-text:#f1f5f9;background:#111}.proof-ledger[data-astro-cid-3rkrlumz]{border:1px solid var(--current-line);flex-direction:column;gap:0;display:flex}.ledger-item[data-astro-cid-3rkrlumz]{display:block}.ledger-item[data-astro-cid-3rkrlumz]:not(:last-child){border-bottom:1px solid var(--current-line)}.proof-ledger[data-astro-cid-3rkrlumz] .variant-ledger-row{border-left:2px solid var(--color-rule)}.proof-ledger[data-astro-cid-3rkrlumz] .variant-ledger-row .record-title{letter-spacing:var(--type-card-title-letter-spacing);font-size:clamp(1.4rem,2.5vw,1.72rem);font-weight:800;line-height:var(--type-card-title-line-height);word-spacing:var(--type-card-title-word-spacing)}@media (width<=768px){.proof-room-thesis[data-astro-cid-3rkrlumz]{padding:var(--registry-card-padding);margin-bottom:var(--space-4)}.project-section[data-astro-cid-3rkrlumz]{margin-top:var(--space-5)}}@media (width<=640px){.scope-row[data-astro-cid-3rkrlumz]{grid-template-columns:2.5rem minmax(0,1fr)}}