effect-app 4.0.0-beta.29 → 4.0.0-beta.290

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 (363) hide show
  1. package/CHANGELOG.md +1395 -0
  2. package/dist/Array.d.ts +2 -1
  3. package/dist/Array.d.ts.map +1 -1
  4. package/dist/Array.js +4 -4
  5. package/dist/Chunk.d.ts.map +1 -1
  6. package/dist/Config/SecretURL.d.ts +3 -1
  7. package/dist/Config/SecretURL.d.ts.map +1 -1
  8. package/dist/Config/SecretURL.js +3 -6
  9. package/dist/Config/internal/configSecretURL.d.ts.map +1 -1
  10. package/dist/Config/internal/configSecretURL.js +2 -2
  11. package/dist/Config.d.ts +2 -0
  12. package/dist/Config.d.ts.map +1 -0
  13. package/dist/Config.js +8 -0
  14. package/dist/ConfigProvider.d.ts +2 -0
  15. package/dist/ConfigProvider.d.ts.map +1 -0
  16. package/dist/ConfigProvider.js +6 -0
  17. package/dist/{ServiceMap.d.ts → Context.d.ts} +18 -20
  18. package/dist/Context.d.ts.map +1 -0
  19. package/dist/Context.js +67 -0
  20. package/dist/DataDependencies.d.ts +388 -0
  21. package/dist/DataDependencies.d.ts.map +1 -0
  22. package/dist/DataDependencies.js +64 -0
  23. package/dist/Effect.d.ts +10 -9
  24. package/dist/Effect.d.ts.map +1 -1
  25. package/dist/Effect.js +5 -8
  26. package/dist/Emailer.d.ts +51 -0
  27. package/dist/Emailer.d.ts.map +1 -0
  28. package/dist/Emailer.js +7 -0
  29. package/dist/Function.d.ts.map +1 -1
  30. package/dist/Layer.d.ts +10 -6
  31. package/dist/Layer.d.ts.map +1 -1
  32. package/dist/Layer.js +3 -2
  33. package/dist/Model/Repository/Registry.d.ts +22 -0
  34. package/dist/Model/Repository/Registry.d.ts.map +1 -0
  35. package/dist/Model/Repository/Registry.js +18 -0
  36. package/dist/Model/Repository/ext.d.ts +60 -0
  37. package/dist/Model/Repository/ext.d.ts.map +1 -0
  38. package/dist/Model/Repository/ext.js +122 -0
  39. package/dist/Model/Repository/internal/internal.d.ts +63 -0
  40. package/dist/Model/Repository/internal/internal.d.ts.map +1 -0
  41. package/dist/Model/Repository/internal/internal.js +438 -0
  42. package/dist/Model/Repository/legacy.d.ts +21 -0
  43. package/dist/Model/Repository/legacy.d.ts.map +1 -0
  44. package/dist/Model/Repository/legacy.js +2 -0
  45. package/dist/Model/Repository/makeRepo.d.ts +54 -0
  46. package/dist/Model/Repository/makeRepo.d.ts.map +1 -0
  47. package/dist/Model/Repository/makeRepo.js +27 -0
  48. package/dist/Model/Repository/service.d.ts +121 -0
  49. package/dist/Model/Repository/service.d.ts.map +1 -0
  50. package/dist/Model/Repository/service.js +2 -0
  51. package/dist/Model/Repository/validation.d.ts +58 -0
  52. package/dist/Model/Repository/validation.d.ts.map +1 -0
  53. package/dist/Model/Repository/validation.js +32 -0
  54. package/dist/Model/Repository.d.ts +7 -0
  55. package/dist/Model/Repository.d.ts.map +1 -0
  56. package/dist/Model/Repository.js +7 -0
  57. package/dist/Model/dsl.d.ts +33 -0
  58. package/dist/Model/dsl.d.ts.map +1 -0
  59. package/dist/Model/dsl.js +43 -0
  60. package/dist/Model/filter/filterApi.d.ts +30 -0
  61. package/dist/Model/filter/filterApi.d.ts.map +1 -0
  62. package/dist/Model/filter/filterApi.js +2 -0
  63. package/dist/Model/filter/types/errors.d.ts +29 -0
  64. package/dist/Model/filter/types/errors.d.ts.map +1 -0
  65. package/dist/Model/filter/types/errors.js +2 -0
  66. package/dist/Model/filter/types/fields.d.ts +15 -0
  67. package/dist/Model/filter/types/fields.d.ts.map +1 -0
  68. package/dist/Model/filter/types/fields.js +2 -0
  69. package/dist/Model/filter/types/path/common.d.ts +316 -0
  70. package/dist/Model/filter/types/path/common.d.ts.map +1 -0
  71. package/dist/Model/filter/types/path/common.js +2 -0
  72. package/dist/Model/filter/types/path/eager.d.ts +94 -0
  73. package/dist/Model/filter/types/path/eager.d.ts.map +1 -0
  74. package/dist/Model/filter/types/path/eager.js +36 -0
  75. package/dist/Model/filter/types/path/index.d.ts +4 -0
  76. package/dist/Model/filter/types/path/index.d.ts.map +1 -0
  77. package/dist/Model/filter/types/path/index.js +3 -0
  78. package/dist/Model/filter/types/utils.d.ts +79 -0
  79. package/dist/Model/filter/types/utils.d.ts.map +1 -0
  80. package/dist/Model/filter/types/utils.js +2 -0
  81. package/dist/Model/filter/types/validator.d.ts +30 -0
  82. package/dist/Model/filter/types/validator.d.ts.map +1 -0
  83. package/dist/Model/filter/types/validator.js +2 -0
  84. package/dist/Model/filter/types.d.ts +5 -0
  85. package/dist/Model/filter/types.d.ts.map +1 -0
  86. package/dist/Model/filter/types.js +7 -0
  87. package/dist/Model/query/dsl.d.ts +506 -0
  88. package/dist/Model/query/dsl.d.ts.map +1 -0
  89. package/dist/Model/query/dsl.js +376 -0
  90. package/dist/Model/query/new-kid-interpreter.d.ts +136 -0
  91. package/dist/Model/query/new-kid-interpreter.d.ts.map +1 -0
  92. package/dist/Model/query/new-kid-interpreter.js +336 -0
  93. package/dist/Model/query.d.ts +15 -0
  94. package/dist/Model/query.d.ts.map +1 -0
  95. package/dist/Model/query.js +3 -0
  96. package/dist/Model.d.ts +5 -0
  97. package/dist/Model.d.ts.map +1 -0
  98. package/dist/Model.js +5 -0
  99. package/dist/NonEmptySet.d.ts +3 -1
  100. package/dist/NonEmptySet.d.ts.map +1 -1
  101. package/dist/NonEmptySet.js +2 -2
  102. package/dist/Option.d.ts +1 -0
  103. package/dist/Option.d.ts.map +1 -1
  104. package/dist/Option.js +3 -1
  105. package/dist/Pure.d.ts +7 -5
  106. package/dist/Pure.d.ts.map +1 -1
  107. package/dist/Pure.js +7 -4
  108. package/dist/QueueMaker.d.ts +11 -0
  109. package/dist/QueueMaker.d.ts.map +1 -0
  110. package/dist/QueueMaker.js +11 -0
  111. package/dist/RequestContext.d.ts +87 -0
  112. package/dist/RequestContext.d.ts.map +1 -0
  113. package/dist/RequestContext.js +45 -0
  114. package/dist/RequestScopedDependencies.d.ts +21 -0
  115. package/dist/RequestScopedDependencies.d.ts.map +1 -0
  116. package/dist/RequestScopedDependencies.js +16 -0
  117. package/dist/Schema/Class.d.ts +188 -19
  118. package/dist/Schema/Class.d.ts.map +1 -1
  119. package/dist/Schema/Class.js +260 -17
  120. package/dist/Schema/FastCheck.d.ts.map +1 -1
  121. package/dist/Schema/SchemaParser.d.ts +5 -0
  122. package/dist/Schema/SchemaParser.d.ts.map +1 -0
  123. package/dist/Schema/SchemaParser.js +6 -0
  124. package/dist/Schema/SpecialJsonSchema.d.ts +34 -0
  125. package/dist/Schema/SpecialJsonSchema.d.ts.map +1 -0
  126. package/dist/Schema/SpecialJsonSchema.js +118 -0
  127. package/dist/Schema/SpecialOpenApi.d.ts +32 -0
  128. package/dist/Schema/SpecialOpenApi.d.ts.map +1 -0
  129. package/dist/Schema/SpecialOpenApi.js +123 -0
  130. package/dist/Schema/brand.d.ts +4 -2
  131. package/dist/Schema/brand.d.ts.map +1 -1
  132. package/dist/Schema/brand.js +3 -1
  133. package/dist/Schema/email.d.ts.map +1 -1
  134. package/dist/Schema/email.js +7 -4
  135. package/dist/Schema/ext.d.ts +338 -55
  136. package/dist/Schema/ext.d.ts.map +1 -1
  137. package/dist/Schema/ext.js +358 -53
  138. package/dist/Schema/moreStrings.d.ts +82 -36
  139. package/dist/Schema/moreStrings.d.ts.map +1 -1
  140. package/dist/Schema/moreStrings.js +49 -42
  141. package/dist/Schema/numbers.d.ts +34 -21
  142. package/dist/Schema/numbers.d.ts.map +1 -1
  143. package/dist/Schema/numbers.js +55 -12
  144. package/dist/Schema/phoneNumber.d.ts.map +1 -1
  145. package/dist/Schema/phoneNumber.js +6 -3
  146. package/dist/Schema/schema.d.ts +1 -1
  147. package/dist/Schema/schema.d.ts.map +1 -1
  148. package/dist/Schema/schema.js +2 -2
  149. package/dist/Schema/strings.d.ts +18 -4
  150. package/dist/Schema/strings.d.ts.map +1 -1
  151. package/dist/Schema/strings.js +1 -5
  152. package/dist/Schema.d.ts +222 -8
  153. package/dist/Schema.d.ts.map +1 -1
  154. package/dist/Schema.js +191 -12
  155. package/dist/SchemaAST.d.ts +2 -0
  156. package/dist/SchemaAST.d.ts.map +1 -0
  157. package/dist/SchemaAST.js +2 -0
  158. package/dist/Set.d.ts +4 -1
  159. package/dist/Set.d.ts.map +1 -1
  160. package/dist/Set.js +3 -2
  161. package/dist/Store.d.ts +163 -0
  162. package/dist/Store.d.ts.map +1 -0
  163. package/dist/Store.js +113 -0
  164. package/dist/_ext/Array.d.ts +1 -1
  165. package/dist/_ext/Array.d.ts.map +1 -1
  166. package/dist/_ext/Array.js +4 -2
  167. package/dist/_ext/misc.d.ts +4 -1
  168. package/dist/_ext/misc.d.ts.map +1 -1
  169. package/dist/_ext/misc.js +4 -2
  170. package/dist/_ext/ord.ext.d.ts +2 -1
  171. package/dist/_ext/ord.ext.d.ts.map +1 -1
  172. package/dist/_ext/ord.ext.js +2 -2
  173. package/dist/builtin.d.ts +2 -14
  174. package/dist/builtin.d.ts.map +1 -1
  175. package/dist/builtin.js +1 -1
  176. package/dist/client/InvalidationKeys.d.ts +29 -0
  177. package/dist/client/InvalidationKeys.d.ts.map +1 -0
  178. package/dist/client/InvalidationKeys.js +33 -0
  179. package/dist/client/apiClientFactory.d.ts +19 -31
  180. package/dist/client/apiClientFactory.d.ts.map +1 -1
  181. package/dist/client/apiClientFactory.js +155 -35
  182. package/dist/client/clientFor.d.ts +54 -18
  183. package/dist/client/clientFor.d.ts.map +1 -1
  184. package/dist/client/clientFor.js +9 -1
  185. package/dist/client/errors.d.ts +82 -27
  186. package/dist/client/errors.d.ts.map +1 -1
  187. package/dist/client/errors.js +75 -19
  188. package/dist/client/makeClient.d.ts +492 -32
  189. package/dist/client/makeClient.d.ts.map +1 -1
  190. package/dist/client/makeClient.js +62 -28
  191. package/dist/client.d.ts +2 -0
  192. package/dist/client.d.ts.map +1 -1
  193. package/dist/client.js +3 -1
  194. package/dist/faker.d.ts.map +1 -1
  195. package/dist/http/Request.d.ts +1 -1
  196. package/dist/http/Request.d.ts.map +1 -1
  197. package/dist/http/Request.js +2 -2
  198. package/dist/ids.d.ts +42 -14
  199. package/dist/ids.d.ts.map +1 -1
  200. package/dist/ids.js +30 -5
  201. package/dist/index.d.ts +6 -7
  202. package/dist/index.d.ts.map +1 -1
  203. package/dist/index.js +8 -8
  204. package/dist/middleware.d.ts +13 -7
  205. package/dist/middleware.d.ts.map +1 -1
  206. package/dist/middleware.js +14 -8
  207. package/dist/rpc/Invalidation.d.ts +3140 -0
  208. package/dist/rpc/Invalidation.d.ts.map +1 -0
  209. package/dist/rpc/Invalidation.js +178 -0
  210. package/dist/rpc/MiddlewareMaker.d.ts +11 -7
  211. package/dist/rpc/MiddlewareMaker.d.ts.map +1 -1
  212. package/dist/rpc/MiddlewareMaker.js +59 -38
  213. package/dist/rpc/RpcContextMap.d.ts +3 -3
  214. package/dist/rpc/RpcContextMap.d.ts.map +1 -1
  215. package/dist/rpc/RpcContextMap.js +4 -4
  216. package/dist/rpc/RpcMiddleware.d.ts +14 -10
  217. package/dist/rpc/RpcMiddleware.d.ts.map +1 -1
  218. package/dist/rpc/RpcMiddleware.js +1 -1
  219. package/dist/rpc.d.ts +1 -1
  220. package/dist/rpc.d.ts.map +1 -1
  221. package/dist/rpc.js +2 -2
  222. package/dist/runtime.d.ts +19 -0
  223. package/dist/runtime.d.ts.map +1 -0
  224. package/dist/runtime.js +40 -0
  225. package/dist/setupRequest.d.ts +20 -0
  226. package/dist/setupRequest.d.ts.map +1 -0
  227. package/dist/setupRequest.js +72 -0
  228. package/dist/toast.d.ts +51 -0
  229. package/dist/toast.d.ts.map +1 -0
  230. package/dist/toast.js +34 -0
  231. package/dist/transform.d.ts +1 -1
  232. package/dist/transform.d.ts.map +1 -1
  233. package/dist/transform.js +4 -5
  234. package/dist/utils/effectify.d.ts +1 -1
  235. package/dist/utils/effectify.d.ts.map +1 -1
  236. package/dist/utils/effectify.js +2 -2
  237. package/dist/utils/extend.d.ts.map +1 -1
  238. package/dist/utils/gen.d.ts +4 -4
  239. package/dist/utils/gen.d.ts.map +1 -1
  240. package/dist/utils/logLevel.d.ts +2 -2
  241. package/dist/utils/logLevel.d.ts.map +1 -1
  242. package/dist/utils/logger.d.ts +4 -3
  243. package/dist/utils/logger.d.ts.map +1 -1
  244. package/dist/utils/logger.js +4 -4
  245. package/dist/utils.d.ts +34 -39
  246. package/dist/utils.d.ts.map +1 -1
  247. package/dist/utils.js +33 -37
  248. package/dist/validation/validators.d.ts.map +1 -1
  249. package/dist/validation.d.ts.map +1 -1
  250. package/dist/withToast.d.ts +30 -0
  251. package/dist/withToast.d.ts.map +1 -0
  252. package/dist/withToast.js +64 -0
  253. package/package.json +22 -251
  254. package/src/Array.ts +5 -5
  255. package/src/Chunk.ts +3 -3
  256. package/src/Config/SecretURL.ts +6 -3
  257. package/src/Config/internal/configSecretURL.ts +2 -2
  258. package/src/Config.ts +7 -0
  259. package/src/ConfigProvider.ts +5 -0
  260. package/src/{ServiceMap.ts → Context.ts} +56 -63
  261. package/src/DataDependencies.ts +114 -0
  262. package/src/Effect.ts +14 -16
  263. package/src/Emailer.ts +51 -0
  264. package/src/Inputify.type.ts +1 -1
  265. package/src/Layer.ts +11 -7
  266. package/src/Model/Repository/Registry.ts +35 -0
  267. package/src/Model/Repository/ext.ts +375 -0
  268. package/src/Model/Repository/internal/internal.ts +755 -0
  269. package/src/Model/Repository/legacy.ts +29 -0
  270. package/src/Model/Repository/makeRepo.ts +145 -0
  271. package/src/Model/Repository/service.ts +676 -0
  272. package/src/Model/Repository/validation.ts +31 -0
  273. package/src/Model/Repository.ts +6 -0
  274. package/src/Model/dsl.ts +129 -0
  275. package/src/Model/filter/filterApi.ts +60 -0
  276. package/src/Model/filter/types/errors.ts +47 -0
  277. package/src/Model/filter/types/fields.ts +50 -0
  278. package/src/Model/filter/types/path/common.ts +404 -0
  279. package/src/Model/filter/types/path/eager.ts +329 -0
  280. package/src/Model/filter/types/path/index.ts +4 -0
  281. package/src/Model/filter/types/utils.ts +128 -0
  282. package/src/Model/filter/types/validator.ts +46 -0
  283. package/src/Model/filter/types.ts +6 -0
  284. package/src/Model/query/dsl.ts +2781 -0
  285. package/src/Model/query/new-kid-interpreter.ts +484 -0
  286. package/src/Model/query.ts +13 -0
  287. package/src/Model.ts +4 -0
  288. package/src/NonEmptySet.ts +6 -4
  289. package/src/Option.ts +2 -0
  290. package/src/Pure.ts +10 -7
  291. package/src/QueueMaker.ts +11 -0
  292. package/src/RequestContext.ts +48 -0
  293. package/src/RequestScopedDependencies.ts +45 -0
  294. package/src/Schema/Class.ts +633 -59
  295. package/src/Schema/SchemaParser.ts +12 -0
  296. package/src/Schema/SpecialJsonSchema.ts +139 -0
  297. package/src/Schema/SpecialOpenApi.ts +130 -0
  298. package/src/Schema/brand.ts +22 -2
  299. package/src/Schema/email.ts +9 -4
  300. package/src/Schema/ext.ts +446 -91
  301. package/src/Schema/moreStrings.ts +147 -68
  302. package/src/Schema/numbers.ts +97 -28
  303. package/src/Schema/phoneNumber.ts +9 -5
  304. package/src/Schema/schema.ts +1 -1
  305. package/src/Schema/strings.ts +23 -14
  306. package/src/Schema.ts +397 -26
  307. package/src/SchemaAST.ts +1 -0
  308. package/src/Set.ts +6 -2
  309. package/src/Store.ts +273 -0
  310. package/src/_ext/Array.ts +4 -2
  311. package/src/_ext/misc.ts +4 -1
  312. package/src/_ext/ord.ext.ts +2 -1
  313. package/src/builtin-json.d.ts +24 -0
  314. package/src/builtin.ts +16 -21
  315. package/src/client/InvalidationKeys.ts +50 -0
  316. package/src/client/apiClientFactory.ts +299 -134
  317. package/src/client/clientFor.ts +107 -34
  318. package/src/client/errors.ts +100 -29
  319. package/src/client/makeClient.ts +586 -78
  320. package/src/client.ts +6 -4
  321. package/src/http/Request.ts +3 -3
  322. package/src/http.ts +1 -1
  323. package/src/ids.ts +33 -6
  324. package/src/index.ts +20 -23
  325. package/src/middleware.ts +13 -9
  326. package/src/rpc/Invalidation.ts +278 -0
  327. package/src/rpc/MiddlewareMaker.ts +88 -80
  328. package/src/rpc/README.md +2 -2
  329. package/src/rpc/RpcContextMap.ts +7 -6
  330. package/src/rpc/RpcMiddleware.ts +19 -13
  331. package/src/rpc.ts +4 -4
  332. package/src/runtime.ts +56 -0
  333. package/src/setupRequest.ts +138 -0
  334. package/src/toast.ts +54 -0
  335. package/src/transform.ts +4 -4
  336. package/src/utils/effectify.ts +1 -1
  337. package/src/utils/gen.ts +8 -8
  338. package/src/utils/logLevel.ts +1 -1
  339. package/src/utils/logger.ts +4 -3
  340. package/src/utils.ts +85 -158
  341. package/src/validation.ts +2 -2
  342. package/src/withToast.ts +133 -0
  343. package/test/dist/rpc.test.d.ts.map +1 -1
  344. package/test/dist/secretURL.test.d.ts.map +1 -0
  345. package/test/dist/special.test.d.ts.map +1 -0
  346. package/test/moreStrings.test.ts +1 -1
  347. package/test/rpc.test.ts +45 -6
  348. package/test/schema.test.ts +459 -30
  349. package/test/secretURL.test.ts +160 -0
  350. package/test/special.test.ts +1258 -0
  351. package/test/utils.test.ts +7 -7
  352. package/tsconfig.base.json +6 -5
  353. package/tsconfig.json +3 -1
  354. package/tsconfig.src.json +29 -29
  355. package/tsconfig.test.json +2 -2
  356. package/dist/Operations.d.ts +0 -123
  357. package/dist/Operations.d.ts.map +0 -1
  358. package/dist/Operations.js +0 -29
  359. package/dist/ServiceMap.d.ts.map +0 -1
  360. package/dist/ServiceMap.js +0 -91
  361. package/eslint.config.mjs +0 -26
  362. package/src/Operations.ts +0 -55
  363. package/tsconfig.json.bak +0 -12
