._shell_1v23l_1{--ledger-cyan:#087c94;--ledger-lime:#537716}.dark ._shell_1v23l_1{--ledger-cyan:#6fdef2;--ledger-lime:#d8fc70}._hero_1v23l_3{padding-bottom:35px}._hero_1v23l_3 h1{font-size:clamp(4rem,7vw,7.2rem)}._hero_1v23l_3 h2{font-size:clamp(1.6rem,2.5vw,2.2rem);line-height:1.25}._heroVisual_1v23l_6{margin:0;transform:rotate(-1deg)}._heroVisual_1v23l_6>img{width:100%;height:auto;display:block}._heroVisual_1v23l_6 figcaption{font:.78rem/1.65 var(--mono);color:var(--foreground);background:var(--card);padding:16px 20px}._heroVisual_1v23l_6 figcaption span{color:var(--muted-foreground)}._tags_1v23l_10{flex-wrap:wrap;gap:7px;margin:0 0 24px;display:flex}._tags_1v23l_10 span{border:1px solid var(--border);background:var(--card);color:var(--muted-foreground);border-radius:6px;padding:6px 10px;font-size:.75rem}._metrics_1v23l_12{border:1px solid var(--border);background:var(--card);border-radius:15px;grid-template-columns:repeat(4,minmax(0,1fr));display:grid;overflow:hidden}._metrics_1v23l_12>div{border-right:1px solid var(--border);min-width:0;padding:26px 22px}._metrics_1v23l_12>div:last-child{border-right:0}._metrics_1v23l_12 strong{font:600 clamp(1.8rem, 3vw, 2.65rem)/1.2 var(--display);letter-spacing:-.06em;color:var(--foreground)}._metrics_1v23l_12 strong span{letter-spacing:-.015em;color:var(--ledger-cyan);font-size:.85rem}._metrics_1v23l_12 p{margin:12px 0 5px;font-size:.82rem;font-weight:600}._metrics_1v23l_12 small{color:var(--muted-foreground);font-size:.7rem;line-height:1.65;display:block}._measurementNote_1v23l_19{color:var(--muted-foreground);padding:15px 3px 25px;font-size:.75rem;line-height:1.85}._measurementNote_1v23l_19 code{overflow-wrap:anywhere}._measurementNote_1v23l_19 a,._inlineNote_1v23l_21 a,._protocol_1v23l_21 a,._strategy_1v23l_21 a,._build_1v23l_21 a{color:var(--primary);text-underline-offset:3px;text-decoration:underline}._measurementNote_1v23l_19 a{align-items:center;gap:3px;display:inline-flex}._chapterNav_1v23l_23{border:1px solid var(--border);background:var(--card);border-radius:12px;flex-wrap:wrap;gap:6px;padding:13px;display:flex}._chapterNav_1v23l_23 a{color:var(--foreground);border-radius:6px;flex:1 0 auto;padding:10px;font-size:.78rem;transition:background .2s}._chapterNav_1v23l_23 a:hover{background:var(--secondary)}._chapterNav_1v23l_23 span{font:.65rem var(--mono);color:var(--muted-foreground);padding-right:8px}._chapter_1v23l_23{padding:65px 0 5px;scroll-margin-top:110px}._chapterHeading_1v23l_28{max-width:850px;margin-bottom:29px}._chapterHeading_1v23l_28>span{color:var(--ledger-cyan);letter-spacing:.08em;font-size:.75rem}._chapterHeading_1v23l_28 h2{letter-spacing:-.045em;margin:13px 0 17px;font-size:clamp(1.8rem,3vw,2.75rem);line-height:1.14}._chapterHeading_1v23l_28 p{color:var(--muted-foreground);margin:0;font-size:1rem;line-height:1.85}._rules_1v23l_32,._decisionGrid_1v23l_32,._findings_1v23l_32{grid-template-columns:repeat(3,minmax(0,1fr));gap:16px;margin:24px 0;display:grid}._rules_1v23l_32 article,._decisionGrid_1v23l_32 article,._findings_1v23l_32 article{border:1px solid var(--border);background:var(--card);border-radius:12px;min-width:0;padding:25px}._rules_1v23l_32 ._mono_1v23l_34,._findings_1v23l_32 ._mono_1v23l_34{color:var(--ledger-cyan);font-size:.68rem;line-height:1.6}._rules_1v23l_32 h3,._decisionGrid_1v23l_32 h3,._findings_1v23l_32 h3{letter-spacing:-.02em;margin:12px 0;font-size:1.07rem;line-height:1.4}._rules_1v23l_32 p,._decisionGrid_1v23l_32 p,._findings_1v23l_32 p{color:var(--muted-foreground);margin:0;font-size:.87rem;line-height:1.8}._inlineNote_1v23l_21{color:var(--muted-foreground);margin:20px 0;font-size:.85rem;line-height:1.85}._architecture_1v23l_38{border:1px solid var(--border);background:linear-gradient(135deg,var(--card),var(--secondary));border-radius:15px;margin:0;padding:28px}._architectureTop_1v23l_39{border:1px solid var(--border);background:var(--card);text-align:center;border-radius:9px;flex-wrap:wrap;justify-content:center;align-items:center;gap:10px 20px;padding:17px 20px;display:flex}._architectureTop_1v23l_39 ._mono_1v23l_34{color:var(--ledger-cyan);font-size:.65rem}._architectureTop_1v23l_39 strong{font-size:.95rem}._architectureTop_1v23l_39>span:last-child{color:var(--muted-foreground);font-size:.75rem}._architectureArrow_1v23l_43{color:var(--ledger-cyan);justify-content:center;padding:14px;display:flex}._storageGrid_1v23l_44{grid-template-columns:repeat(3,minmax(0,1fr));gap:16px;display:grid}._storageGrid_1v23l_44 article{border:1px solid var(--border);background:var(--card);border-radius:11px;padding:23px}._storageGrid_1v23l_44 svg{color:var(--ledger-cyan);margin-bottom:18px;display:block}._storageGrid_1v23l_44 ._mono_1v23l_34{color:var(--muted-foreground);font-size:.64rem}._storageGrid_1v23l_44 h3{margin:10px 0;font-size:1.04rem}._storageGrid_1v23l_44 p{color:var(--muted-foreground);font-size:.8rem;line-height:1.7}._storageGrid_1v23l_44 small{font:.7rem/1.7 var(--mono);color:var(--ledger-cyan)}._architecture_1v23l_38 figcaption{color:var(--muted-foreground);padding-top:20px;font-size:.75rem;line-height:1.7}._protocol_1v23l_21{border-left:3px solid var(--ledger-cyan);margin:30px 0;padding:10px 24px}._protocol_1v23l_21 ._mono_1v23l_34{color:var(--ledger-cyan);font-size:.68rem}._protocol_1v23l_21 p{color:var(--muted-foreground);margin:13px 0;font-size:.87rem;line-height:1.85}._protocol_1v23l_21 a,._strategy_1v23l_21 a{align-items:center;gap:5px;font-size:.8rem;display:inline-flex}._verificationFlow_1v23l_56{border:1px solid var(--border);background:var(--card);border-radius:15px;padding:26px}._verificationFlow_1v23l_56>div:first-child,._verificationFlow_1v23l_56>div:last-child{text-align:center;flex-direction:column;align-items:center;gap:10px;display:flex}._verificationFlow_1v23l_56 ._mono_1v23l_34{color:var(--ledger-cyan);font-size:.68rem}._verificationFlow_1v23l_56 strong{font-size:.95rem}._verificationFlow_1v23l_56 span:last-child{color:var(--muted-foreground);font-size:.8rem;line-height:1.65}._verificationBranches_1v23l_61{grid-template-columns:1fr 1fr;gap:20px;padding:28px 0;display:grid}._verificationBranches_1v23l_61 article{text-align:center;border:1px solid var(--border);background:var(--secondary);border-radius:10px;flex-direction:column;align-items:center;gap:12px;padding:25px;display:flex}._verificationFlow_1v23l_56 svg{color:var(--ledger-cyan)}._testStats_1v23l_64{grid-template-columns:repeat(3,minmax(0,1fr));gap:20px;margin:22px 0;display:grid}._testStats_1v23l_64 article{border-bottom:1px solid var(--border);padding:15px 0 23px}._testStats_1v23l_64 strong{font:600 clamp(1.3rem,2vw,1.8rem)/1.3 var(--mono);letter-spacing:-.055em;display:block}._testStats_1v23l_64 span{color:var(--muted-foreground);margin-top:10px;font-size:.78rem;display:block}._checks_1v23l_68{grid-template-columns:1fr 1fr;gap:8px 24px;display:grid}._checks_1v23l_68 p{color:var(--muted-foreground);align-items:flex-start;gap:10px;font-size:.85rem;line-height:1.7;display:flex}._checks_1v23l_68 svg{color:var(--ledger-cyan);flex:none;margin-top:3px}._ci_1v23l_71{border:1px solid var(--border);background:var(--card);border-radius:10px;flex-wrap:wrap;align-items:center;gap:13px;margin-top:25px;padding:20px;display:flex}._ci_1v23l_71 strong{font-size:.9rem}._ci_1v23l_71>span:last-child{color:var(--primary);gap:6px;margin-left:auto;font-size:.78rem;display:flex}._ciDot_1v23l_74{background:var(--ledger-lime);width:8px;height:8px;box-shadow:0 0 0 4px color-mix(in srgb, var(--ledger-lime) 15%,transparent);border-radius:50%}._pipeline_1v23l_75{grid-template-columns:1fr 210px 1fr;align-items:stretch;gap:20px;display:grid}._pipeline_1v23l_75 article{border:1px solid var(--border);background:var(--card);border-radius:12px;padding:26px}._pipeline_1v23l_75 ._mono_1v23l_34{color:var(--ledger-cyan);font-size:.68rem}._pipeline_1v23l_75 h3{margin:16px 0;font-size:1.2rem}._pipeline_1v23l_75 p{color:var(--muted-foreground);margin:0;font-size:.85rem;line-height:1.8}._queue_1v23l_80{text-align:center;border-block:1px solid var(--border);flex-direction:column;justify-content:center;align-items:center;gap:18px;padding:20px 0;display:flex}._queue_1v23l_80>div{gap:4px;display:flex}._queue_1v23l_80 i{background:color-mix(in srgb,var(--ledger-cyan) 18%,var(--card));border:1px solid var(--ledger-cyan);border-radius:3px;width:15px;height:26px}._queue_1v23l_80 i:nth-child(n+5){background:var(--card);border-color:var(--border)}._strategy_1v23l_21{border:1px solid var(--border);background:var(--card);border-radius:15px;grid-template-columns:1.1fr 1fr;gap:35px;margin:30px 0;padding:35px;display:grid}._strategy_1v23l_21 ._mono_1v23l_34{color:var(--ledger-cyan);font-size:.7rem}._strategy_1v23l_21 h3{letter-spacing:-.03em;margin:17px 0;font-size:1.6rem;line-height:1.3}._strategy_1v23l_21 p{color:var(--muted-foreground);font-size:.88rem;line-height:1.85}._pnl_1v23l_88{border:1px solid var(--border);background:var(--secondary);border-radius:10px;flex-direction:column;justify-content:center;padding:28px;display:flex}._pnl_1v23l_88 strong{font:600 clamp(2.3rem,4vw,3.8rem)/1.2 var(--mono);letter-spacing:-.07em;padding:20px 0 10px}._pnl_1v23l_88>span:nth-of-type(2){color:var(--muted-foreground);font-size:.85rem}._pnl_1v23l_88 p{margin:20px 0 0;font-size:.8rem}._scope_1v23l_92{border:1px dashed var(--border);border-radius:12px;padding:24px 28px}._scope_1v23l_92 h3{margin:0 0 13px;font-size:1.1rem}._scope_1v23l_92 p{color:var(--muted-foreground);margin:0;font-size:.85rem;line-height:1.85}._compilerChapter_1v23l_95{border:1px solid var(--border);background:var(--background);border-radius:16px;margin-top:32px;padding:32px}._compilerGrid_1v23l_96{grid-template-columns:1fr 1.05fr;align-items:start;gap:24px;display:grid}._compilerStory_1v23l_97{border:1px solid var(--border);background:var(--card);border-radius:14px;padding:28px}._compilerStory_1v23l_97>span{color:var(--ledger-cyan);letter-spacing:.04em;font-size:.67rem}._compilerStory_1v23l_97 h3{letter-spacing:-.035em;margin:16px 0;font-size:1.5rem;line-height:1.3}._compilerStory_1v23l_97 p{color:var(--muted-foreground);font-size:.87rem;line-height:1.85}._compilerStory_1v23l_97 a,._irProof_1v23l_101 a{color:var(--primary);text-underline-offset:3px;align-items:center;gap:5px;font-size:.8rem;text-decoration:underline;display:inline-flex}._compilerStory_1v23l_97 a{margin-top:8px}._irProof_1v23l_101{border:1px solid var(--border);background:var(--card);border-radius:14px;min-width:0;margin:0;overflow:hidden}._irProofHeader_1v23l_104{flex-direction:column;gap:11px;padding:24px;display:flex}._irProofHeader_1v23l_104>span{color:var(--ledger-cyan);font-size:.66rem;line-height:1.6}._irProofHeader_1v23l_104 strong{letter-spacing:-.025em;font-size:1.2rem}._irVersion_1v23l_107{border-top:1px solid var(--border);background:var(--secondary);padding:19px 24px}._irVersion_1v23l_107>span{color:var(--muted-foreground);font-size:.62rem;line-height:1.7}._irVersion_1v23l_107 pre{font:.71rem/1.9 var(--mono);color:var(--foreground);margin:12px 0 0;overflow-x:auto}._irAfter_1v23l_110{border-left:3px solid var(--ledger-lime)}._irAfter_1v23l_110>span{color:var(--ledger-lime)}._irProof_1v23l_101 figcaption{border-top:1px solid var(--border);color:var(--muted-foreground);padding:20px 24px;font-size:.75rem;line-height:1.85}._compilerEvidence_1v23l_113{grid-template-columns:repeat(4,minmax(0,1fr));gap:16px;margin:24px 0;display:grid}._compilerEvidence_1v23l_113 article{border:1px solid var(--border);background:var(--card);border-radius:10px;min-width:0;padding:22px 19px}._compilerEvidence_1v23l_113 strong{font:600 clamp(1.6rem,2.5vw,2.1rem)/1.2 var(--mono);letter-spacing:-.055em;color:var(--foreground);display:block}._compilerEvidence_1v23l_113 span{margin-top:12px;font-size:.8rem;font-weight:600;display:block}._compilerEvidence_1v23l_113 small{color:var(--muted-foreground);margin-top:6px;font-size:.69rem;line-height:1.75;display:block}._compilerLinks_1v23l_118{flex-wrap:wrap;gap:14px 25px;display:flex}._build_1v23l_21{border:1px solid var(--border);background:var(--card);border-radius:12px;margin-top:25px;padding:23px}._build_1v23l_21 summary{cursor:pointer;font-size:.95rem;font-weight:600}._build_1v23l_21 p{color:var(--muted-foreground);margin:20px 0 0;font-size:.85rem;line-height:1.8}._build_1v23l_21 pre{max-width:100%;font:.75rem/1.9 var(--mono);background:var(--secondary);border-radius:8px;margin-top:20px;padding:20px;overflow-x:auto}:is(._shell_1v23l_1 a:focus-visible,._build_1v23l_21 summary:focus-visible){outline:2px solid var(--ring);outline-offset:5px}@media (max-width:1050px){._hero_1v23l_3{gap:30px}._metrics_1v23l_12>div{padding:22px 17px}._pipeline_1v23l_75{grid-template-columns:1fr 150px 1fr;gap:12px}._storageGrid_1v23l_44 article{padding:18px}}@media (max-width:760px){._hero_1v23l_3{grid-template-columns:1fr}._heroVisual_1v23l_6{transform:none}._metrics_1v23l_12{grid-template-columns:1fr 1fr}._metrics_1v23l_12>div:nth-child(2){border-right:0}._metrics_1v23l_12>div:nth-child(-n+2){border-bottom:1px solid var(--border)}._rules_1v23l_32,._decisionGrid_1v23l_32,._findings_1v23l_32,._storageGrid_1v23l_44{grid-template-columns:1fr}._architecture_1v23l_38{padding:18px}._chapter_1v23l_23{padding-top:48px}._chapterNav_1v23l_23{gap:2px;padding:8px}._chapterNav_1v23l_23 a{flex:none;padding:10px 8px;font-size:.73rem}._pipeline_1v23l_75{grid-template-columns:1fr}._queue_1v23l_80{border:0;padding:23px}._queue_1v23l_80>div{gap:7px}._strategy_1v23l_21{grid-template-columns:1fr;gap:24px;padding:25px}._checks_1v23l_68{grid-template-columns:1fr}._ci_1v23l_71>span:last-child{margin-left:0}._verificationBranches_1v23l_61{gap:12px}._verificationBranches_1v23l_61 article{padding:20px 12px}._testStats_1v23l_64{grid-template-columns:1fr;gap:0}._testStats_1v23l_64 article{flex-wrap:wrap;align-items:baseline;gap:10px 20px;padding:18px 0;display:flex}._testStats_1v23l_64 span{margin-top:0}}@media (max-width:400px){._metrics_1v23l_12>div{padding:18px 13px}._metrics_1v23l_12 strong{font-size:1.7rem}._metrics_1v23l_12 p{font-size:.74rem}._metrics_1v23l_12 small{font-size:.65rem}._verificationBranches_1v23l_61{grid-template-columns:1fr}._chapterNav_1v23l_23 span{display:none}._hero_1v23l_3 .case-brandline .mono{font-size:.65rem;line-height:1.65}._scope_1v23l_92{padding:22px}._pnl_1v23l_88{padding:20px}}@media (prefers-reduced-motion:reduce){._chapterNav_1v23l_23 a{transition:none}}@media (max-width:760px){._compilerChapter_1v23l_95{padding:24px 18px}._compilerGrid_1v23l_96{grid-template-columns:1fr}._compilerEvidence_1v23l_113{grid-template-columns:1fr 1fr;gap:12px}._compilerStory_1v23l_97{padding:24px}}@media (max-width:400px){._compilerEvidence_1v23l_113 article{padding:19px 14px}._irVersion_1v23l_107,._irProofHeader_1v23l_104,._irProof_1v23l_101 figcaption{padding-inline:18px}}._shell_1v23l_1{--inner-accent:var(--glass-amber)}._metrics_1v23l_12,._chapterNav_1v23l_23,._architecture_1v23l_38,._verificationFlow_1v23l_56,._strategy_1v23l_21,._compilerChapter_1v23l_95,._irProof_1v23l_101,._build_1v23l_21,._ci_1v23l_71{border-color:var(--inner-edge);background:linear-gradient(135deg,var(--inner-soft),transparent 65%),var(--inner-fill);box-shadow:inset 0 1px 0 var(--glass-shine),0 24px 50px -35px #0008;-webkit-backdrop-filter:blur(18px)saturate(170%);border-radius:25px}._metrics_1v23l_12 strong{color:var(--glass-amber);font-family:Syne,sans-serif;font-weight:800}._metrics_1v23l_12>div{border-color:var(--inner-edge)}._chapterNav_1v23l_23{gap:7px;padding:10px}._chapterNav_1v23l_23 a{border:1px solid #0000;border-radius:14px;justify-content:center;align-items:center;min-height:44px;display:flex}:is(._chapterNav_1v23l_23 a:hover,._chapterNav_1v23l_23 a:focus-visible){background:var(--inner-soft);border-color:var(--inner-edge)}._chapterNav_1v23l_23 span{color:var(--glass-amber)}._chapterHeading_1v23l_28 h2{font-family:Syne,sans-serif;font-size:clamp(1.9rem,3.5vw,3.1rem);font-weight:800}._rules_1v23l_32 article,._decisionGrid_1v23l_32 article,._findings_1v23l_32 article,._storageGrid_1v23l_44 article,._pipeline_1v23l_75 article,._compilerStory_1v23l_97,._compilerEvidence_1v23l_113 article,._verificationBranches_1v23l_61 article{border-color:var(--inner-edge);background:linear-gradient(135deg,color-mix(in srgb,var(--foreground) 5%,transparent),transparent),var(--inner-fill);box-shadow:inset 0 1px 0 var(--glass-shine);-webkit-backdrop-filter:blur(18px);border-radius:22px}._rules_1v23l_32 h3,._decisionGrid_1v23l_32 h3,._findings_1v23l_32 h3,._storageGrid_1v23l_44 h3,._pipeline_1v23l_75 h3,._compilerStory_1v23l_97 h3{font-family:Syne,sans-serif;font-weight:700}._architectureTop_1v23l_39,._pnl_1v23l_88,._tags_1v23l_10 span{border-color:var(--inner-edge);background:var(--glass-inset);border-radius:14px}._tags_1v23l_10 span{border-radius:999px}._protocol_1v23l_21,._scope_1v23l_92{background:var(--inner-soft);border-radius:18px}._compilerChapter_1v23l_95{background:linear-gradient(145deg,color-mix(in srgb,var(--glass-indigo) 12%,transparent),var(--inner-fill))}@media (max-width:680px){._chapterHeading_1v23l_28 h2{font-size:clamp(1.8rem,7vw,2.35rem)}._chapterNav_1v23l_23{border-radius:20px}}