functionalscript 0.43.1 → 0.44.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (1095) hide show
  1. package/README.md +53 -21
  2. package/fjs/asn.1/module.f.d.mts +123 -0
  3. package/fjs/asn.1/module.f.mjs +459 -0
  4. package/fjs/asn.1/proof.f.mjs +309 -0
  5. package/fjs/asn.1/types.d.ts +37 -0
  6. package/fjs/asn.1/types.js +6 -0
  7. package/fjs/asserts/module.f.d.mts +37 -0
  8. package/fjs/asserts/module.f.mjs +49 -0
  9. package/fjs/asserts/proof.f.mjs +19 -0
  10. package/fjs/asserts/types.d.ts +11 -0
  11. package/fjs/asserts/types.js +6 -0
  12. package/fjs/basen/base128/module.f.d.mts +22 -0
  13. package/fjs/basen/base128/module.f.mjs +51 -0
  14. package/fjs/basen/base128/proof.f.d.mts +2 -0
  15. package/fjs/basen/base128/proof.f.mjs +30 -0
  16. package/fjs/basen/base64/module.f.d.mts +14 -0
  17. package/fjs/basen/base64/module.f.mjs +71 -0
  18. package/fjs/basen/base64/proof.f.d.mts +17 -0
  19. package/fjs/basen/base64/proof.f.mjs +147 -0
  20. package/fjs/basen/cbase32/module.f.d.mts +18 -0
  21. package/fjs/basen/cbase32/module.f.mjs +61 -0
  22. package/fjs/basen/cbase32/proof.f.d.mts +8 -0
  23. package/fjs/basen/cbase32/proof.f.mjs +77 -0
  24. package/fjs/basen/module.f.d.mts +30 -0
  25. package/fjs/basen/module.f.mjs +88 -0
  26. package/fjs/basen/proof.f.mjs +69 -0
  27. package/fjs/basen/types.d.ts +14 -0
  28. package/fjs/basen/types.js +6 -0
  29. package/fjs/bnf/data/module.f.d.mts +47 -0
  30. package/fjs/bnf/data/module.f.mjs +188 -0
  31. package/fjs/bnf/data/proof.f.d.mts +13 -0
  32. package/fjs/bnf/data/proof.f.mjs +160 -0
  33. package/fjs/bnf/data/types.d.ts +35 -0
  34. package/fjs/bnf/data/types.js +6 -0
  35. package/fjs/bnf/descent/module.f.d.mts +33 -0
  36. package/fjs/bnf/descent/module.f.mjs +212 -0
  37. package/fjs/bnf/descent/proof.f.d.mts +13 -0
  38. package/fjs/bnf/descent/proof.f.mjs +351 -0
  39. package/fjs/bnf/descent/types.d.ts +71 -0
  40. package/fjs/bnf/descent/types.js +6 -0
  41. package/fjs/bnf/ll1/module.f.d.mts +41 -0
  42. package/fjs/bnf/ll1/module.f.mjs +199 -0
  43. package/fjs/bnf/ll1/proof.f.d.mts +16 -0
  44. package/fjs/bnf/ll1/proof.f.mjs +352 -0
  45. package/fjs/bnf/ll1/types.d.ts +59 -0
  46. package/fjs/bnf/ll1/types.js +6 -0
  47. package/fjs/bnf/module.f.d.mts +164 -0
  48. package/fjs/bnf/module.f.mjs +298 -0
  49. package/fjs/bnf/proof.f.d.mts +17 -0
  50. package/fjs/bnf/proof.f.mjs +89 -0
  51. package/fjs/bnf/testlib.f.d.mts +10 -0
  52. package/fjs/bnf/testlib.f.mjs +196 -0
  53. package/fjs/bnf/token_symbol/module.f.d.mts +35 -0
  54. package/fjs/bnf/token_symbol/module.f.mjs +62 -0
  55. package/fjs/bnf/token_symbol/proof.f.mjs +43 -0
  56. package/fjs/bnf/token_symbol/types.d.ts +27 -0
  57. package/fjs/bnf/token_symbol/types.js +6 -0
  58. package/fjs/bnf/types.d.ts +67 -0
  59. package/fjs/bnf/types.js +6 -0
  60. package/fjs/cas/cli/module.f.d.mts +17 -0
  61. package/fjs/cas/cli/module.f.mjs +73 -0
  62. package/fjs/cas/cli/proof.f.d.mts +18 -0
  63. package/fjs/cas/cli/proof.f.mjs +118 -0
  64. package/fjs/cas/evo/module.f.d.mts +163 -0
  65. package/fjs/cas/evo/module.f.mjs +556 -0
  66. package/fjs/cas/evo/proof.f.d.mts +55 -0
  67. package/fjs/cas/evo/proof.f.mjs +749 -0
  68. package/fjs/cas/evo/types.d.ts +111 -0
  69. package/fjs/cas/evo/types.js +7 -0
  70. package/fjs/cas/module.f.d.mts +68 -0
  71. package/fjs/cas/module.f.mjs +363 -0
  72. package/fjs/cas/proof.f.d.mts +29 -0
  73. package/fjs/cas/proof.f.mjs +371 -0
  74. package/fjs/cas/types.d.ts +35 -0
  75. package/fjs/cas/types.js +6 -0
  76. package/fjs/ci/bun/module.f.d.mts +11 -0
  77. package/fjs/ci/bun/module.f.mjs +20 -0
  78. package/fjs/ci/common/module.f.d.mts +80 -0
  79. package/fjs/ci/common/module.f.mjs +87 -0
  80. package/fjs/ci/common/types.d.ts +27 -0
  81. package/fjs/ci/config/module.f.d.mts +45 -0
  82. package/fjs/ci/config/module.f.mjs +89 -0
  83. package/fjs/ci/deno/module.f.d.mts +16 -0
  84. package/fjs/ci/deno/module.f.mjs +29 -0
  85. package/fjs/ci/deno/proof.f.d.mts +4 -0
  86. package/fjs/ci/deno/proof.f.mjs +26 -0
  87. package/fjs/ci/module.f.d.mts +19 -0
  88. package/fjs/ci/module.f.mjs +89 -0
  89. package/fjs/ci/nix/module.f.d.mts +69 -0
  90. package/fjs/ci/nix/module.f.mjs +136 -0
  91. package/fjs/ci/nix/proof.f.d.mts +28 -0
  92. package/fjs/ci/nix/proof.f.mjs +146 -0
  93. package/fjs/ci/nix/types.d.ts +16 -0
  94. package/fjs/ci/nix/types.js +6 -0
  95. package/fjs/ci/node/module.f.d.mts +48 -0
  96. package/fjs/ci/node/module.f.mjs +139 -0
  97. package/fjs/ci/node/proof.f.mjs +18 -0
  98. package/fjs/ci/proof.f.d.mts +20 -0
  99. package/fjs/ci/proof.f.mjs +219 -0
  100. package/fjs/ci/rust/module.f.d.mts +15 -0
  101. package/fjs/ci/rust/module.f.mjs +108 -0
  102. package/fjs/ci/types.d.ts +9 -0
  103. package/fjs/ci/types.js +6 -0
  104. package/fjs/cli/module.f.d.mts +16 -0
  105. package/fjs/cli/module.f.mjs +51 -0
  106. package/fjs/cli/proof.f.d.mts +16 -0
  107. package/fjs/cli/proof.f.mjs +130 -0
  108. package/fjs/cli/types.d.ts +15 -0
  109. package/fjs/cli/types.js +6 -0
  110. package/fjs/common/monoid/module.f.d.mts +87 -0
  111. package/fjs/common/monoid/module.f.mjs +104 -0
  112. package/fjs/common/monoid/proof.f.d.mts +10 -0
  113. package/fjs/common/monoid/proof.f.mjs +58 -0
  114. package/fjs/common/monoid/types.d.ts +50 -0
  115. package/fjs/common/monoid/types.js +6 -0
  116. package/fjs/crypto/hmac/module.f.d.mts +32 -0
  117. package/fjs/crypto/hmac/module.f.mjs +65 -0
  118. package/fjs/crypto/hmac/proof.f.mjs +34 -0
  119. package/fjs/crypto/pow/module.f.d.mts +43 -0
  120. package/fjs/crypto/pow/module.f.mjs +93 -0
  121. package/fjs/crypto/pow/proof.f.mjs +121 -0
  122. package/fjs/crypto/pow/types.d.ts +19 -0
  123. package/fjs/crypto/pow/types.js +6 -0
  124. package/fjs/crypto/secp/module.f.d.mts +61 -0
  125. package/fjs/crypto/secp/module.f.mjs +204 -0
  126. package/fjs/crypto/secp/proof.f.d.mts +9 -0
  127. package/fjs/crypto/secp/proof.f.mjs +137 -0
  128. package/fjs/crypto/secp/types.d.ts +36 -0
  129. package/fjs/crypto/secp/types.js +6 -0
  130. package/fjs/crypto/sha2/module.f.d.mts +80 -0
  131. package/fjs/crypto/sha2/module.f.mjs +431 -0
  132. package/fjs/crypto/sha2/proof.f.d.mts +32 -0
  133. package/fjs/crypto/sha2/proof.f.mjs +144 -0
  134. package/fjs/crypto/sha2/types.d.ts +57 -0
  135. package/fjs/crypto/sha2/types.js +6 -0
  136. package/fjs/crypto/sign/module.f.d.mts +46 -0
  137. package/fjs/crypto/sign/module.f.mjs +189 -0
  138. package/fjs/crypto/sign/proof.f.d.mts +17 -0
  139. package/fjs/crypto/sign/proof.f.mjs +604 -0
  140. package/fjs/crypto/sign/types.d.ts +13 -0
  141. package/fjs/crypto/sign/types.js +6 -0
  142. package/fjs/crypto/vdf/module.f.d.mts +15 -0
  143. package/fjs/crypto/vdf/module.f.mjs +84 -0
  144. package/fjs/crypto/vdf/proof.f.mjs +106 -0
  145. package/fjs/crypto/vdf/types.d.ts +18 -0
  146. package/fjs/crypto/vdf/types.js +6 -0
  147. package/fjs/dev/module.f.d.mts +56 -0
  148. package/fjs/dev/module.f.mjs +170 -0
  149. package/fjs/dev/package_json/module.f.d.mts +32 -0
  150. package/fjs/dev/package_json/module.f.mjs +37 -0
  151. package/fjs/dev/package_json/proof.f.mjs +32 -0
  152. package/fjs/dev/proof.f.d.mts +13 -0
  153. package/fjs/dev/proof.f.mjs +78 -0
  154. package/fjs/dev/types.d.ts +14 -0
  155. package/fjs/dev/types.js +6 -0
  156. package/fjs/dev/update/module.f.d.mts +19 -0
  157. package/fjs/dev/update/module.f.mjs +36 -0
  158. package/fjs/dev/update/proof.f.d.mts +7 -0
  159. package/fjs/dev/update/proof.f.mjs +36 -0
  160. package/fjs/djs/ast/module.f.d.mts +35 -0
  161. package/fjs/djs/ast/module.f.mjs +82 -0
  162. package/fjs/djs/ast/proof.f.mjs +48 -0
  163. package/fjs/djs/ast/types.d.ts +54 -0
  164. package/fjs/djs/ast/types.js +8 -0
  165. package/fjs/djs/examples/input.f.mjs +4 -0
  166. package/fjs/djs/examples/m.f.mjs +1 -0
  167. package/fjs/djs/module.f.d.mts +17 -0
  168. package/fjs/djs/module.f.mjs +47 -0
  169. package/fjs/djs/parser/module.f.d.mts +75 -0
  170. package/fjs/djs/parser/module.f.mjs +547 -0
  171. package/fjs/djs/parser/proof.f.mjs +543 -0
  172. package/fjs/djs/parser/types.d.ts +11 -0
  173. package/fjs/djs/parser/types.js +7 -0
  174. package/fjs/djs/proof.f.mjs +52 -0
  175. package/fjs/djs/serializer/module.f.d.mts +30 -0
  176. package/fjs/djs/serializer/module.f.mjs +206 -0
  177. package/fjs/djs/serializer/proof.f.mjs +116 -0
  178. package/fjs/djs/tokenizer/module.f.d.mts +65 -0
  179. package/fjs/djs/tokenizer/module.f.mjs +624 -0
  180. package/fjs/djs/tokenizer/proof.f.mjs +980 -0
  181. package/fjs/djs/tokenizer/types.d.ts +20 -0
  182. package/fjs/djs/tokenizer/types.js +7 -0
  183. package/fjs/djs/transpiler/module.f.d.mts +44 -0
  184. package/fjs/djs/transpiler/module.f.mjs +141 -0
  185. package/fjs/djs/transpiler/proof.f.mjs +76 -0
  186. package/fjs/djs/types.d.ts +13 -0
  187. package/fjs/djs/types.js +7 -0
  188. package/fjs/effects/eff/module.f.d.mts +10 -0
  189. package/fjs/effects/eff/module.f.mjs +68 -0
  190. package/fjs/effects/eff/proof.f.d.mts +12 -0
  191. package/fjs/effects/eff/proof.f.mjs +66 -0
  192. package/fjs/effects/eff/types.d.ts +71 -0
  193. package/fjs/effects/eff/types.js +6 -0
  194. package/fjs/effects/list/module.f.d.mts +24 -0
  195. package/fjs/effects/list/module.f.mjs +34 -0
  196. package/fjs/effects/list/types.d.ts +26 -0
  197. package/fjs/effects/list/types.js +6 -0
  198. package/fjs/effects/memory/module.f.d.mts +32 -0
  199. package/fjs/effects/memory/module.f.mjs +44 -0
  200. package/fjs/effects/memory/proof.f.d.mts +12 -0
  201. package/fjs/effects/memory/proof.f.mjs +83 -0
  202. package/fjs/effects/memory/types.d.ts +18 -0
  203. package/fjs/effects/memory/types.js +6 -0
  204. package/fjs/effects/mock/module.f.d.mts +6 -0
  205. package/fjs/effects/mock/module.f.mjs +26 -0
  206. package/fjs/effects/mock/types.d.ts +15 -0
  207. package/fjs/effects/mock/types.js +6 -0
  208. package/fjs/effects/module.d.mts +7 -0
  209. package/fjs/effects/module.f.d.mts +350 -0
  210. package/fjs/effects/module.f.mjs +382 -0
  211. package/fjs/effects/module.mjs +18 -0
  212. package/fjs/effects/node/memory/module.d.mts +24 -0
  213. package/fjs/effects/node/memory/module.mjs +59 -0
  214. package/fjs/effects/node/memory/proof.mjs +43 -0
  215. package/fjs/effects/node/module.d.mts +54 -0
  216. package/fjs/effects/node/module.f.d.mts +172 -0
  217. package/fjs/effects/node/module.f.mjs +354 -0
  218. package/fjs/effects/node/module.mjs +393 -0
  219. package/fjs/effects/node/proof.f.d.mts +76 -0
  220. package/fjs/effects/node/proof.f.mjs +444 -0
  221. package/fjs/effects/node/types.d.ts +203 -0
  222. package/fjs/effects/node/types.js +6 -0
  223. package/fjs/effects/node/virtual/module.f.d.mts +31 -0
  224. package/fjs/effects/node/virtual/module.f.mjs +434 -0
  225. package/fjs/effects/node/virtual/proof.f.d.mts +35 -0
  226. package/fjs/effects/node/virtual/proof.f.mjs +226 -0
  227. package/fjs/effects/node/virtual/types.d.ts +39 -0
  228. package/fjs/effects/node/virtual/types.js +7 -0
  229. package/fjs/effects/proof.f.d.mts +62 -0
  230. package/fjs/effects/proof.f.mjs +231 -0
  231. package/fjs/effects/types.d.ts +115 -0
  232. package/fjs/effects/types.js +6 -0
  233. package/fjs/emergent_testing/all.test.js +2 -2
  234. package/fjs/emergent_testing/example.f.d.mts +16 -0
  235. package/fjs/emergent_testing/example.f.mjs +34 -0
  236. package/fjs/emergent_testing/module.f.d.mts +150 -0
  237. package/fjs/emergent_testing/module.f.mjs +414 -0
  238. package/fjs/emergent_testing/proof.f.d.mts +97 -0
  239. package/fjs/emergent_testing/proof.f.mjs +518 -0
  240. package/fjs/emergent_testing/types.d.ts +53 -0
  241. package/fjs/emergent_testing/types.js +6 -0
  242. package/fjs/fsc/bnf.f.d.mts +3 -0
  243. package/fjs/fsc/bnf.f.mjs +77 -0
  244. package/fjs/fsc/json.f.d.mts +13 -0
  245. package/fjs/fsc/json.f.mjs +124 -0
  246. package/fjs/fsc/module.f.d.mts +14 -0
  247. package/fjs/fsc/module.f.mjs +138 -0
  248. package/fjs/fsc/proof.f.mjs +119 -0
  249. package/fjs/fsm/module.f.d.mts +27 -0
  250. package/fjs/fsm/module.f.mjs +99 -0
  251. package/fjs/fsm/proof.f.mjs +146 -0
  252. package/fjs/js/tokenizer/module.f.d.mts +19 -0
  253. package/fjs/js/tokenizer/module.f.mjs +795 -0
  254. package/fjs/js/tokenizer/proof.f.d.mts +12 -0
  255. package/fjs/js/tokenizer/proof.f.mjs +681 -0
  256. package/fjs/js/tokenizer/types.d.ts +193 -0
  257. package/fjs/js/tokenizer/types.js +6 -0
  258. package/fjs/mcp/cas/module.f.d.mts +156 -0
  259. package/fjs/mcp/cas/module.f.mjs +302 -0
  260. package/fjs/mcp/evo/module.f.d.mts +88 -0
  261. package/fjs/mcp/evo/module.f.mjs +153 -0
  262. package/fjs/mcp/evo/proof.f.d.mts +17 -0
  263. package/fjs/mcp/evo/proof.f.mjs +166 -0
  264. package/fjs/mcp/module.f.d.mts +32 -0
  265. package/fjs/mcp/module.f.mjs +96 -0
  266. package/fjs/mcp/proof.f.d.mts +46 -0
  267. package/fjs/mcp/proof.f.mjs +725 -0
  268. package/fjs/media/html/module.f.d.mts +43 -0
  269. package/fjs/media/html/module.f.mjs +167 -0
  270. package/fjs/media/html/proof.f.mjs +77 -0
  271. package/fjs/media/html/types.d.ts +19 -0
  272. package/fjs/media/html/types.js +6 -0
  273. package/fjs/media/json/module.f.d.mts +48 -0
  274. package/fjs/media/json/module.f.mjs +104 -0
  275. package/fjs/media/json/parser/module.f.d.mts +30 -0
  276. package/fjs/media/json/parser/module.f.mjs +219 -0
  277. package/fjs/media/json/parser/proof.f.d.mts +8 -0
  278. package/fjs/media/json/parser/proof.f.mjs +314 -0
  279. package/fjs/media/json/parser/types.d.ts +34 -0
  280. package/fjs/media/json/parser/types.js +6 -0
  281. package/fjs/media/json/proof.f.mjs +79 -0
  282. package/fjs/media/json/rtti/module.f.d.mts +38 -0
  283. package/fjs/media/json/rtti/module.f.mjs +51 -0
  284. package/fjs/media/json/rtti/proof.f.d.mts +26 -0
  285. package/fjs/media/json/rtti/proof.f.mjs +86 -0
  286. package/fjs/media/json/schema/module.f.d.mts +79 -0
  287. package/fjs/media/json/schema/module.f.mjs +144 -0
  288. package/fjs/media/json/schema/proof.f.d.mts +40 -0
  289. package/fjs/media/json/schema/proof.f.mjs +93 -0
  290. package/fjs/media/json/serializer/module.f.d.mts +27 -0
  291. package/fjs/media/json/serializer/module.f.mjs +131 -0
  292. package/fjs/media/json/serializer/proof.f.mjs +92 -0
  293. package/fjs/media/json/tokenizer/module.f.d.mts +17 -0
  294. package/fjs/media/json/tokenizer/module.f.mjs +77 -0
  295. package/fjs/media/json/tokenizer/proof.f.d.mts +8 -0
  296. package/fjs/media/json/tokenizer/proof.f.mjs +291 -0
  297. package/fjs/media/json/tokenizer/types.d.ts +17 -0
  298. package/fjs/media/json/tokenizer/types.js +6 -0
  299. package/fjs/media/json/types.d.ts +25 -0
  300. package/fjs/media/json/types.js +13 -0
  301. package/fjs/media/module.f.d.mts +116 -0
  302. package/fjs/media/module.f.mjs +152 -0
  303. package/fjs/media/nix/module.f.d.mts +14 -0
  304. package/fjs/media/nix/module.f.mjs +261 -0
  305. package/fjs/media/nix/proof.f.mjs +181 -0
  306. package/fjs/media/nix/types.d.ts +22 -0
  307. package/fjs/media/nix/types.js +6 -0
  308. package/fjs/media/proof.f.d.mts +19 -0
  309. package/fjs/media/proof.f.mjs +159 -0
  310. package/fjs/media/revision/module.f.d.mts +119 -0
  311. package/fjs/media/revision/module.f.mjs +166 -0
  312. package/fjs/media/revision/proof.f.mjs +228 -0
  313. package/fjs/media/revision/types.d.ts +16 -0
  314. package/fjs/media/revision/types.js +8 -0
  315. package/fjs/media/rust/module.f.d.mts +61 -0
  316. package/fjs/media/rust/module.f.mjs +93 -0
  317. package/fjs/media/rust/proof.f.d.mts +17 -0
  318. package/fjs/media/rust/proof.f.mjs +50 -0
  319. package/fjs/media/type/module.f.d.mts +97 -0
  320. package/fjs/media/type/module.f.mjs +281 -0
  321. package/fjs/media/type/proof.f.mjs +285 -0
  322. package/fjs/media/type/types.d.ts +67 -0
  323. package/fjs/media/type/types.js +6 -0
  324. package/fjs/media/types.d.ts +26 -0
  325. package/fjs/media/types.js +7 -0
  326. package/fjs/module.f.d.mts +3 -0
  327. package/fjs/module.f.mjs +60 -0
  328. package/fjs/module.mjs +6 -0
  329. package/fjs/nanvm/module.f.d.mts +54 -0
  330. package/fjs/nanvm/module.f.mjs +240 -0
  331. package/fjs/nanvm/proof.f.d.mts +41 -0
  332. package/fjs/nanvm/proof.f.mjs +173 -0
  333. package/fjs/nanvm/rust/module.f.d.mts +54 -0
  334. package/fjs/nanvm/rust/module.f.mjs +166 -0
  335. package/fjs/nanvm/rust/proof.f.d.mts +21 -0
  336. package/fjs/nanvm/rust/proof.f.mjs +119 -0
  337. package/fjs/nanvm/types.d.ts +105 -0
  338. package/fjs/nanvm/types.js +11 -0
  339. package/fjs/nanvm/update/module.f.d.mts +23 -0
  340. package/fjs/nanvm/update/module.f.mjs +33 -0
  341. package/fjs/nanvm/update/proof.f.d.mts +9 -0
  342. package/fjs/nanvm/update/proof.f.mjs +32 -0
  343. package/fjs/path/module.f.d.mts +55 -0
  344. package/fjs/path/module.f.mjs +96 -0
  345. package/fjs/path/proof.f.mjs +125 -0
  346. package/fjs/proof.f.mjs +48 -0
  347. package/fjs/protocol/json_rpc/module.f.d.mts +127 -0
  348. package/fjs/protocol/json_rpc/module.f.mjs +112 -0
  349. package/fjs/protocol/json_rpc/proof.f.mjs +84 -0
  350. package/fjs/protocol/json_rpc/types.d.ts +30 -0
  351. package/fjs/protocol/json_rpc/types.js +8 -0
  352. package/fjs/protocol/mcp/module.f.d.mts +227 -0
  353. package/fjs/protocol/mcp/module.f.mjs +369 -0
  354. package/fjs/protocol/mcp/proof.f.d.mts +53 -0
  355. package/fjs/protocol/mcp/proof.f.mjs +312 -0
  356. package/fjs/protocol/mcp/stdio/module.f.d.mts +52 -0
  357. package/fjs/protocol/mcp/stdio/module.f.mjs +132 -0
  358. package/fjs/protocol/mcp/stdio/proof.f.d.mts +20 -0
  359. package/fjs/protocol/mcp/stdio/proof.f.mjs +190 -0
  360. package/fjs/protocol/mcp/types.d.ts +59 -0
  361. package/fjs/protocol/mcp/types.js +8 -0
  362. package/fjs/sul/id/module.f.d.mts +37 -0
  363. package/fjs/sul/id/module.f.mjs +143 -0
  364. package/fjs/sul/id/proof.f.mjs +72 -0
  365. package/fjs/sul/id/types.d.ts +8 -0
  366. package/fjs/sul/id/types.js +6 -0
  367. package/fjs/sul/level/hash/module.f.d.mts +37 -0
  368. package/fjs/sul/level/hash/module.f.mjs +61 -0
  369. package/fjs/sul/level/hash/proof.f.d.mts +15 -0
  370. package/fjs/sul/level/hash/proof.f.mjs +131 -0
  371. package/fjs/sul/level/hash/types.d.ts +20 -0
  372. package/fjs/sul/level/hash/types.js +6 -0
  373. package/fjs/sul/level/literal/module.f.d.mts +54 -0
  374. package/fjs/sul/level/literal/module.f.mjs +120 -0
  375. package/fjs/sul/level/literal/proof.f.mjs +788 -0
  376. package/fjs/sul/level/literal/types.d.ts +31 -0
  377. package/fjs/sul/level/literal/types.js +6 -0
  378. package/fjs/sul/module.f.d.mts +25 -0
  379. package/fjs/sul/module.f.mjs +69 -0
  380. package/fjs/sul/proof.f.d.mts +11 -0
  381. package/fjs/sul/proof.f.mjs +62 -0
  382. package/fjs/sul/types.d.ts +19 -0
  383. package/fjs/sul/types.js +6 -0
  384. package/fjs/text/ascii/module.f.d.mts +136 -0
  385. package/fjs/text/ascii/module.f.mjs +224 -0
  386. package/fjs/text/ascii/proof.f.mjs +16 -0
  387. package/fjs/text/code_point/module.f.d.mts +74 -0
  388. package/fjs/text/code_point/module.f.mjs +139 -0
  389. package/fjs/text/code_point/proof.f.mjs +80 -0
  390. package/fjs/text/module.f.d.mts +39 -0
  391. package/fjs/text/module.f.mjs +61 -0
  392. package/fjs/text/proof.f.mjs +48 -0
  393. package/fjs/text/sgr/module.f.d.mts +58 -0
  394. package/fjs/text/sgr/module.f.mjs +99 -0
  395. package/fjs/text/sgr/proof.f.mjs +39 -0
  396. package/fjs/text/sgr/types.d.ts +12 -0
  397. package/fjs/text/sgr/types.js +6 -0
  398. package/fjs/text/types.d.ts +13 -0
  399. package/fjs/text/types.js +6 -0
  400. package/fjs/text/utf16/module.f.d.mts +147 -0
  401. package/fjs/text/utf16/module.f.mjs +350 -0
  402. package/fjs/text/utf16/proof.f.d.mts +11 -0
  403. package/fjs/text/utf16/proof.f.mjs +158 -0
  404. package/fjs/text/utf16/types.d.ts +19 -0
  405. package/fjs/text/utf16/types.js +6 -0
  406. package/fjs/text/utf8/module.f.d.mts +69 -0
  407. package/fjs/text/utf8/module.f.mjs +280 -0
  408. package/fjs/text/utf8/proof.f.mjs +217 -0
  409. package/fjs/text/utf8/types.d.ts +26 -0
  410. package/fjs/text/utf8/types.js +6 -0
  411. package/fjs/types/array/module.f.d.mts +68 -0
  412. package/fjs/types/array/module.f.mjs +101 -0
  413. package/fjs/types/array/proof.f.mjs +98 -0
  414. package/fjs/types/array/types.d.ts +13 -0
  415. package/fjs/types/array/types.js +6 -0
  416. package/fjs/types/bigfloat/module.f.d.mts +14 -0
  417. package/fjs/types/bigfloat/module.f.mjs +99 -0
  418. package/fjs/types/bigfloat/proof.f.mjs +218 -0
  419. package/fjs/types/bigfloat/types.d.ts +6 -0
  420. package/fjs/types/bigfloat/types.js +6 -0
  421. package/fjs/types/bigint/benchmark.d.mts +1 -0
  422. package/fjs/types/bigint/benchmark.mjs +205 -0
  423. package/fjs/types/bigint/module.f.d.mts +176 -0
  424. package/fjs/types/bigint/module.f.mjs +289 -0
  425. package/fjs/types/bigint/proof.f.d.mts +39 -0
  426. package/fjs/types/bigint/proof.f.mjs +443 -0
  427. package/fjs/types/bigint/types.d.ts +14 -0
  428. package/fjs/types/bigint/types.js +6 -0
  429. package/fjs/types/bit_vec/module.f.d.mts +199 -0
  430. package/fjs/types/bit_vec/module.f.mjs +485 -0
  431. package/fjs/types/bit_vec/proof.f.mjs +495 -0
  432. package/fjs/types/bit_vec/types.d.ts +51 -0
  433. package/fjs/types/bit_vec/types.js +6 -0
  434. package/fjs/types/btree/find/module.f.d.mts +15 -0
  435. package/fjs/types/btree/find/module.f.mjs +80 -0
  436. package/fjs/types/btree/find/proof.f.d.mts +4 -0
  437. package/fjs/types/btree/find/proof.f.mjs +121 -0
  438. package/fjs/types/btree/find/types.d.ts +22 -0
  439. package/fjs/types/btree/find/types.js +6 -0
  440. package/fjs/types/btree/module.f.d.mts +10 -0
  441. package/fjs/types/btree/module.f.mjs +39 -0
  442. package/fjs/types/btree/proof.f.d.mts +14 -0
  443. package/fjs/types/btree/proof.f.mjs +85 -0
  444. package/fjs/types/btree/remove/module.f.d.mts +21 -0
  445. package/fjs/types/btree/remove/module.f.mjs +187 -0
  446. package/fjs/types/btree/remove/proof.f.mjs +472 -0
  447. package/fjs/types/btree/set/module.f.d.mts +5 -0
  448. package/fjs/types/btree/set/module.f.mjs +117 -0
  449. package/fjs/types/btree/set/proof.f.mjs +427 -0
  450. package/fjs/types/btree/types/module.f.d.mts +19 -0
  451. package/fjs/types/btree/types/module.f.mjs +19 -0
  452. package/fjs/types/btree/types/types.d.ts +14 -0
  453. package/fjs/types/btree/types/types.js +6 -0
  454. package/fjs/types/byte_set/module.f.d.mts +26 -0
  455. package/fjs/types/byte_set/module.f.mjs +66 -0
  456. package/fjs/types/byte_set/proof.f.d.mts +12 -0
  457. package/fjs/types/byte_set/proof.f.mjs +84 -0
  458. package/fjs/types/byte_set/types.d.ts +6 -0
  459. package/fjs/types/byte_set/types.js +6 -0
  460. package/fjs/types/function/compare/module.f.d.mts +44 -0
  461. package/fjs/types/function/compare/module.f.mjs +71 -0
  462. package/fjs/types/function/compare/proof.f.mjs +50 -0
  463. package/fjs/types/function/compare/types.d.ts +22 -0
  464. package/fjs/types/function/compare/types.js +6 -0
  465. package/fjs/types/function/module.f.d.mts +26 -0
  466. package/fjs/types/function/module.f.mjs +32 -0
  467. package/fjs/types/function/operator/module.f.d.mts +37 -0
  468. package/fjs/types/function/operator/module.f.mjs +55 -0
  469. package/fjs/types/function/operator/proof.f.mjs +76 -0
  470. package/fjs/types/function/operator/types.d.ts +39 -0
  471. package/fjs/types/function/operator/types.js +6 -0
  472. package/fjs/types/function/proof.f.mjs +16 -0
  473. package/fjs/types/function/types.d.ts +16 -0
  474. package/fjs/types/function/types.js +6 -0
  475. package/fjs/types/list/module.f.d.mts +88 -0
  476. package/fjs/types/list/module.f.mjs +309 -0
  477. package/fjs/types/list/proof.f.d.mts +32 -0
  478. package/fjs/types/list/proof.f.mjs +363 -0
  479. package/fjs/types/list/types.d.ts +36 -0
  480. package/fjs/types/list/types.js +6 -0
  481. package/fjs/types/map/module.f.d.mts +13 -0
  482. package/fjs/types/map/module.f.mjs +42 -0
  483. package/fjs/types/map/proof.f.mjs +25 -0
  484. package/fjs/types/nibble_set/module.f.d.mts +30 -0
  485. package/fjs/types/nibble_set/module.f.mjs +43 -0
  486. package/fjs/types/nibble_set/proof.f.mjs +59 -0
  487. package/fjs/types/nibble_set/types.d.ts +9 -0
  488. package/fjs/types/nibble_set/types.js +6 -0
  489. package/fjs/types/nominal/module.f.d.mts +9 -0
  490. package/fjs/types/nominal/module.f.mjs +16 -0
  491. package/fjs/types/nominal/proof.f.d.mts +7 -0
  492. package/fjs/types/nominal/proof.f.mjs +79 -0
  493. package/fjs/types/nominal/types.d.ts +25 -0
  494. package/fjs/types/nominal/types.js +6 -0
  495. package/fjs/types/nullable/module.f.d.mts +38 -0
  496. package/fjs/types/nullable/module.f.mjs +53 -0
  497. package/fjs/types/nullable/proof.f.mjs +34 -0
  498. package/fjs/types/nullable/types.d.ts +6 -0
  499. package/fjs/types/nullable/types.js +6 -0
  500. package/fjs/types/number/module.f.d.mts +23 -0
  501. package/fjs/types/number/module.f.mjs +55 -0
  502. package/fjs/types/number/proof.f.mjs +204 -0
  503. package/fjs/types/object/module.f.d.mts +33 -0
  504. package/fjs/types/object/module.f.mjs +58 -0
  505. package/fjs/types/object/proof.f.d.mts +25 -0
  506. package/fjs/types/object/proof.f.mjs +26 -0
  507. package/fjs/types/object/types.d.ts +50 -0
  508. package/fjs/types/object/types.js +8 -0
  509. package/fjs/types/ordered_map/module.f.d.mts +21 -0
  510. package/fjs/types/ordered_map/module.f.mjs +54 -0
  511. package/fjs/types/ordered_map/proof.f.mjs +88 -0
  512. package/fjs/types/ordered_map/types.d.ts +8 -0
  513. package/fjs/types/ordered_map/types.js +6 -0
  514. package/fjs/types/patricia_trie/module.f.d.mts +19 -0
  515. package/fjs/types/patricia_trie/module.f.mjs +43 -0
  516. package/fjs/types/patricia_trie/proof.f.d.mts +14 -0
  517. package/fjs/types/patricia_trie/proof.f.mjs +148 -0
  518. package/fjs/types/patricia_trie/types.d.ts +34 -0
  519. package/fjs/types/patricia_trie/types.js +6 -0
  520. package/fjs/types/prime_field/module.f.d.mts +42 -0
  521. package/fjs/types/prime_field/module.f.mjs +136 -0
  522. package/fjs/types/prime_field/proof.f.mjs +131 -0
  523. package/fjs/types/prime_field/types.d.ts +38 -0
  524. package/fjs/types/prime_field/types.js +6 -0
  525. package/fjs/types/range/module.f.d.mts +11 -0
  526. package/fjs/types/range/module.f.mjs +13 -0
  527. package/fjs/types/range/proof.f.mjs +10 -0
  528. package/fjs/types/range/types.d.ts +6 -0
  529. package/fjs/types/range/types.js +6 -0
  530. package/fjs/types/range_map/module.f.d.mts +72 -0
  531. package/fjs/types/range_map/module.f.mjs +130 -0
  532. package/fjs/types/range_map/proof.f.d.mts +7 -0
  533. package/fjs/types/range_map/proof.f.mjs +186 -0
  534. package/fjs/types/range_map/types.d.ts +56 -0
  535. package/fjs/types/range_map/types.js +6 -0
  536. package/fjs/types/range_set/module.f.d.mts +5 -0
  537. package/fjs/types/range_set/module.f.mjs +19 -0
  538. package/fjs/types/range_set/proof.f.mjs +26 -0
  539. package/fjs/types/result/module.d.mts +5 -0
  540. package/fjs/types/result/module.f.d.mts +59 -0
  541. package/fjs/types/result/module.f.mjs +67 -0
  542. package/fjs/types/result/module.mjs +22 -0
  543. package/fjs/types/result/proof.f.mjs +41 -0
  544. package/fjs/types/result/types.d.ts +17 -0
  545. package/fjs/types/result/types.js +6 -0
  546. package/fjs/types/rtti/common/module.f.d.mts +86 -0
  547. package/fjs/types/rtti/common/module.f.mjs +183 -0
  548. package/fjs/types/rtti/common/proof.f.d.mts +9 -0
  549. package/fjs/types/rtti/common/proof.f.mjs +64 -0
  550. package/fjs/types/rtti/common/types.d.ts +43 -0
  551. package/fjs/types/rtti/common/types.js +1 -0
  552. package/fjs/types/rtti/module.f.d.mts +76 -0
  553. package/fjs/types/rtti/module.f.mjs +110 -0
  554. package/fjs/types/rtti/parse/module.f.d.mts +9 -0
  555. package/fjs/types/rtti/parse/module.f.mjs +196 -0
  556. package/fjs/types/rtti/parse/proof.f.d.mts +122 -0
  557. package/fjs/types/rtti/parse/proof.f.mjs +363 -0
  558. package/fjs/types/rtti/parse/types.d.ts +12 -0
  559. package/fjs/types/rtti/parse/types.js +1 -0
  560. package/fjs/types/rtti/proof.f.d.mts +8 -0
  561. package/fjs/types/rtti/proof.f.mjs +20 -0
  562. package/fjs/types/rtti/ts/module.f.d.mts +34 -0
  563. package/fjs/types/rtti/ts/module.f.mjs +64 -0
  564. package/fjs/types/rtti/ts/proof.f.mjs +88 -0
  565. package/fjs/types/rtti/ts/types.d.ts +88 -0
  566. package/fjs/types/rtti/ts/types.js +1 -0
  567. package/fjs/types/rtti/types.d.ts +43 -0
  568. package/fjs/types/rtti/types.js +1 -0
  569. package/fjs/types/rtti/validate/module.f.d.mts +6 -0
  570. package/fjs/types/rtti/validate/module.f.mjs +169 -0
  571. package/fjs/types/rtti/validate/proof.f.d.mts +125 -0
  572. package/fjs/types/rtti/validate/proof.f.mjs +437 -0
  573. package/fjs/types/rtti/validate/types.d.ts +6 -0
  574. package/fjs/types/rtti/validate/types.js +1 -0
  575. package/fjs/types/sorted_list/module.f.d.mts +43 -0
  576. package/fjs/types/sorted_list/module.f.mjs +110 -0
  577. package/fjs/types/sorted_list/proof.f.d.mts +5 -0
  578. package/fjs/types/sorted_list/proof.f.mjs +52 -0
  579. package/fjs/types/sorted_list/types.d.ts +15 -0
  580. package/fjs/types/sorted_list/types.js +6 -0
  581. package/fjs/types/sorted_set/module.f.d.mts +24 -0
  582. package/fjs/types/sorted_set/module.f.mjs +56 -0
  583. package/fjs/types/sorted_set/proof.f.d.mts +7 -0
  584. package/fjs/types/sorted_set/proof.f.mjs +77 -0
  585. package/fjs/types/sorted_set/types.d.ts +6 -0
  586. package/fjs/types/sorted_set/types.js +6 -0
  587. package/fjs/types/string/module.f.d.mts +36 -0
  588. package/fjs/types/string/module.f.mjs +58 -0
  589. package/fjs/types/string/proof.f.mjs +76 -0
  590. package/fjs/types/string_set/module.f.d.mts +37 -0
  591. package/fjs/types/string_set/module.f.mjs +53 -0
  592. package/fjs/types/string_set/proof.f.mjs +46 -0
  593. package/fjs/types/string_set/types.d.ts +7 -0
  594. package/fjs/types/string_set/types.js +6 -0
  595. package/fjs/types/ts/module.f.d.mts +20 -0
  596. package/fjs/types/ts/module.f.mjs +51 -0
  597. package/fjs/types/ts/proof.f.mjs +97 -0
  598. package/fjs/types/ts/types.d.ts +16 -0
  599. package/fjs/types/ts/types.js +8 -0
  600. package/fjs/types/uint8array/module.f.d.mts +31 -0
  601. package/fjs/types/uint8array/module.f.mjs +53 -0
  602. package/fjs/types/uint8array/proof.f.d.mts +17 -0
  603. package/fjs/types/uint8array/proof.f.mjs +73 -0
  604. package/fjs/website/module.f.d.mts +8 -0
  605. package/fjs/website/module.f.mjs +24 -0
  606. package/fjs/website/proof.f.mjs +14 -0
  607. package/package.json +12 -10
  608. package/todo/proof.f.d.mts +22 -0
  609. package/todo/proof.f.mjs +59 -0
  610. package/fjs/asn.1/module.f.d.ts +0 -62
  611. package/fjs/asn.1/module.f.js +0 -278
  612. package/fjs/asn.1/proof.f.js +0 -285
  613. package/fjs/asserts/module.f.d.ts +0 -36
  614. package/fjs/asserts/module.f.js +0 -39
  615. package/fjs/asserts/proof.f.js +0 -18
  616. package/fjs/base_n/module.f.d.ts +0 -45
  617. package/fjs/base_n/module.f.js +0 -72
  618. package/fjs/base_n/proof.f.js +0 -73
  619. package/fjs/basen/base128/module.f.d.ts +0 -20
  620. package/fjs/basen/base128/module.f.js +0 -43
  621. package/fjs/basen/base128/proof.f.js +0 -26
  622. package/fjs/basen/base64/module.f.d.ts +0 -9
  623. package/fjs/basen/base64/module.f.js +0 -71
  624. package/fjs/basen/base64/proof.f.d.ts +0 -16
  625. package/fjs/basen/base64/proof.f.js +0 -139
  626. package/fjs/basen/cbase32/module.f.d.ts +0 -11
  627. package/fjs/basen/cbase32/module.f.js +0 -55
  628. package/fjs/basen/cbase32/proof.f.d.ts +0 -7
  629. package/fjs/basen/cbase32/proof.f.js +0 -62
  630. package/fjs/bnf/data/module.f.d.ts +0 -52
  631. package/fjs/bnf/data/module.f.js +0 -143
  632. package/fjs/bnf/data/proof.f.d.ts +0 -8
  633. package/fjs/bnf/data/proof.f.js +0 -169
  634. package/fjs/bnf/descent/module.f.d.ts +0 -87
  635. package/fjs/bnf/descent/module.f.js +0 -149
  636. package/fjs/bnf/descent/proof.f.d.ts +0 -7
  637. package/fjs/bnf/descent/proof.f.js +0 -368
  638. package/fjs/bnf/ll1/module.f.d.ts +0 -72
  639. package/fjs/bnf/ll1/module.f.js +0 -155
  640. package/fjs/bnf/ll1/proof.f.d.ts +0 -10
  641. package/fjs/bnf/ll1/proof.f.js +0 -375
  642. package/fjs/bnf/module.f.d.ts +0 -165
  643. package/fjs/bnf/module.f.js +0 -174
  644. package/fjs/bnf/proof.f.d.ts +0 -12
  645. package/fjs/bnf/proof.f.js +0 -69
  646. package/fjs/bnf/testlib.f.d.ts +0 -3
  647. package/fjs/bnf/testlib.f.js +0 -138
  648. package/fjs/bnf/token_symbol/module.f.d.ts +0 -38
  649. package/fjs/bnf/token_symbol/module.f.js +0 -48
  650. package/fjs/bnf/token_symbol/proof.f.js +0 -37
  651. package/fjs/cas/cli/module.f.d.ts +0 -6
  652. package/fjs/cas/cli/module.f.js +0 -53
  653. package/fjs/cas/cli/proof.f.d.ts +0 -17
  654. package/fjs/cas/cli/proof.f.js +0 -112
  655. package/fjs/cas/evo/module.f.d.ts +0 -223
  656. package/fjs/cas/evo/module.f.js +0 -455
  657. package/fjs/cas/evo/proof.f.d.ts +0 -47
  658. package/fjs/cas/evo/proof.f.js +0 -707
  659. package/fjs/cas/module.f.d.ts +0 -64
  660. package/fjs/cas/module.f.js +0 -255
  661. package/fjs/cas/proof.f.d.ts +0 -18
  662. package/fjs/cas/proof.f.js +0 -305
  663. package/fjs/ci/bun/module.f.d.ts +0 -2
  664. package/fjs/ci/bun/module.f.js +0 -15
  665. package/fjs/ci/common/module.f.d.ts +0 -88
  666. package/fjs/ci/common/module.f.js +0 -63
  667. package/fjs/ci/config/module.f.d.ts +0 -45
  668. package/fjs/ci/config/module.f.js +0 -80
  669. package/fjs/ci/deno/module.f.d.ts +0 -10
  670. package/fjs/ci/deno/module.f.js +0 -28
  671. package/fjs/ci/deno/proof.f.d.ts +0 -5
  672. package/fjs/ci/deno/proof.f.js +0 -26
  673. package/fjs/ci/module.f.d.ts +0 -13
  674. package/fjs/ci/module.f.js +0 -58
  675. package/fjs/ci/nix/module.f.d.ts +0 -61
  676. package/fjs/ci/nix/module.f.js +0 -92
  677. package/fjs/ci/nix/proof.f.d.ts +0 -23
  678. package/fjs/ci/nix/proof.f.js +0 -109
  679. package/fjs/ci/node/module.f.d.ts +0 -28
  680. package/fjs/ci/node/module.f.js +0 -92
  681. package/fjs/ci/node/proof.f.js +0 -17
  682. package/fjs/ci/proof.f.d.ts +0 -18
  683. package/fjs/ci/proof.f.js +0 -182
  684. package/fjs/ci/rust/module.f.d.ts +0 -3
  685. package/fjs/ci/rust/module.f.js +0 -75
  686. package/fjs/cli/module.f.d.ts +0 -11
  687. package/fjs/cli/module.f.js +0 -34
  688. package/fjs/cli/proof.f.d.ts +0 -14
  689. package/fjs/cli/proof.f.js +0 -111
  690. package/fjs/common/monoid/module.f.d.ts +0 -126
  691. package/fjs/common/monoid/module.f.js +0 -88
  692. package/fjs/common/monoid/proof.f.d.ts +0 -9
  693. package/fjs/common/monoid/proof.f.js +0 -48
  694. package/fjs/crypto/hmac/module.f.d.ts +0 -29
  695. package/fjs/crypto/hmac/module.f.js +0 -56
  696. package/fjs/crypto/hmac/proof.f.js +0 -32
  697. package/fjs/crypto/pow/module.f.d.ts +0 -37
  698. package/fjs/crypto/pow/module.f.js +0 -72
  699. package/fjs/crypto/pow/proof.f.js +0 -111
  700. package/fjs/crypto/secp/module.f.d.ts +0 -85
  701. package/fjs/crypto/secp/module.f.js +0 -176
  702. package/fjs/crypto/secp/proof.f.d.ts +0 -8
  703. package/fjs/crypto/secp/proof.f.js +0 -124
  704. package/fjs/crypto/sha2/module.f.d.ts +0 -102
  705. package/fjs/crypto/sha2/module.f.js +0 -266
  706. package/fjs/crypto/sha2/proof.f.d.ts +0 -31
  707. package/fjs/crypto/sha2/proof.f.js +0 -139
  708. package/fjs/crypto/sign/module.f.d.ts +0 -33
  709. package/fjs/crypto/sign/module.f.js +0 -163
  710. package/fjs/crypto/sign/proof.f.d.ts +0 -11
  711. package/fjs/crypto/sign/proof.f.js +0 -562
  712. package/fjs/crypto/vdf/module.f.d.ts +0 -21
  713. package/fjs/crypto/vdf/module.f.js +0 -57
  714. package/fjs/crypto/vdf/proof.f.js +0 -94
  715. package/fjs/dev/module.f.d.ts +0 -57
  716. package/fjs/dev/module.f.js +0 -135
  717. package/fjs/dev/package_json/module.f.d.ts +0 -16
  718. package/fjs/dev/package_json/module.f.js +0 -24
  719. package/fjs/dev/package_json/proof.f.js +0 -28
  720. package/fjs/dev/proof.f.d.ts +0 -13
  721. package/fjs/dev/proof.f.js +0 -77
  722. package/fjs/dev/update/module.f.d.ts +0 -11
  723. package/fjs/dev/update/module.f.js +0 -20
  724. package/fjs/dev/update/proof.f.d.ts +0 -7
  725. package/fjs/dev/update/proof.f.js +0 -35
  726. package/fjs/djs/ast/module.f.d.ts +0 -62
  727. package/fjs/djs/ast/module.f.js +0 -61
  728. package/fjs/djs/ast/proof.f.js +0 -49
  729. package/fjs/djs/examples/input.f.js +0 -4
  730. package/fjs/djs/examples/m.f.js +0 -1
  731. package/fjs/djs/module.f.d.ts +0 -17
  732. package/fjs/djs/module.f.js +0 -22
  733. package/fjs/djs/parser/module.f.d.ts +0 -23
  734. package/fjs/djs/parser/module.f.js +0 -410
  735. package/fjs/djs/parser/proof.f.js +0 -556
  736. package/fjs/djs/proof.f.js +0 -50
  737. package/fjs/djs/serializer/module.f.d.ts +0 -17
  738. package/fjs/djs/serializer/module.f.js +0 -173
  739. package/fjs/djs/serializer/proof.f.js +0 -133
  740. package/fjs/djs/tokenizer/module.f.d.ts +0 -24
  741. package/fjs/djs/tokenizer/module.f.js +0 -472
  742. package/fjs/djs/tokenizer/proof.f.js +0 -1211
  743. package/fjs/djs/transpiler/module.f.d.ts +0 -41
  744. package/fjs/djs/transpiler/module.f.js +0 -88
  745. package/fjs/djs/transpiler/proof.f.js +0 -67
  746. package/fjs/effects/eff/module.f.d.ts +0 -72
  747. package/fjs/effects/eff/module.f.js +0 -46
  748. package/fjs/effects/eff/proof.f.d.ts +0 -11
  749. package/fjs/effects/eff/proof.f.js +0 -58
  750. package/fjs/effects/list/module.f.d.ts +0 -37
  751. package/fjs/effects/list/module.f.js +0 -17
  752. package/fjs/effects/memory/module.f.d.ts +0 -37
  753. package/fjs/effects/memory/module.f.js +0 -24
  754. package/fjs/effects/memory/proof.f.d.ts +0 -6
  755. package/fjs/effects/memory/proof.f.js +0 -50
  756. package/fjs/effects/mock/module.f.d.ts +0 -16
  757. package/fjs/effects/mock/module.f.js +0 -20
  758. package/fjs/effects/module.d.ts +0 -2
  759. package/fjs/effects/module.f.d.ts +0 -408
  760. package/fjs/effects/module.f.js +0 -312
  761. package/fjs/effects/module.js +0 -11
  762. package/fjs/effects/node/memory/module.d.ts +0 -20
  763. package/fjs/effects/node/memory/module.js +0 -44
  764. package/fjs/effects/node/memory/proof.js +0 -29
  765. package/fjs/effects/node/module.d.ts +0 -20
  766. package/fjs/effects/node/module.f.d.ts +0 -300
  767. package/fjs/effects/node/module.f.js +0 -171
  768. package/fjs/effects/node/module.js +0 -305
  769. package/fjs/effects/node/proof.f.d.ts +0 -69
  770. package/fjs/effects/node/proof.f.js +0 -409
  771. package/fjs/effects/node/virtual/module.f.d.ts +0 -49
  772. package/fjs/effects/node/virtual/module.f.js +0 -440
  773. package/fjs/effects/node/virtual/proof.f.d.ts +0 -33
  774. package/fjs/effects/node/virtual/proof.f.js +0 -186
  775. package/fjs/effects/proof.f.d.ts +0 -56
  776. package/fjs/effects/proof.f.js +0 -200
  777. package/fjs/emergent_testing/example.f.d.ts +0 -13
  778. package/fjs/emergent_testing/example.f.js +0 -31
  779. package/fjs/emergent_testing/module.f.d.ts +0 -140
  780. package/fjs/emergent_testing/module.f.js +0 -289
  781. package/fjs/emergent_testing/proof.f.d.ts +0 -67
  782. package/fjs/emergent_testing/proof.f.js +0 -416
  783. package/fjs/fsc/bnf.f.d.ts +0 -2
  784. package/fjs/fsc/bnf.f.js +0 -42
  785. package/fjs/fsc/json.f.d.ts +0 -7
  786. package/fjs/fsc/json.f.js +0 -64
  787. package/fjs/fsc/module.f.d.ts +0 -11
  788. package/fjs/fsc/module.f.js +0 -73
  789. package/fjs/fsc/proof.f.js +0 -104
  790. package/fjs/fsm/module.f.d.ts +0 -17
  791. package/fjs/fsm/module.f.js +0 -55
  792. package/fjs/fsm/proof.f.js +0 -126
  793. package/fjs/js/tokenizer/module.f.d.ts +0 -104
  794. package/fjs/js/tokenizer/module.f.js +0 -547
  795. package/fjs/js/tokenizer/proof.f.d.ts +0 -9
  796. package/fjs/js/tokenizer/proof.f.js +0 -986
  797. package/fjs/mcp/cas/module.f.d.ts +0 -27
  798. package/fjs/mcp/cas/module.f.js +0 -232
  799. package/fjs/mcp/evo/module.f.d.ts +0 -32
  800. package/fjs/mcp/evo/module.f.js +0 -99
  801. package/fjs/mcp/evo/proof.f.d.ts +0 -12
  802. package/fjs/mcp/evo/proof.f.js +0 -147
  803. package/fjs/mcp/module.f.d.ts +0 -56
  804. package/fjs/mcp/module.f.js +0 -69
  805. package/fjs/mcp/proof.f.d.ts +0 -45
  806. package/fjs/mcp/proof.f.js +0 -535
  807. package/fjs/media/html/module.f.d.ts +0 -52
  808. package/fjs/media/html/module.f.js +0 -117
  809. package/fjs/media/html/proof.f.js +0 -65
  810. package/fjs/media/json/module.f.d.ts +0 -64
  811. package/fjs/media/json/module.f.js +0 -109
  812. package/fjs/media/json/parser/module.f.d.ts +0 -21
  813. package/fjs/media/json/parser/module.f.js +0 -194
  814. package/fjs/media/json/parser/proof.f.d.ts +0 -5
  815. package/fjs/media/json/parser/proof.f.js +0 -314
  816. package/fjs/media/json/proof.f.js +0 -98
  817. package/fjs/media/json/schema/module.f.d.ts +0 -78
  818. package/fjs/media/json/schema/module.f.js +0 -96
  819. package/fjs/media/json/schema/proof.f.d.ts +0 -36
  820. package/fjs/media/json/schema/proof.f.js +0 -83
  821. package/fjs/media/json/serializer/module.f.d.ts +0 -28
  822. package/fjs/media/json/serializer/module.f.js +0 -73
  823. package/fjs/media/json/serializer/proof.f.js +0 -94
  824. package/fjs/media/json/tokenizer/module.f.d.ts +0 -15
  825. package/fjs/media/json/tokenizer/module.f.js +0 -63
  826. package/fjs/media/json/tokenizer/proof.f.d.ts +0 -5
  827. package/fjs/media/json/tokenizer/proof.f.js +0 -417
  828. package/fjs/media/module.f.d.ts +0 -119
  829. package/fjs/media/module.f.js +0 -88
  830. package/fjs/media/nix/module.f.d.ts +0 -30
  831. package/fjs/media/nix/module.f.js +0 -166
  832. package/fjs/media/nix/proof.f.js +0 -127
  833. package/fjs/media/proof.f.d.ts +0 -19
  834. package/fjs/media/proof.f.js +0 -127
  835. package/fjs/media/revision/module.f.d.ts +0 -94
  836. package/fjs/media/revision/module.f.js +0 -143
  837. package/fjs/media/revision/proof.f.js +0 -190
  838. package/fjs/media/type/module.f.d.ts +0 -135
  839. package/fjs/media/type/module.f.js +0 -231
  840. package/fjs/media/type/proof.f.js +0 -213
  841. package/fjs/module.f.d.ts +0 -2
  842. package/fjs/module.f.js +0 -50
  843. package/fjs/module.js +0 -4
  844. package/fjs/path/module.f.d.ts +0 -46
  845. package/fjs/path/module.f.js +0 -71
  846. package/fjs/path/proof.f.js +0 -119
  847. package/fjs/proof.f.js +0 -38
  848. package/fjs/protocol/json_rpc/module.f.d.ts +0 -114
  849. package/fjs/protocol/json_rpc/module.f.js +0 -89
  850. package/fjs/protocol/json_rpc/proof.f.js +0 -68
  851. package/fjs/protocol/mcp/module.f.d.ts +0 -239
  852. package/fjs/protocol/mcp/module.f.js +0 -272
  853. package/fjs/protocol/mcp/proof.f.d.ts +0 -34
  854. package/fjs/protocol/mcp/proof.f.js +0 -208
  855. package/fjs/protocol/mcp/stdio/module.f.d.ts +0 -47
  856. package/fjs/protocol/mcp/stdio/module.f.js +0 -78
  857. package/fjs/protocol/mcp/stdio/proof.f.d.ts +0 -13
  858. package/fjs/protocol/mcp/stdio/proof.f.js +0 -143
  859. package/fjs/sul/id/module.f.d.ts +0 -33
  860. package/fjs/sul/id/module.f.js +0 -93
  861. package/fjs/sul/id/proof.f.js +0 -61
  862. package/fjs/sul/level/hash/module.f.d.ts +0 -38
  863. package/fjs/sul/level/hash/module.f.js +0 -43
  864. package/fjs/sul/level/hash/proof.f.d.ts +0 -13
  865. package/fjs/sul/level/hash/proof.f.js +0 -112
  866. package/fjs/sul/level/literal/module.f.d.ts +0 -64
  867. package/fjs/sul/level/literal/module.f.js +0 -88
  868. package/fjs/sul/level/literal/proof.f.js +0 -714
  869. package/fjs/sul/module.f.d.ts +0 -23
  870. package/fjs/sul/module.f.js +0 -46
  871. package/fjs/sul/proof.f.d.ts +0 -9
  872. package/fjs/sul/proof.f.js +0 -47
  873. package/fjs/text/ascii/module.f.d.ts +0 -136
  874. package/fjs/text/ascii/module.f.js +0 -154
  875. package/fjs/text/ascii/proof.f.js +0 -14
  876. package/fjs/text/code_point/module.f.d.ts +0 -65
  877. package/fjs/text/code_point/module.f.js +0 -103
  878. package/fjs/text/code_point/proof.f.js +0 -72
  879. package/fjs/text/module.f.d.ts +0 -40
  880. package/fjs/text/module.f.js +0 -43
  881. package/fjs/text/proof.f.js +0 -44
  882. package/fjs/text/sgr/module.f.d.ts +0 -53
  883. package/fjs/text/sgr/module.f.js +0 -63
  884. package/fjs/text/sgr/proof.f.js +0 -33
  885. package/fjs/text/utf16/module.f.d.ts +0 -161
  886. package/fjs/text/utf16/module.f.js +0 -311
  887. package/fjs/text/utf16/proof.f.d.ts +0 -10
  888. package/fjs/text/utf16/proof.f.js +0 -144
  889. package/fjs/text/utf8/module.f.d.ts +0 -83
  890. package/fjs/text/utf8/module.f.js +0 -247
  891. package/fjs/text/utf8/proof.f.js +0 -217
  892. package/fjs/types/array/module.f.d.ts +0 -49
  893. package/fjs/types/array/module.f.js +0 -42
  894. package/fjs/types/array/proof.f.js +0 -92
  895. package/fjs/types/bigfloat/module.f.d.ts +0 -6
  896. package/fjs/types/bigfloat/module.f.js +0 -69
  897. package/fjs/types/bigfloat/proof.f.js +0 -217
  898. package/fjs/types/bigint/module.f.d.ts +0 -172
  899. package/fjs/types/bigint/module.f.js +0 -251
  900. package/fjs/types/bigint/proof.f.d.ts +0 -37
  901. package/fjs/types/bigint/proof.f.js +0 -400
  902. package/fjs/types/bit_vec/module.f.d.ts +0 -302
  903. package/fjs/types/bit_vec/module.f.js +0 -375
  904. package/fjs/types/bit_vec/proof.f.js +0 -465
  905. package/fjs/types/btree/find/module.f.d.ts +0 -25
  906. package/fjs/types/btree/find/module.f.js +0 -80
  907. package/fjs/types/btree/find/proof.f.d.ts +0 -3
  908. package/fjs/types/btree/find/proof.f.js +0 -108
  909. package/fjs/types/btree/module.f.d.ts +0 -9
  910. package/fjs/types/btree/module.f.js +0 -33
  911. package/fjs/types/btree/proof.f.d.ts +0 -13
  912. package/fjs/types/btree/proof.f.js +0 -64
  913. package/fjs/types/btree/remove/module.f.d.ts +0 -14
  914. package/fjs/types/btree/remove/module.f.js +0 -186
  915. package/fjs/types/btree/remove/proof.f.js +0 -484
  916. package/fjs/types/btree/set/module.f.d.ts +0 -8
  917. package/fjs/types/btree/set/module.f.js +0 -128
  918. package/fjs/types/btree/set/proof.f.js +0 -368
  919. package/fjs/types/btree/types/module.f.d.ts +0 -23
  920. package/fjs/types/btree/types/module.f.js +0 -9
  921. package/fjs/types/byte_set/module.f.d.ts +0 -16
  922. package/fjs/types/byte_set/module.f.js +0 -30
  923. package/fjs/types/byte_set/proof.f.d.ts +0 -11
  924. package/fjs/types/byte_set/proof.f.js +0 -79
  925. package/fjs/types/function/compare/module.f.d.ts +0 -49
  926. package/fjs/types/function/compare/module.f.js +0 -51
  927. package/fjs/types/function/compare/proof.f.js +0 -47
  928. package/fjs/types/function/module.f.d.ts +0 -28
  929. package/fjs/types/function/module.f.js +0 -19
  930. package/fjs/types/function/operator/module.f.d.ts +0 -48
  931. package/fjs/types/function/operator/module.f.js +0 -16
  932. package/fjs/types/function/operator/proof.f.js +0 -53
  933. package/fjs/types/function/proof.f.js +0 -10
  934. package/fjs/types/list/module.f.d.ts +0 -75
  935. package/fjs/types/list/module.f.js +0 -190
  936. package/fjs/types/list/proof.f.d.ts +0 -31
  937. package/fjs/types/list/proof.f.js +0 -330
  938. package/fjs/types/map/module.f.d.ts +0 -2
  939. package/fjs/types/map/module.f.js +0 -22
  940. package/fjs/types/map/proof.f.js +0 -22
  941. package/fjs/types/nibble_set/module.f.d.ts +0 -27
  942. package/fjs/types/nibble_set/module.f.js +0 -25
  943. package/fjs/types/nibble_set/proof.f.js +0 -60
  944. package/fjs/types/nominal/module.f.d.ts +0 -22
  945. package/fjs/types/nominal/module.f.js +0 -13
  946. package/fjs/types/nominal/proof.f.d.ts +0 -4
  947. package/fjs/types/nominal/proof.f.js +0 -48
  948. package/fjs/types/nullable/module.f.d.ts +0 -21
  949. package/fjs/types/nullable/module.f.js +0 -29
  950. package/fjs/types/nullable/proof.f.js +0 -29
  951. package/fjs/types/number/module.f.d.ts +0 -16
  952. package/fjs/types/number/module.f.js +0 -30
  953. package/fjs/types/number/proof.f.js +0 -124
  954. package/fjs/types/object/module.f.d.ts +0 -54
  955. package/fjs/types/object/module.f.js +0 -25
  956. package/fjs/types/object/proof.f.d.ts +0 -4
  957. package/fjs/types/object/proof.f.js +0 -14
  958. package/fjs/types/ordered_map/module.f.d.ts +0 -17
  959. package/fjs/types/ordered_map/module.f.js +0 -22
  960. package/fjs/types/ordered_map/proof.f.js +0 -73
  961. package/fjs/types/patricia_trie/module.f.d.ts +0 -25
  962. package/fjs/types/patricia_trie/module.f.js +0 -35
  963. package/fjs/types/patricia_trie/proof.f.d.ts +0 -13
  964. package/fjs/types/patricia_trie/proof.f.js +0 -121
  965. package/fjs/types/prime_field/module.f.d.ts +0 -62
  966. package/fjs/types/prime_field/module.f.js +0 -112
  967. package/fjs/types/prime_field/proof.f.js +0 -128
  968. package/fjs/types/range/module.f.d.ts +0 -8
  969. package/fjs/types/range/module.f.js +0 -2
  970. package/fjs/types/range/proof.f.js +0 -9
  971. package/fjs/types/range_map/module.f.d.ts +0 -92
  972. package/fjs/types/range_map/module.f.js +0 -82
  973. package/fjs/types/range_map/proof.f.d.ts +0 -6
  974. package/fjs/types/range_map/proof.f.js +0 -151
  975. package/fjs/types/range_set/module.f.d.ts +0 -5
  976. package/fjs/types/range_set/module.f.js +0 -16
  977. package/fjs/types/range_set/proof.f.d.ts +0 -1
  978. package/fjs/types/range_set/proof.f.js +0 -19
  979. package/fjs/types/result/module.d.ts +0 -3
  980. package/fjs/types/result/module.f.d.ts +0 -61
  981. package/fjs/types/result/module.f.js +0 -54
  982. package/fjs/types/result/module.js +0 -19
  983. package/fjs/types/result/proof.f.js +0 -31
  984. package/fjs/types/rtti/common/module.f.d.ts +0 -121
  985. package/fjs/types/rtti/common/module.f.js +0 -94
  986. package/fjs/types/rtti/common/proof.f.d.ts +0 -8
  987. package/fjs/types/rtti/common/proof.f.js +0 -51
  988. package/fjs/types/rtti/module.f.d.ts +0 -75
  989. package/fjs/types/rtti/module.f.js +0 -34
  990. package/fjs/types/rtti/parse/module.f.d.ts +0 -36
  991. package/fjs/types/rtti/parse/module.f.js +0 -114
  992. package/fjs/types/rtti/parse/proof.f.d.ts +0 -115
  993. package/fjs/types/rtti/parse/proof.f.js +0 -334
  994. package/fjs/types/rtti/proof.f.d.ts +0 -5
  995. package/fjs/types/rtti/proof.f.js +0 -16
  996. package/fjs/types/rtti/ts/module.f.d.ts +0 -118
  997. package/fjs/types/rtti/ts/module.f.js +0 -59
  998. package/fjs/types/rtti/ts/proof.f.js +0 -75
  999. package/fjs/types/rtti/validate/module.f.d.ts +0 -4
  1000. package/fjs/types/rtti/validate/module.f.js +0 -74
  1001. package/fjs/types/rtti/validate/proof.f.d.ts +0 -118
  1002. package/fjs/types/rtti/validate/proof.f.js +0 -349
  1003. package/fjs/types/sorted_list/module.f.d.ts +0 -26
  1004. package/fjs/types/sorted_list/module.f.js +0 -51
  1005. package/fjs/types/sorted_list/proof.f.d.ts +0 -4
  1006. package/fjs/types/sorted_list/proof.f.js +0 -46
  1007. package/fjs/types/sorted_set/module.f.d.ts +0 -33
  1008. package/fjs/types/sorted_set/module.f.js +0 -5
  1009. package/fjs/types/sorted_set/proof.f.d.ts +0 -6
  1010. package/fjs/types/sorted_set/proof.f.js +0 -67
  1011. package/fjs/types/string/module.f.d.ts +0 -24
  1012. package/fjs/types/string/module.f.js +0 -35
  1013. package/fjs/types/string/proof.f.js +0 -77
  1014. package/fjs/types/string_set/module.f.d.ts +0 -30
  1015. package/fjs/types/string_set/module.f.js +0 -37
  1016. package/fjs/types/string_set/proof.f.js +0 -43
  1017. package/fjs/types/ts/module.f.d.ts +0 -23
  1018. package/fjs/types/ts/module.f.js +0 -27
  1019. package/fjs/types/ts/proof.f.js +0 -86
  1020. package/fjs/types/uint8array/module.f.d.ts +0 -13
  1021. package/fjs/types/uint8array/module.f.js +0 -34
  1022. package/fjs/types/uint8array/proof.f.d.ts +0 -17
  1023. package/fjs/types/uint8array/proof.f.js +0 -64
  1024. package/fjs/website/module.f.d.ts +0 -3
  1025. package/fjs/website/module.f.js +0 -14
  1026. package/fjs/website/proof.f.js +0 -13
  1027. package/nanvm-lib/tests/proof.f.d.ts +0 -122
  1028. package/nanvm-lib/tests/proof.f.js +0 -330
  1029. package/todo/031-json.f.js +0 -241
  1030. package/todo/proof.f.d.ts +0 -20
  1031. package/todo/proof.f.js +0 -62
  1032. /package/fjs/asn.1/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1033. /package/fjs/asserts/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1034. /package/fjs/{base_n/proof.f.d.ts → basen/proof.f.d.mts} +0 -0
  1035. /package/fjs/bnf/token_symbol/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1036. /package/{todo/031-json.f.d.ts → fjs/ci/common/types.js} +0 -0
  1037. /package/fjs/ci/node/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1038. /package/fjs/crypto/hmac/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1039. /package/fjs/crypto/pow/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1040. /package/fjs/crypto/vdf/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1041. /package/fjs/dev/package_json/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1042. /package/fjs/djs/ast/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1043. /package/fjs/djs/examples/{input.f.d.ts → input.f.d.mts} +0 -0
  1044. /package/fjs/djs/examples/{m.f.d.ts → m.f.d.mts} +0 -0
  1045. /package/fjs/djs/parser/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1046. /package/fjs/djs/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1047. /package/fjs/djs/serializer/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1048. /package/fjs/djs/tokenizer/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1049. /package/fjs/djs/transpiler/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1050. /package/fjs/effects/node/memory/{proof.d.ts → proof.d.mts} +0 -0
  1051. /package/fjs/fsc/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1052. /package/fjs/fsm/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1053. /package/fjs/media/html/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1054. /package/fjs/media/json/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1055. /package/fjs/media/json/serializer/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1056. /package/fjs/media/nix/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1057. /package/fjs/media/revision/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1058. /package/fjs/media/type/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1059. /package/fjs/{module.d.ts → module.d.mts} +0 -0
  1060. /package/fjs/path/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1061. /package/fjs/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1062. /package/fjs/protocol/json_rpc/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1063. /package/fjs/sul/id/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1064. /package/fjs/sul/level/literal/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1065. /package/fjs/text/ascii/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1066. /package/fjs/text/code_point/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1067. /package/fjs/text/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1068. /package/fjs/text/sgr/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1069. /package/fjs/text/utf8/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1070. /package/fjs/types/array/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1071. /package/fjs/types/bigfloat/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1072. /package/fjs/types/bit_vec/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1073. /package/fjs/types/btree/remove/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1074. /package/fjs/types/btree/set/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1075. /package/fjs/{basen/base128/proof.f.d.ts → types/function/compare/proof.f.d.mts} +0 -0
  1076. /package/fjs/types/function/operator/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1077. /package/fjs/types/function/{compare/proof.f.d.ts → proof.f.d.mts} +0 -0
  1078. /package/fjs/types/map/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1079. /package/fjs/types/nibble_set/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1080. /package/fjs/types/nullable/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1081. /package/fjs/types/number/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1082. /package/fjs/types/option/{module.f.d.ts → types.d.ts} +0 -0
  1083. /package/fjs/types/option/{module.f.js → types.js} +0 -0
  1084. /package/fjs/types/ordered_map/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1085. /package/fjs/types/phantom/{module.f.d.ts → types.d.ts} +0 -0
  1086. /package/fjs/types/phantom/{module.f.js → types.js} +0 -0
  1087. /package/fjs/types/prime_field/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1088. /package/fjs/types/{function/proof.f.d.ts → range/proof.f.d.mts} +0 -0
  1089. /package/fjs/types/{range/proof.f.d.ts → range_set/proof.f.d.mts} +0 -0
  1090. /package/fjs/types/result/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1091. /package/fjs/types/rtti/ts/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1092. /package/fjs/types/string/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1093. /package/fjs/types/string_set/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1094. /package/fjs/types/ts/{proof.f.d.ts → proof.f.d.mts} +0 -0
  1095. /package/fjs/website/{proof.f.d.ts → proof.f.d.mts} +0 -0
