.asic-module__aIKCEq__asicArticle{--asic-accent:#fb4e7c;--asic-accent-green:#4efb8a;--asic-border:#303030;--asic-ease-out:cubic-bezier(.23, 1, .32, 1);--asic-ease-in-out:cubic-bezier(.77, 0, .175, 1);min-width:0}.asic-module__aIKCEq__stickyStory{grid-template-columns:minmax(300px,.65fr) minmax(620px,1.35fr);grid-template-areas:"copy visual";gap:clamp(28px,3.2vw,44px);min-width:0;margin:64px 0 88px;padding:34px 0 12px;display:grid}.asic-module__aIKCEq__stickyCopy{overflow-wrap:anywhere;grid-area:copy;min-width:0}.asic-module__aIKCEq__desktopScrollDiagram{grid-area:visual;align-self:start;min-width:0}.asic-module__aIKCEq__mobileScrollDiagram{display:none}.asic-module__aIKCEq__stickyStory[data-visual=layer-stack] .asic-module__aIKCEq__stickyCopy{align-self:start;position:sticky;top:94px}.asic-module__aIKCEq__stickyVisual{grid-area:visual;align-self:start;height:min(76vh,720px);min-height:min(560px,100svh - 110px);position:sticky;top:94px}.asic-module__aIKCEq__diagramFrame{border:1px solid var(--asic-border);background:#090909;grid-template-rows:auto minmax(0,1fr);height:100%;min-height:360px;margin:0;display:grid;position:relative;overflow:hidden}.asic-module__aIKCEq__diagramFrame:before{z-index:2;content:"";pointer-events:none;border:1px solid #ffffff06;position:absolute;inset:0}.asic-module__aIKCEq__diagramFrame>figcaption,.asic-module__aIKCEq__verificationFigure>header,.asic-module__aIKCEq__showcaseVideo>figcaption{z-index:3;border-bottom:1px solid var(--asic-border);background:#0b0b0bd1;justify-content:space-between;align-items:baseline;gap:16px;min-width:0;padding:13px 15px;font-family:Noto Sans,Arial,sans-serif;display:flex;position:relative}.asic-module__aIKCEq__diagramFrame>figcaption span,.asic-module__aIKCEq__verificationFigure>header span,.asic-module__aIKCEq__showcaseVideo>figcaption span{color:var(--asic-accent);letter-spacing:.09em;text-transform:uppercase;flex:none;font-size:.86rem;font-weight:760}.asic-module__aIKCEq__diagramFrame>figcaption strong,.asic-module__aIKCEq__verificationFigure>header strong,.asic-module__aIKCEq__showcaseVideo>figcaption strong{color:#b5b5b5;letter-spacing:.03em;text-align:right;text-overflow:ellipsis;white-space:nowrap;min-width:0;font-size:.84rem;font-weight:500;overflow:hidden}.asic-module__aIKCEq__stickyStory[data-visual=rtree]{grid-template-columns:minmax(250px,.5fr) minmax(680px,1.5fr);gap:clamp(22px,2.4vw,32px)}.asic-module__aIKCEq__diagramFrame>figcaption[data-heading-layout=stacked]{flex-direction:column;justify-content:center;align-items:flex-start;gap:3px}.asic-module__aIKCEq__diagramFrame>figcaption[data-heading-layout=stacked] strong{text-align:left}.asic-module__aIKCEq__diagramViewport{min-width:0;min-height:0;position:relative;overflow:hidden}.asic-module__aIKCEq__diagramSvg{width:100%;height:100%;min-height:0}.asic-module__aIKCEq__diagramBoard{fill:#090909;stroke:none;vector-effect:non-scaling-stroke}.asic-module__aIKCEq__diagramCorner{z-index:3;color:#7a7a7a;letter-spacing:.09em;pointer-events:none;white-space:nowrap;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:.82rem;font-weight:680;position:absolute;top:50%;right:15px;transform:translateY(-50%)}.asic-module__aIKCEq__diagramProgress{z-index:4;pointer-events:none;gap:7px;display:grid;position:absolute;bottom:14px;left:clamp(14px,3vw,30px);right:clamp(14px,3vw,30px)}.asic-module__aIKCEq__diagramProgress strong{color:#d7d7d7;letter-spacing:.045em;text-overflow:ellipsis;text-transform:uppercase;white-space:nowrap;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:.86rem;font-weight:780;overflow:hidden}.asic-module__aIKCEq__diagramProgress>span{background:#ffffff1a;height:3px;display:block;overflow:hidden}.asic-module__aIKCEq__diagramProgress i{background:var(--asic-accent);transform-origin:0;width:100%;height:100%;display:block}.asic-module__aIKCEq__diagramSvgProgress{pointer-events:none;font-family:ui-monospace,SFMono-Regular,Consolas,monospace}.asic-module__aIKCEq__diagramSvgProgress text{fill:#d7d7d7;letter-spacing:.045em;text-transform:uppercase;font-size:15px;font-weight:780}.asic-module__aIKCEq__diagramSvgProgress rect{fill:#ffffff1a}.asic-module__aIKCEq__diagramSvgProgress .asic-module__aIKCEq__diagramSvgProgressFill{fill:var(--asic-accent)}.asic-module__aIKCEq__inlineVisual{min-width:0;margin:46px 0 58px}.asic-module__aIKCEq__inlineVisual .asic-module__aIKCEq__diagramFrame{height:auto;min-height:280px}.asic-module__aIKCEq__inlineVisual[data-visual=cache] .asic-module__aIKCEq__diagramFrame,.asic-module__aIKCEq__inlineVisual[data-visual=io-stream] .asic-module__aIKCEq__diagramFrame{min-height:250px}.asic-module__aIKCEq__inlineVisual[data-visual=sat-basics] .asic-module__aIKCEq__diagramFrame{min-height:520px}.asic-module__aIKCEq__inlineVisual[data-visual=and-gate] .asic-module__aIKCEq__diagramFrame{min-height:310px}.asic-module__aIKCEq__inlineVisual[data-visual=challenge-pipeline] .asic-module__aIKCEq__diagramFrame{min-height:330px}.asic-module__aIKCEq__inlineAnimatedVisual{height:auto}.asic-module__aIKCEq__mobileAnimatedDiagram{display:none}.asic-module__aIKCEq__diagramScrollSkip{z-index:5;border:1px solid var(--asic-accent);color:#fff;opacity:0;pointer-events:none;background:#090909;padding:8px 12px;font-size:14px;position:absolute;top:8px;right:8px}.asic-module__aIKCEq__diagramScrollSkip:focus-visible{opacity:1;pointer-events:auto;outline-offset:3px;outline:2px solid #fff}.asic-module__aIKCEq__inlineAnimatedFrame{height:min(76vh,720px);position:sticky;top:calc(50vh - min(38vh,360px))}.asic-module__aIKCEq__inlineAnimatedVisual .asic-module__aIKCEq__diagramFrame{height:100%;min-height:0}.asic-module__aIKCEq__inlineAnimatedVisual[data-visual=polygon-decomposition] .asic-module__aIKCEq__diagramViewport{background:radial-gradient(circle at 14% 18%,#63d6ff16,#0000 34%),radial-gradient(circle at 51% 48%,#f6cf680e,#0000 29%),radial-gradient(circle at 86% 80%,#7ce5a813,#0000 36%),#080909}.asic-module__aIKCEq__ioMobile,.asic-module__aIKCEq__layoutNetsMobile,.asic-module__aIKCEq__polygonMobile,.asic-module__aIKCEq__satTimelineMobile{display:none}.asic-module__aIKCEq__polygonDesktop,.asic-module__aIKCEq__satTimelineDesktop{display:block}.asic-module__aIKCEq__pipelineDiagram{align-content:center;min-width:0;display:grid;container:challenge-pipeline/inline-size}.asic-module__aIKCEq__pipelineFlow{-moz-column-gap:16px;grid-template-columns:minmax(130px,1fr) 24px minmax(220px,1.6fr) 24px minmax(130px,1fr);align-items:center;column-gap:16px;width:100%;max-width:920px;margin-inline:auto;padding:28px 24px 30px;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;display:grid}.asic-module__aIKCEq__pipelineStage{text-align:center;grid-template-rows:16px 108px 40px;gap:12px;min-width:0;display:grid}.asic-module__aIKCEq__pipelineStep{color:#858585;letter-spacing:1px;font-size:12px;line-height:16px}.asic-module__aIKCEq__pipelineLabel{color:#dedede;letter-spacing:.2px;font-size:13px;line-height:20px}.asic-module__aIKCEq__pipelineObject{justify-content:center;align-items:center;min-width:0;display:flex}.asic-module__aIKCEq__pipelineLayout{width:120px;height:92px}.asic-module__aIKCEq__pipelineConnector{width:24px;height:10px;color:var(--asic-accent,#fb4e7c);align-self:start;margin-top:77px}.asic-module__aIKCEq__pipelineBits{background:linear-gradient(110deg,#211018,#130c0f 70%,#0b090a);border-block:1px solid #49212c;grid-template-columns:repeat(6,minmax(0,1fr));gap:6px;width:100%;padding:14px 10px;display:grid}.asic-module__aIKCEq__pipelineBits span{color:#d78b9e;background:#160d11;border:1px solid #643041;place-items:center;height:43px;font-size:23px;line-height:1;display:grid}.asic-module__aIKCEq__pipelineBits span:nth-child(3){color:#ffe5ec;background:linear-gradient(130deg,#42212d,#1b1015);border-color:#df6c8b}.asic-module__aIKCEq__pipelineOutput{background:linear-gradient(120deg,#14231a,#0c110e);border:1px solid #355241;width:132px;max-width:100%;padding:15px 8px}.asic-module__aIKCEq__pipelineOutput strong{color:#a3deb9;letter-spacing:1px;font-size:17px;font-weight:400;line-height:20px;display:block}@container challenge-pipeline (max-width:660px){.asic-module__aIKCEq__pipelineFlow{grid-template-columns:minmax(0,1fr);gap:22px;padding:24px 16px}.asic-module__aIKCEq__pipelineStage{grid-template-rows:16px 90px 40px;gap:8px;width:100%;max-width:310px;margin-inline:auto}.asic-module__aIKCEq__pipelineConnector{margin:0 auto;transform:rotate(90deg)}.asic-module__aIKCEq__pipelineBits{max-width:290px}.asic-module__aIKCEq__pipelineLabel{align-self:center}.asic-module__aIKCEq__pipelineLabel br{display:none}}.asic-module__aIKCEq__satBitShimmer{pointer-events:none;transform-box:fill-box;transition:transform .28s cubic-bezier(.23,1,.32,1);transform:translate(100%)}@starting-style{.asic-module__aIKCEq__satBitShimmer{transform:translate(-100%)}}.asic-module__aIKCEq__satSequence{align-content:center;gap:18px;min-width:0;padding:clamp(20px,3vw,30px) clamp(28px,5vw,52px) 62px;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;display:grid;position:relative}.asic-module__aIKCEq__satSchematic{--sat-input-gap:4px;--sat-wire-color:var(--asic-accent);--sat-tint-start:#fb4e7c29;--sat-tint-mid:#fb4e7c12;--sat-tint-end:#fb4e7c04;grid-template-columns:minmax(190px,264px) minmax(42px,1fr) 148px minmax(42px,1fr) minmax(190px,264px);justify-self:center;align-items:center;gap:0;width:min(100%,780px);min-width:0;display:grid}.asic-module__aIKCEq__satSchematic[data-output="1"]{--sat-wire-color:#7ce5a8;--sat-tint-start:#7ce5a826;--sat-tint-mid:#7ce5a811;--sat-tint-end:#7ce5a803}.asic-module__aIKCEq__satInputs{gap:var(--sat-input-gap);min-width:0;display:grid}.asic-module__aIKCEq__satInputs span,.asic-module__aIKCEq__satTarget{background:#101010;border:1px solid #3a3a3a;gap:3px;min-width:0;padding:4px 15px;display:grid;position:relative}.asic-module__aIKCEq__satInputs span{border-color:color-mix(in srgb, var(--sat-wire-color) 48%, #3a3a3a);background:linear-gradient(112deg, var(--sat-tint-start), var(--sat-tint-mid) 52%, var(--sat-tint-end)), #101010;transition:border-color .14s var(--asic-ease-out)}.asic-module__aIKCEq__satInputWires{z-index:2;align-self:stretch;gap:var(--sat-input-gap);grid-template-rows:repeat(2,1fr);width:100%;display:grid;position:relative}.asic-module__aIKCEq__satInputWires i{background:var(--sat-wire-color);opacity:.82;align-self:center;height:1px}.asic-module__aIKCEq__satInputs small,.asic-module__aIKCEq__satTarget small{color:#a0a0a0;letter-spacing:.08em;font-size:.78rem;line-height:1.2}.asic-module__aIKCEq__satInputs b,.asic-module__aIKCEq__satTarget b{color:#fff;font-size:clamp(.86rem,1.5vw,1rem);font-weight:500;line-height:1.25}.asic-module__aIKCEq__satAndGate{z-index:1;position:relative}.asic-module__aIKCEq__satAndGate svg{width:100%;display:block;overflow:visible}.asic-module__aIKCEq__satAndGate path{fill:url(#sat-gate-tint);stroke:var(--sat-wire-color);stroke-width:1px;vector-effect:non-scaling-stroke;transition:stroke .14s var(--asic-ease-out)}.asic-module__aIKCEq__satAndGate text{fill:#fff;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:15px}.asic-module__aIKCEq__satTarget{transition:border-color .14s var(--asic-ease-out), background-color .14s var(--asic-ease-out)}.asic-module__aIKCEq__satTarget[data-output="0"]{border-color:var(--asic-accent);background:linear-gradient(112deg,#fb4e7c29,#fb4e7c11 52%,#fb4e7c03),#101010}.asic-module__aIKCEq__satTarget[data-output="1"]{background:linear-gradient(112deg,#7ce5a826,#7ce5a80f 52%,#7ce5a803),#101010;border-color:#7ce5a8}.asic-module__aIKCEq__satOutputWire{background:var(--sat-wire-color);opacity:.82;width:calc(100% + .5px);height:1px;margin-left:-.5px;display:block}.asic-module__aIKCEq__truthTable{border:1px solid #303030;justify-self:center;width:min(100%,520px);margin-top:16px;display:grid}.asic-module__aIKCEq__truthHead,.asic-module__aIKCEq__truthRow{grid-template-columns:repeat(3,minmax(0,1fr));display:grid}.asic-module__aIKCEq__truthHead{color:#a0a0a0;letter-spacing:.1em;text-transform:uppercase;border-bottom:1px solid #303030;font-size:.78rem}.asic-module__aIKCEq__truthHead span,.asic-module__aIKCEq__truthRow span{text-align:center;padding:8px 12px}.asic-module__aIKCEq__truthHead span+span,.asic-module__aIKCEq__truthRow span+span{border-left:1px solid #282828}.asic-module__aIKCEq__truthRow{color:#999;transition:background-color .14s var(--asic-ease-out), box-shadow .14s var(--asic-ease-out), color .14s var(--asic-ease-out);font-size:.86rem}.asic-module__aIKCEq__truthRow+.asic-module__aIKCEq__truthRow{border-top:1px solid #202020}.asic-module__aIKCEq__truthRow[data-eliminated=true]{color:#ff789c;background:linear-gradient(90deg,#fb4e7c13,#fb4e7c05 68%,#0000)}.asic-module__aIKCEq__truthRow[data-active=true][data-output="0"]{color:#ff9db8;box-shadow:inset 3px 0 var(--asic-accent);background:linear-gradient(90deg,#fb4e7c29,#fb4e7c0e 58%,#fb4e7c03)}.asic-module__aIKCEq__truthRow[data-valid=true]{color:#fff;background:linear-gradient(90deg,#7ce5a826,#7ce5a80d 58%,#7ce5a803);box-shadow:inset 3px 0 #7ce5a8}.asic-module__aIKCEq__satConclusion{color:#b8b8b8;text-align:center;font-size:clamp(.82rem,1.4vw,.96rem);line-height:1.45}.asic-module__aIKCEq__satConclusion b{color:#7ce5a8;font-weight:500}.asic-module__aIKCEq__satConclusion .asic-module__aIKCEq__satRejected{color:#ff789c}.asic-module__aIKCEq__cacheFlow{grid-template-columns:minmax(170px,1fr) auto minmax(190px,.9fr) auto minmax(250px,1.25fr);align-items:center;gap:clamp(10px,1.6vw,20px);min-width:0;padding:clamp(18px,3vw,30px);font-family:ui-monospace,SFMono-Regular,Consolas,monospace;display:grid}.asic-module__aIKCEq__cacheSource,.asic-module__aIKCEq__cacheBranches{gap:9px;min-width:0;display:grid}.asic-module__aIKCEq__cacheSource>small,.asic-module__aIKCEq__cacheBranches>small{color:#aaa;letter-spacing:.075em;font-size:.78rem;font-weight:760}.asic-module__aIKCEq__fileStack{gap:5px;display:grid}.asic-module__aIKCEq__fileStack span,.asic-module__aIKCEq__hashBox,.asic-module__aIKCEq__cacheBranch{background:#101010;border:1px solid #343434}.asic-module__aIKCEq__fileStack span{color:#bbb;padding:9px 11px;font-size:.8rem}.asic-module__aIKCEq__flowArrow{color:var(--asic-accent);flex:none;font-family:Noto Sans,Arial,sans-serif;font-size:1.4rem}.asic-module__aIKCEq__hashBox{text-align:center;background:linear-gradient(110deg,#267dd22e,#42b2ff0d 58%,#0000),#101010;border-color:#4daeff9e;place-content:center;align-items:center;gap:10px;min-width:0;min-height:132px;display:grid;position:relative;overflow:hidden;box-shadow:inset 0 0 28px #4daeff0f}.asic-module__aIKCEq__hashBox small{color:#62b9ff;letter-spacing:.08em;font-size:.8rem;font-weight:760}.asic-module__aIKCEq__hashBox strong{color:#eee;letter-spacing:.04em;font-size:1.18rem}.asic-module__aIKCEq__cacheBranch{grid-template-columns:46px minmax(0,1fr);align-items:center;gap:10px;min-width:0;padding:13px 14px;display:grid}.asic-module__aIKCEq__cacheBranches b{color:#ddd;font-size:.88rem}.asic-module__aIKCEq__cacheBranches span{color:#ccc;font-size:.8rem}.asic-module__aIKCEq__cacheBranch[data-route=hit]{background:linear-gradient(90deg,#7ce5a814,#0000 62%),#101010;border-color:#7ce5a89e}.asic-module__aIKCEq__cacheBranch[data-route=hit] b{color:#7ce5a8}.asic-module__aIKCEq__cacheBranch[data-route=miss] b{color:#ff789c}.asic-module__aIKCEq__cacheBranch[data-route=miss]{background:linear-gradient(90deg,#fb4e7c1c,#fb4e7c06 62%,#0000),#101010;border-color:#fb4e7c94}.asic-module__aIKCEq__successLamp i{border:1px solid var(--asic-accent);background:var(--asic-accent);border-radius:50%;flex:none;width:9px;height:9px;display:block;box-shadow:0 0 16px #fb4e7cb8}.asic-module__aIKCEq__verificationFigure,.asic-module__aIKCEq__resultFigure,.asic-module__aIKCEq__showcaseVideo{border:1px solid var(--asic-border);background:#090909;margin:52px 0 68px;font-family:Noto Sans,Arial,sans-serif;position:relative;overflow:hidden}.asic-module__aIKCEq__verificationFlow{min-width:0;padding:clamp(22px,4vw,38px);display:grid}.asic-module__aIKCEq__sharedWitness{box-sizing:border-box;text-align:center;background:#111;border:1px solid #3b3b3b;justify-self:center;width:min(100%,300px);padding:16px 20px;display:grid}.asic-module__aIKCEq__sharedWitness small,.asic-module__aIKCEq__modelCards small{color:var(--asic-accent);letter-spacing:.13em;font-size:.82rem;font-weight:700}.asic-module__aIKCEq__sharedWitness strong{color:#fff;letter-spacing:.045em;white-space:nowrap;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:1rem}.asic-module__aIKCEq__sharedWitness span{color:#b0b0b0;text-transform:uppercase;margin-top:6px;font-size:.82rem}.asic-module__aIKCEq__modelFork{border-left:1px solid #555;border-right:1px solid #555;justify-self:center;width:52%;height:42px;margin-top:18px;position:relative}.asic-module__aIKCEq__modelFork:before{content:"";background:#555;height:1px;position:absolute;top:0;left:0;right:0}.asic-module__aIKCEq__modelFork:after{content:"";background:#555;width:1px;height:18px;position:absolute;bottom:100%;left:50%}.asic-module__aIKCEq__modelFork i{background:var(--asic-accent);border-radius:50%;width:5px;height:5px;position:absolute;bottom:-2px}.asic-module__aIKCEq__modelFork i:first-child{left:-3px}.asic-module__aIKCEq__modelFork i:last-child{right:-3px}.asic-module__aIKCEq__modelCards{grid-template-columns:repeat(2,minmax(0,1fr));gap:18px;min-width:0;display:grid}.asic-module__aIKCEq__modelCards article{background:radial-gradient(circle at 0 0,#fb4e7c29,#0000 48%),linear-gradient(135deg,#fb4e7c0e,#0000 70%),#0e0e0e;border:1px solid #fb4e7c3d;min-width:0;padding:20px}.asic-module__aIKCEq__modelCards article:nth-child(2){background:radial-gradient(circle at 100% 0,#fb4e7c29,#0000 48%),linear-gradient(225deg,#fb4e7c0e,#0000 70%),#0e0e0e}.asic-module__aIKCEq__modelCards strong{color:#e6e6e6;margin-top:9px;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:1.12rem;display:block}.asic-module__aIKCEq__modelCards p{min-height:42px;font-family:Noto Sans,Arial,sans-serif;font-size:.92rem;color:#bebebe!important;margin:11px 0 18px!important;line-height:1.55!important}.asic-module__aIKCEq__modelCards p b{color:#d8d8d8;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-weight:500}.asic-module__aIKCEq__successLamp{color:#b8b8b8;align-items:center;gap:9px;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:.84rem;display:flex}.asic-module__aIKCEq__successLamp i{opacity:.2}.asic-module__aIKCEq__verificationFigure[data-active=true] .asic-module__aIKCEq__successLamp i{animation:3.8s linear infinite asic-module__aIKCEq__success-lamp}.asic-module__aIKCEq__modelCards article:nth-child(2) .asic-module__aIKCEq__successLamp i{animation-delay:.1s!important}.asic-module__aIKCEq__matchLine{color:#b0b0b0;text-align:center;grid-template-columns:auto minmax(24px,1fr) auto minmax(24px,1fr) auto;align-items:center;gap:10px;margin-top:22px;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:.82rem;display:grid}.asic-module__aIKCEq__matchLine i{background:#3a3a3a;height:1px}.asic-module__aIKCEq__matchLine strong{color:var(--asic-accent);letter-spacing:.12em;font-size:.95rem}.asic-module__aIKCEq__resultFigure{text-align:center;background:#080808;border:0;align-content:center;gap:clamp(42px,7vw,72px);height:100%;min-height:390px;margin:0;padding:clamp(42px,7vw,74px) clamp(18px,5vw,56px) max(86px,8vw);display:grid}.asic-module__aIKCEq__resultBits{color:#8a8a8a;letter-spacing:.035em;grid-template-columns:repeat(12,minmax(0,1fr));justify-self:center;gap:9px;width:min(100%,900px);font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:clamp(.76rem,1.1vw,.9rem);display:grid}.asic-module__aIKCEq__resultBits span{color:#fff;transform-origin:50% 70%;white-space:nowrap;will-change:opacity, transform;background:linear-gradient(135deg,#7ce5a817,#63d6ff06 58%,#0000),#0d0d0d;border:1px solid #4efb8a6b;grid-column:span 2;min-width:0;padding:9px 7px;box-shadow:inset 0 1px #ffffff06,inset 0 0 18px #7ce5a806}.asic-module__aIKCEq__resultBits span:nth-child(7){grid-column:2/span 2}.asic-module__aIKCEq__resultBits span:nth-child(8){grid-column:4/span 2}.asic-module__aIKCEq__resultBits span:nth-child(9){grid-column:6/span 2}.asic-module__aIKCEq__resultBits span:nth-child(10){grid-column:8/span 2}.asic-module__aIKCEq__resultBits span:nth-child(11){grid-column:10/span 2}.asic-module__aIKCEq__resultText{letter-spacing:-.025em;white-space:nowrap;isolation:isolate;justify-content:center;justify-self:center;align-items:center;gap:.24em;font-family:Arial,Helvetica,sans-serif;font-size:clamp(1.75rem,7.2vw,5.6rem);font-weight:800;line-height:1.08;display:flex;position:relative}.asic-module__aIKCEq__resultText:before{z-index:2;opacity:0;pointer-events:none;content:"";background:linear-gradient(90deg,#0000,#b7ffdb 22%,#fff 50%,#bdefff 78%,#0000);width:100%;height:2px;position:absolute;top:50%;left:0;box-shadow:0 0 12px #b5ffe0b3,0 0 34px #b5ffe04d}.asic-module__aIKCEq__resultBracket{--bracket-x:.9em;color:#8c9b95;letter-spacing:-.06em;opacity:0;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:.52em;font-weight:400}.asic-module__aIKCEq__resultBracket:last-child{--bracket-x:-.9em}.asic-module__aIKCEq__resultWord{font:inherit;display:block;position:relative}.asic-module__aIKCEq__resultWordBase,.asic-module__aIKCEq__resultSlice{background:linear-gradient(175deg,#fff 16%,#e4fff0 54%,#9bd7c1 100%);color:#0000;opacity:0;-webkit-background-clip:text;background-clip:text;display:block}.asic-module__aIKCEq__resultSlice,.asic-module__aIKCEq__resultShine{pointer-events:none;-webkit-user-select:none;user-select:none;position:absolute;inset:0}.asic-module__aIKCEq__resultSlice[data-slice="0"]{--slice-x:-.85em;--slice-y:-.16em;clip-path:inset(0 0 66%)}.asic-module__aIKCEq__resultSlice[data-slice="1"]{--slice-x:.7em;--slice-y:0em;clip-path:inset(33% 0)}.asic-module__aIKCEq__resultSlice[data-slice="2"]{--slice-x:-.5em;--slice-y:.16em;clip-path:inset(66% 0 0)}.asic-module__aIKCEq__resultShine{background:linear-gradient(110deg,#0000 43%,#fffffff2 49%,#fff 50%,#0000 57%) 150% 0/260% 100%;color:#0000;opacity:0;-webkit-background-clip:text;background-clip:text}.asic-module__aIKCEq__resultText[data-revealed=true]:before{animation:1.05s cubic-bezier(.22,1,.36,1) both asic-module__aIKCEq__result-signal}.asic-module__aIKCEq__resultText[data-revealed=true] .asic-module__aIKCEq__resultSlice{animation:1.05s cubic-bezier(.22,1,.36,1) both asic-module__aIKCEq__result-assemble}.asic-module__aIKCEq__resultText[data-revealed=true] .asic-module__aIKCEq__resultWordBase{animation:1.05s linear both asic-module__aIKCEq__result-ink}.asic-module__aIKCEq__resultText[data-revealed=true] .asic-module__aIKCEq__resultBracket{animation:1.05s cubic-bezier(.22,1,.36,1) both asic-module__aIKCEq__result-brackets}.asic-module__aIKCEq__resultText[data-revealed=true] .asic-module__aIKCEq__resultShine{animation:1.05s linear both asic-module__aIKCEq__result-shine}@keyframes asic-module__aIKCEq__result-signal{0%{opacity:0;transform:scaleX(.04)}16%{opacity:1;transform:scaleX(1)}30%{opacity:.65;transform:scaleX(1.08)}48%,to{opacity:0;transform:scaleX(1.14)}}@keyframes asic-module__aIKCEq__result-assemble{0%,12%{opacity:0;transform:translate3d(var(--slice-x), var(--slice-y), 0) scaleX(1.08)}24%{opacity:1}62%,66%{opacity:1;transform:translate(0,0)scaleX(1)}67%,to{opacity:0;transform:translate(0,0)scaleX(1)}}@keyframes asic-module__aIKCEq__result-ink{0%,60%{opacity:0}66%,to{opacity:1}}@keyframes asic-module__aIKCEq__result-brackets{0%,38%{opacity:0;transform:translate3d(var(--bracket-x), 0, 0)}84%,to{opacity:1;transform:translate(0,0)}}@keyframes asic-module__aIKCEq__result-shine{0%,53%{opacity:0;background-position:150% 0}58%{opacity:1}95%{opacity:1;background-position:-50% 0}to{opacity:0;background-position:-50% 0}}.asic-module__aIKCEq__resultText[data-reduced-motion=true]:before,.asic-module__aIKCEq__resultText[data-reduced-motion=true] .asic-module__aIKCEq__resultSlice,.asic-module__aIKCEq__resultText[data-reduced-motion=true] .asic-module__aIKCEq__resultShine{animation:none;display:none}.asic-module__aIKCEq__resultText[data-reduced-motion=true] .asic-module__aIKCEq__resultWordBase,.asic-module__aIKCEq__resultText[data-reduced-motion=true] .asic-module__aIKCEq__resultBracket{opacity:1;animation:none;transform:none}@media (prefers-reduced-motion:reduce){.asic-module__aIKCEq__satBitShimmer{transition:none;display:none}.asic-module__aIKCEq__resultText[data-revealed]:before,.asic-module__aIKCEq__resultText[data-revealed] .asic-module__aIKCEq__resultSlice,.asic-module__aIKCEq__resultText[data-revealed] .asic-module__aIKCEq__resultShine{animation:none;display:none}.asic-module__aIKCEq__resultText[data-revealed] .asic-module__aIKCEq__resultWordBase,.asic-module__aIKCEq__resultText[data-revealed] .asic-module__aIKCEq__resultBracket{opacity:1;animation:none;transform:none}}.asic-module__aIKCEq__showcaseVideo{background:#050505}.asic-module__aIKCEq__showcaseVideo video{aspect-ratio:16/9;-o-object-fit:cover;object-fit:cover;background:#050505;width:100%;display:block}.asic-module__aIKCEq__showcaseVideo>figcaption{border-top:1px solid var(--asic-border);border-bottom:0}.asic-module__aIKCEq__andGateStage,.asic-module__aIKCEq__stateDagStage{height:100%;min-height:0}.asic-module__aIKCEq__andGateStage path,.asic-module__aIKCEq__andGateStage circle{stroke-width:1.25px;vector-effect:non-scaling-stroke}.asic-module__aIKCEq__andGateMobile,.asic-module__aIKCEq__stateDagMobile{display:none}.asic-module__aIKCEq__anatomyLegend{transform:translate(93px,-30px)}.asic-module__aIKCEq__anatomyChipScene{transform:translate(-40px,-42px)}.asic-module__aIKCEq__anatomyObjectTarget{cursor:pointer;outline:none}.asic-module__aIKCEq__anatomyObjectTarget:focus-visible .asic-module__aIKCEq__anatomyObjectSurface{stroke:#fff;stroke-width:1.5px}.asic-module__aIKCEq__anatomyCellHighlight{fill:url(#anatomy-selection-tint);stroke:#ff7ca4;stroke-width:2px;pointer-events:none;vector-effect:non-scaling-stroke}.asic-module__aIKCEq__anatomyCellInspector{z-index:7;color:#ddd;background:#080808f5;border:1px solid #424242;gap:10px;width:min(310px,100% - 32px);padding:14px;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;display:grid;position:absolute;top:16px;left:16px;box-shadow:0 18px 48px #00000080}.asic-module__aIKCEq__anatomyStageSwapPanels .asic-module__aIKCEq__anatomyCellInspector{left:auto;right:16px}.asic-module__aIKCEq__anatomyCellInspector header{color:#fff;letter-spacing:.06em;justify-content:space-between;align-items:center;gap:12px;font-size:.85rem;font-weight:820;display:flex}.asic-module__aIKCEq__anatomyCellInspector button{color:#ddd;width:28px;height:28px;font:inherit;cursor:pointer;background:#111;border:1px solid #3d3d3d;flex:none;place-items:center;font-size:1rem;display:grid;position:relative}.asic-module__aIKCEq__anatomyCellInspector button:after{content:"";position:absolute;inset:-8px}.asic-module__aIKCEq__anatomyCellInspector button:hover,.asic-module__aIKCEq__anatomyCellInspector button:focus-visible{border-color:var(--asic-accent);color:#fff;outline:none}.asic-module__aIKCEq__anatomyCellSchematic{color:#efefef;width:100%;height:108px}.asic-module__aIKCEq__anatomyCellEquation{color:var(--asic-accent);font-size:1rem}.asic-module__aIKCEq__anatomyCellInspector p{color:#b9b9b9;margin:0;font-size:.8rem;line-height:1.45}.asic-module__aIKCEq__anatomyCellInspector code{color:#ddd;text-overflow:ellipsis;white-space:nowrap;font-size:.72rem;overflow:hidden}.asic-module__aIKCEq__anatomyCellInspector small{color:#777;letter-spacing:.055em;font-size:.68rem}.asic-module__aIKCEq__anatomyStage,.asic-module__aIKCEq__anatomyCanvas{height:100%;min-height:0;position:relative;overflow:hidden}.asic-module__aIKCEq__anatomyMobileLegend,.asic-module__aIKCEq__anatomyMobileProgress{display:none}.asic-module__aIKCEq__showcaseCaptionCopy{text-align:right;min-width:0}.asic-module__aIKCEq__showcaseCaptionCopy strong,.asic-module__aIKCEq__showcaseCaptionCopy small{display:block}.asic-module__aIKCEq__showcaseCaptionCopy small{color:#999;margin-top:4px;font-size:.82rem;font-weight:400;line-height:1.45}@keyframes asic-module__aIKCEq__success-lamp{0%,68%{opacity:.2}72%,88%{opacity:1}94%,to{opacity:.2}}@media (max-width:1050px){.asic-module__aIKCEq__stickyStory{grid-template-columns:minmax(190px,.58fr) minmax(0,1.42fr);gap:20px}.asic-module__aIKCEq__stickyVisual{height:min(72vh,640px);min-height:min(460px,100svh - 98px);top:82px}}@media (max-width:720px){.asic-module__aIKCEq__stickyStory{grid-template-columns:minmax(0,1fr);grid-template-areas:"mobile""copy";gap:14px;margin:44px 0 62px;padding-top:0}.asic-module__aIKCEq__desktopScrollDiagram,.asic-module__aIKCEq__desktopAnimatedDiagram{display:none}.asic-module__aIKCEq__mobileScrollDiagram,.asic-module__aIKCEq__mobileAnimatedDiagram{--diagram-scroll-distance:max(600px, 120svh);grid-template-columns:minmax(0,1fr);grid-template-areas:"visual""track";gap:0;display:grid}.asic-module__aIKCEq__mobileScrollDiagram{grid-area:mobile}.asic-module__aIKCEq__mobileScrollDiagram:after,.asic-module__aIKCEq__mobileAnimatedDiagram:after{content:"";height:var(--diagram-scroll-distance);pointer-events:none;grid-area:track;display:block}.asic-module__aIKCEq__mobileScrollDiagram[data-visual=rtree],.asic-module__aIKCEq__mobileAnimatedDiagram[data-visual=rtree]{--diagram-scroll-distance:3520px}.asic-module__aIKCEq__mobileAnimatedDiagram{--diagram-scroll-distance:max(600px, 130svh)}.asic-module__aIKCEq__stickyStory[data-visual=layer-stack] .asic-module__aIKCEq__stickyCopy{position:static}.asic-module__aIKCEq__stickyVisual{height:min(90vw,720px,100svh - 28px);min-height:min(520px,100svh - 28px);position:sticky;top:14px}.asic-module__aIKCEq__inlineAnimatedFrame{grid-area:visual;height:min(76svh,720px,100svh - 28px);min-height:min(420px,100svh - 28px);position:sticky;top:14px}.asic-module__aIKCEq__inlineAnimatedVisual .asic-module__aIKCEq__diagramFrame{height:100%;min-height:0}.asic-module__aIKCEq__cacheFlow{grid-template-columns:minmax(0,1fr);gap:10px;padding:18px}.asic-module__aIKCEq__cacheFlow .asic-module__aIKCEq__flowArrow{justify-self:center;transform:rotate(90deg)}}@media (max-width:620px){.asic-module__aIKCEq__diagramCorner{letter-spacing:.06em;text-align:right;white-space:normal;width:90px;font-size:.65rem;line-height:1.25;right:12px}.asic-module__aIKCEq__inlineVisual,.asic-module__aIKCEq__stickyStory{width:calc(100% + 8px);margin-left:-4px}.asic-module__aIKCEq__sharedWitness{padding-inline:12px}.asic-module__aIKCEq__sharedWitness strong{letter-spacing:0;font-size:clamp(.76rem,4vw,.9rem)}.asic-module__aIKCEq__stickyVisual{height:min(128vw,620px,100svh - 28px);min-height:min(420px,100svh - 28px)}.asic-module__aIKCEq__stickyStory[data-visual=layer-stack] .asic-module__aIKCEq__stickyVisual{height:min(180vw,680px,100svh - 28px);min-height:min(560px,100svh - 28px)}.asic-module__aIKCEq__stickyStory[data-visual=rtree] .asic-module__aIKCEq__stickyVisual,.asic-module__aIKCEq__stickyStory[data-visual=circuit-morph] .asic-module__aIKCEq__stickyVisual{height:min(175vw,680px,100svh - 28px);min-height:min(600px,100svh - 28px)}.asic-module__aIKCEq__stickyStory[data-visual=scc-dag] .asic-module__aIKCEq__stickyVisual{height:min(175vw,600px,100svh - 28px);min-height:min(540px,100svh - 28px)}.asic-module__aIKCEq__inlineVisual[data-visual=and-gate] .asic-module__aIKCEq__diagramFrame{min-height:400px}.asic-module__aIKCEq__inlineVisual[data-visual=polygon-decomposition] .asic-module__aIKCEq__diagramFrame{min-height:420px}.asic-module__aIKCEq__inlineVisual[data-visual=rtree] .asic-module__aIKCEq__diagramFrame{min-height:700px}.asic-module__aIKCEq__andGateDesktop{display:none}.asic-module__aIKCEq__andGateMobile{display:block}.asic-module__aIKCEq__layoutNetsDesktop{display:none}.asic-module__aIKCEq__layoutNetsMobile{display:block}.asic-module__aIKCEq__polygonDesktop{display:none}.asic-module__aIKCEq__polygonMobile{display:block}.asic-module__aIKCEq__satTimelineDesktop{display:none}.asic-module__aIKCEq__satTimelineMobile{display:block}.asic-module__aIKCEq__stateDagDesktop{display:none}.asic-module__aIKCEq__stateDagMobile{display:block}.asic-module__aIKCEq__diagramFrame>figcaption,.asic-module__aIKCEq__verificationFigure>header,.asic-module__aIKCEq__showcaseVideo>figcaption{flex-direction:column;align-items:flex-start;gap:5px}.asic-module__aIKCEq__diagramFrame>figcaption strong,.asic-module__aIKCEq__verificationFigure>header strong,.asic-module__aIKCEq__showcaseVideo>figcaption strong{text-align:left;white-space:normal;max-width:100%}.asic-module__aIKCEq__showcaseCaptionCopy{text-align:left}.asic-module__aIKCEq__anatomyLegend{display:none}.asic-module__aIKCEq__anatomyChipScene{transform:translate(-24px,-42px)}.asic-module__aIKCEq__anatomyStageSelected .asic-module__aIKCEq__anatomyCanvas{align-self:start;height:48%}.asic-module__aIKCEq__anatomyCellInspector{width:auto;max-height:calc(100% - 126px);inset:auto 10px 68px;overflow-y:auto}.asic-module__aIKCEq__anatomyStageSwapPanels .asic-module__aIKCEq__anatomyCellInspector{left:10px;right:10px}.asic-module__aIKCEq__anatomyStage{grid-template-rows:minmax(0,1fr) auto;height:100%;padding-bottom:58px;display:grid}.asic-module__aIKCEq__anatomyCanvas{height:auto}.asic-module__aIKCEq__anatomyCanvas .asic-module__aIKCEq__diagramSvgProgress{display:none}.asic-module__aIKCEq__anatomyMobileLegend{z-index:6;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;display:block;position:absolute;top:10px;right:10px}.asic-module__aIKCEq__anatomyMobileLegend summary{color:#e8e8e8;letter-spacing:.07em;text-transform:uppercase;cursor:pointer;background:#0a0a0af0;border:1px solid #3b3b3b;align-items:center;gap:8px;min-height:36px;padding:8px 10px;font-size:.78rem;font-weight:780;list-style:none;display:flex}.asic-module__aIKCEq__anatomyMobileLegend summary::-webkit-details-marker{display:none}.asic-module__aIKCEq__anatomyMobileLegend summary:focus-visible{outline:2px solid var(--asic-accent);outline-offset:2px}.asic-module__aIKCEq__anatomyLegendIcon{gap:3px;width:15px;display:grid}.asic-module__aIKCEq__anatomyLegendIcon i{background:currentColor;height:1px;display:block}.asic-module__aIKCEq__anatomyMobileLegendList{background:#090909f7;border:1px solid #3b3b3b;gap:10px;width:min(250px,100vw - 36px);max-height:calc(100svh - 112px);margin:0;padding:12px;list-style:none;display:grid;position:absolute;top:calc(100% + 6px);right:0;overflow-y:auto;box-shadow:0 18px 42px #0000007a}.asic-module__aIKCEq__anatomyMobileProgress{display:block}.asic-module__aIKCEq__anatomyMobileProgress .asic-module__aIKCEq__diagramProgress strong{text-overflow:clip;white-space:normal;line-height:1.25;overflow:visible}.asic-module__aIKCEq__anatomyMobileLegendItem{color:#e3e3e3;align-items:flex-start;gap:8px;min-width:0;font-size:.84rem;line-height:1.2;display:flex}.asic-module__aIKCEq__anatomyMobileLegendItem i{border:1px solid;flex:none;width:10px;height:10px;margin-top:1px}.asic-module__aIKCEq__anatomyMobileLegendItem span{min-width:0;display:block}.asic-module__aIKCEq__anatomyPinLabels{font-size:20px}.asic-module__aIKCEq__inlineVisual .asic-module__aIKCEq__diagramFrame{min-height:320px}.asic-module__aIKCEq__inlineVisual[data-visual=io-stream] .asic-module__aIKCEq__diagramFrame{min-height:390px}.asic-module__aIKCEq__inlineAnimatedVisual[data-visual] .asic-module__aIKCEq__diagramFrame{height:100%;min-height:0}.asic-module__aIKCEq__ioDesktop{display:none}.asic-module__aIKCEq__ioMobile{align-content:center;gap:24px;min-width:0;padding:28px 20px;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;display:grid}.asic-module__aIKCEq__ioSequence,.asic-module__aIKCEq__mobileHardware{text-align:center;background:#101010;border:1px solid #343434;gap:9px;padding:15px;display:grid}.asic-module__aIKCEq__ioSequence{border-color:#315363}.asic-module__aIKCEq__mobileHardware{background:linear-gradient(135deg,#e9b94f0b,#0000 64%),#101010;border-color:#5b4b29}.asic-module__aIKCEq__ioMobile small{color:#aaa;letter-spacing:.08em;font-size:.8rem}.asic-module__aIKCEq__ioMobile strong{color:#fff;letter-spacing:.08em;font-size:.94rem}.asic-module__aIKCEq__ioSequence span,.asic-module__aIKCEq__mobileHardware span{color:#a0a0a0;font-size:.8rem}.asic-module__aIKCEq__mobileReplayStep{color:var(--asic-accent);letter-spacing:.08em;justify-content:center;align-items:center;font-size:.8rem;display:flex}.asic-module__aIKCEq__mobileOutputs{grid-template-columns:repeat(2,minmax(0,1fr));gap:8px;display:grid}.asic-module__aIKCEq__mobileOutputs span{color:#aaa;border:1px solid #333;justify-content:center;align-items:center;gap:8px;min-width:0;padding:12px 8px;font-size:.82rem;display:flex}.asic-module__aIKCEq__mobileOutputs i{background:var(--asic-accent);border-radius:50%;flex:none;width:8px;height:8px;box-shadow:0 0 14px #fb4e7c9e}.asic-module__aIKCEq__mobileOutputs span:first-child i{width:10px;height:10px;box-shadow:none;background:radial-gradient(circle,#7ce5a8 0 2px,#0000 2.5px);border:.75px solid #7ce5a880}.asic-module__aIKCEq__mobileOutputs span:last-child i{background:#4ed9c4;box-shadow:0 0 14px #4ed9c480}.asic-module__aIKCEq__satSequence{gap:20px;padding:26px 14px 70px}.asic-module__aIKCEq__satSchematic{grid-template-columns:minmax(90px,1fr) 8px 90px 8px minmax(90px,1fr);gap:0;width:100%}.asic-module__aIKCEq__satInputs span,.asic-module__aIKCEq__satTarget{padding:4px 5px}.asic-module__aIKCEq__satInputs small,.asic-module__aIKCEq__satTarget small{letter-spacing:0}.asic-module__aIKCEq__satInputs b,.asic-module__aIKCEq__satTarget b{font-size:.82rem}.asic-module__aIKCEq__satAndGate path{transform-box:fill-box;transform-origin:50%;transform:scaleY(2)}.asic-module__aIKCEq__satAndGate text{font-size:20px}.asic-module__aIKCEq__truthHead span,.asic-module__aIKCEq__truthRow span{padding:7px 8px}.asic-module__aIKCEq__truthTable{margin-top:18px}.asic-module__aIKCEq__cacheSource,.asic-module__aIKCEq__fileStack,.asic-module__aIKCEq__cacheBranches,.asic-module__aIKCEq__hashBox{width:100%;min-width:0}.asic-module__aIKCEq__modelCards{grid-template-columns:minmax(0,1fr)}.asic-module__aIKCEq__modelFork{display:none}.asic-module__aIKCEq__modelCards article:first-child{margin-bottom:4px}.asic-module__aIKCEq__matchLine{grid-template-columns:auto minmax(16px,1fr) auto minmax(16px,1fr) auto;gap:4px;font-size:.82rem}.asic-module__aIKCEq__matchLine strong{font-size:.86rem}.asic-module__aIKCEq__resultFigure{gap:24px;min-height:340px}.asic-module__aIKCEq__resultBits{grid-template-columns:repeat(2,minmax(0,1fr))}.asic-module__aIKCEq__resultBits span{grid-column:auto!important}}@media (prefers-reduced-motion:reduce){.asic-module__aIKCEq__verificationFigure[data-active=true] .asic-module__aIKCEq__successLamp i{animation:none}.asic-module__aIKCEq__successLamp i{opacity:1}.asic-module__aIKCEq__satTarget,.asic-module__aIKCEq__truthRow{transition:none}}@media (max-width:620px) and (max-height:620px){.asic-module__aIKCEq__anatomyMobileProgress .asic-module__aIKCEq__diagramProgress{bottom:64px}}
.RTreeInsertionDiagram-module__EXQsGW__stage{height:100%;min-height:0}.RTreeInsertionDiagram-module__EXQsGW__desktop{display:block}.RTreeInsertionDiagram-module__EXQsGW__mobile{display:none}@media (max-width:620px){.RTreeInsertionDiagram-module__EXQsGW__desktop{display:none}.RTreeInsertionDiagram-module__EXQsGW__mobile{display:block}}
.diagramSurfaces-module__InvWTa__coolVerificationSurface{box-shadow:inset 0 1px #ffffff06,inset 0 0 64px #63d6ff09;background:radial-gradient(at 50% 112%,#7ce5a81b,#0000 43%),radial-gradient(circle at 88% 14%,#7ce5a818,#0000 34%),linear-gradient(135deg,#63d6ff1b,#0000 52%),linear-gradient(315deg,#bd75ff12,#0000 58%),#0e0e0e!important}