:root{color-scheme:dark;--ground:#0a0d0b;--ground-raised:#131916;--ink:#edf1ee;--ink-dim:#8f9a93;--ink-faint:#7e8a83;--hairline:rgba(237,241,238,0.12);--hairline-soft:rgba(237,241,238,0.07);--signal:#56a97f;--signal-soft:#4f8e6d;--signal-wash:rgba(86,169,127,0.14);--verified:#56a97f;--verified-bg:rgba(86,169,127,0.13);--attention:#c9963b;--attention-bg:rgba(201,150,59,0.13);--contradicted:#cf6b58;--contradicted-bg:rgba(207,107,88,0.09);--unknown:#8f9a93;--unknown-bg:rgba(143,154,147,0.13);--diff-add:rgba(86,169,127,0.10);--diff-del:rgba(207,107,88,0.10);--diff-add-fg:#56a97f;--diff-del-fg:#cf6b58;--sans:-apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif;--mono:ui-monospace,"SF Mono","JetBrains Mono","Cascadia Code",Menlo,Consolas,monospace}*{margin:0;padding:0;box-sizing:border-box}html{scroll-behavior:smooth}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}}body{background:var(--ground);color:var(--ink);font-family:var(--sans);font-size:16px;line-height:1.6;-webkit-font-smoothing:antialiased}a{color:var(--signal);text-underline-offset:3px}a:focus-visible,button:focus-visible{outline:2px solid var(--signal);outline-offset:2px}.doc{max-width:1140px;margin:0 auto;padding:0 32px 120px}.sect{margin-top:136px}.sect:first-child{margin-top:120px}.sect h2{font-size:clamp(26px,3.4vw,34px);font-weight:650;letter-spacing:-.028em;line-height:1.12;margin-bottom:16px;text-wrap:balance}.sect-head{max-width:640px;margin-bottom:40px}.prose{max-width:62ch;color:var(--ink-dim)}.prose p{margin-bottom:14px}.prose p:last-child{margin-bottom:0}.prose em{color:var(--ink);font-style:italic}.prose code{font-family:var(--mono);font-size:.86em;color:var(--ink);background:var(--ground-raised);border:1px solid var(--hairline-soft);padding:1px 5px;border-radius:3px}.split{display:grid;grid-template-columns:minmax(0,5fr) minmax(0,6fr);grid-gap:24px 64px;gap:24px 64px;align-items:center}.law{margin:72px auto 0;max-width:36ch;text-align:center;text-wrap:balance;font-size:clamp(19px,2.3vw,23px);font-weight:600;letter-spacing:-.015em;line-height:1.4;color:var(--ink)}.law:before{content:"";display:block;width:46px;height:1px;margin:0 auto 22px;background:var(--signal)}.win{border:1px solid var(--hairline);border-radius:10px;background:var(--ground-raised);overflow:hidden;box-shadow:0 16px 48px -20px rgba(0,0,0,.6);min-width:0}.win-bar{display:flex;align-items:center;gap:12px;padding:10px 14px;border-bottom:1px solid var(--hairline-soft);font-family:var(--mono);font-size:11px;letter-spacing:.04em;color:var(--ink-faint);min-height:37px}.win-dots{display:inline-flex;gap:6px;flex:none}.win-dots i{width:8px;height:8px;border-radius:50%;background:var(--hairline)}.win-title{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.win-step{margin-left:auto;flex:none;font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.win-body{overflow-x:auto}.diff{font-family:var(--mono);font-size:12.5px;line-height:1.9;padding:14px 0;min-width:500px}.diff .line{padding:0 18px 0 12px;white-space:pre;display:block}.diff .ln{display:inline-block;width:2ch;margin-right:16px;text-align:right;color:var(--ink-faint);-webkit-user-select:none;-moz-user-select:none;user-select:none}.diff .del{background:var(--diff-del);color:var(--diff-del-fg)}.diff .add{background:var(--diff-add);color:var(--diff-add-fg)}.diff .ctx{color:var(--ink-faint)}.walk{display:grid;grid-template-columns:minmax(0,5fr) minmax(0,6fr);grid-gap:40px 64px;gap:40px 64px;align-items:start}.walk-tabs{display:flex;flex-direction:column}.walk-tab{position:relative;display:block;width:100%;text-align:left;background:none;border:none;border-bottom:1px solid var(--hairline-soft);padding:18px 2px 20px;cursor:pointer;font-family:var(--sans);color:var(--ink-dim)}.walk-tab:first-child{border-top:1px solid var(--hairline-soft)}.walk-tab-name{display:flex;align-items:baseline;gap:12px;font-size:16.5px;font-weight:600;color:var(--ink-dim);transition:color .2s ease}.walk-tab.is-active .walk-tab-name,.walk-tab:hover .walk-tab-name{color:var(--ink)}.walk-tab-gate{font-family:var(--mono);font-size:11px;font-weight:400;letter-spacing:.08em;color:var(--signal-soft);opacity:0;transition:opacity .25s ease}.walk-tab.is-active .walk-tab-gate{opacity:1}.walk-tab-body{display:grid;grid-template-rows:0fr;opacity:0;font-size:14.5px;line-height:1.6;color:var(--ink-dim);transition:grid-template-rows .35s ease,opacity .3s ease}.walk-tab.is-active .walk-tab-body{grid-template-rows:1fr;opacity:1}.walk-tab-body-in{display:block;overflow:hidden;min-height:0;padding-top:8px}.walk-tab-track{position:absolute;left:0;right:0;bottom:-1px;height:2px;background:var(--signal);transform:scaleX(0);transform-origin:left;transition:transform .2s ease}.walk-tab.is-active .walk-tab-track{transform:scaleX(1)}.walk-tab.is-active .walk-tab-track.is-running{transform:scaleX(0);animation:walkFill linear forwards}@keyframes walkFill{0%{transform:scaleX(0)}to{transform:scaleX(1)}}@media (prefers-reduced-motion:reduce){.walk-tab.is-active .walk-tab-track.is-running{animation:none;transform:scaleX(1)}.walk-tab-body{transition:none}}.walk-stage{min-width:0}.walk-art{font-family:var(--mono);font-size:12.5px;line-height:1.85;min-height:252px}.walk-art pre{padding:18px 20px;white-space:pre;min-width:420px}@media (prefers-reduced-motion:no-preference){.walk-art{animation:artIn .35s ease}}@keyframes artIn{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}.walk-art code{color:var(--ink-dim)}.walk-art .tk-key{color:var(--signal-soft)}.walk-art .tk-str{color:var(--ink)}.walk-art .tk-cmt{color:var(--ink-faint)}.walk-art .tk-good{color:var(--verified)}.walk-art .tk-bad,.walk-art .tk-del{color:var(--diff-del-fg)}.walk-art .tk-del{background:var(--diff-del)}.walk-art .tk-add{background:var(--diff-add);color:var(--diff-add-fg)}.walk-caption{margin-top:14px;font-family:var(--mono);font-size:11px;letter-spacing:.04em;line-height:1.6;color:var(--ink-faint)}.evg{display:grid;grid-template-columns:minmax(0,1fr) 150px minmax(0,1.15fr);align-items:center}.evg-col{display:flex;flex-direction:column;gap:28px;min-width:0}.evg-node{border:1px solid var(--hairline);border-radius:10px;background:var(--ground-raised);padding:14px 16px;box-shadow:0 12px 36px -18px rgba(0,0,0,.6);min-width:0}.evg-kind{font-family:var(--mono);font-size:10.5px;letter-spacing:.12em;text-transform:uppercase;color:var(--signal-soft);margin-bottom:6px;display:flex;justify-content:space-between;gap:12px}.evg-kind .evg-strength{color:var(--ink-faint);text-transform:none;letter-spacing:.04em;text-align:right}.evg-main{font-family:var(--mono);font-size:12.5px;color:var(--ink);line-height:1.7;overflow-wrap:anywhere}.evg-sub{font-size:13px;color:var(--ink-dim);margin-top:6px}.evg-claim{border-color:rgba(86,169,127,.35)}.evg-claim .evg-main{font-family:var(--sans);font-size:16.5px;font-weight:600;line-height:1.45}.evg-id{font-family:var(--mono);font-size:11px;color:var(--ink-faint);letter-spacing:.06em}.evg-derived{display:flex;align-items:center;gap:10px 12px;flex-wrap:wrap;margin-top:14px;padding-top:12px;border-top:1px solid var(--hairline-soft)}.evg-derived-note{font-family:var(--mono);font-size:11px;color:var(--ink-faint);line-height:1.6}.evg-joint{position:relative;align-self:stretch;display:flex;align-items:center;justify-content:center}.evg-wires{position:absolute;inset:0;width:100%;height:100%;overflow:visible}.evg-mark{position:relative;color:var(--signal)}.evg-join{display:none}.evg-wall{position:relative;border:1px dashed rgba(86,169,127,.3);border-radius:12px;padding:20px 18px;display:flex;flex-direction:column;gap:14px;min-width:0}.evg-wall-label{position:absolute;top:0;left:18px;transform:translateY(-50%);background:var(--ground);padding:0 8px;font-family:var(--mono);font-size:10.5px;letter-spacing:.11em;text-transform:uppercase;color:var(--signal-soft);white-space:nowrap}.evg-ghost{position:relative;opacity:.4}.evg-wall>.evg-ghost:last-child{opacity:.28}.evg-ghost-claim{font-family:var(--sans);font-size:14px;font-weight:600;line-height:1.4;color:var(--ink);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.evg-ghost-foot{margin-top:10px;padding-top:9px;border-top:1px solid var(--hairline-soft)}.evg-ghost:before{content:"";position:absolute;right:100%;top:50%;width:30px;height:1px;margin-right:18px;background:linear-gradient(90deg,transparent,rgba(86,169,127,.9))}.evg-caption{margin-top:36px;text-align:center;font-size:11px;letter-spacing:.04em;line-height:1.6;color:var(--ink-faint)}.evg-caption,.status{font-family:var(--mono)}.status{font-size:11.5px;letter-spacing:.03em;padding:4px 10px;border-radius:3px;display:inline-flex;align-items:center;gap:7px;white-space:nowrap}.status:before{content:"";width:6px;height:6px;border-radius:50%;background:currentColor}.s-verified{color:var(--verified);background:var(--verified-bg)}.s-attention{color:var(--attention);background:var(--attention-bg)}.s-contradicted{color:var(--contradicted);background:var(--contradicted-bg)}.s-planned{color:var(--unknown);background:var(--unknown-bg)}.ledger{overflow-x:auto}.ledger table{width:100%;border-collapse:collapse;min-width:640px}.ledger th{font-family:var(--mono);font-size:10.5px;font-weight:500;letter-spacing:.12em;text-transform:uppercase;color:var(--ink-faint);text-align:left;padding:12px 18px;border-bottom:1px solid var(--hairline)}.ledger td{padding:16px 18px;border-bottom:1px solid var(--hairline-soft);font-size:14.5px;vertical-align:top;color:var(--ink-dim)}.ledger tr:last-child td{border-bottom:none}.ledger td.id{font-family:var(--mono);font-size:12.5px;color:var(--ink);white-space:nowrap}.ledger td.claim{max-width:380px;color:var(--ink)}.ledger td.claim small{display:block;font-size:11px;margin-top:5px;line-height:1.5}.ledger td.claim small,.ledger td.when{font-family:var(--mono);color:var(--ink-faint)}.ledger td.when{font-size:12px;white-space:nowrap;font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.ledger-note{margin-top:18px;font-size:14.5px;color:var(--ink-dim);max-width:64ch}.band{display:grid;grid-template-columns:minmax(0,6fr) minmax(0,5fr);grid-gap:40px 56px;gap:40px 56px;align-items:center;border:1px solid var(--hairline);border-radius:14px;padding:clamp(32px,5vw,56px);background:radial-gradient(ellipse 60% 120% at 88% -10%,var(--signal-wash),transparent 62%),var(--ground-raised)}.band h2,.band-copy p{margin-bottom:14px}.band-copy p{color:var(--ink-dim);font-size:15.5px;max-width:58ch}.band-copy p:last-child{margin-bottom:0}.band-copy code,.band-copy em{color:var(--ink)}.band-copy code{font-family:var(--mono);font-size:.86em;border:1px solid var(--hairline-soft);padding:1px 5px;border-radius:3px}.band .win,.band-copy code{background:var(--ground)}.band .win-bar{background:var(--ground-raised)}.cmd{padding:18px;font-family:var(--mono);font-size:12.5px;line-height:2.1;white-space:pre;min-width:400px;color:var(--ink)}.cmd .p{color:var(--signal-soft);-webkit-user-select:none;-moz-user-select:none;user-select:none}.copy-btn{font-family:var(--mono);font-size:11px;letter-spacing:.04em;background:none;border:1px solid var(--hairline);color:var(--ink-dim);padding:4px 10px;border-radius:3px;cursor:pointer;margin-left:auto;flex:none}.copy-btn:hover{border-color:var(--signal-soft);color:var(--ink)}.win-bar .copy-btn+.win-step{margin-left:0}.contact{margin-top:120px;padding:24px 28px;border:1px solid var(--hairline);border-radius:10px;background:var(--ground-raised);display:flex;justify-content:space-between;align-items:baseline;gap:16px;flex-wrap:wrap}.contact p{font-size:15.5px;color:var(--ink-dim);max-width:44ch}.contact a.mail{font-size:13px;white-space:nowrap}.contact a.mail,footer{font-family:var(--mono)}footer{margin-top:88px;padding-top:20px;border-top:1px solid var(--hairline);font-size:11.5px;display:flex;justify-content:space-between;gap:10px 24px;flex-wrap:wrap}footer,footer a{color:var(--ink-faint)}footer a:hover{color:var(--ink-dim)}@media (max-width:900px){.doc{padding:0 24px 96px}.sect{margin-top:104px}.sect:first-child{margin-top:92px}.band,.evg,.split,.walk{grid-template-columns:minmax(0,1fr)}.evg-joint{display:none}.evg-join{display:flex;justify-content:center;padding:16px 0;color:var(--signal)}.evg-join svg{transform:rotate(90deg)}.evg-ghost:before{display:none}.split{gap:28px}.walk{gap:32px}.walk-art{min-height:0}.law{margin-top:56px}.band{gap:28px}}