@shivaedev/work-board 0.11.0 → 0.13.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.
- package/CHANGELOG.md +195 -235
- package/README.md +487 -534
- package/assets/agent.js +27 -31
- package/assets/native.js +35 -69
- package/assets/react-assets/abap-CLvhMVsD.js +1 -0
- package/assets/react-assets/actionscript-3-Cs6JJXT5.js +1 -0
- package/assets/react-assets/ada-X3Y2mlq2.js +1 -0
- package/assets/react-assets/ahk-DwADkxyd.js +1 -0
- package/assets/react-assets/ahk2-_6rzW9BS.js +1 -0
- package/assets/react-assets/andromeeda-vGVdxbeo.js +1 -0
- package/assets/react-assets/angular-html-DD5qBkTo.js +1 -0
- package/assets/react-assets/angular-ts-DZ1ZyxW7.js +1 -0
- package/assets/react-assets/apache-U0d_L8uA.js +1 -0
- package/assets/react-assets/apex-KFGFyKwG.js +1 -0
- package/assets/react-assets/apl-DL__xH5U.js +1 -0
- package/assets/react-assets/applescript-CCn79oCD.js +1 -0
- package/assets/react-assets/ara-4CJ0cIlV.js +1 -0
- package/assets/react-assets/asciidoc-SCjQUq34.js +1 -0
- package/assets/react-assets/asm-Cmm7eHzH.js +1 -0
- package/assets/react-assets/astro-DFuRQ3LX.js +1 -0
- package/assets/react-assets/aurora-x-CDeNXAV0.js +1 -0
- package/assets/react-assets/awk-BWXHIvNe.js +1 -0
- package/assets/react-assets/ayu-dark-DluEY0Gj.js +1 -0
- package/assets/react-assets/ayu-light-C3h-C4tm.js +1 -0
- package/assets/react-assets/ayu-mirage-Bqwy1Gya.js +1 -0
- package/assets/react-assets/ballerina-B7ZEbQpA.js +1 -0
- package/assets/react-assets/bat-qdxAdBWQ.js +1 -0
- package/assets/react-assets/beancount-C2IN4Vk8.js +1 -0
- package/assets/react-assets/berry-DKpUyyne.js +1 -0
- package/assets/react-assets/bibtex-Ci_nEsc7.js +1 -0
- package/assets/react-assets/bicep-CUHmPFLl.js +1 -0
- package/assets/react-assets/bird2-CYIUgYqB.js +1 -0
- package/assets/react-assets/blade-C-nS9O0O.js +1 -0
- package/assets/react-assets/bsl-_VjlB9mv.js +1 -0
- package/assets/react-assets/c-B49fFJ5A.js +1 -0
- package/assets/react-assets/c3-D0apG41V.js +1 -0
- package/assets/react-assets/cadence-CQ2zXKGN.js +1 -0
- package/assets/react-assets/cairo-DLTphjLi.js +1 -0
- package/assets/react-assets/catppuccin-frappe-C9Q5zVZY.js +1 -0
- package/assets/react-assets/catppuccin-latte-CtsyrtPq.js +1 -0
- package/assets/react-assets/catppuccin-macchiato-R8nAf1vR.js +1 -0
- package/assets/react-assets/catppuccin-mocha-DjuaAJKi.js +1 -0
- package/assets/react-assets/chapel--VmkN5lx.js +1 -0
- package/assets/react-assets/clarity-CtfBBspg.js +1 -0
- package/assets/react-assets/clojure-DqKBuwfJ.js +1 -0
- package/assets/react-assets/cmake-Bj61d0ZC.js +1 -0
- package/assets/react-assets/cobol-CC-u2qoB.js +1 -0
- package/assets/react-assets/codeowners-C8r90Shi.js +1 -0
- package/assets/react-assets/codeql-oeQT6MSM.js +1 -0
- package/assets/react-assets/coffee-QNVpInVb.js +1 -0
- package/assets/react-assets/common-lisp-Cv5bFMCO.js +1 -0
- package/assets/react-assets/coq-CGaSfhwR.js +1 -0
- package/assets/react-assets/cpp-DpTyvldM.js +1 -0
- package/assets/react-assets/crystal-DZQu20ZL.js +1 -0
- package/assets/react-assets/csharp-dmMxLVLW.js +1 -0
- package/assets/react-assets/css-072DXyQF.js +1 -0
- package/assets/react-assets/csv-Dx-8-gkx.js +1 -0
- package/assets/react-assets/cue-CE9AQfxI.js +1 -0
- package/assets/react-assets/cypher-ClKdZ_lG.js +1 -0
- package/assets/react-assets/d-qD-0Kul2.js +1 -0
- package/assets/react-assets/dark-plus-Cs2F2srj.js +1 -0
- package/assets/react-assets/dart-CHZY9Xhz.js +1 -0
- package/assets/react-assets/dax-BkyTk9wS.js +1 -0
- package/assets/react-assets/desktop-Dlh5hvp9.js +1 -0
- package/assets/react-assets/diff-woXpYk--.js +1 -0
- package/assets/react-assets/docker-IyjqRm3v.js +1 -0
- package/assets/react-assets/dotenv-CuH5my32.js +1 -0
- package/assets/react-assets/dracula-BHWKrbxM.js +1 -0
- package/assets/react-assets/dracula-soft-5eyTD99u.js +1 -0
- package/assets/react-assets/dream-maker-DW3nJb8Q.js +1 -0
- package/assets/react-assets/edge-Cka5ciKz.js +1 -0
- package/assets/react-assets/elixir-CJPUkXFK.js +1 -0
- package/assets/react-assets/elm-gj2hFCac.js +1 -0
- package/assets/react-assets/emacs-lisp-DR2vtWaj.js +1 -0
- package/assets/react-assets/erb-bDVVKajT.js +1 -0
- package/assets/react-assets/erlang-Cphh6RMH.js +1 -0
- package/assets/react-assets/everforest-dark-sB-x3p7T.js +1 -0
- package/assets/react-assets/everforest-light-Df2xbC6M.js +1 -0
- package/assets/react-assets/fennel-DQxkIbk2.js +1 -0
- package/assets/react-assets/fish-BJitypiv.js +1 -0
- package/assets/react-assets/fluent-C03EYrpw.js +1 -0
- package/assets/react-assets/fortran-fixed-form-DEKoE2YW.js +1 -0
- package/assets/react-assets/fortran-free-form-CYNrtFtB.js +1 -0
- package/assets/react-assets/fsharp-D13ZGOAj.js +1 -0
- package/assets/react-assets/gdresource-xMC7jr7x.js +1 -0
- package/assets/react-assets/gdscript-DYvRD3hg.js +1 -0
- package/assets/react-assets/gdshader-CBce3t8t.js +1 -0
- package/assets/react-assets/genie-CV2tkWYe.js +1 -0
- package/assets/react-assets/gherkin-DExj1W_8.js +1 -0
- package/assets/react-assets/git-commit-BSykSTBG.js +1 -0
- package/assets/react-assets/git-rebase-DfqXkuvc.js +1 -0
- package/assets/react-assets/github-dark-C-LZuMrd.js +1 -0
- package/assets/react-assets/github-dark-default-DXG-b-1a.js +1 -0
- package/assets/react-assets/github-dark-dimmed-Bx1FflLF.js +1 -0
- package/assets/react-assets/github-dark-high-contrast-B_tTalzw.js +1 -0
- package/assets/react-assets/github-light-EUqPIrTm.js +1 -0
- package/assets/react-assets/github-light-default-BXViO-2h.js +1 -0
- package/assets/react-assets/github-light-high-contrast-B68TUdTA.js +1 -0
- package/assets/react-assets/gleam-CSRkHgEL.js +1 -0
- package/assets/react-assets/glimmer-js-D6kILH9I.js +1 -0
- package/assets/react-assets/glimmer-ts-DBnqLty3.js +1 -0
- package/assets/react-assets/glsl-DwsaZCPm.js +1 -0
- package/assets/react-assets/gn-CAXYAgV-.js +1 -0
- package/assets/react-assets/gnuplot-7GGW24-e.js +1 -0
- package/assets/react-assets/go-rLFTqkRN.js +1 -0
- package/assets/react-assets/graphql-CmVZDqvW.js +1 -0
- package/assets/react-assets/groovy-CacY0gHj.js +1 -0
- package/assets/react-assets/gruvbox-dark-hard-C820rvS2.js +1 -0
- package/assets/react-assets/gruvbox-dark-medium-BPjhmG05.js +1 -0
- package/assets/react-assets/gruvbox-dark-soft-MrdJrrXF.js +1 -0
- package/assets/react-assets/gruvbox-light-hard-BC_s9l72.js +1 -0
- package/assets/react-assets/gruvbox-light-medium-BAWPOn9u.js +1 -0
- package/assets/react-assets/gruvbox-light-soft-BSMLrYjP.js +1 -0
- package/assets/react-assets/hack-DRipdhb-.js +1 -0
- package/assets/react-assets/haml-BhY1BOSN.js +1 -0
- package/assets/react-assets/handlebars-Bz4Ztob4.js +1 -0
- package/assets/react-assets/haskell-D8IpX4py.js +1 -0
- package/assets/react-assets/haxe-C8oCnwJJ.js +1 -0
- package/assets/react-assets/hcl-Dh228itO.js +1 -0
- package/assets/react-assets/hjson-CxZEssPk.js +1 -0
- package/assets/react-assets/hlsl-Cvrh5tZx.js +1 -0
- package/assets/react-assets/horizon-CE9ld1lL.js +1 -0
- package/assets/react-assets/horizon-bright-DSNQnXHK.js +1 -0
- package/assets/react-assets/houston-CsvMBhTu.js +1 -0
- package/assets/react-assets/html-D5Dv1LFZ.js +1 -0
- package/assets/react-assets/html-derivative-Bp73re0Z.js +1 -0
- package/assets/react-assets/http-CJ-kxxPV.js +1 -0
- package/assets/react-assets/hurl-C3Tp0wF8.js +1 -0
- package/assets/react-assets/hxml-Dcm88srW.js +1 -0
- package/assets/react-assets/hy-CZbG8q4J.js +1 -0
- package/assets/react-assets/imba-DsUTQ-LC.js +1 -0
- package/assets/react-assets/ini-B5eOa1yu.js +1 -0
- package/assets/react-assets/java-DcLJTH0G.js +1 -0
- package/assets/react-assets/javascript-DV2Xi2Rs.js +1 -0
- package/assets/react-assets/jinja-CDxLVsXR.js +1 -0
- package/assets/react-assets/jison-CEXOgG2l.js +1 -0
- package/assets/react-assets/json-83w8X9Co.js +1 -0
- package/assets/react-assets/json5-BR5RXkoi.js +1 -0
- package/assets/react-assets/jsonc-CYpm1nAK.js +1 -0
- package/assets/react-assets/jsonl-CmCQp5Yx.js +1 -0
- package/assets/react-assets/jsonnet-CJTPZ8u_.js +1 -0
- package/assets/react-assets/jssm-DXw9l8Rf.js +1 -0
- package/assets/react-assets/jsx-CeKmUg3O.js +1 -0
- package/assets/react-assets/julia-D36PNHvb.js +1 -0
- package/assets/react-assets/just-uTDkkRl2.js +1 -0
- package/assets/react-assets/kanagawa-dragon-Bozd7klA.js +1 -0
- package/assets/react-assets/kanagawa-lotus-BmuOG9ZW.js +1 -0
- package/assets/react-assets/kanagawa-wave-BML5mF2J.js +1 -0
- package/assets/react-assets/kdl-CsD5j6eV.js +1 -0
- package/assets/react-assets/kotlin-DhhofPvG.js +1 -0
- package/assets/react-assets/kusto-C7mF5XQf.js +1 -0
- package/assets/react-assets/laserwave-C_8bwKvT.js +1 -0
- package/assets/react-assets/latex-DJChlVVG.js +1 -0
- package/assets/react-assets/lean-CewbzKMR.js +1 -0
- package/assets/react-assets/less-DVTAwKKz.js +1 -0
- package/assets/react-assets/light-plus-DVQuIRkW.js +1 -0
- package/assets/react-assets/liquid-bvTim6e2.js +1 -0
- package/assets/react-assets/llvm-DqHOMS-s.js +1 -0
- package/assets/react-assets/log-BNLmms1o.js +1 -0
- package/assets/react-assets/logo-Cluzi2Zq.js +1 -0
- package/assets/react-assets/lua-CqlTSUPZ.js +1 -0
- package/assets/react-assets/luau-VGWVLoqX.js +1 -0
- package/assets/react-assets/make-Dixweg8N.js +1 -0
- package/assets/react-assets/markdown-BYOwaDjH.js +1 -0
- package/assets/react-assets/marko-LPL2GTzK.js +1 -0
- package/assets/react-assets/material-theme-Bm3Qr25_.js +1 -0
- package/assets/react-assets/material-theme-darker-2IIEA8gg.js +1 -0
- package/assets/react-assets/material-theme-lighter-uhdI0v04.js +1 -0
- package/assets/react-assets/material-theme-ocean-CHQ94UKr.js +1 -0
- package/assets/react-assets/material-theme-palenight-B5W6OYN7.js +1 -0
- package/assets/react-assets/matlab-D7qyCx1q.js +1 -0
- package/assets/react-assets/mdc-Bp9cENUJ.js +1 -0
- package/assets/react-assets/mdx-DQZ5AkYe.js +1 -0
- package/assets/react-assets/mermaid-BxpfTIzt.js +1 -0
- package/assets/react-assets/min-dark-BSWPekZh.js +1 -0
- package/assets/react-assets/min-light-DDpmG2fV.js +1 -0
- package/assets/react-assets/mipsasm-BMqwQI7S.js +1 -0
- package/assets/react-assets/mojo-fg40_ntQ.js +1 -0
- package/assets/react-assets/monokai-BscAjiQZ.js +1 -0
- package/assets/react-assets/moonbit-D9W784E_.js +1 -0
- package/assets/react-assets/move-BYnGhZoM.js +1 -0
- package/assets/react-assets/narrat-_X_XdTYD.js +1 -0
- package/assets/react-assets/nextflow-CSgcYZcx.js +1 -0
- package/assets/react-assets/nextflow-groovy-D7IRt6Pp.js +1 -0
- package/assets/react-assets/nginx-CpG63RNH.js +1 -0
- package/assets/react-assets/night-owl-DhmEMT88.js +1 -0
- package/assets/react-assets/night-owl-light-eJ-hLW7d.js +1 -0
- package/assets/react-assets/nim-BID-vnQR.js +1 -0
- package/assets/react-assets/nix-IvuFDN5E.js +1 -0
- package/assets/react-assets/nord-Cb4Vim4T.js +1 -0
- package/assets/react-assets/nsis-CjNLYCLg.js +1 -0
- package/assets/react-assets/nushell--0fT3PI1.js +1 -0
- package/assets/react-assets/objective-c-D1A_Heim.js +1 -0
- package/assets/react-assets/objective-cpp-BsSzOQcm.js +1 -0
- package/assets/react-assets/ocaml-O90oeIOV.js +1 -0
- package/assets/react-assets/odin-B1RWQWA5.js +1 -0
- package/assets/react-assets/one-dark-pro-C6YyR8OD.js +1 -0
- package/assets/react-assets/one-light-D7Lr4KcI.js +1 -0
- package/assets/react-assets/openscad-BUDT5pXO.js +1 -0
- package/assets/react-assets/org-coQDPC6N.js +1 -0
- package/assets/react-assets/pascal-4ZHwLPI5.js +1 -0
- package/assets/react-assets/perl-DCIQyJ1w.js +1 -0
- package/assets/react-assets/php-C3fZiypj.js +1 -0
- package/assets/react-assets/pkl-ot-7Btpt.js +1 -0
- package/assets/react-assets/plastic-DQwYfKfQ.js +1 -0
- package/assets/react-assets/plsql-DGHpHOYJ.js +1 -0
- package/assets/react-assets/po-BiJDBrnU.js +1 -0
- package/assets/react-assets/poimandres-DRFjx7u4.js +1 -0
- package/assets/react-assets/polar-C7UOKdEL.js +1 -0
- package/assets/react-assets/postcss-BXeXVLqQ.js +1 -0
- package/assets/react-assets/powerquery-DNMTfnFr.js +1 -0
- package/assets/react-assets/powershell-QtSnmXcu.js +1 -0
- package/assets/react-assets/prisma-DMgNhnYS.js +1 -0
- package/assets/react-assets/prolog-iXnhIJG7.js +1 -0
- package/assets/react-assets/proto-DB4EqR-F.js +1 -0
- package/assets/react-assets/pug-CldXeDwy.js +1 -0
- package/assets/react-assets/puppet-CDv2pdJW.js +1 -0
- package/assets/react-assets/purescript-9MfHhQsQ.js +1 -0
- package/assets/react-assets/python-gzcpVVnB.js +1 -0
- package/assets/react-assets/qml-7xkhyBue.js +1 -0
- package/assets/react-assets/qmldir-DCQb3MpD.js +1 -0
- package/assets/react-assets/qss-Fe1Jh2GI.js +1 -0
- package/assets/react-assets/r-CbP3fnO-.js +1 -0
- package/assets/react-assets/racket-DcIDlBhZ.js +1 -0
- package/assets/react-assets/raku-B3gFvitq.js +1 -0
- package/assets/react-assets/razor-BXi3FEf3.js +1 -0
- package/assets/react-assets/rbs-C0MpOrj4.js +1 -0
- package/assets/react-assets/red-CYlAq2b0.js +1 -0
- package/assets/react-assets/reg-CRGYupPL.js +1 -0
- package/assets/react-assets/regexp-OoErfFO2.js +1 -0
- package/assets/react-assets/rel-BtDbiS_P.js +1 -0
- package/assets/react-assets/riscv-Ckw8ddFX.js +1 -0
- package/assets/react-assets/ron-VUp2lXgN.js +1 -0
- package/assets/react-assets/rose-pine-aMsaMD1D.js +1 -0
- package/assets/react-assets/rose-pine-dawn-8PwUyIlP.js +1 -0
- package/assets/react-assets/rose-pine-moon-DO-qXg-I.js +1 -0
- package/assets/react-assets/rosmsg-CAekHB0j.js +1 -0
- package/assets/react-assets/rst-AIMhqvGa.js +1 -0
- package/assets/react-assets/ruby-CtRtjqyQ.js +1 -0
- package/assets/react-assets/rust-DpiIf5JO.js +1 -0
- package/assets/react-assets/sas-DQz8bb-2.js +1 -0
- package/assets/react-assets/sass-DXrisJhu.js +1 -0
- package/assets/react-assets/scala-BiFt_7mu.js +1 -0
- package/assets/react-assets/scheme-DQCgrYNe.js +1 -0
- package/assets/react-assets/scss-CO3ou3ls.js +1 -0
- package/assets/react-assets/sdbl-bTVj8UrX.js +1 -0
- package/assets/react-assets/shaderlab-TOUzSsQk.js +1 -0
- package/assets/react-assets/shellscript-C1WgFl3K.js +1 -0
- package/assets/react-assets/shellsession-CKkRjUyp.js +1 -0
- package/assets/react-assets/slack-dark-DnToyrRv.js +1 -0
- package/assets/react-assets/slack-ochin-B2OO5cIa.js +1 -0
- package/assets/react-assets/smalltalk-BHpQb5nM.js +1 -0
- package/assets/react-assets/smithy-Dgaz7aur.js +1 -0
- package/assets/react-assets/snazzy-light-4G7pJPwS.js +1 -0
- package/assets/react-assets/solarized-dark-b97czJOk.js +1 -0
- package/assets/react-assets/solarized-light-DFPxpIYQ.js +1 -0
- package/assets/react-assets/solidity-Bj7E1mRn.js +1 -0
- package/assets/react-assets/soy-8tJj7vyN.js +1 -0
- package/assets/react-assets/sparql-D_iOobhT.js +1 -0
- package/assets/react-assets/splunk-BC2Px7Mm.js +1 -0
- package/assets/react-assets/sql-B8GkTO_F.js +1 -0
- package/assets/react-assets/ssh-config-BgfXC-Er.js +1 -0
- package/assets/react-assets/stata-BcKydp--.js +1 -0
- package/assets/react-assets/stylus-B6D30XZt.js +1 -0
- package/assets/react-assets/surrealql-C-2dJeDv.js +1 -0
- package/assets/react-assets/svelte-Ch8XxebJ.js +1 -0
- package/assets/react-assets/swift-CyEgAFGc.js +1 -0
- package/assets/react-assets/synthwave-84-nFMaYfgc.js +1 -0
- package/assets/react-assets/system-verilog-Dh5ihWbf.js +1 -0
- package/assets/react-assets/systemd-BxMlprV5.js +1 -0
- package/assets/react-assets/talonscript-CohzipZa.js +1 -0
- package/assets/react-assets/tasl-DMoTqEGO.js +1 -0
- package/assets/react-assets/tcl-CZd0xW_V.js +1 -0
- package/assets/react-assets/templ-Fa-GCwLF.js +1 -0
- package/assets/react-assets/terraform-DswuEJGm.js +1 -0
- package/assets/react-assets/tex-D2tH8UUQ.js +1 -0
- package/assets/react-assets/tokyo-night-oM2G3aXe.js +1 -0
- package/assets/react-assets/toml-CcmNWLt0.js +1 -0
- package/assets/react-assets/ts-tags-D9vONbKp.js +1 -0
- package/assets/react-assets/tsv-sltzmVWM.js +1 -0
- package/assets/react-assets/tsx-Dj8pmprB.js +1 -0
- package/assets/react-assets/turtle-ByJddavk.js +1 -0
- package/assets/react-assets/twig-B1qKkbsm.js +1 -0
- package/assets/react-assets/typescript-Bw1kP_6B.js +1 -0
- package/assets/react-assets/typespec-BGhR2SqG.js +1 -0
- package/assets/react-assets/typst-BkB6Ks1-.js +1 -0
- package/assets/react-assets/v-DBj4K9d_.js +1 -0
- package/assets/react-assets/vala-zf12oZj6.js +1 -0
- package/assets/react-assets/vb-DOwzaHZ0.js +1 -0
- package/assets/react-assets/verilog-B2gwz-sJ.js +1 -0
- package/assets/react-assets/vesper-DdrHHSXu.js +1 -0
- package/assets/react-assets/vhdl-BroJfC0k.js +1 -0
- package/assets/react-assets/viml-DvXPmvsu.js +1 -0
- package/assets/react-assets/vitesse-black-fwtXNY1n.js +1 -0
- package/assets/react-assets/vitesse-dark-BZCL-v6S.js +1 -0
- package/assets/react-assets/vitesse-light-VbXTXTou.js +1 -0
- package/assets/react-assets/vue-N2R3uPgK.js +1 -0
- package/assets/react-assets/vue-html-jrBCmIZy.js +1 -0
- package/assets/react-assets/vue-vine-DdoKp2hK.js +1 -0
- package/assets/react-assets/vyper-CgoNMtux.js +1 -0
- package/assets/react-assets/wasm-BnjxR4X6.js +1 -0
- package/assets/react-assets/wasm-ByWQv1Qj.js +1 -0
- package/assets/react-assets/wenyan-C8pVoKbM.js +1 -0
- package/assets/react-assets/wgsl-BsKzXJz4.js +1 -0
- package/assets/react-assets/wikitext-ClFFjSW2.js +1 -0
- package/assets/react-assets/wit-DdvCle-K.js +1 -0
- package/assets/react-assets/wolfram-DLL8P-h_.js +1 -0
- package/assets/react-assets/xml-v9eB0C6o.js +1 -0
- package/assets/react-assets/xsl-DpucLfSt.js +1 -0
- package/assets/react-assets/yaml-CxJ4mz3I.js +1 -0
- package/assets/react-assets/zenscript-BnlCZFoB.js +1 -0
- package/assets/react-assets/zig-CMLA9XwU.js +1 -0
- package/assets/react.css +3 -0
- package/assets/react.js +65 -0
- package/dist/attention/RequestReceipt.d.ts +10 -0
- package/dist/attention/RequestReceipt.d.ts.map +1 -0
- package/dist/attention/RequestReceipt.js +11 -0
- package/dist/attention/RequestReceipt.js.map +1 -0
- package/dist/browser/diagnostics/schema.d.ts +49 -0
- package/dist/browser/diagnostics/schema.d.ts.map +1 -0
- package/dist/browser/diagnostics/schema.js +11 -0
- package/dist/browser/diagnostics/schema.js.map +1 -0
- package/dist/browser/document/ReadingContext.d.ts +29 -0
- package/dist/browser/document/ReadingContext.d.ts.map +1 -0
- package/dist/browser/document/ReadingContext.js +14 -0
- package/dist/browser/document/ReadingContext.js.map +1 -0
- package/dist/browser/document/schema.d.ts +221 -0
- package/dist/browser/document/schema.d.ts.map +1 -0
- package/dist/browser/document/schema.js +34 -0
- package/dist/browser/document/schema.js.map +1 -0
- package/dist/browser/escapeHtml.d.ts +2 -0
- package/dist/browser/escapeHtml.d.ts.map +1 -0
- package/dist/browser/escapeHtml.js +5 -0
- package/dist/browser/escapeHtml.js.map +1 -0
- package/dist/browser/navigation/html.d.ts +3 -0
- package/dist/browser/navigation/html.d.ts.map +1 -0
- package/dist/browser/navigation/html.js +25 -0
- package/dist/browser/navigation/html.js.map +1 -0
- package/dist/browser/navigation/schema.d.ts +47 -0
- package/dist/browser/navigation/schema.d.ts.map +1 -0
- package/dist/browser/navigation/schema.js +24 -0
- package/dist/browser/navigation/schema.js.map +1 -0
- package/dist/browser/responses/schema.d.ts +0 -8
- package/dist/browser/responses/schema.d.ts.map +1 -1
- package/dist/browser/responses/schema.js +0 -6
- package/dist/browser/responses/schema.js.map +1 -1
- package/dist/browser/views/ResultProjection.d.ts +245 -0
- package/dist/browser/views/ResultProjection.d.ts.map +1 -0
- package/dist/browser/views/ResultProjection.js +32 -0
- package/dist/browser/views/ResultProjection.js.map +1 -0
- package/dist/browser/views/remaining.d.ts +345 -0
- package/dist/browser/views/remaining.d.ts.map +1 -0
- package/dist/browser/views/remaining.js +21 -0
- package/dist/browser/views/remaining.js.map +1 -0
- package/dist/browser/views/schema.d.ts +715 -0
- package/dist/browser/views/schema.d.ts.map +1 -0
- package/dist/browser/views/schema.js +60 -0
- package/dist/browser/views/schema.js.map +1 -0
- package/dist/browser/views/state.d.ts.map +1 -0
- package/dist/browser/views/state.js.map +1 -0
- package/dist/client/client.d.ts +31 -0
- package/dist/client/client.d.ts.map +1 -0
- package/dist/client/client.js +64 -0
- package/dist/client/client.js.map +1 -0
- package/dist/client/document/Details.d.ts +289 -0
- package/dist/client/document/Details.d.ts.map +1 -0
- package/dist/client/document/Details.js +20 -0
- package/dist/client/document/Details.js.map +1 -0
- package/dist/client/document/Mermaid.d.ts +9 -0
- package/dist/client/document/Mermaid.d.ts.map +1 -0
- package/dist/client/document/Mermaid.js +105 -0
- package/dist/client/document/Mermaid.js.map +1 -0
- package/dist/client/document/View.d.ts +16 -0
- package/dist/client/document/View.d.ts.map +1 -0
- package/dist/client/document/View.js +71 -0
- package/dist/client/document/View.js.map +1 -0
- package/dist/client/document/boardLayout.d.ts +6 -0
- package/dist/client/document/boardLayout.d.ts.map +1 -0
- package/dist/client/document/boardLayout.js +69 -0
- package/dist/client/document/boardLayout.js.map +1 -0
- package/dist/client/document/highlight.d.ts +3 -0
- package/dist/client/document/highlight.d.ts.map +1 -0
- package/dist/client/document/highlight.js +10 -0
- package/dist/client/document/highlight.js.map +1 -0
- package/dist/client/document/layout.d.ts +5 -0
- package/dist/client/document/layout.d.ts.map +1 -0
- package/dist/client/document/layout.js +27 -0
- package/dist/client/document/layout.js.map +1 -0
- package/dist/client/entry.d.ts.map +1 -0
- package/dist/client/entry.js +3 -0
- package/dist/client/entry.js.map +1 -0
- package/dist/client/formDraft.d.ts +3 -0
- package/dist/client/formDraft.d.ts.map +1 -0
- package/dist/client/formDraft.js +8 -0
- package/dist/client/formDraft.js.map +1 -0
- package/dist/client/formFocus.d.ts +10 -0
- package/dist/client/formFocus.d.ts.map +1 -0
- package/dist/client/formFocus.js +29 -0
- package/dist/client/formFocus.js.map +1 -0
- package/dist/client/handoffs/failureStatus.d.ts +2 -0
- package/dist/client/handoffs/failureStatus.d.ts.map +1 -0
- package/dist/client/handoffs/failureStatus.js +7 -0
- package/dist/client/handoffs/failureStatus.js.map +1 -0
- package/dist/client/mockups/app.d.ts +2 -0
- package/dist/client/mockups/app.d.ts.map +1 -0
- package/dist/client/mockups/app.js +111 -0
- package/dist/client/mockups/app.js.map +1 -0
- package/dist/client/mockups/element.d.ts +2 -0
- package/dist/client/mockups/element.d.ts.map +1 -0
- package/dist/client/mockups/element.js +8 -0
- package/dist/client/mockups/element.js.map +1 -0
- package/dist/client/mockups/sampleData.d.ts +20 -0
- package/dist/client/mockups/sampleData.d.ts.map +1 -0
- package/dist/client/mockups/sampleData.js +82 -0
- package/dist/client/mockups/sampleData.js.map +1 -0
- package/dist/client/mockups/work.d.ts +3 -0
- package/dist/client/mockups/work.d.ts.map +1 -0
- package/dist/client/mockups/work.js +84 -0
- package/dist/client/mockups/work.js.map +1 -0
- package/dist/client/page/resolvedDocumentFailure.d.ts +3 -0
- package/dist/client/page/resolvedDocumentFailure.d.ts.map +1 -0
- package/dist/client/page/resolvedDocumentFailure.js +6 -0
- package/dist/client/page/resolvedDocumentFailure.js.map +1 -0
- package/dist/client/page/routeQuery.d.ts +185 -0
- package/dist/client/page/routeQuery.d.ts.map +1 -0
- package/dist/client/page/routeQuery.js +5 -0
- package/dist/client/page/routeQuery.js.map +1 -0
- package/dist/client/react/Age.d.ts +9 -0
- package/dist/client/react/Age.d.ts.map +1 -0
- package/dist/client/react/Age.js +32 -0
- package/dist/client/react/Age.js.map +1 -0
- package/dist/client/react/AnswerForm.d.ts +10 -0
- package/dist/client/react/AnswerForm.d.ts.map +1 -0
- package/dist/client/react/AnswerForm.js +27 -0
- package/dist/client/react/AnswerForm.js.map +1 -0
- package/dist/client/react/AnswerPanel.d.ts +5 -0
- package/dist/client/react/AnswerPanel.d.ts.map +1 -0
- package/dist/client/react/AnswerPanel.js +19 -0
- package/dist/client/react/AnswerPanel.js.map +1 -0
- package/dist/client/react/AnswerPrompts.d.ts +15 -0
- package/dist/client/react/AnswerPrompts.d.ts.map +1 -0
- package/dist/client/react/AnswerPrompts.js +42 -0
- package/dist/client/react/AnswerPrompts.js.map +1 -0
- package/dist/client/react/BoardMain.d.ts +10 -0
- package/dist/client/react/BoardMain.d.ts.map +1 -0
- package/dist/client/react/BoardMain.js +19 -0
- package/dist/client/react/BoardMain.js.map +1 -0
- package/dist/client/react/BoardShell.d.ts +13 -0
- package/dist/client/react/BoardShell.d.ts.map +1 -0
- package/dist/client/react/BoardShell.js +75 -0
- package/dist/client/react/BoardShell.js.map +1 -0
- package/dist/client/react/ChangesMain.d.ts +8 -0
- package/dist/client/react/ChangesMain.d.ts.map +1 -0
- package/dist/client/react/ChangesMain.js +24 -0
- package/dist/client/react/ChangesMain.js.map +1 -0
- package/dist/client/react/DiagnosticsFleet.d.ts +6 -0
- package/dist/client/react/DiagnosticsFleet.d.ts.map +1 -0
- package/dist/client/react/DiagnosticsFleet.js +16 -0
- package/dist/client/react/DiagnosticsFleet.js.map +1 -0
- package/dist/client/react/DiagnosticsMain.d.ts +8 -0
- package/dist/client/react/DiagnosticsMain.d.ts.map +1 -0
- package/dist/client/react/DiagnosticsMain.js +11 -0
- package/dist/client/react/DiagnosticsMain.js.map +1 -0
- package/dist/client/react/DiagnosticsPage.d.ts +5 -0
- package/dist/client/react/DiagnosticsPage.d.ts.map +1 -0
- package/dist/client/react/DiagnosticsPage.js +23 -0
- package/dist/client/react/DiagnosticsPage.js.map +1 -0
- package/dist/client/react/DocumentAttention.d.ts +5 -0
- package/dist/client/react/DocumentAttention.d.ts.map +1 -0
- package/dist/client/react/DocumentAttention.js +23 -0
- package/dist/client/react/DocumentAttention.js.map +1 -0
- package/dist/client/react/DocumentClaims.d.ts +5 -0
- package/dist/client/react/DocumentClaims.d.ts.map +1 -0
- package/dist/client/react/DocumentClaims.js +26 -0
- package/dist/client/react/DocumentClaims.js.map +1 -0
- package/dist/client/react/DocumentContext.d.ts +5 -0
- package/dist/client/react/DocumentContext.d.ts.map +1 -0
- package/dist/client/react/DocumentContext.js +50 -0
- package/dist/client/react/DocumentContext.js.map +1 -0
- package/dist/client/react/DocumentCriteria.d.ts +5 -0
- package/dist/client/react/DocumentCriteria.d.ts.map +1 -0
- package/dist/client/react/DocumentCriteria.js +28 -0
- package/dist/client/react/DocumentCriteria.js.map +1 -0
- package/dist/client/react/DocumentEvidence.d.ts +5 -0
- package/dist/client/react/DocumentEvidence.d.ts.map +1 -0
- package/dist/client/react/DocumentEvidence.js +8 -0
- package/dist/client/react/DocumentEvidence.js.map +1 -0
- package/dist/client/react/DocumentMain.d.ts +8 -0
- package/dist/client/react/DocumentMain.d.ts.map +1 -0
- package/dist/client/react/DocumentMain.js +51 -0
- package/dist/client/react/DocumentMain.js.map +1 -0
- package/dist/client/react/DocumentMetadata.d.ts +5 -0
- package/dist/client/react/DocumentMetadata.d.ts.map +1 -0
- package/dist/client/react/DocumentMetadata.js +10 -0
- package/dist/client/react/DocumentMetadata.js.map +1 -0
- package/dist/client/react/DocumentPage.d.ts +5 -0
- package/dist/client/react/DocumentPage.d.ts.map +1 -0
- package/dist/client/react/DocumentPage.js +14 -0
- package/dist/client/react/DocumentPage.js.map +1 -0
- package/dist/client/react/DocumentRecords.d.ts +5 -0
- package/dist/client/react/DocumentRecords.d.ts.map +1 -0
- package/dist/client/react/DocumentRecords.js +7 -0
- package/dist/client/react/DocumentRecords.js.map +1 -0
- package/dist/client/react/DocumentWorkMetadata.d.ts +5 -0
- package/dist/client/react/DocumentWorkMetadata.d.ts.map +1 -0
- package/dist/client/react/DocumentWorkMetadata.js +31 -0
- package/dist/client/react/DocumentWorkMetadata.js.map +1 -0
- package/dist/client/react/Favorite.d.ts +5 -0
- package/dist/client/react/Favorite.d.ts.map +1 -0
- package/dist/client/react/Favorite.js +10 -0
- package/dist/client/react/Favorite.js.map +1 -0
- package/dist/client/react/FormField.d.ts +13 -0
- package/dist/client/react/FormField.d.ts.map +1 -0
- package/dist/client/react/FormField.js +39 -0
- package/dist/client/react/FormField.js.map +1 -0
- package/dist/client/react/HandoffForm.d.ts +5 -0
- package/dist/client/react/HandoffForm.d.ts.map +1 -0
- package/dist/client/react/HandoffForm.js +27 -0
- package/dist/client/react/HandoffForm.js.map +1 -0
- package/dist/client/react/HandoffPage.d.ts +5 -0
- package/dist/client/react/HandoffPage.d.ts.map +1 -0
- package/dist/client/react/HandoffPage.js +15 -0
- package/dist/client/react/HandoffPage.js.map +1 -0
- package/dist/client/react/HandoffPrompt.d.ts +6 -0
- package/dist/client/react/HandoffPrompt.d.ts.map +1 -0
- package/dist/client/react/HandoffPrompt.js +21 -0
- package/dist/client/react/HandoffPrompt.js.map +1 -0
- package/dist/client/react/Header.d.ts +19 -0
- package/dist/client/react/Header.d.ts.map +1 -0
- package/dist/client/react/Header.js +13 -0
- package/dist/client/react/Header.js.map +1 -0
- package/dist/client/react/HistoryComparison.d.ts +5 -0
- package/dist/client/react/HistoryComparison.d.ts.map +1 -0
- package/dist/client/react/HistoryComparison.js +14 -0
- package/dist/client/react/HistoryComparison.js.map +1 -0
- package/dist/client/react/HistoryRetention.d.ts +5 -0
- package/dist/client/react/HistoryRetention.d.ts.map +1 -0
- package/dist/client/react/HistoryRetention.js +28 -0
- package/dist/client/react/HistoryRetention.js.map +1 -0
- package/dist/client/react/HomeBoard.d.ts +5 -0
- package/dist/client/react/HomeBoard.d.ts.map +1 -0
- package/dist/client/react/HomeBoard.js +8 -0
- package/dist/client/react/HomeBoard.js.map +1 -0
- package/dist/client/react/InboxPage.d.ts +5 -0
- package/dist/client/react/InboxPage.d.ts.map +1 -0
- package/dist/client/react/InboxPage.js +18 -0
- package/dist/client/react/InboxPage.js.map +1 -0
- package/dist/client/react/LiveControls.d.ts +8 -0
- package/dist/client/react/LiveControls.d.ts.map +1 -0
- package/dist/client/react/LiveControls.js +51 -0
- package/dist/client/react/LiveControls.js.map +1 -0
- package/dist/client/react/Modal.d.ts +12 -0
- package/dist/client/react/Modal.d.ts.map +1 -0
- package/dist/client/react/Modal.js +62 -0
- package/dist/client/react/Modal.js.map +1 -0
- package/dist/client/react/NavigationTree.d.ts +6 -0
- package/dist/client/react/NavigationTree.d.ts.map +1 -0
- package/dist/client/react/NavigationTree.js +29 -0
- package/dist/client/react/NavigationTree.js.map +1 -0
- package/dist/client/react/OverviewGroups.d.ts +5 -0
- package/dist/client/react/OverviewGroups.d.ts.map +1 -0
- package/dist/client/react/OverviewGroups.js +18 -0
- package/dist/client/react/OverviewGroups.js.map +1 -0
- package/dist/client/react/OverviewPage.d.ts +5 -0
- package/dist/client/react/OverviewPage.d.ts.map +1 -0
- package/dist/client/react/OverviewPage.js +16 -0
- package/dist/client/react/OverviewPage.js.map +1 -0
- package/dist/client/react/ProjectionFrame.d.ts +19 -0
- package/dist/client/react/ProjectionFrame.d.ts.map +1 -0
- package/dist/client/react/ProjectionFrame.js +85 -0
- package/dist/client/react/ProjectionFrame.js.map +1 -0
- package/dist/client/react/ProjectionMain.d.ts +10 -0
- package/dist/client/react/ProjectionMain.d.ts.map +1 -0
- package/dist/client/react/ProjectionMain.js +22 -0
- package/dist/client/react/ProjectionMain.js.map +1 -0
- package/dist/client/react/PromptOption.d.ts +12 -0
- package/dist/client/react/PromptOption.d.ts.map +1 -0
- package/dist/client/react/PromptOption.js +9 -0
- package/dist/client/react/PromptOption.js.map +1 -0
- package/dist/client/react/ReadingLibrary.d.ts +9 -0
- package/dist/client/react/ReadingLibrary.d.ts.map +1 -0
- package/dist/client/react/ReadingLibrary.js +78 -0
- package/dist/client/react/ReadingLibrary.js.map +1 -0
- package/dist/client/react/Reference.d.ts +6 -0
- package/dist/client/react/Reference.d.ts.map +1 -0
- package/dist/client/react/Reference.js +6 -0
- package/dist/client/react/Reference.js.map +1 -0
- package/dist/client/react/RemainingMain.d.ts +10 -0
- package/dist/client/react/RemainingMain.d.ts.map +1 -0
- package/dist/client/react/RemainingMain.js +27 -0
- package/dist/client/react/RemainingMain.js.map +1 -0
- package/dist/client/react/RespondPage.d.ts +5 -0
- package/dist/client/react/RespondPage.d.ts.map +1 -0
- package/dist/client/react/RespondPage.js +16 -0
- package/dist/client/react/RespondPage.js.map +1 -0
- package/dist/client/react/ResponseHistory.d.ts +5 -0
- package/dist/client/react/ResponseHistory.d.ts.map +1 -0
- package/dist/client/react/ResponseHistory.js +12 -0
- package/dist/client/react/ResponseHistory.js.map +1 -0
- package/dist/client/react/ResponseMarkdown.d.ts +5 -0
- package/dist/client/react/ResponseMarkdown.d.ts.map +1 -0
- package/dist/client/react/ResponseMarkdown.js +22 -0
- package/dist/client/react/ResponseMarkdown.js.map +1 -0
- package/dist/client/react/ResultCriteria.d.ts +5 -0
- package/dist/client/react/ResultCriteria.d.ts.map +1 -0
- package/dist/client/react/ResultCriteria.js +33 -0
- package/dist/client/react/ResultCriteria.js.map +1 -0
- package/dist/client/react/ResultFeedback.d.ts +5 -0
- package/dist/client/react/ResultFeedback.d.ts.map +1 -0
- package/dist/client/react/ResultFeedback.js +12 -0
- package/dist/client/react/ResultFeedback.js.map +1 -0
- package/dist/client/react/ResultPage.d.ts +5 -0
- package/dist/client/react/ResultPage.d.ts.map +1 -0
- package/dist/client/react/ResultPage.js +15 -0
- package/dist/client/react/ResultPage.js.map +1 -0
- package/dist/client/react/SavedViews.d.ts +4 -0
- package/dist/client/react/SavedViews.d.ts.map +1 -0
- package/dist/client/react/SavedViews.js +16 -0
- package/dist/client/react/SavedViews.js.map +1 -0
- package/dist/client/react/SearchDialog.d.ts +11 -0
- package/dist/client/react/SearchDialog.d.ts.map +1 -0
- package/dist/client/react/SearchDialog.js +67 -0
- package/dist/client/react/SearchDialog.js.map +1 -0
- package/dist/client/react/SearchResults.d.ts +7 -0
- package/dist/client/react/SearchResults.d.ts.map +1 -0
- package/dist/client/react/SearchResults.js +19 -0
- package/dist/client/react/SearchResults.js.map +1 -0
- package/dist/client/react/ShellApi.d.ts +17 -0
- package/dist/client/react/ShellApi.d.ts.map +1 -0
- package/dist/client/react/ShellApi.js +2 -0
- package/dist/client/react/ShellApi.js.map +1 -0
- package/dist/client/react/Sidebar.d.ts +11 -0
- package/dist/client/react/Sidebar.d.ts.map +1 -0
- package/dist/client/react/Sidebar.js +49 -0
- package/dist/client/react/Sidebar.js.map +1 -0
- package/dist/client/react/StartPage.d.ts +5 -0
- package/dist/client/react/StartPage.d.ts.map +1 -0
- package/dist/client/react/StartPage.js +5 -0
- package/dist/client/react/StartPage.js.map +1 -0
- package/dist/client/react/UpdatesToggle.d.ts +5 -0
- package/dist/client/react/UpdatesToggle.d.ts.map +1 -0
- package/dist/client/react/UpdatesToggle.js +9 -0
- package/dist/client/react/UpdatesToggle.js.map +1 -0
- package/dist/client/react/VisualControls.d.ts +17 -0
- package/dist/client/react/VisualControls.d.ts.map +1 -0
- package/dist/client/react/VisualControls.js +6 -0
- package/dist/client/react/VisualControls.js.map +1 -0
- package/dist/client/react/VisualInspection.d.ts +2 -0
- package/dist/client/react/VisualInspection.d.ts.map +1 -0
- package/dist/client/react/VisualInspection.js +26 -0
- package/dist/client/react/VisualInspection.js.map +1 -0
- package/dist/client/react/VisualViewer.d.ts +6 -0
- package/dist/client/react/VisualViewer.d.ts.map +1 -0
- package/dist/client/react/VisualViewer.js +106 -0
- package/dist/client/react/VisualViewer.js.map +1 -0
- package/dist/client/react/WorkCards.d.ts +5 -0
- package/dist/client/react/WorkCards.d.ts.map +1 -0
- package/dist/client/react/WorkCards.js +13 -0
- package/dist/client/react/WorkCards.js.map +1 -0
- package/dist/client/react/WorkControls.d.ts +5 -0
- package/dist/client/react/WorkControls.d.ts.map +1 -0
- package/dist/client/react/WorkControls.js +18 -0
- package/dist/client/react/WorkControls.js.map +1 -0
- package/dist/client/react/WorkDetail.d.ts +5 -0
- package/dist/client/react/WorkDetail.d.ts.map +1 -0
- package/dist/client/react/WorkDetail.js +12 -0
- package/dist/client/react/WorkDetail.js.map +1 -0
- package/dist/client/react/WorkItemTitle.d.ts +7 -0
- package/dist/client/react/WorkItemTitle.d.ts.map +1 -0
- package/dist/client/react/WorkItemTitle.js +6 -0
- package/dist/client/react/WorkItemTitle.js.map +1 -0
- package/dist/client/react/WorkPage.d.ts +5 -0
- package/dist/client/react/WorkPage.d.ts.map +1 -0
- package/dist/client/react/WorkPage.js +17 -0
- package/dist/client/react/WorkPage.js.map +1 -0
- package/dist/client/react/WorkResults.d.ts +5 -0
- package/dist/client/react/WorkResults.d.ts.map +1 -0
- package/dist/client/react/WorkResults.js +10 -0
- package/dist/client/react/WorkResults.js.map +1 -0
- package/dist/client/react/WorkTable.d.ts +5 -0
- package/dist/client/react/WorkTable.d.ts.map +1 -0
- package/dist/client/react/WorkTable.js +10 -0
- package/dist/client/react/WorkTable.js.map +1 -0
- package/dist/client/react/WorkTools.d.ts +5 -0
- package/dist/client/react/WorkTools.d.ts.map +1 -0
- package/dist/client/react/WorkTools.js +7 -0
- package/dist/client/react/WorkTools.js.map +1 -0
- package/dist/client/react/activeRead.d.ts +7 -0
- package/dist/client/react/activeRead.d.ts.map +1 -0
- package/dist/client/react/activeRead.js +13 -0
- package/dist/client/react/activeRead.js.map +1 -0
- package/dist/client/react/boardRouter.d.ts +13 -0
- package/dist/client/react/boardRouter.d.ts.map +1 -0
- package/dist/client/react/boardRouter.js +35 -0
- package/dist/client/react/boardRouter.js.map +1 -0
- package/dist/client/react/createResponse.d.ts +26 -0
- package/dist/client/react/createResponse.d.ts.map +1 -0
- package/dist/client/react/createResponse.js +29 -0
- package/dist/client/react/createResponse.js.map +1 -0
- package/dist/client/react/diagnosticsValues.d.ts +13 -0
- package/dist/client/react/diagnosticsValues.d.ts.map +1 -0
- package/dist/client/react/diagnosticsValues.js +49 -0
- package/dist/client/react/diagnosticsValues.js.map +1 -0
- package/dist/client/react/documentRoute.d.ts +3 -0
- package/dist/client/react/documentRoute.d.ts.map +1 -0
- package/dist/client/react/documentRoute.js +11 -0
- package/dist/client/react/documentRoute.js.map +1 -0
- package/dist/client/react/entry.d.ts +2 -0
- package/dist/client/react/entry.d.ts.map +1 -0
- package/dist/client/react/entry.js +44 -0
- package/dist/client/react/entry.js.map +1 -0
- package/dist/client/react/historyStore.d.ts +7 -0
- package/dist/client/react/historyStore.d.ts.map +1 -0
- package/dist/client/react/historyStore.js +61 -0
- package/dist/client/react/historyStore.js.map +1 -0
- package/dist/client/react/keyed.d.ts +6 -0
- package/dist/client/react/keyed.d.ts.map +1 -0
- package/dist/client/react/keyed.js +10 -0
- package/dist/client/react/keyed.js.map +1 -0
- package/dist/client/react/lib/cn.d.ts +3 -0
- package/dist/client/react/lib/cn.d.ts.map +1 -0
- package/dist/client/react/lib/cn.js +6 -0
- package/dist/client/react/lib/cn.js.map +1 -0
- package/dist/client/react/liveStatus.d.ts +16 -0
- package/dist/client/react/liveStatus.d.ts.map +1 -0
- package/dist/client/react/liveStatus.js +43 -0
- package/dist/client/react/liveStatus.js.map +1 -0
- package/dist/client/react/loadBoardPage.d.ts +14 -0
- package/dist/client/react/loadBoardPage.d.ts.map +1 -0
- package/dist/client/react/loadBoardPage.js +47 -0
- package/dist/client/react/loadBoardPage.js.map +1 -0
- package/dist/client/react/loadProjection.d.ts +674 -0
- package/dist/client/react/loadProjection.d.ts.map +1 -0
- package/dist/client/react/loadProjection.js +15 -0
- package/dist/client/react/loadProjection.js.map +1 -0
- package/dist/client/react/loadRemaining.d.ts +577 -0
- package/dist/client/react/loadRemaining.d.ts.map +1 -0
- package/dist/client/react/loadRemaining.js +19 -0
- package/dist/client/react/loadRemaining.js.map +1 -0
- package/dist/client/react/mainLocation.d.ts +6 -0
- package/dist/client/react/mainLocation.d.ts.map +1 -0
- package/dist/client/react/mainLocation.js +9 -0
- package/dist/client/react/mainLocation.js.map +1 -0
- package/dist/client/react/navigationLocation.d.ts +33 -0
- package/dist/client/react/navigationLocation.d.ts.map +1 -0
- package/dist/client/react/navigationLocation.js +22 -0
- package/dist/client/react/navigationLocation.js.map +1 -0
- package/dist/client/react/pageQuery.d.ts +5 -0
- package/dist/client/react/pageQuery.d.ts.map +1 -0
- package/dist/client/react/pageQuery.js +35 -0
- package/dist/client/react/pageQuery.js.map +1 -0
- package/dist/client/react/projectionChanges.d.ts +6 -0
- package/dist/client/react/projectionChanges.d.ts.map +1 -0
- package/dist/client/react/projectionChanges.js +16 -0
- package/dist/client/react/projectionChanges.js.map +1 -0
- package/dist/client/react/projectionRoute.d.ts +4 -0
- package/dist/client/react/projectionRoute.d.ts.map +1 -0
- package/dist/client/react/projectionRoute.js +18 -0
- package/dist/client/react/projectionRoute.js.map +1 -0
- package/dist/client/react/readerLink.d.ts +2 -0
- package/dist/client/react/readerLink.d.ts.map +1 -0
- package/dist/client/react/readerLink.js +8 -0
- package/dist/client/react/readerLink.js.map +1 -0
- package/dist/client/react/readingHistory.d.ts +38 -0
- package/dist/client/react/readingHistory.d.ts.map +1 -0
- package/dist/client/react/readingHistory.js +33 -0
- package/dist/client/react/readingHistory.js.map +1 -0
- package/dist/client/react/readingLibrary.d.ts +24 -0
- package/dist/client/react/readingLibrary.d.ts.map +1 -0
- package/dist/client/react/readingLibrary.js +18 -0
- package/dist/client/react/readingLibrary.js.map +1 -0
- package/dist/client/react/readingState.d.ts +20 -0
- package/dist/client/react/readingState.d.ts.map +1 -0
- package/dist/client/react/readingState.js +133 -0
- package/dist/client/react/readingState.js.map +1 -0
- package/dist/client/react/remainingRoute.d.ts +3 -0
- package/dist/client/react/remainingRoute.d.ts.map +1 -0
- package/dist/client/react/remainingRoute.js +19 -0
- package/dist/client/react/remainingRoute.js.map +1 -0
- package/dist/client/react/savedViews.d.ts +14 -0
- package/dist/client/react/savedViews.d.ts.map +1 -0
- package/dist/client/react/savedViews.js +87 -0
- package/dist/client/react/savedViews.js.map +1 -0
- package/dist/client/react/scheduleReading.d.ts +3 -0
- package/dist/client/react/scheduleReading.d.ts.map +1 -0
- package/dist/client/react/scheduleReading.js +36 -0
- package/dist/client/react/scheduleReading.js.map +1 -0
- package/dist/client/react/searchCommands.d.ts +11 -0
- package/dist/client/react/searchCommands.d.ts.map +1 -0
- package/dist/client/react/searchCommands.js +7 -0
- package/dist/client/react/searchCommands.js.map +1 -0
- package/dist/client/react/searchStatus.d.ts +6 -0
- package/dist/client/react/searchStatus.d.ts.map +1 -0
- package/dist/client/react/searchStatus.js +20 -0
- package/dist/client/react/searchStatus.js.map +1 -0
- package/dist/client/react/shellIds.d.ts +92 -0
- package/dist/client/react/shellIds.d.ts.map +1 -0
- package/dist/client/react/shellIds.js +92 -0
- package/dist/client/react/shellIds.js.map +1 -0
- package/dist/client/react/useAppearance.d.ts +14 -0
- package/dist/client/react/useAppearance.d.ts.map +1 -0
- package/dist/client/react/useAppearance.js +55 -0
- package/dist/client/react/useAppearance.js.map +1 -0
- package/dist/client/react/useBoardNavigation.d.ts +3 -0
- package/dist/client/react/useBoardNavigation.d.ts.map +1 -0
- package/dist/client/react/useBoardNavigation.js +129 -0
- package/dist/client/react/useBoardNavigation.js.map +1 -0
- package/dist/client/react/useDiagnosticsPolling.d.ts +3 -0
- package/dist/client/react/useDiagnosticsPolling.d.ts.map +1 -0
- package/dist/client/react/useDiagnosticsPolling.js +23 -0
- package/dist/client/react/useDiagnosticsPolling.js.map +1 -0
- package/dist/client/react/useDocumentPage.d.ts +10 -0
- package/dist/client/react/useDocumentPage.d.ts.map +1 -0
- package/dist/client/react/useDocumentPage.js +67 -0
- package/dist/client/react/useDocumentPage.js.map +1 -0
- package/dist/client/react/useFormFocus.d.ts +5 -0
- package/dist/client/react/useFormFocus.d.ts.map +1 -0
- package/dist/client/react/useFormFocus.js +46 -0
- package/dist/client/react/useFormFocus.js.map +1 -0
- package/dist/client/react/useHandoffForm.d.ts +69 -0
- package/dist/client/react/useHandoffForm.d.ts.map +1 -0
- package/dist/client/react/useHandoffForm.js +102 -0
- package/dist/client/react/useHandoffForm.js.map +1 -0
- package/dist/client/react/useHistoryComparison.d.ts +33 -0
- package/dist/client/react/useHistoryComparison.d.ts.map +1 -0
- package/dist/client/react/useHistoryComparison.js +146 -0
- package/dist/client/react/useHistoryComparison.js.map +1 -0
- package/dist/client/react/useMedia.d.ts +2 -0
- package/dist/client/react/useMedia.d.ts.map +1 -0
- package/dist/client/react/useMedia.js +19 -0
- package/dist/client/react/useMedia.js.map +1 -0
- package/dist/client/react/useResponseForm.d.ts +107 -0
- package/dist/client/react/useResponseForm.d.ts.map +1 -0
- package/dist/client/react/useResponseForm.js +138 -0
- package/dist/client/react/useResponseForm.js.map +1 -0
- package/dist/client/react/useSearchDialog.d.ts +7 -0
- package/dist/client/react/useSearchDialog.d.ts.map +1 -0
- package/dist/client/react/useSearchDialog.js +26 -0
- package/dist/client/react/useSearchDialog.js.map +1 -0
- package/dist/client/react/useSidebar.d.ts +9 -0
- package/dist/client/react/useSidebar.d.ts.map +1 -0
- package/dist/client/react/useSidebar.js +77 -0
- package/dist/client/react/useSidebar.js.map +1 -0
- package/dist/client/react/visualDimensions.d.ts +3 -0
- package/dist/client/react/visualDimensions.d.ts.map +1 -0
- package/dist/client/react/visualDimensions.js +21 -0
- package/dist/client/react/visualDimensions.js.map +1 -0
- package/dist/client/react/visualSources.d.ts +13 -0
- package/dist/client/react/visualSources.d.ts.map +1 -0
- package/dist/client/react/visualSources.js +92 -0
- package/dist/client/react/visualSources.js.map +1 -0
- package/dist/client/reconcile/at.d.ts +2 -0
- package/dist/client/reconcile/at.d.ts.map +1 -0
- package/dist/client/reconcile/at.js +8 -0
- package/dist/client/reconcile/at.js.map +1 -0
- package/dist/client/reconcile/matches.d.ts +4 -0
- package/dist/client/reconcile/matches.d.ts.map +1 -0
- package/dist/client/reconcile/matches.js +52 -0
- package/dist/client/reconcile/matches.js.map +1 -0
- package/dist/client/reconcile/normalized.d.ts +3 -0
- package/dist/client/reconcile/normalized.d.ts.map +1 -0
- package/dist/client/reconcile/normalized.js +47 -0
- package/dist/client/reconcile/normalized.js.map +1 -0
- package/dist/client/responses/answerRecovery.d.ts +14 -0
- package/dist/client/responses/answerRecovery.d.ts.map +1 -0
- package/dist/client/responses/answerRecovery.js +33 -0
- package/dist/client/responses/answerRecovery.js.map +1 -0
- package/dist/client/responses/authorLabel.d.ts +5 -0
- package/dist/client/responses/authorLabel.d.ts.map +1 -0
- package/dist/client/responses/authorLabel.js +25 -0
- package/dist/client/responses/authorLabel.js.map +1 -0
- package/dist/client/responses/failure.d.ts +5 -0
- package/dist/client/responses/failure.d.ts.map +1 -0
- package/dist/client/responses/failure.js +13 -0
- package/dist/client/responses/failure.js.map +1 -0
- package/dist/client/responses/formSchema.d.ts +26 -0
- package/dist/client/responses/formSchema.d.ts.map +1 -0
- package/dist/client/responses/formSchema.js +18 -0
- package/dist/client/responses/formSchema.js.map +1 -0
- package/dist/client/responses/preview.d.ts +4 -0
- package/dist/client/responses/preview.d.ts.map +1 -0
- package/dist/client/responses/preview.js +5 -0
- package/dist/client/responses/preview.js.map +1 -0
- package/dist/client/responses/retainContext.d.ts +6 -0
- package/dist/client/responses/retainContext.d.ts.map +1 -0
- package/dist/client/responses/retainContext.js +12 -0
- package/dist/client/responses/retainContext.js.map +1 -0
- package/dist/client/responses/summary.d.ts +6 -0
- package/dist/client/responses/summary.d.ts.map +1 -0
- package/dist/client/responses/summary.js +21 -0
- package/dist/client/responses/summary.js.map +1 -0
- package/dist/client/session.d.ts.map +1 -0
- package/dist/client/session.js.map +1 -0
- package/dist/client/sourceChanged.d.ts +2 -0
- package/dist/client/sourceChanged.d.ts.map +1 -0
- package/dist/client/sourceChanged.js +4 -0
- package/dist/client/sourceChanged.js.map +1 -0
- package/dist/diagnostics/daemonContract.d.ts +208 -0
- package/dist/diagnostics/daemonContract.d.ts.map +1 -0
- package/dist/diagnostics/daemonContract.js +23 -0
- package/dist/diagnostics/daemonContract.js.map +1 -0
- package/dist/diagnostics/health.d.ts +28 -0
- package/dist/diagnostics/health.d.ts.map +1 -0
- package/dist/diagnostics/health.js +18 -0
- package/dist/diagnostics/health.js.map +1 -0
- package/dist/diagnostics/resetLabel.d.ts +2 -0
- package/dist/diagnostics/resetLabel.d.ts.map +1 -0
- package/dist/diagnostics/resetLabel.js +20 -0
- package/dist/diagnostics/resetLabel.js.map +1 -0
- package/dist/diagnostics/source.d.ts +160 -0
- package/dist/diagnostics/source.d.ts.map +1 -0
- package/dist/diagnostics/source.js +36 -0
- package/dist/diagnostics/source.js.map +1 -0
- package/dist/history/schema.d.ts +33 -0
- package/dist/history/schema.d.ts.map +1 -1
- package/dist/history/schema.js +12 -0
- package/dist/history/schema.js.map +1 -1
- package/dist/integration/metadata.d.ts +28 -0
- package/dist/integration/metadata.d.ts.map +1 -0
- package/dist/integration/metadata.js +2 -0
- package/dist/integration/metadata.js.map +1 -0
- package/dist/metadata/schema.d.ts +15 -0
- package/dist/metadata/schema.d.ts.map +1 -1
- package/dist/metadata/schema.js +7 -1
- package/dist/metadata/schema.js.map +1 -1
- package/dist/render/code.d.ts +7 -1
- package/dist/render/code.d.ts.map +1 -1
- package/dist/render/code.js +22 -18
- package/dist/render/code.js.map +1 -1
- package/dist/render/documentHeadings.d.ts +1 -1
- package/dist/render/documentHeadings.d.ts.map +1 -1
- package/dist/render/documentHeadings.js +7 -1
- package/dist/render/documentHeadings.js.map +1 -1
- package/dist/render/documentLinks.d.ts +2 -1
- package/dist/render/documentLinks.d.ts.map +1 -1
- package/dist/render/documentLinks.js +10 -3
- package/dist/render/documentLinks.js.map +1 -1
- package/dist/render/documentPlugins.d.ts +3 -0
- package/dist/render/documentPlugins.d.ts.map +1 -0
- package/dist/render/documentPlugins.js +9 -0
- package/dist/render/documentPlugins.js.map +1 -0
- package/dist/render/failed.d.ts +6 -6
- package/dist/render/failed.d.ts.map +1 -1
- package/dist/render/failed.js +5 -2
- package/dist/render/failed.js.map +1 -1
- package/dist/render/footnotes.js +2 -2
- package/dist/render/footnotes.js.map +1 -1
- package/dist/render/questionnaireDocuments.d.ts +1 -1
- package/dist/render/questionnaireDocuments.d.ts.map +1 -1
- package/dist/render/questionnaireDocuments.js +20 -1
- package/dist/render/questionnaireDocuments.js.map +1 -1
- package/dist/render/visual.d.ts.map +1 -1
- package/dist/render/visual.js +8 -7
- package/dist/render/visual.js.map +1 -1
- package/dist/render/visualDocuments.d.ts.map +1 -1
- package/dist/render/visualDocuments.js +5 -4
- package/dist/render/visualDocuments.js.map +1 -1
- package/dist/responses/current.d.ts +3 -0
- package/dist/responses/current.d.ts.map +1 -0
- package/dist/responses/current.js +10 -0
- package/dist/responses/current.js.map +1 -0
- package/dist/responses/url.d.ts +2 -0
- package/dist/responses/url.d.ts.map +1 -0
- package/dist/responses/url.js +4 -0
- package/dist/responses/url.js.map +1 -0
- package/dist/rpc/contract.d.ts +4711 -156
- package/dist/rpc/contract.d.ts.map +1 -1
- package/dist/rpc/contract.js +94 -14
- package/dist/rpc/contract.js.map +1 -1
- package/dist/rpc/handoffContract.d.ts +62 -38
- package/dist/rpc/handoffContract.d.ts.map +1 -1
- package/dist/rpc/handoffContract.js +6 -5
- package/dist/rpc/handoffContract.js.map +1 -1
- package/dist/rpc/rejections.d.ts +34 -0
- package/dist/rpc/rejections.d.ts.map +1 -0
- package/dist/rpc/rejections.js +21 -0
- package/dist/rpc/rejections.js.map +1 -0
- package/dist/rpc/responseContract.d.ts +94 -54
- package/dist/rpc/responseContract.d.ts.map +1 -1
- package/dist/rpc/responseContract.js +9 -7
- package/dist/rpc/responseContract.js.map +1 -1
- package/dist/server/attention/inbox.d.ts +16 -0
- package/dist/server/attention/inbox.d.ts.map +1 -0
- package/dist/server/attention/inbox.js +107 -0
- package/dist/server/attention/inbox.js.map +1 -0
- package/dist/server/attention/inboxHtml.d.ts +4 -0
- package/dist/server/attention/inboxHtml.d.ts.map +1 -0
- package/dist/server/attention/inboxHtml.js +48 -0
- package/dist/server/attention/inboxHtml.js.map +1 -0
- package/dist/server/attention/managedRequestReceipt.d.ts +7 -0
- package/dist/server/attention/managedRequestReceipt.d.ts.map +1 -0
- package/dist/server/attention/managedRequestReceipt.js +74 -0
- package/dist/server/attention/managedRequestReceipt.js.map +1 -0
- package/dist/server/attention/overviewHtml.d.ts +3 -0
- package/dist/server/attention/overviewHtml.d.ts.map +1 -0
- package/dist/server/attention/overviewHtml.js +43 -0
- package/dist/server/attention/overviewHtml.js.map +1 -0
- package/dist/server/attention/questionState.d.ts +11 -0
- package/dist/server/attention/questionState.d.ts.map +1 -0
- package/dist/server/attention/questionState.js +56 -0
- package/dist/server/attention/questionState.js.map +1 -0
- package/dist/server/attention/requests.d.ts +25 -0
- package/dist/server/attention/requests.d.ts.map +1 -0
- package/dist/server/attention/requests.js +45 -0
- package/dist/server/attention/requests.js.map +1 -0
- package/dist/server/attention/style.d.ts.map +1 -0
- package/dist/server/attention/style.js.map +1 -0
- package/dist/server/board.d.ts +18 -0
- package/dist/server/board.d.ts.map +1 -0
- package/dist/server/board.js +22 -0
- package/dist/server/board.js.map +1 -0
- package/dist/server/boardRuntime.d.ts +12 -0
- package/dist/server/boardRuntime.d.ts.map +1 -0
- package/dist/server/boardRuntime.js +37 -0
- package/dist/server/boardRuntime.js.map +1 -0
- package/dist/server/boardServices.d.ts +5 -0
- package/dist/server/boardServices.d.ts.map +1 -0
- package/dist/server/boardServices.js +8 -0
- package/dist/server/boardServices.js.map +1 -0
- package/dist/server/cli.d.ts.map +1 -0
- package/dist/server/cli.js +26 -0
- package/dist/server/cli.js.map +1 -0
- package/dist/server/diagnostics/codexLimits.d.ts +15 -0
- package/dist/server/diagnostics/codexLimits.d.ts.map +1 -0
- package/dist/server/diagnostics/codexLimits.js +8 -0
- package/dist/server/diagnostics/codexLimits.js.map +1 -0
- package/dist/server/diagnostics/codexProtocol.d.ts +10 -0
- package/dist/server/diagnostics/codexProtocol.d.ts.map +1 -0
- package/dist/server/diagnostics/codexProtocol.js +43 -0
- package/dist/server/diagnostics/codexProtocol.js.map +1 -0
- package/dist/server/diagnostics/codexRateLimits.d.ts +5 -0
- package/dist/server/diagnostics/codexRateLimits.d.ts.map +1 -0
- package/dist/server/diagnostics/codexRateLimits.js +59 -0
- package/dist/server/diagnostics/codexRateLimits.js.map +1 -0
- package/dist/server/diagnostics/daemon.d.ts +86 -0
- package/dist/server/diagnostics/daemon.d.ts.map +1 -0
- package/dist/server/diagnostics/daemon.js +23 -0
- package/dist/server/diagnostics/daemon.js.map +1 -0
- package/dist/server/diagnostics/fleetHealth.d.ts +21 -0
- package/dist/server/diagnostics/fleetHealth.d.ts.map +1 -0
- package/dist/server/diagnostics/fleetHealth.js +71 -0
- package/dist/server/diagnostics/fleetHealth.js.map +1 -0
- package/dist/server/diagnostics/githubLimits.d.ts +15 -0
- package/dist/server/diagnostics/githubLimits.d.ts.map +1 -0
- package/dist/server/diagnostics/githubLimits.js +8 -0
- package/dist/server/diagnostics/githubLimits.js.map +1 -0
- package/dist/server/diagnostics/readCommand.d.ts +4 -0
- package/dist/server/diagnostics/readCommand.d.ts.map +1 -0
- package/dist/server/diagnostics/readCommand.js +20 -0
- package/dist/server/diagnostics/readCommand.js.map +1 -0
- package/dist/server/diagnostics/style.d.ts +2 -0
- package/dist/server/diagnostics/style.d.ts.map +1 -0
- package/dist/server/diagnostics/style.js +20 -0
- package/dist/server/diagnostics/style.js.map +1 -0
- package/dist/server/document/body.d.ts +3 -0
- package/dist/server/document/body.d.ts.map +1 -0
- package/dist/server/document/body.js +7 -0
- package/dist/server/document/body.js.map +1 -0
- package/dist/server/document/read.d.ts +181 -0
- package/dist/server/document/read.d.ts.map +1 -0
- package/dist/server/document/read.js +67 -0
- package/dist/server/document/read.js.map +1 -0
- package/dist/server/document/readingContext.d.ts +32 -0
- package/dist/server/document/readingContext.d.ts.map +1 -0
- package/dist/server/document/readingContext.js +53 -0
- package/dist/server/document/readingContext.js.map +1 -0
- package/dist/server/document/requests.d.ts +5 -0
- package/dist/server/document/requests.d.ts.map +1 -0
- package/dist/server/document/requests.js +45 -0
- package/dist/server/document/requests.js.map +1 -0
- package/dist/server/document/targets.d.ts +10 -0
- package/dist/server/document/targets.d.ts.map +1 -0
- package/dist/server/document/targets.js +25 -0
- package/dist/server/document/targets.js.map +1 -0
- package/dist/server/files/changes.d.ts +22 -0
- package/dist/server/files/changes.d.ts.map +1 -0
- package/dist/server/files/changes.js +66 -0
- package/dist/server/files/changes.js.map +1 -0
- package/dist/server/files/home.d.ts +9 -0
- package/dist/server/files/home.d.ts.map +1 -0
- package/dist/server/files/home.js +42 -0
- package/dist/server/files/home.js.map +1 -0
- package/dist/server/files/invalidations.d.ts +8 -0
- package/dist/server/files/invalidations.d.ts.map +1 -0
- package/dist/server/files/invalidations.js +29 -0
- package/dist/server/files/invalidations.js.map +1 -0
- package/dist/server/files/list.d.ts +17 -0
- package/dist/server/files/list.d.ts.map +1 -0
- package/dist/server/files/list.js +60 -0
- package/dist/server/files/list.js.map +1 -0
- package/dist/server/files/markdownPath.d.ts.map +1 -0
- package/dist/server/files/markdownPath.js.map +1 -0
- package/dist/server/files/update.d.ts +4 -0
- package/dist/server/files/update.d.ts.map +1 -0
- package/dist/server/files/update.js +41 -0
- package/dist/server/files/update.js.map +1 -0
- package/dist/server/files/watchDirectories.d.ts +4 -0
- package/dist/server/files/watchDirectories.d.ts.map +1 -0
- package/dist/server/files/watchDirectories.js +42 -0
- package/dist/server/files/watchDirectories.js.map +1 -0
- package/dist/server/handoffs/Service.d.ts +66 -0
- package/dist/server/handoffs/Service.d.ts.map +1 -0
- package/dist/server/handoffs/Service.js +94 -0
- package/dist/server/handoffs/Service.js.map +1 -0
- package/dist/server/handoffs/records.d.ts +7 -0
- package/dist/server/handoffs/records.d.ts.map +1 -0
- package/dist/server/handoffs/records.js.map +1 -0
- package/dist/server/handoffs/source.d.ts +12 -0
- package/dist/server/handoffs/source.d.ts.map +1 -0
- package/dist/server/handoffs/source.js +35 -0
- package/dist/server/handoffs/source.js.map +1 -0
- package/dist/server/history/baseline.d.ts +19 -0
- package/dist/server/history/baseline.d.ts.map +1 -0
- package/dist/server/history/baseline.js +40 -0
- package/dist/server/history/baseline.js.map +1 -0
- package/dist/server/history/compare.d.ts +14 -0
- package/dist/server/history/compare.d.ts.map +1 -0
- package/dist/server/history/compare.js.map +1 -0
- package/dist/server/history/documents.d.ts +10 -0
- package/dist/server/history/documents.d.ts.map +1 -0
- package/dist/server/history/documents.js +15 -0
- package/dist/server/history/documents.js.map +1 -0
- package/dist/server/history/fields.d.ts.map +1 -0
- package/dist/server/history/fields.js.map +1 -0
- package/dist/server/history/html.d.ts +3 -0
- package/dist/server/history/html.d.ts.map +1 -0
- package/dist/server/history/html.js +19 -0
- package/dist/server/history/html.js.map +1 -0
- package/dist/server/history/limits.d.ts.map +1 -0
- package/dist/server/history/limits.js.map +1 -0
- package/dist/server/history/response.d.ts +4 -0
- package/dist/server/history/response.d.ts.map +1 -0
- package/dist/server/history/response.js +33 -0
- package/dist/server/history/response.js.map +1 -0
- package/dist/server/http/assets.d.ts +20 -0
- package/dist/server/http/assets.d.ts.map +1 -0
- package/dist/server/http/assets.js +79 -0
- package/dist/server/http/assets.js.map +1 -0
- package/dist/server/http/attachment.d.ts +4 -0
- package/dist/server/http/attachment.d.ts.map +1 -0
- package/dist/server/http/attachment.js +43 -0
- package/dist/server/http/attachment.js.map +1 -0
- package/dist/server/http/boardRoutes.d.ts +6 -0
- package/dist/server/http/boardRoutes.d.ts.map +1 -0
- package/dist/server/http/boardRoutes.js +45 -0
- package/dist/server/http/boardRoutes.js.map +1 -0
- package/dist/server/http/identity.d.ts +7 -0
- package/dist/server/http/identity.d.ts.map +1 -0
- package/dist/server/http/identity.js +38 -0
- package/dist/server/http/identity.js.map +1 -0
- package/dist/server/http/inbox.d.ts +5 -0
- package/dist/server/http/inbox.d.ts.map +1 -0
- package/dist/server/http/inbox.js +12 -0
- package/dist/server/http/inbox.js.map +1 -0
- package/dist/server/http/overview.d.ts +5 -0
- package/dist/server/http/overview.d.ts.map +1 -0
- package/dist/server/http/overview.js +13 -0
- package/dist/server/http/overview.js.map +1 -0
- package/dist/server/http/page.d.ts +11 -0
- package/dist/server/http/page.d.ts.map +1 -0
- package/dist/server/http/page.js +81 -0
- package/dist/server/http/page.js.map +1 -0
- package/dist/server/http/respond.d.ts +8 -0
- package/dist/server/http/respond.d.ts.map +1 -0
- package/dist/server/http/respond.js +19 -0
- package/dist/server/http/respond.js.map +1 -0
- package/dist/server/http/rpcPolicy.d.ts +4 -0
- package/dist/server/http/rpcPolicy.d.ts.map +1 -0
- package/dist/server/http/rpcPolicy.js +11 -0
- package/dist/server/http/rpcPolicy.js.map +1 -0
- package/dist/server/http/work.d.ts +6 -0
- package/dist/server/http/work.d.ts.map +1 -0
- package/dist/server/http/work.js +22 -0
- package/dist/server/http/work.js.map +1 -0
- package/dist/server/integration/attention.d.ts +14 -0
- package/dist/server/integration/attention.d.ts.map +1 -0
- package/dist/server/integration/attention.js +7 -0
- package/dist/server/integration/attention.js.map +1 -0
- package/dist/server/integration/board.d.ts +22 -0
- package/dist/server/integration/board.d.ts.map +1 -0
- package/dist/server/integration/board.js +16 -0
- package/dist/server/integration/board.js.map +1 -0
- package/dist/server/integration/diagnostics.d.ts +223 -0
- package/dist/server/integration/diagnostics.d.ts.map +1 -0
- package/dist/server/integration/diagnostics.js +23 -0
- package/dist/server/integration/diagnostics.js.map +1 -0
- package/dist/server/integration/publication.d.ts +6 -0
- package/dist/server/integration/publication.d.ts.map +1 -0
- package/dist/server/integration/publication.js +6 -0
- package/dist/server/integration/publication.js.map +1 -0
- package/dist/server/integration/responses.d.ts +252 -0
- package/dist/server/integration/responses.d.ts.map +1 -0
- package/dist/server/integration/responses.js +25 -0
- package/dist/server/integration/responses.js.map +1 -0
- package/dist/server/metadata/attentionProblems.d.ts.map +1 -0
- package/dist/server/metadata/attentionProblems.js.map +1 -0
- package/dist/server/metadata/backlinks.d.ts +13 -0
- package/dist/server/metadata/backlinks.d.ts.map +1 -0
- package/dist/server/metadata/backlinks.js +40 -0
- package/dist/server/metadata/backlinks.js.map +1 -0
- package/dist/server/metadata/fields.d.ts +85 -0
- package/dist/server/metadata/fields.d.ts.map +1 -0
- package/dist/server/metadata/fields.js +28 -0
- package/dist/server/metadata/fields.js.map +1 -0
- package/dist/server/metadata/links.d.ts.map +1 -0
- package/dist/server/metadata/links.js.map +1 -0
- package/dist/server/metadata/locations.d.ts.map +1 -0
- package/dist/server/metadata/locations.js.map +1 -0
- package/dist/server/metadata/model.d.ts +5 -0
- package/dist/server/metadata/model.d.ts.map +1 -0
- package/dist/server/metadata/model.js.map +1 -0
- package/dist/server/metadata/parse.d.ts +5 -0
- package/dist/server/metadata/parse.d.ts.map +1 -0
- package/dist/server/metadata/parse.js.map +1 -0
- package/dist/server/metadata/problems.d.ts +3 -0
- package/dist/server/metadata/problems.d.ts.map +1 -0
- package/dist/server/metadata/problems.js +55 -0
- package/dist/server/metadata/problems.js.map +1 -0
- package/dist/server/metadata/referencesOf.d.ts +7 -0
- package/dist/server/metadata/referencesOf.d.ts.map +1 -0
- package/dist/server/metadata/referencesOf.js +18 -0
- package/dist/server/metadata/referencesOf.js.map +1 -0
- package/dist/server/metadata/relationshipLabel.d.ts.map +1 -0
- package/dist/server/metadata/relationshipLabel.js.map +1 -0
- package/dist/server/metadata/sourceLinks.d.ts.map +1 -0
- package/dist/server/metadata/sourceLinks.js.map +1 -0
- package/dist/server/metadata/updateModel.d.ts +3 -0
- package/dist/server/metadata/updateModel.d.ts.map +1 -0
- package/dist/server/metadata/updateModel.js +36 -0
- package/dist/server/metadata/updateModel.js.map +1 -0
- package/dist/server/navigation/model.d.ts +6 -0
- package/dist/server/navigation/model.d.ts.map +1 -0
- package/dist/server/navigation/model.js +63 -0
- package/dist/server/navigation/model.js.map +1 -0
- package/dist/server/page/attentionDetails.d.ts +4 -0
- package/dist/server/page/attentionDetails.d.ts.map +1 -0
- package/dist/server/page/attentionDetails.js +24 -0
- package/dist/server/page/attentionDetails.js.map +1 -0
- package/dist/server/page/backlinksHtml.d.ts +3 -0
- package/dist/server/page/backlinksHtml.d.ts.map +1 -0
- package/dist/server/page/backlinksHtml.js +16 -0
- package/dist/server/page/backlinksHtml.js.map +1 -0
- package/dist/server/page/boardHtml.d.ts +4 -0
- package/dist/server/page/boardHtml.d.ts.map +1 -0
- package/dist/server/page/boardHtml.js +45 -0
- package/dist/server/page/boardHtml.js.map +1 -0
- package/dist/server/page/criteriaEvidence.d.ts +4 -0
- package/dist/server/page/criteriaEvidence.d.ts.map +1 -0
- package/dist/server/page/criteriaEvidence.js +27 -0
- package/dist/server/page/criteriaEvidence.js.map +1 -0
- package/dist/server/page/documentHtml.d.ts +4 -0
- package/dist/server/page/documentHtml.d.ts.map +1 -0
- package/dist/server/page/documentHtml.js +16 -0
- package/dist/server/page/documentHtml.js.map +1 -0
- package/dist/server/page/itemIntroduction.d.ts +3 -0
- package/dist/server/page/itemIntroduction.d.ts.map +1 -0
- package/dist/server/page/itemIntroduction.js +9 -0
- package/dist/server/page/itemIntroduction.js.map +1 -0
- package/dist/server/page/itemStyles.d.ts +2 -0
- package/dist/server/page/itemStyles.d.ts.map +1 -0
- package/dist/server/page/itemStyles.js +30 -0
- package/dist/server/page/itemStyles.js.map +1 -0
- package/dist/server/page/metadata.d.ts +5 -0
- package/dist/server/page/metadata.d.ts.map +1 -0
- package/dist/server/page/metadata.js +49 -0
- package/dist/server/page/metadata.js.map +1 -0
- package/dist/server/page/metadataDetails.d.ts +4 -0
- package/dist/server/page/metadataDetails.d.ts.map +1 -0
- package/dist/server/page/metadataDetails.js +35 -0
- package/dist/server/page/metadataDetails.js.map +1 -0
- package/dist/server/page/metadataLinks.d.ts +6 -0
- package/dist/server/page/metadataLinks.d.ts.map +1 -0
- package/dist/server/page/metadataLinks.js +31 -0
- package/dist/server/page/metadataLinks.js.map +1 -0
- package/dist/server/page/nav.d.ts +5 -0
- package/dist/server/page/nav.d.ts.map +1 -0
- package/dist/server/page/nav.js +9 -0
- package/dist/server/page/nav.js.map +1 -0
- package/dist/server/page/readingStyles.d.ts.map +1 -0
- package/dist/server/page/readingStyles.js +32 -0
- package/dist/server/page/readingStyles.js.map +1 -0
- package/dist/server/page/readingTools.d.ts.map +1 -0
- package/dist/server/page/readingTools.js +10 -0
- package/dist/server/page/readingTools.js.map +1 -0
- package/dist/server/page/recordedEvidence.d.ts +4 -0
- package/dist/server/page/recordedEvidence.d.ts.map +1 -0
- package/dist/server/page/recordedEvidence.js +10 -0
- package/dist/server/page/recordedEvidence.js.map +1 -0
- package/dist/server/page/searchDialog.d.ts.map +1 -0
- package/dist/server/page/searchDialog.js.map +1 -0
- package/dist/server/page/shell.d.ts +3 -0
- package/dist/server/page/shell.d.ts.map +1 -0
- package/dist/server/page/shell.js +39 -0
- package/dist/server/page/shell.js.map +1 -0
- package/dist/server/page/startTemplates.d.ts.map +1 -0
- package/dist/server/page/startTemplates.js.map +1 -0
- package/dist/server/page/style.d.ts.map +1 -0
- package/dist/server/page/style.js +111 -0
- package/dist/server/page/style.js.map +1 -0
- package/dist/server/page/updated.d.ts +2 -0
- package/dist/server/page/updated.d.ts.map +1 -0
- package/dist/server/page/updated.js +4 -0
- package/dist/server/page/updated.js.map +1 -0
- package/dist/server/page/visualDialog.d.ts.map +1 -0
- package/dist/server/page/visualDialog.js.map +1 -0
- package/dist/server/page/workspaceStyles.d.ts +3 -0
- package/dist/server/page/workspaceStyles.d.ts.map +1 -0
- package/dist/server/page/workspaceStyles.js +89 -0
- package/dist/server/page/workspaceStyles.js.map +1 -0
- package/dist/server/render/Highlighter.d.ts +9 -0
- package/dist/server/render/Highlighter.d.ts.map +1 -0
- package/dist/server/render/Highlighter.js +15 -0
- package/dist/server/render/Highlighter.js.map +1 -0
- package/dist/server/render/board.d.ts +20 -0
- package/dist/server/render/board.d.ts.map +1 -0
- package/dist/server/render/board.js +63 -0
- package/dist/server/render/board.js.map +1 -0
- package/dist/server/render/markdown.d.ts +12 -0
- package/dist/server/render/markdown.d.ts.map +1 -0
- package/dist/server/render/markdown.js +35 -0
- package/dist/server/render/markdown.js.map +1 -0
- package/dist/server/responses/agent-cli.d.ts.map +1 -0
- package/dist/server/responses/agent-cli.js +45 -0
- package/dist/server/responses/agent-cli.js.map +1 -0
- package/dist/server/responses/agent.d.ts +81 -0
- package/dist/server/responses/agent.d.ts.map +1 -0
- package/dist/server/responses/agent.js +55 -0
- package/dist/server/responses/agent.js.map +1 -0
- package/dist/server/responses/authoredQuestionHtml.d.ts +4 -0
- package/dist/server/responses/authoredQuestionHtml.d.ts.map +1 -0
- package/dist/server/responses/authoredQuestionHtml.js +30 -0
- package/dist/server/responses/authoredQuestionHtml.js.map +1 -0
- package/dist/server/responses/await.d.ts +41 -0
- package/dist/server/responses/await.d.ts.map +1 -0
- package/dist/server/responses/await.js +21 -0
- package/dist/server/responses/await.js.map +1 -0
- package/dist/server/responses/composerHtml.d.ts +27 -0
- package/dist/server/responses/composerHtml.d.ts.map +1 -0
- package/dist/server/responses/composerHtml.js +17 -0
- package/dist/server/responses/composerHtml.js.map +1 -0
- package/dist/server/responses/flags.d.ts.map +1 -0
- package/dist/server/responses/flags.js +24 -0
- package/dist/server/responses/flags.js.map +1 -0
- package/dist/server/responses/history.d.ts +20 -0
- package/dist/server/responses/history.d.ts.map +1 -0
- package/dist/server/responses/history.js +19 -0
- package/dist/server/responses/history.js.map +1 -0
- package/dist/server/responses/historyHtml.d.ts +28 -0
- package/dist/server/responses/historyHtml.d.ts.map +1 -0
- package/dist/server/responses/historyHtml.js +8 -0
- package/dist/server/responses/historyHtml.js.map +1 -0
- package/dist/server/responses/locate.d.ts +14 -0
- package/dist/server/responses/locate.d.ts.map +1 -0
- package/dist/server/responses/locate.js +53 -0
- package/dist/server/responses/locate.js.map +1 -0
- package/dist/server/responses/make.d.ts.map +1 -0
- package/dist/server/responses/make.js.map +1 -0
- package/dist/server/responses/optionControls.d.ts +4 -0
- package/dist/server/responses/optionControls.d.ts.map +1 -0
- package/dist/server/responses/optionControls.js +11 -0
- package/dist/server/responses/optionControls.js.map +1 -0
- package/dist/server/responses/optionPrompt.d.ts +4 -0
- package/dist/server/responses/optionPrompt.d.ts.map +1 -0
- package/dist/server/responses/optionPrompt.js +19 -0
- package/dist/server/responses/optionPrompt.js.map +1 -0
- package/dist/server/responses/outcome.d.ts.map +1 -0
- package/dist/server/responses/outcome.js.map +1 -0
- package/dist/server/responses/publicationDirectory.d.ts +7 -0
- package/dist/server/responses/publicationDirectory.d.ts.map +1 -0
- package/dist/server/responses/publicationDirectory.js +35 -0
- package/dist/server/responses/publicationDirectory.js.map +1 -0
- package/dist/server/responses/publish.d.ts +5 -0
- package/dist/server/responses/publish.d.ts.map +1 -0
- package/dist/server/responses/publish.js +72 -0
- package/dist/server/responses/publish.js.map +1 -0
- package/dist/server/responses/publishIn.d.ts.map +1 -0
- package/dist/server/responses/publishIn.js +87 -0
- package/dist/server/responses/publishIn.js.map +1 -0
- package/dist/server/responses/read.d.ts +37 -0
- package/dist/server/responses/read.d.ts.map +1 -0
- package/dist/server/responses/read.js +40 -0
- package/dist/server/responses/read.js.map +1 -0
- package/dist/server/responses/readingActions.d.ts +3 -0
- package/dist/server/responses/readingActions.d.ts.map +1 -0
- package/dist/server/responses/readingActions.js +30 -0
- package/dist/server/responses/readingActions.js.map +1 -0
- package/dist/server/responses/records.d.ts +12 -0
- package/dist/server/responses/records.d.ts.map +1 -0
- package/dist/server/responses/records.js.map +1 -0
- package/dist/server/responses/registerQuestion.d.ts +24 -0
- package/dist/server/responses/registerQuestion.d.ts.map +1 -0
- package/dist/server/responses/registerQuestion.js +43 -0
- package/dist/server/responses/registerQuestion.js.map +1 -0
- package/dist/server/responses/requestSource.d.ts +7 -0
- package/dist/server/responses/requestSource.d.ts.map +1 -0
- package/dist/server/responses/requestSource.js +15 -0
- package/dist/server/responses/requestSource.js.map +1 -0
- package/dist/server/responses/retry.d.ts +34 -0
- package/dist/server/responses/retry.d.ts.map +1 -0
- package/dist/server/responses/retry.js +14 -0
- package/dist/server/responses/retry.js.map +1 -0
- package/dist/server/responses/service.d.ts +168 -0
- package/dist/server/responses/service.d.ts.map +1 -0
- package/dist/server/responses/service.js +86 -0
- package/dist/server/responses/service.js.map +1 -0
- package/dist/server/responses/template.d.ts.map +1 -0
- package/dist/server/responses/template.js +70 -0
- package/dist/server/responses/template.js.map +1 -0
- package/dist/server/responses/templateHtml.d.ts +8 -0
- package/dist/server/responses/templateHtml.d.ts.map +1 -0
- package/dist/server/responses/templateHtml.js +26 -0
- package/dist/server/responses/templateHtml.js.map +1 -0
- package/dist/server/responses/templateLinks.d.ts.map +1 -0
- package/dist/server/responses/templateLinks.js.map +1 -0
- package/dist/server/responses/templateNodes.d.ts.map +1 -0
- package/dist/server/responses/templateNodes.js +50 -0
- package/dist/server/responses/templateNodes.js.map +1 -0
- package/dist/server/responses/validateSupersedes.d.ts +6 -0
- package/dist/server/responses/validateSupersedes.d.ts.map +1 -0
- package/dist/server/responses/validateSupersedes.js +21 -0
- package/dist/server/responses/validateSupersedes.js.map +1 -0
- package/dist/server/responses/validatedInput.d.ts.map +1 -0
- package/dist/server/responses/validatedInput.js +46 -0
- package/dist/server/responses/validatedInput.js.map +1 -0
- package/dist/server/responses/waitFor.d.ts +39 -0
- package/dist/server/responses/waitFor.d.ts.map +1 -0
- package/dist/server/responses/waitFor.js +50 -0
- package/dist/server/responses/waitFor.js.map +1 -0
- package/dist/server/rpc/HandlerOptions.d.ts +12 -0
- package/dist/server/rpc/HandlerOptions.d.ts.map +1 -0
- package/dist/server/rpc/HandlerOptions.js +2 -0
- package/dist/server/rpc/HandlerOptions.js.map +1 -0
- package/dist/server/rpc/affected.d.ts +4 -0
- package/dist/server/rpc/affected.d.ts.map +1 -0
- package/dist/server/rpc/affected.js +84 -0
- package/dist/server/rpc/affected.js.map +1 -0
- package/dist/server/rpc/handlers.d.ts +4 -0
- package/dist/server/rpc/handlers.d.ts.map +1 -0
- package/dist/server/rpc/handlers.js +60 -0
- package/dist/server/rpc/handlers.js.map +1 -0
- package/dist/server/rpc/hints.d.ts +17 -0
- package/dist/server/rpc/hints.d.ts.map +1 -0
- package/dist/server/rpc/hints.js.map +1 -0
- package/dist/server/search/attentionEntries.d.ts +4 -0
- package/dist/server/search/attentionEntries.d.ts.map +1 -0
- package/dist/server/search/attentionEntries.js.map +1 -0
- package/dist/server/search/collector.d.ts.map +1 -0
- package/dist/server/search/collector.js.map +1 -0
- package/dist/server/search/entries.d.ts.map +1 -0
- package/dist/server/search/entries.js +44 -0
- package/dist/server/search/entries.js.map +1 -0
- package/dist/server/search/linkCollector.d.ts.map +1 -0
- package/dist/server/search/linkCollector.js.map +1 -0
- package/dist/server/search/match.d.ts.map +1 -0
- package/dist/server/search/match.js.map +1 -0
- package/dist/server/search/metadataEntries.d.ts +4 -0
- package/dist/server/search/metadataEntries.d.ts.map +1 -0
- package/dist/server/search/metadataEntries.js +42 -0
- package/dist/server/search/metadataEntries.js.map +1 -0
- package/dist/server/search/readDocument.d.ts +10 -0
- package/dist/server/search/readDocument.d.ts.map +1 -0
- package/dist/server/search/readDocument.js +20 -0
- package/dist/server/search/readDocument.js.map +1 -0
- package/dist/server/search/snapshot.d.ts +23 -0
- package/dist/server/search/snapshot.d.ts.map +1 -0
- package/dist/server/search/snapshot.js +61 -0
- package/dist/server/search/snapshot.js.map +1 -0
- package/dist/server/search/updateEntries.d.ts +5 -0
- package/dist/server/search/updateEntries.d.ts.map +1 -0
- package/dist/server/search/updateEntries.js +28 -0
- package/dist/server/search/updateEntries.js.map +1 -0
- package/dist/server/serve-cli.d.ts.map +1 -0
- package/dist/server/serve-cli.js +30 -0
- package/dist/server/serve-cli.js.map +1 -0
- package/dist/server/serve.d.ts +8 -0
- package/dist/server/serve.d.ts.map +1 -0
- package/dist/server/serve.js +24 -0
- package/dist/server/serve.js.map +1 -0
- package/dist/server/views/items.d.ts +11 -0
- package/dist/server/views/items.d.ts.map +1 -0
- package/dist/server/views/items.js.map +1 -0
- package/dist/server/views/projection.d.ts +15 -0
- package/dist/server/views/projection.d.ts.map +1 -0
- package/dist/server/views/projection.js.map +1 -0
- package/dist/server/views/projectionQueries.d.ts +681 -0
- package/dist/server/views/projectionQueries.d.ts.map +1 -0
- package/dist/server/views/projectionQueries.js +70 -0
- package/dist/server/views/projectionQueries.js.map +1 -0
- package/dist/server/views/remainingQueries.d.ts +679 -0
- package/dist/server/views/remainingQueries.d.ts.map +1 -0
- package/dist/server/views/remainingQueries.js +58 -0
- package/dist/server/views/remainingQueries.js.map +1 -0
- package/dist/server/views/resultProjection.d.ts +420 -0
- package/dist/server/views/resultProjection.d.ts.map +1 -0
- package/dist/server/views/resultProjection.js +35 -0
- package/dist/server/views/resultProjection.js.map +1 -0
- package/dist/server/views/resultTargets.d.ts +6 -0
- package/dist/server/views/resultTargets.d.ts.map +1 -0
- package/dist/server/views/resultTargets.js +31 -0
- package/dist/server/views/resultTargets.js.map +1 -0
- package/dist/server/views/state.d.ts +14 -0
- package/dist/server/views/state.d.ts.map +1 -0
- package/dist/server/views/state.js +12 -0
- package/dist/server/views/state.js.map +1 -0
- package/dist/server/views/tools.d.ts.map +1 -0
- package/dist/server/views/tools.js +11 -0
- package/dist/server/views/tools.js.map +1 -0
- package/dist/server/views/workCards.d.ts +4 -0
- package/dist/server/views/workCards.d.ts.map +1 -0
- package/dist/server/views/workCards.js +24 -0
- package/dist/server/views/workCards.js.map +1 -0
- package/dist/server/views/workControls.d.ts.map +1 -0
- package/dist/server/views/workControls.js +32 -0
- package/dist/server/views/workControls.js.map +1 -0
- package/dist/server/views/workDetail.d.ts +13 -0
- package/dist/server/views/workDetail.d.ts.map +1 -0
- package/dist/server/views/workDetail.js +26 -0
- package/dist/server/views/workDetail.js.map +1 -0
- package/dist/server/views/workHtml.d.ts +15 -0
- package/dist/server/views/workHtml.d.ts.map +1 -0
- package/dist/server/views/workHtml.js +39 -0
- package/dist/server/views/workHtml.js.map +1 -0
- package/dist/server/views/workStyle.d.ts.map +1 -0
- package/dist/server/views/workStyle.js +19 -0
- package/dist/server/views/workStyle.js.map +1 -0
- package/dist/server/views/workTable.d.ts +4 -0
- package/dist/server/views/workTable.d.ts.map +1 -0
- package/dist/server/views/workTable.js +24 -0
- package/dist/server/views/workTable.js.map +1 -0
- package/docs/delivery/README.md +50 -0
- package/docs/delivery/attention-examples.md +71 -0
- package/docs/delivery/browser-acceptance.md +147 -0
- package/docs/delivery/change-history-examples.md +46 -0
- package/docs/delivery/decision-write-examples.md +83 -0
- package/docs/delivery/handoff-examples.md +72 -0
- package/docs/delivery/reading-review.md +27 -0
- package/docs/delivery/response-write-examples.md +32 -0
- package/docs/delivery/result-review-examples.md +108 -0
- package/docs/delivery/source-editing-examples.md +32 -0
- package/docs/delivery/source-examples.md +129 -0
- package/docs/delivery/visual-document-examples.md +74 -0
- package/docs/delivery/wave1.md +66 -0
- package/docs/delivery/wave2.md +43 -0
- package/docs/delivery/wave3.md +31 -0
- package/docs/experience.md +89 -0
- package/docs/images/diagnostics-desktop.png +0 -0
- package/docs/images/diagnostics-narrow.png +0 -0
- package/docs/images/navigation-desktop.png +0 -0
- package/docs/images/navigation-narrow-closed.png +0 -0
- package/docs/images/navigation-narrow.png +0 -0
- package/docs/images/navigation-recents-desktop.png +0 -0
- package/docs/images/navigation-recents-narrow.png +0 -0
- package/docs/mockups/images/brief-mobile.png +0 -0
- package/docs/mockups/images/brief.png +0 -0
- package/docs/mockups/images/decision-mobile.png +0 -0
- package/docs/mockups/images/decision.png +0 -0
- package/docs/mockups/images/evidence-mobile.png +0 -0
- package/docs/mockups/images/evidence.png +0 -0
- package/docs/mockups/images/overview-mobile.png +0 -0
- package/docs/mockups/images/overview.png +0 -0
- package/docs/mockups/images/vision-board.png +0 -0
- package/docs/mockups/images/work-mobile.png +0 -0
- package/docs/mockups/images/work.png +0 -0
- package/docs/mockups/index.html +458 -0
- package/docs/mockups/style.css +1709 -0
- package/docs/north-star.md +61 -0
- package/docs/roadmap.md +75 -0
- package/package.json +445 -25
- package/src/attention/RequestReceipt.ts +12 -0
- package/src/browser/diagnostics/schema.ts +18 -0
- package/src/browser/document/ReadingContext.ts +16 -0
- package/src/browser/document/schema.ts +40 -0
- package/src/browser/escapeHtml.ts +5 -0
- package/src/browser/navigation/html.ts +29 -0
- package/src/browser/navigation/schema.ts +27 -0
- package/src/browser/responses/schema.ts +0 -5
- package/src/browser/views/ResultProjection.ts +37 -0
- package/src/browser/views/remaining.ts +26 -0
- package/src/browser/views/schema.ts +68 -0
- package/src/client/client.ts +89 -0
- package/src/client/document/Details.ts +22 -0
- package/src/client/document/Mermaid.ts +124 -0
- package/src/client/document/View.ts +104 -0
- package/src/client/document/boardLayout.ts +80 -0
- package/src/client/document/highlight.ts +12 -0
- package/src/client/document/layout.ts +29 -0
- package/src/client/entry.ts +3 -0
- package/src/client/formDraft.ts +9 -0
- package/src/client/formFocus.ts +37 -0
- package/src/client/handoffs/failureStatus.ts +6 -0
- package/src/client/mockups/app.ts +114 -0
- package/src/client/mockups/element.ts +7 -0
- package/src/client/mockups/sampleData.ts +92 -0
- package/src/client/mockups/work.ts +84 -0
- package/src/client/page/resolvedDocumentFailure.ts +6 -0
- package/src/client/page/routeQuery.ts +11 -0
- package/src/client/react/Age.tsx +35 -0
- package/src/client/react/AnswerForm.tsx +104 -0
- package/src/client/react/AnswerPanel.tsx +40 -0
- package/src/client/react/AnswerPrompts.tsx +93 -0
- package/src/client/react/BoardMain.tsx +30 -0
- package/src/client/react/BoardShell.tsx +141 -0
- package/src/client/react/ChangesMain.tsx +68 -0
- package/src/client/react/DiagnosticsFleet.tsx +64 -0
- package/src/client/react/DiagnosticsMain.tsx +29 -0
- package/src/client/react/DiagnosticsPage.tsx +77 -0
- package/src/client/react/DocumentAttention.tsx +71 -0
- package/src/client/react/DocumentClaims.tsx +63 -0
- package/src/client/react/DocumentContext.tsx +77 -0
- package/src/client/react/DocumentCriteria.tsx +54 -0
- package/src/client/react/DocumentEvidence.tsx +13 -0
- package/src/client/react/DocumentMain.tsx +74 -0
- package/src/client/react/DocumentMetadata.tsx +31 -0
- package/src/client/react/DocumentPage.tsx +28 -0
- package/src/client/react/DocumentRecords.tsx +74 -0
- package/src/client/react/DocumentWorkMetadata.tsx +116 -0
- package/src/client/react/Favorite.tsx +17 -0
- package/src/client/react/FormField.tsx +68 -0
- package/src/client/react/HandoffForm.tsx +78 -0
- package/src/client/react/HandoffPage.tsx +78 -0
- package/src/client/react/HandoffPrompt.tsx +33 -0
- package/src/client/react/Header.tsx +87 -0
- package/src/client/react/HistoryComparison.tsx +60 -0
- package/src/client/react/HistoryRetention.tsx +29 -0
- package/src/client/react/HomeBoard.tsx +15 -0
- package/src/client/react/InboxPage.tsx +51 -0
- package/src/client/react/LiveControls.tsx +78 -0
- package/src/client/react/Modal.tsx +92 -0
- package/src/client/react/NavigationTree.tsx +64 -0
- package/src/client/react/OverviewGroups.tsx +61 -0
- package/src/client/react/OverviewPage.tsx +68 -0
- package/src/client/react/ProjectionFrame.tsx +140 -0
- package/src/client/react/ProjectionMain.tsx +63 -0
- package/src/client/react/PromptOption.tsx +56 -0
- package/src/client/react/ReadingLibrary.tsx +147 -0
- package/src/client/react/Reference.tsx +5 -0
- package/src/client/react/RemainingMain.tsx +66 -0
- package/src/client/react/RespondPage.tsx +41 -0
- package/src/client/react/ResponseHistory.tsx +38 -0
- package/src/client/react/ResponseMarkdown.tsx +41 -0
- package/src/client/react/ResultCriteria.tsx +78 -0
- package/src/client/react/ResultFeedback.tsx +67 -0
- package/src/client/react/ResultPage.tsx +50 -0
- package/src/client/react/SavedViews.tsx +61 -0
- package/src/client/react/SearchDialog.tsx +136 -0
- package/src/client/react/SearchResults.tsx +48 -0
- package/src/client/react/ShellApi.ts +16 -0
- package/src/client/react/Sidebar.tsx +102 -0
- package/src/client/react/StartPage.tsx +41 -0
- package/src/client/react/UpdatesToggle.tsx +13 -0
- package/src/client/react/VisualControls.tsx +59 -0
- package/src/client/react/VisualInspection.tsx +35 -0
- package/src/client/react/VisualViewer.tsx +147 -0
- package/src/client/react/WorkCards.tsx +39 -0
- package/src/client/react/WorkControls.tsx +73 -0
- package/src/client/react/WorkDetail.tsx +35 -0
- package/src/client/react/WorkItemTitle.tsx +9 -0
- package/src/client/react/WorkPage.tsx +59 -0
- package/src/client/react/WorkResults.tsx +9 -0
- package/src/client/react/WorkTable.tsx +39 -0
- package/src/client/react/WorkTools.tsx +17 -0
- package/src/client/react/activeRead.ts +15 -0
- package/src/client/react/boardRouter.ts +34 -0
- package/src/client/react/createResponse.ts +40 -0
- package/src/client/react/diagnosticsValues.tsx +103 -0
- package/src/client/react/documentRoute.ts +13 -0
- package/src/client/react/entry.css +100 -0
- package/src/client/react/entry.tsx +47 -0
- package/src/client/react/historyStore.ts +56 -0
- package/src/client/react/keyed.ts +9 -0
- package/src/client/react/lib/cn.ts +6 -0
- package/src/client/react/liveStatus.ts +52 -0
- package/src/client/react/loadBoardPage.ts +54 -0
- package/src/client/react/loadProjection.ts +23 -0
- package/src/client/react/loadRemaining.ts +27 -0
- package/src/client/react/mainLocation.ts +12 -0
- package/src/client/react/navigationLocation.ts +27 -0
- package/src/client/react/pageQuery.ts +38 -0
- package/src/client/react/projectionChanges.ts +21 -0
- package/src/client/react/projectionRoute.ts +21 -0
- package/src/client/react/readerLink.ts +9 -0
- package/src/client/react/readingHistory.ts +31 -0
- package/src/client/react/readingLibrary.ts +22 -0
- package/src/client/react/readingState.ts +133 -0
- package/src/client/react/remainingRoute.ts +19 -0
- package/src/client/react/savedViews.ts +84 -0
- package/src/client/react/scheduleReading.ts +41 -0
- package/src/client/react/searchCommands.ts +15 -0
- package/src/client/react/searchStatus.ts +30 -0
- package/src/client/react/shellIds.ts +91 -0
- package/src/client/react/useAppearance.ts +54 -0
- package/src/client/react/useBoardNavigation.ts +139 -0
- package/src/client/react/useDiagnosticsPolling.ts +24 -0
- package/src/client/react/useDocumentPage.ts +80 -0
- package/src/client/react/useFormFocus.ts +46 -0
- package/src/client/react/useHandoffForm.ts +105 -0
- package/src/client/react/useHistoryComparison.ts +142 -0
- package/src/client/react/useMedia.ts +19 -0
- package/src/client/react/useResponseForm.ts +147 -0
- package/src/client/react/useSearchDialog.ts +25 -0
- package/src/client/react/useSidebar.ts +81 -0
- package/src/client/react/visualDimensions.ts +20 -0
- package/src/client/react/visualSources.ts +105 -0
- package/src/client/reconcile/at.ts +7 -0
- package/src/client/reconcile/matches.ts +51 -0
- package/src/client/reconcile/normalized.ts +46 -0
- package/src/client/responses/answerRecovery.ts +37 -0
- package/src/client/responses/authorLabel.ts +22 -0
- package/src/client/responses/failure.ts +13 -0
- package/src/client/responses/formSchema.ts +27 -0
- package/src/client/responses/preview.ts +7 -0
- package/src/client/responses/retainContext.ts +15 -0
- package/src/client/responses/summary.ts +25 -0
- package/src/client/sourceChanged.ts +3 -0
- package/src/diagnostics/daemonContract.ts +27 -0
- package/src/diagnostics/health.ts +21 -0
- package/src/diagnostics/resetLabel.ts +17 -0
- package/src/diagnostics/source.ts +59 -0
- package/src/history/schema.ts +15 -0
- package/src/integration/metadata.ts +31 -0
- package/src/metadata/schema.ts +11 -1
- package/src/render/code.ts +39 -32
- package/src/render/documentHeadings.ts +7 -1
- package/src/render/documentLinks.ts +11 -3
- package/src/render/documentPlugins.ts +10 -0
- package/src/render/failed.ts +6 -2
- package/src/render/footnotes.ts +2 -2
- package/src/render/questionnaireDocuments.ts +22 -2
- package/src/render/visual.ts +8 -7
- package/src/render/visualDocuments.ts +5 -4
- package/src/responses/current.ts +11 -0
- package/src/responses/url.ts +3 -0
- package/src/rpc/contract.ts +94 -15
- package/src/rpc/handoffContract.ts +6 -5
- package/src/rpc/rejections.ts +30 -0
- package/src/rpc/responseContract.ts +11 -16
- package/src/server/attention/inbox.ts +124 -0
- package/src/server/attention/inboxHtml.ts +56 -0
- package/src/server/attention/managedRequestReceipt.ts +91 -0
- package/src/server/attention/overviewHtml.ts +46 -0
- package/src/server/attention/questionState.ts +71 -0
- package/src/server/attention/requests.ts +70 -0
- package/src/server/board.ts +45 -0
- package/src/server/boardRuntime.ts +54 -0
- package/src/server/boardServices.ts +10 -0
- package/src/server/cli.ts +16 -0
- package/src/server/diagnostics/codexLimits.ts +15 -0
- package/src/server/diagnostics/codexProtocol.ts +44 -0
- package/src/server/diagnostics/codexRateLimits.ts +62 -0
- package/src/server/diagnostics/daemon.ts +34 -0
- package/src/server/diagnostics/fleetHealth.ts +69 -0
- package/src/server/diagnostics/githubLimits.ts +15 -0
- package/src/server/diagnostics/readCommand.ts +24 -0
- package/src/server/diagnostics/style.ts +19 -0
- package/src/server/document/body.ts +8 -0
- package/src/server/document/read.ts +89 -0
- package/src/server/document/readingContext.ts +61 -0
- package/src/server/document/requests.ts +46 -0
- package/src/server/document/targets.ts +29 -0
- package/src/server/files/changes.ts +110 -0
- package/src/server/files/home.ts +46 -0
- package/src/server/files/invalidations.ts +32 -0
- package/src/server/files/list.ts +75 -0
- package/src/server/files/update.ts +52 -0
- package/src/server/files/watchDirectories.ts +79 -0
- package/src/server/handoffs/Service.ts +111 -0
- package/src/server/handoffs/records.ts +34 -0
- package/src/server/handoffs/source.ts +40 -0
- package/src/server/history/baseline.ts +43 -0
- package/src/server/history/compare.ts +54 -0
- package/src/server/history/documents.ts +21 -0
- package/src/server/history/html.ts +20 -0
- package/src/server/history/response.ts +37 -0
- package/src/server/http/assets.ts +99 -0
- package/src/server/http/attachment.ts +46 -0
- package/src/server/http/boardRoutes.ts +62 -0
- package/src/server/http/identity.ts +71 -0
- package/src/server/http/inbox.ts +27 -0
- package/src/server/http/overview.ts +19 -0
- package/src/server/http/page.ts +108 -0
- package/src/server/http/respond.ts +21 -0
- package/src/server/http/rpcPolicy.ts +16 -0
- package/src/server/http/work.ts +42 -0
- package/src/server/integration/attention.ts +9 -0
- package/src/server/integration/board.ts +36 -0
- package/src/server/integration/diagnostics.ts +28 -0
- package/src/server/integration/publication.ts +6 -0
- package/src/server/integration/responses.ts +36 -0
- package/src/server/metadata/backlinks.ts +52 -0
- package/src/server/metadata/fields.ts +29 -0
- package/src/server/metadata/model.ts +17 -0
- package/src/server/metadata/parse.ts +51 -0
- package/src/server/metadata/problems.ts +58 -0
- package/src/server/metadata/referencesOf.ts +23 -0
- package/src/server/metadata/updateModel.ts +44 -0
- package/src/server/navigation/model.ts +79 -0
- package/src/server/page/attentionDetails.ts +26 -0
- package/src/server/page/backlinksHtml.ts +18 -0
- package/src/server/page/boardHtml.ts +55 -0
- package/src/server/page/criteriaEvidence.ts +36 -0
- package/src/server/page/documentHtml.ts +23 -0
- package/src/server/page/itemIntroduction.ts +10 -0
- package/src/server/page/itemStyles.ts +29 -0
- package/src/server/page/metadata.ts +58 -0
- package/src/server/page/metadataDetails.ts +38 -0
- package/src/server/page/metadataLinks.ts +35 -0
- package/src/server/page/nav.ts +12 -0
- package/src/server/page/readingStyles.ts +31 -0
- package/src/server/page/readingTools.ts +12 -0
- package/src/server/page/recordedEvidence.ts +12 -0
- package/src/server/page/shell.ts +50 -0
- package/src/server/page/style.ts +117 -0
- package/src/server/page/updated.ts +3 -0
- package/src/server/page/workspaceStyles.ts +89 -0
- package/src/server/render/Highlighter.ts +19 -0
- package/src/server/render/board.ts +90 -0
- package/src/server/render/markdown.ts +48 -0
- package/src/server/responses/agent-cli.ts +48 -0
- package/src/server/responses/agent.ts +74 -0
- package/src/server/responses/authoredQuestionHtml.ts +46 -0
- package/src/server/responses/await.ts +23 -0
- package/src/server/responses/composerHtml.ts +25 -0
- package/src/server/responses/flags.ts +23 -0
- package/src/server/responses/history.ts +21 -0
- package/src/server/responses/historyHtml.ts +20 -0
- package/src/server/responses/locate.ts +60 -0
- package/src/server/responses/optionControls.ts +13 -0
- package/src/server/responses/optionPrompt.ts +21 -0
- package/src/server/responses/publicationDirectory.ts +42 -0
- package/src/server/responses/publish.ts +72 -0
- package/src/server/responses/publishIn.ts +90 -0
- package/src/server/responses/read.ts +45 -0
- package/src/server/responses/readingActions.ts +36 -0
- package/src/server/responses/records.ts +58 -0
- package/src/server/responses/registerQuestion.ts +57 -0
- package/src/server/responses/requestSource.ts +21 -0
- package/src/server/responses/retry.ts +23 -0
- package/src/server/responses/service.ts +112 -0
- package/src/server/responses/template.ts +85 -0
- package/src/server/responses/templateHtml.ts +34 -0
- package/src/server/responses/templateNodes.ts +58 -0
- package/src/server/responses/validateSupersedes.ts +23 -0
- package/src/server/responses/validatedInput.ts +49 -0
- package/src/server/responses/waitFor.ts +62 -0
- package/src/server/rpc/HandlerOptions.ts +12 -0
- package/src/server/rpc/affected.ts +88 -0
- package/src/server/rpc/handlers.ts +67 -0
- package/src/server/rpc/hints.ts +34 -0
- package/src/server/search/attentionEntries.ts +22 -0
- package/src/server/search/entries.ts +58 -0
- package/src/server/search/metadataEntries.ts +44 -0
- package/src/server/search/readDocument.ts +34 -0
- package/src/server/search/snapshot.ts +87 -0
- package/src/server/search/updateEntries.ts +34 -0
- package/src/server/serve-cli.ts +52 -0
- package/src/server/serve.ts +32 -0
- package/src/server/views/items.ts +55 -0
- package/src/server/views/projection.ts +59 -0
- package/src/server/views/projectionQueries.ts +78 -0
- package/src/server/views/remainingQueries.ts +74 -0
- package/src/server/views/resultProjection.ts +45 -0
- package/src/server/views/resultTargets.ts +34 -0
- package/src/server/views/state.ts +12 -0
- package/src/server/views/tools.ts +11 -0
- package/src/server/views/workCards.ts +27 -0
- package/src/server/views/workControls.ts +38 -0
- package/src/server/views/workDetail.ts +28 -0
- package/src/server/views/workHtml.ts +45 -0
- package/src/server/views/workStyle.ts +18 -0
- package/src/server/views/workTable.ts +26 -0
- package/dist/attention/overviewHtml.d.ts +0 -3
- package/dist/attention/overviewHtml.d.ts.map +0 -1
- package/dist/attention/overviewHtml.js +0 -41
- package/dist/attention/overviewHtml.js.map +0 -1
- package/dist/attention/requests.d.ts +0 -24
- package/dist/attention/requests.d.ts.map +0 -1
- package/dist/attention/requests.js +0 -40
- package/dist/attention/requests.js.map +0 -1
- package/dist/attention/style.d.ts.map +0 -1
- package/dist/attention/style.js.map +0 -1
- package/dist/board.d.ts +0 -15
- package/dist/board.d.ts.map +0 -1
- package/dist/board.js +0 -110
- package/dist/board.js.map +0 -1
- package/dist/browser/client.d.ts +0 -30
- package/dist/browser/client.d.ts.map +0 -1
- package/dist/browser/client.js +0 -65
- package/dist/browser/client.js.map +0 -1
- package/dist/browser/entry.d.ts.map +0 -1
- package/dist/browser/entry.js +0 -9
- package/dist/browser/entry.js.map +0 -1
- package/dist/browser/handoffs/copy.d.ts +0 -3
- package/dist/browser/handoffs/copy.d.ts.map +0 -1
- package/dist/browser/handoffs/copy.js +0 -47
- package/dist/browser/handoffs/copy.js.map +0 -1
- package/dist/browser/handoffs/fields.d.ts +0 -11
- package/dist/browser/handoffs/fields.d.ts.map +0 -1
- package/dist/browser/handoffs/fields.js +0 -45
- package/dist/browser/handoffs/fields.js.map +0 -1
- package/dist/browser/handoffs/setup.d.ts +0 -2
- package/dist/browser/handoffs/setup.d.ts.map +0 -1
- package/dist/browser/handoffs/setup.js +0 -108
- package/dist/browser/handoffs/setup.js.map +0 -1
- package/dist/browser/responses/draftSession.d.ts +0 -8
- package/dist/browser/responses/draftSession.d.ts.map +0 -1
- package/dist/browser/responses/draftSession.js +0 -105
- package/dist/browser/responses/draftSession.js.map +0 -1
- package/dist/browser/responses/drafts.d.ts +0 -21
- package/dist/browser/responses/drafts.d.ts.map +0 -1
- package/dist/browser/responses/drafts.js +0 -68
- package/dist/browser/responses/drafts.js.map +0 -1
- package/dist/browser/responses/preview.d.ts +0 -4
- package/dist/browser/responses/preview.d.ts.map +0 -1
- package/dist/browser/responses/preview.js +0 -5
- package/dist/browser/responses/preview.js.map +0 -1
- package/dist/browser/responses/questionnaireControls.d.ts +0 -10
- package/dist/browser/responses/questionnaireControls.d.ts.map +0 -1
- package/dist/browser/responses/questionnaireControls.js +0 -68
- package/dist/browser/responses/questionnaireControls.js.map +0 -1
- package/dist/browser/responses/setup.d.ts +0 -2
- package/dist/browser/responses/setup.d.ts.map +0 -1
- package/dist/browser/responses/setup.js +0 -129
- package/dist/browser/responses/setup.js.map +0 -1
- package/dist/browser/responses/submissionFields.d.ts +0 -15
- package/dist/browser/responses/submissionFields.d.ts.map +0 -1
- package/dist/browser/responses/submissionFields.js +0 -14
- package/dist/browser/responses/submissionFields.js.map +0 -1
- package/dist/browser/responses/submit.d.ts +0 -4
- package/dist/browser/responses/submit.d.ts.map +0 -1
- package/dist/browser/responses/submit.js +0 -30
- package/dist/browser/responses/submit.js.map +0 -1
- package/dist/browser/session.d.ts.map +0 -1
- package/dist/browser/session.js.map +0 -1
- package/dist/cli.d.ts.map +0 -1
- package/dist/cli.js +0 -26
- package/dist/cli.js.map +0 -1
- package/dist/files/changes.d.ts +0 -22
- package/dist/files/changes.d.ts.map +0 -1
- package/dist/files/changes.js +0 -37
- package/dist/files/changes.js.map +0 -1
- package/dist/files/home.d.ts +0 -11
- package/dist/files/home.d.ts.map +0 -1
- package/dist/files/home.js +0 -37
- package/dist/files/home.js.map +0 -1
- package/dist/files/list.d.ts +0 -16
- package/dist/files/list.d.ts.map +0 -1
- package/dist/files/list.js +0 -50
- package/dist/files/list.js.map +0 -1
- package/dist/files/markdownPath.d.ts.map +0 -1
- package/dist/files/markdownPath.js.map +0 -1
- package/dist/files/watchDirectories.d.ts +0 -9
- package/dist/files/watchDirectories.d.ts.map +0 -1
- package/dist/files/watchDirectories.js +0 -34
- package/dist/files/watchDirectories.js.map +0 -1
- package/dist/handoffs/html.d.ts +0 -37
- package/dist/handoffs/html.d.ts.map +0 -1
- package/dist/handoffs/html.js +0 -31
- package/dist/handoffs/html.js.map +0 -1
- package/dist/handoffs/page.d.ts +0 -7
- package/dist/handoffs/page.d.ts.map +0 -1
- package/dist/handoffs/page.js +0 -31
- package/dist/handoffs/page.js.map +0 -1
- package/dist/handoffs/records.d.ts +0 -7
- package/dist/handoffs/records.d.ts.map +0 -1
- package/dist/handoffs/records.js.map +0 -1
- package/dist/handoffs/service.d.ts +0 -55
- package/dist/handoffs/service.d.ts.map +0 -1
- package/dist/handoffs/service.js +0 -82
- package/dist/handoffs/service.js.map +0 -1
- package/dist/handoffs/source.d.ts +0 -11
- package/dist/handoffs/source.d.ts.map +0 -1
- package/dist/handoffs/source.js +0 -31
- package/dist/handoffs/source.js.map +0 -1
- package/dist/history/baseline.d.ts +0 -19
- package/dist/history/baseline.d.ts.map +0 -1
- package/dist/history/baseline.js +0 -40
- package/dist/history/baseline.js.map +0 -1
- package/dist/history/compare.d.ts +0 -14
- package/dist/history/compare.d.ts.map +0 -1
- package/dist/history/compare.js.map +0 -1
- package/dist/history/documents.d.ts +0 -10
- package/dist/history/documents.d.ts.map +0 -1
- package/dist/history/documents.js +0 -15
- package/dist/history/documents.js.map +0 -1
- package/dist/history/fields.d.ts.map +0 -1
- package/dist/history/fields.js.map +0 -1
- package/dist/history/html.d.ts +0 -4
- package/dist/history/html.d.ts.map +0 -1
- package/dist/history/html.js +0 -22
- package/dist/history/html.js.map +0 -1
- package/dist/history/limits.d.ts.map +0 -1
- package/dist/history/limits.js.map +0 -1
- package/dist/history/response.d.ts +0 -4
- package/dist/history/response.d.ts.map +0 -1
- package/dist/history/response.js +0 -20
- package/dist/history/response.js.map +0 -1
- package/dist/history/script.d.ts +0 -2
- package/dist/history/script.d.ts.map +0 -1
- package/dist/history/script.js +0 -128
- package/dist/history/script.js.map +0 -1
- package/dist/http/assets.d.ts +0 -17
- package/dist/http/assets.d.ts.map +0 -1
- package/dist/http/assets.js +0 -63
- package/dist/http/assets.js.map +0 -1
- package/dist/http/attachment.d.ts +0 -4
- package/dist/http/attachment.d.ts.map +0 -1
- package/dist/http/attachment.js +0 -43
- package/dist/http/attachment.js.map +0 -1
- package/dist/http/events.d.ts +0 -5
- package/dist/http/events.d.ts.map +0 -1
- package/dist/http/events.js +0 -17
- package/dist/http/events.js.map +0 -1
- package/dist/http/history.d.ts +0 -7
- package/dist/http/history.d.ts.map +0 -1
- package/dist/http/history.js +0 -33
- package/dist/http/history.js.map +0 -1
- package/dist/http/identity.d.ts +0 -7
- package/dist/http/identity.d.ts.map +0 -1
- package/dist/http/identity.js +0 -38
- package/dist/http/identity.js.map +0 -1
- package/dist/http/loopback.d.ts +0 -4
- package/dist/http/loopback.d.ts.map +0 -1
- package/dist/http/loopback.js +0 -22
- package/dist/http/loopback.js.map +0 -1
- package/dist/http/overview.d.ts +0 -5
- package/dist/http/overview.d.ts.map +0 -1
- package/dist/http/overview.js +0 -13
- package/dist/http/overview.js.map +0 -1
- package/dist/http/page.d.ts +0 -10
- package/dist/http/page.d.ts.map +0 -1
- package/dist/http/page.js +0 -68
- package/dist/http/page.js.map +0 -1
- package/dist/http/respond.d.ts +0 -8
- package/dist/http/respond.d.ts.map +0 -1
- package/dist/http/respond.js +0 -17
- package/dist/http/respond.js.map +0 -1
- package/dist/http/sameOrigin.d.ts +0 -3
- package/dist/http/sameOrigin.d.ts.map +0 -1
- package/dist/http/sameOrigin.js +0 -14
- package/dist/http/sameOrigin.js.map +0 -1
- package/dist/http/search.d.ts +0 -5
- package/dist/http/search.d.ts.map +0 -1
- package/dist/http/search.js +0 -11
- package/dist/http/search.js.map +0 -1
- package/dist/http/start.d.ts +0 -4
- package/dist/http/start.d.ts.map +0 -1
- package/dist/http/start.js +0 -12
- package/dist/http/start.js.map +0 -1
- package/dist/http/work.d.ts +0 -6
- package/dist/http/work.d.ts.map +0 -1
- package/dist/http/work.js +0 -22
- package/dist/http/work.js.map +0 -1
- package/dist/metadata/attentionProblems.d.ts.map +0 -1
- package/dist/metadata/attentionProblems.js.map +0 -1
- package/dist/metadata/backlinks.d.ts +0 -8
- package/dist/metadata/backlinks.d.ts.map +0 -1
- package/dist/metadata/backlinks.js +0 -40
- package/dist/metadata/backlinks.js.map +0 -1
- package/dist/metadata/fields.d.ts +0 -72
- package/dist/metadata/fields.d.ts.map +0 -1
- package/dist/metadata/fields.js +0 -25
- package/dist/metadata/fields.js.map +0 -1
- package/dist/metadata/links.d.ts.map +0 -1
- package/dist/metadata/links.js.map +0 -1
- package/dist/metadata/locations.d.ts.map +0 -1
- package/dist/metadata/locations.js.map +0 -1
- package/dist/metadata/model.d.ts +0 -15
- package/dist/metadata/model.d.ts.map +0 -1
- package/dist/metadata/model.js.map +0 -1
- package/dist/metadata/parse.d.ts +0 -16
- package/dist/metadata/parse.d.ts.map +0 -1
- package/dist/metadata/parse.js.map +0 -1
- package/dist/metadata/problems.d.ts +0 -4
- package/dist/metadata/problems.d.ts.map +0 -1
- package/dist/metadata/problems.js +0 -63
- package/dist/metadata/problems.js.map +0 -1
- package/dist/metadata/relationshipLabel.d.ts.map +0 -1
- package/dist/metadata/relationshipLabel.js.map +0 -1
- package/dist/metadata/sourceLinks.d.ts.map +0 -1
- package/dist/metadata/sourceLinks.js.map +0 -1
- package/dist/page/ageScript.d.ts +0 -2
- package/dist/page/ageScript.d.ts.map +0 -1
- package/dist/page/ageScript.js +0 -23
- package/dist/page/ageScript.js.map +0 -1
- package/dist/page/attentionDetails.d.ts +0 -4
- package/dist/page/attentionDetails.d.ts.map +0 -1
- package/dist/page/attentionDetails.js +0 -14
- package/dist/page/attentionDetails.js.map +0 -1
- package/dist/page/backlinksHtml.d.ts +0 -3
- package/dist/page/backlinksHtml.d.ts.map +0 -1
- package/dist/page/backlinksHtml.js +0 -16
- package/dist/page/backlinksHtml.js.map +0 -1
- package/dist/page/board.d.ts +0 -4
- package/dist/page/board.d.ts.map +0 -1
- package/dist/page/board.js +0 -42
- package/dist/page/board.js.map +0 -1
- package/dist/page/client.d.ts +0 -3
- package/dist/page/client.d.ts.map +0 -1
- package/dist/page/client.js +0 -150
- package/dist/page/client.js.map +0 -1
- package/dist/page/criteriaEvidence.d.ts +0 -4
- package/dist/page/criteriaEvidence.d.ts.map +0 -1
- package/dist/page/criteriaEvidence.js +0 -27
- package/dist/page/criteriaEvidence.js.map +0 -1
- package/dist/page/diagrams.d.ts +0 -2
- package/dist/page/diagrams.d.ts.map +0 -1
- package/dist/page/diagrams.js +0 -89
- package/dist/page/diagrams.js.map +0 -1
- package/dist/page/document.d.ts +0 -4
- package/dist/page/document.d.ts.map +0 -1
- package/dist/page/document.js +0 -12
- package/dist/page/document.js.map +0 -1
- package/dist/page/escape.d.ts +0 -2
- package/dist/page/escape.d.ts.map +0 -1
- package/dist/page/escape.js +0 -3
- package/dist/page/escape.js.map +0 -1
- package/dist/page/libraryScript.d.ts +0 -2
- package/dist/page/libraryScript.d.ts.map +0 -1
- package/dist/page/libraryScript.js +0 -73
- package/dist/page/libraryScript.js.map +0 -1
- package/dist/page/metadata.d.ts +0 -5
- package/dist/page/metadata.d.ts.map +0 -1
- package/dist/page/metadata.js +0 -42
- package/dist/page/metadata.js.map +0 -1
- package/dist/page/metadataDetails.d.ts +0 -4
- package/dist/page/metadataDetails.d.ts.map +0 -1
- package/dist/page/metadataDetails.js +0 -32
- package/dist/page/metadataDetails.js.map +0 -1
- package/dist/page/metadataLinks.d.ts +0 -6
- package/dist/page/metadataLinks.d.ts.map +0 -1
- package/dist/page/metadataLinks.js +0 -31
- package/dist/page/metadataLinks.js.map +0 -1
- package/dist/page/nav.d.ts +0 -3
- package/dist/page/nav.d.ts.map +0 -1
- package/dist/page/nav.js +0 -22
- package/dist/page/nav.js.map +0 -1
- package/dist/page/navigationScript.d.ts +0 -2
- package/dist/page/navigationScript.d.ts.map +0 -1
- package/dist/page/navigationScript.js +0 -106
- package/dist/page/navigationScript.js.map +0 -1
- package/dist/page/readingStateScript.d.ts +0 -2
- package/dist/page/readingStateScript.d.ts.map +0 -1
- package/dist/page/readingStateScript.js +0 -62
- package/dist/page/readingStateScript.js.map +0 -1
- package/dist/page/readingStyles.d.ts.map +0 -1
- package/dist/page/readingStyles.js +0 -29
- package/dist/page/readingStyles.js.map +0 -1
- package/dist/page/readingTools.d.ts.map +0 -1
- package/dist/page/readingTools.js +0 -10
- package/dist/page/readingTools.js.map +0 -1
- package/dist/page/recordedEvidence.d.ts +0 -4
- package/dist/page/recordedEvidence.d.ts.map +0 -1
- package/dist/page/recordedEvidence.js +0 -10
- package/dist/page/recordedEvidence.js.map +0 -1
- package/dist/page/searchDialog.d.ts.map +0 -1
- package/dist/page/searchDialog.js.map +0 -1
- package/dist/page/searchResultsScript.d.ts +0 -2
- package/dist/page/searchResultsScript.d.ts.map +0 -1
- package/dist/page/searchResultsScript.js +0 -64
- package/dist/page/searchResultsScript.js.map +0 -1
- package/dist/page/searchScript.d.ts +0 -2
- package/dist/page/searchScript.d.ts.map +0 -1
- package/dist/page/searchScript.js +0 -75
- package/dist/page/searchScript.js.map +0 -1
- package/dist/page/shell.d.ts +0 -2
- package/dist/page/shell.d.ts.map +0 -1
- package/dist/page/shell.js +0 -30
- package/dist/page/shell.js.map +0 -1
- package/dist/page/startHtml.d.ts +0 -2
- package/dist/page/startHtml.d.ts.map +0 -1
- package/dist/page/startHtml.js +0 -10
- package/dist/page/startHtml.js.map +0 -1
- package/dist/page/startTemplates.d.ts.map +0 -1
- package/dist/page/startTemplates.js.map +0 -1
- package/dist/page/stateScript.d.ts +0 -2
- package/dist/page/stateScript.d.ts.map +0 -1
- package/dist/page/stateScript.js +0 -55
- package/dist/page/stateScript.js.map +0 -1
- package/dist/page/style.d.ts.map +0 -1
- package/dist/page/style.js +0 -97
- package/dist/page/style.js.map +0 -1
- package/dist/page/swap.d.ts +0 -2
- package/dist/page/swap.d.ts.map +0 -1
- package/dist/page/swap.js +0 -145
- package/dist/page/swap.js.map +0 -1
- package/dist/page/updated.d.ts +0 -2
- package/dist/page/updated.d.ts.map +0 -1
- package/dist/page/updated.js +0 -2
- package/dist/page/updated.js.map +0 -1
- package/dist/page/visualDialog.d.ts.map +0 -1
- package/dist/page/visualDialog.js.map +0 -1
- package/dist/page/visualScript.d.ts +0 -2
- package/dist/page/visualScript.d.ts.map +0 -1
- package/dist/page/visualScript.js +0 -42
- package/dist/page/visualScript.js.map +0 -1
- package/dist/page/visualViewport.d.ts +0 -2
- package/dist/page/visualViewport.d.ts.map +0 -1
- package/dist/page/visualViewport.js +0 -87
- package/dist/page/visualViewport.js.map +0 -1
- package/dist/page/workspaceStyles.d.ts +0 -3
- package/dist/page/workspaceStyles.d.ts.map +0 -1
- package/dist/page/workspaceStyles.js +0 -79
- package/dist/page/workspaceStyles.js.map +0 -1
- package/dist/render/board.d.ts +0 -20
- package/dist/render/board.d.ts.map +0 -1
- package/dist/render/board.js +0 -57
- package/dist/render/board.js.map +0 -1
- package/dist/render/highlighter.d.ts +0 -13
- package/dist/render/highlighter.d.ts.map +0 -1
- package/dist/render/highlighter.js +0 -11
- package/dist/render/highlighter.js.map +0 -1
- package/dist/render/markdown.d.ts +0 -12
- package/dist/render/markdown.d.ts.map +0 -1
- package/dist/render/markdown.js +0 -40
- package/dist/render/markdown.js.map +0 -1
- package/dist/responses/agent-cli.d.ts.map +0 -1
- package/dist/responses/agent-cli.js +0 -31
- package/dist/responses/agent-cli.js.map +0 -1
- package/dist/responses/agent.d.ts +0 -80
- package/dist/responses/agent.d.ts.map +0 -1
- package/dist/responses/agent.js +0 -49
- package/dist/responses/agent.js.map +0 -1
- package/dist/responses/await.d.ts +0 -39
- package/dist/responses/await.d.ts.map +0 -1
- package/dist/responses/await.js +0 -21
- package/dist/responses/await.js.map +0 -1
- package/dist/responses/composerHtml.d.ts +0 -27
- package/dist/responses/composerHtml.d.ts.map +0 -1
- package/dist/responses/composerHtml.js +0 -14
- package/dist/responses/composerHtml.js.map +0 -1
- package/dist/responses/flags.d.ts.map +0 -1
- package/dist/responses/flags.js +0 -23
- package/dist/responses/flags.js.map +0 -1
- package/dist/responses/history.d.ts +0 -20
- package/dist/responses/history.d.ts.map +0 -1
- package/dist/responses/history.js +0 -16
- package/dist/responses/history.js.map +0 -1
- package/dist/responses/locate.d.ts +0 -13
- package/dist/responses/locate.d.ts.map +0 -1
- package/dist/responses/locate.js +0 -55
- package/dist/responses/locate.js.map +0 -1
- package/dist/responses/make.d.ts.map +0 -1
- package/dist/responses/make.js.map +0 -1
- package/dist/responses/outcome.d.ts.map +0 -1
- package/dist/responses/outcome.js.map +0 -1
- package/dist/responses/page.d.ts +0 -6
- package/dist/responses/page.d.ts.map +0 -1
- package/dist/responses/page.js +0 -22
- package/dist/responses/page.js.map +0 -1
- package/dist/responses/publish.d.ts +0 -4
- package/dist/responses/publish.d.ts.map +0 -1
- package/dist/responses/publish.js +0 -56
- package/dist/responses/publish.js.map +0 -1
- package/dist/responses/publishIn.d.ts.map +0 -1
- package/dist/responses/publishIn.js +0 -69
- package/dist/responses/publishIn.js.map +0 -1
- package/dist/responses/read.d.ts +0 -36
- package/dist/responses/read.d.ts.map +0 -1
- package/dist/responses/read.js +0 -43
- package/dist/responses/read.js.map +0 -1
- package/dist/responses/records.d.ts +0 -12
- package/dist/responses/records.d.ts.map +0 -1
- package/dist/responses/records.js.map +0 -1
- package/dist/responses/retry.d.ts +0 -34
- package/dist/responses/retry.d.ts.map +0 -1
- package/dist/responses/retry.js +0 -14
- package/dist/responses/retry.js.map +0 -1
- package/dist/responses/service.d.ts +0 -142
- package/dist/responses/service.d.ts.map +0 -1
- package/dist/responses/service.js +0 -95
- package/dist/responses/service.js.map +0 -1
- package/dist/responses/template.d.ts.map +0 -1
- package/dist/responses/template.js +0 -58
- package/dist/responses/template.js.map +0 -1
- package/dist/responses/templateHtml.d.ts +0 -7
- package/dist/responses/templateHtml.d.ts.map +0 -1
- package/dist/responses/templateHtml.js +0 -18
- package/dist/responses/templateHtml.js.map +0 -1
- package/dist/responses/templateLinks.d.ts.map +0 -1
- package/dist/responses/templateLinks.js.map +0 -1
- package/dist/responses/templateNodes.d.ts.map +0 -1
- package/dist/responses/templateNodes.js +0 -47
- package/dist/responses/templateNodes.js.map +0 -1
- package/dist/responses/validateSupersedes.d.ts +0 -5
- package/dist/responses/validateSupersedes.d.ts.map +0 -1
- package/dist/responses/validateSupersedes.js +0 -21
- package/dist/responses/validateSupersedes.js.map +0 -1
- package/dist/responses/validatedInput.d.ts.map +0 -1
- package/dist/responses/validatedInput.js +0 -43
- package/dist/responses/validatedInput.js.map +0 -1
- package/dist/responses/waitFor.d.ts +0 -37
- package/dist/responses/waitFor.d.ts.map +0 -1
- package/dist/responses/waitFor.js +0 -47
- package/dist/responses/waitFor.js.map +0 -1
- package/dist/results/criteria.d.ts +0 -3
- package/dist/results/criteria.d.ts.map +0 -1
- package/dist/results/criteria.js +0 -34
- package/dist/results/criteria.js.map +0 -1
- package/dist/results/feedback.d.ts +0 -7
- package/dist/results/feedback.d.ts.map +0 -1
- package/dist/results/feedback.js +0 -32
- package/dist/results/feedback.js.map +0 -1
- package/dist/results/page.d.ts +0 -7
- package/dist/results/page.d.ts.map +0 -1
- package/dist/results/page.js +0 -40
- package/dist/results/page.js.map +0 -1
- package/dist/rpc/affected.d.ts +0 -4
- package/dist/rpc/affected.d.ts.map +0 -1
- package/dist/rpc/affected.js +0 -75
- package/dist/rpc/affected.js.map +0 -1
- package/dist/rpc/hints.d.ts +0 -17
- package/dist/rpc/hints.d.ts.map +0 -1
- package/dist/rpc/hints.js.map +0 -1
- package/dist/rpc/server.d.ts +0 -16
- package/dist/rpc/server.d.ts.map +0 -1
- package/dist/rpc/server.js +0 -40
- package/dist/rpc/server.js.map +0 -1
- package/dist/search/attentionEntries.d.ts +0 -4
- package/dist/search/attentionEntries.d.ts.map +0 -1
- package/dist/search/attentionEntries.js.map +0 -1
- package/dist/search/collector.d.ts.map +0 -1
- package/dist/search/collector.js.map +0 -1
- package/dist/search/entries.d.ts.map +0 -1
- package/dist/search/entries.js +0 -44
- package/dist/search/entries.js.map +0 -1
- package/dist/search/linkCollector.d.ts.map +0 -1
- package/dist/search/linkCollector.js.map +0 -1
- package/dist/search/match.d.ts.map +0 -1
- package/dist/search/match.js.map +0 -1
- package/dist/search/metadataEntries.d.ts +0 -4
- package/dist/search/metadataEntries.d.ts.map +0 -1
- package/dist/search/metadataEntries.js +0 -42
- package/dist/search/metadataEntries.js.map +0 -1
- package/dist/search/snapshot.d.ts +0 -13
- package/dist/search/snapshot.d.ts.map +0 -1
- package/dist/search/snapshot.js +0 -49
- package/dist/search/snapshot.js.map +0 -1
- package/dist/serve-cli.d.ts.map +0 -1
- package/dist/serve-cli.js +0 -20
- package/dist/serve-cli.js.map +0 -1
- package/dist/serve.d.ts +0 -9
- package/dist/serve.d.ts.map +0 -1
- package/dist/serve.js +0 -9
- package/dist/serve.js.map +0 -1
- package/dist/views/items.d.ts +0 -11
- package/dist/views/items.d.ts.map +0 -1
- package/dist/views/items.js.map +0 -1
- package/dist/views/projection.d.ts +0 -15
- package/dist/views/projection.d.ts.map +0 -1
- package/dist/views/projection.js.map +0 -1
- package/dist/views/savedScript.d.ts +0 -2
- package/dist/views/savedScript.d.ts.map +0 -1
- package/dist/views/savedScript.js +0 -89
- package/dist/views/savedScript.js.map +0 -1
- package/dist/views/state.d.ts.map +0 -1
- package/dist/views/state.js.map +0 -1
- package/dist/views/tools.d.ts.map +0 -1
- package/dist/views/tools.js +0 -11
- package/dist/views/tools.js.map +0 -1
- package/dist/views/workCards.d.ts +0 -4
- package/dist/views/workCards.d.ts.map +0 -1
- package/dist/views/workCards.js +0 -23
- package/dist/views/workCards.js.map +0 -1
- package/dist/views/workControls.d.ts.map +0 -1
- package/dist/views/workControls.js +0 -32
- package/dist/views/workControls.js.map +0 -1
- package/dist/views/workDetail.d.ts +0 -13
- package/dist/views/workDetail.d.ts.map +0 -1
- package/dist/views/workDetail.js +0 -26
- package/dist/views/workDetail.js.map +0 -1
- package/dist/views/workHtml.d.ts +0 -15
- package/dist/views/workHtml.d.ts.map +0 -1
- package/dist/views/workHtml.js +0 -35
- package/dist/views/workHtml.js.map +0 -1
- package/dist/views/workStyle.d.ts.map +0 -1
- package/dist/views/workStyle.js +0 -18
- package/dist/views/workStyle.js.map +0 -1
- package/dist/views/workTable.d.ts +0 -4
- package/dist/views/workTable.d.ts.map +0 -1
- package/dist/views/workTable.js +0 -19
- package/dist/views/workTable.js.map +0 -1
- package/src/attention/overviewHtml.ts +0 -44
- package/src/attention/requests.ts +0 -64
- package/src/board.ts +0 -138
- package/src/browser/client.ts +0 -87
- package/src/browser/entry.ts +0 -11
- package/src/browser/handoffs/copy.ts +0 -45
- package/src/browser/handoffs/fields.ts +0 -50
- package/src/browser/handoffs/setup.ts +0 -113
- package/src/browser/responses/draftSession.ts +0 -108
- package/src/browser/responses/drafts.ts +0 -82
- package/src/browser/responses/preview.ts +0 -7
- package/src/browser/responses/questionnaireControls.ts +0 -74
- package/src/browser/responses/setup.ts +0 -132
- package/src/browser/responses/submissionFields.ts +0 -15
- package/src/browser/responses/submit.ts +0 -33
- package/src/cli.ts +0 -16
- package/src/files/changes.ts +0 -71
- package/src/files/home.ts +0 -41
- package/src/files/list.ts +0 -67
- package/src/files/watchDirectories.ts +0 -61
- package/src/handoffs/html.ts +0 -42
- package/src/handoffs/page.ts +0 -45
- package/src/handoffs/records.ts +0 -34
- package/src/handoffs/service.ts +0 -103
- package/src/handoffs/source.ts +0 -35
- package/src/history/baseline.ts +0 -43
- package/src/history/compare.ts +0 -54
- package/src/history/documents.ts +0 -21
- package/src/history/html.ts +0 -23
- package/src/history/response.ts +0 -23
- package/src/history/script.ts +0 -127
- package/src/http/assets.ts +0 -70
- package/src/http/attachment.ts +0 -46
- package/src/http/events.ts +0 -29
- package/src/http/history.ts +0 -39
- package/src/http/identity.ts +0 -62
- package/src/http/loopback.ts +0 -29
- package/src/http/overview.ts +0 -19
- package/src/http/page.ts +0 -95
- package/src/http/respond.ts +0 -20
- package/src/http/sameOrigin.ts +0 -14
- package/src/http/search.ts +0 -13
- package/src/http/start.ts +0 -16
- package/src/http/work.ts +0 -41
- package/src/metadata/backlinks.ts +0 -52
- package/src/metadata/fields.ts +0 -26
- package/src/metadata/model.ts +0 -27
- package/src/metadata/parse.ts +0 -62
- package/src/metadata/problems.ts +0 -70
- package/src/page/ageScript.ts +0 -22
- package/src/page/attentionDetails.ts +0 -19
- package/src/page/backlinksHtml.ts +0 -18
- package/src/page/board.ts +0 -47
- package/src/page/client.ts +0 -149
- package/src/page/criteriaEvidence.ts +0 -36
- package/src/page/diagrams.ts +0 -88
- package/src/page/document.ts +0 -13
- package/src/page/escape.ts +0 -3
- package/src/page/libraryScript.ts +0 -72
- package/src/page/metadata.ts +0 -50
- package/src/page/metadataDetails.ts +0 -35
- package/src/page/metadataLinks.ts +0 -35
- package/src/page/nav.ts +0 -29
- package/src/page/navigationScript.ts +0 -105
- package/src/page/readingStateScript.ts +0 -61
- package/src/page/readingStyles.ts +0 -28
- package/src/page/readingTools.ts +0 -12
- package/src/page/recordedEvidence.ts +0 -12
- package/src/page/searchResultsScript.ts +0 -63
- package/src/page/searchScript.ts +0 -74
- package/src/page/shell.ts +0 -40
- package/src/page/startHtml.ts +0 -10
- package/src/page/stateScript.ts +0 -54
- package/src/page/style.ts +0 -102
- package/src/page/swap.ts +0 -144
- package/src/page/updated.ts +0 -1
- package/src/page/visualScript.ts +0 -41
- package/src/page/visualViewport.ts +0 -86
- package/src/page/workspaceStyles.ts +0 -79
- package/src/render/board.ts +0 -85
- package/src/render/highlighter.ts +0 -17
- package/src/render/markdown.ts +0 -52
- package/src/responses/agent-cli.ts +0 -35
- package/src/responses/agent.ts +0 -59
- package/src/responses/await.ts +0 -21
- package/src/responses/composerHtml.ts +0 -28
- package/src/responses/flags.ts +0 -22
- package/src/responses/history.ts +0 -18
- package/src/responses/locate.ts +0 -60
- package/src/responses/page.ts +0 -30
- package/src/responses/publish.ts +0 -53
- package/src/responses/publishIn.ts +0 -71
- package/src/responses/read.ts +0 -45
- package/src/responses/records.ts +0 -58
- package/src/responses/retry.ts +0 -23
- package/src/responses/service.ts +0 -117
- package/src/responses/template.ts +0 -72
- package/src/responses/templateHtml.ts +0 -26
- package/src/responses/templateNodes.ts +0 -55
- package/src/responses/validateSupersedes.ts +0 -24
- package/src/responses/validatedInput.ts +0 -45
- package/src/responses/waitFor.ts +0 -58
- package/src/results/criteria.ts +0 -37
- package/src/results/feedback.ts +0 -44
- package/src/results/page.ts +0 -58
- package/src/rpc/affected.ts +0 -77
- package/src/rpc/hints.ts +0 -34
- package/src/rpc/server.ts +0 -67
- package/src/search/attentionEntries.ts +0 -22
- package/src/search/entries.ts +0 -58
- package/src/search/metadataEntries.ts +0 -44
- package/src/search/snapshot.ts +0 -59
- package/src/serve-cli.ts +0 -37
- package/src/serve.ts +0 -16
- package/src/views/items.ts +0 -55
- package/src/views/projection.ts +0 -59
- package/src/views/savedScript.ts +0 -88
- package/src/views/tools.ts +0 -11
- package/src/views/workCards.ts +0 -26
- package/src/views/workControls.ts +0 -38
- package/src/views/workDetail.ts +0 -28
- package/src/views/workHtml.ts +0 -39
- package/src/views/workStyle.ts +0 -17
- package/src/views/workTable.ts +0 -21
- /package/dist/{views → browser/views}/state.d.ts +0 -0
- /package/dist/{views → browser/views}/state.js +0 -0
- /package/dist/{browser → client}/entry.d.ts +0 -0
- /package/dist/{browser → client}/session.d.ts +0 -0
- /package/dist/{browser → client}/session.js +0 -0
- /package/dist/{attention → server/attention}/style.d.ts +0 -0
- /package/dist/{attention → server/attention}/style.js +0 -0
- /package/dist/{cli.d.ts → server/cli.d.ts} +0 -0
- /package/dist/{files → server/files}/markdownPath.d.ts +0 -0
- /package/dist/{files → server/files}/markdownPath.js +0 -0
- /package/dist/{handoffs → server/handoffs}/records.js +0 -0
- /package/dist/{history → server/history}/compare.js +0 -0
- /package/dist/{history → server/history}/fields.d.ts +0 -0
- /package/dist/{history → server/history}/fields.js +0 -0
- /package/dist/{history → server/history}/limits.d.ts +0 -0
- /package/dist/{history → server/history}/limits.js +0 -0
- /package/dist/{metadata → server/metadata}/attentionProblems.d.ts +0 -0
- /package/dist/{metadata → server/metadata}/attentionProblems.js +0 -0
- /package/dist/{metadata → server/metadata}/links.d.ts +0 -0
- /package/dist/{metadata → server/metadata}/links.js +0 -0
- /package/dist/{metadata → server/metadata}/locations.d.ts +0 -0
- /package/dist/{metadata → server/metadata}/locations.js +0 -0
- /package/dist/{metadata → server/metadata}/model.js +0 -0
- /package/dist/{metadata → server/metadata}/parse.js +0 -0
- /package/dist/{metadata → server/metadata}/relationshipLabel.d.ts +0 -0
- /package/dist/{metadata → server/metadata}/relationshipLabel.js +0 -0
- /package/dist/{metadata → server/metadata}/sourceLinks.d.ts +0 -0
- /package/dist/{metadata → server/metadata}/sourceLinks.js +0 -0
- /package/dist/{page → server/page}/readingStyles.d.ts +0 -0
- /package/dist/{page → server/page}/readingTools.d.ts +0 -0
- /package/dist/{page → server/page}/searchDialog.d.ts +0 -0
- /package/dist/{page → server/page}/searchDialog.js +0 -0
- /package/dist/{page → server/page}/startTemplates.d.ts +0 -0
- /package/dist/{page → server/page}/startTemplates.js +0 -0
- /package/dist/{page → server/page}/style.d.ts +0 -0
- /package/dist/{page → server/page}/visualDialog.d.ts +0 -0
- /package/dist/{page → server/page}/visualDialog.js +0 -0
- /package/dist/{responses → server/responses}/agent-cli.d.ts +0 -0
- /package/dist/{responses → server/responses}/flags.d.ts +0 -0
- /package/dist/{responses → server/responses}/make.d.ts +0 -0
- /package/dist/{responses → server/responses}/make.js +0 -0
- /package/dist/{responses → server/responses}/outcome.d.ts +0 -0
- /package/dist/{responses → server/responses}/outcome.js +0 -0
- /package/dist/{responses → server/responses}/publishIn.d.ts +0 -0
- /package/dist/{responses → server/responses}/records.js +0 -0
- /package/dist/{responses → server/responses}/template.d.ts +0 -0
- /package/dist/{responses → server/responses}/templateLinks.d.ts +0 -0
- /package/dist/{responses → server/responses}/templateLinks.js +0 -0
- /package/dist/{responses → server/responses}/templateNodes.d.ts +0 -0
- /package/dist/{responses → server/responses}/validatedInput.d.ts +0 -0
- /package/dist/{rpc → server/rpc}/hints.js +0 -0
- /package/dist/{search → server/search}/attentionEntries.js +0 -0
- /package/dist/{search → server/search}/collector.d.ts +0 -0
- /package/dist/{search → server/search}/collector.js +0 -0
- /package/dist/{search → server/search}/entries.d.ts +0 -0
- /package/dist/{search → server/search}/linkCollector.d.ts +0 -0
- /package/dist/{search → server/search}/linkCollector.js +0 -0
- /package/dist/{search → server/search}/match.d.ts +0 -0
- /package/dist/{search → server/search}/match.js +0 -0
- /package/dist/{serve-cli.d.ts → server/serve-cli.d.ts} +0 -0
- /package/dist/{views → server/views}/items.js +0 -0
- /package/dist/{views → server/views}/projection.js +0 -0
- /package/dist/{views → server/views}/tools.d.ts +0 -0
- /package/dist/{views → server/views}/workControls.d.ts +0 -0
- /package/dist/{views → server/views}/workStyle.d.ts +0 -0
- /package/src/{views → browser/views}/state.ts +0 -0
- /package/src/{browser → client}/session.ts +0 -0
- /package/src/{attention → server/attention}/style.ts +0 -0
- /package/src/{files → server/files}/markdownPath.ts +0 -0
- /package/src/{history → server/history}/fields.ts +0 -0
- /package/src/{history → server/history}/limits.ts +0 -0
- /package/src/{metadata → server/metadata}/attentionProblems.ts +0 -0
- /package/src/{metadata → server/metadata}/links.ts +0 -0
- /package/src/{metadata → server/metadata}/locations.ts +0 -0
- /package/src/{metadata → server/metadata}/relationshipLabel.ts +0 -0
- /package/src/{metadata → server/metadata}/sourceLinks.ts +0 -0
- /package/src/{page → server/page}/searchDialog.ts +0 -0
- /package/src/{page → server/page}/startTemplates.ts +0 -0
- /package/src/{page → server/page}/visualDialog.ts +0 -0
- /package/src/{responses → server/responses}/make.ts +0 -0
- /package/src/{responses → server/responses}/outcome.ts +0 -0
- /package/src/{responses → server/responses}/templateLinks.ts +0 -0
- /package/src/{search → server/search}/collector.ts +0 -0
- /package/src/{search → server/search}/linkCollector.ts +0 -0
- /package/src/{search → server/search}/match.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};
|