effect-app 4.0.0-beta.31 → 4.0.0-beta.310

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 (369) hide show
  1. package/CHANGELOG.md +1486 -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 +280 -0
  21. package/dist/DataDependencies.d.ts.map +1 -0
  22. package/dist/DataDependencies.js +112 -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/dependency.d.ts +6 -0
  37. package/dist/Model/Repository/dependency.d.ts.map +1 -0
  38. package/dist/Model/Repository/dependency.js +29 -0
  39. package/dist/Model/Repository/ext.d.ts +60 -0
  40. package/dist/Model/Repository/ext.d.ts.map +1 -0
  41. package/dist/Model/Repository/ext.js +124 -0
  42. package/dist/Model/Repository/internal/internal.d.ts +68 -0
  43. package/dist/Model/Repository/internal/internal.d.ts.map +1 -0
  44. package/dist/Model/Repository/internal/internal.js +537 -0
  45. package/dist/Model/Repository/legacy.d.ts +21 -0
  46. package/dist/Model/Repository/legacy.d.ts.map +1 -0
  47. package/dist/Model/Repository/legacy.js +2 -0
  48. package/dist/Model/Repository/makeRepo.d.ts +63 -0
  49. package/dist/Model/Repository/makeRepo.d.ts.map +1 -0
  50. package/dist/Model/Repository/makeRepo.js +27 -0
  51. package/dist/Model/Repository/service.d.ts +121 -0
  52. package/dist/Model/Repository/service.d.ts.map +1 -0
  53. package/dist/Model/Repository/service.js +2 -0
  54. package/dist/Model/Repository/validation.d.ts +58 -0
  55. package/dist/Model/Repository/validation.d.ts.map +1 -0
  56. package/dist/Model/Repository/validation.js +32 -0
  57. package/dist/Model/Repository.d.ts +8 -0
  58. package/dist/Model/Repository.d.ts.map +1 -0
  59. package/dist/Model/Repository.js +8 -0
  60. package/dist/Model/dsl.d.ts +33 -0
  61. package/dist/Model/dsl.d.ts.map +1 -0
  62. package/dist/Model/dsl.js +43 -0
  63. package/dist/Model/filter/filterApi.d.ts +30 -0
  64. package/dist/Model/filter/filterApi.d.ts.map +1 -0
  65. package/dist/Model/filter/filterApi.js +2 -0
  66. package/dist/Model/filter/types/errors.d.ts +29 -0
  67. package/dist/Model/filter/types/errors.d.ts.map +1 -0
  68. package/dist/Model/filter/types/errors.js +2 -0
  69. package/dist/Model/filter/types/fields.d.ts +15 -0
  70. package/dist/Model/filter/types/fields.d.ts.map +1 -0
  71. package/dist/Model/filter/types/fields.js +2 -0
  72. package/dist/Model/filter/types/path/common.d.ts +316 -0
  73. package/dist/Model/filter/types/path/common.d.ts.map +1 -0
  74. package/dist/Model/filter/types/path/common.js +2 -0
  75. package/dist/Model/filter/types/path/eager.d.ts +94 -0
  76. package/dist/Model/filter/types/path/eager.d.ts.map +1 -0
  77. package/dist/Model/filter/types/path/eager.js +36 -0
  78. package/dist/Model/filter/types/path/index.d.ts +4 -0
  79. package/dist/Model/filter/types/path/index.d.ts.map +1 -0
  80. package/dist/Model/filter/types/path/index.js +3 -0
  81. package/dist/Model/filter/types/utils.d.ts +79 -0
  82. package/dist/Model/filter/types/utils.d.ts.map +1 -0
  83. package/dist/Model/filter/types/utils.js +2 -0
  84. package/dist/Model/filter/types/validator.d.ts +30 -0
  85. package/dist/Model/filter/types/validator.d.ts.map +1 -0
  86. package/dist/Model/filter/types/validator.js +2 -0
  87. package/dist/Model/filter/types.d.ts +5 -0
  88. package/dist/Model/filter/types.d.ts.map +1 -0
  89. package/dist/Model/filter/types.js +7 -0
  90. package/dist/Model/query/dsl.d.ts +614 -0
  91. package/dist/Model/query/dsl.d.ts.map +1 -0
  92. package/dist/Model/query/dsl.js +376 -0
  93. package/dist/Model/query/new-kid-interpreter.d.ts +132 -0
  94. package/dist/Model/query/new-kid-interpreter.d.ts.map +1 -0
  95. package/dist/Model/query/new-kid-interpreter.js +361 -0
  96. package/dist/Model/query.d.ts +15 -0
  97. package/dist/Model/query.d.ts.map +1 -0
  98. package/dist/Model/query.js +3 -0
  99. package/dist/Model.d.ts +6 -0
  100. package/dist/Model.d.ts.map +1 -0
  101. package/dist/Model.js +6 -0
  102. package/dist/NonEmptySet.d.ts +3 -1
  103. package/dist/NonEmptySet.d.ts.map +1 -1
  104. package/dist/NonEmptySet.js +2 -2
  105. package/dist/Option.d.ts +1 -0
  106. package/dist/Option.d.ts.map +1 -1
  107. package/dist/Option.js +3 -1
  108. package/dist/Pure.d.ts +7 -5
  109. package/dist/Pure.d.ts.map +1 -1
  110. package/dist/Pure.js +7 -4
  111. package/dist/QueueMaker.d.ts +11 -0
  112. package/dist/QueueMaker.d.ts.map +1 -0
  113. package/dist/QueueMaker.js +11 -0
  114. package/dist/RequestContext.d.ts +87 -0
  115. package/dist/RequestContext.d.ts.map +1 -0
  116. package/dist/RequestContext.js +45 -0
  117. package/dist/RequestScopedDependencies.d.ts +21 -0
  118. package/dist/RequestScopedDependencies.d.ts.map +1 -0
  119. package/dist/RequestScopedDependencies.js +16 -0
  120. package/dist/Schema/Class.d.ts +188 -19
  121. package/dist/Schema/Class.d.ts.map +1 -1
  122. package/dist/Schema/Class.js +260 -17
  123. package/dist/Schema/FastCheck.d.ts.map +1 -1
  124. package/dist/Schema/SchemaParser.d.ts +5 -0
  125. package/dist/Schema/SchemaParser.d.ts.map +1 -0
  126. package/dist/Schema/SchemaParser.js +6 -0
  127. package/dist/Schema/SpecialJsonSchema.d.ts +34 -0
  128. package/dist/Schema/SpecialJsonSchema.d.ts.map +1 -0
  129. package/dist/Schema/SpecialJsonSchema.js +118 -0
  130. package/dist/Schema/SpecialOpenApi.d.ts +32 -0
  131. package/dist/Schema/SpecialOpenApi.d.ts.map +1 -0
  132. package/dist/Schema/SpecialOpenApi.js +123 -0
  133. package/dist/Schema/brand.d.ts +4 -2
  134. package/dist/Schema/brand.d.ts.map +1 -1
  135. package/dist/Schema/brand.js +3 -1
  136. package/dist/Schema/email.d.ts.map +1 -1
  137. package/dist/Schema/email.js +7 -4
  138. package/dist/Schema/ext.d.ts +374 -56
  139. package/dist/Schema/ext.d.ts.map +1 -1
  140. package/dist/Schema/ext.js +393 -54
  141. package/dist/Schema/moreStrings.d.ts +82 -36
  142. package/dist/Schema/moreStrings.d.ts.map +1 -1
  143. package/dist/Schema/moreStrings.js +49 -42
  144. package/dist/Schema/numbers.d.ts +34 -21
  145. package/dist/Schema/numbers.d.ts.map +1 -1
  146. package/dist/Schema/numbers.js +55 -12
  147. package/dist/Schema/phoneNumber.d.ts.map +1 -1
  148. package/dist/Schema/phoneNumber.js +6 -3
  149. package/dist/Schema/schema.d.ts +1 -1
  150. package/dist/Schema/schema.d.ts.map +1 -1
  151. package/dist/Schema/schema.js +2 -2
  152. package/dist/Schema/strings.d.ts +18 -4
  153. package/dist/Schema/strings.d.ts.map +1 -1
  154. package/dist/Schema/strings.js +1 -5
  155. package/dist/Schema.d.ts +222 -8
  156. package/dist/Schema.d.ts.map +1 -1
  157. package/dist/Schema.js +191 -12
  158. package/dist/SchemaAST.d.ts +2 -0
  159. package/dist/SchemaAST.d.ts.map +1 -0
  160. package/dist/SchemaAST.js +2 -0
  161. package/dist/Set.d.ts +4 -1
  162. package/dist/Set.d.ts.map +1 -1
  163. package/dist/Set.js +3 -2
  164. package/dist/Store.d.ts +163 -0
  165. package/dist/Store.d.ts.map +1 -0
  166. package/dist/Store.js +113 -0
  167. package/dist/_ext/Array.d.ts +1 -1
  168. package/dist/_ext/Array.d.ts.map +1 -1
  169. package/dist/_ext/Array.js +4 -2
  170. package/dist/_ext/misc.d.ts +4 -1
  171. package/dist/_ext/misc.d.ts.map +1 -1
  172. package/dist/_ext/misc.js +4 -2
  173. package/dist/_ext/ord.ext.d.ts +2 -1
  174. package/dist/_ext/ord.ext.d.ts.map +1 -1
  175. package/dist/_ext/ord.ext.js +2 -2
  176. package/dist/builtin.d.ts +2 -14
  177. package/dist/builtin.d.ts.map +1 -1
  178. package/dist/builtin.js +1 -1
  179. package/dist/client/InvalidationKeys.d.ts +30 -0
  180. package/dist/client/InvalidationKeys.d.ts.map +1 -0
  181. package/dist/client/InvalidationKeys.js +37 -0
  182. package/dist/client/apiClientFactory.d.ts +19 -31
  183. package/dist/client/apiClientFactory.d.ts.map +1 -1
  184. package/dist/client/apiClientFactory.js +155 -35
  185. package/dist/client/clientFor.d.ts +54 -18
  186. package/dist/client/clientFor.d.ts.map +1 -1
  187. package/dist/client/clientFor.js +9 -1
  188. package/dist/client/errors.d.ts +82 -27
  189. package/dist/client/errors.d.ts.map +1 -1
  190. package/dist/client/errors.js +75 -19
  191. package/dist/client/makeClient.d.ts +490 -34
  192. package/dist/client/makeClient.d.ts.map +1 -1
  193. package/dist/client/makeClient.js +62 -36
  194. package/dist/client.d.ts +2 -0
  195. package/dist/client.d.ts.map +1 -1
  196. package/dist/client.js +3 -1
  197. package/dist/faker.d.ts.map +1 -1
  198. package/dist/http/Request.d.ts +1 -1
  199. package/dist/http/Request.d.ts.map +1 -1
  200. package/dist/http/Request.js +2 -2
  201. package/dist/ids.d.ts +42 -14
  202. package/dist/ids.d.ts.map +1 -1
  203. package/dist/ids.js +30 -5
  204. package/dist/index.d.ts +6 -7
  205. package/dist/index.d.ts.map +1 -1
  206. package/dist/index.js +8 -8
  207. package/dist/middleware.d.ts +13 -7
  208. package/dist/middleware.d.ts.map +1 -1
  209. package/dist/middleware.js +14 -8
  210. package/dist/rpc/Invalidation.d.ts +2276 -0
  211. package/dist/rpc/Invalidation.d.ts.map +1 -0
  212. package/dist/rpc/Invalidation.js +178 -0
  213. package/dist/rpc/MiddlewareMaker.d.ts +11 -7
  214. package/dist/rpc/MiddlewareMaker.d.ts.map +1 -1
  215. package/dist/rpc/MiddlewareMaker.js +59 -38
  216. package/dist/rpc/RpcContextMap.d.ts +3 -3
  217. package/dist/rpc/RpcContextMap.d.ts.map +1 -1
  218. package/dist/rpc/RpcContextMap.js +4 -4
  219. package/dist/rpc/RpcMiddleware.d.ts +14 -10
  220. package/dist/rpc/RpcMiddleware.d.ts.map +1 -1
  221. package/dist/rpc/RpcMiddleware.js +1 -1
  222. package/dist/rpc.d.ts +1 -1
  223. package/dist/rpc.d.ts.map +1 -1
  224. package/dist/rpc.js +2 -2
  225. package/dist/runtime.d.ts +19 -0
  226. package/dist/runtime.d.ts.map +1 -0
  227. package/dist/runtime.js +40 -0
  228. package/dist/setupRequest.d.ts +20 -0
  229. package/dist/setupRequest.d.ts.map +1 -0
  230. package/dist/setupRequest.js +72 -0
  231. package/dist/toast.d.ts +51 -0
  232. package/dist/toast.d.ts.map +1 -0
  233. package/dist/toast.js +34 -0
  234. package/dist/transform.d.ts +1 -1
  235. package/dist/transform.d.ts.map +1 -1
  236. package/dist/transform.js +4 -5
  237. package/dist/utils/effectify.d.ts +1 -1
  238. package/dist/utils/effectify.d.ts.map +1 -1
  239. package/dist/utils/effectify.js +2 -2
  240. package/dist/utils/extend.d.ts.map +1 -1
  241. package/dist/utils/gen.d.ts +4 -4
  242. package/dist/utils/gen.d.ts.map +1 -1
  243. package/dist/utils/logLevel.d.ts +2 -2
  244. package/dist/utils/logLevel.d.ts.map +1 -1
  245. package/dist/utils/logger.d.ts +4 -3
  246. package/dist/utils/logger.d.ts.map +1 -1
  247. package/dist/utils/logger.js +4 -4
  248. package/dist/utils.d.ts +34 -39
  249. package/dist/utils.d.ts.map +1 -1
  250. package/dist/utils.js +33 -37
  251. package/dist/validation/validators.d.ts.map +1 -1
  252. package/dist/validation.d.ts.map +1 -1
  253. package/dist/withToast.d.ts +30 -0
  254. package/dist/withToast.d.ts.map +1 -0
  255. package/dist/withToast.js +64 -0
  256. package/package.json +27 -251
  257. package/src/Array.ts +5 -5
  258. package/src/Chunk.ts +3 -3
  259. package/src/Config/SecretURL.ts +6 -3
  260. package/src/Config/internal/configSecretURL.ts +2 -2
  261. package/src/Config.ts +7 -0
  262. package/src/ConfigProvider.ts +5 -0
  263. package/src/{ServiceMap.ts → Context.ts} +56 -63
  264. package/src/DataDependencies.ts +171 -0
  265. package/src/Effect.ts +14 -16
  266. package/src/Emailer.ts +51 -0
  267. package/src/Inputify.type.ts +1 -1
  268. package/src/Layer.ts +11 -7
  269. package/src/Model/Repository/Registry.ts +35 -0
  270. package/src/Model/Repository/dependency.ts +32 -0
  271. package/src/Model/Repository/ext.ts +374 -0
  272. package/src/Model/Repository/internal/internal.ts +905 -0
  273. package/src/Model/Repository/legacy.ts +29 -0
  274. package/src/Model/Repository/makeRepo.ts +156 -0
  275. package/src/Model/Repository/service.ts +676 -0
  276. package/src/Model/Repository/validation.ts +31 -0
  277. package/src/Model/Repository.ts +7 -0
  278. package/src/Model/dsl.ts +129 -0
  279. package/src/Model/filter/filterApi.ts +60 -0
  280. package/src/Model/filter/types/errors.ts +47 -0
  281. package/src/Model/filter/types/fields.ts +50 -0
  282. package/src/Model/filter/types/path/common.ts +404 -0
  283. package/src/Model/filter/types/path/eager.ts +329 -0
  284. package/src/Model/filter/types/path/index.ts +4 -0
  285. package/src/Model/filter/types/utils.ts +128 -0
  286. package/src/Model/filter/types/validator.ts +46 -0
  287. package/src/Model/filter/types.ts +6 -0
  288. package/src/Model/query/dsl.ts +2911 -0
  289. package/src/Model/query/new-kid-interpreter.ts +526 -0
  290. package/src/Model/query.ts +13 -0
  291. package/src/Model.ts +5 -0
  292. package/src/NonEmptySet.ts +6 -4
  293. package/src/Option.ts +2 -0
  294. package/src/Pure.ts +10 -7
  295. package/src/QueueMaker.ts +11 -0
  296. package/src/RequestContext.ts +48 -0
  297. package/src/RequestScopedDependencies.ts +45 -0
  298. package/src/Schema/Class.ts +633 -59
  299. package/src/Schema/SchemaParser.ts +12 -0
  300. package/src/Schema/SpecialJsonSchema.ts +139 -0
  301. package/src/Schema/SpecialOpenApi.ts +130 -0
  302. package/src/Schema/brand.ts +22 -2
  303. package/src/Schema/email.ts +9 -4
  304. package/src/Schema/ext.ts +517 -93
  305. package/src/Schema/moreStrings.ts +147 -68
  306. package/src/Schema/numbers.ts +97 -28
  307. package/src/Schema/phoneNumber.ts +9 -5
  308. package/src/Schema/schema.ts +1 -1
  309. package/src/Schema/strings.ts +23 -14
  310. package/src/Schema.ts +397 -26
  311. package/src/SchemaAST.ts +1 -0
  312. package/src/Set.ts +6 -2
  313. package/src/Store.ts +273 -0
  314. package/src/_ext/Array.ts +4 -2
  315. package/src/_ext/misc.ts +4 -1
  316. package/src/_ext/ord.ext.ts +2 -1
  317. package/src/builtin-json.d.ts +24 -0
  318. package/src/builtin.ts +16 -21
  319. package/src/client/InvalidationKeys.ts +55 -0
  320. package/src/client/apiClientFactory.ts +299 -134
  321. package/src/client/clientFor.ts +107 -34
  322. package/src/client/errors.ts +100 -29
  323. package/src/client/makeClient.ts +593 -92
  324. package/src/client.ts +6 -4
  325. package/src/http/Request.ts +3 -3
  326. package/src/http.ts +1 -1
  327. package/src/ids.ts +33 -6
  328. package/src/index.ts +20 -23
  329. package/src/middleware.ts +13 -9
  330. package/src/rpc/Invalidation.ts +278 -0
  331. package/src/rpc/MiddlewareMaker.ts +88 -80
  332. package/src/rpc/README.md +2 -2
  333. package/src/rpc/RpcContextMap.ts +7 -6
  334. package/src/rpc/RpcMiddleware.ts +19 -13
  335. package/src/rpc.ts +4 -4
  336. package/src/runtime.ts +56 -0
  337. package/src/setupRequest.ts +138 -0
  338. package/src/toast.ts +54 -0
  339. package/src/transform.ts +4 -4
  340. package/src/utils/effectify.ts +1 -1
  341. package/src/utils/gen.ts +8 -8
  342. package/src/utils/logLevel.ts +1 -1
  343. package/src/utils/logger.ts +4 -3
  344. package/src/utils.ts +85 -158
  345. package/src/validation.ts +2 -2
  346. package/src/withToast.ts +133 -0
  347. package/test/dist/rpc.test.d.ts.map +1 -1
  348. package/test/dist/rpcMiddlewareContext.test.d.ts.map +1 -0
  349. package/test/dist/secretURL.test.d.ts.map +1 -0
  350. package/test/dist/special.test.d.ts.map +1 -0
  351. package/test/moreStrings.test.ts +1 -1
  352. package/test/rpc.test.ts +42 -13
  353. package/test/rpcMiddlewareContext.test.ts +63 -0
  354. package/test/schema.test.ts +504 -30
  355. package/test/secretURL.test.ts +160 -0
  356. package/test/special.test.ts +1258 -0
  357. package/test/utils.test.ts +7 -7
  358. package/tsconfig.base.json +6 -5
  359. package/tsconfig.json +9 -2
  360. package/tsconfig.src.json +29 -29
  361. package/tsconfig.test.json +2 -2
  362. package/dist/Operations.d.ts +0 -123
  363. package/dist/Operations.d.ts.map +0 -1
  364. package/dist/Operations.js +0 -29
  365. package/dist/ServiceMap.d.ts.map +0 -1
  366. package/dist/ServiceMap.js +0 -91
  367. package/eslint.config.mjs +0 -26
  368. package/src/Operations.ts +0 -55
  369. package/tsconfig.json.bak +0 -12
