@shivaedev/work-board 0.10.0 → 0.12.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 (2322) hide show
  1. package/CHANGELOG.md +164 -227
  2. package/README.md +487 -514
  3. package/assets/agent.js +26 -26
  4. package/assets/native.js +35 -34
  5. package/assets/react-assets/abap-CLvhMVsD.js +1 -0
  6. package/assets/react-assets/actionscript-3-Cs6JJXT5.js +1 -0
  7. package/assets/react-assets/ada-X3Y2mlq2.js +1 -0
  8. package/assets/react-assets/ahk-DwADkxyd.js +1 -0
  9. package/assets/react-assets/ahk2-_6rzW9BS.js +1 -0
  10. package/assets/react-assets/andromeeda-vGVdxbeo.js +1 -0
  11. package/assets/react-assets/angular-html-DD5qBkTo.js +1 -0
  12. package/assets/react-assets/angular-ts-DZ1ZyxW7.js +1 -0
  13. package/assets/react-assets/apache-U0d_L8uA.js +1 -0
  14. package/assets/react-assets/apex-KFGFyKwG.js +1 -0
  15. package/assets/react-assets/apl-DL__xH5U.js +1 -0
  16. package/assets/react-assets/applescript-CCn79oCD.js +1 -0
  17. package/assets/react-assets/ara-4CJ0cIlV.js +1 -0
  18. package/assets/react-assets/asciidoc-SCjQUq34.js +1 -0
  19. package/assets/react-assets/asm-Cmm7eHzH.js +1 -0
  20. package/assets/react-assets/astro-DFuRQ3LX.js +1 -0
  21. package/assets/react-assets/aurora-x-CDeNXAV0.js +1 -0
  22. package/assets/react-assets/awk-BWXHIvNe.js +1 -0
  23. package/assets/react-assets/ayu-dark-DluEY0Gj.js +1 -0
  24. package/assets/react-assets/ayu-light-C3h-C4tm.js +1 -0
  25. package/assets/react-assets/ayu-mirage-Bqwy1Gya.js +1 -0
  26. package/assets/react-assets/ballerina-B7ZEbQpA.js +1 -0
  27. package/assets/react-assets/bat-qdxAdBWQ.js +1 -0
  28. package/assets/react-assets/beancount-C2IN4Vk8.js +1 -0
  29. package/assets/react-assets/berry-DKpUyyne.js +1 -0
  30. package/assets/react-assets/bibtex-Ci_nEsc7.js +1 -0
  31. package/assets/react-assets/bicep-CUHmPFLl.js +1 -0
  32. package/assets/react-assets/bird2-CYIUgYqB.js +1 -0
  33. package/assets/react-assets/blade-C-nS9O0O.js +1 -0
  34. package/assets/react-assets/bsl-_VjlB9mv.js +1 -0
  35. package/assets/react-assets/c-B49fFJ5A.js +1 -0
  36. package/assets/react-assets/c3-D0apG41V.js +1 -0
  37. package/assets/react-assets/cadence-CQ2zXKGN.js +1 -0
  38. package/assets/react-assets/cairo-DLTphjLi.js +1 -0
  39. package/assets/react-assets/catppuccin-frappe-C9Q5zVZY.js +1 -0
  40. package/assets/react-assets/catppuccin-latte-CtsyrtPq.js +1 -0
  41. package/assets/react-assets/catppuccin-macchiato-R8nAf1vR.js +1 -0
  42. package/assets/react-assets/catppuccin-mocha-DjuaAJKi.js +1 -0
  43. package/assets/react-assets/chapel--VmkN5lx.js +1 -0
  44. package/assets/react-assets/clarity-CtfBBspg.js +1 -0
  45. package/assets/react-assets/clojure-DqKBuwfJ.js +1 -0
  46. package/assets/react-assets/cmake-Bj61d0ZC.js +1 -0
  47. package/assets/react-assets/cobol-CC-u2qoB.js +1 -0
  48. package/assets/react-assets/codeowners-C8r90Shi.js +1 -0
  49. package/assets/react-assets/codeql-oeQT6MSM.js +1 -0
  50. package/assets/react-assets/coffee-QNVpInVb.js +1 -0
  51. package/assets/react-assets/common-lisp-Cv5bFMCO.js +1 -0
  52. package/assets/react-assets/coq-CGaSfhwR.js +1 -0
  53. package/assets/react-assets/cpp-DpTyvldM.js +1 -0
  54. package/assets/react-assets/crystal-DZQu20ZL.js +1 -0
  55. package/assets/react-assets/csharp-dmMxLVLW.js +1 -0
  56. package/assets/react-assets/css-072DXyQF.js +1 -0
  57. package/assets/react-assets/csv-Dx-8-gkx.js +1 -0
  58. package/assets/react-assets/cue-CE9AQfxI.js +1 -0
  59. package/assets/react-assets/cypher-ClKdZ_lG.js +1 -0
  60. package/assets/react-assets/d-qD-0Kul2.js +1 -0
  61. package/assets/react-assets/dark-plus-Cs2F2srj.js +1 -0
  62. package/assets/react-assets/dart-CHZY9Xhz.js +1 -0
  63. package/assets/react-assets/dax-BkyTk9wS.js +1 -0
  64. package/assets/react-assets/desktop-Dlh5hvp9.js +1 -0
  65. package/assets/react-assets/diff-woXpYk--.js +1 -0
  66. package/assets/react-assets/docker-IyjqRm3v.js +1 -0
  67. package/assets/react-assets/dotenv-CuH5my32.js +1 -0
  68. package/assets/react-assets/dracula-BHWKrbxM.js +1 -0
  69. package/assets/react-assets/dracula-soft-5eyTD99u.js +1 -0
  70. package/assets/react-assets/dream-maker-DW3nJb8Q.js +1 -0
  71. package/assets/react-assets/edge-Cka5ciKz.js +1 -0
  72. package/assets/react-assets/elixir-CJPUkXFK.js +1 -0
  73. package/assets/react-assets/elm-gj2hFCac.js +1 -0
  74. package/assets/react-assets/emacs-lisp-DR2vtWaj.js +1 -0
  75. package/assets/react-assets/erb-bDVVKajT.js +1 -0
  76. package/assets/react-assets/erlang-Cphh6RMH.js +1 -0
  77. package/assets/react-assets/everforest-dark-sB-x3p7T.js +1 -0
  78. package/assets/react-assets/everforest-light-Df2xbC6M.js +1 -0
  79. package/assets/react-assets/fennel-DQxkIbk2.js +1 -0
  80. package/assets/react-assets/fish-BJitypiv.js +1 -0
  81. package/assets/react-assets/fluent-C03EYrpw.js +1 -0
  82. package/assets/react-assets/fortran-fixed-form-DEKoE2YW.js +1 -0
  83. package/assets/react-assets/fortran-free-form-CYNrtFtB.js +1 -0
  84. package/assets/react-assets/fsharp-D13ZGOAj.js +1 -0
  85. package/assets/react-assets/gdresource-xMC7jr7x.js +1 -0
  86. package/assets/react-assets/gdscript-DYvRD3hg.js +1 -0
  87. package/assets/react-assets/gdshader-CBce3t8t.js +1 -0
  88. package/assets/react-assets/genie-CV2tkWYe.js +1 -0
  89. package/assets/react-assets/gherkin-DExj1W_8.js +1 -0
  90. package/assets/react-assets/git-commit-BSykSTBG.js +1 -0
  91. package/assets/react-assets/git-rebase-DfqXkuvc.js +1 -0
  92. package/assets/react-assets/github-dark-C-LZuMrd.js +1 -0
  93. package/assets/react-assets/github-dark-default-DXG-b-1a.js +1 -0
  94. package/assets/react-assets/github-dark-dimmed-Bx1FflLF.js +1 -0
  95. package/assets/react-assets/github-dark-high-contrast-B_tTalzw.js +1 -0
  96. package/assets/react-assets/github-light-EUqPIrTm.js +1 -0
  97. package/assets/react-assets/github-light-default-BXViO-2h.js +1 -0
  98. package/assets/react-assets/github-light-high-contrast-B68TUdTA.js +1 -0
  99. package/assets/react-assets/gleam-CSRkHgEL.js +1 -0
  100. package/assets/react-assets/glimmer-js-D6kILH9I.js +1 -0
  101. package/assets/react-assets/glimmer-ts-DBnqLty3.js +1 -0
  102. package/assets/react-assets/glsl-DwsaZCPm.js +1 -0
  103. package/assets/react-assets/gn-CAXYAgV-.js +1 -0
  104. package/assets/react-assets/gnuplot-7GGW24-e.js +1 -0
  105. package/assets/react-assets/go-rLFTqkRN.js +1 -0
  106. package/assets/react-assets/graphql-CmVZDqvW.js +1 -0
  107. package/assets/react-assets/groovy-CacY0gHj.js +1 -0
  108. package/assets/react-assets/gruvbox-dark-hard-C820rvS2.js +1 -0
  109. package/assets/react-assets/gruvbox-dark-medium-BPjhmG05.js +1 -0
  110. package/assets/react-assets/gruvbox-dark-soft-MrdJrrXF.js +1 -0
  111. package/assets/react-assets/gruvbox-light-hard-BC_s9l72.js +1 -0
  112. package/assets/react-assets/gruvbox-light-medium-BAWPOn9u.js +1 -0
  113. package/assets/react-assets/gruvbox-light-soft-BSMLrYjP.js +1 -0
  114. package/assets/react-assets/hack-DRipdhb-.js +1 -0
  115. package/assets/react-assets/haml-BhY1BOSN.js +1 -0
  116. package/assets/react-assets/handlebars-Bz4Ztob4.js +1 -0
  117. package/assets/react-assets/haskell-D8IpX4py.js +1 -0
  118. package/assets/react-assets/haxe-C8oCnwJJ.js +1 -0
  119. package/assets/react-assets/hcl-Dh228itO.js +1 -0
  120. package/assets/react-assets/hjson-CxZEssPk.js +1 -0
  121. package/assets/react-assets/hlsl-Cvrh5tZx.js +1 -0
  122. package/assets/react-assets/horizon-CE9ld1lL.js +1 -0
  123. package/assets/react-assets/horizon-bright-DSNQnXHK.js +1 -0
  124. package/assets/react-assets/houston-CsvMBhTu.js +1 -0
  125. package/assets/react-assets/html-D5Dv1LFZ.js +1 -0
  126. package/assets/react-assets/html-derivative-Bp73re0Z.js +1 -0
  127. package/assets/react-assets/http-CJ-kxxPV.js +1 -0
  128. package/assets/react-assets/hurl-C3Tp0wF8.js +1 -0
  129. package/assets/react-assets/hxml-Dcm88srW.js +1 -0
  130. package/assets/react-assets/hy-CZbG8q4J.js +1 -0
  131. package/assets/react-assets/imba-DsUTQ-LC.js +1 -0
  132. package/assets/react-assets/ini-B5eOa1yu.js +1 -0
  133. package/assets/react-assets/java-DcLJTH0G.js +1 -0
  134. package/assets/react-assets/javascript-DV2Xi2Rs.js +1 -0
  135. package/assets/react-assets/jinja-CDxLVsXR.js +1 -0
  136. package/assets/react-assets/jison-CEXOgG2l.js +1 -0
  137. package/assets/react-assets/json-83w8X9Co.js +1 -0
  138. package/assets/react-assets/json5-BR5RXkoi.js +1 -0
  139. package/assets/react-assets/jsonc-CYpm1nAK.js +1 -0
  140. package/assets/react-assets/jsonl-CmCQp5Yx.js +1 -0
  141. package/assets/react-assets/jsonnet-CJTPZ8u_.js +1 -0
  142. package/assets/react-assets/jssm-DXw9l8Rf.js +1 -0
  143. package/assets/react-assets/jsx-CeKmUg3O.js +1 -0
  144. package/assets/react-assets/julia-D36PNHvb.js +1 -0
  145. package/assets/react-assets/just-uTDkkRl2.js +1 -0
  146. package/assets/react-assets/kanagawa-dragon-Bozd7klA.js +1 -0
  147. package/assets/react-assets/kanagawa-lotus-BmuOG9ZW.js +1 -0
  148. package/assets/react-assets/kanagawa-wave-BML5mF2J.js +1 -0
  149. package/assets/react-assets/kdl-CsD5j6eV.js +1 -0
  150. package/assets/react-assets/kotlin-DhhofPvG.js +1 -0
  151. package/assets/react-assets/kusto-C7mF5XQf.js +1 -0
  152. package/assets/react-assets/laserwave-C_8bwKvT.js +1 -0
  153. package/assets/react-assets/latex-DJChlVVG.js +1 -0
  154. package/assets/react-assets/lean-CewbzKMR.js +1 -0
  155. package/assets/react-assets/less-DVTAwKKz.js +1 -0
  156. package/assets/react-assets/light-plus-DVQuIRkW.js +1 -0
  157. package/assets/react-assets/liquid-bvTim6e2.js +1 -0
  158. package/assets/react-assets/llvm-DqHOMS-s.js +1 -0
  159. package/assets/react-assets/log-BNLmms1o.js +1 -0
  160. package/assets/react-assets/logo-Cluzi2Zq.js +1 -0
  161. package/assets/react-assets/lua-CqlTSUPZ.js +1 -0
  162. package/assets/react-assets/luau-VGWVLoqX.js +1 -0
  163. package/assets/react-assets/make-Dixweg8N.js +1 -0
  164. package/assets/react-assets/markdown-BYOwaDjH.js +1 -0
  165. package/assets/react-assets/marko-LPL2GTzK.js +1 -0
  166. package/assets/react-assets/material-theme-Bm3Qr25_.js +1 -0
  167. package/assets/react-assets/material-theme-darker-2IIEA8gg.js +1 -0
  168. package/assets/react-assets/material-theme-lighter-uhdI0v04.js +1 -0
  169. package/assets/react-assets/material-theme-ocean-CHQ94UKr.js +1 -0
  170. package/assets/react-assets/material-theme-palenight-B5W6OYN7.js +1 -0
  171. package/assets/react-assets/matlab-D7qyCx1q.js +1 -0
  172. package/assets/react-assets/mdc-Bp9cENUJ.js +1 -0
  173. package/assets/react-assets/mdx-DQZ5AkYe.js +1 -0
  174. package/assets/react-assets/mermaid-BxpfTIzt.js +1 -0
  175. package/assets/react-assets/min-dark-BSWPekZh.js +1 -0
  176. package/assets/react-assets/min-light-DDpmG2fV.js +1 -0
  177. package/assets/react-assets/mipsasm-BMqwQI7S.js +1 -0
  178. package/assets/react-assets/mojo-fg40_ntQ.js +1 -0
  179. package/assets/react-assets/monokai-BscAjiQZ.js +1 -0
  180. package/assets/react-assets/moonbit-D9W784E_.js +1 -0
  181. package/assets/react-assets/move-BYnGhZoM.js +1 -0
  182. package/assets/react-assets/narrat-_X_XdTYD.js +1 -0
  183. package/assets/react-assets/nextflow-CSgcYZcx.js +1 -0
  184. package/assets/react-assets/nextflow-groovy-D7IRt6Pp.js +1 -0
  185. package/assets/react-assets/nginx-CpG63RNH.js +1 -0
  186. package/assets/react-assets/night-owl-DhmEMT88.js +1 -0
  187. package/assets/react-assets/night-owl-light-eJ-hLW7d.js +1 -0
  188. package/assets/react-assets/nim-BID-vnQR.js +1 -0
  189. package/assets/react-assets/nix-IvuFDN5E.js +1 -0
  190. package/assets/react-assets/nord-Cb4Vim4T.js +1 -0
  191. package/assets/react-assets/nsis-CjNLYCLg.js +1 -0
  192. package/assets/react-assets/nushell--0fT3PI1.js +1 -0
  193. package/assets/react-assets/objective-c-D1A_Heim.js +1 -0
  194. package/assets/react-assets/objective-cpp-BsSzOQcm.js +1 -0
  195. package/assets/react-assets/ocaml-O90oeIOV.js +1 -0
  196. package/assets/react-assets/odin-B1RWQWA5.js +1 -0
  197. package/assets/react-assets/one-dark-pro-C6YyR8OD.js +1 -0
  198. package/assets/react-assets/one-light-D7Lr4KcI.js +1 -0
  199. package/assets/react-assets/openscad-BUDT5pXO.js +1 -0
  200. package/assets/react-assets/org-coQDPC6N.js +1 -0
  201. package/assets/react-assets/pascal-4ZHwLPI5.js +1 -0
  202. package/assets/react-assets/perl-DCIQyJ1w.js +1 -0
  203. package/assets/react-assets/php-C3fZiypj.js +1 -0
  204. package/assets/react-assets/pkl-ot-7Btpt.js +1 -0
  205. package/assets/react-assets/plastic-DQwYfKfQ.js +1 -0
  206. package/assets/react-assets/plsql-DGHpHOYJ.js +1 -0
  207. package/assets/react-assets/po-BiJDBrnU.js +1 -0
  208. package/assets/react-assets/poimandres-DRFjx7u4.js +1 -0
  209. package/assets/react-assets/polar-C7UOKdEL.js +1 -0
  210. package/assets/react-assets/postcss-BXeXVLqQ.js +1 -0
  211. package/assets/react-assets/powerquery-DNMTfnFr.js +1 -0
  212. package/assets/react-assets/powershell-QtSnmXcu.js +1 -0
  213. package/assets/react-assets/prisma-DMgNhnYS.js +1 -0
  214. package/assets/react-assets/prolog-iXnhIJG7.js +1 -0
  215. package/assets/react-assets/proto-DB4EqR-F.js +1 -0
  216. package/assets/react-assets/pug-CldXeDwy.js +1 -0
  217. package/assets/react-assets/puppet-CDv2pdJW.js +1 -0
  218. package/assets/react-assets/purescript-9MfHhQsQ.js +1 -0
  219. package/assets/react-assets/python-gzcpVVnB.js +1 -0
  220. package/assets/react-assets/qml-7xkhyBue.js +1 -0
  221. package/assets/react-assets/qmldir-DCQb3MpD.js +1 -0
  222. package/assets/react-assets/qss-Fe1Jh2GI.js +1 -0
  223. package/assets/react-assets/r-CbP3fnO-.js +1 -0
  224. package/assets/react-assets/racket-DcIDlBhZ.js +1 -0
  225. package/assets/react-assets/raku-B3gFvitq.js +1 -0
  226. package/assets/react-assets/razor-BXi3FEf3.js +1 -0
  227. package/assets/react-assets/rbs-C0MpOrj4.js +1 -0
  228. package/assets/react-assets/red-CYlAq2b0.js +1 -0
  229. package/assets/react-assets/reg-CRGYupPL.js +1 -0
  230. package/assets/react-assets/regexp-OoErfFO2.js +1 -0
  231. package/assets/react-assets/rel-BtDbiS_P.js +1 -0
  232. package/assets/react-assets/riscv-Ckw8ddFX.js +1 -0
  233. package/assets/react-assets/ron-VUp2lXgN.js +1 -0
  234. package/assets/react-assets/rose-pine-aMsaMD1D.js +1 -0
  235. package/assets/react-assets/rose-pine-dawn-8PwUyIlP.js +1 -0
  236. package/assets/react-assets/rose-pine-moon-DO-qXg-I.js +1 -0
  237. package/assets/react-assets/rosmsg-CAekHB0j.js +1 -0
  238. package/assets/react-assets/rst-AIMhqvGa.js +1 -0
  239. package/assets/react-assets/ruby-CtRtjqyQ.js +1 -0
  240. package/assets/react-assets/rust-DpiIf5JO.js +1 -0
  241. package/assets/react-assets/sas-DQz8bb-2.js +1 -0
  242. package/assets/react-assets/sass-DXrisJhu.js +1 -0
  243. package/assets/react-assets/scala-BiFt_7mu.js +1 -0
  244. package/assets/react-assets/scheme-DQCgrYNe.js +1 -0
  245. package/assets/react-assets/scss-CO3ou3ls.js +1 -0
  246. package/assets/react-assets/sdbl-bTVj8UrX.js +1 -0
  247. package/assets/react-assets/shaderlab-TOUzSsQk.js +1 -0
  248. package/assets/react-assets/shellscript-C1WgFl3K.js +1 -0
  249. package/assets/react-assets/shellsession-CKkRjUyp.js +1 -0
  250. package/assets/react-assets/slack-dark-DnToyrRv.js +1 -0
  251. package/assets/react-assets/slack-ochin-B2OO5cIa.js +1 -0
  252. package/assets/react-assets/smalltalk-BHpQb5nM.js +1 -0
  253. package/assets/react-assets/smithy-Dgaz7aur.js +1 -0
  254. package/assets/react-assets/snazzy-light-4G7pJPwS.js +1 -0
  255. package/assets/react-assets/solarized-dark-b97czJOk.js +1 -0
  256. package/assets/react-assets/solarized-light-DFPxpIYQ.js +1 -0
  257. package/assets/react-assets/solidity-Bj7E1mRn.js +1 -0
  258. package/assets/react-assets/soy-8tJj7vyN.js +1 -0
  259. package/assets/react-assets/sparql-D_iOobhT.js +1 -0
  260. package/assets/react-assets/splunk-BC2Px7Mm.js +1 -0
  261. package/assets/react-assets/sql-B8GkTO_F.js +1 -0
  262. package/assets/react-assets/ssh-config-BgfXC-Er.js +1 -0
  263. package/assets/react-assets/stata-BcKydp--.js +1 -0
  264. package/assets/react-assets/stylus-B6D30XZt.js +1 -0
  265. package/assets/react-assets/surrealql-C-2dJeDv.js +1 -0
  266. package/assets/react-assets/svelte-Ch8XxebJ.js +1 -0
  267. package/assets/react-assets/swift-CyEgAFGc.js +1 -0
  268. package/assets/react-assets/synthwave-84-nFMaYfgc.js +1 -0
  269. package/assets/react-assets/system-verilog-Dh5ihWbf.js +1 -0
  270. package/assets/react-assets/systemd-BxMlprV5.js +1 -0
  271. package/assets/react-assets/talonscript-CohzipZa.js +1 -0
  272. package/assets/react-assets/tasl-DMoTqEGO.js +1 -0
  273. package/assets/react-assets/tcl-CZd0xW_V.js +1 -0
  274. package/assets/react-assets/templ-Fa-GCwLF.js +1 -0
  275. package/assets/react-assets/terraform-DswuEJGm.js +1 -0
  276. package/assets/react-assets/tex-D2tH8UUQ.js +1 -0
  277. package/assets/react-assets/tokyo-night-oM2G3aXe.js +1 -0
  278. package/assets/react-assets/toml-CcmNWLt0.js +1 -0
  279. package/assets/react-assets/ts-tags-D9vONbKp.js +1 -0
  280. package/assets/react-assets/tsv-sltzmVWM.js +1 -0
  281. package/assets/react-assets/tsx-Dj8pmprB.js +1 -0
  282. package/assets/react-assets/turtle-ByJddavk.js +1 -0
  283. package/assets/react-assets/twig-B1qKkbsm.js +1 -0
  284. package/assets/react-assets/typescript-Bw1kP_6B.js +1 -0
  285. package/assets/react-assets/typespec-BGhR2SqG.js +1 -0
  286. package/assets/react-assets/typst-BkB6Ks1-.js +1 -0
  287. package/assets/react-assets/v-DBj4K9d_.js +1 -0
  288. package/assets/react-assets/vala-zf12oZj6.js +1 -0
  289. package/assets/react-assets/vb-DOwzaHZ0.js +1 -0
  290. package/assets/react-assets/verilog-B2gwz-sJ.js +1 -0
  291. package/assets/react-assets/vesper-DdrHHSXu.js +1 -0
  292. package/assets/react-assets/vhdl-BroJfC0k.js +1 -0
  293. package/assets/react-assets/viml-DvXPmvsu.js +1 -0
  294. package/assets/react-assets/vitesse-black-fwtXNY1n.js +1 -0
  295. package/assets/react-assets/vitesse-dark-BZCL-v6S.js +1 -0
  296. package/assets/react-assets/vitesse-light-VbXTXTou.js +1 -0
  297. package/assets/react-assets/vue-N2R3uPgK.js +1 -0
  298. package/assets/react-assets/vue-html-jrBCmIZy.js +1 -0
  299. package/assets/react-assets/vue-vine-DdoKp2hK.js +1 -0
  300. package/assets/react-assets/vyper-CgoNMtux.js +1 -0
  301. package/assets/react-assets/wasm-BnjxR4X6.js +1 -0
  302. package/assets/react-assets/wasm-ByWQv1Qj.js +1 -0
  303. package/assets/react-assets/wenyan-C8pVoKbM.js +1 -0
  304. package/assets/react-assets/wgsl-BsKzXJz4.js +1 -0
  305. package/assets/react-assets/wikitext-ClFFjSW2.js +1 -0
  306. package/assets/react-assets/wit-DdvCle-K.js +1 -0
  307. package/assets/react-assets/wolfram-DLL8P-h_.js +1 -0
  308. package/assets/react-assets/xml-v9eB0C6o.js +1 -0
  309. package/assets/react-assets/xsl-DpucLfSt.js +1 -0
  310. package/assets/react-assets/yaml-CxJ4mz3I.js +1 -0
  311. package/assets/react-assets/zenscript-BnlCZFoB.js +1 -0
  312. package/assets/react-assets/zig-CMLA9XwU.js +1 -0
  313. package/assets/react.css +3 -0
  314. package/assets/react.js +60 -0
  315. package/dist/attention/RequestReceipt.d.ts +10 -0
  316. package/dist/attention/RequestReceipt.d.ts.map +1 -0
  317. package/dist/attention/RequestReceipt.js +11 -0
  318. package/dist/attention/RequestReceipt.js.map +1 -0
  319. package/dist/browser/document/ReadingContext.d.ts +29 -0
  320. package/dist/browser/document/ReadingContext.d.ts.map +1 -0
  321. package/dist/browser/document/ReadingContext.js +14 -0
  322. package/dist/browser/document/ReadingContext.js.map +1 -0
  323. package/dist/browser/document/schema.d.ts +221 -0
  324. package/dist/browser/document/schema.d.ts.map +1 -0
  325. package/dist/browser/document/schema.js +34 -0
  326. package/dist/browser/document/schema.js.map +1 -0
  327. package/dist/browser/escapeHtml.d.ts +2 -0
  328. package/dist/browser/escapeHtml.d.ts.map +1 -0
  329. package/dist/browser/escapeHtml.js +5 -0
  330. package/dist/browser/escapeHtml.js.map +1 -0
  331. package/dist/browser/navigation/html.d.ts +3 -0
  332. package/dist/browser/navigation/html.d.ts.map +1 -0
  333. package/dist/browser/navigation/html.js +25 -0
  334. package/dist/browser/navigation/html.js.map +1 -0
  335. package/dist/browser/navigation/schema.d.ts +47 -0
  336. package/dist/browser/navigation/schema.d.ts.map +1 -0
  337. package/dist/browser/navigation/schema.js +24 -0
  338. package/dist/browser/navigation/schema.js.map +1 -0
  339. package/dist/browser/responses/schema.d.ts +0 -8
  340. package/dist/browser/responses/schema.d.ts.map +1 -1
  341. package/dist/browser/responses/schema.js +0 -6
  342. package/dist/browser/responses/schema.js.map +1 -1
  343. package/dist/client/client.d.ts +31 -0
  344. package/dist/client/client.d.ts.map +1 -0
  345. package/dist/client/client.js +64 -0
  346. package/dist/client/client.js.map +1 -0
  347. package/dist/client/diagnostics/script.d.ts +2 -0
  348. package/dist/client/diagnostics/script.d.ts.map +1 -0
  349. package/dist/client/diagnostics/script.js +31 -0
  350. package/dist/client/diagnostics/script.js.map +1 -0
  351. package/dist/client/document/Details.d.ts +289 -0
  352. package/dist/client/document/Details.d.ts.map +1 -0
  353. package/dist/client/document/Details.js +20 -0
  354. package/dist/client/document/Details.js.map +1 -0
  355. package/dist/client/document/Mermaid.d.ts +9 -0
  356. package/dist/client/document/Mermaid.d.ts.map +1 -0
  357. package/dist/client/document/Mermaid.js +76 -0
  358. package/dist/client/document/Mermaid.js.map +1 -0
  359. package/dist/client/document/View.d.ts +12 -0
  360. package/dist/client/document/View.d.ts.map +1 -0
  361. package/dist/client/document/View.js +59 -0
  362. package/dist/client/document/View.js.map +1 -0
  363. package/dist/client/document/highlight.d.ts +3 -0
  364. package/dist/client/document/highlight.d.ts.map +1 -0
  365. package/dist/client/document/highlight.js +10 -0
  366. package/dist/client/document/highlight.js.map +1 -0
  367. package/dist/client/document/layout.d.ts +5 -0
  368. package/dist/client/document/layout.d.ts.map +1 -0
  369. package/dist/client/document/layout.js +27 -0
  370. package/dist/client/document/layout.js.map +1 -0
  371. package/dist/client/entry.d.ts +15 -0
  372. package/dist/client/entry.d.ts.map +1 -0
  373. package/dist/client/entry.js +21 -0
  374. package/dist/client/entry.js.map +1 -0
  375. package/dist/client/fieldFeedback.d.ts +17 -0
  376. package/dist/client/fieldFeedback.d.ts.map +1 -0
  377. package/dist/client/fieldFeedback.js +38 -0
  378. package/dist/client/fieldFeedback.js.map +1 -0
  379. package/dist/client/formFocus.d.ts +10 -0
  380. package/dist/client/formFocus.d.ts.map +1 -0
  381. package/dist/client/formFocus.js +24 -0
  382. package/dist/client/formFocus.js.map +1 -0
  383. package/dist/client/handoffs/copy.d.ts.map +1 -0
  384. package/dist/client/handoffs/copy.js.map +1 -0
  385. package/dist/client/handoffs/fields.d.ts +9 -0
  386. package/dist/client/handoffs/fields.d.ts.map +1 -0
  387. package/dist/client/handoffs/fields.js +34 -0
  388. package/dist/client/handoffs/fields.js.map +1 -0
  389. package/dist/client/handoffs/form.d.ts +36 -0
  390. package/dist/client/handoffs/form.d.ts.map +1 -0
  391. package/dist/client/handoffs/form.js +33 -0
  392. package/dist/client/handoffs/form.js.map +1 -0
  393. package/dist/client/handoffs/setup.d.ts.map +1 -0
  394. package/dist/client/handoffs/setup.js +125 -0
  395. package/dist/client/handoffs/setup.js.map +1 -0
  396. package/dist/client/history/script.d.ts.map +1 -0
  397. package/dist/client/history/script.js.map +1 -0
  398. package/dist/client/legacyRuntime.d.ts +9 -0
  399. package/dist/client/legacyRuntime.d.ts.map +1 -0
  400. package/dist/client/legacyRuntime.js +15 -0
  401. package/dist/client/legacyRuntime.js.map +1 -0
  402. package/dist/client/mockups/app.d.ts +2 -0
  403. package/dist/client/mockups/app.d.ts.map +1 -0
  404. package/dist/client/mockups/app.js +111 -0
  405. package/dist/client/mockups/app.js.map +1 -0
  406. package/dist/client/mockups/element.d.ts +2 -0
  407. package/dist/client/mockups/element.d.ts.map +1 -0
  408. package/dist/client/mockups/element.js +8 -0
  409. package/dist/client/mockups/element.js.map +1 -0
  410. package/dist/client/mockups/sampleData.d.ts +20 -0
  411. package/dist/client/mockups/sampleData.d.ts.map +1 -0
  412. package/dist/client/mockups/sampleData.js +82 -0
  413. package/dist/client/mockups/sampleData.js.map +1 -0
  414. package/dist/client/mockups/work.d.ts +3 -0
  415. package/dist/client/mockups/work.d.ts.map +1 -0
  416. package/dist/client/mockups/work.js +84 -0
  417. package/dist/client/mockups/work.js.map +1 -0
  418. package/dist/client/page/ageScript.d.ts.map +1 -0
  419. package/dist/client/page/ageScript.js.map +1 -0
  420. package/dist/client/page/formReadingScript.d.ts +2 -0
  421. package/dist/client/page/formReadingScript.d.ts.map +1 -0
  422. package/dist/client/page/formReadingScript.js +26 -0
  423. package/dist/client/page/formReadingScript.js.map +1 -0
  424. package/dist/client/page/itemContextScript.d.ts +2 -0
  425. package/dist/client/page/itemContextScript.d.ts.map +1 -0
  426. package/dist/client/page/itemContextScript.js +21 -0
  427. package/dist/client/page/itemContextScript.js.map +1 -0
  428. package/dist/client/page/libraryScript.d.ts.map +1 -0
  429. package/dist/client/page/libraryScript.js +85 -0
  430. package/dist/client/page/libraryScript.js.map +1 -0
  431. package/dist/client/page/navigationHistoryScript.d.ts +2 -0
  432. package/dist/client/page/navigationHistoryScript.d.ts.map +1 -0
  433. package/dist/client/page/navigationHistoryScript.js +47 -0
  434. package/dist/client/page/navigationHistoryScript.js.map +1 -0
  435. package/dist/client/page/navigationScript.d.ts.map +1 -0
  436. package/dist/client/page/navigationScript.js +113 -0
  437. package/dist/client/page/navigationScript.js.map +1 -0
  438. package/dist/client/page/preferencesScript.d.ts +2 -0
  439. package/dist/client/page/preferencesScript.d.ts.map +1 -0
  440. package/dist/client/page/preferencesScript.js +46 -0
  441. package/dist/client/page/preferencesScript.js.map +1 -0
  442. package/dist/client/page/reactNavigationScript.d.ts +2 -0
  443. package/dist/client/page/reactNavigationScript.d.ts.map +1 -0
  444. package/dist/client/page/reactNavigationScript.js +31 -0
  445. package/dist/client/page/reactNavigationScript.js.map +1 -0
  446. package/dist/client/page/readingStateScript.d.ts.map +1 -0
  447. package/dist/client/page/readingStateScript.js +65 -0
  448. package/dist/client/page/readingStateScript.js.map +1 -0
  449. package/dist/client/page/resolvedDocumentFailure.d.ts +3 -0
  450. package/dist/client/page/resolvedDocumentFailure.d.ts.map +1 -0
  451. package/dist/client/page/resolvedDocumentFailure.js +6 -0
  452. package/dist/client/page/resolvedDocumentFailure.js.map +1 -0
  453. package/dist/client/page/routeQuery.d.ts +190 -0
  454. package/dist/client/page/routeQuery.d.ts.map +1 -0
  455. package/dist/client/page/routeQuery.js +8 -0
  456. package/dist/client/page/routeQuery.js.map +1 -0
  457. package/dist/client/page/runtime.d.ts +3 -0
  458. package/dist/client/page/runtime.d.ts.map +1 -0
  459. package/dist/client/page/runtime.js +111 -0
  460. package/dist/client/page/runtime.js.map +1 -0
  461. package/dist/client/page/scripts.d.ts +3 -0
  462. package/dist/client/page/scripts.d.ts.map +1 -0
  463. package/dist/client/page/scripts.js +91 -0
  464. package/dist/client/page/scripts.js.map +1 -0
  465. package/dist/client/page/searchResultsScript.d.ts.map +1 -0
  466. package/dist/client/page/searchResultsScript.js.map +1 -0
  467. package/dist/client/page/searchScript.d.ts.map +1 -0
  468. package/dist/client/page/searchScript.js.map +1 -0
  469. package/dist/client/page/sidebarScript.d.ts +2 -0
  470. package/dist/client/page/sidebarScript.d.ts.map +1 -0
  471. package/dist/client/page/sidebarScript.js +87 -0
  472. package/dist/client/page/sidebarScript.js.map +1 -0
  473. package/dist/client/page/stateScript.d.ts.map +1 -0
  474. package/dist/client/page/stateScript.js +95 -0
  475. package/dist/client/page/stateScript.js.map +1 -0
  476. package/dist/client/page/visualScript.d.ts.map +1 -0
  477. package/dist/client/page/visualScript.js.map +1 -0
  478. package/dist/client/page/visualViewport.d.ts.map +1 -0
  479. package/dist/client/page/visualViewport.js.map +1 -0
  480. package/dist/client/react/AnswerFocus.d.ts +6 -0
  481. package/dist/client/react/AnswerFocus.d.ts.map +1 -0
  482. package/dist/client/react/AnswerFocus.js +12 -0
  483. package/dist/client/react/AnswerFocus.js.map +1 -0
  484. package/dist/client/react/AnswerForm.d.ts +8 -0
  485. package/dist/client/react/AnswerForm.d.ts.map +1 -0
  486. package/dist/client/react/AnswerForm.js +17 -0
  487. package/dist/client/react/AnswerForm.js.map +1 -0
  488. package/dist/client/react/AnswerPanel.d.ts +5 -0
  489. package/dist/client/react/AnswerPanel.d.ts.map +1 -0
  490. package/dist/client/react/AnswerPanel.js +19 -0
  491. package/dist/client/react/AnswerPanel.js.map +1 -0
  492. package/dist/client/react/AnswerPrompts.d.ts +7 -0
  493. package/dist/client/react/AnswerPrompts.d.ts.map +1 -0
  494. package/dist/client/react/AnswerPrompts.js +26 -0
  495. package/dist/client/react/AnswerPrompts.js.map +1 -0
  496. package/dist/client/react/BoardShell.d.ts +8 -0
  497. package/dist/client/react/BoardShell.d.ts.map +1 -0
  498. package/dist/client/react/BoardShell.js +53 -0
  499. package/dist/client/react/BoardShell.js.map +1 -0
  500. package/dist/client/react/DocumentAttention.d.ts +5 -0
  501. package/dist/client/react/DocumentAttention.d.ts.map +1 -0
  502. package/dist/client/react/DocumentAttention.js +23 -0
  503. package/dist/client/react/DocumentAttention.js.map +1 -0
  504. package/dist/client/react/DocumentClaims.d.ts +5 -0
  505. package/dist/client/react/DocumentClaims.d.ts.map +1 -0
  506. package/dist/client/react/DocumentClaims.js +26 -0
  507. package/dist/client/react/DocumentClaims.js.map +1 -0
  508. package/dist/client/react/DocumentContext.d.ts +5 -0
  509. package/dist/client/react/DocumentContext.d.ts.map +1 -0
  510. package/dist/client/react/DocumentContext.js +30 -0
  511. package/dist/client/react/DocumentContext.js.map +1 -0
  512. package/dist/client/react/DocumentCriteria.d.ts +5 -0
  513. package/dist/client/react/DocumentCriteria.d.ts.map +1 -0
  514. package/dist/client/react/DocumentCriteria.js +28 -0
  515. package/dist/client/react/DocumentCriteria.js.map +1 -0
  516. package/dist/client/react/DocumentEvidence.d.ts +5 -0
  517. package/dist/client/react/DocumentEvidence.d.ts.map +1 -0
  518. package/dist/client/react/DocumentEvidence.js +8 -0
  519. package/dist/client/react/DocumentEvidence.js.map +1 -0
  520. package/dist/client/react/DocumentMain.d.ts +9 -0
  521. package/dist/client/react/DocumentMain.d.ts.map +1 -0
  522. package/dist/client/react/DocumentMain.js +47 -0
  523. package/dist/client/react/DocumentMain.js.map +1 -0
  524. package/dist/client/react/DocumentMetadata.d.ts +5 -0
  525. package/dist/client/react/DocumentMetadata.d.ts.map +1 -0
  526. package/dist/client/react/DocumentMetadata.js +10 -0
  527. package/dist/client/react/DocumentMetadata.js.map +1 -0
  528. package/dist/client/react/DocumentPage.d.ts +5 -0
  529. package/dist/client/react/DocumentPage.d.ts.map +1 -0
  530. package/dist/client/react/DocumentPage.js +14 -0
  531. package/dist/client/react/DocumentPage.js.map +1 -0
  532. package/dist/client/react/DocumentRecords.d.ts +5 -0
  533. package/dist/client/react/DocumentRecords.d.ts.map +1 -0
  534. package/dist/client/react/DocumentRecords.js +7 -0
  535. package/dist/client/react/DocumentRecords.js.map +1 -0
  536. package/dist/client/react/DocumentWorkMetadata.d.ts +5 -0
  537. package/dist/client/react/DocumentWorkMetadata.d.ts.map +1 -0
  538. package/dist/client/react/DocumentWorkMetadata.js +31 -0
  539. package/dist/client/react/DocumentWorkMetadata.js.map +1 -0
  540. package/dist/client/react/Header.d.ts +10 -0
  541. package/dist/client/react/Header.d.ts.map +1 -0
  542. package/dist/client/react/Header.js +13 -0
  543. package/dist/client/react/Header.js.map +1 -0
  544. package/dist/client/react/LegacyMain.d.ts +9 -0
  545. package/dist/client/react/LegacyMain.d.ts.map +1 -0
  546. package/dist/client/react/LegacyMain.js +32 -0
  547. package/dist/client/react/LegacyMain.js.map +1 -0
  548. package/dist/client/react/NavigationTree.d.ts +6 -0
  549. package/dist/client/react/NavigationTree.d.ts.map +1 -0
  550. package/dist/client/react/NavigationTree.js +28 -0
  551. package/dist/client/react/NavigationTree.js.map +1 -0
  552. package/dist/client/react/Reference.d.ts +6 -0
  553. package/dist/client/react/Reference.d.ts.map +1 -0
  554. package/dist/client/react/Reference.js +6 -0
  555. package/dist/client/react/Reference.js.map +1 -0
  556. package/dist/client/react/ResponseHistory.d.ts +5 -0
  557. package/dist/client/react/ResponseHistory.d.ts.map +1 -0
  558. package/dist/client/react/ResponseHistory.js +12 -0
  559. package/dist/client/react/ResponseHistory.js.map +1 -0
  560. package/dist/client/react/ResponseMarkdown.d.ts +5 -0
  561. package/dist/client/react/ResponseMarkdown.d.ts.map +1 -0
  562. package/dist/client/react/ResponseMarkdown.js +8 -0
  563. package/dist/client/react/ResponseMarkdown.js.map +1 -0
  564. package/dist/client/react/ShellApi.d.ts +7 -0
  565. package/dist/client/react/ShellApi.d.ts.map +1 -0
  566. package/dist/client/react/ShellApi.js +2 -0
  567. package/dist/client/react/ShellApi.js.map +1 -0
  568. package/dist/client/react/Sidebar.d.ts +8 -0
  569. package/dist/client/react/Sidebar.d.ts.map +1 -0
  570. package/dist/client/react/Sidebar.js +14 -0
  571. package/dist/client/react/Sidebar.js.map +1 -0
  572. package/dist/client/react/boardRouter.d.ts +13 -0
  573. package/dist/client/react/boardRouter.d.ts.map +1 -0
  574. package/dist/client/react/boardRouter.js +35 -0
  575. package/dist/client/react/boardRouter.js.map +1 -0
  576. package/dist/client/react/documentRoute.d.ts +3 -0
  577. package/dist/client/react/documentRoute.d.ts.map +1 -0
  578. package/dist/client/react/documentRoute.js +11 -0
  579. package/dist/client/react/documentRoute.js.map +1 -0
  580. package/dist/client/react/entry.d.ts +2 -0
  581. package/dist/client/react/entry.d.ts.map +1 -0
  582. package/dist/client/react/entry.js +56 -0
  583. package/dist/client/react/entry.js.map +1 -0
  584. package/dist/client/react/keyed.d.ts +6 -0
  585. package/dist/client/react/keyed.d.ts.map +1 -0
  586. package/dist/client/react/keyed.js +10 -0
  587. package/dist/client/react/keyed.js.map +1 -0
  588. package/dist/client/react/legacyPage.d.ts +7 -0
  589. package/dist/client/react/legacyPage.d.ts.map +1 -0
  590. package/dist/client/react/legacyPage.js +63 -0
  591. package/dist/client/react/legacyPage.js.map +1 -0
  592. package/dist/client/react/lib/cn.d.ts +3 -0
  593. package/dist/client/react/lib/cn.d.ts.map +1 -0
  594. package/dist/client/react/lib/cn.js +6 -0
  595. package/dist/client/react/lib/cn.js.map +1 -0
  596. package/dist/client/react/loadBoardPage.d.ts +14 -0
  597. package/dist/client/react/loadBoardPage.d.ts.map +1 -0
  598. package/dist/client/react/loadBoardPage.js +37 -0
  599. package/dist/client/react/loadBoardPage.js.map +1 -0
  600. package/dist/client/react/shellIds.d.ts +33 -0
  601. package/dist/client/react/shellIds.d.ts.map +1 -0
  602. package/dist/client/react/shellIds.js +33 -0
  603. package/dist/client/react/shellIds.js.map +1 -0
  604. package/dist/client/react/useDocumentPage.d.ts +10 -0
  605. package/dist/client/react/useDocumentPage.d.ts.map +1 -0
  606. package/dist/client/react/useDocumentPage.js +67 -0
  607. package/dist/client/react/useDocumentPage.js.map +1 -0
  608. package/dist/client/reconcile/at.d.ts +2 -0
  609. package/dist/client/reconcile/at.d.ts.map +1 -0
  610. package/dist/client/reconcile/at.js +8 -0
  611. package/dist/client/reconcile/at.js.map +1 -0
  612. package/dist/client/reconcile/matches.d.ts +4 -0
  613. package/dist/client/reconcile/matches.d.ts.map +1 -0
  614. package/dist/client/reconcile/matches.js +52 -0
  615. package/dist/client/reconcile/matches.js.map +1 -0
  616. package/dist/client/reconcile/patch.d.ts +2 -0
  617. package/dist/client/reconcile/patch.d.ts.map +1 -0
  618. package/dist/client/reconcile/patch.js +64 -0
  619. package/dist/client/reconcile/patch.js.map +1 -0
  620. package/dist/client/reconcile/signature.d.ts +8 -0
  621. package/dist/client/reconcile/signature.d.ts.map +1 -0
  622. package/dist/client/reconcile/signature.js +83 -0
  623. package/dist/client/reconcile/signature.js.map +1 -0
  624. package/dist/client/reconcile/swap.d.ts +2 -0
  625. package/dist/client/reconcile/swap.d.ts.map +1 -0
  626. package/dist/client/reconcile/swap.js +36 -0
  627. package/dist/client/reconcile/swap.js.map +1 -0
  628. package/dist/client/responses/attach.d.ts +2 -0
  629. package/dist/client/responses/attach.d.ts.map +1 -0
  630. package/dist/client/responses/attach.js +133 -0
  631. package/dist/client/responses/attach.js.map +1 -0
  632. package/dist/client/responses/authorLabel.d.ts +5 -0
  633. package/dist/client/responses/authorLabel.d.ts.map +1 -0
  634. package/dist/client/responses/authorLabel.js +25 -0
  635. package/dist/client/responses/authorLabel.js.map +1 -0
  636. package/dist/client/responses/binding.d.ts +3 -0
  637. package/dist/client/responses/binding.d.ts.map +1 -0
  638. package/dist/client/responses/binding.js +16 -0
  639. package/dist/client/responses/binding.js.map +1 -0
  640. package/dist/client/responses/draft.d.ts +13 -0
  641. package/dist/client/responses/draft.d.ts.map +1 -0
  642. package/dist/client/responses/draft.js +15 -0
  643. package/dist/client/responses/draft.js.map +1 -0
  644. package/dist/client/responses/draftSession.d.ts.map +1 -0
  645. package/dist/client/responses/draftSession.js.map +1 -0
  646. package/dist/client/responses/drafts.d.ts +21 -0
  647. package/dist/client/responses/drafts.d.ts.map +1 -0
  648. package/dist/client/responses/drafts.js +68 -0
  649. package/dist/client/responses/drafts.js.map +1 -0
  650. package/dist/client/responses/feedback.d.ts +6 -0
  651. package/dist/client/responses/feedback.d.ts.map +1 -0
  652. package/dist/client/responses/feedback.js +77 -0
  653. package/dist/client/responses/feedback.js.map +1 -0
  654. package/dist/client/responses/fields.d.ts +12 -0
  655. package/dist/client/responses/fields.d.ts.map +1 -0
  656. package/dist/client/responses/fields.js +23 -0
  657. package/dist/client/responses/fields.js.map +1 -0
  658. package/dist/client/responses/form.d.ts +37 -0
  659. package/dist/client/responses/form.d.ts.map +1 -0
  660. package/dist/client/responses/form.js +43 -0
  661. package/dist/client/responses/form.js.map +1 -0
  662. package/dist/client/responses/formSchema.d.ts +17 -0
  663. package/dist/client/responses/formSchema.d.ts.map +1 -0
  664. package/dist/client/responses/formSchema.js +15 -0
  665. package/dist/client/responses/formSchema.js.map +1 -0
  666. package/dist/client/responses/preview.d.ts +4 -0
  667. package/dist/client/responses/preview.d.ts.map +1 -0
  668. package/dist/client/responses/preview.js +5 -0
  669. package/dist/client/responses/preview.js.map +1 -0
  670. package/dist/client/responses/questionnaireControls.d.ts +9 -0
  671. package/dist/client/responses/questionnaireControls.d.ts.map +1 -0
  672. package/dist/client/responses/questionnaireControls.js +82 -0
  673. package/dist/client/responses/questionnaireControls.js.map +1 -0
  674. package/dist/client/responses/setup.d.ts.map +1 -0
  675. package/dist/client/responses/setup.js +7 -0
  676. package/dist/client/responses/setup.js.map +1 -0
  677. package/dist/client/responses/submit.d.ts +5 -0
  678. package/dist/client/responses/submit.d.ts.map +1 -0
  679. package/dist/client/responses/submit.js +33 -0
  680. package/dist/client/responses/submit.js.map +1 -0
  681. package/dist/client/session.d.ts.map +1 -0
  682. package/dist/client/session.js.map +1 -0
  683. package/dist/client/views/savedScript.d.ts.map +1 -0
  684. package/dist/client/views/savedScript.js.map +1 -0
  685. package/dist/diagnostics/daemonContract.d.ts +208 -0
  686. package/dist/diagnostics/daemonContract.d.ts.map +1 -0
  687. package/dist/diagnostics/daemonContract.js +23 -0
  688. package/dist/diagnostics/daemonContract.js.map +1 -0
  689. package/dist/diagnostics/health.d.ts +28 -0
  690. package/dist/diagnostics/health.d.ts.map +1 -0
  691. package/dist/diagnostics/health.js +18 -0
  692. package/dist/diagnostics/health.js.map +1 -0
  693. package/dist/diagnostics/resetLabel.d.ts +2 -0
  694. package/dist/diagnostics/resetLabel.d.ts.map +1 -0
  695. package/dist/diagnostics/resetLabel.js +20 -0
  696. package/dist/diagnostics/resetLabel.js.map +1 -0
  697. package/dist/diagnostics/source.d.ts +170 -0
  698. package/dist/diagnostics/source.d.ts.map +1 -0
  699. package/dist/diagnostics/source.js +43 -0
  700. package/dist/diagnostics/source.js.map +1 -0
  701. package/dist/integration/metadata.d.ts +28 -0
  702. package/dist/integration/metadata.d.ts.map +1 -0
  703. package/dist/integration/metadata.js +2 -0
  704. package/dist/integration/metadata.js.map +1 -0
  705. package/dist/metadata/schema.d.ts +15 -0
  706. package/dist/metadata/schema.d.ts.map +1 -1
  707. package/dist/metadata/schema.js +7 -1
  708. package/dist/metadata/schema.js.map +1 -1
  709. package/dist/render/code.d.ts +7 -1
  710. package/dist/render/code.d.ts.map +1 -1
  711. package/dist/render/code.js +22 -18
  712. package/dist/render/code.js.map +1 -1
  713. package/dist/render/documentHeadings.d.ts +1 -1
  714. package/dist/render/documentHeadings.d.ts.map +1 -1
  715. package/dist/render/documentHeadings.js +7 -1
  716. package/dist/render/documentHeadings.js.map +1 -1
  717. package/dist/render/documentLinks.d.ts +2 -1
  718. package/dist/render/documentLinks.d.ts.map +1 -1
  719. package/dist/render/documentLinks.js +10 -3
  720. package/dist/render/documentLinks.js.map +1 -1
  721. package/dist/render/documentPlugins.d.ts +3 -0
  722. package/dist/render/documentPlugins.d.ts.map +1 -0
  723. package/dist/render/documentPlugins.js +9 -0
  724. package/dist/render/documentPlugins.js.map +1 -0
  725. package/dist/render/failed.d.ts +6 -6
  726. package/dist/render/failed.d.ts.map +1 -1
  727. package/dist/render/failed.js +5 -2
  728. package/dist/render/failed.js.map +1 -1
  729. package/dist/render/footnotes.js +2 -2
  730. package/dist/render/footnotes.js.map +1 -1
  731. package/dist/render/questionnaireDocuments.d.ts +1 -1
  732. package/dist/render/questionnaireDocuments.d.ts.map +1 -1
  733. package/dist/render/questionnaireDocuments.js +20 -1
  734. package/dist/render/questionnaireDocuments.js.map +1 -1
  735. package/dist/render/visual.d.ts.map +1 -1
  736. package/dist/render/visual.js +8 -7
  737. package/dist/render/visual.js.map +1 -1
  738. package/dist/render/visualDocuments.d.ts.map +1 -1
  739. package/dist/render/visualDocuments.js +5 -4
  740. package/dist/render/visualDocuments.js.map +1 -1
  741. package/dist/responses/current.d.ts +3 -0
  742. package/dist/responses/current.d.ts.map +1 -0
  743. package/dist/responses/current.js +10 -0
  744. package/dist/responses/current.js.map +1 -0
  745. package/dist/responses/url.d.ts +2 -0
  746. package/dist/responses/url.d.ts.map +1 -0
  747. package/dist/responses/url.js +4 -0
  748. package/dist/responses/url.js.map +1 -0
  749. package/dist/rpc/contract.d.ts +726 -108
  750. package/dist/rpc/contract.d.ts.map +1 -1
  751. package/dist/rpc/contract.js +39 -13
  752. package/dist/rpc/contract.js.map +1 -1
  753. package/dist/rpc/handoffContract.d.ts +62 -38
  754. package/dist/rpc/handoffContract.d.ts.map +1 -1
  755. package/dist/rpc/handoffContract.js +6 -5
  756. package/dist/rpc/handoffContract.js.map +1 -1
  757. package/dist/rpc/rejections.d.ts +34 -0
  758. package/dist/rpc/rejections.d.ts.map +1 -0
  759. package/dist/rpc/rejections.js +21 -0
  760. package/dist/rpc/rejections.js.map +1 -0
  761. package/dist/rpc/responseContract.d.ts +94 -54
  762. package/dist/rpc/responseContract.d.ts.map +1 -1
  763. package/dist/rpc/responseContract.js +9 -7
  764. package/dist/rpc/responseContract.js.map +1 -1
  765. package/dist/server/attention/inbox.d.ts +16 -0
  766. package/dist/server/attention/inbox.d.ts.map +1 -0
  767. package/dist/server/attention/inbox.js +107 -0
  768. package/dist/server/attention/inbox.js.map +1 -0
  769. package/dist/server/attention/inboxHtml.d.ts +4 -0
  770. package/dist/server/attention/inboxHtml.d.ts.map +1 -0
  771. package/dist/server/attention/inboxHtml.js +48 -0
  772. package/dist/server/attention/inboxHtml.js.map +1 -0
  773. package/dist/server/attention/managedRequestReceipt.d.ts +7 -0
  774. package/dist/server/attention/managedRequestReceipt.d.ts.map +1 -0
  775. package/dist/server/attention/managedRequestReceipt.js +74 -0
  776. package/dist/server/attention/managedRequestReceipt.js.map +1 -0
  777. package/dist/server/attention/overviewHtml.d.ts +3 -0
  778. package/dist/server/attention/overviewHtml.d.ts.map +1 -0
  779. package/dist/server/attention/overviewHtml.js +43 -0
  780. package/dist/server/attention/overviewHtml.js.map +1 -0
  781. package/dist/server/attention/questionState.d.ts +11 -0
  782. package/dist/server/attention/questionState.d.ts.map +1 -0
  783. package/dist/server/attention/questionState.js +56 -0
  784. package/dist/server/attention/questionState.js.map +1 -0
  785. package/dist/server/attention/requests.d.ts +25 -0
  786. package/dist/server/attention/requests.d.ts.map +1 -0
  787. package/dist/server/attention/requests.js +45 -0
  788. package/dist/server/attention/requests.js.map +1 -0
  789. package/dist/server/attention/style.d.ts.map +1 -0
  790. package/dist/server/attention/style.js.map +1 -0
  791. package/dist/server/board.d.ts +18 -0
  792. package/dist/server/board.d.ts.map +1 -0
  793. package/dist/server/board.js +99 -0
  794. package/dist/server/board.js.map +1 -0
  795. package/dist/server/boardServices.d.ts +5 -0
  796. package/dist/server/boardServices.d.ts.map +1 -0
  797. package/dist/server/boardServices.js +8 -0
  798. package/dist/server/boardServices.js.map +1 -0
  799. package/dist/server/cli.d.ts.map +1 -0
  800. package/dist/server/cli.js +26 -0
  801. package/dist/server/cli.js.map +1 -0
  802. package/dist/server/diagnostics/codexLimits.d.ts +15 -0
  803. package/dist/server/diagnostics/codexLimits.d.ts.map +1 -0
  804. package/dist/server/diagnostics/codexLimits.js +8 -0
  805. package/dist/server/diagnostics/codexLimits.js.map +1 -0
  806. package/dist/server/diagnostics/codexProtocol.d.ts +10 -0
  807. package/dist/server/diagnostics/codexProtocol.d.ts.map +1 -0
  808. package/dist/server/diagnostics/codexProtocol.js +43 -0
  809. package/dist/server/diagnostics/codexProtocol.js.map +1 -0
  810. package/dist/server/diagnostics/codexRateLimits.d.ts +5 -0
  811. package/dist/server/diagnostics/codexRateLimits.d.ts.map +1 -0
  812. package/dist/server/diagnostics/codexRateLimits.js +59 -0
  813. package/dist/server/diagnostics/codexRateLimits.js.map +1 -0
  814. package/dist/server/diagnostics/daemon.d.ts +86 -0
  815. package/dist/server/diagnostics/daemon.d.ts.map +1 -0
  816. package/dist/server/diagnostics/daemon.js +23 -0
  817. package/dist/server/diagnostics/daemon.js.map +1 -0
  818. package/dist/server/diagnostics/fleetHealth.d.ts +21 -0
  819. package/dist/server/diagnostics/fleetHealth.d.ts.map +1 -0
  820. package/dist/server/diagnostics/fleetHealth.js +71 -0
  821. package/dist/server/diagnostics/fleetHealth.js.map +1 -0
  822. package/dist/server/diagnostics/githubLimits.d.ts +15 -0
  823. package/dist/server/diagnostics/githubLimits.d.ts.map +1 -0
  824. package/dist/server/diagnostics/githubLimits.js +8 -0
  825. package/dist/server/diagnostics/githubLimits.js.map +1 -0
  826. package/dist/server/diagnostics/html.d.ts +8 -0
  827. package/dist/server/diagnostics/html.d.ts.map +1 -0
  828. package/dist/server/diagnostics/html.js +79 -0
  829. package/dist/server/diagnostics/html.js.map +1 -0
  830. package/dist/server/diagnostics/page.d.ts +55 -0
  831. package/dist/server/diagnostics/page.d.ts.map +1 -0
  832. package/dist/server/diagnostics/page.js +11 -0
  833. package/dist/server/diagnostics/page.js.map +1 -0
  834. package/dist/server/diagnostics/readCommand.d.ts +4 -0
  835. package/dist/server/diagnostics/readCommand.d.ts.map +1 -0
  836. package/dist/server/diagnostics/readCommand.js +20 -0
  837. package/dist/server/diagnostics/readCommand.js.map +1 -0
  838. package/dist/server/diagnostics/style.d.ts +2 -0
  839. package/dist/server/diagnostics/style.d.ts.map +1 -0
  840. package/dist/server/diagnostics/style.js +20 -0
  841. package/dist/server/diagnostics/style.js.map +1 -0
  842. package/dist/server/document/body.d.ts +3 -0
  843. package/dist/server/document/body.d.ts.map +1 -0
  844. package/dist/server/document/body.js +7 -0
  845. package/dist/server/document/body.js.map +1 -0
  846. package/dist/server/document/read.d.ts +181 -0
  847. package/dist/server/document/read.d.ts.map +1 -0
  848. package/dist/server/document/read.js +67 -0
  849. package/dist/server/document/read.js.map +1 -0
  850. package/dist/server/document/readingContext.d.ts +32 -0
  851. package/dist/server/document/readingContext.d.ts.map +1 -0
  852. package/dist/server/document/readingContext.js +53 -0
  853. package/dist/server/document/readingContext.js.map +1 -0
  854. package/dist/server/document/requests.d.ts +5 -0
  855. package/dist/server/document/requests.d.ts.map +1 -0
  856. package/dist/server/document/requests.js +45 -0
  857. package/dist/server/document/requests.js.map +1 -0
  858. package/dist/server/document/targets.d.ts +10 -0
  859. package/dist/server/document/targets.d.ts.map +1 -0
  860. package/dist/server/document/targets.js +25 -0
  861. package/dist/server/document/targets.js.map +1 -0
  862. package/dist/server/files/changes.d.ts +22 -0
  863. package/dist/server/files/changes.d.ts.map +1 -0
  864. package/dist/server/files/changes.js +66 -0
  865. package/dist/server/files/changes.js.map +1 -0
  866. package/dist/server/files/home.d.ts +9 -0
  867. package/dist/server/files/home.d.ts.map +1 -0
  868. package/dist/server/files/home.js +42 -0
  869. package/dist/server/files/home.js.map +1 -0
  870. package/dist/server/files/invalidations.d.ts +8 -0
  871. package/dist/server/files/invalidations.d.ts.map +1 -0
  872. package/dist/server/files/invalidations.js +29 -0
  873. package/dist/server/files/invalidations.js.map +1 -0
  874. package/dist/server/files/list.d.ts +17 -0
  875. package/dist/server/files/list.d.ts.map +1 -0
  876. package/dist/server/files/list.js +60 -0
  877. package/dist/server/files/list.js.map +1 -0
  878. package/dist/server/files/markdownPath.d.ts.map +1 -0
  879. package/dist/server/files/markdownPath.js.map +1 -0
  880. package/dist/server/files/update.d.ts +4 -0
  881. package/dist/server/files/update.d.ts.map +1 -0
  882. package/dist/server/files/update.js +41 -0
  883. package/dist/server/files/update.js.map +1 -0
  884. package/dist/server/files/watchDirectories.d.ts +4 -0
  885. package/dist/server/files/watchDirectories.d.ts.map +1 -0
  886. package/dist/server/files/watchDirectories.js +42 -0
  887. package/dist/server/files/watchDirectories.js.map +1 -0
  888. package/dist/server/handoffs/Service.d.ts +66 -0
  889. package/dist/server/handoffs/Service.d.ts.map +1 -0
  890. package/dist/server/handoffs/Service.js +94 -0
  891. package/dist/server/handoffs/Service.js.map +1 -0
  892. package/dist/server/handoffs/html.d.ts +36 -0
  893. package/dist/server/handoffs/html.d.ts.map +1 -0
  894. package/dist/server/handoffs/html.js +31 -0
  895. package/dist/server/handoffs/html.js.map +1 -0
  896. package/dist/server/handoffs/page.d.ts +6 -0
  897. package/dist/server/handoffs/page.d.ts.map +1 -0
  898. package/dist/server/handoffs/page.js +34 -0
  899. package/dist/server/handoffs/page.js.map +1 -0
  900. package/dist/server/handoffs/records.d.ts +7 -0
  901. package/dist/server/handoffs/records.d.ts.map +1 -0
  902. package/dist/server/handoffs/records.js.map +1 -0
  903. package/dist/server/handoffs/source.d.ts +12 -0
  904. package/dist/server/handoffs/source.d.ts.map +1 -0
  905. package/dist/server/handoffs/source.js +35 -0
  906. package/dist/server/handoffs/source.js.map +1 -0
  907. package/dist/server/history/baseline.d.ts +19 -0
  908. package/dist/server/history/baseline.d.ts.map +1 -0
  909. package/dist/server/history/baseline.js +40 -0
  910. package/dist/server/history/baseline.js.map +1 -0
  911. package/dist/server/history/compare.d.ts +14 -0
  912. package/dist/server/history/compare.d.ts.map +1 -0
  913. package/dist/server/history/compare.js.map +1 -0
  914. package/dist/server/history/documents.d.ts +10 -0
  915. package/dist/server/history/documents.d.ts.map +1 -0
  916. package/dist/server/history/documents.js +15 -0
  917. package/dist/server/history/documents.js.map +1 -0
  918. package/dist/server/history/fields.d.ts.map +1 -0
  919. package/dist/server/history/fields.js.map +1 -0
  920. package/dist/server/history/html.d.ts +4 -0
  921. package/dist/server/history/html.d.ts.map +1 -0
  922. package/dist/server/history/html.js +22 -0
  923. package/dist/server/history/html.js.map +1 -0
  924. package/dist/server/history/limits.d.ts.map +1 -0
  925. package/dist/server/history/limits.js.map +1 -0
  926. package/dist/server/history/response.d.ts +4 -0
  927. package/dist/server/history/response.d.ts.map +1 -0
  928. package/dist/server/history/response.js +20 -0
  929. package/dist/server/history/response.js.map +1 -0
  930. package/dist/server/http/assets.d.ts +20 -0
  931. package/dist/server/http/assets.d.ts.map +1 -0
  932. package/dist/server/http/assets.js +113 -0
  933. package/dist/server/http/assets.js.map +1 -0
  934. package/dist/server/http/attachment.d.ts.map +1 -0
  935. package/dist/server/http/attachment.js +43 -0
  936. package/dist/server/http/attachment.js.map +1 -0
  937. package/dist/server/http/changesPage.d.ts +5 -0
  938. package/dist/server/http/changesPage.d.ts.map +1 -0
  939. package/dist/server/http/changesPage.js +13 -0
  940. package/dist/server/http/changesPage.js.map +1 -0
  941. package/dist/server/http/identity.d.ts +7 -0
  942. package/dist/server/http/identity.d.ts.map +1 -0
  943. package/dist/server/http/identity.js +38 -0
  944. package/dist/server/http/identity.js.map +1 -0
  945. package/dist/server/http/inbox.d.ts +5 -0
  946. package/dist/server/http/inbox.d.ts.map +1 -0
  947. package/dist/server/http/inbox.js +12 -0
  948. package/dist/server/http/inbox.js.map +1 -0
  949. package/dist/server/http/overview.d.ts +5 -0
  950. package/dist/server/http/overview.d.ts.map +1 -0
  951. package/dist/server/http/overview.js +13 -0
  952. package/dist/server/http/overview.js.map +1 -0
  953. package/dist/server/http/page.d.ts +11 -0
  954. package/dist/server/http/page.d.ts.map +1 -0
  955. package/dist/server/http/page.js +82 -0
  956. package/dist/server/http/page.js.map +1 -0
  957. package/dist/server/http/readPage.d.ts +4 -0
  958. package/dist/server/http/readPage.d.ts.map +1 -0
  959. package/dist/server/http/readPage.js +9 -0
  960. package/dist/server/http/readPage.js.map +1 -0
  961. package/dist/server/http/respond.d.ts +8 -0
  962. package/dist/server/http/respond.d.ts.map +1 -0
  963. package/dist/server/http/respond.js +19 -0
  964. package/dist/server/http/respond.js.map +1 -0
  965. package/dist/server/http/start.d.ts +5 -0
  966. package/dist/server/http/start.d.ts.map +1 -0
  967. package/dist/server/http/start.js +13 -0
  968. package/dist/server/http/start.js.map +1 -0
  969. package/dist/server/http/work.d.ts +6 -0
  970. package/dist/server/http/work.d.ts.map +1 -0
  971. package/dist/server/http/work.js +22 -0
  972. package/dist/server/http/work.js.map +1 -0
  973. package/dist/server/integration/attention.d.ts +14 -0
  974. package/dist/server/integration/attention.d.ts.map +1 -0
  975. package/dist/server/integration/attention.js +7 -0
  976. package/dist/server/integration/attention.js.map +1 -0
  977. package/dist/server/integration/board.d.ts +22 -0
  978. package/dist/server/integration/board.d.ts.map +1 -0
  979. package/dist/server/integration/board.js +16 -0
  980. package/dist/server/integration/board.js.map +1 -0
  981. package/dist/server/integration/diagnostics.d.ts +223 -0
  982. package/dist/server/integration/diagnostics.d.ts.map +1 -0
  983. package/dist/server/integration/diagnostics.js +23 -0
  984. package/dist/server/integration/diagnostics.js.map +1 -0
  985. package/dist/server/integration/publication.d.ts +6 -0
  986. package/dist/server/integration/publication.d.ts.map +1 -0
  987. package/dist/server/integration/publication.js +6 -0
  988. package/dist/server/integration/publication.js.map +1 -0
  989. package/dist/server/integration/responses.d.ts +252 -0
  990. package/dist/server/integration/responses.d.ts.map +1 -0
  991. package/dist/server/integration/responses.js +25 -0
  992. package/dist/server/integration/responses.js.map +1 -0
  993. package/dist/server/metadata/attentionProblems.d.ts.map +1 -0
  994. package/dist/server/metadata/attentionProblems.js.map +1 -0
  995. package/dist/server/metadata/backlinks.d.ts +13 -0
  996. package/dist/server/metadata/backlinks.d.ts.map +1 -0
  997. package/dist/server/metadata/backlinks.js +40 -0
  998. package/dist/server/metadata/backlinks.js.map +1 -0
  999. package/dist/server/metadata/fields.d.ts +85 -0
  1000. package/dist/server/metadata/fields.d.ts.map +1 -0
  1001. package/dist/server/metadata/fields.js +28 -0
  1002. package/dist/server/metadata/fields.js.map +1 -0
  1003. package/dist/server/metadata/links.d.ts.map +1 -0
  1004. package/dist/server/metadata/links.js.map +1 -0
  1005. package/dist/server/metadata/locations.d.ts.map +1 -0
  1006. package/dist/server/metadata/locations.js.map +1 -0
  1007. package/dist/server/metadata/model.d.ts +5 -0
  1008. package/dist/server/metadata/model.d.ts.map +1 -0
  1009. package/dist/server/metadata/model.js.map +1 -0
  1010. package/dist/server/metadata/parse.d.ts +5 -0
  1011. package/dist/server/metadata/parse.d.ts.map +1 -0
  1012. package/dist/server/metadata/parse.js.map +1 -0
  1013. package/dist/server/metadata/problems.d.ts +3 -0
  1014. package/dist/server/metadata/problems.d.ts.map +1 -0
  1015. package/dist/server/metadata/problems.js +55 -0
  1016. package/dist/server/metadata/problems.js.map +1 -0
  1017. package/dist/server/metadata/referencesOf.d.ts +7 -0
  1018. package/dist/server/metadata/referencesOf.d.ts.map +1 -0
  1019. package/dist/server/metadata/referencesOf.js +18 -0
  1020. package/dist/server/metadata/referencesOf.js.map +1 -0
  1021. package/dist/server/metadata/relationshipLabel.d.ts.map +1 -0
  1022. package/dist/server/metadata/relationshipLabel.js.map +1 -0
  1023. package/dist/server/metadata/sourceLinks.d.ts.map +1 -0
  1024. package/dist/server/metadata/sourceLinks.js.map +1 -0
  1025. package/dist/server/metadata/updateModel.d.ts +3 -0
  1026. package/dist/server/metadata/updateModel.d.ts.map +1 -0
  1027. package/dist/server/metadata/updateModel.js +36 -0
  1028. package/dist/server/metadata/updateModel.js.map +1 -0
  1029. package/dist/server/navigation/model.d.ts +6 -0
  1030. package/dist/server/navigation/model.d.ts.map +1 -0
  1031. package/dist/server/navigation/model.js +63 -0
  1032. package/dist/server/navigation/model.js.map +1 -0
  1033. package/dist/server/page/attentionDetails.d.ts +4 -0
  1034. package/dist/server/page/attentionDetails.d.ts.map +1 -0
  1035. package/dist/server/page/attentionDetails.js +24 -0
  1036. package/dist/server/page/attentionDetails.js.map +1 -0
  1037. package/dist/server/page/backlinksHtml.d.ts +3 -0
  1038. package/dist/server/page/backlinksHtml.d.ts.map +1 -0
  1039. package/dist/server/page/backlinksHtml.js +16 -0
  1040. package/dist/server/page/backlinksHtml.js.map +1 -0
  1041. package/dist/server/page/boardHtml.d.ts +4 -0
  1042. package/dist/server/page/boardHtml.d.ts.map +1 -0
  1043. package/dist/server/page/boardHtml.js +45 -0
  1044. package/dist/server/page/boardHtml.js.map +1 -0
  1045. package/dist/server/page/criteriaEvidence.d.ts +4 -0
  1046. package/dist/server/page/criteriaEvidence.d.ts.map +1 -0
  1047. package/dist/server/page/criteriaEvidence.js +27 -0
  1048. package/dist/server/page/criteriaEvidence.js.map +1 -0
  1049. package/dist/server/page/documentHtml.d.ts +4 -0
  1050. package/dist/server/page/documentHtml.d.ts.map +1 -0
  1051. package/dist/server/page/documentHtml.js +16 -0
  1052. package/dist/server/page/documentHtml.js.map +1 -0
  1053. package/dist/server/page/itemIntroduction.d.ts +3 -0
  1054. package/dist/server/page/itemIntroduction.d.ts.map +1 -0
  1055. package/dist/server/page/itemIntroduction.js +9 -0
  1056. package/dist/server/page/itemIntroduction.js.map +1 -0
  1057. package/dist/server/page/itemStyles.d.ts +2 -0
  1058. package/dist/server/page/itemStyles.d.ts.map +1 -0
  1059. package/dist/server/page/itemStyles.js +30 -0
  1060. package/dist/server/page/itemStyles.js.map +1 -0
  1061. package/dist/server/page/metadata.d.ts +5 -0
  1062. package/dist/server/page/metadata.d.ts.map +1 -0
  1063. package/dist/server/page/metadata.js +49 -0
  1064. package/dist/server/page/metadata.js.map +1 -0
  1065. package/dist/server/page/metadataDetails.d.ts +4 -0
  1066. package/dist/server/page/metadataDetails.d.ts.map +1 -0
  1067. package/dist/server/page/metadataDetails.js +35 -0
  1068. package/dist/server/page/metadataDetails.js.map +1 -0
  1069. package/dist/server/page/metadataLinks.d.ts +6 -0
  1070. package/dist/server/page/metadataLinks.d.ts.map +1 -0
  1071. package/dist/server/page/metadataLinks.js +31 -0
  1072. package/dist/server/page/metadataLinks.js.map +1 -0
  1073. package/dist/server/page/nav.d.ts +5 -0
  1074. package/dist/server/page/nav.d.ts.map +1 -0
  1075. package/dist/server/page/nav.js +9 -0
  1076. package/dist/server/page/nav.js.map +1 -0
  1077. package/dist/server/page/readingStyles.d.ts.map +1 -0
  1078. package/dist/server/page/readingStyles.js +32 -0
  1079. package/dist/server/page/readingStyles.js.map +1 -0
  1080. package/dist/server/page/readingTools.d.ts.map +1 -0
  1081. package/dist/server/page/readingTools.js +10 -0
  1082. package/dist/server/page/readingTools.js.map +1 -0
  1083. package/dist/server/page/recordedEvidence.d.ts +4 -0
  1084. package/dist/server/page/recordedEvidence.d.ts.map +1 -0
  1085. package/dist/server/page/recordedEvidence.js +10 -0
  1086. package/dist/server/page/recordedEvidence.js.map +1 -0
  1087. package/dist/server/page/searchDialog.d.ts.map +1 -0
  1088. package/dist/server/page/searchDialog.js.map +1 -0
  1089. package/dist/server/page/shell.d.ts +3 -0
  1090. package/dist/server/page/shell.d.ts.map +1 -0
  1091. package/dist/server/page/shell.js +39 -0
  1092. package/dist/server/page/shell.js.map +1 -0
  1093. package/dist/server/page/startHtml.d.ts.map +1 -0
  1094. package/dist/server/page/startHtml.js +10 -0
  1095. package/dist/server/page/startHtml.js.map +1 -0
  1096. package/dist/server/page/startTemplates.d.ts +120 -0
  1097. package/dist/server/page/startTemplates.d.ts.map +1 -0
  1098. package/dist/server/page/startTemplates.js +124 -0
  1099. package/dist/server/page/startTemplates.js.map +1 -0
  1100. package/dist/server/page/style.d.ts.map +1 -0
  1101. package/dist/server/page/style.js +111 -0
  1102. package/dist/server/page/style.js.map +1 -0
  1103. package/dist/server/page/updated.d.ts +2 -0
  1104. package/dist/server/page/updated.d.ts.map +1 -0
  1105. package/dist/server/page/updated.js +4 -0
  1106. package/dist/server/page/updated.js.map +1 -0
  1107. package/dist/server/page/visualDialog.d.ts.map +1 -0
  1108. package/dist/server/page/visualDialog.js.map +1 -0
  1109. package/dist/server/page/workspaceStyles.d.ts +3 -0
  1110. package/dist/server/page/workspaceStyles.d.ts.map +1 -0
  1111. package/dist/server/page/workspaceStyles.js +89 -0
  1112. package/dist/server/page/workspaceStyles.js.map +1 -0
  1113. package/dist/server/render/Highlighter.d.ts +9 -0
  1114. package/dist/server/render/Highlighter.d.ts.map +1 -0
  1115. package/dist/server/render/Highlighter.js +15 -0
  1116. package/dist/server/render/Highlighter.js.map +1 -0
  1117. package/dist/server/render/board.d.ts +20 -0
  1118. package/dist/server/render/board.d.ts.map +1 -0
  1119. package/dist/server/render/board.js +63 -0
  1120. package/dist/server/render/board.js.map +1 -0
  1121. package/dist/server/render/markdown.d.ts +12 -0
  1122. package/dist/server/render/markdown.d.ts.map +1 -0
  1123. package/dist/server/render/markdown.js +35 -0
  1124. package/dist/server/render/markdown.js.map +1 -0
  1125. package/dist/server/responses/agent-cli.d.ts.map +1 -0
  1126. package/dist/server/responses/agent-cli.js +45 -0
  1127. package/dist/server/responses/agent-cli.js.map +1 -0
  1128. package/dist/server/responses/agent.d.ts +81 -0
  1129. package/dist/server/responses/agent.d.ts.map +1 -0
  1130. package/dist/server/responses/agent.js +55 -0
  1131. package/dist/server/responses/agent.js.map +1 -0
  1132. package/dist/server/responses/authoredQuestionHtml.d.ts +4 -0
  1133. package/dist/server/responses/authoredQuestionHtml.d.ts.map +1 -0
  1134. package/dist/server/responses/authoredQuestionHtml.js +30 -0
  1135. package/dist/server/responses/authoredQuestionHtml.js.map +1 -0
  1136. package/dist/server/responses/await.d.ts +41 -0
  1137. package/dist/server/responses/await.d.ts.map +1 -0
  1138. package/dist/server/responses/await.js +21 -0
  1139. package/dist/server/responses/await.js.map +1 -0
  1140. package/dist/server/responses/composerHtml.d.ts +27 -0
  1141. package/dist/server/responses/composerHtml.d.ts.map +1 -0
  1142. package/dist/server/responses/composerHtml.js +17 -0
  1143. package/dist/server/responses/composerHtml.js.map +1 -0
  1144. package/dist/server/responses/flags.d.ts.map +1 -0
  1145. package/dist/server/responses/flags.js +24 -0
  1146. package/dist/server/responses/flags.js.map +1 -0
  1147. package/dist/server/responses/history.d.ts +20 -0
  1148. package/dist/server/responses/history.d.ts.map +1 -0
  1149. package/dist/server/responses/history.js +19 -0
  1150. package/dist/server/responses/history.js.map +1 -0
  1151. package/dist/server/responses/historyHtml.d.ts +28 -0
  1152. package/dist/server/responses/historyHtml.d.ts.map +1 -0
  1153. package/dist/server/responses/historyHtml.js +8 -0
  1154. package/dist/server/responses/historyHtml.js.map +1 -0
  1155. package/dist/server/responses/locate.d.ts +14 -0
  1156. package/dist/server/responses/locate.d.ts.map +1 -0
  1157. package/dist/server/responses/locate.js +53 -0
  1158. package/dist/server/responses/locate.js.map +1 -0
  1159. package/dist/server/responses/make.d.ts.map +1 -0
  1160. package/dist/server/responses/make.js.map +1 -0
  1161. package/dist/server/responses/optionControls.d.ts +4 -0
  1162. package/dist/server/responses/optionControls.d.ts.map +1 -0
  1163. package/dist/server/responses/optionControls.js +11 -0
  1164. package/dist/server/responses/optionControls.js.map +1 -0
  1165. package/dist/server/responses/optionPrompt.d.ts +4 -0
  1166. package/dist/server/responses/optionPrompt.d.ts.map +1 -0
  1167. package/dist/server/responses/optionPrompt.js +19 -0
  1168. package/dist/server/responses/optionPrompt.js.map +1 -0
  1169. package/dist/server/responses/outcome.d.ts.map +1 -0
  1170. package/dist/server/responses/outcome.js.map +1 -0
  1171. package/dist/server/responses/page.d.ts +6 -0
  1172. package/dist/server/responses/page.d.ts.map +1 -0
  1173. package/dist/server/responses/page.js +25 -0
  1174. package/dist/server/responses/page.js.map +1 -0
  1175. package/dist/server/responses/publicationDirectory.d.ts +7 -0
  1176. package/dist/server/responses/publicationDirectory.d.ts.map +1 -0
  1177. package/dist/server/responses/publicationDirectory.js +35 -0
  1178. package/dist/server/responses/publicationDirectory.js.map +1 -0
  1179. package/dist/server/responses/publish.d.ts +5 -0
  1180. package/dist/server/responses/publish.d.ts.map +1 -0
  1181. package/dist/server/responses/publish.js +72 -0
  1182. package/dist/server/responses/publish.js.map +1 -0
  1183. package/dist/server/responses/publishIn.d.ts.map +1 -0
  1184. package/dist/server/responses/publishIn.js +87 -0
  1185. package/dist/server/responses/publishIn.js.map +1 -0
  1186. package/dist/server/responses/read.d.ts +37 -0
  1187. package/dist/server/responses/read.d.ts.map +1 -0
  1188. package/dist/server/responses/read.js +40 -0
  1189. package/dist/server/responses/read.js.map +1 -0
  1190. package/dist/server/responses/readingActions.d.ts +3 -0
  1191. package/dist/server/responses/readingActions.d.ts.map +1 -0
  1192. package/dist/server/responses/readingActions.js +30 -0
  1193. package/dist/server/responses/readingActions.js.map +1 -0
  1194. package/dist/server/responses/records.d.ts +12 -0
  1195. package/dist/server/responses/records.d.ts.map +1 -0
  1196. package/dist/server/responses/records.js.map +1 -0
  1197. package/dist/server/responses/registerQuestion.d.ts +24 -0
  1198. package/dist/server/responses/registerQuestion.d.ts.map +1 -0
  1199. package/dist/server/responses/registerQuestion.js +43 -0
  1200. package/dist/server/responses/registerQuestion.js.map +1 -0
  1201. package/dist/server/responses/requestSource.d.ts +7 -0
  1202. package/dist/server/responses/requestSource.d.ts.map +1 -0
  1203. package/dist/server/responses/requestSource.js +15 -0
  1204. package/dist/server/responses/requestSource.js.map +1 -0
  1205. package/dist/server/responses/retry.d.ts +34 -0
  1206. package/dist/server/responses/retry.d.ts.map +1 -0
  1207. package/dist/server/responses/retry.js +14 -0
  1208. package/dist/server/responses/retry.js.map +1 -0
  1209. package/dist/server/responses/service.d.ts +168 -0
  1210. package/dist/server/responses/service.d.ts.map +1 -0
  1211. package/dist/server/responses/service.js +86 -0
  1212. package/dist/server/responses/service.js.map +1 -0
  1213. package/dist/server/responses/template.d.ts.map +1 -0
  1214. package/dist/server/responses/template.js +70 -0
  1215. package/dist/server/responses/template.js.map +1 -0
  1216. package/dist/server/responses/templateHtml.d.ts +8 -0
  1217. package/dist/server/responses/templateHtml.d.ts.map +1 -0
  1218. package/dist/server/responses/templateHtml.js +26 -0
  1219. package/dist/server/responses/templateHtml.js.map +1 -0
  1220. package/dist/server/responses/templateLinks.d.ts.map +1 -0
  1221. package/dist/server/responses/templateLinks.js.map +1 -0
  1222. package/dist/server/responses/templateNodes.d.ts.map +1 -0
  1223. package/dist/server/responses/templateNodes.js +50 -0
  1224. package/dist/server/responses/templateNodes.js.map +1 -0
  1225. package/dist/server/responses/validateSupersedes.d.ts +6 -0
  1226. package/dist/server/responses/validateSupersedes.d.ts.map +1 -0
  1227. package/dist/server/responses/validateSupersedes.js +21 -0
  1228. package/dist/server/responses/validateSupersedes.js.map +1 -0
  1229. package/dist/server/responses/validatedInput.d.ts.map +1 -0
  1230. package/dist/server/responses/validatedInput.js +46 -0
  1231. package/dist/server/responses/validatedInput.js.map +1 -0
  1232. package/dist/server/responses/waitFor.d.ts +39 -0
  1233. package/dist/server/responses/waitFor.d.ts.map +1 -0
  1234. package/dist/server/responses/waitFor.js +50 -0
  1235. package/dist/server/responses/waitFor.js.map +1 -0
  1236. package/dist/server/results/criteria.d.ts +3 -0
  1237. package/dist/server/results/criteria.d.ts.map +1 -0
  1238. package/dist/server/results/criteria.js +34 -0
  1239. package/dist/server/results/criteria.js.map +1 -0
  1240. package/dist/server/results/feedback.d.ts +6 -0
  1241. package/dist/server/results/feedback.d.ts.map +1 -0
  1242. package/dist/server/results/feedback.js +32 -0
  1243. package/dist/server/results/feedback.js.map +1 -0
  1244. package/dist/server/results/page.d.ts +6 -0
  1245. package/dist/server/results/page.d.ts.map +1 -0
  1246. package/dist/server/results/page.js +41 -0
  1247. package/dist/server/results/page.js.map +1 -0
  1248. package/dist/server/rpc/affected.d.ts +4 -0
  1249. package/dist/server/rpc/affected.d.ts.map +1 -0
  1250. package/dist/server/rpc/affected.js +84 -0
  1251. package/dist/server/rpc/affected.js.map +1 -0
  1252. package/dist/server/rpc/handlers.d.ts +4 -0
  1253. package/dist/server/rpc/handlers.d.ts.map +1 -0
  1254. package/dist/server/rpc/handlers.js +53 -0
  1255. package/dist/server/rpc/handlers.js.map +1 -0
  1256. package/dist/server/rpc/hints.d.ts +17 -0
  1257. package/dist/server/rpc/hints.d.ts.map +1 -0
  1258. package/dist/server/rpc/hints.js.map +1 -0
  1259. package/dist/server/rpc/transport.d.ts +14 -0
  1260. package/dist/server/rpc/transport.d.ts.map +1 -0
  1261. package/dist/server/rpc/transport.js +15 -0
  1262. package/dist/server/rpc/transport.js.map +1 -0
  1263. package/dist/server/search/attentionEntries.d.ts +4 -0
  1264. package/dist/server/search/attentionEntries.d.ts.map +1 -0
  1265. package/dist/server/search/attentionEntries.js.map +1 -0
  1266. package/dist/server/search/collector.d.ts.map +1 -0
  1267. package/dist/server/search/collector.js.map +1 -0
  1268. package/dist/server/search/entries.d.ts.map +1 -0
  1269. package/dist/server/search/entries.js +44 -0
  1270. package/dist/server/search/entries.js.map +1 -0
  1271. package/dist/server/search/linkCollector.d.ts.map +1 -0
  1272. package/dist/server/search/linkCollector.js.map +1 -0
  1273. package/dist/server/search/match.d.ts.map +1 -0
  1274. package/dist/server/search/match.js.map +1 -0
  1275. package/dist/server/search/metadataEntries.d.ts +4 -0
  1276. package/dist/server/search/metadataEntries.d.ts.map +1 -0
  1277. package/dist/server/search/metadataEntries.js +42 -0
  1278. package/dist/server/search/metadataEntries.js.map +1 -0
  1279. package/dist/server/search/readDocument.d.ts +10 -0
  1280. package/dist/server/search/readDocument.d.ts.map +1 -0
  1281. package/dist/server/search/readDocument.js +20 -0
  1282. package/dist/server/search/readDocument.js.map +1 -0
  1283. package/dist/server/search/snapshot.d.ts +23 -0
  1284. package/dist/server/search/snapshot.d.ts.map +1 -0
  1285. package/dist/server/search/snapshot.js +61 -0
  1286. package/dist/server/search/snapshot.js.map +1 -0
  1287. package/dist/server/search/updateEntries.d.ts +5 -0
  1288. package/dist/server/search/updateEntries.d.ts.map +1 -0
  1289. package/dist/server/search/updateEntries.js +28 -0
  1290. package/dist/server/search/updateEntries.js.map +1 -0
  1291. package/dist/server/serve-cli.d.ts.map +1 -0
  1292. package/dist/server/serve-cli.js +30 -0
  1293. package/dist/server/serve-cli.js.map +1 -0
  1294. package/dist/server/serve.d.ts +9 -0
  1295. package/dist/server/serve.d.ts.map +1 -0
  1296. package/dist/server/serve.js +13 -0
  1297. package/dist/server/serve.js.map +1 -0
  1298. package/dist/server/views/items.d.ts +11 -0
  1299. package/dist/server/views/items.d.ts.map +1 -0
  1300. package/dist/server/views/items.js.map +1 -0
  1301. package/dist/server/views/projection.d.ts +15 -0
  1302. package/dist/server/views/projection.d.ts.map +1 -0
  1303. package/dist/server/views/projection.js.map +1 -0
  1304. package/dist/server/views/state.d.ts.map +1 -0
  1305. package/dist/server/views/state.js.map +1 -0
  1306. package/dist/server/views/tools.d.ts.map +1 -0
  1307. package/dist/server/views/tools.js +11 -0
  1308. package/dist/server/views/tools.js.map +1 -0
  1309. package/dist/server/views/workCards.d.ts +4 -0
  1310. package/dist/server/views/workCards.d.ts.map +1 -0
  1311. package/dist/server/views/workCards.js +24 -0
  1312. package/dist/server/views/workCards.js.map +1 -0
  1313. package/dist/server/views/workControls.d.ts.map +1 -0
  1314. package/dist/server/views/workControls.js +32 -0
  1315. package/dist/server/views/workControls.js.map +1 -0
  1316. package/dist/server/views/workDetail.d.ts +13 -0
  1317. package/dist/server/views/workDetail.d.ts.map +1 -0
  1318. package/dist/server/views/workDetail.js +26 -0
  1319. package/dist/server/views/workDetail.js.map +1 -0
  1320. package/dist/server/views/workHtml.d.ts +15 -0
  1321. package/dist/server/views/workHtml.d.ts.map +1 -0
  1322. package/dist/server/views/workHtml.js +39 -0
  1323. package/dist/server/views/workHtml.js.map +1 -0
  1324. package/dist/server/views/workStyle.d.ts.map +1 -0
  1325. package/dist/server/views/workStyle.js.map +1 -0
  1326. package/dist/server/views/workTable.d.ts +4 -0
  1327. package/dist/server/views/workTable.d.ts.map +1 -0
  1328. package/dist/server/views/workTable.js +24 -0
  1329. package/dist/server/views/workTable.js.map +1 -0
  1330. package/docs/delivery/README.md +50 -0
  1331. package/docs/delivery/attention-examples.md +71 -0
  1332. package/docs/delivery/browser-acceptance.md +147 -0
  1333. package/docs/delivery/change-history-examples.md +46 -0
  1334. package/docs/delivery/decision-write-examples.md +83 -0
  1335. package/docs/delivery/handoff-examples.md +72 -0
  1336. package/docs/delivery/reading-review.md +27 -0
  1337. package/docs/delivery/response-write-examples.md +32 -0
  1338. package/docs/delivery/result-review-examples.md +108 -0
  1339. package/docs/delivery/source-editing-examples.md +32 -0
  1340. package/docs/delivery/source-examples.md +129 -0
  1341. package/docs/delivery/visual-document-examples.md +74 -0
  1342. package/docs/delivery/wave1.md +66 -0
  1343. package/docs/delivery/wave2.md +43 -0
  1344. package/docs/delivery/wave3.md +31 -0
  1345. package/docs/experience.md +89 -0
  1346. package/docs/images/diagnostics-desktop.png +0 -0
  1347. package/docs/images/diagnostics-narrow.png +0 -0
  1348. package/docs/images/navigation-desktop.png +0 -0
  1349. package/docs/images/navigation-narrow-closed.png +0 -0
  1350. package/docs/images/navigation-narrow.png +0 -0
  1351. package/docs/images/navigation-recents-desktop.png +0 -0
  1352. package/docs/images/navigation-recents-narrow.png +0 -0
  1353. package/docs/mockups/images/brief-mobile.png +0 -0
  1354. package/docs/mockups/images/brief.png +0 -0
  1355. package/docs/mockups/images/decision-mobile.png +0 -0
  1356. package/docs/mockups/images/decision.png +0 -0
  1357. package/docs/mockups/images/evidence-mobile.png +0 -0
  1358. package/docs/mockups/images/evidence.png +0 -0
  1359. package/docs/mockups/images/overview-mobile.png +0 -0
  1360. package/docs/mockups/images/overview.png +0 -0
  1361. package/docs/mockups/images/vision-board.png +0 -0
  1362. package/docs/mockups/images/work-mobile.png +0 -0
  1363. package/docs/mockups/images/work.png +0 -0
  1364. package/docs/mockups/index.html +458 -0
  1365. package/docs/mockups/style.css +1709 -0
  1366. package/docs/north-star.md +61 -0
  1367. package/docs/roadmap.md +75 -0
  1368. package/package.json +522 -15
  1369. package/src/attention/RequestReceipt.ts +12 -0
  1370. package/src/browser/document/ReadingContext.ts +16 -0
  1371. package/src/browser/document/schema.ts +40 -0
  1372. package/src/browser/escapeHtml.ts +5 -0
  1373. package/src/browser/navigation/html.ts +29 -0
  1374. package/src/browser/navigation/schema.ts +27 -0
  1375. package/src/browser/responses/schema.ts +0 -5
  1376. package/src/client/client.ts +89 -0
  1377. package/src/client/diagnostics/script.ts +31 -0
  1378. package/src/client/document/Details.ts +22 -0
  1379. package/src/client/document/Mermaid.ts +84 -0
  1380. package/src/client/document/View.ts +91 -0
  1381. package/src/client/document/highlight.ts +12 -0
  1382. package/src/client/document/layout.ts +29 -0
  1383. package/src/client/entry.ts +27 -0
  1384. package/src/client/fieldFeedback.ts +53 -0
  1385. package/src/client/formFocus.ts +32 -0
  1386. package/src/client/handoffs/fields.ts +38 -0
  1387. package/src/client/handoffs/form.ts +41 -0
  1388. package/src/client/handoffs/setup.ts +142 -0
  1389. package/src/client/legacyRuntime.ts +11 -0
  1390. package/src/client/mockups/app.ts +114 -0
  1391. package/src/client/mockups/element.ts +7 -0
  1392. package/src/client/mockups/sampleData.ts +92 -0
  1393. package/src/client/mockups/work.ts +84 -0
  1394. package/src/client/page/formReadingScript.ts +25 -0
  1395. package/src/client/page/itemContextScript.ts +20 -0
  1396. package/src/client/page/libraryScript.ts +84 -0
  1397. package/src/client/page/navigationHistoryScript.ts +46 -0
  1398. package/src/client/page/navigationScript.ts +113 -0
  1399. package/src/client/page/preferencesScript.ts +45 -0
  1400. package/src/client/page/reactNavigationScript.ts +30 -0
  1401. package/src/client/page/readingStateScript.ts +64 -0
  1402. package/src/client/page/resolvedDocumentFailure.ts +6 -0
  1403. package/src/client/page/routeQuery.ts +16 -0
  1404. package/src/client/page/runtime.ts +111 -0
  1405. package/src/client/page/scripts.ts +91 -0
  1406. package/src/client/page/sidebarScript.ts +86 -0
  1407. package/src/client/page/stateScript.ts +95 -0
  1408. package/src/client/react/AnswerFocus.tsx +10 -0
  1409. package/src/client/react/AnswerForm.tsx +98 -0
  1410. package/src/client/react/AnswerPanel.tsx +40 -0
  1411. package/src/client/react/AnswerPrompts.tsx +80 -0
  1412. package/src/client/react/BoardShell.tsx +79 -0
  1413. package/src/client/react/DocumentAttention.tsx +71 -0
  1414. package/src/client/react/DocumentClaims.tsx +63 -0
  1415. package/src/client/react/DocumentContext.tsx +61 -0
  1416. package/src/client/react/DocumentCriteria.tsx +54 -0
  1417. package/src/client/react/DocumentEvidence.tsx +13 -0
  1418. package/src/client/react/DocumentMain.tsx +72 -0
  1419. package/src/client/react/DocumentMetadata.tsx +31 -0
  1420. package/src/client/react/DocumentPage.tsx +28 -0
  1421. package/src/client/react/DocumentRecords.tsx +74 -0
  1422. package/src/client/react/DocumentWorkMetadata.tsx +116 -0
  1423. package/src/client/react/Header.tsx +66 -0
  1424. package/src/client/react/LegacyMain.tsx +46 -0
  1425. package/src/client/react/NavigationTree.tsx +63 -0
  1426. package/src/client/react/Reference.tsx +5 -0
  1427. package/src/client/react/ResponseHistory.tsx +38 -0
  1428. package/src/client/react/ResponseMarkdown.tsx +11 -0
  1429. package/src/client/react/ShellApi.ts +6 -0
  1430. package/src/client/react/Sidebar.tsx +49 -0
  1431. package/src/client/react/boardRouter.ts +34 -0
  1432. package/src/client/react/documentRoute.ts +13 -0
  1433. package/src/client/react/entry.css +80 -0
  1434. package/src/client/react/entry.tsx +60 -0
  1435. package/src/client/react/keyed.ts +9 -0
  1436. package/src/client/react/legacyPage.ts +69 -0
  1437. package/src/client/react/lib/cn.ts +6 -0
  1438. package/src/client/react/loadBoardPage.ts +44 -0
  1439. package/src/client/react/shellIds.ts +32 -0
  1440. package/src/client/react/useDocumentPage.ts +80 -0
  1441. package/src/client/reconcile/at.ts +7 -0
  1442. package/src/client/reconcile/matches.ts +51 -0
  1443. package/src/client/reconcile/patch.ts +71 -0
  1444. package/src/client/reconcile/signature.ts +83 -0
  1445. package/src/client/reconcile/swap.ts +37 -0
  1446. package/src/client/responses/attach.ts +150 -0
  1447. package/src/client/responses/authorLabel.ts +22 -0
  1448. package/src/client/responses/binding.ts +16 -0
  1449. package/src/client/responses/draft.ts +20 -0
  1450. package/src/client/responses/drafts.ts +82 -0
  1451. package/src/client/responses/feedback.ts +81 -0
  1452. package/src/client/responses/fields.ts +26 -0
  1453. package/src/client/responses/form.ts +58 -0
  1454. package/src/client/responses/formSchema.ts +23 -0
  1455. package/src/client/responses/preview.ts +7 -0
  1456. package/src/client/responses/questionnaireControls.ts +94 -0
  1457. package/src/client/responses/setup.ts +6 -0
  1458. package/src/client/responses/submit.ts +44 -0
  1459. package/src/diagnostics/daemonContract.ts +27 -0
  1460. package/src/diagnostics/health.ts +21 -0
  1461. package/src/diagnostics/resetLabel.ts +17 -0
  1462. package/src/diagnostics/source.ts +68 -0
  1463. package/src/integration/metadata.ts +31 -0
  1464. package/src/metadata/schema.ts +11 -1
  1465. package/src/render/code.ts +39 -32
  1466. package/src/render/documentHeadings.ts +7 -1
  1467. package/src/render/documentLinks.ts +11 -3
  1468. package/src/render/documentPlugins.ts +10 -0
  1469. package/src/render/failed.ts +6 -2
  1470. package/src/render/footnotes.ts +2 -2
  1471. package/src/render/questionnaireDocuments.ts +22 -2
  1472. package/src/render/visual.ts +8 -7
  1473. package/src/render/visualDocuments.ts +5 -4
  1474. package/src/responses/current.ts +11 -0
  1475. package/src/responses/url.ts +3 -0
  1476. package/src/rpc/contract.ts +39 -12
  1477. package/src/rpc/handoffContract.ts +6 -5
  1478. package/src/rpc/rejections.ts +30 -0
  1479. package/src/rpc/responseContract.ts +11 -16
  1480. package/src/server/attention/inbox.ts +124 -0
  1481. package/src/server/attention/inboxHtml.ts +56 -0
  1482. package/src/server/attention/managedRequestReceipt.ts +91 -0
  1483. package/src/server/attention/overviewHtml.ts +46 -0
  1484. package/src/server/attention/questionState.ts +71 -0
  1485. package/src/server/attention/requests.ts +70 -0
  1486. package/src/server/board.ts +147 -0
  1487. package/src/server/boardServices.ts +10 -0
  1488. package/src/server/cli.ts +16 -0
  1489. package/src/server/diagnostics/codexLimits.ts +15 -0
  1490. package/src/server/diagnostics/codexProtocol.ts +44 -0
  1491. package/src/server/diagnostics/codexRateLimits.ts +62 -0
  1492. package/src/server/diagnostics/daemon.ts +34 -0
  1493. package/src/server/diagnostics/fleetHealth.ts +69 -0
  1494. package/src/server/diagnostics/githubLimits.ts +15 -0
  1495. package/src/server/diagnostics/html.ts +93 -0
  1496. package/src/server/diagnostics/page.ts +31 -0
  1497. package/src/server/diagnostics/readCommand.ts +24 -0
  1498. package/src/server/diagnostics/style.ts +19 -0
  1499. package/src/server/document/body.ts +8 -0
  1500. package/src/server/document/read.ts +89 -0
  1501. package/src/server/document/readingContext.ts +61 -0
  1502. package/src/server/document/requests.ts +46 -0
  1503. package/src/server/document/targets.ts +29 -0
  1504. package/src/server/files/changes.ts +110 -0
  1505. package/src/server/files/home.ts +46 -0
  1506. package/src/server/files/invalidations.ts +32 -0
  1507. package/src/server/files/list.ts +75 -0
  1508. package/src/server/files/update.ts +52 -0
  1509. package/src/server/files/watchDirectories.ts +79 -0
  1510. package/src/server/handoffs/Service.ts +111 -0
  1511. package/src/server/handoffs/html.ts +42 -0
  1512. package/src/server/handoffs/page.ts +51 -0
  1513. package/src/server/handoffs/records.ts +34 -0
  1514. package/src/server/handoffs/source.ts +40 -0
  1515. package/src/server/history/baseline.ts +43 -0
  1516. package/src/server/history/compare.ts +54 -0
  1517. package/src/server/history/documents.ts +21 -0
  1518. package/src/server/history/html.ts +23 -0
  1519. package/src/server/history/response.ts +23 -0
  1520. package/src/server/http/assets.ts +133 -0
  1521. package/src/server/http/attachment.ts +46 -0
  1522. package/src/server/http/changesPage.ts +15 -0
  1523. package/src/server/http/identity.ts +71 -0
  1524. package/src/server/http/inbox.ts +27 -0
  1525. package/src/server/http/overview.ts +19 -0
  1526. package/src/server/http/page.ts +109 -0
  1527. package/src/server/http/readPage.ts +13 -0
  1528. package/src/server/http/respond.ts +21 -0
  1529. package/src/server/http/start.ts +27 -0
  1530. package/src/server/http/work.ts +42 -0
  1531. package/src/server/integration/attention.ts +9 -0
  1532. package/src/server/integration/board.ts +36 -0
  1533. package/src/server/integration/diagnostics.ts +28 -0
  1534. package/src/server/integration/publication.ts +6 -0
  1535. package/src/server/integration/responses.ts +36 -0
  1536. package/src/server/metadata/backlinks.ts +52 -0
  1537. package/src/server/metadata/fields.ts +29 -0
  1538. package/src/server/metadata/model.ts +17 -0
  1539. package/src/server/metadata/parse.ts +51 -0
  1540. package/src/server/metadata/problems.ts +58 -0
  1541. package/src/server/metadata/referencesOf.ts +23 -0
  1542. package/src/server/metadata/updateModel.ts +44 -0
  1543. package/src/server/navigation/model.ts +79 -0
  1544. package/src/server/page/attentionDetails.ts +26 -0
  1545. package/src/server/page/backlinksHtml.ts +18 -0
  1546. package/src/server/page/boardHtml.ts +55 -0
  1547. package/src/server/page/criteriaEvidence.ts +36 -0
  1548. package/src/server/page/documentHtml.ts +23 -0
  1549. package/src/server/page/itemIntroduction.ts +10 -0
  1550. package/src/server/page/itemStyles.ts +29 -0
  1551. package/src/server/page/metadata.ts +58 -0
  1552. package/src/server/page/metadataDetails.ts +38 -0
  1553. package/src/server/page/metadataLinks.ts +35 -0
  1554. package/src/server/page/nav.ts +12 -0
  1555. package/src/server/page/readingStyles.ts +31 -0
  1556. package/src/server/page/readingTools.ts +12 -0
  1557. package/src/server/page/recordedEvidence.ts +12 -0
  1558. package/src/server/page/shell.ts +50 -0
  1559. package/src/server/page/startHtml.ts +10 -0
  1560. package/src/server/page/startTemplates.ts +123 -0
  1561. package/src/server/page/style.ts +117 -0
  1562. package/src/server/page/updated.ts +3 -0
  1563. package/src/server/page/workspaceStyles.ts +89 -0
  1564. package/src/server/render/Highlighter.ts +19 -0
  1565. package/src/server/render/board.ts +90 -0
  1566. package/src/server/render/markdown.ts +48 -0
  1567. package/src/server/responses/agent-cli.ts +48 -0
  1568. package/src/server/responses/agent.ts +74 -0
  1569. package/src/server/responses/authoredQuestionHtml.ts +46 -0
  1570. package/src/server/responses/await.ts +23 -0
  1571. package/src/server/responses/composerHtml.ts +25 -0
  1572. package/src/server/responses/flags.ts +23 -0
  1573. package/src/server/responses/history.ts +21 -0
  1574. package/src/server/responses/historyHtml.ts +20 -0
  1575. package/src/server/responses/locate.ts +60 -0
  1576. package/src/server/responses/optionControls.ts +13 -0
  1577. package/src/server/responses/optionPrompt.ts +21 -0
  1578. package/src/server/responses/page.ts +37 -0
  1579. package/src/server/responses/publicationDirectory.ts +42 -0
  1580. package/src/server/responses/publish.ts +72 -0
  1581. package/src/server/responses/publishIn.ts +90 -0
  1582. package/src/server/responses/read.ts +45 -0
  1583. package/src/server/responses/readingActions.ts +36 -0
  1584. package/src/server/responses/records.ts +58 -0
  1585. package/src/server/responses/registerQuestion.ts +57 -0
  1586. package/src/server/responses/requestSource.ts +21 -0
  1587. package/src/server/responses/retry.ts +23 -0
  1588. package/src/server/responses/service.ts +112 -0
  1589. package/src/server/responses/template.ts +85 -0
  1590. package/src/server/responses/templateHtml.ts +34 -0
  1591. package/src/server/responses/templateNodes.ts +58 -0
  1592. package/src/server/responses/validateSupersedes.ts +23 -0
  1593. package/src/server/responses/validatedInput.ts +49 -0
  1594. package/src/server/responses/waitFor.ts +62 -0
  1595. package/src/server/results/criteria.ts +37 -0
  1596. package/src/server/results/feedback.ts +44 -0
  1597. package/src/server/results/page.ts +63 -0
  1598. package/src/server/rpc/affected.ts +88 -0
  1599. package/src/server/rpc/handlers.ts +64 -0
  1600. package/src/server/rpc/hints.ts +34 -0
  1601. package/src/server/rpc/transport.ts +34 -0
  1602. package/src/server/search/attentionEntries.ts +22 -0
  1603. package/src/server/search/entries.ts +58 -0
  1604. package/src/server/search/metadataEntries.ts +44 -0
  1605. package/src/server/search/readDocument.ts +34 -0
  1606. package/src/server/search/snapshot.ts +87 -0
  1607. package/src/server/search/updateEntries.ts +34 -0
  1608. package/src/server/serve-cli.ts +52 -0
  1609. package/src/server/serve.ts +19 -0
  1610. package/src/server/views/items.ts +55 -0
  1611. package/src/server/views/projection.ts +59 -0
  1612. package/src/server/views/tools.ts +11 -0
  1613. package/src/server/views/workCards.ts +27 -0
  1614. package/src/server/views/workControls.ts +38 -0
  1615. package/src/server/views/workDetail.ts +28 -0
  1616. package/src/server/views/workHtml.ts +45 -0
  1617. package/src/server/views/workTable.ts +26 -0
  1618. package/dist/attention/overviewHtml.d.ts +0 -3
  1619. package/dist/attention/overviewHtml.d.ts.map +0 -1
  1620. package/dist/attention/overviewHtml.js +0 -41
  1621. package/dist/attention/overviewHtml.js.map +0 -1
  1622. package/dist/attention/requests.d.ts +0 -24
  1623. package/dist/attention/requests.d.ts.map +0 -1
  1624. package/dist/attention/requests.js +0 -40
  1625. package/dist/attention/requests.js.map +0 -1
  1626. package/dist/attention/style.d.ts.map +0 -1
  1627. package/dist/attention/style.js.map +0 -1
  1628. package/dist/board.d.ts +0 -15
  1629. package/dist/board.d.ts.map +0 -1
  1630. package/dist/board.js +0 -104
  1631. package/dist/board.js.map +0 -1
  1632. package/dist/browser/client.d.ts +0 -30
  1633. package/dist/browser/client.d.ts.map +0 -1
  1634. package/dist/browser/client.js +0 -65
  1635. package/dist/browser/client.js.map +0 -1
  1636. package/dist/browser/entry.d.ts +0 -3
  1637. package/dist/browser/entry.d.ts.map +0 -1
  1638. package/dist/browser/entry.js +0 -9
  1639. package/dist/browser/entry.js.map +0 -1
  1640. package/dist/browser/handoffs/copy.d.ts.map +0 -1
  1641. package/dist/browser/handoffs/copy.js.map +0 -1
  1642. package/dist/browser/handoffs/fields.d.ts +0 -11
  1643. package/dist/browser/handoffs/fields.d.ts.map +0 -1
  1644. package/dist/browser/handoffs/fields.js +0 -45
  1645. package/dist/browser/handoffs/fields.js.map +0 -1
  1646. package/dist/browser/handoffs/setup.d.ts.map +0 -1
  1647. package/dist/browser/handoffs/setup.js +0 -108
  1648. package/dist/browser/handoffs/setup.js.map +0 -1
  1649. package/dist/browser/responses/draftSession.d.ts.map +0 -1
  1650. package/dist/browser/responses/draftSession.js.map +0 -1
  1651. package/dist/browser/responses/drafts.d.ts +0 -21
  1652. package/dist/browser/responses/drafts.d.ts.map +0 -1
  1653. package/dist/browser/responses/drafts.js +0 -68
  1654. package/dist/browser/responses/drafts.js.map +0 -1
  1655. package/dist/browser/responses/preview.d.ts +0 -4
  1656. package/dist/browser/responses/preview.d.ts.map +0 -1
  1657. package/dist/browser/responses/preview.js +0 -5
  1658. package/dist/browser/responses/preview.js.map +0 -1
  1659. package/dist/browser/responses/questionnaireControls.d.ts +0 -10
  1660. package/dist/browser/responses/questionnaireControls.d.ts.map +0 -1
  1661. package/dist/browser/responses/questionnaireControls.js +0 -68
  1662. package/dist/browser/responses/questionnaireControls.js.map +0 -1
  1663. package/dist/browser/responses/setup.d.ts.map +0 -1
  1664. package/dist/browser/responses/setup.js +0 -129
  1665. package/dist/browser/responses/setup.js.map +0 -1
  1666. package/dist/browser/responses/submissionFields.d.ts +0 -15
  1667. package/dist/browser/responses/submissionFields.d.ts.map +0 -1
  1668. package/dist/browser/responses/submissionFields.js +0 -14
  1669. package/dist/browser/responses/submissionFields.js.map +0 -1
  1670. package/dist/browser/responses/submit.d.ts +0 -4
  1671. package/dist/browser/responses/submit.d.ts.map +0 -1
  1672. package/dist/browser/responses/submit.js +0 -30
  1673. package/dist/browser/responses/submit.js.map +0 -1
  1674. package/dist/browser/session.d.ts.map +0 -1
  1675. package/dist/browser/session.js.map +0 -1
  1676. package/dist/cli.d.ts.map +0 -1
  1677. package/dist/cli.js +0 -26
  1678. package/dist/cli.js.map +0 -1
  1679. package/dist/files/changes.d.ts +0 -22
  1680. package/dist/files/changes.d.ts.map +0 -1
  1681. package/dist/files/changes.js +0 -37
  1682. package/dist/files/changes.js.map +0 -1
  1683. package/dist/files/home.d.ts +0 -11
  1684. package/dist/files/home.d.ts.map +0 -1
  1685. package/dist/files/home.js +0 -37
  1686. package/dist/files/home.js.map +0 -1
  1687. package/dist/files/list.d.ts +0 -16
  1688. package/dist/files/list.d.ts.map +0 -1
  1689. package/dist/files/list.js +0 -50
  1690. package/dist/files/list.js.map +0 -1
  1691. package/dist/files/markdownPath.d.ts.map +0 -1
  1692. package/dist/files/markdownPath.js.map +0 -1
  1693. package/dist/files/watchDirectories.d.ts +0 -9
  1694. package/dist/files/watchDirectories.d.ts.map +0 -1
  1695. package/dist/files/watchDirectories.js +0 -34
  1696. package/dist/files/watchDirectories.js.map +0 -1
  1697. package/dist/handoffs/html.d.ts +0 -37
  1698. package/dist/handoffs/html.d.ts.map +0 -1
  1699. package/dist/handoffs/html.js +0 -31
  1700. package/dist/handoffs/html.js.map +0 -1
  1701. package/dist/handoffs/page.d.ts +0 -7
  1702. package/dist/handoffs/page.d.ts.map +0 -1
  1703. package/dist/handoffs/page.js +0 -31
  1704. package/dist/handoffs/page.js.map +0 -1
  1705. package/dist/handoffs/records.d.ts +0 -7
  1706. package/dist/handoffs/records.d.ts.map +0 -1
  1707. package/dist/handoffs/records.js.map +0 -1
  1708. package/dist/handoffs/service.d.ts +0 -55
  1709. package/dist/handoffs/service.d.ts.map +0 -1
  1710. package/dist/handoffs/service.js +0 -82
  1711. package/dist/handoffs/service.js.map +0 -1
  1712. package/dist/handoffs/source.d.ts +0 -11
  1713. package/dist/handoffs/source.d.ts.map +0 -1
  1714. package/dist/handoffs/source.js +0 -31
  1715. package/dist/handoffs/source.js.map +0 -1
  1716. package/dist/history/baseline.d.ts +0 -19
  1717. package/dist/history/baseline.d.ts.map +0 -1
  1718. package/dist/history/baseline.js +0 -40
  1719. package/dist/history/baseline.js.map +0 -1
  1720. package/dist/history/compare.d.ts +0 -14
  1721. package/dist/history/compare.d.ts.map +0 -1
  1722. package/dist/history/compare.js.map +0 -1
  1723. package/dist/history/documents.d.ts +0 -10
  1724. package/dist/history/documents.d.ts.map +0 -1
  1725. package/dist/history/documents.js +0 -15
  1726. package/dist/history/documents.js.map +0 -1
  1727. package/dist/history/fields.d.ts.map +0 -1
  1728. package/dist/history/fields.js.map +0 -1
  1729. package/dist/history/html.d.ts +0 -4
  1730. package/dist/history/html.d.ts.map +0 -1
  1731. package/dist/history/html.js +0 -22
  1732. package/dist/history/html.js.map +0 -1
  1733. package/dist/history/limits.d.ts.map +0 -1
  1734. package/dist/history/limits.js.map +0 -1
  1735. package/dist/history/response.d.ts +0 -4
  1736. package/dist/history/response.d.ts.map +0 -1
  1737. package/dist/history/response.js +0 -20
  1738. package/dist/history/response.js.map +0 -1
  1739. package/dist/history/script.d.ts.map +0 -1
  1740. package/dist/history/script.js.map +0 -1
  1741. package/dist/http/assets.d.ts +0 -17
  1742. package/dist/http/assets.d.ts.map +0 -1
  1743. package/dist/http/assets.js +0 -63
  1744. package/dist/http/assets.js.map +0 -1
  1745. package/dist/http/attachment.d.ts.map +0 -1
  1746. package/dist/http/attachment.js +0 -43
  1747. package/dist/http/attachment.js.map +0 -1
  1748. package/dist/http/events.d.ts +0 -5
  1749. package/dist/http/events.d.ts.map +0 -1
  1750. package/dist/http/events.js +0 -17
  1751. package/dist/http/events.js.map +0 -1
  1752. package/dist/http/history.d.ts +0 -7
  1753. package/dist/http/history.d.ts.map +0 -1
  1754. package/dist/http/history.js +0 -33
  1755. package/dist/http/history.js.map +0 -1
  1756. package/dist/http/identity.d.ts +0 -7
  1757. package/dist/http/identity.d.ts.map +0 -1
  1758. package/dist/http/identity.js +0 -38
  1759. package/dist/http/identity.js.map +0 -1
  1760. package/dist/http/loopback.d.ts +0 -4
  1761. package/dist/http/loopback.d.ts.map +0 -1
  1762. package/dist/http/loopback.js +0 -22
  1763. package/dist/http/loopback.js.map +0 -1
  1764. package/dist/http/overview.d.ts +0 -5
  1765. package/dist/http/overview.d.ts.map +0 -1
  1766. package/dist/http/overview.js +0 -13
  1767. package/dist/http/overview.js.map +0 -1
  1768. package/dist/http/page.d.ts +0 -10
  1769. package/dist/http/page.d.ts.map +0 -1
  1770. package/dist/http/page.js +0 -68
  1771. package/dist/http/page.js.map +0 -1
  1772. package/dist/http/respond.d.ts +0 -8
  1773. package/dist/http/respond.d.ts.map +0 -1
  1774. package/dist/http/respond.js +0 -17
  1775. package/dist/http/respond.js.map +0 -1
  1776. package/dist/http/sameOrigin.d.ts +0 -3
  1777. package/dist/http/sameOrigin.d.ts.map +0 -1
  1778. package/dist/http/sameOrigin.js +0 -14
  1779. package/dist/http/sameOrigin.js.map +0 -1
  1780. package/dist/http/search.d.ts +0 -5
  1781. package/dist/http/search.d.ts.map +0 -1
  1782. package/dist/http/search.js +0 -11
  1783. package/dist/http/search.js.map +0 -1
  1784. package/dist/http/start.d.ts +0 -4
  1785. package/dist/http/start.d.ts.map +0 -1
  1786. package/dist/http/start.js +0 -12
  1787. package/dist/http/start.js.map +0 -1
  1788. package/dist/http/work.d.ts +0 -6
  1789. package/dist/http/work.d.ts.map +0 -1
  1790. package/dist/http/work.js +0 -22
  1791. package/dist/http/work.js.map +0 -1
  1792. package/dist/metadata/attentionProblems.d.ts.map +0 -1
  1793. package/dist/metadata/attentionProblems.js.map +0 -1
  1794. package/dist/metadata/backlinks.d.ts +0 -8
  1795. package/dist/metadata/backlinks.d.ts.map +0 -1
  1796. package/dist/metadata/backlinks.js +0 -40
  1797. package/dist/metadata/backlinks.js.map +0 -1
  1798. package/dist/metadata/fields.d.ts +0 -72
  1799. package/dist/metadata/fields.d.ts.map +0 -1
  1800. package/dist/metadata/fields.js +0 -25
  1801. package/dist/metadata/fields.js.map +0 -1
  1802. package/dist/metadata/links.d.ts.map +0 -1
  1803. package/dist/metadata/links.js.map +0 -1
  1804. package/dist/metadata/locations.d.ts.map +0 -1
  1805. package/dist/metadata/locations.js.map +0 -1
  1806. package/dist/metadata/model.d.ts +0 -15
  1807. package/dist/metadata/model.d.ts.map +0 -1
  1808. package/dist/metadata/model.js.map +0 -1
  1809. package/dist/metadata/parse.d.ts +0 -16
  1810. package/dist/metadata/parse.d.ts.map +0 -1
  1811. package/dist/metadata/parse.js.map +0 -1
  1812. package/dist/metadata/problems.d.ts +0 -4
  1813. package/dist/metadata/problems.d.ts.map +0 -1
  1814. package/dist/metadata/problems.js +0 -63
  1815. package/dist/metadata/problems.js.map +0 -1
  1816. package/dist/metadata/relationshipLabel.d.ts.map +0 -1
  1817. package/dist/metadata/relationshipLabel.js.map +0 -1
  1818. package/dist/metadata/sourceLinks.d.ts.map +0 -1
  1819. package/dist/metadata/sourceLinks.js.map +0 -1
  1820. package/dist/page/ageScript.d.ts.map +0 -1
  1821. package/dist/page/ageScript.js.map +0 -1
  1822. package/dist/page/attentionDetails.d.ts +0 -4
  1823. package/dist/page/attentionDetails.d.ts.map +0 -1
  1824. package/dist/page/attentionDetails.js +0 -14
  1825. package/dist/page/attentionDetails.js.map +0 -1
  1826. package/dist/page/backlinksHtml.d.ts +0 -3
  1827. package/dist/page/backlinksHtml.d.ts.map +0 -1
  1828. package/dist/page/backlinksHtml.js +0 -16
  1829. package/dist/page/backlinksHtml.js.map +0 -1
  1830. package/dist/page/board.d.ts +0 -4
  1831. package/dist/page/board.d.ts.map +0 -1
  1832. package/dist/page/board.js +0 -42
  1833. package/dist/page/board.js.map +0 -1
  1834. package/dist/page/client.d.ts +0 -3
  1835. package/dist/page/client.d.ts.map +0 -1
  1836. package/dist/page/client.js +0 -150
  1837. package/dist/page/client.js.map +0 -1
  1838. package/dist/page/criteriaEvidence.d.ts +0 -4
  1839. package/dist/page/criteriaEvidence.d.ts.map +0 -1
  1840. package/dist/page/criteriaEvidence.js +0 -27
  1841. package/dist/page/criteriaEvidence.js.map +0 -1
  1842. package/dist/page/diagrams.d.ts +0 -2
  1843. package/dist/page/diagrams.d.ts.map +0 -1
  1844. package/dist/page/diagrams.js +0 -89
  1845. package/dist/page/diagrams.js.map +0 -1
  1846. package/dist/page/document.d.ts +0 -4
  1847. package/dist/page/document.d.ts.map +0 -1
  1848. package/dist/page/document.js +0 -12
  1849. package/dist/page/document.js.map +0 -1
  1850. package/dist/page/escape.d.ts +0 -2
  1851. package/dist/page/escape.d.ts.map +0 -1
  1852. package/dist/page/escape.js +0 -3
  1853. package/dist/page/escape.js.map +0 -1
  1854. package/dist/page/libraryScript.d.ts.map +0 -1
  1855. package/dist/page/libraryScript.js +0 -73
  1856. package/dist/page/libraryScript.js.map +0 -1
  1857. package/dist/page/metadata.d.ts +0 -5
  1858. package/dist/page/metadata.d.ts.map +0 -1
  1859. package/dist/page/metadata.js +0 -39
  1860. package/dist/page/metadata.js.map +0 -1
  1861. package/dist/page/metadataDetails.d.ts +0 -4
  1862. package/dist/page/metadataDetails.d.ts.map +0 -1
  1863. package/dist/page/metadataDetails.js +0 -32
  1864. package/dist/page/metadataDetails.js.map +0 -1
  1865. package/dist/page/metadataLinks.d.ts +0 -6
  1866. package/dist/page/metadataLinks.d.ts.map +0 -1
  1867. package/dist/page/metadataLinks.js +0 -31
  1868. package/dist/page/metadataLinks.js.map +0 -1
  1869. package/dist/page/nav.d.ts +0 -3
  1870. package/dist/page/nav.d.ts.map +0 -1
  1871. package/dist/page/nav.js +0 -22
  1872. package/dist/page/nav.js.map +0 -1
  1873. package/dist/page/navigationScript.d.ts.map +0 -1
  1874. package/dist/page/navigationScript.js +0 -106
  1875. package/dist/page/navigationScript.js.map +0 -1
  1876. package/dist/page/readingStateScript.d.ts.map +0 -1
  1877. package/dist/page/readingStateScript.js +0 -62
  1878. package/dist/page/readingStateScript.js.map +0 -1
  1879. package/dist/page/readingStyles.d.ts.map +0 -1
  1880. package/dist/page/readingStyles.js +0 -29
  1881. package/dist/page/readingStyles.js.map +0 -1
  1882. package/dist/page/readingTools.d.ts.map +0 -1
  1883. package/dist/page/readingTools.js +0 -10
  1884. package/dist/page/readingTools.js.map +0 -1
  1885. package/dist/page/recordedEvidence.d.ts +0 -4
  1886. package/dist/page/recordedEvidence.d.ts.map +0 -1
  1887. package/dist/page/recordedEvidence.js +0 -10
  1888. package/dist/page/recordedEvidence.js.map +0 -1
  1889. package/dist/page/searchDialog.d.ts.map +0 -1
  1890. package/dist/page/searchDialog.js.map +0 -1
  1891. package/dist/page/searchResultsScript.d.ts.map +0 -1
  1892. package/dist/page/searchResultsScript.js.map +0 -1
  1893. package/dist/page/searchScript.d.ts.map +0 -1
  1894. package/dist/page/searchScript.js.map +0 -1
  1895. package/dist/page/shell.d.ts +0 -2
  1896. package/dist/page/shell.d.ts.map +0 -1
  1897. package/dist/page/shell.js +0 -30
  1898. package/dist/page/shell.js.map +0 -1
  1899. package/dist/page/startHtml.d.ts.map +0 -1
  1900. package/dist/page/startHtml.js +0 -10
  1901. package/dist/page/startHtml.js.map +0 -1
  1902. package/dist/page/startTemplates.d.ts +0 -100
  1903. package/dist/page/startTemplates.d.ts.map +0 -1
  1904. package/dist/page/startTemplates.js +0 -104
  1905. package/dist/page/startTemplates.js.map +0 -1
  1906. package/dist/page/stateScript.d.ts.map +0 -1
  1907. package/dist/page/stateScript.js +0 -55
  1908. package/dist/page/stateScript.js.map +0 -1
  1909. package/dist/page/style.d.ts.map +0 -1
  1910. package/dist/page/style.js +0 -96
  1911. package/dist/page/style.js.map +0 -1
  1912. package/dist/page/swap.d.ts +0 -2
  1913. package/dist/page/swap.d.ts.map +0 -1
  1914. package/dist/page/swap.js +0 -145
  1915. package/dist/page/swap.js.map +0 -1
  1916. package/dist/page/updated.d.ts +0 -2
  1917. package/dist/page/updated.d.ts.map +0 -1
  1918. package/dist/page/updated.js +0 -2
  1919. package/dist/page/updated.js.map +0 -1
  1920. package/dist/page/visualDialog.d.ts.map +0 -1
  1921. package/dist/page/visualDialog.js.map +0 -1
  1922. package/dist/page/visualScript.d.ts.map +0 -1
  1923. package/dist/page/visualScript.js.map +0 -1
  1924. package/dist/page/visualViewport.d.ts.map +0 -1
  1925. package/dist/page/visualViewport.js.map +0 -1
  1926. package/dist/page/workspaceStyles.d.ts +0 -3
  1927. package/dist/page/workspaceStyles.d.ts.map +0 -1
  1928. package/dist/page/workspaceStyles.js +0 -79
  1929. package/dist/page/workspaceStyles.js.map +0 -1
  1930. package/dist/render/board.d.ts +0 -20
  1931. package/dist/render/board.d.ts.map +0 -1
  1932. package/dist/render/board.js +0 -57
  1933. package/dist/render/board.js.map +0 -1
  1934. package/dist/render/highlighter.d.ts +0 -13
  1935. package/dist/render/highlighter.d.ts.map +0 -1
  1936. package/dist/render/highlighter.js +0 -11
  1937. package/dist/render/highlighter.js.map +0 -1
  1938. package/dist/render/markdown.d.ts +0 -12
  1939. package/dist/render/markdown.d.ts.map +0 -1
  1940. package/dist/render/markdown.js +0 -40
  1941. package/dist/render/markdown.js.map +0 -1
  1942. package/dist/responses/agent-cli.d.ts.map +0 -1
  1943. package/dist/responses/agent-cli.js +0 -31
  1944. package/dist/responses/agent-cli.js.map +0 -1
  1945. package/dist/responses/agent.d.ts +0 -80
  1946. package/dist/responses/agent.d.ts.map +0 -1
  1947. package/dist/responses/agent.js +0 -49
  1948. package/dist/responses/agent.js.map +0 -1
  1949. package/dist/responses/await.d.ts +0 -39
  1950. package/dist/responses/await.d.ts.map +0 -1
  1951. package/dist/responses/await.js +0 -21
  1952. package/dist/responses/await.js.map +0 -1
  1953. package/dist/responses/composerHtml.d.ts +0 -27
  1954. package/dist/responses/composerHtml.d.ts.map +0 -1
  1955. package/dist/responses/composerHtml.js +0 -14
  1956. package/dist/responses/composerHtml.js.map +0 -1
  1957. package/dist/responses/flags.d.ts.map +0 -1
  1958. package/dist/responses/flags.js +0 -23
  1959. package/dist/responses/flags.js.map +0 -1
  1960. package/dist/responses/history.d.ts +0 -20
  1961. package/dist/responses/history.d.ts.map +0 -1
  1962. package/dist/responses/history.js +0 -16
  1963. package/dist/responses/history.js.map +0 -1
  1964. package/dist/responses/locate.d.ts +0 -13
  1965. package/dist/responses/locate.d.ts.map +0 -1
  1966. package/dist/responses/locate.js +0 -55
  1967. package/dist/responses/locate.js.map +0 -1
  1968. package/dist/responses/make.d.ts.map +0 -1
  1969. package/dist/responses/make.js.map +0 -1
  1970. package/dist/responses/outcome.d.ts.map +0 -1
  1971. package/dist/responses/outcome.js.map +0 -1
  1972. package/dist/responses/page.d.ts +0 -6
  1973. package/dist/responses/page.d.ts.map +0 -1
  1974. package/dist/responses/page.js +0 -22
  1975. package/dist/responses/page.js.map +0 -1
  1976. package/dist/responses/publish.d.ts +0 -4
  1977. package/dist/responses/publish.d.ts.map +0 -1
  1978. package/dist/responses/publish.js +0 -56
  1979. package/dist/responses/publish.js.map +0 -1
  1980. package/dist/responses/publishIn.d.ts.map +0 -1
  1981. package/dist/responses/publishIn.js +0 -69
  1982. package/dist/responses/publishIn.js.map +0 -1
  1983. package/dist/responses/read.d.ts +0 -36
  1984. package/dist/responses/read.d.ts.map +0 -1
  1985. package/dist/responses/read.js +0 -43
  1986. package/dist/responses/read.js.map +0 -1
  1987. package/dist/responses/records.d.ts +0 -12
  1988. package/dist/responses/records.d.ts.map +0 -1
  1989. package/dist/responses/records.js.map +0 -1
  1990. package/dist/responses/retry.d.ts +0 -34
  1991. package/dist/responses/retry.d.ts.map +0 -1
  1992. package/dist/responses/retry.js +0 -14
  1993. package/dist/responses/retry.js.map +0 -1
  1994. package/dist/responses/service.d.ts +0 -142
  1995. package/dist/responses/service.d.ts.map +0 -1
  1996. package/dist/responses/service.js +0 -95
  1997. package/dist/responses/service.js.map +0 -1
  1998. package/dist/responses/template.d.ts.map +0 -1
  1999. package/dist/responses/template.js +0 -58
  2000. package/dist/responses/template.js.map +0 -1
  2001. package/dist/responses/templateHtml.d.ts +0 -7
  2002. package/dist/responses/templateHtml.d.ts.map +0 -1
  2003. package/dist/responses/templateHtml.js +0 -18
  2004. package/dist/responses/templateHtml.js.map +0 -1
  2005. package/dist/responses/templateLinks.d.ts.map +0 -1
  2006. package/dist/responses/templateLinks.js.map +0 -1
  2007. package/dist/responses/templateNodes.d.ts.map +0 -1
  2008. package/dist/responses/templateNodes.js +0 -47
  2009. package/dist/responses/templateNodes.js.map +0 -1
  2010. package/dist/responses/validateSupersedes.d.ts +0 -5
  2011. package/dist/responses/validateSupersedes.d.ts.map +0 -1
  2012. package/dist/responses/validateSupersedes.js +0 -21
  2013. package/dist/responses/validateSupersedes.js.map +0 -1
  2014. package/dist/responses/validatedInput.d.ts.map +0 -1
  2015. package/dist/responses/validatedInput.js +0 -43
  2016. package/dist/responses/validatedInput.js.map +0 -1
  2017. package/dist/responses/waitFor.d.ts +0 -37
  2018. package/dist/responses/waitFor.d.ts.map +0 -1
  2019. package/dist/responses/waitFor.js +0 -47
  2020. package/dist/responses/waitFor.js.map +0 -1
  2021. package/dist/rpc/affected.d.ts +0 -4
  2022. package/dist/rpc/affected.d.ts.map +0 -1
  2023. package/dist/rpc/affected.js +0 -75
  2024. package/dist/rpc/affected.js.map +0 -1
  2025. package/dist/rpc/hints.d.ts +0 -17
  2026. package/dist/rpc/hints.d.ts.map +0 -1
  2027. package/dist/rpc/hints.js.map +0 -1
  2028. package/dist/rpc/server.d.ts +0 -16
  2029. package/dist/rpc/server.d.ts.map +0 -1
  2030. package/dist/rpc/server.js +0 -40
  2031. package/dist/rpc/server.js.map +0 -1
  2032. package/dist/search/attentionEntries.d.ts +0 -4
  2033. package/dist/search/attentionEntries.d.ts.map +0 -1
  2034. package/dist/search/attentionEntries.js.map +0 -1
  2035. package/dist/search/collector.d.ts.map +0 -1
  2036. package/dist/search/collector.js.map +0 -1
  2037. package/dist/search/entries.d.ts.map +0 -1
  2038. package/dist/search/entries.js +0 -44
  2039. package/dist/search/entries.js.map +0 -1
  2040. package/dist/search/linkCollector.d.ts.map +0 -1
  2041. package/dist/search/linkCollector.js.map +0 -1
  2042. package/dist/search/match.d.ts.map +0 -1
  2043. package/dist/search/match.js.map +0 -1
  2044. package/dist/search/metadataEntries.d.ts +0 -4
  2045. package/dist/search/metadataEntries.d.ts.map +0 -1
  2046. package/dist/search/metadataEntries.js +0 -42
  2047. package/dist/search/metadataEntries.js.map +0 -1
  2048. package/dist/search/snapshot.d.ts +0 -13
  2049. package/dist/search/snapshot.d.ts.map +0 -1
  2050. package/dist/search/snapshot.js +0 -49
  2051. package/dist/search/snapshot.js.map +0 -1
  2052. package/dist/serve-cli.d.ts.map +0 -1
  2053. package/dist/serve-cli.js +0 -20
  2054. package/dist/serve-cli.js.map +0 -1
  2055. package/dist/serve.d.ts +0 -9
  2056. package/dist/serve.d.ts.map +0 -1
  2057. package/dist/serve.js +0 -9
  2058. package/dist/serve.js.map +0 -1
  2059. package/dist/views/items.d.ts +0 -11
  2060. package/dist/views/items.d.ts.map +0 -1
  2061. package/dist/views/items.js.map +0 -1
  2062. package/dist/views/projection.d.ts +0 -15
  2063. package/dist/views/projection.d.ts.map +0 -1
  2064. package/dist/views/projection.js.map +0 -1
  2065. package/dist/views/savedScript.d.ts.map +0 -1
  2066. package/dist/views/savedScript.js.map +0 -1
  2067. package/dist/views/state.d.ts.map +0 -1
  2068. package/dist/views/state.js.map +0 -1
  2069. package/dist/views/tools.d.ts.map +0 -1
  2070. package/dist/views/tools.js +0 -11
  2071. package/dist/views/tools.js.map +0 -1
  2072. package/dist/views/workCards.d.ts +0 -4
  2073. package/dist/views/workCards.d.ts.map +0 -1
  2074. package/dist/views/workCards.js +0 -23
  2075. package/dist/views/workCards.js.map +0 -1
  2076. package/dist/views/workControls.d.ts.map +0 -1
  2077. package/dist/views/workControls.js +0 -32
  2078. package/dist/views/workControls.js.map +0 -1
  2079. package/dist/views/workDetail.d.ts +0 -13
  2080. package/dist/views/workDetail.d.ts.map +0 -1
  2081. package/dist/views/workDetail.js +0 -26
  2082. package/dist/views/workDetail.js.map +0 -1
  2083. package/dist/views/workHtml.d.ts +0 -15
  2084. package/dist/views/workHtml.d.ts.map +0 -1
  2085. package/dist/views/workHtml.js +0 -35
  2086. package/dist/views/workHtml.js.map +0 -1
  2087. package/dist/views/workStyle.d.ts.map +0 -1
  2088. package/dist/views/workStyle.js.map +0 -1
  2089. package/dist/views/workTable.d.ts +0 -4
  2090. package/dist/views/workTable.d.ts.map +0 -1
  2091. package/dist/views/workTable.js +0 -19
  2092. package/dist/views/workTable.js.map +0 -1
  2093. package/src/attention/overviewHtml.ts +0 -44
  2094. package/src/attention/requests.ts +0 -64
  2095. package/src/board.ts +0 -132
  2096. package/src/browser/client.ts +0 -87
  2097. package/src/browser/entry.ts +0 -11
  2098. package/src/browser/handoffs/fields.ts +0 -50
  2099. package/src/browser/handoffs/setup.ts +0 -113
  2100. package/src/browser/responses/drafts.ts +0 -82
  2101. package/src/browser/responses/preview.ts +0 -7
  2102. package/src/browser/responses/questionnaireControls.ts +0 -74
  2103. package/src/browser/responses/setup.ts +0 -132
  2104. package/src/browser/responses/submissionFields.ts +0 -15
  2105. package/src/browser/responses/submit.ts +0 -33
  2106. package/src/cli.ts +0 -16
  2107. package/src/files/changes.ts +0 -71
  2108. package/src/files/home.ts +0 -41
  2109. package/src/files/list.ts +0 -67
  2110. package/src/files/watchDirectories.ts +0 -61
  2111. package/src/handoffs/html.ts +0 -42
  2112. package/src/handoffs/page.ts +0 -45
  2113. package/src/handoffs/records.ts +0 -34
  2114. package/src/handoffs/service.ts +0 -103
  2115. package/src/handoffs/source.ts +0 -35
  2116. package/src/history/baseline.ts +0 -43
  2117. package/src/history/compare.ts +0 -54
  2118. package/src/history/documents.ts +0 -21
  2119. package/src/history/html.ts +0 -23
  2120. package/src/history/response.ts +0 -23
  2121. package/src/http/assets.ts +0 -70
  2122. package/src/http/attachment.ts +0 -46
  2123. package/src/http/events.ts +0 -29
  2124. package/src/http/history.ts +0 -39
  2125. package/src/http/identity.ts +0 -62
  2126. package/src/http/loopback.ts +0 -29
  2127. package/src/http/overview.ts +0 -19
  2128. package/src/http/page.ts +0 -95
  2129. package/src/http/respond.ts +0 -20
  2130. package/src/http/sameOrigin.ts +0 -14
  2131. package/src/http/search.ts +0 -13
  2132. package/src/http/start.ts +0 -16
  2133. package/src/http/work.ts +0 -41
  2134. package/src/metadata/backlinks.ts +0 -52
  2135. package/src/metadata/fields.ts +0 -26
  2136. package/src/metadata/model.ts +0 -27
  2137. package/src/metadata/parse.ts +0 -62
  2138. package/src/metadata/problems.ts +0 -70
  2139. package/src/page/attentionDetails.ts +0 -19
  2140. package/src/page/backlinksHtml.ts +0 -18
  2141. package/src/page/board.ts +0 -47
  2142. package/src/page/client.ts +0 -149
  2143. package/src/page/criteriaEvidence.ts +0 -36
  2144. package/src/page/diagrams.ts +0 -88
  2145. package/src/page/document.ts +0 -13
  2146. package/src/page/escape.ts +0 -3
  2147. package/src/page/libraryScript.ts +0 -72
  2148. package/src/page/metadata.ts +0 -46
  2149. package/src/page/metadataDetails.ts +0 -35
  2150. package/src/page/metadataLinks.ts +0 -35
  2151. package/src/page/nav.ts +0 -29
  2152. package/src/page/navigationScript.ts +0 -105
  2153. package/src/page/readingStateScript.ts +0 -61
  2154. package/src/page/readingStyles.ts +0 -28
  2155. package/src/page/readingTools.ts +0 -12
  2156. package/src/page/recordedEvidence.ts +0 -12
  2157. package/src/page/shell.ts +0 -40
  2158. package/src/page/startHtml.ts +0 -10
  2159. package/src/page/startTemplates.ts +0 -103
  2160. package/src/page/stateScript.ts +0 -54
  2161. package/src/page/style.ts +0 -101
  2162. package/src/page/swap.ts +0 -144
  2163. package/src/page/updated.ts +0 -1
  2164. package/src/page/workspaceStyles.ts +0 -79
  2165. package/src/render/board.ts +0 -85
  2166. package/src/render/highlighter.ts +0 -17
  2167. package/src/render/markdown.ts +0 -52
  2168. package/src/responses/agent-cli.ts +0 -35
  2169. package/src/responses/agent.ts +0 -59
  2170. package/src/responses/await.ts +0 -21
  2171. package/src/responses/composerHtml.ts +0 -28
  2172. package/src/responses/flags.ts +0 -22
  2173. package/src/responses/history.ts +0 -18
  2174. package/src/responses/locate.ts +0 -60
  2175. package/src/responses/page.ts +0 -30
  2176. package/src/responses/publish.ts +0 -53
  2177. package/src/responses/publishIn.ts +0 -71
  2178. package/src/responses/read.ts +0 -45
  2179. package/src/responses/records.ts +0 -58
  2180. package/src/responses/retry.ts +0 -23
  2181. package/src/responses/service.ts +0 -117
  2182. package/src/responses/template.ts +0 -72
  2183. package/src/responses/templateHtml.ts +0 -26
  2184. package/src/responses/templateNodes.ts +0 -55
  2185. package/src/responses/validateSupersedes.ts +0 -24
  2186. package/src/responses/validatedInput.ts +0 -45
  2187. package/src/responses/waitFor.ts +0 -58
  2188. package/src/rpc/affected.ts +0 -77
  2189. package/src/rpc/hints.ts +0 -34
  2190. package/src/rpc/server.ts +0 -67
  2191. package/src/search/attentionEntries.ts +0 -22
  2192. package/src/search/entries.ts +0 -58
  2193. package/src/search/metadataEntries.ts +0 -44
  2194. package/src/search/snapshot.ts +0 -59
  2195. package/src/serve-cli.ts +0 -37
  2196. package/src/serve.ts +0 -16
  2197. package/src/views/items.ts +0 -55
  2198. package/src/views/projection.ts +0 -59
  2199. package/src/views/tools.ts +0 -11
  2200. package/src/views/workCards.ts +0 -26
  2201. package/src/views/workControls.ts +0 -38
  2202. package/src/views/workDetail.ts +0 -28
  2203. package/src/views/workHtml.ts +0 -39
  2204. package/src/views/workTable.ts +0 -21
  2205. /package/dist/{browser → client}/handoffs/copy.d.ts +0 -0
  2206. /package/dist/{browser → client}/handoffs/copy.js +0 -0
  2207. /package/dist/{browser → client}/handoffs/setup.d.ts +0 -0
  2208. /package/dist/{history → client/history}/script.d.ts +0 -0
  2209. /package/dist/{history → client/history}/script.js +0 -0
  2210. /package/dist/{page → client/page}/ageScript.d.ts +0 -0
  2211. /package/dist/{page → client/page}/ageScript.js +0 -0
  2212. /package/dist/{page → client/page}/libraryScript.d.ts +0 -0
  2213. /package/dist/{page → client/page}/navigationScript.d.ts +0 -0
  2214. /package/dist/{page → client/page}/readingStateScript.d.ts +0 -0
  2215. /package/dist/{page → client/page}/searchResultsScript.d.ts +0 -0
  2216. /package/dist/{page → client/page}/searchResultsScript.js +0 -0
  2217. /package/dist/{page → client/page}/searchScript.d.ts +0 -0
  2218. /package/dist/{page → client/page}/searchScript.js +0 -0
  2219. /package/dist/{page → client/page}/stateScript.d.ts +0 -0
  2220. /package/dist/{page → client/page}/visualScript.d.ts +0 -0
  2221. /package/dist/{page → client/page}/visualScript.js +0 -0
  2222. /package/dist/{page → client/page}/visualViewport.d.ts +0 -0
  2223. /package/dist/{page → client/page}/visualViewport.js +0 -0
  2224. /package/dist/{browser → client}/responses/draftSession.d.ts +0 -0
  2225. /package/dist/{browser → client}/responses/draftSession.js +0 -0
  2226. /package/dist/{browser → client}/responses/setup.d.ts +0 -0
  2227. /package/dist/{browser → client}/session.d.ts +0 -0
  2228. /package/dist/{browser → client}/session.js +0 -0
  2229. /package/dist/{views → client/views}/savedScript.d.ts +0 -0
  2230. /package/dist/{views → client/views}/savedScript.js +0 -0
  2231. /package/dist/{attention → server/attention}/style.d.ts +0 -0
  2232. /package/dist/{attention → server/attention}/style.js +0 -0
  2233. /package/dist/{cli.d.ts → server/cli.d.ts} +0 -0
  2234. /package/dist/{files → server/files}/markdownPath.d.ts +0 -0
  2235. /package/dist/{files → server/files}/markdownPath.js +0 -0
  2236. /package/dist/{handoffs → server/handoffs}/records.js +0 -0
  2237. /package/dist/{history → server/history}/compare.js +0 -0
  2238. /package/dist/{history → server/history}/fields.d.ts +0 -0
  2239. /package/dist/{history → server/history}/fields.js +0 -0
  2240. /package/dist/{history → server/history}/limits.d.ts +0 -0
  2241. /package/dist/{history → server/history}/limits.js +0 -0
  2242. /package/dist/{http → server/http}/attachment.d.ts +0 -0
  2243. /package/dist/{metadata → server/metadata}/attentionProblems.d.ts +0 -0
  2244. /package/dist/{metadata → server/metadata}/attentionProblems.js +0 -0
  2245. /package/dist/{metadata → server/metadata}/links.d.ts +0 -0
  2246. /package/dist/{metadata → server/metadata}/links.js +0 -0
  2247. /package/dist/{metadata → server/metadata}/locations.d.ts +0 -0
  2248. /package/dist/{metadata → server/metadata}/locations.js +0 -0
  2249. /package/dist/{metadata → server/metadata}/model.js +0 -0
  2250. /package/dist/{metadata → server/metadata}/parse.js +0 -0
  2251. /package/dist/{metadata → server/metadata}/relationshipLabel.d.ts +0 -0
  2252. /package/dist/{metadata → server/metadata}/relationshipLabel.js +0 -0
  2253. /package/dist/{metadata → server/metadata}/sourceLinks.d.ts +0 -0
  2254. /package/dist/{metadata → server/metadata}/sourceLinks.js +0 -0
  2255. /package/dist/{page → server/page}/readingStyles.d.ts +0 -0
  2256. /package/dist/{page → server/page}/readingTools.d.ts +0 -0
  2257. /package/dist/{page → server/page}/searchDialog.d.ts +0 -0
  2258. /package/dist/{page → server/page}/searchDialog.js +0 -0
  2259. /package/dist/{page → server/page}/startHtml.d.ts +0 -0
  2260. /package/dist/{page → server/page}/style.d.ts +0 -0
  2261. /package/dist/{page → server/page}/visualDialog.d.ts +0 -0
  2262. /package/dist/{page → server/page}/visualDialog.js +0 -0
  2263. /package/dist/{responses → server/responses}/agent-cli.d.ts +0 -0
  2264. /package/dist/{responses → server/responses}/flags.d.ts +0 -0
  2265. /package/dist/{responses → server/responses}/make.d.ts +0 -0
  2266. /package/dist/{responses → server/responses}/make.js +0 -0
  2267. /package/dist/{responses → server/responses}/outcome.d.ts +0 -0
  2268. /package/dist/{responses → server/responses}/outcome.js +0 -0
  2269. /package/dist/{responses → server/responses}/publishIn.d.ts +0 -0
  2270. /package/dist/{responses → server/responses}/records.js +0 -0
  2271. /package/dist/{responses → server/responses}/template.d.ts +0 -0
  2272. /package/dist/{responses → server/responses}/templateLinks.d.ts +0 -0
  2273. /package/dist/{responses → server/responses}/templateLinks.js +0 -0
  2274. /package/dist/{responses → server/responses}/templateNodes.d.ts +0 -0
  2275. /package/dist/{responses → server/responses}/validatedInput.d.ts +0 -0
  2276. /package/dist/{rpc → server/rpc}/hints.js +0 -0
  2277. /package/dist/{search → server/search}/attentionEntries.js +0 -0
  2278. /package/dist/{search → server/search}/collector.d.ts +0 -0
  2279. /package/dist/{search → server/search}/collector.js +0 -0
  2280. /package/dist/{search → server/search}/entries.d.ts +0 -0
  2281. /package/dist/{search → server/search}/linkCollector.d.ts +0 -0
  2282. /package/dist/{search → server/search}/linkCollector.js +0 -0
  2283. /package/dist/{search → server/search}/match.d.ts +0 -0
  2284. /package/dist/{search → server/search}/match.js +0 -0
  2285. /package/dist/{serve-cli.d.ts → server/serve-cli.d.ts} +0 -0
  2286. /package/dist/{views → server/views}/items.js +0 -0
  2287. /package/dist/{views → server/views}/projection.js +0 -0
  2288. /package/dist/{views → server/views}/state.d.ts +0 -0
  2289. /package/dist/{views → server/views}/state.js +0 -0
  2290. /package/dist/{views → server/views}/tools.d.ts +0 -0
  2291. /package/dist/{views → server/views}/workControls.d.ts +0 -0
  2292. /package/dist/{views → server/views}/workStyle.d.ts +0 -0
  2293. /package/dist/{views → server/views}/workStyle.js +0 -0
  2294. /package/src/{browser → client}/handoffs/copy.ts +0 -0
  2295. /package/src/{history → client/history}/script.ts +0 -0
  2296. /package/src/{page → client/page}/ageScript.ts +0 -0
  2297. /package/src/{page → client/page}/searchResultsScript.ts +0 -0
  2298. /package/src/{page → client/page}/searchScript.ts +0 -0
  2299. /package/src/{page → client/page}/visualScript.ts +0 -0
  2300. /package/src/{page → client/page}/visualViewport.ts +0 -0
  2301. /package/src/{browser → client}/responses/draftSession.ts +0 -0
  2302. /package/src/{browser → client}/session.ts +0 -0
  2303. /package/src/{views → client/views}/savedScript.ts +0 -0
  2304. /package/src/{attention → server/attention}/style.ts +0 -0
  2305. /package/src/{files → server/files}/markdownPath.ts +0 -0
  2306. /package/src/{history → server/history}/fields.ts +0 -0
  2307. /package/src/{history → server/history}/limits.ts +0 -0
  2308. /package/src/{metadata → server/metadata}/attentionProblems.ts +0 -0
  2309. /package/src/{metadata → server/metadata}/links.ts +0 -0
  2310. /package/src/{metadata → server/metadata}/locations.ts +0 -0
  2311. /package/src/{metadata → server/metadata}/relationshipLabel.ts +0 -0
  2312. /package/src/{metadata → server/metadata}/sourceLinks.ts +0 -0
  2313. /package/src/{page → server/page}/searchDialog.ts +0 -0
  2314. /package/src/{page → server/page}/visualDialog.ts +0 -0
  2315. /package/src/{responses → server/responses}/make.ts +0 -0
  2316. /package/src/{responses → server/responses}/outcome.ts +0 -0
  2317. /package/src/{responses → server/responses}/templateLinks.ts +0 -0
  2318. /package/src/{search → server/search}/collector.ts +0 -0
  2319. /package/src/{search → server/search}/linkCollector.ts +0 -0
  2320. /package/src/{search → server/search}/match.ts +0 -0
  2321. /package/src/{views → server/views}/state.ts +0 -0
  2322. /package/src/{views → server/views}/workStyle.ts +0 -0