package/CHANGELOG.md CHANGED
@@ -1,5 +1,1400 @@
1
1
  # @effect-app/prelude
2
2
 
3
+ ## 4.0.0-beta.290
4
+
5
+ ### Patch Changes
6
+
7
+ - dc07df5: Fix nested DTO subset projection inference for tagged unions.
8
+
9
+ ## 4.0.0-beta.289
10
+
11
+ ### Patch Changes
12
+
13
+ - a1b59bc: Allow query projections to use a repository's full union schema.
14
+
15
+ ## 4.0.0-beta.288
16
+
17
+ ### Minor Changes
18
+
19
+ - aeb17bc: Add `disableQueryInvalidation` flag to Command config for background saves.
20
+
21
+ Set `disableQueryInvalidation: true` in a `Req.Command` config (3rd argument)
22
+ to suppress all client-side query invalidation for that command — client
23
+ `invalidatesQueries` callbacks, server-returned `metadata.invalidateQueries`,
24
+ and repository-derived write-dependency matching are all skipped. Use for
25
+ background saves (e.g. debounced auto-save) whose writes should not trigger
26
+ query refetches.
27
+
28
+ - `InvalidationConfig` gains `disableQueryInvalidation?: boolean`.
29
+ - `RequestHandlerWithInput` gains `disableQueryInvalidation?: boolean`,
30
+ propagated from `Request.config` by `ApiClientFactory.makeFor`.
31
+ - `invalidateCache` early-returns `Effect.void` when the flag is set,
32
+ applying to both regular and stream mutations.
33
+
34
+ ## 4.0.0-beta.287
35
+
36
+ ### Patch Changes
37
+
38
+ - 261470f: Remove the local `Schema.Void` / `SchemaAST.Void` override. effect `4.0.0-beta.90` ships the TypeScript `void` parser semantics upstream (`SchemaAST.Void.getParser()` → `fromAnyToConst(undefined)`, the effect-smol PR #2475 behavior), so `S.Void` already accepts any present value and discards it to `undefined`. `Schema.Void` now re-uses effect's `S.Void` and `SchemaAST` is a plain re-export of `effect/SchemaAST`. The unused `Void_` alias is dropped. No behavior change.
39
+
40
+ ## 4.0.0-beta.286
41
+
42
+ ### Patch Changes
43
+
44
+ - b6dda09: Update effect packages to `4.0.0-beta.90` (from `beta.88`): `effect`, `@effect/platform-node`, `@effect/platform-browser`, `@effect/atom-vue`, `@effect/sql-sqlite-node`, `@effect/vitest`. No source changes required — typecheck and tests pass unchanged.
45
+
46
+ ## 4.0.0-beta.285
47
+
48
+ ### Patch Changes
49
+
50
+ - 7bd8234: Use set-backed data dependencies and provide request-scoped dependency services through a shared root-checked helper.
51
+
52
+ ## 4.0.0-beta.284
53
+
54
+ ## 4.0.0-beta.283
55
+
56
+ ### Minor Changes
57
+
58
+ - 0054611: Derive query invalidation from repository read/write dependencies and propagate dependency metadata through RPC clients.
59
+
60
+ ### Patch Changes
61
+
62
+ - 0054611: Stream RPC: drain read/write data-dependencies per emitted value chunk instead of sending the
63
+ cumulative set on every metadata chunk. Each metadata chunk now carries only the delta recorded
64
+ since the last chunk, the bucket is cleared for the next segment, and the terminal "done"/"error"
65
+ chunks drain the remainder. The emit condition also broadens to include non-empty reads, so stream
66
+ queries forward their read-dependencies mid-stream too. The client already accumulates deltas into
67
+ its per-call recorder, so no FE change is required.
68
+
69
+ ## 4.0.0-beta.282
70
+
71
+ ### Minor Changes
72
+
73
+ - b2df3fa: Align `Schema.Void` with TypeScript `void` return-value semantics (effect-smol PR #2475 / `b7d46ab`).
74
+
75
+ `S.Void` now accepts **any present value** at runtime and discards it to `undefined`, while keeping the decoded/encoded type as `void` — matching a `void` return whose result callers never observe. This is implemented as an override of the AST node in a new `effect-app/SchemaAST` module (`export * from "effect/SchemaAST"` plus a `Void` subclass whose parser mirrors the PR's `fromAnyToConst(undefined)`), so there is a single canonical `Void` used everywhere, including RPC success schemas.
76
+
77
+ - New `effect-app/SchemaAST` module; internal `SchemaAST` imports across the libs now route through it.
78
+ - Removed `ForceVoid` from `effect-app/client/makeClient` — use `S.Void` directly, which now carries this behaviour.
79
+ - `S.Void_` remains available as effect's original (`undefined`-only) Void.
80
+
81
+ ### Patch Changes
82
+
83
+ - f150cf9: Remove obsolete queue machinery left unused after the move to cluster entities: the SB/SQLite/mem `QueueMaker` implementations (`QueueMaker/{SQLQueue,memQueue,sbqueue}.ts`), their `ServiceBus.ts`/`memQueue.ts` transports, and `RequestFiberSet.ts` (its `setRootParentSpan` helper is inlined into `MainFiberSet`). `effect-app/QueueMaker` keeps only `QueueMeta`; the `QueueBase` interface and empty `QueueMaker` ops object are dropped.
84
+ - e8842aa: Update effect packages to `4.0.0-beta.88` (from `beta.86`): `effect`, `@effect/platform-node`, `@effect/platform-browser`, `@effect/atom-vue`, `@effect/sql-sqlite-node`, `@effect/vitest`. Also bump `@effect-app/cli` to `2.1.0-beta.35`. No source changes required — typecheck and tests pass unchanged.
85
+
86
+ ## 4.0.0-beta.281
87
+
88
+ ### Patch Changes
89
+
90
+ - ffd140f: Update effect packages to `4.0.0-beta.86` (from `beta.84`): `effect`, `@effect/platform-node`, `@effect/platform-browser`, `@effect/atom-vue`, `@effect/sql-sqlite-node`, `@effect/vitest`. No source changes required — typecheck and tests pass unchanged.
91
+
92
+ ## 4.0.0-beta.280
93
+
94
+ ### Patch Changes
95
+
96
+ - 3eda52e: Fix `StructFacade` to extend effect-app's own `Struct`, not `effect/Schema`'s.
97
+
98
+ `StructFacade` was built on `Omit<S.Struct<Fields>, ...>` where `S` is `effect/Schema` (core). Scanner / consumer models are effect-app `S.Struct`, which is a distinct type from effect core's `Struct`, so a facade built on the core `Struct` is not assignable where an effect-app struct is expected — e.g. workflow payloads (`Workflow<…, Struct<Fields & Context>>`) and other effect-app `Struct`-shaped positions failed to type-check. Switch the `Omit` base to effect-app's `Struct` (the `Fields extends S.Struct.Fields` constraint stays effect core, matching effect-app's own `Struct`).
99
+
100
+ ## 4.0.0-beta.279
101
+
102
+ ### Minor Changes
103
+
104
+ - 5f9cd6a: Schema/Class facades: add `StructFacade` and carry `identifier` on the class facades.
105
+
106
+ - Add `StructFacade<Self, Encoded, MakeIn, DecodingServices, EncodingServices, Fields>` = `Omit<S.Struct<Fields>, "Type" | "Encoded" | "~type.make.in" | "DecodingServices" | "EncodingServices"> & { pinned type-level members }`. A top-level `const X = S.Struct(...)` / `S.TaggedStruct(...)` model faceted by the `.d.ts`-emit compiler is retyped to it: still a real `S.Struct<Fields>` (so `Workflow.AnyStructSchema`, the `Struct<Fields & Context>` reconstruction, `Union`, `.fields.x` keep working) while `Type`/`Encoded`/make/services resolve to the named namespace interfaces.
107
+ - Add `readonly identifier: string` to `OpaqueClassFacade` and `OpaqueErrorFacadeClass` (an `S.Class` static lost from the bare emitted interface, which the compiler otherwise had to hand-emit per model). `OpaqueFacade` is intentionally left untouched — `S.Opaque` and requests build on `S.Bottom`, not `S.Class`, so they have no `identifier`.
108
+
109
+ ## 4.0.0-beta.278
110
+
111
+ ### Patch Changes
112
+
113
+ - a354345: Move release tsconfig flattening from publish to pack lifecycle so package configs are restored before registry upload/auth can fail.
114
+ - a69da09: Publish from generated staging directories so release-only files are created outside the source package tree.
115
+
116
+ ## 4.0.0-beta.277
117
+
118
+ ## 4.0.0-beta.276
119
+
120
+ ### Patch Changes
121
+
122
+ - 32f05c8: Remove unused dependency declarations from package manifests.
123
+
124
+ ## 4.0.0-beta.275
125
+
126
+ ## 4.0.0-beta.274
127
+
128
+ ## 4.0.0-beta.273
129
+
130
+ ### Patch Changes
131
+
132
+ - 664e83d: Add Atom-native Vue query APIs, stream query pull atoms, and a TanStack-backed legacy query engine toggle.
133
+ - e4ff9a6: Fix the global `Array`/`ReadonlyArray.map` override breaking union-of-array receivers. The previous `this: NonEmptyArray`/`NonEmptyReadonlyArray` overload was selected-then-rejected on a union receiver (e.g. `(readonly A[] | readonly B[]).map(...)`), raising TS2684. Replaced with a single conditional-return signature (`this extends NonEmpty… ? NonEmpty<U> : U[]`) that preserves NonEmpty refinement without a `this` parameter, so union-array `.map` calls type-check again.
134
+
135
+ ## 4.0.0-beta.272
136
+
137
+ ### Patch Changes
138
+
139
+ - 21ac90a: Unify generated model facades on `OpaqueFacade` and support class facades through encoded-key schema transforms.
140
+
141
+ ## 4.0.0-beta.271
142
+
143
+ ### Patch Changes
144
+
145
+ - 939bebc: Remove the local `Config.nested` / `ConfigProvider.nested` overrides. They worked around an effect v3 bug where the nested namespace segment bypassed the provider's `mapInput`/`constantCase` transform. effect `4.0.0-beta.84` fixes this upstream (its transformation-compose refactor threads the nested prefix through the provider's lookup transform), and the old overrides relied on internals (`Config.make`, `provider.get`/`mapInput`/`prefix`) that no longer exist. Both modules now re-export effect directly; behaviour for consumers (e.g. `Config.nested("cups")` against a `constantCase` env provider) is unchanged and correct.
146
+
147
+ ## 4.0.0-beta.270
148
+
149
+ ### Patch Changes
150
+
151
+ - 78d076a: Update effect packages to `4.0.0-beta.84` (`effect`, `@effect/platform-node`, `@effect/platform-browser`, `@effect/atom-vue`, `@effect/sql-sqlite-node`, `@effect/vitest`).
152
+
153
+ ## 4.0.0-beta.269
154
+
155
+ ### Patch Changes
156
+
157
+ - 50b022e: Harden model facades and add `OpaqueErrorFacadeClass`.
158
+
159
+ - `OpaqueErrorFacadeClass`: facade `TaggedErrorClass`/`ErrorClass` while keeping
160
+ `Cause.YieldableError` on the constructed instance (so `yield* new Err()`,
161
+ `Effect.fail`, and `instanceof` keep working through the facade).
162
+ - `OpaqueFacadeInput` relaxed to require only the codec service channels, so
163
+ transformed schemas (`.pipe(encodeKeys/annotate/filter/...)`) can be facaded;
164
+ `fields`/`copy`/`mapFields` flow through `OpaqueFacadeStatics` when present, and
165
+ `to` is carried so models that compose via `X.to.fields` keep working.
166
+ - Dropped the wide `fields`/`mapFields` overrides on the facade interfaces so the
167
+ precise statics win (keeps `Q.project(X.mapFields(...))` typed).
168
+ - Codegen (`eslint-codegen-model`): resolver prefers the private `_X` over the
169
+ self-referential facade; converges static service types in one run; per-model
170
+ classification (facade Opaque models, leave `Class` standard in mixed files);
171
+ `Make` emitted as `type X = {...} | void` when the make-input is voidable;
172
+ `readonly`-prefixed array/tuple elements parenthesized; value self-references in
173
+ the moved `_X` body rewritten to `_X`; instance getters surface on `Self`.
174
+
175
+ - 50b022e: Add generated opaque model facades that expose static Type, Encoded, Make, and Schema declarations without leaking the private struct schema type to downstream project references.
176
+
177
+ ## 4.0.0-beta.268
178
+
179
+ ### Patch Changes
180
+
181
+ - acfdc9e: Point development package exports at TypeScript sources while keeping published exports on compiled dist files.
182
+
183
+ ## 4.0.0-beta.267
184
+
185
+ ### Minor Changes
186
+
187
+ - 23a7167: Add a typed, serializable `DatabaseError { message, transient, cause }` for store adapter failures.
188
+
189
+ Store adapters wrapped DB calls in bare `Effect.promise` / `.orDie`, so a transient infra failure (request timeout, throttle, 5xx, dropped socket) became a raw-`Error` defect — which `Effect.retry` can't retry and which breaks JSON encoding of a workflow exit cause ("Expected JSON value, got Error"). `DatabaseError` is now exposed on all `Store` and `Repository` method error channels (writes: `OptimisticConcurrencyException | DatabaseError`) and added to `SupportedErrors` so the api/client/FE treat it as a 500-class error. Each adapter wraps its db-call failures into `DatabaseError` with a `transient` flag (timeout/throttle/5xx ⇒ retryable); the `cause` serializes via `Schema.Defect`. Construction/seed/DDL paths stay `orDie`.
190
+
191
+ ## 4.0.0-beta.266
192
+
193
+ ### Patch Changes
194
+
195
+ - bbaa67e: Fix `TS2589: Type instantiation is excessively deep and possibly infinite` when querying models that embed `Schema.Defect()` (or any field encoded as `Json`).
196
+
197
+ The query path type `Path<T>` (used by `Q.where`/`Q.and`/`Q.order` to type dotted field paths) recursed through object types with no termination for self-referential ones. Under effect `4.0.0-beta.83`, `Schema.Defect()` encodes as `Json`, whose `JsonObject = { readonly [x: string]: Json }` index signature made `Path` descend forever, blowing past TypeScript's instantiation limit on any model with such a field (e.g. carrier-error states carrying `raw: Schema.Defect()`).
198
+
199
+ `Path` now threads a `Seen` set of already-entered object types and stops before re-entering one, so self-referential types terminate (the field itself stays a valid leaf path; only the unbounded descent is cut). Finite models are unaffected.
200
+
201
+ ## 4.0.0-beta.265
202
+
203
+ ### Patch Changes
204
+
205
+ - 3e855bc: Update Effect packages to `4.0.0-beta.83` (from `beta.74`): `effect`, `@effect/platform-node`, `@effect/platform-browser`, `@effect/sql-sqlite-node`, `@effect/atom-vue`, `@effect/vitest`.
206
+
207
+ Adapt the infra workflow engines to beta.83 API changes:
208
+
209
+ - `Schema.Defect` is now a constructor function — use `S.Defect()` when building the deferred-exit codec (the bare constant no longer produces a usable schema and crashed `toType`).
210
+ - `Workflow` exposes its name as `_tag` instead of `name`. `WorkflowEngineSqlite`/`WorkflowEngineCosmos` now key the registry, codec caches, and persisted `workflow_name` off `workflow._tag`, fixing crash-recovery (stale-lease re-drive previously registered under an `undefined` key and never matched).
211
+
212
+ ## 4.0.0-beta.264
213
+
214
+ ## 4.0.0-beta.263
215
+
216
+ ## 4.0.0-beta.262
217
+
218
+ ### Patch Changes
219
+
220
+ - 55c6572: update packages
221
+
222
+ ## 4.0.0-beta.261
223
+
224
+ ## 4.0.0-beta.260
225
+
226
+ ### Patch Changes
227
+
228
+ - bogus
229
+
230
+ ## 4.0.0-beta.259
231
+
232
+ ## 4.0.0-beta.258
233
+
234
+ ## 4.0.0-beta.257
235
+
236
+ ### Minor Changes
237
+
238
+ - e71eb78: Tighten typing of query DSL builders so field/path parameters are constrained to actual field paths instead of bare `string`:
239
+
240
+ - `relation(path)` now infers the relation's element type and constrains `distinctCount`/`sum`/`collect`/`collectDistinct`/`collectFields`/`collectDistinctFields` and the `unit` of `sumExprBy`/`sumExprNormalized` to `FieldPath<Element>`.
241
+ - `relation(path).expr` exposes a scope-bound math-expression builder so `expr.field(...)` inside `sumExpr`/`sumExprBy`/`sumExprNormalized` is typed against the relation element.
242
+ - Top-level `expr.field` accepts an optional generic for opt-in tightening (`expr.field<E>("x")`).
243
+ - `aggregate(schema, build)` accepts a builder callback whose `agg` argument is bound to the source row inferred from the pipe — paths are checked without any explicit generic: `make<Row>().pipe(aggregate(schema, ($) => ({ city: $.field("address.city") })))`. Plain `AggregateMap` form still accepted.
244
+ - `projectComputed(schema, build, mode?)` accepts a builder callback whose `{ relation }` argument is bound to the source row inferred from the pipe: `make<Row>().pipe(projectComputed(out, ({ relation }) => ({ total: relation("items").sum("qty") })))`. Plain `ComputedProjectionMap` form still accepted.
245
+ - `agg<Row>()` factory remains as an escape hatch when the builder is built outside a pipe.
246
+
247
+ ## 4.0.0-beta.256
248
+
249
+ ### Patch Changes
250
+
251
+ - 347af48: Fix schema interface widening regression introduced in 4.0.0-beta.255 (changeset `olive-onions-lose`).
252
+
253
+ The original refactor annotated branded schema constants with interfaces extending `S.Codec<A, primitive> & WithDefaults<...>`. That widened the underlying `BrandedSchema<...>` chain and dropped phantom slots (`Iso`, `~type.make.in`, `~type.parameters`, `Rebuild`, etc.) that downstream combinators read. In consumer projects this surfaced as `DecodingServices` / `EncodingServices` leaking as `unknown` — for example `Q.project(schema, "project")` failing with `Type 'unknown' is not assignable to type 'never'`, and RPC handler / generator-return shape mismatches against `Effect<any, ..., CurrentSettings | ...>`.
254
+
255
+ Each `*Schema` interface now extends the concrete underlying chain (e.g. `BrandedSchema<S.NonEmptyString, NonEmptyString64>`) and adds a call signature for `withDefaultMake` (and an explicit `withConstructorDefault` field for the numeric and `StringId` schemas). The runtime values are unchanged and the type-display improvement is preserved.
256
+
257
+ Affected: `NonEmptyString*`, `Min3String255`, `StringId`, `Url`, `PositiveInt`, `NonNegativeInt`, `Int`, `PositiveNumber`, `NonNegativeNumber`, and `brandedStringId`.
258
+
259
+ ## 4.0.0-beta.255
260
+
261
+ ### Patch Changes
262
+
263
+ - 52a31dd: Reduce schema type complexity by exposing explicit interfaces for branded string and number schemas.
264
+
265
+ Each branded constant in `Schema/strings.ts`, `Schema/moreStrings.ts`, and `Schema/numbers.ts` now has a named interface (e.g. `NonEmptyStringSchema`, `StringIdSchema`, `PositiveIntSchema`, `UrlSchema`) annotating its `export const`. Mirrors the pattern used in `effect/Schema` itself — TypeScript reports the interface name instead of expanding the full pipe/brand/extension chain, which shrinks inferred types in consumer code and speeds up type display.
266
+
267
+ No runtime or API surface changes; `brandedStringId` now returns `BrandedStringIdSchema<Id>` (same shape as before, just named).
268
+
269
+ ## 4.0.0-beta.254
270
+
271
+ ### Patch Changes
272
+
273
+ - 29a1e57: Repository `changeFeed` is now namespace-aware. Events carry the `storeId` namespace as a third tuple element (`ChangeFeedEvent<T> = [items, op, namespace]`). `subscribe` accepts `options.namespace` to register a per-namespace handler; omitting it registers a wildcard handler that receives events from every namespace. Per-namespace handler buckets eliminate cross-namespace fan-out and avoid waking handlers for irrelevant tenants.
274
+
275
+ ## 4.0.0-beta.253
276
+
277
+ ### Patch Changes
278
+
279
+ - b90fa30: Repository `changeFeed` now broadcasts synchronously: `publish` awaits every subscribed handler before resolving. Replaces `PubSub.PubSub` with a `ChangeFeed<T>` interface (`publish` + scoped `subscribe`). Handlers are auto-removed when the subscriber's scope closes, and the full handler set is cleared when the repository's scope closes. Repository construction now requires `Scope` — wire `makeRepo` through `Layer.scoped` / `Effect.scoped`.
280
+
281
+ ## 4.0.0-beta.252
282
+
283
+ ### Patch Changes
284
+
285
+ - a788432: fix circular
286
+
287
+ ## 4.0.0-beta.251
288
+
289
+ ### Patch Changes
290
+
291
+ - 1c858d3: fix request scope problems
292
+
293
+ ## 4.0.0-beta.250
294
+
295
+ ### Patch Changes
296
+
297
+ - 3053760: fix: restore context map container behavior
298
+
299
+ ## 4.0.0-beta.249
300
+
301
+ ### Minor Changes
302
+
303
+ - ba789a2: Move core service contracts and runtime-agnostic modules into `effect-app`, keep `infra` and `vue` focused on adapters, and drop the temporary `infra` compatibility re-export paths in favor of the new canonical imports.
304
+
305
+ `@effect-app/infra` no longer re-exports moved core modules such as `./Model`, `./Emailer/service`, `./QueueMaker/service`, `./Store/service`, `./adapters/*`, or `./api/*` entrypoints.
306
+
307
+ ## 4.0.0-beta.248
308
+
309
+ ### Patch Changes
310
+
311
+ - 2a86a17: improve tsgo compat: avoid deferred `Schema.Type`/`Codec.Encoded`/`Codec.DecodingServices`/`Codec.EncodingServices` conditional helpers in generic positions where the type parameter is already constrained to `Schema.Top`. Index the property directly (`X["Type"]`, `X["Encoded"]`, `X["DecodingServices"]`, …) so tsgo doesn't leak `unknown` into `Effect` channels (notably `R`).
312
+
313
+ Sites: `client/clientFor.ts` (`RequestHandlerFor`, `FinalTypeOf`, `ExtractResponse`, `ExtractEResponse`), `client/makeClient.ts` (`InputFromPayload`, `OutputFromSuccess`, `InvalidationConfigForCommand`, `TaggedRequestWithMeta` overloads), `rpc/MiddlewareMaker.ts` (`Errors`), `rpc/RpcMiddleware.ts` (`Failure`, `FailureContext`), `Schema/ext.ts` (`ReadonlySetFromArray`, `ReadonlyMapFromArray`), `infra/routing.ts` (`GetSuccessShape`, handlers, route matcher), `vue/makeClient.ts` (`MutationExt.project`, `MutationWithExtensions`, `QueryProjection`), `vue/routeParams.ts` (`parseRouteParams*`).
314
+
315
+ ## 4.0.0-beta.247
316
+
317
+ ### Patch Changes
318
+
319
+ - 01bab22: Work around tsgo failing to reduce `S.Codec.DecodingServices<X>` (`X extends Top ? X["DecodingServices"] : never`) in generic positions, which left `unknown` and polluted the `R` channel of client handlers and RPC middleware failure context. Since the schemas involved are already constrained to `S.Top`, read `["DecodingServices"]` directly in `RequestHandlerFor`, `TagClass.FailureContext`, and the Vue `MutationExt` / `QueryProjection` types.
320
+
321
+ ## 4.0.0-beta.246
322
+
323
+ ## 4.0.0-beta.245
324
+
325
+ ## 4.0.0-beta.244
326
+
327
+ ### Patch Changes
328
+
329
+ - b8b9080: update packages
330
+
331
+ ## 4.0.0-beta.243
332
+
333
+ ## 4.0.0-beta.242
334
+
335
+ ### Patch Changes
336
+
337
+ - da83c1f: Align `InvalidationEntry` (vue) with `InvalidateQueryInstruction` (effect-app).
338
+
339
+ `InvalidateQueryInstruction` is now parametrized over `Filters` / `Options`
340
+ (defaulting to `Record<string, unknown>` so the core stays framework-agnostic).
341
+ `@effect-app/vue` exposes `InvalidationEntry` as a narrowed alias substituting
342
+ `@tanstack/vue-query`'s `InvalidateQueryFilters` and `InvalidateOptions`. Single
343
+ source of truth for the union shape across both packages.
344
+
345
+ - 21017d5: `InvalidationSet.add` accepts arrays and is exposed as a static shortcut.
346
+
347
+ - Single item: `yield* InvalidationSet.add(UserRsc.GetMe)`
348
+ - Batch: `yield* InvalidationSet.add([UserRsc.GetMe, ["custom", "key"]])`
349
+ - Skips the `.use(_ => _.add(...))` boilerplate.
350
+
351
+ Existing `InvalidationSet.use(_ => _.add(...))` form still works; the service
352
+ identity is preserved via `Object.assign` so `Effect.provideService` and
353
+ `.use` / `.useSync` continue to operate on the same `Context.Reference`.
354
+
355
+ - 2495ace: `InvalidationSet.add` accepts RPC handler shorthand.
356
+
357
+ Server-side handlers may now pass an RPC handler object directly to
358
+ `InvalidationSet.add`; its query key is derived via `makeQueryKey`. Raw
359
+ `InvalidationKey` arrays continue to work.
360
+
361
+ ```ts
362
+ // before
363
+ yield *
364
+ Invalidation.InvalidationSet.use((_) => _.add(makeQueryKey(UserRsc.GetMe)));
365
+
366
+ // after
367
+ yield * Invalidation.InvalidationSet.use((_) => _.add(UserRsc.GetMe));
368
+ ```
369
+
370
+ ## 4.0.0-beta.241
371
+
372
+ ### Patch Changes
373
+
374
+ - b035b1c: Isolate per-call `Effect.provide(layers)` / `Stream.provide(layers)` in the
375
+ RPC api client factory via `{ local: true }`.
376
+
377
+ `layers` here is built per RPC invocation from a caller-supplied
378
+ `requestLevelLayers` plus a fresh `RequestName` layer. Today both pieces are
379
+ stateless, so no observable bug — but `Effect.provide(layer)` without
380
+ `local: true` resolves its `MemoMap` from the ambient fiber context, and on a
381
+ long-lived runtime (browser app, server fiber) any stateful layer slipped into
382
+ `requestLevelLayers` by a caller would be memoized and shared across every
383
+ subsequent RPC call. `{ local: true }` builds the layer fresh per call and
384
+ skips the ambient MemoMap entirely.
385
+
386
+ Also documents the rule in `AGENTS.md` ("Per-request `Effect.provide(layer)`
387
+ must isolate its MemoMap") so the pattern is enforceable in code review and
388
+ caught early. Companion to the `provideOnRequestScope` MemoMap fix in
389
+ `@effect-app/infra`.
390
+
391
+ ## 4.0.0-beta.240
392
+
393
+ ## 4.0.0-beta.239
394
+
395
+ ## 4.0.0-beta.238
396
+
397
+ ## 4.0.0-beta.237
398
+
399
+ ## 4.0.0-beta.236
400
+
401
+ ## 4.0.0-beta.235
402
+
403
+ ### Patch Changes
404
+
405
+ - ba4bdc3: improve: support .ts extension
406
+ - 6cfd83d: update effect to latest beta
407
+
408
+ ## 4.0.0-beta.234
409
+
410
+ ## 4.0.0-beta.233
411
+
412
+ ### Patch Changes
413
+
414
+ - 57a1862: Update to effect 4.0.0-beta.67. Switch deps from `pkg.pr.new` snapshot back to npm beta tag.
415
+
416
+ ## 4.0.0-beta.232
417
+
418
+ ### Patch Changes
419
+
420
+ - 0263827: Fix `Date` / `DateValid` default helpers to pipe from their own schema.
421
+
422
+ `withConstructorDefault` and `withDecodingDefaultType` on `DateValid` previously piped from `DateFromString`, dropping the `isDateValid()` check (and, after the recent identifier split, the `DateValid` annotations) from the resulting defaulted schema. Both `Date` and `DateValid` now use `extendM` so the helpers attach to the underlying schema (`DateFromString` / `DateValidFromString`).
423
+
424
+ - 0263827: Distinguish `Date` and `DateValid` in JSON Schema output.
425
+
426
+ - `Date` now emits identifier `DateOrInvalid` with description noting the value may be invalid.
427
+ - `DateValid` now emits its own annotated string (identifier `Date`) with description stating a valid ISO 8601 date is required.
428
+
429
+ - 0263827: Update to effect `pkg.pr.new` snapshot at `a42ef66` (4.0.0-beta.66). Remove `Yieldable` and `asEffect()` (service tags are now `Effect` directly).
430
+
431
+ ## 4.0.0-beta.231
432
+
433
+ ### Patch Changes
434
+
435
+ - 7ca66ce: Update to effect 4.0.0-beta.66. Remove `Yieldable` and `asEffect()` (service tags are now `Effect` directly).
436
+
437
+ ## 4.0.0-beta.230
438
+
439
+ ## 4.0.0-beta.229
440
+
441
+ ## 4.0.0-beta.228
442
+
443
+ ## 4.0.0-beta.227
444
+
445
+ ## 4.0.0-beta.226
446
+
447
+ ## 4.0.0-beta.225
448
+
449
+ ## 4.0.0-beta.224
450
+
451
+ ## 4.0.0-beta.223
452
+
453
+ ## 4.0.0-beta.222
454
+
455
+ ## 4.0.0-beta.221
456
+
457
+ ### Patch Changes
458
+
459
+ - 439cbeb: Adopt module system from effect-smol: replace barrel imports with specific submodule imports (`import * as X from "effect-app/X"` / `import * as X from "effect/X"`).
460
+
461
+ ## 4.0.0-beta.220
462
+
463
+ ## 4.0.0-beta.219
464
+
465
+ ### Patch Changes
466
+
467
+ - d738811: remove double prefix
468
+
469
+ ## 4.0.0-beta.218
470
+
471
+ ## 4.0.0-beta.217
472
+
473
+ ### Patch Changes
474
+
475
+ - 0e824ef: add missing Brand
476
+
477
+ ## 4.0.0-beta.216
478
+
479
+ ## 4.0.0-beta.215
480
+
481
+ ## 4.0.0-beta.214
482
+
483
+ ## 4.0.0-beta.213
484
+
485
+ ## 4.0.0-beta.212
486
+
487
+ ### Patch Changes
488
+
489
+ - 8792221: Rename `withDefault` schema extensions to `withConstructorDefault` for clarity.
490
+
491
+ Document that `.withConstructorDefault` is **construction-only** (applied during `.make(...)` when a field is omitted) and is **not** applied during decode — it cannot be used to JIT-migrate database fields. Per-property JSDoc on every `.withConstructorDefault` / `.withDecodingDefaultType` exposed by `Schema/ext.ts`, `Schema/numbers.ts`, `Schema/moreStrings.ts`, and `ids.ts` so the caveat is visible on hover.
492
+
493
+ Re-export `withConstructorDefault`, `withDecodingDefault`, `withDecodingDefaultKey`, `withDecodingDefaultType`, and `withDecodingDefaultTypeKey` from `effect-app/Schema` with explicit JSDoc. `withDecodingDefault*` is discouraged for persisted data: a missing field may be data corruption rather than an old-shape document, and silently substituting a default hides the problem. Prefer an explicit, preferably versioned migration of database data over decode-time fallbacks.
494
+
495
+ ## 4.0.0-beta.211
496
+
497
+ ## 4.0.0-beta.210
498
+
499
+ ## 4.0.0-beta.209
500
+
501
+ ### Patch Changes
502
+
503
+ - c991be1: update packages
504
+ - 3bae238: Remove lodash type imports from utils.ts, replacing with native TypeScript equivalents.
505
+
506
+ ## 4.0.0-beta.208
507
+
508
+ ## 4.0.0-beta.207
509
+
510
+ ### Patch Changes
511
+
512
+ - 8fffc3c: cleanup
513
+
514
+ ## 4.0.0-beta.206
515
+
516
+ ### Patch Changes
517
+
518
+ - 54bfc59: Require middleware to flow through `makeRpcClient` and the live layer through `makeRouter`.
519
+
520
+ ### `makeRpcClient(middleware, generalErrors?)`
521
+
522
+ Signature drops the `rcs` (request-context map wrapper) parameter. `rcs` was only load-bearing on the type side for `RequestConfig` inference; that information is now derived from `middleware.requestContextMap`. `middleware` is required — the previous "rcs + optional middleware" overload is gone.
523
+
524
+ **Migration**:
525
+
526
+ ```diff
527
+ -makeRpcClient(RequestContextMap, undefined, AppMiddleware)
528
+ +makeRpcClient(AppMiddleware)
529
+ ```
530
+
531
+ For tests/clients without a real middleware, build a minimal stub (`{ requestContextMap, requestContext }`) or pass any value satisfying `ClientMiddleware<RCM>`.
532
+
533
+ ### `makeRouter(middlewareLive)`
534
+
535
+ `makeRouter()` no longer infers the live middleware layer from `meta.middleware.Default`. The Live layer is now passed explicitly to `makeRouter`, and the request classes only carry the middleware tag (schema-only). This decouples the router from any assumption that the middleware tag exposes a `Default` static.
536
+
537
+ **Migration**:
538
+
539
+ ```diff
540
+ -export const { Router, matchAll } = makeRouter()
541
+ +export const { Router, matchAll } = makeRouter(AppMiddleware.Default)
542
+ ```
543
+
544
+ ## 4.0.0-beta.205
545
+
546
+ ### Patch Changes
547
+
548
+ - f313973: fix type make interface
549
+
550
+ ## 4.0.0-beta.204
551
+
552
+ ### Patch Changes
553
+
554
+ - 0a0030f: fix missing overloads
555
+
556
+ ## 4.0.0-beta.203
557
+
558
+ ### Patch Changes
559
+
560
+ - 992d9fa: fix more branded types
561
+
562
+ ## 4.0.0-beta.202
563
+
564
+ ### Patch Changes
565
+
566
+ - 1186b09: improve branded types, keep types through Rebuild
567
+
568
+ ## 4.0.0-beta.201
569
+
570
+ ### Patch Changes
571
+
572
+ - d67d17a: Source middleware errors exclusively from the rpc middleware tag, and move command/stream invalidation wrap/unwrap entirely into the routing layer (server) and `apiClientFactory` (client). `InvalidationMiddleware` and `InvalidationMiddlewareLive` are removed.
573
+
574
+ ### Resource error schemas
575
+
576
+ Three sites that used to fold `RequestContextMap[*].error` into a request's own error schema now stop doing so:
577
+
578
+ - `makeRpcClient` / `makeRequestClass` — `failureSchema` is just `config.error` (still merged with the optional `generalErrors` parameter, which is the only remaining error mix on both type and runtime levels).
579
+ - `MiddlewareMaker.rpc()` — `error: options.error` only; the previous union with `rcm.config[*].error` is gone.
580
+ - Routing and `apiClientFactory.makeRpcGroupFromRequestsAndModuleName` — `Invalidation.makeCommandRpc` is called with `error: resource.error` (no widening with the composite middleware error union).
581
+
582
+ Middleware errors reach the client through the rpc's `middlewares[*].error` failure-union channel of `Rpc.exitSchema`, exposed by attaching the middleware tag to the rpc on both sides:
583
+
584
+ - **Server**: `makeRouter(middleware)` attaches the live composite tag (existing behavior).
585
+ - **Client**: new `middleware` option on `ClientForOptions` / `ApiClientFactory.makeFor(layer, { middleware })` attaches the same tag schema-only (no Live invoked). Threaded through `makeRpcGroupFromRequestsAndModuleName` to `RpcGroup.middleware(tag)`. Without it, stream rpcs (whose top-level `errorSchema` is forced to `Never` by effect-rpc) hit `SchemaError: Expected never | { _tag: "error", ... }` decoding middleware-thrown errors that bypass the in-stream `Stream.catch` wrap.
586
+
587
+ **Migration**: handlers that yield errors previously sourced from rcm (e.g. `yield* new UnauthorizedError()`) now require those errors to be declared explicitly on the resource — `Req.Query<T>()("...", fields, { success, error: UnauthorizedError })`. The handler error type no longer auto-includes the rcm union.
588
+
589
+ ### Invalidation wrap/unwrap
590
+
591
+ - `routing.ts` (server) provides a per-request `InvalidationSet` for commands, wraps the success value as `CommandResponseWithMetaData`, and converts handler-thrown failures into `CommandFailureWithMetaData` so accumulated invalidation keys reach the client on either path. Stream wrap (per-chunk envelope + final `done` chunk) was already in routing and is unchanged.
592
+ - `apiClientFactory.ts` (client) `unwrapCommand` strips both envelopes and forwards keys to `InvalidationKeysFromServer`.
593
+ - `InvalidationMiddleware` (the tag) and `InvalidationMiddlewareLive` (the layer) are **removed**. The middleware was the previous home of the wrap; with the wrap moved to routing/apiClientFactory, the middleware became a thin pass-through and is no longer needed. `DefaultGenericMiddlewares` and `DefaultGenericMiddlewaresLive` shrink accordingly — no migration needed for callers that used the defaults; callers that referenced `InvalidationMiddleware` / `InvalidationMiddlewareLive` directly should drop those imports.
594
+
595
+ Middleware-thrown errors are never wrapped: by definition the handler never ran, so there is nothing to invalidate. They flow raw on the Cause and the client decodes them via the middleware-tag failure-union channel described above.
596
+
597
+ ## 4.0.0-beta.200
598
+
599
+ ### Patch Changes
600
+
601
+ - 8f1cf6a: able to configure schema concurrency
602
+ - 0cff7c1: workaround middleware error issue
603
+
604
+ ## 4.0.0-beta.199
605
+
606
+ ## 4.0.0-beta.198
607
+
608
+ ### Patch Changes
609
+
610
+ - 32dbc54: fix stream type when no success specified
611
+
612
+ ## 4.0.0-beta.197
613
+
614
+ ### Minor Changes
615
+
616
+ - 3dc0d2a: Add streaming as a `stream: true` config option on `Query` / `Command` instead of a separate request type.
617
+
618
+ `TaggedRequestFor` now exposes only `Query` and `Command` factories — the standalone `Stream` factory is removed. To produce a Stream of `success` values, pass `stream: true` in the request config. The request `type` field stays `"command" | "query"`; a new `stream: boolean` field carries the streaming flag (stripped from the stored handler config).
619
+
620
+ ```ts
621
+ // Query that streams results
622
+ Req.Query<T>()("Tag", {}, { stream: true, success: ... })
623
+
624
+ // Command that streams results
625
+ Req.Command<T>()("Tag", {}, { stream: true, success: ... })
626
+ ```
627
+
628
+ Vue client mapping (per-handler properties mirror the non-stream API — `.query`, `.fn`, `.mutate`):
629
+
630
+ - `query` + `stream: true` → exposes `.query` (read-only streaming, tracked Vue Query). Helper map key: `${name}Query`.
631
+ - `command` + `stream: true` → exposes `.fn` and `.mutate` (mutating streaming).
632
+ - Plain `query` / `command` unchanged.
633
+
634
+ Server routing dispatches via the new `stream` flag (`makeStreamRpc` for streaming commands/queries, `makeCommandRpc` / `Rpc.make` otherwise).
635
+
636
+ Also lifts the `Struct` / `TaggedStruct` and `Opaque` definitions in `effect-app/Schema` to use `S.Bottom` / `S.Opaque` directly, exposing `fields`, `mapFields`, and a `MakeIn` that allows `void` when all fields are optional. `TaggedRequestFor` request classes now use `Opaque(TaggedStruct(...))` instead of `TaggedClass`, and decoding/encoding services are derived from `success` / `error` rather than stored on the request.
637
+
638
+ **Migration**: replace `Req.Stream` with `Req.Query` or `Req.Command` and add `stream: true` to the config — `Query` for read-only streams, `Command` for mutating streams.
639
+
640
+ ## 4.0.0-beta.196
641
+
642
+ ## 4.0.0-beta.195
643
+
644
+ ### Patch Changes
645
+
646
+ - 774a9b3: `MiddlewareMaker.makeMiddlewareBasic` now derives each middleware's effective error from both the static `error` field on the tag AND the `rcm` config entry referenced by `dynamic.key`, rather than relying on the static field alone.
647
+
648
+ Middlewares declared with `dynamic: RequestContextMap.get("foo")` (instead of an explicit static `error: ...`) end up with `tag.error = Schema.Never` at runtime — `RpcMiddleware.Tag` defaults the static error to `Never` when not provided. The composite `MiddlewareMaker.Tag(...).middleware(...)` walked `make[*].error` to build its own error union, collapsing to `Union<Never, ...> ≡ Never`.
649
+
650
+ `Rpc.exitSchema` walks `rpc.middlewares[*].error` when building the wire-level failure union for every rpc kind. Empty-union meant middleware-thrown errors (`NotLoggedInError`, `UnauthorizedError`, etc.) never reached the wire schema. Query/command happened to work because their wire `errorSchema = resource.error` already covered the merge from `makeRpcClient`. Stream rpcs have `errorSchema` force-set to `Schema.Never` by effect-rpc, so the resource-level merge never reached the wire — middleware errors decoded as "Expected never, got X".
651
+
652
+ Per middleware, the new logic pushes both the static `_.error` (if non-`Never`) and `rcm[_.dynamic.key].error` (if non-`Never`) into the composite's failure union.
653
+
654
+ ## 4.0.0-beta.194
655
+
656
+ ## 4.0.0-beta.193
657
+
658
+ ## 4.0.0-beta.192
659
+
660
+ ## 4.0.0-beta.191
661
+
662
+ ### Patch Changes
663
+
664
+ - 50ce7e6: Replace typescript-eslint with oxlint-tsgolint for type-aware lint. Drop ESLint entirely from non-vue packages (cli, effect-app, infra) — they now use only `oxlint --type-aware`. Vue packages keep ESLint to run `@effect-app/no-await-effect` (no tsgolint equivalent) via `@typescript-eslint/parser` + `vue-eslint-parser`.
665
+
666
+ ## 4.0.0-beta.190
667
+
668
+ ### Patch Changes
669
+
670
+ - 985176b: Align request handler input typing with the request's `make` signature. Handlers are now classified as no-input only when the request schema declares no payload fields; any payload (even fully-optional) yields a function handler whose input matches `make`'s first parameter. Adds `HandlerInput<I>` and threads it through `CommandFromRequest`.
671
+
672
+ ## 4.0.0-beta.189
673
+
674
+ ### Patch Changes
675
+
676
+ - ea32222: Update to effect 4.0.0-beta.60 and use native `Rpc.custom` constructors (`makeCommandRpc`, `makeStreamRpc`) for metadata-wrapped RPC schemas instead of manually wrapping/unwrapping schemas inline.
677
+
678
+ ## 4.0.0-beta.188
679
+
680
+ ### Patch Changes
681
+
682
+ - b2e438f: Remove Operations service and repo
683
+
684
+ ## 4.0.0-beta.187
685
+
686
+ ### Patch Changes
687
+
688
+ - 0d4e0b8: Fix `isGeneratorFunction` using `isObject` instead of `isFunction`: generator functions have `typeof === "function"`, not `"object"`, so the check always returned `false`. This caused `Command.streamFn` generator-form handlers to silently pass a raw `Generator` object rather than an `Effect<Stream>`, meaning the mutation was never executed.
689
+
690
+ ## 4.0.0-beta.186
691
+
692
+ ## 4.0.0-beta.185
693
+
694
+ ## 4.0.0-beta.184
695
+
696
+ ## 4.0.0-beta.183
697
+
698
+ ## 4.0.0-beta.182
699
+
700
+ ## 4.0.0-beta.181
701
+
702
+ ### Patch Changes
703
+
704
+ - 583393f: Default the stream `mutateStream` execute resolved value to the request's success type when no `final` schema is declared.
705
+
706
+ Previously the type defaulted to `void`, but the runtime already resolves with the last emitted value. Types now match runtime behaviour: `execute` returns `Final` if a `final` schema is set, otherwise the success type.
707
+
708
+ ## 4.0.0-beta.180
709
+
710
+ ### Minor Changes
711
+
712
+ - 7fa3045: V1/V2/V3: stream and command requests carry invalidation metadata
713
+
714
+ **V1** – stream final response includes metadata
715
+
716
+ - `Invalidation.StreamResponseChunk` wraps each stream item as `{ _tag: "value", value }` and appends `{ _tag: "done", metadata }` at the end carrying all accumulated invalidation keys.
717
+
718
+ **V2** – invalidation keys included in failures
719
+
720
+ - `Invalidation.CommandFailureWithMetaData` and `Invalidation.StreamFailureChunk` carry keys accumulated up to the point of failure, so clients can invalidate queries even when a command or stream errors.
721
+ - `InvalidationMiddlewareLive` wraps command failures; `routing.ts` wraps stream failures.
722
+ - `apiClientFactory.ts` unwraps both on the client side, forwarding keys before re-failing with the original error.
723
+
724
+ **V3** – mid-stream metadata chunks
725
+
726
+ - `Invalidation.StreamResponseChunk` now also includes `{ _tag: "metadata", metadata }` for mid-stream invalidation.
727
+ - After each emitted value, the server drains accumulated keys and emits a "metadata" chunk if any keys were collected since the last drain (bucket reset via `InvalidationSet.drain`).
728
+ - `apiClientFactory.ts` processes "metadata" chunks the same as "done" chunks, forwarding keys to `InvalidationKeysFromServer` immediately.
729
+ - `makeInvalidationKeysService` accepts an optional `onAdded` callback that fires after each key addition, enabling `mutate.ts` to trigger query invalidation mid-stream without waiting for the stream to complete.
730
+
731
+ ## 4.0.0-beta.179
732
+
733
+ ### Minor Changes
734
+
735
+ - 828d264: Stream requests now support an optional `final` schema that models the final success type of the stream. When declared, `mutateStream`'s execute effect resolves with the last emitted value typed as `Final` instead of `void`.
736
+
737
+ ```ts
738
+ class MyStream extends SomethingStream<MyStream>()(
739
+ "MyStream",
740
+ { id: S.String },
741
+ {
742
+ success: S.Union([OperationProgress, ExportComplete]),
743
+ final: ExportComplete, // execute now resolves with ExportComplete
744
+ }
745
+ ) {}
746
+ ```
747
+
748
+ ## 4.0.0-beta.178
749
+
750
+ ## 4.0.0-beta.177
751
+
752
+ ### Minor Changes
753
+
754
+ - 89d8b3a: Add Effect RPC `Stream` support to the wrapper.
755
+
756
+ - New `Stream` request constructor on `TaggedRequestFor` parallel to `Query`/`Command`. Emits resources with `type: "stream"`.
757
+ - Server router (`@effect-app/infra` `routing.ts`) accepts stream resources whose handlers return a `Stream.Stream<A, E, R>` (or a function from input to one). Forwards `stream: true` to `Rpc.make` so `RpcSchema.Stream` wrapping is applied. Streams bypass `applyRequestTypeInterruptibility` and the `Effect.withSpan` wrapping (the RPC server adds its own span).
758
+ - Client (`apiClientFactory.ts`) detects stream resources, forwards `stream: true` when constructing `RpcGroup`, and exposes the per-request `handler` as a `Stream.Stream` (via `Stream.unwrap` over the `ManagedRuntime` context) instead of an `Effect`. `Invalidation.CommandResponseWithMetaData` continues to apply only to commands.
759
+ - New `RequestStreamHandler` / `RequestStreamHandlerWithInput` shapes in `clientFor.ts`; `RequestHandlers` dispatches on `type: "stream"`.
760
+
761
+ ## 4.0.0-beta.176
762
+
763
+ ### Patch Changes
764
+
765
+ - pass options
766
+
767
+ ## 4.0.0-beta.175
768
+
769
+ ## 4.0.0-beta.174
770
+
771
+ ### Minor Changes
772
+
773
+ - 821468d: Add server-driven cache invalidation via RPC response headers.
774
+
775
+ - `effect-app/rpc`: new `Invalidation` module with `InvalidationKey` / `InvalidationKeys` schemas, `Invalidates` annotation (for declaring static invalidation on Rpc definitions), `InvalidationSet` reference (request-scoped accumulator), and `makeInvalidationSet` helper.
776
+ - `effect-app/middleware`: new `InvalidationMiddleware` RPC middleware tag; included in `DefaultGenericMiddlewares`.
777
+ - `effect-app/client`: new `InvalidationKeys` module with `InvalidationKeysFromServer` reference and `makeInvalidationKeysService` helper; `apiClientFactory` now taps HTTP responses to read the `x-invalidate` header and forward keys to `InvalidationKeysFromServer`.
778
+ - `@effect-app/infra`: new `InvalidationMiddlewareLive` RPC middleware implementation that owns the full lifecycle — creates a request-scoped `InvalidationSet` (backed by a `Ref`), pre-populates it from the `Invalidates` annotation, provides it to the handler, and after the handler completes registers an HTTP pre-response handler (via `appendPreResponseHandlerUnsafe`) to write the accumulated keys as an `x-invalidate` response header. No separate HTTP middleware is needed.
779
+ - `@effect-app/vue`: `invalidateQueries` / `useMutation` now reads server-provided invalidation keys from `InvalidationKeysFromServer` after each mutation and applies them alongside the client-side invalidation.
780
+
781
+ ## 4.0.0-beta.173
782
+
783
+ ## 4.0.0-beta.172
784
+
785
+ ## 4.0.0-beta.171
786
+
787
+ ### Patch Changes
788
+
789
+ - d71d976: fix
790
+
791
+ ## 4.0.0-beta.170
792
+
793
+ ### Patch Changes
794
+
795
+ - 8f09f77: fix
796
+
797
+ ## 4.0.0-beta.169
798
+
799
+ ### Patch Changes
800
+
801
+ - 8ae8b53: input mess
802
+
803
+ ## 4.0.0-beta.168
804
+
805
+ ### Patch Changes
806
+
807
+ - 178480a: Fix request handler input classification to use request schema fields instead of `make` parameters, preventing defaulted/nullable input fields from being treated as no-input handlers.
808
+
809
+ ## 4.0.0-beta.167
810
+
811
+ ### Patch Changes
812
+
813
+ - 140e192: Relax invalidation resource value constraints to allow arbitrary values while preserving query-only filtering in invalidation handling.
814
+
815
+ ## 4.0.0-beta.166
816
+
817
+ ### Patch Changes
818
+
819
+ - dbcc53b: Refactor command invalidation typing: declare resources via `Command<Self, Resources>()`, pass `invalidatesQueries` as the optional 4th argument, and enforce exact `clientFor` invalidation resources when required.
820
+
821
+ ## 4.0.0-beta.165
822
+
823
+ ### Minor Changes
824
+
825
+ - f88ea34: Move `makeQueryKey` into `effect-app/client` and update Vue source and tests to import it from the shared client module. Vue still re-exports `makeQueryKey` from `src/lib` for compatibility.
826
+
827
+ ## 4.0.0-beta.164
828
+
829
+ ### Minor Changes
830
+
831
+ - 8cb3de4: Add command invalidation helpers that preserve query-only resource types and pass mutation input and `Exit` results into invalidation callbacks. Update Vue `clientFor` to merge request-level invalidation config with call-site invalidation and require matching invalidation resources.
832
+
833
+ ## 4.0.0-beta.163
834
+
835
+ ### Patch Changes
836
+
837
+ - b952f19: bye cruft
838
+
839
+ ## 4.0.0-beta.162
840
+
841
+ ### Patch Changes
842
+
843
+ - b52b424: restore annotations for now
844
+
845
+ ## 4.0.0-beta.161
846
+
847
+ ## 4.0.0-beta.160
848
+
849
+ ### Patch Changes
850
+
851
+ - 505bfa9: Add concurrent decode helper APIs and migrate decode callsites to use them.
852
+
853
+ - Add `withDefaultParseOptions` and keep `DefaultParseOptions` centralized.
854
+ - Export `decodeEffectConcurrently` and `decodeUnknownEffectConcurrently` from Schema and SchemaParser modules.
855
+ - Update repository, queue, client, form, and CLI decode paths to use concurrent decode helpers.
856
+ - Keep schema constructors free of hardcoded parse concurrency overrides.
857
+
858
+ ## 4.0.0-beta.159
859
+
860
+ ### Patch Changes
861
+
862
+ - c1e73de:
863
+
864
+ ## 4.0.0-beta.158
865
+
866
+ ### Patch Changes
867
+
868
+ - 3c1f52d: improve: class strictness enabled by default again, allow `strict: false` as opt out for now.
869
+ - 6ae3050: Preserve class annotation parseOptions in relaxed declaration struct decoding so custom parse options (including concurrency defaults) are applied consistently.
870
+
871
+ ## 4.0.0-beta.157
872
+
873
+ ### Patch Changes
874
+
875
+ - 6fff09c: unify encoded function for when you use encodedKeys
876
+
877
+ ## 4.0.0-beta.156
878
+
879
+ ## 4.0.0-beta.155
880
+
881
+ ### Patch Changes
882
+
883
+ - c215db8: align TaggedUnion with array arg
884
+
885
+ ## 4.0.0-beta.154
886
+
887
+ ## 4.0.0-beta.153
888
+
889
+ ## 4.0.0-beta.152
890
+
891
+ ## 4.0.0-beta.151
892
+
893
+ ## 4.0.0-beta.150
894
+
895
+ ### Patch Changes
896
+
897
+ - 85a8275: Expose `make`, `makeOption`, and `makeEffect` static helpers on request classes created via `Query`/`Command`.
898
+
899
+ ## 4.0.0-beta.149
900
+
901
+ ### Patch Changes
902
+
903
+ - f317c5e: Preserve omitted-input make helpers through Schema.Opaque when the wrapped schema allows optional or default-only constructor input.
904
+
905
+ ## 4.0.0-beta.148
906
+
907
+ ### Patch Changes
908
+
909
+ - 199e9a5: Allow Struct and TaggedStruct make helpers to omit input when every constructor field is optional or defaulted, and preserve widening copy typings through a lighter named public type to improve TypeScript editor responsiveness.
910
+
911
+ ## 4.0.0-beta.147
912
+
913
+ ### Patch Changes
914
+
915
+ - 47e3742: Preserve Struct.copy through `annotate`, `annotateKey`, and `mapFields` chains, and add tests covering chained copy behavior on Struct schemas.
916
+
917
+ ## 4.0.0-beta.146
918
+
919
+ ### Patch Changes
920
+
921
+ - a4dff57: Adjust Struct and TaggedStruct copy typing to follow class-style widening constraints while keeping structural copy runtime behavior.
922
+
923
+ ## 4.0.0-beta.145
924
+
925
+ ### Patch Changes
926
+
927
+ - 12abb55: Refine schema copy behavior by keeping class copy constructor-based while using structural copy for Struct and TaggedStruct helpers.
928
+
929
+ ## 4.0.0-beta.144
930
+
931
+ ### Patch Changes
932
+
933
+ - 11422f8: Update request helper typing and runtime invocation to rely on schema `.make` instead of class constructors, avoiding `new`-based assumptions for request schemas.
934
+ - d31253f: Refactor eligible schema classes and tagged classes to Opaque schemas, and migrate constructor call sites to use `.make` for those models.
935
+
936
+ ## 4.0.0-beta.143
937
+
938
+ ### Patch Changes
939
+
940
+ - 79eb019: Remove redundant schema `title` annotations when they duplicate the schema `identifier`.
941
+
942
+ ## 4.0.0-beta.142
943
+
944
+ ### Minor Changes
945
+
946
+ - 025de47: Fold the encoded-override support from `ExtendedClass` and `ExtendedTaggedClass` into `Class`, `TaggedClass`, `ErrorClass`, and `TaggedErrorClass`, and update model codegen to detect the new second-generic form.
947
+
948
+ ### Patch Changes
949
+
950
+ - 3436d44: Extend `Schema.Opaque` in `effect-app/Schema` to support an optional encoded-type generic while preserving the original single-generic behavior.
951
+
952
+ ## 4.0.0-beta.141
953
+
954
+ ### Patch Changes
955
+
956
+ - 7c25dbb: Add relaxed wrapper support for `ErrorClass` and `TaggedErrorClass` in `effect-app/Schema`, matching the existing class wrapper behavior (`copy`, cached `ast`, and unbounded parse concurrency).
957
+
958
+ ## 4.0.0-beta.140
959
+
960
+ ## 4.0.0-beta.139
961
+
962
+ ## 4.0.0-beta.138
963
+
964
+ ## 4.0.0-beta.137
965
+
966
+ ## 4.0.0-beta.136
967
+
968
+ ## 4.0.0-beta.135
969
+
970
+ ### Patch Changes
971
+
972
+ - c7bbc41: fix - class should check type side
973
+
974
+ ## 4.0.0-beta.134
975
+
976
+ ### Patch Changes
977
+
978
+ - 9d3495e: Preserve field-level schema decode errors for relaxed Class and TaggedClass declarations so decode failures report nested constraints (for example min-length violations) instead of only a generic class-type mismatch.
979
+ - f353d48: Rename the Class/TaggedClass relaxed declaration option to `strict` (default `false`) and apply it to `Class`, `TaggedClass`, `ExtendedClass`, and `ExtendedTaggedClass`.
980
+
981
+ When `strict: true`, class decoding keeps strict class-level declaration behavior; by default, decoding remains relaxed and preserves field-level schema errors.
982
+
983
+ ## 4.0.0-beta.133
984
+
985
+ ### Patch Changes
986
+
987
+ - c3299f7: update packages
988
+
989
+ ## 4.0.0-beta.132
990
+
991
+ ## 4.0.0-beta.131
992
+
993
+ ## 4.0.0-beta.130
994
+
995
+ ### Patch Changes
996
+
997
+ - ea1bd46: fix: prevent expansion of nominal brands
998
+
999
+ ## 4.0.0-beta.129
1000
+
1001
+ ## 4.0.0-beta.128
1002
+
1003
+ ### Patch Changes
1004
+
1005
+ - 57db551: Split `TaggedRequestFor` into `Query` and `Command` factories, and mark generated request classes with `type: "query" | "command"`.
1006
+
1007
+ Vue client helpers now expose query-only helpers (`query`, `suspense`, `fetch`) for query requests and mutation-only helpers (`mutate`, `fetch`) for command requests.
1008
+
1009
+ ## 4.0.0-beta.127
1010
+
1011
+ ## 4.0.0-beta.126
1012
+
1013
+ ### Patch Changes
1014
+
1015
+ - 458bb1b: fix type
1016
+
1017
+ ## 4.0.0-beta.125
1018
+
1019
+ ## 4.0.0-beta.124
1020
+
1021
+ ### Patch Changes
1022
+
1023
+ - 256ae85: cleanup
1024
+
1025
+ ## 4.0.0-beta.123
1026
+
1027
+ ### Patch Changes
1028
+
1029
+ - 14aba14: fix: clientFor
1030
+
1031
+ ## 4.0.0-beta.122
1032
+
1033
+ ### Patch Changes
1034
+
1035
+ - f052d38: Replace `(...) => Effect.gen` with `Effect.fnUntraced` in `apiClientFactory`.
1036
+
1037
+ ## 4.0.0-beta.121
1038
+
1039
+ ### Patch Changes
1040
+
1041
+ - 5ac46cb: Make `Schema.provide` dual (pipeable)
1042
+
1043
+ ## 4.0.0-beta.120
1044
+
1045
+ ### Minor Changes
1046
+
1047
+ - f21190c: Add `copy` property to `Class` and `TaggedClass` for creating modified instances with updated fields. The `copy` method is cached per-class and supports both object and function-based updates, with pipeline support.
1048
+
1049
+ ## 4.0.0-beta.119
1050
+
1051
+ ## 4.0.0-beta.118
1052
+
1053
+ ### Minor Changes
1054
+
1055
+ - 08d2e70: Add `concurrency: "unbounded"` parseOptions annotation to Schema constructors (Struct, Array, NonEmptyArray, Record, TaggedStruct, ReadonlySet, ReadonlyMap, Class, TaggedClass) so all encode/decode operations automatically run with unbounded concurrency. Also override `mapFields` on Struct and Class/TaggedClass to preserve the annotation.
1056
+
1057
+ ### Patch Changes
1058
+
1059
+ - bd26832: Add nested anyOf flattening to JSON Schema post-processing
1060
+ - Update effect packages to 4.0.0-beta.52
1061
+
1062
+ ## 4.0.0-beta.117
1063
+
1064
+ ## 4.0.0-beta.116
1065
+
1066
+ ## 4.0.0-beta.115
1067
+
1068
+ ## 4.0.0-beta.114
1069
+
1070
+ ## 4.0.0-beta.113
1071
+
1072
+ ## 4.0.0-beta.112
1073
+
1074
+ ## 4.0.0-beta.111
1075
+
1076
+ ### Patch Changes
1077
+
1078
+ - ca94edf: fix typo
1079
+
1080
+ ## 4.0.0-beta.110
1081
+
1082
+ ## 4.0.0-beta.109
1083
+
1084
+ ## 4.0.0-beta.108
1085
+
1086
+ ### Patch Changes
1087
+
1088
+ - 3e46e7b: allow excess props in openapi schemas
1089
+
1090
+ ## 4.0.0-beta.107
1091
+
1092
+ ## 4.0.0-beta.106
1093
+
1094
+ ## 4.0.0-beta.105
1095
+
1096
+ ## 4.0.0-beta.104
1097
+
1098
+ ### Minor Changes
1099
+
1100
+ - e944bca: Add `generateGuards` and `generateGuardsFor` to `TaggedUnion` / `ExtendTaggedUnion` for property-scoped type guards.
1101
+
1102
+ - `generateGuards("key")` — generic per-guard, no need to specify the container type
1103
+ - `generateGuardsFor<A>()("key")` — curried, fixes `A` for concrete guard signatures
1104
+
1105
+ Both return `{ is{Tag}, isAnyOf }` guards that narrow the container type by its tagged union property.
1106
+
1107
+ ## 4.0.0-beta.103
1108
+
1109
+ ### Minor Changes
1110
+
1111
+ - 7119320: Add `generateGuards` to `TaggedUnion` / `ExtendTaggedUnion` for generating property-scoped type guards.
1112
+
1113
+ Usage: `MyUnion.generateGuards<MyType>()("propertyKey")` returns `{ is{Tag}, isAnyOf }` guards that narrow the container type by its tagged union property.
1114
+
1115
+ ## 4.0.0-beta.102
1116
+
1117
+ ## 4.0.0-beta.101
1118
+
1119
+ ## 4.0.0-beta.100
1120
+
1121
+ ## 4.0.0-beta.99
1122
+
1123
+ ## 4.0.0-beta.98
1124
+
1125
+ ## 4.0.0-beta.97
1126
+
1127
+ ## 4.0.0-beta.96
1128
+
1129
+ ### Patch Changes
1130
+
1131
+ - 5615e47: bs
1132
+
1133
+ ## 4.0.0-beta.95
1134
+
1135
+ ### Patch Changes
1136
+
1137
+ - 88838fb: Remove pick/omit customizations from Class/TaggedClass/Struct/TaggedStruct. Use `Struct.pick(X.fields, [...])` from `effect-app` instead.
1138
+
1139
+ ## 4.0.0-beta.94
1140
+
1141
+ ## 4.0.0-beta.93
1142
+
1143
+ ## 4.0.0-beta.92
1144
+
1145
+ ## 4.0.0-beta.91
1146
+
1147
+ ### Minor Changes
1148
+
1149
+ - 738b482: Add pick/omit to Struct and TaggedStruct
1150
+
1151
+ ## 4.0.0-beta.90
1152
+
1153
+ ## 4.0.0-beta.89
1154
+
1155
+ ## 4.0.0-beta.88
1156
+
1157
+ ## 4.0.0-beta.87
1158
+
1159
+ ## 4.0.0-beta.86
1160
+
1161
+ ## 4.0.0-beta.85
1162
+
1163
+ ## 4.0.0-beta.84
1164
+
1165
+ ## 4.0.0-beta.83
1166
+
1167
+ ## 4.0.0-beta.82
1168
+
1169
+ ## 4.0.0-beta.81
1170
+
1171
+ ## 4.0.0-beta.80
1172
+
1173
+ ## 4.0.0-beta.79
1174
+
1175
+ ### Minor Changes
1176
+
1177
+ - d16845e: Remove `TaggedRequest` from `makeRpcClient`, now only `TaggedRequestFor` is returned. Remove all legacy `meta.moduleName` support — `id` and `moduleName` are now required on `Req` type. Remove `makeRpcGroup` (use `makeRpcGroupFromRequestsAndModuleName` instead).
1178
+
1179
+ ## 4.0.0-beta.78
1180
+
1181
+ ## 4.0.0-beta.77
1182
+
1183
+ ### Minor Changes
1184
+
1185
+ - 3613e87: Add `TaggedRequestFor` helper to `makeRpcClient` that curries a `moduleName`, producing request classes with static `id` and `moduleName` properties. This enables passing request classes directly to `makeQueryKey` without going through `clientFor` first. The `clientFor` function no longer requires a `meta` property on the module when requests carry `moduleName`. The meta codegen preset now generates `Req = TaggedRequestFor(moduleName)`. Original `TaggedRequest` remains for backwards compatibility.
1186
+
1187
+ ## 4.0.0-beta.76
1188
+
1189
+ ### Patch Changes
1190
+
1191
+ - a5248a9: use new schema features
1192
+ - fac725d: update effect to latest beta
1193
+
1194
+ ## 4.0.0-beta.75
1195
+
1196
+ ### Patch Changes
1197
+
1198
+ - 24f0a5a: rename Literal to Literals, no longer hiding Schema's singular Literal.
1199
+
1200
+ ## 4.0.0-beta.74
1201
+
1202
+ ### Patch Changes
1203
+
1204
+ - 54ec1ef: fix bs
1205
+
1206
+ ## 4.0.0-beta.73
1207
+
1208
+ ## 4.0.0-beta.72
1209
+
1210
+ ### Patch Changes
1211
+
1212
+ - 0541f0d: fix withDefault types
1213
+
1214
+ ## 4.0.0-beta.71
1215
+
1216
+ ### Minor Changes
1217
+
1218
+ - beae3a0: Remove `withDefaultConstructor` wrapper, use `S.withConstructorDefault` directly with `Effect.succeed`/`Effect.sync`.
1219
+
1220
+ ## 4.0.0-beta.70
1221
+
1222
+ ## 4.0.0-beta.69
1223
+
1224
+ ### Patch Changes
1225
+
1226
+ - dc465e3: update to latest effect beta
1227
+
1228
+ ## 4.0.0-beta.68
1229
+
1230
+ ### Patch Changes
1231
+
1232
+ - e6f2341: Add SecretURL tests and switch secretURL config to use Config.nonEmptyString
1233
+
1234
+ ## 4.0.0-beta.67
1235
+
1236
+ ## 4.0.0-beta.66
1237
+
1238
+ ### Patch Changes
1239
+
1240
+ - edc52e4: update
1241
+
1242
+ ## 4.0.0-beta.65
1243
+
1244
+ ### Minor Changes
1245
+
1246
+ - 1f103b2: Replace `proxify` with explicit service accessor helpers: `accessFn`, `accessEffectFn`, `accessCn`, `accessEffectCn`.
1247
+
1248
+ ### Patch Changes
1249
+
1250
+ - 31739d7: Fix JSON schema output for Email, Date, PhoneNumber, and Url schemas. The `jsonSchema` annotation key is not recognized by Effect v4's JSON schema generator — use proper v4 annotations (`format`, `description`) and built-in checks (`isMinLength`, `isMaxLength`) instead.
1251
+
1252
+ ## 4.0.0-beta.64
1253
+
1254
+ ### Patch Changes
1255
+
1256
+ - c1a6fdc: fix proxify
1257
+
1258
+ ## 4.0.0-beta.63
1259
+
1260
+ ## 4.0.0-beta.62
1261
+
1262
+ ### Patch Changes
1263
+
1264
+ - 0b21a02: fix: flatten simple allOf constraints in JSON Schema output for better codegen compatibility
1265
+
1266
+ ## 4.0.0-beta.61
1267
+
1268
+ ## 4.0.0-beta.60
1269
+
1270
+ ## 4.0.0-beta.59
1271
+
1272
+ ### Patch Changes
1273
+
1274
+ - cec026d: update packages
1275
+
1276
+ ## 4.0.0-beta.58
1277
+
1278
+ ## 4.0.0-beta.57
1279
+
1280
+ ## 4.0.0-beta.56
1281
+
1282
+ ## 4.0.0-beta.55
1283
+
1284
+ ## 4.0.0-beta.54
1285
+
1286
+ ### Patch Changes
1287
+
1288
+ - d867272: the return of `Context`
1289
+
1290
+ ## 4.0.0-beta.53
1291
+
1292
+ ### Patch Changes
1293
+
1294
+ - ee9694e: fix type issue?
1295
+
1296
+ ## 4.0.0-beta.52
1297
+
1298
+ ### Minor Changes
1299
+
1300
+ - 6252808: Add `ReadonlySetFromArray` and `ReadonlyMapFromArray` schema transformations that decode from annotated arrays to Set/Map. Update `ReadonlySet` and `ReadonlyMap` to use these internally.
1301
+
1302
+ ## 4.0.0-beta.51
1303
+
1304
+ ## 4.0.0-beta.50
1305
+
1306
+ ## 4.0.0-beta.49
1307
+
1308
+ ### Patch Changes
1309
+
1310
+ - e585c9c: fix config nested
1311
+
1312
+ ## 4.0.0-beta.48
1313
+
1314
+ ### Patch Changes
1315
+
1316
+ - 0c88f78: Remove `TaggedError` compatibility re-export, use `TaggedErrorClass` directly
1317
+
1318
+ ## 4.0.0-beta.47
1319
+
1320
+ ### Patch Changes
1321
+
1322
+ - 3365758: workaround effect error messages
1323
+
1324
+ ## 4.0.0-beta.46
1325
+
1326
+ ## 4.0.0-beta.45
1327
+
1328
+ ### Patch Changes
1329
+
1330
+ - 10b55ff: update packages
1331
+
1332
+ ## 4.0.0-beta.44
1333
+
1334
+ ### Patch Changes
1335
+
1336
+ - a37aa38: Update to effect beta 43
1337
+
1338
+ ## 4.0.0-beta.43
1339
+
1340
+ ## 4.0.0-beta.42
1341
+
1342
+ ## 4.0.0-beta.41
1343
+
1344
+ ## 4.0.0-beta.40
1345
+
1346
+ ## 4.0.0-beta.39
1347
+
1348
+ ### Patch Changes
1349
+
1350
+ - 10e90d5: fix: TaggedRequest should be an Opaque Schema Class
1351
+
1352
+ ## 4.0.0-beta.38
1353
+
1354
+ ### Patch Changes
1355
+
1356
+ - 0b3e00e: fix bug
1357
+
1358
+ ## 4.0.0-beta.37
1359
+
1360
+ ### Patch Changes
1361
+
1362
+ - 947fe20: fix input date
1363
+
1364
+ ## 4.0.0-beta.36
1365
+
1366
+ ## 4.0.0-beta.35
1367
+
1368
+ ## 4.0.0-beta.34
1369
+
1370
+ ### Patch Changes
1371
+
1372
+ - 8c645d5: update to latest effect
1373
+
1374
+ ## 4.0.0-beta.33
1375
+
1376
+ ### Patch Changes
1377
+
1378
+ - 4b95009: use Finite instead of Number
1379
+
1380
+ ## 4.0.0-beta.32
1381
+
1382
+ ### Patch Changes
1383
+
1384
+ - 01d862a: again
1385
+
1386
+ ## 4.0.0-beta.31
1387
+
1388
+ ### Patch Changes
1389
+
1390
+ - 6b6d601: fix ForceVOid
1391
+
1392
+ ## 4.0.0-beta.30
1393
+
1394
+ ### Patch Changes
1395
+
1396
+ - 5ec1f45: fix ForceVoid for real
1397
+
3
1398
  ## 4.0.0-beta.29
4
1399
 
5
1400
  ### Patch Changes