:root{--bg:#0b1220;--bg-card:#131c2e;--bg-input:#0f1827;--bg-elev:#1a2740;--text:#e6edf6;--text-muted:#9fb0c5;--border:#28354d;--border-strong:#6c7585;--accent:#10b981;--accent-hover:#34d399;--accent-text:#34d399;--accent-subtle:#0e2a22;--ok:#34d399;--ok-bg:#0e2a22;--bad:#f87171;--bad-bg:#2c1618;--amber:#f59e0b;--amber-bg:#2a210d;--code-bg:#0f1827;--shadow:0 2px 10px #00000059;--radius:12px;--radius-sm:8px;--font-mono:ui-monospace, "SF Mono", "Cascadia Code", "Fira Code", Consolas, monospace;--font-sans:-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif}:root[data-theme=light]{--bg:#f5f7fa;--bg-card:#fff;--bg-input:#fff;--bg-elev:#eef2f7;--text:#14213d;--text-muted:#54627a;--border:#d7dee8;--border-strong:#7c8494;--accent:#10b981;--accent-hover:#059669;--accent-text:#047857;--accent-subtle:#d9f5ec;--ok:#047857;--ok-bg:#e8f7f0;--bad:#b91c1c;--bad-bg:#fdeaea;--amber:#b45309;--amber-bg:#fcf3e3;--code-bg:#f1f5f9;--shadow:0 2px 10px #0f1e3c14}*,:before,:after{box-sizing:border-box;margin:0;padding:0}html{scroll-behavior:smooth;font-size:16px}body{font-family:var(--font-sans);background:var(--bg);color:var(--text);-webkit-font-smoothing:antialiased;min-height:100vh;line-height:1.6}@media (prefers-reduced-motion:reduce){*,:before,:after{transition-duration:.01ms!important;animation-duration:.01ms!important}html{scroll-behavior:auto}}:focus-visible{outline:3px solid var(--accent-text);outline-offset:2px;border-radius:var(--radius-sm)}.sr-only{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}#app{max-width:920px;margin:0 auto;padding:1.25rem clamp(.75rem,3vw,1.5rem) 0}.page-header{text-align:center;padding:1.5rem 0 .5rem}.category-chip{background:var(--accent-subtle);color:var(--accent-text);text-transform:uppercase;letter-spacing:.08em;border:1px solid color-mix(in srgb, var(--accent) 30%, transparent);border-radius:999px;padding:.25rem .75rem;font-size:.72rem;font-weight:700;display:inline-block}.page-title{letter-spacing:-.01em;margin:.6rem 0 .3rem;font-size:clamp(1.7rem,5vw,2.4rem)}.page-subtitle{color:var(--text-muted);max-width:42rem;margin:0 auto}.chip-row{flex-wrap:wrap;justify-content:center;gap:.4rem;margin-top:.9rem;padding:0;list-style:none;display:flex}.chip{font-family:var(--font-mono);color:var(--text-muted);background:var(--bg-elev);border:1px solid var(--border);border-radius:999px;padding:.2rem .55rem;font-size:.72rem}.cl-hero{flex-wrap:wrap;justify-content:space-between;align-items:flex-start;gap:clamp(1rem,4vw,3rem);margin:clamp(1rem,3vw,2rem) 0 1.5rem;display:flex}.cl-hero-main{flex:22rem;min-width:min(100%,20rem)}.cl-hero-title{letter-spacing:.01em;margin:0;font-size:clamp(1.6rem,3.8vw,2.7rem);font-weight:700;line-height:1.1}.cl-hero-sub{letter-spacing:.01em;opacity:.85;margin:.4rem 0 0;font-size:clamp(.9rem,1.6vw,1.05rem)}.cl-hero-desc{color:var(--text-muted);max-width:60ch;margin:.55rem 0 0;font-size:1rem;line-height:1.5}.cl-hero-why{border:1px solid var(--border);background:color-mix(in oklab,var(--accent) 6%,transparent);border-radius:10px;flex:0 min(40%,26rem);min-width:min(100%,15rem);padding:.85rem 1.05rem}.cl-hero-why-label{letter-spacing:.14em;color:var(--accent-text);font-size:.68rem;font-weight:700;display:block}.cl-hero-why-text{color:var(--text);margin:.35rem 0 0;font-size:.95rem;line-height:1.5}@media (width<=640px){.cl-hero{flex-direction:column}.cl-hero-main{flex-basis:auto;min-width:0}.cl-hero-why{flex-basis:auto;width:100%}}.card{background:var(--bg-card);border:1px solid var(--border);border-radius:var(--radius);box-shadow:var(--shadow);margin:1.1rem 0;padding:clamp(1rem,3vw,1.6rem)}.card h2{margin-bottom:.6rem;font-size:1.25rem}.card p{margin-bottom:.7rem}.card h3.sub{color:var(--text-muted);margin:1.1rem 0 .5rem;font-size:1rem}.card--alert{border-color:color-mix(in srgb, var(--amber) 45%, var(--border))}.formula-list{gap:.35rem;margin:.3rem 0 .8rem;list-style:none;display:grid}.formula-list code{font-family:var(--font-mono);background:var(--code-bg);border:1px solid var(--border);border-radius:var(--radius-sm);padding:.35rem .6rem;font-size:.85rem;display:inline-block}a{color:var(--accent-text)}.mt-btn{font:inherit;border-radius:var(--radius-sm);border:1px solid var(--border);cursor:pointer;background:var(--bg-elev);min-height:2.75rem;color:var(--text);padding:.5rem .95rem;font-size:.9rem;font-weight:600;transition:background .15s,border-color .15s,transform 50ms}.mt-btn:hover{border-color:var(--accent)}.mt-btn:active{transform:translateY(1px)}.mt-btn:disabled{opacity:.5;cursor:not-allowed}.mt-btn--primary{background:var(--accent);color:#04211a;border-color:var(--accent);font-weight:700}.mt-btn--primary:hover{background:var(--accent-hover);border-color:var(--accent-hover)}.mt-btn--ghost{background:0 0}.btn-row{flex-wrap:wrap;gap:.5rem;margin:.6rem 0;display:flex}.builder-controls{gap:.6rem;margin:.8rem 0;display:grid}.leaf-add-row{gap:.5rem;display:flex}.leaf-add-row input{flex:1;min-width:0}input[type=text],select{font:inherit;border-radius:var(--radius-sm);border:1px solid var(--border-strong);background:var(--bg-input);min-height:2.75rem;color:var(--text);padding:.5rem .7rem;font-size:1rem}input[type=text]:focus-visible,select:focus-visible{border-color:var(--accent-text)}.preset-row{flex-wrap:wrap;align-items:center;gap:.4rem;display:flex}.preset-label{color:var(--text-muted);font-size:.85rem}.select-row{flex-wrap:wrap;align-items:center;gap:.5rem;margin:.6rem 0;display:flex}.select-row label{font-weight:600}.select-row select{flex:1;min-width:12rem;max-width:100%}.leaf-list{flex-wrap:wrap;gap:.45rem;min-height:2rem;margin:.4rem 0;display:flex}.mt-chip{background:var(--bg-elev);border:1px solid var(--border);border-radius:999px;align-items:center;gap:.4rem;padding:.2rem .3rem .2rem .55rem;font-size:.85rem;display:inline-flex}.mt-chip--selected{border-color:var(--accent);background:var(--accent-subtle)}.mt-chip-sel{color:var(--accent-text);margin-left:.15rem;font-weight:700}.mt-chip-idx{font-family:var(--font-mono);color:var(--accent-text);background:var(--bg-card);border-radius:999px;padding:0 .4rem;font-size:.7rem}.mt-chip-x{color:var(--text-muted);cursor:pointer;background:0 0;border:none;border-radius:999px;place-items:center;min-width:1.6rem;min-height:1.6rem;font-size:1.2rem;line-height:1;display:inline-grid}.mt-chip-x:hover{color:var(--bad)}.mt-chip-x:focus-visible{outline:2px solid var(--accent);outline-offset:1px}.mt-note{color:var(--text-muted);font-size:.85rem}.mt-note--warn{color:var(--amber);font-weight:600}.mt-hint{color:var(--text-muted);font-size:.88rem}.tree-scroll{border:1px solid var(--border);border-radius:var(--radius-sm);background:var(--bg-input);margin:.8rem 0;padding:.5rem;overflow-x:auto}.mt-svg{display:block}.mt-empty{color:var(--text-muted);text-align:center;padding:1.5rem}.mt-edge{stroke:var(--border);stroke-width:1.5px}.mt-edge--active{stroke:var(--accent);stroke-width:2.5px}.mt-box{fill:var(--bg-elev);stroke:var(--border);stroke-width:1.5px}.mt-node--internal .mt-box{fill:var(--bg-card)}.mt-node--path .mt-box{stroke:var(--accent);stroke-width:2px}.mt-node--selected .mt-box{fill:var(--accent-subtle);stroke:var(--accent);stroke-width:2.5px}.mt-node--sibling .mt-box{stroke:var(--amber);stroke-width:2.5px;fill:var(--amber-bg)}.mt-node--clickable{cursor:pointer}.mt-node--clickable:hover .mt-box{stroke:var(--accent)}.mt-tag{font-family:var(--font-sans);fill:var(--text-muted);text-anchor:middle;font-size:11px}.mt-hash{font-family:var(--font-mono);fill:var(--text);text-anchor:middle;font-size:12px}.mt-node--selected .mt-hash,.mt-node--selected .mt-tag{fill:var(--text)}.mt-marker{text-anchor:end;fill:var(--text);font-size:12px;font-weight:700}.mt-node--sibling .mt-marker{fill:var(--amber)}.mt-node--selected .mt-marker{fill:var(--accent-text)}.scroll-hint{color:var(--text-muted);margin:.3rem 0 0;font-size:.78rem}@media (width>=720px){.scroll-hint{display:none}}.legend{background:var(--bg-input);border:1px solid var(--border);border-radius:var(--radius-sm);flex-wrap:wrap;gap:.5rem 1.1rem;margin:.6rem 0;padding:.6rem .8rem;font-size:.85rem;list-style:none;display:flex}.legend-mark{font-weight:700}.legend-mark--selected{color:var(--accent-text)}.legend-mark--proof{color:var(--amber)}.legend-mark--path{color:var(--text)}.root-box{background:var(--accent-subtle);border:1px solid color-mix(in srgb, var(--accent) 35%, transparent);border-radius:var(--radius-sm);flex-direction:column;gap:.3rem;margin-top:.6rem;padding:.7rem .9rem;display:flex}.root-label{text-transform:uppercase;letter-spacing:.06em;color:var(--accent-text);font-size:.72rem;font-weight:700}.root-hash{word-break:break-all;cursor:pointer}.mt-mono{font-family:var(--font-mono);font-size:.82rem}.mt-wrap{word-break:break-all}.mt-ok{color:var(--ok)}.mt-bad{color:var(--bad)}.legend-swatch{vertical-align:-1px;border-radius:3px;width:.8rem;height:.8rem;margin-right:.15rem;display:inline-block}.legend-sibling{background:var(--amber-bg);border:2px solid var(--amber)}.proof-output{margin-top:.5rem}.mt-proof-head p{margin-bottom:.4rem}.mt-steps{gap:.5rem;margin-top:.6rem;list-style:none;display:grid}.mt-step{background:var(--bg-input);border:1px solid var(--border);border-radius:var(--radius-sm);align-items:flex-start;gap:.6rem;padding:.55rem .7rem;display:flex}.mt-step-i{background:var(--accent);color:#04211a;border-radius:999px;flex:none;place-items:center;width:1.5rem;height:1.5rem;font-size:.8rem;font-weight:700;display:grid}.mt-step-body{gap:.2rem;min-width:0;display:grid}.mt-step-body code{word-break:break-all}.mt-step-side{color:var(--text-muted);font-size:.8rem}.verify-controls{gap:.35rem;margin:.6rem 0;display:grid}.verify-controls label{color:var(--text-muted);font-size:.85rem}.verify-steps{gap:.4rem;display:grid}.mt-vstep{background:var(--bg-input);border:1px solid var(--border);border-radius:var(--radius-sm);flex-wrap:wrap;align-items:center;gap:.5rem;padding:.45rem .6rem;display:flex}.mt-vstep code{word-break:break-all;flex:1;min-width:8rem}.mt-side--left{color:var(--amber);font-weight:600}.mt-side--right{color:var(--accent-text);font-weight:600}.mt-verdict{border-radius:var(--radius-sm);flex-wrap:wrap;align-items:center;gap:.5rem;margin:.8rem 0;padding:.7rem .9rem;font-size:.92rem;display:flex}.mt-verdict:empty{display:none}.mt-verdict--ok{background:var(--ok-bg);border:1px solid var(--ok);color:var(--text)}.mt-verdict--bad{background:var(--bad-bg);border:1px solid var(--bad);color:var(--text)}.mt-verdict-icon{font-size:1.1rem;font-weight:700}.mt-verdict--ok .mt-verdict-icon{color:var(--ok)}.mt-verdict--bad .mt-verdict-icon{color:var(--bad)}.verify-trace{font-size:.85rem}.mt-trace{gap:.3rem;list-style:none;display:grid}.mt-trace li{flex-wrap:wrap;align-items:center;gap:.4rem;display:flex}.mt-trace-i{background:var(--bg-elev);border:1px solid var(--border);border-radius:999px;place-items:center;width:1.4rem;height:1.4rem;font-size:.72rem;display:grid}.mt-trace-leaf{color:var(--text-muted)}.mt-roots{gap:.4rem;margin-top:.7rem;display:grid}.mt-roots>div{gap:.15rem;display:grid}.mt-root-label{text-transform:uppercase;letter-spacing:.05em;color:var(--text-muted);font-size:.72rem}.mt-roots code{word-break:break-all}.eff-slider-row{flex-wrap:wrap;align-items:center;gap:.8rem;margin:.5rem 0;display:flex}.eff-slider-row label{white-space:nowrap;font-weight:600}#eff-slider{min-width:12rem;accent-color:var(--accent);flex:1}.eff-readout{background:var(--bg-input);border:1px solid var(--border);border-radius:var(--radius-sm);padding:.7rem .9rem}.eff-bars{gap:.5rem;margin:.8rem 0;display:grid}.eff-bar-track{grid-template-columns:9rem 1fr;align-items:center;gap:.6rem;display:grid}.eff-bar-label{color:var(--text-muted);text-align:right;font-size:.78rem}.eff-bar{border-radius:999px;min-width:3px;height:1.1rem}.eff-bar--full{background:color-mix(in srgb, var(--bad) 65%, transparent)}.eff-bar--proof{background:var(--accent)}.eff-build-out{margin-top:.6rem}.mt-eff-table{border-collapse:collapse;width:100%;font-size:.88rem}.mt-eff-table th,.mt-eff-table td{text-align:left;border-bottom:1px solid var(--border);padding:.4rem .6rem}.mt-eff-table th{color:var(--text-muted);width:12rem;font-weight:600}.sec-controls{flex-wrap:wrap;align-items:center;gap:1rem;margin:.7rem 0;display:flex}.toggle{cursor:pointer;align-items:center;gap:.5rem;display:inline-flex}.toggle input{width:1.25rem;height:1.25rem;accent-color:var(--accent)}.sec-output{margin-top:.5rem}.mt-sec-detail{gap:.2rem;display:grid}.mt-sec-detail dt{text-transform:uppercase;letter-spacing:.05em;color:var(--text-muted);margin-top:.5rem;font-size:.74rem}.mt-sec-detail dd{margin:0}.mt-sec-detail code{word-break:break-all}.app-grid{grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:.8rem;margin-top:.5rem;display:grid}.app{background:var(--bg-input);border:1px solid var(--border);border-radius:var(--radius-sm);padding:.8rem .9rem}.app h3{color:var(--accent-text);margin-bottom:.3rem;font-size:1rem}.app p{color:var(--text-muted);margin:0;font-size:.88rem}.scripture-footer{text-align:center;border-top:1px solid var(--border);color:var(--text-muted);margin-top:2rem;padding:2rem 1rem;font-size:.85rem}.walk-row{align-items:center}.step-status{color:var(--text-muted);font-size:.85rem}.mt-verdict--step{background:var(--accent-subtle);border:1px solid color-mix(in srgb, var(--accent) 40%, transparent);color:var(--text)}.mt-verdict--step .mt-verdict-icon{color:var(--accent-text)}.mt-trace-now{background:var(--accent-subtle);border-radius:var(--radius-sm);padding:.15rem .3rem}.mt-bytes{margin:.2rem 0 .2rem 2rem}.mt-bytes summary{cursor:pointer;color:var(--accent-text);font-size:.78rem}.mt-bytes code{color:var(--text-muted);margin-top:.3rem;font-size:.74rem;display:block}.mt-node--current .mt-box{stroke:var(--accent-text);stroke-width:3.5px}@media (prefers-reduced-motion:no-preference){.mt-node--current .mt-box{animation:1.2s ease-in-out infinite mt-pulse}}@keyframes mt-pulse{0%,to{filter:none}50%{filter:drop-shadow(0 0 6px var(--accent))}}.glossary{border-bottom:1px dashed var(--accent-text);cursor:help}.glossary-def{z-index:1500;background:var(--bg-card);max-width:min(22rem,90vw);color:var(--text);border:1px solid var(--accent);border-radius:var(--radius-sm);box-shadow:var(--shadow);padding:.55rem .75rem;font-size:.82rem;line-height:1.45;position:fixed}.glossary-def[hidden]{display:none}.predict{background:var(--bg-input);border:1px solid var(--border);border-left:3px solid var(--accent);border-radius:var(--radius-sm);margin:.9rem 0;padding:.8rem .9rem}.predict-label{text-transform:uppercase;letter-spacing:.06em;color:var(--accent-text);margin-bottom:.3rem;font-size:.7rem;font-weight:700;display:inline-block}.predict p{margin:.3rem 0}.predict-answer{color:var(--text-muted)}.quiz-card{background:var(--bg-input);border:1px solid var(--border);border-radius:var(--radius-sm);margin:1.1rem 0;padding:.9rem}.quiz-card h4{margin-bottom:.3rem}.quiz-card label{cursor:pointer;align-items:flex-start;gap:.5rem;padding:.35rem 0;display:flex}.quiz-card input[type=radio]{accent-color:var(--accent);min-width:1.25rem;min-height:1.25rem;margin-top:.25rem}.mt-copy{cursor:pointer}.mt-copy:hover{-webkit-text-decoration:underline dotted;text-decoration:underline dotted}.quiz-fieldset{border:0;margin:0;padding:0}.quiz-fieldset legend{margin-bottom:.2rem;padding:0;font-weight:600}.radio-set{flex-wrap:wrap;align-items:center;gap:1rem;display:flex}.quiz-explain{border-radius:var(--radius-sm);margin-top:.6rem;padding:.6rem .7rem}.quiz-explain--right{background:var(--ok-bg);border:1px solid var(--ok)}.quiz-explain--wrong{background:var(--bad-bg);border:1px solid var(--bad)}.mt-toast{background:var(--bg-elev);color:var(--text);border:1px solid var(--accent);box-shadow:var(--shadow);opacity:0;pointer-events:none;z-index:2000;border-radius:999px;padding:.6rem 1rem;font-size:.85rem;transition:opacity .2s,transform .2s;position:fixed;bottom:1.2rem;left:50%;transform:translate(-50%)translateY(1rem)}.mt-toast--show{opacity:1;transform:translate(-50%)translateY(0)}.scope-note{border:1px solid var(--border);border-left:3px solid var(--accent);border-radius:var(--radius-sm);background:var(--bg-card);margin:1.1rem 0 0;padding:.85rem 1.05rem;font-size:.92rem;line-height:1.6}.scope-note a{color:var(--accent-text);font-weight:600;text-decoration:underline}.card--objectives{border-left:3px solid var(--accent)}.objectives{gap:.35rem;margin:.3rem 0 .3rem 1.2rem;display:grid}.objectives li{line-height:1.45}.reading-list{gap:.45rem;margin:.3rem 0 .3rem 1.2rem;font-size:.92rem;display:grid}.reading-list a{color:var(--accent-text)}.table-scroll{overflow-x:auto}.mt-recap-table{border-collapse:collapse;width:100%;min-width:34rem;font-size:.88rem}.mt-recap-table th,.mt-recap-table td{text-align:left;border-bottom:1px solid var(--border);vertical-align:top;padding:.5rem .6rem}.mt-recap-table thead th{color:var(--accent-text)}.mt-recap-table tbody th{color:var(--text-muted);width:11rem;font-weight:600}.mt-node--old .mt-box{fill:var(--accent-subtle)}.mt-node--consproof .mt-box{stroke:var(--amber);stroke-width:2.5px}.mt-node--consproof:not(.mt-node--old) .mt-box{stroke:var(--accent-text)}.mt-node--consproof .mt-marker{fill:var(--amber)}.mt-node--consproof:not(.mt-node--old) .mt-marker{fill:var(--accent-text)}.legend-old{background:var(--accent-subtle);border:1px solid var(--accent)}.legend-mark--proofnew{color:var(--accent-text)}.mt-chip--old{background:var(--accent-subtle)}.mt-chip--altered{border-color:var(--bad)}.mt-chip-warn{color:var(--bad);margin-left:.2rem;font-weight:700}@media (width<=560px){.eff-bar-track{grid-template-columns:1fr}.eff-bar-label{text-align:left}.mt-eff-table th,.mt-recap-table tbody th{width:auto}}