functionalscript 0.38.0 → 0.40.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 (137) hide show
  1. package/README.md +1 -1
  2. package/fjs/bnf/descent/module.f.d.ts +43 -2
  3. package/fjs/bnf/descent/module.f.js +37 -12
  4. package/fjs/bnf/descent/proof.f.d.ts +1 -0
  5. package/fjs/bnf/descent/proof.f.js +73 -32
  6. package/fjs/bnf/ll1/module.f.js +2 -2
  7. package/fjs/bnf/token_symbol/module.f.d.ts +38 -0
  8. package/fjs/bnf/token_symbol/module.f.js +48 -0
  9. package/fjs/bnf/token_symbol/proof.f.d.ts +10 -0
  10. package/fjs/bnf/token_symbol/proof.f.js +37 -0
  11. package/fjs/cas/cli/module.f.js +6 -9
  12. package/fjs/cas/evo/module.f.d.ts +77 -13
  13. package/fjs/cas/evo/module.f.js +130 -18
  14. package/fjs/cas/evo/proof.f.d.ts +7 -0
  15. package/fjs/cas/evo/proof.f.js +120 -1
  16. package/fjs/cas/module.f.js +64 -37
  17. package/fjs/cas/proof.f.d.ts +3 -9
  18. package/fjs/cas/proof.f.js +94 -74
  19. package/fjs/ci/bun/module.f.js +3 -3
  20. package/fjs/ci/common/module.f.d.ts +1 -2
  21. package/fjs/ci/common/module.f.js +1 -5
  22. package/fjs/ci/config/module.f.d.ts +11 -8
  23. package/fjs/ci/config/module.f.js +24 -9
  24. package/fjs/ci/deno/module.f.js +3 -3
  25. package/fjs/ci/module.f.js +13 -7
  26. package/fjs/ci/nix/module.f.d.ts +61 -0
  27. package/fjs/ci/nix/module.f.js +92 -0
  28. package/fjs/ci/nix/proof.f.d.ts +23 -0
  29. package/fjs/ci/nix/proof.f.js +109 -0
  30. package/fjs/ci/node/module.f.d.ts +23 -1
  31. package/fjs/ci/node/module.f.js +58 -12
  32. package/fjs/ci/proof.f.d.ts +2 -0
  33. package/fjs/ci/proof.f.js +49 -9
  34. package/fjs/cli/module.f.js +2 -2
  35. package/fjs/common/monoid/module.f.d.ts +46 -2
  36. package/fjs/common/monoid/module.f.js +44 -0
  37. package/fjs/common/monoid/proof.f.d.ts +5 -0
  38. package/fjs/common/monoid/proof.f.js +27 -1
  39. package/fjs/dev/module.f.d.ts +1 -0
  40. package/fjs/dev/module.f.js +38 -27
  41. package/fjs/dev/update/module.f.d.ts +11 -0
  42. package/fjs/dev/update/module.f.js +20 -0
  43. package/fjs/dev/update/proof.f.d.ts +7 -0
  44. package/fjs/dev/update/proof.f.js +35 -0
  45. package/fjs/djs/ast/module.f.d.ts +47 -0
  46. package/fjs/djs/ast/module.f.js +9 -0
  47. package/fjs/djs/module.f.js +5 -8
  48. package/fjs/djs/parser/module.f.d.ts +3 -0
  49. package/fjs/djs/parser/module.f.js +17 -0
  50. package/fjs/djs/tokenizer/module.f.js +2 -2
  51. package/fjs/djs/tokenizer/proof.f.d.ts +1 -0
  52. package/fjs/djs/tokenizer/proof.f.js +70 -16
  53. package/fjs/djs/transpiler/module.f.js +6 -6
  54. package/fjs/effects/eff/module.f.d.ts +72 -0
  55. package/fjs/effects/eff/module.f.js +46 -0
  56. package/fjs/effects/eff/proof.f.d.ts +11 -0
  57. package/fjs/effects/eff/proof.f.js +58 -0
  58. package/fjs/effects/list/module.f.d.ts +11 -5
  59. package/fjs/effects/list/module.f.js +2 -1
  60. package/fjs/effects/memory/proof.f.js +7 -8
  61. package/fjs/effects/module.f.d.ts +334 -52
  62. package/fjs/effects/module.f.js +253 -45
  63. package/fjs/effects/node/memory/proof.js +3 -2
  64. package/fjs/effects/node/module.d.ts +3 -3
  65. package/fjs/effects/node/module.f.d.ts +18 -8
  66. package/fjs/effects/node/module.f.js +31 -11
  67. package/fjs/effects/node/module.js +12 -12
  68. package/fjs/effects/node/proof.f.d.ts +1 -0
  69. package/fjs/effects/node/proof.f.js +32 -11
  70. package/fjs/effects/node/virtual/module.f.js +1 -1
  71. package/fjs/effects/proof.f.d.ts +32 -6
  72. package/fjs/effects/proof.f.js +131 -39
  73. package/fjs/emergent_testing/all.test.js +2 -1
  74. package/fjs/emergent_testing/module.f.d.ts +3 -3
  75. package/fjs/emergent_testing/module.f.js +63 -49
  76. package/fjs/emergent_testing/proof.f.d.ts +4 -0
  77. package/fjs/emergent_testing/proof.f.js +54 -21
  78. package/fjs/emergent_testing/scenarios/thenable.pass.js +1 -1
  79. package/fjs/fsc/module.f.js +4 -4
  80. package/fjs/fsm/module.f.js +1 -1
  81. package/fjs/js/tokenizer/module.f.d.ts +1 -0
  82. package/fjs/js/tokenizer/module.f.js +13 -6
  83. package/fjs/{cas/mcp → mcp/cas}/module.f.d.ts +3 -25
  84. package/fjs/{cas/mcp → mcp/cas}/module.f.js +26 -64
  85. package/fjs/mcp/evo/module.f.d.ts +27 -0
  86. package/fjs/mcp/evo/module.f.js +94 -0
  87. package/fjs/{cas/evo/mcp → mcp/evo}/proof.f.d.ts +2 -0
  88. package/fjs/{cas/evo/mcp → mcp/evo}/proof.f.js +40 -9
  89. package/fjs/mcp/module.f.d.ts +54 -237
  90. package/fjs/mcp/module.f.js +55 -258
  91. package/fjs/mcp/proof.f.d.ts +43 -32
  92. package/fjs/mcp/proof.f.js +509 -200
  93. package/fjs/media/nix/module.f.d.ts +30 -0
  94. package/fjs/media/nix/module.f.js +166 -0
  95. package/fjs/media/nix/proof.f.d.ts +32 -0
  96. package/fjs/media/nix/proof.f.js +127 -0
  97. package/fjs/media/type/module.f.js +2 -2
  98. package/fjs/media/type/proof.f.js +7 -10
  99. package/fjs/module.f.js +5 -9
  100. package/fjs/protocol/json_rpc/module.f.d.ts +114 -0
  101. package/fjs/{media/json/rpc → protocol/json_rpc}/module.f.js +3 -3
  102. package/fjs/{media/json/rpc → protocol/json_rpc}/proof.f.js +3 -3
  103. package/fjs/protocol/mcp/module.f.d.ts +239 -0
  104. package/fjs/protocol/mcp/module.f.js +272 -0
  105. package/fjs/protocol/mcp/proof.f.d.ts +34 -0
  106. package/fjs/protocol/mcp/proof.f.js +208 -0
  107. package/fjs/{mcp → protocol/mcp}/stdio/module.f.d.ts +7 -7
  108. package/fjs/{mcp → protocol/mcp}/stdio/module.f.js +22 -22
  109. package/fjs/{mcp → protocol/mcp}/stdio/proof.f.js +9 -9
  110. package/fjs/types/bigint/module.f.js +4 -3
  111. package/fjs/types/bit_vec/module.f.js +5 -15
  112. package/fjs/types/btree/remove/module.f.d.ts +5 -0
  113. package/fjs/types/btree/remove/module.f.js +12 -0
  114. package/fjs/types/list/module.f.d.ts +21 -0
  115. package/fjs/types/list/module.f.js +17 -0
  116. package/fjs/types/list/proof.f.d.ts +1 -0
  117. package/fjs/types/list/proof.f.js +24 -1
  118. package/fjs/types/number/module.f.js +2 -1
  119. package/fjs/types/range_map/module.f.d.ts +14 -13
  120. package/fjs/types/range_map/module.f.js +18 -13
  121. package/fjs/types/range_map/proof.f.js +26 -39
  122. package/fjs/types/range_set/module.f.d.ts +5 -0
  123. package/fjs/types/range_set/module.f.js +16 -0
  124. package/fjs/types/range_set/proof.f.d.ts +1 -0
  125. package/fjs/types/range_set/proof.f.js +19 -0
  126. package/fjs/types/string/module.f.js +10 -2
  127. package/fjs/website/module.f.js +2 -3
  128. package/package.json +5 -5
  129. package/fjs/cas/evo/mcp/module.f.d.ts +0 -19
  130. package/fjs/cas/evo/mcp/module.f.js +0 -56
  131. package/fjs/cas/mcp/proof.f.d.ts +0 -45
  132. package/fjs/cas/mcp/proof.f.js +0 -545
  133. package/fjs/ci/playwright/module.f.d.ts +0 -2
  134. package/fjs/ci/playwright/module.f.js +0 -25
  135. package/fjs/media/json/rpc/module.f.d.ts +0 -114
  136. /package/fjs/{media/json/rpc → protocol/json_rpc}/proof.f.d.ts +0 -0
  137. /package/fjs/{mcp → protocol/mcp}/stdio/proof.f.d.ts +0 -0