@@ -1,300 +0,0 @@
1
- import { type Vec } from '../../types/bit_vec/module.f.ts';
2
- import type { MemOp } from '../memory/module.f.ts';
3
- import type { Nominal } from '../../types/nominal/module.f.ts';
4
- import { type Result } from '../../types/result/module.f.ts';
5
- import type { StringMap } from '../../types/object/module.f.ts';
6
- import { type Effect, type Func, type Operation, type ToAsyncOperationMap } from '../module.f.ts';
7
- import type { List } from '../list/module.f.ts';
8
- export type IoResult<T> = Result<T, unknown>;
9
- /**
10
- * True if `e` is a "file or directory does not exist" (`ENOENT`) error.
11
- *
12
- * Node's filesystem rejections are `Error`s carrying `code: 'ENOENT'`; the
13
- * virtual interpreter mirrors that shape for absent paths. Lets callers swallow
14
- * only the missing-path case (e.g. a fresh store) while propagating genuine
15
- * failures (permissions, corruption) rather than masking them.
16
- */
17
- export declare const isNotFound: (e: unknown) => boolean;
18
- export type All = ['all', <T>(...effects: Effect<never, T>[]) => readonly T[]];
19
- /**
20
- * To run the operation `O` should be known by the runner/engine.
21
- * This is the reason why we merge `O` with `All` in the resulted `Effect`.
22
- *
23
- * @param a
24
- * @returns
25
- */
26
- export declare const all: <O extends Operation, T>(...a: readonly Effect<O, T>[]) => Effect<O | All, readonly T[]>;
27
- export declare const both: <O0 extends Operation, T0>(a: Effect<O0, T0>) => <O1 extends Operation, T1>(b: Effect<O1, T1>) => Effect<O0 | O1 | All, readonly [T0, T1]>;
28
- export type Fetch = ['fetch', (url: string) => IoResult<Vec>];
29
- export declare const fetch: Func<Fetch>;
30
- export type MakeDirectoryOptions = {
31
- readonly recursive: true;
32
- };
33
- export type Mkdir = readonly ['mkdir', (path: string, options?: MakeDirectoryOptions) => IoResult<void>];
34
- export declare const mkdir: Func<Mkdir>;
35
- /**
36
- * Reads a file as a bit vector. File size is limited to 131,072 bytes (128 KiB)
37
- * to respect Bun's `bigint` size constraint (1,048,575 bits), which is the
38
- * minimal limit across all runtime environments supported by FunctionalScript.
39
- * Files exceeding this limit will fail with a validation error.
40
- */
41
- export type ReadFile = readonly ['readFile', (path: string) => IoResult<Vec>];
42
- export declare const readFile: Func<ReadFile>;
43
- /**
44
- * Reads a file as UTF-8 text.
45
- *
46
- * Preserves the `IoResult` instead of unwrapping so callers can pattern-match
47
- * on errors (e.g. convert them into domain-specific errors) or `unwrap` at the
48
- * call site.
49
- */
50
- export declare const readUtf8File: (path: string) => Effect<ReadFile, IoResult<string>>;
51
- /**
52
- * Represents a directory entry (file or directory) in the filesystem
53
- * @see https://nodejs.org/api/fs.html#class-fsdirent
54
- */
55
- export type Dirent = {
56
- readonly name: string;
57
- readonly parentPath: string;
58
- readonly isFile: boolean;
59
- };
60
- export type ReaddirOptions = {
61
- readonly recursive?: true;
62
- };
63
- export type Readdir = readonly ['readdir', (path: string, options: ReaddirOptions) => IoResult<readonly Dirent[]>];
64
- export declare const readdir: Func<Readdir>;
65
- export type WriteFile = readonly ['writeFile', (path: string, data: Vec) => IoResult<void>];
66
- export declare const writeFile: Func<WriteFile>;
67
- /** Writes a string to `path` as UTF-8 bytes. */
68
- export declare const writeUtf8File: (path: string, content: string) => Effect<WriteFile, IoResult<void>>;
69
- export type Rm = readonly ['rm', (path: string) => IoResult<void>];
70
- export declare const rm: Func<Rm>;
71
- export type Rename = readonly ['rename', (src: string, dst: string) => IoResult<void>];
72
- export declare const rename: Func<Rename>;
73
- export type ReadBytes = readonly ['readBytes', (path: string, offset: number, size: number) => IoResult<Vec>];
74
- export declare const readBytes: Func<ReadBytes>;
75
- export type RandomInt = readonly ['randomInt', () => number];
76
- export declare const randomInt: Func<RandomInt>;
77
- export type ExecResult = {
78
- readonly stdout: string;
79
- readonly stderr: string;
80
- };
81
- export type Exec = readonly ['exec', (command: string, stdin?: string) => IoResult<ExecResult>];
82
- export declare const exec: Func<Exec>;
83
- export type Access = readonly ['access', (path: string) => IoResult<void>];
84
- export declare const access: Func<Access>;
85
- /**
86
- * Creates `path` as an empty file with `O_CREAT|O_EXCL` — fails if it already
87
- * exists. This is the exclusive create that claims a staging name in the
88
- * lock-free upload ([staging-lease.md](../../../issues/cas/staging-lease.md));
89
- * with 256 random bits in the name `EEXIST` never happens in practice, so it
90
- * is just a sanity guard.
91
- */
92
- export type CreateExclusive = readonly ['createExclusive', (path: string) => IoResult<void>];
93
- export declare const createExclusive: Func<CreateExclusive>;
94
- /**
95
- * Writes the **entire** `data` vector to an **existing** `path` at byte `offset`
96
- * (positional write). The mirror of {@link readBytes}: it never creates the file
97
- * (a missing path is `ENOENT`), and it writes every byte or returns an error —
98
- * the runner loops over short writes — so a later size check can never pass over
99
- * a hole. Bounded to ≤128 KiB per call, like `readBytes`.
100
- */
101
- export type WriteBytes = readonly ['writeBytes', (path: string, offset: number, data: Vec) => IoResult<void>];
102
- export declare const writeBytes: Func<WriteBytes>;
103
- export declare const writeFromStream: <O extends Operation>(path: string, e: List<O, IoResult<Vec>>) => Effect<O | WriteBytes | CreateExclusive, IoResult<void>>;
104
- /** File metadata returned by {@link stat}. Only `size` (in bytes) for now. */
105
- export type FileStat = {
106
- readonly size: number;
107
- };
108
- export type Stat = readonly ['stat', (path: string) => IoResult<FileStat>];
109
- export declare const stat: Func<Stat>;
110
- export type Fs = Mkdir | ReadFile | ReadBytes | Readdir | WriteFile | Rm | Rename | Exec | Access | CreateExclusive | WriteBytes | Stat;
111
- export type Server = Nominal<'server', `160855c4f69310fece3273c1853ac32de43dee1eb41bf59d821917f8eebe9272`, unknown>;
112
- export type Headers = StringMap<string>;
113
- export type IncomingMessage = {
114
- readonly method: string;
115
- readonly url: string;
116
- readonly headers: Headers;
117
- readonly body: Vec;
118
- };
119
- export type ServerResponse = {
120
- readonly status: number;
121
- readonly headers: Headers;
122
- readonly body: Vec;
123
- };
124
- export type RequestListener<O extends Operation> = (_: IncomingMessage) => Effect<O, ServerResponse>;
125
- export type CreateServer = ['createServer', (listener: RequestListener<Operation>) => Server];
126
- export declare const createServer: <O extends Operation>(listener: RequestListener<O>) => Effect<O | CreateServer, Server>;
127
- export type Listen = ['listen', (server: Server, port: number) => void];
128
- export declare const listen: Func<Listen>;
129
- export type Http = CreateServer | Listen;
130
- export type Forever = ['forever', () => never];
131
- export declare const forever: Func<Forever>;
132
- export type Module = StringMap<unknown>;
133
- export type Import = ['import', (path: string) => IoResult<Module>];
134
- export declare const import_: Func<Import>;
135
- /** Named output streams accepted by the `Write` effect. */
136
- export type WriteConsoles = 'stdout' | 'stderr';
137
- /**
138
- * Raw byte write to a named output stream. Encoding-agnostic — callers supply
139
- * a `Vec`. The Node runner maps each stream name to the appropriate fd and
140
- * delegates to the OS via `stream.write()` with backpressure handling.
141
- */
142
- export type Write = readonly ['write', (stream: WriteConsoles, data: Vec) => void];
143
- /** Emits a `Write` effect to the given named stream. */
144
- export declare const write: Func<Write>;
145
- export type Console = (s: string) => Effect<Write, void>;
146
- /** Writes a line to `stdout`. Replaces the retired `Log` effect. */
147
- export declare const log: Console;
148
- /** Writes a line to `stderr`. Replaces the retired `Error` effect. */
149
- export declare const error: Console;
150
- /** Named input streams accepted by the `Read` effect. */
151
- export type ReadConsoles = 'stdin';
152
- /**
153
- * Reads a single byte from a named input stream — the byte-granular dual of
154
- * {@link write}. Resolves to the byte value (`0`–`255`) or `null` at end of
155
- * input (EOF). One byte at a time: the effect carries no buffering or line
156
- * policy, so higher-level framing (see {@link readLine}) lives in pure code
157
- * rather than the interpreter. Back-pressure is naturally sequential — the next
158
- * `read` is only issued once the previous byte is consumed.
159
- */
160
- export type Read = readonly ['read', (stream: ReadConsoles) => number | null];
161
- /** Emits a `Read` effect, yielding the next input byte or `null` at EOF. */
162
- export declare const read: Func<Read>;
163
- /**
164
- * Reads one line from `stream` as a pure combinator over the byte-level
165
- * {@link read}: accumulates bytes until a `\n` terminator or EOF, then
166
- * UTF-8-decodes them. The terminator is consumed but excluded from the result.
167
- *
168
- * Reading a single byte per step means a line never over-reads past its
169
- * terminator, so no leftover-byte buffer has to survive between calls — each
170
- * `readLine` is self-contained. Yields `null` only at EOF with nothing
171
- * buffered; a final line lacking a trailing newline is returned in full.
172
- *
173
- * Bytes accumulate into a cons-list by prepending (O(1) per byte) and are
174
- * reversed and decoded once at the terminator, so a large line costs O(n)
175
- * rather than the O(n²) of copying a growing array on every byte.
176
- */
177
- export declare const readLine: (stream: ReadConsoles) => Effect<Read, string | null>;
178
- export type Now = readonly ['now', () => number];
179
- export declare const now: Func<Now>;
180
- /**
181
- * The outcome of a `Sandbox` operation.
182
- *
183
- * `result` carries either `['ok', value]` or `['error', thrown]`. `duration`
184
- * is a floating-point millisecond count with up to microsecond precision,
185
- * matching `performance.now()` directly. Additional fields (allocated memory,
186
- * max stack depth, coverage) may be added in future without breaking consumers.
187
- */
188
- export type SandboxResult<T> = {
189
- readonly result: Result<T, unknown>;
190
- /**
191
- * Elapsed time in milliseconds (microsecond precision via `performance.now()`).
192
- * The virtual runner returns `0` for deterministic tests.
193
- */
194
- readonly duration: number;
195
- };
196
- export type Sandbox = readonly ['sandbox', <T>(f: () => T) => SandboxResult<T>];
197
- /**
198
- * Runs a plain synchronous function in an isolated, measured environment.
199
- *
200
- * Combines try/catch and high-resolution timing into a single atomic operation.
201
- * Only plain synchronous functions are accepted — no effects, no promises.
202
- *
203
- * Using a single operation rather than separate `TryCatch` + `Perf` effects is
204
- * necessary for correctness: effects execute as async tasks, so the scheduler
205
- * can insert arbitrary work between two separate timing calls, making the
206
- * measured delta inaccurate. Here the clock reads happen synchronously around
207
- * the function call with nothing in between.
208
- *
209
- * Future parameters (time limit, memory limit) can be added to the payload
210
- * without breaking the API. Worker-based implementations can enforce hard
211
- * limits via worker termination.
212
- *
213
- * @see {@link SandboxResult}
214
- */
215
- export declare const sandbox: Func<Sandbox>;
216
- /**
217
- * Resolves the return value of a test function inside the effect runner.
218
- * If `p` is a real `Promise`, it is awaited and rejections propagate as
219
- * throws. If `p` is any other value it is returned as-is. Plain thenables
220
- * (objects with a `.then` method that are not `instanceof Promise`) are
221
- * treated as ordinary values — not awaited. See `fjs/dev/tf/README.md`.
222
- */
223
- export type Await = readonly ['await', (p: unknown) => readonly [unknown]];
224
- export declare const awaitIfPromise: (p: unknown) => Effect<Await, unknown>;
225
- /**
226
- * Signature of a framework test-registration function (e.g. `nodeTest.test`,
227
- * `bunTest.test`). Returns `Promise<void>` so async sub-tests can be awaited.
228
- */
229
- export type TestFn = (name: string, options: {
230
- readonly expectFailure: boolean;
231
- }, fn: (t: TestContext) => Promise<void>) => Promise<void>;
232
- /**
233
- * A thin wrapper around a framework's `test` function. Passed through
234
- * `registerModule` so nested test registration uses the appropriate context
235
- * (e.g. `inlineContext` on Bun, which does not support nested `test()` calls
236
- * inside a callback).
237
- */
238
- export type TestContext = {
239
- readonly test: TestFn;
240
- };
241
- /** Effect operation that registers a named test with the active `TestContext`. */
242
- export type Test = readonly ['test', (ctx: TestContext, name: string, expectFailure: boolean, test: (t: TestContext) => Effect<Test | All | Await, void>) => void];
243
- export declare const test: Func<Test>;
244
- export type NodeOp = Access | All | Await | Fetch | Fs | Http | Forever | Import | MemOp | Now | RandomInt | Read | Sandbox | Write | Test;
245
- export type NodeEffect<T> = Effect<NodeOp, T>;
246
- /**
247
- * Writes an error line to `stderr` and yields exit code `1`. The canonical
248
- * "fail with a message" program for a `NodeProgram`. For non-`1` exit codes,
249
- * compose `mapStep(error(s), () => n)` directly.
250
- */
251
- export declare const errorExit: (s: string) => Effect<Write, number>;
252
- export type NodeOperationMap = ToAsyncOperationMap<NodeOp>;
253
- /**
254
- * The environment variables.
255
- */
256
- export type Env = {
257
- readonly [k: string]: string | undefined;
258
- };
259
- /** Identifies the JavaScript runtime detected at startup. */
260
- export type Engine = 'node' | 'bun' | 'deno';
261
- /** Compares semantic versions numerically by major, minor, then patch. */
262
- export declare const versionLessThan: (version: string, minimum: string) => boolean;
263
- /**
264
- * Reports whether an external runner needs FunctionalScript's flattened test
265
- * registration strategy. Node uses the native `expectFailure` option only
266
- * from the Node 26 baseline; Deno is deliberately exempt from this Node-only
267
- * version check.
268
- */
269
- export declare const usesInlineTestContext: (engine: Engine, nodeVersion?: string) => boolean;
270
- /**
271
- * Runtime options passed to every `NodeProgram`.
272
- *
273
- * - `args`: command-line arguments (equivalent to `process.argv.slice(2)`).
274
- * - `env`: process environment variables.
275
- * - `std`: TTY flags for `stdout` and `stderr`, known at startup and used by
276
- * `csiWrite` to decide whether to strip ANSI SGR sequences.
277
- * - `testContext`: Node `--test` context; used by `register` on Node.
278
- * - `bunTestContext`: Bun-compatible context that flattens nested tests inline,
279
- * working around Bun's lack of nested `test()` support.
280
- * - `engine`: runtime detected at startup; controls which context `register` selects.
281
- * - `nodeVersion`: detected Node version; absent for other and virtual runtimes.
282
- * - `inlineTestContext`: whether the selected context flattens nested tests.
283
- */
284
- export type NodeProgramOptions = {
285
- readonly args: readonly string[];
286
- readonly env: Env;
287
- readonly home: string;
288
- readonly std: {
289
- readonly [k in WriteConsoles]: {
290
- readonly isTTY: boolean;
291
- };
292
- };
293
- readonly testContext: TestContext;
294
- readonly bunTestContext: TestContext;
295
- readonly engine: Engine;
296
- readonly nodeVersion?: string;
297
- readonly inlineTestContext: boolean;
298
- };
299
- export type Program<O extends Operation> = (options: NodeProgramOptions) => Effect<O, number>;
300
- export type NodeProgram = Program<NodeOp>;
@@ -1,171 +0,0 @@
1
- /**
2
- * Node.js effect operations: filesystem (`mkdir`, `readFile`, `readdir`,
3
- * `writeFile`, `rm`, `access`, plus the `readUtf8File`/`writeUtf8File` text
4
- * helpers), networking (`fetch`, `createServer`, `listen`),
5
- * subprocess `exec`, `log`/`error` (wrappers over `write`), `import_`, `now`,
6
- * `sandbox`, `forever`, and `all`/`both` parallelism; defines the
7
- * `NodeOp`/`NodeProgram` types used by the Node runner.
8
- *
9
- * @module
10
- */
11
- import { utf8, utf8ToString } from '../../text/module.f.js';
12
- import { toCodePointList } from '../../text/utf8/module.f.js';
13
- import { codePointListToString } from '../../text/utf16/module.f.js';
14
- import { reverse } from '../../types/list/module.f.js';
15
- import { length } from '../../types/bit_vec/module.f.js';
16
- import { ok, error as resultError, mapOk } from '../../types/result/module.f.js';
17
- import { do_, mapStep, okStep, pure, step } from '../module.f.js';
18
- /**
19
- * True if `e` is a "file or directory does not exist" (`ENOENT`) error.
20
- *
21
- * Node's filesystem rejections are `Error`s carrying `code: 'ENOENT'`; the
22
- * virtual interpreter mirrors that shape for absent paths. Lets callers swallow
23
- * only the missing-path case (e.g. a fresh store) while propagating genuine
24
- * failures (permissions, corruption) rather than masking them.
25
- */
26
- export const isNotFound = (e) => typeof e === 'object' && e !== null && e.code === 'ENOENT';
27
- /**
28
- * To run the operation `O` should be known by the runner/engine.
29
- * This is the reason why we merge `O` with `All` in the resulted `Effect`.
30
- *
31
- * @param a
32
- * @returns
33
- */
34
- export const all = do_('all');
35
- export const both = (a) => (b) => all(a, b);
36
- export const fetch = do_('fetch');
37
- export const mkdir = do_('mkdir');
38
- export const readFile = do_('readFile');
39
- /**
40
- * Reads a file as UTF-8 text.
41
- *
42
- * Preserves the `IoResult` instead of unwrapping so callers can pattern-match
43
- * on errors (e.g. convert them into domain-specific errors) or `unwrap` at the
44
- * call site.
45
- */
46
- export const readUtf8File = (path) => mapStep(readFile(path), mapOk(utf8ToString));
47
- export const readdir = do_('readdir');
48
- export const writeFile = do_('writeFile');
49
- /** Writes a string to `path` as UTF-8 bytes. */
50
- export const writeUtf8File = (path, content) => writeFile(path, utf8(content));
51
- export const rm = do_('rm');
52
- export const rename = do_('rename');
53
- export const readBytes = do_('readBytes');
54
- export const randomInt = do_('randomInt');
55
- export const exec = do_('exec');
56
- export const access = do_('access');
57
- export const createExclusive = do_('createExclusive');
58
- export const writeBytes = do_('writeBytes');
59
- const writeLoop = (path) => {
60
- const f = (offset, e) => step(e, r => {
61
- if (r === undefined) {
62
- return pure(ok(undefined));
63
- }
64
- const { first: [t, v], tail } = r;
65
- if (t === 'error') {
66
- return pure(resultError(v));
67
- }
68
- const lenV = length(v);
69
- if ((lenV & 7n) !== 0n) {
70
- return pure(resultError('invalid buffer size'));
71
- }
72
- return step(writeBytes(path, offset, v), okStep(() => f(offset + Number(lenV >> 3n), tail)));
73
- });
74
- return f;
75
- };
76
- export const writeFromStream = (path, e) => step(createExclusive(path), okStep(() => writeLoop(path)(0, e)));
77
- export const stat = do_('stat');
78
- export const createServer = do_('createServer');
79
- export const listen = do_('listen');
80
- export const forever = do_('forever');
81
- export const import_ = do_('import');
82
- /** Emits a `Write` effect to the given named stream. */
83
- export const write = do_('write');
84
- /**
85
- * Encodes `s + '\n'` as UTF-8 and emits a `Write` effect to `stream`.
86
- * Shared implementation for `log` and `error`.
87
- */
88
- const writeString = (stream) => (s) => write(stream, utf8(s + '\n'));
89
- /** Writes a line to `stdout`. Replaces the retired `Log` effect. */
90
- export const log = writeString('stdout');
91
- /** Writes a line to `stderr`. Replaces the retired `Error` effect. */
92
- export const error = writeString('stderr');
93
- /** Emits a `Read` effect, yielding the next input byte or `null` at EOF. */
94
- export const read = do_('read');
95
- /** Decodes accumulated UTF-8 bytes (MSB-first, already in order) into a string. */
96
- const utf8ListToString = (bytes) => codePointListToString(toCodePointList(bytes));
97
- /** The line-feed byte (`\n`) that terminates a line. */
98
- const lf = 0x0a;
99
- /**
100
- * Reads one line from `stream` as a pure combinator over the byte-level
101
- * {@link read}: accumulates bytes until a `\n` terminator or EOF, then
102
- * UTF-8-decodes them. The terminator is consumed but excluded from the result.
103
- *
104
- * Reading a single byte per step means a line never over-reads past its
105
- * terminator, so no leftover-byte buffer has to survive between calls — each
106
- * `readLine` is self-contained. Yields `null` only at EOF with nothing
107
- * buffered; a final line lacking a trailing newline is returned in full.
108
- *
109
- * Bytes accumulate into a cons-list by prepending (O(1) per byte) and are
110
- * reversed and decoded once at the terminator, so a large line costs O(n)
111
- * rather than the O(n²) of copying a growing array on every byte.
112
- */
113
- export const readLine = (stream) => {
114
- const loop = (acc) => step(read(stream), b => b === null
115
- ? pure(acc === null ? null : utf8ListToString(reverse(acc)))
116
- : b === lf
117
- ? pure(utf8ListToString(reverse(acc)))
118
- : loop({ first: b, tail: acc }));
119
- return loop(null);
120
- };
121
- export const now = do_('now');
122
- /**
123
- * Runs a plain synchronous function in an isolated, measured environment.
124
- *
125
- * Combines try/catch and high-resolution timing into a single atomic operation.
126
- * Only plain synchronous functions are accepted — no effects, no promises.
127
- *
128
- * Using a single operation rather than separate `TryCatch` + `Perf` effects is
129
- * necessary for correctness: effects execute as async tasks, so the scheduler
130
- * can insert arbitrary work between two separate timing calls, making the
131
- * measured delta inaccurate. Here the clock reads happen synchronously around
132
- * the function call with nothing in between.
133
- *
134
- * Future parameters (time limit, memory limit) can be added to the payload
135
- * without breaking the API. Worker-based implementations can enforce hard
136
- * limits via worker termination.
137
- *
138
- * @see {@link SandboxResult}
139
- */
140
- export const sandbox = do_('sandbox');
141
- const awaitPromise = do_('await');
142
- export const awaitIfPromise = (p) => mapStep(awaitPromise(p), ([x]) => x);
143
- export const test = do_('test');
144
- /**
145
- * Writes an error line to `stderr` and yields exit code `1`. The canonical
146
- * "fail with a message" program for a `NodeProgram`. For non-`1` exit codes,
147
- * compose `mapStep(error(s), () => n)` directly.
148
- */
149
- export const errorExit = (s) => mapStep(error(s), () => 1);
150
- const versionParts = (version) => version.replace(/^v/, '').split('.').map(Number);
151
- /** Compares semantic versions numerically by major, minor, then patch. */
152
- export const versionLessThan = (version, minimum) => {
153
- const [major = 0, minor = 0, patch = 0] = versionParts(version);
154
- const [minMajor = 0, minMinor = 0, minPatch = 0] = versionParts(minimum);
155
- return major < minMajor || major === minMajor && (minor < minMinor || minor === minMinor && patch < minPatch);
156
- };
157
- /**
158
- * Reports whether an external runner needs FunctionalScript's flattened test
159
- * registration strategy. Node uses the native `expectFailure` option only
160
- * from the Node 26 baseline; Deno is deliberately exempt from this Node-only
161
- * version check.
162
- */
163
- export const usesInlineTestContext = (engine, nodeVersion) => {
164
- if (engine === 'bun') {
165
- return true;
166
- }
167
- if (engine !== 'node' || nodeVersion === undefined) {
168
- return false;
169
- }
170
- return versionLessThan(nodeVersion, '26.0.0');
171
- };