@charset "UTF-8";@font-face{font-family:maru buri;font-style:normal;font-weight:400;font-display:swap;src:url(https://campaign-cdn.pstatic.net/0/hangeul/2022/webfont/MaruBuri/MaruBuri-Regular.woff2)format("woff2")}@font-face{font-family:maru buri;font-style:normal;font-weight:600;font-display:swap;src:url(https://campaign-cdn.pstatic.net/0/hangeul/2022/webfont/MaruBuri/MaruBuri-SemiBold.woff2)format("woff2")}@font-face{font-family:maru buri;font-style:normal;font-weight:700;font-display:swap;src:url(https://campaign-cdn.pstatic.net/0/hangeul/2022/webfont/MaruBuri/MaruBuri-Bold.woff2)format("woff2")}:root{color-scheme:light;--site-content-max:42rem;--site-heading-max:56rem;--site-list-max:58rem;--site-visual-max:70rem;--site-font-body:"Source Serif 4", "Maru Buri", serif;--site-font-mono:"DM Mono", monospace;--site-body-size:0.8rem;--site-reading-size:var(--site-body-size);--site-reading-line:1.65;--site-caption-size:0.8125rem;--site-label-size:0.75rem;--site-color-canvas:#f2f0e9;--site-color-surface:#f2f0e9;--site-color-surface-muted:#d8d4ca;--site-color-drag:#bdb7aa;--site-color-text:#111111;--site-color-text-muted:#4a4a4a;--site-color-line:rgba(0, 0, 0, 0.16);--site-color-line-strong:rgba(0, 0, 0, 0.34);--site-color-accent:#000000;--site-color-accent-contrast:#f2f0e9;--site-color-selection:#c8c2b6;--site-color-selection-text:#111111;--site-color-scrollbar:rgba(17, 17, 17, 0.28);--site-color-scrollbar-hover:rgba(17, 17, 17, 0.52);--site-color-grid-rgb:0, 0, 0;--site-color-paper-rgb:242, 240, 233;--site-color-panel-rgb:216, 212, 202;--site-color-shadow-rgb:0, 0, 0}html,pre,.case-study-nav{scrollbar-color:var(--site-color-scrollbar)var(--site-color-canvas);scrollbar-width:thin}::-webkit-scrollbar{width:.65rem;height:.65rem}::-webkit-scrollbar-track,::-webkit-scrollbar-corner{background:var(--site-color-canvas)}::-webkit-scrollbar-thumb{min-height:2.5rem;border:.2rem solid var(--site-color-canvas);border-radius:999px;background:var(--site-color-scrollbar)}::-webkit-scrollbar-thumb:hover{background:var(--site-color-scrollbar-hover)}:root{--project-bg:var(--site-color-canvas);--project-surface:var(--site-color-surface);--project-surface-muted:var(--site-color-surface-muted);--project-text:var(--site-color-text);--project-muted:var(--site-color-text-muted);--project-line:var(--site-color-line);--project-line-strong:var(--site-color-line-strong);--project-accent:var(--site-color-accent);--project-accent-soft:var(--site-color-surface-muted);--project-accent-strong:var(--site-color-accent);--project-accent-contrast:var(--site-color-accent-contrast);--project-focus:var(--site-color-accent);--project-selection:var(--site-color-selection);--project-selection-text:var(--site-color-selection-text);--project-dot:transparent;--project-max:var(--site-list-max);--project-radius:0;--font-sans:var(--site-font-body);--font-mono:var(--site-font-mono)}*,*::before,*::after{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--project-bg);color:var(--project-text);font-family:var(--font-sans);min-width:20rem;font-size:.78rem;line-height:1.5;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased}body.project-shell{background-color:var(--project-bg);background-image:radial-gradient(circle,var(--project-dot) .8px,transparent .9px);background-size:4rem 4rem}a{color:var(--project-accent-strong);text-underline-offset:.2em}a:hover{text-decoration-thickness:.12em}a:focus-visible,button:focus-visible,summary:focus-visible{outline:3px solid var(--project-focus);outline-offset:4px}button,summary{font:inherit}code{font-family:var(--font-mono)}.project-site-header,.project-site-footer,.project-index,.project-article,.project-hero,.project-section{width:calc(100% - 2rem);max-width:var(--project-max);margin-inline:auto}.project-site-header{min-height:4.5rem;display:flex;align-items:center;border:0;margin-top:clamp(1.5rem,4vw,3rem)}.project-site-brand{display:flex;gap:.45rem;color:var(--project-text);font-size:.78rem;letter-spacing:0}.project-site-brand a{color:inherit;text-decoration:none}.project-site-brand__home{font-weight:750;letter-spacing:-.025em;text-transform:uppercase}.project-site-brand__separator,.project-site-brand__section{color:var(--project-muted);font-weight:400}.project-site-brand a:hover,.project-site-brand a:focus-visible{color:var(--project-text);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:.2em}::selection{background:var(--project-selection);color:var(--project-selection-text)}::-moz-selection{background:var(--project-selection);color:var(--project-selection-text)}.project-site-footer{margin-top:0;padding:1.5rem 0 2.5rem;border-top:1px solid var(--project-line);color:var(--project-muted);font-size:.6rem}.project-kicker,.comparison-label,.scope-horizon,.project-status,.card-number,.definition-label,.boundary-label{margin:0;color:var(--project-muted);font-size:.75rem;font-weight:800;letter-spacing:.09em;text-transform:uppercase}.project-kicker{color:var(--project-muted);font-family:var(--font-sans);font-size:.65rem;font-weight:600;letter-spacing:.065em;line-height:1;text-transform:uppercase}.project-hero{display:grid;grid-template-columns:minmax(13.5rem,.38fr)minmax(0,.62fr);grid-template-rows:auto 1fr auto;min-height:clamp(28rem,65vh,40rem);padding:0;border-bottom:0}.project-hero>.project-kicker,.project-hero h1{position:relative;grid-column:1;padding-right:clamp(1.5rem,4vw,2.5rem)}.project-hero>.project-kicker{margin:0;padding-top:clamp(3.5rem,8vw,6rem)}.project-hero h1{max-width:8ch;margin:1rem 0 0;font-size:clamp(3.25rem,7vw,6rem);font-weight:400;line-height:.88;letter-spacing:-.075em;text-transform:uppercase}.project-hero h1::after{content:"";position:absolute;right:0;bottom:-.7rem;left:0;height:.24rem;background:var(--project-accent);transform:rotate(-1.5deg);transform-origin:left center}.project-lede{grid-column:2;grid-row:1/3;max-width:none;margin:0;padding:clamp(7rem,14vw,10.5rem)0 2rem clamp(2rem,6vw,4rem);border-left:0;color:var(--project-muted);font-size:clamp(1rem,1.6vw,1.2rem);line-height:1.5}.project-overview-copy{max-width:76ch;margin-bottom:2.75rem;color:var(--project-muted);line-height:1.65}.project-overview-copy p{margin:0}.project-overview-copy p+p{margin-top:.75rem}.project-overview-copy strong{color:var(--project-text)}.hero-actions{grid-column:2;grid-row:3;display:flex;flex-wrap:wrap;gap:.75rem;margin-top:0;padding:0 0 3.5rem clamp(2rem,6vw,4rem);border-left:0}.button{display:inline-flex;min-height:2.8rem;align-items:center;justify-content:center;padding:.65rem 1rem;border:1px solid var(--project-accent);border-radius:0;font-weight:700;text-decoration:none}.button-primary{background:var(--project-accent-strong);color:var(--project-accent-contrast)}.button-secondary{background:0 0;color:var(--project-accent);text-decoration:none}.button:hover{background:var(--project-accent);color:var(--project-accent-contrast)}.project-section{padding:clamp(3.5rem,8vw,6.5rem)0;border-top:0;border-bottom:1px solid var(--project-line)}.section-heading{display:grid;grid-template-columns:3.5rem minmax(0,1fr);gap:1rem;align-items:start;margin-bottom:2.5rem}.section-heading h2,.project-index h1,.project-article h1{margin:.4rem 0 0;font-size:clamp(1.55rem,3.2vw,2.35rem);line-height:1.15;letter-spacing:-.035em}.section-heading h2{font-size:clamp(1.35rem,2.5vw,1.9rem)}.section-number{margin:0;color:var(--project-muted);font-family:var(--font-mono);font-size:.85rem}.language-definitions{display:grid;grid-template-columns:minmax(0,1fr);gap:1.75rem;max-width:76ch}.language-definition{min-width:0;padding:0;border:0;background:0 0}.language-definition h3{margin:.5rem 0 .75rem;font-size:clamp(1.15rem,2vw,1.45rem);line-height:1.2;letter-spacing:-.025em}.language-definition>p:last-child{max-width:62ch;margin:0;color:var(--project-muted)}.miniscript-playground{margin-top:3.5rem;padding-top:2.5rem;border-top:1px dashed var(--project-line)}.playground-header{display:flex;align-items:end;justify-content:space-between;gap:1.5rem}.playground-header h3{margin:.35rem 0 0;font-size:clamp(1.25rem,2.4vw,1.7rem);line-height:1.15;letter-spacing:-.03em}.playground-header>p{max-width:34ch;margin:0;color:var(--project-muted);font-size:.9rem}.playground-example-switcher{display:flex;flex-wrap:wrap;gap:.5rem;margin-top:1.5rem}.playground-example-switcher button{min-height:2.5rem;padding:.5rem .85rem;border:1px solid var(--project-line);border-radius:0;background:var(--project-surface);color:var(--project-text);font-weight:700;cursor:pointer}.playground-example-switcher button:hover,.playground-example-switcher button[aria-pressed=true]{border-color:var(--project-text);background:var(--project-text);color:var(--project-bg)}.playground-stage-grid{display:grid;grid-template-columns:minmax(0,1fr)auto minmax(0,1fr)auto minmax(0,1.1fr);gap:.65rem;align-items:stretch;margin-top:1.25rem}.playground-stage{min-width:0;min-height:8rem;padding:.75rem 0;border:0;background:0 0}.playground-stage>p,.playground-stage>code{margin:0}.playground-stage .playground-stage-label{margin-bottom:1.5rem;color:var(--project-muted);font-size:.72rem;font-weight:800;letter-spacing:.08em;text-transform:uppercase}.playground-code-stage code{display:block;color:var(--project-text);font-size:.82rem;line-height:1.55;overflow-wrap:anywhere}.playground-code-stage .playground-schematic{margin-top:1rem;color:var(--project-muted);font-size:.72rem;font-weight:700;letter-spacing:.04em;text-transform:uppercase}.playground-arrow{align-self:center;color:var(--project-muted);font-size:1.15rem}.playground-inputs{margin:1.25rem 0 0;padding:0;border:0;border-radius:0;background:0 0}.playground-inputs legend{padding:0;font-size:.78rem;font-weight:800}.playground-control-list{display:flex;flex-wrap:wrap;gap:.65rem 1.25rem}.playground-control-list label{display:inline-flex;align-items:center;gap:.45rem;cursor:pointer}.playground-control-list label[hidden]{display:none}.playground-control-list input{width:1rem;height:1rem;margin:0;accent-color:var(--project-accent-strong)}.playground-result{display:flex;gap:.85rem;align-items:center;margin-top:1rem;padding:.9rem 1rem;background:var(--project-accent-soft)}.playground-result[data-state=blocked]{background:var(--project-surface-muted)}.playground-result-mark{display:inline-flex;width:1.75rem;height:1.75rem;flex:none;align-items:center;justify-content:center;border:0;color:var(--project-accent-strong);font-weight:800}.playground-result[data-state=blocked] .playground-result-mark{color:var(--project-text)}.playground-result p{margin:0}.playground-result-title{font-weight:800}.playground-result p:last-child{color:var(--project-muted);font-size:.88rem}.playground-caveat{margin:.75rem 0 0;color:var(--project-muted);font-size:.78rem}.lean-model-intro{max-width:76ch;margin:0 0 2.5rem;color:var(--project-muted);font-size:1rem;line-height:1.65}.lean-proof-map{margin:0}.proof-start{max-width:76ch}.proof-start h3,.proof-path h3,.proof-bridge h3{margin:.35rem 0 .65rem;font-size:1rem;line-height:1.35}.proof-start>p:last-child{margin:0;color:var(--project-muted)}.proof-paths{display:grid;grid-template-columns:minmax(0,1fr);gap:2.5rem;max-width:76ch;margin-top:2.5rem}.proof-path{min-width:0;align-self:stretch;padding:.75rem 0}.proof-path ol{display:grid;gap:1.35rem;margin:1.25rem 0 0;padding:0;list-style:none}.proof-path li{display:grid;gap:.35rem}.proof-path>.proof-node-label,.proof-bridge>.proof-node-label{font-size:.82rem;letter-spacing:.03em;text-transform:none}.proof-path-step{color:var(--project-muted);font-size:.7rem;font-weight:500;letter-spacing:.06em;text-transform:uppercase}.proof-path li>code{font-weight:800;overflow-wrap:anywhere}.proof-path li>p{margin:0;color:var(--project-muted);font-size:.84rem;line-height:1.5}.proof-path-result{margin:1.5rem 0 0;color:var(--project-muted);font-size:.84rem;line-height:1.5}.proof-path-result strong{color:var(--project-text)}.proof-bridge{max-width:52rem;margin:2.5rem 0 0;background:0 0}.proof-node-label,.trace-source>span,.trace-core>span,.trace-script>span,.trace-analysis article>span{display:block;margin:0;color:var(--project-accent-strong);font-size:.72rem;font-weight:800;letter-spacing:.07em;text-transform:uppercase}.proof-bridge>p:last-of-type{margin:.65rem 0 0;color:var(--project-muted);font-size:.82rem;line-height:1.5}.proof-bridge code{overflow-wrap:anywhere}.compiler-visual{margin:0;padding:0;border:0;border-radius:0;background:0 0}.compiler-visual-header{display:grid;gap:.55rem;max-width:52rem}.compiler-visual-header h3,.compiler-stage h4,.compiler-rule-heading h4,.compiler-output h4{margin:0}.compiler-visual-header h3{font-size:clamp(1.2rem,2.4vw,1.6rem);line-height:1.2}.compiler-visual-header>p:not(.project-kicker){margin:0;color:var(--project-muted)}.compiler-definition{justify-self:start;margin-top:.35rem;padding:.65rem .85rem;border:0;background:var(--project-accent-soft);color:var(--project-accent-strong);font-weight:800;overflow-wrap:anywhere}.compiler-lowering{display:grid;grid-template-columns:minmax(0,1fr);gap:1rem;margin-top:2rem}.compiler-stage,.compiler-rule-stage,.compiler-output{min-width:0;border:0;border-radius:0;background:0 0}.compiler-stage{padding:.75rem 0}.compiler-step{display:block;color:var(--project-accent-strong);font-size:.7rem;font-weight:800;letter-spacing:.07em;text-transform:uppercase}.compiler-stage h4,.compiler-rule-heading h4,.compiler-output h4{margin-top:.35rem;font-size:1rem;line-height:1.35}.compiler-expression{display:block;margin:1.25rem 0;color:var(--project-text);font-size:1rem;font-weight:800;line-height:1.5;overflow-wrap:anywhere}.compiler-flow-arrow{display:grid;justify-items:start;padding-left:.75rem;color:var(--project-muted)}.compiler-flow-arrow span{display:block;font-size:1.2rem}.compiler-tree,.compiler-tree ul{margin:0;padding:0;list-style:none}.compiler-tree{margin-top:1rem}.compiler-tree ul{display:grid;gap:.5rem;margin-top:.5rem;padding-left:1.4rem}.compiler-tree li{position:relative}.compiler-tree ul>li::before{content:"↳";position:absolute;top:.42rem;left:-1.15rem;color:var(--project-muted);font-family:var(--font-mono)}.compiler-tree code{display:inline-block;padding:.15rem 0;background:0 0;font-weight:800;overflow-wrap:anywhere}.compiler-core-stage>p{margin:1rem 0 0;color:var(--project-muted);font-size:.8rem;line-height:1.5}.compiler-rule-stage{display:grid;grid-template-columns:minmax(10rem,.55fr)minmax(0,1.45fr);gap:1.5rem;margin-top:1.25rem;padding:1.25rem 0}.compiler-rules{display:grid;gap:.6rem}.compiler-rule{display:grid;grid-template-columns:minmax(6.5rem,.6fr)auto minmax(0,1.4fr);gap:.75rem;align-items:center;min-width:0;padding:.5rem 0;background:0 0}.compiler-rule>span{color:var(--project-accent-strong);font-weight:800}.compiler-rule code{min-width:0;overflow-wrap:anywhere}.compiler-output{display:grid;grid-template-columns:minmax(11rem,.55fr)minmax(0,1.45fr);gap:1.5rem;align-items:center;margin-top:1.25rem;padding:1.25rem;border:1px solid var(--project-line);border-radius:0;background:var(--project-accent-soft)}.instruction-tape{display:flex;flex-wrap:wrap;gap:.4rem;align-items:center}.instruction-tape code{display:inline-flex;min-height:auto;align-items:center;padding:.2rem 0;border:0;background:0 0;font-size:.78rem;font-weight:800;white-space:nowrap}.instruction-tape .instruction-control{background:0 0;color:var(--project-accent-strong)}.model-walkthrough{display:block;margin-top:3rem;padding:2.25rem 0 0;border:0;border-top:1px solid var(--project-line);border-radius:0;background:0 0}.model-walkthrough header h3{margin:.5rem 0 .75rem;font-size:clamp(1.2rem,2.4vw,1.6rem);line-height:1.2}.model-walkthrough header>p:last-child{margin:0;color:var(--project-muted)}.example-trace{display:grid;justify-items:stretch;margin-top:2rem}.trace-source,.trace-core,.trace-script{width:100%;padding:.75rem 0;background:0 0;text-align:left}.trace-source code,.trace-core code,.trace-script code{display:block;margin-top:.35rem;font-size:clamp(.9rem,2vw,1.1rem);overflow-wrap:anywhere}.trace-arrow{display:grid;min-height:3rem;padding-left:.5rem;place-items:center start;color:var(--project-muted);font-size:1.15rem}.trace-arrow-labeled{gap:.15rem}.trace-arrow small{color:var(--project-muted);font-size:.72rem;font-weight:700}.trace-analysis,.trace-results{display:grid;width:100%;gap:1rem}.trace-analysis{grid-template-columns:repeat(2,minmax(0,1fr));margin-top:1rem}.trace-analysis article,.trace-results{min-width:0;padding:.75rem 0;background:0 0}.trace-analysis h4{margin:.3rem 0 .65rem;font-size:1rem}.trace-analysis p,.trace-analysis ul{margin:0;color:var(--project-muted);font-size:.84rem}.trace-analysis ul{padding-left:1.15rem}.trace-analysis p+ul{margin-top:.5rem}.trace-results{grid-template-columns:1fr;margin-top:1rem}.trace-results h4,.trace-results ul,.trace-pass-rule{margin:0}.trace-results h4{font-size:.9rem}.trace-results ul{display:grid;gap:.65rem;padding:0;list-style:none}.trace-results li{display:flex;flex-wrap:wrap;gap:.35rem .6rem;align-items:baseline;color:var(--project-muted);font-size:.84rem}.trace-results li>span:first-child{color:var(--project-text);font-weight:500}.trace-results code{font-weight:800;overflow-wrap:anywhere}.trace-pass-rule{max-width:76ch;color:var(--project-muted);font-size:.86rem;line-height:1.55}.risk-example{border:0;border-radius:0;background:0 0}.gap-intro{max-width:76ch;margin:0 0 2.5rem;color:var(--project-muted);font-size:1rem;line-height:1.65}.risk-example h3{margin:0;font-size:1rem;line-height:1.35}.risk-example>p{max-width:76ch;margin:1.25rem 0}.risk-example .risk-summary{color:var(--project-muted);font-size:.82rem;line-height:1.6}.behavior-set-infographic{margin:1.5rem 0 0;overflow:hidden;border:1px solid var(--project-line);background-color:rgba(var(--project-paper-rgb),.94)}.behavior-set-caption{padding-block:.85rem}.behavior-set-stage{display:grid;grid-template-columns:minmax(22rem,1fr)3rem minmax(11rem,.48fr);align-items:center;padding:clamp(1.2rem,3vw,2rem)}.compiled-behavior-set{position:relative;width:100%;min-height:15rem;border:1px solid var(--project-accent);border-radius:50%;background:rgba(var(--project-panel-rgb),.55)}.behavior-set-label,.miniscript-behavior-set>span{color:var(--project-accent);font-family:var(--font-mono);font-size:.55rem;font-weight:700;letter-spacing:.045em;text-transform:uppercase}.behavior-set-label{position:absolute;top:1.2rem;left:50%;transform:translateX(-50%);white-space:nowrap}.miniscript-behavior-set{position:absolute;top:24%;bottom:16%;left:7%;display:grid;width:62%;align-content:center;justify-items:center;gap:.5rem;border:0;border-radius:50%;background:rgba(var(--project-paper-rgb),.95);text-align:center}.miniscript-behavior-set>strong{color:var(--project-text);font-size:.68rem}.unexpected-behavior{position:absolute;top:52%;right:8%;display:flex;gap:.45rem;align-items:center;color:var(--project-warning);font-family:var(--font-mono);font-size:.58rem;font-weight:700;transform:translateY(-50%)}.unexpected-behavior i{width:.62rem;height:.62rem;flex:none;border:2px solid var(--project-bg);background:var(--project-warning);box-shadow:0 0 0 1px var(--project-warning);transform:rotate(45deg)}.behavior-error-link{width:100%;border-top:1px solid var(--project-warning)}.behavior-error-card{padding:1rem;border:1px solid var(--project-warning);background:var(--project-warning-soft)}.behavior-error-card span,.behavior-error-card strong{display:block}.behavior-error-card span{color:var(--project-warning);font-family:var(--font-mono);font-size:.52rem;font-weight:700;letter-spacing:.05em;text-transform:uppercase}.behavior-error-card strong{margin-top:.55rem;color:var(--project-text);font-size:.66rem;line-height:1.45}.risk-example .risk-footnote{max-width:none;margin:.75rem 0 0;padding-top:.85rem;border-top:1px solid var(--project-line);color:var(--project-muted);font-size:.64rem;line-height:1.55}.risk-footnote>span{margin-right:.35rem;color:var(--project-accent);font-family:var(--font-mono);font-size:.56rem;font-weight:700;letter-spacing:.05em;text-transform:uppercase}.lean-proof-intro{max-width:76ch;margin:0 0 2.5rem;color:var(--project-muted);font-size:1rem;line-height:1.65}.argument-flow{position:relative;display:grid;grid-template-columns:repeat(5,minmax(0,1fr));gap:.75rem;padding-top:2.25rem}.argument-line{position:absolute;top:0;left:0;width:100%;height:2rem;overflow:visible}.argument-line path{fill:none;stroke:var(--project-line);stroke-width:2}.argument-line circle{fill:var(--project-accent);stroke:var(--project-bg);stroke-width:5}.argument-flow article{min-width:0;padding:1rem .85rem;border-top:1px solid var(--project-line-strong);background:var(--project-surface)}.argument-flow h3,.scope-panel h3{margin:.45rem 0;font-size:1rem;line-height:1.3}.argument-flow article>p:last-child{margin:0;color:var(--project-muted);font-size:.85rem}.scope-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));border:1px solid var(--project-line);border-radius:0;background:var(--project-surface);overflow:hidden}.scope-panel{min-width:0;padding:1.5rem}.scope-panel+.scope-panel{border-left:1px solid var(--project-line)}.scope-panel ul{margin:1rem 0 0;padding-left:1.25rem}.scope-panel li+li{margin-top:.55rem}.scope-panel code{padding:.08rem .25rem;background:var(--project-surface-muted);font-size:.84em}.future-notice{margin:1rem 0;padding:.75rem;border:0;background:var(--project-surface-muted);color:var(--project-accent-strong);font-weight:800}.integration-flow{display:grid;grid-template-columns:repeat(5,minmax(7rem,1fr) auto)minmax(7rem,1fr);gap:.45rem;align-items:stretch}.integration-flow>div{display:flex;min-width:0;min-height:7.5rem;flex-direction:column;justify-content:space-between;padding:.85rem;border:1px solid var(--project-line);background:var(--project-surface)}.integration-flow>div span{color:var(--project-muted);font-family:var(--font-mono);font-size:.72rem}.integration-flow>div p{margin:1rem 0 0;font-size:.82rem;font-weight:700;line-height:1.35}.integration-flow>.validator-step{border-color:var(--project-accent);background:var(--project-accent-soft)}.integration-flow>b{align-self:center;color:var(--project-muted)}.uses-intro,.uses-scope{max-width:76ch;color:var(--project-muted);line-height:1.65}.uses-intro{margin:0 0 2.5rem;font-size:1rem}.project-uses{display:grid;gap:2.25rem;max-width:76ch;margin:0;padding:0;list-style:none}.project-uses li{display:grid;grid-template-columns:2rem minmax(0,1fr);gap:1rem;align-items:start}.project-use-number{color:var(--project-muted);font-family:var(--font-mono);font-size:.8rem}.project-uses h3{margin:0;font-size:1.05rem;line-height:1.35}.project-uses p{margin:.45rem 0 0;color:var(--project-muted);line-height:1.6}.uses-scope{margin:2.5rem 0 0;font-size:.9rem}.project-index,.project-article{padding:0}.project-index-intro,.project-article-header{max-width:none}.project-index-intro>p:last-child,.project-article-header>p:last-of-type{color:var(--project-muted);font-size:1.1rem}.project-list{margin:0;padding:0;list-style:none}.project-list>li+li{margin-top:clamp(4rem,8vw,7rem)}.project-list-item{display:grid;grid-template-columns:minmax(16rem,.42fr)minmax(0,.58fr);align-items:stretch;border-top:1px solid var(--project-line-strong);border-bottom:1px solid var(--project-line)}.project-list-item h2{max-width:14ch;margin:clamp(2rem,4vw,3rem)0 1rem;font-size:clamp(1.55rem,3vw,2.35rem);font-weight:650;letter-spacing:-.045em;line-height:1.02}.project-list-item h2 a{color:var(--project-text);text-decoration:none}.project-list-item h2 a:hover{color:var(--project-accent)}.project-card-copy>p:not(.project-status){max-width:38ch;margin:0;color:var(--project-muted);font-size:clamp(.9rem,1.35vw,1.02rem);line-height:1.6}.project-card-copy{display:flex;min-width:0;flex-direction:column;justify-content:flex-start;padding:clamp(1.5rem,3vw,2.25rem)clamp(2rem,5vw,4.5rem)clamp(2rem,4vw,3rem)0}.project-card-eyebrow{display:flex;flex-wrap:wrap;align-items:center;gap:.65rem .9rem}.project-number,.project-count{margin:0;color:var(--project-accent);font-family:var(--font-mono);font-size:.62rem;font-weight:500;letter-spacing:.04em;text-transform:uppercase}.project-number::after{content:"/";margin-left:.9rem;color:var(--project-line-strong)}.project-card-eyebrow .project-status{display:inline-flex;align-items:center;gap:.38rem;color:var(--project-accent);font-family:var(--font-mono);font-size:.58rem;font-weight:500;letter-spacing:.04em}.project-card-eyebrow .project-status span{width:.42rem;height:.42rem;border-radius:50%;background:var(--project-accent);box-shadow:0 0 0 .2rem var(--project-accent-soft)}.project-card-actions{display:flex;flex-wrap:wrap;gap:.8rem 1.4rem;align-items:center;margin-top:auto;padding-top:clamp(2rem,4vw,3rem)}.project-card-actions .text-link{color:var(--project-accent);font-size:.78rem}.project-card-actions .text-link-secondary{color:var(--project-muted);font-weight:500}.project-card-visual{display:block;min-width:0;padding:clamp(1.5rem,3vw,2.25rem)0 clamp(1.5rem,3vw,2.25rem)clamp(1.5rem,3vw,2.25rem);border-left:1px solid var(--project-line);color:inherit;text-decoration:none}.project-card-visual figure{height:100%;margin:0;border:1px solid var(--project-line);background:0 0;overflow:hidden}.project-card-visual img{display:block;width:100%;height:100%;min-height:18rem;aspect-ratio:2/1;background:0 0;filter:none;mix-blend-mode:normal;object-fit:cover;transition:transform .35s ease}.project-card-visual:hover img{transform:scale(1.012)}.text-link{white-space:nowrap;font-weight:700}.project-prose{max-width:72ch;margin:0}.project-prose h2{margin-top:2.5rem}.project-prose pre{max-width:100%;padding:1rem;overflow-x:auto;border:1px solid var(--project-line);background:var(--project-surface-muted)}.project-index{display:block;min-height:0;margin-top:clamp(2.5rem,6vw,4.5rem);padding-bottom:clamp(5rem,10vw,9rem)}.project-index-intro{display:block;padding:0 0 clamp(2rem,4vw,3rem)}.project-index-heading{display:grid;grid-template-columns:minmax(0,1fr)auto;gap:2rem;align-items:start;justify-content:space-between;margin:0;padding-bottom:1.35rem;border-bottom:1px solid var(--project-line)}.project-index-intro h1{max-width:none;margin:.8rem 0 0;color:var(--project-text);font-family:var(--font-sans);font-size:clamp(.95rem,1.6vw,1.15rem);font-weight:650;letter-spacing:-.025em;line-height:1.25}.project-index-deck{max-width:62ch;margin:.35rem 0 0;color:var(--project-muted);font-size:.78rem;line-height:1.5}.project-article{display:grid;grid-template-columns:minmax(13rem,.3fr)minmax(0,.7fr);min-height:clamp(30rem,68vh,44rem);margin-top:clamp(3rem,7vw,6rem)}.project-article-header{padding:0 clamp(2rem,5vw,4rem)3rem 0}.project-article-header h1{max-width:10ch;margin-top:.65rem;font-size:clamp(2.5rem,5vw,4.4rem);letter-spacing:-.06em;line-height:.95}.project-article-header>p:last-of-type{margin-top:3rem;color:var(--project-muted);font-size:.9rem;line-height:1.5}.project-article>.project-prose{max-width:none;padding:clamp(4rem,8vw,7rem)0 3rem}.project-article-header .button{margin-top:1.5rem}.project-article>.project-prose{max-width:none}.lean-miniscript-page{--project-proof:#3f6170;--project-proof-soft:rgba(63, 97, 112, 0.08);--project-warning:#a5482c;--project-warning-soft:rgba(165, 72, 44, 0.1);--project-infographic-copy-size:var(--site-caption-size);--project-infographic-code-size:0.62rem;--project-infographic-compact-code-size:0.6rem;--project-infographic-heading-size:0.9375rem;background-color:var(--project-bg);background-image:radial-gradient(circle,var(--project-dot) .8px,transparent .9px);background-size:4rem 4rem}.case-study-layout{display:grid;width:calc(100% - 2rem);max-width:var(--site-visual-max);grid-template-columns:9rem minmax(0,1fr);gap:1.5rem;margin:0 auto}.case-study-nav{position:sticky;z-index:5;top:2rem;display:flex;width:9rem;flex-direction:column;align-items:stretch;gap:.65rem;align-self:start;margin:clamp(3rem,8vw,7rem)0 0;padding:0 0 0 .8rem;border:0;border-left:1px solid var(--project-line);background:0 0}.case-study-nav a{position:relative;display:block;width:auto;min-height:0;color:var(--project-muted);font-family:var(--font-sans);font-size:.68rem;font-weight:400;letter-spacing:0;line-height:1.35;text-decoration:none;text-transform:none;white-space:normal}.case-study-nav a:hover,.case-study-nav a:focus-visible,.case-study-nav a[aria-current=location]{color:var(--project-text);font-weight:600}.case-study-nav-index{display:none}.case-study-nav-label{position:static}.lean-miniscript-page main{min-width:0;padding-bottom:clamp(3rem,8vw,7rem)}.lean-miniscript-page .project-hero,.lean-miniscript-page .project-section{width:calc(100% - clamp(2rem,6vw,5rem));max-width:var(--project-max);margin:clamp(1.5rem,4vw,3rem)auto 0;border:0;background:0 0;box-shadow:none}.lean-miniscript-page .project-hero{display:block;min-height:auto;margin-top:clamp(1.25rem,3vw,2rem);padding:clamp(1.75rem,4vw,3rem)}.project-hero-copy{display:flex;max-width:38rem;min-width:0;flex-direction:column;align-items:flex-start;padding:0}.lean-miniscript-page .project-hero-copy .project-kicker{padding:0}.lean-miniscript-page .project-hero h1{align-self:start;width:fit-content;max-width:none;padding-right:0;font-size:clamp(2.125rem,4vw,3rem);font-weight:550;line-height:.96;letter-spacing:-.05em;text-transform:none}.lean-miniscript-page .project-hero h1::after{right:auto;width:100%}.lean-miniscript-page .project-lede{max-width:34rem;padding:clamp(1rem,2vw,1.35rem)0 0;color:var(--project-text);font-size:clamp(1.05rem,1.5vw,1.15rem);line-height:1.5}.lean-miniscript-page .hero-actions{width:100%;max-width:34rem;margin-top:clamp(1rem,2vw,1.35rem);padding:0}.lean-miniscript-page .project-repository-link{width:fit-content;color:var(--project-muted);font-size:.875rem;font-weight:400;text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:.25em}.lean-miniscript-page .project-repository-link:hover,.lean-miniscript-page .project-repository-link:focus-visible{color:var(--project-text)}.lean-miniscript-page .project-section{position:relative;padding:clamp(2.5rem,6vw,5rem);scroll-margin-top:4.5rem}.lean-miniscript-page .section-heading{margin-bottom:clamp(2rem,5vw,3.25rem);padding-bottom:1.15rem;border-bottom:1px solid var(--project-line)}.lean-miniscript-page .section-heading h2{font-size:clamp(1.05rem,2vw,1.35rem);letter-spacing:-.025em}.lean-miniscript-page .section-number,.lean-miniscript-page .section-heading .project-kicker{color:var(--project-accent)}.lean-miniscript-page .language-definition h3{font-size:clamp(.88rem,1.5vw,1.05rem)}.lean-miniscript-page .project-overview-copy,.lean-miniscript-page .lean-proof-intro,.lean-miniscript-page .gap-intro,.lean-miniscript-page .uses-intro{font-size:.86rem;line-height:1.6}.lean-miniscript-page .section-number{color:var(--project-accent);font-weight:500}.lean-miniscript-page .project-section:last-of-type{margin-bottom:0}@media(max-width:56rem){.case-study-layout{display:block;width:auto;max-width:none}.case-study-nav{display:none}}@media(max-width:48rem){.language-definitions{grid-template-columns:1fr}.project-list-item{grid-template-columns:1fr;min-height:auto;align-items:start}.project-index-intro{display:block}.project-index-heading{gap:1rem;margin:0}.project-index-intro h1{font-size:1rem}.project-index-deck{max-width:34rem;margin:.35rem 0 0}.project-card-copy{padding:1.5rem 0 2.5rem}.project-list-item h2{max-width:none;margin-top:2.75rem}.project-card-actions{margin-top:0}.lean-miniscript-page .project-hero,.lean-miniscript-page .project-section{width:calc(100% - 2rem);margin-top:1rem;padding:2rem 1.25rem;box-shadow:none}.lean-miniscript-page .project-hero h1{margin-bottom:0;font-size:clamp(2rem,8.8vw,2.5rem)}.lean-miniscript-page .project-hero-copy{padding-top:0}.lean-miniscript-page .project-lede{padding:1rem 0 0}.lean-miniscript-page .hero-actions{margin-top:1rem;padding:0}.project-card-visual{min-height:auto;padding:1.25rem 0 0;border-top:1px solid var(--project-line);border-left:0}.project-card-visual img{min-height:0}.project-index,.project-article,.project-hero{display:block;min-height:auto}.project-index-intro,.project-article-header{padding:2rem 0;border-right:0;border-bottom:0}.project-article>.project-prose{padding:3rem 0}.project-hero>.project-kicker{padding-top:3rem}.project-hero h1{margin-bottom:3.5rem}.project-lede,.hero-actions{padding-left:0;border-left:0}.project-lede{padding-top:0}.hero-actions{padding-bottom:3rem}}@media(max-width:36rem){.project-hero{padding-top:0}.project-hero h1{font-size:clamp(1.9rem,9.5vw,2.4rem)}.section-heading{grid-template-columns:1fr}.section-number{margin-bottom:-.5rem}}.editorial-infographic{margin:0 0 clamp(2.5rem,6vw,4.5rem);overflow:hidden;border:1px solid var(--project-line);background-color:rgba(var(--project-paper-rgb),.94)}.infographic-caption{display:flex;align-items:center;gap:.85rem;margin:0;padding:1rem 1.15rem;border-bottom:1px solid var(--project-line);background:rgba(var(--project-paper-rgb),.9)}.infographic-index{display:grid;width:1.65rem;height:1.65rem;flex:none;background:var(--project-accent);color:var(--project-accent-contrast);font-family:var(--font-mono);font-size:.58rem;place-items:center}.infographic-caption strong,.infographic-caption small{display:block}.infographic-caption strong{font-size:.82rem;font-weight:700;letter-spacing:-.015em}.infographic-caption small{margin-top:.16rem;color:var(--project-muted);font-size:.66rem}.infographic-caption small code{color:var(--project-accent);font-size:.96em}.overview-infographic{margin-top:clamp(3.5rem,7vw,5.5rem)}.overview-infographic-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));min-height:15rem}.overview-infographic-grid .infographic-panel{display:flex;min-width:0;flex-direction:column}.overview-panel-description{min-height:4.5em;margin:.5rem 0 0;color:var(--project-muted);font-size:var(--project-infographic-copy-size);line-height:1.5}.plain-language-rule{display:grid;min-height:2.75rem;margin-top:1.5rem;padding:.8rem;border:1px solid var(--project-line);background:rgba(var(--project-panel-rgb),.5);color:var(--project-text);font-family:var(--font-sans);font-size:.82rem;font-weight:400;letter-spacing:-.01em;line-height:1.5;place-items:center;text-align:center}.overview-expression{display:block;margin-top:1.5rem;padding:.8rem;border:1px solid var(--project-accent);background:rgba(var(--project-panel-rgb),.5);color:var(--project-text);font-size:.7rem;font-weight:400;text-align:center;overflow-wrap:anywhere}.overview-checks{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.35rem;margin-top:.55rem}.overview-checks span{padding:.42rem;border:1px solid var(--project-line);color:var(--project-accent);font-family:var(--font-mono);font-size:.56rem;text-align:center}.overview-script-tape{display:flex;min-width:0;flex-wrap:wrap;gap:.35rem;margin-top:1.5rem}.overview-stack-machine{display:grid;grid-template-columns:minmax(0,1fr);gap:.55rem;align-items:start;margin-top:1.5rem}.overview-stack-machine .overview-script-tape{margin-top:.45rem}.overview-machine-label{display:block;color:var(--project-muted);font-family:var(--font-mono);font-size:.48rem;font-weight:500;letter-spacing:.045em;line-height:1.25;text-transform:uppercase;white-space:nowrap}.overview-stack-flow{justify-self:center;color:var(--project-accent);font-family:var(--font-mono);font-size:.75rem;font-weight:400;transform:rotate(90deg)}.overview-stack-execution{display:grid;grid-template-columns:minmax(0,1.4fr)auto minmax(2.5rem,.7fr);gap:.4rem;align-items:end}.overview-stack-state{min-width:0}.overview-stack-state-flow{align-self:end;padding-bottom:.45rem;color:var(--project-accent);font-family:var(--font-mono);font-size:.65rem;font-weight:400}.overview-stack-row{display:flex;min-width:0;gap:.22rem;margin-top:.4rem}.overview-stack-row>code{display:grid;min-width:0;min-height:1.45rem;flex:1;padding:.25rem;border:1px solid var(--project-line);background:rgba(var(--project-panel-rgb),.48);color:var(--project-text);font-size:.5rem;font-weight:500;text-align:center;white-space:normal;overflow-wrap:anywhere;place-items:center}.overview-stack-row>code.is-dummy{border-style:dashed;color:var(--project-muted)}.overview-result-stack .overview-stack-row>code{border-color:var(--project-accent);background:var(--project-accent);color:var(--project-accent-contrast)}.overview-script-tape code{display:grid;min-width:1.75rem;min-height:1.9rem;flex:1 1 1.75rem;padding:.3rem;border:1px solid var(--project-line);background:rgba(var(--project-panel-rgb),.5);color:var(--project-text);font-size:.6rem;font-weight:400;place-items:center}.overview-script-tape code.wide{min-width:0;flex-basis:100%;justify-content:center;padding-inline:.55rem;color:var(--project-accent);text-align:center;overflow-wrap:anywhere}.overview-handoff{display:grid;grid-template-columns:auto minmax(0,1fr)auto;gap:.85rem;align-items:center;padding:.8rem 1.15rem;border-top:1px solid var(--project-line);background:rgba(var(--project-panel-rgb),.36);color:var(--project-muted);font-family:var(--font-mono);font-size:.57rem;text-align:center}.overview-handoff>span{color:var(--project-muted);letter-spacing:.04em;text-transform:uppercase}.overview-handoff>code{min-width:0;padding:.45rem .6rem;border:1px solid var(--project-accent);background:rgba(var(--project-panel-rgb),.5);color:var(--project-accent);font-size:.58rem;font-weight:400;overflow-wrap:anywhere}.overview-handoff strong{color:var(--project-accent);font-weight:500}.compiler-section-intro{max-width:76ch;margin:0 0 clamp(2.25rem,5vw,3.5rem);color:var(--project-muted);font-size:.86rem;line-height:1.6}.compiler-infographic-grid{display:grid;grid-template-columns:minmax(14.5rem,.95fr)minmax(16rem,1.05fr)minmax(15.5rem,1fr);min-height:22rem}.infographic-panel{min-width:0;padding:clamp(1rem,2.5vw,1.65rem)}.infographic-panel+.infographic-panel{border-left:1px solid var(--project-line)}.infographic-label{margin:0;color:var(--project-accent);font-family:var(--font-mono);font-size:.59rem;font-weight:700;letter-spacing:.065em;line-height:1.25;text-transform:uppercase}.infographic-tree,.infographic-tree ul{margin:0;padding:0;list-style:none}.infographic-tree{margin-top:1.5rem;text-align:center}.infographic-tree ul{position:relative;display:flex;gap:.65rem;justify-content:center;padding-top:1.15rem}.infographic-tree ul::before{content:"";position:absolute;top:0;left:50%;height:.75rem;border-left:1px solid var(--project-accent)}.infographic-tree ul>li{position:relative;flex:1;min-width:0}.infographic-tree ul>li::before{content:"";position:absolute;top:-.42rem;left:50%;width:calc(100% + .65rem);border-top:1px solid var(--project-accent);transform:translateX(-50%)}.infographic-tree ul>li:first-child::before{left:50%;width:50%;transform:none}.infographic-tree ul>li:last-child::before{right:50%;left:auto;width:50%;transform:none}.infographic-tree code{display:inline-block;max-width:100%;padding:.32rem .42rem;border:1px solid var(--project-line);background:rgba(var(--project-panel-rgb),.7);color:var(--project-text);font-size:.61rem;line-height:1.3;overflow-wrap:anywhere}.infographic-tree .tree-leaves{gap:.25rem}.policy-structure{display:grid;justify-items:center;margin-top:1.5rem}.policy-root{padding:.35rem .6rem;border:1px solid var(--project-accent);background:var(--project-accent);color:var(--project-accent-contrast);font-size:.62rem;font-weight:700}.policy-choice{position:relative;padding:1rem 0 .8rem;color:var(--project-muted);font-size:.57rem;line-height:1}.policy-choice::before{content:"";position:absolute;top:0;left:50%;height:.75rem;border-left:1px solid var(--project-accent)}.policy-branches{display:grid;width:100%;grid-template-columns:repeat(2,minmax(0,1fr));gap:.55rem}.policy-branch-card{display:flex;min-width:0;flex-direction:column;padding:.7rem;border:1px solid var(--project-line);background:rgba(var(--project-panel-rgb),.58)}.policy-branch-card strong,.policy-branch-card span,.policy-branch-card code{display:block}.policy-branch-card strong{color:var(--project-text);font-size:.66rem;font-weight:700}.policy-branch-card span{margin-top:.3rem;color:var(--project-muted);font-size:.56rem;line-height:1.4}.policy-branch-card code{margin-top:auto;padding-top:.65rem;color:var(--project-accent);font-size:.53rem;line-height:1.4;overflow-wrap:anywhere}.primary-policy-branch{border-color:var(--project-accent)}.miniscript-input-tree{display:grid;justify-items:center;margin-top:1.35rem}.miniscript-tree-root{position:relative;display:grid;width:100%;grid-template-columns:minmax(0,1fr);gap:.3rem;justify-items:start;padding:.65rem .7rem;border:1px solid var(--project-accent);background:rgba(var(--project-panel-rgb),.5)}.miniscript-tree-root::after{content:none}.miniscript-tree-root>code{min-width:0;color:var(--project-text);font-size:.62rem;font-weight:400;line-height:1.45;overflow-wrap:anywhere}.miniscript-tree-branches{display:grid;width:100%;grid-template-columns:minmax(0,1fr);gap:.75rem;margin-top:.8rem}.miniscript-tree-branches::before{content:none}.miniscript-tree-branch{position:relative;display:grid;min-width:0;grid-template-columns:minmax(0,1fr);gap:.3rem;align-items:start;padding:.65rem .7rem;border:1px solid var(--project-line);background:rgba(var(--project-panel-rgb),.5)}.miniscript-tree-branch::before{content:none}.miniscript-tree-branch::after{content:none}.miniscript-branch-label{color:var(--project-accent);font-family:var(--font-mono);font-size:.55rem;font-weight:500;letter-spacing:.035em;text-transform:uppercase}.miniscript-constructor{min-width:0;color:var(--project-text);font-size:.5rem;font-weight:400;line-height:1.45;overflow-wrap:anywhere}.miniscript-branch-comment{color:var(--project-muted);font-size:.48rem;font-weight:400;line-height:1.4}.compiler-rule-list{display:grid;gap:.38rem;margin-top:1.15rem}.compile-rules-panel{padding-inline:.65rem}.compiler-rule{display:block;min-width:0;padding:.18rem 0}.compiler-rule-line{display:flex;min-width:0;gap:.25rem;align-items:baseline;color:var(--project-text);font-weight:400;line-height:1.4;white-space:nowrap}.compiler-rule-operator{color:var(--project-muted);opacity:.7}.compiler-stage-note{display:block;margin-top:1rem;color:var(--project-muted);font-size:.57rem;line-height:1.5}.compiled-script-output{display:grid;counter-reset:script-line;gap:.08rem;margin-top:.85rem;padding:.5rem 0;border:1px solid var(--project-line-strong);background:rgba(var(--project-paper-rgb),.88)}.compiled-script-code-line{display:grid;min-width:0;grid-template-columns:1.45rem minmax(0,1fr);padding:.08rem .5rem;color:var(--project-text);font-size:.55rem;font-weight:400;line-height:1.45;counter-increment:script-line}.compiled-script-code-line::before{color:var(--project-muted);content:counter(script-line,decimal-leading-zero);font-weight:400;opacity:.62}.compiled-script-code-line>span{min-width:0;overflow-wrap:anywhere;white-space:nowrap}.compiled-script-control>span{color:var(--project-accent);font-weight:500}.compiled-script-comment>span{color:var(--project-muted);font-weight:400}.compiled-script-code-line.is-indented>span{padding-left:.55rem;border-left:1px solid var(--project-line-strong)}.recursive-frame{margin-top:1.5rem;border:1px solid var(--project-line-strong);background:rgba(var(--project-paper-rgb),.88)}.recursive-frame-title{padding:.55rem .65rem;border-bottom:1px solid var(--project-line);background:rgba(var(--project-panel-rgb),.74)}.recursive-frame-title code{color:var(--project-accent);font-size:.66rem;font-weight:700}.recursive-script{display:grid;grid-template-columns:auto minmax(0,1fr)auto minmax(0,1fr)auto;min-width:0}.recursive-script>.control{display:grid;min-width:2.45rem;padding:.65rem .35rem;background:var(--project-accent);color:var(--project-accent-contrast);font-size:.57rem;font-weight:700;place-items:center}.compiled-branch{display:flex;min-width:0;flex-direction:column;justify-content:center;gap:.65rem;padding:.75rem;border-right:1px solid var(--project-line)}.compiled-branch small,.compiled-branch>code{display:block;min-width:0}.compiled-branch small{color:var(--project-muted);font-size:.56rem;line-height:1.4}.compiled-branch small code{color:var(--project-accent);font-size:inherit}.compiled-branch>code{color:var(--project-text);font-size:.56rem;font-weight:600;line-height:1.5;overflow-wrap:anywhere}.compiled-branch.from-overview{background:rgba(var(--project-panel-rgb),.68);box-shadow:inset 0 0 0 1px var(--project-accent)}.compiled-branch small b{color:var(--project-accent);font-family:var(--font-mono);font-weight:700;letter-spacing:.04em;text-transform:uppercase}.infographic-tape{display:flex;min-width:0;flex-wrap:wrap;gap:.35rem;margin-top:1.5rem}.infographic-tape code{display:inline-flex;max-width:100%;min-height:1.75rem;flex:1 1 2.2rem;align-items:center;justify-content:center;padding:.3rem .38rem;border:1px solid var(--project-line);background:rgba(var(--project-panel-rgb),.68);color:var(--project-text);font-size:.55rem;font-weight:600;line-height:1.25;text-align:center;overflow-wrap:anywhere}.infographic-tape code.control{border-color:var(--project-accent);background:var(--project-accent);color:var(--project-accent-contrast)}.infographic-tape code.wide{flex-basis:100%;justify-content:flex-start;padding-inline:.55rem;font-size:.58rem}.gap-infographic-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));min-height:16rem}.gap-infographic-grid .infographic-panel{display:flex;min-width:0;flex-direction:column}.gap-infographic-grid .infographic-panel>small{margin-top:auto;padding-top:1rem;color:var(--project-muted);font-size:.58rem;line-height:1.5}.proof-obligation-accent,.gap-obligation-panel .infographic-label,.proof-equals{color:var(--project-proof)}.gap-obligation-panel{background:var(--project-proof-soft)}.gap-proof-mark{margin-top:1.25rem;padding:.8rem 0;border-top:1px solid rgba(63,97,112,.24);border-bottom:1px solid rgba(63,97,112,.24);color:var(--project-text)}.gap-proof-mark code{display:block;max-width:100%;font-size:.58rem;font-weight:400;line-height:1.4;overflow-wrap:anywhere;white-space:normal}.gap-proof-mark>small{display:block;margin-top:.65rem;color:var(--project-muted);font-size:.54rem;line-height:1.4}.gap-outcomes{margin:1.25rem 0 0;padding:0;border-top:1px solid var(--project-line);list-style:none}.gap-outcomes li{display:grid;grid-template-columns:minmax(0,1fr)auto;gap:.5rem;min-height:3.25rem;align-items:center;padding:.55rem 0;border-bottom:1px solid var(--project-line)}.gap-outcomes span,.gap-outcomes b,.gap-outcomes small{display:block}.gap-outcomes b{color:var(--project-text);font-family:var(--font-sans);font-size:.58rem;font-weight:500;line-height:1.4}.gap-outcomes small{margin-top:.12rem;color:var(--project-muted);font-size:.54rem;line-height:1.35}.gap-outcomes code{color:var(--project-proof);font-family:var(--font-mono);font-size:.52rem;font-weight:500}.gap-outcomes code.is-rejected{color:var(--project-warning)}.gap-behavior-panel .compiled-script-output{margin-top:1.25rem}.proof-goal-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));min-height:19rem}.proof-goal-step{display:flex;min-width:0;flex-direction:column;padding:clamp(1rem,2.2vw,1.45rem)}.proof-goal-step+.proof-goal-step{border-left:1px solid var(--project-line)}.proof-goal-number{display:block;width:auto;height:auto;margin-bottom:.8rem;background:0 0;color:var(--project-muted);font-family:var(--font-mono);font-size:.55rem;font-weight:500}.proof-goal-step h3{min-height:2.1rem;margin:.85rem 0 0;color:var(--project-text);font-size:.72rem;font-weight:700;line-height:1.35}.proof-goal-step>.infographic-label{min-height:1.55rem}.proof-goal-step>code{margin-top:1rem;padding:0;border:0;background:0 0;color:var(--project-text);font-size:.56rem;font-weight:500;line-height:1.4;text-align:left;overflow-wrap:anywhere}.proof-goal-step>small{margin-top:auto;padding-top:1.1rem;color:var(--project-muted);font-size:.56rem;line-height:1.5}.proof-goal-theorem{background:rgba(var(--project-panel-rgb),.44)}.proof-goal-theorem>code{padding:.55rem;border:1px solid var(--project-accent);background:var(--project-accent);color:var(--project-accent-contrast);text-align:center}.model-infographic-grid{display:grid;grid-template-columns:minmax(11rem,.7fr)minmax(24rem,1.55fr)minmax(12rem,.75fr);min-height:21rem}.model-source-panel,.model-goal-panel{display:flex;min-width:0;flex-direction:column;justify-content:center;padding:clamp(1rem,2.5vw,1.65rem)}.model-source-panel{border-right:1px solid var(--project-line)}.model-source-panel>code{margin-top:1.25rem;color:var(--project-text);font-size:.72rem;font-weight:700}.fragment-glyph{position:relative;width:8rem;max-width:100%;height:6rem;margin-top:1.5rem;background:linear-gradient(32deg,transparent 46%,var(--project-line-strong) 47%,var(--project-line-strong) 49%,transparent 50%)0 0/50% 55%,linear-gradient(-32deg,transparent 46%,var(--project-line-strong) 47%,var(--project-line-strong) 49%,transparent 50%)100% 0/50% 55%;background-repeat:no-repeat}.fragment-glyph i{position:absolute;width:.58rem;height:.58rem;border:1px solid var(--project-accent);border-radius:50%;background:var(--project-bg)}.fragment-glyph i:nth-child(1){top:0;left:calc(50% - .29rem)}.fragment-glyph i:nth-child(2){top:2.45rem;left:18%}.fragment-glyph i:nth-child(3){top:2.45rem;right:18%}.fragment-glyph i:nth-child(4){bottom:0;left:0}.fragment-glyph i:nth-child(5){bottom:0;left:34%}.fragment-glyph i:nth-child(6){right:34%;bottom:0}.fragment-glyph i:nth-child(7){right:0;bottom:0}.model-paths{display:grid;min-width:0;grid-template-rows:1fr 1fr}.model-path{position:relative;display:grid;min-width:0;grid-template-columns:minmax(0,1fr)auto minmax(0,1fr);gap:.6rem;align-items:center;padding:1.25rem}.model-path+.model-path{border-top:1px solid var(--project-line)}.model-path>.infographic-label{position:absolute;top:.75rem;left:1.25rem}.model-path>div{min-width:0;padding:.75rem;border:1px solid var(--project-line);background:rgba(var(--project-panel-rgb),.68)}.model-path code,.model-path small{display:block}.model-path code{font-size:.66rem;font-weight:600;overflow-wrap:anywhere}.model-path small{margin-top:.4rem;color:var(--project-muted);font-size:.56rem;line-height:1.4}.model-path>span{color:var(--project-accent);font-family:var(--font-mono)}.model-goal-panel{border-left:1px solid var(--project-line);background:rgba(var(--project-panel-rgb),.32)}.contract-comparison{display:grid;grid-template-columns:1fr auto 1fr;gap:.55rem;align-items:center;margin-top:1.25rem;padding:.8rem;border:1px dashed var(--project-accent);color:var(--project-text);text-align:center}.contract-comparison span{font-size:.62rem;font-weight:600;line-height:1.35}.contract-comparison strong{color:var(--project-accent);font-family:var(--font-mono);font-size:1rem}.model-goal-panel>small{margin-top:.7rem;color:var(--project-muted);font-size:.56rem;line-height:1.4}@media(max-width:72rem){.compiler-infographic-grid{grid-template-columns:minmax(0,1fr);min-height:auto}.compiler-infographic-grid .infographic-panel+.infographic-panel{border-top:1px solid var(--project-line);border-left:0}}@media(max-width:58rem){.overview-infographic-grid,.gap-infographic-grid,.model-infographic-grid{grid-template-columns:1fr;min-height:auto}.overview-infographic-grid .infographic-panel+.infographic-panel,.gap-infographic-grid .infographic-panel+.infographic-panel,.infographic-panel+.infographic-panel,.model-source-panel,.model-goal-panel{border-top:1px solid var(--project-line);border-left:0}.model-source-panel{border-right:0}.fragment-glyph{height:5.5rem}.behavior-set-stage,.proof-goal-grid{grid-template-columns:1fr}.proof-goal-step+.proof-goal-step{border-top:1px solid var(--project-line);border-left:0}.behavior-error-link{justify-self:center;width:0;height:2.2rem;border-top:0;border-left:1px solid var(--project-accent)}.proof-goal-step h3,.proof-goal-step>.infographic-label{min-height:auto}}@media(max-width:36rem){.compiled-behavior-set{min-height:0;padding:1rem;border-radius:0}.behavior-set-label{position:static;display:block;margin-bottom:.75rem;transform:none;white-space:normal}.miniscript-behavior-set{position:static;width:100%;min-height:7rem;padding:1rem;border-radius:0}.unexpected-behavior{position:static;justify-content:flex-start;margin-top:.75rem;padding:.45rem .65rem;border-left:2px solid var(--project-warning);background:rgba(165,72,44,4%);transform:none}.overview-stack-execution{grid-template-columns:minmax(0,1fr);align-items:start}.overview-stack-state-flow{justify-self:center;padding-bottom:0;transform:rotate(90deg)}.compiler-rule-line{display:grid;grid-template-columns:minmax(0,1fr)auto;gap:.08rem .25rem;white-space:normal}.compiler-rule-line>span:first-child,.compiler-rule-line>span:last-child{min-width:0;overflow-wrap:anywhere}.compiler-rule-line>span:last-child{grid-column:1/-1;padding-left:.75rem}.policy-branches{grid-template-columns:1fr}.overview-handoff{grid-template-columns:1fr}.recursive-script,.model-path{grid-template-columns:1fr}.recursive-script>.control{min-height:2rem;padding:.4rem}.compiled-branch{border-top:1px solid var(--project-line);border-right:0}.model-path{padding-top:2.6rem}.model-path>span{justify-self:center;transform:rotate(90deg)}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*::before,*::after{scroll-behavior:auto!important;transition-duration:.01ms!important}}:root{--project-max:var(--site-list-max);--project-bg:var(--site-color-canvas);--project-surface:var(--site-color-surface);--project-surface-muted:var(--site-color-surface-muted);--project-text:var(--site-color-text);--project-muted:var(--site-color-text-muted);--project-line:var(--site-color-line);--project-line-strong:var(--site-color-line-strong);--project-accent:var(--site-color-accent);--project-accent-soft:var(--site-color-surface-muted);--project-accent-strong:var(--site-color-accent);--project-accent-contrast:var(--site-color-accent-contrast);--project-focus:var(--site-color-accent);--project-selection:var(--site-color-selection);--project-selection-text:var(--site-color-selection-text);--project-dot:transparent;--project-paper-rgb:var(--site-color-paper-rgb);--project-panel-rgb:var(--site-color-panel-rgb);--project-grid-rgb:var(--site-color-grid-rgb);--project-shadow-rgb:var(--site-color-shadow-rgb);--font-sans:var(--site-font-body);--font-mono:var(--site-font-mono)}body.project-shell{--project-max:var(--site-list-max);font-size:1rem;line-height:1.6;transition:background-color .2s ease,color .2s ease}body.project-index-page{--project-max:var(--site-content-max)}html:has(body.project-shell){background:var(--site-color-canvas)}body.lean-miniscript-page{--project-max:var(--site-heading-max)}.project-site-brand{font-size:.875rem}.project-site-footer{font-size:.75rem;line-height:1.5}.lean-miniscript-page .project-site-footer{font-size:.56rem;line-height:1.35}.project-index-intro h1{font-size:1.25rem}.project-index-deck{max-width:var(--site-content-max);font-size:1rem;line-height:1.6}.project-number,.project-count,.project-card-eyebrow .project-status{font-size:var(--site-label-size)}.project-card-copy>p:not(.project-status){font-size:var(--site-reading-size);line-height:var(--site-reading-line)}.project-card-actions .text-link{font-size:.875rem}body.project-index-page{font-size:var(--site-body-size);line-height:1.5}body.project-index-page .project-site-brand{font-size:.78rem}body.project-index-page .project-index{min-height:0;margin-top:clamp(1.5rem,4vw,3rem);padding-bottom:4rem}body.project-index-page .projects-table{width:100%;border-collapse:collapse}body.project-index-page .projects-table td{padding:.13rem 0;vertical-align:top}body.project-index-page .projects-table td:first-child{padding-right:1rem;text-align:left}body.project-index-page .projects-table td:first-child a{color:inherit;font:inherit;font-weight:650;text-decoration-color:transparent}body.project-index-page .projects-table td:first-child a:hover,body.project-index-page .projects-table td:first-child a:focus-visible{color:var(--project-accent);text-decoration-color:initial}body.project-index-page .projects-table td:last-child{width:6.5rem;color:var(--project-muted);font-family:var(--font-mono);font-size:.72rem;text-align:right;white-space:nowrap}body.project-index-page .project-site-footer{border-top:0;font-size:.56rem;line-height:1.35}@media(max-width:48rem){body.project-index-page .projects-table{table-layout:fixed}body.project-index-page .projects-table td:first-child{width:auto;padding-right:.65rem}body.project-index-page .projects-table td:last-child{width:4.5rem;padding-left:.5rem;white-space:normal;overflow-wrap:anywhere}}.lean-miniscript-page .case-study-nav a,.lean-miniscript-page .project-kicker,.lean-miniscript-page .project-status,.lean-miniscript-page .section-number,.lean-miniscript-page .definition-label{font-size:var(--site-label-size)}.lean-miniscript-page .project-hero{max-width:var(--site-heading-max)}.lean-miniscript-page .project-section{max-width:var(--site-visual-max);padding:clamp(2.75rem,6vw,5rem)clamp(1.25rem,4vw,2.5rem)}.lean-miniscript-page .project-section>:not(.editorial-infographic):not(.risk-example),.lean-miniscript-page .risk-example>:not(.behavior-set-infographic){width:100%;max-width:var(--site-content-max);margin-inline:auto}.lean-miniscript-page .project-section>.editorial-infographic,.lean-miniscript-page .risk-example>.behavior-set-infographic{width:100%;max-width:none}.lean-miniscript-page .project-hero-copy,.lean-miniscript-page .project-lede{width:100%;max-width:var(--site-content-max)}.lean-miniscript-page .project-lede{font-size:var(--site-body-size);line-height:var(--site-reading-line)}.lean-miniscript-page .inline-definition{position:relative;display:inline-block}.lean-miniscript-page .inline-definition dfn{padding:0 .08em;border-bottom:1px dotted;cursor:pointer;font-style:normal;text-underline-offset:.2em;transition:background-color .15s ease,border-color .15s ease}.lean-miniscript-page .inline-definition:hover dfn,.lean-miniscript-page .inline-definition:focus-within dfn{border-bottom-style:solid;background:var(--project-surface-muted)}.lean-miniscript-page .inline-definition dfn:focus-visible{outline:none}.lean-miniscript-page .inline-definition-note{position:absolute;z-index:6;top:calc(100% + .45rem);left:0;width:16rem;max-width:calc(100vw - 2rem);padding:.75rem .85rem;border:1px solid var(--project-line);background:var(--project-surface);box-shadow:0 .8rem 2rem rgba(17,17,17,8%);color:var(--project-text);font-family:var(--font-sans);font-size:var(--site-body-size);font-weight:400;line-height:var(--site-reading-line);opacity:0;pointer-events:none;text-align:left;transform:translateY(.2rem);transition:opacity .15s ease,transform .15s ease;visibility:hidden}.lean-miniscript-page .inline-definition-note::before{position:absolute;top:-.32rem;left:.9rem;width:.55rem;height:.55rem;border-top:1px solid var(--project-line);border-left:1px solid var(--project-line);background:var(--project-surface);content:"";transform:rotate(45deg)}.lean-miniscript-page .inline-definition--script .inline-definition-note{right:0;left:auto}.lean-miniscript-page .inline-definition--script .inline-definition-note::before{right:.9rem;left:auto}.lean-miniscript-page .inline-definition:hover .inline-definition-note,.lean-miniscript-page .inline-definition:focus-within .inline-definition-note{opacity:1;transform:translateY(0);visibility:visible}@media(max-width:36rem){.lean-miniscript-page .inline-definition-note,.lean-miniscript-page .inline-definition--script .inline-definition-note{position:fixed;top:auto;right:1rem;bottom:1rem;left:1rem;width:auto;max-width:none}.lean-miniscript-page .inline-definition-note::before,.lean-miniscript-page .inline-definition--script .inline-definition-note::before{content:none}}.lean-miniscript-page .section-heading{width:100%;max-width:var(--site-content-max);grid-template-columns:minmax(0,1fr);gap:0;margin-inline:auto}.lean-miniscript-page .project-uses li{grid-template-columns:minmax(0,1fr);gap:0}.lean-miniscript-page .risk-example h3,.lean-miniscript-page .proof-goal-step h3,.lean-miniscript-page .project-uses h3{font-size:var(--project-infographic-heading-size);font-weight:600;line-height:1.35}.lean-miniscript-page .miniscript-behavior-set>strong,.lean-miniscript-page .behavior-error-card strong{font-weight:500}.lean-miniscript-page .editorial-infographic .proof-goal-step>code{font-size:var(--project-infographic-code-size);font-weight:400}.lean-miniscript-page .section-heading h2{font-size:clamp(1.2rem,1.8vw,1.4rem);line-height:1.25}.lean-miniscript-page .project-overview-copy,.lean-miniscript-page .compiler-section-intro,.lean-miniscript-page .lean-model-intro,.lean-miniscript-page .lean-proof-intro,.lean-miniscript-page .gap-intro,.lean-miniscript-page .uses-intro{width:100%;max-width:var(--site-content-max);margin-inline:auto;font-size:var(--site-reading-size);line-height:var(--site-reading-line)}.lean-miniscript-page .risk-summary,.lean-miniscript-page .risk-footnote{max-width:var(--site-content-max);margin-inline:auto;font-size:var(--site-body-size);line-height:var(--site-reading-line)}.lean-miniscript-page .project-uses p{font-size:var(--site-body-size);line-height:var(--site-reading-line)}.lean-miniscript-page .uses-section .section-heading{margin-bottom:2rem}.lean-miniscript-page .uses-section .uses-intro{margin-bottom:1.5rem}.lean-miniscript-page .uses-section .project-uses{gap:1.75rem}.lean-miniscript-page .editorial-infographic{font-size:.875rem}.lean-miniscript-page .infographic-caption strong{font-size:1rem;line-height:1.3}.lean-miniscript-page .infographic-caption small,.lean-miniscript-page .editorial-infographic small,.lean-miniscript-page .editorial-infographic code,.lean-miniscript-page .editorial-infographic li{font-size:var(--site-caption-size);line-height:1.45}.lean-miniscript-page .editorial-infographic .compiler-rule-list code{font-size:var(--project-infographic-compact-code-size)}.lean-miniscript-page .editorial-infographic code.miniscript-branch-comment,.lean-miniscript-page .editorial-infographic code.miniscript-constructor{font-size:var(--project-infographic-code-size)}.lean-miniscript-page .editorial-infographic code.miniscript-constructor{white-space:nowrap}.lean-miniscript-page .miniscript-branch-label{font-size:.55rem}.lean-miniscript-page .editorial-infographic code.compiled-script-code-line{font-size:var(--project-infographic-code-size)}.lean-miniscript-page .editorial-infographic .gap-proof-mark code{font-size:var(--project-infographic-code-size)}.lean-miniscript-page .miniscript-tree-root>code{max-width:100%;font-size:var(--project-infographic-code-size);overflow-wrap:anywhere;text-align:center}.lean-miniscript-page .editorial-infographic .overview-expression,.lean-miniscript-page .overview-script-tape code,.lean-miniscript-page .overview-stack-row code{font-size:var(--project-infographic-code-size)}.lean-miniscript-page .infographic-index,.lean-miniscript-page .infographic-label,.lean-miniscript-page .overview-checks span,.lean-miniscript-page .overview-machine-label,.lean-miniscript-page .miniscript-branch-label,.lean-miniscript-page .proof-goal-number{font-size:var(--site-label-size);line-height:1.35}.lean-miniscript-page .infographic-label,.lean-miniscript-page .overview-machine-label,.lean-miniscript-page .miniscript-branch-label,.lean-miniscript-page .compiled-script-output small,.lean-miniscript-page .gap-proof-mark span,.lean-miniscript-page .behavior-set-label,.lean-miniscript-page .miniscript-behavior-set>span,.lean-miniscript-page .unexpected-behavior span,.lean-miniscript-page .behavior-error-card>span,.lean-miniscript-page .risk-footnote>span,.lean-miniscript-page .overview-handoff>span,.lean-miniscript-page .overview-handoff>strong{font-family:var(--font-sans)}.lean-miniscript-page .editorial-infographic h3{font-size:.9375rem;line-height:1.35}.lean-miniscript-page .plain-language-rule{font-size:var(--project-infographic-copy-size)}.lean-miniscript-page .overview-handoff,.lean-miniscript-page .gap-proof-mark span,.lean-miniscript-page .contract-comparison span{font-size:var(--site-caption-size);line-height:1.45}.lean-miniscript-page .overview-machine-label{white-space:normal}.lean-miniscript-page .miniscript-recovery-leaves span,.lean-miniscript-page .gap-rule-expression span,.lean-miniscript-page .behavior-set-label,.lean-miniscript-page .miniscript-behavior-set>span,.lean-miniscript-page .unexpected-behavior,.lean-miniscript-page .behavior-error-card>span,.lean-miniscript-page .risk-footnote>span{font-size:var(--site-label-size);line-height:1.35}.lean-miniscript-page .miniscript-behavior-set>strong,.lean-miniscript-page .behavior-error-card>strong{font-size:var(--site-caption-size);line-height:1.45}.site-tools{--site-tool-size:1.6rem;position:fixed;z-index:20;top:clamp(8rem,20vh,12rem);left:.2rem;display:flex;flex-direction:column;align-items:center;gap:.8rem;color:var(--text-dimmed,var(--project-muted))}.site-tools__social{display:flex;flex-direction:column;gap:.2rem}.site-tool{display:inline-flex;width:var(--site-tool-size);height:var(--site-tool-size);padding:0;border:0;align-items:center;justify-content:center;background:0 0;color:inherit;cursor:pointer;text-decoration:none;transition:color .15s ease,transform .15s ease}.site-tool svg{width:.92rem;max-height:.92rem;fill:currentColor}.site-tool__linkedin-mark{font-family:var(--site-font-body);font-size:.82rem;font-weight:700;letter-spacing:-.06em}.site-tool:hover,.site-tool:focus-visible{color:var(--text,var(--project-text));transform:translateY(-1px)}@media(min-width:78rem){.site-tools{left:calc((100vw - var(--site-content-max))/2 - 5.25rem)}}@media(max-width:48rem){.site-tools{--site-tool-size:1.65rem;position:absolute;top:1.2rem;right:.8rem;left:auto;flex-direction:row;gap:.25rem}.site-tools__social{flex-direction:row;gap:.1rem}}@media(prefers-reduced-motion:reduce){.site-tool{transition:none}}@media(min-width:78rem){body.project-shell .site-tools{left:calc((100vw - var(--project-max))/2 - 5.25rem)}}