@font-face{font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/cryptography-atlas/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_AMS-Regular-DRggAlZN.ttf)format("truetype")}@font-face{font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/cryptography-atlas/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf)format("truetype")}@font-face{font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/cryptography-atlas/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf)format("truetype")}@font-face{font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/cryptography-atlas/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf)format("truetype")}@font-face{font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/cryptography-atlas/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_Fraktur-Regular-CB_wures.ttf)format("truetype")}@font-face{font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/cryptography-atlas/assets/KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_Main-Bold-waoOVXN0.ttf)format("truetype")}@font-face{font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/cryptography-atlas/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf)format("truetype")}@font-face{font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/cryptography-atlas/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_Main-Italic-3WenGoN9.ttf)format("truetype")}@font-face{font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/cryptography-atlas/assets/KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_Main-Regular-ypZvNtVU.ttf)format("truetype")}@font-face{font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/cryptography-atlas/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf)format("truetype")}@font-face{font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/cryptography-atlas/assets/KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_Math-Italic-flOr_0UB.ttf)format("truetype")}@font-face{font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/cryptography-atlas/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf)format("truetype")}@font-face{font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/cryptography-atlas/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf)format("truetype")}@font-face{font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/cryptography-atlas/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf)format("truetype")}@font-face{font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/cryptography-atlas/assets/KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_Script-Regular-C5JkGWo-.ttf)format("truetype")}@font-face{font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/cryptography-atlas/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf)format("truetype")}@font-face{font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/cryptography-atlas/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf)format("truetype")}@font-face{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(/cryptography-atlas/assets/KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf)format("truetype")}@font-face{font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/cryptography-atlas/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(/cryptography-atlas/assets/KaTeX_Size4-Regular-DWFBv043.ttf)format("truetype")}@font-face{font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/cryptography-atlas/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(/cryptography-atlas/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(/cryptography-atlas/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}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.16.22"}.katex .katex-mathml{clip:rect(1px,1px,1px,1px);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 .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;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;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.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}@font-face{font-family:JetBrains Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/cryptography-atlas/assets/jetbrains-mono-latin-400-normal-V6pRDFza.woff2)format("woff2"),url(/cryptography-atlas/assets/jetbrains-mono-latin-400-normal-B11XCQ5g.woff)format("woff")}:root{--canvas:#f7f8fa;--paper:#fff;--ink:#1f2937;--muted:#667085;--line:#e1e5eb;--line-strong:#cfd5de;--blue:#1769e0;--blue-soft:#eaf2ff;--green:#137a55;--green-soft:#e9f8f1;--amber:#9a5b00;--amber-soft:#fff4dd;--red:#b42318;--red-soft:#ffefed;--violet:#6941c6;--violet-soft:#f1edff}*{box-sizing:border-box}html{scroll-behavior:smooth}body{color:var(--ink);background:var(--canvas);margin:0;font-family:Inter,ui-sans-serif,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;font-size:14px;line-height:1.5}a{color:inherit}button,input,select{font:inherit}button{cursor:pointer}.atlas-home{min-height:100vh;font-family:var(--font-ui);font-size:var(--type-shell);line-height:var(--leading-body);background:#f3f1ec}.atlas-home .research-topbar{border-bottom:.5px solid var(--research-line);background:#f3f1ec}.atlas-home .home-totals{color:var(--research-hint);font-size:var(--type-body);font-weight:var(--weight-medium);white-space:nowrap}.home-shell{width:min(1180px,100% - 32px);margin:18px auto 30px}.home-workspace{min-height:0}.atlas-home .home-hero{background:var(--research-surface);border-radius:12px 12px 0 0;padding:30px 30px 24px}.atlas-home .home-hero h1{max-width:760px;margin:0 0 8px}.atlas-home .home-hero p{max-width:720px}.home-search{max-width:620px;margin-top:18px;position:relative}.home-search>label{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.06em;text-transform:uppercase;margin-bottom:5px;display:block}.home-search>input{width:100%;min-height:40px;color:var(--research-ink);border:.5px solid var(--research-line-strong);font-size:var(--type-view-title);line-height:var(--leading-control);background:#fbfbf9;border-radius:8px;padding:8px 12px}.home-search>input:focus{outline:2px solid var(--research-info);outline-offset:1px;background:#fff}.home-search-results{z-index:20;border:.5px solid var(--research-line-strong);background:#fff;border-radius:10px;max-height:min(70vh,520px);padding:6px;position:absolute;top:calc(100% + 6px);left:0;right:0;overflow-y:auto;box-shadow:0 14px 34px #10182824}.home-search-results>p{color:var(--research-muted);font-size:var(--type-body);margin:8px 10px}.home-search-results ul{margin:0;padding:0;list-style:none}.home-search-results a{color:var(--research-ink);border-radius:7px;flex-direction:column;gap:2px;padding:8px 10px;text-decoration:none;display:flex}.home-search-results a:hover,.home-search-results a:focus-visible{background:#f4f6f8;outline:none}.home-search-kind{color:var(--card-accent,var(--research-hint));font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;text-transform:uppercase}.home-search-results strong{font-size:var(--type-section-title);font-weight:var(--weight-semibold);line-height:var(--leading-heading)}.home-search-key{color:var(--research-info);font-family:var(--font-mono);font-weight:var(--weight-medium)}.home-search-results small{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body);text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.home-views{background:var(--research-bg);border-top:.5px solid var(--research-line);border-bottom:.5px solid var(--research-line);grid-template-columns:repeat(4,minmax(0,1fr));gap:10px;margin:0;padding:14px 30px;list-style:none;display:grid}.home-views li{grid-template-columns:26px minmax(0,1fr);align-items:start;gap:8px;min-width:0;display:grid}.home-views li>i{width:26px;height:26px;color:var(--research-info);background:var(--research-info-bg);border-radius:7px;place-items:center;font-style:normal;display:grid}.home-views li>span{flex-direction:column;min-width:0;display:flex}.home-views li strong{color:var(--research-ink);font-size:var(--type-section-title);font-weight:var(--weight-semibold);line-height:var(--leading-heading)}.home-views li small{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body)}.home-views li small.home-view-gap{color:var(--research-hint);margin-top:2px}.home-directory{background:var(--research-surface);padding:6px 30px 26px}.home-family{padding-top:22px}.home-family>header{flex-wrap:wrap;align-items:baseline;gap:4px 14px;margin-bottom:10px;display:flex}.home-family h2{color:var(--research-ink);font-size:var(--type-view-title);font-weight:var(--weight-semibold);line-height:var(--leading-heading);margin:0}.home-family>header p{color:var(--research-muted);font-size:var(--type-body);line-height:var(--leading-body);margin:0}.home-observatory-grid{grid-template-columns:repeat(auto-fill,minmax(240px,1fr));gap:12px;display:grid}.home-observatory-card{--card-accent:#667085;min-width:0;color:var(--research-ink);background:color-mix(in srgb, var(--card-accent) 10%, var(--research-surface));border:1px solid color-mix(in srgb, var(--card-accent) 16%, transparent);border-radius:12px;flex-direction:column;gap:3px;padding:14px 15px 0;text-decoration:none;transition:background-color .14s,border-color .14s,box-shadow .14s,transform .14s;display:flex}.home-observatory-card:hover,.home-observatory-card:focus-visible{background:color-mix(in srgb, var(--card-accent) 24%, var(--research-surface));border-color:color-mix(in srgb, var(--card-accent) 70%, transparent);box-shadow:0 10px 26px color-mix(in srgb, var(--card-accent) 28%, transparent);transform:translateY(-2px)}.home-observatory-card:focus-visible{outline:2px solid var(--card-accent);outline-offset:2px}.home-observatory-card:hover .home-card-name,.home-observatory-card:focus-visible .home-card-name{color:var(--card-accent)}.home-card-code{color:var(--card-accent);font-family:var(--font-mono);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.04em}.home-card-name{font-size:var(--type-view-title);font-weight:var(--weight-semibold);line-height:var(--leading-heading);transition:color .14s}.home-card-scope{color:var(--research-muted);font-size:var(--type-body);line-height:var(--leading-body)}@media (prefers-reduced-motion:reduce){.home-observatory-card,.home-card-name{transition:none}.home-observatory-card:hover,.home-observatory-card:focus-visible{transform:none}}.home-card-stats{border-top:.5px solid color-mix(in srgb, var(--card-accent) 22%, transparent);grid-template-columns:repeat(2,minmax(0,auto));gap:6px 18px;width:fit-content;margin:auto 0 0;padding:10px 0 13px;display:grid}.home-card-scope+.home-card-stats{margin-top:10px}.home-card-stats>div{min-width:0}.home-card-stats dt{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;line-height:var(--leading-heading);text-transform:uppercase;white-space:nowrap}.home-card-stats dd{font-family:var(--font-mono);font-size:var(--type-body);font-weight:var(--weight-semibold);line-height:var(--leading-heading);margin:1px 0 0}.home-footer{color:var(--research-hint);background:var(--research-bg);border-top:.5px solid var(--research-line);font-size:var(--type-secondary);line-height:var(--leading-body);border-radius:0 0 12px 12px;justify-content:space-between;align-items:flex-start;gap:30px;padding:12px 30px 14px;display:flex}.home-footer p{max-width:720px;margin:0}.home-footer>span{font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.04em;flex:none}.home-footer a{color:var(--research-info);text-decoration:none}@media (width<=1040px){.atlas-home .research-topbar{grid-template-columns:minmax(0,1fr) auto}.atlas-home .research-scope{display:none}.home-views{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (width<=760px){.home-shell{width:calc(100% - 20px);margin:10px auto 20px}.atlas-home .home-hero{padding:20px 16px 18px}.home-views{grid-template-columns:1fr;padding:12px 16px}.home-directory{padding:0 16px 16px}.home-observatory-grid{grid-template-columns:1fr}.home-footer{flex-direction:column;gap:7px;padding:12px 16px}}@media (width<=500px){.atlas-home .research-actions{display:none}}.topbar{z-index:40;border-bottom:1px solid var(--line);background:#fffffff7;justify-content:space-between;align-items:center;gap:24px;min-height:52px;padding:0 28px;display:flex;position:sticky;top:0}.brand{letter-spacing:-.015em;align-items:center;gap:9px;font-size:14px;font-weight:680;text-decoration:none;display:flex}.hero{color:var(--ink);border-bottom:1px solid var(--line);background:#fff;padding:34px 28px 28px}.eyebrow{color:#667085;letter-spacing:.08em;text-transform:uppercase;margin:0 0 7px;font-size:10px;font-weight:760}.hero h1{letter-spacing:-.03em;max-width:none;margin:0;font-size:clamp(28px,3.4vw,42px);line-height:1.15}.section{margin-top:48px;scroll-margin-top:72px}.section:first-child{margin-top:0}.section h2{letter-spacing:-.025em;margin:0;font-size:clamp(22px,2.6vw,30px);line-height:1.15}.panel{background:var(--paper);border:1px solid var(--line);border-radius:8px;overflow:hidden}.controls{border-bottom:1px solid var(--line);background:#fbfcfe;justify-content:space-between;align-items:center;gap:16px;padding:14px 15px;display:flex}.segment,.search{color:#435066;border:1px solid var(--line-strong);background:#fff;border-radius:6px;min-height:36px;padding:7px 11px;font-size:13px}.segment.active{color:#fff;background:var(--blue);border-color:var(--blue)}.search{min-width:230px;color:var(--ink)}.search:focus,.segment:focus-visible{outline-offset:1px;outline:3px solid #1769e02e}.table-wrap{max-height:720px;overflow:auto}.badge{white-space:nowrap;border-radius:999px;align-items:center;padding:3px 7px;font-size:10.5px;font-weight:720;line-height:1.3;display:inline-flex}.tone-success{color:var(--green);background:var(--green-soft)}.tone-warning{color:var(--amber);background:var(--amber-soft)}.tone-danger{color:var(--red);background:var(--red-soft)}.tone-info{color:#1357ae;background:var(--blue-soft)}.tone-violet{color:var(--violet);background:var(--violet-soft)}.footer{color:#667085;border-top:1px solid var(--line);background:#fff;padding:28px;font-size:12px}@media (width<=720px){.topbar{padding:0 18px}.hero{padding:28px 20px 24px}.controls{flex-direction:column;align-items:stretch}.search{width:100%}}.landscape-page{--landscape-navy:#102c43;--landscape-navy-2:#173b55;--landscape-ink:#182532;--landscape-muted:#65717e;--landscape-canvas:#f1f0eb;--landscape-paper:#fbfaf7;--landscape-line:#d8d7d1;min-height:100vh;color:var(--landscape-ink);background:var(--landscape-canvas)}.landscape-page button:focus-visible,.landscape-page input:focus-visible,.landscape-page select:focus-visible,.landscape-page a:focus-visible{outline-offset:2px;outline:3px solid #2a7eb04d}.landscape-brand{align-items:center;gap:10px;width:max-content;text-decoration:none;display:flex}.atlas-mark{width:30px;height:30px;color:var(--landscape-navy);background:#dce9e6;border:1px solid #ffffff42;border-radius:50%;place-items:center;font-family:Georgia,serif;font-size:15px;font-weight:900;display:grid}.landscape-brand>span:last-child{flex-direction:column;line-height:1.15;display:flex}.landscape-brand strong{letter-spacing:.01em;font-family:Georgia,Times New Roman,serif;font-size:15px}.landscape-brand small{color:#9fb6c5;letter-spacing:.12em;text-transform:uppercase;margin-top:2px;font-size:9px;font-weight:700}.entity-filters{border-bottom:1px solid var(--landscape-line);padding:7px}.entity-filters button{color:#50606d;width:100%;font-size:var(--type-control);text-align:left;font-weight:var(--weight-semibold);line-height:var(--leading-control);background:0 0;border:0;border-radius:3px;grid-template-columns:24px 1fr auto;align-items:center;gap:7px;padding:5px 7px;display:grid}.entity-filters button:hover{background:#ecebe6}.entity-filters button.active{color:#15364e;background:#dfe8ec}.entity-filters button strong{color:#8a939b;font-size:var(--type-meta);font-weight:var(--weight-semibold)}.status-dot{background:#98a2aa;border-radius:50%;width:7px;height:7px;margin-top:3px;display:inline-block}.status-good{background:#4a9a77}.status-bad{background:#c04f59}.status-open{background:#d68b31}.entity-badge{color:#596671;letter-spacing:.03em;text-transform:uppercase;white-space:nowrap;align-items:center;gap:5px;width:max-content;font-size:9px;font-weight:750;display:inline-flex}.entity-badge>span{color:#fff;background:#6f7c86;border-radius:3px;place-items:center;width:17px;height:17px;font-size:7px;display:grid}.entity-badge.entity-paper>span{background:#3f6f8f}.entity-badge.entity-result>span{background:#168275}.entity-badge.entity-construction>span{background:#7c55a5}.entity-badge.entity-assumption>span{background:#a56b2a}.entity-badge.entity-open_problem>span{background:#c54c43}.entity-badge.entity-milestone>span{background:#d48b31}.entity-badge.entity-route>span{background:#2b7bba}.entity-badge.entity-barrier>span{background:#9f3f58}.entity-badge.entity-research_track>span{background:#2e8a5d}.view-toolbar{border-bottom:1px solid var(--landscape-line);background:#fbfaf7;justify-content:space-between;align-items:center;gap:18px;min-height:54px;padding:9px 14px;display:flex}.view-toolbar>div:first-child{flex-direction:column;min-width:0;display:flex}.view-toolbar>div:first-child strong{font-size:var(--type-body)}.view-toolbar>div:first-child span{color:#73808a;font-size:var(--type-meta)}.semantic-fallback{border-top:1px solid var(--landscape-line)}.semantic-fallback summary{color:#5c6974;cursor:pointer;padding:8px 14px;font-size:9px}.semantic-fallback ul{max-height:180px;margin:0;padding:0 14px 12px;list-style:none;overflow:auto}.semantic-fallback li{border-top:1px solid #ecebe6;align-items:center;gap:8px;padding:5px 0;display:flex}.semantic-fallback button{color:#285f7d;background:0 0;border:0;font-size:9px}.cell-line+.cell-line{margin-top:3px}.table-chip{font-size:var(--type-meta);background:#e6f0f4;border-radius:999px;padding:2px 5px;font-weight:750;color:#275e7c!important;margin-top:0!important;display:inline-flex!important}.family-chip{font-size:var(--type-meta);background:#eceeeb;border-radius:999px;padding:2px 5px;font-weight:650;color:#4f5f69!important;margin-top:0!important;display:inline-flex!important}.chip-word{white-space:nowrap}.attribute-mark{min-width:1em;font-family:var(--font-mono);font-size:var(--type-section-title);font-weight:var(--weight-semibold);line-height:1;display:inline-block}.attribute-mark-yes{color:var(--pm-solved)}.attribute-mark-no{color:var(--pm-open)}.attribute-state{color:var(--research-hint)}.family-pairing{background:#e5f0f4;color:#245f78!important}.family-lattice{background:#e7f0e9;color:#476b50!important}.family-compiler{background:#f3ecde;color:#735d36!important}.family-hybrid{background:#eee9f4;color:#6d5587!important}.matrix-size{color:#384650;max-width:170px;font-family:var(--font-mono);line-height:var(--leading-heading)}.inspector-title{padding:15px 0 8px}.inspector-title h2{margin:5px 0 7px;font-family:Georgia,Times New Roman,serif;font-size:20px;line-height:1.16}.inspector-title>div{color:#66727d;flex-wrap:wrap;align-items:center;gap:5px;font-size:8px;display:flex}.inspector-title .status-dot{margin-top:0}.inspector-section{border-top:1px solid var(--landscape-line);padding:13px 0}.inspector-section>span{color:#77838c;letter-spacing:.08em;text-transform:uppercase;margin-bottom:7px;font-size:8px;font-weight:850;display:block}.profile-list{margin:0}.profile-list div{border-bottom:1px solid #ebeae6;grid-template-columns:78px 1fr;gap:7px;padding:4px 0;display:grid}.profile-list dt{color:#73808a;font-size:8px}.profile-list dd{margin:0;font-size:8.5px;font-weight:650}@media (width<=820px){.landscape-brand strong{font-size:13px}.entity-filters{padding:6px;display:flex;overflow-x:auto}.entity-filters button{flex:none;grid-template-columns:22px auto auto;width:auto}.view-toolbar{flex-direction:column;align-items:stretch}}.catalog-nav-group button>i.entity-implementation{background:#2f718e}.catalog-nav-group button>i.entity-optimization{background:#8a6239}.catalog-nav-group button>i.entity-benchmark_run{background:#a34e48}.catalog-nav-group button>i.entity-parameter_set{background:#667085}.catalog-nav-group button>i.entity-workload{background:#4f7b60}.evidence-state{text-transform:capitalize;border-radius:999px;padding:3px 7px;font-weight:600;display:inline-flex;font-size:8.5px!important}.evidence-reported{color:#7c552b;background:#f4ead9}.evidence-normalized{color:#285c78;background:#e5f0f6}.evidence-reproduced{color:#356448;background:#e6f1e9}@media (width<=520px){.atlas-mark{width:27px;height:27px}.landscape-brand small{display:none}}.landscape-page strong{font-weight:550}.landscape-page h1,.landscape-page h2,.landscape-page h3{font-weight:500}.landscape-brand strong,.view-toolbar>div:first-child strong{font-weight:var(--weight-medium)}.entity-badge{font-weight:550}.entity-filters button.active{font-weight:var(--weight-semibold)}.research-app{background:#eeefec;min-width:320px}.research-topbar{z-index:40;color:#eef2f2;background:#102c43;border-bottom:1px solid #082337;grid-template-columns:minmax(260px,1fr) auto minmax(260px,1fr);align-items:center;min-height:58px;padding:0 20px;display:grid;position:sticky;top:0}.research-scope{color:#b7c7cf;letter-spacing:.12em;text-transform:uppercase}.research-actions{justify-content:flex-end;align-items:center;gap:15px;display:flex}.research-actions a{color:#d9e3e7;text-decoration:none}.research-actions a:hover{color:#fff}.quiet-button{color:#35505f;min-height:30px;font-size:var(--type-control);font-weight:var(--weight-semibold);line-height:var(--leading-control);background:#fafaf7;border:1px solid #c8cece;border-radius:3px;padding:5px 10px}.quiet-button:hover{color:#153e56;background:#fff;border-color:#91a5ae}.research-topbar .quiet-button{color:#e9eff1;background:0 0;border-color:#ffffff42}.research-topbar .quiet-button:hover{background:#ffffff14;border-color:#ffffff80}.research-workspace{background:#fbfaf7;border:1px solid #d2d3ce;width:min(1540px,100% - 34px);min-height:calc(100vh - 86px);margin:17px auto 28px;overflow:hidden;box-shadow:0 7px 24px #23323a0e}.research-context>span{color:#697983;letter-spacing:.11em;text-transform:uppercase}.research-context h1{letter-spacing:-.018em;max-width:930px;margin:5px 0;font-family:Georgia,Times New Roman,serif}.research-context p{color:#596873;max-width:900px;margin:0}.research-panel{min-width:0}.lineage-fallback{background:#faf9f6}.drawer-backdrop{z-index:70;cursor:default;background:#0f1c253d;border:0;width:100%;height:100%;padding:0;position:fixed;inset:0}.catalog-drawer,.object-drawer{z-index:80;background:#f9f8f4;flex-direction:column;display:flex;position:fixed;top:0;bottom:0;overflow:auto;box-shadow:0 0 34px #1426322e}.catalog-drawer{border-right:1px solid #c8cbc8;width:min(370px,100vw - 34px);left:0}.object-drawer{border-left:1px solid #c8cbc8;width:min(440px,100vw - 34px);padding:0 18px 28px;right:0}.drawer-header{z-index:3;border-bottom:1px solid var(--landscape-line);background:#f9f8f4fa;justify-content:space-between;align-items:center;gap:16px;min-height:60px;padding:11px 14px;display:flex;position:sticky;top:0}.object-drawer>.drawer-header{margin:0 -18px;padding-left:18px;padding-right:18px}.drawer-header>div{align-items:center;gap:8px;display:flex}.catalog-drawer .drawer-header>div{flex-direction:column;align-items:flex-start;gap:1px}.drawer-header>div>span{color:#50616c;font-family:Georgia,Times New Roman,serif}.drawer-header small{color:#7c878d;font-size:8px}.drawer-close{color:#5d6b73;background:0 0;border:1px solid #d1d3d0;border-radius:50%;place-items:center;width:29px;height:29px;font-family:Georgia,serif;font-size:18px;line-height:1;display:grid}.drawer-close:hover{color:#173e57;background:#efefeb}.catalog-drawer .entity-filters{flex:none}.drawer-footer{color:#7b858b;background:#efefeb;border-top:1px solid #d5d6d1;flex-direction:column;gap:2px;padding:10px 13px;font-size:7.5px;display:flex}@media (width<=900px){.research-topbar{grid-template-columns:1fr auto;padding:0 12px}.research-scope{display:none}.research-workspace{width:calc(100% - 18px);margin-top:9px}}@media (width<=580px){.research-actions a{display:none}.research-topbar .landscape-brand small{font-size:9px;display:block}.research-context{padding:18px 15px 14px}}.research-app{--research-bg:#faf9f7;--research-surface:#fff;--research-ink:#23211c;--research-muted:#6b6862;--research-hint:#9a968d;--research-line:#0000001f;--research-line-strong:#00000038;--research-info:#0c447c;--research-info-bg:#e6f1fb;--font-ui:-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;--font-mono:ui-monospace, SFMono-Regular, Menlo, monospace;--type-shell:.875rem;--type-view-title:.8125rem;--type-section-title:.75rem;--type-body:.6875rem;--type-secondary:.625rem;--type-meta:.5625rem;--type-control:var(--type-secondary);--type-reading-title:1.0625rem;--type-reading-heading:.9375rem;--type-reading-body:.875rem;--type-reading-secondary:.75rem;--type-reading-meta:.6875rem;--leading-reading:1.6;--type-graph-label:.53125rem;--type-graph-year:.4375rem;--type-graph-eyebrow:.46875rem;--type-graph-meta:.5rem;--type-symbol:.9375rem;--weight-regular:400;--weight-medium:500;--weight-semibold:600;--weight-graph:650;--leading-heading:1.35;--leading-body:1.5;--leading-control:1.4;--leading-graph:1.15;--control-height:36px;color:var(--research-ink);background:var(--research-bg);font-family:var(--font-ui);font-size:var(--type-shell);line-height:1.6}.research-app .topic-overview-main,.research-app .open-problem-view.pm-goal-page,.research-app .open-problem-view .pm-reading,.research-app .notation-strip{--type-view-title:var(--type-reading-title);--type-section-title:var(--type-reading-heading);--type-body:var(--type-reading-body);--type-secondary:var(--type-reading-secondary);--type-meta:var(--type-reading-meta);--leading-body:var(--leading-reading)}.research-app :where(button,input,select,textarea){font-family:var(--font-ui);font-size:var(--type-control);font-weight:var(--weight-semibold);line-height:var(--leading-control)}.research-app h1,.research-app h2,.research-app h3,.research-app .landscape-brand strong,.research-app .inspector-title h2,.research-app .drawer-header>div>span{font-family:var(--font-ui)}.research-topbar{min-height:54px;color:var(--research-ink);border-bottom:.5px solid var(--research-line);background:#faf9f7f7;grid-template-columns:minmax(285px,1fr) auto minmax(285px,1fr);padding:0 22px}.research-topbar .atlas-mark{width:28px;height:28px;color:var(--research-info);background:var(--research-info-bg);border:0;border-radius:8px;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:11px;font-weight:600}.research-topbar .landscape-brand strong{color:var(--research-ink);letter-spacing:-.01em;font-weight:600}.research-topbar .landscape-brand small{color:var(--research-hint);letter-spacing:.08em;margin-top:0;font-weight:500}.research-scope{color:var(--research-hint);font-weight:500}.research-actions a{color:var(--research-muted);border-radius:8px;padding:5px 10px}.research-actions a:hover{color:var(--research-info);background:var(--research-info-bg)}.research-topbar .quiet-button{color:var(--research-ink);background:var(--research-surface);border:.5px solid var(--research-line-strong);border-radius:8px}.research-topbar .quiet-button:hover{color:var(--research-info);background:var(--research-info-bg);border-color:var(--research-info)}.browse-catalog-button{display:none}.research-shell{grid-template-columns:264px minmax(0,1fr);align-items:start;gap:18px;width:min(1700px,100% - 32px);margin:18px auto 30px;display:grid}.research-sidebar{background:var(--research-surface);border:.5px solid var(--research-line);border-radius:12px;flex-direction:column;height:calc(100vh - 90px);min-height:590px;display:flex;position:sticky;top:72px;overflow:hidden}.sidebar-heading{border-bottom:.5px solid var(--research-line);flex-direction:column;padding:14px 14px 11px;display:flex}.sidebar-heading strong{color:var(--research-ink);font-weight:var(--weight-semibold)}.sidebar-heading span{color:var(--research-hint)}.research-sidebar .entity-filters,.catalog-drawer .entity-filters{border-bottom:.5px solid var(--research-line);padding:6px}.research-sidebar .entity-filters button,.catalog-drawer .entity-filters button{min-height:29px;font-size:var(--type-control);font-weight:var(--weight-semibold);line-height:var(--leading-control);border-radius:7px;padding:4px 7px}.research-sidebar .entity-filters button:hover,.catalog-drawer .entity-filters button:hover{background:var(--research-bg)}.research-sidebar .entity-filters button.active,.catalog-drawer .entity-filters button.active{color:var(--research-info);background:var(--research-info-bg);font-weight:var(--weight-semibold)}.research-sidebar .drawer-footer{flex:none}.research-workspace{background:var(--research-surface);border:.5px solid var(--research-line);width:auto;min-height:calc(100vh - 90px);box-shadow:none;border-radius:12px;margin:0}.research-context{border-bottom:.5px solid var(--research-line);padding:25px 26px 21px}.research-context>span{color:var(--research-hint);letter-spacing:.07em;font-size:10.5px;font-weight:600}.research-context h1{letter-spacing:-.015em;max-width:900px;margin:4px 0 7px;font-size:clamp(25px,2.5vw,32px);font-weight:600;line-height:1.2}.research-context p{max-width:780px;color:var(--research-muted);font-family:inherit;font-size:13.5px;line-height:1.55}.research-app .view-toolbar{background:var(--research-surface);border-bottom:.5px solid var(--research-line);min-height:58px;padding:10px 14px}.research-app .view-toolbar>div:first-child strong{color:var(--research-ink)}.research-app .view-toolbar>div:first-child span{color:var(--research-muted)}.research-app .quiet-button{border:.5px solid var(--research-line-strong);border-radius:8px}.catalog-drawer,.object-drawer{color:var(--research-ink);background:var(--research-bg)}.drawer-header{border-bottom:.5px solid var(--research-line);background:#faf9f7f7}.drawer-header>div>span{font-size:14px;font-weight:600}.drawer-close{border-width:.5px;border-radius:8px}.drawer-footer{color:var(--research-hint);background:var(--research-bg);border-top:.5px solid var(--research-line)}@media (width<=1120px){.research-shell{grid-template-columns:232px minmax(0,1fr);gap:12px;width:calc(100% - 20px);margin-top:10px}}@media (width<=900px){.research-topbar{grid-template-columns:1fr auto}.research-sidebar{display:none}.research-shell{width:calc(100% - 18px);display:block}.research-workspace{min-height:calc(100vh - 76px)}.browse-catalog-button{align-items:center;display:inline-flex}}@media (width<=580px){.research-topbar{padding:0 10px}.research-context{padding:20px 15px 16px}.research-context h1{font-size:24px}.research-context p{font-size:12.5px}}.research-sidebar{overflow:hidden}.research-nav-group{flex:none}.workspace-nav-scroll{overscroll-behavior:contain;scrollbar-color:#0000002e transparent;scrollbar-width:thin;flex:auto;min-height:0;overflow-y:auto}.catalog-drawer .workspace-nav-scroll{flex:auto;min-height:0;overflow-y:auto}.workspace-nav-group{border-bottom:.5px solid var(--research-line);padding:8px}.workspace-nav-group>span{color:var(--research-hint);font-weight:var(--weight-semibold);letter-spacing:.07em;text-transform:uppercase;padding:2px 7px 6px;display:block}.workspace-nav-group button{width:100%;min-height:38px;color:var(--research-muted);text-align:left;background:0 0;border:0;border-radius:8px;grid-template-columns:25px minmax(0,1fr) auto;align-items:center;gap:8px;padding:5px 7px;display:grid}.workspace-nav-group button:hover,.workspace-nav-group button.active{color:var(--research-info);background:var(--research-info-bg)}.workspace-nav-group button>i{width:23px;height:23px;color:var(--research-info);background:var(--research-info-bg);border-radius:7px;place-items:center;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;font-style:normal;font-weight:600;display:grid}.workspace-nav-group button>span{flex-direction:column;min-width:0;display:flex}.workspace-nav-group button strong{color:inherit;font-weight:var(--weight-semibold);text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.workspace-nav-group button small{color:var(--research-hint);line-height:var(--leading-heading)}.workspace-nav-group button em{color:var(--research-hint);font-style:normal}.catalog-nav-group button{min-height:31px;padding-top:3px;padding-bottom:3px}.catalog-nav-group button>i{color:#fff;background:#788187;border-radius:6px;width:20px;height:20px;font-size:7px}.catalog-nav-group button>i.entity-paper{background:#3f6f8f}.catalog-nav-group button>i.entity-result{background:#168275}.catalog-nav-group button>i.entity-construction{background:#7c55a5}.catalog-nav-group button>i.entity-assumption{background:#a56b2a}.catalog-nav-group button>i.entity-open_problem{background:#b34a42}.catalog-nav-group button>i.entity-milestone{background:#b9782d}.catalog-nav-group button>i.entity-route{background:#2b6f9f}.catalog-nav-group button>i.entity-barrier{background:#8e4153}.catalog-nav-group button>i.entity-research_track{background:#377b59}.research-sidebar .drawer-footer{margin-top:auto}.catalog-browser{min-height:560px}.catalog-browser-toolbar{background:var(--research-bg);border-bottom:.5px solid var(--research-line);justify-content:space-between;align-items:flex-end;gap:20px;padding:13px 15px;display:flex}.catalog-browser-toolbar label{flex-direction:column;gap:4px;width:min(460px,70%);display:flex}.catalog-browser-toolbar label>span{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;text-transform:uppercase}.catalog-browser-toolbar input{background:var(--research-surface);border:.5px solid var(--research-line-strong);min-height:34px;font-size:var(--type-control);font-weight:var(--weight-semibold);line-height:var(--leading-control);border-radius:8px;padding:6px 10px}.catalog-browser-toolbar>span{color:var(--research-hint);font-size:var(--type-secondary)}.catalog-empty{color:var(--research-hint);text-align:center;padding:50px 20px}.research-object-badge{min-width:0;color:var(--research-muted);text-transform:uppercase;align-items:center;gap:5px;font-size:10px;line-height:1;display:inline-flex}.research-object-badge i{color:#fff;text-transform:none;background:#788187;border-radius:6px;flex:none;place-items:center;width:24px;height:24px;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:8px;font-style:normal;font-weight:700;display:grid}.research-object-badge strong{font-size:inherit;text-overflow:ellipsis;white-space:nowrap;font-weight:650;overflow:hidden}.research-object-badge em{color:var(--research-hint);font-size:inherit;white-space:nowrap;font-style:normal;font-weight:550}.research-object-badge.compact{gap:4px;font-size:8px}.research-object-badge.compact i{border-radius:5px;width:20px;height:20px;font-size:7px}.research-object-badge.entity-paper i{background:#3f6f8f}.research-object-badge.entity-result i{background:#168275}.research-object-badge.entity-construction i{background:#7c55a5}.research-object-badge.entity-technique i{background:#5d7f71}.research-object-badge.entity-implementation i{background:#2f718e}.research-object-badge.entity-benchmark_run i{background:#a34e48}.research-object-badge.entity-assumption i{background:#a56b2a}.research-object-badge.entity-open_problem i{background:#b34a42}.research-object-badge.entity-solved_problem i{background:var(--pm-solved,#2c7a4b)}.research-object-badge.entity-milestone i{background:#b9782d}.research-object-badge.entity-route i{background:#2b6f9f}.research-object-badge.entity-barrier i{background:#8e4153}.drawer-header .research-object-badge{color:var(--research-ink);font-size:12px}.drawer-header .research-object-badge i{width:27px;height:27px}@media (width<=900px){.catalog-drawer .workspace-nav-group{flex:none}.catalog-drawer .drawer-footer{margin-top:auto}}@media (width<=620px){.catalog-browser-toolbar{flex-direction:column;align-items:stretch;gap:7px}.catalog-browser-toolbar label{width:100%}}.research-topbar{min-height:60px}.research-topbar .landscape-brand strong{font-size:17px}.research-topbar .landscape-brand small{font-size:9.5px}.research-scope{font-size:10.5px}.research-actions{font-size:13px}.research-topbar .quiet-button{font-size:var(--type-control);font-weight:var(--weight-semibold);line-height:var(--leading-control)}.research-sidebar{height:calc(100vh - 96px);top:78px}.sidebar-heading strong{font-size:15px}.sidebar-heading span{font-size:var(--type-section-title)}.workspace-nav-group>span{font-size:var(--type-body)}.workspace-nav-group button{min-height:44px}.workspace-nav-group button strong{font-size:var(--type-view-title)}.workspace-nav-group button small{font-size:var(--type-secondary)}.workspace-nav-group button em{font-size:var(--type-body)}.catalog-nav-group button{min-height:36px}@media (width<=580px){.research-topbar .landscape-brand strong{font-size:14px}.workspace-nav-group button strong{font-size:var(--type-view-title)}}.research-app .lineage-fallback summary{color:var(--research-ink);padding:13px 16px}.research-app .lineage-fallback ul{max-height:280px;padding:0 16px 14px}.research-app .lineage-fallback li{gap:10px;padding:9px 0}.research-app .view-toolbar{background:var(--research-surface);border-bottom:.5px solid var(--research-line);gap:16px;min-height:62px;padding:11px 16px}.research-app .view-toolbar>div:first-child strong{color:var(--research-ink);font-size:var(--type-view-title);font-weight:var(--weight-semibold);line-height:var(--leading-heading)}.research-app .view-toolbar>div:first-child span{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body);margin-top:2px}.research-app .view-toolbar label{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-heading)}.research-app .view-toolbar input,.research-app .view-toolbar select{min-height:var(--control-height);color:var(--research-ink);background:var(--research-surface);border:.5px solid var(--research-line-strong);font-size:var(--type-control);font-weight:var(--weight-semibold);line-height:var(--leading-control);border-radius:8px;padding:7px 10px}.research-app .lineage-fallback{background:var(--research-surface);border-top:.5px solid var(--research-line)}.research-app .lineage-fallback summary{color:var(--research-ink);font-size:var(--type-section-title);font-weight:var(--weight-semibold);padding:11px 16px}.research-app .lineage-fallback ul{padding:0 16px 14px}.research-app .lineage-fallback li{border-top:.5px solid var(--research-line);gap:9px;padding:8px 0}.research-app .lineage-fallback button{font-size:var(--type-secondary)}.research-app .lineage-fallback .universal-map-list-lane{color:var(--research-muted);font-size:var(--type-meta);font-weight:var(--weight-regular);white-space:nowrap}.research-app .matrix-size{font-size:var(--type-secondary)}@media (width<=820px){.research-app .view-toolbar{flex-direction:column;align-items:stretch}}.proof-workspace{--proof-bg:#eceeea;--proof-paper:#f8f7f2;--proof-panel:#fff;--proof-ink:#172126;--proof-muted:#667077;--proof-line:#d8dcd7;--proof-line-dark:#b7c0ba;--proof-teal:#176b67;--proof-teal-soft:#e0efec;--proof-rust:#a34f35;--proof-rust-soft:#f5e8e1;--proof-navy:#223d54;--proof-sand:#e8dfce;min-height:100vh;color:var(--proof-ink);background:var(--proof-bg)}.proof-workspace button,.proof-workspace input{color:inherit}.proof-main-pane{min-width:0}.proof-view{width:min(1500px,100%);margin:0 auto;padding:clamp(24px,4vw,52px)}.proof-value{border-radius:999px;padding:3px 7px;font-size:9px;display:inline-block}.proof-empty-state{color:var(--proof-muted);text-align:center;background:var(--proof-paper);border:1px dashed var(--proof-line-dark);margin-top:20px;padding:30px}@media (width<=860px){.proof-view{padding:24px 16px 42px}}.proof-workspace.research-app{--proof-bg:var(--research-bg);--proof-paper:var(--research-bg);--proof-panel:var(--research-surface);--proof-ink:var(--research-ink);--proof-muted:var(--research-muted);--proof-line:var(--research-line);--proof-line-dark:var(--research-line-strong);--proof-teal:var(--research-info);--proof-teal-soft:var(--research-info-bg);--proof-rust:#8b5237;--proof-rust-soft:#f5e9e1;--proof-navy:#173f63;--proof-sand:#eee7db;color:var(--research-ink);background:var(--research-bg);max-width:100vw;overflow-x:hidden}.proof-workspace .catalog-nav-group button>i.entity-technique{background:#58796b}.proof-workspace .catalog-nav-group button>i.entity-implementation{background:#426f79}.proof-workspace .catalog-nav-group button>i.entity-benchmark_run,.proof-workspace .catalog-nav-group button>i.entity-open_problem{background:#a34e48}.proof-workspace .catalog-nav-group button>i.entity-milestone{background:#a8783f}.proof-workspace .catalog-nav-group button>i.entity-route{background:#4b7190}.proof-workspace .catalog-nav-group button>i.entity-barrier{background:#7d3d50}.proof-workspace .proof-research-workspace{overflow:hidden}.proof-workspace .proof-view{width:100%;padding:22px 26px 34px}@media (width<=620px){.proof-workspace .proof-view{padding:15px 14px 28px}}.mpc-workspace{--mpc-ink:#162635;--mpc-blue:#0b4d78;--mpc-cyan:#25a3b8;--mpc-line:#d7d9d5;--mpc-muted:#6c7478;grid-template-columns:246px minmax(0,1fr);min-height:100vh;display:grid}.mpc-workspace .research-topbar>div:first-child{flex-direction:column;display:flex}.mpc-workspace .research-topbar>div:first-child>span{color:var(--mpc-muted);text-transform:uppercase;letter-spacing:.1em;font-size:7px}.mpc-workspace .research-topbar>div:first-child>strong{font:600 13px/1.25 Georgia,serif}.mpc-workspace .research-topbar>button{border:1px solid var(--mpc-blue);color:var(--mpc-blue);font-size:var(--type-control);font-weight:var(--weight-semibold);cursor:pointer;line-height:var(--leading-control);background:#fff;border-radius:7px;padding:8px 11px}.anatomy-layout{grid-template-columns:minmax(0,1fr) 320px;align-items:start;gap:16px;display:grid}.anatomy-card,.anatomy-profile,.mpc-implementation-grid>article,.mpc-benchmark-card{border:.5px solid var(--research-line);background:#fff;border-radius:12px;box-shadow:0 18px 45px #1c2d390d}.anatomy-card>header{background:linear-gradient(135deg,#edf5f5,#f9f7ef);border-bottom:.5px solid #e2e4e1;border-radius:12px 12px 0 0;padding:22px 24px}.anatomy-card>header>div{color:var(--research-info);text-transform:uppercase;letter-spacing:.06em;gap:12px;font-size:9px;font-weight:800;display:flex}.anatomy-card h2{font-family:var(--font-serif,serif);margin:8px 0 5px;font-size:28px}.anatomy-card p{color:var(--research-muted);margin:0;font-size:11px;line-height:1.5}.anatomy-layer{border-bottom:.5px solid #ecece8;grid-template-columns:38px 175px minmax(0,1fr);gap:13px;padding:15px 20px;display:grid}.anatomy-layer:last-child{border-bottom:0}.anatomy-layer>em{color:#94a4aa;font:700 9px/1.4 var(--font-mono,monospace)}.anatomy-layer>div>span,.anatomy-layer>div>small,.anatomy-layer>section strong,.anatomy-layer>section small{display:block}.anatomy-layer>div>span{color:var(--research-ink);font-size:10px;font-weight:850}.anatomy-layer>div>small{color:#869096;margin-top:4px;font-size:8px;line-height:1.35}.anatomy-layer>section{gap:7px;display:grid}.anatomy-layer>section>button,.anatomy-empty-layer{text-align:left;background:#f9fbfa;border:.5px solid #d8e1e2;border-radius:8px;padding:10px 12px}.anatomy-layer>section>button{cursor:pointer}.anatomy-layer>section>button:hover{border-color:#397891}.anatomy-layer>section strong{color:var(--research-info);font-size:10px}.anatomy-layer>section small{color:var(--research-muted);margin-top:4px;font-size:8px;line-height:1.35}.anatomy-empty-layer{background:#fbfaf5;border-style:dashed}.anatomy-profile{padding:18px}.anatomy-profile>span,.mpc-implementation-grid article>section>span,.mpc-benchmark-body section>span{color:#8a8171;font-size:var(--type-meta);letter-spacing:.09em;text-transform:uppercase;margin:4px 0 9px;font-weight:850;display:block}.anatomy-profile dl{margin:0 0 20px}.anatomy-profile dl>div{border-bottom:.5px solid #ecece8;padding:7px 0}.anatomy-profile dt{color:#7b8589;font-size:var(--type-meta);font-weight:var(--weight-semibold);text-transform:uppercase}.anatomy-profile dd{color:var(--research-ink);font-size:var(--type-secondary);line-height:var(--leading-heading);margin:3px 0 0}.anatomy-profile>button{background:var(--research-info);color:#fff;width:100%;font-size:var(--type-control);font-weight:var(--weight-semibold);cursor:pointer;line-height:var(--leading-control);border:0;border-radius:7px;padding:10px}.comparison-matrix-note{color:var(--research-muted);font-size:var(--type-meta);background:#f3f6f3;border:.5px solid #d8dedc;border-radius:10px 10px 0 0;justify-content:space-between;align-items:baseline;gap:20px;padding:13px 16px;display:flex}.comparison-matrix-note strong{color:var(--research-ink);font-size:var(--type-secondary)}.comparison-table-scroll{border:.5px solid var(--research-line);background:#fff;border-top:0;overflow:auto}.mpc-model-matrix table{min-width:1700px}.mpc-implementation-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:13px;margin-top:13px;display:grid}.mpc-implementation-grid>article{padding:18px}.mpc-implementation-grid article>header{color:#758187;justify-content:space-between;font-size:9px;display:flex}.mpc-implementation-grid h2{font:700 21px/1.2 var(--font-serif,serif);margin:9px 0 4px}.mpc-implementation-grid article>p{color:var(--mpc-muted);margin:0 0 14px;font-size:10px}.mpc-implementation-grid dl{grid-template-columns:1fr 1fr;gap:7px;display:grid}.mpc-implementation-grid dl>div{background:#f5f7f5;border-radius:6px;padding:8px}.mpc-implementation-grid dt{color:#7f898d;text-transform:uppercase;font-size:7px}.mpc-implementation-grid dd{margin:4px 0 0;font-size:9px;line-height:1.35}.mpc-implementation-grid article>section{margin-top:14px}.mpc-implementation-grid article>section button{color:var(--mpc-blue);font-size:var(--type-control);cursor:pointer;font-weight:var(--weight-semibold);line-height:var(--leading-control);background:#eef6f7;border:.5px solid #cbd9dc;border-radius:5px;margin:0 5px 5px 0;padding:5px 7px}.mpc-implementation-grid article>footer{border-top:.5px solid #e5e6e3;justify-content:space-between;align-items:center;margin-top:13px;padding-top:12px;display:flex}.mpc-implementation-grid article>footer button{color:var(--mpc-blue);font-size:var(--type-control);font-weight:var(--weight-semibold);cursor:pointer;line-height:var(--leading-control);background:0 0;border:0}.mpc-implementation-grid article>footer a{color:#526a75;font-size:9px}.mpc-benchmark-card{margin-top:13px;overflow:hidden}.mpc-benchmark-card>header{background:#f9f5eb;border-bottom:.5px solid #e2ded3;justify-content:space-between;align-items:start;padding:18px;display:flex}.mpc-benchmark-card>header span{color:#9a6f24;letter-spacing:.08em;text-transform:uppercase;font-size:8px;font-weight:850}.mpc-benchmark-card h2{font:700 21px/1.2 var(--font-serif,serif);margin:6px 0 0}.mpc-benchmark-body{grid-template-columns:1.15fr .9fr 1fr;display:grid}.mpc-benchmark-body>section{border-right:.5px solid #e6e7e3;padding:16px}.mpc-benchmark-body>section:last-child{border:0}.mpc-benchmark-body section>div{border-bottom:.5px solid #eee;padding:7px 0}.mpc-benchmark-body section strong{font-size:9px}.mpc-benchmark-body section p{color:var(--mpc-muted);margin:4px 0;font-size:9px;line-height:1.45}.mpc-benchmark-body section button{width:100%;color:var(--mpc-blue);text-align:left;font-size:var(--type-control);cursor:pointer;font-weight:var(--weight-semibold);line-height:var(--leading-control);background:#f8faf8;border:.5px solid #d7deda;border-radius:6px;margin-bottom:6px;padding:7px;display:block}.mpc-benchmark-body li{color:#697276;margin-bottom:6px;font-size:9px;line-height:1.4}.mpc-benchmark-card details{border-top:.5px solid #e7e7e3;padding:13px 16px}.mpc-benchmark-card summary{color:var(--mpc-blue);cursor:pointer;font-size:9px;font-weight:800}.mpc-benchmark-card details dl{grid-template-columns:repeat(3,1fr);gap:7px;display:grid}.mpc-benchmark-card details dl>div{background:#f5f6f3;border-radius:5px;padding:7px}.mpc-benchmark-card details dt{color:#7e888c;text-transform:uppercase;font-size:7px}.mpc-benchmark-card details dd{margin:4px 0 0;font-size:8px;line-height:1.4}.mpc-source-link{color:#426a79;margin-top:6px;font-size:8px;line-height:1.35;display:block}@media (width<=1100px){.anatomy-layout,.mpc-implementation-grid,.mpc-benchmark-body{grid-template-columns:1fr}.mpc-benchmark-body>section{border-bottom:.5px solid #e6e7e3;border-right:0}}@media (width<=860px){.mpc-workspace{display:block}.mpc-workspace .research-topbar{top:0}}@media (width<=760px){.anatomy-layer{grid-template-columns:30px 1fr}.anatomy-layer>section{grid-column:2}.comparison-matrix-note{flex-direction:column;align-items:start}.mpc-benchmark-card details dl{grid-template-columns:1fr}}.mpc-workspace{--mpc-ink:var(--research-ink);--mpc-blue:var(--research-info);--mpc-cyan:#397891;--mpc-line:var(--research-line);--mpc-muted:var(--research-muted);min-height:100vh;color:var(--research-ink);background:var(--research-bg);display:block}.mpc-workspace .research-topbar{grid-template-columns:minmax(285px,1fr) auto minmax(285px,1fr);min-height:60px;padding:0 22px}.mpc-workspace .research-actions{justify-self:end}.mpc-research-workspace{overflow:hidden}.mpc-main-pane{min-width:0}.mpc-workspace .catalog-nav-group button>i.entity-contribution{background:#2f7d77}.mpc-workspace .catalog-nav-group button>i.entity-component{background:#80613b}.mpc-workspace .catalog-nav-group button>i.entity-protocol{background:#6d5b8c}.mpc-workspace .catalog-nav-group button>i.entity-implementation{background:#426f79}.mpc-workspace .catalog-nav-group button>i.entity-benchmark_run{background:#a34e48}.anatomy-view,.comparison-matrix,.mpc-implementation-view,.mpc-benchmark-view{min-height:560px}.research-app .anatomy-view>.view-toolbar{justify-content:space-between;align-items:flex-end;gap:18px;display:flex}.research-app .anatomy-view>.view-toolbar label{min-width:300px;color:var(--research-muted);font-size:var(--type-secondary)}.research-app .anatomy-view>.view-toolbar select{width:100%;min-height:36px;color:var(--research-ink);background:var(--research-surface);border:.5px solid var(--research-line-strong);font-size:var(--type-control);font-weight:var(--weight-semibold);line-height:var(--leading-control);border-radius:8px;margin-top:3px;padding:6px 9px;display:block}.research-app .anatomy-layout{grid-template-columns:minmax(0,1fr) 340px;align-items:start;gap:14px;padding:14px;display:grid}.research-app .anatomy-card,.research-app .anatomy-profile,.mpc-workspace .mpc-implementation-grid>article,.mpc-workspace .mpc-benchmark-card{background:var(--research-surface);border:.5px solid var(--research-line);box-shadow:none;border-radius:9px}.research-app .anatomy-card>header{background:var(--research-bg);border-bottom:.5px solid var(--research-line);border-radius:9px 9px 0 0;padding:18px 20px}.research-app .anatomy-card>header>div{color:var(--research-info);letter-spacing:.06em;text-transform:uppercase;gap:12px;font-size:9px;font-weight:600;display:flex}.research-app .anatomy-card h2{margin:7px 0 4px;font-family:inherit;font-size:23px;font-weight:600}.research-app .anatomy-card p{color:var(--research-muted);margin:0;font-size:11px;line-height:1.5}.research-app .anatomy-layer{border-bottom:.5px solid var(--research-line);grid-template-columns:38px 205px minmax(0,1fr);gap:12px;padding:13px 16px;display:grid}.research-app .anatomy-layer:last-child{border-bottom:0}.research-app .anatomy-layer>em{color:var(--research-hint);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9px;font-style:normal;font-weight:600}.research-app .anatomy-layer>div>span,.research-app .anatomy-layer>div>small,.research-app .anatomy-layer>section strong,.research-app .anatomy-layer>section small{display:block}.research-app .anatomy-layer>div>span{color:var(--research-ink);font-size:11px;font-weight:600}.research-app .anatomy-layer>div>small{color:var(--research-hint);margin-top:3px;font-size:9px;line-height:1.35}.research-app .anatomy-layer>section{gap:6px;display:grid}.research-app .anatomy-layer>section>button,.research-app .anatomy-empty-layer{color:var(--research-ink);background:var(--research-bg);border:.5px solid var(--research-line);text-align:left;border-radius:7px;padding:9px 10px}.research-app .anatomy-layer>section>button:hover{color:var(--research-info);background:var(--research-info-bg);border-color:var(--research-info)}.research-app .anatomy-layer>section strong{font-size:10.5px;font-weight:600}.research-app .anatomy-layer>section small{color:var(--research-muted);margin-top:3px;font-size:9px;line-height:1.35}.research-app .anatomy-empty-layer{border-style:dashed}.research-app .anatomy-profile{padding:15px;position:sticky;top:74px}.research-app .anatomy-profile>span,.mpc-workspace .mpc-implementation-grid article>section>span,.mpc-workspace .mpc-benchmark-body section>span{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.07em;text-transform:uppercase;margin:2px 0 8px;display:block}.research-app .anatomy-profile dl{margin:0 0 17px}.research-app .anatomy-profile dl>div{border-bottom:.5px solid var(--research-line);grid-template-columns:115px minmax(0,1fr);gap:8px;padding:6px 0;display:grid}.research-app .anatomy-profile dt{color:var(--research-hint);font-size:var(--type-meta)}.research-app .anatomy-profile dd{color:var(--research-ink);font-size:var(--type-secondary);line-height:var(--leading-heading);margin:0}.research-app .anatomy-profile>button{width:100%;color:var(--research-info);background:var(--research-info-bg);font-size:var(--type-control);font-weight:var(--weight-semibold);line-height:var(--leading-control);border:.5px solid #0000;border-radius:7px;padding:8px 10px}.research-app .anatomy-profile>button:hover{border-color:var(--research-info)}.comparison-modes{background:var(--research-bg);border-bottom:.5px solid var(--research-line);grid-template-columns:repeat(3,minmax(180px,1fr));gap:0;padding:0 14px;display:grid;overflow-x:auto}.comparison-modes>button{min-height:56px;color:var(--research-muted);text-align:left;background:0 0;border:0;border-bottom:1.5px solid #0000;grid-template-columns:26px minmax(0,1fr);align-items:center;gap:8px;padding:8px 12px;display:grid}.comparison-modes>button:hover{color:var(--research-info);background:var(--research-info-bg)}.comparison-modes>button.active{color:var(--research-info);border-bottom-color:var(--research-info)}.comparison-modes i{color:var(--research-info);font-family:Georgia,serif;font-size:17px;font-style:normal}.comparison-modes button>span{flex-direction:column;display:flex}.comparison-modes strong{font-size:var(--type-section-title);font-weight:var(--weight-semibold)}.comparison-modes small{color:var(--research-hint);font-size:var(--type-meta)}.research-app .comparison-matrix-note{color:var(--research-muted);background:var(--research-surface);border:0;border-bottom:.5px solid var(--research-line);font-size:var(--type-secondary);border-radius:0;justify-content:space-between;align-items:baseline;gap:20px;padding:11px 14px;display:flex}.research-app .comparison-matrix-note>div{flex-direction:column;display:flex}.research-app .comparison-matrix-note strong{color:var(--research-ink);font-size:var(--type-section-title);font-weight:var(--weight-semibold)}.research-app .comparison-matrix-note>span{color:var(--research-hint);white-space:nowrap}.research-app .comparison-table-switch{grid-template-columns:none;grid-auto-columns:max-content;grid-auto-flow:column;justify-self:start;width:fit-content;margin-bottom:6px;display:inline-grid}.research-app .comparison-table-switch button{font-size:var(--type-section-title);cursor:pointer;padding:6px 14px}.research-app .comparison-table-switch button>span{color:var(--research-hint);font-weight:var(--weight-regular);margin-left:.5em}.research-app .comparison-table-switch button[aria-pressed=true]>span{color:inherit}.research-app .comparison-table-scroll{background:var(--research-surface);border:0;max-height:calc(100vh - 220px);overflow:auto}.research-app .comparison-table{border-collapse:separate;border-spacing:0;width:100%;min-width:1420px;font-size:var(--type-body);line-height:var(--leading-heading)}.research-app .practical-comparison .comparison-table,.research-app .subfield-component-table .comparison-table,.research-app .comparison-table.library-table{min-width:1120px}.research-app .comparison-table th,.research-app .comparison-table td{text-align:left;vertical-align:top;border-right:.5px solid var(--research-line);border-bottom:.5px solid var(--research-line);padding:10px 11px}.research-app .comparison-table thead th{z-index:2;color:var(--research-muted);background:var(--research-bg);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;text-transform:uppercase;position:sticky;top:0}.research-app .comparison-table thead th:first-child{z-index:3;left:0}.research-app .comparison-table tbody th[scope=row],.research-app .comparison-table tbody th.row-opener-line{z-index:1;background:var(--research-surface);min-width:180px;position:sticky;left:0}.research-app .comparison-table tbody th[scope=row] strong{color:var(--research-ink);font-size:var(--type-body);font-weight:var(--weight-semibold);display:block}.research-app .comparison-table .op-citation{color:var(--research-info);font-family:var(--font-mono);font-size:var(--type-secondary);font-weight:var(--weight-medium);display:block}.research-app .comparison-table tbody th.row-opener{cursor:pointer}.research-app .comparison-table tbody tr:nth-child(2n):not(.row-odd):not(.row-even)>*,.research-app .comparison-table tbody tr.row-even>*{background:#f7f6f2}.research-app .comparison-table.library-table tbody tr{cursor:pointer}.research-app .comparison-table.library-table tbody tr:hover>*,.research-app .comparison-table.library-table tbody tr[aria-selected=true]>*,.research-app .comparison-table tbody th.row-opener:hover,.research-app .comparison-table tbody tr[aria-selected=true]>th.row-opener{background:var(--research-info-bg)}.research-app .comparison-table tbody tr[aria-selected=true]>th.row-opener{box-shadow:inset 3px 0 0 var(--research-info)}.research-app .comparison-table tbody tr.row-continued>td:not([rowspan]){border-bottom:.5px dashed var(--research-line-strong)}.research-app .comparison-table td.cost-below{padding-top:6px}.research-app .comparison-table tbody th.row-opener:focus-visible{outline:2px solid var(--research-info);outline-offset:-2px}.research-app .comparison-table .table-group-row{cursor:default}.research-app .comparison-table .table-group-label{display:inline-block;position:sticky;left:12px}.research-app .comparison-table thead th.column-collapsed{text-align:center;vertical-align:top;width:24px;min-width:24px;max-width:24px;padding:6px 0}.research-app .comparison-table td.column-collapsed{width:24px;min-width:24px;max-width:24px;padding:0}.research-app .comparison-table td.column-collapsed.column-tone-setting{background:color-mix(in srgb, var(--tone-setting) 5%, var(--research-surface))}.research-app .comparison-table td.column-collapsed.column-tone-security{background:color-mix(in srgb, var(--tone-security) 5%, var(--research-surface))}.research-app .comparison-table td.column-collapsed.column-tone-efficiency{background:color-mix(in srgb, var(--tone-efficiency) 5%, var(--research-surface))}.research-app .comparison-table .column-group-toggle{width:15px;height:15px;color:inherit;line-height:1;font-weight:inherit;letter-spacing:inherit;text-transform:inherit;vertical-align:-3px;cursor:pointer;background:0 0;border:0;border-radius:3px;margin:0 5px 0 0;padding:0;display:inline-block}.research-app .comparison-table .column-group-toggle:before{content:"";border-bottom:1.5px solid;border-left:1.5px solid;width:5px;height:5px;margin-left:2px;display:inline-block;transform:rotate(45deg)}.research-app .comparison-table .column-group-toggle:hover{background:color-mix(in srgb, currentColor 14%, transparent)}.research-app .comparison-table .column-group-toggle:focus-visible{outline:1px solid var(--research-info);outline-offset:1px}.research-app .comparison-table .column-group-toggle.column-group-open{flex-direction:column;align-items:center;gap:8px;width:100%;height:auto;margin:0;padding:3px 0 6px;display:flex}.research-app .comparison-table .column-group-toggle.column-group-open:before{margin:0 2px 0 0;transform:rotate(-135deg)}.research-app .comparison-table .column-group-vertical{letter-spacing:.05em;white-space:nowrap;writing-mode:vertical-rl;transform:rotate(180deg)}.research-app .comparison-table thead.grouped-header{z-index:3;position:sticky;top:0}.research-app .comparison-table thead.grouped-header th{position:static}.research-app .comparison-table thead.grouped-header tr:first-child th:first-child{z-index:4;position:sticky;left:0}.research-app .comparison-table thead .column-group{text-align:center}.research-app{--tone-setting:var(--research-info);--tone-security:var(--pm-route);--tone-efficiency:var(--pm-solved)}.research-app .comparison-table thead th.column-tone-setting{color:var(--tone-setting);background:color-mix(in srgb, var(--tone-setting) 7%, var(--research-bg))}.research-app .comparison-table thead th.column-tone-security{color:var(--tone-security);background:color-mix(in srgb, var(--tone-security) 7%, var(--research-bg))}.research-app .comparison-table thead th.column-tone-efficiency{color:var(--tone-efficiency);background:color-mix(in srgb, var(--tone-efficiency) 7%, var(--research-bg))}.research-app .comparison-table thead th.column-group{border-bottom:2px solid}.research-app .comparison-table .cost-qualifier{margin-right:.35em}.research-app .comparison-table .cost-qualifier-repeat{visibility:hidden}.research-app .comparison-table .cost-per,.research-app .comparison-table .cost-unit{margin-left:.35em;margin-right:0}.research-app .comparison-table .cost-line,.research-app .comparison-table .cost-cell .katex,.research-app .comparison-table .attribute-cell .katex,.research-app .comparison-table td.attribute-cell{white-space:nowrap}.formula{font-family:var(--font-ui,-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif);letter-spacing:.02em;font-feature-settings:"cv05";white-space:nowrap;font-size:1.03em;font-style:normal}.formula .fx-bold{font-weight:600}.formula .fx-sans.fx-math{font-family:KaTeX_Main,Times New Roman,serif;font-size:1.12em}.formula .fx-sans.fx-greek{font-family:KaTeX_Math, var(--font-ui);transform-origin:0 75%;margin:0 .03em;font-size:1.09em;font-style:italic;line-height:1;display:inline-block;transform:skew(14deg)}.formula .fx-sans.fx-cal{font-family:KaTeX_Caligraphic, var(--font-ui);font-size:1.04em}.formula .fx-vec{line-height:1;display:inline-block;position:relative}.formula .fx-vec:after{content:"→";font-family:KaTeX_Main, var(--font-ui);text-align:center;font-size:.72em;font-style:normal;line-height:1;position:absolute;top:-.62em;left:0;right:0;transform:none}.formula sub,.formula sup{vertical-align:baseline;padding-right:.05em;font-size:.72em;line-height:0;position:relative}.formula sub{top:.3em}.formula sup{top:-.45em}.formula .fx-root{white-space:nowrap;padding-left:.56em;display:inline-block;position:relative}.formula .fx-radical{width:.6em;position:absolute;top:0;bottom:.02em;left:0}.formula .fx-radical svg{fill:none;stroke:currentColor;stroke-width:.07em;stroke-linejoin:round;stroke-linecap:round;vector-effect:non-scaling-stroke;width:100%;height:100%;position:absolute;inset:0;overflow:visible}.formula .fx-root-sign{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.formula .fx-radicand{background:linear-gradient(currentColor,currentColor) top/100% .07em no-repeat;padding:.12em .04em 0 .06em;line-height:1;display:inline-block}.formula .fx-stack{vertical-align:.5em;flex-direction:column;margin-left:.05em;font-size:.72em;line-height:1.05;display:inline-flex}.formula .fx-stack sub,.formula .fx-stack sup{font-size:1em}.research-app .block-term{-webkit-box-decoration-break:clone;box-decoration-break:clone;white-space:nowrap;background:linear-gradient(#0000 6%,#ffd50057 6% 94%,#0000 94%);border-radius:.2em;padding:0 .22em}.research-app .cost-plus{white-space:pre}.research-app .cost-stack{grid-template-columns:max-content max-content;column-gap:12px;display:grid}.research-app .cost-stack-row{display:contents}.research-app .cost-stack-label{color:var(--research-muted);font-size:var(--type-secondary);white-space:nowrap;padding-top:1px}.research-app .cost-stack-value{grid-template-columns:max-content max-content;align-content:start;column-gap:8px;display:grid}.research-app .cost-stack-value>.cell-line{grid-column:1/-1}.research-app .cost-stack-row+.cost-stack-row>*{border-top:.5px solid var(--research-line);margin-top:4px;padding-top:4px}.research-app .cost-sub{display:contents}.research-app .cost-sub+.cost-sub>*{border-top:.5px solid var(--research-line);margin-top:3px;padding-top:3px}.research-app .cost-sub-label{color:var(--research-muted);white-space:nowrap}.research-app .block-term-wrap{align-items:baseline;display:inline-flex}.research-app .block-term-wrap>.block-term-head{border-top-right-radius:0;border-bottom-right-radius:0;padding-right:0}.research-app .block-args>.block-arg>.block-term{padding-left:0}.research-app .block-args>.block-arg:first-child>.block-term{border-top-left-radius:0;border-bottom-left-radius:0}.research-app .block-args{grid-template-columns:max-content;align-items:baseline;display:inline-grid}.research-app .block-arg{white-space:nowrap}.research-app .cost-sum-op{text-align:right}.formula.formula-wrap{grid-template-columns:max-content max-content;align-items:baseline;column-gap:.4em;display:inline-grid}.research-app .cost-pop-line{display:block}.research-app .cost-pop-same{color:var(--research-muted)}.research-app .block-card-grid{border-top:.5px solid var(--research-line);grid-template-columns:max-content 1fr;gap:3px 10px;margin-top:6px;padding-top:6px;display:grid}.research-app .block-card-key{color:var(--research-muted);font-size:var(--type-secondary);white-space:nowrap}.research-app .call-card .cost-line-nested{padding-left:calc(var(--cost-depth,1) * 1.2em)}.research-app .row-state-switch{vertical-align:middle;border:.5px solid;border-radius:4px;margin-left:10px;display:inline-flex;overflow:hidden}.research-app .row-state-switch button{color:inherit;font-family:inherit;font-size:inherit;font-weight:inherit;line-height:inherit;letter-spacing:inherit;text-transform:inherit;cursor:pointer;background:0 0;border:0;padding:1px 7px}.research-app .row-state-switch button+button{border-left:.5px solid}.research-app .row-state-switch button[aria-pressed=true]{color:var(--research-surface);background:var(--tone-efficiency)}.research-app .row-state-switch button:focus-visible{outline:1px solid var(--research-info);outline-offset:-1px}.notation-strip{color:var(--research-ink);font-size:var(--type-body);border-bottom:.5px solid var(--research-line);gap:6px;margin:0;padding:14px 24px;display:grid}.notation-family{grid-template-columns:132px minmax(0,1fr);align-items:baseline;display:grid}.notation-family dt{color:var(--research-muted);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;text-transform:uppercase}.notation-family dd{flex-wrap:wrap;gap:4px 22px;margin:0;display:flex}.notation-item{white-space:nowrap}.notation-family dd.notation-groups{grid-template-columns:max-content 1fr;gap:4px 20px;display:grid}.notation-subgroup{display:contents}.notation-subgroup-label{color:var(--research-muted);white-space:nowrap}.notation-subgroup-items{flex-wrap:wrap;gap:4px 22px;display:flex}.notation-short{color:var(--research-muted);margin-left:.5em}@media (width<=600px){.notation-strip{padding:12px 15px}.notation-family,.notation-family dd.notation-groups{grid-template-columns:minmax(0,1fr);gap:2px}.notation-family dd{gap:2px 16px}.notation-item,.notation-subgroup-label{white-space:normal;overflow-wrap:anywhere;min-width:0}.notation-subgroup-label{margin-top:4px}}.notation-conventions summary{cursor:pointer;width:fit-content;color:var(--research-info);font-size:var(--type-secondary);font-weight:var(--weight-semibold)}.notation-conventions ul{color:var(--research-ink);line-height:var(--leading-body);margin:2px 0 6px;padding-left:18px}.convention-group>span{color:var(--research-muted);font-size:var(--type-meta);font-weight:var(--weight-semibold);margin-top:6px;display:block}.research-app .call-matrix{--call-pitch:calc(var(--type-body) * 1.5);--call-pill-h:13px;--call-lane:13px;--call-trunk:7px;--call-edge:#9f9b91;--call-leader:#23211c47;--call-block:#2b6d44;--call-open:#885f14;--call-chip:#2c7a4b17;--call-chip-edge:#2c7a4b6b;--call-open-edge:#9a6a12cc;--call-hatch:repeating-linear-gradient(135deg, #9a6a1229 0 1.5px, transparent 1.5px 5px)}.research-app .call-matrix tbody tr{--rowbg:var(--research-surface)}.research-app .call-matrix tbody tr.row-even{--rowbg:#f7f6f2}.research-app .call-matrix .formula sub,.research-app .call-matrix .formula sup,.research-app .call-matrix .formula .fx-stack{font-size:.75em}.research-app .call-matrix .formula sub{top:.24em}.research-app .call-matrix .formula sup{top:-.5em}.research-app .call-matrix .cost-unit{color:var(--research-muted);font-size:var(--type-secondary);margin-left:.4em;margin-right:0}.research-app .call-matrix .table-group-row th{color:var(--research-muted)}.research-app .call-matrix .table-group-label>span{font-weight:var(--weight-regular);letter-spacing:0;margin-left:.7em}.research-app .comparison-table thead .column-subgroup{text-align:center;border-bottom:1px solid}.research-app .call-matrix .call-measure-start{border-left:.5px solid var(--research-line-strong)}.research-app .comparison-table tbody.row-lines>tr:not(.line-last)>th{border-bottom:0;padding-bottom:0}.research-app .comparison-table tbody.row-lines>tr:not(.line-first)>th{padding-top:0}.research-app .comparison-table tbody.row-lines>tr.line-first>th{z-index:2}.research-app .comparison-table tbody.row-lines>tr.line-first>th>strong{margin-bottom:calc(var(--row-lines,0) * -1.5 * var(--type-body))}:is(.research-app .comparison-table tbody.row-lines:has(>tr>th.row-opener:hover)>tr>th.row-opener,.research-app .comparison-table tbody.row-lines:has(>tr[aria-selected=true])>tr>th.row-opener){background:var(--research-info-bg)}.research-app .comparison-table tbody.row-lines:has(>tr[aria-selected=true])>tr>th.row-opener{box-shadow:inset 3px 0 0 var(--research-info)}.research-app .call-matrix tbody.row-lines>tr>td:is(.call-tree-cell,.call-cost){--pt:0px;--pb:0px;padding:var(--pt) 11px var(--pb);line-height:calc(var(--type-body) * 1.5);white-space:nowrap;background-color:var(--rowbg);border-bottom:0}.research-app .call-matrix tbody.row-lines>tr.line-first>td:is(.call-tree-cell,.call-cost){--pt:10px}.research-app .call-matrix tbody.row-lines>tr.line-last>td:is(.call-tree-cell,.call-cost){--pb:10px;border-bottom:.5px solid var(--research-line)}.research-app .call-matrix tbody.row-lines>tr:hover>td:is(.call-tree-cell,.call-cost){--rowbg:#f1f5f2}.research-app .call-matrix tr.call-first>td.call-cost{box-shadow:inset 0 .5px 0 0 var(--research-line)}.research-app .call-matrix .call-tree-cell{z-index:0;color:var(--research-muted);position:relative}.research-app .call-matrix tbody.row-lines>tr>td.call-tree-cell,.research-app .call-matrix .call-grid-line>span.call-tree-cell{padding-right:60px}.research-app .call-matrix .call-tree-cell:before{content:"";z-index:-1;left:11px;right:11px;top:calc(var(--pt) + var(--call-pitch) / 2 - 1.5px);background-image:radial-gradient(circle, var(--call-leader) .65px, transparent .9px);background-repeat:repeat-x;background-size:4px 3px;height:3px;position:absolute}.research-app .call-matrix .call-formula-cell:before{display:none}.research-app .call-matrix .call-ln{background:var(--rowbg);padding-right:.45em}.research-app .call-matrix .call-sp{width:var(--call-trunk);height:1px;display:inline-block}.research-app .call-matrix .call-ghost{visibility:hidden}.research-app .call-matrix .call-v{border-left:1px solid var(--call-edge);visibility:visible;width:0;position:absolute;top:0;bottom:0}.research-app .call-matrix .call-vt{top:calc(var(--pt) + var(--call-pitch) / 2 + var(--call-pill-h) / 2 - .5px);margin-left:var(--call-trunk)}.research-app .call-matrix .call-elbow{width:var(--call-lane);height:calc(var(--call-pitch) / 2 + .5px);vertical-align:top;border-left:1px solid var(--call-edge);border-bottom:1px solid var(--call-edge);background:var(--rowbg);border-bottom-left-radius:5px;display:inline-block}.research-app .call-matrix .call-arrow{width:11px;height:calc(var(--call-pitch) / 2 + .5px);vertical-align:top;border-bottom:1px solid var(--call-edge);background:var(--rowbg);margin-right:3px;display:inline-block;position:relative}.research-app .call-matrix .call-arrow:after{content:"";border-left:5px solid var(--call-edge);border-top:3.5px solid #0000;border-bottom:3.5px solid #0000;position:absolute;bottom:-4px;right:-4px}.research-app .call-matrix .call-count{color:var(--research-ink);background:var(--rowbg);background-image:linear-gradient(var(--call-edge), var(--call-edge));background-repeat:no-repeat;background-size:100% 1px;background-position:0 calc(var(--call-pitch) / 2);padding:0 .3em}.research-app .call-matrix .call-count .formula{background:var(--rowbg);padding:0 .15em}.research-app .call-matrix .count-role{color:var(--research-muted);background:var(--rowbg);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;text-transform:uppercase;padding:0 .15em 0 .2em}.research-app .call-matrix .count-roles-sep{color:var(--research-muted);background:var(--rowbg);padding:0 .3em}.research-app .call-matrix .call-pill{height:var(--call-pill-h);margin-top:calc((var(--call-pitch) - var(--call-pill-h)) / 2);vertical-align:top;color:var(--call-block);font-size:var(--type-secondary);font-weight:var(--weight-semibold);white-space:nowrap;background:linear-gradient(var(--call-chip), var(--call-chip)), var(--rowbg);box-shadow:inset 0 0 0 .5px var(--call-chip-edge);border-radius:7px;padding:0 5px;line-height:13px;display:inline-block}.research-app .call-matrix .call-pill.call-root{color:var(--research-ink);font-family:var(--font-mono);background:var(--research-surface);box-shadow:inset 0 0 0 1px var(--research-ink);border-radius:2px;padding:0 4px}.research-app .call-matrix .call-pill.is-open{color:var(--call-open);background:var(--rowbg);box-shadow:none;outline:1px dashed var(--call-open-edge);outline-offset:-1px}.research-app .call-matrix .call-pill.is-shared{color:var(--research-muted);font-weight:var(--weight-medium);background:var(--rowbg);box-shadow:none;outline:1px dotted var(--call-edge);outline-offset:-1px}.research-app .call-matrix .call-args{color:var(--research-ink)}.research-app .call-matrix .call-args-wrap{vertical-align:top;align-items:baseline;display:inline-flex}.research-app .call-matrix .call-purpose{color:var(--research-muted);margin-left:.55em}.research-app .call-matrix .call-key{color:var(--research-info);font-family:var(--font-mono);font-size:var(--type-secondary);margin-left:.6em}.research-app .call-matrix .call-phase{top:var(--pt);color:var(--research-muted);background:var(--rowbg);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;line-height:calc(var(--type-body) * 1.5);text-transform:uppercase;padding-left:.5em;position:absolute;right:11px}.research-app .call-matrix .call-caret{top:var(--pt);width:11px;height:var(--call-pitch);cursor:pointer;background:0 0;border:0;padding:0;position:absolute;left:0}.research-app .call-matrix .call-caret:before{content:"";top:calc(var(--call-pitch) / 2 - 3.5px);border-left:5px solid var(--research-muted);border-top:3.5px solid #0000;border-bottom:3.5px solid #0000;transition:transform .12s;position:absolute;left:3px}.research-app .call-matrix .call-caret[aria-expanded=true]:before{transform:rotate(90deg)}.research-app .call-matrix .call-caret:hover:before{border-left-color:var(--research-ink)}.research-app .call-matrix .call-caret:focus-visible{outline:1px solid var(--research-info);outline-offset:1px;border-radius:2px}@media (prefers-reduced-motion:reduce){.research-app .call-matrix .call-caret:before{transition:none}}.research-app .call-matrix .call-fl{line-height:calc(var(--type-body) * 1.5);align-items:flex-start;margin-right:-49px;display:flex}.research-app .call-matrix .call-fl .call-ln{flex:none}.research-app .call-matrix .call-leader{min-width:12px;height:var(--call-pitch);background-image:radial-gradient(circle, var(--call-leader) .65px, transparent .9px);background-repeat:repeat-x;background-size:4px 3px;background-position:0 calc(var(--call-pitch) / 2 - 1.5px);flex:auto;margin:0 .45em 0 0}.research-app .call-matrix .call-fl .call-phase{padding-left:0;position:static}.research-app .call-matrix .call-op{width:1.5em;color:var(--call-edge);text-align:center;font-family:JetBrains Mono,ui-monospace,monospace;display:inline-block}.research-app .call-matrix .call-coef{color:var(--research-ink);margin-right:.3em}.research-app .call-matrix .call-stack{white-space:nowrap;flex-direction:column;display:flex}.research-app .call-matrix .call-hatch,.research-app .call-matrix tbody tr>td.call-hatch{background-image:var(--call-hatch)}.research-app .call-matrix .call-note{color:var(--research-muted);font-size:var(--type-secondary);background:var(--rowbg);padding-right:.4em}.research-app .call-matrix .call-hatch .call-note{color:var(--call-open);font-weight:var(--weight-medium)}.research-app .call-matrix .call-note .cite-key{font-family:var(--font-mono)}.research-app .call-matrix .call-words{color:var(--research-muted);font-size:var(--type-secondary);margin-left:.4em}.research-app .call-matrix .call-ftag,.research-app .call-matrix .call-phase-word{color:var(--research-muted);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;text-transform:uppercase}.research-app .call-matrix .call-ftag{margin-left:.55em}.research-app .call-matrix .call-stack-tagged{grid-template-columns:max-content 1fr;align-items:baseline;column-gap:.9em;display:grid}.research-app .call-matrix .call-stack-tagged>.call-ftag{justify-self:end;margin-left:0}.research-app .call-matrix .call-phase-word{margin-right:.6em}.research-app .call-matrix td.call-grid-cell{padding:0}.research-app .call-matrix .call-grid{line-height:calc(var(--type-body) * 1.5);align-items:stretch;display:grid}.research-app .call-matrix .call-grid-line{display:contents}.research-app .call-matrix :is(.call-grid-measure,.call-grid-role){color:var(--research-muted);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;text-transform:uppercase;white-space:nowrap;padding:8px 11px 2px}.research-app .call-matrix .call-grid-measure{text-align:center;padding-top:10px;padding-bottom:0}.research-app .call-matrix .call-grid-line>span{--pt:0px;--pb:0px;padding:var(--pt) 11px var(--pb);white-space:nowrap;background-color:var(--rowbg)}.research-app .call-matrix .call-grid-line.line-first>span{--pt:6px}.research-app .call-matrix .call-grid-line.line-last>span{--pb:10px}.research-app .count-lines{line-height:calc(var(--type-body) * 1.5);grid-template-columns:max-content max-content;align-items:baseline;gap:5px 10px;display:grid}.research-app .count-phase{color:var(--research-muted);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;text-transform:uppercase;white-space:nowrap}.research-app .count-value{text-indent:-1.2em;white-space:normal;width:max-content;max-width:22em;padding-left:1.2em}.research-app .count-rounds{color:var(--research-muted);font-size:var(--type-body);display:block}.research-app .count-per{color:var(--research-muted);font-size:var(--type-body);white-space:nowrap;margin-left:.35em}.research-app .count-gloss{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-heading);display:block}.research-app .count-excl{color:#885f14;font-size:var(--type-secondary);font-weight:var(--weight-medium);white-space:nowrap;margin-left:.45em}.research-app .count-excl:before{content:"";vertical-align:-.08em;background-image:repeating-linear-gradient(135deg,#9a6a1229 0 1.5px,#0000 1.5px 5px);border-radius:2px;width:9px;height:9px;margin-right:.35em;display:inline-block;box-shadow:inset 0 0 0 .5px #9a6a1299}.research-app .count-block{font-style:normal}.research-app .count-op{white-space:normal}.research-app .call-matrix :is(.count-value,.rounds-lines) .block-term{background:var(--call-chip);box-shadow:inset 0 0 0 .5px var(--call-chip-edge);border-radius:4px;padding:0 .35em}.research-app .call-matrix :is(.count-value,.rounds-lines) .block-term.block-open{box-shadow:none;outline:1px dashed var(--call-open-edge);outline-offset:-1px;background:0 0}.research-app .call-matrix :is(.count-value,.rounds-lines) .block-name{color:var(--call-block);font-weight:var(--weight-semibold)}.research-app .call-matrix :is(.count-value,.rounds-lines) .block-open .block-name{color:var(--call-open)}.research-app .call-matrix .rounds-lines{line-height:calc(var(--type-body) * 1.5);white-space:nowrap}.research-app .call-matrix .rounds-lines .cell-line{display:block}.research-app .call-matrix .rounds-lines .cost-plus{white-space:pre}.research-app .call-card{--rowbg:var(--research-surface);z-index:50;width:max-content;max-width:320px;color:var(--research-ink);background:var(--research-surface);border:1px solid var(--research-line-strong);font-size:var(--type-body);font-weight:var(--weight-regular);letter-spacing:normal;text-align:left;text-transform:none;white-space:normal;border-radius:6px;padding:7px 10px 6px;line-height:1.45;animation:90ms ease-out call-card-in;position:fixed;box-shadow:0 6px 18px #0000001f}.research-app .call-card.is-full{overscroll-behavior:contain;max-width:380px;overflow-y:auto}.research-app .call-card .formula{white-space:normal}.research-app .call-card:focus{outline:none}@keyframes call-card-in{0%{opacity:0;transform:translateY(-2px)}}@media (prefers-reduced-motion:reduce){.research-app .call-card{animation:none}}.research-app .call-card p{margin:0}.research-app .call-card-head{font-weight:var(--weight-semibold);line-height:calc(var(--type-body) * 1.5);align-items:flex-start;gap:6px;display:flex}.research-app .call-card-head .call-pill{flex:none}.research-app .call-card-name{min-width:0}.research-app .call-card-name .formula{font-weight:var(--weight-regular)}.research-app .call-card-opened{color:var(--call-open);font-weight:var(--weight-medium)}.research-app .call-card-key{color:var(--research-info);font-family:var(--font-mono);font-size:var(--type-secondary);font-weight:var(--weight-medium)}.research-app .call-card-why{margin-top:3px}.research-app .call-card-then{color:var(--research-muted);font-size:var(--type-secondary);margin-top:3px;line-height:1.4}.research-app .call-card-tag{color:var(--research-muted);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;text-transform:uppercase;margin-right:.6em}.research-app .call-card-foot{color:var(--research-muted);font-size:var(--type-secondary);border-top:.5px solid var(--research-line);justify-content:space-between;align-items:baseline;gap:12px;margin-top:6px;padding-top:5px;line-height:1.4;display:flex}.research-app .call-card-column{font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;text-transform:uppercase;margin-right:.35em}.research-app .call-card-as{white-space:nowrap}.research-app .call-card-sep{margin:0 .55em}.research-app .call-card-more{float:right;color:var(--research-muted);font-family:inherit;font-size:var(--type-secondary);font-weight:var(--weight-semibold);line-height:inherit;cursor:pointer;background:0 0;border:0;margin:0 0 0 14px;padding:0}.research-app .call-card-foot .call-card-more{float:none;flex:none;margin-left:auto}.research-app .call-card-more:after{content:"";border-bottom:1px solid;border-right:1px solid;width:4px;height:4px;margin:0 1px 1px 5px;display:inline-block;transform:rotate(-45deg)}.research-app .call-card-more:hover,.research-app .call-card-more:focus-visible{color:var(--research-ink);outline:none}.research-app .call-card-phase{white-space:nowrap}.research-app .call-card-full{font-size:var(--type-body)}.research-app .call-card-full .block-cite a{color:var(--research-info);font-family:var(--font-mono);font-size:var(--type-secondary);text-decoration:none}.research-app .call-matrix .call-node{cursor:default;outline:none}.research-app .call-matrix :is(.call-count,.call-phase)[data-card],.research-app .call-matrix .count-excl-name{cursor:default}:is(.research-app .call-matrix .call-node:hover .call-pill,.research-app .call-matrix .call-ln:has(>.call-count:hover) .call-node .call-pill,.research-app .call-matrix .block-term[data-card]:hover){outline-offset:1px;outline:1px solid #0c447c4d}.research-app .call-matrix :is(.call-node.is-on,.call-node:focus-visible) .call-pill,.research-app .call-matrix .block-term[data-card]:is(.is-on,:focus-visible){outline:1px solid var(--research-info);outline-offset:1px}.research-app .call-matrix .call-node.is-twin .call-pill{outline:1px dashed var(--research-info);outline-offset:1px}.research-app .call-matrix .call-phase.is-on{color:var(--research-ink)}.research-app .call-matrix .count-excl-name{border-radius:2px}.research-app .call-matrix .count-excl-name:hover,.research-app .call-matrix .count-excl-name:is(.is-on,:focus-visible){outline:1px solid var(--research-info);outline-offset:1px}.research-app .guide{--g-role:#2f6f9f;--g-own:#2c7a4b;--g-block:#b8860b;--g-count:#8a3f78;--g-phase:#3d4f8a;--g-inner:#6b4e9b;--g-abstract:#b0452f;--g-shared:#5f6b78;--g-closed:#6f7a1f;--g-messages:#1f7a7a;--g-excluded:#c2457a;--g-together:#1b8db0;max-width:100%;margin:10px 0 12px;overflow-x:auto}.notation-conventions dd>details{flex:100%;min-width:0}.research-app .guide-grid{--rowbg:var(--research-surface);--call-pill-h:17px;font-size:var(--type-body);line-height:calc(var(--type-body) * 1.5);background:var(--rowbg);grid-template-columns:max-content max-content max-content max-content minmax(400px,1fr);align-items:stretch;display:grid}.research-app .guide-grid .call-pill{border-radius:9px;line-height:17px}.research-app .guide-line{display:contents}.research-app .guide-line>span{--pt:0px;--pb:6px;padding:var(--pt) 11px var(--pb);white-space:nowrap}.research-app .guide-line.guide-first>span{--pt:10px;border-top:.5px solid var(--research-line)}.research-app .guide-line.guide-head>span{--pb:2px}.research-app .guide-line>.guide-k{color:var(--research-muted);padding-left:0}.research-app .guide-line>.call-tree-cell{padding-right:60px}.research-app .guide-h{color:var(--research-muted)}.research-app .guide-measure{color:var(--research-muted);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;text-align:center;text-transform:uppercase;grid-column:span 2}.research-app .guide-line>.guide-span{grid-column:span 2}.research-app .guide-line>.guide-count{grid-column:span 1}.research-app .guide-count .count-lines{grid-template-columns:5.4em max-content}.research-app .guide-why{color:var(--research-muted);font-size:var(--type-secondary);white-space:nowrap;font-style:italic}.research-app .guide-caret-open:before{transform:rotate(90deg)}.research-app .guide-phase-mark{padding-left:.5em}.research-app .guide-mark{--g:var(--research-ink);background:color-mix(in srgb, var(--g) 13%, transparent);box-shadow:inset 0 -1.5px 0 var(--g);border-radius:2px;padding:0 .15em}.research-app .guide-mark .call-pill{vertical-align:baseline;margin-top:0}.research-app .call-caret.guide-mark{padding:0}.research-app .guide-mark .block-term{background:0 0;padding:0}.research-app .guide-note{--g:var(--research-ink);color:var(--research-ink);font-size:var(--type-secondary);white-space:normal;align-items:baseline;gap:8px;padding-top:2px;line-height:1.45;display:flex}.research-app .guide-line>.guide-note{white-space:normal}.research-app .guide-lead{border-top:1px solid var(--g);flex:40px;min-width:40px;height:0;transform:translateY(-.3em)}.research-app .guide-lead:before{content:"";background:var(--g);border-radius:50%;width:5px;height:5px;margin:-3px 0 0 -2px;display:block}.research-app .guide-note-text{border-left:2px solid var(--g);flex:0 440px;min-width:340px;padding-left:7px}.research-app .guide-t-role{--g:var(--g-role)}.research-app .guide-t-own{--g:var(--g-own)}.research-app .guide-t-block{--g:var(--g-block)}.research-app .guide-t-count{--g:var(--g-count)}.research-app .guide-t-phase{--g:var(--g-phase)}.research-app .guide-t-inner{--g:var(--g-inner)}.research-app .guide-t-abstract{--g:var(--g-abstract)}.research-app .guide-t-shared{--g:var(--g-shared)}.research-app .guide-t-closed{--g:var(--g-closed)}.research-app .guide-t-messages{--g:var(--g-messages)}.research-app .guide-t-excluded{--g:var(--g-excluded)}.research-app .guide-t-together{--g:var(--g-together)}.info-tip{color:var(--research-muted);margin-left:.3em;font-size:.9em}.info-tip-mark{vertical-align:-.12em;width:1.05em;height:1.05em;font-family:var(--font-ui);font-size:.82em;font-style:normal;font-weight:var(--weight-semibold);cursor:help;border:1px solid;border-radius:50%;justify-content:center;align-items:center;line-height:1;display:inline-flex}.info-tip:hover,.info-tip:focus-visible{color:var(--research-ink);outline:none}.info-tip.info-tip-warning{color:var(--pm-open,#b0452f)}.info-tip-body{z-index:50;color:var(--research-ink);background:var(--research-surface);border:1px solid var(--research-line-strong);font-size:var(--type-body);font-weight:var(--weight-regular);line-height:var(--leading-body);letter-spacing:normal;text-transform:none;text-align:left;white-space:normal;border-radius:6px;padding:8px 10px;position:fixed;box-shadow:0 6px 18px #0000001f}.research-app .comparison-table td.cost-cell{min-width:150px}.research-app .comparison-table .cost-label{color:var(--research-muted);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;text-transform:uppercase;margin-right:6px}.research-app .comparison-search{min-width:260px}.research-app .universal-map-focus-select input{width:100%;min-height:36px;color:var(--research-ink);background:var(--research-surface);border:.5px solid var(--research-line-strong);font-size:var(--type-control);font-weight:var(--weight-semibold);letter-spacing:normal;line-height:var(--leading-control);text-transform:none;border-radius:8px;margin-top:3px;padding:6px 9px;display:block}.cell-clamp{-webkit-line-clamp:3;line-clamp:3;-webkit-box-orient:vertical;display:-webkit-box;overflow:hidden}.cell-clamp-2{-webkit-line-clamp:2;line-clamp:2;-webkit-box-orient:vertical;display:-webkit-box;overflow:hidden}.mpc-workspace .mpc-model-matrix table{min-width:1800px}.mpc-workspace .mpc-implementation-view,.mpc-workspace .mpc-benchmark-view{background:var(--research-bg)}.mpc-workspace .mpc-implementation-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:10px;padding:14px;display:grid}.mpc-workspace .mpc-implementation-grid>article{padding:15px}.mpc-workspace .mpc-implementation-grid article>header{color:var(--research-hint);justify-content:space-between;font-size:9.5px;display:flex}.mpc-workspace .mpc-implementation-grid h2{margin:8px 0 3px;font-family:inherit;font-size:17px;font-weight:600}.mpc-workspace .mpc-implementation-grid article>p{color:var(--research-muted);margin:0 0 12px;font-size:10.5px}.mpc-workspace .mpc-implementation-grid dl{grid-template-columns:1fr 1fr;gap:6px;display:grid}.mpc-workspace .mpc-implementation-grid dl>div{background:var(--research-bg);border-radius:6px;padding:8px}.mpc-workspace .mpc-implementation-grid dt{color:var(--research-hint);text-transform:uppercase;font-size:8.5px}.mpc-workspace .mpc-implementation-grid dd{margin:3px 0 0;font-size:10px;line-height:1.35}.mpc-workspace .mpc-implementation-grid article>section{margin-top:13px}.mpc-workspace .mpc-implementation-grid article>section button{color:var(--research-info);background:var(--research-info-bg);font-size:var(--type-control);font-weight:var(--weight-semibold);line-height:var(--leading-control);border:.5px solid #0000;border-radius:6px;margin:0 5px 5px 0;padding:5px 7px}.mpc-workspace .mpc-implementation-grid article>section button:hover{border-color:var(--research-info)}.mpc-workspace .mpc-implementation-grid article>footer{border-top:.5px solid var(--research-line);justify-content:space-between;align-items:center;margin-top:12px;padding-top:11px;display:flex}.mpc-workspace .mpc-implementation-grid article>footer button{color:var(--research-info);font-size:var(--type-control);font-weight:var(--weight-semibold);line-height:var(--leading-control);background:0 0;border:0;padding:0}.mpc-workspace .mpc-implementation-grid article>footer a{color:var(--research-muted);font-size:10px}.mpc-workspace .mpc-benchmark-card{margin:14px;overflow:hidden}.mpc-workspace .mpc-benchmark-card>header{background:var(--research-bg);border-bottom:.5px solid var(--research-line);justify-content:space-between;align-items:flex-start;padding:15px 17px;display:flex}.mpc-workspace .mpc-benchmark-card>header span{color:#8a6239;letter-spacing:.06em;text-transform:uppercase;font-size:9px;font-weight:600}.mpc-workspace .mpc-benchmark-card h2{margin:5px 0 0;font-family:inherit;font-size:17px;font-weight:600}.mpc-workspace .mpc-benchmark-body{grid-template-columns:1.15fr .9fr 1fr;display:grid}.mpc-workspace .mpc-benchmark-body>section{border-right:.5px solid var(--research-line);padding:14px 16px}.mpc-workspace .mpc-benchmark-body>section:last-child{border:0}.mpc-workspace .mpc-benchmark-body section>div{border-bottom:.5px solid var(--research-line);padding:6px 0}.mpc-workspace .mpc-benchmark-body section strong{font-size:10px;font-weight:600}.mpc-workspace .mpc-benchmark-body section p{color:var(--research-muted);margin:3px 0;font-size:10px;line-height:1.45}.mpc-workspace .mpc-benchmark-body section button{width:100%;color:var(--research-info);background:var(--research-bg);border:.5px solid var(--research-line);font-size:var(--type-control);text-align:left;font-weight:var(--weight-semibold);line-height:var(--leading-control);border-radius:6px;margin-bottom:6px;padding:7px 8px;display:block}.mpc-workspace .mpc-benchmark-body section button:hover{background:var(--research-info-bg);border-color:var(--research-info)}.mpc-workspace .mpc-benchmark-body li{color:var(--research-muted);margin-bottom:6px;font-size:10px;line-height:1.4}.mpc-workspace .mpc-benchmark-card details{border-top:.5px solid var(--research-line);padding:11px 15px}.mpc-workspace .mpc-benchmark-card summary{color:var(--research-info);font-size:10px;font-weight:600}.mpc-workspace .mpc-benchmark-card details dl{grid-template-columns:repeat(3,1fr);gap:6px;display:grid}.mpc-workspace .mpc-benchmark-card details dl>div{background:var(--research-bg);border-radius:5px;padding:7px}.mpc-workspace .mpc-benchmark-card details dt{color:var(--research-hint);text-transform:uppercase;font-size:8.5px}.mpc-workspace .mpc-benchmark-card details dd{margin:3px 0 0;font-size:9.5px;line-height:1.4}.mpc-workspace .mpc-source-link{color:var(--research-info);margin-top:6px;font-size:9px;line-height:1.4;display:block}@media (width<=1180px){.research-app .anatomy-layout{grid-template-columns:1fr}.research-app .anatomy-profile{position:static}.mpc-workspace .mpc-implementation-grid,.mpc-workspace .mpc-benchmark-body{grid-template-columns:1fr}.mpc-workspace .mpc-benchmark-body>section{border-right:0;border-bottom:.5px solid var(--research-line)}}@media (width<=760px){.mpc-workspace .research-topbar{grid-template-columns:1fr auto;min-height:58px;padding:0 12px}.mpc-workspace .research-scope{display:none}.research-app .anatomy-view>.view-toolbar{flex-direction:column;align-items:stretch}.research-app .anatomy-view>.view-toolbar label{min-width:0}.research-app .anatomy-layer{grid-template-columns:32px minmax(0,1fr)}.research-app .anatomy-layer>section{grid-column:2}.research-app .comparison-matrix-note{flex-direction:column;align-items:flex-start;gap:4px}.mpc-workspace .mpc-benchmark-card details dl{grid-template-columns:1fr}}@media (width<=520px){.research-app .anatomy-layer{display:block}.research-app .anatomy-layer>em{margin-bottom:5px;display:block}.research-app .anatomy-layer>section{margin-top:8px}.comparison-modes{grid-template-columns:repeat(2,minmax(165px,1fr));padding:0 5px}.mpc-workspace .mpc-implementation-grid dl{grid-template-columns:1fr}}.universal-map{--map-axis:54px;color:var(--research-ink);background:var(--research-surface)}.universal-map-toolbar{background:var(--research-bg);border-bottom:.5px solid var(--research-line);grid-template-columns:minmax(240px,1fr) minmax(200px,250px) auto;align-items:end;gap:12px;padding:13px 15px;display:grid}.universal-map-modes{background:var(--research-surface);border:.5px solid var(--research-line-strong);border-radius:8px;grid-template-columns:repeat(3,minmax(0,1fr));display:grid;overflow:hidden}.universal-map-modes button{min-height:34px;color:var(--research-muted);font-size:var(--type-control);font-weight:var(--weight-semibold);white-space:nowrap;line-height:var(--leading-control);background:0 0;border:0;padding:6px 10px}.universal-map-modes button+button{border-left:.5px solid var(--research-line)}.universal-map-modes button:hover,.universal-map-modes button[aria-pressed=true]{color:var(--research-info);background:var(--research-info-bg)}.universal-map-focus-select{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.04em;text-transform:uppercase}.universal-map-focus-select select{width:100%;min-height:36px;color:var(--research-ink);background:var(--research-surface);border:.5px solid var(--research-line-strong);font-size:var(--type-control);text-transform:none;font-weight:var(--weight-semibold);line-height:var(--leading-control);border-radius:8px;margin-top:3px;padding:6px 9px;display:block}.universal-map-focus-select select:disabled{color:var(--research-hint);background:#f2f2ee}.universal-map-scroll{overscroll-behavior-x:contain;scrollbar-color:#00000038 transparent;scrollbar-width:thin;background:#fbfbf8;position:relative;overflow:auto hidden}.universal-map-track{min-width:100%;position:relative;overflow:visible}.universal-map-axis{z-index:4;height:var(--map-axis);color:var(--research-hint);border-bottom:.5px solid var(--research-line);font-family:var(--font-mono);font-size:var(--type-meta);font-weight:var(--weight-semibold);background:#f7f7f3;position:absolute;top:0;left:0;right:0}.universal-map-axis-span{border-top:1px solid var(--research-line-strong);height:0;position:absolute;bottom:9px}.universal-map-axis span{position:absolute;top:18px;transform:translate(-50%)}.universal-map-axis span:after{width:1px;height:calc(var(--map-height) - 40px);content:"";background:#2b3e490e;position:absolute;top:22px;left:50%}.universal-map-axis-break{color:var(--research-hint);font-size:var(--type-section-title);letter-spacing:normal;font-style:normal;position:absolute;top:15px;transform:translate(-50%)}.universal-map-band{z-index:0;border-bottom:.5px solid var(--research-line);position:absolute;left:0;right:0}.research-app{--band-1:#f8f8f5;--band-2:#f5f8f9;--band-3:#f8f6f2}.universal-map-band-1{background:var(--band-1)}.universal-map-band-2{background:var(--band-2)}.universal-map-band-3{background:var(--band-3)}.universal-map-sticky-labels{z-index:10;pointer-events:auto;width:248px;position:sticky;left:0}.universal-map-sticky-axis{height:var(--map-axis);color:var(--research-hint);border-right:.5px solid var(--research-line);border-bottom:.5px solid var(--research-line);font-size:var(--type-meta);background:#f7f7f3;align-items:center;padding:0 18px;display:flex}.universal-map-sticky-band{border-bottom:.5px solid var(--research-line);grid-template-columns:1fr;width:248px;display:grid}.universal-map-sticky-band>header{background:inherit;border-right:.5px solid var(--research-line);flex-direction:column;justify-content:center;height:100%;padding:11px 14px 11px 18px;display:flex}.universal-map-sticky-band>header span{color:var(--research-hint);font-size:var(--type-graph-eyebrow);font-weight:var(--weight-graph);letter-spacing:.07em;text-transform:uppercase}.universal-map-sticky-band>header strong{font-size:var(--type-section-title);font-weight:var(--weight-graph);line-height:var(--leading-heading);margin-top:4px}.universal-map-sticky-band>header small{color:var(--research-muted);font-size:var(--type-graph-label);line-height:var(--leading-heading);margin-top:4px}.universal-map-edges{z-index:2;pointer-events:none;position:absolute;top:0;left:0;overflow:visible}.universal-map-edge-stroke{fill:none;stroke-width:1.25px;stroke-opacity:.72;pointer-events:none}.universal-map-edge.focused .universal-map-edge-stroke{stroke-width:2.1px;stroke-opacity:.92}.universal-map-edge-hit{fill:none;stroke:#0000;stroke-width:14px;pointer-events:stroke;cursor:help}.universal-map-edge:focus-within .universal-map-edge-stroke{stroke-width:2.1px;stroke-opacity:.92}.universal-paper-link{fill:none;stroke:#65747c;stroke-dasharray:2 3;stroke-opacity:.18;stroke-width:1px}.universal-paper-link.focused{stroke:#264e63;stroke-opacity:.8;stroke-width:1.6px}.universal-map-nodes{z-index:5;pointer-events:none;position:absolute;inset:0}.universal-map-node{--node-color:#667784;pointer-events:auto;background:0 0;border:0;border-radius:50%;width:16px;height:16px;padding:0;position:absolute;transform:translate(-50%,-50%)}.universal-map-dot{background:var(--node-color);box-shadow:0 0 0 1px var(--node-color);border:2px solid #fbfbf8;border-radius:50%;transition:transform .12s,box-shadow .12s,opacity .12s;display:block;position:absolute;inset:1px}.universal-map-node.related .universal-map-dot{box-shadow:0 0 0 1.5px var(--node-color);background:#fbfbf8;border-color:#fbfbf8}.universal-map-node.mode-muted{opacity:.25}.universal-map-node.mode-active{opacity:1}.universal-map-node:hover,.universal-map-node.focused,.universal-map-node.neighbor,.universal-map-node.paper-peer{z-index:8;opacity:1}.universal-map-node:hover .universal-map-dot{box-shadow:0 0 0 2px #fbfbf8, 0 0 0 4px var(--node-color);transform:scale(1.42)}.universal-map-node:focus-visible .universal-map-dot{box-shadow:0 0 0 2px #fbfbf8, 0 0 0 4px var(--node-color)}.universal-map-node.paper-peer .universal-map-dot{box-shadow:0 0 0 2px #fbfbf8,0 0 0 3px #49697b}.universal-map-node.path-step{z-index:7;width:22px;height:22px}.universal-map-node.path-step .universal-map-dot{color:#fff;background:color-mix(in srgb, var(--node-color) 78%, #1d2433);box-shadow:0 0 0 1px var(--node-color);font-size:var(--type-graph-year);font-weight:var(--weight-semibold);border-color:#fbfbf8;place-items:center;line-height:1;display:grid}.universal-map-node:hover.path-step .universal-map-dot{transform:scale(1.18)}.universal-map-node.path-step.label-above .universal-map-node-label{bottom:29px}.universal-map-node.path-step.label-below .universal-map-node-label{top:24px}.universal-map-path path{fill:none;stroke-width:2.4px;stroke-opacity:.7;stroke-linecap:round}.universal-map-node-label{color:#324b58;width:max-content;max-width:132px;font-size:var(--type-graph-label);font-weight:var(--weight-graph);line-height:var(--leading-graph);text-align:center;text-shadow:0 1px #fbfbf8,1px 0 #fbfbf8,0 -1px #fbfbf8,-1px 0 #fbfbf8;flex-direction:column;display:flex;position:absolute;left:50%;transform:translate(-50%)}.universal-map-node.related .universal-map-node-label{color:var(--research-muted);font-weight:var(--weight-medium)}.universal-map-node-label small{color:var(--research-hint);font-size:var(--type-graph-year);font-weight:var(--weight-medium);margin-top:1px}.universal-map-node.label-above .universal-map-node-label{bottom:26px}.universal-map-node.label-below .universal-map-node-label{top:19px}.universal-map-node.mode-muted .universal-map-node-label{display:none}.universal-map-node .universal-map-node-label{background:var(--label-bg,#fbfbf8);border-radius:3px;padding:0 3px}.universal-map-hover-card{z-index:60;border:.5px solid var(--research-line-strong);pointer-events:auto;background:#fffffcfb;border-radius:9px;flex-direction:column;width:318px;max-height:350px;padding:12px;display:flex;position:fixed;overflow-y:auto;box-shadow:0 12px 32px #1e303a29}.universal-map-hover-card.pinned{border-color:color-mix(in srgb, var(--research-info) 55%, var(--research-line-strong));box-shadow:0 14px 36px #1e303a33}.universal-map-hover-card:before{content:"";background:#fffffcfb;width:10px;height:10px;position:absolute;top:32px;transform:rotate(45deg)}.universal-map-hover-card.opens-right:before{border-bottom:.5px solid var(--research-line-strong);border-left:.5px solid var(--research-line-strong);left:-6px}.universal-map-hover-card.opens-left:before{border-top:.5px solid var(--research-line-strong);border-right:.5px solid var(--research-line-strong);right:-6px}.universal-map-hover-card>header{justify-content:space-between;align-items:center;gap:10px;display:flex}.universal-map-hover-card>header>span{color:var(--research-hint);font-size:var(--type-graph-meta);font-weight:var(--weight-semibold);letter-spacing:.055em;text-transform:uppercase}.universal-map-hover-card>header>button{width:22px;height:22px;color:var(--research-muted);font-size:var(--type-symbol);background:0 0;border:0;border-radius:50%;flex:0 0 22px;place-items:center;padding:0;line-height:1;display:grid}.universal-map-hover-card>header>button:hover{color:var(--research-ink);background:var(--research-bg)}.universal-map-hover-card>strong{font-size:var(--type-view-title);font-weight:var(--weight-semibold);margin-top:4px}.universal-map-hover-card>small{color:var(--research-muted);font-size:var(--type-graph-label);line-height:var(--leading-heading);margin-top:2px}.universal-map-hover-card>div{border-top:.5px solid var(--research-line);flex-direction:column;gap:3px;margin-top:9px;padding-top:8px;display:flex}.universal-map-hover-card em{color:var(--research-hint);font-size:var(--type-graph-eyebrow);font-style:normal;font-weight:var(--weight-semibold);letter-spacing:.05em;text-transform:uppercase}.universal-map-hover-card>div>button{color:var(--research-info);font-size:var(--type-graph-label);text-align:left;background:0 0;border:0;border-radius:4px;padding:4px 5px}.universal-map-hover-card>div>button:hover{background:var(--research-info-bg)}.universal-map-hover-card .universal-map-citation{color:var(--research-info);white-space:nowrap;font-size:.88em;text-decoration:none}.universal-map-hover-card>small>a{color:inherit;text-decoration:none}.universal-map-hover-card>small>a:hover{color:var(--research-info);text-decoration:underline}.universal-map-hover-card .universal-map-preview-actions{flex-flow:wrap;gap:6px}.universal-map-hover-card .universal-map-preview-actions>button{border:.5px solid var(--research-line);padding:5px 8px}.universal-map-hover-card .universal-map-preview-related>button{flex-direction:column;gap:2px;display:flex}.universal-map-hover-card .universal-map-preview-related>button>small{color:var(--research-muted);font-size:inherit;line-height:var(--leading-heading)}.universal-map-hover-card .universal-map-preview-rationale{gap:6px}.universal-map-hover-card .universal-map-preview-rationale p,.universal-map-hover-card>div>p{color:var(--research-muted);font-size:var(--type-graph-label);line-height:var(--leading-body);margin:0}.universal-map-hover-card.universal-map-edge-preview,.universal-map-hover-card.universal-map-edge-preview:before{background:#f5faf6;border-color:#dfe9e2}.universal-map-edge-preview>strong{font-size:var(--type-secondary);line-height:var(--leading-heading)}.universal-map-edge-preview>small{margin-top:9px}@media (width<=1260px){.universal-map-toolbar{grid-template-columns:minmax(210px,1fr) minmax(190px,230px) auto}}@media (width<=760px){.universal-map-toolbar{grid-template-columns:1fr;align-items:stretch}.universal-map-modes{grid-column:auto;grid-template-columns:repeat(3,1fr);display:grid}.universal-map-sticky-labels,.universal-map-sticky-band{width:132px}.universal-map-sticky-band small{display:none}.universal-map-sticky-band{grid-template-columns:1fr}.universal-map-sticky-band>header{padding-left:12px}.universal-map-hover-card{width:280px}}.universal-map-toolbar.map-focus-toolbar{padding:10px 15px;display:block}.map-focus-chips{flex-wrap:wrap;align-items:center;gap:6px;min-width:0;display:flex}.map-focus-chips>span{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.04em;text-transform:uppercase;margin-right:2px}.map-focus-chips button{color:var(--research-muted);background:var(--research-surface);border:.5px solid var(--research-line-strong);font-size:var(--type-control);font-weight:var(--weight-semibold);line-height:var(--leading-control);border-radius:6px;padding:4px 9px}.map-focus-chips button:hover{color:var(--research-info);border-color:var(--research-info)}.map-focus-chips button[aria-pressed=true]{color:var(--research-info);background:var(--research-info-bg);border-color:var(--research-info)}.map-focus-chips>.map-focus-set{color:inherit;font-size:inherit;font-weight:inherit;letter-spacing:normal;text-transform:none;flex-wrap:wrap;align-items:center;gap:6px;margin:0 0 0 6px;display:inline-flex}.map-focus-set>.map-focus-group{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.04em;text-transform:uppercase}.map-focus-chips button[data-swatch]{align-items:center;gap:6px;display:inline-flex}.map-focus-chips button[data-swatch]:before{background:var(--swatch);content:"";border-radius:50%;flex:none;width:8px;height:8px}.map-focus-chips button[data-swatch]:hover{color:var(--research-ink);border-color:color-mix(in srgb, var(--swatch) 60%, transparent)}.map-focus-chips button[data-swatch][aria-pressed=true]{color:var(--research-ink);background:color-mix(in srgb, var(--swatch) 12%, var(--research-surface));border-color:color-mix(in srgb, var(--swatch) 55%, transparent)}.map-focus-kind{--focus-kind:var(--research-muted);color:color-mix(in srgb, var(--focus-kind) 70%, var(--research-ink));background:color-mix(in srgb, var(--focus-kind) 10%, var(--research-surface));border:.5px solid color-mix(in srgb, var(--focus-kind) 35%, transparent);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.03em;vertical-align:1px;border-radius:5px;margin-right:7px;padding:1px 7px;display:inline-block}.map-path-steps{background:var(--research-surface);border-bottom:.5px solid var(--research-line);flex-wrap:wrap;gap:5px 6px;margin:0;padding:7px 15px 9px;list-style:none;display:flex}.map-path-steps button{color:var(--research-ink);background:color-mix(in srgb, var(--question) 7%, var(--research-surface));border:.5px solid color-mix(in srgb, var(--question) 38%, transparent);font-size:var(--type-secondary);font-weight:var(--weight-medium);line-height:var(--leading-control);text-align:left;cursor:pointer;border-radius:6px;align-items:baseline;gap:6px;padding:3px 8px;display:inline-flex}.map-path-steps button:hover{border-color:var(--question)}.map-path-steps b{color:color-mix(in srgb, var(--question) 70%, var(--research-ink));font-weight:var(--weight-semibold)}.map-path-steps small{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold)}.map-density{background:var(--research-surface);border:.5px solid var(--research-line-strong);border-radius:8px;flex:none;display:inline-flex;overflow:hidden}.map-density button{color:var(--research-muted);font-size:var(--type-control);font-weight:var(--weight-semibold);line-height:var(--leading-control);white-space:nowrap;background:0 0;border:0;padding:6px 11px}.map-density button+button{border-left:.5px solid var(--research-line)}.map-density button span{color:var(--research-hint);font-family:var(--font-mono);font-weight:var(--weight-medium);margin-left:5px}.map-density button:hover,.map-density button[aria-pressed=true]{color:var(--research-info);background:var(--research-info-bg)}.map-density button[aria-pressed=true] span{color:var(--research-info)}.map-reading-bar{background:var(--research-surface);border-bottom:.5px solid var(--research-line);justify-content:space-between;align-items:center;gap:8px 16px;padding:7px 15px;display:flex}.map-reading-note{min-width:0;color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body);margin:0}.map-reading-note strong{color:var(--research-ink);font-weight:var(--weight-semibold)}.map-density-block{flex-direction:column;flex:none;align-items:flex-end;gap:4px;display:flex}.map-coverage{color:var(--research-hint);font-size:var(--type-meta);line-height:var(--leading-body);text-align:right;margin:0}.map-coverage button{color:var(--research-info);font-size:var(--type-meta);font-weight:var(--weight-semibold);line-height:var(--leading-body);background:0 0;border:0;padding:0}.map-coverage button:hover{text-decoration:underline}.universal-map-toolbar.subfield-scope-bar{grid-template-columns:minmax(0,1fr) auto;align-items:center}.subfield-breadcrumb{min-width:0;color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body)}.subfield-breadcrumb strong{color:var(--research-ink);font-size:var(--type-section-title);font-weight:var(--weight-semibold)}.subfield-scope-actions{flex-wrap:wrap;justify-content:end;gap:6px 10px;display:flex}.subfield-scope-bar .universal-map-focus-select{min-width:240px;max-width:400px}.universal-map-toolbar.subfield-comparison-groups{grid-template-columns:minmax(210px,420px)}.subfield-coverage-note{color:var(--research-muted);border-bottom:.5px solid var(--research-line);font-size:var(--type-body);line-height:var(--leading-body);margin:0;padding:10px 18px}.subfield-coverage-note strong{color:var(--research-ink);font-weight:var(--weight-semibold)}.research-app .subfield-component-table{table-layout:fixed;min-width:620px;font-size:var(--type-body)}.subfield-component-table thead th:first-child{width:24%}.subfield-component-table thead th:nth-child(2){width:19%}.subfield-component-table thead th:nth-child(3){width:43%}.subfield-component-table thead th:nth-child(4){width:14%}.research-app .subfield-component-table th[scope=row]{color:var(--research-ink);background:var(--research-surface);border-color:var(--research-line);font-size:var(--type-body);letter-spacing:normal;text-transform:none;vertical-align:top;line-height:var(--leading-body);padding:11px;position:static}.research-app .subfield-component-table .subfield-record-link{width:auto;color:var(--research-info);font-size:var(--type-body);font-weight:var(--weight-semibold);line-height:var(--leading-body);text-align:left;cursor:pointer;background:0 0;border:0;padding:0;display:block}.subfield-component-table .subfield-record-link+.subfield-record-link{margin-top:6px}.subfield-component-table .subfield-record-link:hover{text-decoration:underline}.universal-map-offmap{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body);flex-direction:column;align-items:start;gap:8px;padding:12px 0 4px;display:flex}.universal-map-offmap button{color:var(--research-info);font-size:var(--type-secondary);font-weight:var(--weight-medium);line-height:var(--leading-body);text-align:left;background:0 0;border:0;padding:3px 0}.universal-map-offmap button:hover{text-decoration:underline}@media (width<=760px){.map-reading-bar{flex-direction:column;align-items:stretch}.map-density-block{align-items:flex-start}.map-coverage{text-align:left}.universal-map-toolbar.subfield-scope-bar{grid-template-columns:minmax(0,1fr)}.subfield-scope-actions{justify-content:start}.subfield-scope-bar .universal-map-focus-select{min-width:0;max-width:none}}.research-app .open-problem-view{min-width:0;color:var(--research-ink);font-family:var(--font-ui);font-size:var(--type-body);font-weight:var(--weight-regular);line-height:var(--leading-body);background:#fbfbf8}.open-problem-view .universal-map-modes{grid-template-columns:repeat(4,minmax(0,1fr))}.open-problem-view .universal-map-modes button>span{color:var(--research-hint);font-weight:var(--weight-regular)}.open-problem-view .universal-map-modes button[aria-pressed=true]>span{color:inherit}.open-problem-view .op-record-title{color:var(--research-ink);font-family:var(--font-ui);font-size:inherit;font-weight:var(--weight-semibold);line-height:var(--leading-heading);text-align:left;overflow-wrap:anywhere;background:0 0;border:0;padding:0;display:inline}.open-problem-view .op-citation{color:var(--research-info)}.open-problem-view .op-record-title:hover,.open-problem-view .op-source a:hover{color:var(--research-info);text-underline-offset:3px;text-decoration:underline}.open-problem-view :is(button,select,a,summary):focus-visible{outline:2px solid var(--research-info);outline-offset:2px}.open-problem-view .op-facts{border-top:.5px solid var(--research-line);grid-template-columns:repeat(auto-fill,minmax(150px,1fr));gap:9px 18px;margin:12px 0 0;padding:10px 0 0;display:grid}.open-problem-view .op-facts>div{min-width:0}.open-problem-view .op-facts dt{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;line-height:var(--leading-heading);text-transform:uppercase}.open-problem-view .op-facts dd{overflow-wrap:anywhere;font-size:var(--type-body);line-height:var(--leading-body);margin:2px 0 0}.open-problem-view .op-details{margin-top:10px}.open-problem-view .op-details>summary{cursor:pointer;width:fit-content;color:var(--research-info);font-size:var(--type-control);font-weight:var(--weight-semibold);line-height:var(--leading-control)}.open-problem-view .op-scope-note{border-left:2px solid var(--research-line-strong);color:var(--research-muted);margin-top:10px;padding-left:10px}.open-problem-view .op-scope-note>h4,.open-problem-view .op-boundaries h5{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;line-height:var(--leading-heading);text-transform:uppercase;margin:0 0 4px}.open-problem-view time{color:var(--research-hint);font-family:var(--font-mono);font-size:var(--type-meta);font-weight:var(--weight-semibold);line-height:var(--leading-heading);white-space:nowrap}.open-problem-view .op-source{color:var(--research-hint);font-size:var(--type-secondary);line-height:var(--leading-body);flex-wrap:wrap;align-items:baseline;gap:4px 12px;margin-top:8px;display:flex}.open-problem-view .op-source a{overflow-wrap:anywhere;min-width:0;color:var(--research-info);font-size:var(--type-secondary);flex:0 auto;text-decoration:none}.open-problem-view .op-source>span{overflow-wrap:anywhere}.open-problem-view .op-obstacles{gap:10px;margin-top:12px;display:grid}.open-problem-view .op-obstacle{background:var(--research-surface);border:.5px solid var(--research-line-strong);border-radius:9px;min-width:0;padding:12px 14px}.open-problem-view .op-kind{color:var(--research-hint);font-size:var(--type-graph-eyebrow);font-weight:var(--weight-semibold);letter-spacing:.06em;text-transform:uppercase}.open-problem-view .op-obstacle>h4{font-size:var(--type-section-title);font-weight:var(--weight-semibold);line-height:var(--leading-heading);margin:3px 0 8px}.open-problem-view .op-boundaries{grid-template-columns:repeat(2,minmax(0,1fr));gap:14px;margin:10px 0;display:grid}.open-problem-view .op-boundaries>div{border-top:.5px solid var(--research-line);min-width:0;padding-top:8px}.open-problem-view .op-empty{color:var(--research-muted);font-size:var(--type-body);line-height:var(--leading-body);margin:10px 0 0}.research-app{--pm-open:#b0452f;--pm-partial:#9a6a12;--pm-solved:#2c7a4b;--pm-refuted:#8a857c;--pm-route:#6b4e9b;--pm-impossible:#3d4f8a}.open-problem-view .pm-mark{width:1.15em;font-family:var(--font-mono);font-size:var(--type-body);font-weight:var(--weight-semibold);line-height:var(--leading-heading);text-align:center;flex:none;display:inline-block}.open-problem-view .pm-mark-open{color:var(--pm-open)}.open-problem-view .pm-mark-partial{color:var(--pm-partial)}.open-problem-view .pm-mark-solved{color:var(--pm-solved)}.open-problem-view .pm-mark-refuted{color:var(--pm-refuted)}.open-problem-view .pm-mark-impossible{color:var(--pm-impossible)}.object-drawer .panel-list .pm-mark{width:1.15em;font-family:var(--font-mono);font-weight:var(--weight-semibold);text-align:center;margin-right:3px;display:inline-block}.object-drawer .pm-mark-open{color:var(--pm-open)}.object-drawer .pm-mark-partial{color:var(--pm-partial)}.object-drawer .pm-mark-solved{color:var(--pm-solved)}.object-drawer .pm-mark-refuted{color:var(--pm-refuted)}.object-drawer .pm-mark-impossible{color:var(--pm-impossible)}.object-drawer:focus{outline:none}.open-problem-view.pm-index{gap:14px;padding:16px 22px 24px;display:grid}.open-problem-view .pm-legend{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body);flex-wrap:wrap;align-items:baseline;gap:4px 14px;display:flex}.open-problem-view .pm-legend>span{white-space:nowrap;align-items:baseline;gap:3px;display:inline-flex}.open-problem-view .pm-legend p{max-width:96ch;color:var(--research-hint);flex-basis:100%;margin:2px 0 0}.open-problem-view .pm-card{background:var(--research-surface);border:.5px solid var(--research-line-strong);border-radius:10px;min-width:0}.open-problem-view .pm-card-head{border-bottom:.5px solid var(--research-line);padding:14px 16px 12px}.open-problem-view .pm-kicker{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.06em;line-height:var(--leading-heading);text-transform:uppercase;align-items:baseline;gap:4px;display:flex}.open-problem-view .pm-card h2{font-size:var(--type-view-title);font-weight:var(--weight-semibold);line-height:var(--leading-heading);margin:4px 0 0}.open-problem-view .pm-card-title{color:var(--research-ink);font-family:var(--font-ui);font-size:var(--type-view-title);font-weight:var(--weight-semibold);line-height:var(--leading-heading);text-align:left;cursor:pointer;overflow-wrap:anywhere;background:0 0;border:0;padding:0}.open-problem-view .pm-card-title:hover{color:var(--research-info)}.open-problem-view .pm-card-summary{max-width:92ch;color:var(--research-muted);font-size:var(--type-body);line-height:var(--leading-body);margin:5px 0 0}.open-problem-view .pm-card-meta{color:var(--research-hint);font-size:var(--type-secondary);line-height:var(--leading-body);flex-wrap:wrap;gap:4px 16px;margin:8px 0 0;display:flex}.open-problem-view .pm-tree{margin:0;padding:6px 16px 12px;list-style:none}.open-problem-view .pm-tree-nested{border-left:1px solid var(--research-line);margin:0 0 2px 7px;padding:0 0 0 13px}.open-problem-view .pm-node{min-width:0}.open-problem-view .pm-row{align-items:baseline;gap:6px;padding:5px 0;display:flex}.open-problem-view .pm-row-text{min-width:0}.open-problem-view .pm-node-title{color:var(--research-ink);font-family:var(--font-ui);font-size:var(--type-body);font-weight:var(--weight-semibold);line-height:var(--leading-heading);text-align:left;cursor:pointer;overflow-wrap:anywhere;background:0 0;border:0;padding:0}.open-problem-view .pm-status-solved>.pm-row .pm-node-title,.open-problem-view .pm-status-refuted>.pm-row .pm-node-title{color:var(--research-muted);font-weight:var(--weight-medium)}.open-problem-view .pm-node-title:hover{color:var(--research-info);text-underline-offset:3px;text-decoration:underline}.open-problem-view .pm-row-meta{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body);flex-wrap:wrap;align-items:baseline;gap:2px 8px;margin-top:1px;display:flex}.open-problem-view .pm-axis{color:#4b5a63;font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.04em;line-height:var(--leading-body);text-transform:uppercase;white-space:nowrap;background:#eef1f2;border-radius:4px;padding:0 5px}.open-problem-view .pm-axis-route{color:var(--pm-route);background:#f2eef8}.open-problem-view .pm-change{overflow-wrap:anywhere}.open-problem-view .pm-cite{color:var(--research-info);font-family:inherit;font-size:inherit;font-weight:var(--weight-medium);line-height:inherit;cursor:pointer;background:0 0;border:0;padding:0;display:inline}.open-problem-view .pm-cite:hover{text-underline-offset:3px;text-decoration:underline}.open-problem-view .pm-caveat-mark{color:var(--pm-partial);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.04em;text-transform:uppercase;cursor:help;border-bottom:1px dotted}.open-problem-view .pm-also{color:var(--research-hint);font-style:italic}.open-problem-view .pm-reading{min-width:0}.open-problem-view .pm-overview{background:var(--research-surface);border-bottom:.5px solid var(--research-line);gap:12px;padding:18px 22px 22px;display:grid}.open-problem-view .pm-breadcrumb{color:var(--research-hint);font-size:var(--type-secondary);line-height:var(--leading-body);flex-wrap:wrap;align-items:baseline;gap:2px 6px;display:flex}.open-problem-view .pm-breadcrumb button,.open-problem-view .pm-relation button,.open-problem-view .pm-inherit button{color:var(--research-info);font-family:inherit;font-size:inherit;font-weight:var(--weight-semibold);line-height:inherit;text-align:left;cursor:pointer;overflow-wrap:anywhere;background:0 0;border:0;padding:0;display:inline}.open-problem-view .pm-breadcrumb button:hover,.open-problem-view .pm-relation button:hover,.open-problem-view .pm-inherit button:hover{text-underline-offset:3px;text-decoration:underline}.open-problem-view .pm-role{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.06em;line-height:var(--leading-heading);text-transform:uppercase;align-items:baseline;gap:4px;margin:0;display:flex}.open-problem-view .pm-relation,.open-problem-view .pm-inherit{max-width:92ch;color:var(--research-ink);font-size:var(--type-body);line-height:var(--leading-body);margin:0}.open-problem-view .pm-inherit{color:var(--research-muted)}.open-problem-view .pm-caveat{color:#6d4c0f;max-width:92ch;font-size:var(--type-body);line-height:var(--leading-body);background:#fbf5e6;border-left:3px solid #d9a441;border-radius:0 6px 6px 0;margin:0;padding:6px 10px}.open-problem-view .pm-profile{grid-template-columns:repeat(auto-fill,minmax(180px,1fr));max-width:860px;margin:0;padding-top:10px}.open-problem-view .pm-relaxed dt{color:var(--pm-partial)}.open-problem-view .pm-profile dd small{color:var(--research-hint);font-size:var(--type-secondary);line-height:var(--leading-body);margin-top:2px;display:block}.open-problem-view .op-facts dd .reader-text{font-size:var(--type-body)}.open-problem-view .pm-block{max-width:760px}.open-problem-view .pm-block>h3,.open-problem-view .pm-band>h4{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.06em;line-height:var(--leading-heading);text-transform:uppercase;margin:0 0 5px}.open-problem-view .pm-question{border-left:3px solid var(--research-info);background:#f4f7f9;border-radius:0 6px 6px 0;padding:10px 14px}.open-problem-view .pm-question .reader-text{font-weight:var(--weight-medium)}.open-problem-view .pm-resolution{border-left:3px solid var(--pm-solved);background:#f1f7f3;border-radius:0 6px 6px 0;padding:10px 14px}.open-problem-view .pm-band{border-bottom:.5px solid var(--research-line);padding:16px 22px 20px}.open-problem-view .pm-band>h3{color:var(--research-ink);font-size:var(--type-section-title);font-weight:var(--weight-semibold);line-height:var(--leading-heading);margin:0 0 10px}.open-problem-view .pm-band>h4{margin-top:14px}.open-problem-view .pm-band>h3+h4{margin-top:0}.open-problem-view .pm-band .pm-tree{padding:0}.open-problem-view .pm-sources{gap:10px;max-width:760px;margin:0;padding:0;list-style:none;display:grid}.open-problem-view .pm-sources>li{border-left:2px solid var(--research-line);min-width:0;padding-left:10px}.open-problem-view .pm-sources .reader-text{color:var(--research-muted);margin-top:3px}.open-problem-view .pm-related{gap:8px;max-width:760px;margin:0;padding:0;list-style:none;display:grid}.open-problem-view .pm-related a{color:var(--research-info);font-weight:var(--weight-semibold);overflow-wrap:anywhere;text-decoration:none}.open-problem-view .pm-related a:hover{text-underline-offset:3px;text-decoration:underline}.open-problem-view .op-formal>summary{margin-bottom:8px}.open-problem-view .pm-section-nav{flex-wrap:wrap;gap:6px;display:flex}.open-problem-view .pm-section-nav a{color:var(--research-muted);background:var(--research-surface);border:.5px solid var(--research-line-strong);font-size:var(--type-secondary);font-weight:var(--weight-medium);line-height:var(--leading-control);border-radius:6px;padding:3px 9px;text-decoration:none}.open-problem-view .pm-section-nav a:hover{color:var(--research-info);border-color:var(--research-info)}.open-problem-view .pm-section{gap:8px;scroll-margin-top:12px;display:grid}.open-problem-view .pm-section-title{color:var(--research-ink);border-top:.5px solid var(--research-line);font-size:var(--type-section-title);font-weight:var(--weight-semibold);line-height:var(--leading-heading);margin:6px 0 0;padding-top:12px}.open-problem-view .pm-section-note{max-width:92ch;color:var(--research-muted);background:var(--research-surface);border:.5px dashed var(--research-line-strong);font-size:var(--type-body);line-height:var(--leading-body);border-radius:8px;margin:0;padding:8px 12px}.open-problem-view .pm-reference{max-width:92ch;color:var(--research-muted);border-left:1px dashed var(--research-line-strong);font-size:var(--type-secondary);line-height:var(--leading-body);align-items:baseline;gap:6px;margin:0;padding:4px 0 4px 10px;display:flex}.open-problem-view .pm-reference button{color:var(--research-info);font-family:inherit;font-size:inherit;font-weight:var(--weight-semibold);line-height:inherit;text-align:left;cursor:pointer;overflow-wrap:anywhere;background:0 0;border:0;padding:0;display:inline}.open-problem-view .pm-reference button:hover{text-underline-offset:3px;text-decoration:underline}.open-problem-view.pm-goal-index{background:var(--research-surface);gap:14px;padding:20px 24px 28px}.open-problem-view .pm-intro{gap:6px;max-width:76ch;display:grid}.open-problem-view .pm-intro p{color:var(--research-ink);font-size:var(--type-body);line-height:var(--leading-body);margin:0}.open-problem-view .pm-intro p+p{color:var(--research-muted)}.open-problem-view .pm-intro strong{font-weight:var(--weight-semibold)}.open-problem-view .pm-key{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body);flex-wrap:wrap;align-items:baseline;gap:4px 16px;margin:0;display:flex}.open-problem-view .pm-key>span{align-items:baseline;gap:4px;display:inline-flex}.open-problem-view .pm-key strong{color:var(--research-ink);font-weight:var(--weight-semibold)}.open-problem-view .pm-grid{gap:10px;margin-top:4px;display:grid}.open-problem-view .pm-grid-row{grid-template-columns:minmax(150px,1.15fr) repeat(4,minmax(0,1fr));align-items:stretch;gap:10px;display:grid}.open-problem-view .pm-grid-sides{margin-bottom:-6px}.open-problem-view .pm-grid-side{color:var(--research-hint);border-bottom:.5px solid var(--research-line-strong);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.06em;line-height:var(--leading-heading);text-transform:uppercase;grid-column:span 2;padding-bottom:3px}.open-problem-view .pm-grid-layer{flex-direction:column;justify-content:flex-end;gap:1px;padding:0 2px;display:flex}.open-problem-view .pm-grid-layer .pm-cell-code{font-size:var(--type-secondary)}.open-problem-view .pm-grid-layer small{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-heading)}.open-problem-view .pm-grid-goal{flex-direction:column;justify-content:center;align-items:flex-start;gap:2px;min-width:0;padding-right:6px;display:flex}.open-problem-view .pm-grid-goal small{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.06em;line-height:var(--leading-heading);text-transform:uppercase}.open-problem-view .pm-grid-goal button{color:var(--research-ink);font-family:var(--font-ui);font-size:var(--type-body);font-weight:var(--weight-semibold);line-height:var(--leading-heading);text-align:left;cursor:pointer;overflow-wrap:anywhere;background:0 0;border:0;padding:0}.open-problem-view .pm-grid-goal button:hover{color:var(--research-info);text-underline-offset:3px;text-decoration:underline}.open-problem-view .pm-cell-card,.open-problem-view .pm-question-card{--card-accent:#667085;min-width:0;color:var(--research-ink);font-family:var(--font-ui);text-align:left;background:color-mix(in srgb, var(--card-accent) 10%, var(--research-surface));border:1px solid color-mix(in srgb, var(--card-accent) 16%, transparent);border-radius:12px;flex-direction:column;gap:4px;text-decoration:none;transition:background-color .14s,border-color .14s,box-shadow .14s,transform .14s;display:flex}.open-problem-view .pm-cell-card{padding:11px 12px 12px}.open-problem-view button.pm-cell-card{width:100%;font-weight:var(--weight-regular);cursor:pointer}.open-problem-view button.pm-cell-card:hover,.open-problem-view button.pm-cell-card:focus-visible{background:color-mix(in srgb, var(--card-accent) 22%, var(--research-surface));border-color:color-mix(in srgb, var(--card-accent) 60%, transparent);box-shadow:0 8px 22px color-mix(in srgb, var(--card-accent) 22%, transparent);transform:translateY(-1px)}.open-problem-view button.pm-cell-card:focus-visible{outline:2px solid var(--card-accent);outline-offset:2px}.open-problem-view .pm-cell-settled{background:color-mix(in srgb, var(--card-accent) 5%, var(--research-surface))}.open-problem-view .pm-cell-na{border-style:dashed;border-color:var(--research-line-strong);background:0 0}.open-problem-view .pm-cell-code{color:var(--card-accent,var(--research-hint));font-family:var(--font-mono);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.04em;line-height:var(--leading-heading);text-transform:uppercase;align-items:baseline;gap:3px;display:inline-flex}.open-problem-view .pm-grid .pm-cell-card>.pm-cell-code{display:none}.open-problem-view .pm-cell-question{font-size:var(--type-body);font-weight:var(--weight-semibold);line-height:var(--leading-heading);overflow-wrap:anywhere}.open-problem-view button.pm-cell-card:hover .pm-cell-question{color:var(--card-accent)}.open-problem-view .pm-cell-note{color:var(--research-hint);font-size:var(--type-secondary);line-height:var(--leading-body)}.open-problem-view .pm-cell-status{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body);align-items:baseline;gap:3px;margin-top:auto;padding-top:6px;display:flex}.open-problem-view .pm-grid-row>[role=cell]{min-width:0;display:grid}.open-problem-view .pm-distance{--card-accent:#667085;--distance-tint:10%;min-width:0;color:var(--research-ink);font-family:var(--font-ui);font-weight:var(--weight-regular);text-align:left;background:color-mix(in srgb, var(--card-accent) var(--distance-tint), var(--research-surface));border:1px solid color-mix(in srgb, var(--card-accent) 18%, transparent);border-radius:12px;flex-direction:column;align-items:flex-start;gap:4px;padding:11px 12px 12px;transition:background-color .14s,border-color .14s,box-shadow .14s,transform .14s;display:flex}.open-problem-view button.pm-distance{cursor:pointer;width:100%}.open-problem-view button.pm-distance:hover,.open-problem-view button.pm-distance:focus-visible,.open-problem-view .pm-distance-active{border-color:color-mix(in srgb, var(--card-accent) 65%, transparent);box-shadow:0 8px 22px color-mix(in srgb, var(--card-accent) 22%, transparent)}.open-problem-view button.pm-distance:hover{transform:translateY(-1px)}.open-problem-view button.pm-distance:focus-visible{outline:2px solid var(--card-accent);outline-offset:2px}.open-problem-view .pm-distance-na{border-style:dashed;border-color:var(--research-line-strong);background:0 0}.open-problem-view .pm-distance-na .pm-cell-code{color:var(--research-hint)}.open-problem-view .pm-distance-head{color:var(--card-accent);font-size:var(--type-secondary);font-weight:var(--weight-semibold);line-height:var(--leading-heading);align-items:center;gap:6px;display:inline-flex}.open-problem-view .pm-distance-part{width:100%;color:var(--research-ink);font-size:var(--type-secondary);font-weight:var(--weight-regular);line-height:var(--leading-body);overflow-wrap:anywhere;flex-direction:column;gap:1px;display:flex}.open-problem-view .pm-distance-target{padding-top:4px}.open-problem-view .pm-distance-best{border-top:1px solid color-mix(in srgb, var(--card-accent) 22%, transparent);margin-top:auto;padding-top:7px}.open-problem-view .pm-distance-label{color:var(--research-ink);font-size:var(--type-secondary);font-weight:var(--weight-semibold);line-height:var(--leading-heading)}.open-problem-view .pm-distance-na .pm-distance-target{color:var(--research-muted);padding-top:0}.open-problem-view .pm-na-head{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.04em;text-transform:uppercase}.open-problem-view .pm-na-why{display:inline}.open-problem-view .pm-na-label{color:var(--research-muted)}.open-problem-view .pm-na-anchor{vertical-align:1px;display:inline-block;position:relative}.open-problem-view .pm-na-info{aspect-ratio:1;width:1.4em;color:var(--research-muted);font-family:var(--font-ui);font-size:var(--type-meta);font-weight:var(--weight-semibold);cursor:help;background:0 0;border:1px solid;border-radius:50%;place-items:center;margin-left:5px;padding:0;line-height:1;display:inline-grid}.open-problem-view .pm-na-info:hover,.open-problem-view .pm-na-why.open .pm-na-info{color:var(--research-info);border-color:var(--research-info)}.open-problem-view .pm-na-info:focus-visible{outline:2px solid var(--research-info);outline-offset:2px}.open-problem-view .pm-na-detail{z-index:40;width:min(300px,78vw);color:var(--research-ink);border:.5px solid var(--research-line-strong);font-size:var(--type-secondary);font-weight:var(--weight-regular);line-height:var(--leading-body);text-align:left;text-transform:none;letter-spacing:0;white-space:normal;background:#fffffcfb;border-radius:9px;padding:10px 12px;display:none;position:absolute;top:calc(100% + 6px);right:-6px;box-shadow:0 12px 32px #1e303a29}.open-problem-view .pm-asks .pm-na-detail{left:-6px;right:auto}.open-problem-view .pm-na-why:hover .pm-na-detail,.open-problem-view .pm-na-why:focus-within .pm-na-detail,.open-problem-view .pm-na-why.open .pm-na-detail{display:block}.open-problem-view .pm-meter{gap:2px;display:inline-flex}.open-problem-view .pm-meter>span{aspect-ratio:9/5;background:color-mix(in srgb, var(--card-accent,#667085) 18%, transparent);border-radius:2px;width:9px}.open-problem-view .pm-meter>.pm-meter-on{background:var(--card-accent,#667085)}.open-problem-view .pm-key .pm-meter{--card-accent:#667085;align-self:center}.open-problem-view .pm-mobile-only{display:none}.open-problem-view .pm-back{color:var(--research-info);font-family:var(--font-ui);font-size:var(--type-secondary);font-weight:var(--weight-medium);cursor:pointer;background:0 0;border:0;justify-self:start;padding:0}.open-problem-view .pm-back:hover{text-underline-offset:3px;text-decoration:underline}.open-problem-view .pm-asks{gap:8px;margin:0;display:grid}.open-problem-view .pm-asks>div{grid-template-columns:120px minmax(0,1fr);align-items:baseline;gap:12px;display:grid}.open-problem-view .pm-asks dt,.open-problem-view .pm-asks dd{margin:0}.open-problem-view .pm-asks ul{color:var(--research-muted);font-size:var(--type-body);line-height:var(--leading-body);gap:2px;margin:0;padding-left:16px;display:grid}.open-problem-view .pm-asks strong{color:var(--research-ink);font-weight:var(--weight-semibold)}.open-problem-view .pm-asks p{color:var(--research-hint);font-size:var(--type-secondary);line-height:var(--leading-body);margin:0}.open-problem-view .pm-distances{grid-template-columns:repeat(4,minmax(0,1fr));gap:10px;display:grid}.open-problem-view .pm-hint{color:var(--research-hint);font-size:var(--type-secondary);line-height:var(--leading-body);margin:0}.open-problem-view .pm-ladder{background:color-mix(in srgb, var(--card-accent) 6%, var(--research-surface));border-left:3px solid var(--card-accent);border-radius:0 10px 10px 0;gap:10px;padding:14px 16px;display:grid}.open-problem-view .pm-ladder-summary{max-width:80ch;color:var(--research-ink);font-size:var(--type-body);line-height:var(--leading-body);margin:0}.open-problem-view .pm-ladder-summary strong{color:var(--card-accent);font-weight:var(--weight-semibold)}.open-problem-view .pm-rungs{gap:0;margin:0;padding:0;list-style:none;display:grid}.open-problem-view .pm-rung{border-top:.5px solid color-mix(in srgb, var(--card-accent) 18%, transparent);grid-template-columns:18px 40px minmax(0,1fr);align-items:baseline;gap:8px;padding:6px 0;display:grid}.open-problem-view .pm-rung:first-child{border-top:0}.open-problem-view .pm-rung-mark{font-family:var(--font-mono);font-size:var(--type-body);font-weight:var(--weight-semibold);text-align:center;color:var(--pm-solved)}.open-problem-view .pm-rung-open .pm-rung-mark{color:var(--pm-open)}.open-problem-view .pm-rung-lower-bound .pm-rung-mark,.open-problem-view .pm-rung-impossibility .pm-rung-mark,.open-problem-view .pm-rung-barrier .pm-rung-mark{color:var(--pm-impossible)}.open-problem-view .pm-rung-year{color:var(--research-hint);font-family:var(--font-mono);font-size:var(--type-secondary);font-weight:var(--weight-semibold)}.open-problem-view .pm-rung-open .pm-rung-year{color:var(--pm-open);text-transform:uppercase;font-size:var(--type-meta);letter-spacing:.04em}.open-problem-view .pm-rung-body{min-width:0;font-size:var(--type-body);line-height:var(--leading-body);flex-wrap:wrap;align-items:baseline;gap:2px 8px;display:flex}.open-problem-view .pm-rung-level{color:var(--research-ink)}.open-problem-view .pm-rung-open .pm-rung-level{font-weight:var(--weight-semibold)}.open-problem-view .pm-rung-tag{color:var(--pm-impossible);background:color-mix(in srgb, var(--pm-impossible) 10%, var(--research-surface));font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.04em;text-transform:uppercase;border-radius:4px;padding:0 5px}.open-problem-view .pm-rung-problem{color:var(--card-accent);font-family:var(--font-ui);font-size:var(--type-secondary);font-weight:var(--weight-semibold);text-align:left;cursor:pointer;background:0 0;border:0;padding:0}.open-problem-view .pm-rung-problem:hover{text-underline-offset:3px;text-decoration:underline}.open-problem-view .pm-rung-problem-solved,.open-problem-view .pm-rung-problem-impossible,.open-problem-view .pm-rung-problem-refuted{color:var(--research-muted)}.open-problem-view .pm-near h4{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.06em;text-transform:uppercase;margin:0 0 4px}.open-problem-view .pm-near ul{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body);gap:4px;margin:0;padding:0;list-style:none;display:grid}.open-problem-view .pm-near li{grid-template-columns:18px minmax(0,1fr);align-items:baseline;gap:8px;display:grid}.open-problem-view .pm-near-mark{color:var(--pm-solved);font-family:var(--font-mono);font-weight:var(--weight-semibold);text-align:center}.open-problem-view .pm-near-open{color:var(--pm-open)}.open-problem-view .pm-near .pm-rung-problem{margin-left:4px}.open-problem-view .pm-rung-current,.open-problem-view .pm-near-current{background:color-mix(in srgb, var(--card-accent) 14%, var(--research-surface));border-radius:6px;margin:0 -8px;padding-left:8px;padding-right:8px}.open-problem-view .pm-rung-here{color:var(--research-surface);background:var(--card-accent);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.04em;text-transform:uppercase;border-radius:4px;padding:0 6px}.open-problem-view .pm-rung-alongside{border-top-style:dashed}.open-problem-view .pm-rung-alongside .pm-rung-year{color:var(--research-hint);text-transform:none;font-style:italic}.open-problem-view .pm-rung-nav{flex-wrap:wrap;justify-content:space-between;gap:4px 16px;display:flex}.open-problem-view .pm-rung-nav>span{flex-wrap:wrap;gap:4px 16px;display:inline-flex}.open-problem-view .pm-rung-role{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body);flex-wrap:wrap;align-items:baseline;gap:4px 12px;margin:4px 0 0;display:flex}.open-problem-view .pm-rung-role>span:nth-child(2){color:var(--research-ink);font-weight:var(--weight-semibold)}.open-problem-view .pm-rung-profile{max-width:80ch;color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body);gap:2px;margin:0 0 4px;padding-left:16px;display:grid}.open-problem-view .pm-rung-profile strong{color:var(--research-ink);font-weight:var(--weight-semibold)}.open-problem-view .pm-rung-profile .reader-text,.open-problem-view .pm-rung-profile .reader-text p{display:inline}.open-problem-view .pm-rung-question{background:color-mix(in srgb, var(--card-accent) 7%, var(--research-surface));border-left:3px solid var(--card-accent);border-radius:0 6px 6px 0;padding:8px 12px}.open-problem-view .pm-rung-obstacles{max-width:80ch;font-size:var(--type-body);line-height:var(--leading-body);gap:8px;margin:0;padding-left:16px;display:grid}.open-problem-view .pm-rung-subhead,.open-problem-view .pm-goal-prose h4{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.06em;text-transform:uppercase;margin:6px 0 2px}.open-problem-view .pm-near-gives{color:var(--research-ink);font-weight:var(--weight-semibold)}.open-problem-view .pm-frontier-groups th{border-bottom:2px solid color-mix(in srgb, var(--card-accent,#667085) 45%, transparent);text-align:center;padding-bottom:2px}.open-problem-view .pm-frontier-groups th:first-child{border-bottom:.5px solid var(--research-line-strong);vertical-align:bottom}.open-problem-view .pm-goal-why>summary{color:var(--research-info);font-size:var(--type-secondary);font-weight:var(--weight-medium);cursor:pointer}.open-problem-view.pm-goal-page{background:var(--research-surface)}.open-problem-view .universal-map-modes button[style]:before{aspect-ratio:1;background:var(--card-accent);content:"";border-radius:2px;width:8px;margin-right:6px;display:inline-block}.open-problem-view .pm-goal-body{gap:6px;padding:18px 24px 28px;display:grid}.open-problem-view .pm-goal-summary{max-width:72ch;color:var(--research-ink);font-size:var(--type-body);line-height:var(--leading-body);margin:0}.open-problem-view .pm-goal-basis{max-width:72ch;color:var(--research-hint);font-size:var(--type-secondary);font-style:italic;line-height:var(--leading-body);margin:0}.open-problem-view .pm-goal-part{border-top:.5px solid var(--research-line);gap:8px;min-width:0;margin-top:14px;padding-top:14px;scroll-margin-top:56px;display:grid}.open-problem-view .pm-goal-part>h3{color:var(--research-ink);font-size:var(--type-section-title);font-weight:var(--weight-semibold);line-height:var(--leading-heading);align-items:baseline;gap:8px;margin:0;display:flex}.open-problem-view .pm-goal-layer>h3{color:var(--card-accent)}.open-problem-view .pm-goal-layer-question{max-width:72ch;color:var(--research-ink);font-size:var(--type-body);font-weight:var(--weight-medium);line-height:var(--leading-body);margin:0}.open-problem-view .pm-goal-layer-na{color:var(--research-muted);font-weight:var(--weight-regular)}.open-problem-view .pm-goal-asks{max-width:72ch;color:var(--research-muted);font-size:var(--type-body);line-height:var(--leading-body);gap:3px;margin:0;padding-left:18px;display:grid}.open-problem-view .pm-goal-asks strong{color:var(--research-ink);font-weight:var(--weight-semibold)}.open-problem-view .pm-goal-prose .reader-text{max-width:72ch}.open-problem-view .pm-goal-questions{gap:10px;display:grid}.open-problem-view .pm-question-card{padding:13px 15px 8px;scroll-margin-top:56px}.open-problem-view .pm-question-card h4{margin:0}.open-problem-view .pm-question-solved,.open-problem-view .pm-question-impossible{background:color-mix(in srgb, var(--card-accent) 5%, var(--research-surface))}.open-problem-view .pm-question-title{color:var(--research-ink);font-family:var(--font-ui);font-size:var(--type-view-title);font-weight:var(--weight-semibold);line-height:var(--leading-heading);text-align:left;cursor:pointer;overflow-wrap:anywhere;background:0 0;border:0;padding:0}.open-problem-view .pm-question-title:hover{color:var(--card-accent)}.open-problem-view .pm-question-summary{max-width:80ch;color:var(--research-muted);font-size:var(--type-body);line-height:var(--leading-body);margin:0}.open-problem-view .pm-question-meta{color:var(--research-hint);font-size:var(--type-secondary);line-height:var(--leading-body);flex-wrap:wrap;gap:2px 16px;margin:2px 0 0;display:flex}.open-problem-view .pm-question-obstacles .pm-cite{text-align:left}.open-problem-view .pm-question-card>.pm-tree{border-top:.5px solid color-mix(in srgb, var(--card-accent) 22%, transparent);margin-top:4px;padding:6px 0 4px}.open-problem-view .pm-question-card .pm-tree-nested{border-left-color:color-mix(in srgb, var(--card-accent) 22%, transparent)}.open-problem-view .pm-question-card .pm-axis{background:color-mix(in srgb, var(--card-accent) 12%, var(--research-surface))}.open-problem-view .pm-frontier{min-width:0;overflow-x:auto}.open-problem-view .pm-frontier table{border-collapse:collapse;width:100%;min-width:620px;font-size:var(--type-secondary);line-height:var(--leading-body)}.open-problem-view .pm-frontier th,.open-problem-view .pm-frontier td{border-bottom:.5px solid var(--research-line);vertical-align:top;padding:8px 10px 8px 0}.open-problem-view .pm-frontier thead th{color:var(--research-hint);border-bottom-color:var(--research-line-strong);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.04em;line-height:var(--leading-heading);text-align:center;text-transform:uppercase;vertical-align:bottom}.open-problem-view .pm-frontier thead th:first-child{text-align:left}.open-problem-view .pm-frontier tbody th{width:48%;color:var(--research-ink);font-weight:var(--weight-regular);text-align:left}.open-problem-view .pm-frontier tbody tr:last-child>*{border-bottom:0}.open-problem-view .pm-frontier .pm-key{margin-top:6px}.open-problem-view .pm-frontier-line strong{font-weight:var(--weight-semibold)}.open-problem-view .pm-frontier thead th.pm-rests-head{text-align:left}.open-problem-view .pm-rests{min-width:190px;max-width:260px}.open-problem-view .pm-rests-list{gap:5px;margin:0;display:grid}.open-problem-view .pm-rests-list dt{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.04em;line-height:var(--leading-heading);text-transform:uppercase}.open-problem-view .pm-rests-list dd{color:var(--research-ink);font-size:var(--type-secondary);line-height:var(--leading-body);overflow-wrap:anywhere;margin:1px 0 0}.open-problem-view .pm-goal-notation dl{gap:4px;max-width:72ch;margin:8px 0 0;display:grid}.open-problem-view .pm-goal-notation dl>div{grid-template-columns:4em minmax(0,1fr);align-items:baseline;gap:10px;display:grid}.open-problem-view .pm-goal-notation dt{color:var(--research-ink);font-size:var(--type-body)}.open-problem-view .pm-goal-notation dd{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body);margin:0}.open-problem-view .pm-notation-regime{color:var(--research-hint)}.open-problem-view .pm-frontier-note{color:var(--research-muted);margin-top:3px;display:block}.open-problem-view .pm-mark-cell{text-align:center}.open-problem-view .pm-cell-mark{min-width:1em;font-family:var(--font-mono);font-size:var(--type-section-title);font-weight:var(--weight-semibold);text-align:center;line-height:1;display:inline-block}.open-problem-view .pm-cell-mark-yes{color:var(--pm-solved)}.open-problem-view .pm-cell-mark-partial{color:var(--pm-partial)}.open-problem-view .pm-cell-mark-no{color:var(--pm-open)}.open-problem-view .pm-cell-mark-unknown{color:var(--research-hint)}.open-problem-view .pm-cell-key>span{align-items:center;gap:6px}.open-problem-view .pm-mark-cell-yes{color:var(--pm-solved)}.open-problem-view .pm-mark-cell-partial{color:var(--pm-partial)}.open-problem-view .pm-mark-cell-no{color:var(--pm-open)}.open-problem-view .pm-mark-cell-unknown{color:var(--research-hint)}.open-problem-view .pm-goal-relation strong{font-weight:var(--weight-semibold)}@media (width<=760px){.open-problem-view.pm-goal-index,.open-problem-view .pm-goal-body{padding:14px 16px 20px}.open-problem-view .pm-grid-sides,.open-problem-view .pm-grid-layers{display:none}.open-problem-view .pm-grid-row{grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}.open-problem-view .pm-grid-goal{grid-column:1/-1;padding-top:6px}.open-problem-view .pm-grid .pm-cell-card>.pm-cell-code,.open-problem-view .pm-mobile-only{display:inline-flex}.open-problem-view .pm-distances{grid-template-columns:repeat(2,minmax(0,1fr))}.open-problem-view .pm-asks>div{grid-template-columns:minmax(0,1fr);gap:2px}.open-problem-view .pm-rung{grid-template-columns:16px 34px minmax(0,1fr)}}@media (prefers-reduced-motion:reduce){.open-problem-view .pm-cell-card,.open-problem-view .pm-question-card{transition:none}.open-problem-view button.pm-cell-card:hover,.open-problem-view button.pm-cell-card:focus-visible,.open-problem-view button.pm-distance:hover{transform:none}.open-problem-view .pm-distance{transition:none}}@media (width<=760px){.open-problem-view .universal-map-modes{grid-template-columns:repeat(2,minmax(0,1fr))}.open-problem-view.pm-index{padding:12px 16px 18px}.open-problem-view .pm-card-head{padding:12px 14px 10px}.open-problem-view .pm-tree{padding:4px 14px 10px}.open-problem-view .pm-overview{padding:14px 16px 18px}.open-problem-view .pm-band{padding:12px 16px 16px}.open-problem-view .op-boundaries{grid-template-columns:minmax(0,1fr)}}.research-app .reader-text{overflow-wrap:anywhere;max-width:68ch;color:var(--research-ink);font-size:var(--type-body);line-height:var(--leading-body)}.research-app .reader-text p{margin:0 0 8px}.research-app .reader-text p:last-child,.research-app .reader-text ul:last-child,.research-app .reader-text ol:last-child{margin-bottom:0}.research-app .reader-text ul,.research-app .reader-text ol{margin:4px 0 8px;padding-left:18px}.research-app .reader-text li+li{margin-top:4px}.research-app .reader-text h4{color:var(--research-ink);font-size:var(--type-section-title);font-weight:var(--weight-semibold);line-height:var(--leading-heading);margin:12px 0 4px}.research-app .reader-text code{color:#3b4a52;font-family:var(--font-mono);font-size:var(--type-secondary);background:#f1f2ef;border-radius:3px;padding:0 3px}.research-app .reader-text strong{font-weight:var(--weight-semibold)}.research-app .reader-display-math{margin:8px 0;overflow-x:auto}.reader-math .katex,.reader-display-math .katex{font-size:1.08em}.katex{text-transform:none;letter-spacing:normal}.research-app .reader-table{border-collapse:collapse;font-size:var(--type-body);margin:6px 0 10px}.research-app .reader-table th,.research-app .reader-table td{border-bottom:.5px solid var(--research-line);text-align:left;vertical-align:top;overflow-wrap:break-word;padding:4px 10px 4px 0}.research-app .reader-table th{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;text-transform:uppercase}.research-app .reader-citation{color:var(--research-info);font-family:inherit;font-size:inherit;font-weight:var(--weight-medium);line-height:inherit;cursor:pointer;background:0 0;border:0;padding:0;display:inline}.research-app .reader-citation:hover{text-underline-offset:3px;text-decoration:underline}.open-problem-view .universal-map-modes{flex-wrap:wrap;gap:4px;display:flex}.research-app .subfield-cards{grid-template-columns:repeat(auto-fill,minmax(240px,1fr));gap:12px;display:grid}.research-app .subfield-card{width:100%;color:var(--research-ink);font-family:var(--font-ui);font-weight:var(--weight-regular);text-align:left;cursor:pointer}.research-app .subfield-card .home-card-name{font-weight:var(--weight-semibold)}.research-app .subfield-index-cards{background:var(--research-surface);padding:20px 24px 26px}.research-app .subfield-page-scope{background:color-mix(in srgb, var(--card-accent) 10%, var(--research-surface));border:1px solid color-mix(in srgb, var(--card-accent) 16%, transparent);border-radius:12px;padding:14px 15px}.open-problem-view .pm-section-nav a[style]{color:var(--research-ink);background:color-mix(in srgb, var(--card-accent) 10%, var(--research-surface));border:1px solid color-mix(in srgb, var(--card-accent) 16%, transparent);align-items:center;gap:6px;transition:background-color .14s,border-color .14s,color .14s;display:inline-flex}.open-problem-view .pm-section-nav a[style]:before{background:var(--card-accent);content:"";border-radius:2px;width:8px;height:8px}.open-problem-view .pm-section-nav a[style]:hover,.open-problem-view .pm-section-nav a[style]:focus-visible{color:var(--card-accent);background:color-mix(in srgb, var(--card-accent) 24%, var(--research-surface));border-color:color-mix(in srgb, var(--card-accent) 70%, transparent)}.open-problem-view .pm-section[style] .pm-section-title{border-top-color:color-mix(in srgb, var(--card-accent) 22%, transparent);align-items:center;gap:8px;display:flex}.open-problem-view .pm-section[style] .pm-section-title:before{background:var(--card-accent);content:"";border-radius:2px;flex:none;width:8px;height:8px}.research-app .subfield-page-text,.research-app .subfield-page-note{max-width:68ch;color:var(--research-ink);font-size:var(--type-body);line-height:var(--leading-body);margin:0}.research-app .subfield-page-note{color:var(--research-muted);font-size:var(--type-secondary)}.research-app .subfield-page-problems{background:0 0;gap:8px;padding:0;display:grid}.research-app .subfield-results{gap:4px;margin:0;padding:0;list-style:none;display:grid}.research-app .subfield-results li{justify-content:space-between;align-items:baseline;gap:10px;display:flex}.research-app .subfield-results li>button{color:var(--research-ink);font-family:var(--font-ui);font-size:var(--type-body);font-weight:var(--weight-medium);line-height:var(--leading-body);text-align:left;cursor:pointer;background:0 0;border:0;padding:0}.research-app .subfield-results li>button:hover{color:var(--research-info)}.research-app .subfield-results time{color:var(--research-hint);font-family:var(--font-mono);font-size:var(--type-meta)}.research-app .subfield-page-nav{flex-wrap:wrap;justify-content:space-between;gap:4px 16px;margin:-6px 0 14px;display:flex}.research-app .subfield-page-nav>span{flex-wrap:wrap;gap:4px 16px;display:inline-flex}.research-app .subfield-page-nav button{color:var(--research-info);font-family:var(--font-ui);font-size:var(--type-secondary);font-weight:var(--weight-medium);cursor:pointer;background:0 0;border:0;padding:0}.research-app .subfield-page-nav button:hover{text-underline-offset:3px;text-decoration:underline}.research-app .subfield-lines>.subfield-page-note{margin:-2px 0 12px}.research-app .subfield-papers{margin:0;padding:0;list-style:none}.research-app .subfield-paper{grid-template-columns:16px minmax(0,1fr);gap:8px;padding:8px 0 7px;display:grid;position:relative}.research-app .subfield-paper+.subfield-paper{border-top:.5px solid var(--research-line)}.research-app .subfield-paper-dot{width:10px;height:10px;box-shadow:0 0 0 1.5px var(--line-color);background:#fbfbf8;border-radius:50%;margin:6px 0 0 3px}.research-app .subfield-paper.is-landmark .subfield-paper-dot{background:var(--line-color);box-shadow:0 0 0 2px #fbfbf8, 0 0 0 3px var(--line-color)}.research-app .subfield-paper-head{justify-content:space-between;align-items:baseline;gap:10px;display:flex}.research-app .subfield-paper button{color:var(--research-ink);font-family:var(--font-ui);text-align:left;cursor:pointer;background:0 0;border:0;padding:0}.research-app .subfield-paper button:hover{color:var(--research-info)}.research-app .subfield-paper-head button{color:var(--research-muted);font-size:var(--type-body);font-weight:var(--weight-regular);line-height:var(--leading-body)}.research-app .subfield-paper.is-landmark .subfield-paper-head button{color:var(--research-ink);font-weight:var(--weight-medium)}.research-app .subfield-paper-head time{color:var(--research-hint);font-family:var(--font-mono);font-size:var(--type-meta);flex:none}.research-app .subfield-paper-questions{color:var(--research-muted);font-size:var(--type-meta);font-weight:var(--weight-medium);line-height:var(--leading-body);flex-wrap:wrap;gap:2px 12px;margin:3px 0 0;display:flex}.research-app .subfield-paper-questions>span{align-items:center;gap:5px;display:inline-flex}.research-app .subfield-paper-questions>span:before{background:var(--swatch);content:"";border-radius:50%;flex:none;width:7px;height:7px}.research-app .subfield-paper-landmark{max-width:72ch;color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body);margin:3px 0 0}.research-app .subfield-paper-landmark button{color:color-mix(in srgb, var(--line-color) 72%, var(--research-ink));font-size:inherit;font-weight:var(--weight-semibold)}.research-app .subfield-paper-results{margin-top:3px}.research-app .subfield-paper-results>summary{width:fit-content;color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);cursor:pointer}.research-app .subfield-paper-results>summary:hover{color:var(--research-info)}.research-app .subfield-paper-results ul{gap:5px;margin:6px 0 2px;padding:0;list-style:none;display:grid}.research-app .subfield-paper-results li{grid-template-columns:minmax(96px,max-content) minmax(0,1fr);align-items:baseline;gap:10px;display:grid}.research-app .subfield-paper-results li button{color:var(--research-ink);font-size:var(--type-secondary);font-weight:var(--weight-regular);line-height:var(--leading-body)}.research-app .subfield-kind{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.04em;text-transform:uppercase;white-space:nowrap}.research-app .subfield-context{margin-top:10px}.research-app .subfield-context>summary{color:var(--research-info);font-size:var(--type-control);font-weight:var(--weight-semibold);cursor:pointer}.research-app .subfield-context li{flex-direction:column;gap:2px;margin-top:6px}.research-app .subfield-context li p{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body);margin:0}.research-app .mpc-facets,.research-app .comparison-facets{flex-wrap:wrap;gap:8px;display:flex}.research-app .topic-overview{font-size:var(--type-body);line-height:var(--leading-body);background:#fbfbf8;grid-template-columns:minmax(0,1fr) minmax(260px,340px);gap:0;display:grid}.research-app .topic-overview-main{min-width:0;padding:18px 24px 24px}.research-app .view-notice{color:var(--research-ink);background:var(--research-info-bg);border-bottom:.5px solid var(--research-line);font-size:var(--type-body);line-height:var(--leading-body);margin:0;padding:9px 24px}@media (width<=580px){.research-app .view-notice{padding:9px 15px}}.research-app .topic-overview-main{padding:22px 32px 32px}.research-app .topic-overview-section+.topic-overview-section{margin-top:26px}.research-app .topic-overview-section>h2{color:var(--research-ink);font-size:var(--type-view-title);font-weight:var(--weight-semibold);line-height:var(--leading-heading);margin:0 0 8px}.research-app .topic-overview-section .reader-text h4{font-size:var(--type-section-title);margin:14px 0 4px}.research-app .topic-overview-side h2{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.07em;line-height:var(--leading-heading);text-transform:uppercase;margin:0 0 6px}.research-app .topic-notation>summary{cursor:pointer;color:var(--research-info);font-size:var(--type-control);font-weight:var(--weight-semibold)}@media (width<=600px){.research-app .notation-table,.research-app .notation-table tbody,.research-app .notation-table tr,.research-app .notation-table td{width:auto;display:block}.research-app .notation-table thead{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.research-app .notation-table tr{border-bottom:.5px solid var(--research-line);padding:8px 0}.research-app .notation-table td{border-bottom:0;padding:1px 0}.research-app .notation-table td+td:before{content:attr(data-label);color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.05em;text-transform:uppercase;margin-top:4px;display:block}.research-app .notation-table td:first-child{font-weight:var(--weight-semibold)}}.research-app .topic-overview-scope{max-width:68ch;color:var(--research-muted);border-top:.5px solid var(--research-line);font-size:var(--type-secondary);margin:18px 0 0;padding-top:10px}.research-app .topic-overview-side{background:var(--research-surface);border-left:.5px solid var(--research-line);min-width:0;padding:18px 20px 24px}.research-app .topic-overview-side>section+section{border-top:.5px solid var(--research-line);margin-top:18px;padding-top:14px}.research-app .topic-overview-side ol{margin:0;padding:0;list-style:none}.research-app .topic-overview-side li+li{margin-top:10px}.research-app .topic-overview-side li>button,.research-app .topic-overview-explore>button{color:var(--research-ink);font-size:var(--type-section-title);font-weight:var(--weight-semibold);line-height:var(--leading-heading);text-align:left;cursor:pointer;background:0 0;border:0;padding:0;display:block}.research-app .topic-overview-side li>button:hover,.research-app .topic-overview-explore>button:hover{color:var(--research-info)}.research-app .topic-overview-side li p{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body);margin:3px 0 0}.research-app .topic-overview-side .ov-start{background:color-mix(in srgb, var(--research-info) 6%, var(--research-surface));border:1px solid color-mix(in srgb, var(--research-info) 18%, transparent);border-radius:12px;padding:14px 15px 15px}.research-app .topic-overview-side .ov-start h2{color:var(--research-info);font-size:var(--type-reading-heading);font-weight:var(--weight-semibold);letter-spacing:0;line-height:var(--leading-heading);text-transform:none;margin:0 0 10px}.research-app .topic-overview-side .ov-start li>button{font-size:var(--type-reading-secondary)}.research-app .ov-start ol{gap:8px;display:grid}.research-app .ov-start li+li{margin-top:0}.research-app .ov-start li>button{font-size:var(--type-secondary);font-weight:var(--weight-medium);line-height:var(--leading-body)}.research-app .topic-overview-explore>button{font-size:var(--type-body);font-weight:var(--weight-medium);margin-top:6px}.research-app .topic-overview-more{color:var(--research-info);font-size:var(--type-control);font-weight:var(--weight-semibold);cursor:pointer;background:0 0;border:0;margin-top:10px;padding:0}.research-app .topic-overview-checked{color:var(--research-hint);font-size:var(--type-meta);margin:18px 0 0}.research-app .library-table td.library-key{color:var(--research-info);font-family:var(--font-mono);font-size:var(--type-secondary);white-space:nowrap}.research-app .library-table th button{color:inherit;font-family:inherit;font-size:inherit;font-weight:inherit;line-height:inherit;letter-spacing:inherit;text-transform:inherit;cursor:pointer;background:0 0;border:0;padding:0}.research-app .library-list{margin:0;padding:0 16px 16px;list-style:none}.research-app .library-list li{border-top:.5px solid var(--research-line)}.research-app .library-list button{width:100%;color:var(--research-ink);text-align:left;cursor:pointer;background:0 0;border:0;padding:10px 4px;display:block}.research-app .library-list button:hover,.research-app .library-list button[aria-current=true]{background:#f5f7f6}.research-app .library-list-head{font-size:var(--type-section-title);justify-content:space-between;align-items:baseline;gap:12px;display:flex}.research-app .library-list-head strong{font-weight:var(--weight-semibold)}.research-app .library-list-head time{color:var(--research-hint);font-family:var(--font-mono);font-size:var(--type-meta)}.research-app .library-list-summary{max-width:90ch;color:var(--research-muted);font-size:var(--type-body);line-height:var(--leading-body);margin-top:3px;display:block}.research-app .table-group-row th{color:var(--research-hint);font-size:var(--type-meta);font-weight:var(--weight-semibold);letter-spacing:.06em;text-align:left;text-transform:uppercase;background:#f6f6f2;padding:10px 12px 6px}.research-app .table-notation{margin:0 16px 10px}.research-app .table-notation>summary{cursor:pointer;width:fit-content;color:var(--research-info);font-size:var(--type-control);font-weight:var(--weight-semibold)}.research-app .library-list .op-citation,.research-app .topic-overview .op-citation{color:var(--research-info);font-family:var(--font-mono);font-weight:var(--weight-medium)}.research-app .object-drawer .inspector-title h2{margin:0}.research-app .panel-citation{color:var(--research-info);font-family:var(--font-mono);font-weight:var(--weight-medium)}.research-app .panel-byline{color:var(--research-muted);font-size:var(--type-secondary);line-height:var(--leading-body);margin:6px 0 0}.research-app .panel-byline button{color:var(--research-info);font-family:inherit;font-size:inherit;font-weight:inherit;line-height:inherit;text-align:left;cursor:pointer;background:0 0;border:0;padding:0}.research-app .inspector-body{padding:6px 0 16px}.research-app .inspector-body>.inspector-section{margin-top:16px}.research-app .inspector-body>.inspector-section:first-child{margin-top:0}.research-app .object-drawer .inspector-section{padding:14px 0}.research-app .object-drawer .inspector-section a{color:var(--research-info);font-size:var(--type-secondary);font-weight:var(--weight-medium);line-height:var(--leading-body);margin-top:2px;text-decoration:none;display:inline-block}.research-app .object-drawer .inspector-section a:hover{text-underline-offset:3px;text-decoration:underline}.research-app .panel-locator{color:var(--research-muted);font-size:var(--type-secondary);margin:0 0 4px}.research-app .panel-list{margin:4px 0 0;padding:0;list-style:none}.research-app .panel-list li+li{margin-top:4px}.research-app .panel-list button{color:var(--research-ink);font-size:var(--type-body);line-height:var(--leading-body);text-align:left;cursor:pointer;background:0 0;border:0;padding:0}.research-app .panel-list button:hover{color:var(--research-info)}.research-app .panel-copy,.research-app .panel-primary-action{color:var(--research-info);background:var(--research-info-bg);border:.5px solid var(--research-info);font-size:var(--type-control);font-weight:var(--weight-semibold);line-height:var(--leading-control);cursor:pointer;border-radius:6px;margin-top:8px;padding:5px 10px}.research-app .preprint-flag{color:#8a5a12;font-size:var(--type-meta);font-style:normal;font-weight:var(--weight-semibold);background:#fdf3e1;border-radius:4px;margin-left:8px;padding:1px 6px}.research-app .view-icon{display:block}@media (width<=900px){.research-app .topic-overview{grid-template-columns:minmax(0,1fr)}.research-app .topic-overview-side{border-left:0;border-top:.5px solid var(--research-line)}}.universal-map-compact-toggle{color:var(--research-info);background:var(--research-info-bg);border:.5px solid var(--research-info);font-size:var(--type-control);font-weight:var(--weight-semibold);line-height:var(--leading-control);border-radius:6px;margin:0 16px 10px;padding:5px 10px}.proof-value-positive{color:#0d5c4e;background:#ddf2e9}.proof-value-conditional{color:#87501c;background:#f8ead6}.proof-value-muted{color:#687077;background:#eceeed}.proof-value-neutral{color:#344f65;background:#e6edf2}@media (width<=820px){.research-app .comparison-table-scroll{max-height:none}.research-app .comparison-table tbody th[scope=row],.research-app .comparison-table tbody th.row-opener-line{min-width:140px}}