.validity-page{--ink:#4e3e39;--muted:#796c67;--line:#4e3e3921;--paper:#fff;color:var(--ink);background:#f1efee}.validity-page *,.validity-page :before,.validity-page :after{box-sizing:border-box}.validity-document{width:min(1260px,100% - 24px);margin:12px auto 0}.validity-sheet{background:var(--paper);border:1px solid var(--line);border-radius:12px;margin-bottom:12px;padding:clamp(36px,5vw,72px);overflow:hidden}.validity-kicker{color:#a03c5b;letter-spacing:.14em;text-transform:uppercase;margin:0 0 20px;font-size:12px;font-weight:650}.validity-cover{grid-template-columns:minmax(0,1.15fr) minmax(380px,.85fr);align-items:center;gap:clamp(40px,8vw,100px);min-height:680px;display:grid}.validity-cover-copy{min-width:0}.validity-breadcrumb{color:var(--muted);margin-bottom:64px;font-size:13px;text-decoration:none;display:inline-block}.validity-cover h1{max-width:710px;font-family:var(--font-pp-mori), Arial, sans-serif;letter-spacing:-.055em;margin:0;font-size:clamp(54px,6.2vw,88px);font-weight:400;line-height:.98}.validity-deck{color:#60534f;max-width:720px;margin:34px 0 0;font-size:clamp(17px,1.5vw,21px);line-height:1.58}.validity-deck sup,.validity-register sup{margin-left:3px;font-size:9px}.validity-deck sup a{color:#fff;background:#286193;border-radius:50%;place-items:center;width:17px;height:17px;text-decoration:none;display:inline-grid}.validity-cover-actions{align-items:center;gap:28px;margin-top:38px;display:flex}.validity-cover-actions a{color:#fff;background:#b93f65;border-radius:7px;align-items:center;gap:9px;padding:13px 18px;font-size:14px;font-weight:600;text-decoration:none;display:inline-flex}.validity-cover-actions>span{color:var(--muted);font-size:12px}.validity-cta-arrow{color:inherit;font-size:14px;line-height:1;transform:translateY(-1px)}.validity-evidence-summary{border:1px solid var(--line);background:#faf9f8;border-radius:10px;width:min(100%,430px);margin:auto;padding:34px}.validity-evidence-summary figcaption>span{color:#286193;letter-spacing:.14em;margin-bottom:16px;font-size:10px;font-weight:700;display:block}.validity-evidence-summary figcaption>strong{letter-spacing:-.035em;font-size:24px;font-weight:450;display:block}.validity-evidence-summary figcaption p{color:var(--muted);margin:10px 0 0;font-size:12px;line-height:1.55}.validity-evidence-total{border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin:30px 0 24px;padding:25px 0}.validity-evidence-total strong{letter-spacing:-.055em;font-size:clamp(43px,5vw,66px);font-weight:400;line-height:1;display:block}.validity-evidence-total span{max-width:260px;color:var(--muted);text-transform:uppercase;margin-top:9px;font-size:10px;line-height:1.45;display:block}.validity-evidence-summary ul{grid-template-columns:1fr 1fr;gap:12px 18px;margin:0;padding:0;list-style:none;display:grid}.validity-evidence-summary li{align-items:center;gap:7px;font-size:10px;font-weight:650;display:flex}.validity-evidence-summary li i{border-radius:50%;flex:none;width:8px;height:8px}.validity-evidence-summary li sup{color:#286193;font-size:8px}.validity-evidence-summary>small{color:var(--muted);margin-top:24px;font-size:9px;line-height:1.4;display:block}.validity-abstract{grid-template-columns:180px 1fr;gap:40px;padding-top:45px;padding-bottom:45px;display:grid}.validity-abstract h2{margin:0;font-size:16px;font-weight:650}.validity-abstract>div{grid-template-columns:1.5fr .7fr;gap:54px;display:grid}.validity-abstract p{margin:0;font-size:17px;line-height:1.7}.validity-abstract p sup a{color:#fff;background:#286193;border-radius:50%;place-items:center;width:17px;height:17px;margin-left:5px;font-size:9px;line-height:1;text-decoration:none;display:inline-grid}.validity-abstract aside{color:var(--muted);font-size:12px;line-height:1.65}.validity-abstract aside span{color:var(--ink);letter-spacing:.12em;margin-bottom:8px;font-size:10px;font-weight:700;display:block}.validity-figure-heading{grid-template-columns:180px minmax(0,630px);gap:40px;margin-bottom:58px;display:grid}.validity-figure-heading>span{color:#286193;letter-spacing:.15em;font-size:11px;font-weight:700}.validity-figure-heading h2,.validity-section-heading h2{letter-spacing:-.04em;margin:0;font-size:clamp(31px,3.5vw,48px);font-weight:400;line-height:1.08}.validity-figure-heading p,.validity-section-heading>p:last-child{max-width:700px;color:var(--muted);margin:16px 0 0;font-size:15px;line-height:1.6}.validity-architecture{margin:0 0 0 220px}.architecture-equation{border-block:1px solid var(--line);grid-template-columns:150px minmax(0,1fr);align-items:baseline;gap:8px 24px;padding:20px 0;display:grid}.architecture-equation>span,.architecture-column-headings,.architecture-model>header,.architecture-card>span,.architecture-transform-card>span{color:var(--muted);letter-spacing:.11em;text-transform:uppercase;font-size:9px;font-weight:650}.architecture-equation strong{color:var(--ink);letter-spacing:.01em;font-family:Georgia,serif;font-size:clamp(27px,3vw,40px);font-weight:400}.architecture-equation strong i{font-weight:400}.architecture-equation sub,.architecture-synthesis-card sub{font-size:.55em}.architecture-equation p{color:var(--muted);grid-column:2;margin:0;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;line-height:1.55}.architecture-scroll{min-width:0}.architecture-system{grid-template-columns:minmax(0,1.65fr) 42px minmax(250px,.78fr);align-items:stretch;gap:16px;margin-top:28px;display:grid}.architecture-inputs{gap:16px;min-width:0;display:grid}.architecture-column-headings,.architecture-lane{grid-template-columns:46px minmax(130px,1.2fr) 24px minmax(120px,1fr) 24px minmax(58px,.35fr);gap:0;min-width:0;display:grid}.architecture-column-headings{align-items:end}.architecture-column-headings span:first-child{grid-column:2}.architecture-column-headings span:nth-child(2){grid-column:4}.architecture-column-headings span:nth-child(3){grid-column:6}.architecture-lane{align-items:stretch}.architecture-lane-id{flex-direction:column;justify-content:center;align-items:flex-start;min-width:0;padding:12px 8px 12px 0;display:flex}.architecture-lane-id strong{font-size:18px;font-weight:650}.architecture-lane-id span{color:var(--muted);letter-spacing:.06em;text-transform:uppercase;margin-top:5px;font-size:8px;font-weight:650;line-height:1.25}.architecture-card{background:#fff;border:1px solid #4e3e394d;border-radius:3px;min-width:0;padding:14px 15px;overflow:hidden}.architecture-card h3{overflow-wrap:anywhere;margin:0;font-size:12px;font-weight:650;line-height:1.3}.architecture-card p{color:var(--muted);overflow-wrap:anywhere;margin:8px 0 0;font-size:10px;line-height:1.45}.architecture-card small{color:#286193;overflow-wrap:anywhere;margin-top:11px;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:8px;line-height:1.4;display:block}.architecture-source-card{border-top:2px solid #4e3e39}.architecture-transform-card{background:#28619309;border-color:#28619352}.architecture-transform-card>span{color:#286193;margin-bottom:7px;display:block}.architecture-connector,.architecture-down-connector{min-width:0;display:block;position:relative}.architecture-connector:before{content:"";background:#746964;height:1px;position:absolute;top:50%;left:3px;right:4px}.architecture-connector:after{content:"";border-top:3px solid #0000;border-bottom:3px solid #0000;border-left:5px solid #746964;width:0;height:0;position:absolute;top:calc(50% - 3px);right:2px}.architecture-state{text-align:center;border:1px solid #4e3e3966;border-radius:3px;flex-direction:column;justify-content:center;align-items:center;min-width:0;padding:10px 7px;display:flex}.architecture-state strong,.architecture-synthesis-card>strong,.architecture-verification-card>strong,.architecture-output-card>strong{font-family:Georgia,serif;font-size:25px;font-style:italic;font-weight:400}.architecture-state span{max-width:100%;color:var(--muted);overflow-wrap:anywhere;margin-top:5px;font-size:8px;line-height:1.2}.architecture-merge{min-height:100%;position:relative}.architecture-merge:before{content:"";background:#746964;width:1px;position:absolute;top:15%;bottom:15%;left:4px}.architecture-merge:after{content:"";background:#746964;height:1px;position:absolute;top:50%;left:4px;right:0}.architecture-merge i{background:#746964;width:8px;height:1px;position:absolute;left:0}.architecture-merge i:first-child{top:15%}.architecture-merge i:nth-child(2){top:50%}.architecture-merge i:nth-child(3){top:85%}.architecture-merge span{color:var(--muted);background:var(--paper);white-space:nowrap;padding:3px;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:8px;position:absolute;top:calc(50% - 24px);right:0;transform:translateY(-100%)}.architecture-model{background:#4e3e3905;border:1px dashed #4e3e396b;flex-direction:column;min-width:0;padding:17px;display:flex}.architecture-model>header{margin-bottom:14px;line-height:1.35}.architecture-synthesis-card,.architecture-verification-card,.architecture-output-card{text-align:left}.architecture-synthesis-card>strong,.architecture-verification-card>strong,.architecture-output-card>strong{margin:8px 0 5px;font-size:28px;display:block}.architecture-synthesis-card{border-top:2px solid #286193}.architecture-synthesis-card>span{color:#286193}.architecture-down-connector{background:#746964;width:1px;height:27px;min-height:27px;margin:0 auto}.architecture-down-connector:after{content:"";border-top:5px solid #746964;border-left:3px solid #0000;border-right:3px solid #0000;width:0;height:0;position:absolute;bottom:-1px;left:-3px}.architecture-verification-card ul{grid-template-columns:1fr 1fr;gap:5px 10px;margin:9px 0 0;padding:0;list-style:none;display:grid}.architecture-verification-card li{color:var(--muted);font-size:8px;line-height:1.35}.architecture-verification-card li:before{color:#286193;content:"✓";margin-right:4px}.architecture-output-card{border-bottom:2px solid #4e3e39}.architecture-output-card>p{margin-top:7px}.validity-sample-chart{margin:0 0 34px 220px}.validity-axis{border-bottom:1px solid var(--line);height:34px;margin:0 96px 8px 150px;position:relative}.validity-axis:before,.validity-axis:after{content:"";background:#4e3e390f;width:1px;height:260px;position:absolute;bottom:-260px}.validity-axis:after{right:0}.validity-axis span{color:var(--muted);font-size:10px;position:absolute;bottom:8px;transform:translate(-50%)}.validity-bar-row{grid-template-columns:138px 1fr 80px;align-items:center;gap:12px;min-height:48px;display:grid}.validity-bar-row>div:first-child{font-size:12px}.validity-bar-row>div:first-child strong{font-weight:600}.validity-bar-row>div:first-child sup{color:#286193}.validity-bar-track{background:#f1efee;border-radius:0;height:13px}.validity-bar-track i{border-radius:0;height:100%;display:block}.validity-bar-row b{font-variant-numeric:tabular-nums;font-size:13px;font-weight:600}.validity-caption{color:var(--muted);border-top:1px solid var(--line);margin:26px 0 0 220px;padding-top:17px;font-size:11px;line-height:1.55}.validity-methods{grid-template-columns:minmax(280px,.75fr) minmax(500px,1.25fr);gap:clamp(55px,8vw,110px);display:grid}.validity-section-heading{max-width:680px}.validity-method-flow{margin:0;padding:0;list-style:none}.validity-method-flow li{grid-template-columns:46px 1fr;gap:18px;padding:0 0 30px;display:grid;position:relative}.validity-method-flow li:not(:last-child):after{content:"";background:var(--line);width:1px;position:absolute;top:37px;bottom:5px;left:17px}.validity-method-flow li>span{z-index:1;color:#fff;background:#286193;border-radius:50%;place-items:center;width:35px;height:35px;font-size:10px;font-weight:700;display:grid}.validity-method-flow li:nth-child(2)>span{background:#ec5419}.validity-method-flow li:nth-child(3)>span{color:#513b20;background:#f2b13e}.validity-method-flow li:nth-child(4)>span{background:#4f9572}.validity-method-flow li:nth-child(5)>span{background:#dd7484}.validity-method-flow li:nth-child(6)>span{background:#b93f65}.validity-method-flow h3{margin:1px 0 6px;font-size:16px;font-weight:600}.validity-method-flow p{color:var(--muted);margin:0;font-size:13px;line-height:1.5}.validity-metric-grid{border-top:1px solid var(--line);border-bottom:1px solid var(--line);grid-template-columns:repeat(3,1fr);gap:0;margin-left:220px;display:grid}.validity-metric-grid figure{border-right:1px solid var(--line);margin:0;padding:28px}.validity-metric-grid figure:last-child{border-right:0}.validity-metric-grid figcaption{min-height:65px;margin-bottom:20px}.validity-metric-grid figcaption strong{margin-bottom:5px;font-size:16px;display:block}.validity-metric-grid figcaption span{color:var(--muted);font-size:10px}.validity-metric-row{grid-template-columns:85px 1fr 42px;align-items:center;gap:7px;margin:10px 0;display:grid}.validity-metric-row>span{color:var(--muted);font-size:9px}.validity-metric-row>div{background:#efedec;border-radius:0;height:6px}.validity-metric-row i{border-radius:0;height:100%;display:block}.validity-metric-row strong{text-align:right;font-size:10px;font-weight:650}.validity-comparator-title{text-transform:uppercase;margin:21px 0 8px;font-size:9px;font-weight:650}.validity-item-count{border-top:1px solid var(--line);align-items:center;gap:9px;margin-top:26px;padding-top:19px;display:flex}.validity-item-count strong{font-size:32px;font-weight:450}.validity-item-count span{max-width:75px;color:var(--muted);font-size:10px;line-height:1.3}.validity-layers .validity-section-heading{margin-bottom:60px}.validity-layer-list{border-top:1px solid var(--line)}.validity-layer-list section{border-bottom:1px solid var(--line);grid-template-columns:80px 1fr 1fr 1.5fr;align-items:start;gap:26px;padding:28px 0;display:grid}.validity-layer-list section>span{color:#286193;letter-spacing:.12em;font-size:11px;font-weight:700}.validity-layer-list h3{margin:0;font-size:18px;font-weight:500}.validity-layer-list strong{color:#4f9572;text-transform:uppercase;font-size:11px;font-weight:650}.validity-layer-list p{color:var(--muted);margin:0;font-size:13px;line-height:1.55}.validity-layers blockquote{color:#493b36;max-width:870px;font-family:var(--font-migra), Georgia, serif;margin:80px auto 10px;font-size:clamp(28px,3.4vw,46px);line-height:1.18}.validity-layers cite{color:var(--muted);font-family:var(--font-pp-mori), Arial, sans-serif;letter-spacing:.1em;text-transform:uppercase;margin-top:27px;font-size:10px;font-style:normal;display:block}.validity-register .validity-section-heading,.validity-boundary .validity-section-heading,.validity-references .validity-section-heading{margin-bottom:50px}.validity-table-scroll{overscroll-behavior-inline:contain;-webkit-overflow-scrolling:touch;width:100%;overflow-x:auto}.validity-register table{border-collapse:collapse;width:100%;min-width:980px}.validity-register th,.validity-register td{border-top:1px solid var(--line);text-align:left;vertical-align:top;padding:18px 15px;font-size:11px;line-height:1.45}.validity-register thead th{color:var(--muted);letter-spacing:.07em;text-transform:uppercase;padding-top:11px;font-size:9px;font-weight:650}.validity-register tbody th{color:#286193;font-weight:650}.validity-register .validity-caption{margin-left:0}.validity-boundary{background:#f9f3f4;border-color:#b93f6526}.validity-boundary>div{border-top:1px solid #b93f652e;grid-template-columns:repeat(4,1fr);display:grid}.validity-boundary section{padding:28px 28px 0 0}.validity-boundary section+section{border-left:1px solid #b93f652e;padding-left:28px}.validity-boundary section span{color:#b93f65;font-size:10px;font-weight:700}.validity-boundary h3{margin:16px 0 8px;font-size:16px}.validity-boundary section p{color:var(--muted);margin:0;font-size:12px;line-height:1.55}.validity-references ol{border-top:1px solid var(--line);margin:0;padding:0;list-style:none}.validity-references li{border-bottom:1px solid var(--line);grid-template-columns:45px 1fr 110px;align-items:start;gap:24px;padding:23px 0;display:grid}.validity-references li>span{color:#286193;font-size:10px;font-weight:700}.validity-references strong{font-size:12px;font-weight:650}.validity-references li p{margin:5px 0;font-size:13px}.validity-references small{color:var(--muted);font-size:10px}.validity-references li a{color:#b93f65;text-transform:uppercase;font-size:10px;font-weight:650;text-decoration:none}.validity-closing{color:#fff;background:#202024;border-radius:12px;justify-content:space-between;align-items:center;gap:50px;margin-bottom:12px;padding:clamp(55px,7vw,90px);display:flex}.validity-closing .validity-kicker{color:#ef9ab4}.validity-closing h2{letter-spacing:-.05em;max-width:700px;margin:0;font-size:clamp(38px,5vw,66px);font-weight:400;line-height:1}.validity-closing div>p:last-child{color:#ffffffb3;max-width:650px;margin:22px 0 0;font-size:14px;line-height:1.6}@media (max-width:950px){.validity-cover{grid-template-columns:1fr;min-height:0}.validity-breadcrumb{margin-bottom:45px}.validity-wheel{max-width:520px;margin:10px auto 0}.validity-abstract{grid-template-columns:1fr;gap:20px}.validity-abstract>div{grid-template-columns:1fr;gap:25px}.validity-figure-heading{grid-template-columns:80px 1fr}.validity-sample-chart,.validity-caption,.validity-metric-grid,.validity-architecture{margin-left:0}.validity-methods{grid-template-columns:1fr}.validity-layer-list section{grid-template-columns:55px 1fr 1fr}.validity-layer-list section p{grid-column:2/4}.validity-boundary>div{grid-template-columns:repeat(2,1fr)}.validity-boundary section:nth-child(3){border-left:0;padding-left:0}.validity-closing{flex-direction:column;align-items:flex-start}}@media (max-width:680px){.validity-document{width:calc(100% - 16px);margin-top:8px}.validity-sheet{border-radius:10px;margin-bottom:8px;padding:31px 22px}.validity-cover{padding-top:26px;display:block}.validity-cover-copy,.validity-cover h1,.validity-deck{overflow-wrap:anywhere;width:100%;max-width:100%}.validity-breadcrumb{margin-bottom:38px}.validity-cover h1{font-size:48px}.validity-deck{font-size:16px}.validity-cover-actions{flex-direction:column;align-items:flex-start;gap:14px}.validity-evidence-summary{width:100%;margin-top:58px;padding:28px 24px}.validity-evidence-summary ul{grid-template-columns:1fr}.validity-register .validity-table-scroll{width:calc(100% + 44px);margin-inline:-22px;padding-inline:22px;-webkit-mask-image:linear-gradient(90deg,#0000 0,#000 24px calc(100% - 24px),#0000 100%);mask-image:linear-gradient(90deg,#0000 0,#000 24px calc(100% - 24px),#0000 100%)}.validity-figure-heading{grid-template-columns:1fr;gap:13px;margin-bottom:38px}.architecture-equation{grid-template-columns:1fr;gap:10px;padding:18px 0}.architecture-equation p{grid-column:1}.architecture-scroll{overscroll-behavior-inline:contain;scroll-snap-type:x proximity;scrollbar-width:thin;-webkit-overflow-scrolling:touch;width:calc(100% + 44px);margin-inline:-22px;overflow-x:auto;-webkit-mask-image:linear-gradient(90deg,#000 0 calc(100% - 26px),#0000 100%);mask-image:linear-gradient(90deg,#000 0 calc(100% - 26px),#0000 100%)}.architecture-system{grid-template-columns:minmax(0,1.65fr) 34px minmax(230px,.76fr);gap:12px;width:800px;min-width:800px;margin:24px 22px 0}.architecture-inputs,.architecture-model{scroll-snap-align:start}.validity-axis{margin-left:101px;margin-right:57px}.validity-bar-row{grid-template-columns:92px 1fr 50px;gap:8px}.validity-bar-row>div:first-child,.validity-bar-row b{font-size:9px}.validity-metric-grid{grid-template-columns:1fr}.validity-metric-grid figure{border-right:0;border-bottom:1px solid var(--line)}.validity-metric-grid figure:last-child{border-bottom:0}.validity-layer-list section{grid-template-columns:38px 1fr;gap:14px}.validity-layer-list section strong,.validity-layer-list section p{grid-column:2}.validity-layers blockquote{margin-top:55px}.validity-boundary>div{grid-template-columns:1fr}.validity-boundary section,.validity-boundary section+section{border-bottom:1px solid #b93f652e;border-left:0;padding:22px 0}.validity-references li{grid-template-columns:30px 1fr;gap:10px}.validity-references li a{grid-column:2}.validity-closing{border-radius:12px;margin-bottom:8px;margin-left:8px;margin-right:8px;padding:48px 28px}}@media (prefers-reduced-motion:reduce){.validity-page *{scroll-behavior:auto!important}}