isorite 0.6.0 → 0.7.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (222) hide show
  1. package/README.md +3 -2
  2. package/dist/main.js +7 -1
  3. package/package.json +1 -1
  4. package/plugin/server.ts +1 -1
  5. package/web/_app/immutable/assets/0.BKnIhFWM.css +1 -0
  6. package/web/_app/immutable/assets/NoteEditor.8wWtZK_A.css +1 -0
  7. package/web/_app/immutable/chunks/0M1khDs2.js +2 -0
  8. package/web/_app/immutable/chunks/2b4Gb5sE.js +1 -0
  9. package/web/_app/immutable/chunks/62dhNtvj.js +673 -0
  10. package/web/_app/immutable/chunks/84nbDH0I.js +1 -0
  11. package/web/_app/immutable/chunks/8H7HVH4w.js +1 -0
  12. package/web/_app/immutable/chunks/8wVGBFSs.js +45 -0
  13. package/web/_app/immutable/chunks/AF4Hwhju.js +1 -0
  14. package/web/_app/immutable/chunks/{BQRMn_tl.js → B3dCo0od.js} +1 -1
  15. package/web/_app/immutable/chunks/B45xgp2S.js +1 -0
  16. package/web/_app/immutable/chunks/B78wSQJQ.js +1 -0
  17. package/web/_app/immutable/chunks/B7GA1FFB.js +1 -0
  18. package/web/_app/immutable/chunks/B85D_PlV.js +5 -0
  19. package/web/_app/immutable/chunks/B9NhS7L_.js +1 -0
  20. package/web/_app/immutable/chunks/B9YLdnR_.js +1 -0
  21. package/web/_app/immutable/chunks/BEHa2uNW.js +1 -0
  22. package/web/_app/immutable/chunks/BEMVcqjs.js +1 -0
  23. package/web/_app/immutable/chunks/BEjRio4Q.js +1 -0
  24. package/web/_app/immutable/chunks/BEn0Cwpx.js +1 -0
  25. package/web/_app/immutable/chunks/BGbXxNFa.js +2 -0
  26. package/web/_app/immutable/chunks/BGfruO1u.js +1 -0
  27. package/web/_app/immutable/chunks/BHEdbvp9.js +1 -0
  28. package/web/_app/immutable/chunks/BKJx4mf9.js +1 -0
  29. package/web/_app/immutable/chunks/BL3mLym4.js +5 -0
  30. package/web/_app/immutable/chunks/BLp5-jwC.js +1 -0
  31. package/web/_app/immutable/chunks/BN6xhG8e.js +1 -0
  32. package/web/_app/immutable/chunks/BNjH_DUx.js +1 -0
  33. package/web/_app/immutable/chunks/BOVgKnng.js +1 -0
  34. package/web/_app/immutable/chunks/BPTmHmyx.js +1 -0
  35. package/web/_app/immutable/chunks/BPW39P52.js +1 -0
  36. package/web/_app/immutable/chunks/BRKS-CCX.js +5 -0
  37. package/web/_app/immutable/chunks/BRsoo5mP.js +1 -0
  38. package/web/_app/immutable/chunks/BSzj6Xyz.js +1 -0
  39. package/web/_app/immutable/chunks/BUZw3wgd.js +1 -0
  40. package/web/_app/immutable/chunks/BV0c4Hdn.js +1 -0
  41. package/web/_app/immutable/chunks/BVIeWmwY.js +1 -0
  42. package/web/_app/immutable/chunks/BWonG38x.js +1 -0
  43. package/web/_app/immutable/chunks/BXxG0Yva.js +1 -0
  44. package/web/_app/immutable/chunks/BZmnMkFw.js +1 -0
  45. package/web/_app/immutable/chunks/BZyAS7I4.js +1 -0
  46. package/web/_app/immutable/chunks/B_1Jd8HM.js +1 -0
  47. package/web/_app/immutable/chunks/Bbt0DTmZ.js +1 -0
  48. package/web/_app/immutable/chunks/Bffqt7tx.js +9 -0
  49. package/web/_app/immutable/chunks/BflJGmDX.js +1 -0
  50. package/web/_app/immutable/chunks/BgczuZKA.js +4 -0
  51. package/web/_app/immutable/chunks/BguXRgvc.js +2 -0
  52. package/web/_app/immutable/chunks/BkSkiI9m.js +1 -0
  53. package/web/_app/immutable/chunks/BoNMG-YE.js +1 -0
  54. package/web/_app/immutable/chunks/Bq5hCPe1.js +2 -0
  55. package/web/_app/immutable/chunks/BrGmYbJT.js +2 -0
  56. package/web/_app/immutable/chunks/BrqJKzQU.js +2 -0
  57. package/web/_app/immutable/chunks/Brxvm_b1.js +4 -0
  58. package/web/_app/immutable/chunks/BsLNwr5A.js +2 -0
  59. package/web/_app/immutable/chunks/Bsdphhtm.js +1 -0
  60. package/web/_app/immutable/chunks/Bt6PBEDR.js +1 -0
  61. package/web/_app/immutable/chunks/BthdM_4N.js +1 -0
  62. package/web/_app/immutable/chunks/Bu8mWwtz.js +1 -0
  63. package/web/_app/immutable/chunks/BunrC_8P.js +4 -0
  64. package/web/_app/immutable/chunks/BwTct_5T.js +1 -0
  65. package/web/_app/immutable/chunks/BxTFtVqu.js +13 -0
  66. package/web/_app/immutable/chunks/BzI3yqBQ.js +3 -0
  67. package/web/_app/immutable/chunks/C-dfcq9W.js +7 -0
  68. package/web/_app/immutable/chunks/C2OyD2Y6.js +1 -0
  69. package/web/_app/immutable/chunks/C2dAgh7P.js +1 -0
  70. package/web/_app/immutable/chunks/C357ku5U.js +1 -0
  71. package/web/_app/immutable/chunks/C4jVoHG1.js +1 -0
  72. package/web/_app/immutable/chunks/C6Btt2Xs.js +1 -0
  73. package/web/_app/immutable/chunks/C9zpzAZU.js +1 -0
  74. package/web/_app/immutable/chunks/CDAjAYjS.js +1 -0
  75. package/web/_app/immutable/chunks/CETSRtnV.js +2 -0
  76. package/web/_app/immutable/chunks/CEufJyoj.js +1 -0
  77. package/web/_app/immutable/chunks/CHbKgHy3.js +1 -0
  78. package/web/_app/immutable/chunks/CKSRTWxH.js +2 -0
  79. package/web/_app/immutable/chunks/CLVUDRRk.js +2 -0
  80. package/web/_app/immutable/chunks/CLVgA2GD.js +1 -0
  81. package/web/_app/immutable/chunks/CO2Y5y64.js +2 -0
  82. package/web/_app/immutable/chunks/CPF5uNy5.js +1 -0
  83. package/web/_app/immutable/chunks/CQadubS9.js +2 -0
  84. package/web/_app/immutable/chunks/CQfgDRfP.js +1 -0
  85. package/web/_app/immutable/chunks/CRIvE37b.js +2 -0
  86. package/web/_app/immutable/chunks/CRzLMJPS.js +1 -0
  87. package/web/_app/immutable/chunks/CTIncYxj.js +1 -0
  88. package/web/_app/immutable/chunks/CTscJvp6.js +2 -0
  89. package/web/_app/immutable/chunks/CUpZ7dEl.js +1 -0
  90. package/web/_app/immutable/chunks/CVbgxz8Y.js +1 -0
  91. package/web/_app/immutable/chunks/CWmfjLLv.js +1 -0
  92. package/web/_app/immutable/chunks/CX-xckzu.js +4 -0
  93. package/web/_app/immutable/chunks/CXXgtw0p.js +1 -0
  94. package/web/_app/immutable/chunks/CYNZ4aV_.js +1 -0
  95. package/web/_app/immutable/chunks/CZ8wTb_M.js +8 -0
  96. package/web/_app/immutable/chunks/C_eisQCp.js +1 -0
  97. package/web/_app/immutable/chunks/CdY1YAit.js +2 -0
  98. package/web/_app/immutable/chunks/Ce_hS451.js +1 -0
  99. package/web/_app/immutable/chunks/CgA1WoRv.js +1 -0
  100. package/web/_app/immutable/chunks/CggtIYAM.js +1 -0
  101. package/web/_app/immutable/chunks/ChfNwlCY.js +1 -0
  102. package/web/_app/immutable/chunks/ChtP43wD.js +1 -0
  103. package/web/_app/immutable/chunks/CiVjR8gq.js +3 -0
  104. package/web/_app/immutable/chunks/CjI9Y6RI.js +1 -0
  105. package/web/_app/immutable/chunks/ClOhbFR7.js +1 -0
  106. package/web/_app/immutable/chunks/Cn-vtDpV.js +1 -0
  107. package/web/_app/immutable/chunks/CnaYoQib.js +1 -0
  108. package/web/_app/immutable/chunks/Co3PbHdE.js +1 -0
  109. package/web/_app/immutable/chunks/CoyQYage.js +1 -0
  110. package/web/_app/immutable/chunks/Cp5ooBfH.js +1 -0
  111. package/web/_app/immutable/chunks/Cp_JbuGh.js +2 -0
  112. package/web/_app/immutable/chunks/Cq5C893B.js +1 -0
  113. package/web/_app/immutable/chunks/CqHI_q-D.js +1 -0
  114. package/web/_app/immutable/chunks/CqftRsjg.js +1 -0
  115. package/web/_app/immutable/chunks/Cshzl8qu.js +1 -0
  116. package/web/_app/immutable/chunks/Cx3rYX2g.js +1 -0
  117. package/web/_app/immutable/chunks/CxDmU1I4.js +1 -0
  118. package/web/_app/immutable/chunks/CygcOYNo.js +1 -0
  119. package/web/_app/immutable/chunks/CzMBulkp.js +1 -0
  120. package/web/_app/immutable/chunks/D1ij_kNL.js +1 -0
  121. package/web/_app/immutable/chunks/D2Q8cUp1.js +1 -0
  122. package/web/_app/immutable/chunks/D4SKbj9K.js +6 -0
  123. package/web/_app/immutable/chunks/D4c0_ac3.js +1 -0
  124. package/web/_app/immutable/chunks/D4fLEcOQ.js +8 -0
  125. package/web/_app/immutable/chunks/D5EjA2JK.js +1 -0
  126. package/web/_app/immutable/chunks/D5jiJvOU.js +1 -0
  127. package/web/_app/immutable/chunks/D6QVYUu9.js +1 -0
  128. package/web/_app/immutable/chunks/D6RzAl64.js +1 -0
  129. package/web/_app/immutable/chunks/D6Vzg2HD.js +6 -0
  130. package/web/_app/immutable/chunks/D8WpQPaX.js +1 -0
  131. package/web/_app/immutable/chunks/D9f6rSsU.js +1 -0
  132. package/web/_app/immutable/chunks/D9qYN0V5.js +1 -0
  133. package/web/_app/immutable/chunks/DCl_8MCW.js +1 -0
  134. package/web/_app/immutable/chunks/DECNRCf2.js +1 -0
  135. package/web/_app/immutable/chunks/DHLQUbN7.js +1 -0
  136. package/web/_app/immutable/chunks/DHfKGggc.js +1 -0
  137. package/web/_app/immutable/chunks/DIGvaVgJ.js +2 -0
  138. package/web/_app/immutable/chunks/DKB6_1j6.js +1 -0
  139. package/web/_app/immutable/chunks/DKNOMI4Y.js +1 -0
  140. package/web/_app/immutable/chunks/DLa7NjNO.js +1 -0
  141. package/web/_app/immutable/chunks/DMAYXnpq.js +13 -0
  142. package/web/_app/immutable/chunks/DNzd62Q_.js +1 -0
  143. package/web/_app/immutable/chunks/DPCEkfD_.js +1 -0
  144. package/web/_app/immutable/chunks/DTF72YNO.js +1 -0
  145. package/web/_app/immutable/chunks/DTdlqvEb.js +12 -0
  146. package/web/_app/immutable/chunks/DTszW0OQ.js +1 -0
  147. package/web/_app/immutable/chunks/DWkQyNnU.js +1 -0
  148. package/web/_app/immutable/chunks/DXiLM1-G.js +1 -0
  149. package/web/_app/immutable/chunks/DZYaqCwi.js +1 -0
  150. package/web/_app/immutable/chunks/D_19S_Iu.js +1 -0
  151. package/web/_app/immutable/chunks/D_aBVMvK.js +11 -0
  152. package/web/_app/immutable/chunks/DciMwFJ1.js +1 -0
  153. package/web/_app/immutable/chunks/De_zI4J0.js +1 -0
  154. package/web/_app/immutable/chunks/DgAKBe0r.js +1 -0
  155. package/web/_app/immutable/chunks/DjVOVvNP.js +1 -0
  156. package/web/_app/immutable/chunks/{Dijhflxl.js → DkvLWnSd.js} +1 -1
  157. package/web/_app/immutable/chunks/Dp_KdFgX.js +1 -0
  158. package/web/_app/immutable/chunks/Ds8Pkiic.js +1 -0
  159. package/web/_app/immutable/chunks/{ZRnI3PpK.js → DsBJWNWe.js} +1 -1
  160. package/web/_app/immutable/chunks/DtbnBenW.js +1 -0
  161. package/web/_app/immutable/chunks/DuQMFDvy.js +1 -0
  162. package/web/_app/immutable/chunks/DwuoZtxw.js +1 -0
  163. package/web/_app/immutable/chunks/DxLkKbK2.js +5 -0
  164. package/web/_app/immutable/chunks/Dz-mlCAC.js +1 -0
  165. package/web/_app/immutable/chunks/EQVRMnZU.js +2 -0
  166. package/web/_app/immutable/chunks/GwMd3KmG.js +1 -0
  167. package/web/_app/immutable/chunks/K_3X9lyC.js +23 -0
  168. package/web/_app/immutable/chunks/PPSTk1ow.js +1 -0
  169. package/web/_app/immutable/chunks/S7ucR4pR.js +1 -0
  170. package/web/_app/immutable/chunks/TuFg0KqZ.js +4 -0
  171. package/web/_app/immutable/chunks/VlUiK86J.js +1 -0
  172. package/web/_app/immutable/chunks/WBFggAXs.js +1 -0
  173. package/web/_app/immutable/chunks/_rHYGvON.js +1 -0
  174. package/web/_app/immutable/chunks/bcQIrid8.js +1 -0
  175. package/web/_app/immutable/chunks/gfMMiTNf.js +1 -0
  176. package/web/_app/immutable/chunks/gpDK5sbt.js +1 -0
  177. package/web/_app/immutable/chunks/kS471soi.js +1 -0
  178. package/web/_app/immutable/chunks/mbLqADPr.js +1 -0
  179. package/web/_app/immutable/chunks/nMarIA7J.js +3 -0
  180. package/web/_app/immutable/chunks/oBAE_ms0.js +1 -0
  181. package/web/_app/immutable/chunks/p9eYesGn.js +1 -0
  182. package/web/_app/immutable/chunks/qgSLujhx.js +1 -0
  183. package/web/_app/immutable/chunks/spNKdrPy.js +3 -0
  184. package/web/_app/immutable/chunks/tLWDfEkZ.js +1 -0
  185. package/web/_app/immutable/chunks/u8YMmbU0.js +1 -0
  186. package/web/_app/immutable/chunks/vk5Wkr31.js +1 -0
  187. package/web/_app/immutable/chunks/wCTXGvXm.js +2 -0
  188. package/web/_app/immutable/chunks/wj7G6pU5.js +5 -0
  189. package/web/_app/immutable/chunks/xvONpD0Z.js +1 -0
  190. package/web/_app/immutable/chunks/yxd8jSz3.js +1 -0
  191. package/web/_app/immutable/entry/app.Dt52eXt2.js +2 -0
  192. package/web/_app/immutable/entry/start.mjqIl2PI.js +1 -0
  193. package/web/_app/immutable/nodes/0.DIhIOwuo.js +26 -0
  194. package/web/_app/immutable/nodes/1.B5qkcrvB.js +1 -0
  195. package/web/_app/immutable/nodes/2.CK3q7brK.js +1 -0
  196. package/web/_app/immutable/nodes/3.CrUewa31.js +1 -0
  197. package/web/_app/immutable/nodes/4.BhNJiqT-.js +2 -0
  198. package/web/_app/immutable/nodes/5.DXTbGemS.js +5 -0
  199. package/web/_app/immutable/nodes/6.BZWaFgFP.js +1 -0
  200. package/web/_app/immutable/nodes/{7.BdTE6U4H.js → 7.BxQaF3lD.js} +1 -1
  201. package/web/_app/version.json +1 -1
  202. package/web/index.html +22 -18
  203. package/web/_app/immutable/assets/0.LEIHnkPh.css +0 -1
  204. package/web/_app/immutable/assets/NoteEditor.BCjOff8L.css +0 -1
  205. package/web/_app/immutable/chunks/2DHY0Dzh.js +0 -666
  206. package/web/_app/immutable/chunks/C-352d8F.js +0 -1
  207. package/web/_app/immutable/chunks/CHxNLteG.js +0 -1
  208. package/web/_app/immutable/chunks/Cf6h5DpS.js +0 -20
  209. package/web/_app/immutable/chunks/D4A7-5k0.js +0 -1
  210. package/web/_app/immutable/chunks/Ps0IPbdL.js +0 -1
  211. package/web/_app/immutable/chunks/nhmVyQdD.js +0 -3
  212. package/web/_app/immutable/chunks/rTqzqD6j.js +0 -1
  213. package/web/_app/immutable/chunks/y24aTX4O.js +0 -1
  214. package/web/_app/immutable/entry/app.BQ0r6jSu.js +0 -2
  215. package/web/_app/immutable/entry/start.CIQiYrSU.js +0 -1
  216. package/web/_app/immutable/nodes/0.zPrOkn79.js +0 -26
  217. package/web/_app/immutable/nodes/1.DfBkOAo2.js +0 -1
  218. package/web/_app/immutable/nodes/2.fp8Y5joG.js +0 -1
  219. package/web/_app/immutable/nodes/3.Do9cwxjS.js +0 -1
  220. package/web/_app/immutable/nodes/4.CGd6gzGJ.js +0 -2
  221. package/web/_app/immutable/nodes/5.Dtac-HK8.js +0 -5
  222. package/web/_app/immutable/nodes/6._-kZkWYe.js +0 -1
