*,*:before,*:after{box-sizing:border-box}*{margin:0}html{-webkit-text-size-adjust:100%}body{min-height:100svh;-webkit-font-smoothing:antialiased}img,picture,video,canvas,svg{display:block;max-width:100%}input,button,textarea,select{font:inherit;color:inherit}p,h1,h2,h3,h4,h5,h6{overflow-wrap:break-word}button{background:none;border:none;padding:0;cursor:pointer}a{color:inherit}:where(code,pre,kbd,samp){direction:ltr;unicode-bidi:isolate}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important;scroll-behavior:auto!important}}:root{--cov-004: #0d0d0d;--cov-012: #1d1d1d;--cov-025: #2c2c2c;--cov-050: #3f3f3f;--cov-100: #595959;--cov-350: #a0a0a0;--cov-620: #cecece;--cov-850: #ededed;--cov-1000: #ffffff;--bg: var(--cov-004);--bg-deep: #070707;--surface: var(--cov-012);--surface-2: var(--cov-025);--line: var(--cov-050);--line-soft: #262626;--ink: var(--cov-850);--ink-2: var(--cov-620);--ink-3: var(--cov-350);--ink-4: var(--cov-100);--auth-math: #63b4f0;--auth-rule: #e3a94f;--auth-precision: #b28cf2;--auth-colorspace: #63c78d;--auth-math-dim: color-mix(in srgb, var(--auth-math) 16%, var(--bg));--auth-rule-dim: color-mix(in srgb, var(--auth-rule) 16%, var(--bg));--auth-precision-dim: color-mix(in srgb, var(--auth-precision) 16%, var(--bg));--auth-colorspace-dim: color-mix(in srgb, var(--auth-colorspace) 16%, var(--bg));--accent: var(--auth-math);--accent-dim: var(--auth-math-dim);--font-ar: "IBM Plex Sans Arabic", system-ui, sans-serif;--font-mono: "JetBrains Mono", "IBM Plex Sans Arabic", ui-monospace, monospace;--r-hair: 1px;--r-sm: 2px;--r: 3px;--r-lg: 4px;--r-pill: 999px;--bar-h: 54px;--measure: 66ch;--t-fast: .12s;--t: .22s;--ease: cubic-bezier(.2, .6, .2, 1)}html{color-scheme:dark}body{background:var(--bg);color:var(--ink);font-family:var(--font-ar);font-size:16px;line-height:1.9;background-image:radial-gradient(110% 55% at 50% -10%,var(--surface) 0%,transparent 60%),linear-gradient(var(--bg),var(--bg-deep));background-attachment:fixed}h1,h2,h3,h4{font-weight:700;line-height:1.35;text-wrap:balance}h1{font-size:clamp(27px,4vw,42px)}h2{font-size:clamp(20px,2.3vw,26px)}h3{font-size:clamp(16px,1.7vw,19px);color:var(--ink-2)}p{text-wrap:pretty}a{color:var(--py-blue);text-underline-offset:3px;text-decoration-color:var(--sem-lang-dim)}a:hover{text-decoration-color:currentColor}hr{border:0;border-top:1px solid var(--line-soft);margin:2rem 0}code,pre,.en,.num{font-family:var(--font-mono);direction:ltr;unicode-bidi:isolate;font-variant-ligatures:none}.num{font-variant-numeric:tabular-nums}.tag,.kicker,.label{font-family:var(--font-ar);letter-spacing:0}:is(p,li,td,th)>code{background:var(--surface-2);border:1px solid var(--line-soft);border-radius:var(--r-sm);padding:.05em .34em;font-size:.88em}blockquote{margin:0;padding-inline-start:1rem;border-inline-start:2px solid var(--sem-lang-dim);color:var(--ink-2)}table{width:100%;border-collapse:collapse;font-size:.95rem}th,td{text-align:start;padding:.5rem .7rem;border-bottom:1px solid var(--line-soft);vertical-align:top}th{color:var(--ink-3);font-weight:600}td .num,td code{font-variant-numeric:tabular-nums}ul,ol{padding-inline-start:1.3rem}li::marker{color:var(--ink-4)}.visually-hidden{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%)}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation:none!important;transition:none!important}}.shell{min-height:100dvh;display:flex;flex-direction:column;min-width:0}html,body{overflow-x:clip}.bar{position:sticky;top:0;z-index:20;height:var(--bar-h);display:flex;align-items:center;gap:.9rem;padding-inline:clamp(.9rem,3vw,1.6rem);background:color-mix(in oklab,var(--bg) 82%,transparent);-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);border-bottom:1px solid var(--line-soft)}.bar__mark{display:flex;align-items:center;gap:.55rem}.bar__mark img{height:21px;width:auto;display:block}.bar__spacer{flex:1}.wrap{width:100%;max-width:74rem;margin-inline:auto;padding-inline:clamp(.9rem,3vw,1.6rem)}.prose-wrap{max-width:var(--measure)}main{flex:1;padding-block:clamp(1.4rem,4vw,2.6rem) 5rem}:target{scroll-margin-top:calc(var(--bar-h) + 1rem)}.panelboard{max-height:60vh;overflow:auto;overscroll-behavior:contain;background:var(--bg-deep);border:1px solid var(--line);border-radius:var(--r)}.stack{display:flex;flex-direction:column;gap:1.35rem;min-width:0}.stack>*{min-width:0}.floor,.card,.shot{min-width:0}.card>.stack{min-width:0}pre{max-width:100%}.row{display:flex;align-items:center;gap:.6rem;flex-wrap:wrap}.grid-packs{display:grid;gap:.9rem;grid-template-columns:repeat(auto-fit,minmax(15rem,1fr))}.foot{border-top:1px solid var(--line-soft);color:var(--ink-3);font-size:.85rem;padding-block:1.4rem 2.4rem}.bar__here{color:var(--ink-3);font-size:.82rem}.shot__part{font-size:.78rem;color:var(--ink-3);border-inline-start:2px solid var(--auth-math-dim);padding-inline-start:.6rem;margin-bottom:.5rem}.shot__title{margin:0 0 .2rem}.shot__meter{height:2px;background:var(--line-soft);border-radius:var(--r-hair);overflow:hidden;margin-bottom:1.4rem}.shot__meter i{display:block;height:100%;background:var(--accent)}.shot__intro{background:var(--surface);border:1px solid var(--line-soft);border-radius:var(--r);padding:.9rem 1.1rem;color:var(--ink-2);margin-bottom:1.4rem}.code{position:relative;margin:0}.code__head{display:flex;align-items:center;gap:.5rem;padding:.35rem .7rem;background:var(--surface-2);border:1px solid var(--line);border-bottom:0;border-radius:var(--r) var(--r) 0 0;font-size:.75rem;color:var(--ink-3)}.code__file{font-family:var(--font-mono);direction:ltr;unicode-bidi:isolate}.code pre{margin:0;padding:.85rem 1rem;background:var(--bg-deep);border:1px solid var(--line);border-radius:0 0 var(--r) var(--r);overflow-x:auto;font-size:.86rem;line-height:1.75}.code--bare pre{border-radius:var(--r)}.code--task pre{border-style:dashed;background:var(--surface)}.tok-keyword{color:var(--accent)}.tok-definitionKeyword{color:var(--accent);font-weight:600}.tok-controlKeyword{color:var(--accent)}.tok-string,.tok-string2,.tok-number{color:var(--auth-rule)}.tok-comment{color:var(--ink-4);font-style:italic}.tok-variableName,.tok-propertyName,.tok-definition.tok-variableName{color:var(--ink)}.tok-function,.tok-definition.tok-function{color:var(--ink);font-weight:600}.tok-typeName,.tok-className{color:var(--auth-colorspace)}.tok-operator,.tok-punctuation,.tok-separator,.tok-bracket{color:var(--ink-3)}.tok-bool,.tok-null,.tok-atom{color:var(--auth-colorspace)}.tok-meta,.tok-processingInstruction{color:var(--ink-4)}.panel{margin:0}.panel__head{display:flex;align-items:center;gap:.6rem;padding:.3rem .7rem;font-size:.75rem;border:1px solid var(--line);border-bottom:0;border-radius:var(--r) var(--r) 0 0}.panel pre{margin:0;padding:.85rem 1rem;background:var(--bg-deep);border:1px solid var(--line);border-radius:0 0 var(--r) var(--r);overflow-x:auto;font-size:.85rem;line-height:1.7;color:var(--ink-2)}.panel__note{color:var(--ink-3)}.panel__head{background:var(--surface);color:var(--ink-3)}.auth--math .panel__head{background:var(--auth-math-dim);color:var(--auth-math)}.auth--rule .panel__head{background:var(--auth-rule-dim);color:var(--auth-rule)}.auth--precision .panel__head{background:var(--auth-precision-dim);color:var(--auth-precision)}.auth--colorspace .panel__head{background:var(--auth-colorspace-dim);color:var(--auth-colorspace)}.tag--auth{font-family:var(--font-mono);direction:ltr;unicode-bidi:isolate}.auth--math .pk-auth{color:var(--auth-math)}.auth--rule .pk-auth{color:var(--auth-rule)}.auth--precision .pk-auth{color:var(--auth-precision)}.auth--colorspace .pk-auth{color:var(--auth-colorspace)}.pk-num,.pk-unit{color:var(--ink);font-variant-numeric:tabular-nums}.pk-unit,.pk-ident{color:var(--ink-2)}.pk-machine{color:var(--ink-3);font-variant-numeric:tabular-nums}.pk-verdict{color:var(--ink-2)}.pk-fail{color:var(--cov-1000);font-weight:700}.pk-ar{font-family:var(--font-ar);unicode-bidi:isolate;direction:rtl}.math{margin:0}.math pre{margin:0;padding:.9rem 1.1rem;background:var(--surface);border-inline-start:2px solid var(--line);border-radius:var(--r-sm);overflow-x:auto;font-family:var(--font-mono);font-size:.92rem;color:var(--ink);direction:ltr;unicode-bidi:isolate;text-align:center}.gate{border:1px solid var(--auth-rule-dim);border-radius:var(--r);background:var(--surface);padding:.9rem 1rem}.gate__q{font-weight:600;margin:0 0 .6rem}.gate textarea{width:100%;min-height:4.2rem;resize:vertical;background:var(--bg-deep);color:var(--ink);border:1px solid var(--line);border-radius:var(--r-sm);padding:.5rem .65rem;font-family:var(--font-mono);direction:ltr;unicode-bidi:isolate;font-size:.85rem}.gate__mine{margin:0 0 .6rem;padding:.5rem .65rem;background:var(--bg-deep);border:1px dashed var(--line);border-radius:var(--r-sm);font-family:var(--font-mono);direction:ltr;unicode-bidi:isolate;font-size:.82rem;white-space:pre-wrap;color:var(--ink-2)}.btn{display:inline-flex;align-items:center;gap:.4rem;padding:.42rem .85rem;border-radius:var(--r-sm);border:1px solid var(--line);background:var(--surface-2);color:var(--ink);font:inherit;font-size:.87rem;cursor:pointer;transition:border-color var(--t-fast) var(--ease),background var(--t-fast) var(--ease)}.btn:hover{border-color:var(--accent)}.btn:disabled{opacity:.45;cursor:not-allowed}.btn--go{background:var(--auth-math-dim);border-color:var(--accent)}.btn--ghost{background:transparent}.floor{display:flex;flex-direction:column;gap:1.2rem;margin-top:2.4rem}.card{border:1px solid var(--line);border-radius:var(--r-lg);background:var(--surface);padding:1.1rem 1.25rem}.card--exercise{border-inline-start:3px solid var(--auth-rule)}.card--summary{border-inline-start:3px solid var(--accent)}.card__k{font-size:.76rem;color:var(--ink-3);margin-bottom:.4rem}.ladder{display:flex;flex-direction:column;gap:.5rem}.ladder__row{display:grid;grid-template-columns:1fr 4.5rem;gap:.7rem;align-items:center}.ladder__name{font-size:.88rem;color:var(--ink-2)}.ladder__track{height:8px;background:var(--surface-2);border-radius:var(--r-pill);overflow:hidden}.ladder__fill{display:block;height:100%;border-radius:var(--r-pill);background:var(--accent)}.ladder__x{font-family:var(--font-mono);font-variant-numeric:tabular-nums;text-align:end;color:var(--ink-2);font-size:.85rem;direction:ltr;unicode-bidi:isolate}.pack{border:1px solid var(--line);border-radius:var(--r-lg);background:var(--surface);padding:.95rem 1.05rem}.pack__name{font-weight:700;margin-bottom:.15rem}.pack__span{font-family:var(--font-mono);font-size:.76rem;color:var(--ink-3);direction:ltr;unicode-bidi:isolate}.pack__gist{color:var(--ink-2);font-size:.88rem;margin-top:.35rem}.pack__list{margin-top:.6rem;display:flex;flex-direction:column;gap:.15rem}.pack__item{display:flex;gap:.5rem;font-size:.85rem;color:var(--ink-2);text-decoration:none}.pack__item:hover{color:var(--ink)}.pack__no{font-family:var(--font-mono);color:var(--ink-4);direction:ltr;unicode-bidi:isolate}.pack__item--seen .pack__no{color:var(--accent)}.trail{display:flex;flex-direction:column;gap:.45rem}.trail__row{display:flex;gap:.6rem;font-size:.86rem;color:var(--ink-2)}.trail__row .num{color:var(--ink-4)}.trail__empty{color:var(--ink-3);font-size:.88rem}.hero{padding-block:clamp(2rem,7vw,4.5rem) 1.6rem}.hero__logo{height:clamp(38px,6vw,58px);width:auto;display:block;margin-bottom:1.2rem}.hero h1{margin:0 0 .6rem}.hero__sub{color:var(--ink-2);max-width:var(--measure)}.hero__axioms{display:grid;gap:.55rem;margin-top:1.8rem}.axiom{display:grid;grid-template-columns:2rem 1fr;gap:.7rem;align-items:baseline}.axiom__n{font-family:var(--font-mono);color:var(--ink-4);font-variant-numeric:tabular-nums;direction:ltr;unicode-bidi:isolate}.axiom__t{color:var(--ink)}.axiom--on .axiom__n{color:var(--auth-rule)}.section{margin-top:clamp(2.2rem,6vw,3.4rem)}.section__h{display:flex;align-items:baseline;gap:.6rem;margin-bottom:.9rem}.section__h h2{margin:0}.section__note{color:var(--ink-3);font-size:.85rem}.details{border:1px solid var(--line-soft);border-radius:var(--r);background:var(--surface);padding:.7rem .95rem}.details summary{cursor:pointer;color:var(--ink-2);font-size:.9rem}.details[open] summary{margin-bottom:.7rem}.pager{display:flex;gap:.6rem;align-items:center;margin-top:2.2rem}.pager__next{flex:1;display:flex;justify-content:flex-end}.next__label{color:var(--ink-3);font-size:.78rem;margin-inline-end:.45rem}.lab{border:1px solid var(--line);border-radius:var(--r-lg);background:var(--surface);padding:1rem 1.1rem}.lab__ops{display:flex;gap:.5rem;flex-wrap:wrap;margin-bottom:1rem}.lab__wire{display:grid;grid-template-columns:1fr 1fr;gap:1.4rem;align-items:center;background:var(--bg-deep);border:1px solid var(--line-soft);border-radius:var(--r);padding:.9rem 1rem}.lab__names{display:flex;flex-direction:column;gap:.7rem}.lab__name{display:flex;align-items:center;gap:.5rem}.lab__id{font-family:var(--font-mono);direction:ltr;unicode-bidi:isolate;font-weight:700;color:var(--ink);width:1.4rem}.lab__arrow{flex:1;height:1px;background:var(--auth-colorspace);position:relative}.lab__arrow:after{content:"";position:absolute;inset-inline-end:0;top:-3px;border:3px solid transparent;border-inline-start-color:var(--auth-colorspace)}.lab__addr{font-family:var(--font-mono);direction:ltr;unicode-bidi:isolate;font-size:.74rem;color:var(--auth-colorspace);font-variant-numeric:tabular-nums}.lab__objs{display:flex;flex-direction:column;gap:.6rem}.lab__obj{border:1px solid var(--line);border-radius:var(--r-sm);padding:.45rem .6rem;background:var(--surface-2)}.lab__objs--one .lab__obj{border-color:var(--accent)}.lab__val{font-family:var(--font-mono);direction:ltr;unicode-bidi:isolate;color:var(--ink);font-size:.85rem}.lab__read{margin:.8rem 0 0;color:var(--ink-2);font-size:.9rem}.mark{display:block}.mark--bar{width:30px;height:30px}.mark--hero{width:clamp(52px,8vw,74px);height:auto;margin-bottom:1.1rem}.mark__cell{fill:none;stroke:currentColor;stroke-width:2;opacity:.4}.mark__cov{fill:currentColor;opacity:.55}.mark__dot{fill:currentColor}.lab{border:1px solid var(--line);border-radius:var(--r-lg);background:var(--surface);padding:1rem 1.1rem 1.1rem;display:flex;flex-direction:column;gap:.9rem;min-width:0}.lab__head{display:flex;align-items:baseline;gap:.6rem;color:var(--ink-2);font-size:.88rem}.lab__controls{display:flex;flex-wrap:wrap;gap:1rem 1.6rem}.lab__read{margin:0;color:var(--ink-2);font-size:.9rem}.lab__read b{color:var(--ink)}.ctl{display:flex;flex-direction:column;gap:.35rem}.ctl__label{font-size:.76rem;color:var(--ink-3)}.seg{display:flex;gap:.3rem;flex-wrap:wrap}.seg__b{font:inherit;font-size:.82rem;color:var(--ink-2);background:var(--bg);border:1px solid var(--line);border-radius:var(--r-sm);padding:.28rem .6rem;cursor:pointer;transition:color var(--t-fast) var(--ease),border-color var(--t-fast) var(--ease)}.seg__b:hover{color:var(--ink)}.seg__b.is-on{color:var(--ink);border-color:var(--accent);background:var(--accent-dim)}.hair{display:flex;flex-direction:column;gap:.25rem}.hair__row{display:grid;grid-template-columns:4.5rem 1fr 3.2rem;gap:.7rem;align-items:center}.hair__no{font-size:.78rem;color:var(--ink-3)}.hair__v{font-family:var(--font-mono);font-size:.78rem;color:var(--ink-3);font-variant-numeric:tabular-nums;direction:ltr;unicode-bidi:isolate}.hair__v{text-align:end;color:var(--ink-2)}.hair__cells{display:flex;gap:1px;background:var(--line-soft);padding:1px;border-radius:var(--r-hair)}.hair__cells i{display:block;flex:1;aspect-ratio:1 / 1;min-width:0;background:var(--cov-1000);transition:opacity var(--t) var(--ease)}.rule__stage{display:grid;place-items:center;background:var(--bg);border:1px solid var(--line-soft);border-radius:var(--r);padding:.8rem}.rule__stage svg{width:min(260px,100%);height:auto}.rule__stage path{fill:var(--ink);transition:none}.samp{display:grid;grid-template-columns:repeat(4,1fr);gap:.6rem}.samp__col{display:flex;flex-direction:column;align-items:center;gap:.4rem}.samp__lab,.samp__v{font-family:var(--font-mono);font-size:.76rem;color:var(--ink-3);font-variant-numeric:tabular-nums;direction:ltr;unicode-bidi:isolate}.samp__v{color:var(--ink-2)}.samp__cell{display:block;width:100%;aspect-ratio:2 / 1;border:1px solid var(--line-soft);border-radius:var(--r-hair)}.samp__cell i{display:block;width:100%;height:100%;background:var(--cov-1000);transition:opacity var(--t) var(--ease)}.diag{display:flex;flex-direction:column;gap:.7rem}.diag__row{display:grid;grid-template-columns:1fr 7.5rem;gap:.8rem;align-items:center}.diag__name{font-size:.9rem;color:var(--ink-2)}.diag__n{font-family:var(--font-mono);font-variant-numeric:tabular-nums;text-align:end;font-size:.9rem;direction:ltr;unicode-bidi:isolate;color:var(--ink)}.diag__auth{font-size:.75rem;color:var(--ink-3);display:block;font-family:var(--font-mono);direction:ltr;unicode-bidi:isolate}.diag--math .diag__auth{color:var(--auth-math)}.diag--rule .diag__auth{color:var(--auth-rule)}.diag--precision .diag__auth{color:var(--auth-precision)}.diag--colorspace .diag__auth{color:var(--auth-colorspace)}@media(prefers-reduced-motion:reduce){.hair__cells i,.samp__cell i{transition:none}}.edge{display:flex;flex-direction:column;gap:.5rem;max-width:34rem}.edge__cells,.edge__nums,.edge__ctl input{direction:ltr}.edge__cells{display:flex;gap:1px;background:var(--line-soft);padding:1px;border-radius:var(--r-hair)}.edge__cells i{display:block;flex:1;aspect-ratio:1 / 1;min-width:0;background:var(--cov-1000)}.edge__nums{display:flex;gap:1px}.edge__nums span{flex:1;text-align:center;font-family:var(--font-mono);font-size:.7rem;color:var(--ink-3);font-variant-numeric:tabular-nums;direction:ltr;unicode-bidi:isolate}.edge__ctl{display:flex;flex-direction:column;gap:.4rem;margin-top:.5rem}.edge__ctl input{width:100%;accent-color:var(--accent)}.edge__read{font-size:.88rem;color:var(--ink-2)}.edge__read b{color:var(--ink)}