@@ -1,34 +1,45 @@
1
1
  export declare const proof: {
2
- lifecycle: {
3
- initialStateIsUninitialized: () => void;
4
- initializeTransitionsToInitializing: () => void;
5
- initializedNotificationTransitionsToInitialized: () => void;
6
- initializeReturnsResult: () => void;
7
- initializeWithBadParamsReturnsInvalidParams: () => void;
8
- notificationBeforeInitReturnNull: () => void;
9
- unknownNotificationReturnNull: () => void;
10
- doubleInitializeReturnsInvalidRequest: () => void;
11
- pingBeforeInitSucceeds: () => void;
12
- pingDuringInitializingSucceeds: () => void;
13
- pingAfterInitSucceeds: () => void;
14
- pingWithObjectParamsSucceeds: () => void;
15
- pingInvalidParamsReturnsInvalidParams: () => void;
16
- initializedNotificationObjectParamsTransitions: () => void;
17
- initializedNotificationBadParamsIgnored: () => void;
18
- methodBeforeInitReturnsNotInitialized: () => void;
19
- methodDuringInitializingReturnsNotInitialized: () => void;
20
- invalidEnvelopeReturnsInvalidRequest: () => void;
21
- };
22
- tools: {
23
- toolsListSucceeds: () => void;
24
- toolsListPassesCursorToHandler: () => void;
25
- toolsListInvalidCursorReturnsInvalidParams: () => void;
26
- toolsCallSucceeds: () => void;
27
- toolsCallBadParamsReturnsInvalidParams: () => void;
28
- toolsCallAbsentArgumentsSucceeds: () => void;
29
- toolsCallNullArgumentsReturnsInvalidParams: () => void;
30
- toolsListWithoutCapabilityReturnsMethodNotFound: () => void;
31
- toolsCallWithoutCapabilityReturnsMethodNotFound: () => void;
32
- unknownMethodReturnsMethodNotFound: () => void;
33
- };
2
+ getMetaLargeMultiChunkBlobNoError: () => void;
3
+ getMetaLargeMultiChunkUtf8Symbols: () => void;
4
+ getMetaLargeMultiChunkTextThenBinary: () => void;
5
+ getContentLargeBlobTooLargeError: () => void;
6
+ getContentMissingHashIsError: () => void;
7
+ getContentBase64InflationOverflowWritesInternalError: () => void;
8
+ getContentBase64NearBoundarySucceeds: () => void;
9
+ getContentDoubleEscapedOverflowWritesInternalError: () => void;
10
+ toolsListAdvertisesSevenTools: () => void;
11
+ evoAddListHeadRoundTripsThroughCasServer: () => void;
12
+ evoAddDomainErrorIsErrorThroughCasServer: () => void;
13
+ casAddSyncsEvoCacheForRevisionContent: () => void;
14
+ addReturnsHash: () => void;
15
+ textAddGetMetaRoundTrips: () => void;
16
+ textAddGetContentRoundTrips: () => void;
17
+ binaryAddGetMetaRoundTrips: () => void;
18
+ binaryAddGetContentRoundTrips: () => void;
19
+ addGetRoundTrips: () => void;
20
+ getUntypedReturnsText: () => void;
21
+ getTypedReturnsBinaryJson: () => void;
22
+ getMetaRecognizesRevisionDialect: () => void;
23
+ getContentRecognizesRevisionDialect: () => void;
24
+ listEnumeratesStoredHashes: () => void;
25
+ addInvalidContentIsError: () => void;
26
+ addBadLengthContentIsError: () => void;
27
+ addBase64OverLimitIsError: () => void;
28
+ addTextOverLimitIsError: () => void;
29
+ addTextAtLimitSucceeds: () => void;
30
+ addBase64AtLimitSucceeds: () => void;
31
+ getUnterminatedHashIsError: () => void;
32
+ addMissingContentIsError: () => void;
33
+ getMissingHashArgumentIsError: () => void;
34
+ getInvalidHashIsError: () => void;
35
+ getMissingHashIsError: () => void;
36
+ unknownToolIsError: () => void;
37
+ toolErrorIsNotJsonRpcError: () => void;
38
+ getMetaReturnsLengthAndMimeType: () => void;
39
+ getMetaBinaryBlob: () => void;
40
+ getMetaOctetStreamForUnknownBinary: () => void;
41
+ getMetaOctetStreamForNulBlob: () => void;
42
+ getMetaMissingHashIsError: () => void;
43
+ getMetaInvalidHashIsError: () => void;
44
+ getOctetStreamWithContentIncludesBase64: () => void;
34
45
  };