package/README.md CHANGED
@@ -1,6 +1,6 @@
1
1
  # isorite
2
2
 
3
- An agentic harness for understanding: your notes as a knowledge base, an Atlas of them, Iso (an agent that reads them and writes in them only where you ask, and only what you keep), study with exercises Iso marks, and the terminal, where an agent writing code has your notes beside it.
3
+ An agentic harness for understanding: your notes as a knowledge base, an Atlas of them, Iso (an agent that reads them and writes in them only where you ask, and only what you keep), questions and problems of your own, and the terminal, where an agent writing code has your notes beside it.
4
4
 
5
5
  Needs Node 24 or later. For the terminal, OpenCode 2: `npm i -g @opencode/cli`.
6
6
 
@@ -9,7 +9,8 @@ npm install -g isorite
9
9
  isorite guide # the guide: a knowledge base about isorite, with things to do, in ~/isorite-guide
10
10
  ```
11
11
 
12
- On your own notes, a folder of Markdown files (`isorite new <notes>` starts one):
12
+ On your own notes, a folder of Markdown files (`isorite new <notes>` starts one). They're drawn as you write them:
13
+ maths, code coloured by its language, and Mermaid diagrams.
13
14
 
14
15
  ```sh
15
16
  isorite serve <notes> # the browser, at http://localhost:4767/; set up Iso's provider in Iso's settings
package/dist/main.js CHANGED
@@ -2665,6 +2665,12 @@ something at one place in the note they have open.`;
2665
2665
  - Maths is LaTeX between dollar signs: $p(x)$ in a line, and a displayed
2666
2666
  equation as a paragraph of its own, with $$ alone on the line before it
2667
2667
  and $$ alone on the line after.
2668
+ - Code is a fenced block named with its language (\`\`\`python), so it is
2669
+ coloured by it.
2670
+ - A diagram is a fenced block in the language mermaid (Mermaid's syntax), and
2671
+ is drawn as the diagram. Draw one where a picture of how things stand to
2672
+ each other helps, or when asked; not by habit. Maths in a label goes
2673
+ between $$ and $$.
2668
2674
  - Ordinary Markdown otherwise. No HTML.`;
2669
2675
  FORMAT_RULES = FORMAT;
2670
2676
  LOOKUP = (rounds, meaning) => `# Looking things up
@@ -8362,7 +8368,7 @@ var Setup = class {
8362
8368
  };
8363
8369
  //#endregion
8364
8370
  //#region packages/server/src/version.ts
8365
- const VERSION = "0.6.0";
8371
+ const VERSION = "0.7.0";
8366
8372
  //#endregion
8367
8373
  //#region packages/server/src/studybase.ts
8368
8374
  init_src$1();
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "isorite",
3
- "version": "0.6.0",
3
+ "version": "0.7.0",
4
4
  "description": "An agentic harness for understanding: your notes as a knowledge base, an Atlas of them, an agent that reads them, and study.",
5
5
  "license": "MIT",
6
6
  "type": "module",
package/plugin/server.ts CHANGED
@@ -43,7 +43,7 @@ export default Plugin.define({
43
43
  await ctx.session.hook("context", (request) => {
44
44
  request.system.push({
45
45
  type: "text",
46
- text: `The person's knowledge base is the folder ${notes}: notes in Markdown with YAML frontmatter, linked to each other. Look things up in it with brief_base, search_notes, outline_note and read_note rather than reading its files. Never edit or write its files directly: change a note with edit_note or write_note, which write it at once and mark your words as yours for the person to see. Your edits to code and other files are yours to make as usual.\n\n${CITING}`,
46
+ text: `The person's knowledge base is the folder ${notes}: notes in Markdown with YAML frontmatter, linked to each other. Look things up in it with brief_base, search_notes, outline_note and read_note rather than reading its files. Never edit or write its files directly: change a note with edit_note or write_note, which write it at once and mark your words as yours for the person to see. Your edits to code and other files are yours to make as usual. In a note, and in what you say, a fenced block in the language mermaid is drawn as a diagram in isorite, and code fenced with its language is coloured: draw a diagram where it helps or when asked.\n\n${CITING}`,
47
47
  });
48
48
  });
49
49
  // A write or an edit to a note anyway is made the same change through isorite, so it is entered and marked.
