@font-face{font-family:Familjen Grotesk;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/familjen-grotesk-vietnamese-500-normal.D4oly79D.woff2)format("woff2"),url(/_astro/familjen-grotesk-vietnamese-500-normal.Cv-94wkS.woff)format("woff");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:Familjen Grotesk;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/familjen-grotesk-latin-ext-500-normal.C6C0U28C.woff2)format("woff2"),url(/_astro/familjen-grotesk-latin-ext-500-normal.B6Onzdxd.woff)format("woff");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:Familjen Grotesk;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/familjen-grotesk-latin-500-normal.BASv1Bog.woff2)format("woff2"),url(/_astro/familjen-grotesk-latin-500-normal.BJWE1t8Q.woff)format("woff");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:Familjen Grotesk;font-style:normal;font-display:swap;font-weight:600;src:url(/_astro/familjen-grotesk-vietnamese-600-normal.Cf5LI1HU.woff2)format("woff2"),url(/_astro/familjen-grotesk-vietnamese-600-normal.DD7qc10H.woff)format("woff");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:Familjen Grotesk;font-style:normal;font-display:swap;font-weight:600;src:url(/_astro/familjen-grotesk-latin-ext-600-normal.K2kKrvU3.woff2)format("woff2"),url(/_astro/familjen-grotesk-latin-ext-600-normal.Bm1Bk2lg.woff)format("woff");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:Familjen Grotesk;font-style:normal;font-display:swap;font-weight:600;src:url(/_astro/familjen-grotesk-latin-600-normal.DR8FYmV8.woff2)format("woff2"),url(/_astro/familjen-grotesk-latin-600-normal.Cchso0CV.woff)format("woff");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:Familjen Grotesk;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/familjen-grotesk-vietnamese-700-normal.BQbgNr8Y.woff2)format("woff2"),url(/_astro/familjen-grotesk-vietnamese-700-normal.DnK_bp0P.woff)format("woff");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:Familjen Grotesk;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/familjen-grotesk-latin-ext-700-normal.uph16z26.woff2)format("woff2"),url(/_astro/familjen-grotesk-latin-ext-700-normal.ChieoNWR.woff)format("woff");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:Familjen Grotesk;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/familjen-grotesk-latin-700-normal.DP3KK2u2.woff2)format("woff2"),url(/_astro/familjen-grotesk-latin-700-normal.Cqh4U_Q6.woff)format("woff");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:Instrument Sans;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/instrument-sans-latin-ext-400-normal.Q_nF8v4l.woff2)format("woff2"),url(/_astro/instrument-sans-latin-ext-400-normal.r32jotim.woff)format("woff");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:Instrument Sans;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/instrument-sans-latin-400-normal.DRC__1Mx.woff2)format("woff2"),url(/_astro/instrument-sans-latin-400-normal.D1W7dsQl.woff)format("woff");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:Instrument Sans;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/instrument-sans-latin-ext-500-normal.CTEe1bJa.woff2)format("woff2"),url(/_astro/instrument-sans-latin-ext-500-normal.CAxz3nsc.woff)format("woff");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:Instrument Sans;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/instrument-sans-latin-500-normal.Dk9ku72i.woff2)format("woff2"),url(/_astro/instrument-sans-latin-500-normal.Z6ESRlEs.woff)format("woff");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:Instrument Sans;font-style:normal;font-display:swap;font-weight:600;src:url(/_astro/instrument-sans-latin-ext-600-normal.BsaQcF38.woff2)format("woff2"),url(/_astro/instrument-sans-latin-ext-600-normal.DMks36a2.woff)format("woff");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:Instrument Sans;font-style:normal;font-display:swap;font-weight:600;src:url(/_astro/instrument-sans-latin-600-normal.B7fBEWYG.woff2)format("woff2"),url(/_astro/instrument-sans-latin-600-normal.B9e8oLYv.woff)format("woff");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:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-cyrillic-ext-400-normal.xuaO2J-f.woff2)format("woff2"),url(/_astro/ibm-plex-mono-cyrillic-ext-400-normal.DMdlQ8Kv.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-cyrillic-400-normal.BSMlKf0J.woff2)format("woff2"),url(/_astro/ibm-plex-mono-cyrillic-400-normal.CEL4l2ZJ.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-vietnamese-400-normal.BulugwFq.woff2)format("woff2"),url(/_astro/ibm-plex-mono-vietnamese-400-normal.DDuiU_S-.woff)format("woff");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:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-latin-ext-400-normal.BmRBH3aV.woff2)format("woff2"),url(/_astro/ibm-plex-mono-latin-ext-400-normal.D3D2R8hC.woff)format("woff");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:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/ibm-plex-mono-latin-400-normal.DMJ8VG8y.woff2)format("woff2"),url(/_astro/ibm-plex-mono-latin-400-normal.CvHOgSBP.woff)format("woff");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:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/ibm-plex-mono-cyrillic-ext-500-normal.BqneJy0T.woff2)format("woff2"),url(/_astro/ibm-plex-mono-cyrillic-ext-500-normal.BIfNGwUT.woff)format("woff");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/ibm-plex-mono-cyrillic-500-normal.Bq9vWWag.woff2)format("woff2"),url(/_astro/ibm-plex-mono-cyrillic-500-normal.Ael50iVv.woff)format("woff");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/ibm-plex-mono-vietnamese-500-normal.DZ4AoWbu.woff2)format("woff2"),url(/_astro/ibm-plex-mono-vietnamese-500-normal.C8zxqsMH.woff)format("woff");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:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/ibm-plex-mono-latin-ext-500-normal.CAhNIIs5.woff2)format("woff2"),url(/_astro/ibm-plex-mono-latin-ext-500-normal.CZ70TYgx.woff)format("woff");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:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(/_astro/ibm-plex-mono-latin-500-normal.DSY6xOcd.woff2)format("woff2"),url(/_astro/ibm-plex-mono-latin-500-normal.CB9ihrfo.woff)format("woff");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}:root{--bg:#d6f3e4;--panel:#ebfaf2;--ink:#0b2620;--ink-2:#33534a;--line:#9dd0b8;--accent:#5a3be8;--accent-ink:#fff;--paper:#fdfcf8;--paper-ink:#1a1b1e;--paper-dim:#6a6962;--verdict-holds:#0c6f40;--verdict-conditions:#855100;--verdict-fails:#ae2a2a;--band-bg:#5a3be8;--band-ink:#fff;--stamp-holds:#0c6f40;--stamp-conditions:#9a5f00;--stamp-fails:#b92f2f;--font-display:"Familjen Grotesk", "Helvetica Neue", Arial, sans-serif;--font-body:"Instrument Sans", system-ui, -apple-system, "Segoe UI", sans-serif;--font-mono:"IBM Plex Mono", ui-monospace, Menlo, monospace}@media (prefers-color-scheme:dark){:root{--bg:#0c1613;--panel:#13211c;--ink:#e8f5ee;--ink-2:#9fb8ac;--line:#24382f;--accent:#a794ff;--accent-ink:#0f1218;--band-bg:#3b2a9e;--verdict-holds:#3dd68c;--verdict-conditions:#f0b429;--verdict-fails:#ff7a7a}}*,:before,:after{box-sizing:border-box}body{background:var(--bg);color:var(--ink);font:400 1.0625rem/1.6 var(--font-body);-webkit-font-smoothing:antialiased;margin:0}h1,h2,h3,p{margin:0}h1,h2,h3{font-family:var(--font-display);letter-spacing:-.025em}a{color:inherit}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.wrap{max-width:1180px;margin:0 auto;padding:0 clamp(16px,4vw,40px)}.btn{background:var(--accent);color:var(--accent-ink);font:600 1rem/1 var(--font-body);cursor:pointer;border:0;border-radius:6px;justify-content:center;align-items:center;padding:.8rem 1.25rem;text-decoration:none;display:inline-flex}.btn:hover{filter:brightness(1.08)}.btn-ghost{color:var(--ink);box-shadow:inset 0 0 0 1.5px var(--ink);background:0 0}.site-head[data-astro-cid-z4jru4n3]{z-index:20;background:var(--bg);border-bottom:1px solid var(--line);position:sticky;top:0}.head-row[data-astro-cid-z4jru4n3]{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:20px;padding-top:14px;padding-bottom:14px;display:flex}.brand[data-astro-cid-z4jru4n3]{font:700 1.25rem/1 var(--font-display);letter-spacing:-.02em;align-items:center;gap:.55rem;text-decoration:none;display:inline-flex}.nav[data-astro-cid-z4jru4n3]{gap:26px;font-size:.96875rem;font-weight:500;display:flex}.nav[data-astro-cid-z4jru4n3] a[data-astro-cid-z4jru4n3]{border-bottom:2px solid #0000;padding:6px 0;text-decoration:none}.nav[data-astro-cid-z4jru4n3] a[data-astro-cid-z4jru4n3]:hover{border-bottom-color:var(--ink)}.site-foot[data-astro-cid-z4jru4n3]{border-top:1px solid var(--line);color:var(--ink-2);padding:36px 0 44px;font-size:.875rem}.foot-row[data-astro-cid-z4jru4n3]{flex-wrap:wrap;justify-content:space-between;gap:20px;display:flex}.site-foot[data-astro-cid-z4jru4n3] .brand[data-astro-cid-z4jru4n3]{color:var(--ink);font-size:1.05rem}@media (width<=760px){.nav[data-astro-cid-z4jru4n3]{white-space:nowrap;flex-wrap:wrap;order:3;gap:4px 20px;width:100%}}