@layer reset{*{box-sizing:border-box}body{margin:0}button,input,select{font:inherit}button,a,input,select,summary{-webkit-tap-highlight-color:transparent}}@layer base{:root{color:var(--ink);background:var(--page);font-synthesis:none;text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;--green:var(--accent);--red:var(--danger);--amber:var(--warning);--mono:"Cascadia Code", "SFMono-Regular", Consolas, monospace;font-family:Segoe UI,system-ui,sans-serif}body{min-width:320px}button{cursor:pointer}button:disabled{cursor:not-allowed;opacity:.45}a{color:inherit;text-decoration:none}button{border:0}button:focus-visible,a:focus-visible,select:focus-visible,input:focus-visible,summary:focus-visible{outline:2px solid var(--green);outline-offset:5px}h1,h2,h3,p{margin:0}h1,h2,h3{font-weight:500}.mono,.eyebrow,code{font-family:var(--mono)}.eyebrow{color:var(--muted);letter-spacing:1.65px;font-size:12px;line-height:1.6}.small-note{color:var(--muted);font-size:12px}main{max-width:1440px;margin:auto;padding:0 64px}.red-text{color:var(--red)}.skip-link{background:var(--green);color:var(--on-accent);z-index:10;padding:12px;position:fixed;top:-60px;left:16px}.skip-link:focus{top:10px}}@layer components{.site-header{border-bottom:1px solid var(--line);align-items:center;gap:36px;height:88px;padding:0 max(32px,50vw - 656px);display:flex}.wordmark{letter-spacing:-1px;white-space:nowrap;align-items:center;font-size:24px;font-weight:650;display:inline-flex}.brand-light{color:var(--muted);font-weight:400}.brand-glyph{color:var(--green);margin-right:10px;font-size:38px;font-weight:400;line-height:1}.site-header nav{gap:26px;height:100%;margin-left:38px;display:flex}.site-header nav button{color:var(--muted);background:0 0;font-size:13px;position:relative}.site-header nav .nav-active{color:var(--ink)}.nav-active:after{content:"";background:var(--green);height:2px;position:absolute;bottom:-1px;left:0;right:0}.connection{font:12px var(--mono);color:var(--muted);text-transform:uppercase;letter-spacing:.5px;white-space:nowrap;align-items:center;gap:8px;margin-left:auto;display:flex}.connection i{background:var(--muted);border-radius:50%;width:6px;height:6px}.connection.live i{background:var(--green);box-shadow:0 0 0 4px #b4ed8210}.connection.recorded i{background:var(--amber)}.hero{grid-template-columns:1.15fr 1fr;align-items:center;gap:70px;padding:76px 0 65px;display:grid}.hero-copy .eyebrow{color:var(--ink)}.small-cross{color:var(--green);margin-right:9px;font-size:17px}h1{letter-spacing:-3.2px;margin-top:22px;font-size:clamp(44px,4.5vw,65px);line-height:1.08}h1 em{color:var(--green);letter-spacing:-2px;font-family:Georgia,serif;font-style:normal;font-weight:400}.hero-copy>p{color:var(--muted);max-width:480px;margin:24px 0 30px;font-size:15px;line-height:1.8}.hero-actions{align-items:center;gap:22px;display:flex}.primary{background:var(--green);color:var(--on-accent);border-radius:3px;justify-content:space-between;align-items:center;gap:28px;padding:14px 18px;font-size:12px;font-weight:650;transition:background .15s;display:flex}.primary:hover:not(:disabled){background:var(--accent-hover)}.primary span{font-size:19px;font-weight:400}.text-button{color:var(--ink);background:0 0;padding:12px 0;font-size:12px}.text-button span{margin-left:12px}.hero-footnote{color:var(--muted);font:12px var(--mono);gap:14px;margin-top:24px;display:flex}.hero-footnote span+span:before{content:"/";color:var(--line-strong);margin-right:14px}.hero-art{border:1px solid var(--line);background-color:#0000;background-image:linear-gradient(#a4aea707 1px,#0000 1px),linear-gradient(90deg,#a4aea707 1px,#0000 1px);background-position:0 0;background-repeat:repeat;background-size:21px 21px;background-attachment:scroll;background-origin:padding-box;background-clip:border-box;min-height:286px;padding:30px;position:relative}.art-caption{font:12px var(--mono);color:var(--muted);letter-spacing:1.5px}.version-stack{justify-content:center;gap:15px;margin-top:35px;display:flex}.version-chip{border:1px solid var(--line);background:var(--surface-raised);width:113px;font:12px var(--mono);color:var(--muted);box-shadow:6px 7px 0 var(--shadow);padding:15px 12px;transform:skewY(-3deg)}.version-chip b{color:var(--ink);margin:10px 0;font-size:31px;font-weight:400;display:block}.version-chip small{font-size:12px}.version-chip.old{border-color:var(--muted);background:var(--warning-bg);margin-top:-9px}.version-chip.old b{color:var(--red)}.version-chip.state{border-color:var(--line-strong)}.version-chip.state b{color:var(--green)}.art-bracket{font:12px var(--mono);color:var(--muted);justify-content:center;align-items:center;gap:38px;margin-top:26px;display:flex}.incompatible{color:var(--red);font-size:25px}.hero-art>p{color:var(--muted);font:12px var(--mono);text-align:center;margin-top:14px}.principle-strip{border-block:1px solid var(--line);color:var(--muted);letter-spacing:.7px;justify-content:space-between;padding:17px 0;font-size:12px;display:flex}.workspace-anchor{padding-top:55px;scroll-margin-top:24px}.section-intro{justify-content:space-between;align-items:end;margin-bottom:22px;display:flex}.section-intro h2,.panel-heading h2{letter-spacing:-.65px;margin-top:8px;font-size:24px}.native-status{color:var(--amber);font:12px var(--mono);align-items:center;gap:8px;padding-bottom:2px;display:flex}.availability-note{color:var(--ink);background:var(--surface-raised);border-left:2px solid var(--line-strong);margin-bottom:15px;padding:12px 15px;font-size:12px;line-height:1.6}.lab-layout{border:1px solid var(--line);border-radius:3px;grid-template-columns:280px minmax(0,1fr);display:grid;overflow:hidden}.scenario-panel{background:var(--surface);border-right:1px solid var(--line)}.panel-heading{justify-content:space-between;align-items:center;padding:23px;display:flex}.scenario-panel .panel-heading .mono{color:var(--muted);font-size:12px}.scenario-list{gap:4px;padding:0 10px;display:grid}.scenario-list button{color:var(--muted);text-align:left;background:0 0;border:1px solid #0000;border-radius:2px;align-items:center;gap:11px;padding:14px 11px;font-size:12px;display:flex}.scenario-list button.selected{background:var(--success-bg);border-color:var(--line-strong);color:var(--ink)}.scenario-number{color:var(--muted);font:12px var(--mono)}.scenario-arrow{color:var(--accent);margin-left:auto}.scenario-description{border-top:1px solid var(--line);margin-top:11px;padding:25px 21px 20px}.scenario-description p{color:var(--ink);margin:10px 0 21px;font-size:12px;line-height:1.7}.full{gap:10px;width:100%;padding:11px 13px;font-size:12px}.scenario-description small{color:var(--muted);margin-top:12px;font-size:12px;line-height:1.6;display:block}.history{margin:0 21px 22px}.history label{color:var(--muted);margin-bottom:8px;font-size:12px;display:block}select{background:var(--surface-low);width:100%;color:var(--ink);border:1px solid var(--line);border-radius:2px;padding:8px;font-size:12px}.run-panel{background:var(--surface);min-width:0;padding:25px 28px}.run-heading{justify-content:space-between;align-items:start;gap:15px;display:flex}.run-heading h3{letter-spacing:-.55px;margin:10px 0;font-size:21px}.run-id{color:var(--muted);font-size:12px}.result-badge{font:12px var(--mono);border:1px solid var(--line-strong);background:var(--surface-raised);color:var(--ink);white-space:nowrap;border-radius:2px;padding:7px 10px}.result-badge.pass{color:var(--green);border-color:var(--line-strong);background:var(--success-bg)}.result-badge.hold{color:var(--red);border-color:var(--line-strong);background:var(--danger-bg)}.result-badge.running{color:var(--amber);border-color:var(--line-strong)}.metrics{border-block:1px solid var(--line);grid-template-columns:repeat(4,minmax(0,1fr));gap:15px;margin:30px 0 25px;padding:19px 0;display:grid}.metrics>div{flex-direction:column;display:flex}.metrics span{color:var(--muted);font-size:12px}.metrics strong{font:32px var(--mono);margin:12px 0 8px;font-weight:400}.metrics small{color:var(--muted);font-size:12px}.phase-tabs{border-bottom:1px solid var(--line);flex-wrap:wrap;align-items:center;gap:12px;margin-bottom:22px;display:flex}.phase-tabs button{color:var(--muted);background:0 0;padding:11px 0;font-size:12px}.phase-tabs .active{color:var(--accent);border-bottom:1px solid var(--green)}.phase-tabs .export-button{color:var(--ink);margin-left:auto}.proof-heading{justify-content:space-between;margin-bottom:12px;display:flex}.proof-heading .mono{color:var(--muted);font-size:12px}.check-list{grid-template-columns:1fr 1fr;gap:0 18px;display:grid}.check-row{border-bottom:1px solid var(--line);align-items:start;gap:9px;min-width:0;padding:13px 0;display:flex}.check-icon{flex-shrink:0;width:15px;font-size:14px;line-height:1.2}.check-icon.pass,.check-status.pass{color:var(--accent)}.check-icon.fail,.check-status.fail{color:var(--red)}.check-row b{text-transform:capitalize;font-size:12px;font-weight:500;display:block}.check-row small{color:var(--muted);overflow-wrap:anywhere;margin-top:5px;font-size:12px;line-height:1.5;display:block}.check-status{font:12px var(--mono);margin-left:auto;padding-left:4px}.evidence-identity{grid-template-columns:1fr 1fr;gap:13px;margin-top:23px;display:grid}.evidence-identity>div{flex-direction:column;gap:5px;min-width:0;display:flex}.evidence-identity span{color:var(--muted);font-size:12px}.evidence-identity code{color:var(--ink);overflow-wrap:anywhere;font-size:12px}.empty-proof{text-align:center;min-height:238px;color:var(--muted);flex-direction:column;justify-content:center;align-items:center;display:flex}.empty-glyph{color:var(--line-strong);font-size:48px}.empty-proof h3{color:var(--ink);margin:14px 0 8px;font-size:16px}.empty-proof p{max-width:330px;font-size:12px;line-height:1.8}.error-message{border:1px solid var(--line-strong);color:var(--red);margin:17px 0;padding:14px;font-size:12px;line-height:1.6}.map-panel{border:1px solid var(--line);background:var(--surface);margin-top:20px}.map-panel .panel-heading{padding-bottom:10px}.map-panel .panel-heading h2{font-size:20px}.map-drawing{color:var(--line-strong);padding:0 25px}.map-drawing svg{width:100%;height:auto;max-height:170px;display:block}.map-line{fill:none;stroke-width:1.3px;stroke:currentColor}.map-line.untested{stroke-dasharray:4 4}.map-line.failed{stroke:var(--red)}.map-line.verified{stroke:var(--accent)}.node-pending{fill:var(--surface-raised);stroke:var(--line-strong)}.node-failed{fill:var(--danger-bg);stroke:var(--danger)}.node-verified{fill:var(--success-bg);stroke:var(--muted)}.map-drawing text{fill:var(--ink);font:12px var(--mono)}.map-drawing .node-caption{fill:var(--muted);font:12px Segoe UI,sans-serif}.map-legend{border-top:1px solid var(--line);font:12px var(--mono);color:var(--muted);gap:25px;padding:15px 24px;display:flex}.map-legend span{align-items:center;gap:7px;display:flex}.legend-dot{border-radius:50%;width:6px;height:6px;display:inline-block}.legend-dot.gray{background:var(--muted)}.legend-dot.red{background:var(--red)}.legend-dot.green{background:var(--green)}.legend-dot.amber{background:var(--amber)}.map-table{border-top:1px solid var(--line);color:var(--muted);padding:13px 24px;font-size:12px}summary{cursor:pointer}table{border-collapse:collapse;text-align:left;width:100%;margin-top:16px;font-size:12px}td,th{border-bottom:1px solid var(--line);padding:10px}.timeline-panel{border:1px solid var(--line);margin:20px 0 70px}.timeline-panel .panel-heading h2{font-size:20px}.timeline{margin:0;padding:0 24px 20px;list-style:none}.timeline li{border-bottom:1px solid var(--surface-raised);align-items:start;gap:15px;padding:18px 0;display:flex;position:relative}.timeline li:last-child{border-bottom:0}.timeline time{color:var(--muted);font:12px var(--mono);min-width:58px;margin-top:2px}.timeline-dot{background:var(--muted);border-radius:50%;flex-shrink:0;width:6px;height:6px;margin-top:4px}.timeline b{font-size:12px;font-weight:500}.timeline p{color:var(--muted);margin-top:5px;font-size:12px;line-height:1.6}.event-number{color:var(--muted);margin-left:auto;font-size:12px}.empty-timeline{color:var(--muted);padding:8px 24px 26px;font-size:12px}.verification-page{max-width:820px;margin:auto;padding:75px 0}.verify-intro{color:var(--muted);max-width:650px;margin:25px 0 35px;font-size:15px;line-height:1.8}.upload-area{border:1px dashed var(--muted);background:var(--surface-raised);cursor:pointer;flex-direction:column;align-items:center;gap:13px;padding:40px;display:flex;position:relative}.upload-area input{opacity:0;cursor:pointer;width:100%;position:absolute;inset:0}.upload-area:focus-within{outline:2px solid var(--green);outline-offset:4px}.upload-icon{color:var(--green);font-size:30px}.upload-area strong{font-size:14px;font-weight:500}.upload-area>span:last-of-type{font:12px var(--mono);color:var(--muted)}.verification-boundary{margin-top:45px}.verification-boundary h2{margin:28px 0 12px;font-size:20px}.verification-boundary p{color:var(--muted);font-size:13px;line-height:1.8}.cli-verification{border:1px solid var(--line);flex-direction:column;gap:15px;margin-top:30px;padding:24px;display:flex}.cli-verification code{color:var(--accent);overflow-wrap:anywhere;font-size:13px}.cli-verification small{color:var(--muted);font-size:12px}.verification-result{border:1px solid var(--line);margin-top:24px;padding:24px}.verification-result>p{color:var(--muted);margin:18px 0;font-size:12px;line-height:1.8}.verification-checks{font:12px var(--mono);grid-template-columns:1fr 1fr;gap:12px;display:grid}.verification-checks .pass{color:var(--accent)}.verification-checks .fail{color:var(--red)}footer{border-top:1px solid var(--line);max-width:1312px;color:var(--muted);justify-content:space-between;align-items:center;gap:20px;margin:auto;padding:30px 0;font-size:12px;display:flex}footer .wordmark{font-size:18px}footer .brand-glyph{font-size:27px}footer>.mono{font-size:12px}}@media (width<=1100px){main{padding:0 32px}.hero{gap:30px}.hero-footnote{flex-wrap:wrap;gap:8px}.lab-layout{grid-template-columns:240px minmax(0,1fr)}.run-panel{padding:22px}.check-list{grid-template-columns:1fr}.site-header nav{margin-left:10px}footer{margin:0 32px}}@media (width<=760px){main{padding:0 20px}.site-header{flex-wrap:wrap;gap:17px;height:auto;min-height:75px;padding:18px 20px}.wordmark{font-size:20px}.site-header nav{order:3;gap:24px;width:100%;height:30px;margin:0}.connection{font-size:12px}.hero{grid-template-columns:1fr;gap:35px;padding:45px 0 32px}h1{letter-spacing:-2.6px;font-size:47px}.hero-art{width:100%;max-width:500px;min-height:270px;margin:auto}.principle-strip{gap:10px;font-size:12px}.workspace-anchor{padding-top:36px}.section-intro{flex-wrap:wrap;gap:16px}.section-intro h2{font-size:22px}.native-status{font-size:12px}.lab-layout{grid-template-columns:1fr}.scenario-panel{border-right:0;border-bottom:1px solid var(--line)}.scenario-list{grid-template-columns:1fr 1fr}.scenario-list button{gap:8px;padding:12px 8px;font-size:12px}.scenario-description{grid-template-columns:1fr;margin-top:12px;padding:18px;display:grid}.scenario-description p{margin-bottom:15px}.run-panel{padding:20px}.run-heading{flex-wrap:wrap}.run-heading h3{font-size:19px}.metrics{grid-template-columns:1fr 1fr;gap:23px}.metrics strong{font-size:30px}.metrics small{font-size:12px}.check-list,.evidence-identity{grid-template-columns:1fr}.map-panel .panel-heading{align-items:start;gap:15px;padding:18px}.map-panel .panel-heading h2{font-size:18px}.map-drawing{padding:0 10px;overflow-x:auto}.map-drawing svg{min-width:560px}.map-legend{flex-wrap:wrap;gap:12px;padding:14px}.timeline-panel .panel-heading{gap:16px;padding:18px}.timeline-panel .panel-heading h2{font-size:18px}.timeline{padding-inline:18px}.timeline li{gap:10px}.timeline time{min-width:50px;font-size:12px}.event-number{display:none}.phase-tabs{gap:12px}.phase-tabs .export-button{margin-left:0}.verification-page{padding:45px 0}.verification-checks{grid-template-columns:1fr}footer{flex-wrap:wrap;gap:12px;margin:0 20px}footer>.mono{width:100%}}@media (width<=760px){.operation-stages{grid-template-columns:1fr}.operation-inspector{padding:18px}}@media (width<=1100px){.native-cases{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (width<=760px){.native-cases,.proof-chain,.lifecycle-grid{grid-template-columns:1fr}.proof-total{line-height:1.8}.matrix-panel{padding:18px}}@media (width<=760px){.hero{grid-template-columns:minmax(0,1fr)}.hero-art{padding:20px 16px}.hero-actions{flex-wrap:wrap;gap:16px}.version-stack{gap:10px}.version-chip{min-width:0;padding:13px 10px}.art-bracket{gap:24px}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition:none!important;animation:none!important}}.explore-content .workspace-anchor,.native-evidence{padding-top:24px}@media (width<=1100px){.connection{display:none}.story-steps{gap:16px}}@media (width<=760px){.site-header{gap:12px}.site-header nav{gap:24px;margin-left:0}.hero{gap:26px;padding-top:36px}.hero-copy>p{font-size:16px}.hero-art{min-height:230px}.version-chip{font-size:10px}.version-chip small{font-size:9px}.story-steps{grid-template-columns:1fr;gap:12px}.story-steps li{padding:20px}.story-steps h3{margin-left:12px;font-size:20px;display:inline}.story-steps p{margin-top:12px}.story-result{padding:20px}.story-result h3{font-size:23px}.story-metrics{grid-template-columns:1fr 1fr;gap:24px 16px}.story-metrics dd{font-size:36px}.story-checks ul{grid-template-columns:1fr}.explore-section>summary{align-items:start;padding:20px}.explore-section>summary b{font-size:17px}.explore-content{padding:0 12px 16px}.native-cases{gap:12px}.disclosure-hint{font-size:0}.disclosure-hint:after{content:"+";font-size:20px}.explore-section[open] .disclosure-hint:after{content:"−";font-size:20px}}@media (width<=760px){.testing-options{grid-template-columns:1fr}.testing-options article{padding:20px}.site-header nav{gap:20px}.site-header nav button{font-size:12px}}@media (width<=1100px){main{padding:0 32px}.hero{gap:30px}.hero-footnote{flex-wrap:wrap;gap:8px}.lab-layout{grid-template-columns:240px minmax(0,1fr)}.run-panel{padding:22px}.check-list{grid-template-columns:1fr}.site-header nav{margin-left:10px}footer{margin:0 32px}}@media (width<=760px){main{padding:0 20px}.site-header{flex-wrap:wrap;gap:17px;height:auto;min-height:75px;padding:18px 20px}.wordmark{font-size:20px}.site-header nav{order:3;gap:24px;width:100%;height:30px;margin:0}.connection{font-size:12px}.hero{grid-template-columns:1fr;gap:35px;padding:45px 0 32px}h1{letter-spacing:-2.6px;font-size:47px}.hero-art{width:100%;max-width:500px;min-height:270px;margin:auto}.principle-strip{gap:10px;font-size:12px}.workspace-anchor{padding-top:36px}.section-intro{flex-wrap:wrap;gap:16px}.section-intro h2{font-size:22px}.native-status{font-size:12px}.lab-layout{grid-template-columns:1fr}.scenario-panel{border-right:0;border-bottom:1px solid var(--line)}.scenario-list{grid-template-columns:1fr 1fr}.scenario-list button{gap:8px;padding:12px 8px;font-size:12px}.scenario-description{grid-template-columns:1fr;margin-top:12px;padding:18px;display:grid}.scenario-description p{margin-bottom:15px}.run-panel{padding:20px}.run-heading{flex-wrap:wrap}.run-heading h3{font-size:19px}.metrics{grid-template-columns:1fr 1fr;gap:23px}.metrics strong{font-size:30px}.metrics small{font-size:12px}.check-list,.evidence-identity{grid-template-columns:1fr}.map-panel .panel-heading{align-items:start;gap:15px;padding:18px}.map-panel .panel-heading h2{font-size:18px}.map-drawing{padding:0 10px;overflow-x:auto}.map-drawing svg{min-width:560px}.map-legend{flex-wrap:wrap;gap:12px;padding:14px}.timeline-panel .panel-heading{gap:16px;padding:18px}.timeline-panel .panel-heading h2{font-size:18px}.timeline{padding-inline:18px}.timeline li{gap:10px}.timeline time{min-width:50px;font-size:12px}.event-number{display:none}.phase-tabs{gap:12px}.phase-tabs .export-button{margin-left:0}.verification-page{padding:45px 0}.verification-checks{grid-template-columns:1fr}footer{flex-wrap:wrap;gap:12px;margin:0 20px}footer>.mono{width:100%}}.hero-copy,.hero-art{min-width:0}.native-evidence{padding-top:45px}.evaluator-evidence{padding:42px 0 8px}.evaluator-evidence>p,.operation-inspector>p,.contract-notice{color:var(--muted);margin:16px 0;font-size:12px;line-height:1.8}.contract-notice{border-left:2px solid var(--green);padding-left:12px}.operation-inspector{border:1px solid var(--line);min-width:0;margin:24px 0;padding:24px}.operation-inspector label{color:var(--muted);margin:16px 0 8px;font-size:12px;display:block}.operation-inspector select{background:var(--surface);width:100%;max-width:100%;color:var(--cream);border:1px solid var(--line);font:12px var(--mono);padding:12px}.operation-stages{grid-template-columns:repeat(5,minmax(0,1fr));gap:12px;margin:24px 0;padding:0;list-style:none;display:grid}.operation-stages li{border-top:2px solid var(--line-strong);min-width:0;padding-top:14px}.operation-stages strong{margin-bottom:10px;font-size:12px;display:block}.operation-stages span{color:var(--muted);overflow-wrap:anywhere;font-size:12px;line-height:1.8}.operation-inspector pre{max-height:420px;font:12px/1.7 var(--mono);white-space:pre-wrap;overflow-wrap:anywhere;background:var(--surface-low);padding:18px;overflow:auto}.operation-inspector summary{cursor:pointer;font-size:12px}.patch-comparison pre{white-space:pre-wrap;overflow-wrap:anywhere;max-height:480px;font:12px/1.7 var(--mono);background:var(--surface-low);padding:14px;overflow:auto}.patch-comparison p{overflow-wrap:anywhere}@media (width<=760px){.operation-stages{grid-template-columns:1fr}.operation-inspector{padding:18px}}.proof-total{color:var(--green);font-size:12px}.native-cases{grid-template-columns:repeat(4,minmax(0,1fr));gap:12px;display:grid}.native-case{border:1px solid var(--line);background:var(--surface);flex-direction:column;gap:14px;min-width:0;padding:20px;display:flex}.native-case.verified{border-color:var(--line-strong)}.native-case strong{font-size:16px;font-weight:500;line-height:1.4}.native-case p,.provenance-panel p,.matrix-panel p{color:var(--muted);font-size:12px;line-height:1.8}.native-case button{color:var(--green);text-align:left;background:0 0;margin-top:auto;padding:10px 0;font-size:12px}.provenance-panel,.matrix-panel{border:1px solid var(--line);margin-top:14px;padding:22px}.proof-chain{grid-template-columns:repeat(4,minmax(0,1fr));gap:12px;margin-bottom:20px;display:grid}.proof-chain>*{border:1px solid var(--line-strong);flex-direction:column;gap:12px;min-width:0;padding:15px;display:flex}.proof-chain span{color:var(--muted);font-size:12px}.proof-chain code{color:var(--green);overflow-wrap:anywhere;font-size:12px}.provenance-panel details,.matrix-panel summary{font-size:12px;line-height:1.8}.provenance-panel details{margin-top:18px}.provenance-panel code,.provenance-panel small{overflow-wrap:anywhere}.provenance-panel li{margin:12px 0}.provenance-panel li small{color:var(--muted);margin-top:7px;display:block}.matrix-panel p{margin:14px 0}.matrix-panel code{overflow-wrap:anywhere}.matrix-panel caption{text-align:left;color:var(--muted);padding-bottom:10px;line-height:1.8}.matrix-panel a{color:var(--green);font-size:12px}.comparison-scroll{margin-bottom:18px;overflow-x:auto}.lifecycle-proof>p{margin:12px 0 20px}.lifecycle-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;display:grid}.lifecycle-grid>div{border:1px solid var(--line);flex-direction:column;gap:12px;padding:16px;display:flex}.lifecycle-grid strong{font-size:14px;font-weight:500}.lifecycle-grid .stage-observed strong,.lifecycle-grid a{color:var(--green)}.lifecycle-grid .stage-pending strong{color:var(--muted)}.lifecycle-grid a{margin-top:auto;font-size:12px}@media (width<=1100px){.native-cases{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (width<=760px){.native-cases,.proof-chain,.lifecycle-grid{grid-template-columns:1fr}.proof-total{line-height:1.8}.matrix-panel{padding:18px}}.map-evidence-actions{flex-wrap:wrap;gap:12px;padding:0 24px 20px;display:flex}.map-evidence-actions button{color:var(--accent);background:var(--surface-raised);border:1px solid var(--line);font:12px var(--mono);text-align:left;padding:10px 12px}@media (width<=760px){.hero{grid-template-columns:minmax(0,1fr)}.hero-art{padding:20px 16px}.hero-actions{flex-wrap:wrap;gap:16px}.version-stack{gap:10px}.version-chip{min-width:0;padding:13px 10px}.art-bracket{gap:24px}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition:none!important;animation:none!important}}.evidence-action{color:var(--green);text-align:left;background:0 0;padding:4px 0;font-size:12px}:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--page:#f7f9f5;--surface:#fff;--surface-low:#f0f4ed;--surface-raised:#edf3e8;--ink:#1b2a20;--muted:#516252;--line:#d1dacd;--line-strong:#73866d;--accent:#376018;--accent-hover:#294b10;--on-accent:#fff;--danger:#a33021;--danger-bg:#fff0eb;--warning:#805b14;--warning-bg:#fbf1db;--success-bg:#e8f2df;--shadow:#dde5d7;--cream:var(--ink);--green:var(--accent);--red:var(--danger);--amber:var(--warning)}:root[data-theme=dark]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--page:#111513;--surface:#151c17;--surface-low:#101611;--surface-raised:#1e2820;--ink:#e9ebe7;--muted:#adb9ae;--line:#354238;--line-strong:#71876b;--accent:#b4ed82;--accent-hover:#cafa9f;--on-accent:#182416;--danger:#ff9688;--danger-bg:#37261f;--warning:#ecca8a;--warning-bg:#28221a;--success-bg:#26351f;--shadow:#0b100d}.site-header{gap:24px}.site-header nav{gap:22px;margin-left:12px}.theme-toggle{border:1px solid var(--line);background:var(--surface);color:var(--ink);white-space:nowrap;border-radius:24px;min-height:42px;margin-left:auto;padding:10px 16px;font-size:13px}.connection{margin-left:0;font-size:10px}.hero{gap:48px;padding:64px 0 52px}.hero-copy>p{max-width:520px;font-size:17px;line-height:1.75}.primary{min-height:46px;font-size:14px}.text-button{font-size:14px}.hero-footnote{gap:10px;font-family:inherit;font-size:12px}.hero-art>p{font-size:11px;line-height:1.6}.eyebrow{letter-spacing:1.1px;font-size:11px}.recovery-story{padding-bottom:32px;scroll-margin-top:24px}.story-tag{background:var(--success-bg);color:var(--accent);border-radius:20px;padding:8px 12px;font-size:12px}.story-steps{grid-template-columns:repeat(3,minmax(0,1fr));gap:24px;margin:26px 0;padding:0;list-style:none;display:grid}.story-steps li{border:1px solid var(--line);background:var(--surface);border-radius:8px;padding:24px}.step-number{background:var(--success-bg);width:30px;height:30px;color:var(--accent);font-family:var(--mono);border-radius:50%;place-items:center;font-size:13px;display:inline-grid}.story-steps h3{margin:18px 0 10px;font-size:21px}.story-steps p,.story-result p{color:var(--muted);font-size:15px;line-height:1.75}.story-result{border:1px solid var(--line-strong);background:var(--surface);border-radius:8px;padding:30px}.story-result h3{margin-bottom:8px;font-size:26px}.story-result-heading>p{color:var(--accent)}.story-metrics{border-block:1px solid var(--line);grid-template-columns:repeat(4,minmax(0,1fr));gap:24px;margin:28px 0 20px;padding-block:24px;display:grid}.story-metrics div{flex-direction:column-reverse;gap:12px;display:flex}.story-metrics dt{color:var(--muted);font-size:13px;line-height:1.5}.story-metrics dd{font:40px var(--mono);margin:0}.story-links{flex-wrap:wrap;align-items:center;gap:24px;margin-top:24px;display:flex}.story-checks{border-top:1px solid var(--line);margin-top:26px;padding-top:20px}.story-checks summary{font-size:14px}.story-checks ul{grid-template-columns:1fr 1fr;gap:16px 32px;padding:0;list-style:none;display:grid}.story-checks li{border-bottom:1px solid var(--line);align-items:baseline;gap:12px;min-width:0;padding-block:12px;display:flex}.story-checks b{text-transform:capitalize;font-size:13px;font-weight:500}.story-checks p{overflow-wrap:anywhere;margin-top:6px;font-size:12px}.story-checks .check-status{margin-left:0}.story-scope{color:var(--muted);max-width:1000px;margin-top:20px;font-size:13px;line-height:1.8}.story-scope button{color:var(--accent);font-size:inherit;text-underline-offset:3px;background:0 0;padding:0;text-decoration:underline;display:inline}.explore-section{border:1px solid var(--line);border-radius:8px;min-width:0;margin-bottom:16px;scroll-margin-top:24px}.explore-section>summary{background:var(--surface);border-radius:8px;justify-content:space-between;align-items:center;gap:20px;padding:24px;display:flex}.explore-section>summary b{font-size:18px;font-weight:500}.explore-section>summary small{color:var(--muted);margin-top:6px;font-size:13px;line-height:1.7;display:block}.disclosure-hint{color:var(--accent);white-space:nowrap;font-size:12px}.explore-section[open]>summary{border-bottom:1px solid var(--line);border-radius:8px 8px 0 0}.explore-section[open] .disclosure-hint{font-size:0}.explore-section[open] .disclosure-hint:after{content:"Collapse −";font-size:12px}.explore-content{min-width:0;padding:0 24px 24px}.explore-content .workspace-anchor,.native-evidence{padding-top:24px}.evaluator-evidence{padding-top:32px}.native-case p,.provenance-panel p,.matrix-panel p,.availability-note{font-size:13px}.check-row b,.scenario-list button,.phase-tabs button,.check-row small{font-size:12px}select{min-height:42px}footer{margin-top:48px}@media (width<=1100px){.connection{display:none}.story-steps{gap:16px}}@media (width<=760px){.site-header{gap:12px}.site-header nav{gap:24px;margin-left:0}.hero{gap:26px;padding-top:36px}.hero-copy>p{font-size:16px}.hero-art{min-height:230px}.version-chip{font-size:10px}.version-chip small{font-size:9px}.story-steps{grid-template-columns:1fr;gap:12px}.story-steps li{padding:20px}.story-steps h3{margin-left:12px;font-size:20px;display:inline}.story-steps p{margin-top:12px}.story-result{padding:20px}.story-result h3{font-size:23px}.story-metrics{grid-template-columns:1fr 1fr;gap:24px 16px}.story-metrics dd{font-size:36px}.story-checks ul{grid-template-columns:1fr}.explore-section>summary{align-items:start;padding:20px}.explore-section>summary b{font-size:17px}.explore-content{padding:0 12px 16px}.native-cases{gap:12px}.disclosure-hint{font-size:0}.disclosure-hint:after{content:"+";font-size:20px}.explore-section[open] .disclosure-hint:after{content:"−";font-size:20px}}.judge-testing{padding:52px 0}.testing-intro{color:var(--muted);max-width:760px;margin:24px 0 32px;font-size:17px;line-height:1.8}.testing-options{grid-template-columns:1fr 1fr;gap:20px;display:grid}.testing-options article{background:var(--surface);border:1px solid var(--line);border-radius:8px;min-width:0;padding:26px}.testing-options h2{margin:18px 0 12px;font-size:23px}.testing-options p,.testing-options li,.testing-boundary p{color:var(--muted);font-size:15px;line-height:1.8}.testing-options li{margin-block:10px}.testing-options pre{background:var(--surface-low);white-space:pre-wrap;overflow-wrap:anywhere;font:13px/1.8 var(--mono);margin-block:20px;padding:16px}.testing-options .primary{margin-block:20px}.testing-options .testing-requirement{margin-block:18px;font-size:13px}.testing-options article>a:not(.primary){color:var(--accent);text-underline-offset:4px;font-size:14px;line-height:1.8;text-decoration:underline}.testing-boundary{border:1px solid var(--line);border-radius:8px;margin-top:24px;padding:24px}.testing-boundary h2{margin-bottom:12px;font-size:22px}.testing-boundary details{border-top:1px solid var(--line);margin-top:20px;padding-top:16px}.testing-boundary summary{cursor:pointer;line-height:1.7}.testing-boundary li{color:var(--muted);overflow-wrap:anywhere;font-size:14px;line-height:1.8}.reproduction-decisions{padding:0;list-style:none}.reproduction-decisions li{border-bottom:1px solid var(--line);justify-content:space-between;gap:16px;padding:10px 0;display:flex}.reproduction-decisions a{white-space:nowrap}@media (width<=760px){.testing-options{grid-template-columns:1fr}.testing-options article{padding:20px}.site-header nav{gap:20px}.site-header nav button{font-size:12px}}.latest-native .story-links a{color:var(--accent);text-underline-offset:4px;font-size:13px;line-height:1.8;text-decoration:underline}