@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(/assets/KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(/assets/KaTeX_AMS-Regular-DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(/assets/KaTeX_Fraktur-Regular-CB_wures.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(/assets/KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(/assets/KaTeX_Main-Bold-waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(/assets/KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(/assets/KaTeX_Main-Italic-3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(/assets/KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(/assets/KaTeX_Main-Regular-ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(/assets/KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(/assets/KaTeX_Math-Italic-flOr_0UB.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(/assets/KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(/assets/KaTeX_Script-Regular-C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(/assets/KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(/assets/KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC)format("woff2"),url(/assets/KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(/assets/KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(/assets/KaTeX_Size4-Regular-DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf)format("truetype")}:root,[data-theme=dark]{--color-bg:#0d1117;--color-surface:#161b22;--color-surface-2:#1c2230;--color-border:#30363d;--color-fg:#c9d1d9;--color-fg-subtle:#9aa6b2;--color-fg-faint:#6c7785;--color-accent:#58a6ff;--color-accent-fg:#0d1117;--color-accent-soft:#132036;--color-accent-2:#3fb1c8;--color-magenta:#f778ba;--color-good:#3fb950;--color-warn:#d29922;--color-bad:#f85149;--color-shadow:0 1px 2px #0006, 0 6px 16px #00000073;--font-sans:ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--maxw:1200px;--maxw-wide:100%}[data-theme=light]{--color-bg:#f6f8fa;--color-surface:#fff;--color-surface-2:#f0f3f6;--color-border:#d0d7de;--color-fg:#1f2328;--color-fg-subtle:#57606a;--color-fg-faint:#6e7781;--color-accent:#0969da;--color-accent-fg:#fff;--color-accent-soft:#ddf4ff;--color-accent-2:#0a7c8a;--color-magenta:#bf3989;--color-good:#1a7f37;--color-warn:#9a6700;--color-bad:#cf222e;--color-shadow:0 1px 2px #1f23280f, 0 4px 10px #1f23280a}*{box-sizing:border-box}html,body,#root{height:100%}body{font-family:var(--font-sans);background-color:var(--color-bg);color:var(--color-fg);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;margin:0;line-height:1.55}a{color:var(--color-accent);text-decoration:none}a:hover{text-decoration:underline}button{font:inherit;cursor:pointer;color:inherit}h1,h2,h3,h4{letter-spacing:-.01em;font-weight:650;line-height:1.2}code,kbd{font-family:var(--font-mono)}.app-shell{background:var(--color-bg);min-height:100vh;color:var(--color-fg);flex-direction:column;display:flex}.container{width:100%;max-width:var(--maxw);margin-inline:auto;padding-inline:1.5rem}.page{flex:auto;width:100%}.page-body{width:100%;max-width:var(--maxw);margin-inline:auto;padding:2.25rem 1.5rem 3rem}.page-body.wide{max-width:var(--maxw-wide);padding-inline:1.25rem}.muted{color:var(--color-fg-subtle)}.faint{color:var(--color-fg-faint)}.mono{font-family:var(--font-mono);font-size:.9em}.small{font-size:.84rem}.card{background:var(--color-surface);border:1px solid var(--color-border);box-shadow:var(--color-shadow);border-radius:10px;padding:1.25rem 1.5rem}.badge{border:1px solid var(--color-border);background:var(--color-surface-2);color:var(--color-fg-subtle);border-radius:999px;align-items:center;gap:.35rem;padding:.15rem .55rem;font-size:.78rem;display:inline-flex}.badge.live{color:var(--color-good);border-color:color-mix(in oklab, var(--color-good) 45%, transparent)}.badge.precomputed,.badge.accent{color:var(--color-accent);border-color:color-mix(in oklab, var(--color-accent) 45%, transparent)}.badge.warn{color:var(--color-warn);border-color:color-mix(in oklab, var(--color-warn) 45%, transparent)}.site-header{z-index:50;border-bottom:1px solid var(--color-border);background:color-mix(in oklab, var(--color-bg) 82%, transparent);-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);position:sticky;top:0}.header-inner{max-width:var(--maxw);align-items:center;gap:1rem;height:56px;margin-inline:auto;padding-inline:1.5rem;display:flex}.brand{letter-spacing:-.02em;color:var(--color-fg);align-items:center;gap:.5rem;font-weight:700;display:inline-flex}.brand:hover{text-decoration:none}.brand .brand-mark{color:var(--color-accent);flex:none;display:inline-flex}.main-nav{align-items:center;gap:.15rem;display:flex}.nav-link{color:var(--color-fg-subtle);border-radius:6px;padding:.4rem .7rem;font-size:.9rem;transition:color .15s,background-color .15s}.nav-link:hover{color:var(--color-fg);text-decoration:none}.nav-link.active{color:var(--color-accent);background:var(--color-accent-soft);font-weight:600}.header-actions{align-items:center;gap:.15rem;margin-left:auto;display:inline-flex}.icon-btn{color:var(--color-fg-subtle);opacity:.85;background:0 0;border:none;border-radius:6px;justify-content:center;align-items:center;gap:.3rem;padding:.4rem .5rem;transition:opacity .15s,color .15s;display:inline-flex}.icon-btn:hover{opacity:1;color:var(--color-fg);text-decoration:none}.icon-btn svg{flex:none;display:block}.lang-code{text-transform:uppercase;letter-spacing:.06em;font-size:.72rem;font-weight:600}.header-sep{background:var(--color-border);width:1px;height:20px;margin-inline:.4rem}.site-footer{border-top:1px solid var(--color-border);background:var(--color-surface);margin-top:3rem}.footer-inner{max-width:var(--maxw);color:var(--color-fg-faint);flex-direction:column;gap:.9rem;margin-inline:auto;padding:1.5rem;font-size:.85rem;display:flex}.footer-meta{flex-wrap:wrap;align-items:center;gap:.5rem .75rem;display:flex}.footer-build{font-family:var(--font-mono);color:var(--color-fg-faint);flex-wrap:wrap;gap:.6rem;margin-left:auto;font-size:.72rem;display:inline-flex}.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}:where(a[href],button:not([disabled]),[tabindex]:not([tabindex="-1"])):focus-visible{outline:2px solid var(--color-accent);outline-offset:2px;border-radius:4px}@media (width<=760px){.header-inner{flex-wrap:wrap;gap:0 .5rem;height:auto;min-height:56px;padding:4px 1rem}.header-actions{gap:0}.header-actions .icon-btn{padding:.35rem}.main-nav{white-space:nowrap;scrollbar-width:thin;flex:0 0 100%;order:3;min-width:0;padding:3px 0;overflow-x:auto}.main-nav .nav-link{flex:none;padding:.3rem .6rem;font-size:.8rem}}@media (prefers-reduced-motion:reduce){*,:before,:after{transition-duration:.01ms!important;animation-duration:.01ms!important}}.prose{font-size:.98rem}.prose section{margin-block:1.75rem}.measure{max-width:70ch}.fig-row{grid-template-columns:1.1fr 1fr;align-items:center;gap:1.5rem;margin-block:1.5rem;display:grid}.fig-row.rev{grid-template-columns:1fr 1.1fr}@media (width<=820px){.fig-row,.fig-row.rev{grid-template-columns:1fr}}.def-grid{grid-template-columns:repeat(auto-fit,minmax(240px,1fr));gap:1rem;margin-block:1.25rem;display:grid}.def{background:var(--color-surface);border:1px solid var(--color-border);border-radius:10px;padding:.9rem 1.1rem}.def h4{color:var(--color-accent);margin:0 0 .3rem;font-size:.95rem}.def p{color:var(--color-fg-subtle);margin:0;font-size:.9rem}.assume{background:var(--color-surface-2);border:1px solid var(--color-border);border-radius:8px;margin-block:1rem;padding:.85rem 1rem}.assume-title{text-transform:uppercase;letter-spacing:.04em;color:var(--color-fg-faint);margin:0 0 .4rem;font-size:.76rem;font-weight:650}.assume ul{color:var(--color-fg-subtle);margin:0;padding-left:1.2rem}.assume li{margin-block:.3rem;font-size:.92rem}.references{border-top:1px solid var(--color-border);margin-top:2.5rem;padding-top:1rem}.reference-list{color:var(--color-fg-subtle);padding-left:1.4rem;font-size:.85rem;line-height:1.5}.reference-list li{margin-block:.5rem}.cite-inline{color:var(--color-fg-subtle);font-size:.92em;font-style:normal}.th-refs{border-top:1px dashed var(--color-border);color:var(--color-fg-subtle);margin-top:1.25rem;padding-top:.6rem;font-size:.85rem}.th-refs-label{color:var(--color-fg-faint);font-weight:650}.prose h2{margin-block:1.4rem .6rem;font-size:1.3rem}.prose h3{margin-block:1.1rem .4rem;font-size:1.06rem}.prose p{margin-block:.6rem}.prose ul,.prose ol{margin-block:.5rem;padding-left:1.3rem}.prose li{margin-block:.35rem}.page-head{border-bottom:1px solid var(--color-border);margin-bottom:1.25rem;padding-bottom:1rem}.page-head h1{margin:0 0 .4rem;font-size:1.7rem}.lede{color:var(--color-fg-subtle);max-width:70ch;margin:0;font-size:1.08rem}.two-col{grid-template-columns:1fr 1fr;gap:1.25rem;margin-block:1.5rem;display:grid}@media (width<=760px){.two-col{grid-template-columns:1fr}}.tick-list,.cross-list{margin:.4rem 0 0;padding-left:0;list-style:none}.tick-list li,.cross-list li{margin-block:.5rem;padding-left:1.5rem;position:relative}.tick-list li:before{content:"✓";color:var(--color-good);font-weight:700;position:absolute;left:0}.cross-list li:before{content:"✕";color:var(--color-fg-faint);font-weight:700;position:absolute;left:0}.callout{border-left:3px solid var(--color-border);background:var(--color-surface-2);border-radius:0 8px 8px 0;margin-block:1rem;padding:.8rem 1.1rem}.callout-honest{border-left-color:var(--color-warn)}.callout-strong{border-left-color:var(--color-accent);background:var(--color-accent-soft)}.callout-note{border-left-color:var(--color-fg-faint)}.callout-title{color:var(--color-fg);margin:0 0 .4rem;font-weight:650}.callout-body{color:var(--color-fg-subtle)}.callout-body p:first-child{margin-top:0}.callout-body p:last-child{margin-bottom:0}.tablist{border-bottom:1px solid var(--color-border);scrollbar-width:none;-ms-overflow-style:none;scroll-behavior:smooth;flex-wrap:nowrap;gap:.35rem;margin-bottom:.9rem;padding-bottom:.4rem;display:flex;overflow:auto hidden;flex-wrap:nowrap!important}.tablist::-webkit-scrollbar{display:none}.tablist .tab,.tablist button{white-space:nowrap;flex:none}.tab{color:var(--color-fg-subtle);background:0 0;border:1px solid #0000;border-radius:8px;padding:.5rem 1rem;font-size:.92rem;font-weight:550;transition:color .15s,background-color .15s,border-color .15s}.tab:hover{color:var(--color-fg);background:var(--color-surface-2)}.tab.active{color:var(--color-accent);background:var(--color-accent-soft);border-color:color-mix(in oklab, var(--color-accent) 35%, transparent);font-weight:650}.tabpanel:focus,.subtabpanel:focus{outline:none}.subtabs{margin-block:1rem}.subtablist{flex-wrap:wrap;gap:.3rem;margin-bottom:1.1rem;display:flex}.subtab{border:1px solid var(--color-border);background:var(--color-surface);color:var(--color-fg-subtle);border-radius:999px;padding:.32rem .8rem;font-size:.84rem;font-weight:500;transition:color .15s,background-color .15s,border-color .15s}.subtab:hover{color:var(--color-fg);border-color:var(--color-fg-faint)}.subtab.active{color:var(--color-accent);background:var(--color-accent-soft);border-color:color-mix(in oklab, var(--color-accent) 40%, transparent);font-weight:600}.subtabs-vertical{grid-template-columns:minmax(180px,240px) minmax(0,1fr);align-items:start;gap:1.5rem;display:grid}.subtabs-vertical .subtablist{flex-direction:column;margin-bottom:0}.subtabs-vertical .subtab{text-align:left;border-radius:8px}@media (width<=760px){.subtabs-vertical{grid-template-columns:1fr}.subtabs-vertical .subtablist{flex-direction:row}}.equation{background:var(--color-surface);border:1px solid var(--color-border);border-radius:8px;margin:1rem 0;padding:.9rem 1rem;overflow-x:auto}.equation-caption{color:var(--color-fg-faint);text-align:center;margin-top:.5rem;font-size:.82rem}.katex{color:var(--color-fg)}.figure{margin:1.5rem 0}.figure-caption,.fig-cap{text-align:center;color:var(--color-fg-faint);margin-top:.6rem;font-size:.84rem;font-style:italic}.fig-svg{width:100%;max-width:560px;height:auto;margin-inline:auto;display:block}.fig-svg.wide{max-width:760px}.dg-axis{stroke:var(--color-fg-faint);stroke-width:1.3px}.dg-axis-label{fill:var(--color-fg-subtle);font:12px var(--font-sans)}.dg-tick{fill:var(--color-fg-faint);font:11px var(--font-mono)}.dg-grid{stroke:var(--color-border);stroke-width:.5px;opacity:.6}.dg-curve{fill:none;stroke:var(--color-accent);stroke-width:2.2px;stroke-linejoin:round}.dg-curve-2{fill:none;stroke:var(--color-magenta);stroke-width:2px}.dg-curve-faint{fill:none;stroke:var(--color-fg-faint);stroke-width:1.4px;stroke-dasharray:4 3}.dg-asymptote{stroke:var(--color-bad);stroke-width:1.4px;stroke-dasharray:4 4}.dg-marker{stroke:var(--color-warn);stroke-width:1.2px;stroke-dasharray:3 3}.dg-marker-label{fill:var(--color-warn);font:600 11px var(--font-mono)}.dg-note{fill:var(--color-fg-faint);font:italic 11px var(--font-sans)}.dg-fill-accent{fill:color-mix(in oklab, var(--color-accent) 16%, transparent);stroke:var(--color-accent);stroke-width:1px}.dg-fill-warn{fill:color-mix(in oklab, var(--color-warn) 16%, transparent);stroke:var(--color-warn);stroke-width:1px}.dg-box{fill:var(--color-surface);stroke:var(--color-border);stroke-width:1.3px}.dg-box.accent{stroke:var(--color-accent);fill:var(--color-accent-soft)}.dg-box.good{stroke:var(--color-good)}.dg-box-title{fill:var(--color-fg);font:650 12px var(--font-sans)}.dg-box-title.accent{fill:var(--color-accent)}.dg-box-sub{fill:var(--color-fg-subtle);font:10.5px var(--font-mono)}.dg-node{fill:var(--color-surface);stroke:var(--color-accent);stroke-width:1.4px}.dg-node-label{fill:var(--color-fg);font:600 12px var(--font-mono)}.dg-edge{stroke:var(--color-fg-faint);stroke-width:1.4px;fill:none}.dg-edge-label{fill:var(--color-fg-subtle);font:11px var(--font-mono)}.dg-arrowhead{fill:var(--color-fg-faint)}.dg-bar{fill:var(--color-accent)}.dg-bar-2{fill:var(--color-magenta)}.dg-bar-label{fill:var(--color-fg-subtle);font:11px var(--font-sans)}.btn{border:1px solid var(--color-border);background:var(--color-surface-2);color:var(--color-fg);border-radius:8px;align-items:center;gap:.35rem;padding:.4rem .9rem;font-size:.88rem;font-weight:600;display:inline-flex}.btn:hover{border-color:var(--color-fg-faint)}.btn.primary{background:var(--color-accent);color:var(--color-accent-fg);border-color:var(--color-accent)}.btn:disabled{opacity:.5;cursor:default}.select{background:var(--color-surface-2);color:var(--color-fg);border:1px solid var(--color-border);border-radius:8px;padding:.35rem .5rem;font-size:.85rem}.hint{color:var(--color-fg-faint);margin:0;font-size:.8rem}.banner{border-left:3px solid var(--color-border);background:var(--color-surface-2);border-radius:8px;margin-block:.6rem;padding:.6rem .9rem;font-size:.85rem}.banner.warn{border-left-color:var(--color-warn);color:var(--color-warn)}.banner.error{border-left-color:var(--color-bad);color:var(--color-bad)}.range{width:100%;accent-color:var(--color-accent)}.cs{flex-direction:column;gap:.7rem;display:flex}.cs-source{flex-wrap:wrap;align-items:center;gap:.6rem;display:flex}.cs-source-label{color:var(--color-fg-subtle);text-transform:uppercase;letter-spacing:.03em;font-size:.78rem;font-weight:600}.cs-source-tabs{flex-wrap:wrap;gap:.35rem;display:inline-flex}.cs-locked{border-left-color:var(--color-accent);margin:0}.cs-group{flex-direction:column;gap:.35rem;display:flex}.cs-group-label{color:var(--color-fg-subtle);text-transform:uppercase;letter-spacing:.03em;font-size:.76rem;font-weight:600}.cs-chips{flex-wrap:wrap;gap:.4rem;display:flex}.cs-chip{border:1px solid var(--color-border);background:var(--color-surface);color:var(--color-fg-subtle);border-radius:999px;align-items:baseline;gap:.4rem;padding:.32rem .6rem;font-size:.84rem;font-weight:500;transition:color .15s,background-color .15s,border-color .15s;display:inline-flex}.cs-chip:hover:not(:disabled){color:var(--color-fg);background:var(--color-surface-2)}.cs-chip.on{color:var(--color-accent);background:var(--color-accent-soft);border-color:color-mix(in oklab, var(--color-accent) 40%, transparent);font-weight:600}.cs-chip:disabled{opacity:.45;cursor:default}.cs-chip-id{font-family:var(--font-mono,ui-monospace, monospace);opacity:.85;font-size:.76rem;font-weight:600}.cs-kind{border:1px solid var(--color-border);color:var(--color-fg-faint);background:var(--color-surface-2);border-radius:4px;align-self:center;padding:.12rem .28rem;font-size:.62rem;font-weight:700;line-height:1}.cs-kind-real{color:var(--color-accent-2);border-color:color-mix(in oklab, var(--color-accent-2) 40%, transparent)}.cs-kind-uploaded{color:var(--color-warn);border-color:color-mix(in oklab, var(--color-warn) 40%, transparent)}.cs-modified{align-items:center;gap:.5rem;display:flex}.cs-reset{color:var(--color-accent);text-underline-offset:2px;background:0 0;border:none;padding:.1rem .2rem;font-size:.8rem;font-weight:600;text-decoration:underline}.caos-workbench-shell{grid-template-columns:238px minmax(0,1fr);min-height:100vh;display:grid}.caos-workbench-sidebar{z-index:20;border-right:1px solid var(--color-border);background:var(--color-surface);flex-direction:column;width:238px;padding:1.25rem .875rem;display:flex;position:fixed;inset:0 auto 0 0}.caos-workbench-sidebar nav{gap:.25rem;display:grid}.caos-workbench-sidebar nav a{color:var(--color-fg-subtle);border:1px solid #0000;border-radius:.7rem;align-items:center;gap:.75rem;padding:.625rem .7rem;font-size:.9rem;font-weight:650;display:flex}.caos-workbench-sidebar nav a:hover{color:var(--color-fg);background:var(--color-surface-2);text-decoration:none}.caos-workbench-sidebar nav a.active{color:var(--color-accent);border-color:color-mix(in oklab, var(--color-accent) 24%, transparent);background:var(--color-accent-soft)}.caos-workbench-main{grid-column:2;min-width:0}.caos-workbench-header{z-index:15;border-bottom:1px solid var(--color-border);background:color-mix(in oklab, var(--color-bg) 88%, transparent);-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);justify-content:space-between;align-items:center;gap:1rem;min-height:64px;padding:0 2rem;display:flex;position:sticky;top:0}.caos-workbench-content{width:min(1540px,100%);margin:0 auto;padding:2.25rem 2rem 4rem}@media (width<=760px){.caos-workbench-shell{padding-bottom:66px;display:block}.caos-workbench-sidebar{border:0;border-top:1px solid var(--color-border);width:auto;height:62px;padding:5px 8px;display:block;inset:auto 0 0}.caos-workbench-sidebar>:not(nav){display:none}.caos-workbench-sidebar nav{grid-template-columns:repeat(var(--caos-workbench-route-count,5), minmax(0, 1fr))}.caos-workbench-sidebar nav a{text-overflow:ellipsis;white-space:nowrap;justify-items:center;gap:2px;padding:5px;font-size:.7rem;display:grid;overflow:hidden}.caos-workbench-main{min-width:0}.caos-workbench-header{min-height:58px;padding:0 1rem}.caos-workbench-content{padding:1.5rem 1rem 2.5rem}}html,body{overflow-x:hidden}.page-body{min-width:0}.tabs,.tabpanel,.subtabs,.subtabpanels,.subtabpanel{min-width:0;max-width:100%}.tablist{width:100%;min-width:0;max-width:100%}.app-shell.fixed{height:100dvh;min-height:100dvh;overflow:hidden}.app-shell.fixed>.page{flex:auto;min-height:0;display:flex}.app-shell.fixed .page-body.wide{flex:auto;min-height:0;padding-top:1rem;padding-bottom:1rem}.app-shell.fixed .site-footer{margin-top:0}.app-shell.fixed .site-footer .footer-inner{gap:.4rem;padding:.45rem 1.5rem;font-size:.74rem;line-height:1.3}[data-arch-lang] .l-es,[data-arch-lang=es] .l-en{display:none}[data-arch-lang=es] .l-es{display:inline}.caos-architecture-diagram>svg{width:100%;max-width:none;height:auto;display:block}.cs-select{width:100%;max-width:460px}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(/assets/KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(/assets/KaTeX_AMS-Regular-DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(/assets/KaTeX_Fraktur-Regular-CB_wures.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(/assets/KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(/assets/KaTeX_Main-Bold-waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(/assets/KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(/assets/KaTeX_Main-Italic-3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(/assets/KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(/assets/KaTeX_Main-Regular-ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(/assets/KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(/assets/KaTeX_Math-Italic-flOr_0UB.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(/assets/KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(/assets/KaTeX_Script-Regular-C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(/assets/KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(/assets/KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC)format("woff2"),url(/assets/KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(/assets/KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(/assets/KaTeX_Size4-Regular-DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.16.47"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.newline{display:block}.katex .base{white-space:nowrap;width:min-content;position:relative}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{flex-direction:row;display:inline-flex}.katex .thinbox{width:0;max-width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}html,body,#root{height:auto;min-height:100%;overflow:visible}button,input,select{font:inherit}button{cursor:pointer}button:disabled,input:disabled,select:disabled{opacity:.5;cursor:not-allowed}.nx-layout{grid-template-columns:300px minmax(0,1fr);gap:1.1rem;display:grid;overflow:hidden}.nx-layout.nx-focus{grid-template-columns:minmax(0,1fr)}.nx-sidebar,.nx-main,.nx-doc,.nx-doc-pane,.nx-instrument,.nx-benchmark{min-width:0;min-height:0}.nx-sidebar{border-right:1px solid var(--color-border);flex-direction:column;gap:.8rem;padding-right:1rem;display:flex;overflow:hidden}.nx-side-title h1{margin:.25rem 0;font-size:1.35rem}.nx-kicker{color:var(--color-accent);font:600 .67rem var(--font-mono);letter-spacing:.07em;text-transform:uppercase}.nx-sidebar>.tabs{flex:auto;min-height:0}.nx-sidebar .tablist{gap:.15rem}.nx-sidebar .tab{padding:.45rem .5rem;font-size:.78rem}.nx-controls{flex-direction:column;gap:.8rem;padding-top:.7rem;display:flex}.nx-control{color:var(--color-fg-subtle);flex-direction:column;gap:.3rem;font-size:.77rem;display:flex}.nx-control>span{justify-content:space-between;gap:.3rem;display:flex}.nx-control b{font-family:var(--font-mono);color:var(--color-fg)}.nx-control select,.nx-control input:not([type=range]),.nx-inline-controls select,.nx-view-bar select{border:1px solid var(--color-border);background:var(--color-surface);width:100%;min-width:0;color:var(--color-fg);border-radius:6px;padding:.45rem .55rem;font-size:.8rem}.nx-control input[type=range]{width:100%;accent-color:var(--color-accent);margin:.2rem 0}.nx-goal{color:var(--color-fg-subtle);margin:0;font-size:.8rem;line-height:1.5}.nx-caption{color:var(--color-fg-subtle);margin:.5rem 0;font-size:.74rem;line-height:1.5}.nx-button{border:1px solid var(--color-border);background:var(--color-surface);color:var(--color-fg);white-space:nowrap;border-radius:7px;justify-content:center;align-items:center;gap:.4rem;padding:.45rem .7rem;font-size:.8rem;display:inline-flex}.nx-button:hover:not(:disabled){border-color:var(--color-accent);background:var(--color-accent-soft)}.nx-primary{background:var(--color-accent);border-color:var(--color-accent);color:var(--color-accent-fg);font-weight:650}.nx-primary:hover:not(:disabled){color:var(--color-fg)}.nx-diagnosis{border:1px solid var(--color-border);border-left:3px solid var(--color-accent);background:var(--color-surface);border-radius:7px;flex:none;padding:.8rem}.nx-diagnosis[data-status=succeeded],.nx-diagnosis[data-status=completed]{border-left-color:var(--color-good)}.nx-diagnosis[data-status=failed]{border-left-color:var(--color-bad)}.nx-diagnosis>div:first-child{justify-content:space-between;align-items:center;gap:.5rem;font-size:.76rem;display:flex}.nx-diagnosis p{max-height:3em;color:var(--color-fg-subtle);margin:.5rem 0;font-size:.72rem;line-height:1.4;overflow:hidden}.gauge-title{color:var(--color-fg-subtle);margin-bottom:.3rem;font-size:.68rem}.gauge-track{background:var(--color-surface-2);border-radius:5px;height:7px;overflow:hidden}.gauge-track i{background:var(--color-accent);height:100%;display:block}.gauge-scale{color:var(--color-fg-faint);justify-content:space-between;margin-top:.3rem;font-size:.67rem;display:flex}.gauge-scale b{color:var(--color-fg);font-family:var(--font-mono)}.chip{border:1px solid var(--color-border);background:var(--color-surface);color:var(--color-fg-subtle);border-radius:999px;padding:.3rem .7rem;font-size:.8rem}.chip.on{background:var(--color-accent);color:var(--color-accent-fg);font-weight:600}.nx-main{flex-direction:column;gap:.6rem;display:flex;overflow:hidden}.nx-work-head{flex:none;justify-content:space-between;align-items:center;gap:.5rem;display:flex}.nx-work-head h2{margin:.2rem 0;font-size:1.35rem}.nx-work-head p{color:var(--color-fg-subtle);margin:0;font-size:.77rem}.nx-runtime-bar{flex:none;align-items:center;gap:.4rem;min-width:0;display:flex}.nx-runtime-bar .badge{white-space:nowrap;margin-left:auto;font-size:.69rem}.nx-runtime-clock{font:.75rem var(--font-mono);white-space:nowrap}.nx-boundary{border-left:2px solid var(--color-accent);color:var(--color-fg-subtle);flex:none;padding:.2rem .6rem;font-size:.7rem;line-height:1.4}.nx-view-bar{flex:none;align-items:center;gap:1rem;display:flex}.nx-view-bar>label{color:var(--color-fg-subtle);white-space:nowrap;align-items:center;gap:.6rem;font-size:.72rem;display:flex}.nx-view-bar select{width:200px}.nx-cursor-control{flex:1;min-width:0}.nx-cursor-control input{min-width:40px;accent-color:var(--color-accent);flex:1}.nx-cursor-control b{font:.7rem var(--font-mono)}.nx-instrument{overscroll-behavior:contain;flex-direction:column;flex:auto;gap:.8rem;padding-right:.2rem;display:flex;overflow:auto}.nx-plot{border:1px solid var(--color-border);background:var(--color-surface);border-radius:9px;flex:none;min-width:0;padding:.8rem 1rem}.nx-plot h3{color:var(--color-fg-subtle);margin:0 0 .6rem;font-size:.8rem;font-weight:600}.nx-plot h4{margin:.5rem 0}.nx-plot>p{font-size:.85rem;line-height:1.6}.nx-chart{width:100%;height:auto;max-height:300px;display:block;overflow:visible}.nx-timeline .nx-chart{max-height:240px}.nx-graph{max-height:330px}.nx-chart-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:.8rem;min-width:0;display:grid}.nx-axis{stroke:var(--color-border);stroke-width:1px}.nx-grid{stroke:var(--color-border);stroke-width:.7px;stroke-dasharray:3 4}.nx-axis-label{fill:var(--color-fg-subtle);font-size:11px;font-family:var(--font-mono)}.nx-label{fill:var(--color-fg);font-size:12px}.nx-node{fill:var(--color-accent);stroke:var(--color-surface);stroke-width:2px}.nx-node-bad{fill:var(--color-bad)}.nx-node-warn{fill:var(--color-warn)}.nx-accent{stroke:var(--color-accent)}.nx-good{stroke:var(--color-good)}.nx-warn{stroke:var(--color-warn)}.nx-line{stroke-width:2px;fill:none}.nx-cursor{stroke:var(--color-fg-faint);stroke-dasharray:3 4;pointer-events:none}.nx-click{cursor:pointer}.nx-readout{border-top:1px solid var(--color-border);color:var(--color-fg-subtle);flex-wrap:wrap;gap:1rem;padding-top:.55rem;font-size:.72rem;display:flex}.nx-readout b{color:var(--color-fg);font-family:var(--font-mono);margin-left:.3rem;font-weight:500}.nx-bars{flex-direction:column;gap:.7rem;display:flex}.nx-bar-row{grid-template-columns:minmax(80px,1fr) 2fr 48px 60px;align-items:center;gap:.6rem;min-width:0;font-size:.7rem;display:grid}.nx-bar-row code{text-overflow:ellipsis;overflow:hidden}.nx-bar-row b{font-family:var(--font-mono);text-align:right;font-size:.72rem}.nx-bar-row>span{color:var(--color-fg-subtle);text-align:right}.nx-bar-track{background:var(--color-surface-2);border-radius:4px;height:10px;overflow:hidden}.nx-bar-track i{height:100%;display:block}.nx-selected code{color:var(--color-accent);font-weight:650}.nx-graph-controller{fill:var(--color-accent-soft);stroke:var(--color-accent)}.nx-graph-resource{fill:var(--color-surface-2);stroke:var(--color-border)}.nx-edge{fill:none;stroke:var(--color-fg-faint);stroke-width:1.2px}.nx-marker{fill:var(--color-fg-faint)}.nx-table-scroll{max-width:100%;overflow:auto}.nx-table{border-collapse:collapse;width:100%;font-size:.76rem}.nx-table th,.nx-table td{text-align:left;border-bottom:1px solid var(--color-border);vertical-align:top;padding:.6rem .5rem}.nx-table th{color:var(--color-fg-subtle);font-weight:600}.nx-table code{overflow-wrap:anywhere;white-space:normal}.nx-table td:last-child{max-width:380px}.nx-method-flow{flex-wrap:wrap;justify-content:center;align-items:center;gap:.8rem;margin:1rem 0;display:flex}.nx-method-flow span{border:1px solid var(--color-border);background:var(--color-surface-2);border-radius:6px;padding:.8rem;font-size:.8rem}.nx-method-flow b{color:var(--color-accent)}.nx-code{white-space:pre-wrap;overflow-wrap:anywhere;font:.73rem/1.55 var(--font-mono);background:var(--color-surface-2);max-height:280px;color:var(--color-fg-subtle);border-radius:6px;padding:.8rem;overflow:auto}.nx-inline-controls{align-items:center;gap:.6rem;display:flex}.nx-inline-controls select{flex:1}.nx-bottom-readout{font:.64rem var(--font-mono);color:var(--color-fg-faint);flex-wrap:wrap;flex:none;gap:1rem;display:flex}.nx-bottom-readout span:last-child{margin-left:auto}.nx-error{color:var(--color-bad);border:1px solid var(--color-bad);border-radius:6px;padding:.5rem;font-size:.8rem}.nx-empty{text-align:center;flex-direction:column;justify-content:center;align-items:center;min-height:250px;padding:1.5rem;display:flex}.nx-empty h3{font-size:1rem}.nx-empty p{max-width:65ch;color:var(--color-fg-subtle);font-size:.85rem;line-height:1.6}.nx-doc .subtablist{flex-wrap:nowrap;align-self:start;position:sticky;top:1rem}.nx-doc .subtab{white-space:normal}.nx-doc-section{min-width:0;scroll-margin-top:1.5rem}.nx-doc-section .callout p{margin:0}.nx-doc-section .equation{overflow-x:auto}.nx-doc-symbols{grid-template-columns:repeat(2,minmax(0,1fr));gap:.3rem 1.5rem;font-size:.83rem;display:grid}.nx-doc-symbols li{line-height:1.6}.nx-doc-section figure{margin-inline:0}.nx-schematic.nx-schematic-mobile{display:none}.nx-schematic{border:1px solid var(--color-border);background:var(--color-surface);border-radius:9px;width:100%;height:auto;margin:1rem 0;display:block}.nx-figure-caption{color:var(--color-fg-subtle);font-size:.78rem!important}.nx-benchmark{flex-direction:column;gap:1rem;display:flex}.nx-benchmark-body{flex-direction:column;gap:1rem;min-width:0;display:flex}.nx-metrics{grid-template-columns:repeat(4,minmax(0,1fr));gap:.7rem;display:grid}.nx-metric{background:var(--color-surface);border:1px solid var(--color-border);border-radius:8px;padding:1rem}.nx-metric span{color:var(--color-fg-subtle);margin-bottom:.5rem;font-size:.7rem;display:block}.nx-metric b{font:600 1.4rem var(--font-mono);color:var(--color-fg)}.nx-doc-nav-select{align-items:center;gap:.8rem;margin:0 0 1rem;font-size:.85rem;display:flex}.nx-doc-nav-select select{background:var(--color-surface);color:var(--color-fg);border:1px solid var(--color-border);border-radius:6px;min-width:0;max-width:100%;padding:.5rem}@media (width>=1900px){.nx-layout{grid-template-columns:320px minmax(0,1fr)}.nx-chart{max-height:380px}.nx-timeline .nx-chart{max-height:350px}.nx-controls{gap:1.1rem}.nx-plot{padding:1.1rem 1.3rem}}@media (height<=850px){.nx-controls{gap:.55rem}.nx-side-title h1{font-size:1.2rem}.nx-control,.nx-goal{font-size:.73rem}.nx-diagnosis{padding:.6rem}.nx-sidebar{gap:.5rem}.nx-work-head h2{font-size:1.2rem}.nx-controls .nx-caption{font-size:.68rem}.nx-plot{padding:.6rem .8rem}.nx-timeline .nx-chart{max-height:190px}.nx-chart{max-height:210px}.nx-bottom-readout{font-size:.6rem}}@media (width<=1000px){.nx-layout{grid-template-columns:260px minmax(0,1fr);gap:.7rem}.nx-runtime-bar{flex-wrap:wrap}.nx-runtime-clock{display:none}.nx-runtime-bar .badge{margin-left:0}.nx-view-bar{gap:.5rem}.nx-view-bar select{width:155px}.nx-view-bar>label:first-child{font-size:0}.nx-chart-grid{grid-template-columns:minmax(0,1fr)}.nx-metrics{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (width<=700px){.nx-layout{grid-template-columns:1fr}.nx-sidebar{display:none}.nx-main{height:100%}.nx-doc-symbols{grid-template-columns:1fr}.nx-bottom-readout span:last-child{display:none}}.nx-confusion{font-size:.64rem}.nx-confusion th{overflow-wrap:anywhere;max-width:115px}.nx-confusion td{padding:2px}.nx-confusion-cell{width:100%;min-width:35px;min-height:30px;color:var(--color-fg);font:.7rem var(--font-mono);border:0;border-radius:3px;display:block}.nx-text-button{color:var(--color-fg);text-align:left;font-size:inherit;background:0 0;border:0;padding:0}.nx-text-button:hover{color:var(--color-accent)}.nx-active-row{background:var(--color-accent-soft)}.nx-mask{flex-wrap:wrap;gap:.4rem;margin-top:.8rem;display:flex}.nx-mask>span{font:.7rem var(--font-mono);border:1px solid var(--color-border);border-radius:5px;padding:.35rem .5rem}.nx-mask-allowed{color:var(--color-good)}.nx-mask-denied{color:var(--color-bad)}.nx-workspace-fields{grid-template-columns:1fr 1fr;gap:.8rem;margin-bottom:.7rem;display:grid}.nx-workspace-wide{grid-column:1/-1}.nx-workspace textarea{box-sizing:border-box;resize:vertical;background:var(--color-surface-2);width:100%;min-height:70px;color:var(--color-fg);border:1px solid var(--color-border);font:.75rem/1.5 var(--font-mono);border-radius:6px;padding:.6rem}.nx-recipe-editor{min-height:320px}.nx-workspace .nx-view-bar>.nx-caption{overflow-wrap:anywhere;white-space:normal;min-width:0}.nx-sidebar [inert]{opacity:.55}.nx-workspace .nx-chart{max-height:440px}.nx-workspace .nx-runtime-bar{flex-wrap:wrap}.nx-sidebar .tablist{grid-template-columns:repeat(2,minmax(0,1fr));width:100%;display:grid}.nx-sidebar .tab{text-align:center;justify-content:center;min-width:0}.nx-workflow-goals{flex-wrap:wrap;gap:.6rem;margin:.8rem 0;display:flex}.nx-workflow-goals>div{border:1px solid var(--color-border);border-left:3px solid var(--color-accent);border-radius:6px;min-width:130px;padding:.6rem .9rem}.nx-workflow-goals>div[data-state=succeeded]{border-left-color:var(--color-good)}.nx-workflow-goals>div[data-state=failed],.nx-workflow-goals>div[data-state=blocked]{border-left-color:var(--color-bad)}.nx-workflow-goals b,.nx-workflow-goals span{font-size:.76rem;display:block}.nx-workflow-goals span{font:.7rem var(--font-mono);color:var(--color-fg-subtle);margin-top:.35rem}.nx-hash-evidence{grid-template-columns:minmax(130px,1fr) minmax(0,4fr);gap:.55rem 1rem;padding-top:1rem;font-size:.75rem;display:grid}.nx-hash-evidence>span{color:var(--color-fg-subtle)}.nx-hash-evidence code{overflow-wrap:anywhere;word-break:break-all;font-size:.72rem}.nx-hash-evidence b{color:var(--color-fg);font-weight:600}.nx-evidence-detail{color:var(--color-fg-subtle);margin-top:.8rem;font-size:.75rem}.nx-evidence-detail summary{cursor:pointer}.nx-workflow-goals{margin:.6rem 0}.nx-recovery-check{grid-template-columns:minmax(120px,1.3fr) minmax(105px,.8fr) minmax(180px,2fr) auto;align-items:end;gap:.7rem;margin:.7rem 0;display:grid}.nx-attestation{align-items:flex-start;gap:.6rem;margin:1rem 0;font-size:.78rem;line-height:1.5;display:flex}.nx-attestation input{accent-color:var(--color-accent);margin-top:.3rem}.nx-recovery-check input{font-family:var(--font-mono)}.nx-mobile-switch{display:none}@media (width<=700px){.nx-layout{grid-template-rows:auto minmax(0,1fr);gap:.6rem}.nx-mobile-switch{justify-content:space-between;align-items:center;gap:.7rem;min-width:0;display:flex}.nx-mobile-switch .nx-kicker{max-width:60%;font-size:.6rem;line-height:1.5}.nx-mobile-controls .nx-sidebar{border-right:0;padding-right:0;display:flex}.nx-mobile-controls>.nx-main{display:none}.nx-workspace-fields,.nx-recovery-check{grid-template-columns:minmax(0,1fr)}.nx-workspace .nx-inline-controls{flex-wrap:wrap}.nx-workspace .nx-inline-controls select{flex-basis:100%;width:100%}.nx-workspace .nx-work-head{align-items:flex-start}.nx-workspace .nx-work-head h2{font-size:1.1rem}.nx-workspace .nx-work-head>.nx-button{white-space:normal;max-width:90px;font-size:.7rem}.nx-workspace .nx-view-bar{flex-wrap:wrap}.nx-workspace .nx-view-bar>.nx-caption{flex-basis:100%;margin:0;font-size:.62rem}.nx-hash-evidence{grid-template-columns:1fr;gap:.3rem}.nx-hash-evidence>span:not(:first-child){margin-top:.5rem}.nx-workspace .nx-runtime-bar .nx-button{padding:.4rem .5rem;font-size:.7rem}.nx-workspace .nx-runtime-bar .badge{font-size:.6rem}.nx-workspace .nx-boundary{font-size:.65rem}.nx-workspace .nx-plot{padding:.7rem}.nx-sidebar>.nx-diagnosis{display:none}.nx-mobile-switch .nx-button,.nx-sidebar .nx-button,.nx-workspace .nx-button,.nx-workspace select,.nx-workspace input:not([type=checkbox]){min-height:40px}.nx-sidebar .tab{min-height:36px}.nx-workspace .nx-view-bar select{width:min(100%,300px)}.nx-workspace .nx-view-bar>label:first-child{flex:1;min-width:0}.nx-attestation{align-items:center;min-height:44px}.nx-attestation input{min-width:20px;min-height:20px;margin:0}.nx-sidebar .nx-side-title>.nx-kicker{display:none}.nx-sidebar .nx-side-title h1{margin:0;font-size:1rem;line-height:1.25}.nx-sidebar .tablist{grid-template-columns:repeat(4,minmax(0,1fr));gap:.1rem}.nx-sidebar .tab{white-space:nowrap;padding:.35rem .15rem;font-size:.68rem}.nx-environment-controls{grid-template-columns:repeat(2,minmax(0,1fr));column-gap:.8rem;display:grid}.nx-environment-controls>.nx-caption,.nx-environment-controls>.nx-button,.nx-environment-controls>.nx-code{grid-column:1/-1}.nx-environment-controls .nx-control{min-width:0}.nx-environment-controls .nx-control>span{flex-wrap:wrap;gap:.15rem}}.app-shell:not(.fixed) .nx-layout,.app-shell:not(.fixed) .nx-sidebar,.app-shell:not(.fixed) .nx-main,.app-shell:not(.fixed) .nx-instrument{height:auto;overflow:visible}.app-shell:not(.fixed) .nx-instrument{flex:none}.nx-benchmark .subtablist{flex-wrap:nowrap;padding-bottom:.35rem;overflow-x:auto}.nx-benchmark .subtab{white-space:nowrap;flex-shrink:0}@media (width<=760px){.nx-schematic-desktop{display:none}.nx-schematic.nx-schematic-mobile{display:block}.nx-doc .subtabs-vertical .subtablist{flex-flow:row;padding-bottom:.4rem;position:static;overflow-x:auto}.nx-doc .subtab{white-space:nowrap;flex-shrink:0;min-height:44px}.nx-doc-nav-select{flex-wrap:wrap}.nx-doc-nav-select select{width:100%;min-height:44px}.nx-benchmark .nx-inline-controls{flex-wrap:wrap}.nx-benchmark .nx-inline-controls select{flex-basis:100%}.nx-benchmark .subtab{min-height:44px}.nx-doc .nx-doc-symbols{grid-template-columns:1fr}}.op-page{min-width:0}.science-measurement{border-top:1px solid var(--color-border);margin-block:2rem;padding-top:1rem}.science-study-summary{border:1px solid var(--color-border);border-radius:8px;grid-template-columns:repeat(3,minmax(0,1fr));margin-block:1.5rem;display:grid}.science-study-summary>div{flex-direction:column;gap:.45rem;padding:1.25rem;display:flex}.science-study-summary b{font:600 1.8rem var(--font-mono);color:var(--color-accent)}.science-study-summary span{color:var(--color-fg-subtle);font-size:.74rem}@media (width<=650px){.science-study-summary{grid-template-columns:1fr}.science-study-summary>div{flex-direction:row;align-items:center;gap:1rem;padding:.7rem 1rem}}.science-figure{border:1px solid var(--color-border);background:var(--color-surface-2);border-radius:10px;margin-block:1.8rem;padding:1.25rem}.science-figure-title{color:var(--color-fg-subtle);font:.65rem var(--font-mono);letter-spacing:.04em;justify-content:space-between;gap:1rem;display:flex}.science-figure-desktop{width:100%;height:auto;margin-block:.8rem;display:block}.science-figure-mobile{display:none}.science-figure figcaption{color:var(--color-fg-subtle);border-top:1px solid var(--color-border);padding-top:.8rem;font-size:.78rem;line-height:1.65}@media (width<=650px){.science-figure{padding:1rem}.science-figure-title{flex-wrap:wrap;font-size:.57rem}.science-figure-desktop{display:none}.science-figure-mobile{gap:.6rem;margin-block:1.2rem;padding:0;list-style:none;display:grid}.science-figure-mobile li{background:var(--color-surface);border:1px solid var(--color-border);border-radius:7px;align-items:center;gap:.8rem;padding:.9rem;font-size:.83rem;display:flex}.science-figure-mobile span{color:var(--color-accent);font:.65rem var(--font-mono)}.science-figure figcaption{font-size:.73rem}}.op-page>.tabs>.tablist,.nx-doc>.tabs>.tablist,.nx-benchmark-body>.tabs>.tablist{scrollbar-width:thin;flex-wrap:nowrap;padding-bottom:.55rem;overflow-x:auto}.op-page>.tabs>.tablist .tab{align-items:center;gap:.5rem;display:flex}.nx-doc>.tabs>.tabpanel{padding-top:1.25rem}.nx-doc .reference-list,.nx-doc .references{margin-top:2rem}.op-layout{grid-template-columns:288px minmax(0,1fr);gap:2rem;padding-top:1.6rem;display:grid}.op-sidebar{border-right:1px solid var(--color-border);flex-direction:column;gap:1.15rem;min-width:0;padding-right:1.5rem;display:flex}.op-side-heading{align-items:center;gap:.5rem;font-size:.83rem;font-weight:650;display:flex}.op-side-heading svg{color:var(--color-accent);flex-shrink:0}.op-input-card{border:1px solid var(--color-border);background:var(--color-surface-2);border-radius:10px;flex-direction:column;align-items:flex-start;gap:.45rem;padding:1rem;display:flex}.op-input-card>svg{color:var(--color-accent);margin-bottom:.25rem}.op-input-card strong{font-size:.87rem}.op-input-card>span{font:.75rem var(--font-mono);color:var(--color-fg-subtle)}.op-input-card p,.op-contract p{color:var(--color-fg-subtle);margin:.2rem 0;font-size:.77rem;line-height:1.65}.op-text-link{color:var(--color-accent);text-align:left;background:0 0;border:0;align-items:center;gap:.35rem;padding:.3rem 0;font-size:.77rem;display:inline-flex}.op-upload-actions{flex-wrap:wrap;gap:.4rem;display:flex}.op-contract{border-top:1px solid var(--color-border);gap:.7rem;padding-top:1.15rem;display:flex}.op-contract svg{color:var(--color-fg-subtle);flex-shrink:0;margin-top:.15rem}.op-contract strong{font-size:.76rem;font-weight:600}.op-service{color:var(--color-fg-subtle);align-items:center;gap:.4rem;font-size:.71rem;display:flex}.op-dot{background:currentColor;border-radius:50%;width:6px;height:6px;display:inline-block}.op-service.online,.op-graph-legend>span:first-child{color:var(--color-good)}.op-main{min-width:0}.op-heading{justify-content:space-between;align-items:flex-start;gap:1rem;display:flex}.op-heading h1{letter-spacing:-.035em;margin:.5rem 0 .7rem;font-size:clamp(1.35rem,2.2vw,1.9rem);line-height:1.2}.op-heading p{color:var(--color-fg-subtle);margin:0;font-size:.86rem;line-height:1.6}.op-run-badge{background:var(--color-surface-2);color:var(--color-fg-subtle);border:1px solid var(--color-border);border-radius:5px;flex-shrink:0;align-items:center;gap:.4rem;padding:.35rem .55rem;font-size:.68rem;display:inline-flex}.op-run-badge[data-state=succeeded]{color:var(--color-good)}.op-run-badge[data-state=failed]{color:var(--color-bad)}.op-command-bar{flex-wrap:wrap;align-items:center;gap:.55rem;margin:1.4rem 0;display:flex}.op-run{min-height:39px;padding-inline:.95rem}.op-command-note{color:var(--color-fg-subtle);margin-left:auto;font-size:.69rem}.op-outcome{border:1px solid var(--color-border);background:var(--color-accent-soft);border-radius:10px;justify-content:space-between;align-items:center;gap:1.5rem;padding:1.25rem 1.4rem;display:flex}.op-outcome>div:first-child{flex-direction:column;gap:.4rem;display:flex}.op-outcome>div>span:first-child{text-transform:uppercase;letter-spacing:.09em;color:var(--color-fg-subtle);font-size:.61rem}.op-outcome strong{font-size:.97rem;line-height:1.4}.op-outcome p{color:var(--color-fg-subtle);margin:0;font-size:.76rem;line-height:1.55}.op-outcome[data-attention=true]{background:var(--color-surface-2);border-left:3px solid var(--color-warn,#b97924)}.op-progress{flex-direction:column;gap:.25rem;min-width:115px;display:flex}.op-progress b{font:600 1.65rem var(--font-mono);color:var(--color-accent)}.op-progress small{color:var(--color-fg-subtle);font-size:.85rem}.op-progress span{color:var(--color-fg-subtle);font-size:.68rem}.op-progress progress{width:115px;height:4px;accent-color:var(--color-accent);border:0;margin-top:.45rem}.op-view-select{justify-content:space-between;align-items:center;gap:.75rem;padding:1.2rem 0 .8rem;display:flex}.op-view-select label{color:var(--color-fg-subtle);align-items:center;gap:.6rem;font-size:.75rem;display:flex}.op-view-select select{color:var(--color-fg);background:var(--color-surface);border:1px solid var(--color-border);border-radius:5px;min-width:0;padding:.45rem .5rem;font-size:.76rem}.op-view-select>span{font:.65rem var(--font-mono);color:var(--color-fg-subtle)}.op-map-layout{border:1px solid var(--color-border);border-radius:10px;grid-template-columns:minmax(0,1fr) 220px;display:grid;overflow:clip}.op-graph{background-image:radial-gradient(var(--color-border) .65px, transparent .65px);background-size:17px 17px;min-width:0;padding:1.3rem}.op-graph-legend{color:var(--color-fg-subtle);flex-wrap:wrap;gap:.8rem;margin-bottom:1.5rem;font-size:.63rem;display:flex}.op-graph-legend span{align-items:center;gap:.3rem;display:flex}.op-graph-levels{flex-direction:column;gap:1rem;display:flex}.op-graph-level{grid-template-columns:22px minmax(0,1fr);gap:.6rem;display:grid}.op-stage{color:var(--color-fg-faint);font:.62rem var(--font-mono);flex-direction:column;align-items:center;gap:.5rem;padding-top:.85rem;display:flex}.op-graph-nodes{grid-template-columns:repeat(auto-fit,minmax(min(100%,180px),1fr));gap:.6rem;display:grid}.op-node{text-align:left;border:1px solid var(--color-border);background:var(--color-surface);min-height:80px;color:var(--color-fg);border-radius:7px;align-items:flex-start;gap:.65rem;padding:.85rem;display:flex;position:relative}.op-node:hover,.op-node.selected{border-color:var(--color-accent);box-shadow:0 0 0 1px var(--color-accent)}.op-node[data-state=succeeded] .op-node-symbol{color:var(--color-good)}.op-node[data-state=running]{border-color:var(--color-accent);background:var(--color-accent-soft)}.op-node[data-state=failed],.op-node[data-state=blocked]{border-left:3px solid var(--color-bad)}.op-node-symbol{color:var(--color-fg-faint);margin-top:.1rem}.op-node strong{font-size:.74rem;font-weight:600;line-height:1.45;display:block}.op-node small{font:.59rem var(--font-mono);color:var(--color-fg-subtle);margin-top:.4rem;display:block}.op-node-status{color:var(--color-fg-subtle);font-size:.55rem;position:absolute;bottom:.35rem;right:.5rem}.op-inspector{border-left:1px solid var(--color-border);background:var(--color-surface-2);min-width:0;padding:1.1rem}.op-inspector>svg{color:var(--color-accent);margin-bottom:1rem;display:block}.op-inspector h2{margin-top:.65rem;font-size:1rem;line-height:1.4}.op-inspector p{color:var(--color-fg-subtle);overflow-wrap:anywhere;font-size:.74rem;line-height:1.7}.op-inspector code{overflow-wrap:anywhere;font-size:.64rem}.op-inspector-stat{color:var(--color-good);gap:.4rem;margin-top:1.1rem;font-size:.7rem;display:flex}.op-inspector details{margin-top:1.1rem;font-size:.69rem}.op-inspector .nx-code{max-height:380px;font-size:.64rem}.op-scope{color:var(--color-fg-subtle);margin-top:1.1rem;font-size:.72rem;line-height:1.75}.op-findings{border:1px solid var(--color-border);border-radius:8px}.op-finding{text-align:left;background:var(--color-surface);width:100%;color:var(--color-fg);border:0;border-bottom:1px solid var(--color-border);grid-template-columns:58px minmax(0,1fr) 16px;gap:.75rem;padding:1rem;display:grid}.op-finding:last-child{border-bottom:0}.op-finding:hover{background:var(--color-surface-2)}.op-severity{text-transform:uppercase;letter-spacing:.03em;color:var(--color-bad);font-size:.6rem}.op-severity.warning{color:var(--color-warn,#b97924)}.op-finding strong{font-size:.85rem;display:block}.op-finding code{color:var(--color-accent);overflow-wrap:anywhere;margin-top:.3rem;font-size:.72rem;display:block}.op-finding p{color:var(--color-fg-subtle);overflow-wrap:anywhere;margin:.35rem 0;font-size:.74rem}.op-finding small{font:.65rem var(--font-mono);color:var(--color-fg-subtle)}.op-empty{text-align:center;padding:2.5rem}.op-empty>svg{color:var(--color-accent)}.op-empty h2{font-size:1.1rem}.op-empty p{color:var(--color-fg-subtle);font-size:.82rem;line-height:1.7}.op-file-browser{border:1px solid var(--color-border);border-radius:8px;grid-template-columns:225px minmax(0,1fr);display:grid;overflow:clip}.op-file-browser>aside{border-right:1px solid var(--color-border);background:var(--color-surface-2);min-width:0}.op-search{border-bottom:1px solid var(--color-border);align-items:center;gap:.4rem;padding:.8rem;display:flex}.op-search input{width:100%;min-width:0;color:var(--color-fg);background:0 0;border:0;font-size:.73rem}.op-file-list{max-height:570px;padding:.35rem;overflow-y:auto}.op-file-list button{text-align:left;width:100%;color:var(--color-fg-subtle);font:.65rem var(--font-mono);background:0 0;border:0;border-radius:4px;align-items:center;gap:.4rem;padding:.45rem;display:flex}.op-file-list button svg{flex-shrink:0}.op-file-list button span{overflow-wrap:anywhere}.op-file-list button.selected{background:var(--color-accent-soft);color:var(--color-accent)}.op-file-list button i{color:var(--color-good);margin-left:auto}.op-file-content{min-width:0}.op-file-content>div{border-bottom:1px solid var(--color-border);flex-direction:column;gap:.3rem;padding:.9rem 1rem;display:flex}.op-file-content strong{font:600 .73rem var(--font-mono);overflow-wrap:anywhere}.op-file-content span{color:var(--color-fg-subtle);font-size:.65rem}.op-file-content pre{font:.72rem/1.8 var(--font-mono);tab-size:4;max-height:540px;margin:0;padding:1.1rem;overflow:auto}.op-journal{border:1px solid var(--color-border);border-radius:8px;padding:.6rem}.op-journal details{border-bottom:1px solid var(--color-border);padding:.5rem}.op-journal summary{cursor:pointer;flex-wrap:wrap;align-items:center;gap:.8rem;font-size:.73rem;display:flex}.op-journal summary>span{width:70px;font:.65rem var(--font-mono);color:var(--color-fg-subtle)}.op-journal summary code{color:var(--color-accent);margin-left:auto;font-size:.65rem}.op-spin{animation:1.5s linear infinite op-spin}@keyframes op-spin{to{transform:rotate(360deg)}}@media (prefers-reduced-motion:reduce){.op-spin{animation:none}}.invest-comparison{grid-template-columns:1fr 1fr;gap:1rem;margin-top:1.5rem;display:grid}.invest-result{text-align:left;color:var(--color-fg);border:1px solid var(--color-border);background:var(--color-surface);border-radius:9px;padding:1.25rem;display:block}.invest-result.selected{border-color:var(--color-accent);background:var(--color-accent-soft)}.invest-result .nx-kicker{font-size:.63rem;line-height:1.6}.invest-verdict{color:var(--color-bad);align-items:center;gap:.7rem;margin:1rem 0;font-size:1.12rem;display:flex}.invest-verdict[data-success=true]{color:var(--color-good)}.invest-result dl{grid-template-columns:1fr 1fr;gap:1rem .7rem;display:grid}.invest-result dt{color:var(--color-fg-subtle);font-size:.68rem}.invest-result dd{font:600 .87rem var(--font-mono);margin:.3rem 0 0}.invest-trace-head{justify-content:space-between;align-items:center;gap:.6rem;margin:1.5rem 0 .8rem;display:flex}.invest-trace-head h2{margin:0;font-size:1rem}.invest-action-strip{gap:.5rem;padding:.15rem .1rem .8rem;display:flex;overflow-x:auto}.invest-action-strip button{text-align:left;background:var(--color-surface-2);border:1px solid var(--color-border);min-width:135px;color:var(--color-fg);border-radius:7px;padding:.8rem}.invest-action-strip button.selected{border-color:var(--color-accent)}.invest-action-strip span{font:.63rem var(--font-mono);color:var(--color-accent);justify-content:space-between;align-items:center;display:flex}.invest-action-strip strong{margin:.5rem 0;font-size:.8rem;display:block}.invest-action-strip small{font:.59rem var(--font-mono);color:var(--color-fg-subtle)}.invest-decision{border:1px solid var(--color-border);border-radius:8px;padding:1.25rem}.invest-decision h3{margin:0;font-size:.97rem}.invest-reason{font:.75rem/1.7 var(--font-mono);color:var(--color-accent)}.invest-evidence-pair{grid-template-columns:1fr 1fr;gap:1.5rem;display:grid}.invest-evidence-pair>section{min-width:0}.invest-evidence-pair h4{font-size:.77rem}.invest-evidence-pair dl div{border-bottom:1px solid var(--color-border);grid-template-columns:1fr 1fr;gap:.75rem;padding:.5rem 0;font-size:.67rem;display:grid}.invest-evidence-pair dt{color:var(--color-fg-subtle)}.invest-evidence-pair dd{overflow-wrap:anywhere;margin:0}.invest-decision details,.invest-planner{margin-top:1rem;font-size:.75rem}.invest-planner{border:1px solid var(--color-border);border-radius:7px;padding:1rem}.op-page .nx-layout{padding-inline:0;width:100%;padding-top:1rem}button:focus-visible,summary:focus-visible{outline:2px solid var(--color-accent);outline-offset:3px}@media (width<=1200px){.op-map-layout{grid-template-columns:minmax(0,1fr)}.op-inspector{border-left:0;border-top:1px solid var(--color-border)}.op-inspector>svg{display:none}.op-layout{grid-template-columns:250px minmax(0,1fr);gap:1.3rem}.op-heading{flex-wrap:wrap}.op-command-note{width:100%;margin-left:0}}@media (width<=800px){.op-layout{grid-template-columns:minmax(0,1fr)}.op-sidebar{border-right:0;border-bottom:1px solid var(--color-border);grid-template-columns:1fr 1fr;gap:.85rem;padding:0 0 1.3rem;display:grid}.op-side-heading,.op-input-card,.op-contract,.op-service{grid-column:1/-1}.op-input-card{grid-template-columns:auto 1fr;gap:.3rem .8rem;display:grid}.op-input-card>p,.op-input-card>.op-text-link{grid-column:1/-1}.op-input-card>span{grid-column:2}.op-input-card>svg{grid-row:1/3;align-self:center}.op-contract{display:none}.op-outcome{gap:.8rem;padding:1rem}.op-progress{min-width:75px}.op-progress progress{width:75px}.op-view-select{flex-direction:column;align-items:flex-start}.op-file-browser{grid-template-columns:minmax(0,1fr)}.op-file-browser>aside{border-right:0;border-bottom:1px solid var(--color-border)}.op-file-list{max-height:190px}.op-file-content pre{max-height:480px}.invest-evidence-pair{grid-template-columns:minmax(0,1fr)}.op-graph{padding:.9rem}.op-scope{overflow-wrap:anywhere}}@media (width<=460px){.op-sidebar{display:flex}.op-heading h1{font-size:1.45rem}.op-heading p{font-size:.8rem}.op-outcome strong{font-size:.85rem}.op-outcome p{font-size:.7rem}.op-progress b{font-size:1.3rem}.op-graph-nodes{grid-template-columns:minmax(0,1fr)}.op-finding{grid-template-columns:minmax(0,1fr) 16px}.op-finding .op-severity{grid-column:1/-1}.invest-comparison{grid-template-columns:minmax(0,1fr)}.invest-result{padding:1rem}.invest-trace-head{flex-wrap:wrap}}.op-node small.op-node-attention{color:var(--color-warn);font-weight:650}