@@ -0,0 +1 @@
1
+ @font-face{font-family:Ioskeley Mono;font-style:normal;font-weight:100 550;font-display:swap;src:url(../../../fonts/ioskeley-mono-latin-regular.woff2)format("woff2")}@font-face{font-family:Ioskeley Mono;font-style:italic;font-weight:100 550;font-display:swap;src:url(../../../fonts/ioskeley-mono-latin-italic.woff2)format("woff2")}@font-face{font-family:Ioskeley Mono;font-style:normal;font-weight:551 900;font-display:swap;src:url(../../../fonts/ioskeley-mono-latin-bold.woff2)format("woff2")}@font-face{font-family:Ioskeley Mono;font-style:italic;font-weight:551 900;font-display:swap;src:url(../../../fonts/ioskeley-mono-latin-bolditalic.woff2)format("woff2")}@font-face{font-family:Departure Mono;font-style:normal;font-weight:400;font-display:swap;src:url(../../../fonts/departure-mono-latin-regular.woff2)format("woff2")}@font-face{font-family:Charter;font-style:normal;font-weight:400;font-display:swap;src:url(../../../fonts/charter-regular.woff2)format("woff2")}@font-face{font-family:Charter;font-style:italic;font-weight:400;font-display:swap;src:url(../../../fonts/charter-italic.woff2)format("woff2")}@font-face{font-family:Charter;font-style:normal;font-weight:700;font-display:swap;src:url(../../../fonts/charter-bold.woff2)format("woff2")}@font-face{font-family:Charter;font-style:italic;font-weight:700;font-display:swap;src:url(../../../fonts/charter-bold-italic.woff2)format("woff2")}@font-face{font-family:Math Charter;font-style:normal;font-weight:400;font-display:swap;src:url(../../../fonts/charter-regular.woff2)format("woff2");unicode-range:U+30-39,U+41-5A,U+61-7A;size-adjust:92.6%}@font-face{font-family:Math Charter;font-style:italic;font-weight:400;font-display:swap;src:url(../../../fonts/charter-italic.woff2)format("woff2");unicode-range:U+30-39,U+41-5A,U+61-7A;size-adjust:92.6%}@font-face{font-family:Math Charter;font-style:normal;font-weight:700;font-display:swap;src:url(../../../fonts/charter-bold.woff2)format("woff2");unicode-range:U+30-39,U+41-5A,U+61-7A;size-adjust:92.6%}:root{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--ground-0:#07101c;--ground-1:#0c1828;--ground-2:#122238;--ground-3:#1a3150;--line:#23395a;--line-strong:#5c7ba6;--text:#e9eef5;--text-soft:#b4c0d2;--text-faint:#8796ad;--lattice:#6ba6ff;--lattice-deep:#2d6be0;--growth:#f0be4a;--growth-deep:#c28f1e;--malachite:#5fd3a4;--malachite-deep:#1f8f68;--rose:#ff8fa6;--soft:16%;--requires:#b79cff;--builds:#ff9e64;--lattice-soft:color-mix(in srgb, var(--lattice) var(--soft), var(--ground-1));--growth-soft:color-mix(in srgb, var(--growth) var(--soft), var(--ground-1));--malachite-soft:color-mix(in srgb, var(--malachite) var(--soft), var(--ground-1));--rose-soft:color-mix(in srgb, var(--rose) var(--soft), var(--ground-1));--font-text:"Charter", "Bitstream Charter", Georgia, serif;--font-ui:"Ioskeley Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;--font-mono:var(--font-ui);--font-pixel:"Departure Mono", "Ioskeley Mono", ui-monospace, monospace;--text-size:18px;--measure:680px;--space-1:4px;--space-2:8px;--space-3:12px;--space-4:16px;--space-6:24px;--space-8:32px;--space-12:48px;--space-16:64px}:root[data-ground=quartz]{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--ground-0:#f2f0ea;--ground-1:#f8f7f3;--ground-2:#fff;--ground-3:#e6e4dc;--line:#d3d0c5;--line-strong:#7f7d70;--text:#0e1726;--text-soft:#3b475b;--text-faint:#5b677a;--lattice:#1e4fb8;--lattice-deep:#2a62d8;--growth:#8c6200;--growth-deep:#d9a21b;--malachite:#0b6b4a;--malachite-deep:#2fa37a;--rose:#a81e48;--requires:#6a3fc0;--builds:#b5521b;--soft:10%}@media (prefers-color-scheme:light){:root:not([data-ground=lapis]){--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--ground-0:#f2f0ea;--ground-1:#f8f7f3;--ground-2:#fff;--ground-3:#e6e4dc;--line:#d3d0c5;--line-strong:#7f7d70;--text:#0e1726;--text-soft:#3b475b;--text-faint:#5b677a;--lattice:#1e4fb8;--lattice-deep:#2a62d8;--growth:#8c6200;--growth-deep:#d9a21b;--malachite:#0b6b4a;--malachite-deep:#2fa37a;--rose:#a81e48;--requires:#6a3fc0;--builds:#b5521b;--soft:10%}}*,:before,:after{box-sizing:border-box}html,body{height:100%}body{background:var(--ground-0);color:var(--text);font:13px/1.5 var(--font-ui);-webkit-text-size-adjust:100%;margin:0}h1,h2,h3,p{margin:0}a{color:var(--lattice);text-decoration:none}a:hover{color:var(--lattice-deep);text-decoration:underline}button,input,select,textarea{font:inherit;color:inherit}button{cursor:pointer}:focus-visible{outline:2px solid var(--lattice);outline-offset:2px}::selection{background:color-mix(in srgb, var(--lattice) 40%, transparent)}.soft{color:var(--text-soft)}.faint{color:var(--text-faint)}.grow{flex:1 1 0;min-width:0}.pixel{font-family:var(--font-pixel);font-weight:400;line-height:1}.serif{font-family:var(--font-text)}.label{color:var(--text-faint);font-size:12px}.hidden-label{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.shell{flex-direction:column;min-height:100dvh;display:flex}.page{flex:auto;min-width:0}.logo{flex:none;display:block;overflow:visible}.logo path{fill:none;stroke:var(--text);stroke-width:.7px;stroke-linecap:round;stroke-linejoin:round}.logo .iso{fill:var(--growth);stroke:none}.logo .right{fill:var(--malachite);stroke:none}.btn,.chip{--cut:6px;--c:calc(var(--cut) * .7071);--fill:var(--ground-3);white-space:nowrap;color:var(--text);background:linear-gradient(var(--fill), var(--fill)) center / calc(100% - 2 * var(--cut)) 100% no-repeat, linear-gradient(135deg, transparent var(--c), var(--fill) 0) left top / var(--cut) var(--cut) no-repeat, linear-gradient(var(--fill), var(--fill)) left bottom / var(--cut) calc(100% - var(--cut)) no-repeat, linear-gradient(var(--fill), var(--fill)) right top / var(--cut) calc(100% - var(--cut)) no-repeat, linear-gradient(315deg, transparent var(--c), var(--fill) 0) right bottom / var(--cut) var(--cut) no-repeat;border:0;align-items:center;gap:8px;display:inline-flex}.btn{height:32px;padding:0 14px;font-size:13px}a.btn:hover{color:var(--text);text-decoration:none}.btn:hover:not(:disabled){--fill:var(--line)}.btn:disabled{color:var(--text-faint);cursor:default}.btn.tall{height:44px;padding:0 18px}.btn.primary{--fill:var(--lattice);color:var(--ground-0);font-weight:700}.btn.primary:hover:not(:disabled){--fill:var(--lattice-deep)}.btn.danger{--fill:var(--rose);color:var(--ground-0);font-weight:700}.btn.keep,.btn.edit,.btn.remove{color:#07101c;font-weight:700}.btn.keep{--fill:#7dddb5}.btn.edit{--fill:#f2c968}.btn.remove{--fill:#f7a8ba}.btn.quiet{--fill:transparent;color:var(--text-soft);padding:0 8px}.btn.quiet:hover:not(:disabled){--fill:var(--ground-2);color:var(--text)}.chip{--cut:4px;height:22px;color:var(--text-soft);padding:0 8px;font-size:12px}.chip.lattice{--fill:var(--lattice-soft);color:var(--lattice)}.chip.growth{--fill:var(--growth-soft);color:var(--growth)}.chip.malachite{--fill:var(--malachite-soft);color:var(--malachite)}.chip.rose{--fill:var(--rose-soft);color:var(--rose)}.frame{--cut:10px;--edge:var(--line-strong);--inside:var(--ground-1);isolation:isolate;background:0 0;border:0;position:relative}.frame:before,.frame:after{content:"";z-index:-2;background:var(--edge);pointer-events:none;--k:var(--cut);clip-path:polygon(var(--k) 0, calc(100% - var(--k)) 0, 100% var(--k), 100% calc(100% - var(--k)), calc(100% - var(--k)) 100%, var(--k) 100%, 0 calc(100% - var(--k)), 0 var(--k));position:absolute;inset:0}.frame:after{z-index:-1;inset:var(--px,1px);background:var(--inside);--k:max(0px, calc(var(--cut) - .586 * var(--px,1px)))}.frame>.frame-title{color:var(--text-faint);background:var(--behind,var(--ground-0));white-space:nowrap;padding:0 6px;font-size:12px;line-height:18px;position:absolute;top:-9px;left:22px}.field{background:var(--ground-2);border:0;border-bottom:1px solid var(--line-strong);min-width:0;height:32px;padding:0 10px}.field::placeholder{color:var(--text-faint)}.field:focus-visible{border-bottom-color:var(--lattice);box-shadow:0 1px 0 var(--lattice);outline:none}.sq{background:var(--lattice);flex:none;width:8px;height:8px;display:inline-block}.sq.empty{border:1px solid var(--line-strong);background:0 0}.dia{background:var(--growth);flex:none;width:8px;height:8px;display:inline-block;transform:rotate(45deg)}.dia.open{border:1.5px solid var(--growth);background:0 0}.dots{background-image:radial-gradient(var(--line) 1px, transparent 1.2px);background-size:24px 24px}.prose{font:var(--text-size)/1.6 var(--font-text)}.prose>:first-child{margin-top:0}.prose p,.prose table{margin:0 0 1em}.prose .table-wrap{margin:0 0 1em;overflow-x:auto}.prose table{border-collapse:collapse;font:14px/1.45 var(--font-ui);min-width:60%;margin:0}.prose th,.prose td{border-bottom:1px solid var(--line);text-align:left;vertical-align:top;padding:8px 12px 8px 0}.prose th{border-bottom:2px solid var(--text-faint);font-weight:700}.prose .katex-display{padding:4px 0;overflow:auto hidden}.prose eqn,.prose section.eqno{display:block}.prose section.eqno{align-items:center;display:flex}.prose section.eqno>eqn{flex:1}:root{--tok-k:var(--lattice);--tok-k-weight:400;--tok-s:var(--malachite);--tok-n:var(--growth);--tok-t:var(--requires);--tok-c:var(--text-faint)}:root[data-code=ink]{--tok-k:var(--text);--tok-k-weight:700;--tok-s:var(--text-soft);--tok-n:var(--text);--tok-t:var(--text)}.tok-k{color:var(--tok-k);font-weight:var(--tok-k-weight)}.tok-s{color:var(--tok-s)}.tok-n{color:var(--tok-n)}.tok-t{color:var(--tok-t)}.tok-c{color:var(--tok-c);font-style:normal}.code-block{position:relative}.code-block>pre{font:13px/20px var(--font-mono);background:var(--ground-1);border-left:2px solid var(--line-strong);margin:0;padding:12px 16px;overflow-x:auto}.code-block>pre>code{font:inherit}.prose>.code-block,.prose>.diagram{margin:0 0 20px}.code-block>.code-lang{font:12px/16px var(--font-ui);color:var(--text-faint);pointer-events:none;position:absolute;top:8px;right:12px}.code-block>.code-copy{background:var(--ground-1);width:28px;height:28px;color:var(--text-faint);cursor:pointer;opacity:0;border:0;place-items:center;padding:0;display:grid;position:absolute;top:4px;right:4px}.code-block>.code-copy svg{fill:none;stroke:currentColor;stroke-width:1.4px;width:16px;height:16px}.code-block:hover>.code-copy,.code-block>.code-copy:focus-visible{opacity:1}.code-block:hover>.code-copy+.code-lang{visibility:hidden}.code-block:has(>.code-copy:focus-visible)>.code-lang{visibility:hidden}.code-block>.code-copy:hover{color:var(--text)}.code-block>.code-copy.done{color:var(--malachite);opacity:1}@media (hover:none){.code-block>.code-copy{opacity:1}.code-block>.code-copy+.code-lang{visibility:hidden}}.diagram{--pele-bg:var(--ground-0);--pele-fg:var(--text);--pele-muted:var(--text-faint);--pele-line:var(--line-strong);--pele-surface:var(--ground-1);--pele-surface-alt:var(--ground-3);--pele-border:var(--line-strong);--pele-accent:var(--lattice);--pele-font:var(--font-ui);--pele-font-mono:var(--font-mono);--pele-radius:0;--pele-error:var(--rose);--pele-critical:var(--rose);--pele-series-1:var(--lattice);--pele-series-2:var(--growth);--pele-series-3:var(--malachite);--pele-series-4:var(--rose);--pele-series-5:var(--requires);--pele-series-6:var(--builds);--pele-series-7:var(--lattice-deep);--pele-series-8:var(--growth-deep);max-width:100%;font:12px/1.4 var(--font-ui);overflow:auto hidden}.diagram svg{max-width:none;display:block}.prose .diagram{margin:0 0 1em}.diagram>pre{font:13px/20px var(--font-mono);white-space:pre-wrap;color:var(--text-soft);margin:0}.katex{font-size:1.05em}.katex,.katex .mathit,.katex .mathbf,.katex .mainrm{font-family:Math Charter,KaTeX_Main,serif}.katex .mathnormal,.katex .boldsymbol{font-family:Math Charter,KaTeX_Math,serif}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(./KaTeX_AMS-Regular.BQhdFMY1.woff2)format("woff2"),url(./KaTeX_AMS-Regular.DMm9YOAa.woff)format("woff"),url(./KaTeX_AMS-Regular.DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(./KaTeX_Caligraphic-Bold.Dq_IR9rO.woff2)format("woff2"),url(./KaTeX_Caligraphic-Bold.BEiXGLvX.woff)format("woff"),url(./KaTeX_Caligraphic-Bold.ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(./KaTeX_Caligraphic-Regular.Di6jR-x-.woff2)format("woff2"),url(./KaTeX_Caligraphic-Regular.CTRA-rTL.woff)format("woff"),url(./KaTeX_Caligraphic-Regular.wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(./KaTeX_Fraktur-Bold.CL6g_b3V.woff2)format("woff2"),url(./KaTeX_Fraktur-Bold.BsDP51OF.woff)format("woff"),url(./KaTeX_Fraktur-Bold.BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(./KaTeX_Fraktur-Regular.CTYiF6lA.woff2)format("woff2"),url(./KaTeX_Fraktur-Regular.Dxdc4cR9.woff)format("woff"),url(./KaTeX_Fraktur-Regular.CB_wures.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(./KaTeX_Main-Bold.Cx986IdX.woff2)format("woff2"),url(./KaTeX_Main-Bold.Jm3AIy58.woff)format("woff"),url(./KaTeX_Main-Bold.waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(./KaTeX_Main-BoldItalic.DxDJ3AOS.woff2)format("woff2"),url(./KaTeX_Main-BoldItalic.SpSLRI95.woff)format("woff"),url(./KaTeX_Main-BoldItalic.DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(./KaTeX_Main-Italic.NWA7e6Wa.woff2)format("woff2"),url(./KaTeX_Main-Italic.BMLOBm91.woff)format("woff"),url(./KaTeX_Main-Italic.3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(./KaTeX_Main-Regular.B22Nviop.woff2)format("woff2"),url(./KaTeX_Main-Regular.Dr94JaBh.woff)format("woff"),url(./KaTeX_Main-Regular.ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(./KaTeX_Math-BoldItalic.CZnvNsCZ.woff2)format("woff2"),url(./KaTeX_Math-BoldItalic.iY-2wyZ7.woff)format("woff"),url(./KaTeX_Math-BoldItalic.B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(./KaTeX_Math-Italic.t53AETM-.woff2)format("woff2"),url(./KaTeX_Math-Italic.DA0__PXp.woff)format("woff"),url(./KaTeX_Math-Italic.flOr_0UB.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(./KaTeX_SansSerif-Bold.D1sUS0GD.woff2)format("woff2"),url(./KaTeX_SansSerif-Bold.DbIhKOiC.woff)format("woff"),url(./KaTeX_SansSerif-Bold.CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(./KaTeX_SansSerif-Italic.C3H0VqGB.woff2)format("woff2"),url(./KaTeX_SansSerif-Italic.DN2j7dab.woff)format("woff"),url(./KaTeX_SansSerif-Italic.YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(./KaTeX_SansSerif-Regular.DDBCnlJ7.woff2)format("woff2"),url(./KaTeX_SansSerif-Regular.CS6fqUqJ.woff)format("woff"),url(./KaTeX_SansSerif-Regular.BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(./KaTeX_Script-Regular.D3wIWfF6.woff2)format("woff2"),url(./KaTeX_Script-Regular.D5yQViql.woff)format("woff"),url(./KaTeX_Script-Regular.C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(./KaTeX_Size1-Regular.mCD8mA8B.woff2)format("woff2"),url(./KaTeX_Size1-Regular.C195tn64.woff)format("woff"),url(./KaTeX_Size1-Regular.Dbsnue_I.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(./KaTeX_Size2-Regular.Dy4dx90m.woff2)format("woff2"),url(./KaTeX_Size2-Regular.oD1tc_U0.woff)format("woff"),url(./KaTeX_Size2-Regular.B7gKUWhC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC)format("woff2"),url(./KaTeX_Size3-Regular.CTq5MqoE.woff)format("woff"),url(./KaTeX_Size3-Regular.DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(./KaTeX_Size4-Regular.Dl5lxZxV.woff2)format("woff2"),url(./KaTeX_Size4-Regular.BF-4gkZK.woff)format("woff"),url(./KaTeX_Size4-Regular.DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(./KaTeX_Typewriter-Regular.CO6r4hn1.woff2)format("woff2"),url(./KaTeX_Typewriter-Regular.C0xS9mPB.woff)format("woff"),url(./KaTeX_Typewriter-Regular.D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,math,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.18.10"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{white-space:nowrap;width:min-content;position:relative}.katex .katex-base,.katex .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 .katex-vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .katex-thinbox{flex-direction:row;width:0;max-width:0;display:inline-flex}.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 .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.katex-root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .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 .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:after,.katex .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 .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 .reflectbox{display:inline-block;transform:scaleX(-1)}.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>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}.dock.svelte-1a0w8ls{background:var(--ground-1);border:1px dotted var(--growth);z-index:2;cursor:default;align-items:center;gap:12px;min-height:60px;padding:8px 14px;display:flex;position:absolute;bottom:12px;left:12px;right:12px}.what.svelte-1a0w8ls{flex-direction:column;flex:0 auto;min-width:0;max-width:260px;display:flex}.name.svelte-1a0w8ls{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}ol.svelte-1a0w8ls{flex-wrap:wrap;gap:6px 16px;min-width:0;max-height:44px;margin:0;padding:0;font-size:12px;list-style:none;display:flex;overflow:hidden}li.svelte-1a0w8ls{align-items:center;gap:6px;min-width:0;display:flex}.t.svelte-1a0w8ls{text-overflow:ellipsis;white-space:nowrap;max-width:180px;overflow:hidden}.num.svelte-1a0w8ls{background:var(--lattice);width:18px;height:18px;color:var(--ground-0);flex:none;justify-content:center;align-items:center;font-size:11px;font-weight:700;display:flex}.over.svelte-1a0w8ls{color:var(--growth);white-space:normal;max-width:220px;line-height:1.3}.btn.svelte-1a0w8ls{flex:none}@media (width<=600px){.what.svelte-1a0w8ls{flex:1 1 0;max-width:none}ol.svelte-1a0w8ls,.over.svelte-1a0w8ls{display:none}}.n.svelte-m50bdg{left:calc(var(--x) * var(--u));top:calc(var(--y) * var(--u));width:calc(var(--w) * var(--u));height:calc(var(--h) * var(--u));font:12px/15px var(--font-ui);color:var(--text-soft);background:var(--ground-1);border:var(--px) solid var(--line-strong);align-items:center;padding:0 11px;text-decoration:none;transition:opacity .15s;display:flex;position:absolute;overflow:hidden}.n.svelte-m50bdg:hover{color:var(--text);text-decoration:none}.t.svelte-m50bdg{overflow-wrap:break-word;-webkit-line-clamp:4;line-clamp:4;-webkit-box-orient:vertical;display:none;overflow:hidden}.atlas-world.labels .t.svelte-m50bdg{display:-webkit-box}.question.svelte-m50bdg,.problem.svelte-m50bdg{overflow:visible}.notch.svelte-m50bdg{box-sizing:content-box;background:var(--behind);fill:none;stroke:currentColor;stroke-width:1.4px;stroke-linecap:round;stroke-linejoin:round;width:14px;height:14px;padding:0 2px;position:absolute;top:-7px;left:9px}.question.svelte-m50bdg .notch:where(.svelte-m50bdg){color:var(--rose)}.problem.svelte-m50bdg .notch:where(.svelte-m50bdg){color:var(--text-soft)}.problem.done.svelte-m50bdg .notch:where(.svelte-m50bdg){color:var(--malachite)}.question.svelte-m50bdg .t:where(.svelte-m50bdg),.problem.svelte-m50bdg .t:where(.svelte-m50bdg){overflow:hidden}.dim.svelte-m50bdg{opacity:.5}.linked.svelte-m50bdg{outline:calc(2 * var(--px)) solid var(--lattice);outline-offset:calc(3 * var(--px));color:var(--text)}.p-key.svelte-m50bdg{outline:calc(1.5 * var(--px)) dashed var(--growth);outline-offset:calc(3 * var(--px))}.p-sem.svelte-m50bdg{outline:calc(2 * var(--px)) dotted var(--growth);outline-offset:calc(3 * var(--px))}.p-link.svelte-m50bdg{outline:calc(1.5 * var(--px)) solid var(--growth);outline-offset:calc(3 * var(--px))}.p-used.svelte-m50bdg{outline:calc(1.5 * var(--px)) solid var(--growth);outline-offset:calc(3 * var(--px));background:var(--growth-soft);color:var(--text)}.at.svelte-m50bdg,.req.svelte-m50bdg,.bld.svelte-m50bdg{color:var(--text);outline:calc(2 * var(--px)) solid var(--text);outline-offset:calc(2 * var(--px))}.req.svelte-m50bdg{outline-color:color-mix(in srgb, var(--requires) var(--lit,100%), transparent)}.req.far.svelte-m50bdg{outline-width:var(--px);color:var(--text-soft)}.use.svelte-m50bdg{color:var(--text);outline:var(--px) solid var(--text-soft);outline-offset:calc(2 * var(--px))}.also.svelte-m50bdg{color:var(--text-soft);outline:var(--px) dotted var(--text-faint);outline-offset:calc(2 * var(--px))}.bld.svelte-m50bdg{outline-color:var(--builds)}.pick.svelte-m50bdg{outline:calc(2 * var(--px)) solid var(--lattice);outline-offset:calc(3 * var(--px));color:var(--text);overflow:visible}.num.svelte-m50bdg{background:var(--lattice);width:18px;height:18px;color:var(--ground-0);z-index:1;scale:var(--ik);justify-content:center;align-items:center;font-size:11px;font-weight:700;display:flex;position:absolute;top:-10px;right:-10px}.n.svelte-m50bdg:focus-visible{outline:calc(2 * var(--px)) solid var(--lattice);outline-offset:calc(2 * var(--px))}.here.svelte-m50bdg{box-shadow:inset calc(3 * var(--px)) 0 0 var(--text);color:var(--text)}.mo-you.svelte-m50bdg{outline:calc(2.5 * var(--px)) solid var(--lattice);outline-offset:calc(3 * var(--px));z-index:3}.mo-iso.svelte-m50bdg{outline:calc(2.5 * var(--px)) solid var(--growth);outline-offset:calc(3 * var(--px));z-index:3}.given.svelte-m50bdg{background:var(--growth-soft);border-color:var(--growth);color:var(--text)}.held.svelte-m50bdg{background:var(--lattice-soft);border-color:var(--lattice);color:var(--text)}.aside.svelte-m50bdg{border-style:dashed;border-color:var(--lattice)}.changed.svelte-m50bdg,.pointed.svelte-m50bdg,.order.svelte-m50bdg{overflow:visible}.dia.svelte-m50bdg{background:var(--growth);width:9px;height:9px;transform:rotate(45deg);scale:var(--ik);position:absolute;top:-5px;right:-5px}.pointed.svelte-m50bdg{outline:calc(2 * var(--px)) dashed var(--growth);outline-offset:calc(4 * var(--px));animation:1.2s linear infinite svelte-m50bdg-point}@keyframes svelte-m50bdg-point{50%{outline-offset:calc(6 * var(--px))}}.order.svelte-m50bdg{background:var(--growth);width:16px;height:16px;color:var(--ground-0);z-index:1;scale:var(--ik);place-items:center;font-size:10px;font-weight:700;display:grid;position:absolute;top:-9px;left:-9px}@media (prefers-reduced-motion:reduce){.pointed.svelte-m50bdg{animation:none}}.folder.svelte-ywp27z{left:calc(var(--x) * var(--u));top:calc(var(--y) * var(--u));width:calc(var(--w) * var(--u));height:calc(var(--h) * var(--u));--cut:10px;position:absolute}.frame-title.svelte-ywp27z{z-index:1;max-width:calc((100% - 44px) * var(--k));text-overflow:ellipsis;cursor:pointer;transform-origin:0 0;transform:scale(var(--ik)) translateY(-50%);border:0;top:0;overflow:hidden}.frame-title.svelte-ywp27z:hover{color:var(--text)}.closed.svelte-ywp27z{--inside:var(--ground-2);text-align:left;color:var(--text);padding:0;font-size:12px;line-height:1.5;overflow:hidden}.closed.svelte-ywp27z .inner:where(.svelte-ywp27z){width:calc(100% * var(--k));height:calc(100% * var(--k));transform-origin:0 0;transform:scale(var(--ik));flex-direction:column;justify-content:center;align-items:flex-start;padding:9px 12px;display:flex;position:absolute;top:0;left:0;container-type:size}.closed.svelte-ywp27z:hover{--inside:var(--ground-3)}.req.svelte-ywp27z{--edge:var(--requires)}.bld.svelte-ywp27z{--edge:var(--builds)}.held.svelte-ywp27z{transform-origin:100% 100%;transform:scale(var(--ik)) translateY(50%);max-width:calc((100% - 44px) * var(--k));text-overflow:ellipsis;color:var(--edge);cursor:default;pointer-events:none;inset:auto 22px 0 auto;overflow:hidden}.closed.req.svelte-ywp27z .label:where(.svelte-ywp27z),.closed.bld.svelte-ywp27z .label:where(.svelte-ywp27z){color:var(--edge)}.dim.svelte-ywp27z{opacity:.5}.closed.svelte-ywp27z span:where(.svelte-ywp27z){text-overflow:ellipsis;white-space:nowrap;max-width:100%;overflow:hidden}@container (width<=70px){.name.svelte-ywp27z,.label.svelte-ywp27z{display:none}}@container (height<=22px){.name.svelte-ywp27z,.label.svelte-ywp27z{display:none}}@container (height<=44px){.closed.svelte-ywp27z .label:where(.svelte-ywp27z){display:none}}.here.svelte-ywp27z{box-shadow:inset calc(3 * var(--px)) 0 0 var(--text)}.mo-you.svelte-ywp27z{outline:calc(2.5 * var(--px)) solid var(--lattice);outline-offset:calc(3 * var(--px));z-index:3}.mo-iso.svelte-ywp27z{outline:calc(2.5 * var(--px)) solid var(--growth);outline-offset:calc(3 * var(--px));z-index:3}.given.svelte-ywp27z{outline:calc(2 * var(--px)) solid var(--growth);outline-offset:calc(2 * var(--px))}.routes.svelte-k96fgh{pointer-events:none;width:1px;height:1px;position:absolute;top:0;left:0;overflow:visible}path.svelte-k96fgh{fill:none;vector-effect:non-scaling-stroke;stroke-linejoin:round}.base.svelte-k96fgh{stroke:var(--line-strong);stroke-width:1.5px;opacity:.6}.base.trunk.svelte-k96fgh{stroke-width:3px;opacity:.8}.weak.svelte-k96fgh{stroke-width:1px;opacity:.3}.weak.trunk.svelte-k96fgh{stroke-width:2px;opacity:.45}.lit.svelte-k96fgh{stroke-width:3px;stroke-dasharray:7 5;animation:.7s linear infinite svelte-k96fgh-run}.requires.svelte-k96fgh{stroke:var(--requires)}.builds.svelte-k96fgh{stroke:var(--builds)}.iso.svelte-k96fgh{stroke:var(--growth);stroke-width:2.5px}.sent.svelte-k96fgh{stroke:var(--lattice);stroke-width:2px}.uses.svelte-k96fgh{stroke:var(--text-soft);stroke-width:1.5px;stroke-dasharray:none;animation:none}@keyframes svelte-k96fgh-run{to{stroke-dashoffset:-12px}}.grown.svelte-k96fgh{vector-effect:none;stroke:var(--growth);stroke-linecap:round;stroke-dasharray:1;stroke-dashoffset:1px;animation:5.5s ease-in-out forwards svelte-k96fgh-grow}@keyframes svelte-k96fgh-grow{0%{stroke-dashoffset:1px;opacity:1}9%{stroke-dashoffset:1px}42%{stroke-dashoffset:0;opacity:1}78%{stroke-dashoffset:0;opacity:1}to{stroke-dashoffset:0;opacity:0}}.still.svelte-k96fgh{animation:none}.along.svelte-k96fgh{vector-effect:none;stroke-dasharray:1;stroke-linecap:butt}.retract.svelte-k96fgh{stroke-dashoffset:0;animation:.22s ease-in forwards svelte-k96fgh-retract}.draw.svelte-k96fgh{stroke-dashoffset:1px;animation:.34s ease-out forwards svelte-k96fgh-draw}@keyframes svelte-k96fgh-retract{to{stroke-dashoffset:1px}}@keyframes svelte-k96fgh-draw{to{stroke-dashoffset:0}}@media (prefers-reduced-motion:reduce){.lit.svelte-k96fgh{animation:none}.grown.svelte-k96fgh{stroke-dashoffset:0;opacity:.6;animation:none}}.atlas.svelte-14y1y1z{isolation:isolate;touch-action:none;-webkit-user-select:none;user-select:none;-webkit-touch-callout:none;cursor:grab;outline-offset:-2px;height:100%;position:relative;overflow:clip}.atlas.svelte-14y1y1z:active{cursor:grabbing}.atlas-world.svelte-14y1y1z{transform-origin:0 0;will-change:transform;width:0;height:0;position:absolute;top:0;left:0}.ground.svelte-14y1y1z{z-index:-1;pointer-events:none;will-change:transform;position:absolute;inset:-24px}.scaled.svelte-14y1y1z{transform-origin:0 0;width:0;height:0;position:absolute;top:0;left:0}.sat.svelte-14y1y1z{left:calc(var(--x) * var(--u));top:calc(var(--y) * var(--u));width:calc(3 * var(--u));height:calc(3 * var(--u));background:var(--ground-1);border:var(--px) solid var(--line-strong);color:var(--lattice);place-items:center;display:grid;position:absolute}.sat.svelte-14y1y1z svg:where(.svelte-14y1y1z){fill:none;stroke:currentColor;stroke-width:1.3px;stroke-linecap:round;stroke-linejoin:round;width:13px;height:13px}.sat.web.svelte-14y1y1z:hover,.sat.web.svelte-14y1y1z:focus-visible{border-color:var(--lattice)}.sat.broken.svelte-14y1y1z{color:var(--rose);border-color:var(--rose);border-style:dashed}.shifting.svelte-14y1y1z :is(.n,.sn,.folder){transition:left .45s,top .45s,width .45s,height .45s}@media (prefers-reduced-motion:reduce){.shifting.svelte-14y1y1z :is(.n,.sn,.folder){transition:none}}.said.svelte-14y1y1z{padding:var(--space-4);text-align:center;justify-content:center;align-items:center;display:flex;position:absolute;inset:0}.offer.svelte-14y1y1z{--inside:var(--ground-2);z-index:8;gap:2px;min-width:150px;padding:6px;display:grid;position:absolute}.offer.svelte-14y1y1z button:where(.svelte-14y1y1z){height:40px;color:var(--text);font:13px var(--font-ui);text-align:left;cursor:pointer;background:0 0;border:0;align-items:center;gap:10px;padding:0 10px;display:flex}.offer.svelte-14y1y1z button:where(.svelte-14y1y1z):hover,.offer.svelte-14y1y1z button:where(.svelte-14y1y1z):focus-visible{background:var(--ground-3)}.offer.svelte-14y1y1z i:where(.svelte-14y1y1z){width:12px;color:var(--growth);font-size:11px;font-style:normal}.grasp.svelte-14y1y1z{left:calc(var(--x) * var(--u) - 10px);top:calc(var(--y) * var(--u) - 12px);pointer-events:none;z-index:1;align-items:center;gap:6px;font-size:11px;display:flex;position:absolute}.grasp.svelte-14y1y1z svg:where(.svelte-14y1y1z){flex:none;overflow:visible}.grasp.svelte-14y1y1z svg:where(.svelte-14y1y1z) path:where(.svelte-14y1y1z){fill:var(--growth-soft);stroke:var(--growth);stroke-width:1.5px;stroke-linejoin:round;stroke-dasharray:2 2.5;animation:.6s linear infinite svelte-14y1y1z-march}.grasp.svelte-14y1y1z svg:where(.svelte-14y1y1z) path.ln:where(.svelte-14y1y1z){fill:none;stroke-dasharray:none;animation:none}.grasp.svelte-14y1y1z span:where(.svelte-14y1y1z){white-space:nowrap;background:var(--ground-0);padding:0 4px}@media (prefers-reduced-motion:reduce){.grasp.svelte-14y1y1z svg:where(.svelte-14y1y1z) path:where(.svelte-14y1y1z){animation:none}}@keyframes svelte-14y1y1z-march{to{stroke-dashoffset:-9px}}.given.svelte-14y1y1z{background:var(--ground-1);border:1px solid var(--growth);z-index:2;margin:0;padding:6px 10px;font-size:12px;position:absolute;bottom:12px;left:12px}.given.svelte-14y1y1z:first-letter{color:var(--growth)}.legend.svelte-14y1y1z{color:var(--text-soft);pointer-events:none;z-index:2;flex-wrap:wrap;gap:4px 14px;margin:0;font-size:11px;display:flex;position:absolute;bottom:10px;left:12px;right:12px}.legend.svelte-14y1y1z span:where(.svelte-14y1y1z){background:var(--ground-0);align-items:center;gap:6px;padding:0 4px;display:inline-flex}.legend.svelte-14y1y1z .k:where(.svelte-14y1y1z){place-items:center;width:10px;height:10px;font-style:normal;display:inline-grid}.legend.svelte-14y1y1z .g:where(.svelte-14y1y1z){background:var(--growth-soft);border:1px solid var(--growth)}.legend.svelte-14y1y1z .h:where(.svelte-14y1y1z){background:var(--lattice-soft);border:1px solid var(--lattice)}.legend.svelte-14y1y1z .d:where(.svelte-14y1y1z){background:var(--growth);width:7px;height:7px;transform:rotate(45deg)}.legend.svelte-14y1y1z .p:where(.svelte-14y1y1z){border:1.5px dashed var(--growth)}.legend.svelte-14y1y1z .n:where(.svelte-14y1y1z){background:var(--growth);width:14px;height:14px;color:var(--ground-0);font-size:9px;font-weight:700}.carried.svelte-14y1y1z{z-index:50;pointer-events:none;background:var(--ground-2);border:1px solid var(--line-strong);white-space:nowrap;padding:3px 8px;font-size:12px;position:fixed;transform:translate(10px,10px)}.carried.over.svelte-14y1y1z{border-color:var(--growth)}.notice.svelte-14y1y1z{background:var(--ground-1);border:1px solid var(--rose);color:var(--rose);z-index:2;margin:0;padding:6px 10px;font-size:12px;position:absolute;bottom:12px;left:12px}.asker.svelte-14y1y1z{left:calc(var(--x) * var(--u));top:calc(var(--y) * var(--u));width:calc(var(--w) * var(--u));height:calc(var(--h) * var(--u));pointer-events:none;z-index:1;position:absolute}.eph.svelte-14y1y1z{padding:0 calc(11px * var(--k));font-size:calc(12px * var(--k));color:var(--text);background:var(--growth-soft);border:1.5px dotted var(--growth);pointer-events:auto;align-items:center;line-height:1.25;text-decoration:none;display:flex;position:absolute;inset:0;overflow:hidden}.eph.svelte-14y1y1z .t:where(.svelte-14y1y1z){-webkit-line-clamp:4;line-clamp:4;-webkit-box-orient:vertical;display:none;overflow:hidden}.atlas-world.labels .eph.svelte-14y1y1z .t:where(.svelte-14y1y1z){display:-webkit-box}.loader.svelte-14y1y1z{width:100%;height:2px;position:absolute;top:calc(100% + 10px);left:0;overflow:hidden}.loader.svelte-14y1y1z path:where(.svelte-14y1y1z){stroke:var(--growth);stroke-width:2.5px;stroke-dasharray:2 3;animation:.6s linear infinite svelte-14y1y1z-march}.doing.svelte-14y1y1z{width:max(100%,240px);color:var(--text-soft);margin:0;font-size:12px;line-height:18px;position:absolute;top:calc(100% + 20px);left:0}.doing.svelte-14y1y1z .dia:where(.svelte-14y1y1z){margin:0 8px 0 3px}.c-gold.svelte-14y1y1z{color:var(--growth)}@media (prefers-reduced-motion:reduce){.loader.svelte-14y1y1z path:where(.svelte-14y1y1z){animation:none}}.pip.svelte-14y1y1z{z-index:4;background:var(--ground-1);border:1px solid var(--line-strong);width:22px;height:22px;color:var(--text);cursor:pointer;place-items:center;margin:-11px 0 0 -11px;padding:0;display:grid;position:absolute}.pip.svelte-14y1y1z svg:where(.svelte-14y1y1z){transform:rotate(var(--a));fill:currentColor}.pip.svelte-14y1y1z:hover,.pip.svelte-14y1y1z:focus-visible{border-color:var(--text)}.pip.you.svelte-14y1y1z{color:var(--lattice);border-color:var(--lattice)}.pip.iso.svelte-14y1y1z{color:var(--growth);border-color:var(--growth)}.count.svelte-14y1y1z{left:calc(var(--x) * var(--u));top:calc(var(--y) * var(--u));color:var(--text-faint);pointer-events:none;font-size:12px;line-height:18px;position:absolute}.count.right.svelte-14y1y1z{transform:translate(7px,-50%)}.count.above.svelte-14y1y1z{transform:translate(-50%,calc(-100% - 3px))}.map.svelte-nwxyyl{height:100%;position:relative}.side.svelte-nwxyyl{z-index:5;flex-direction:column;align-items:center;gap:8px;display:flex;position:absolute;top:16px;right:16px}.icon.svelte-nwxyyl{width:28px;height:28px;color:var(--text-faint);cursor:pointer;background:0 0;border:0;place-items:center;padding:0;display:grid}.icon.svelte-nwxyyl:hover,.icon.svelte-nwxyyl:focus-visible{color:var(--text)}.icon[aria-pressed=true].svelte-nwxyyl{color:var(--text-soft)}@media (width<=600px){.side.svelte-nwxyyl{display:none}}.context.svelte-po8nwq{flex-direction:column;flex:auto;gap:8px;min-height:0;padding:16px;font-size:12px;display:flex;overflow:auto}.total.svelte-po8nwq{font-variant-numeric:tabular-nums;color:var(--text);align-items:baseline;gap:6px;display:flex}.label.svelte-po8nwq{align-items:center;gap:6px;min-height:22px;margin-top:8px;font-weight:400;display:flex}.acts.svelte-po8nwq{gap:2px;margin-left:auto;display:inline-flex}.acts.svelte-po8nwq .icon:where(.svelte-po8nwq){width:24px;height:22px;color:var(--text-faint);cursor:pointer;background:0 0;border:0;place-items:center;padding:0;display:grid}.acts.svelte-po8nwq .icon:where(.svelte-po8nwq):hover:not(:disabled){color:var(--text)}.acts.svelte-po8nwq .icon:where(.svelte-po8nwq):disabled{opacity:.4;cursor:default}.rows.svelte-po8nwq{gap:6px;margin:0;padding:0;list-style:none;display:grid}.row.svelte-po8nwq{align-items:flex-start;gap:4px;min-width:0;display:flex}.row.under.svelte-po8nwq{padding-left:16px}.r.svelte-po8nwq{min-width:0;font:inherit;color:var(--text);text-align:left;cursor:pointer;background:0 0;border:0;flex:auto;grid-template-columns:14px minmax(0,auto) minmax(0,1fr) auto;align-items:baseline;gap:3px 8px;padding:0;display:grid}.r.svelte-po8nwq:disabled{cursor:default}.mk.svelte-po8nwq{color:var(--growth);text-align:center}.mk.iso.svelte-po8nwq{color:var(--lattice)}.mk.q.svelte-po8nwq{color:var(--rose)}.t.svelte-po8nwq{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.d.svelte-po8nwq{text-overflow:ellipsis;white-space:nowrap;color:var(--text-faint);overflow:hidden}.num.svelte-po8nwq{color:var(--text-faint);font-variant-numeric:tabular-nums;grid-column:4}.bar.svelte-po8nwq{background:linear-gradient(to right, var(--lattice) var(--w), var(--line) var(--w));grid-column:1/-1;height:3px}.off.svelte-po8nwq .t:where(.svelte-po8nwq),.off.svelte-po8nwq .mk:where(.svelte-po8nwq){color:var(--text-faint)}.off.svelte-po8nwq .bar:where(.svelte-po8nwq){background:var(--line)}.r.svelte-po8nwq:not(:disabled):hover .t:where(.svelte-po8nwq){color:var(--text);text-decoration:underline;-webkit-text-decoration-color:var(--line-strong);text-decoration-color:var(--line-strong)}.x.svelte-po8nwq{width:22px;height:18px;color:var(--text-faint);cursor:pointer;background:0 0;border:0;flex:none;place-items:center;padding:0;display:grid}.x.svelte-po8nwq:hover,.bad.svelte-po8nwq{color:var(--rose)}.chat.svelte-17377q0{flex-direction:column;flex:auto;gap:18px;min-height:0;padding:16px;display:flex;overflow:auto}.title.svelte-17377q0{margin-bottom:-8px;font-size:11px}.turn.svelte-17377q0{flex-direction:column;gap:8px;min-width:0;display:flex}.you.svelte-17377q0{flex-direction:column;gap:4px;padding-left:16px;display:flex;position:relative}.you.svelte-17377q0:before{content:"›";color:var(--lattice);position:absolute;top:0;left:0}.asked.svelte-17377q0{white-space:pre-wrap;overflow-wrap:anywhere;color:var(--text)}.from.svelte-17377q0{color:var(--text-faint);font-size:11px}.said.svelte-17377q0{font:15px/1.6 var(--font-text);overflow-wrap:anywhere;min-width:0;padding-left:16px;position:relative}.said.svelte-17377q0:before{content:"▸";font:11px var(--font-ui);color:var(--growth);position:absolute;top:1px;left:0}.said.svelte-17377q0 p+p,.said.svelte-17377q0 p+ul,.said.svelte-17377q0 ul+p{margin-top:8px}.said.svelte-17377q0 ul,.said.svelte-17377q0 ol{margin:0;padding-left:20px}.said.svelte-17377q0 pre{overflow-x:auto}.tool.svelte-17377q0{color:var(--text-faint);gap:6px;min-width:0;padding-left:16px;font-size:12px;display:grid;position:relative}.tool.svelte-17377q0:before{content:"·";position:absolute;top:0;left:4px}.tool[data-status=running].svelte-17377q0:before{content:"○";color:var(--growth);left:1px}.tool[data-status=failed].svelte-17377q0 .v:where(.svelte-17377q0){color:var(--rose)}summary.svelte-17377q0,.line.svelte-17377q0{cursor:default;align-items:baseline;gap:8px;min-width:0;list-style:none;display:flex}summary.svelte-17377q0{cursor:pointer}summary.svelte-17377q0::-webkit-details-marker{display:none}.v.svelte-17377q0{color:var(--text-soft);flex:none;min-width:5.5em}.q.svelte-17377q0{font:11.5px var(--font-mono);color:var(--text-soft);text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.n.svelte-17377q0{flex:none}.add.svelte-17377q0{color:var(--malachite)}.del.svelte-17377q0{color:var(--rose)}pre.svelte-17377q0{background:var(--ground-1);border:1px solid var(--line);font:11.5px/1.45 var(--font-mono);color:var(--text-soft);white-space:pre;max-height:280px;margin:6px 0 0;padding:8px 10px;overflow:auto}.diff.svelte-17377q0 span:where(.svelte-17377q0){display:block}.note-link.svelte-17377q0{font:inherit;color:var(--text-soft);cursor:pointer;text-align:left;overflow-wrap:anywhere;background:0 0;border:0;padding:0}.note-link.svelte-17377q0:hover,.note-link.svelte-17377q0:focus-visible{color:var(--lattice)}.permit.svelte-17377q0{border:1px solid var(--growth);color:var(--text-soft);gap:8px;margin-left:16px;padding:10px 12px;font-size:12.5px;display:grid}.tool.svelte-17377q0 .permit:where(.svelte-17377q0){margin-left:0}.permit.svelte-17377q0 code:where(.svelte-17377q0){font:12px var(--font-mono);color:var(--text);overflow-wrap:anywhere}.acts.svelte-17377q0{flex-wrap:wrap;gap:16px;display:flex}.acts.svelte-17377q0 button:where(.svelte-17377q0){font:inherit;color:var(--lattice);cursor:pointer;background:0 0;border:0;padding:0}.acts.svelte-17377q0 button:where(.svelte-17377q0):hover{color:var(--text)}.acts.svelte-17377q0 .no:where(.svelte-17377q0){color:var(--text-faint)}.doing.svelte-17377q0{color:var(--text-faint);padding-left:16px;font-size:12px;position:relative}.doing.svelte-17377q0 .spin:where(.svelte-17377q0){border:1px solid var(--growth);width:8px;height:8px;animation:1.2s linear infinite svelte-17377q0-spin;position:absolute;top:4px;left:1px}@keyframes svelte-17377q0-spin{to{transform:rotate(360deg)}}.bad.svelte-17377q0{color:var(--rose);padding-left:16px;font-size:12px}.end.svelte-17377q0{padding-left:16px;font-size:12px}@media (prefers-reduced-motion:reduce){.doing.svelte-17377q0 .spin:where(.svelte-17377q0){animation:none}}.iso.svelte-d2jxoz{flex-direction:column;height:100%;min-height:0;display:flex}.iso.drop.svelte-d2jxoz{outline:2px dashed var(--growth);outline-offset:-4px}.icon.svelte-d2jxoz{width:28px;height:28px;color:var(--text-faint);cursor:pointer;background:0 0;border:0;place-items:center;padding:0;display:grid}.icon.svelte-d2jxoz:hover:not(:disabled){color:var(--text)}.icon.svelte-d2jxoz:disabled{opacity:.35;cursor:default}.chat.svelte-d2jxoz{flex-direction:column;flex:auto;gap:18px;min-height:0;padding:16px;display:flex;overflow:auto}.turn.svelte-d2jxoz{flex-direction:column;gap:8px;min-width:0;display:flex}.you.svelte-d2jxoz{flex-direction:column;gap:6px;padding-left:16px;display:flex;position:relative}.you.svelte-d2jxoz:before{content:"›";color:var(--lattice);position:absolute;top:0;left:0}.asked.svelte-d2jxoz{white-space:pre-wrap;overflow-wrap:anywhere;color:var(--text)}.tmode.svelte-d2jxoz{color:var(--growth);align-self:flex-start;font-size:11px}.gave.svelte-d2jxoz{flex-wrap:wrap;gap:4px;display:flex}.said.svelte-d2jxoz{font:15px/1.6 var(--font-text);overflow-wrap:anywhere;min-width:0;padding-left:16px;position:relative}.said.svelte-d2jxoz:before{content:"◆";font:10px var(--font-ui);color:var(--growth);position:absolute;top:2px;left:0}.said.svelte-d2jxoz p+p,.said.svelte-d2jxoz p+ul,.said.svelte-d2jxoz ul+p{margin-top:8px}.said.svelte-d2jxoz ul,.said.svelte-d2jxoz ol{margin:0;padding-left:20px}.said.svelte-d2jxoz .katex-display{overflow:auto hidden}.look.svelte-d2jxoz,.point.svelte-d2jxoz,.doing.svelte-d2jxoz{color:var(--text-faint);flex-wrap:wrap;align-items:baseline;gap:8px;padding-left:16px;font-size:12px;display:flex;position:relative}.look.svelte-d2jxoz:before{content:"·";position:absolute;left:4px}.look.svelte-d2jxoz .v:where(.svelte-d2jxoz){color:var(--text-soft);min-width:5.5em}.look.failed.svelte-d2jxoz .q:where(.svelte-d2jxoz){color:var(--rose)}.look.svelte-d2jxoz .n:where(.svelte-d2jxoz){color:var(--text-faint)}.note-link.svelte-d2jxoz{font:inherit;color:var(--text-soft);cursor:pointer;text-align:left;overflow-wrap:anywhere;background:0 0;border:0;padding:0}.note-link.svelte-d2jxoz:hover,.note-link.svelte-d2jxoz:focus-visible{color:var(--lattice)}.point.svelte-d2jxoz{color:var(--text-faint)}.point.svelte-d2jxoz .v:where(.svelte-d2jxoz){color:var(--text-soft);min-width:5.5em}.point.svelte-d2jxoz .why:where(.svelte-d2jxoz){color:var(--text-soft);flex-basis:100%;padding-left:calc(5.5em + 8px)}.change.svelte-d2jxoz{color:var(--text-faint);flex-wrap:wrap;align-items:baseline;gap:8px;padding-left:16px;font-size:12px;display:flex;position:relative}.change.svelte-d2jxoz:before{content:"✎";color:var(--growth);position:absolute;left:0}.change.svelte-d2jxoz .v:where(.svelte-d2jxoz){color:var(--text-soft);min-width:5.5em}.change.svelte-d2jxoz .add:where(.svelte-d2jxoz){color:var(--malachite)}.change.svelte-d2jxoz .del:where(.svelte-d2jxoz){color:var(--rose)}.permit.svelte-d2jxoz{border:1px solid var(--growth);gap:8px;margin-left:16px;padding:10px 12px;font-size:12.5px;display:grid}.acts.svelte-d2jxoz{flex-wrap:wrap;gap:16px;display:flex}.acts.svelte-d2jxoz button:where(.svelte-d2jxoz){font:inherit;color:var(--lattice);cursor:pointer;background:0 0;border:0;padding:0}.acts.svelte-d2jxoz button:where(.svelte-d2jxoz):hover{color:var(--text)}.acts.svelte-d2jxoz .no:where(.svelte-d2jxoz){color:var(--text-faint)}.undo.svelte-d2jxoz{margin-top:-4px;padding-left:10px}.undone.svelte-d2jxoz{padding-left:16px;font-size:12px}.point.svelte-d2jxoz .dia:where(.svelte-d2jxoz){color:var(--growth);font-size:10px;position:absolute;left:0}.doing.svelte-d2jxoz .spin:where(.svelte-d2jxoz){border:1px solid var(--growth);width:8px;height:8px;animation:1.2s linear infinite svelte-d2jxoz-spin;position:absolute;top:4px;left:1px}@keyframes svelte-d2jxoz-spin{to{transform:rotate(360deg)}}.bad.svelte-d2jxoz{color:var(--rose);padding-left:16px;font-size:12px}.end.svelte-d2jxoz{padding-left:16px;font-size:12px}.composer.svelte-d2jxoz{border-top:1px solid var(--line);flex:none;gap:8px;padding:10px 12px;display:grid}.chip.svelte-d2jxoz{border:1px solid var(--line);height:20px;color:var(--text-soft);align-items:center;gap:6px;max-width:100%;padding:0 8px;font-size:11px;display:inline-flex}.chip.u.svelte-d2jxoz{border-color:var(--malachite)}.chip.svelte-d2jxoz .k:where(.svelte-d2jxoz){color:var(--growth)}.chip.u.svelte-d2jxoz .k:where(.svelte-d2jxoz){color:var(--malachite)}.chip.svelte-d2jxoz .t:where(.svelte-d2jxoz){text-overflow:ellipsis;white-space:nowrap;max-width:22ch;overflow:hidden}.box.svelte-d2jxoz{display:flex;position:relative}textarea.svelte-d2jxoz{resize:none;field-sizing:content;background:var(--ground-1);border:1px solid var(--line);min-width:0;min-height:42px;max-height:160px;font:13px/1.5 var(--font-ui);color:var(--text);flex:auto;padding:9px 34px 9px 10px}.corner.svelte-d2jxoz{width:26px;height:26px;color:var(--growth);cursor:pointer;background:0 0;border:0;place-items:center;padding:0;display:grid;position:absolute;bottom:5px;right:5px}.corner.stop.svelte-d2jxoz{color:var(--rose)}@media (pointer:fine){.corner.send.svelte-d2jxoz{display:none}}textarea.svelte-d2jxoz:focus{border-color:var(--line-strong);outline:none}.qm.svelte-d2jxoz{color:var(--rose);flex:none}.asks.svelte-d2jxoz{gap:2px;padding-left:16px;font-size:13px;display:grid}.asks.svelte-d2jxoz p:where(.svelte-d2jxoz){align-items:center;gap:6px;min-width:0;display:flex}.asks.svelte-d2jxoz .qm:where(.svelte-d2jxoz){margin-left:-17px;margin-right:4px}.asks.svelte-d2jxoz .qt:where(.svelte-d2jxoz){color:var(--text);overflow-wrap:anywhere}.asks.svelte-d2jxoz .note-link:where(.svelte-d2jxoz){color:var(--text)}.asks.svelte-d2jxoz .qb:where(.svelte-d2jxoz){color:var(--text-soft);font-size:12.5px;display:block}.asks.svelte-d2jxoz .plus:where(.svelte-d2jxoz){width:22px;height:22px;color:var(--rose);flex:none}.offer.svelte-d2jxoz{border-left:2px solid var(--line-strong);gap:4px;margin-left:16px;padding:2px 0 2px 12px;display:grid}.offer.svelte-d2jxoz .yours:where(.svelte-d2jxoz){font:15px/1.6 var(--font-text);color:var(--text);overflow-wrap:anywhere}.offer.svelte-d2jxoz .for:where(.svelte-d2jxoz){color:var(--text-faint);align-items:center;gap:6px;font-size:12px;display:flex}.offer.svelte-d2jxoz .for:where(.svelte-d2jxoz) .icon:where(.svelte-d2jxoz){width:24px;height:24px;color:var(--lattice)}.offer.svelte-d2jxoz .in:where(.svelte-d2jxoz){color:var(--malachite)}@media (prefers-reduced-motion:reduce){.doing.svelte-d2jxoz .spin:where(.svelte-d2jxoz){animation:none}}.phead.svelte-ubc5lw{border-bottom:1px solid var(--line);white-space:nowrap;-webkit-user-select:none;user-select:none;flex:none;align-items:center;gap:12px;min-width:0;height:40px;padding:0 10px 0 16px;display:flex;position:relative;overflow:hidden}.pname.svelte-ubc5lw{font-family:var(--font-pixel);color:var(--text-soft);align-items:center;gap:8px;font-size:15px;display:flex}.pname.svelte-ubc5lw:before{content:"";background:var(--line-strong);width:6px;height:6px}.pane.focus .pname.svelte-ubc5lw{color:var(--text)}.pane.focus .pname.svelte-ubc5lw:before{background:var(--lattice)}.switches.svelte-ubc5lw{align-items:center;gap:1px;margin-left:-4px;display:flex}.sw.svelte-ubc5lw{width:28px;height:28px;color:var(--text-faint);cursor:pointer;background:0 0;border:0;place-items:center;padding:0;display:grid;position:relative}.sw.svelte-ubc5lw:hover,.sw.svelte-ubc5lw:focus-visible{color:var(--text)}.sw[aria-pressed=true].svelte-ubc5lw{color:var(--c)}.sw[aria-pressed=true].svelte-ubc5lw:after{content:"";background:var(--c);height:2px;position:absolute;bottom:1px;left:7px;right:7px}.grow.svelte-ubc5lw{flex:auto}.icon.svelte-ubc5lw{width:28px;height:28px;color:var(--text-faint);cursor:pointer;background:0 0;border:0;flex:none;place-items:center;padding:0;display:grid}.icon.svelte-ubc5lw:hover,.icon.svelte-ubc5lw:focus-visible{color:var(--text)}.gear[aria-expanded=true].svelte-ubc5lw{color:var(--text);background:var(--ground-2)}.gear[aria-expanded=true].svelte-ubc5lw rect:where(.svelte-ubc5lw){fill:var(--ground-2)}.settings.svelte-ubc5lw{--inside:var(--ground-2);z-index:21;white-space:normal;-webkit-user-select:text;user-select:text;width:min(400px,100% - 16px);padding:0;position:absolute;top:54px;right:8px}.inner.svelte-ubc5lw{gap:var(--space-6);flex-direction:column;max-height:calc(100dvh - 140px);padding:24px 18px 14px;display:flex;overflow:auto}.settings.svelte-ubc5lw:focus-visible{outline:none}@media (width<=760px){.phead.svelte-ubc5lw{height:48px}.settings.svelte-ubc5lw{top:62px}.inner.svelte-ubc5lw{max-height:calc(100dvh - 210px)}}.gauge.svelte-1cyuk5c{cursor:pointer;background:0 0;border:0;flex-direction:column;align-self:center;gap:3px;width:32px;margin-right:4px;padding:6px 0;display:inline-flex}.bar.svelte-1cyuk5c{background:var(--ground-2);height:3px;display:block;position:relative}.bar.svelte-1cyuk5c:after{content:"";transform-origin:0;transform:scaleX(var(--fill));background:var(--growth);transition:transform .3s;position:absolute;inset:0}.bar.usd.svelte-1cyuk5c:after{background:var(--text-faint)}.bar.ctx.long.svelte-1cyuk5c:after{background:var(--builds)}.bar.ctx.full.svelte-1cyuk5c:after,.bar.usd.over.svelte-1cyuk5c:after{background:var(--rose)}@media (prefers-reduced-motion:reduce){.bar.svelte-1cyuk5c:after{transition:none}}.tiers.svelte-xdo8{font:11px var(--font-ui);color:var(--text-faint);align-self:center}.wide.svelte-xdo8{gap:6px;margin-right:6px;display:inline-flex}.wide.svelte-xdo8 button:where(.svelte-xdo8),.narrow.svelte-xdo8{font:inherit;color:inherit;cursor:pointer;background:0 0;border:0;border-bottom:1px solid #0000;padding:1px 0}.wide.svelte-xdo8 button[aria-checked=true]:where(.svelte-xdo8),.narrow.svelte-xdo8{color:var(--text);border-bottom-color:var(--growth)}.wide.svelte-xdo8 button:where(.svelte-xdo8):hover{color:var(--text)}.narrow.svelte-xdo8{width:14px;margin-right:6px;display:none}@media (width<=760px){.wide.svelte-xdo8{display:none}.narrow.svelte-xdo8{display:inline-block}}.head.svelte-fl4w36{align-items:center;gap:2px;display:flex}h2.svelte-fl4w36{font-weight:400}h3.svelte-fl4w36{margin:var(--space-1) 0 0;font-weight:400}.grow.svelte-fl4w36{flex:1}fieldset.svelte-fl4w36{gap:var(--space-2);border:0;flex-direction:column;min-width:0;margin:0;padding:0;display:flex}.row.svelte-fl4w36{align-items:center;gap:var(--space-2);flex-wrap:wrap;display:flex}.row.svelte-fl4w36 .grow:where(.svelte-fl4w36){min-width:12em}.name.svelte-fl4w36{width:10em}.kinds.svelte-fl4w36{gap:var(--space-3);flex-wrap:wrap;font-size:13px;display:flex}.kinds.svelte-fl4w36 label:where(.svelte-fl4w36),.check.svelte-fl4w36{cursor:pointer;align-items:center;gap:6px;display:inline-flex}details.svelte-fl4w36 summary:where(.svelte-fl4w36){cursor:pointer;list-style:none}details.svelte-fl4w36 summary:where(.svelte-fl4w36):before{content:"▸ "}details[open].svelte-fl4w36 summary:where(.svelte-fl4w36):before{content:"▾ "}.more.svelte-fl4w36{gap:var(--space-2);padding:var(--space-2) 0 0 var(--space-3);flex-direction:column;display:flex}.tiers.svelte-fl4w36{align-items:center;gap:4px var(--space-3);grid-template-columns:auto 1fr;display:grid}.tiers.svelte-fl4w36 .field:where(.svelte-fl4w36){height:28px;font-size:12px}.icon.svelte-fl4w36{width:28px;height:28px;color:var(--text-faint);cursor:pointer;background:0 0;border:0;place-items:center;padding:0;display:inline-grid}.icon.svelte-fl4w36:hover:not(:disabled),.icon.svelte-fl4w36:focus-visible{color:var(--text)}.icon.svelte-fl4w36:disabled{opacity:.35;cursor:default}.icon[aria-busy=true].svelte-fl4w36{opacity:1;color:var(--text);animation:1s ease-in-out infinite svelte-fl4w36-pulse}@keyframes svelte-fl4w36-pulse{50%{opacity:.4}}.checks.svelte-fl4w36{flex-direction:column;gap:4px;margin:0;padding:0;font-size:12px;list-style:none;display:flex}.checks.svelte-fl4w36 li:where(.svelte-fl4w36){gap:0 var(--space-2);grid-template-columns:1em auto 1fr;align-items:baseline;display:grid}.checks.svelte-fl4w36 .said:where(.svelte-fl4w36){overflow-wrap:anywhere}.checks.svelte-fl4w36 .ok:where(.svelte-fl4w36) .mark:where(.svelte-fl4w36){color:var(--growth)}.checks.svelte-fl4w36 .warn:where(.svelte-fl4w36) .mark:where(.svelte-fl4w36){color:var(--text-soft)}.checks.svelte-fl4w36 .fail:where(.svelte-fl4w36) .mark:where(.svelte-fl4w36){color:var(--rose)}.report.svelte-fl4w36{max-height:16em;font:11px/1.5 var(--font-mono);background:var(--ground-1);border:1px solid var(--line);white-space:pre-wrap;-webkit-user-select:text;user-select:text;margin:0;padding:8px 10px;overflow:auto}.bad.svelte-fl4w36{color:var(--rose)}section.svelte-1c4xnzk{gap:var(--space-2);flex-direction:column;display:flex}h2.svelte-1c4xnzk{font-weight:400}.row.svelte-1c4xnzk{align-items:center;gap:var(--space-2);flex-wrap:wrap;display:flex}.tiers.svelte-1c4xnzk{gap:2px var(--space-3);margin:var(--space-1) 0 0;grid-template-columns:auto 1fr;font-size:12px;display:grid}.tiers.svelte-1c4xnzk dd:where(.svelte-1c4xnzk){overflow-wrap:anywhere;margin:0}.bad.svelte-1c4xnzk{color:var(--rose)}.agents.svelte-1c4xnzk{resize:vertical;field-sizing:content;background:var(--ground-1);border:1px solid var(--line);width:100%;min-height:96px;font:12.5px/1.55 var(--font-mono);color:var(--text);padding:8px 10px}.agents.svelte-1c4xnzk:focus{border-color:var(--line-strong);outline:none}section.svelte-1h9x2hz{gap:var(--space-2);flex-direction:column;display:flex}h2.svelte-1h9x2hz{font-weight:400}.name.svelte-1h9x2hz{color:var(--text)}.row.svelte-1h9x2hz{align-items:center;gap:var(--space-3);flex-wrap:wrap;display:flex}.btn.on.svelte-1h9x2hz{--fill:var(--text);color:var(--ground-0);font-weight:700}.icons.svelte-1h9x2hz{align-items:center;gap:2px;display:flex}.icon.svelte-1h9x2hz{width:28px;height:28px;color:var(--text-faint);cursor:pointer;background:0 0;border:0;place-items:center;padding:0;display:grid}.icon.svelte-1h9x2hz:hover,.icon.svelte-1h9x2hz:focus-visible{color:var(--text)}.icon[aria-pressed=true].svelte-1h9x2hz{color:var(--text);background:var(--ground-3)}.icon.off.svelte-1h9x2hz{opacity:.45;background:0 0}.foot.svelte-1h9x2hz{border-top:1px solid var(--line);padding-top:var(--space-3);margin:0;font-size:12px}.says.svelte-12qhfyh{text-overflow:ellipsis;min-width:0;color:var(--text-soft);flex:0 auto;font-size:12px;overflow:hidden}.link.svelte-12qhfyh{color:var(--lattice);white-space:nowrap;cursor:pointer;background:0 0;border:0;flex:none;padding:4px 0;font-size:12px}.out.svelte-12qhfyh{flex:none;height:28px;padding:0 10px;font-size:12px}.where.svelte-12qhfyh{white-space:nowrap;text-overflow:ellipsis;min-width:0;font-size:12px;overflow:hidden}@media (width>=761px){.out.svelte-12qhfyh,.where.svelte-12qhfyh{display:none}}.bad.svelte-12qhfyh{color:var(--rose)}.saved.svelte-12qhfyh{flex:none;place-items:center;width:14px;height:28px;display:grid}.saved.svelte-12qhfyh i:where(.svelte-12qhfyh){background:var(--line-strong);border-radius:50%;width:6px;height:6px}.saved.busy.svelte-12qhfyh i:where(.svelte-12qhfyh){background:var(--growth)}.saved.bad.svelte-12qhfyh i:where(.svelte-12qhfyh){background:var(--rose)}.set.svelte-12qhfyh{gap:var(--space-2);flex-direction:column;display:flex}.set.svelte-12qhfyh h2:where(.svelte-12qhfyh){font-weight:400}.shell.svelte-12qhfyh{padding-top:env(safe-area-inset-top)}.panes.svelte-12qhfyh{min-width:0;min-height:0;height:calc(100dvh - env(safe-area-inset-top));display:grid}.pane.svelte-12qhfyh{border-left:1px solid var(--line);background:var(--ground-0);flex-direction:column;min-width:0;min-height:0;display:flex;position:relative}.pane.first.svelte-12qhfyh{border-left:0}.pane.top.svelte-12qhfyh{border-bottom:1px solid var(--line)}.pane[hidden].svelte-12qhfyh{display:none}.pbody.svelte-12qhfyh{overscroll-behavior:contain;flex:auto;min-height:0;position:relative;overflow:auto}.atlas-body.svelte-12qhfyh{overflow:hidden}.iso-body.svelte-12qhfyh{flex-direction:column;display:flex;overflow:hidden}.note-body.svelte-12qhfyh{container:page/inline-size}.divider.svelte-12qhfyh{z-index:6;cursor:col-resize;touch-action:none;width:7px;position:absolute;top:0;bottom:0;left:-4px}.divider.svelte-12qhfyh:before{content:"";background:0 0;width:1px;transition:background .15s,width .15s,left .15s;position:absolute;top:0;bottom:0;left:3px}.divider.svelte-12qhfyh:hover:before,.divider.svelte-12qhfyh:focus-visible:before{background:var(--lattice);width:3px;left:2px}.divider.svelte-12qhfyh:focus-visible{outline:none}.tree.svelte-12qhfyh{z-index:7;background:var(--ground-0);position:absolute;inset:40px 0 0;overflow:auto}button.icon.svelte-12qhfyh{cursor:pointer;background:0 0;border:0;padding:0}button.icon[aria-pressed=true].svelte-12qhfyh{color:var(--text);background:var(--ground-2)}.tabs.svelte-12qhfyh{display:none}@media (width<=760px){.tree.svelte-12qhfyh{top:48px}.panes.svelte-12qhfyh{scroll-snap-type:x mandatory;scrollbar-width:none;height:calc(100dvh - env(safe-area-inset-top) - 52px - env(safe-area-inset-bottom));display:flex;overflow:auto hidden}.panes.svelte-12qhfyh::-webkit-scrollbar{display:none}.pane.svelte-12qhfyh,.pane[hidden].svelte-12qhfyh{scroll-snap-align:start;scroll-snap-stop:always;border-left:0;flex:0 0 100%;display:flex}.tabs.svelte-12qhfyh{z-index:10;border-top:1px solid var(--line);padding-bottom:env(safe-area-inset-bottom);background:var(--ground-0);grid-template-columns:repeat(3,1fr);display:grid;position:fixed;bottom:0;left:0;right:0}.tabs.svelte-12qhfyh button:where(.svelte-12qhfyh){height:52px;font-family:var(--font-pixel);color:var(--text-faint);cursor:pointer;background:0 0;border:0;place-content:center;gap:2px;font-size:14px;display:grid;position:relative}.tabs.svelte-12qhfyh button[aria-current=true]:where(.svelte-12qhfyh){color:var(--text)}.tabs.svelte-12qhfyh button[aria-current=true]:where(.svelte-12qhfyh):before{content:"";background:var(--text);height:2px;position:absolute;top:-1px;left:20%;right:20%}.tabs.svelte-12qhfyh .badge:where(.svelte-12qhfyh){font:10px var(--font-ui);color:var(--ground-0);background:var(--growth);place-items:center;min-width:16px;height:16px;padding:0 3px;display:grid;position:absolute;top:8px;right:calc(50% - 30px)}}.icon.svelte-12qhfyh{width:28px;height:28px;color:var(--text-faint);flex:none;place-items:center;display:grid}.icon.svelte-12qhfyh:hover,.icon.svelte-12qhfyh:focus-visible{color:var(--text);text-decoration:none}.icon.svelte-12qhfyh:disabled{opacity:.35;cursor:default}.ctx.svelte-12qhfyh{align-items:center;gap:4px;width:auto;min-width:28px;padding:0 5px;display:inline-flex}.ctx.svelte-12qhfyh .n:where(.svelte-12qhfyh){font:11px/1 var(--font-ui);color:var(--growth);font-variant-numeric:tabular-nums}.ctx.svelte-12qhfyh .n.pulse:where(.svelte-12qhfyh){animation:.9s ease-out svelte-12qhfyh-pulse}@keyframes svelte-12qhfyh-pulse{0%{color:var(--text);text-shadow:0 0 6px var(--growth)}}@media (prefers-reduced-motion:reduce){.ctx.svelte-12qhfyh .n.pulse:where(.svelte-12qhfyh){animation:none}}.stopped.svelte-12qhfyh{padding:var(--space-12) var(--space-4);text-align:center;color:var(--rose)}
@@ -0,0 +1 @@
1
+ .between.svelte-192cp36{font:13px/1.5 var(--font-ui);flex-direction:column;gap:12px;padding:16px 2px;display:flex;position:relative}.between.svelte-192cp36:before,.between.svelte-192cp36:after{content:"";background:radial-gradient(circle at 1px 1px, var(--growth) 1px, transparent 1.2px) 0 0 / 8px 2px repeat-x;height:2px;animation:1.6s linear infinite svelte-192cp36-drift;position:absolute;left:0;right:0}.between.svelte-192cp36:before{top:0}.between.svelte-192cp36:after{animation-direction:reverse;bottom:0}.stopped.svelte-192cp36:before,.stopped.svelte-192cp36:after{background-image:radial-gradient(circle at 1px 1px, var(--rose) 1px, transparent 1.2px);animation:none}@keyframes svelte-192cp36-drift{to{background-position:8px 0}}@media (prefers-reduced-motion:reduce){.between.svelte-192cp36:before,.between.svelte-192cp36:after{animation:none}}.said.svelte-192cp36{font-size:var(--text-size);line-height:1.55}.said.svelte-192cp36 p,.said.svelte-192cp36 section,.said.svelte-192cp36 .table-wrap,.said.svelte-192cp36 ul,.said.svelte-192cp36 ol,.said.svelte-192cp36 pre{margin:0 0 20px}.said.svelte-192cp36 h1,.said.svelte-192cp36 h2,.said.svelte-192cp36 h3,.said.svelte-192cp36 h4{margin:0 0 12px;font-size:22px;line-height:1.3}.said.svelte-192cp36 h1{font-size:26px}.said.svelte-192cp36 h3{font-size:19px}.said.svelte-192cp36 h4{font-size:17px}.said.svelte-192cp36 pre{font:13px/20px var(--font-mono);background:var(--ground-1);border-left:2px solid var(--line-strong);padding:12px 16px;overflow-x:auto}.said.svelte-192cp36 :not(pre)>code{font-family:var(--font-mono);font-size:.86em}.said.svelte-192cp36>:last-child{margin-bottom:0}.said.svelte-192cp36 .katex-display{margin:0}.said.svelte-192cp36 .katex-display>.katex{font-size:1.17em}.foot.svelte-192cp36{flex-wrap:wrap;align-items:center;gap:8px;display:flex}.foot.svelte-192cp36 .dia:where(.svelte-192cp36){margin:0 8px 0 3px}.doing.svelte-192cp36{text-overflow:ellipsis;white-space:nowrap;min-width:0;max-width:100%;overflow:hidden}.bad.svelte-192cp36{color:var(--rose)}.picked.svelte-192cp36{font-size:12px}.lost.svelte-192cp36{font:var(--text-size)/1.55 var(--font-text)}.strike.svelte-192cp36{color:var(--text-faint);text-decoration:line-through}.link.svelte-192cp36{color:var(--lattice);white-space:nowrap;background:0 0;border:0;padding:6px 4px}.link.faint.svelte-192cp36{color:var(--text-faint)}.ask.svelte-192cp36{align-items:flex-start;gap:11px;display:flex}.ask.svelte-192cp36 .dia:where(.svelte-192cp36){margin:7px 0 0 3px}.ask.svelte-192cp36 textarea:where(.svelte-192cp36){resize:none;field-sizing:content;min-width:0;font:var(--text-size)/1.55 var(--font-text);color:var(--text);background:0 0;border:0;flex:auto;padding:0}.ask.svelte-192cp36 textarea:where(.svelte-192cp36):focus-visible,.revision.svelte-192cp36:focus-visible{outline:none}.ask.svelte-192cp36 textarea:where(.svelte-192cp36)::placeholder{color:var(--text-faint)}.revision.svelte-192cp36{background:var(--ground-1);border:0;border-left:2px solid var(--growth);resize:vertical;width:100%;font:14px/1.6 var(--font-ui);color:var(--text);padding:8px 12px}span.change.svelte-1o10yjh{margin-left:.3em}span.change.svelte-1o10yjh .new:where(.svelte-1o10yjh){white-space:normal;-webkit-text-decoration:underline dotted var(--growth);text-decoration:underline dotted var(--growth);text-underline-offset:4px;background:var(--growth-soft);text-decoration-thickness:1.5px}.gone.svelte-1o10yjh{font:12px var(--font-ui);color:var(--text-faint)}.act.svelte-1o10yjh{vertical-align:2px;white-space:nowrap;gap:2px;margin-left:.4em;display:inline-flex}button.svelte-1o10yjh{height:20px;font:700 11px/20px var(--font-ui);color:#07101c;border:0;padding:0 7px}button.svelte-1o10yjh:disabled{opacity:.5}.keep.svelte-1o10yjh{background:#7dddb5}.remove.svelte-1o10yjh{background:#f7a8ba}.block.svelte-1o10yjh{border-left:2px dotted var(--growth);background:var(--growth-soft);flex-direction:column;gap:8px;padding:6px 0 6px 14px;display:flex}.block.svelte-1o10yjh .new:where(.svelte-1o10yjh){font:var(--text-size)/1.55 var(--font-text);color:var(--text);margin:0}.block.svelte-1o10yjh .new:where(.svelte-1o10yjh) p,.block.svelte-1o10yjh .new:where(.svelte-1o10yjh) ul,.block.svelte-1o10yjh .new:where(.svelte-1o10yjh) ol{margin:0 0 12px}.block.svelte-1o10yjh .new:where(.svelte-1o10yjh)>:last-child{margin-bottom:0}.block.svelte-1o10yjh .new:where(.svelte-1o10yjh) .katex-display{margin:4px 0}.block.code.svelte-1o10yjh .new:where(.svelte-1o10yjh){font:13px/20px var(--font-mono);white-space:pre;overflow-x:auto}.foot.svelte-1o10yjh{font:12px/1.5 var(--font-ui);align-items:center;gap:10px;padding-right:8px;display:flex}.foot.svelte-1o10yjh .dia:where(.svelte-1o10yjh){margin:0 3px}.foot.svelte-1o10yjh .act:where(.svelte-1o10yjh){vertical-align:0}.who.svelte-1o10yjh{font:11px/20px var(--font-ui);color:var(--text-faint);margin-left:.4em}.editor.svelte-hrl8lz{min-height:50vh}
@@ -0,0 +1,2 @@
1
+ import{_ as e,f as t,i as n,o as r,r as i,u as a,x as o}from"./CX-xckzu.js";import{a as s,s as c}from"./DECNRCf2.js";import{a as l,c as u,d,f,g as p,h as m,i as h,l as g,m as ee,n as _,o as v,p as y,r as b,s as x,t as S,u as C}from"./BunrC_8P.js";import{u as te}from"./8wVGBFSs.js";var w=class{domains=new Map;transitions=[];setDomains(e){if(e)for(let t of e){let e=t.domain;this.domains.set(e,{name:e,items:(t.items??[]).map(e=>({label:e.label}))})}}setTransitions(e){e&&(this.transitions=e.filter(e=>e.from!==e.to).map(e=>({from:e.from,to:e.to,label:e.label||void 0})))}};function T(e,t){let n=new w;return n.setDomains(e.domains),n.setTransitions(e.transitions),{type:`cynefin`,title:e.title||t,accTitle:e.accTitle?e.accTitle.replace(/^\s+/g,``):void 0,accDescr:e.accDescr?e.accDescr.replace(/\n\s+/g,`
2
+ `):void 0,domains:n.domains,transitions:n.transitions}}var E=[{name:`cynefin-beta:`,pattern:`cynefin-beta:`},h(`cynefin-beta`),{name:`-->`,pattern:`-->`},{name:`:`,pattern:`:`},{name:`DOMAIN_NAME`,pattern:/complex|complicated|clear|chaotic|confusion/y},l,S,y,ee,g,C,b,v,x];function D(e){let t=new m(_(e,E,`cynefin`),E,`cynefin`),n={$type:`Cynefin`,domains:[],transitions:[]},r=()=>{for(;t.kinds[t.i]===9;)t.i++},i=()=>{t.kind!==-1&&(t.kind!==9&&t.fail(`a line break or the end of input`),r())};for(r(),t.kind!==1&&t.kind!==0&&t.fail(`'cynefin-beta'`),t.i++;t.kind!==-1;)switch(t.kind){case 9:t.i++;break;case 5:n.accDescr=u(t.take()),i();break;case 6:n.accTitle=p(t.take()),i();break;case 7:n.title=d(t.take()),i();break;case 4:{let e=t.take();if(t.accept(2)){let r={$type:`Transition`,from:e,to:t.expect(4)};t.accept(3)&&(r.label=f(t.expect(8))),i(),n.transitions.push(r);break}let a={$type:`DomainBlock`,domain:e,items:[]};for(r();t.kinds[t.i]===8;)a.items.push({$type:`DomainItem`,label:f(t.take())}),r();n.domains.push(a);break}default:t.fail(`a domain, a transition, a title, or a line break`)}return n}function O(e){let t=e+1831565813|0;return t=Math.imul(t^t>>>15,t|1),t^=t+Math.imul(t^t>>>7,t|61),((t^t>>>14)>>>0)/4294967296}function k(e){let t=0;for(let n=0;n<e.length;n++)t=(t<<5)-t+e.charCodeAt(n),t|=0;return t}function ne(e,t){return typeof e==`number`&&Number.isFinite(e)&&e!==0?e:k(t)}var re={segments:7,vertical:!0,pointStep:17,controlStep:31,controlShift:7},A={segments:7,vertical:!1,pointStep:23,controlStep:37,controlShift:11};function j(e,t,n,r,i,a){let o=(t-e)/a.segments,s=[],c=[];for(let t=0;t<=a.segments;t++){let l=t===0&&a.pinStart||t===a.segments&&a.pinEnd;s.push(e+t*o),c.push(l?n:n+O(r+t*a.pointStep)*i*2-i)}let l=a.vertical?[c[0],s[0]]:[s[0],c[0]];for(let e=0;e<a.segments;e++){let t=(s[e]+s[e+1])/2,n=i*1.5*(e%2==0?1:-1)*O(r+e*a.controlStep+a.controlShift);a.vertical?l.push(c[e]+n,t,c[e+1]-n,t,c[e+1],s[e+1]):l.push(t,c[e]+n,t,c[e+1]-n,s[e+1],c[e+1])}return l}function ie(e,t,n,r){let i=n-t;return[e,t,e+r,t+i*.2,e-r*1.5,t+i*.55,e+r*.5,t+i*.75,e-r,t+i*.85,e+r*.3,t+i*.95,e,n]}function M(e){let t=``;for(let n=2;n<e.length;n+=6)t+=`C${o(e[n])},${o(e[n+1])} ${o(e[n+2])},${o(e[n+3])} ${o(e[n+4])},${o(e[n+5])}`;return t}function N(e){let t=``;for(let n=e.length-6;n>=2;n-=6)t+=`C${o(e[n+2])},${o(e[n+3])} ${o(e[n])},${o(e[n+1])} ${o(e[n-2])},${o(e[n-1])}`;return t}function P(e){return`M${o(e[0])},${o(e[1])}${M(e)}`}function F(e,t,n,r){let i=`${o(n)},${o(r)}`;return`M${o(e-n)},${o(t)}A${i} 0 1,1 ${o(e+n)},${o(t)}A${i} 0 1,1 ${o(e-n)},${o(t)}Z`}var I=[[`complex`,0,0,0],[`complicated`,1,0,1],[`chaotic`,0,1,3],[`clear`,1,1,2]],ae=4,L=new Map([[`complex`,[`Complex`,`Probe → Sense → Respond`,`Emergent Practices`]],[`complicated`,[`Complicated`,`Sense → Analyse → Respond`,`Good Practices`]],[`clear`,[`Clear`,`Sense → Categorise → Respond`,`Best Practices`]],[`chaotic`,[`Chaotic`,`Act → Sense → Respond`,`Novel Practices`]],[`confusion`,[`Confusion`,``,`Disorder`]]]),oe=3,se=200,ce=10,le=4,R=6,ue=10,de=20,z=10;function B(e,t,n,r,i){let a=e.cynefin?.[t];return typeof a==`number`&&a>=r&&a<=i?a:n}function V(l,u,d){let f=d.fontSize??16,p=Math.round(f*.8125),m=Math.round(f*.875),h=d.measurer??te(d.fontFamily,d.fontFamilyMono),g=d.padding??8,ee=d.icons,_=u.cynefin?.showDomainDescriptions!==!1,v=B(u,`boundaryAmplitude`,8,0,50),y=ne(B(u,`seed`,0,-0x38d7ea4c68000,0x38d7ea4c68000),d.idPrefix??`pele`),b=Math.round(m*1.5),x=(e,t)=>{let n=a(e,!1,h,m,se);return{text:e,label:n,w:n.width+2*ce,h:Math.max(n.height,b)+2*le,overflow:t}},S=e=>{let t=L.get(e),n=a(t[0],!1,h,f,4e3,1),r=[];if(_)for(let e of[t[1],t[2]])e&&r.push(a(e,!1,h,p,4e3,2));let i=l.domains.get(e)?.items??[],o=e===`confusion`&&i.length>oe?oe:i.length,s=[];for(let e=0;e<o;e++)s.push(x(i[e].label,!1));o<i.length&&s.push(x(`+${i.length-o} more`,!0));let c=n.width,u=n.height;for(let e of r)c=Math.max(c,e.width),u+=e.height;s.length>0&&(u+=ue-R);for(let e of s)c=Math.max(c,e.w),u+=R+e.h;return{name:e,title:n,subtitles:r,badges:s,w:c,h:u,cx:0,cy:0}},C=I.map(([e])=>S(e)),w=S(`confusion`),T=Math.max(88,w.w*.71+8),E=Math.max(64,w.h*.71+6),D=B(u,`width`,640,100,1e4)/2,O=B(u,`height`,440,100,1e4)/2;for(let e of C)D=Math.max(D,e.w+2*de),O=Math.max(O,e.h+2*de);for(let e of C){let t=(D-e.w)/2,n=(O-e.h)/2;if((t/(T+z))**2+(n/(E+z))**2>=1)continue;let r=e.w+2*(T+z),i=e.h+2*(E+z);r*O<=D*i?D=Math.max(D,r):O=Math.max(O,i)}let k=a(l.title,!1,h,f,4e3,1),V=k.height>0?k.height+12:0,H=2*D,fe=2*O,U=g,W=g+V,G=U+D,K=W+O,q=U+H,pe=W+fe,J=j(W,K,G,y,v,{...re,segments:4,pinEnd:!0}),Y=j(U,G,K,y+100,v,{...A,segments:4,pinEnd:!0}),X=j(G,q,K,y+200,v,{...A,segments:4,pinStart:!0}),Z=ie(G,K,pe,H*.03),Q=(e,t)=>t?`${o(e[e.length-2])},${o(e[e.length-1])}`:`${o(e[0])},${o(e[1])}`,me=new Map([[`complex`,`M${o(U)},${o(W)}L${Q(J,!1)}${M(J)}${N(Y)}Z`],[`complicated`,`M${Q(J,!1)}L${o(q)},${o(W)}L${Q(X,!0)}${N(X)}${N(J)}Z`],[`chaotic`,`M${Q(Y,!1)}${M(Y)}${M(Z)}L${o(U)},${o(pe)}Z`],[`clear`,`M${Q(X,!1)}${M(X)}L${o(q)},${o(pe)}L${Q(Z,!0)}${N(Z)}Z`]]),he=``;for(let[e,,,n]of I)he+=`<path class="pele-cynefin-region" data-id="${e}" d="${me.get(e)}" fill="${t(n)}" fill-opacity="0.14"/>`;let ge=`<g class="pele-cynefin-boundaries" fill="none" stroke="var(--_b)" stroke-dasharray="6 3"><path d="${P(J)}"/><path d="${P(Y)}"/><path d="${P(X)}"/><path class="pele-cynefin-cliff" d="${P(Z)}" stroke="var(--_l)" stroke-width="2" stroke-dasharray="none" stroke-linecap="round"/></g>`,_e=F(G,K,T,E),ve=`<path d="${_e}" fill="var(--_bg)"/><path class="pele-cynefin-region" data-id="confusion" d="${_e}" fill="${t(ae)}" fill-opacity="0.18" stroke="var(--_b)" stroke-dasharray="4 2"/>`,ye=e=>{let t=e.cy-e.h/2,a=r(e.title,e.cx,t+e.title.height/2,` class="pele-label" font-weight="var(--_hw)"`);t+=e.title.height;for(let n of e.subtitles)a+=r(n,e.cx,t+n.height/2,` class="pele-cynefin-subtitle" font-size="${p}" font-style="italic" fill="var(--_m)"`),t+=n.height;t+=ue-R;for(let s of e.badges)t+=R,a+=`<g class="pele-node${s.overflow?` pele-cynefin-overflow`:``}"${s.overflow?``:` data-id="${n(s.text)}"`}><rect x="${o(e.cx-s.w/2)}" y="${o(t)}" width="${o(s.w)}" height="${o(s.h)}" fill="var(--_bg)" stroke="var(--_b)"${s.overflow?` stroke-dasharray="3 2"`:``}${i}/>`+r(s.label,e.cx,t+s.h/2,` class="pele-label" font-size="${m}"${s.overflow?` fill="var(--_m)"`:``}`,ee)+`</g>`,t+=s.h;return`<g class="pele-cynefin-domain" data-id="${e.name}">${a}</g>`},$=new Map,be=``;I.forEach(([e,t,n],r)=>{let i=C[r];i.cx=U+D*(t+.5),i.cy=W+O*(n+.5),$.set(e,i),be+=ye(i)}),w.cx=G,w.cy=K,$.set(`confusion`,w),be+=ye(w);let xe=(e,t,n)=>e===w?((t-G)/(T+4))**2+((n-K)/(E+4))**2<=1:Math.abs(t-e.cx)<=e.w/2+8&&Math.abs(n-e.cy)<=e.h/2+8,Se=``,Ce=new Map;for(let e of l.transitions){let t=$.get(e.from),n=$.get(e.to);if(!t||!n||t===n)continue;let i=e.from<e.to?`${e.from} ${e.to}`:`${e.to} ${e.from}`,l=Ce.get(i)??0;Ce.set(i,l+1);let u=n.cx-t.cx,d=n.cy-t.cy,f=Math.hypot(u,d)||1,m=(t.cx+n.cx)/2,g=(t.cy+n.cy)/2,_=-d*(m-G)+u*(g-K)>=0?1:-1,v=-d/f*_,y=u/f*_,b=(t!==w&&n!==w&&Math.abs(u)>1&&Math.abs(d)>1?2*(Math.hypot(T*v,E*y)+16):f*.15)+l*56,x=m+v*b,S=g+y*b,C=e=>{let r=1-e;return[r*r*t.cx+2*r*e*x+e*e*n.cx,r*r*t.cy+2*r*e*S+e*e*n.cy]},te=(e,t,n,r)=>{for(let i=0;i<16;i++){let i=(t+n)/2;xe(e,...C(i))===r?t=i:n=i}return(t+n)/2},D=1;for(;D<=48&&xe(t,...C(D/48));)D++;if(D>48)continue;let O=te(t,(D-1)/48,D/48,!0);for(;D<=48&&!xe(n,...C(D/48));)D++;let k=D>48?1:te(n,(D-1)/48,D/48,!1),[ne,re]=C(O),[A,j]=C(k),ie=(e,t,n)=>(1-O)*(1-k)*e+((1-O)*k+O*(1-k))*t+O*k*n,M=ie(t.cx,x,n.cx),N=ie(t.cy,S,n.cy),P=Math.hypot(A-M,j-N)||1,F=(A-M)/P,I=(j-N)/P,ae=c(`arrow_point`,A,j,F,I,`var(--_l)`);A-=F*s(`arrow_point`),j-=I*s(`arrow_point`);let L=``;if(e.label){let t=a(e.label,!1,h,p,se),[n,i]=C((O+k)/2),o=Math.abs(v)*t.width/2+Math.abs(y)*t.height/2+6,s=t.width/2+4,c=Math.min(Math.max(n+v*o,U+s),Math.max(q-s,U+s));L=r(t,c,i+y*o,` class="pele-edge-label" font-size="${p}"`,ee)}Se+=`<g class="pele-edge" data-id="${e.from}-${e.to}"><path d="M${o(ne)},${o(re)}Q${o(M)},${o(N)} ${o(A)},${o(j)}" fill="none" stroke="var(--_l)"/>`+ae+L+`</g>`}let we=Math.ceil(Math.max(H,k.width)+2*g),Te=Math.ceil(fe+V+2*g),Ee=r(k,U+H/2,g+k.height/2,` class="pele-title" font-weight="var(--_tw)"`)+`<g class="pele-cynefin-regions">${he}</g>`+ge+ve+be+(Se?`<g class="pele-edges">${Se}</g>`:``);return{svg:e(`cynefin`,we,Te,f,d,l,Ee),width:we,height:Te,links:[]}}var H={type:`cynefin`,parse:(e,t,n)=>T(D(e),n),render:V};export{H as cynefin};
@@ -0,0 +1 @@
1
+ function e(e){for(var t={},n=e.split(` `),r=0;r<n.length;++r)t[n[r]]=!0;return t}var t={name:`ttcn-cfg`,keywords:e(`Yes No LogFile FileMask ConsoleMask AppendFile TimeStampFormat LogEventTypes SourceInfoFormat LogEntityName LogSourceInfo DiskFullAction LogFileNumber LogFileSize MatchingHints Detailed Compact SubCategories Stack Single None Seconds DateTime Time Stop Error Retry Delete TCPPort KillTimer NumHCs UnixSocketsEnabled LocalAddress`),fileNCtrlMaskOptions:e(`TTCN_EXECUTOR TTCN_ERROR TTCN_WARNING TTCN_PORTEVENT TTCN_TIMEROP TTCN_VERDICTOP TTCN_DEFAULTOP TTCN_TESTCASE TTCN_ACTION TTCN_USER TTCN_FUNCTION TTCN_STATISTICS TTCN_PARALLEL TTCN_MATCHING TTCN_DEBUG EXECUTOR ERROR WARNING PORTEVENT TIMEROP VERDICTOP DEFAULTOP TESTCASE ACTION USER FUNCTION STATISTICS PARALLEL MATCHING DEBUG LOG_ALL LOG_NOTHING ACTION_UNQUALIFIED DEBUG_ENCDEC DEBUG_TESTPORT DEBUG_UNQUALIFIED DEFAULTOP_ACTIVATE DEFAULTOP_DEACTIVATE DEFAULTOP_EXIT DEFAULTOP_UNQUALIFIED ERROR_UNQUALIFIED EXECUTOR_COMPONENT EXECUTOR_CONFIGDATA EXECUTOR_EXTCOMMAND EXECUTOR_LOGOPTIONS EXECUTOR_RUNTIME EXECUTOR_UNQUALIFIED FUNCTION_RND FUNCTION_UNQUALIFIED MATCHING_DONE MATCHING_MCSUCCESS MATCHING_MCUNSUCC MATCHING_MMSUCCESS MATCHING_MMUNSUCC MATCHING_PCSUCCESS MATCHING_PCUNSUCC MATCHING_PMSUCCESS MATCHING_PMUNSUCC MATCHING_PROBLEM MATCHING_TIMEOUT MATCHING_UNQUALIFIED PARALLEL_PORTCONN PARALLEL_PORTMAP PARALLEL_PTC PARALLEL_UNQUALIFIED PORTEVENT_DUALRECV PORTEVENT_DUALSEND PORTEVENT_MCRECV PORTEVENT_MCSEND PORTEVENT_MMRECV PORTEVENT_MMSEND PORTEVENT_MQUEUE PORTEVENT_PCIN PORTEVENT_PCOUT PORTEVENT_PMIN PORTEVENT_PMOUT PORTEVENT_PQUEUE PORTEVENT_STATE PORTEVENT_UNQUALIFIED STATISTICS_UNQUALIFIED STATISTICS_VERDICT TESTCASE_FINISH TESTCASE_START TESTCASE_UNQUALIFIED TIMEROP_GUARD TIMEROP_READ TIMEROP_START TIMEROP_STOP TIMEROP_TIMEOUT TIMEROP_UNQUALIFIED USER_UNQUALIFIED VERDICTOP_FINAL VERDICTOP_GETVERDICT VERDICTOP_SETVERDICT VERDICTOP_UNQUALIFIED WARNING_UNQUALIFIED`),externalCommands:e(`BeginControlPart EndControlPart BeginTestCase EndTestCase`),multiLineStrings:!0},n=t.keywords,r=t.fileNCtrlMaskOptions,i=t.externalCommands,a=t.multiLineStrings,o=t.indentStatements!==!1,s=/[\|]/,c;function l(e,t){var a=e.next();if(a==`"`||a==`'`)return t.tokenize=u(a),t.tokenize(e,t);if(/[:=]/.test(a))return c=a,`punctuation`;if(a==`#`)return e.skipToEnd(),`comment`;if(/\d/.test(a))return e.eatWhile(/[\w\.]/),`number`;if(s.test(a))return e.eatWhile(s),`operator`;if(a==`[`)return e.eatWhile(/[\w_\]]/),`number`;e.eatWhile(/[\w\$_]/);var o=e.current();return n.propertyIsEnumerable(o)?`keyword`:r.propertyIsEnumerable(o)?`atom`:i.propertyIsEnumerable(o)?`deleted`:`variable`}function u(e){return function(t,n){for(var r=!1,i,o=!1;(i=t.next())!=null;){if(i==e&&!r){var s=t.peek();s&&(s=s.toLowerCase(),(s==`b`||s==`h`||s==`o`)&&t.next()),o=!0;break}r=!r&&i==`\\`}return(o||!(r||a))&&(n.tokenize=null),`string`}}function d(e,t,n,r,i){this.indented=e,this.column=t,this.type=n,this.align=r,this.prev=i}function f(e,t,n){var r=e.indented;return e.context&&e.context.type==`statement`&&(r=e.context.indented),e.context=new d(r,t,n,null,e.context)}function p(e){var t=e.context.type;return(t==`)`||t==`]`||t==`}`)&&(e.indented=e.context.indented),e.context=e.context.prev}var m={name:`ttcn`,startState:function(){return{tokenize:null,context:new d(0,0,`top`,!1),indented:0,startOfLine:!0}},token:function(e,t){var n=t.context;if(e.sol()&&(n.align??(n.align=!1),t.indented=e.indentation(),t.startOfLine=!0),e.eatSpace())return null;c=null;var r=(t.tokenize||l)(e,t);if(r==`comment`)return r;if(n.align??(n.align=!0),(c==`;`||c==`:`||c==`,`)&&n.type==`statement`)p(t);else if(c==`{`)f(t,e.column(),`}`);else if(c==`[`)f(t,e.column(),`]`);else if(c==`(`)f(t,e.column(),`)`);else if(c==`}`){for(;n.type==`statement`;)n=p(t);for(n.type==`}`&&(n=p(t));n.type==`statement`;)n=p(t)}else c==n.type?p(t):o&&((n.type==`}`||n.type==`top`)&&c!=`;`||n.type==`statement`&&c==`newstatement`)&&f(t,e.column(),`statement`);return t.startOfLine=!1,r},languageData:{indentOnInput:/^\s*[{}]$/,commentTokens:{line:`#`}}};export{m as ttcnCfg};