.proofPage{--proof-night:#080b12;--proof-night-raised:#0e1420;--proof-ink:#f7f1e8;--proof-muted:#aeb7c7;--proof-blue:#6e9cff;--proof-blue-deep:#2f5fc4;--proof-violet:#aa82ea;--proof-green:#58c987;--proof-amber:#d3a754;--proof-red:#ea786b;--proof-rule:rgba(184,202,235,.16);--proof-paper:#f5f2ee;--proof-paper-ink:#0f0f0f;overflow:clip;padding-bottom:0;background:var(--proof-night);color:var(--proof-ink)}.proofPage .nav{margin-bottom:32px;background:rgba(8,11,18,.94);border-bottom-color:rgba(255,255,255,.08);color:var(--proof-ink);-webkit-backdrop-filter:blur(18px);backdrop-filter:blur(18px)}.proofPage .nav a,.proofPage .nav button{color:inherit}.proofPage .navBannerSlot{background:var(--proof-night)}.proofExplainer,.proofHero,.proofWorkbench{margin-left:-52px;margin-right:-52px}.proofHero{position:relative;min-height:650px;display:grid;align-items:center;margin-top:-32px;padding:100px 52px 92px;isolation:isolate;overflow:hidden;background:linear-gradient(rgba(110,156,255,.05) 1px,transparent 0),linear-gradient(90deg,rgba(110,156,255,.05) 1px,transparent 0),radial-gradient(circle at 78% 45%,rgba(111,75,180,.23),transparent 28%),radial-gradient(circle at 74% 52%,rgba(47,95,196,.18),transparent 38%),linear-gradient(155deg,#0b101a,#080b12 64%,#0b0b15);background-size:64px 64px,64px 64px,auto,auto,auto}.proofHero:before{inset:36px 52px;border:1px solid rgba(153,179,230,.12);pointer-events:none}.proofHero:after,.proofHero:before{content:"";position:absolute;z-index:-1}.proofHero:after{top:36px;left:52px;width:112px;height:2px;background:linear-gradient(90deg,var(--proof-blue),var(--proof-violet))}.proofHeroGlow{position:absolute;z-index:-1;top:50%;right:4%;width:min(540px,46vw);aspect-ratio:1;border-radius:50%;background:radial-gradient(circle,rgba(123,90,197,.18),transparent 68%);transform:translateY(-50%);filter:blur(18px)}.proofHeroInner{width:min(1320px,100%);margin:0 auto;display:grid;grid-template-columns:minmax(0,1.35fr) minmax(320px,.65fr);align-items:center;grid-gap:clamp(60px,10vw,160px);gap:clamp(60px,10vw,160px)}.proofEyebrow{margin:0;color:#8bb0ff;font:700 10px/1.25 var(--font-sans);letter-spacing:.17em;text-transform:uppercase}.proofHero h1{margin:24px 0 26px;color:var(--proof-ink);font:400 clamp(64px,8.3vw,126px)/.82 var(--font-display);letter-spacing:-.045em}.proofHero h1 em{color:#a9c3ff;font-weight:400}.proofHeroLede{max-width:620px;margin:0;color:#c6cedd;font:420 clamp(18px,1.7vw,23px)/1.55 var(--font-serif)}.proofHeroSignals{display:flex;flex-wrap:wrap;gap:9px;margin-top:38px}.proofHeroSignals span{padding:9px 12px;border:1px solid rgba(144,172,230,.2);color:#bfcbe1;background:rgba(255,255,255,.025);font:650 9px/1 var(--font-sans);letter-spacing:.08em;text-transform:uppercase}.proofHeroSeal{position:relative;width:min(360px,29vw);aspect-ratio:1;display:grid;place-items:center;justify-self:center}.proofSealOrbit{position:absolute;border-radius:50%;border:1px solid rgba(130,164,231,.28)}.proofSealOrbitOuter{inset:0;box-shadow:0 0 70px rgba(84,115,210,.12)}.proofSealOrbitInner{inset:21%;border-style:dashed;border-color:rgba(170,130,234,.4)}.proofSealOrbitInner:before,.proofSealOrbitOuter:after,.proofSealOrbitOuter:before{content:"";position:absolute;width:8px;height:8px;border-radius:50%;background:var(--proof-blue);box-shadow:0 0 16px var(--proof-blue)}.proofSealOrbitOuter:before{top:13%;left:18%}.proofSealOrbitOuter:after{right:-4px;top:50%;background:var(--proof-violet)}.proofSealOrbitInner:before{bottom:11%;left:19%;background:var(--proof-green)}.proofSealCore{position:relative;width:43%;aspect-ratio:1;display:grid;place-items:center;border:1px solid rgba(177,199,245,.34);border-radius:50%;background:radial-gradient(circle at 35% 30%,rgba(110,156,255,.22),rgba(20,25,43,.8));box-shadow:0 0 0 12px rgba(99,128,204,.05),0 20px 70px rgba(0,0,0,.34)}.proofSealCore span{color:#d5e1ff;font:400 58px/1 var(--font-display);transform:translateY(-6px)}.proofSealCore small{position:absolute;bottom:25%;color:#9cb2df;font:700 7px/1 var(--font-sans);letter-spacing:.2em}.proofWorkbench{padding:80px 52px 100px;border-top:1px solid rgba(159,182,225,.12);background:radial-gradient(circle at 0 0,rgba(47,95,196,.1),transparent 28%),linear-gradient(180deg,#0d121d,#080b12)}.proofWorkbenchInner{width:min(1440px,100%);margin:0 auto}.proofBuilderHeader{display:grid;grid-template-columns:minmax(0,1fr) minmax(280px,480px);align-items:end;grid-gap:48px;gap:48px;padding-bottom:30px;border-bottom:1px solid var(--proof-rule)}.proofBuilderHeader h2,.proofExplainer h2{margin:10px 0 0;color:var(--proof-ink);font:400 clamp(48px,6.2vw,84px)/.9 var(--font-display);letter-spacing:-.035em}.proofBuilderHeader>p{margin:0;color:var(--proof-muted);font:420 15px/1.65 var(--font-serif)}.proofForm{padding:34px 0 48px}.proofForm>label{display:block;margin-bottom:10px;color:#c7d5f2;font:700 9px/1 var(--font-sans);letter-spacing:.12em;text-transform:uppercase}.proofInputRow{display:grid;grid-template-columns:minmax(0,1fr) auto;grid-gap:12px;gap:12px;align-items:stretch}.proofInputRow textarea{width:100%;min-height:82px;resize:vertical;padding:19px 20px;border:1px solid rgba(159,182,225,.24);border-radius:3px;outline:0;background:rgba(255,255,255,.045);color:#f4f7ff;font:420 20px/1.35 var(--font-serif);transition:border-color .2s ease,box-shadow .2s ease,background .2s ease}.proofInputRow textarea:focus{border-color:#7ca4ff;background:rgba(255,255,255,.065);box-shadow:0 0 0 3px rgba(89,131,222,.12)}.proofInputRow textarea::placeholder{color:#738099}.proofInputRow>button{min-width:195px;min-height:54px;padding:0 24px;border:1px solid #7ca4ff;border-radius:3px;background:linear-gradient(135deg,#2f5fc4,#6b4eaa);color:#fff;font:700 10px/1 var(--font-sans);letter-spacing:.08em;text-transform:uppercase;cursor:pointer;transition:transform .18s ease,filter .18s ease}.proofInputRow>button:hover{transform:translateY(-1px);filter:brightness(1.1)}.proofInputRow>button:disabled{opacity:.6;cursor:wait;transform:none}.proofInputRow>button i{display:inline-block;width:9px;height:9px;margin-right:8px;border:1px solid rgba(255,255,255,.4);border-top-color:#fff;border-radius:50%;animation:proofSpin .75s linear infinite}@keyframes proofSpin{to{transform:rotate(1turn)}}.proofExamples{display:flex;flex-wrap:wrap;align-items:center;gap:8px;margin-top:14px}.proofExamples>span{margin-right:3px;color:#75829a;font:650 9px/1 var(--font-sans);letter-spacing:.08em;text-transform:uppercase}.proofExamples button{min-height:40px;padding:8px 11px;border:1px solid rgba(159,182,225,.15);border-radius:999px;background:transparent;color:#aebbd2;font:500 11px/1.25 var(--font-sans);cursor:pointer}.proofExamples button:hover{border-color:rgba(124,164,255,.65);color:#e8efff}.proofError{margin:16px 0 0;padding:12px 14px;border-left:2px solid var(--proof-red);background:rgba(234,120,107,.08);color:#ffb5ad;font:500 13px/1.5 var(--font-sans)}.proofEmpty,.proofLoading{min-height:420px;display:grid;place-items:center;align-content:center;padding:60px;border:1px solid var(--proof-rule);background:rgba(255,255,255,.018);text-align:center}.proofEmptyGraph{width:min(900px,100%);display:grid;grid-template-columns:1fr 60px 1fr 60px .72fr;align-items:center;grid-gap:12px;gap:12px;margin-bottom:44px;opacity:.72}.proofEmptyGraph>div:not(.proofEmptyResult){display:grid;grid-gap:9px;gap:9px}.proofEmptyGraph>div b,.proofEmptyGraph>div span{display:block;padding:13px;border:1px solid rgba(143,169,223,.2);color:#9fb0d0;background:rgba(31,45,70,.34);font:650 9px/1 var(--font-sans);letter-spacing:.09em}.proofEmptyGraph>i{color:#6b7c9b;font:normal 25px/1 var(--font-serif)}.proofEmptyResult{min-height:150px;display:grid;place-items:center;align-content:center;grid-gap:8px;gap:8px;border:1px solid rgba(170,130,234,.34);border-radius:50%;background:rgba(89,57,126,.12)}.proofEmptyResult strong{color:#c5a8ec;font:400 46px/1 var(--font-display)}.proofEmptyResult span{color:#bda9d7!important;border:0!important;padding:0!important;background:none!important}.proofEmpty h3{margin:12px 0 13px;color:var(--proof-ink);font:400 clamp(34px,4vw,52px)/1 var(--font-display)}.proofEmpty>p:last-child{max-width:650px;margin:0;color:var(--proof-muted);font:420 15px/1.65 var(--font-serif)}.proofLoading{gap:22px;color:#b8c3d8;font:500 13px/1.5 var(--font-sans)}.proofLoading>div{display:flex;gap:10px}.proofLoading i{width:10px;height:10px;border-radius:50%;background:#7ca4ff;animation:proofPulse 1.2s ease-in-out infinite}.proofLoading i:nth-child(2){animation-delay:.18s;background:#a582df}.proofLoading i:nth-child(3){animation-delay:.36s;background:#58c987}@keyframes proofPulse{0%,to{opacity:.28;transform:scale(.72)}50%{opacity:1;transform:scale(1)}}.proofResult{border:1px solid var(--proof-rule);background:rgba(255,255,255,.018)}.proofResultHeader{display:grid;grid-template-columns:minmax(0,1fr) auto;grid-gap:48px;gap:48px;padding:clamp(28px,4vw,52px);border-bottom:1px solid var(--proof-rule)}.proofStatus{display:inline-flex;align-items:center;gap:8px;min-height:28px;padding:0 10px;border:1px solid;border-radius:999px;font:700 8px/1 var(--font-sans);letter-spacing:.09em;text-transform:uppercase}.proofStatus i{width:6px;height:6px;border-radius:50%;background:currentColor;box-shadow:0 0 9px currentColor}.proofStatus--supported{color:#74daa0}.proofStatus--qualified{color:#e0bd73}.proofStatus--disputed{color:#b996ee}.proofStatus--opposed{color:#f08a7f}.proofStatus--insufficient{color:#aab3c2}.proofResultIdentity>p{margin:14px 0 0;color:#74829a;font:600 9px/1.4 var(--font-sans);letter-spacing:.06em;text-transform:uppercase}.proofResultIdentity h3{max-width:850px;margin:16px 0 0;color:#f7f1e8;font:400 clamp(42px,5vw,68px)/.96 var(--font-display);letter-spacing:-.025em}.proofResultIdentity blockquote{margin:14px 0 0;color:#aeb8ca;font:italic 420 16px/1.5 var(--font-serif)}.proofResultStats{display:grid;grid-template-columns:repeat(3,104px);align-self:stretch;margin:0;border:1px solid var(--proof-rule)}.proofResultStats div{display:grid;align-content:center;justify-items:center;min-height:112px;padding:16px 10px}.proofResultStats div+div{border-left:1px solid var(--proof-rule)}.proofResultStats dt{color:#77849a;font:700 8px/1 var(--font-sans);letter-spacing:.1em;text-transform:uppercase}.proofResultStats dd{margin:10px 0 0;color:#e6edff;font:400 34px/1 var(--font-display)}.proofResultStats small{color:#8c9ab2;font-size:15px}.proofObligations,.proofValidation{display:grid;grid-template-columns:minmax(220px,.65fr) minmax(0,1.35fr);grid-gap:48px;gap:48px;padding:clamp(28px,4vw,50px);border-bottom:1px solid var(--proof-rule)}.proofGraphSection h4,.proofIntegrity h4,.proofObligations h4,.proofValidation h4{margin:10px 0 0;color:#f3eee5;font:400 31px/1 var(--font-display)}.proofObligations ul,.proofValidation ul{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));grid-gap:1px;gap:1px;margin:0;padding:0;background:var(--proof-rule);list-style:none}.proofObligations li,.proofValidation li{min-height:108px;display:grid;grid-template-columns:26px minmax(0,1fr);grid-gap:12px;gap:12px;padding:18px;background:#0c111a}.proofObligations li>span,.proofValidation li>span{width:23px;height:23px;display:grid;place-items:center;border:1px solid;border-radius:50%;color:#67cd92;font:700 10px/1 var(--font-sans)}.proofObligations li.isUnmet>span{color:#a6afbd}.proofObligations strong,.proofValidation strong{color:#e1e7f2;font:650 11px/1.35 var(--font-sans)}.proofObligations li p,.proofValidation li p{margin:7px 0 0;color:#8995a8;font:400 12px/1.55 var(--font-sans)}.proofGraphSection{padding:clamp(30px,4vw,52px);border-bottom:1px solid var(--proof-rule)}.proofGraphSection>header{display:flex;justify-content:space-between;align-items:flex-end;gap:24px;margin-bottom:32px}.proofGraphSection>header>p{margin:0;color:#76849c;font:650 9px/1 var(--font-sans);letter-spacing:.09em;text-transform:uppercase}.proofGraph{display:grid;grid-template-columns:minmax(300px,1.4fr) 42px minmax(220px,.75fr) 42px minmax(230px,.8fr);align-items:start}.proofGraphColumn{min-width:0}.proofColumnLabel{display:flex;align-items:center;gap:10px;min-height:42px;padding:0 12px;border-bottom:1px solid var(--proof-rule);color:#9eacc3;font:700 9px/1 var(--font-sans);letter-spacing:.12em;text-transform:uppercase}.proofColumnLabel span{color:#698fe1}.proofGraphConnector{display:grid;place-items:center;min-height:210px;color:#60749c;font:400 25px/1 var(--font-serif)}.proofEvidenceLane{margin-top:12px;border:1px solid var(--proof-rule)}.proofEvidenceLane>header{display:flex;justify-content:space-between;align-items:center;min-height:34px;padding:0 12px;border-bottom:1px solid var(--proof-rule);color:#8fa0bd;font:700 8px/1 var(--font-sans);letter-spacing:.1em;text-transform:uppercase}.proofEvidenceLane--supports>header{box-shadow:inset 3px 0 #58c987}.proofEvidenceLane--qualifies>header{box-shadow:inset 3px 0 #d3a754}.proofEvidenceLane--opposes>header{box-shadow:inset 3px 0 #ea786b}.proofEvidenceLane--contextualizes>header{box-shadow:inset 3px 0 #6e9cff}.proofEvidenceLane article{padding:17px;background:rgba(255,255,255,.022)}.proofEvidenceLane article+article{border-top:1px solid var(--proof-rule)}.proofEvidenceLane article>div{display:flex;flex-wrap:wrap;gap:7px}.proofEvidenceLane article>div span{color:#8795ad;font:700 7px/1 var(--font-sans);letter-spacing:.08em;text-transform:uppercase}.proofEvidenceLane article>div span+span:before{content:"·";margin-right:7px}.proofEvidenceLane h5{margin:11px 0 3px;color:#e6ebf5;font:600 15px/1.2 var(--font-display)}.proofEvidenceLane cite{color:#8aa9ed;font:normal 600 9px/1.35 var(--font-sans)}.proofEvidenceLane blockquote{max-height:132px;margin:12px 0 0;overflow:auto;color:#aeb8c9;font:400 13px/1.55 var(--font-serif)}.proofEvidenceLane footer{display:flex;justify-content:space-between;gap:12px;margin-top:13px;padding-top:11px;border-top:1px solid rgba(174,195,235,.1);color:#77849a;font:600 8px/1.35 var(--font-sans);text-transform:uppercase}.proofEvidenceLane footer a{color:#98b8ff;text-decoration:none;white-space:nowrap}.proofRulesColumn article{position:relative;padding:18px;border:1px solid var(--proof-rule);border-top:0;background:linear-gradient(145deg,rgba(69,92,140,.14),rgba(255,255,255,.018))}.proofRulesColumn article>span{color:#8aa9ed;font:750 7px/1 var(--font-sans);letter-spacing:.13em}.proofRulesColumn h5{margin:9px 0 7px;color:#e4eaf6;font:600 14px/1.2 var(--font-display)}.proofRulesColumn p{margin:0;color:#8f9caf;font:400 11px/1.55 var(--font-sans)}.proofConclusion{min-height:360px;display:grid;align-content:center;padding:clamp(24px,3vw,38px);border:1px solid;border-top:0;background:radial-gradient(circle at 50% 22%,rgba(125,103,195,.2),transparent 42%),rgba(255,255,255,.02);color:#a582df}.proofConclusion--supported{color:#58c987}.proofConclusion--qualified{color:#d3a754}.proofConclusion--disputed{color:#aa82ea}.proofConclusion--opposed{color:#ea786b}.proofConclusion--insufficient{color:#9ba6b8}.proofConclusionMark{font:400 62px/1 var(--font-display)}.proofConclusion>p:first-of-type{margin:19px 0 0;color:currentColor;font:700 8px/1 var(--font-sans);letter-spacing:.11em;text-transform:uppercase}.proofConclusion h5{margin:10px 0 12px;color:#f2edf7;font:400 28px/1 var(--font-display)}.proofConclusion h5+p{margin:0;color:#a7b1c1;font:400 13px/1.58 var(--font-serif)}.proofConclusion>div{display:grid;grid-template-columns:repeat(2,1fr);grid-gap:1px;gap:1px;margin-top:24px;background:var(--proof-rule)}.proofConclusion>div span{display:grid;grid-gap:4px;gap:4px;padding:10px;background:#0d121c;color:#7e8a9f;font:650 7px/1 var(--font-sans);letter-spacing:.06em;text-transform:uppercase}.proofConclusion>div b{color:#dce5f7;font:500 18px/1 var(--font-display)}.proofNoEvidence{min-height:220px;display:grid;place-items:center;align-content:center;padding:28px;border:1px dashed rgba(155,174,211,.22);text-align:center}.proofNoEvidence span{color:#7c8ba4;font:400 40px/1 var(--font-display)}.proofNoEvidence strong{margin:12px 0 5px;color:#c3cbd9;font:600 12px/1 var(--font-sans)}.proofNoEvidence p{margin:0;color:#7f8a9e;font:400 11px/1.5 var(--font-sans)}.proofIntegrity{padding:clamp(30px,4vw,52px);border-bottom:1px solid var(--proof-rule);background:radial-gradient(circle at 4% 20%,rgba(105,86,174,.13),transparent 30%)}.proofIntegrityLead{display:grid;grid-template-columns:72px minmax(0,1fr);grid-gap:22px;gap:22px;align-items:center}.proofIntegrityLead>div>p:last-child{max-width:760px;margin:10px 0 0;color:#919db0;font:400 13px/1.58 var(--font-sans)}.proofHashSeal{position:relative;width:68px;height:68px;display:grid;place-items:center;border:1px solid rgba(150,176,230,.3);border-radius:50%}.proofHashSeal i{position:absolute;inset:9px;border:1px dashed rgba(170,130,234,.38);border-radius:50%}.proofHashSeal i+i{inset:19px;border-style:solid}.proofHashSeal b{color:#b7caff;font:400 24px/1 var(--font-display)}.proofRoot{display:grid;grid-template-columns:auto minmax(0,1fr) auto;grid-gap:14px;gap:14px;align-items:center;margin-top:30px;padding:16px 18px;border:1px solid var(--proof-rule);background:rgba(4,7,12,.64)}.proofRoot>span{color:#8190a7;font:700 8px/1 var(--font-sans);letter-spacing:.1em;text-transform:uppercase}.proofRoot code{min-width:0;overflow:hidden;color:#bcd0ff;font:500 11px/1.4 ui-monospace,SFMono-Regular,Menlo,monospace;text-overflow:ellipsis}.proofIntegrityActions button,.proofRoot button{min-height:40px;padding:0 13px;border:1px solid rgba(126,161,235,.4);background:transparent;color:#b9ccf7;font:700 8px/1 var(--font-sans);letter-spacing:.08em;text-transform:uppercase;cursor:pointer}.proofIntegrityActions button:hover,.proofRoot button:hover{border-color:#9ab9fa;color:#fff}.proofIntegrityMeta{display:flex;flex-wrap:wrap;gap:1px;margin-top:1px;background:var(--proof-rule)}.proofIntegrityMeta span{flex:1 1 180px;display:flex;gap:8px;padding:13px 16px;background:#0c111a;color:#78869d;font:600 8px/1.3 var(--font-sans);letter-spacing:.05em;text-transform:uppercase}.proofIntegrityMeta b{color:#b7c5df}.proofIntegrityActions{display:flex;align-items:center;gap:18px;margin-top:20px}.proofIntegrityActions p{max-width:850px;margin:0;color:#77849a;font:400 11px/1.55 var(--font-sans)}.proofValidation>div>p:last-child{max-width:380px;margin:12px 0 0;color:#8894a8;font:400 13px/1.55 var(--font-serif)}.proofValidation li>span{color:#6ed39a}.proofCaveats{padding:0 clamp(28px,4vw,52px)}.proofCaveats summary{min-height:64px;display:flex;align-items:center;gap:10px;color:#aab5c7;font:650 10px/1 var(--font-sans);letter-spacing:.08em;text-transform:uppercase;cursor:pointer;list-style:none}.proofCaveats summary::-webkit-details-marker{display:none}.proofCaveats summary:before{content:"+";color:#7fa6fb;font-size:16px}.proofCaveats[open] summary:before{content:"−"}.proofCaveats summary span{min-width:22px;height:22px;display:grid;place-items:center;border:1px solid var(--proof-rule);border-radius:50%;color:#738097;font-size:8px}.proofCaveats ul{margin:0;padding:0 0 34px 22px;color:#8894a7;font:400 12px/1.6 var(--font-sans)}.proofCaveats li+li{margin-top:8px}.proofExplainer{padding:100px 52px 120px;background:var(--proof-paper);color:var(--proof-paper-ink)}.proofExplainer>header,.proofExplainerGrid{width:min(1320px,100%);margin-left:auto;margin-right:auto}.proofExplainer .proofEyebrow{color:#6b3fa0}.proofExplainer h2{max-width:920px;color:#151515}.proofExplainer h2 em{color:#6b3fa0;font-weight:400}.proofExplainerGrid{display:grid;grid-template-columns:repeat(4,1fr);margin-top:58px;border-top:1px solid #d8d1c7;border-left:1px solid #d8d1c7}.proofExplainerGrid article{min-height:280px;padding:clamp(25px,3vw,42px);border-right:1px solid #d8d1c7;border-bottom:1px solid #d8d1c7}.proofExplainerGrid article>span{color:#8a692b;font:700 9px/1 var(--font-sans);letter-spacing:.12em}.proofExplainerGrid h3{margin:55px 0 12px;color:#181818;font:500 27px/1 var(--font-display)}.proofExplainerGrid p{margin:0;color:#625e56;font:400 14px/1.65 var(--font-serif)}@media (max-width:1080px){.proofHeroInner{grid-template-columns:minmax(0,1fr) 270px;gap:50px}.proofHeroSeal{width:260px}.proofGraph{grid-template-columns:minmax(280px,1fr) 32px minmax(210px,.72fr)}.proofGraph>.proofGraphConnector:nth-of-type(2){display:none}.proofConclusionColumn{grid-column:1/-1;margin-top:24px}.proofConclusion{min-height:280px;border-top:1px solid}.proofResultHeader{grid-template-columns:1fr}.proofResultStats{width:min(100%,420px)}.proofExplainerGrid{grid-template-columns:repeat(2,1fr)}}@media (max-width:760px){.proofExplainer,.proofHero,.proofWorkbench{margin-left:-24px;margin-right:-24px}.proofHero{min-height:700px;padding:92px 24px 72px;background-size:46px 46px,46px 46px,auto,auto,auto}.proofHero:before{inset:24px 18px}.proofHero:after{top:24px;left:18px}.proofHeroInner{grid-template-columns:1fr;gap:62px}.proofHero h1{font-size:clamp(58px,17vw,84px)}.proofHeroSeal{width:min(240px,70vw)}.proofWorkbench{padding:64px 24px 74px}.proofBuilderHeader,.proofObligations,.proofValidation{grid-template-columns:1fr;gap:24px}.proofInputRow{grid-template-columns:1fr}.proofInputRow>button{min-height:54px}.proofEmpty{padding:48px 20px}.proofEmptyGraph{grid-template-columns:1fr;gap:9px}.proofEmptyGraph>i{transform:rotate(90deg)}.proofEmptyResult{width:170px;min-height:170px;justify-self:center}.proofResultHeader{padding:26px 20px}.proofResultStats{grid-template-columns:repeat(3,1fr);width:100%}.proofResultStats div{min-height:90px}.proofGraphSection,.proofIntegrity,.proofObligations,.proofValidation{padding:28px 20px}.proofObligations ul,.proofValidation ul{grid-template-columns:1fr}.proofGraphSection>header{align-items:flex-start;flex-direction:column}.proofGraph{grid-template-columns:1fr}.proofGraphConnector{min-height:48px;transform:rotate(90deg)}.proofConclusionColumn{grid-column:auto;margin-top:0}.proofRoot{grid-template-columns:1fr}.proofRoot code{overflow-wrap:anywhere;white-space:normal}.proofIntegrityActions{align-items:flex-start;flex-direction:column}.proofExplainer{padding:76px 24px 88px}.proofExplainerGrid{grid-template-columns:1fr}.proofExplainerGrid article{min-height:240px}}@media (max-width:480px){.proofHeroSignals span{flex-grow:1;flex-shrink:1;flex-basis:calc(50% - 9px);text-align:center}.proofExamples{display:grid;grid-template-columns:1fr}.proofExamples>span{margin-bottom:3px}.proofExamples button{border-radius:3px;text-align:left}.proofResultStats dt{font-size:7px}.proofResultStats dd{font-size:28px}.proofEvidenceLane footer{align-items:flex-start;flex-direction:column}.proofIntegrityLead{grid-template-columns:1fr}.proofIntegrityMeta span{flex-basis:100%}}@media (prefers-reduced-motion:reduce){.proofInputRow>button i,.proofLoading i{animation:none}}.proofPublish{display:grid;grid-template-columns:92px minmax(0,1fr);grid-gap:28px;gap:28px;margin-top:26px;padding:clamp(28px,4vw,48px);border:1px solid rgba(111,145,214,.3);background:radial-gradient(circle at 0 0,rgba(69,111,201,.17),transparent 34%),linear-gradient(135deg,rgba(14,22,36,.98),rgba(8,11,18,.98))}.proofPublish--complete{border-color:rgba(83,190,128,.36);background:radial-gradient(circle at 0 0,rgba(55,145,94,.16),transparent 34%),linear-gradient(135deg,rgba(11,25,24,.98),rgba(8,11,18,.98))}.proofPublishSeal{width:76px;height:76px;display:grid;place-items:center;border:1px solid #5579c8;border-radius:50%;box-shadow:inset 0 0 0 8px rgba(70,105,180,.08),0 0 36px rgba(64,103,190,.12);color:#89a9ef;font:500 27px/1 var(--font-display)}.proofPublish--complete .proofPublishSeal{border-color:#57b77d;color:#70cf97;box-shadow:inset 0 0 0 8px rgba(63,166,104,.08),0 0 36px rgba(63,166,104,.1)}.proofPublishCopy h4{margin:9px 0 11px;color:#edf2fb;font:500 clamp(27px,3vw,39px)/1.08 var(--font-display)}.proofPublishCopy>p:not(.proofEyebrow){max-width:760px;margin:0;color:#9da9ba;font:400 14px/1.65 var(--font-serif)}.proofPublishFlow{display:flex;flex-wrap:wrap;align-items:center;gap:10px;margin-top:28px}.proofPublishFlow span{min-height:36px;display:inline-flex;align-items:center;padding:0 13px;border:1px solid rgba(118,145,201,.26);color:#aebcdf;font:700 9px/1 var(--font-sans);letter-spacing:.08em;text-transform:uppercase}.proofPublishFlow i{color:#526a9c;font:normal 16px/1 var(--font-serif)}.proofPublishActions{display:flex;flex-wrap:wrap;gap:10px;margin-top:28px}.proofPublishActions a,.proofPublishActions button{min-height:44px;display:inline-flex;align-items:center;justify-content:center;padding:0 17px;border:1px solid #5579c8;background:rgba(49,82,152,.13);color:#c4d4f8;font:700 10px/1 var(--font-sans);letter-spacing:.06em;text-decoration:none;text-transform:uppercase;cursor:pointer}.proofPublishActions a:hover,.proofPublishActions button:hover{border-color:#7fa0e8;background:rgba(72,107,181,.23);color:#fff}.proofPublishActions button:disabled{opacity:.4;cursor:not-allowed}.proofPublishCopy>small{display:block;margin-top:16px;color:#718098;font:500 10px/1.55 var(--font-sans)}.proofPublishError{margin:14px 0 0!important;color:#efa5a5!important;font-family:var(--font-sans)!important}.proofPublishCopy dl{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));margin:27px 0 0;border-top:1px solid rgba(112,145,183,.2);border-left:1px solid rgba(112,145,183,.2)}.proofPublishCopy dl>div{min-width:0;padding:14px;border-right:1px solid rgba(112,145,183,.2);border-bottom:1px solid rgba(112,145,183,.2)}.proofPublishCopy dl>div:last-child{grid-column:1/-1}.proofPublishCopy dt{color:#72819a;font:700 9px/1 var(--font-sans);letter-spacing:.09em;text-transform:uppercase}.proofPublishCopy dd{margin:8px 0 0;color:#cbd7ec;font:500 12px/1.45 var(--font-sans);overflow-wrap:anywhere}.proofPublishCopy dd code{color:#8eadef;font:500 10px/1.45 var(--font-mono,monospace)}.proofRecordPage,.proofVerifierPage{min-height:100vh;background:var(--proof-night)}.proofRecordHero,.proofVerifierHero{position:relative;margin:0 -52px;padding:110px max(52px,calc((100vw - 1320px) / 2)) 72px;overflow:hidden;border-bottom:1px solid var(--proof-rule);background:radial-gradient(circle at 78% 30%,rgba(83,67,164,.21),transparent 27%),linear-gradient(rgba(32,49,79,.18) 1px,transparent 0),linear-gradient(90deg,rgba(32,49,79,.18) 1px,transparent 0),#080b12;background-size:auto,64px 64px,64px 64px,auto}.proofRecordHero:before,.proofVerifierHero:before{content:"";position:absolute;inset:36px 52px;border:1px solid rgba(107,132,187,.12);pointer-events:none}.proofRecordHero>*,.proofVerifierHero>*{position:relative;z-index:1}.proofRecordHero h1,.proofVerifierHero h1{max-width:1050px;margin:20px 0 14px;color:#f0ede8;font:400 clamp(54px,7vw,104px)/.91 var(--font-display);letter-spacing:-.035em}.proofVerifierHero h1 em{color:#7289bb;font-weight:400}.proofRecordHero>p:not(.proofEyebrow),.proofVerifierHero>p:not(.proofEyebrow){max-width:820px;margin:0;color:#8d98aa;font:400 17px/1.65 var(--font-serif)}.proofRecordHero>div,.proofVerifierHero>div{display:flex;flex-wrap:wrap;gap:9px;margin-top:30px}.proofRecordHero>div span,.proofVerifierHero>div a{min-height:36px;display:inline-flex;align-items:center;padding:0 13px;border:1px solid rgba(117,144,202,.24);color:#8fa6d8;font:700 9px/1 var(--font-sans);letter-spacing:.09em;text-decoration:none;text-transform:uppercase}.proofVerifierHero>div a{min-height:44px}.proofRecordBody{width:min(1440px,100%);margin:0 auto;padding:48px 0 100px}.proofTrustCard{display:grid;grid-template-columns:90px minmax(0,1fr) minmax(400px,.8fr);grid-gap:26px;gap:26px;margin-bottom:24px;padding:clamp(28px,4vw,48px);border:1px solid rgba(85,183,125,.3);background:radial-gradient(circle at 0 0,rgba(49,142,87,.15),transparent 31%),#0b1118}.proofTrustSeal{width:72px;height:72px;display:grid;place-items:center;border:1px solid #54b77b;border-radius:50%;color:#6ad094;font:700 24px/1 var(--font-sans);box-shadow:inset 0 0 0 8px rgba(72,174,113,.07)}.proofTrustLead h2{margin:9px 0 10px;color:#edf3ed;font:500 clamp(27px,3vw,39px)/1.05 var(--font-display)}.proofTrustLead>p:not(.proofEyebrow){margin:0;color:#94a29c;font:400 13px/1.6 var(--font-serif)}.proofTrustChecks{display:grid;grid-template-columns:repeat(2,1fr);margin:0;border-top:1px solid var(--proof-rule);border-left:1px solid var(--proof-rule)}.proofTrustChecks>div{padding:14px;border-right:1px solid var(--proof-rule);border-bottom:1px solid var(--proof-rule)}.proofTrustChecks dt{color:#718097;font:700 9px/1.2 var(--font-sans);letter-spacing:.08em;text-transform:uppercase}.proofTrustChecks dd{margin:7px 0 0;font:700 12px/1 var(--font-sans)}.proofTrustChecks .isValid dd{color:#6dce94}.proofTrustChecks .isInvalid dd{color:#ed9090}.proofTrustMeta{grid-column:2/-1;display:grid;grid-template-columns:repeat(2,minmax(0,1fr));border-top:1px solid var(--proof-rule);border-left:1px solid var(--proof-rule)}.proofTrustMeta span{min-width:0;padding:13px;border-right:1px solid var(--proof-rule);border-bottom:1px solid var(--proof-rule);color:#9ba8ba;font:500 11px/1.45 var(--font-sans);overflow-wrap:anywhere}.proofTrustMeta b{display:block;margin-bottom:6px;color:#65738a;font-size:8px;letter-spacing:.09em;text-transform:uppercase}.proofTrustMeta code{color:#80a1e5;font-size:9px}.proofTrustActions{grid-column:2/-1;display:flex;flex-wrap:wrap;gap:9px}.proofTrustActions a,.proofTrustActions button{min-height:44px;display:inline-flex;align-items:center;justify-content:center;padding:0 16px;border:1px solid #4d6fae;background:transparent;color:#aec4ef;font:700 9px/1 var(--font-sans);letter-spacing:.08em;text-decoration:none;text-transform:uppercase;cursor:pointer}.proofVerifierWorkbench{margin:0 -52px;padding:70px 52px 90px;background:#090d14}.proofVerifierGrid{width:min(1360px,100%);display:grid;grid-template-columns:minmax(340px,.85fr) minmax(420px,1.15fr);grid-gap:24px;gap:24px;margin:0 auto}.proofVerifierForm,.proofVerifierResult{min-width:0;border:1px solid var(--proof-rule);background:#0d131d}.proofVerifierForm{padding:clamp(22px,3vw,34px)}.proofVerifierForm>div:first-child{display:flex;justify-content:space-between;align-items:flex-end;gap:20px}.proofVerifierForm label{color:#d6deec;font:600 13px/1 var(--font-sans)}.proofVerifierForm>div:first-child span{max-width:310px;color:#6f7d91;font:500 10px/1.45 var(--font-sans);text-align:right}.proofVerifierForm textarea{width:100%;margin-top:17px;padding:18px;resize:vertical;border:1px solid #273247;border-radius:0;outline:none;background:#080c12;color:#b9caeb;font:500 11px/1.65 var(--font-mono,monospace)}.proofVerifierForm textarea:focus{border-color:#6687ce;box-shadow:0 0 0 3px rgba(82,119,199,.14)}.proofVerifierActions{display:flex;justify-content:space-between;gap:10px;margin-top:14px}.proofVerifierActions button,.proofVerifierFile{min-height:46px;display:inline-flex;align-items:center;justify-content:center;padding:0 17px;border:1px solid #5579c8;background:rgba(55,87,155,.13);color:#bfd0f3!important;font:700 10px/1 var(--font-sans)!important;letter-spacing:.07em;text-transform:uppercase;cursor:pointer}.proofVerifierFile input{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}.proofVerifierActions button:disabled{opacity:.4;cursor:not-allowed}.proofVerifierError{margin:14px 0 0;color:#efa5a5;font:500 12px/1.5 var(--font-sans)}.proofVerifierResult{min-height:620px;padding:clamp(22px,3vw,34px)}.proofVerifierResult.isValid{border-color:rgba(83,190,128,.35)}.proofVerifierResult.isInvalid{border-color:rgba(219,104,104,.4)}.proofVerifierVerdict{display:flex;align-items:center;gap:18px;padding-bottom:28px;border-bottom:1px solid var(--proof-rule)}.proofVerifierVerdict>span{width:56px;height:56px;display:grid;flex:0 0 auto;place-items:center;border:1px solid;border-radius:50%;color:#6dce94;font:700 19px/1 var(--font-sans)}.proofVerifierResult.isInvalid .proofVerifierVerdict>span{color:#e47f7f}.proofVerifierVerdict p{margin:0 0 6px;color:#6987c4;font:700 9px/1 var(--font-sans);letter-spacing:.12em}.proofVerifierEmpty h2,.proofVerifierVerdict h2{margin:0;color:#edf2f8;font:500 31px/1.05 var(--font-display)}.proofVerifierResult dl{display:grid;grid-template-columns:repeat(4,1fr);margin:24px 0;border-top:1px solid var(--proof-rule);border-left:1px solid var(--proof-rule)}.proofVerifierResult dl>div{padding:13px 10px;border-right:1px solid var(--proof-rule);border-bottom:1px solid var(--proof-rule)}.proofVerifierResult dt{color:#6f7d92;font:700 8px/1.2 var(--font-sans);letter-spacing:.07em;text-transform:uppercase}.proofVerifierResult dd{margin:7px 0 0;color:#c4cfe0;font:700 11px/1 var(--font-sans)}.proofVerifierResult ul{display:grid;grid-gap:1px;gap:1px;margin:0;padding:0;list-style:none;background:var(--proof-rule)}.proofVerifierResult li{display:grid;grid-template-columns:25px 1fr;grid-gap:12px;gap:12px;padding:13px;background:#0d131d}.proofVerifierResult li>span{width:23px;height:23px;display:grid;place-items:center;border:1px solid;border-radius:50%;color:#69c88f;font:700 9px/1 var(--font-sans)}.proofVerifierResult li.isFailed>span{color:#df7b7b}.proofVerifierResult li strong{color:#c8d2e1;font:650 10px/1.3 var(--font-sans)}.proofVerifierResult li p{margin:5px 0 0;color:#718095;font:400 10px/1.45 var(--font-sans)}.proofVerifierEmpty{max-width:500px;margin:130px auto 0;text-align:center}.proofVerifierEmpty>span{width:72px;height:72px;display:grid;place-items:center;margin:0 auto 26px;border:1px solid #40557f;border-radius:50%;color:#6480b8;font:500 24px/1 var(--font-display)}.proofVerifierEmpty h2{margin-top:10px}.proofVerifierEmpty>p:last-child{color:#748196;font:400 13px/1.65 var(--font-serif)}.proofVerifierOffline{margin:0 -52px;padding:80px max(52px,calc((100vw - 1120px) / 2)) 100px;background:var(--proof-paper);color:#171717}.proofVerifierOffline h2{margin:12px 0;font:500 clamp(36px,5vw,62px)/1 var(--font-display)}.proofVerifierOffline>p:not(.proofEyebrow){max-width:700px;color:#615d56;font:400 15px/1.65 var(--font-serif)}.proofVerifierOffline code{display:block;margin-top:28px;padding:19px;overflow-x:auto;border:1px solid #cec5b8;background:#eee8df;color:#493265;font:600 12px/1.5 var(--font-mono,monospace)}@media (max-width:980px){.proofTrustCard{grid-template-columns:76px minmax(0,1fr)}.proofTrustActions,.proofTrustChecks,.proofTrustMeta{grid-column:1/-1}.proofVerifierGrid{grid-template-columns:1fr}.proofVerifierResult{min-height:520px}}@media (max-width:760px){.proofPublish{grid-template-columns:1fr}.proofPublishSeal{width:62px;height:62px}.proofPublishCopy dl{grid-template-columns:1fr}.proofPublishCopy dl>div:last-child{grid-column:auto}.proofRecordHero,.proofVerifierHero,.proofVerifierOffline,.proofVerifierWorkbench{margin-left:-24px;margin-right:-24px}.proofRecordHero,.proofVerifierHero{padding:92px 24px 62px}.proofRecordHero:before,.proofVerifierHero:before{inset:22px 18px}.proofRecordBody{padding:26px 0 72px}.proofTrustCard,.proofTrustChecks,.proofTrustMeta{grid-template-columns:1fr}.proofVerifierWorkbench{padding:42px 24px 65px}.proofVerifierForm>div:first-child{align-items:flex-start;flex-direction:column}.proofVerifierForm>div:first-child span{text-align:left}.proofVerifierActions{flex-direction:column}.proofVerifierActions button,.proofVerifierFile{width:100%}.proofVerifierResult dl{grid-template-columns:repeat(2,1fr)}.proofVerifierOffline{padding:65px 24px 78px}}@media (max-width:480px){.proofPublishActions,.proofTrustActions{flex-direction:column}.proofPublishActions a,.proofPublishActions button,.proofTrustActions a,.proofTrustActions button{width:100%}.proofPublishFlow{align-items:stretch;flex-direction:column}.proofPublishFlow i{align-self:center;transform:rotate(90deg)}.proofVerifierResult dl{grid-template-columns:1fr}}