.verification-learning_page__r_Y33{--paper:#f8f9fd;--paper-strong:#ffffff;--ink:#10233e;--muted:#5a6880;--line:#d7deea;--line-strong:#bfc9da;--violet:#6518ff;--magenta:#eb20bc;--cyan:#23b8e9;--amber:#d48600;--green:#0a9c6a;--deep:#07182f;--soft-violet:#f2edff;position:relative;min-width:0;min-height:100vh;background:radial-gradient(circle at 9% 11%,rgba(35,184,233,.1),transparent 24rem),radial-gradient(circle at 91% 7%,rgba(101,24,255,.1),transparent 26rem),var(--paper);color:var(--ink);font-family:Inter,ui-sans-serif,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}.verification-learning_page__r_Y33[data-theme=strategy]{--violet:#4d36d8;--magenta:#ce2aa8;--cyan:#099bc8;--soft-violet:#f0efff}.verification-learning_page__r_Y33[data-theme=atlas]{--violet:#5d20d5;--magenta:#dc287e;--cyan:#078fc2}.verification-learning_page__r_Y33[data-theme=state-and-power]{--violet:#3454d1;--magenta:#b72db7;--cyan:#008aa8;--soft-violet:#eef2ff}.verification-learning_page__r_Y33[data-theme=concurrency-and-performance]{--violet:#0f6898;--magenta:#0b9b82;--cyan:#16a7c3;--soft-violet:#ebf8fa}.verification-learning_page__r_Y33[data-theme=reactive-and-fault]{--violet:#a34122;--magenta:#cc3863;--cyan:#1686a8;--soft-violet:#fff1eb}.verification-learning_page__r_Y33[data-theme=scalable-testbenches]{--violet:#6d39c4;--magenta:#c22b8a;--cyan:#387ed0;--soft-violet:#f4edff}.verification-learning_page__r_Y33 :where(a,button,summary,[tabindex]):focus-visible{outline:3px solid var(--cyan);outline-offset:3px}.verification-learning_srOnly__Y0Tdu{position:absolute!important;width:1px!important;height:1px!important;padding:0!important;overflow:hidden!important;clip:rect(0,0,0,0)!important;white-space:nowrap!important;border:0!important}.verification-learning_skipLink__8FJe2{position:fixed;z-index:1003;top:8px;left:12px;padding:10px 14px;border-radius:8px;background:var(--deep);color:white;font-size:14px;font-weight:800;transform:translateY(-160%)}.verification-learning_skipLink__8FJe2:focus{transform:translateY(0)}.verification-learning_readingProgress__T1bt7{position:fixed;z-index:1002;inset:0 0 auto;height:3px;background:rgba(216,223,234,.6);pointer-events:none}.verification-learning_readingProgress__T1bt7 span{display:block;width:100%;height:100%;transform-origin:left;background:linear-gradient(90deg,var(--violet),var(--magenta),var(--cyan))}.verification-learning_ambientField__TolKH{position:fixed;z-index:0;inset:88px 0 0;overflow:hidden;pointer-events:none}.verification-learning_ambientField__TolKH:before{position:absolute;inset:0;background-image:linear-gradient(rgba(101,24,255,.035) 1px,transparent 0),linear-gradient(90deg,rgba(35,184,233,.035) 1px,transparent 0);background-size:128px 128px;content:"";-webkit-mask-image:radial-gradient(circle at 50% 35%,#000,transparent 78%);mask-image:radial-gradient(circle at 50% 35%,#000,transparent 78%)}.verification-learning_ambientField__TolKH>b{position:absolute;top:var(--particle-y);left:var(--particle-x);width:4px;height:4px;border-radius:50%;background:var(--violet);box-shadow:0 0 14px rgba(101,24,255,.42);opacity:.36;animation:verification-learning_particleDrift__OVE4y 9s ease-in-out var(--particle-delay) infinite alternate}.verification-learning_ambientField__TolKH>b:nth-of-type(3n){background:var(--cyan)}.verification-learning_ambientField__TolKH>b:nth-of-type(5n){width:8px;height:8px;border:1px solid rgba(235,32,188,.44);background:transparent}.verification-learning_traceLayer__o5HIo{position:absolute;inset:0}.verification-learning_traceLayer__o5HIo i{position:absolute;top:var(--trace-y);left:-260px;width:220px;height:1px;background:linear-gradient(90deg,transparent,rgba(35,184,233,.72));opacity:0;animation:verification-learning_signalTrace__rN7Qq var(--trace-duration) linear var(--trace-delay) infinite}.verification-learning_traceLayer__o5HIo i:after{position:absolute;top:-3px;right:0;width:7px;height:7px;border-radius:50%;background:white;border:1px solid var(--cyan);box-shadow:0 0 12px rgba(35,184,233,.54);content:""}.verification-learning_ambientField__TolKH[data-animate=off] .verification-learning_traceLayer__o5HIo i,.verification-learning_ambientField__TolKH[data-animate=off]>b{animation:none}.verification-learning_ambientField__TolKH[data-animate=off] .verification-learning_traceLayer__o5HIo i{left:50%;opacity:.09}.verification-learning_motionToggle__sEp6_{position:fixed;z-index:1001;top:23px;right:max(18px,calc((100vw - 1280px) / 2 + 16px));min-height:42px;display:inline-flex;align-items:center;gap:9px;padding:0 13px;border:1px solid rgba(16,35,62,.12);border-radius:999px;background:rgba(255,255,255,.82);box-shadow:0 8px 24px rgba(16,35,62,.08);color:var(--muted);font:inherit;font-size:12px;font-weight:750;cursor:pointer;backdrop-filter:blur(12px)}.verification-learning_motionToggle__sEp6_>span{display:flex;gap:3px}.verification-learning_motionToggle__sEp6_ i{width:4px;height:4px;border-radius:50%;background:var(--violet)}.verification-learning_motionToggle__sEp6_ i:nth-child(2){background:var(--magenta)}.verification-learning_motionToggle__sEp6_ i:nth-child(3){background:var(--cyan)}.verification-learning_footer__iOSPh,.verification-learning_main___bxgF{position:relative;z-index:1}.verification-learning_main___bxgF{width:min(1280px,calc(100% - 40px));margin:0 auto;padding:28px 0 82px}.verification-learning_main___bxgF :where(section,article)[id]{scroll-margin-top:176px}.verification-learning_breadcrumbs__QqvSY{min-height:38px;display:flex;align-items:center;gap:9px;border-bottom:1px solid var(--line);color:var(--muted);font-size:14px;font-weight:750}.verification-learning_breadcrumbs__QqvSY a{color:var(--violet);text-decoration:none}.verification-learning_hero__IPDvL{position:relative;overflow:hidden;display:grid;grid-template-columns:minmax(0,.94fr) minmax(420px,1.06fr);gap:24px;margin:24px 0;padding:clamp(26px,3.4vw,44px);border:1px solid rgba(101,24,255,.24);border-radius:34px;background:linear-gradient(125deg,rgba(255,255,255,.96),rgba(242,237,255,.8)),white;box-shadow:0 26px 70px rgba(32,25,73,.09)}.verification-learning_hero__IPDvL:after{position:absolute;right:-9%;bottom:-48%;width:520px;height:520px;border-radius:50%;background:radial-gradient(circle,rgba(235,32,188,.15),transparent 64%);content:""}.verification-learning_heroCopy__Mn8zO,.verification-learning_heroMap__p3bIi{position:relative;z-index:1}.verification-learning_eyebrow__jj2cy{margin:0 0 14px;color:var(--violet);font-size:14px;font-weight:850;letter-spacing:.14em;text-transform:uppercase}.verification-learning_hero__IPDvL h1{max-width:720px;margin:0;color:var(--ink);font-size:clamp(42px,5vw,60px);line-height:.98;letter-spacing:-.05em}.verification-learning_heroLead__5DwLR{max-width:720px;margin:22px 0 0;color:#41516b;font-size:clamp(18px,2vw,24px);line-height:1.5}.verification-learning_heroOutcome__kfa7S{display:flex;gap:13px;margin:26px 0 0;padding:17px 18px;border:1px solid rgba(101,24,255,.2);border-radius:18px;background:rgba(255,255,255,.7);color:var(--ink);font-size:16px;font-weight:700;line-height:1.45}.verification-learning_heroOutcome__kfa7S:before{width:5px;flex:0 0 5px;border-radius:99px;background:linear-gradient(var(--violet),var(--magenta),var(--cyan));content:""}.verification-learning_heroPromise__n5_3_{max-width:660px;margin:20px 0 0;color:var(--ink);font-size:clamp(25px,2.8vw,38px);font-weight:840;line-height:1.08;letter-spacing:-.035em}.verification-learning_heroMeta___eI6P{display:flex;flex-wrap:wrap;gap:8px 18px;margin-top:20px;color:var(--muted);font-size:13px;font-weight:750;text-transform:uppercase;letter-spacing:.06em}.verification-learning_heroMap__p3bIi{position:relative;overflow:hidden;align-self:stretch;display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:9px;padding:16px;border:1px solid rgba(16,35,62,.14);border-radius:26px;background:linear-gradient(rgba(7,24,47,.96),rgba(10,31,59,.96)),var(--deep);box-shadow:0 20px 40px rgba(7,24,47,.16)}.verification-learning_heroMap__p3bIi:before{position:absolute;inset:0;background:linear-gradient(120deg,rgba(7,24,47,.93),rgba(7,24,47,.62)),url(/verification-system-design-og.png) 50% /cover;content:"";opacity:.58}.verification-learning_heroMap__p3bIi>*{position:relative;z-index:1}.verification-learning_heroMap__p3bIi>p{grid-column:1/-1;margin:0;color:#77ddff;font-size:12px;font-weight:850;letter-spacing:.14em;text-transform:uppercase}.verification-learning_heroMap__p3bIi a,.verification-learning_heroMap__p3bIi>div{min-height:104px;display:flex;flex-direction:column;justify-content:space-between;gap:7px;padding:14px;border:1px solid rgba(119,221,255,.22);border-radius:18px;background:rgba(255,255,255,.055);color:white;text-decoration:none}.verification-learning_heroMap__p3bIi a:focus-visible,.verification-learning_heroMap__p3bIi a:hover{border-color:rgba(235,32,188,.8);background:rgba(101,24,255,.18);transform:translateY(-2px)}.verification-learning_heroMap__p3bIi strong{font-size:17px;line-height:1.2}.verification-learning_heroMap__p3bIi small{color:#b9c7da;font-size:14px;line-height:1.4}.verification-learning_hero__IPDvL[data-variant=atlas],.verification-learning_hero__IPDvL[data-variant=blueprint]{grid-template-columns:minmax(0,1fr);gap:clamp(30px,4vw,48px);align-items:stretch}.verification-learning_hero__IPDvL[data-variant=blueprint]{overflow:visible;padding:clamp(34px,4vw,54px) 0 0;border:0;border-radius:0;background:transparent;box-shadow:none}.verification-learning_hero__IPDvL[data-variant=blueprint]:after{display:none}.verification-learning_hero__IPDvL[data-variant=atlas]{border-top:5px solid var(--magenta);background:radial-gradient(circle at 92% 8%,rgba(220,40,126,.11),transparent 29rem),linear-gradient(135deg,rgba(255,255,255,.98),rgba(248,246,255,.9))}.verification-learning_hero__IPDvL[data-variant=atlas] .verification-learning_heroCopy__Mn8zO,.verification-learning_hero__IPDvL[data-variant=blueprint] .verification-learning_heroCopy__Mn8zO{display:grid;grid-template-columns:minmax(0,1.08fr) minmax(360px,.92fr);grid-template-areas:"eyebrow eyebrow" "title lead" "promise outcome" "promise meta";column-gap:clamp(38px,5vw,72px);align-items:start}.verification-learning_hero__IPDvL[data-variant=atlas] .verification-learning_eyebrow__jj2cy,.verification-learning_hero__IPDvL[data-variant=blueprint] .verification-learning_eyebrow__jj2cy{grid-area:eyebrow}.verification-learning_hero__IPDvL[data-variant=atlas] h1,.verification-learning_hero__IPDvL[data-variant=blueprint] h1{grid-area:title;max-width:none;font-size:clamp(56px,6.2vw,80px)}.verification-learning_hero__IPDvL[data-variant=atlas] .verification-learning_heroPromise__n5_3_,.verification-learning_hero__IPDvL[data-variant=blueprint] .verification-learning_heroPromise__n5_3_{grid-area:promise}.verification-learning_hero__IPDvL[data-variant=atlas] .verification-learning_heroLead__5DwLR,.verification-learning_hero__IPDvL[data-variant=blueprint] .verification-learning_heroLead__5DwLR{grid-area:lead;margin-top:0;font-size:clamp(18px,1.7vw,21px)}.verification-learning_hero__IPDvL[data-variant=atlas] .verification-learning_heroOutcome__kfa7S,.verification-learning_hero__IPDvL[data-variant=blueprint] .verification-learning_heroOutcome__kfa7S{grid-area:outcome;margin-top:20px}.verification-learning_hero__IPDvL[data-variant=atlas] .verification-learning_heroMeta___eI6P,.verification-learning_hero__IPDvL[data-variant=blueprint] .verification-learning_heroMeta___eI6P{grid-area:meta}.verification-learning_hero__IPDvL[data-variant=family]{grid-template-columns:minmax(320px,.8fr) minmax(520px,1.2fr)}.verification-learning_heroMap__p3bIi[data-variant=atlas],.verification-learning_heroMap__p3bIi[data-variant=blueprint],.verification-learning_heroMap__p3bIi[data-variant=family]{display:block;min-height:0;padding:0;border-color:rgba(16,35,62,.16);background:#07182f}.verification-learning_heroMap__p3bIi[data-variant=atlas],.verification-learning_heroMap__p3bIi[data-variant=blueprint]{grid-column:1/-1}.verification-learning_heroMap__p3bIi[data-variant=blueprint]{border-radius:30px}.verification-learning_heroMap__p3bIi[data-variant=atlas]{overflow:visible;border:0;border-radius:0;background:transparent;box-shadow:none}.verification-learning_heroMap__p3bIi[data-variant=atlas]:before,.verification-learning_heroMap__p3bIi[data-variant=blueprint]:before,.verification-learning_heroMap__p3bIi[data-variant=family]:before{display:none}.verification-learning_failureAtlas__JmHfq,.verification-learning_familyContract__8PkKe,.verification-learning_strategyBlueprint__qgVPN{position:relative;z-index:1;min-height:100%;margin:0;color:white}.verification-learning_strategyBlueprint__qgVPN{display:grid;grid-template-rows:auto 1fr auto;gap:24px;padding:clamp(24px,3vw,38px);background:radial-gradient(circle at 87% 10%,rgba(9,155,200,.22),transparent 36%),linear-gradient(145deg,#07182f,#101c49 62%,#241242)}.verification-learning_failureAtlas__JmHfq>figcaption,.verification-learning_familyContract__8PkKe>figcaption,.verification-learning_strategyBlueprint__qgVPN>figcaption{position:relative;z-index:2;display:grid;gap:5px}.verification-learning_failureAtlas__JmHfq>figcaption span,.verification-learning_familyContract__8PkKe>figcaption span,.verification-learning_strategyBlueprint__qgVPN>figcaption span{color:#75dcff;font-size:11px;font-weight:850;letter-spacing:.14em;text-transform:uppercase}.verification-learning_failureAtlas__JmHfq>figcaption strong,.verification-learning_familyContract__8PkKe>figcaption strong,.verification-learning_strategyBlueprint__qgVPN>figcaption strong{color:white;font-size:clamp(26px,3vw,40px);letter-spacing:-.025em}.verification-learning_failureAtlas__JmHfq>figcaption p,.verification-learning_strategyBlueprint__qgVPN>figcaption p{max-width:760px;margin:4px 0 0;color:#bdcce0;font-size:16px;line-height:1.55}.verification-learning_blueprintFlow__BF23J{display:grid;grid-template-columns:minmax(0,.9fr) auto minmax(0,1.25fr) auto minmax(0,1fr) auto minmax(0,.95fr);gap:12px;align-items:stretch}.verification-learning_blueprintFlow__BF23J>i{align-self:center;color:#75dcff;font-size:24px;font-style:normal}.verification-learning_blueprintFlow__BF23J>section{min-width:0;padding:20px;border:1px solid rgba(117,220,255,.2);border-radius:15px;background:rgba(255,255,255,.06)}.verification-learning_blueprintFlow__BF23J>section[data-stage=risk]{border-color:rgba(235,32,188,.4)}.verification-learning_blueprintFlow__BF23J>section[data-stage=architecture]{background:rgba(77,54,216,.2)}.verification-learning_blueprintFlow__BF23J>section[data-stage=evidence]{border-color:rgba(9,155,200,.46)}.verification-learning_blueprintFlow__BF23J>section[data-stage=closure]{border-color:rgba(77,220,163,.42)}.verification-learning_blueprintFlow__BF23J small{display:block;margin-bottom:8px;color:#75dcff;font:800 11px/1.2 SFMono-Regular,Consolas,monospace;letter-spacing:.08em;text-transform:uppercase}.verification-learning_blueprintFlow__BF23J strong{display:block;color:white;font-size:18px;line-height:1.25}.verification-learning_blueprintFlow__BF23J p{margin:10px 0 0;color:#b9c8db;font-size:14px;line-height:1.5}.verification-learning_blueprintFlow__BF23J section>div{display:flex;flex-wrap:wrap;gap:5px;margin-top:9px}.verification-learning_heroMap__p3bIi .verification-learning_blueprintFlow__BF23J a{min-height:0;display:inline-flex;flex-direction:row;justify-content:flex-start;gap:0;padding:7px 9px;border:1px solid rgba(117,220,255,.24);border-radius:999px;background:rgba(255,255,255,.07);color:#dceaff;font-size:11px;font-weight:750;line-height:1.2}.verification-learning_blueprintRules__EN5PX{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:7px;margin:0;padding:0;list-style:none}.verification-learning_blueprintRules__EN5PX li{padding:12px 14px;border-top:1px solid rgba(117,220,255,.22);color:#b8c8dc;font-size:12px;line-height:1.5}.verification-learning_blueprintRules__EN5PX b{display:block;margin-bottom:2px;color:#75dcff;font-size:11px;text-transform:uppercase}.verification-learning_failureAtlas__JmHfq{display:grid;gap:22px;padding:0;background:radial-gradient(circle at 50% 52%,rgba(93,32,213,.07),transparent 34%),transparent;color:var(--ink)}.verification-learning_failureAtlas__JmHfq>figcaption span{color:var(--magenta)}.verification-learning_failureAtlas__JmHfq>figcaption strong{color:var(--ink)}.verification-learning_failureAtlas__JmHfq>figcaption p{max-width:840px;color:var(--muted)}.verification-learning_atlasBoard__ZurOd{display:grid;grid-template-columns:minmax(0,1fr) minmax(240px,.78fr) minmax(0,1fr);grid-template-areas:"state core concurrency" "reactive core scalable";gap:12px;padding:0}.verification-learning_heroMap__p3bIi .verification-learning_atlasCore__RTEpY{grid-area:core;position:relative;z-index:1;width:auto;min-height:100%;display:flex;place-content:initial;justify-content:center;gap:10px;padding:24px;border:1px solid rgba(93,32,213,.32);border-radius:24px;background:linear-gradient(145deg,#161d44,#38166c);box-shadow:0 18px 38px rgba(0,0,0,.35);text-align:center;transform:none}.verification-learning_atlasCore__RTEpY small{color:#78ddff;font-size:11px;font-weight:850;letter-spacing:.12em;text-transform:uppercase}.verification-learning_atlasCore__RTEpY strong{color:white;font-size:21px}.verification-learning_atlasCore__RTEpY span{color:#bdc9db;font-size:14px;line-height:1.48}.verification-learning_atlasCore__RTEpY b{margin-top:6px;color:#83e5ff;font-size:12px}.verification-learning_heroMap__p3bIi .verification-learning_atlasZone__QnLax{position:relative;min-height:190px;justify-content:flex-start;gap:7px;padding:22px;border-radius:20px;background:rgba(255,255,255,.92);box-shadow:0 14px 34px rgba(16,35,62,.075);color:var(--ink)}.verification-learning_atlasZone__QnLax[data-family=state-and-power]{grid-area:state}.verification-learning_atlasZone__QnLax[data-family=concurrency-and-performance]{grid-area:concurrency}.verification-learning_atlasZone__QnLax[data-family=reactive-and-fault]{grid-area:reactive}.verification-learning_atlasZone__QnLax[data-family=scalable-testbenches]{grid-area:scalable}.verification-learning_atlasZone__QnLax i{color:var(--violet);font:800 11px/1 SFMono-Regular,Consolas,monospace;font-style:normal}.verification-learning_atlasZone__QnLax small{color:var(--muted);font-size:11px;font-weight:800;letter-spacing:.09em;text-transform:uppercase}.verification-learning_atlasZone__QnLax strong{color:var(--ink);font-size:20px}.verification-learning_atlasZone__QnLax span{color:var(--muted);font-size:13px;line-height:1.45}.verification-learning_atlasZone__QnLax b{margin-top:auto;color:var(--violet);font-size:12px}.verification-learning_atlasZone__QnLax[data-family=state-and-power]{border-color:rgba(106,134,255,.55)}.verification-learning_atlasZone__QnLax[data-family=concurrency-and-performance]{border-color:rgba(46,208,179,.5)}.verification-learning_atlasZone__QnLax[data-family=reactive-and-fault]{border-color:rgba(255,128,96,.55)}.verification-learning_atlasZone__QnLax[data-family=scalable-testbenches]{border-color:rgba(218,99,228,.5)}.verification-learning_familyContract__8PkKe{display:grid;grid-template-rows:auto 1fr auto;gap:14px;padding:22px;background:radial-gradient(circle at 85% 14%,color-mix(in srgb,var(--violet) 40%,transparent),transparent 40%),linear-gradient(145deg,#07182f,#172545)}.verification-learning_familyContract__8PkKe ol{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px;margin:0;padding:0;list-style:none}.verification-learning_familyContract__8PkKe li{display:grid;grid-template-columns:auto 1fr;gap:2px 10px;align-content:center;padding:12px;border:1px solid rgba(117,220,255,.22);border-radius:14px;background:rgba(255,255,255,.06)}.verification-learning_familyContract__8PkKe li i{grid-row:1/span 2;align-self:center;color:#75dcff;font:800 10px/1 SFMono-Regular,Consolas,monospace;font-style:normal}.verification-learning_familyContract__8PkKe li strong{color:white;font-size:13px;letter-spacing:.05em}.verification-learning_familyContract__8PkKe li span{color:#b7c7db;font-size:11px;line-height:1.35}.verification-learning_familyContract__8PkKe>p{margin:0;padding-top:10px;border-top:1px solid rgba(117,220,255,.18);color:#9db0c8;font-size:10px;line-height:1.45}.verification-learning_symptomChooser__tMANf{margin-top:58px}.verification-learning_symptomGrid__AIYcN{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:10px}.verification-learning_symptomGrid__AIYcN a{position:relative;min-height:145px;display:flex;flex-direction:column;gap:9px;padding:19px;border:1px solid var(--line);border-top:4px solid var(--violet);border-radius:18px;background:rgba(255,255,255,.9);box-shadow:0 12px 28px rgba(16,35,62,.06);color:inherit;text-decoration:none}.verification-learning_symptomGrid__AIYcN a[data-family=concurrency-and-performance]{border-top-color:#0b9b82}.verification-learning_symptomGrid__AIYcN a[data-family=reactive-and-fault]{border-top-color:#cc5738}.verification-learning_symptomGrid__AIYcN a[data-family=scalable-testbenches]{border-top-color:#a844c1}.verification-learning_symptomGrid__AIYcN strong{max-width:18ch;font-size:17px;line-height:1.2}.verification-learning_symptomGrid__AIYcN span{color:var(--muted);font-size:13px;line-height:1.42}.verification-learning_symptomGrid__AIYcN b{position:absolute;right:15px;bottom:12px;color:var(--violet)}.verification-learning_caseContract__PMe5h{justify-self:end;align-self:start;padding:8px 11px;border:1px solid var(--line);border-radius:999px;background:rgba(255,255,255,.8);color:var(--muted);font-size:11px;font-weight:800;letter-spacing:.07em;text-transform:uppercase}.verification-learning_chapterRail__NT6_4{position:sticky;z-index:20;top:87px;display:flex;gap:8px;margin:0 0 28px;padding:10px;overflow-x:auto;border:1px solid rgba(16,35,62,.11);border-radius:17px;background:rgba(248,249,253,.88);box-shadow:0 10px 24px rgba(16,35,62,.06);backdrop-filter:blur(15px)}.verification-learning_chapterRail__NT6_4 a{flex:0 0 auto;padding:9px 13px;border-radius:11px;color:#34445f;font-size:14px;font-weight:800;text-decoration:none}.verification-learning_chapterRail__NT6_4 a:focus-visible,.verification-learning_chapterRail__NT6_4 a:hover{background:var(--soft-violet);color:var(--violet)}.verification-learning_sectionLead__O2kvu{display:grid;grid-template-columns:minmax(220px,.36fr) minmax(0,.64fr);gap:30px;align-items:end;margin:66px 0 22px}.verification-learning_sectionLead__O2kvu>p{margin:0;color:var(--violet);font-size:13px;font-weight:850;letter-spacing:.14em;text-transform:uppercase}.verification-learning_sectionLead__O2kvu h2{margin:0;color:var(--ink);font-size:clamp(30px,4vw,52px);line-height:1.02;letter-spacing:-.045em}.verification-learning_sectionLead__O2kvu span{grid-column:2;color:var(--muted);font-size:17px;line-height:1.55}.verification-learning_continueGrid__IkBmY,.verification-learning_familyGrid__nTn6L,.verification-learning_sourceMapGrid__EbNyL{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:16px}.verification-learning_familyCard__oHuqk{min-height:250px;display:flex;flex-direction:column;gap:14px;padding:25px;border:1px solid var(--line);border-radius:24px;background:rgba(255,255,255,.88);box-shadow:0 14px 34px rgba(16,35,62,.06);color:inherit;text-decoration:none}.verification-learning_familyCard__oHuqk:focus-visible,.verification-learning_familyCard__oHuqk:hover{border-color:rgba(101,24,255,.5);box-shadow:0 20px 45px rgba(101,24,255,.11);transform:translateY(-3px)}.verification-learning_familyCard__oHuqk>span{display:flex;justify-content:space-between;color:var(--violet);font-size:13px;font-weight:850;letter-spacing:.1em;text-transform:uppercase}.verification-learning_familyCard__oHuqk h2,.verification-learning_familyCard__oHuqk h3{margin:0;font-size:28px;line-height:1.08;letter-spacing:-.03em}.verification-learning_familyCard__oHuqk p{margin:0;color:var(--muted);font-size:16px;line-height:1.5}.verification-learning_familyCard__oHuqk ul{display:flex;flex-wrap:wrap;gap:7px;margin:auto 0 0;padding:0;list-style:none}.verification-learning_familyCard__oHuqk li{padding:6px 9px;border-radius:99px;background:#eef2f8;color:#34445f;font-size:13px;font-weight:750}.verification-learning_caseStudy__w5oDq{scroll-margin-top:150px;margin:70px 0 0;padding:clamp(24px,3.6vw,48px);border:1px solid var(--line);border-radius:30px;background:rgba(255,255,255,.92);box-shadow:0 24px 62px rgba(16,35,62,.075)}.verification-learning_caseHeader__kg3GI{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:18px;align-items:start;margin-bottom:25px}.verification-learning_caseHeader__kg3GI h2{max-width:920px;margin:5px 0 10px;color:var(--ink);font-size:clamp(34px,4.5vw,58px);line-height:1;letter-spacing:-.05em}.verification-learning_caseHeader__kg3GI p{max-width:850px;margin:0;color:var(--muted);font-size:18px;line-height:1.55}.verification-learning_pageBadge__27jN8{padding:9px 12px;border-radius:99px;background:var(--soft-violet);color:var(--violet);font-size:12px;font-weight:850;letter-spacing:.08em;white-space:nowrap;text-transform:uppercase}.verification-learning_caseDiagram__wTLxY{overflow:hidden;padding:22px;border-radius:23px;background:var(--deep);color:white}.verification-learning_diagramHeader__RDsz3{display:flex;justify-content:space-between;gap:20px;align-items:end;margin-bottom:16px}.verification-learning_diagramHeader__RDsz3 h3{margin:0;color:white;font-size:21px}.verification-learning_diagramHeader__RDsz3 p{max-width:680px;margin:0;color:#aebed3;font-size:14px;line-height:1.45}.verification-learning_diagramNodes__mZ2t3{display:grid;grid-template-columns:repeat(auto-fit,minmax(170px,1fr));gap:10px}.verification-learning_diagramNode__Nw_rh{position:relative;min-height:112px;display:flex;flex-direction:column;gap:8px;padding:15px;border:1px solid rgba(119,221,255,.23);border-radius:16px;background:rgba(255,255,255,.055)}.verification-learning_diagramNode__Nw_rh[data-tone=magenta]{border-color:rgba(235,32,188,.38)}.verification-learning_diagramNode__Nw_rh[data-tone=amber]{border-color:rgba(212,134,0,.45)}.verification-learning_diagramNode__Nw_rh[data-tone=green]{border-color:rgba(10,156,106,.5)}.verification-learning_diagramNode__Nw_rh strong{color:white;font-size:16px}.verification-learning_diagramNode__Nw_rh span{color:#adbed3;font-size:13px;line-height:1.4}.verification-learning_diagramFlows__BJPnp{display:flex;flex-wrap:wrap;gap:8px;margin:15px 0 0;padding:0;list-style:none}.verification-learning_diagramFlows__BJPnp li{padding:7px 10px;border:1px solid rgba(255,255,255,.12);border-radius:99px;background:rgba(101,24,255,.22);color:#d9d3ff;font-size:12px;font-weight:750}.verification-learning_specialVisual__z3Ygh{position:relative;overflow:hidden;display:grid;gap:16px;margin:0;padding:clamp(20px,3vw,30px);border:1px solid rgba(119,221,255,.22);border-radius:23px;background:radial-gradient(circle at 88% 10%,rgba(235,32,188,.18),transparent 24rem),radial-gradient(circle at 5% 92%,rgba(35,184,233,.13),transparent 23rem),linear-gradient(145deg,#07182f,#0b203c 68%,#10183d);box-shadow:0 20px 44px rgba(7,24,47,.18);color:white;isolation:isolate}.verification-learning_specialVisual__z3Ygh:before{position:absolute;z-index:-1;inset:0;background-image:linear-gradient(rgba(119,221,255,.045) 1px,transparent 0),linear-gradient(90deg,rgba(119,221,255,.045) 1px,transparent 0);background-size:48px 48px;content:"";-webkit-mask-image:linear-gradient(135deg,black,transparent 82%);mask-image:linear-gradient(135deg,black,transparent 82%)}.verification-learning_specialVisualCaption__VWeG7{grid-column:1/-1}.verification-learning_specialVisualCaption__VWeG7 span{display:block;margin-bottom:8px;color:#6fe0ff;font-size:11px;font-weight:850;letter-spacing:.14em;text-transform:uppercase}.verification-learning_specialVisualCaption__VWeG7 strong{display:block;max-width:920px;color:white;font-size:clamp(22px,3vw,31px);line-height:1.08;letter-spacing:-.025em}.verification-learning_specialVisualCaption__VWeG7 p{max-width:880px;margin:8px 0 0;color:#b5c6da;font-size:14px;line-height:1.5}.verification-learning_visualRule___kPnh{grid-column:1/-1;margin:0;padding:12px 15px;border:1px solid rgba(119,221,255,.18);border-radius:12px;background:rgba(5,17,34,.62);color:#d9e7f6;font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:12px;line-height:1.55}.verification-learning_specialVisual__z3Ygh[data-visual=irq]{grid-template-columns:minmax(220px,1.05fr) minmax(180px,.82fr) minmax(66px,.28fr) minmax(250px,1.25fr);align-items:stretch}.verification-learning_irqSources__M3LHL{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:9px}.verification-learning_irqArbiter__0cHwD,.verification-learning_irqService__9AdWO span,.verification-learning_irqSources__M3LHL span{border:1px solid rgba(119,221,255,.23);border-radius:13px;background:rgba(255,255,255,.06)}.verification-learning_irqSources__M3LHL span{min-height:70px;display:flex;align-items:center;gap:9px;padding:11px;color:#e7f4ff;font-size:13px;font-weight:750}.verification-learning_irqSources__M3LHL i{display:grid;width:26px;height:26px;flex:0 0 26px;place-items:center;border-radius:8px;background:rgba(35,184,233,.17);color:#7ee4ff;font-style:normal;font-size:11px;font-weight:850}.verification-learning_irqArbiter__0cHwD{display:flex;flex-direction:column;justify-content:center;padding:17px;border-color:rgba(235,32,188,.5);background:linear-gradient(145deg,rgba(101,24,255,.24),rgba(235,32,188,.12))}.verification-learning_irqArbiter__0cHwD small{color:#eaa9df;font-size:10px;font-weight:800;letter-spacing:.08em;text-transform:uppercase}.verification-learning_irqArbiter__0cHwD strong{margin:7px 0;color:white;font-size:18px}.verification-learning_irqArbiter__0cHwD span{color:#b7c8db;font-size:12px;line-height:1.4}.verification-learning_irqLine__Rae5w{position:relative;min-height:148px;display:grid;place-items:center}.verification-learning_irqLine__Rae5w span{position:absolute;top:50%;left:0;width:100%;height:2px;background:linear-gradient(90deg,#eb20bc,#79e2ff);box-shadow:0 0 14px rgba(35,184,233,.4)}.verification-learning_irqLine__Rae5w b{z-index:1;padding:5px 7px;border:1px solid rgba(119,221,255,.45);border-radius:7px;background:#0c2545;color:#8de8ff;font-size:10px;letter-spacing:.1em}.verification-learning_irqLine__Rae5w i{position:absolute;right:-1px;width:8px;height:8px;border-top:2px solid #79e2ff;border-right:2px solid #79e2ff;transform:rotate(45deg)}.verification-learning_irqService__9AdWO{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:9px}.verification-learning_irqService__9AdWO span{min-height:70px;display:flex;flex-direction:column;justify-content:center;padding:11px 13px;color:#e7f4ff;font-family:SFMono-Regular,Consolas,monospace;font-size:12px}.verification-learning_irqService__9AdWO small{margin-bottom:4px;color:#d68cff;font-size:10px;font-weight:850}.verification-learning_specialVisual__z3Ygh[data-visual=deadlock]{grid-template-columns:minmax(260px,.8fr) minmax(320px,1.2fr);align-items:center}.verification-learning_deadlockRing__esFYY{position:relative;min-height:230px;border:1px solid rgba(119,221,255,.18);border-radius:18px;background:radial-gradient(circle,transparent 34%,rgba(101,24,255,.18) 35% 53%,transparent 54%),rgba(255,255,255,.035)}.verification-learning_deadlockRing__esFYY:after,.verification-learning_deadlockRing__esFYY:before{position:absolute;top:50%;left:50%;width:126px;height:126px;border-color:#70e1ff #eb66d0 transparent transparent;border-style:solid;border-width:2px;border-radius:50%;content:"";transform:translate(-50%,-50%) rotate(28deg)}.verification-learning_deadlockRing__esFYY:after{width:9px;height:9px;margin:-65px 0 0 39px;border:0;border-top:2px solid #eb66d0;border-right:2px solid #eb66d0;border-radius:0;transform:rotate(78deg)}.verification-learning_deadlockRing__esFYY span{position:absolute;z-index:1;top:50%;min-width:88px;padding:11px;border:1px solid rgba(119,221,255,.3);border-radius:12px;background:#0c2545;color:white;font-size:12px;font-weight:800;text-align:center;transform:translateY(-50%)}.verification-learning_deadlockRing__esFYY span[data-node=a]{left:15px}.verification-learning_deadlockRing__esFYY span[data-node=b]{right:15px;border-color:rgba(235,32,188,.45)}.verification-learning_deadlockRing__esFYY>b,.verification-learning_deadlockRing__esFYY>i{position:absolute;left:50%;color:#aebfd4;font-size:10px;font-style:normal;font-weight:650;transform:translateX(-50%)}.verification-learning_deadlockRing__esFYY>i{top:25px}.verification-learning_deadlockRing__esFYY>b{bottom:25px}.verification-learning_progressMeters__1d098{display:grid;gap:11px}.verification-learning_progressMeters__1d098>div{display:grid;grid-template-columns:minmax(90px,.85fr) minmax(90px,.6fr) minmax(130px,1.5fr);gap:12px;align-items:center;min-height:61px;padding:12px 14px;border:1px solid rgba(119,221,255,.19);border-radius:13px;background:rgba(255,255,255,.05)}.verification-learning_progressMeters__1d098 span{color:#aebfd4;font-size:12px}.verification-learning_progressMeters__1d098 strong{color:white;font-size:14px}.verification-learning_progressMeters__1d098 i{position:relative;overflow:hidden;height:7px;border-radius:99px;background:rgba(255,255,255,.1)}.verification-learning_progressMeters__1d098 i:after{position:absolute;inset:0 auto 0 0;width:var(--meter);border-radius:inherit;background:linear-gradient(90deg,#23b8e9,#8b58ff);content:""}.verification-learning_progressMeters__1d098>div[data-alert=true]{border-color:rgba(235,32,188,.48);background:rgba(235,32,188,.08)}.verification-learning_progressMeters__1d098>div[data-alert=true] i:after{background:linear-gradient(90deg,#eb20bc,#ff8b69)}.verification-learning_specialVisual__z3Ygh[data-visual=performance]{grid-template-columns:minmax(0,1.35fr) minmax(250px,.65fr)}.verification-learning_lifecycle__afOo2{grid-column:1/-1;position:relative;display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;padding:5px 0}.verification-learning_lifecycle__afOo2:before{position:absolute;top:22px;right:12%;left:12%;height:2px;background:linear-gradient(90deg,#23b8e9,#8b58ff,#eb20bc);content:""}.verification-learning_lifecycle__afOo2 span{z-index:1;display:grid;justify-items:center;color:white}.verification-learning_lifecycle__afOo2 i{width:14px;height:14px;margin:11px 0 10px;border:3px solid #0b203c;border-radius:50%;background:#71e2ff;box-shadow:0 0 0 2px rgba(113,226,255,.38)}.verification-learning_lifecycle__afOo2 span:last-child i{background:#eb65d0;box-shadow:0 0 0 2px rgba(235,101,208,.38)}.verification-learning_lifecycle__afOo2 strong{font-size:12px;text-transform:uppercase}.verification-learning_lifecycle__afOo2 small{margin-top:3px;color:#aebfd4}.verification-learning_histogram__7NHKg{position:relative;min-height:210px;padding:15px 16px 30px;border:1px solid rgba(119,221,255,.19);border-radius:17px;background:rgba(255,255,255,.045)}.verification-learning_histogramBars__eLkkg{height:155px;display:flex;align-items:end;gap:5px;padding:0 3px;border-bottom:1px solid rgba(255,255,255,.18)}.verification-learning_histogramBars__eLkkg i{height:var(--bar-height);flex:1;min-width:5px;border-radius:5px 5px 1px 1px;background:linear-gradient(180deg,#7ce5ff,#7041ff);opacity:.9}.verification-learning_histogram__7NHKg>b,.verification-learning_histogram__7NHKg>span,.verification-learning_histogram__7NHKg>strong{position:absolute;bottom:9px;color:#9eb1c8;font-size:10px}.verification-learning_histogram__7NHKg>span{left:17px}.verification-learning_histogram__7NHKg>b{right:20%;color:#e49aff}.verification-learning_histogram__7NHKg>strong{right:17px;color:#ffb1e5}.verification-learning_metricStrip__L0upe{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:9px}.verification-learning_metricStrip__L0upe span{min-height:95px;display:flex;flex-direction:column;justify-content:center;padding:13px;border:1px solid rgba(119,221,255,.19);border-radius:14px;background:rgba(255,255,255,.05);color:white;font-size:15px;font-weight:800}.verification-learning_metricStrip__L0upe small{margin-bottom:6px;color:#79defa;font-size:10px;letter-spacing:.08em;text-transform:uppercase}.verification-learning_specialVisual__z3Ygh[data-visual=cdc]{grid-template-columns:minmax(310px,.92fr) minmax(420px,1.08fr);align-items:center}.verification-learning_cdcWaves__x7M45{display:grid;gap:8px;padding:15px;border:1px solid rgba(119,221,255,.19);border-radius:16px;background:rgba(255,255,255,.04)}.verification-learning_cdcWaves__x7M45>span{display:grid;grid-template-columns:48px 1fr;gap:9px;align-items:center}.verification-learning_cdcWaves__x7M45 b{color:#9fb3ca;font-size:9px;letter-spacing:.06em}.verification-learning_cdcWaves__x7M45 i{height:24px;border-bottom:1px solid rgba(255,255,255,.09);background-repeat:repeat-x;background-position:0;background-size:48px 22px}.verification-learning_cdcWaves__x7M45 i[data-wave=fast]{background-image:linear-gradient(135deg,transparent 0 22%,#8a5cff 22% 28%,#8a5cff 28% 48%,transparent 48% 52%,transparent 52% 72%,#8a5cff 72% 78%,#8a5cff 78% 100%)}.verification-learning_cdcWaves__x7M45 i[data-wave=slow]{background-image:linear-gradient(135deg,transparent 0 31%,#70e1ff 31% 37%,#70e1ff 37% 68%,transparent 68% 74%,transparent 74% 100%);background-size:76px 22px}.verification-learning_cdcWaves__x7M45 i[data-wave=req]{background-image:linear-gradient(90deg,transparent 0 20%,#eb65d0 20% 24%,#eb65d0 24% 68%,transparent 68% 72%,transparent 72% 100%);background-size:100% 18px}.verification-learning_cdcWaves__x7M45 i[data-wave=ack]{background-image:linear-gradient(90deg,transparent 0 56%,#57d7aa 56% 60%,#57d7aa 60% 82%,transparent 82% 86%,transparent 86% 100%);background-size:100% 18px}.verification-learning_cdcChain__yqcFH{display:grid;grid-template-columns:minmax(100px,1fr) auto minmax(100px,1fr) auto minmax(100px,1fr) auto minmax(100px,1fr);gap:7px;align-items:center}.verification-learning_cdcChain__yqcFH>span{min-height:92px;display:flex;flex-direction:column;justify-content:center;padding:12px;border:1px solid rgba(119,221,255,.23);border-radius:13px;background:rgba(255,255,255,.055);color:white;font-size:12px;font-weight:750;line-height:1.35}.verification-learning_cdcChain__yqcFH>span[data-risk=true]{border-color:rgba(235,32,188,.52);background:rgba(235,32,188,.09)}.verification-learning_cdcChain__yqcFH small{margin-bottom:5px;color:#75ddfa;font-size:9px;letter-spacing:.06em;text-transform:uppercase}.verification-learning_cdcChain__yqcFH>i{color:#7ce5ff;font-style:normal}.verification-learning_specialVisual__z3Ygh[data-visual=firmware]{grid-template-columns:minmax(0,1.35fr) minmax(300px,.65fr)}.verification-learning_firmwareLoop__k7ZXC{position:relative;display:grid;grid-template-columns:repeat(5,minmax(0,1fr));gap:8px;align-content:start}.verification-learning_firmwareLoop__k7ZXC:before{position:absolute;z-index:-1;top:50%;right:8%;left:8%;height:2px;background:linear-gradient(90deg,#23b8e9,#8a5cff,#eb20bc);content:""}.verification-learning_firmwareLoop__k7ZXC span{min-height:126px;display:flex;flex-direction:column;justify-content:center;padding:12px;border:1px solid rgba(119,221,255,.22);border-radius:14px;background:rgba(7,24,47,.94)}.verification-learning_firmwareLoop__k7ZXC i{color:#74ddfb;font-style:normal;font-size:10px;font-weight:850;letter-spacing:.08em}.verification-learning_firmwareLoop__k7ZXC strong{margin:7px 0 4px;color:white;font-size:13px;line-height:1.25}.verification-learning_firmwareLoop__k7ZXC small{color:#aebfd4;font-size:11px;line-height:1.35}.verification-learning_firmwareChoices__s_dwa{display:grid;gap:9px}.verification-learning_firmwareChoices__s_dwa span{min-height:88px;display:flex;flex-direction:column;justify-content:center;padding:14px;border:1px solid rgba(235,32,188,.34);border-radius:14px;background:rgba(101,24,255,.13);color:#b5c6da;font-size:12px;line-height:1.45}.verification-learning_firmwareChoices__s_dwa strong{margin-bottom:5px;color:white;font-size:13px}.verification-learning_faultPipeline__jQsLv,.verification-learning_powerSequence__QxhvG,.verification-learning_resetTimeline__Z7hpL,.verification-learning_wakeContract__dNpQM{display:grid;gap:8px}.verification-learning_resetTimeline__Z7hpL{grid-template-columns:repeat(5,minmax(0,1fr))}.verification-learning_faultPipeline__jQsLv span,.verification-learning_powerSequence__QxhvG span,.verification-learning_resetTimeline__Z7hpL span,.verification-learning_wakeContract__dNpQM span{position:relative;min-height:102px;display:flex;flex-direction:column;justify-content:center;padding:12px;border:1px solid rgba(119,221,255,.22);border-radius:14px;background:rgba(255,255,255,.055)}.verification-learning_resetTimeline__Z7hpL span[data-reset=active]{border-color:rgba(235,32,188,.5);background:rgba(235,32,188,.1)}.verification-learning_faultPipeline__jQsLv i,.verification-learning_powerSequence__QxhvG i,.verification-learning_resetTimeline__Z7hpL i,.verification-learning_wakeContract__dNpQM i{color:#75ddfa;font:850 10px/1 SFMono-Regular,Consolas,monospace;font-style:normal}.verification-learning_faultPipeline__jQsLv strong,.verification-learning_powerSequence__QxhvG strong,.verification-learning_resetTimeline__Z7hpL strong,.verification-learning_wakeContract__dNpQM strong{margin:7px 0 4px;color:white;font-size:13px}.verification-learning_faultPipeline__jQsLv small,.verification-learning_powerSequence__QxhvG small,.verification-learning_resetTimeline__Z7hpL small,.verification-learning_wakeContract__dNpQM small{color:#aebfd4;font-size:11px;line-height:1.35}.verification-learning_resetEpochs__8S40j{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);gap:12px;align-items:center}.verification-learning_resetEpochs__8S40j>span{display:grid;gap:4px;padding:14px;border:1px solid rgba(119,221,255,.22);border-radius:14px;background:rgba(255,255,255,.055);color:white;font-size:13px}.verification-learning_resetEpochs__8S40j>span[data-epoch=stale]{opacity:.62}.verification-learning_barrierLedger__UgTXv small,.verification-learning_polymorphicTopology__xTANn small,.verification-learning_powerTopology__eYvre small,.verification-learning_qosLedger__9WKOS small,.verification-learning_resetEpochs__8S40j small,.verification-learning_visibilityModel__J_sDU small{color:#75ddfa;font-size:9px;font-weight:850;letter-spacing:.07em;text-transform:uppercase}.verification-learning_resetEpochs__8S40j b{justify-self:start;color:#67dfae;font-size:10px;text-transform:uppercase}.verification-learning_resetEpochs__8S40j>span[data-epoch=stale] b{color:#ff95d8}.verification-learning_polymorphicTopology__xTANn>i,.verification-learning_powerTopology__eYvre>i,.verification-learning_resetEpochs__8S40j>i,.verification-learning_visibilityModel__J_sDU>i{color:#74ddfb;font-size:11px;font-style:normal;text-align:center}.verification-learning_powerSequence__QxhvG{grid-template-columns:repeat(6,minmax(0,1fr))}.verification-learning_powerTopology__eYvre{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,.8fr) auto minmax(0,1fr);gap:9px;align-items:center}.verification-learning_powerTopology__eYvre>span{min-height:116px;display:flex;flex-direction:column;justify-content:center;gap:7px;padding:14px;border:1px solid rgba(119,221,255,.24);border-radius:15px;background:rgba(255,255,255,.055);color:white;font-size:13px;font-weight:750}.verification-learning_powerBoundary__qLAgj{border-color:rgba(87,215,170,.48)!important;background:rgba(87,215,170,.09)!important}.verification-learning_powerIsland___4XNi{border-color:rgba(235,32,188,.44)!important;background:repeating-linear-gradient(135deg,rgba(235,32,188,.08) 0 8px,transparent 8px 16px)!important}.verification-learning_powerTopology__eYvre b{color:#aebfd4;font-size:10px}.verification-learning_gatingScope__RqTXN{overflow-x:auto;padding:14px;border:1px solid rgba(119,221,255,.19);border-radius:16px;background:rgba(255,255,255,.04)}.verification-learning_gatingScope__RqTXN svg{display:block;width:100%;min-width:760px;height:auto}.verification-learning_gatingSleepWindow__vfuNG{fill:rgba(242,160,7,.08);stroke:rgba(242,160,7,.35);stroke-width:1}.verification-learning_gatingBaseline__MHb13,.verification-learning_gatingGridLine__3uxM2{stroke:rgba(185,200,220,.13);stroke-width:1}.verification-learning_gatingLabel__zZzGH,.verification-learning_gatingNote__hjWNO,.verification-learning_gatingTick__FBu_k,.verification-learning_gatingWindowLabel__bDg_f{font-family:SFMono-Regular,Consolas,monospace}.verification-learning_gatingTick__FBu_k{fill:#7f92aa;font-size:9px}.verification-learning_gatingLabel__zZzGH{fill:#c0d0e2;font-size:11px;font-weight:800;letter-spacing:.04em}.verification-learning_gatingClock__5SWJ6,.verification-learning_gatingControl__46Gr_,.verification-learning_gatingEvent__XEgTD,.verification-learning_gatingOutputClock__aUfgf,.verification-learning_gatingReady__kIiit,.verification-learning_gatingStatus__8UmyK{fill:none;stroke-width:3;stroke-linecap:round;stroke-linejoin:round}.verification-learning_gatingClock__5SWJ6{stroke:#9d79ff}.verification-learning_gatingStatus__8UmyK{stroke:#ffd071}.verification-learning_gatingControl__46Gr_,.verification-learning_gatingEvent__XEgTD{stroke:#ff7adf}.verification-learning_gatingOutputClock__aUfgf{stroke:#62dcff}.verification-learning_gatingReady__kIiit{stroke:#7ce6ae}.verification-learning_gatingMarker__jrSeF{stroke:rgba(255,208,113,.7);stroke-width:1;stroke-dasharray:4 4}.verification-learning_gatingNote__hjWNO{fill:#dce8f8;font-size:9px}.verification-learning_gatingWindowLabel__bDg_f{fill:#ffd071;font-size:10px;font-weight:850;letter-spacing:.08em}.verification-learning_wakeContract__dNpQM{grid-template-columns:repeat(4,minmax(0,1fr))}.verification-learning_orderingLanes__5sWad{display:grid;gap:8px}.verification-learning_orderingLanes__5sWad>span{display:grid;grid-template-columns:90px repeat(4,minmax(52px,auto)) 1fr;gap:8px;align-items:center;padding:11px 13px;border:1px solid rgba(119,221,255,.2);border-radius:13px;background:rgba(255,255,255,.045)}.verification-learning_orderingLanes__5sWad b{color:#75ddfa;font-size:11px}.verification-learning_orderingLanes__5sWad i{display:grid;min-height:34px;place-items:center;border-radius:9px;background:rgba(101,24,255,.27);color:white;font-style:normal;font-size:11px;font-weight:800}.verification-learning_orderingLanes__5sWad span[data-lane=completion] i{background:rgba(235,32,188,.19)}.verification-learning_orderingLanes__5sWad em{color:#aebfd4;font-size:10px;font-style:normal;text-align:right}.verification-learning_visibilityModel__J_sDU{display:grid;grid-template-columns:1fr auto 1fr auto 1fr;gap:8px;align-items:center}.verification-learning_visibilityModel__J_sDU>span{min-height:82px;display:grid;align-content:center;gap:5px;padding:12px;border:1px solid rgba(119,221,255,.22);border-radius:13px;background:rgba(255,255,255,.055);color:white;font-size:12px}.verification-learning_specialVisual__z3Ygh[data-visual=qos]{border-color:var(--line);background:radial-gradient(circle at 92% 8%,rgba(11,155,130,.09),transparent 24rem),linear-gradient(145deg,#ffffff,#f3fafb);box-shadow:0 18px 44px rgba(16,35,62,.1);color:var(--ink)}.verification-learning_specialVisual__z3Ygh[data-visual=qos]:before{opacity:.45}.verification-learning_specialVisual__z3Ygh[data-visual=qos] .verification-learning_specialVisualCaption__VWeG7 span{color:#087e70}.verification-learning_specialVisual__z3Ygh[data-visual=qos] .verification-learning_specialVisualCaption__VWeG7 strong{color:var(--ink)}.verification-learning_specialVisual__z3Ygh[data-visual=qos] .verification-learning_specialVisualCaption__VWeG7 p{color:var(--muted)}.verification-learning_qosRequesters__3etqU{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:9px}.verification-learning_qosRequesters__3etqU>span{display:grid;gap:7px;padding:14px;border:1px solid var(--line);border-radius:14px;background:rgba(255,255,255,.86)}.verification-learning_qosRequesters__3etqU strong{color:var(--ink);font-size:14px}.verification-learning_qosRequesters__3etqU b,.verification-learning_qosRequesters__3etqU small{color:var(--muted);font-size:10px;font-weight:650}.verification-learning_qosRequesters__3etqU i{position:relative;overflow:hidden;height:8px;border-radius:999px;background:#e4eaf1}.verification-learning_qosRequesters__3etqU i:after{position:absolute;inset:0 auto 0 0;width:var(--share);border-radius:inherit;background:linear-gradient(90deg,#23b8e9,#8b58ff,#eb20bc);content:""}.verification-learning_qosTimeline__TDdd6{overflow-x:auto;padding:17px;border:1px solid #294668;border-radius:16px;background:#07182e;color:#dce8f8}.verification-learning_qosTimeline__TDdd6>header{min-width:820px;display:flex;justify-content:space-between;gap:24px;align-items:baseline;margin-bottom:14px}.verification-learning_qosTimeline__TDdd6>header strong{color:white;font-size:16px}.verification-learning_qosTimeline__TDdd6>header span{max-width:620px;color:#9fb2c9;font-size:12px;line-height:1.45}.verification-learning_qosTimeAxis__Uza_h,.verification-learning_qosTraceRow__XyOdh{min-width:820px;display:grid;grid-template-columns:78px repeat(12,minmax(48px,1fr));gap:5px;align-items:center}.verification-learning_qosTimeAxis__Uza_h{margin-bottom:5px}.verification-learning_qosTimeAxis__Uza_h b,.verification-learning_qosTraceRow__XyOdh>b{color:#9fb2c9;font:800 10px/1.2 SFMono-Regular,Consolas,monospace;letter-spacing:.06em;text-transform:uppercase}.verification-learning_qosTimeAxis__Uza_h span{color:#7188a3;font:700 9px/1 SFMono-Regular,Consolas,monospace;text-align:center}.verification-learning_qosTraceRow__XyOdh{margin-top:6px}.verification-learning_qosTraceRow__XyOdh span{min-height:34px;display:grid;place-items:center;border:1px solid #294668;border-radius:7px;background:rgba(255,255,255,.045);color:#dce8f8;font:800 10px/1 SFMono-Regular,Consolas,monospace}.verification-learning_qosTraceRow__XyOdh span[data-owner=RT]{border-color:rgba(255,122,223,.48);background:rgba(255,122,223,.13);color:#ff9ee5}.verification-learning_qosTraceRow__XyOdh span[data-owner=CP]{border-color:rgba(98,220,255,.42);background:rgba(98,220,255,.1);color:#79e1ff}.verification-learning_qosTraceRow__XyOdh span[data-owner=BG]{border-color:rgba(124,230,174,.46);background:rgba(124,230,174,.11);color:#8de9b9}.verification-learning_qosTraceRow__XyOdh[data-trace=age] span[data-state=warning]{border-color:rgba(255,208,113,.65);background:rgba(255,208,113,.13);color:#ffd071}.verification-learning_qosTraceRow__XyOdh[data-trace=age] span[data-state=grant]{border-color:rgba(124,230,174,.55);background:rgba(124,230,174,.13);color:#8de9b9}.verification-learning_qosBound__KRB1f{min-width:820px;display:grid;grid-template-columns:auto 1fr auto;gap:12px;align-items:center;margin-top:13px;color:#9fb2c9;font-size:10px}.verification-learning_qosBound__KRB1f i{height:3px;border-radius:999px;background:linear-gradient(90deg,#7ce6ae 0 65%,#ffd071 65% 84%,#ff7adf 84%)}.verification-learning_qosBound__KRB1f strong{color:#ffd071;font-size:10px}.verification-learning_barrierLedger__UgTXv,.verification-learning_qosLedger__9WKOS{display:flex;flex-wrap:wrap;gap:8px;align-items:stretch}.verification-learning_barrierLedger__UgTXv>span,.verification-learning_qosLedger__9WKOS>span{min-width:120px;flex:1;display:grid;place-content:center;gap:4px;padding:12px;border:1px solid rgba(119,221,255,.2);border-radius:13px;background:rgba(255,255,255,.05)}.verification-learning_specialVisual__z3Ygh[data-visual=qos] .verification-learning_qosLedger__9WKOS>span{border-color:var(--line);background:rgba(255,255,255,.9)}.verification-learning_qosLedger__9WKOS>b{align-self:center;color:#75ddfa}.verification-learning_specialVisual__z3Ygh[data-visual=qos] .verification-learning_qosLedger__9WKOS>b{color:#087e70}.verification-learning_barrierLedger__UgTXv strong,.verification-learning_qosLedger__9WKOS strong{color:white;font-size:19px}.verification-learning_specialVisual__z3Ygh[data-visual=qos] .verification-learning_qosLedger__9WKOS small{color:var(--muted)}.verification-learning_specialVisual__z3Ygh[data-visual=qos] .verification-learning_qosLedger__9WKOS strong{color:var(--ink)}.verification-learning_specialVisual__z3Ygh[data-visual=qos] .verification-learning_visualRule___kPnh{border-color:#294668;background:#07182e;color:#dce8f8}.verification-learning_qosLedger__9WKOS span[data-alert=true]{border-color:rgba(235,32,188,.45)}.verification-learning_faultPipeline__jQsLv{grid-template-columns:repeat(5,minmax(0,1fr))}.verification-learning_exceptionLedger__oWRqm{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:8px}.verification-learning_exceptionLedger__oWRqm>span{display:grid;gap:5px;padding:12px;border:1px solid rgba(87,215,170,.34);border-radius:13px;background:rgba(87,215,170,.065)}.verification-learning_exceptionLedger__oWRqm strong{color:white;font-size:12px}.verification-learning_exceptionLedger__oWRqm small{color:#b9c8db;font-size:10px}.verification-learning_exceptionLedger__oWRqm b{color:#67dfae;font-size:9px;letter-spacing:.08em;text-transform:uppercase}.verification-learning_exceptionLedger__oWRqm span[data-state=pending]{border-color:rgba(235,32,188,.42)}.verification-learning_exceptionLedger__oWRqm span[data-state=pending] b{color:#ff95d8}.verification-learning_polymorphicTopology__xTANn{display:grid;grid-template-columns:minmax(230px,.7fr) auto minmax(0,1.3fr);gap:10px;align-items:center}.verification-learning_abstractContract__59QUi{min-height:150px;display:grid;align-content:center;gap:7px;padding:16px;border:1px solid rgba(235,32,188,.45);border-radius:16px;background:rgba(101,24,255,.17);color:white;font-size:13px;font-weight:750}.verification-learning_abstractContract__59QUi b{color:#c4b1ff;font-size:10px}.verification-learning_implementationDeck__K_GX_{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}.verification-learning_implementationDeck__K_GX_ span{display:grid;gap:4px;padding:13px;border:1px solid rgba(119,221,255,.22);border-radius:13px;background:rgba(255,255,255,.055)}.verification-learning_implementationDeck__K_GX_ strong{color:white;font-size:12px}.verification-learning_implementationDeck__K_GX_ small{color:#aebfd4;font-size:10px}.verification-learning_reconfigurationChecks__TXkOw{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:8px}.verification-learning_reconfigurationChecks__TXkOw span{display:grid;gap:4px;padding:11px 13px;border-top:1px solid rgba(119,221,255,.22);color:#c8d6e6;font-size:11px}.verification-learning_reconfigurationChecks__TXkOw b{color:#75ddfa;font-size:9px;letter-spacing:.08em;text-transform:uppercase}.verification-learning_broadcastTopology__tcZm6{display:grid;grid-template-columns:minmax(210px,.7fr) minmax(0,1.3fr);gap:12px;align-items:center}.verification-learning_broadcastHub__Xgd0f{min-height:160px;display:grid;place-content:center;gap:7px;padding:17px;border:1px solid rgba(235,32,188,.48);border-radius:50%;background:radial-gradient(circle,rgba(101,24,255,.35),rgba(235,32,188,.09));color:white;font-size:13px;font-weight:800;text-align:center}.verification-learning_broadcastHub__Xgd0f b{color:#c8b9ff;font-size:10px}.verification-learning_broadcastTargets__xDmBk{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:9px}.verification-learning_broadcastTargets__xDmBk span{position:relative;display:grid;gap:4px;padding:13px 13px 13px 31px;border:1px solid rgba(119,221,255,.22);border-radius:13px;background:rgba(255,255,255,.055)}.verification-learning_broadcastTargets__xDmBk i{position:absolute;top:14px;left:12px;color:#75ddfa;font-style:normal}.verification-learning_broadcastTargets__xDmBk strong{color:white;font-size:12px}.verification-learning_broadcastTargets__xDmBk small{color:#aebfd4;font-size:10px}.verification-learning_barrierLedger__UgTXv>b{flex:1 1 150px;display:grid;place-content:center;padding:12px;border:1px solid rgba(87,215,170,.42);border-radius:13px;background:rgba(87,215,170,.08);color:#67dfae;font-size:11px;letter-spacing:.06em;text-transform:uppercase}.verification-learning_evidenceGrid__AijzZ{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:13px;margin-top:16px}.verification-learning_evidenceCard__qPLfW{padding:19px;border:1px solid var(--line);border-radius:18px;background:#fbfcff}.verification-learning_evidenceCard__qPLfW h3{margin:0 0 10px;color:var(--violet);font-size:13px;letter-spacing:.1em;text-transform:uppercase}.verification-learning_evidenceCard__qPLfW ul,.verification-learning_stressList__fvLxA{margin:0;padding-left:19px}.verification-learning_evidenceCard__qPLfW li,.verification-learning_stressList__fvLxA li{margin:7px 0;color:#44536b;font-size:15px;line-height:1.5}.verification-learning_subsection___Dldr{margin-top:27px}.verification-learning_subsection___Dldr>h3{margin:0 0 13px;color:var(--ink);font-size:22px;letter-spacing:-.02em}.verification-learning_tradeoffGrid__t2WHY{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:14px}.verification-learning_tradeoffCard__Jt9L2{overflow:hidden;border:1px solid var(--line);border-radius:19px;background:white}.verification-learning_tradeoffCard__Jt9L2>header{padding:17px 19px;border-bottom:1px solid var(--line);background:linear-gradient(110deg,var(--soft-violet),#f4fbff)}.verification-learning_tradeoffCard__Jt9L2 h4{margin:0;font-size:18px}.verification-learning_tradeoffCard__Jt9L2 header p{margin:5px 0 0;color:var(--muted);font-size:14px;line-height:1.45}.verification-learning_tradeoffSides__dPA2b{display:grid;grid-template-columns:repeat(2,minmax(0,1fr))}.verification-learning_tradeoffSides__dPA2b>div{padding:16px 18px}.verification-learning_tradeoffSides__dPA2b>div+div{border-left:1px solid var(--line)}.verification-learning_tradeoffSides__dPA2b strong{color:var(--green);font-size:12px;letter-spacing:.08em;text-transform:uppercase}.verification-learning_tradeoffSides__dPA2b>div+div strong{color:#bc4d18}.verification-learning_tradeoffSides__dPA2b ul{margin:8px 0 0;padding-left:17px}.verification-learning_tradeoffSides__dPA2b li{margin:5px 0;color:#45536a;font-size:14px;line-height:1.45}.verification-learning_tradeoffPointGroup__LBOod{margin-top:12px;padding-top:10px;border-top:1px solid var(--line)}.verification-learning_tradeoffPointGroup__LBOod>small{color:var(--green);font-size:10px;font-weight:850;letter-spacing:.1em;text-transform:uppercase}.verification-learning_tradeoffPointGroup__LBOod:has(li[data-impact=cost])>small{color:#bc4d18}.verification-learning_tradeoffPointGroup__LBOod li{position:relative;padding-left:2px}.verification-learning_tradeoffPointGroup__LBOod li[data-impact=benefit]::marker{color:var(--green)}.verification-learning_tradeoffPointGroup__LBOod li[data-impact=cost]::marker{color:#bc4d18}.verification-learning_responsibilityWrap__11juJ{overflow-x:auto;border:1px solid var(--line);border-radius:18px}.verification-learning_codeCard__TcaSo pre:focus-visible,.verification-learning_responsibilityWrap__11juJ:focus-visible,.verification-learning_strategyMatrix__zZD8n:focus-visible{outline-color:var(--violet);box-shadow:0 0 0 5px rgba(101,24,255,.12)}.verification-learning_responsibilityTable__YmQ2K{width:100%;min-width:720px;border-collapse:collapse;background:white}.verification-learning_responsibilityTable__YmQ2K td,.verification-learning_responsibilityTable__YmQ2K th{padding:14px 16px;border-bottom:1px solid var(--line);text-align:left;vertical-align:top;font-size:14px;line-height:1.45}.verification-learning_responsibilityTable__YmQ2K th{background:#f1f4f9;color:#31415a;font-size:12px;letter-spacing:.08em;text-transform:uppercase}.verification-learning_responsibilityTable__YmQ2K tbody th{background:white;color:var(--violet);font-size:14px;font-weight:800;letter-spacing:0;text-transform:none}.verification-learning_responsibilityTable__YmQ2K tr:last-child td,.verification-learning_responsibilityTable__YmQ2K tr:last-child th{border-bottom:0}.verification-learning_interviewAnswer__FK9Qg{display:grid;grid-template-columns:auto 1fr;gap:18px;padding:23px;border:1px solid rgba(101,24,255,.25);border-radius:20px;background:linear-gradient(115deg,#f6f2ff,#f5fcff)}.verification-learning_interviewAnswer__FK9Qg>b{display:grid;width:44px;height:44px;place-items:center;border-radius:13px;background:var(--violet);color:white;font-size:20px}.verification-learning_interviewAnswer__FK9Qg ol{margin:0;padding-left:20px}.verification-learning_interviewAnswer__FK9Qg li{margin:5px 0 9px;color:#34445f;font-size:16px;line-height:1.55}.verification-learning_codeGrid__4RLvQ{display:grid;grid-template-columns:minmax(0,1fr);gap:14px}.verification-learning_codeCard__TcaSo{min-width:0;overflow:hidden;border:1px solid #173153;border-radius:18px;background:var(--deep)}.verification-learning_codeCard__TcaSo header{display:flex;justify-content:space-between;gap:12px;padding:12px 15px;border-bottom:1px solid #234567;color:white;font-size:13px;font-weight:800}.verification-learning_codeCard__TcaSo header span{color:#7fdfff;font-size:11px;letter-spacing:.08em;text-transform:uppercase}.verification-learning_codeCard__TcaSo pre{max-height:430px;margin:0;padding:17px;overflow:auto;color:#deebfb;font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:14px;line-height:1.55;tab-size:2}.verification-learning_codeCard__TcaSo p{margin:0;padding:13px 16px 16px;border-top:1px solid #234567;color:#aebfd4;font-size:13px;line-height:1.45}.verification-learning_questionList__Njt_m{display:grid;gap:9px}.verification-learning_questionList__Njt_m details{border:1px solid var(--line);border-radius:15px;background:white}.verification-learning_questionList__Njt_m summary{display:grid;grid-template-columns:1fr auto;gap:15px;align-items:center;padding:15px 17px;color:var(--ink);font-size:15px;font-weight:800;cursor:pointer;list-style:none}.verification-learning_questionList__Njt_m summary::-webkit-details-marker{display:none}.verification-learning_questionList__Njt_m summary:after{color:var(--violet);font-size:20px;content:"+"}.verification-learning_questionList__Njt_m details[open] summary:after{content:"−"}.verification-learning_questionList__Njt_m details p{margin:0;padding:0 17px 17px;color:var(--muted);font-size:15px;line-height:1.55}.verification-learning_accuracyNote__Y_H1V{margin-top:16px;padding:16px 18px;border-left:4px solid var(--amber);border-radius:8px 15px 15px 8px;background:#fff8e9}.verification-learning_accuracyNote__Y_H1V strong{display:block;margin-bottom:5px;color:#925e00;font-size:12px;letter-spacing:.08em;text-transform:uppercase}.verification-learning_accuracyNote__Y_H1V p{margin:5px 0;color:#66522e;font-size:14px;line-height:1.5}.verification-learning_sourceMapGrid__EbNyL>div{padding:18px;border:1px solid var(--line);border-radius:18px;background:rgba(255,255,255,.84)}.verification-learning_sourceMapGrid__EbNyL strong{color:var(--violet);font-size:13px;letter-spacing:.08em;text-transform:uppercase}.verification-learning_sourceMapGrid__EbNyL p{margin:6px 0 0;color:var(--muted);font-size:14px;line-height:1.45}.verification-learning_continueSection__12ZIk{margin-top:74px;padding-top:30px;border-top:1px solid var(--line)}.verification-learning_continueGrid__IkBmY a{min-height:160px;display:flex;flex-direction:column;gap:10px;padding:22px;border:1px solid var(--line);border-radius:21px;background:white;color:inherit;text-decoration:none}.verification-learning_continueGrid__IkBmY a:focus-visible,.verification-learning_continueGrid__IkBmY a:hover{border-color:var(--violet)}.verification-learning_continueGrid__IkBmY span{color:var(--violet);font-size:12px;font-weight:850;letter-spacing:.1em;text-transform:uppercase}.verification-learning_continueGrid__IkBmY strong{font-size:24px}.verification-learning_continueGrid__IkBmY small{color:var(--muted);font-size:15px;line-height:1.5}.verification-learning_continueGrid__IkBmY b{margin-top:auto;color:var(--violet);font-size:14px}.verification-learning_footer__iOSPh{width:min(1280px,calc(100% - 40px));min-height:74px;display:grid;grid-template-columns:auto minmax(0,1fr) auto;gap:24px;align-items:center;margin:0 auto 18px;padding:12px 16px;border:1px solid var(--line);border-radius:20px;background:rgba(255,255,255,.9);box-shadow:0 12px 35px rgba(16,35,62,.07)}.verification-learning_footerIdentity__w3CDY{display:flex;align-items:center;gap:10px;color:var(--muted);font-size:13px;font-weight:700}.verification-learning_footerIdentity__w3CDY img{width:35px;height:39px;object-fit:contain}.verification-learning_footer__iOSPh nav{display:flex;gap:8px 18px;overflow-x:auto}.verification-learning_footer__iOSPh a{color:#34445f;font-size:13px;font-weight:750;text-decoration:none;white-space:nowrap}.verification-learning_footer__iOSPh>a{color:var(--violet)}.verification-learning_strategyMatrix__zZD8n{overflow-x:auto;border:1px solid var(--line);border-radius:22px;background:white}.verification-learning_strategyMatrix__zZD8n table{width:100%;min-width:1080px;border-collapse:collapse}.verification-learning_strategyMatrix__zZD8n td,.verification-learning_strategyMatrix__zZD8n th{padding:14px;border-right:1px solid var(--line);border-bottom:1px solid var(--line);text-align:left;vertical-align:top;color:#44536a;font-size:13px;line-height:1.48}.verification-learning_strategyMatrix__zZD8n th{background:#edf1f7;color:var(--ink);font-size:12px;letter-spacing:.05em}.verification-learning_strategyMatrix__zZD8n td:last-child,.verification-learning_strategyMatrix__zZD8n th:last-child,.verification-learning_strategyMatrix__zZD8n tr:last-child td{border-right:0}.verification-learning_architecture__Sjt8g{scroll-margin-top:148px;margin-top:18px;border:1px solid var(--line);border-radius:24px;background:white}.verification-learning_architecture__Sjt8g>summary{display:grid;grid-template-columns:1fr auto;gap:16px;padding:22px 24px;cursor:pointer;list-style:none}.verification-learning_architecture__Sjt8g>summary::-webkit-details-marker{display:none}.verification-learning_architecture__Sjt8g>summary:after{display:grid;width:34px;height:34px;place-items:center;border-radius:50%;background:var(--soft-violet);color:var(--violet);font-size:21px;content:"+"}.verification-learning_architecture__Sjt8g[open]>summary:after{content:"−"}.verification-learning_architecture__Sjt8g summary h3{margin:0;font-size:28px;letter-spacing:-.03em}.verification-learning_architecture__Sjt8g summary p{max-width:900px;margin:7px 0 0;color:var(--muted);font-size:15px;line-height:1.5}.verification-learning_architectureBody__TjDlX{padding:0 24px 24px}.verification-learning_architectureDiagram__u_pnT{--topology-accent:#70e1ff;--topology-secondary:#8a5cff;position:relative;display:grid;grid-template-columns:minmax(0,1fr);grid-template-areas:"topology" "flow";gap:16px;padding:20px;overflow:hidden;border-radius:19px;background:radial-gradient(circle at 78% 18%,color-mix(in srgb,var(--topology-secondary) 30%,transparent),transparent 34%),linear-gradient(145deg,#06172d,#0d2241)}.verification-learning_architectureDiagram__u_pnT[data-topology=memory]{--topology-accent:#ffd071;--topology-secondary:#d48600}.verification-learning_architectureDiagram__u_pnT[data-topology=accelerator]{--topology-accent:#7ce6ae;--topology-secondary:#0a9c6a}.verification-learning_architectureDiagram__u_pnT[data-topology=coherency]{--topology-accent:#ff8bdc;--topology-secondary:#9b4dff}.verification-learning_architectureDiagram__u_pnT[data-topology=control]{--topology-accent:#ffad6a;--topology-secondary:#df4e7b}.verification-learning_architectureTopology__cB_Nx>div:first-of-type{grid-area:topology}.verification-learning_topologyAccelerator__xhGxU,.verification-learning_topologyCoherency__N48cR,.verification-learning_topologyControl__wm_nx,.verification-learning_topologyFabric__ThXU0,.verification-learning_topologyMemory___wj9n{position:relative;z-index:2;display:grid;gap:10px}.verification-learning_topologyFabric__ThXU0{grid-template-columns:minmax(150px,.85fr) auto minmax(220px,1.2fr) auto minmax(150px,.85fr);grid-template-areas:"coordinate coordinate coordinate coordinate coordinate" "ingress request fabric response egress" "observe observe observe observe observe" "evidence evidence evidence evidence evidence"}.verification-learning_topologyFabric__ThXU0>[data-stage=coordinate]{grid-area:coordinate}.verification-learning_topologyFabric__ThXU0>[data-lane=ingress]{grid-area:ingress}.verification-learning_topologyFabric__ThXU0>[data-lane=egress]{grid-area:egress}.verification-learning_topologyFabric__ThXU0>[data-cluster=switching]{grid-area:fabric}.verification-learning_topologyFabric__ThXU0>[data-cluster=observe]{grid-area:observe}.verification-learning_topologyFabric__ThXU0>.verification-learning_topologyEvidence__xaFUT{grid-area:evidence}.verification-learning_topologyMemory___wj9n{grid-template-columns:minmax(180px,.8fr) auto minmax(260px,1.2fr) minmax(180px,.8fr) minmax(180px,.8fr);grid-template-areas:"queue arrow controller banks integrity" "evidence evidence evidence evidence evidence"}.verification-learning_topologyMemory___wj9n>[data-queue=request]{grid-area:queue}.verification-learning_topologyMemory___wj9n>[data-cluster=controller]{grid-area:controller}.verification-learning_topologyMemory___wj9n>[data-cluster=bank-rules]{grid-area:banks}.verification-learning_topologyMemory___wj9n>[data-cluster=integrity]{grid-area:integrity}.verification-learning_topologyMemory___wj9n>.verification-learning_topologyEvidence__xaFUT{grid-area:evidence}.verification-learning_topologyAccelerator__xhGxU{grid-template-columns:minmax(155px,.72fr) minmax(155px,.72fr) minmax(280px,1.35fr) auto minmax(190px,.85fr);grid-template-areas:"command stream compute commit observe" "evidence evidence evidence evidence evidence"}.verification-learning_topologyAccelerator__xhGxU>[data-lane=command]{grid-area:command}.verification-learning_topologyAccelerator__xhGxU>[data-lane=stream]{grid-area:stream}.verification-learning_topologyAccelerator__xhGxU>.verification-learning_topologyCompute__axFGW{grid-area:compute}.verification-learning_topologyAccelerator__xhGxU>.verification-learning_topologyCommit__BPGWv{grid-area:commit}.verification-learning_topologyAccelerator__xhGxU>[data-cluster=observe]{grid-area:observe}.verification-learning_topologyAccelerator__xhGxU>.verification-learning_topologyEvidence__xaFUT{grid-area:evidence}.verification-learning_topologyCoherency__N48cR{grid-template-columns:minmax(180px,.85fr) minmax(260px,1.3fr) minmax(180px,.85fr);grid-template-areas:"race race race" "agents directory memory" "protocol protocol protocol" "evidence evidence evidence"}.verification-learning_topologyCoherency__N48cR>[data-event=race]{grid-area:race}.verification-learning_topologyCoherency__N48cR>[data-agent=requesters]{grid-area:agents}.verification-learning_topologyCoherency__N48cR>.verification-learning_topologyDirectory__eZevK{grid-area:directory}.verification-learning_topologyCoherency__N48cR>[data-agent=memory]{grid-area:memory}.verification-learning_topologyCoherency__N48cR>[data-cluster=protocol]{grid-area:protocol}.verification-learning_topologyCoherency__N48cR>.verification-learning_topologyEvidence__xaFUT{grid-area:evidence}.verification-learning_topologyControl__wm_nx{grid-template-columns:minmax(210px,.9fr) auto minmax(280px,1.25fr) minmax(220px,.95fr);grid-template-areas:"events arrow state transitions" "evidence evidence evidence evidence"}.verification-learning_topologyControl__wm_nx>[data-event=asynchronous]{grid-area:events}.verification-learning_topologyControl__wm_nx>.verification-learning_topologyState__GsDRr{grid-area:state}.verification-learning_topologyControl__wm_nx>.verification-learning_topologyTransition__B4q9_{grid-area:transitions}.verification-learning_topologyControl__wm_nx>.verification-learning_topologyEvidence__xaFUT{grid-area:evidence}.verification-learning_topologyAgent__3DQrw,.verification-learning_topologyCluster__1CYUP,.verification-learning_topologyCompute__axFGW,.verification-learning_topologyDirectory__eZevK,.verification-learning_topologyEvent__G5o53,.verification-learning_topologyEvidence__xaFUT>div,.verification-learning_topologyLane__Pus83,.verification-learning_topologyQueue__Mkrwf,.verification-learning_topologyStage__FdJRb,.verification-learning_topologyState__GsDRr,.verification-learning_topologyTransition__B4q9_{min-width:0;padding:14px;border:1px solid color-mix(in srgb,var(--topology-accent) 34%,transparent);border-radius:14px;background:rgba(255,255,255,.055)}.verification-learning_topologyCluster__1CYUP[data-cluster=switching],.verification-learning_topologyCompute__axFGW,.verification-learning_topologyDirectory__eZevK,.verification-learning_topologyState__GsDRr{border-color:color-mix(in srgb,var(--topology-secondary) 68%,white 10%);background:color-mix(in srgb,var(--topology-secondary) 20%,rgba(255,255,255,.055))}.verification-learning_topologyLabel__uHFje{display:block;margin-bottom:9px;color:var(--topology-accent);font-size:10px;font-weight:850;letter-spacing:.1em;text-transform:uppercase}.verification-learning_topologyNode__XXdQ2+.verification-learning_topologyNode__XXdQ2{margin-top:7px}.verification-learning_topologyNode__XXdQ2{padding:9px 10px;border-left:3px solid var(--topology-accent);border-radius:8px;background:rgba(4,14,29,.42)}.verification-learning_topologyNode__XXdQ2 strong{display:block;color:white;font-size:13px;line-height:1.25}.verification-learning_topologyNode__XXdQ2 p{margin:4px 0 0;color:#afc0d5;font-size:11px;line-height:1.4}.verification-learning_topologyConnector__5c10V{min-width:52px;display:grid;align-self:center;place-items:center;color:var(--topology-accent);font-size:10px;font-style:normal;font-weight:750;line-height:1.3;text-align:center}.verification-learning_topologyFabric__ThXU0>.verification-learning_topologyConnector__5c10V:first-of-type{grid-area:request}.verification-learning_topologyFabric__ThXU0>.verification-learning_topologyConnector__5c10V:nth-of-type(2){grid-area:response}.verification-learning_topologyControl__wm_nx>.verification-learning_topologyConnector__5c10V,.verification-learning_topologyMemory___wj9n>.verification-learning_topologyConnector__5c10V{grid-area:arrow}.verification-learning_topologyEvidence__xaFUT{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:10px}.verification-learning_topologyAgent__3DQrw>div,.verification-learning_topologyBank__PkNvN,.verification-learning_topologyCompute__axFGW>ol,.verification-learning_topologyDirectory__eZevK>div,.verification-learning_topologyPayload__EEeJw,.verification-learning_topologyState__GsDRr>ol{display:grid;gap:5px;margin:11px 0 0;padding:0;list-style:none}.verification-learning_topologyAgent__3DQrw>div,.verification-learning_topologyBank__PkNvN,.verification-learning_topologyDirectory__eZevK>div,.verification-learning_topologyPayload__EEeJw{grid-template-columns:repeat(3,minmax(0,1fr))}.verification-learning_topologyBank__PkNvN{grid-template-columns:repeat(4,minmax(0,1fr))}.verification-learning_topologySchedule__KKOXu{display:grid;gap:7px;margin:12px 0 0;padding:12px 0 0;border-top:1px solid color-mix(in srgb,var(--topology-accent) 25%,transparent);list-style:none}.verification-learning_topologySchedule__KKOXu li{position:relative;display:grid;min-height:43px;grid-template-columns:25px minmax(0,1fr);gap:9px;align-items:center;padding:7px 9px;border-left:2px solid color-mix(in srgb,var(--topology-accent) 72%,white 8%);border-radius:8px;background:linear-gradient(90deg,color-mix(in srgb,var(--topology-accent) 12%,transparent),rgba(4,14,29,.28))}.verification-learning_topologySchedule__KKOXu li:not(:last-child):after{position:absolute;z-index:2;bottom:-9px;left:16px;color:var(--topology-accent);content:"↓";font:800 10px/1 SFMono-Regular,Consolas,monospace}.verification-learning_topologySchedule__KKOXu b{display:grid;width:25px;height:25px;place-items:center;border:1px solid color-mix(in srgb,var(--topology-accent) 55%,transparent);border-radius:50%;color:var(--topology-accent);font:800 9px/1 SFMono-Regular,Consolas,monospace}.verification-learning_topologySchedule__KKOXu small,.verification-learning_topologySchedule__KKOXu strong{display:block}.verification-learning_topologySchedule__KKOXu strong{color:white;font-size:11px;line-height:1.2}.verification-learning_topologySchedule__KKOXu small{margin-top:3px;color:#afc0d5;font:650 9px/1.35 SFMono-Regular,Consolas,monospace}.verification-learning_topologyAgent__3DQrw>div span,.verification-learning_topologyBank__PkNvN span,.verification-learning_topologyCompute__axFGW li,.verification-learning_topologyDirectory__eZevK>div span,.verification-learning_topologyPayload__EEeJw span,.verification-learning_topologyState__GsDRr li{padding:6px;border:1px solid color-mix(in srgb,var(--topology-accent) 26%,transparent);border-radius:7px;color:#d9e7f6;font:750 9px/1.25 SFMono-Regular,Consolas,monospace;text-align:center}.verification-learning_topologyCompute__axFGW ol{grid-template-columns:repeat(4,minmax(0,1fr))}.verification-learning_topologyCompute__axFGW li:not(:last-child):after,.verification-learning_topologyState__GsDRr li:not(:last-child):after{margin-left:6px;color:var(--topology-accent);content:"›"}.verification-learning_topologyState__GsDRr ol{grid-template-columns:repeat(4,minmax(0,1fr))}.verification-learning_topologyCommit__BPGWv{display:grid;align-self:center;justify-items:center;color:var(--topology-accent);font-size:9px;font-weight:800;text-align:center;text-transform:uppercase}.verification-learning_topologyCommit__BPGWv i{margin-top:5px;font-size:18px;font-style:normal}.verification-learning_architectureFlow__GBAQD{grid-area:flow;grid-column:1/-1;position:relative;z-index:2;display:grid;grid-template-columns:repeat(auto-fit,minmax(140px,1fr));gap:8px;margin:2px 0 0;padding:11px;border:1px solid rgba(119,221,255,.16);border-radius:13px;background:rgba(3,13,27,.52);list-style:none;counter-reset:architecture-flow}.verification-learning_architectureFlow__GBAQD li{position:relative;min-height:45px;display:flex;align-items:center;gap:9px;padding:8px 10px;border-radius:10px;background:rgba(255,255,255,.045);color:#d7e7f7;font-size:12px;font-weight:700;line-height:1.35;counter-increment:architecture-flow}.verification-learning_architectureFlow__GBAQD li:before{display:none}.verification-learning_architectureFlow__GBAQD li>span{display:grid;width:23px;height:23px;flex:0 0 23px;place-items:center;border-radius:7px;background:linear-gradient(135deg,rgba(101,24,255,.62),rgba(235,32,188,.48));color:white;font-family:SFMono-Regular,Consolas,monospace;font-size:9px;font-weight:850}.verification-learning_architectureFlow__GBAQD li:not(:last-child):after{position:absolute;right:-7px;color:#70e1ff;content:"›"}.verification-learning_architectureEvidence__inBKH{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:10px;margin-top:12px}.verification-learning_architectureEvidence__inBKH>div{padding:15px;border:1px solid var(--line);border-radius:15px;background:#fbfcff}.verification-learning_architectureEvidence__inBKH strong{display:block;margin-bottom:8px;color:var(--violet);font-size:12px;letter-spacing:.07em;text-transform:uppercase}.verification-learning_architectureEvidence__inBKH ul{margin:0;padding-left:17px}.verification-learning_architectureEvidence__inBKH li{margin:5px 0;color:#4a5870;font-size:13px;line-height:1.42}.verification-learning_phaseTimeline__bN58Q{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:14px}.verification-learning_phaseTimeline__bN58Q a{min-height:145px;padding:19px;border:1px solid var(--line);border-radius:19px;background:white;color:inherit;text-decoration:none}.verification-learning_phaseTimeline__bN58Q span{color:var(--violet);font-size:12px;font-weight:850;letter-spacing:.1em}.verification-learning_phaseTimeline__bN58Q strong{display:block;margin-top:8px;font-size:24px}.verification-learning_phaseTimeline__bN58Q p{margin:7px 0 0;color:var(--muted);font-size:14px;line-height:1.45}.verification-learning_phase__Ub8dU{scroll-margin-top:148px;margin-top:54px;padding:30px;border:1px solid var(--line);border-radius:25px;background:rgba(255,255,255,.9)}.verification-learning_phase__Ub8dU>header{display:grid;grid-template-columns:auto 1fr;gap:18px;align-items:center;margin-bottom:19px}.verification-learning_phaseNumber__bF_eu{display:grid;width:58px;height:58px;place-items:center;border-radius:17px;background:linear-gradient(135deg,var(--violet),var(--magenta));color:white;font-size:20px;font-weight:850}.verification-learning_phase__Ub8dU h2{margin:0;font-size:38px;letter-spacing:-.04em}.verification-learning_phase__Ub8dU header p{margin:5px 0 0;color:var(--muted);font-size:16px}.verification-learning_phaseSections__ZcSAl{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px}.verification-learning_phaseSections__ZcSAl>div{padding:18px;border:1px solid var(--line);border-radius:17px;background:#fbfcff}.verification-learning_phaseSections__ZcSAl h3{margin:0 0 8px;font-size:17px}.verification-learning_phaseSections__ZcSAl ul{margin:0;padding-left:18px}.verification-learning_phaseSections__ZcSAl li{margin:5px 0;color:#4a5870;font-size:14px;line-height:1.45}@keyframes verification-learning_particleDrift__OVE4y{0%{transform:translate3d(-5px,-10px,0);opacity:.18}to{transform:translate3d(8px,12px,0);opacity:.52}}@keyframes verification-learning_signalTrace__rN7Qq{0%{left:-260px;opacity:0}7%,88%{opacity:.28}to{left:calc(100vw + 80px);opacity:0}}@media (max-width:1050px){.verification-learning_hero__IPDvL,.verification-learning_hero__IPDvL[data-variant=atlas],.verification-learning_hero__IPDvL[data-variant=blueprint],.verification-learning_hero__IPDvL[data-variant=family]{grid-template-columns:1fr}.verification-learning_heroMap__p3bIi{min-height:290px}.verification-learning_atlasBoard__ZurOd{grid-template-areas:"core core" "state concurrency" "reactive scalable"}.verification-learning_architectureEvidence__inBKH,.verification-learning_atlasBoard__ZurOd,.verification-learning_evidenceGrid__AijzZ,.verification-learning_symptomGrid__AIYcN{grid-template-columns:repeat(2,minmax(0,1fr))}.verification-learning_architectureEvidence__inBKH>:last-child:nth-child(odd),.verification-learning_evidenceGrid__AijzZ>:last-child:nth-child(odd){grid-column:1/-1}.verification-learning_architectureDiagram__u_pnT{grid-template-columns:minmax(0,1fr);grid-template-areas:"topology" "flow"}.verification-learning_topologyFabric__ThXU0{grid-template-columns:repeat(2,minmax(0,1fr));grid-template-areas:"coordinate coordinate" "ingress egress" "fabric fabric" "observe observe" "evidence evidence"}.verification-learning_topologyMemory___wj9n{grid-template-columns:repeat(2,minmax(0,1fr));grid-template-areas:"queue controller" "banks integrity" "evidence evidence"}.verification-learning_topologyAccelerator__xhGxU{grid-template-columns:repeat(2,minmax(0,1fr));grid-template-areas:"command stream" "compute compute" "observe observe" "evidence evidence"}.verification-learning_topologyCoherency__N48cR{grid-template-columns:repeat(2,minmax(0,1fr));grid-template-areas:"race race" "agents memory" "directory directory" "protocol protocol" "evidence evidence"}.verification-learning_topologyControl__wm_nx{grid-template-columns:repeat(2,minmax(0,1fr));grid-template-areas:"events state" "transitions transitions" "evidence evidence"}.verification-learning_topologyCommit__BPGWv,.verification-learning_topologyConnector__5c10V{display:none}.verification-learning_specialVisual__z3Ygh[data-visual=irq]{grid-template-columns:repeat(2,minmax(0,1fr))}.verification-learning_irqLine__Rae5w,.verification-learning_irqService__9AdWO,.verification-learning_specialVisual__z3Ygh[data-visual=irq] .verification-learning_specialVisualCaption__VWeG7{grid-column:1/-1}.verification-learning_irqLine__Rae5w{min-height:34px}.verification-learning_specialVisual__z3Ygh[data-visual=cdc],.verification-learning_specialVisual__z3Ygh[data-visual=firmware]{grid-template-columns:1fr}.verification-learning_faultPipeline__jQsLv,.verification-learning_powerSequence__QxhvG,.verification-learning_resetTimeline__Z7hpL{grid-template-columns:repeat(3,minmax(0,1fr))}}@media (max-width:760px){.verification-learning_footer__iOSPh,.verification-learning_main___bxgF{width:min(100% - 24px,1280px)}.verification-learning_main___bxgF{padding-top:14px}.verification-learning_main___bxgF :where(section,article)[id]{scroll-margin-top:148px}.verification-learning_chapterRail__NT6_4{top:67px}.verification-learning_hero__IPDvL{margin-top:14px;padding:25px 20px;border-radius:25px}.verification-learning_hero__IPDvL h1{font-size:clamp(41px,11vw,54px)}.verification-learning_hero__IPDvL[data-variant=atlas] .verification-learning_heroCopy__Mn8zO,.verification-learning_hero__IPDvL[data-variant=blueprint] .verification-learning_heroCopy__Mn8zO{grid-template-columns:1fr;grid-template-areas:"eyebrow" "title" "promise" "lead" "outcome" "meta"}.verification-learning_hero__IPDvL[data-variant=atlas] .verification-learning_heroLead__5DwLR,.verification-learning_hero__IPDvL[data-variant=blueprint] .verification-learning_heroLead__5DwLR{margin-top:22px}.verification-learning_codeGrid__4RLvQ,.verification-learning_continueGrid__IkBmY,.verification-learning_familyGrid__nTn6L,.verification-learning_heroMap__p3bIi,.verification-learning_phaseSections__ZcSAl,.verification-learning_phaseTimeline__bN58Q,.verification-learning_tradeoffGrid__t2WHY{grid-template-columns:1fr}.verification-learning_blueprintFlow__BF23J{grid-template-columns:repeat(2,minmax(0,1fr))}.verification-learning_blueprintFlow__BF23J>i{display:none}.verification-learning_blueprintRules__EN5PX{grid-template-columns:1fr}.verification-learning_atlasBoard__ZurOd{padding:0}.verification-learning_heroMap__p3bIi .verification-learning_atlasZone__QnLax{min-height:148px;padding:15px 16px}.verification-learning_symptomGrid__AIYcN{grid-template-columns:repeat(2,minmax(0,1fr))}.verification-learning_sectionLead__O2kvu{grid-template-columns:1fr;gap:8px}.verification-learning_sectionLead__O2kvu span{grid-column:1}.verification-learning_caseStudy__w5oDq{padding:22px 17px;border-radius:23px}.verification-learning_caseHeader__kg3GI{grid-template-columns:1fr}.verification-learning_caseContract__PMe5h,.verification-learning_pageBadge__27jN8{justify-self:start}.verification-learning_diagramHeader__RDsz3{display:block}.verification-learning_diagramHeader__RDsz3 p{margin-top:7px}.verification-learning_architectureEvidence__inBKH,.verification-learning_evidenceGrid__AijzZ,.verification-learning_sourceMapGrid__EbNyL{grid-template-columns:1fr}.verification-learning_architectureEvidence__inBKH>:last-child:nth-child(odd),.verification-learning_evidenceGrid__AijzZ>:last-child:nth-child(odd){grid-column:auto}.verification-learning_tradeoffSides__dPA2b{grid-template-columns:1fr}.verification-learning_tradeoffSides__dPA2b>div+div{border-top:1px solid var(--line);border-left:0}.verification-learning_architectureDiagram__u_pnT{grid-template-columns:1fr;grid-template-areas:"topology" "flow"}.verification-learning_topologyAccelerator__xhGxU,.verification-learning_topologyCoherency__N48cR,.verification-learning_topologyControl__wm_nx,.verification-learning_topologyFabric__ThXU0,.verification-learning_topologyMemory___wj9n{grid-template-columns:1fr}.verification-learning_topologyFabric__ThXU0{grid-template-areas:"coordinate" "ingress" "fabric" "egress" "observe" "evidence"}.verification-learning_topologyMemory___wj9n{grid-template-areas:"queue" "controller" "banks" "integrity" "evidence"}.verification-learning_topologyAccelerator__xhGxU{grid-template-areas:"command" "stream" "compute" "observe" "evidence"}.verification-learning_topologyCoherency__N48cR{grid-template-areas:"race" "agents" "directory" "memory" "protocol" "evidence"}.verification-learning_topologyControl__wm_nx{grid-template-areas:"events" "state" "transitions" "evidence"}.verification-learning_architectureFlow__GBAQD{grid-template-columns:repeat(2,minmax(0,1fr))}.verification-learning_specialVisual__z3Ygh[data-visual=cdc],.verification-learning_specialVisual__z3Ygh[data-visual=deadlock],.verification-learning_specialVisual__z3Ygh[data-visual=firmware],.verification-learning_specialVisual__z3Ygh[data-visual=performance]{grid-template-columns:1fr}.verification-learning_deadlockRing__esFYY{min-height:210px}.verification-learning_cdcChain__yqcFH,.verification-learning_cdcWaves__x7M45,.verification-learning_firmwareChoices__s_dwa,.verification-learning_firmwareLoop__k7ZXC,.verification-learning_histogram__7NHKg,.verification-learning_metricStrip__L0upe{grid-column:1}.verification-learning_cdcChain__yqcFH{grid-template-columns:1fr}.verification-learning_cdcChain__yqcFH>i{justify-self:center;transform:rotate(90deg)}.verification-learning_firmwareLoop__k7ZXC{grid-template-columns:repeat(2,minmax(0,1fr))}.verification-learning_firmwareLoop__k7ZXC span:last-child{grid-column:1/-1}.verification-learning_exceptionLedger__oWRqm,.verification-learning_faultPipeline__jQsLv,.verification-learning_powerSequence__QxhvG,.verification-learning_qosRequesters__3etqU,.verification-learning_reconfigurationChecks__TXkOw,.verification-learning_resetTimeline__Z7hpL,.verification-learning_wakeContract__dNpQM{grid-template-columns:repeat(2,minmax(0,1fr))}.verification-learning_broadcastTopology__tcZm6,.verification-learning_polymorphicTopology__xTANn,.verification-learning_powerTopology__eYvre,.verification-learning_resetEpochs__8S40j,.verification-learning_visibilityModel__J_sDU{grid-template-columns:1fr}.verification-learning_polymorphicTopology__xTANn>i,.verification-learning_powerTopology__eYvre>i,.verification-learning_resetEpochs__8S40j>i{transform:none}.verification-learning_visibilityModel__J_sDU>i{transform:rotate(90deg)}.verification-learning_orderingLanes__5sWad>span{grid-template-columns:70px repeat(4,minmax(42px,auto))}.verification-learning_orderingLanes__5sWad em{grid-column:1/-1;text-align:left}.verification-learning_footer__iOSPh{grid-template-columns:1fr;gap:12px}.verification-learning_motionToggle__sEp6_{right:10px}}@media (max-width:540px){.verification-learning_heroMap__p3bIi{grid-template-columns:1fr}.verification-learning_heroMap__p3bIi a,.verification-learning_heroMap__p3bIi>div{min-height:105px}.verification-learning_failureAtlas__JmHfq,.verification-learning_familyContract__8PkKe,.verification-learning_strategyBlueprint__qgVPN{padding:17px}.verification-learning_atlasBoard__ZurOd,.verification-learning_blueprintFlow__BF23J,.verification-learning_familyContract__8PkKe ol,.verification-learning_symptomGrid__AIYcN{grid-template-columns:1fr}.verification-learning_atlasBoard__ZurOd{grid-template-areas:"core" "state" "concurrency" "reactive" "scalable"}.verification-learning_atlasCore__RTEpY{grid-column:auto}.verification-learning_caseHeader__kg3GI h2{font-size:38px}.verification-learning_interviewAnswer__FK9Qg{grid-template-columns:1fr}.verification-learning_phase__Ub8dU{padding:22px 17px}.verification-learning_architectureFlow__GBAQD,.verification-learning_firmwareLoop__k7ZXC,.verification-learning_irqService__9AdWO,.verification-learning_irqSources__M3LHL,.verification-learning_metricStrip__L0upe,.verification-learning_phase__Ub8dU>header{grid-template-columns:1fr}.verification-learning_architectureFlow__GBAQD li:not(:last-child):after{right:50%;bottom:-8px;transform:translateX(50%) rotate(90deg)}.verification-learning_progressMeters__1d098>div{grid-template-columns:1fr auto}.verification-learning_progressMeters__1d098 i{grid-column:1/-1}.verification-learning_lifecycle__afOo2{gap:4px}.verification-learning_lifecycle__afOo2:before{right:16%;left:16%}.verification-learning_firmwareLoop__k7ZXC span:last-child{grid-column:auto}.verification-learning_broadcastTargets__xDmBk,.verification-learning_exceptionLedger__oWRqm,.verification-learning_faultPipeline__jQsLv,.verification-learning_implementationDeck__K_GX_,.verification-learning_powerSequence__QxhvG,.verification-learning_qosRequesters__3etqU,.verification-learning_reconfigurationChecks__TXkOw,.verification-learning_resetTimeline__Z7hpL,.verification-learning_topologyEvidence__xaFUT,.verification-learning_wakeContract__dNpQM{grid-template-columns:1fr}.verification-learning_orderingLanes__5sWad>span{grid-template-columns:repeat(2,minmax(0,1fr))}.verification-learning_orderingLanes__5sWad b,.verification-learning_orderingLanes__5sWad em{grid-column:1/-1}}@media (prefers-reduced-motion:reduce){.verification-learning_ambientField__TolKH>b,.verification-learning_familyCard__oHuqk,.verification-learning_heroMap__p3bIi a,.verification-learning_traceLayer__o5HIo i{animation:none!important;transition:none!important}}@media (prefers-contrast:more){.verification-learning_page__r_Y33{--muted:#35435a;--line:#8c99ab;--line-strong:#66748a}.verification-learning_page__r_Y33 :where(a,button,summary,[tabindex]):focus-visible{outline-width:4px;outline-offset:4px}.verification-learning_architecture__Sjt8g,.verification-learning_caseStudy__w5oDq,.verification-learning_familyCard__oHuqk,.verification-learning_footer__iOSPh,.verification-learning_hero__IPDvL,.verification-learning_phase__Ub8dU,.verification-learning_questionList__Njt_m details,.verification-learning_responsibilityWrap__11juJ,.verification-learning_tradeoffCard__Jt9L2{border-width:2px}.verification-learning_diagramNode__Nw_rh,.verification-learning_heroMap__p3bIi a,.verification-learning_specialVisual__z3Ygh>:not(figcaption),.verification-learning_topologyAgent__3DQrw,.verification-learning_topologyCluster__1CYUP,.verification-learning_topologyCompute__axFGW,.verification-learning_topologyDirectory__eZevK,.verification-learning_topologyEvent__G5o53,.verification-learning_topologyLane__Pus83,.verification-learning_topologyNode__XXdQ2,.verification-learning_topologyQueue__Mkrwf,.verification-learning_topologyStage__FdJRb,.verification-learning_topologyState__GsDRr,.verification-learning_topologyTransition__B4q9_{border-color:rgba(255,255,255,.55)}.verification-learning_diagramNode__Nw_rh span,.verification-learning_heroMap__p3bIi small,.verification-learning_specialVisualCaption__VWeG7 p,.verification-learning_topologyNode__XXdQ2 p{color:#d2deed}}@media (forced-colors:active){.verification-learning_page__r_Y33{--paper:Canvas;--paper-strong:Canvas;--ink:CanvasText;--muted:CanvasText;--line:CanvasText;--line-strong:CanvasText;--violet:LinkText;--magenta:LinkText;--cyan:Highlight;--amber:CanvasText;--green:CanvasText;--deep:Canvas;--soft-violet:Canvas;background:Canvas;color:CanvasText}.verification-learning_ambientField__TolKH,.verification-learning_heroMap__p3bIi:before,.verification-learning_hero__IPDvL:after,.verification-learning_readingProgress__T1bt7,.verification-learning_specialVisual__z3Ygh:before{display:none}.verification-learning_architectureDiagram__u_pnT,.verification-learning_architectureEvidence__inBKH>div,.verification-learning_architectureFlow__GBAQD,.verification-learning_architectureFlow__GBAQD li,.verification-learning_architecture__Sjt8g,.verification-learning_caseDiagram__wTLxY,.verification-learning_caseStudy__w5oDq,.verification-learning_codeCard__TcaSo,.verification-learning_diagramNode__Nw_rh,.verification-learning_evidenceCard__qPLfW,.verification-learning_failureAtlas__JmHfq,.verification-learning_familyCard__oHuqk,.verification-learning_familyContract__8PkKe,.verification-learning_footer__iOSPh,.verification-learning_gatingScope__RqTXN,.verification-learning_heroMap__p3bIi,.verification-learning_hero__IPDvL,.verification-learning_interviewAnswer__FK9Qg,.verification-learning_phaseSections__ZcSAl>div,.verification-learning_phase__Ub8dU,.verification-learning_qosTimeline__TDdd6,.verification-learning_qosTraceRow__XyOdh span,.verification-learning_questionList__Njt_m details,.verification-learning_responsibilityWrap__11juJ,.verification-learning_specialVisual__z3Ygh,.verification-learning_strategyBlueprint__qgVPN,.verification-learning_symptomGrid__AIYcN a,.verification-learning_topologyAgent__3DQrw,.verification-learning_topologyCluster__1CYUP,.verification-learning_topologyCompute__axFGW,.verification-learning_topologyDirectory__eZevK,.verification-learning_topologyEvent__G5o53,.verification-learning_topologyEvidence__xaFUT>div,.verification-learning_topologyLane__Pus83,.verification-learning_topologyNode__XXdQ2,.verification-learning_topologyQueue__Mkrwf,.verification-learning_topologyStage__FdJRb,.verification-learning_topologyState__GsDRr,.verification-learning_topologyTransition__B4q9_,.verification-learning_tradeoffCard__Jt9L2{border-color:CanvasText;background:Canvas;box-shadow:none;color:CanvasText}.verification-learning_gatingBaseline__MHb13,.verification-learning_gatingClock__5SWJ6,.verification-learning_gatingControl__46Gr_,.verification-learning_gatingEvent__XEgTD,.verification-learning_gatingGridLine__3uxM2,.verification-learning_gatingMarker__jrSeF,.verification-learning_gatingOutputClock__aUfgf,.verification-learning_gatingReady__kIiit,.verification-learning_gatingStatus__8UmyK{stroke:CanvasText}.verification-learning_gatingLabel__zZzGH,.verification-learning_gatingNote__hjWNO,.verification-learning_gatingTick__FBu_k,.verification-learning_gatingWindowLabel__bDg_f{fill:CanvasText}.verification-learning_codeCard__TcaSo,.verification-learning_codeCard__TcaSo header,.verification-learning_codeCard__TcaSo p,.verification-learning_codeCard__TcaSo pre,.verification-learning_diagramHeader__RDsz3 h3,.verification-learning_diagramHeader__RDsz3 p,.verification-learning_diagramNode__Nw_rh span,.verification-learning_diagramNode__Nw_rh strong,.verification-learning_heroMap__p3bIi small,.verification-learning_heroMap__p3bIi strong,.verification-learning_specialVisualCaption__VWeG7 p,.verification-learning_specialVisualCaption__VWeG7 strong,.verification-learning_topologyLabel__uHFje,.verification-learning_topologyNode__XXdQ2 p,.verification-learning_topologyNode__XXdQ2 strong{color:CanvasText}.verification-learning_interviewAnswer__FK9Qg>b,.verification-learning_motionToggle__sEp6_,.verification-learning_pageBadge__27jN8,.verification-learning_phaseNumber__bF_eu{border:1px solid ButtonText;background:ButtonFace;color:ButtonText}}@media print{@page{margin:14mm}.verification-learning_page__r_Y33{min-height:auto;overflow:visible;background:white;color:#111827;font-family:Arial,Helvetica,sans-serif}.verification-learning_ambientField__TolKH,.verification-learning_chapterRail__NT6_4,.verification-learning_motionToggle__sEp6_,.verification-learning_readingProgress__T1bt7,.verification-learning_skipLink__8FJe2{display:none!important}.verification-learning_footer__iOSPh,.verification-learning_main___bxgF{width:100%}.verification-learning_main___bxgF{padding:0}.verification-learning_architecture__Sjt8g,.verification-learning_caseStudy__w5oDq,.verification-learning_continueGrid__IkBmY a,.verification-learning_familyCard__oHuqk,.verification-learning_footer__iOSPh,.verification-learning_hero__IPDvL,.verification-learning_interviewAnswer__FK9Qg,.verification-learning_phase__Ub8dU,.verification-learning_questionList__Njt_m details,.verification-learning_responsibilityWrap__11juJ,.verification-learning_tradeoffCard__Jt9L2{box-shadow:none}.verification-learning_hero__IPDvL{display:block;padding:22px;break-after:avoid-page}.verification-learning_heroMap__p3bIi,.verification-learning_hero__IPDvL:after{display:none}.verification-learning_architecture__Sjt8g>summary,.verification-learning_caseHeader__kg3GI,.verification-learning_sectionLead__O2kvu,.verification-learning_subsection___Dldr>h3{break-after:avoid-page}.verification-learning_architectureEvidence__inBKH>div,.verification-learning_codeCard__TcaSo,.verification-learning_evidenceCard__qPLfW,.verification-learning_familyCard__oHuqk,.verification-learning_phaseSections__ZcSAl>div,.verification-learning_topologyAgent__3DQrw,.verification-learning_topologyCluster__1CYUP,.verification-learning_topologyCompute__axFGW,.verification-learning_topologyDirectory__eZevK,.verification-learning_topologyEvent__G5o53,.verification-learning_topologyEvidence__xaFUT>div,.verification-learning_topologyLane__Pus83,.verification-learning_topologyNode__XXdQ2,.verification-learning_topologyQueue__Mkrwf,.verification-learning_topologyStage__FdJRb,.verification-learning_topologyState__GsDRr,.verification-learning_topologyTransition__B4q9_,.verification-learning_tradeoffCard__Jt9L2{break-inside:avoid}.verification-learning_caseStudy__w5oDq,.verification-learning_phase__Ub8dU{margin-top:28px;padding:20px}.verification-learning_architectureDiagram__u_pnT,.verification-learning_caseDiagram__wTLxY,.verification-learning_codeCard__TcaSo,.verification-learning_specialVisual__z3Ygh{border:1px solid #596579;background:#0a1a30!important;box-shadow:none;print-color-adjust:exact;-webkit-print-color-adjust:exact}.verification-learning_specialVisual__z3Ygh{display:block}.verification-learning_specialVisual__z3Ygh>*+*{margin-top:12px}.verification-learning_specialVisual__z3Ygh[data-visual=cdc],.verification-learning_specialVisual__z3Ygh[data-visual=deadlock],.verification-learning_specialVisual__z3Ygh[data-visual=firmware],.verification-learning_specialVisual__z3Ygh[data-visual=irq],.verification-learning_specialVisual__z3Ygh[data-visual=performance]{grid-template-columns:1fr}.verification-learning_responsibilityWrap__11juJ,.verification-learning_strategyMatrix__zZD8n{overflow:visible}.verification-learning_responsibilityTable__YmQ2K,.verification-learning_strategyMatrix__zZD8n table{min-width:0}.verification-learning_strategyMatrix__zZD8n td,.verification-learning_strategyMatrix__zZD8n th{padding:7px;font-size:9px}.verification-learning_codeCard__TcaSo pre{max-height:none;overflow:visible;white-space:pre-wrap;overflow-wrap:anywhere}.verification-learning_page__r_Y33 details:not([open])>:not(summary){display:block!important}.verification-learning_architecture__Sjt8g>summary:after,.verification-learning_questionList__Njt_m summary:after{display:none}.verification-learning_footer__iOSPh{margin-top:26px}}