package/CHANGELOG.md CHANGED
@@ -1,5 +1,1491 @@
1
1
  # @effect-app/prelude
2
2
 
3
+ ## 4.0.0-beta.310
4
+
5
+ ## 4.0.0-beta.309
6
+
7
+ ### Patch Changes
8
+
9
+ - 99c43c4: Derive scoped dependency reads and writes from typed query filters and annotated model relationships, including previous aliases.
10
+
11
+ ## 4.0.0-beta.308
12
+
13
+ ## 4.0.0-beta.307
14
+
15
+ ### Patch Changes
16
+
17
+ - 40585ca: Keep tag-aware `ProjectableFromDomain` for `projectComputed` only; restore loose key-presence guard for `project()` so view DTOs with reshaped fields keep typechecking.
18
+ - ad0ede6: Keep tag-aware `ProjectableGuard` on both `project()` and `projectComputed` (no loose key-only paper-over).
19
+
20
+ Hardening:
21
+
22
+ - single-literal tags allow dual same-tag domain variants (KeysOfUnion of matched members)
23
+ - multi-tag / string tags still require keys on every matched member
24
+ - optional projection/domain keys checked by key presence only (not optional-assignability)
25
+
26
+ Call sites must project domain-owned fields per tagged state.
27
+
28
+ ## 4.0.0-beta.306
29
+
30
+ ### Patch Changes
31
+
32
+ - 0fe925d: Tag-aware `ProjectableFromDomain` for `projectComputed`: projection Encoded fields must exist on the matching domain tagged state (or be computed). Prevents Overview.List SchemaErrors when cancel states omit workflow lock fields like `activeRequest`.
33
+
34
+ ## 4.0.0-beta.305
35
+
36
+ ### Minor Changes
37
+
38
+ - 8bd9a11: Support ID-scoped signal dependencies and additive repository dependencies derived from previous and current entities.
39
+
40
+ ## 4.0.0-beta.304
41
+
42
+ ### Patch Changes
43
+
44
+ - 412f08b: Include changed entity IDs in repository data dependencies, with explicit query scopes and configurable write aliases, while retaining coarse collection dependencies.
45
+
46
+ ## 4.0.0-beta.303
47
+
48
+ ### Patch Changes
49
+
50
+ - 33b0544: Replace repository codec child spans with parent-span timing attributes and bounded metrics, and record database operation timing for instrumented stores.
51
+
52
+ ## 4.0.0-beta.302
53
+
54
+ ### Patch Changes
55
+
56
+ - c0e5a1b: Add `Schema.dropConstructorDefault`, a `Struct.Lambda` that clears a field's `withConstructorDefault`. Compose it with `Struct.omit`/`Struct.map` when deriving a partial-update schema from a "create" schema, so omitted fields' constructor defaults don't resurrect themselves in `.make(...)` output.
57
+
58
+ Also, `makeExactOptional` now drops constructor defaults automatically, matching this behavior.
59
+
60
+ ## 4.0.0-beta.301
61
+
62
+ ## 4.0.0-beta.300
63
+
64
+ ## 4.0.0-beta.299
65
+
66
+ ## 4.0.0-beta.298
67
+
68
+ ### Patch Changes
69
+
70
+ - 08d092c: Update Atom query caches in memory and accumulate stream invalidations so live events do not cause repeated RPC refetches.
71
+
72
+ ## 4.0.0-beta.297
73
+
74
+ ### Patch Changes
75
+
76
+ - 30c512d: fix rpc middleware context type issue
77
+
78
+ ## 4.0.0-beta.296
79
+
80
+ ### Patch Changes
81
+
82
+ - e0c4835: revert bs
83
+
84
+ ## 4.0.0-beta.295
85
+
86
+ ### Patch Changes
87
+
88
+ - eb06b32: improve root union select
89
+
90
+ ## 4.0.0-beta.294
91
+
92
+ ### Patch Changes
93
+
94
+ - a211c12: Fix projection schema typing for union members and computed projections.
95
+
96
+ ## 4.0.0-beta.293
97
+
98
+ ### Patch Changes
99
+
100
+ - d1c15d3: Tighten projectComputed projection schema typing against encoded repo fields and computed output types.
101
+
102
+ ## 4.0.0-beta.292
103
+
104
+ ## 4.0.0-beta.291
105
+
106
+ ## 4.0.0-beta.290
107
+
108
+ ### Patch Changes
109
+
110
+ - dc07df5: Fix nested DTO subset projection inference for tagged unions.
111
+
112
+ ## 4.0.0-beta.289
113
+
114
+ ### Patch Changes
115
+
116
+ - a1b59bc: Allow query projections to use a repository's full union schema.
117
+
118
+ ## 4.0.0-beta.288
119
+
120
+ ### Minor Changes
121
+
122
+ - aeb17bc: Add `disableQueryInvalidation` flag to Command config for background saves.
123
+
124
+ Set `disableQueryInvalidation: true` in a `Req.Command` config (3rd argument)
125
+ to suppress all client-side query invalidation for that command — client
126
+ `invalidatesQueries` callbacks, server-returned `metadata.invalidateQueries`,
127
+ and repository-derived write-dependency matching are all skipped. Use for
128
+ background saves (e.g. debounced auto-save) whose writes should not trigger
129
+ query refetches.
130
+
131
+ - `InvalidationConfig` gains `disableQueryInvalidation?: boolean`.
132
+ - `RequestHandlerWithInput` gains `disableQueryInvalidation?: boolean`,
133
+ propagated from `Request.config` by `ApiClientFactory.makeFor`.
134
+ - `invalidateCache` early-returns `Effect.void` when the flag is set,
135
+ applying to both regular and stream mutations.
136
+
137
+ ## 4.0.0-beta.287
138
+
139
+ ### Patch Changes
140
+
141
+ - 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.
142
+
143
+ ## 4.0.0-beta.286
144
+
145
+ ### Patch Changes
146
+
147
+ - 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.
148
+
149
+ ## 4.0.0-beta.285
150
+
151
+ ### Patch Changes
152
+
153
+ - 7bd8234: Use set-backed data dependencies and provide request-scoped dependency services through a shared root-checked helper.
154
+
155
+ ## 4.0.0-beta.284
156
+
157
+ ## 4.0.0-beta.283
158
+
159
+ ### Minor Changes
160
+
161
+ - 0054611: Derive query invalidation from repository read/write dependencies and propagate dependency metadata through RPC clients.
162
+
163
+ ### Patch Changes
164
+
165
+ - 0054611: Stream RPC: drain read/write data-dependencies per emitted value chunk instead of sending the
166
+ cumulative set on every metadata chunk. Each metadata chunk now carries only the delta recorded
167
+ since the last chunk, the bucket is cleared for the next segment, and the terminal "done"/"error"
168
+ chunks drain the remainder. The emit condition also broadens to include non-empty reads, so stream
169
+ queries forward their read-dependencies mid-stream too. The client already accumulates deltas into
170
+ its per-call recorder, so no FE change is required.
171
+
172
+ ## 4.0.0-beta.282
173
+
174
+ ### Minor Changes
175
+
176
+ - b2df3fa: Align `Schema.Void` with TypeScript `void` return-value semantics (effect-smol PR #2475 / `b7d46ab`).
177
+
178
+ `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.
179
+
180
+ - New `effect-app/SchemaAST` module; internal `SchemaAST` imports across the libs now route through it.
181
+ - Removed `ForceVoid` from `effect-app/client/makeClient` — use `S.Void` directly, which now carries this behaviour.
182
+ - `S.Void_` remains available as effect's original (`undefined`-only) Void.
183
+
184
+ ### Patch Changes
185
+
186
+ - 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.
187
+ - 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.
188
+
189
+ ## 4.0.0-beta.281
190
+
191
+ ### Patch Changes
192
+
193
+ - 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.
194
+
195
+ ## 4.0.0-beta.280
196
+
197
+ ### Patch Changes
198
+
199
+ - 3eda52e: Fix `StructFacade` to extend effect-app's own `Struct`, not `effect/Schema`'s.
200
+
201
+ `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`).
202
+
203
+ ## 4.0.0-beta.279
204
+
205
+ ### Minor Changes
206
+
207
+ - 5f9cd6a: Schema/Class facades: add `StructFacade` and carry `identifier` on the class facades.
208
+
209
+ - 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.
210
+ - 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`.
211
+
212
+ ## 4.0.0-beta.278
213
+
214
+ ### Patch Changes
215
+
216
+ - a354345: Move release tsconfig flattening from publish to pack lifecycle so package configs are restored before registry upload/auth can fail.
217
+ - a69da09: Publish from generated staging directories so release-only files are created outside the source package tree.
218
+
219
+ ## 4.0.0-beta.277
220
+
221
+ ## 4.0.0-beta.276
222
+
223
+ ### Patch Changes
224
+
225
+ - 32f05c8: Remove unused dependency declarations from package manifests.
226
+
227
+ ## 4.0.0-beta.275
228
+
229
+ ## 4.0.0-beta.274
230
+
231
+ ## 4.0.0-beta.273
232
+
233
+ ### Patch Changes
234
+
235
+ - 664e83d: Add Atom-native Vue query APIs, stream query pull atoms, and a TanStack-backed legacy query engine toggle.
236
+ - 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.
237
+
238
+ ## 4.0.0-beta.272
239
+
240
+ ### Patch Changes
241
+
242
+ - 21ac90a: Unify generated model facades on `OpaqueFacade` and support class facades through encoded-key schema transforms.
243
+
244
+ ## 4.0.0-beta.271
245
+
246
+ ### Patch Changes
247
+
248
+ - 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.
249
+
250
+ ## 4.0.0-beta.270
251
+
252
+ ### Patch Changes
253
+
254
+ - 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`).
255
+
256
+ ## 4.0.0-beta.269
257
+
258
+ ### Patch Changes
259
+
260
+ - 50b022e: Harden model facades and add `OpaqueErrorFacadeClass`.
261
+
262
+ - `OpaqueErrorFacadeClass`: facade `TaggedErrorClass`/`ErrorClass` while keeping
263
+ `Cause.YieldableError` on the constructed instance (so `yield* new Err()`,
264
+ `Effect.fail`, and `instanceof` keep working through the facade).
265
+ - `OpaqueFacadeInput` relaxed to require only the codec service channels, so
266
+ transformed schemas (`.pipe(encodeKeys/annotate/filter/...)`) can be facaded;
267
+ `fields`/`copy`/`mapFields` flow through `OpaqueFacadeStatics` when present, and
268
+ `to` is carried so models that compose via `X.to.fields` keep working.
269
+ - Dropped the wide `fields`/`mapFields` overrides on the facade interfaces so the
270
+ precise statics win (keeps `Q.project(X.mapFields(...))` typed).
271
+ - Codegen (`eslint-codegen-model`): resolver prefers the private `_X` over the
272
+ self-referential facade; converges static service types in one run; per-model
273
+ classification (facade Opaque models, leave `Class` standard in mixed files);
274
+ `Make` emitted as `type X = {...} | void` when the make-input is voidable;
275
+ `readonly`-prefixed array/tuple elements parenthesized; value self-references in
276
+ the moved `_X` body rewritten to `_X`; instance getters surface on `Self`.
277
+
278
+ - 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.
279
+
280
+ ## 4.0.0-beta.268
281
+
282
+ ### Patch Changes
283
+
284
+ - acfdc9e: Point development package exports at TypeScript sources while keeping published exports on compiled dist files.
285
+
286
+ ## 4.0.0-beta.267
287
+
288
+ ### Minor Changes
289
+
290
+ - 23a7167: Add a typed, serializable `DatabaseError { message, transient, cause }` for store adapter failures.
291
+
292
+ 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`.
293
+
294
+ ## 4.0.0-beta.266
295
+
296
+ ### Patch Changes
297
+
298
+ - bbaa67e: Fix `TS2589: Type instantiation is excessively deep and possibly infinite` when querying models that embed `Schema.Defect()` (or any field encoded as `Json`).
299
+
300
+ 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()`).
301
+
302
+ `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.
303
+
304
+ ## 4.0.0-beta.265
305
+
306
+ ### Patch Changes
307
+
308
+ - 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`.
309
+
310
+ Adapt the infra workflow engines to beta.83 API changes:
311
+
312
+ - `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`).
313
+ - `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).
314
+
315
+ ## 4.0.0-beta.264
316
+
317
+ ## 4.0.0-beta.263
318
+
319
+ ## 4.0.0-beta.262
320
+
321
+ ### Patch Changes
322
+
323
+ - 55c6572: update packages
324
+
325
+ ## 4.0.0-beta.261
326
+
327
+ ## 4.0.0-beta.260
328
+
329
+ ### Patch Changes
330
+
331
+ - bogus
332
+
333
+ ## 4.0.0-beta.259
334
+
335
+ ## 4.0.0-beta.258
336
+
337
+ ## 4.0.0-beta.257
338
+
339
+ ### Minor Changes
340
+
341
+ - e71eb78: Tighten typing of query DSL builders so field/path parameters are constrained to actual field paths instead of bare `string`:
342
+
343
+ - `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>`.
344
+ - `relation(path).expr` exposes a scope-bound math-expression builder so `expr.field(...)` inside `sumExpr`/`sumExprBy`/`sumExprNormalized` is typed against the relation element.
345
+ - Top-level `expr.field` accepts an optional generic for opt-in tightening (`expr.field<E>("x")`).
346
+ - `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.
347
+ - `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.
348
+ - `agg<Row>()` factory remains as an escape hatch when the builder is built outside a pipe.
349
+
350
+ ## 4.0.0-beta.256
351
+
352
+ ### Patch Changes
353
+
354
+ - 347af48: Fix schema interface widening regression introduced in 4.0.0-beta.255 (changeset `olive-onions-lose`).
355
+
356
+ 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 | ...>`.
357
+
358
+ 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.
359
+
360
+ Affected: `NonEmptyString*`, `Min3String255`, `StringId`, `Url`, `PositiveInt`, `NonNegativeInt`, `Int`, `PositiveNumber`, `NonNegativeNumber`, and `brandedStringId`.
361
+
362
+ ## 4.0.0-beta.255
363
+
364
+ ### Patch Changes
365
+
366
+ - 52a31dd: Reduce schema type complexity by exposing explicit interfaces for branded string and number schemas.
367
+
368
+ 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.
369
+
370
+ No runtime or API surface changes; `brandedStringId` now returns `BrandedStringIdSchema<Id>` (same shape as before, just named).
371
+
372
+ ## 4.0.0-beta.254
373
+
374
+ ### Patch Changes
375
+
376
+ - 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.
377
+
378
+ ## 4.0.0-beta.253
379
+
380
+ ### Patch Changes
381
+
382
+ - 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`.
383
+
384
+ ## 4.0.0-beta.252
385
+
386
+ ### Patch Changes
387
+
388
+ - a788432: fix circular
389
+
390
+ ## 4.0.0-beta.251
391
+
392
+ ### Patch Changes
393
+
394
+ - 1c858d3: fix request scope problems
395
+
396
+ ## 4.0.0-beta.250
397
+
398
+ ### Patch Changes
399
+
400
+ - 3053760: fix: restore context map container behavior
401
+
402
+ ## 4.0.0-beta.249
403
+
404
+ ### Minor Changes
405
+
406
+ - 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.
407
+
408
+ `@effect-app/infra` no longer re-exports moved core modules such as `./Model`, `./Emailer/service`, `./QueueMaker/service`, `./Store/service`, `./adapters/*`, or `./api/*` entrypoints.
409
+
410
+ ## 4.0.0-beta.248
411
+
412
+ ### Patch Changes
413
+
414
+ - 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`).
415
+
416
+ 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*`).
417
+
418
+ ## 4.0.0-beta.247
419
+
420
+ ### Patch Changes
421
+
422
+ - 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.
423
+
424
+ ## 4.0.0-beta.246
425
+
426
+ ## 4.0.0-beta.245
427
+
428
+ ## 4.0.0-beta.244
429
+
430
+ ### Patch Changes
431
+
432
+ - b8b9080: update packages
433
+
434
+ ## 4.0.0-beta.243
435
+
436
+ ## 4.0.0-beta.242
437
+
438
+ ### Patch Changes
439
+
440
+ - da83c1f: Align `InvalidationEntry` (vue) with `InvalidateQueryInstruction` (effect-app).
441
+
442
+ `InvalidateQueryInstruction` is now parametrized over `Filters` / `Options`
443
+ (defaulting to `Record<string, unknown>` so the core stays framework-agnostic).
444
+ `@effect-app/vue` exposes `InvalidationEntry` as a narrowed alias substituting
445
+ `@tanstack/vue-query`'s `InvalidateQueryFilters` and `InvalidateOptions`. Single
446
+ source of truth for the union shape across both packages.
447
+
448
+ - 21017d5: `InvalidationSet.add` accepts arrays and is exposed as a static shortcut.
449
+
450
+ - Single item: `yield* InvalidationSet.add(UserRsc.GetMe)`
451
+ - Batch: `yield* InvalidationSet.add([UserRsc.GetMe, ["custom", "key"]])`
452
+ - Skips the `.use(_ => _.add(...))` boilerplate.
453
+
454
+ Existing `InvalidationSet.use(_ => _.add(...))` form still works; the service
455
+ identity is preserved via `Object.assign` so `Effect.provideService` and
456
+ `.use` / `.useSync` continue to operate on the same `Context.Reference`.
457
+
458
+ - 2495ace: `InvalidationSet.add` accepts RPC handler shorthand.
459
+
460
+ Server-side handlers may now pass an RPC handler object directly to
461
+ `InvalidationSet.add`; its query key is derived via `makeQueryKey`. Raw
462
+ `InvalidationKey` arrays continue to work.
463
+
464
+ ```ts
465
+ // before
466
+ yield *
467
+ Invalidation.InvalidationSet.use((_) => _.add(makeQueryKey(UserRsc.GetMe)));
468
+
469
+ // after
470
+ yield * Invalidation.InvalidationSet.use((_) => _.add(UserRsc.GetMe));
471
+ ```
472
+
473
+ ## 4.0.0-beta.241
474
+
475
+ ### Patch Changes
476
+
477
+ - b035b1c: Isolate per-call `Effect.provide(layers)` / `Stream.provide(layers)` in the
478
+ RPC api client factory via `{ local: true }`.
479
+
480
+ `layers` here is built per RPC invocation from a caller-supplied
481
+ `requestLevelLayers` plus a fresh `RequestName` layer. Today both pieces are
482
+ stateless, so no observable bug — but `Effect.provide(layer)` without
483
+ `local: true` resolves its `MemoMap` from the ambient fiber context, and on a
484
+ long-lived runtime (browser app, server fiber) any stateful layer slipped into
485
+ `requestLevelLayers` by a caller would be memoized and shared across every
486
+ subsequent RPC call. `{ local: true }` builds the layer fresh per call and
487
+ skips the ambient MemoMap entirely.
488
+
489
+ Also documents the rule in `AGENTS.md` ("Per-request `Effect.provide(layer)`
490
+ must isolate its MemoMap") so the pattern is enforceable in code review and
491
+ caught early. Companion to the `provideOnRequestScope` MemoMap fix in
492
+ `@effect-app/infra`.
493
+
494
+ ## 4.0.0-beta.240
495
+
496
+ ## 4.0.0-beta.239
497
+
498
+ ## 4.0.0-beta.238
499
+
500
+ ## 4.0.0-beta.237
501
+
502
+ ## 4.0.0-beta.236
503
+
504
+ ## 4.0.0-beta.235
505
+
506
+ ### Patch Changes
507
+
508
+ - ba4bdc3: improve: support .ts extension
509
+ - 6cfd83d: update effect to latest beta
510
+
511
+ ## 4.0.0-beta.234
512
+
513
+ ## 4.0.0-beta.233
514
+
515
+ ### Patch Changes
516
+
517
+ - 57a1862: Update to effect 4.0.0-beta.67. Switch deps from `pkg.pr.new` snapshot back to npm beta tag.
518
+
519
+ ## 4.0.0-beta.232
520
+
521
+ ### Patch Changes
522
+
523
+ - 0263827: Fix `Date` / `DateValid` default helpers to pipe from their own schema.
524
+
525
+ `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`).
526
+
527
+ - 0263827: Distinguish `Date` and `DateValid` in JSON Schema output.
528
+
529
+ - `Date` now emits identifier `DateOrInvalid` with description noting the value may be invalid.
530
+ - `DateValid` now emits its own annotated string (identifier `Date`) with description stating a valid ISO 8601 date is required.
531
+
532
+ - 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).
533
+
534
+ ## 4.0.0-beta.231
535
+
536
+ ### Patch Changes
537
+
538
+ - 7ca66ce: Update to effect 4.0.0-beta.66. Remove `Yieldable` and `asEffect()` (service tags are now `Effect` directly).
539
+
540
+ ## 4.0.0-beta.230
541
+
542
+ ## 4.0.0-beta.229
543
+
544
+ ## 4.0.0-beta.228
545
+
546
+ ## 4.0.0-beta.227
547
+
548
+ ## 4.0.0-beta.226
549
+
550
+ ## 4.0.0-beta.225
551
+
552
+ ## 4.0.0-beta.224
553
+
554
+ ## 4.0.0-beta.223
555
+
556
+ ## 4.0.0-beta.222
557
+
558
+ ## 4.0.0-beta.221
559
+
560
+ ### Patch Changes
561
+
562
+ - 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"`).
563
+
564
+ ## 4.0.0-beta.220
565
+
566
+ ## 4.0.0-beta.219
567
+
568
+ ### Patch Changes
569
+
570
+ - d738811: remove double prefix
571
+
572
+ ## 4.0.0-beta.218
573
+
574
+ ## 4.0.0-beta.217
575
+
576
+ ### Patch Changes
577
+
578
+ - 0e824ef: add missing Brand
579
+
580
+ ## 4.0.0-beta.216
581
+
582
+ ## 4.0.0-beta.215
583
+
584
+ ## 4.0.0-beta.214
585
+
586
+ ## 4.0.0-beta.213
587
+
588
+ ## 4.0.0-beta.212
589
+
590
+ ### Patch Changes
591
+
592
+ - 8792221: Rename `withDefault` schema extensions to `withConstructorDefault` for clarity.
593
+
594
+ 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.
595
+
596
+ 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.
597
+
598
+ ## 4.0.0-beta.211
599
+
600
+ ## 4.0.0-beta.210
601
+
602
+ ## 4.0.0-beta.209
603
+
604
+ ### Patch Changes
605
+
606
+ - c991be1: update packages
607
+ - 3bae238: Remove lodash type imports from utils.ts, replacing with native TypeScript equivalents.
608
+
609
+ ## 4.0.0-beta.208
610
+
611
+ ## 4.0.0-beta.207
612
+
613
+ ### Patch Changes
614
+
615
+ - 8fffc3c: cleanup
616
+
617
+ ## 4.0.0-beta.206
618
+
619
+ ### Patch Changes
620
+
621
+ - 54bfc59: Require middleware to flow through `makeRpcClient` and the live layer through `makeRouter`.
622
+
623
+ ### `makeRpcClient(middleware, generalErrors?)`
624
+
625
+ 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.
626
+
627
+ **Migration**:
628
+
629
+ ```diff
630
+ -makeRpcClient(RequestContextMap, undefined, AppMiddleware)
631
+ +makeRpcClient(AppMiddleware)
632
+ ```
633
+
634
+ For tests/clients without a real middleware, build a minimal stub (`{ requestContextMap, requestContext }`) or pass any value satisfying `ClientMiddleware<RCM>`.
635
+
636
+ ### `makeRouter(middlewareLive)`
637
+
638
+ `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.
639
+
640
+ **Migration**:
641
+
642
+ ```diff
643
+ -export const { Router, matchAll } = makeRouter()
644
+ +export const { Router, matchAll } = makeRouter(AppMiddleware.Default)
645
+ ```
646
+
647
+ ## 4.0.0-beta.205
648
+
649
+ ### Patch Changes
650
+
651
+ - f313973: fix type make interface
652
+
653
+ ## 4.0.0-beta.204
654
+
655
+ ### Patch Changes
656
+
657
+ - 0a0030f: fix missing overloads
658
+
659
+ ## 4.0.0-beta.203
660
+
661
+ ### Patch Changes
662
+
663
+ - 992d9fa: fix more branded types
664
+
665
+ ## 4.0.0-beta.202
666
+
667
+ ### Patch Changes
668
+
669
+ - 1186b09: improve branded types, keep types through Rebuild
670
+
671
+ ## 4.0.0-beta.201
672
+
673
+ ### Patch Changes
674
+
675
+ - 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.
676
+
677
+ ### Resource error schemas
678
+
679
+ Three sites that used to fold `RequestContextMap[*].error` into a request's own error schema now stop doing so:
680
+
681
+ - `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).
682
+ - `MiddlewareMaker.rpc()` — `error: options.error` only; the previous union with `rcm.config[*].error` is gone.
683
+ - Routing and `apiClientFactory.makeRpcGroupFromRequestsAndModuleName` — `Invalidation.makeCommandRpc` is called with `error: resource.error` (no widening with the composite middleware error union).
684
+
685
+ 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:
686
+
687
+ - **Server**: `makeRouter(middleware)` attaches the live composite tag (existing behavior).
688
+ - **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.
689
+
690
+ **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.
691
+
692
+ ### Invalidation wrap/unwrap
693
+
694
+ - `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.
695
+ - `apiClientFactory.ts` (client) `unwrapCommand` strips both envelopes and forwards keys to `InvalidationKeysFromServer`.
696
+ - `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.
697
+
698
+ 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.
699
+
700
+ ## 4.0.0-beta.200
701
+
702
+ ### Patch Changes
703
+
704
+ - 8f1cf6a: able to configure schema concurrency
705
+ - 0cff7c1: workaround middleware error issue
706
+
707
+ ## 4.0.0-beta.199
708
+
709
+ ## 4.0.0-beta.198
710
+
711
+ ### Patch Changes
712
+
713
+ - 32dbc54: fix stream type when no success specified
714
+
715
+ ## 4.0.0-beta.197
716
+
717
+ ### Minor Changes
718
+
719
+ - 3dc0d2a: Add streaming as a `stream: true` config option on `Query` / `Command` instead of a separate request type.
720
+
721
+ `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).
722
+
723
+ ```ts
724
+ // Query that streams results
725
+ Req.Query<T>()("Tag", {}, { stream: true, success: ... })
726
+
727
+ // Command that streams results
728
+ Req.Command<T>()("Tag", {}, { stream: true, success: ... })
729
+ ```
730
+
731
+ Vue client mapping (per-handler properties mirror the non-stream API — `.query`, `.fn`, `.mutate`):
732
+
733
+ - `query` + `stream: true` → exposes `.query` (read-only streaming, tracked Vue Query). Helper map key: `${name}Query`.
734
+ - `command` + `stream: true` → exposes `.fn` and `.mutate` (mutating streaming).
735
+ - Plain `query` / `command` unchanged.
736
+
737
+ Server routing dispatches via the new `stream` flag (`makeStreamRpc` for streaming commands/queries, `makeCommandRpc` / `Rpc.make` otherwise).
738
+
739
+ 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.
740
+
741
+ **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.
742
+
743
+ ## 4.0.0-beta.196
744
+
745
+ ## 4.0.0-beta.195
746
+
747
+ ### Patch Changes
748
+
749
+ - 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.
750
+
751
+ 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`.
752
+
753
+ `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".
754
+
755
+ 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.
756
+
757
+ ## 4.0.0-beta.194
758
+
759
+ ## 4.0.0-beta.193
760
+
761
+ ## 4.0.0-beta.192
762
+
763
+ ## 4.0.0-beta.191
764
+
765
+ ### Patch Changes
766
+
767
+ - 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`.
768
+
769
+ ## 4.0.0-beta.190
770
+
771
+ ### Patch Changes
772
+
773
+ - 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`.
774
+
775
+ ## 4.0.0-beta.189
776
+
777
+ ### Patch Changes
778
+
779
+ - 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.
780
+
781
+ ## 4.0.0-beta.188
782
+
783
+ ### Patch Changes
784
+
785
+ - b2e438f: Remove Operations service and repo
786
+
787
+ ## 4.0.0-beta.187
788
+
789
+ ### Patch Changes
790
+
791
+ - 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.
792
+
793
+ ## 4.0.0-beta.186
794
+
795
+ ## 4.0.0-beta.185
796
+
797
+ ## 4.0.0-beta.184
798
+
799
+ ## 4.0.0-beta.183
800
+
801
+ ## 4.0.0-beta.182
802
+
803
+ ## 4.0.0-beta.181
804
+
805
+ ### Patch Changes
806
+
807
+ - 583393f: Default the stream `mutateStream` execute resolved value to the request's success type when no `final` schema is declared.
808
+
809
+ 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.
810
+
811
+ ## 4.0.0-beta.180
812
+
813
+ ### Minor Changes
814
+
815
+ - 7fa3045: V1/V2/V3: stream and command requests carry invalidation metadata
816
+
817
+ **V1** – stream final response includes metadata
818
+
819
+ - `Invalidation.StreamResponseChunk` wraps each stream item as `{ _tag: "value", value }` and appends `{ _tag: "done", metadata }` at the end carrying all accumulated invalidation keys.
820
+
821
+ **V2** – invalidation keys included in failures
822
+
823
+ - `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.
824
+ - `InvalidationMiddlewareLive` wraps command failures; `routing.ts` wraps stream failures.
825
+ - `apiClientFactory.ts` unwraps both on the client side, forwarding keys before re-failing with the original error.
826
+
827
+ **V3** – mid-stream metadata chunks
828
+
829
+ - `Invalidation.StreamResponseChunk` now also includes `{ _tag: "metadata", metadata }` for mid-stream invalidation.
830
+ - 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`).
831
+ - `apiClientFactory.ts` processes "metadata" chunks the same as "done" chunks, forwarding keys to `InvalidationKeysFromServer` immediately.
832
+ - `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.
833
+
834
+ ## 4.0.0-beta.179
835
+
836
+ ### Minor Changes
837
+
838
+ - 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`.
839
+
840
+ ```ts
841
+ class MyStream extends SomethingStream<MyStream>()(
842
+ "MyStream",
843
+ { id: S.String },
844
+ {
845
+ success: S.Union([OperationProgress, ExportComplete]),
846
+ final: ExportComplete, // execute now resolves with ExportComplete
847
+ }
848
+ ) {}
849
+ ```
850
+
851
+ ## 4.0.0-beta.178
852
+
853
+ ## 4.0.0-beta.177
854
+
855
+ ### Minor Changes
856
+
857
+ - 89d8b3a: Add Effect RPC `Stream` support to the wrapper.
858
+
859
+ - New `Stream` request constructor on `TaggedRequestFor` parallel to `Query`/`Command`. Emits resources with `type: "stream"`.
860
+ - 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).
861
+ - 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.
862
+ - New `RequestStreamHandler` / `RequestStreamHandlerWithInput` shapes in `clientFor.ts`; `RequestHandlers` dispatches on `type: "stream"`.
863
+
864
+ ## 4.0.0-beta.176
865
+
866
+ ### Patch Changes
867
+
868
+ - pass options
869
+
870
+ ## 4.0.0-beta.175
871
+
872
+ ## 4.0.0-beta.174
873
+
874
+ ### Minor Changes
875
+
876
+ - 821468d: Add server-driven cache invalidation via RPC response headers.
877
+
878
+ - `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.
879
+ - `effect-app/middleware`: new `InvalidationMiddleware` RPC middleware tag; included in `DefaultGenericMiddlewares`.
880
+ - `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`.
881
+ - `@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.
882
+ - `@effect-app/vue`: `invalidateQueries` / `useMutation` now reads server-provided invalidation keys from `InvalidationKeysFromServer` after each mutation and applies them alongside the client-side invalidation.
883
+
884
+ ## 4.0.0-beta.173
885
+
886
+ ## 4.0.0-beta.172
887
+
888
+ ## 4.0.0-beta.171
889
+
890
+ ### Patch Changes
891
+
892
+ - d71d976: fix
893
+
894
+ ## 4.0.0-beta.170
895
+
896
+ ### Patch Changes
897
+
898
+ - 8f09f77: fix
899
+
900
+ ## 4.0.0-beta.169
901
+
902
+ ### Patch Changes
903
+
904
+ - 8ae8b53: input mess
905
+
906
+ ## 4.0.0-beta.168
907
+
908
+ ### Patch Changes
909
+
910
+ - 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.
911
+
912
+ ## 4.0.0-beta.167
913
+
914
+ ### Patch Changes
915
+
916
+ - 140e192: Relax invalidation resource value constraints to allow arbitrary values while preserving query-only filtering in invalidation handling.
917
+
918
+ ## 4.0.0-beta.166
919
+
920
+ ### Patch Changes
921
+
922
+ - 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.
923
+
924
+ ## 4.0.0-beta.165
925
+
926
+ ### Minor Changes
927
+
928
+ - 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.
929
+
930
+ ## 4.0.0-beta.164
931
+
932
+ ### Minor Changes
933
+
934
+ - 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.
935
+
936
+ ## 4.0.0-beta.163
937
+
938
+ ### Patch Changes
939
+
940
+ - b952f19: bye cruft
941
+
942
+ ## 4.0.0-beta.162
943
+
944
+ ### Patch Changes
945
+
946
+ - b52b424: restore annotations for now
947
+
948
+ ## 4.0.0-beta.161
949
+
950
+ ## 4.0.0-beta.160
951
+
952
+ ### Patch Changes
953
+
954
+ - 505bfa9: Add concurrent decode helper APIs and migrate decode callsites to use them.
955
+
956
+ - Add `withDefaultParseOptions` and keep `DefaultParseOptions` centralized.
957
+ - Export `decodeEffectConcurrently` and `decodeUnknownEffectConcurrently` from Schema and SchemaParser modules.
958
+ - Update repository, queue, client, form, and CLI decode paths to use concurrent decode helpers.
959
+ - Keep schema constructors free of hardcoded parse concurrency overrides.
960
+
961
+ ## 4.0.0-beta.159
962
+
963
+ ### Patch Changes
964
+
965
+ - c1e73de:
966
+
967
+ ## 4.0.0-beta.158
968
+
969
+ ### Patch Changes
970
+
971
+ - 3c1f52d: improve: class strictness enabled by default again, allow `strict: false` as opt out for now.
972
+ - 6ae3050: Preserve class annotation parseOptions in relaxed declaration struct decoding so custom parse options (including concurrency defaults) are applied consistently.
973
+
974
+ ## 4.0.0-beta.157
975
+
976
+ ### Patch Changes
977
+
978
+ - 6fff09c: unify encoded function for when you use encodedKeys
979
+
980
+ ## 4.0.0-beta.156
981
+
982
+ ## 4.0.0-beta.155
983
+
984
+ ### Patch Changes
985
+
986
+ - c215db8: align TaggedUnion with array arg
987
+
988
+ ## 4.0.0-beta.154
989
+
990
+ ## 4.0.0-beta.153
991
+
992
+ ## 4.0.0-beta.152
993
+
994
+ ## 4.0.0-beta.151
995
+
996
+ ## 4.0.0-beta.150
997
+
998
+ ### Patch Changes
999
+
1000
+ - 85a8275: Expose `make`, `makeOption`, and `makeEffect` static helpers on request classes created via `Query`/`Command`.
1001
+
1002
+ ## 4.0.0-beta.149
1003
+
1004
+ ### Patch Changes
1005
+
1006
+ - f317c5e: Preserve omitted-input make helpers through Schema.Opaque when the wrapped schema allows optional or default-only constructor input.
1007
+
1008
+ ## 4.0.0-beta.148
1009
+
1010
+ ### Patch Changes
1011
+
1012
+ - 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.
1013
+
1014
+ ## 4.0.0-beta.147
1015
+
1016
+ ### Patch Changes
1017
+
1018
+ - 47e3742: Preserve Struct.copy through `annotate`, `annotateKey`, and `mapFields` chains, and add tests covering chained copy behavior on Struct schemas.
1019
+
1020
+ ## 4.0.0-beta.146
1021
+
1022
+ ### Patch Changes
1023
+
1024
+ - a4dff57: Adjust Struct and TaggedStruct copy typing to follow class-style widening constraints while keeping structural copy runtime behavior.
1025
+
1026
+ ## 4.0.0-beta.145
1027
+
1028
+ ### Patch Changes
1029
+
1030
+ - 12abb55: Refine schema copy behavior by keeping class copy constructor-based while using structural copy for Struct and TaggedStruct helpers.
1031
+
1032
+ ## 4.0.0-beta.144
1033
+
1034
+ ### Patch Changes
1035
+
1036
+ - 11422f8: Update request helper typing and runtime invocation to rely on schema `.make` instead of class constructors, avoiding `new`-based assumptions for request schemas.
1037
+ - d31253f: Refactor eligible schema classes and tagged classes to Opaque schemas, and migrate constructor call sites to use `.make` for those models.
1038
+
1039
+ ## 4.0.0-beta.143
1040
+
1041
+ ### Patch Changes
1042
+
1043
+ - 79eb019: Remove redundant schema `title` annotations when they duplicate the schema `identifier`.
1044
+
1045
+ ## 4.0.0-beta.142
1046
+
1047
+ ### Minor Changes
1048
+
1049
+ - 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.
1050
+
1051
+ ### Patch Changes
1052
+
1053
+ - 3436d44: Extend `Schema.Opaque` in `effect-app/Schema` to support an optional encoded-type generic while preserving the original single-generic behavior.
1054
+
1055
+ ## 4.0.0-beta.141
1056
+
1057
+ ### Patch Changes
1058
+
1059
+ - 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).
1060
+
1061
+ ## 4.0.0-beta.140
1062
+
1063
+ ## 4.0.0-beta.139
1064
+
1065
+ ## 4.0.0-beta.138
1066
+
1067
+ ## 4.0.0-beta.137
1068
+
1069
+ ## 4.0.0-beta.136
1070
+
1071
+ ## 4.0.0-beta.135
1072
+
1073
+ ### Patch Changes
1074
+
1075
+ - c7bbc41: fix - class should check type side
1076
+
1077
+ ## 4.0.0-beta.134
1078
+
1079
+ ### Patch Changes
1080
+
1081
+ - 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.
1082
+ - f353d48: Rename the Class/TaggedClass relaxed declaration option to `strict` (default `false`) and apply it to `Class`, `TaggedClass`, `ExtendedClass`, and `ExtendedTaggedClass`.
1083
+
1084
+ When `strict: true`, class decoding keeps strict class-level declaration behavior; by default, decoding remains relaxed and preserves field-level schema errors.
1085
+
1086
+ ## 4.0.0-beta.133
1087
+
1088
+ ### Patch Changes
1089
+
1090
+ - c3299f7: update packages
1091
+
1092
+ ## 4.0.0-beta.132
1093
+
1094
+ ## 4.0.0-beta.131
1095
+
1096
+ ## 4.0.0-beta.130
1097
+
1098
+ ### Patch Changes
1099
+
1100
+ - ea1bd46: fix: prevent expansion of nominal brands
1101
+
1102
+ ## 4.0.0-beta.129
1103
+
1104
+ ## 4.0.0-beta.128
1105
+
1106
+ ### Patch Changes
1107
+
1108
+ - 57db551: Split `TaggedRequestFor` into `Query` and `Command` factories, and mark generated request classes with `type: "query" | "command"`.
1109
+
1110
+ Vue client helpers now expose query-only helpers (`query`, `suspense`, `fetch`) for query requests and mutation-only helpers (`mutate`, `fetch`) for command requests.
1111
+
1112
+ ## 4.0.0-beta.127
1113
+
1114
+ ## 4.0.0-beta.126
1115
+
1116
+ ### Patch Changes
1117
+
1118
+ - 458bb1b: fix type
1119
+
1120
+ ## 4.0.0-beta.125
1121
+
1122
+ ## 4.0.0-beta.124
1123
+
1124
+ ### Patch Changes
1125
+
1126
+ - 256ae85: cleanup
1127
+
1128
+ ## 4.0.0-beta.123
1129
+
1130
+ ### Patch Changes
1131
+
1132
+ - 14aba14: fix: clientFor
1133
+
1134
+ ## 4.0.0-beta.122
1135
+
1136
+ ### Patch Changes
1137
+
1138
+ - f052d38: Replace `(...) => Effect.gen` with `Effect.fnUntraced` in `apiClientFactory`.
1139
+
1140
+ ## 4.0.0-beta.121
1141
+
1142
+ ### Patch Changes
1143
+
1144
+ - 5ac46cb: Make `Schema.provide` dual (pipeable)
1145
+
1146
+ ## 4.0.0-beta.120
1147
+
1148
+ ### Minor Changes
1149
+
1150
+ - 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.
1151
+
1152
+ ## 4.0.0-beta.119
1153
+
1154
+ ## 4.0.0-beta.118
1155
+
1156
+ ### Minor Changes
1157
+
1158
+ - 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.
1159
+
1160
+ ### Patch Changes
1161
+
1162
+ - bd26832: Add nested anyOf flattening to JSON Schema post-processing
1163
+ - Update effect packages to 4.0.0-beta.52
1164
+
1165
+ ## 4.0.0-beta.117
1166
+
1167
+ ## 4.0.0-beta.116
1168
+
1169
+ ## 4.0.0-beta.115
1170
+
1171
+ ## 4.0.0-beta.114
1172
+
1173
+ ## 4.0.0-beta.113
1174
+
1175
+ ## 4.0.0-beta.112
1176
+
1177
+ ## 4.0.0-beta.111
1178
+
1179
+ ### Patch Changes
1180
+
1181
+ - ca94edf: fix typo
1182
+
1183
+ ## 4.0.0-beta.110
1184
+
1185
+ ## 4.0.0-beta.109
1186
+
1187
+ ## 4.0.0-beta.108
1188
+
1189
+ ### Patch Changes
1190
+
1191
+ - 3e46e7b: allow excess props in openapi schemas
1192
+
1193
+ ## 4.0.0-beta.107
1194
+
1195
+ ## 4.0.0-beta.106
1196
+
1197
+ ## 4.0.0-beta.105
1198
+
1199
+ ## 4.0.0-beta.104
1200
+
1201
+ ### Minor Changes
1202
+
1203
+ - e944bca: Add `generateGuards` and `generateGuardsFor` to `TaggedUnion` / `ExtendTaggedUnion` for property-scoped type guards.
1204
+
1205
+ - `generateGuards("key")` — generic per-guard, no need to specify the container type
1206
+ - `generateGuardsFor<A>()("key")` — curried, fixes `A` for concrete guard signatures
1207
+
1208
+ Both return `{ is{Tag}, isAnyOf }` guards that narrow the container type by its tagged union property.
1209
+
1210
+ ## 4.0.0-beta.103
1211
+
1212
+ ### Minor Changes
1213
+
1214
+ - 7119320: Add `generateGuards` to `TaggedUnion` / `ExtendTaggedUnion` for generating property-scoped type guards.
1215
+
1216
+ Usage: `MyUnion.generateGuards<MyType>()("propertyKey")` returns `{ is{Tag}, isAnyOf }` guards that narrow the container type by its tagged union property.
1217
+
1218
+ ## 4.0.0-beta.102
1219
+
1220
+ ## 4.0.0-beta.101
1221
+
1222
+ ## 4.0.0-beta.100
1223
+
1224
+ ## 4.0.0-beta.99
1225
+
1226
+ ## 4.0.0-beta.98
1227
+
1228
+ ## 4.0.0-beta.97
1229
+
1230
+ ## 4.0.0-beta.96
1231
+
1232
+ ### Patch Changes
1233
+
1234
+ - 5615e47: bs
1235
+
1236
+ ## 4.0.0-beta.95
1237
+
1238
+ ### Patch Changes
1239
+
1240
+ - 88838fb: Remove pick/omit customizations from Class/TaggedClass/Struct/TaggedStruct. Use `Struct.pick(X.fields, [...])` from `effect-app` instead.
1241
+
1242
+ ## 4.0.0-beta.94
1243
+
1244
+ ## 4.0.0-beta.93
1245
+
1246
+ ## 4.0.0-beta.92
1247
+
1248
+ ## 4.0.0-beta.91
1249
+
1250
+ ### Minor Changes
1251
+
1252
+ - 738b482: Add pick/omit to Struct and TaggedStruct
1253
+
1254
+ ## 4.0.0-beta.90
1255
+
1256
+ ## 4.0.0-beta.89
1257
+
1258
+ ## 4.0.0-beta.88
1259
+
1260
+ ## 4.0.0-beta.87
1261
+
1262
+ ## 4.0.0-beta.86
1263
+
1264
+ ## 4.0.0-beta.85
1265
+
1266
+ ## 4.0.0-beta.84
1267
+
1268
+ ## 4.0.0-beta.83
1269
+
1270
+ ## 4.0.0-beta.82
1271
+
1272
+ ## 4.0.0-beta.81
1273
+
1274
+ ## 4.0.0-beta.80
1275
+
1276
+ ## 4.0.0-beta.79
1277
+
1278
+ ### Minor Changes
1279
+
1280
+ - 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).
1281
+
1282
+ ## 4.0.0-beta.78
1283
+
1284
+ ## 4.0.0-beta.77
1285
+
1286
+ ### Minor Changes
1287
+
1288
+ - 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.
1289
+
1290
+ ## 4.0.0-beta.76
1291
+
1292
+ ### Patch Changes
1293
+
1294
+ - a5248a9: use new schema features
1295
+ - fac725d: update effect to latest beta
1296
+
1297
+ ## 4.0.0-beta.75
1298
+
1299
+ ### Patch Changes
1300
+
1301
+ - 24f0a5a: rename Literal to Literals, no longer hiding Schema's singular Literal.
1302
+
1303
+ ## 4.0.0-beta.74
1304
+
1305
+ ### Patch Changes
1306
+
1307
+ - 54ec1ef: fix bs
1308
+
1309
+ ## 4.0.0-beta.73
1310
+
1311
+ ## 4.0.0-beta.72
1312
+
1313
+ ### Patch Changes
1314
+
1315
+ - 0541f0d: fix withDefault types
1316
+
1317
+ ## 4.0.0-beta.71
1318
+
1319
+ ### Minor Changes
1320
+
1321
+ - beae3a0: Remove `withDefaultConstructor` wrapper, use `S.withConstructorDefault` directly with `Effect.succeed`/`Effect.sync`.
1322
+
1323
+ ## 4.0.0-beta.70
1324
+
1325
+ ## 4.0.0-beta.69
1326
+
1327
+ ### Patch Changes
1328
+
1329
+ - dc465e3: update to latest effect beta
1330
+
1331
+ ## 4.0.0-beta.68
1332
+
1333
+ ### Patch Changes
1334
+
1335
+ - e6f2341: Add SecretURL tests and switch secretURL config to use Config.nonEmptyString
1336
+
1337
+ ## 4.0.0-beta.67
1338
+
1339
+ ## 4.0.0-beta.66
1340
+
1341
+ ### Patch Changes
1342
+
1343
+ - edc52e4: update
1344
+
1345
+ ## 4.0.0-beta.65
1346
+
1347
+ ### Minor Changes
1348
+
1349
+ - 1f103b2: Replace `proxify` with explicit service accessor helpers: `accessFn`, `accessEffectFn`, `accessCn`, `accessEffectCn`.
1350
+
1351
+ ### Patch Changes
1352
+
1353
+ - 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.
1354
+
1355
+ ## 4.0.0-beta.64
1356
+
1357
+ ### Patch Changes
1358
+
1359
+ - c1a6fdc: fix proxify
1360
+
1361
+ ## 4.0.0-beta.63
1362
+
1363
+ ## 4.0.0-beta.62
1364
+
1365
+ ### Patch Changes
1366
+
1367
+ - 0b21a02: fix: flatten simple allOf constraints in JSON Schema output for better codegen compatibility
1368
+
1369
+ ## 4.0.0-beta.61
1370
+
1371
+ ## 4.0.0-beta.60
1372
+
1373
+ ## 4.0.0-beta.59
1374
+
1375
+ ### Patch Changes
1376
+
1377
+ - cec026d: update packages
1378
+
1379
+ ## 4.0.0-beta.58
1380
+
1381
+ ## 4.0.0-beta.57
1382
+
1383
+ ## 4.0.0-beta.56
1384
+
1385
+ ## 4.0.0-beta.55
1386
+
1387
+ ## 4.0.0-beta.54
1388
+
1389
+ ### Patch Changes
1390
+
1391
+ - d867272: the return of `Context`
1392
+
1393
+ ## 4.0.0-beta.53
1394
+
1395
+ ### Patch Changes
1396
+
1397
+ - ee9694e: fix type issue?
1398
+
1399
+ ## 4.0.0-beta.52
1400
+
1401
+ ### Minor Changes
1402
+
1403
+ - 6252808: Add `ReadonlySetFromArray` and `ReadonlyMapFromArray` schema transformations that decode from annotated arrays to Set/Map. Update `ReadonlySet` and `ReadonlyMap` to use these internally.
1404
+
1405
+ ## 4.0.0-beta.51
1406
+
1407
+ ## 4.0.0-beta.50
1408
+
1409
+ ## 4.0.0-beta.49
1410
+
1411
+ ### Patch Changes
1412
+
1413
+ - e585c9c: fix config nested
1414
+
1415
+ ## 4.0.0-beta.48
1416
+
1417
+ ### Patch Changes
1418
+
1419
+ - 0c88f78: Remove `TaggedError` compatibility re-export, use `TaggedErrorClass` directly
1420
+
1421
+ ## 4.0.0-beta.47
1422
+
1423
+ ### Patch Changes
1424
+
1425
+ - 3365758: workaround effect error messages
1426
+
1427
+ ## 4.0.0-beta.46
1428
+
1429
+ ## 4.0.0-beta.45
1430
+
1431
+ ### Patch Changes
1432
+
1433
+ - 10b55ff: update packages
1434
+
1435
+ ## 4.0.0-beta.44
1436
+
1437
+ ### Patch Changes
1438
+
1439
+ - a37aa38: Update to effect beta 43
1440
+
1441
+ ## 4.0.0-beta.43
1442
+
1443
+ ## 4.0.0-beta.42
1444
+
1445
+ ## 4.0.0-beta.41
1446
+
1447
+ ## 4.0.0-beta.40
1448
+
1449
+ ## 4.0.0-beta.39
1450
+
1451
+ ### Patch Changes
1452
+
1453
+ - 10e90d5: fix: TaggedRequest should be an Opaque Schema Class
1454
+
1455
+ ## 4.0.0-beta.38
1456
+
1457
+ ### Patch Changes
1458
+
1459
+ - 0b3e00e: fix bug
1460
+
1461
+ ## 4.0.0-beta.37
1462
+
1463
+ ### Patch Changes
1464
+
1465
+ - 947fe20: fix input date
1466
+
1467
+ ## 4.0.0-beta.36
1468
+
1469
+ ## 4.0.0-beta.35
1470
+
1471
+ ## 4.0.0-beta.34
1472
+
1473
+ ### Patch Changes
1474
+
1475
+ - 8c645d5: update to latest effect
1476
+
1477
+ ## 4.0.0-beta.33
1478
+
1479
+ ### Patch Changes
1480
+
1481
+ - 4b95009: use Finite instead of Number
1482
+
1483
+ ## 4.0.0-beta.32
1484
+
1485
+ ### Patch Changes
1486
+
1487
+ - 01d862a: again
1488
+
3
1489
  ## 4.0.0-beta.31
4
1490
 
5
1491
  ### Patch Changes