@@ -0,0 +1 @@
1
+ import{t as e}from"./javascript-DV2Xi2Rs.js";var t=Object.freeze(JSON.parse(`{"displayName":"CoffeeScript","name":"coffee","patterns":[{"include":"#jsx"},{"captures":{"1":{"name":"keyword.operator.new.coffee"},"2":{"name":"storage.type.class.coffee"},"3":{"name":"entity.name.type.instance.coffee"},"4":{"name":"entity.name.type.instance.coffee"}},"match":"(new)\\\\s+(?:(class)\\\\s+(\\\\w+(?:\\\\.\\\\w*)*)?|(\\\\w+(?:\\\\.\\\\w*)*))","name":"meta.class.instance.constructor.coffee"},{"begin":"'''","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coffee"}},"end":"'''","endCaptures":{"0":{"name":"punctuation.definition.string.end.coffee"}},"name":"string.quoted.single.heredoc.coffee","patterns":[{"captures":{"1":{"name":"punctuation.definition.escape.backslash.coffee"}},"match":"(\\\\\\\\).","name":"constant.character.escape.backslash.coffee"}]},{"begin":"\\"\\"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coffee"}},"end":"\\"\\"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coffee"}},"name":"string.quoted.double.heredoc.coffee","patterns":[{"captures":{"1":{"name":"punctuation.definition.escape.backslash.coffee"}},"match":"(\\\\\\\\).","name":"constant.character.escape.backslash.coffee"},{"include":"#interpolated_coffee"}]},{"captures":{"1":{"name":"punctuation.definition.string.begin.coffee"},"2":{"name":"source.js.embedded.coffee","patterns":[{"include":"source.js"}]},"3":{"name":"punctuation.definition.string.end.coffee"}},"match":"(\`)(.*)(\`)","name":"string.quoted.script.coffee"},{"begin":"(?<!#)###(?!#)","beginCaptures":{"0":{"name":"punctuation.definition.comment.coffee"}},"end":"###","endCaptures":{"0":{"name":"punctuation.definition.comment.coffee"}},"name":"comment.block.coffee","patterns":[{"match":"(?<=^|\\\\s)@\\\\w*(?=\\\\s)","name":"storage.type.annotation.coffee"}]},{"begin":"#","beginCaptures":{"0":{"name":"punctuation.definition.comment.coffee"}},"end":"$","name":"comment.line.number-sign.coffee"},{"begin":"///","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coffee"}},"end":"(///)[gimuy]*","endCaptures":{"1":{"name":"punctuation.definition.string.end.coffee"}},"name":"string.regexp.multiline.coffee","patterns":[{"include":"#heregexp"}]},{"begin":"(?<![$\\\\w])(/)(?=(?![*+/?])(.+)(/)[gimuy]*(?!\\\\s*[$(/\\\\w]))","beginCaptures":{"1":{"name":"punctuation.definition.string.begin.coffee"}},"end":"(/)[gimuy]*(?!\\\\s*[$(/\\\\w])","endCaptures":{"1":{"name":"punctuation.definition.string.end.coffee"}},"name":"string.regexp.coffee","patterns":[{"include":"source.js.regexp"}]},{"match":"\\\\b(?<![$.])(break|by|catch|continue|else|finally|for|in|of|if|return|switch|then|throw|try|unless|when|while|until|loop|do|export|import|default|from|as|yield|async|await|(?<=for)\\\\s+own)(?!\\\\s*:)\\\\b","name":"keyword.control.coffee"},{"match":"\\\\b(?<![$.])(delete|instanceof|new|typeof)(?!\\\\s*:)\\\\b","name":"keyword.operator.$1.coffee"},{"match":"\\\\b(?<![$.])(case|function|var|void|with|const|let|enum|native|__hasProp|__extends|__slice|__bind|__indexOf|implements|interface|package|private|protected|public|static)(?!\\\\s*:)\\\\b","name":"keyword.reserved.coffee"},{"begin":"(?<=\\\\s|^)((@)?[$A-Z_a-z][$\\\\w]*)\\\\s*([:=])\\\\s*(?=(\\\\([^()]*\\\\)\\\\s*)?[-=]>)","beginCaptures":{"1":{"name":"entity.name.function.coffee"},"2":{"name":"variable.other.readwrite.instance.coffee"},"3":{"name":"keyword.operator.assignment.coffee"}},"end":"[-=]>","endCaptures":{"0":{"name":"storage.type.function.coffee"}},"name":"meta.function.coffee","patterns":[{"include":"#function_params"}]},{"begin":"(?<=\\\\s|^)(?:((')([^']*?)('))|((\\")([^\\"]*?)(\\")))\\\\s*([:=])\\\\s*(?=(\\\\([^()]*\\\\)\\\\s*)?[-=]>)","beginCaptures":{"1":{"name":"string.quoted.single.coffee"},"2":{"name":"punctuation.definition.string.begin.coffee"},"3":{"name":"entity.name.function.coffee"},"4":{"name":"punctuation.definition.string.end.coffee"},"5":{"name":"string.quoted.double.coffee"},"6":{"name":"punctuation.definition.string.begin.coffee"},"7":{"name":"entity.name.function.coffee"},"8":{"name":"punctuation.definition.string.end.coffee"},"9":{"name":"keyword.operator.assignment.coffee"}},"end":"[-=]>","endCaptures":{"0":{"name":"storage.type.function.coffee"}},"name":"meta.function.coffee","patterns":[{"include":"#function_params"}]},{"begin":"(?=(\\\\([^()]*\\\\)\\\\s*)?[-=]>)","end":"[-=]>","endCaptures":{"0":{"name":"storage.type.function.coffee"}},"name":"meta.function.inline.coffee","patterns":[{"include":"#function_params"}]},{"begin":"(?<=\\\\s|^)(\\\\{)(?=[^\\"#']+?}[]}\\\\s]*=)","beginCaptures":{"1":{"name":"punctuation.definition.destructuring.begin.bracket.curly.coffee"}},"end":"}","endCaptures":{"0":{"name":"punctuation.definition.destructuring.end.bracket.curly.coffee"}},"name":"meta.variable.assignment.destructured.object.coffee","patterns":[{"include":"$self"},{"match":"[$A-Z_a-z]\\\\w*","name":"variable.assignment.coffee"}]},{"begin":"(?<=\\\\s|^)(\\\\[)(?=[^\\"#']+?][]}\\\\s]*=)","beginCaptures":{"1":{"name":"punctuation.definition.destructuring.begin.bracket.square.coffee"}},"end":"]","endCaptures":{"0":{"name":"punctuation.definition.destructuring.end.bracket.square.coffee"}},"name":"meta.variable.assignment.destructured.array.coffee","patterns":[{"include":"$self"},{"match":"[$A-Z_a-z]\\\\w*","name":"variable.assignment.coffee"}]},{"match":"\\\\b(?<!\\\\.|::)(true|on|yes)(?!\\\\s*[:=][^=])\\\\b","name":"constant.language.boolean.true.coffee"},{"match":"\\\\b(?<!\\\\.|::)(false|off|no)(?!\\\\s*[:=][^=])\\\\b","name":"constant.language.boolean.false.coffee"},{"match":"\\\\b(?<!\\\\.|::)null(?!\\\\s*[:=][^=])\\\\b","name":"constant.language.null.coffee"},{"match":"\\\\b(?<!\\\\.|::)extends(?!\\\\s*[:=])\\\\b","name":"variable.language.coffee"},{"match":"(?<!\\\\.)\\\\b(?<!\\\\$)(super|this|arguments)(?!\\\\s*[:=][^=]|\\\\$)\\\\b","name":"variable.language.$1.coffee"},{"captures":{"1":{"name":"storage.type.class.coffee"},"2":{"name":"keyword.control.inheritance.coffee"},"3":{"name":"entity.other.inherited-class.coffee"}},"match":"(?<=\\\\s|^|[(\\\\[])(class)\\\\s+(extends)\\\\s+(@?[$.A-Z_a-z][.\\\\w]*)","name":"meta.class.coffee"},{"captures":{"1":{"name":"storage.type.class.coffee"},"2":{"name":"entity.name.type.class.coffee"},"3":{"name":"keyword.control.inheritance.coffee"},"4":{"name":"entity.other.inherited-class.coffee"}},"match":"(?<=\\\\s|^|[(\\\\[])(class)\\\\b\\\\s+(@?[$A-Z_a-z][.\\\\w]*)?(?:\\\\s+(extends)\\\\s+(@?[$.A-Z_a-z][.\\\\w]*))?","name":"meta.class.coffee"},{"match":"\\\\b(debugger|\\\\\\\\)\\\\b","name":"keyword.other.coffee"},{"match":"\\\\b(Array|ArrayBuffer|Blob|Boolean|Date|document|Function|Int(8|16|32|64)Array|Math|Map|Number|Object|Proxy|RegExp|Set|String|WeakMap|window|Uint(8|16|32|64)Array|XMLHttpRequest)\\\\b","name":"support.class.coffee"},{"match":"\\\\b(console)\\\\b","name":"entity.name.type.object.coffee"},{"match":"((?<=console\\\\.)(debug|warn|info|log|error|time|timeEnd|assert))\\\\b","name":"support.function.console.coffee"},{"match":"((?<=\\\\.)(apply|call|concat|every|filter|forEach|from|hasOwnProperty|indexOf|isPrototypeOf|join|lastIndexOf|map|of|pop|propertyIsEnumerable|push|reduce(Right)?|reverse|shift|slice|some|sort|splice|to(Locale)?String|unshift|valueOf))\\\\b","name":"support.function.method.array.coffee"},{"match":"((?<=Array\\\\.)(isArray))\\\\b","name":"support.function.static.array.coffee"},{"match":"((?<=Object\\\\.)(create|definePropert(ies|y)|freeze|getOwnProperty(Descriptors?|Names)|getProperty(Descriptor|Names)|getPrototypeOf|is(Extensible|Frozen|Sealed)?|isnt|keys|preventExtensions|seal))\\\\b","name":"support.function.static.object.coffee"},{"match":"((?<=Math\\\\.)(abs|acosh??|asinh??|atan2??|atanh|ceil|cosh??|exp|expm1|floor|hypot|log|log10|log1p|log2|max|min|pow|random|round|sign|sinh??|sqrt|tanh??|trunc))\\\\b","name":"support.function.static.math.coffee"},{"match":"((?<=Number\\\\.)(is(Finite|Integer|NaN)|toInteger))\\\\b","name":"support.function.static.number.coffee"},{"match":"(?<!\\\\.)\\\\b(module|exports|__filename|__dirname|global|process)(?!\\\\s*:)\\\\b","name":"support.variable.coffee"},{"match":"\\\\b(Infinity|NaN|undefined)\\\\b","name":"constant.language.coffee"},{"include":"#operators"},{"include":"#method_calls"},{"include":"#function_calls"},{"include":"#numbers"},{"include":"#objects"},{"include":"#properties"},{"match":"::","name":"keyword.operator.prototype.coffee"},{"match":"(?<!\\\\$)\\\\b[0-9]+[$\\\\w]*","name":"invalid.illegal.identifier.coffee"},{"match":";","name":"punctuation.terminator.statement.coffee"},{"match":",","name":"punctuation.separator.delimiter.coffee"},{"begin":"\\\\{","beginCaptures":{"0":{"name":"meta.brace.curly.coffee"}},"end":"}","endCaptures":{"0":{"name":"meta.brace.curly.coffee"}},"patterns":[{"include":"$self"}]},{"begin":"\\\\[","beginCaptures":{"0":{"name":"punctuation.definition.array.begin.bracket.square.coffee"}},"end":"]","endCaptures":{"0":{"name":"punctuation.definition.array.end.bracket.square.coffee"}},"patterns":[{"match":"(?<!\\\\.)\\\\.{3}","name":"keyword.operator.slice.exclusive.coffee"},{"match":"(?<!\\\\.)\\\\.{2}","name":"keyword.operator.slice.inclusive.coffee"},{"include":"$self"}]},{"begin":"\\\\(","beginCaptures":{"0":{"name":"meta.brace.round.coffee"}},"end":"\\\\)","endCaptures":{"0":{"name":"meta.brace.round.coffee"}},"patterns":[{"include":"$self"}]},{"include":"#instance_variable"},{"include":"#single_quoted_string"},{"include":"#double_quoted_string"}],"repository":{"arguments":{"patterns":[{"begin":"\\\\(","beginCaptures":{"0":{"name":"punctuation.definition.arguments.begin.bracket.round.coffee"}},"end":"\\\\)","endCaptures":{"0":{"name":"punctuation.definition.arguments.end.bracket.round.coffee"}},"name":"meta.arguments.coffee","patterns":[{"include":"$self"}]},{"begin":"(?=(@|@?[$\\\\w]+|[-=]>|-\\\\d|[\\"'\\\\[{]))","end":"(?=\\\\s*(?<![$\\\\w])(of|in|then|is|isnt|and|or|for|else|when|if|unless|by|instanceof)(?![$\\\\w]))|(?=\\\\s*([]#)}]|$))","name":"meta.arguments.coffee","patterns":[{"include":"$self"}]}]},"double_quoted_string":{"patterns":[{"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coffee"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coffee"}},"name":"string.quoted.double.coffee","patterns":[{"captures":{"1":{"name":"punctuation.definition.escape.backslash.coffee"}},"match":"(\\\\\\\\)(x\\\\h{2}|[012][0-7]{0,2}|3[0-6][0-7]|37[0-7]?|[4-7][0-7]?|.)","name":"constant.character.escape.backslash.coffee"},{"include":"#interpolated_coffee"}]}]},"embedded_comment":{"patterns":[{"captures":{"1":{"name":"punctuation.definition.comment.coffee"}},"match":"(?<!\\\\\\\\)(#).*$\\\\n?","name":"comment.line.number-sign.coffee"}]},"function_calls":{"patterns":[{"begin":"(@)?([$\\\\w]+)(?=\\\\()","beginCaptures":{"1":{"name":"variable.other.readwrite.instance.coffee"},"2":{"patterns":[{"include":"#function_names"}]}},"end":"(?<=\\\\))","name":"meta.function-call.coffee","patterns":[{"include":"#arguments"}]},{"begin":"(@)?([$\\\\w]+)\\\\s*(?=\\\\s+(?!(?<![$\\\\w])(of|in|then|is|isnt|and|or|for|else|when|if|unless|by|instanceof)(?![$\\\\w]))(?=(@?[$\\\\w]+|[-=]>|-\\\\d|[\\"'\\\\[{])))","beginCaptures":{"1":{"name":"variable.other.readwrite.instance.coffee"},"2":{"patterns":[{"include":"#function_names"}]}},"end":"(?=\\\\s*(?<![$\\\\w])(of|in|then|is|isnt|and|or|for|else|when|if|unless|by|instanceof)(?![$\\\\w]))|(?=\\\\s*([]#)}]|$))","name":"meta.function-call.coffee","patterns":[{"include":"#arguments"}]}]},"function_names":{"patterns":[{"match":"\\\\b(isNaN|isFinite|eval|uneval|parseInt|parseFloat|decodeURI|decodeURIComponent|encodeURI|encodeURIComponent|escape|unescape|require|set(Interval|Timeout)|clear(Interval|Timeout))\\\\b","name":"support.function.coffee"},{"match":"[$A-Z_a-z][$\\\\w]*","name":"entity.name.function.coffee"},{"match":"\\\\d[$\\\\w]*","name":"invalid.illegal.identifier.coffee"}]},"function_params":{"patterns":[{"begin":"\\\\(","beginCaptures":{"0":{"name":"punctuation.definition.parameters.begin.bracket.round.coffee"}},"end":"\\\\)","endCaptures":{"0":{"name":"punctuation.definition.parameters.end.bracket.round.coffee"}},"name":"meta.parameters.coffee","patterns":[{"captures":{"1":{"name":"variable.parameter.function.coffee"},"2":{"name":"keyword.operator.splat.coffee"}},"match":"([$A-Z_a-z][$\\\\w]*)(\\\\.\\\\.\\\\.)?"},{"captures":{"1":{"name":"variable.parameter.function.readwrite.instance.coffee"},"2":{"name":"keyword.operator.splat.coffee"}},"match":"(@(?:[$A-Z_a-z][$\\\\w]*)?)(\\\\.\\\\.\\\\.)?"},{"include":"$self"}]}]},"heregexp":{"patterns":[{"match":"\\\\\\\\[Bb]|[$^]","name":"keyword.control.anchor.regexp"},{"match":"\\\\\\\\[1-9]\\\\d*","name":"keyword.other.back-reference.regexp"},{"match":"[*+?]|\\\\{(\\\\d+,\\\\d+|\\\\d+,|,\\\\d+|\\\\d+)}\\\\??","name":"keyword.operator.quantifier.regexp"},{"match":"\\\\|","name":"keyword.operator.or.regexp"},{"begin":"(\\\\()((\\\\?=)|(\\\\?!))","beginCaptures":{"1":{"name":"punctuation.definition.group.regexp"},"3":{"name":"meta.assertion.look-ahead.regexp"},"4":{"name":"meta.assertion.negative-look-ahead.regexp"}},"end":"(\\\\))","endCaptures":{"1":{"name":"punctuation.definition.group.regexp"}},"name":"meta.group.assertion.regexp","patterns":[{"include":"#heregexp"}]},{"begin":"\\\\((\\\\?:)?","beginCaptures":{"0":{"name":"punctuation.definition.group.regexp"}},"end":"\\\\)","endCaptures":{"0":{"name":"punctuation.definition.group.regexp"}},"name":"meta.group.regexp","patterns":[{"include":"#heregexp"}]},{"begin":"(\\\\[)(\\\\^)?","beginCaptures":{"1":{"name":"punctuation.definition.character-class.regexp"},"2":{"name":"keyword.operator.negation.regexp"}},"end":"(])","endCaptures":{"1":{"name":"punctuation.definition.character-class.regexp"}},"name":"constant.other.character-class.set.regexp","patterns":[{"captures":{"1":{"name":"constant.character.numeric.regexp"},"2":{"name":"constant.character.control.regexp"},"3":{"name":"constant.character.escape.backslash.regexp"},"4":{"name":"constant.character.numeric.regexp"},"5":{"name":"constant.character.control.regexp"},"6":{"name":"constant.character.escape.backslash.regexp"}},"match":"(?:.|(\\\\\\\\(?:[0-7]{3}|x\\\\h{2}|u\\\\h{4}))|(\\\\\\\\c[A-Z])|(\\\\\\\\.))-(?:[^]\\\\\\\\]|(\\\\\\\\(?:[0-7]{3}|x\\\\h{2}|u\\\\h{4}))|(\\\\\\\\c[A-Z])|(\\\\\\\\.))","name":"constant.other.character-class.range.regexp"},{"include":"#regex-character-class"}]},{"include":"#regex-character-class"},{"include":"#interpolated_coffee"},{"include":"#embedded_comment"}]},"instance_variable":{"patterns":[{"match":"(@)([$A-Z_a-z]\\\\w*)?","name":"variable.other.readwrite.instance.coffee"}]},"interpolated_coffee":{"patterns":[{"begin":"#\\\\{","captures":{"0":{"name":"punctuation.section.embedded.coffee"}},"end":"}","name":"source.coffee.embedded.source","patterns":[{"include":"$self"}]}]},"jsx":{"patterns":[{"include":"#jsx-tag"},{"include":"#jsx-end-tag"}]},"jsx-attribute":{"patterns":[{"captures":{"1":{"name":"entity.other.attribute-name.coffee"},"2":{"name":"keyword.operator.assignment.coffee"}},"match":"(?:^|\\\\s+)([-.\\\\w]+)\\\\s*(=)"},{"include":"#double_quoted_string"},{"include":"#single_quoted_string"},{"include":"#jsx-expression"}]},"jsx-end-tag":{"patterns":[{"begin":"(</)([-.\\\\w]+)","beginCaptures":{"1":{"name":"punctuation.definition.tag.coffee"},"2":{"name":"entity.name.tag.coffee"}},"end":"(/?>)","name":"meta.tag.coffee"}]},"jsx-expression":{"begin":"\\\\{","beginCaptures":{"0":{"name":"meta.brace.curly.coffee"}},"end":"}","endCaptures":{"0":{"name":"meta.brace.curly.coffee"}},"patterns":[{"include":"#double_quoted_string"},{"include":"$self"}]},"jsx-tag":{"patterns":[{"begin":"(<)([-.\\\\w]+)","beginCaptures":{"1":{"name":"punctuation.definition.tag.coffee"},"2":{"name":"entity.name.tag.coffee"}},"end":"(/?>)","name":"meta.tag.coffee","patterns":[{"include":"#jsx-attribute"}]}]},"method_calls":{"patterns":[{"begin":"(?:(\\\\.)|(::))\\\\s*([$\\\\w]+)\\\\s*(?=\\\\()","beginCaptures":{"1":{"name":"punctuation.separator.method.period.coffee"},"2":{"name":"keyword.operator.prototype.coffee"},"3":{"patterns":[{"include":"#method_names"}]}},"end":"(?<=\\\\))","name":"meta.method-call.coffee","patterns":[{"include":"#arguments"}]},{"begin":"(?:(\\\\.)|(::))\\\\s*([$\\\\w]+)\\\\s*(?=\\\\s+(?!(?<![$\\\\w])(of|in|then|is|isnt|and|or|for|else|when|if|unless|by|instanceof)(?![$\\\\w]))(?=(@|@?[$\\\\w]+|[-=]>|-\\\\d|[\\"'\\\\[{])))","beginCaptures":{"1":{"name":"punctuation.separator.method.period.coffee"},"2":{"name":"keyword.operator.prototype.coffee"},"3":{"patterns":[{"include":"#method_names"}]}},"end":"(?=\\\\s*(?<![$\\\\w])(of|in|then|is|isnt|and|or|for|else|when|if|unless|by|instanceof)(?![$\\\\w]))|(?=\\\\s*([]#)}]|$))","name":"meta.method-call.coffee","patterns":[{"include":"#arguments"}]}]},"method_names":{"patterns":[{"match":"\\\\bon(Rowsinserted|Rowsdelete|Rowenter|Rowexit|Resize|Resizestart|Resizeend|Reset|Readystatechange|Mouseout|Mouseover|Mousedown|Mouseup|Mousemove|Before(cut|deactivate|unload|update|paste|print|editfocus|activate)|Blur|Scrolltop|Submit|Select|Selectstart|Selectionchange|Hover|Help|Change|Contextmenu|Controlselect|Cut|Cellchange|Clock|Close|Deactivate|Datasetchanged|Datasetcomplete|Dataavailable|Drop|Drag|Dragstart|Dragover|Dragdrop|Dragenter|Dragend|Dragleave|Dblclick|Unload|Paste|Propertychange|Error|Errorupdate|Keydown|Keyup|Keypress|Focus|Load|Activate|Afterupdate|Afterprint|Abort)\\\\b","name":"support.function.event-handler.coffee"},{"match":"\\\\b(shift|showModelessDialog|showModalDialog|showHelp|scrollX??|scrollByPages|scrollByLines|scrollY|scrollTo|stop|strike|sizeToContent|sidebar|signText|sort|sup|sub|substr|substring|splice|split|send|set(Milliseconds|Seconds|Minutes|Hours|Month|Year|FullYear|Date|UTC(Milliseconds|Seconds|Minutes|Hours|Month|FullYear|Date)|Time|Hotkeys|Cursor|ZOptions|Active|Resizable|RequestHeader)|search|slice|savePreferences|small|home|handleEvent|navigate|char|charCodeAt|charAt|concat|contextual|confirm|compile|clear|captureEvents|call|createStyleSheet|createPopup|createEventObject|to(GMTString|UTCString|String|Source|UpperCase|LowerCase|LocaleString)|test|taint|taintEnabled|indexOf|italics|disableExternalCapture|dump|detachEvent|unshift|untaint|unwatch|updateCommands|join|javaEnabled|pop|push|plugins.refresh|paddings|parse|print|prompt|preference|enableExternalCapture|exec|execScript|valueOf|UTC|find|file|fileModifiedDate|fileSize|fileCreatedDate|fileUpdatedDate|fixed|fontsize|fontcolor|forward|fromCharCode|watch|link|load|lastIndexOf|anchor|attachEvent|atob|apply|alert|abort|routeEvents|resize|resizeBy|resizeTo|recalc|returnValue|replace|reverse|reload|releaseCapture|releaseEvents|go|get(Milliseconds|Seconds|Minutes|Hours|Month|Day|Year|FullYear|Time|Date|TimezoneOffset|UTC(Milliseconds|Seconds|Minutes|Hours|Day|Month|FullYear|Date)|Attention|Selection|ResponseHeader|AllResponseHeaders)|moveBy|moveBelow|moveTo|moveToAbsolute|moveAbove|mergeAttributes|match|margins|btoa|big|bold|borderWidths|blink|back)\\\\b","name":"support.function.coffee"},{"match":"\\\\b(acceptNode|add|addEventListener|addTextTrack|adoptNode|after|animate|append|appendChild|appendData|before|blur|canPlayType|captureStream|caretPositionFromPoint|caretRangeFromPoint|checkValidity|clear|click|cloneContents|cloneNode|cloneRange|close|closest|collapse|compareBoundaryPoints|compareDocumentPosition|comparePoint|contains|convertPointFromNode|convertQuadFromNode|convertRectFromNode|createAttribute|createAttributeNS|createCaption|createCDATASection|createComment|createContextualFragment|createDocument|createDocumentFragment|createDocumentType|createElement|createElementNS|createEntityReference|createEvent|createExpression|createHTMLDocument|createNodeIterator|createNSResolver|createProcessingInstruction|createRange|createShadowRoot|createTBody|createTextNode|createTFoot|createTHead|createTreeWalker|delete|deleteCaption|deleteCell|deleteContents|deleteData|deleteRow|deleteTFoot|deleteTHead|detach|disconnect|dispatchEvent|elementFromPoint|elementsFromPoint|enableStyleSheetsForSet|entries|evaluate|execCommand|exitFullscreen|exitPointerLock|expand|extractContents|fastSeek|firstChild|focus|forEach|get|getAll|getAnimations|getAttribute|getAttributeNames|getAttributeNode|getAttributeNodeNS|getAttributeNS|getBoundingClientRect|getBoxQuads|getClientRects|getContext|getDestinationInsertionPoints|getElementById|getElementsByClassName|getElementsByName|getElementsByTagName|getElementsByTagNameNS|getItem|getNamedItem|getSelection|getStartDate|getVideoPlaybackQuality|has|hasAttribute|hasAttributeNS|hasAttributes|hasChildNodes|hasFeature|hasFocus|importNode|initEvent|insertAdjacentElement|insertAdjacentHTML|insertAdjacentText|insertBefore|insertCell|insertData|insertNode|insertRow|intersectsNode|isDefaultNamespace|isEqualNode|isPointInRange|isSameNode|item|keys??|lastChild|load|lookupNamespaceURI|lookupPrefix|matches|move|moveAttribute|moveAttributeNode|moveChild|moveNamedItem|namedItem|nextNode|nextSibling|normalize|observe|open|parentNode|pause|play|postMessage|prepend|preventDefault|previousNode|previousSibling|probablySupportsContext|queryCommandEnabled|queryCommandIndeterm|queryCommandState|queryCommandSupported|queryCommandValue|querySelector|querySelectorAll|registerContentHandler|registerElement|registerProtocolHandler|releaseCapture|releaseEvents|remove|removeAttribute|removeAttributeNode|removeAttributeNS|removeChild|removeEventListener|removeItem|replace|replaceChild|replaceData|replaceWith|reportValidity|requestFullscreen|requestPointerLock|reset|scroll|scrollBy|scrollIntoView|scrollTo|seekToNextFrame|select|selectNode|selectNodeContents|set|setAttribute|setAttributeNode|setAttributeNodeNS|setAttributeNS|setCapture|setCustomValidity|setEnd|setEndAfter|setEndBefore|setItem|setNamedItem|setRangeText|setSelectionRange|setSinkId|setStart|setStartAfter|setStartBefore|slice|splitText|stepDown|stepUp|stopImmediatePropagation|stopPropagation|submit|substringData|supports|surroundContents|takeRecords|terminate|toBlob|toDataURL|toggle|toString|values|write|writeln)\\\\b","name":"support.function.dom.coffee"},{"match":"[$A-Z_a-z][$\\\\w]*","name":"entity.name.function.coffee"},{"match":"\\\\d[$\\\\w]*","name":"invalid.illegal.identifier.coffee"}]},"numbers":{"patterns":[{"match":"\\\\b(?<!\\\\$)0([Xx])\\\\h+\\\\b(?!\\\\$)","name":"constant.numeric.hex.coffee"},{"match":"\\\\b(?<!\\\\$)0([Bb])[01]+\\\\b(?!\\\\$)","name":"constant.numeric.binary.coffee"},{"match":"\\\\b(?<!\\\\$)0([Oo])?[0-7]+\\\\b(?!\\\\$)","name":"constant.numeric.octal.coffee"},{"captures":{"0":{"name":"constant.numeric.decimal.coffee"},"1":{"name":"punctuation.separator.decimal.period.coffee"},"2":{"name":"punctuation.separator.decimal.period.coffee"},"3":{"name":"punctuation.separator.decimal.period.coffee"},"4":{"name":"punctuation.separator.decimal.period.coffee"},"5":{"name":"punctuation.separator.decimal.period.coffee"},"6":{"name":"punctuation.separator.decimal.period.coffee"}},"match":"(?<!\\\\$)(?:\\\\b[0-9]+(\\\\.)[0-9]+[Ee][-+]?[0-9]+\\\\b|\\\\b[0-9]+(\\\\.)[Ee][-+]?[0-9]+\\\\b|\\\\B(\\\\.)[0-9]+[Ee][-+]?[0-9]+\\\\b|\\\\b[0-9]+[Ee][-+]?[0-9]+\\\\b|\\\\b[0-9]+(\\\\.)[0-9]+\\\\b|\\\\b[0-9]+(?=\\\\.{2,3})|\\\\b[0-9]+(\\\\.)\\\\B|\\\\B(\\\\.)[0-9]+\\\\b|\\\\b[0-9]+\\\\b(?!\\\\.))(?!\\\\$)"}]},"objects":{"patterns":[{"match":"[A-Z][$0-9A-Z_]*(?=\\\\s*\\\\??(\\\\.\\\\s*[$A-Z_a-z]\\\\w*|::))","name":"constant.other.object.coffee"},{"match":"[$A-Z_a-z][$\\\\w]*(?=\\\\s*\\\\??(\\\\.\\\\s*[$A-Z_a-z]\\\\w*|::))","name":"variable.other.object.coffee"}]},"operators":{"patterns":[{"captures":{"1":{"name":"variable.assignment.coffee"},"2":{"name":"keyword.operator.assignment.compound.coffee"}},"match":"(?:([$A-Z_a-z][$\\\\w]*)?\\\\s+|(?<![$\\\\w]))(and=|or=)"},{"captures":{"1":{"name":"variable.assignment.coffee"},"2":{"name":"keyword.operator.assignment.compound.coffee"}},"match":"([$A-Z_a-z][$\\\\w]*)?\\\\s*((?:[-%*+]|&&|\\\\|\\\\||\\\\?|(?<!\\\\()/)=)"},{"captures":{"1":{"name":"variable.assignment.coffee"},"2":{"name":"keyword.operator.assignment.compound.bitwise.coffee"}},"match":"([$A-Z_a-z][$\\\\w]*)?\\\\s*((?:[\\\\&^]|<<|>>>??|\\\\|)=)"},{"match":"<<|>>>?","name":"keyword.operator.bitwise.shift.coffee"},{"match":"!=|<=|>=|==|[<>]","name":"keyword.operator.comparison.coffee"},{"match":"&&|!|\\\\|\\\\|","name":"keyword.operator.logical.coffee"},{"match":"[\\\\&^|~]","name":"keyword.operator.bitwise.coffee"},{"captures":{"1":{"name":"variable.assignment.coffee"},"2":{"name":"keyword.operator.assignment.coffee"}},"match":"([$A-Z_a-z][$\\\\w]*)?\\\\s*(=|:(?!:))(?![=>])"},{"match":"--","name":"keyword.operator.decrement.coffee"},{"match":"\\\\+\\\\+","name":"keyword.operator.increment.coffee"},{"match":"\\\\.\\\\.\\\\.","name":"keyword.operator.splat.coffee"},{"match":"\\\\?","name":"keyword.operator.existential.coffee"},{"match":"[-%*+/]","name":"keyword.operator.coffee"},{"captures":{"1":{"name":"keyword.operator.logical.coffee"},"2":{"name":"keyword.operator.comparison.coffee"}},"match":"\\\\b(?<![$.])(?:(and|or|not)|(is(?:|nt)))(?!\\\\s*:)\\\\b"}]},"properties":{"patterns":[{"captures":{"1":{"name":"punctuation.separator.property.period.coffee"},"2":{"name":"keyword.operator.prototype.coffee"},"3":{"name":"constant.other.object.property.coffee"}},"match":"(?:(\\\\.)|(::))\\\\s*([A-Z][$0-9A-Z_]*\\\\b\\\\$*)(?=\\\\s*\\\\??(\\\\.\\\\s*[$A-Z_a-z]\\\\w*|::))"},{"captures":{"1":{"name":"punctuation.separator.property.period.coffee"},"2":{"name":"keyword.operator.prototype.coffee"},"3":{"name":"variable.other.object.property.coffee"}},"match":"(?:(\\\\.)|(::))\\\\s*(\\\\$*[$A-Z_a-z][$\\\\w]*)(?=\\\\s*\\\\??(\\\\.\\\\s*[$A-Z_a-z]\\\\w*|::))"},{"captures":{"1":{"name":"punctuation.separator.property.period.coffee"},"2":{"name":"keyword.operator.prototype.coffee"},"3":{"name":"constant.other.property.coffee"}},"match":"(?:(\\\\.)|(::))\\\\s*([A-Z][$0-9A-Z_]*\\\\b\\\\$*)"},{"captures":{"1":{"name":"punctuation.separator.property.period.coffee"},"2":{"name":"keyword.operator.prototype.coffee"},"3":{"name":"variable.other.property.coffee"}},"match":"(?:(\\\\.)|(::))\\\\s*(\\\\$*[$A-Z_a-z][$\\\\w]*)"},{"captures":{"1":{"name":"punctuation.separator.property.period.coffee"},"2":{"name":"keyword.operator.prototype.coffee"},"3":{"name":"invalid.illegal.identifier.coffee"}},"match":"(?:(\\\\.)|(::))\\\\s*([0-9][$\\\\w]*)"}]},"regex-character-class":{"patterns":[{"match":"\\\\\\\\[DSWdsw]|\\\\.","name":"constant.character.character-class.regexp"},{"match":"\\\\\\\\([0-7]{3}|x\\\\h{2}|u\\\\h{4})","name":"constant.character.numeric.regexp"},{"match":"\\\\\\\\c[A-Z]","name":"constant.character.control.regexp"},{"match":"\\\\\\\\.","name":"constant.character.escape.backslash.regexp"}]},"single_quoted_string":{"patterns":[{"begin":"'","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coffee"}},"end":"'","endCaptures":{"0":{"name":"punctuation.definition.string.end.coffee"}},"name":"string.quoted.single.coffee","patterns":[{"captures":{"1":{"name":"punctuation.definition.escape.backslash.coffee"}},"match":"(\\\\\\\\)(x\\\\h{2}|[012][0-7]{0,2}|3[0-6][0-7]?|37[0-7]?|[4-7][0-7]?|.)","name":"constant.character.escape.backslash.coffee"}]}]}},"scopeName":"source.coffee","embeddedLangs":["javascript"],"aliases":["coffeescript"]}`)),n=[...e,t];export{n as default};
@@ -0,0 +1 @@
1
+ var e=[Object.freeze(JSON.parse(`{"displayName":"Common Lisp","fileTypes":["lisp","lsp","l","cl","asd","asdf"],"foldingStartMarker":"\\\\(","foldingStopMarker":"\\\\)","name":"common-lisp","patterns":[{"include":"#comment"},{"include":"#block-comment"},{"include":"#string"},{"include":"#escape"},{"include":"#constant"},{"include":"#lambda-list"},{"include":"#function"},{"include":"#style-guide"},{"include":"#def-name"},{"include":"#macro"},{"include":"#symbol"},{"include":"#special-operator"},{"include":"#declaration"},{"include":"#type"},{"include":"#class"},{"include":"#condition-type"},{"include":"#package"},{"include":"#variable"},{"include":"#punctuation"}],"repository":{"block-comment":{"begin":"#\\\\|","contentName":"comment.block.commonlisp","end":"\\\\|#","name":"comment","patterns":[{"include":"#block-comment","name":"comment"}]},"class":{"match":"(?i)(?<=^|[(\\\\s])(?:two-way-stream|synonym-stream|symbol|structure-object|structure-class|string-stream|stream|standard-object|standard-method|standard-generic-function|standard-class|sequence|restart|real|readtable|ratio|random-state|package|number|method|integer|hash-table|generic-function|file-stream|echo-stream|concatenated-stream|class|built-in-class|broadcast-stream|bit-vector|array)(?=([()\\\\s]))","name":"support.class.commonlisp"},"comment":{"begin":"(^[\\\\t ]+)?(?=;)","beginCaptures":{"1":{"name":"punctuation.whitespace.comment.leading.commonlisp"}},"end":"(?!\\\\G)","patterns":[{"begin":";","beginCaptures":{"0":{"name":"punctuation.definition.comment.commonlisp"}},"end":"\\\\n","name":"comment.line.semicolon.commonlisp"}]},"condition-type":{"match":"(?i)(?<=^|[(\\\\s])(?:warning|undefined-function|unbound-variable|unbound-slot|type-error|style-warning|stream-error|storage-condition|simple-warning|simple-type-error|simple-error|simple-condition|serious-condition|reader-error|program-error|print-not-readable|parse-error|package-error|floating-point-underflow|floating-point-overflow|floating-point-invalid-operation|floating-point-inexact|file-error|error|end-of-file|division-by-zero|control-error|condition|cell-error|arithmetic-error)(?=([()\\\\s]))","name":"support.type.exception.commonlisp"},"constant":{"patterns":[{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(?:t|single-float-negative-epsilon|single-float-epsilon|short-float-negative-epsilon|short-float-epsilon|pi|nil|multiple-values-limit|most-positive-single-float|most-positive-short-float|most-positive-long-float|most-positive-fixnum|most-positive-double-float|most-negative-single-float|most-negative-short-float|most-negative-long-float|most-negative-fixnum|most-negative-double-float|long-float-negative-epsilon|long-float-epsilon|least-positive-single-float|least-positive-short-float|least-positive-normalized-single-float|least-positive-normalized-short-float|least-positive-normalized-long-float|least-positive-normalized-double-float|least-positive-long-float|least-positive-double-float|least-negative-single-float|least-negative-short-float|least-negative-normalized-single-float|least-negative-normalized-short-float|least-negative-normalized-long-float|least-negative-normalized-double-float|least-negative-long-float|least-negative-double-float|lambda-parameters-limit|lambda-list-keywords|internal-time-units-per-second|double-float-negative-epsilon|double-float-epsilon|char-code-limit|call-arguments-limit|boole-xor|boole-set|boole-orc2|boole-orc1|boole-nor|boole-nand|boole-ior|boole-eqv|boole-clr|boole-c2|boole-c1|boole-andc2|boole-andc1|boole-and|boole-2|boole-1|array-total-size-limit|array-rank-limit|array-dimension-limit)(?=([()\\\\s]))","name":"constant.language.commonlisp"},{"match":"(?<=^|[(\\\\s]|,@|,\\\\.?)([-+]?[0-9]+(?:/[0-9]+)*|[-+]?[0-9]*\\\\.?[0-9]+([Ee][-+]?[0-9]+)?|(#[Bb])[-+/01]+|(#[Oo])[-+/-7]+|(#[Xx])[-+/\\\\h]+|(#[0-9]+[Rr]?)[-+/-9A-Za-z]+)(?=([)\\\\s]))","name":"constant.numeric.commonlisp"},{"match":"(?i)(?<=\\\\s)(\\\\.)(?=\\\\s)","name":"variable.other.constant.dot.commonlisp"},{"match":"(?<=^|[(\\\\s]|,@|,\\\\.?)([-+]?[0-9]*\\\\.[0-9]*(([DEFLSdefls])[-+]?[0-9]+)?|[-+]?[0-9]+(\\\\.[0-9]*)?([DEFLSdefls])[-+]?[0-9]+)(?=([)\\\\s]))","name":"constant.numeric.commonlisp"}]},"declaration":{"match":"(?i)(?<=^|[(\\\\s])(?:type|speed|special|space|safety|optimize|notinline|inline|ignore|ignorable|ftype|dynamic-extent|declaration|debug|compilation-speed)(?=([()\\\\s]))","name":"storage.type.function.declaration.commonlisp"},"def-name":{"patterns":[{"captures":{"1":{"name":"storage.type.function.defname.commonlisp"},"3":{"name":"storage.type.function.defname.commonlisp"},"4":{"name":"variable.other.constant.defname.commonlisp"},"6":{"patterns":[{"include":"#package"},{"match":"\\\\S+?","name":"entity.name.function.commonlisp"}]},"7":{"name":"variable.other.constant.defname.commonlisp"},"9":{"patterns":[{"include":"#package"},{"match":"\\\\S+?","name":"entity.name.function.commonlisp"}]}},"match":"(?i)(?<=^|[(\\\\s])(def(?:un|setf|method|macro|ine-symbol-macro|ine-setf-expander|ine-modify-macro|ine-method-combination|ine-compiler-macro|generic))\\\\s+(\\\\(\\\\s*([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+)\\\\s*((,(?:@|\\\\.?))?)([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)|((,(?:@|\\\\.?))?)([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?))(?=([()\\\\s]))"},{"captures":{"1":{"name":"storage.type.function.defname.commonlisp"},"2":{"name":"entity.name.type.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s])(def(?:type|package|ine-condition|class))\\\\s+([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)(?=([()\\\\s]))"},{"captures":{"1":{"name":"storage.type.function.defname.commonlisp"},"2":{"patterns":[{"include":"#package"},{"match":"\\\\S+?","name":"variable.other.constant.defname.commonlisp"}]}},"match":"(?i)(?<=^|[(\\\\s])(defconstant)\\\\s+([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)(?=([()\\\\s]))"},{"captures":{"1":{"name":"storage.type.function.defname.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s])(def(?:var|parameter))\\\\s+(?=([()\\\\s]))"},{"captures":{"1":{"name":"storage.type.function.defname.commonlisp"},"2":{"name":"entity.name.type.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s])(defstruct)\\\\s+\\\\(?\\\\s*([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)(?=([()\\\\s]))"},{"captures":{"1":{"name":"keyword.control.commonlisp"},"2":{"patterns":[{"include":"#package"},{"match":"\\\\S+?","name":"entity.name.function.commonlisp"}]}},"match":"(?i)(?<=^|[(\\\\s])(macrolet|labels|flet)\\\\s+\\\\(\\\\s*\\\\(\\\\s*([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)(?=([()\\\\s]))"}]},"escape":{"match":"(?i)(?<=^|[(\\\\s])#\\\\\\\\\\\\S+?(?=([()\\\\s]))","name":"constant.character.escape.commonlisp"},"function":{"patterns":[{"match":"(?i)(?<=^|[(\\\\s]|#')(?:values|third|tenth|symbol-value|symbol-plist|symbol-function|svref|subseq|sixth|seventh|second|schar|sbit|row-major-aref|rest|readtable-case|nth|ninth|mask-field|macro-function|logical-pathname-translations|ldb|gethash|getf?|fourth|first|find-class|fill-pointer|fifth|fdefinition|elt|eighth|compiler-macro-function|char|cdr|cddr|cdddr|cddddr|cdddar|cddar|cddadr|cddaar|cdar|cdadr|cdaddr|cdadar|cdaar|cdaadr|cdaaar|car|cadr|caddr|cadddr|caddar|cadar|cadadr|cadaar|caar|caadr|caaddr|caadar|caaar|caaadr|caaaar|bit|aref)(?=([()\\\\s]))","name":"support.function.accessor.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|#')(?:yes-or-no-p|y-or-n-p|write-sequence|write-char|write-byte|warn|vector-pop|use-value|use-package|unuse-package|union|unintern|unexport|terpri|tailp|substitute-if-not|substitute-if|substitute|subst-if-not|subst-if|subst|sublis|string-upcase|string-downcase|string-capitalize|store-value|sleep|signal|shadowing-import|shadow|set-syntax-from-char|set-macro-character|set-exclusive-or|set-dispatch-macro-character|set-difference|set|rplacd|rplaca|room|reverse|revappend|require|replace|remprop|remove-if-not|remove-if|remove-duplicates|remove|remhash|read-sequence|read-byte|random|provide|pprint-tabular|pprint-newline|pprint-linear|pprint-fill|nunion|nsubstitute-if-not|nsubstitute-if|nsubstitute|nsubst-if-not|nsubst-if|nsubst|nsublis|nstring-upcase|nstring-downcase|nstring-capitalize|nset-exclusive-or|nset-difference|nreverse|nreconc|nintersection|nconc|muffle-warning|method-combination-error|maphash|makunbound|ldiff|invoke-restart-interactively|invoke-restart|invoke-debugger|invalid-method-error|intersection|inspect|import|get-output-stream-string|get-macro-character|get-dispatch-macro-character|gentemp|gensym|fresh-line|fill|file-position|export|describe|delete-if-not|delete-if|delete-duplicates|delete|continue|clrhash|close|clear-input|break|abort)(?=([()\\\\s]))","name":"support.function.f.sideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|#')(?:zerop|write-to-string|write-string|write-line|write|wild-pathname-p|vectorp|vector-push-extend|vector-push|vector|values-list|user-homedir-pathname|upper-case-p|upgraded-complex-part-type|upgraded-array-element-type|unread-char|unbound-slot-instance|typep|type-of|type-error-expected-type|type-error-datum|two-way-stream-output-stream|two-way-stream-input-stream|truncate|truename|tree-equal|translate-pathname|translate-logical-pathname|tanh?|synonym-stream-symbol|symbolp|symbol-package|symbol-name|sxhash|subtypep|subsetp|stringp|string>=?|string=|string<=?|string/=|string-trim|string-right-trim|string-not-lessp|string-not-greaterp|string-not-equal|string-lessp|string-left-trim|string-greaterp|string-equal|string|streamp|stream-external-format|stream-error-stream|stream-element-type|standard-char-p|stable-sort|sqrt|special-operator-p|sort|some|software-version|software-type|slot-value|slot-makunbound|slot-exists-p|slot-boundp|sinh?|simple-vector-p|simple-string-p|simple-condition-format-control|simple-condition-format-arguments|simple-bit-vector-p|signum|short-site-name|set-pprint-dispatch|search|scale-float|round|restart-name|rename-package|rename-file|rem|reduce|realpart|realp|readtablep|read-preserving-whitespace|read-line|read-from-string|read-delimited-list|read-char-no-hang|read-char|read|rationalp|rationalize|rational|rassoc-if-not|rassoc-if|rassoc|random-state-p|proclaim|probe-file|print-not-readable-object|print|princ-to-string|princ|prin1-to-string|prin1|pprint-tab|pprint-indent|pprint-dispatch|pprint|position-if-not|position-if|position|plusp|phase|peek-char|pathnamep|pathname-version|pathname-type|pathname-name|pathname-match-p|pathname-host|pathname-directory|pathname-device|pathname|parse-namestring|parse-integer|pairlis|packagep|package-used-by-list|package-use-list|package-shadowing-symbols|package-nicknames|package-name|package-error-package|output-stream-p|open-stream-p|open|oddp|numerator|numberp|null|nthcdr|notevery|notany|not|next-method-p|nbutlast|namestring|name-char|mod|mismatch|minusp|min|merge-pathnames|merge|member-if-not|member-if|member|max|maplist|mapl|mapcon|mapcar|mapcan|mapc|map-into|map|make-two-way-stream|make-synonym-stream|make-symbol|make-string-output-stream|make-string-input-stream|make-string|make-sequence|make-random-state|make-pathname|make-package|make-load-form-saving-slots|make-list|make-hash-table|make-echo-stream|make-dispatch-macro-character|make-condition|make-concatenated-stream|make-broadcast-stream|make-array|macroexpand-1|macroexpand|machine-version|machine-type|machine-instance|lower-case-p|long-site-name|logxor|logtest|logorc2|logorc1|lognot|lognor|lognand|logior|logical-pathname|logeqv|logcount|logbitp|logandc2|logandc1|logand|log|load-logical-pathname-translations|load|listp|listen|list-length|list-all-packages|list\\\\*?|lisp-implementation-version|lisp-implementation-type|length|ldb-test|lcm|last|keywordp|isqrt|intern|interactive-stream-p|integerp|integer-length|integer-decode-float|input-stream-p|imagpart|identity|host-namestring|hash-table-test|hash-table-size|hash-table-rehash-threshold|hash-table-rehash-size|hash-table-p|hash-table-count|graphic-char-p|get-universal-time|get-setf-expansion|get-properties|get-internal-run-time|get-internal-real-time|get-decoded-time|gcd|functionp|function-lambda-expression|funcall|ftruncate|fround|format|force-output|fmakunbound|floor|floatp|float-sign|float-radix|float-precision|float-digits|float|finish-output|find-symbol|find-restart|find-package|find-if-not|find-if|find-all-symbols|find|file-write-date|file-string-length|file-namestring|file-length|file-error-pathname|file-author|ffloor|fceiling|fboundp|expt?|every|evenp|eval|equalp?|eql?|ensure-generic-function|ensure-directories-exist|enough-namestring|endp|encode-universal-time|ed|echo-stream-output-stream|echo-stream-input-stream|dribble|dpb|disassemble|directory-namestring|directory|digit-char-p|digit-char|deposit-field|denominator|delete-package|delete-file|decode-universal-time|decode-float|count-if-not|count-if|count|cosh?|copy-tree|copy-symbol|copy-structure|copy-seq|copy-readtable|copy-pprint-dispatch|copy-list|copy-alist|constantp|constantly|consp?|conjugate|concatenated-stream-streams|concatenate|compute-restarts|complexp?|complement|compiled-function-p|compile-file-pathname|compile-file|compile|coerce|code-char|clear-output|class-of|cis|characterp?|char>=?|char=|char<=?|char/=|char-upcase|char-not-lessp|char-not-greaterp|char-not-equal|char-name|char-lessp|char-int|char-greaterp|char-equal|char-downcase|char-code|cerror|cell-error-name|ceiling|call-next-method|byte-size|byte-position|byte|butlast|broadcast-stream-streams|boundp|both-case-p|boole|bit-xor|bit-vector-p|bit-orc2|bit-orc1|bit-not|bit-nor|bit-nand|bit-ior|bit-eqv|bit-andc2|bit-andc1|bit-and|atom|atanh?|assoc-if-not|assoc-if|assoc|asinh?|ash|arrayp|array-total-size|array-row-major-index|array-rank|array-in-bounds-p|array-has-fill-pointer-p|array-element-type|array-displacement|array-dimensions?|arithmetic-error-operation|arithmetic-error-operands|apropos-list|apropos|apply|append|alphanumericp|alpha-char-p|adjustable-array-p|adjust-array|adjoin|acosh?|acons|abs|>=|[=>]|<=?|1-|1\\\\+|/=|[-*+/])(?=([()\\\\s]))","name":"support.function.f.sideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|#')(?:variable|update-instance-for-redefined-class|update-instance-for-different-class|structure|slot-unbound|slot-missing|shared-initialize|remove-method|print-object|no-next-method|no-applicable-method|method-qualifiers|make-load-form|make-instances-obsolete|make-instance|initialize-instance|function-keywords|find-method|documentation|describe-object|compute-applicable-methods|compiler-macro|class-name|change-class|allocate-instance|add-method)(?=([()\\\\s]))","name":"support.function.sgf.nosideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|#')reinitialize-instance(?=([()\\\\s]))","name":"support.function.sgf.sideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|#')satisfies(?=([()\\\\s]))","name":"support.function.typespecifier.commonlisp"}]},"lambda-list":{"match":"(?i)(?<=^|[(\\\\s])&(?:[]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?|whole|rest|optional|key|environment|body|aux|allow-other-keys)(?=([()\\\\s]))","name":"keyword.other.lambdalist.commonlisp"},"macro":{"patterns":[{"match":"(?i)(?<=^|[(\\\\s])(?:with-standard-io-syntax|with-slots|with-simple-restart|with-package-iterator|with-hash-table-iterator|with-condition-restarts|with-compilation-unit|with-accessors|when|unless|typecase|time|step|shiftf|setf|rotatef|return|restart-case|restart-bind|psetf|prog2|prog1|prog\\\\*?|print-unreadable-object|pprint-logical-block|pprint-exit-if-list-exhausted|or|nth-value|multiple-value-setq|multiple-value-list|multiple-value-bind|make-method|loop|lambda|ignore-errors|handler-case|handler-bind|formatter|etypecase|dotimes|dolist|do-symbols|do-external-symbols|do-all-symbols|do\\\\*?|destructuring-bind|defun|deftype|defstruct|defsetf|defpackage|defmethod|defmacro|define-symbol-macro|define-setf-expander|define-condition|define-compiler-macro|defgeneric|defconstant|defclass|declaim|ctypecase|cond|call-method|assert|and)(?=([()\\\\s]))","name":"storage.type.function.m.nosideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s])(?:with-output-to-string|with-open-stream|with-open-file|with-input-from-string|untrace|trace|remf|pushnew|push|psetq|pprint-pop|pop|otherwise|loop-finish|incf|in-package|ecase|defvar|defparameter|define-modify-macro|define-method-combination|decf|check-type|ccase|case)(?=([()\\\\s]))","name":"storage.type.function.m.sideeffects.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s])setq(?=([()\\\\s]))","name":"storage.type.function.specialform.commonlisp"}]},"package":{"patterns":[{"captures":{"2":{"name":"support.type.package.commonlisp"},"3":{"name":"support.type.package.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(([]!$%\\\\&*+\\\\--9<-\\\\[^_a-{}~]+?)|(#))(?=::?)"}]},"punctuation":{"patterns":[{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(['\`])(?=\\\\S)","name":"variable.other.constant.singlequote.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?):[]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?(?=([()\\\\s]))","name":"entity.name.variable.commonlisp"},{"captures":{"1":{"name":"variable.other.constant.sharpsign.commonlisp"},"2":{"name":"constant.numeric.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)([0-9]*)(?=\\\\()"},{"captures":{"1":{"name":"variable.other.constant.sharpsign.commonlisp"},"2":{"name":"constant.numeric.commonlisp"},"3":{"name":"variable.other.constant.sharpsign.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)([0-9]*)(\\\\*)(?=[01])"},{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#0??\\\\*)(?=([()\\\\s]))","name":"variable.other.constant.sharpsign.commonlisp"},{"captures":{"1":{"name":"variable.other.constant.sharpsign.commonlisp"},"2":{"name":"constant.numeric.commonlisp"},"3":{"name":"variable.other.constant.sharpsign.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)([0-9]+)([Aa])(?=.)"},{"captures":{"1":{"name":"variable.other.constant.sharpsign.commonlisp"},"2":{"name":"constant.numeric.commonlisp"},"3":{"name":"variable.other.constant.sharpsign.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)([0-9]+)(=)(?=.)"},{"captures":{"1":{"name":"variable.other.constant.sharpsign.commonlisp"},"2":{"name":"constant.numeric.commonlisp"},"3":{"name":"variable.other.constant.sharpsign.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)([0-9]+)(#)(?=.)"},{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#([-+]))(?=\\\\S)","name":"variable.other.constant.sharpsign.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#([',.CPScps]))(?=\\\\S)","name":"variable.other.constant.sharpsign.commonlisp"},{"captures":{"1":{"name":"support.type.package.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(#)(:)(?=\\\\S)"},{"captures":{"2":{"name":"variable.other.constant.backquote.commonlisp"},"3":{"name":"variable.other.constant.backquote.commonlisp"},"4":{"name":"variable.other.constant.backquote.commonlisp"},"5":{"name":"variable.other.constant.backquote.commonlisp"}},"match":"(?i)(?<=^|[(\\\\s])((\`#)|(\`)(,(?:@|\\\\.?))?|(,(?:@|\\\\.?)))(?=\\\\S)"}]},"special-operator":{"captures":{"2":{"name":"keyword.control.commonlisp"}},"match":"(?i)(\\\\(\\\\s*)(unwind-protect|throw|the|tagbody|symbol-macrolet|return-from|quote|progv|progn|multiple-value-prog1|multiple-value-call|macrolet|locally|load-time-value|let\\\\*?|labels|if|go|function|flet|eval-when|catch|block)(?=([()\\\\s]))"},"string":{"begin":"(\\")","beginCaptures":{"1":{"name":"punctuation.definition.string.begin.commonlisp"}},"end":"(\\")","endCaptures":{"1":{"name":"punctuation.definition.string.end.commonlisp"}},"name":"string.quoted.double.commonlisp","patterns":[{"match":"\\\\\\\\.","name":"constant.character.escape.commonlisp"},{"captures":{"1":{"name":"storage.type.function.formattedstring.commonlisp"},"2":{"name":"variable.other.constant.formattedstring.commonlisp"},"8":{"name":"storage.type.function.formattedstring.commonlisp"},"10":{"name":"storage.type.function.formattedstring.commonlisp"}},"match":"(?i)(~)(((([-+]?[0-9]+)|('.)|[#V])*?(,)?)*?)((:@|@:|[:@])?)([]();<>\\\\[^{}])"},{"captures":{"1":{"name":"entity.name.variable.commonlisp"},"2":{"name":"variable.other.constant.formattedstring.commonlisp"},"8":{"name":"entity.name.variable.commonlisp"},"10":{"name":"entity.name.variable.commonlisp"}},"match":"(?i)(~)(((([-+]?[0-9]+)|('.)|[#V])*?(,)?)*?)((:@|@:|[:@])?)([$%\\\\&*?A-GIOPRSTWX_|~])"},{"captures":{"1":{"name":"entity.name.variable.commonlisp"},"2":{"name":"variable.other.constant.formattedstring.commonlisp"},"8":{"name":"entity.name.variable.commonlisp"},"10":{"name":"entity.name.variable.commonlisp"},"11":{"name":"entity.name.variable.commonlisp"},"12":{"name":"entity.name.variable.commonlisp"}},"match":"(?i)(~)(((([-+]?[0-9]+)|('.)|[#V])*?(,)?)*?)((:@|@:|[:@])?)(/)([]!#-\\\\&*+\\\\--:<-\\\\[^_a-{}~]+?)(/)"},{"match":"(~\\\\n)","name":"variable.other.constant.formattedstring.commonlisp"}]},"style-guide":{"patterns":[{"captures":{"3":{"name":"source.commonlisp"}},"match":"(?i)(?<=(?:^|[(\\\\s]|,@|,\\\\.?)')(\\\\S+?)(::?)((\\\\+[^+\\\\s]+\\\\+)|(\\\\*[^*\\\\s]+\\\\*))(?=([()\\\\s]))"},{"match":"(?i)(?<=\\\\S:|^|[(\\\\s]|,@|,\\\\.?)(\\\\+[^+\\\\s]+\\\\+)(?=([()\\\\s]))","name":"variable.other.constant.earmuffsplus.commonlisp"},{"match":"(?i)(?<=\\\\S:|^|[(\\\\s]|,@|,\\\\.?)(\\\\*[^*\\\\s]+\\\\*)(?=([()\\\\s]))","name":"string.regexp.earmuffsasterisk.commonlisp"}]},"symbol":{"match":"(?i)(?<=^|[(\\\\s])(?:method-combination|declare)(?=([()\\\\s]))","name":"storage.type.function.symbol.commonlisp"},"type":{"match":"(?i)(?<=^|[(\\\\s])(?:unsigned-byte|standard-char|standard|single-float|simple-vector|simple-string|simple-bit-vector|simple-base-string|simple-array|signed-byte|short-float|long-float|keyword|fixnum|extended-char|double-float|compiled-function|boolean|bignum|base-string|base-char)(?=([()\\\\s]))","name":"support.type.t.commonlisp"},"variable":{"patterns":[{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)\\\\*(?:trace-output|terminal-io|standard-output|standard-input|readtable|read-suppress|read-eval|read-default-float-format|read-base|random-state|query-io|print-right-margin|print-readably|print-radix|print-pretty|print-pprint-dispatch|print-miser-width|print-lines|print-level|print-length|print-gensym|print-escape|print-circle|print-case|print-base|print-array|package|modules|macroexpand-hook|load-verbose|load-truename|load-print|load-pathname|gensym-counter|features|error-output|default-pathname-defaults|debugger-hook|debug-io|compile-verbose|compile-print|compile-file-truename|compile-file-pathname|break-on-signals)\\\\*(?=([()\\\\s]))","name":"string.regexp.earmuffsasterisk.commonlisp"},{"match":"(?i)(?<=^|[(\\\\s]|,@|,\\\\.?)(?:\\\\*\\\\*\\\\*?|\\\\+\\\\+\\\\+?|///?)(?=([()\\\\s]))","name":"variable.other.repl.commonlisp"}]}},"scopeName":"source.commonlisp","aliases":["lisp"]}`))];export{e as default};
@@ -0,0 +1 @@
1
+ var e=[Object.freeze(JSON.parse(`{"displayName":"Rocq","fileTypes":["v"],"name":"coq","patterns":[{"match":"\\\\b(From|Require|Import|Export|Local|Global|Include)\\\\b","name":"keyword.control.import.rocq"},{"match":"\\\\b((Open|Close|Delimit|Undelimit|Bind|Declare)\\\\s+Scope)\\\\b","name":"keyword.control.import.rocq"},{"captures":{"1":{"name":"keyword.source.rocq"},"2":{"name":"entity.name.function.theorem.rocq"}},"match":"\\\\b(Theorem|Lemma|Remark|Fact|Corollary|Property|Proposition)\\\\s+(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\p{L}])*)"},{"match":"\\\\bGoal\\\\b","name":"keyword.source.rocq"},{"captures":{"1":{"name":"keyword.source.rocq"},"2":{"name":"keyword.source.rocq"},"3":{"name":"entity.name.assumption.rocq"}},"match":"\\\\b(Parameters?|Axioms?|Conjectures?|Variables?|Hypothesis|Hypotheses)(\\\\s+Inline)?\\\\b\\\\s*\\\\(?\\\\s*(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.rocq"},"3":{"name":"entity.name.assumption.rocq"}},"match":"\\\\b(Context)\\\\b\\\\s*\`?\\\\s*([({])?\\\\s*(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.rocq"},"2":{"name":"keyword.source.rocq"},"3":{"name":"entity.name.function.rocq"}},"match":"(\\\\b(?:Program|Local)\\\\s+)?\\\\b(Definition|Fixpoint|CoFixpoint|Function|Example|Let(?:(?:\\\\s+|\\\\s+Co)Fixpoint)?|Instance|Equations|Equations?)\\\\s+(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.rocq"}},"match":"\\\\b((Show\\\\s+)?Obligation\\\\s+Tactic|Obligations\\\\s+of|Obligation|Next\\\\s+Obligation(\\\\s+of)?|Solve\\\\s+Obligations(\\\\s+of)?|Solve\\\\s+All\\\\s+Obligations|Admit\\\\s+Obligations(\\\\s+of)?|Instance)\\\\b"},{"captures":{"1":{"name":"keyword.source.rocq"},"3":{"name":"entity.name.type.rocq"}},"match":"\\\\b(CoInductive|Inductive|Variant|Record|Structure|Class)\\\\s+(>\\\\s*)?(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.rocq"},"2":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac)\\\\s+(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.rocq"},"2":{"name":"keyword.source.rocq"},"3":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac2)\\\\s+(mutable\\\\s+)?(rec\\\\s+)?(([_\xA0\\\\p{L}])(['0-9_\xA0\\\\p{L}])*)"},{"match":"\\\\b(Hint(\\\\s+Mode)?|Create\\\\s+HintDb|Constructors|Resolve|Rewrite|Ltac2??|Implicit(\\\\s+Types?)?|Set|Unset|Remove\\\\s+Printing|Arguments|((Tactic|Reserved)\\\\s+)?Notation|Infix|Section|Module(\\\\s+Type)?|End|Check|Print(\\\\s+All)?|Eval|Compute|Search|Universe|Coercions|Generalizable(\\\\s+(All|Variable))?|Existing(\\\\s+(Class|Instance))?|Canonical|About|Locate|Collection|Typeclasses\\\\s+(Opaque|Transparent))\\\\b","name":"keyword.source.rocq"},{"match":"\\\\b(Proof|Qed|Defined|Save|Abort(\\\\s+All)?|Undo(\\\\s+To)?|Restart|Focus|Unfocus|Unfocused|Show\\\\s+Proof|Show\\\\s+Existentials|Show|Unshelve)\\\\b","name":"keyword.source.rocq"},{"match":"\\\\b(Quit|Drop|Time|Redirect|Timeout|Fail)\\\\b","name":"keyword.debug.rocq"},{"match":"\\\\b(admit|Admitted)\\\\b","name":"invalid.illegal.admit.rocq"},{"match":"[-*+:<=>{|}¬→↔∧∨≠≤≥]","name":"keyword.operator.rocq"},{"match":"\\\\b(forall|exists|Type|Set|Prop|nat|bool|option|list|unit|sum|prod|comparison|Empty_set)\\\\b|[∀∃]","name":"support.type.rocq"},{"match":"\\\\b(try|repeat|rew|progress|fresh|solve|now|first|tryif|at|once|do|only)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(into|with|eqn|by|move|as|using)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(match|lazymatch|multimatch|match!|lazy_match!|multi_match!|fun|with|return|end|let|in|if|then|else|fix|for|where|and)\\\\b|λ","name":"keyword.control.gallina"},{"match":"\\\\b(intros??|revert|induction|destruct|auto|eauto|tauto|eassumption|apply|eapply|assumption|constructor|econstructor|reflexivity|inversion|injection|assert|split|esplit|omega|fold|unfold|specialize|rewrite|erewrite|change|symmetry|refine|simpl|intuition|firstorder|generalize|idtac|exists??|eexists|elim|eelim|rename|subst|congruence|trivial|left|right|set|pose|discriminate|clear|clearbody|contradict|contradiction|exact|dependent|remember|case|easy|unshelve|pattern|transitivity|etransitivity|f_equal|exfalso|replace|abstract|cycle|swap|revgoals|shelve|unshelve)\\\\b","name":"support.function.builtin.ltac"},{"applyEndPatternLast":1,"begin":"\\\\(\\\\*\\\\*(?!\\\\*)","end":"\\\\*\\\\)","name":"comment.doc.rocq","patterns":[{"include":"#doc_comment"},{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.rocq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},{"match":"\\\\b((0([Xx])\\\\h+)|([0-9]+(\\\\.[0-9]+)?))\\\\b","name":"constant.numeric.gallina"},{"match":"\\\\b(True|False|tt|false|true|Some|None|nil|cons|pair|inl|inr|[OS]|Eq|Lt|Gt|id|ex|all|unique)\\\\b","name":"constant.language.constructor.gallina"},{"match":"\\\\b_\\\\b","name":"constant.language.wildcard.rocq"},{"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.rocq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.rocq"}},"name":"string.quoted.double.rocq"}],"repository":{"block_comment":{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.rocq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},"block_double_quoted_string":{"applyEndPatternLast":1,"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.rocq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.rocq"}},"name":"string.quoted.double.rocq"},"doc_comment":{"applyEndPatternLast":1,"begin":"\\\\(\\\\*\\\\*(?!\\\\*)","end":"\\\\*\\\\)","name":"comment.doc.rocq","patterns":[{"include":"#doc_comment"},{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]}},"scopeName":"source.rocq"}`))];export{e as default};