@charset "UTF-8";:root{--project-bg:#faf9f6;--project-surface:#ede8e1;--project-surface-muted:#ede8e1;--project-text:#2d2a26;--project-muted:#6b6560;--project-line:#e8dfd0;--project-accent:#5b7553;--project-accent-soft:#e5e9dc;--project-accent-strong:#5b7553;--project-accent-contrast:#faf9f6;--project-focus:#5b7553;--project-max:76rem;--project-radius:0.75rem;--font-sans:"Lato", "Noto Sans KR", sans-serif;--font-mono:"DM Mono", ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace}*,*::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);font-size:.9rem;line-height:1.6;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased}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:3.5rem;display:flex;align-items:center;border-bottom:1px solid var(--project-line)}.project-site-brand{color:var(--project-text);font-weight:700;letter-spacing:-.02em;text-decoration:none}.project-site-footer{margin-top:2.5rem;padding-bottom:2.5rem;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-accent-strong);font-size:.75rem;font-weight:800;letter-spacing:.09em;text-transform:uppercase}.project-hero{padding:clamp(2.5rem,5vw,4rem)0 clamp(2.75rem,5vw,4.5rem)}.project-hero h1{max-width:17ch;margin:1rem 0 1.5rem;font-size:clamp(2rem,4.8vw,3.6rem);line-height:1.02;letter-spacing:-.055em}.project-lede{max-width:66ch;margin:0;color:var(--project-muted);font-size:clamp(1rem,1.5vw,1.15rem);line-height:1.55}.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{display:flex;flex-wrap:wrap;gap:.75rem;margin-top:2rem}.button{display:inline-flex;min-height:2.8rem;align-items:center;justify-content:center;padding:.65rem 1rem;border:0;border-radius:.4rem;font-weight:700;text-decoration:none}.button-primary{background:var(--project-accent-strong);color:#fff}.button-secondary{background:0 0;color:var(--project-accent-strong);text-decoration:underline}.project-section{padding:clamp(3.5rem,8vw,6.5rem)0;border-top: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:0;border-radius:999px;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]{background:var(--project-accent-soft);color:var(--project-accent-strong)}.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{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-radius:var(--project-radius);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-comparison{display:grid;grid-template-columns:minmax(0,1fr)auto minmax(0,1fr);gap:1rem;align-items:stretch;padding:1.25rem 0}.risk-comparison>div{padding:.5rem 0;border:0;background:0 0}.risk-comparison p{margin:0}.risk-comparison .comparison-label{margin-bottom:.4rem;color:var(--project-accent-strong)}.comparison-symbol{align-self:center;color:var(--project-muted);font-size:1.5rem;font-weight:800}.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:3px solid var(--project-accent);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:var(--project-radius);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:clamp(3.5rem,8vw,6rem)0}.project-index-intro,.project-article-header{max-width:68ch}.project-index-intro>p:last-child,.project-article-header>p:last-of-type{color:var(--project-muted);font-size:1.1rem}.project-list{margin:3rem 0 0;padding:0;list-style:none;border-top:1px solid var(--project-line)}.project-list-item{display:grid;grid-template-columns:minmax(0,1fr)auto;gap:1.5rem;align-items:end;padding:2rem 0;border-bottom:1px solid var(--project-line)}.project-list-item h2{margin:.35rem 0;font-size:clamp(1.4rem,3vw,2rem)}.project-list-item h2 a{color:var(--project-text);text-decoration:none}.project-list-item p:last-child{max-width:60ch;margin:0;color:var(--project-muted)}.text-link{white-space:nowrap;font-weight:700}.project-prose{max-width:72ch;margin-top:3rem}.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)}@media(max-width:68rem){.integration-flow{grid-template-columns:repeat(3,minmax(0,1fr))}.integration-flow>b{display:none}}@media(max-width:48rem){.argument-flow,.scope-grid,.risk-comparison,.integration-flow,.playground-stage-grid,.language-definitions,.model-walkthrough{grid-template-columns:1fr}.trace-analysis,.compiler-rule-stage,.compiler-output{grid-template-columns:1fr}.compiler-rule-stage,.compiler-output{gap:1rem}.compiler-rule{grid-template-columns:minmax(5.5rem,.6fr)auto minmax(0,1.4fr)}.playground-arrow{justify-self:center;transform:rotate(90deg)}.playground-stage{min-height:auto}.argument-flow{padding:0 0 0 1.25rem}.argument-flow::before{content:"";position:absolute;top:0;bottom:0;left:.28rem;width:2px;background:var(--project-line)}.argument-flow article{position:relative}.argument-flow article::before{content:"";position:absolute;top:1.25rem;left:-1.35rem;width:.75rem;height:.75rem;border:3px solid var(--project-bg);border-radius:50%;background:var(--project-accent)}.argument-line,.comparison-symbol{display:none}.scope-panel+.scope-panel{border-top:1px solid var(--project-line);border-left:0}.integration-flow>div{min-height:auto}.project-list-item{grid-template-columns:1fr;align-items:start}}@media(max-width:36rem){.project-hero{padding-top:2.5rem}.project-hero h1{font-size:clamp(2rem,11vw,2.75rem)}.section-heading{grid-template-columns:1fr}.section-number{margin-bottom:-.5rem}.hero-actions,.hero-actions .button{width:100%}.playground-header{align-items:flex-start;flex-direction:column}.playground-example-switcher button{flex:1 1 8rem}.compiler-rule{grid-template-columns:1fr;gap:.3rem}.compiler-rule>span{justify-self:start;transform:rotate(90deg)}.playground-control-list{align-items:stretch;flex-direction:column}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*::before,*::after{scroll-behavior:auto!important;transition-duration:.01ms!important}}