@font-face{font-family:Martian Mono;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/2b232b7efa22db1c-s.2a5zzury7bvvl.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Martian Mono;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/3bee448361125987-s.01g2kivmtf43w.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Martian Mono;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/564b25e5ad617bd2-s.29dtuopo-jwmz.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Martian Mono;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/ee9d8ff0751135e3-s.p.3p2zw-bmbrlar.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Martian Mono;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/2b232b7efa22db1c-s.2a5zzury7bvvl.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Martian Mono;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/3bee448361125987-s.01g2kivmtf43w.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Martian Mono;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/564b25e5ad617bd2-s.29dtuopo-jwmz.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Martian Mono;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/ee9d8ff0751135e3-s.p.3p2zw-bmbrlar.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Martian Mono;font-style:normal;font-weight:700;font-stretch:100%;font-display:swap;src:url(../media/2b232b7efa22db1c-s.2a5zzury7bvvl.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Martian Mono;font-style:normal;font-weight:700;font-stretch:100%;font-display:swap;src:url(../media/3bee448361125987-s.01g2kivmtf43w.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Martian Mono;font-style:normal;font-weight:700;font-stretch:100%;font-display:swap;src:url(../media/564b25e5ad617bd2-s.29dtuopo-jwmz.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Martian Mono;font-style:normal;font-weight:700;font-stretch:100%;font-display:swap;src:url(../media/ee9d8ff0751135e3-s.p.3p2zw-bmbrlar.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Martian Mono Fallback;src:local(Arial);ascent-override:63.69%;descent-override:12.74%;line-gap-override:0.0%;size-adjust:157.02%}.martian_mono_ac61cef3-module__PG1WtG__className{font-family:Martian Mono,Martian Mono Fallback;font-style:normal}.martian_mono_ac61cef3-module__PG1WtG__variable{--font-mono:"Martian Mono", "Martian Mono Fallback"}
@font-face{font-family:Archivo;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/a2947afc6a06879b-s.138s14ivx2xer.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Archivo;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/651aaf1801011892-s.3b2emle-7szv-.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Archivo;font-style:normal;font-weight:400;font-stretch:100%;font-display:swap;src:url(../media/75affa71d1e2f6a7-s.p.13rul5q9jl2r0.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Archivo;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/a2947afc6a06879b-s.138s14ivx2xer.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Archivo;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/651aaf1801011892-s.3b2emle-7szv-.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Archivo;font-style:normal;font-weight:500;font-stretch:100%;font-display:swap;src:url(../media/75affa71d1e2f6a7-s.p.13rul5q9jl2r0.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Archivo;font-style:normal;font-weight:600;font-stretch:100%;font-display:swap;src:url(../media/a2947afc6a06879b-s.138s14ivx2xer.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Archivo;font-style:normal;font-weight:600;font-stretch:100%;font-display:swap;src:url(../media/651aaf1801011892-s.3b2emle-7szv-.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Archivo;font-style:normal;font-weight:600;font-stretch:100%;font-display:swap;src:url(../media/75affa71d1e2f6a7-s.p.13rul5q9jl2r0.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Archivo Fallback;src:local(Arial);ascent-override:88.96%;descent-override:21.28%;line-gap-override:0.0%;size-adjust:98.7%}.archivo_2af263bb-module__KGcVXa__className{font-family:Archivo,Archivo Fallback;font-style:normal}.archivo_2af263bb-module__KGcVXa__variable{--font-sans:"Archivo", "Archivo Fallback"}
:root{--paper:#faf9f7;--paper-sunk:#f2f0ec;--ink:#14161a;--ink-soft:#585f68;--ink-faint:#8a919a;--rule:#14161a21;--rule-strong:#14161a47;--cyan:#0089b8;--cyan-wash:#0089b817;--magenta:#c4006b;--magenta-wash:#c4006b14;--step-xs:.6875rem;--step-s:.8125rem;--step-m:.9375rem;--step-l:1.125rem;--step-xl:1.5rem;--step-code:2.25rem;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}@media (prefers-color-scheme:dark){:root{--paper:#101215;--paper-sunk:#171a1e;--ink:#f2f1ee;--ink-soft:#a2a9b2;--ink-faint:#6e767f;--rule:#f2f1ee24;--rule-strong:#f2f1ee4d;--cyan:#3ec2e8;--cyan-wash:#3ec2e81f;--magenta:#ff5fa8;--magenta-wash:#ff5fa81f;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{background:var(--paper);color:var(--ink);font-family:var(--font-sans), system-ui, sans-serif;font-size:var(--step-m);font-synthesis-weight:none;margin:0;line-height:1.55}::selection{background:var(--cyan);color:var(--paper)}:where(a){color:inherit;-webkit-text-decoration-color:var(--rule-strong);text-decoration-color:var(--rule-strong);text-underline-offset:.2em}:where(a):hover{-webkit-text-decoration-color:var(--cyan);text-decoration-color:var(--cyan)}:where(a,button,input,select,textarea):focus-visible{outline:2px solid var(--cyan);outline-offset:2px;border-radius:2px}.masthead{border-bottom:1px solid var(--rule);align-items:center;gap:1rem;padding:.75rem clamp(1rem,4vw,2.5rem);display:flex}.wordmark{font-family:var(--font-mono), monospace;font-size:var(--step-s);letter-spacing:-.02em;align-items:center;gap:.55rem;font-weight:700;text-decoration:none;display:inline-flex}.wordmark svg{display:block}.masthead-spacer{flex:1}.whoami{font-family:var(--font-mono), monospace;font-size:var(--step-xs);color:var(--ink-soft)}.sheet{max-width:58rem;margin:0 auto;padding:clamp(1.75rem,5vw,3.5rem) clamp(1rem,4vw,2.5rem) 6rem}.eyebrow{font-family:var(--font-mono), monospace;font-size:var(--step-xs);letter-spacing:.14em;text-transform:uppercase;color:var(--ink-faint);margin:0 0 .75rem;font-weight:500}.page-title{font-family:var(--font-sans), sans-serif;font-size:var(--step-xl);letter-spacing:-.015em;margin:0 0 1.5rem;font-weight:600}.code-id{font-family:var(--font-mono), monospace;font-size:var(--step-code);letter-spacing:-.04em;word-break:break-all;margin:0;font-weight:700;line-height:1.05}.code-label{font-size:var(--step-l);color:var(--ink-soft);margin:.35rem 0 0}.hint{color:var(--ink-soft);font-size:var(--step-s);margin:.5rem 0 0}.mono{font-family:var(--font-mono), monospace;font-size:.9em}button{font:inherit;font-size:var(--step-s);border:1px solid var(--rule-strong);color:inherit;cursor:pointer;background:0 0;border-radius:3px;padding:.45rem .85rem;transition:border-color .12s,background .12s}button:hover:not(:disabled){border-color:var(--ink)}button:disabled{opacity:.4;cursor:not-allowed}button.is-primary{background:var(--ink);border-color:var(--ink);color:var(--paper);font-weight:500}button.is-primary:hover:not(:disabled){background:var(--cyan);border-color:var(--cyan)}button.is-quiet{color:var(--ink-soft);border-color:#0000;padding:.25rem .4rem}button.is-quiet:hover:not(:disabled){border-color:var(--rule-strong);color:var(--ink)}input,select{font:inherit;font-size:var(--step-s);border:1px solid var(--rule-strong);background:var(--paper);color:inherit;border-radius:3px;min-width:0;padding:.45rem .6rem}input::placeholder{color:var(--ink-faint)}.field-mono{font-family:var(--font-mono), monospace;font-size:var(--step-s)}.row{flex-wrap:wrap;align-items:center;gap:.6rem;display:flex}.stack{flex-direction:column;gap:1rem;display:flex}.divider{border:0;border-top:1px solid var(--rule);margin:2.5rem 0}.state{font-family:var(--font-mono), monospace;font-size:var(--step-xs);letter-spacing:.06em;text-transform:uppercase;color:var(--ink-soft);align-items:center;gap:.4rem;display:inline-flex}.state:before{content:"";background:currentColor;width:6px;height:6px}.state.is-live{color:var(--cyan)}.state.is-archived{color:var(--ink-faint)}.codehead{grid-template-columns:1fr auto;align-items:start;gap:clamp(1.5rem,5vw,3rem);display:grid}@media (max-width:40rem){.codehead{grid-template-columns:1fr}}.codehead-meta{font-size:var(--step-s);color:var(--ink-soft);flex-wrap:wrap;gap:.4rem 1.25rem;margin-top:1.25rem;display:flex}.scan-url{font-family:var(--font-mono), monospace;font-size:var(--step-s);color:var(--cyan);-webkit-text-decoration-color:var(--cyan-wash);text-decoration-color:var(--cyan-wash);word-break:break-all}.proof{flex-direction:column;align-items:center;gap:.5rem;display:flex}.proof-plate{border:1px solid var(--rule-strong);background:#fff;place-items:center;width:8.5rem;height:8.5rem;padding:.35rem;display:grid}.proof-plate img{width:100%;height:100%;display:block}.proof-size{font-family:var(--font-mono), monospace;font-size:var(--step-xs);letter-spacing:.1em;color:var(--ink-faint)}.proof-empty{font-family:var(--font-mono), monospace;font-size:var(--step-xs);color:var(--ink-faint);text-align:center}.ladder{margin:0;padding:0;list-style:none}.rung{grid-template-columns:1.375rem 1fr;gap:0 1rem;padding:0 0 1.75rem;display:grid;position:relative}.rung:after{content:"";background:var(--rule-strong);width:1px;position:absolute;top:0;bottom:0;left:.6875rem}.rung:first-child:after{top:.6875rem}.rung.is-floor:after{background:var(--magenta);height:.6875rem;bottom:auto}.rung-mark{z-index:1;background:var(--paper);border:1px solid var(--rule-strong);width:1.375rem;height:1.375rem;font-family:var(--font-mono), monospace;font-size:var(--step-xs);color:var(--ink-soft);border-radius:50%;place-items:center;font-weight:500;display:grid;position:relative}.rung-head{align-items:flex-start;gap:.75rem;min-height:1.375rem;display:flex}.rung-when{margin:0;font-weight:500}.rung-when em{color:var(--ink-soft);font-style:normal;font-weight:400}.rung-tools{opacity:0;flex:none;gap:.15rem;margin-left:auto;transition:opacity .12s;display:flex}.rung:hover .rung-tools,.rung:focus-within .rung-tools{opacity:1}.rung-target{align-items:center;gap:.55rem;margin-top:.75rem;display:flex}.rung-arrow{font-family:var(--font-mono), monospace;font-size:var(--step-s);color:var(--ink-faint)}.rung-target input{flex:1}.rung.is-floor{padding-bottom:0}.rung.is-floor .rung-mark{border-color:var(--magenta);color:var(--magenta);border-radius:0}.rung.is-floor .rung-when{color:var(--magenta)}.floor-line{background:var(--magenta);grid-column:1/-1;height:2px;margin-top:1.5rem}.floor-note{font-family:var(--font-mono), monospace;font-size:var(--step-xs);letter-spacing:.08em;text-transform:uppercase;color:var(--magenta);grid-column:2;margin:.5rem 0 0}.terms{flex-direction:column;flex:1;gap:.35rem;min-width:0;display:flex}.term{flex-wrap:wrap;align-items:center;gap:.45rem;display:flex}.term-lead{font-size:var(--step-s);color:var(--ink-soft);flex:0 0 4rem}select.term-join{width:4rem;font-size:var(--step-s);color:var(--cyan);background:0 0;border-color:#0000;padding:.15rem .1rem}select.term-join:hover{border-color:var(--rule-strong)}.term-row{flex-wrap:wrap;flex:1;align-items:center;gap:.35rem;min-width:0;display:flex}.term-row select,.term-row input{font-size:var(--step-s);padding:.28rem .4rem}.term-row select.is-negated{color:var(--magenta);border-color:var(--magenta)}.term-value,.term-param{width:7.5rem}select.term-value{width:auto;max-width:11rem}.chips{flex-wrap:wrap;align-items:center;gap:.25rem;display:inline-flex}.chip{border:1px solid var(--rule-strong);background:var(--paper-sunk);font-size:var(--step-s);white-space:nowrap;border-radius:3px;align-items:center;gap:.2rem;padding:.15rem .2rem .15rem .45rem;display:inline-flex}.chip-drop{font-size:var(--step-xs);color:var(--ink-faint);cursor:pointer;background:0 0;border:0;padding:0 .15rem;line-height:1}.chip-drop:hover{color:var(--magenta)}select.chip-add,.chip-input{font-size:var(--step-s);color:var(--ink-soft);border-style:dashed;width:auto;padding:.2rem .35rem}.chip-input{width:8rem}.term-word{font-size:var(--step-s);color:var(--ink-soft)}.term-drop{font-size:var(--step-xs);padding:.15rem .35rem}.term-add{font-size:var(--step-xs);color:var(--ink-faint);padding:.15rem .4rem}.term-locked{flex:1;min-width:0}.term-locked-note{font-size:var(--step-s);color:var(--ink-soft);margin:0 0 .35rem}.term-locked code{font-family:var(--font-mono), monospace;font-size:var(--step-xs);background:var(--paper-sunk);border:1px solid var(--rule);white-space:nowrap;border-radius:3px;padding:.4rem .55rem;display:block;overflow-x:auto}.composer-line{border:1px dashed var(--rule-strong);border-radius:3px;flex-wrap:wrap;align-items:center;gap:.6rem;padding:.75rem;display:flex}.rule-add{color:var(--ink-soft);border-style:dashed;margin-top:1.75rem}.rule-add:hover:not(:disabled){color:var(--ink);border-style:solid}.findings{border-left:2px solid var(--magenta);margin:1.5rem 0;padding:.15rem 0 .15rem .85rem}.findings p{font-size:var(--step-s);color:var(--magenta);margin:.3rem 0}.notice{font-size:var(--step-s);color:var(--cyan);margin:0}.problem{font-size:var(--step-s);color:var(--magenta);margin:0}.listing{border-collapse:collapse;width:100%}.listing th{font-family:var(--font-mono), monospace;font-size:var(--step-xs);letter-spacing:.12em;text-transform:uppercase;color:var(--ink-faint);text-align:left;border-bottom:1px solid var(--rule);padding:0 .5rem .6rem;font-weight:500}.listing td{border-bottom:1px solid var(--rule);vertical-align:baseline;padding:.7rem .5rem}.listing tr:last-child td{border-bottom:0}.listing th:first-child,.listing td:first-child{padding-left:0}.listing th:last-child,.listing td:last-child{padding-right:0}.listing .nowrap{white-space:nowrap}.listing .col-num{text-align:right;font-family:var(--font-mono), monospace;font-size:var(--step-s);font-variant-numeric:tabular-nums}.listing a.code-link{font-family:var(--font-mono), monospace;font-size:var(--step-s);letter-spacing:-.01em;font-weight:500;text-decoration:none}.listing a.code-link:hover{color:var(--cyan)}.listing tr.is-dim td{color:var(--ink-faint)}.blank{border:1px dashed var(--rule-strong);text-align:center;border-radius:3px;padding:2rem 1.5rem}.blank p{max-width:30rem;color:var(--ink-soft);font-size:var(--step-s);margin:0 auto}.gate{text-align:left;place-content:center;max-width:32rem;min-height:62vh;display:grid}.gate-thesis{letter-spacing:-.02em;margin:0 0 1rem;font-size:clamp(1.25rem,3.2vw,1.75rem);font-weight:600;line-height:1.25}.gate-thesis b{color:var(--cyan);font-weight:600}@media (prefers-reduced-motion:reduce){*,:before,:after{transition-duration:.01ms!important;animation-duration:.01ms!important}.rung-tools{opacity:1}}@media (hover:none){.rung-tools{opacity:1}}.action-body{background:var(--paper-sunk);border-left:2px solid var(--rule);margin:.75rem 0 .25rem 2.1rem;padding:.9rem 1rem 1rem}.action-body-hint{margin:0 0 .9rem}.action-field{margin-bottom:.75rem;display:block}.action-field>span{letter-spacing:.06em;text-transform:uppercase;color:var(--ink-soft);margin-bottom:.3rem;font-size:.78rem;display:block}.action-field input,.action-field textarea{width:100%;font:inherit}.action-field textarea{resize:vertical}.action-list{margin-top:1.1rem}.action-list-head{margin:0 0 .5rem}.action-row{flex-wrap:wrap;align-items:center;gap:.4rem;margin-bottom:.4rem;display:flex}.action-check{color:var(--ink-soft);white-space:nowrap;align-items:center;gap:.3rem;font-size:.85rem;display:inline-flex}.action-chain-step{align-items:flex-start;gap:.6rem;margin-bottom:.6rem;display:flex}.action-chain-index{font-variant-numeric:tabular-nums;min-width:1.4rem;color:var(--ink-faint);flex:none;padding-top:.35rem;font-size:.85rem}.action-nested .rung-target{margin:0}.action-nested .action-body{margin-left:0}.submissions-form{color:var(--ink-soft);margin:0 0 .4rem;font-size:.85rem}@media (max-width:600px){.action-body{margin-left:0}}