@dxos/echo 0.8.4-main.40e3dcdf1b → 0.8.4-main.43cb759274

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 (428) hide show
  1. package/LICENSE +102 -5
  2. package/README.md +7 -7
  3. package/dist/lib/neutral/Annotation.mjs +29 -6
  4. package/dist/lib/neutral/Database.mjs +8 -9
  5. package/dist/lib/neutral/Entity.mjs +29 -18
  6. package/dist/lib/neutral/Err.mjs +3 -3
  7. package/dist/lib/neutral/Feed.mjs +27 -19
  8. package/dist/lib/neutral/Filter.mjs +25 -15
  9. package/dist/lib/neutral/Format.mjs +23 -3
  10. package/dist/lib/neutral/JsonSchema.mjs +7 -8
  11. package/dist/lib/neutral/Key.mjs +9 -5
  12. package/dist/lib/neutral/Migration.mjs +18 -0
  13. package/dist/lib/neutral/Obj.mjs +25 -19
  14. package/dist/lib/neutral/Order.mjs +1 -1
  15. package/dist/lib/neutral/Query.mjs +19 -16
  16. package/dist/lib/neutral/QueryResult.mjs +1 -1
  17. package/dist/lib/neutral/Ref.mjs +10 -9
  18. package/dist/lib/neutral/Registry.mjs +14 -0
  19. package/dist/lib/neutral/Registry.mjs.map +7 -0
  20. package/dist/lib/neutral/Relation.mjs +26 -24
  21. package/dist/lib/neutral/Scope.mjs +12 -0
  22. package/dist/lib/neutral/Scope.mjs.map +7 -0
  23. package/dist/lib/neutral/Tag.mjs +17 -13
  24. package/dist/lib/neutral/Type.mjs +52 -26
  25. package/dist/lib/neutral/chunk-3DKP2EIN.mjs +31 -0
  26. package/dist/lib/neutral/chunk-3DKP2EIN.mjs.map +7 -0
  27. package/dist/lib/neutral/chunk-4BB4MFCN.mjs +154 -0
  28. package/dist/lib/neutral/chunk-4BB4MFCN.mjs.map +7 -0
  29. package/dist/lib/neutral/{chunk-CIRHIEMW.mjs → chunk-4SFPZJVA.mjs} +92 -112
  30. package/dist/lib/neutral/chunk-4SFPZJVA.mjs.map +7 -0
  31. package/dist/lib/neutral/{chunk-YWXWXIE5.mjs → chunk-4Z6GET2X.mjs} +3 -3
  32. package/dist/lib/neutral/chunk-4Z6GET2X.mjs.map +7 -0
  33. package/dist/lib/neutral/{chunk-ANHVGJI4.mjs → chunk-7LOUAPYZ.mjs} +9 -5
  34. package/dist/lib/neutral/chunk-7LOUAPYZ.mjs.map +7 -0
  35. package/dist/lib/neutral/{chunk-43Y5DOS6.mjs → chunk-7OAFN3OX.mjs} +75 -112
  36. package/dist/lib/neutral/chunk-7OAFN3OX.mjs.map +7 -0
  37. package/dist/lib/neutral/{chunk-BOZZPUXE.mjs → chunk-7PRCIDHH.mjs} +41 -81
  38. package/dist/lib/neutral/chunk-7PRCIDHH.mjs.map +7 -0
  39. package/dist/lib/neutral/{chunk-UBEZSGXY.mjs → chunk-BBFJWWAV.mjs} +6 -6
  40. package/dist/lib/neutral/chunk-BBFJWWAV.mjs.map +7 -0
  41. package/dist/lib/neutral/chunk-BDQGMDIX.mjs +132 -0
  42. package/dist/lib/neutral/chunk-BDQGMDIX.mjs.map +7 -0
  43. package/dist/lib/neutral/chunk-CGTI5MXO.mjs +36 -0
  44. package/dist/lib/neutral/chunk-CGTI5MXO.mjs.map +7 -0
  45. package/dist/lib/neutral/{chunk-OMUPQMLR.mjs → chunk-DKLUHO4T.mjs} +1 -1
  46. package/dist/lib/neutral/chunk-DKLUHO4T.mjs.map +7 -0
  47. package/dist/lib/neutral/chunk-DMN2CKPX.mjs +93 -0
  48. package/dist/lib/neutral/chunk-DMN2CKPX.mjs.map +7 -0
  49. package/dist/lib/neutral/{chunk-UTBRYVQC.mjs → chunk-G6CFWUYH.mjs} +2 -2
  50. package/dist/lib/neutral/chunk-H26LSXVJ.mjs +653 -0
  51. package/dist/lib/neutral/chunk-H26LSXVJ.mjs.map +7 -0
  52. package/dist/lib/neutral/{chunk-FXEG7EOK.mjs → chunk-J3MNM65T.mjs} +9 -6
  53. package/dist/lib/neutral/chunk-J3MNM65T.mjs.map +7 -0
  54. package/dist/lib/neutral/chunk-JE7AOSWF.mjs +247 -0
  55. package/dist/lib/neutral/chunk-JE7AOSWF.mjs.map +7 -0
  56. package/dist/lib/neutral/chunk-LAF3LSWI.mjs +379 -0
  57. package/dist/lib/neutral/chunk-LAF3LSWI.mjs.map +7 -0
  58. package/dist/lib/neutral/chunk-LMNRFOVB.mjs +108 -0
  59. package/dist/lib/neutral/chunk-LMNRFOVB.mjs.map +7 -0
  60. package/dist/lib/neutral/{chunk-WYOKA6AE.mjs → chunk-O6BH7EPN.mjs} +31 -4
  61. package/dist/lib/neutral/chunk-O6BH7EPN.mjs.map +7 -0
  62. package/dist/lib/neutral/{chunk-KTAWP7GI.mjs → chunk-OIYW7R2G.mjs} +99 -46
  63. package/dist/lib/neutral/chunk-OIYW7R2G.mjs.map +7 -0
  64. package/dist/lib/neutral/{chunk-TQQZLKB7.mjs → chunk-OYUG4FHF.mjs} +648 -1228
  65. package/dist/lib/neutral/chunk-OYUG4FHF.mjs.map +7 -0
  66. package/dist/lib/neutral/{chunk-NQRLRYJM.mjs → chunk-Q5FKCVBC.mjs} +173 -60
  67. package/dist/lib/neutral/chunk-Q5FKCVBC.mjs.map +7 -0
  68. package/dist/lib/neutral/chunk-Q62IHV2N.mjs +41 -0
  69. package/dist/lib/neutral/chunk-Q62IHV2N.mjs.map +7 -0
  70. package/dist/lib/neutral/{chunk-UFDK26FO.mjs → chunk-QVJDDG44.mjs} +69 -34
  71. package/dist/lib/neutral/chunk-QVJDDG44.mjs.map +7 -0
  72. package/dist/lib/neutral/{chunk-B5OXLWZL.mjs → chunk-TFEWTY5A.mjs} +155 -129
  73. package/dist/lib/neutral/chunk-TFEWTY5A.mjs.map +7 -0
  74. package/dist/lib/neutral/{chunk-UI6MWK5W.mjs → chunk-TTCSATUD.mjs} +1 -1
  75. package/dist/lib/neutral/{chunk-FZO7LQO7.mjs → chunk-VKWOFXT2.mjs} +22 -2
  76. package/dist/lib/neutral/{chunk-FZO7LQO7.mjs.map → chunk-VKWOFXT2.mjs.map} +1 -1
  77. package/dist/lib/neutral/{chunk-NXMFBIT5.mjs → chunk-ZACMEAYV.mjs} +89 -23
  78. package/dist/lib/neutral/chunk-ZACMEAYV.mjs.map +7 -0
  79. package/dist/lib/neutral/index.mjs +58 -38
  80. package/dist/lib/neutral/internal/index.mjs +131 -64
  81. package/dist/lib/neutral/meta.json +1 -1
  82. package/dist/lib/neutral/testing/index.mjs +222 -177
  83. package/dist/lib/neutral/testing/index.mjs.map +3 -3
  84. package/dist/types/src/Annotation.d.ts +108 -4
  85. package/dist/types/src/Annotation.d.ts.map +1 -1
  86. package/dist/types/src/Annotation.test.d.ts +2 -0
  87. package/dist/types/src/Annotation.test.d.ts.map +1 -0
  88. package/dist/types/src/Collection.d.ts +2 -3
  89. package/dist/types/src/Collection.d.ts.map +1 -1
  90. package/dist/types/src/Database.d.ts +56 -24
  91. package/dist/types/src/Database.d.ts.map +1 -1
  92. package/dist/types/src/Dataset.d.ts +17 -6
  93. package/dist/types/src/Dataset.d.ts.map +1 -1
  94. package/dist/types/src/Entity.d.ts +102 -26
  95. package/dist/types/src/Entity.d.ts.map +1 -1
  96. package/dist/types/src/Err.d.ts +27 -27
  97. package/dist/types/src/Err.d.ts.map +1 -1
  98. package/dist/types/src/Feed.d.ts +89 -25
  99. package/dist/types/src/Feed.d.ts.map +1 -1
  100. package/dist/types/src/Filter.d.ts +74 -11
  101. package/dist/types/src/Filter.d.ts.map +1 -1
  102. package/dist/types/src/Filter.test.d.ts +2 -0
  103. package/dist/types/src/Filter.test.d.ts.map +1 -0
  104. package/dist/types/src/Hypergraph.d.ts +14 -9
  105. package/dist/types/src/Hypergraph.d.ts.map +1 -1
  106. package/dist/types/src/Json.d.ts +33 -0
  107. package/dist/types/src/Json.d.ts.map +1 -0
  108. package/dist/types/src/Json.test.d.ts +2 -0
  109. package/dist/types/src/Json.test.d.ts.map +1 -0
  110. package/dist/types/src/JsonSchema.d.ts +2 -2
  111. package/dist/types/src/JsonSchema.d.ts.map +1 -1
  112. package/dist/types/src/Key.d.ts +1 -1
  113. package/dist/types/src/Key.d.ts.map +1 -1
  114. package/dist/types/src/Migration.d.ts +72 -0
  115. package/dist/types/src/Migration.d.ts.map +1 -0
  116. package/dist/types/src/Obj.d.ts +108 -65
  117. package/dist/types/src/Obj.d.ts.map +1 -1
  118. package/dist/types/src/Order.d.ts.map +1 -1
  119. package/dist/types/src/Query.d.ts +35 -10
  120. package/dist/types/src/Query.d.ts.map +1 -1
  121. package/dist/types/src/QueryResult.d.ts +9 -0
  122. package/dist/types/src/QueryResult.d.ts.map +1 -1
  123. package/dist/types/src/Ref.d.ts +15 -7
  124. package/dist/types/src/Ref.d.ts.map +1 -1
  125. package/dist/types/src/Registry.d.ts +131 -0
  126. package/dist/types/src/Registry.d.ts.map +1 -0
  127. package/dist/types/src/Relation.d.ts +72 -44
  128. package/dist/types/src/Relation.d.ts.map +1 -1
  129. package/dist/types/src/Scope.d.ts +34 -0
  130. package/dist/types/src/Scope.d.ts.map +1 -0
  131. package/dist/types/src/StateMap.d.ts +32 -0
  132. package/dist/types/src/StateMap.d.ts.map +1 -0
  133. package/dist/types/src/StateMap.test.d.ts +2 -0
  134. package/dist/types/src/StateMap.test.d.ts.map +1 -0
  135. package/dist/types/src/Tag.d.ts +21 -5
  136. package/dist/types/src/Tag.d.ts.map +1 -1
  137. package/dist/types/src/TagIndex.d.ts +36 -0
  138. package/dist/types/src/TagIndex.d.ts.map +1 -0
  139. package/dist/types/src/TagIndex.test.d.ts +2 -0
  140. package/dist/types/src/TagIndex.test.d.ts.map +1 -0
  141. package/dist/types/src/Tagging.d.ts +31 -0
  142. package/dist/types/src/Tagging.d.ts.map +1 -0
  143. package/dist/types/src/Type.d.ts +357 -96
  144. package/dist/types/src/Type.d.ts.map +1 -1
  145. package/dist/types/src/View.d.ts +2 -5
  146. package/dist/types/src/View.d.ts.map +1 -1
  147. package/dist/types/src/exemplars.test.d.ts +2 -0
  148. package/dist/types/src/exemplars.test.d.ts.map +1 -0
  149. package/dist/types/src/index.d.ts +8 -2
  150. package/dist/types/src/index.d.ts.map +1 -1
  151. package/dist/types/src/internal/Annotation/annotations.d.ts +79 -37
  152. package/dist/types/src/internal/Annotation/annotations.d.ts.map +1 -1
  153. package/dist/types/src/internal/Annotation/dictionary.d.ts +24 -0
  154. package/dist/types/src/internal/Annotation/dictionary.d.ts.map +1 -0
  155. package/dist/types/src/internal/Annotation/entity-dictionary.d.ts +14 -0
  156. package/dist/types/src/internal/Annotation/entity-dictionary.d.ts.map +1 -0
  157. package/dist/types/src/internal/Annotation/index.d.ts +4 -2
  158. package/dist/types/src/internal/Annotation/index.d.ts.map +1 -1
  159. package/dist/types/src/internal/Annotation/sorting.d.ts.map +1 -1
  160. package/dist/types/src/internal/Annotation/util.d.ts +14 -5
  161. package/dist/types/src/internal/Annotation/util.d.ts.map +1 -1
  162. package/dist/types/src/internal/Entity/api.d.ts +3 -3
  163. package/dist/types/src/internal/Entity/api.d.ts.map +1 -1
  164. package/dist/types/src/internal/Entity/entity.d.ts +72 -8
  165. package/dist/types/src/internal/Entity/entity.d.ts.map +1 -1
  166. package/dist/types/src/internal/Entity/guard.d.ts +10 -0
  167. package/dist/types/src/internal/Entity/guard.d.ts.map +1 -0
  168. package/dist/types/src/internal/Entity/index.d.ts +2 -0
  169. package/dist/types/src/internal/Entity/index.d.ts.map +1 -1
  170. package/dist/types/src/internal/Entity/model.d.ts +20 -17
  171. package/dist/types/src/internal/Entity/model.d.ts.map +1 -1
  172. package/dist/types/src/internal/Entity/object.d.ts +3 -3
  173. package/dist/types/src/internal/Entity/object.d.ts.map +1 -1
  174. package/dist/types/src/internal/Entity/relation.d.ts +30 -7
  175. package/dist/types/src/internal/Entity/relation.d.ts.map +1 -1
  176. package/dist/types/src/internal/Entity/type-kind.d.ts +24 -0
  177. package/dist/types/src/internal/Entity/type-kind.d.ts.map +1 -0
  178. package/dist/types/src/internal/Entity/type-uri.d.ts +25 -0
  179. package/dist/types/src/internal/Entity/type-uri.d.ts.map +1 -0
  180. package/dist/types/src/internal/Entity/version.d.ts.map +1 -1
  181. package/dist/types/src/internal/Format/date.d.ts.map +1 -1
  182. package/dist/types/src/internal/Format/format.d.ts +3 -2
  183. package/dist/types/src/internal/Format/format.d.ts.map +1 -1
  184. package/dist/types/src/internal/Format/index.d.ts +2 -2
  185. package/dist/types/src/internal/Format/index.d.ts.map +1 -1
  186. package/dist/types/src/internal/Format/number.d.ts.map +1 -1
  187. package/dist/types/src/internal/Format/object.d.ts +3 -1
  188. package/dist/types/src/internal/Format/object.d.ts.map +1 -1
  189. package/dist/types/src/internal/Format/types.d.ts.map +1 -1
  190. package/dist/types/src/internal/JsonSchema/json-schema-normalize.d.ts.map +1 -1
  191. package/dist/types/src/internal/JsonSchema/json-schema-type.d.ts +28 -28
  192. package/dist/types/src/internal/JsonSchema/json-schema-type.d.ts.map +1 -1
  193. package/dist/types/src/internal/JsonSchema/json-schema.d.ts +3 -2
  194. package/dist/types/src/internal/JsonSchema/json-schema.d.ts.map +1 -1
  195. package/dist/types/src/internal/Obj/clone.d.ts.map +1 -1
  196. package/dist/types/src/internal/Obj/common.d.ts.map +1 -1
  197. package/dist/types/src/internal/Obj/create-object.d.ts +11 -12
  198. package/dist/types/src/internal/Obj/create-object.d.ts.map +1 -1
  199. package/dist/types/src/internal/Obj/deleted.d.ts.map +1 -1
  200. package/dist/types/src/internal/Obj/index.d.ts +0 -1
  201. package/dist/types/src/internal/Obj/index.d.ts.map +1 -1
  202. package/dist/types/src/internal/Obj/json-serializer.d.ts +11 -10
  203. package/dist/types/src/internal/Obj/json-serializer.d.ts.map +1 -1
  204. package/dist/types/src/internal/Obj/set-value.d.ts +1 -1
  205. package/dist/types/src/internal/Obj/set-value.d.ts.map +1 -1
  206. package/dist/types/src/internal/Obj/snapshot.d.ts.map +1 -1
  207. package/dist/types/src/internal/Obj/typed-object.d.ts +1 -1
  208. package/dist/types/src/internal/Query.d.ts +10 -0
  209. package/dist/types/src/internal/Query.d.ts.map +1 -0
  210. package/dist/types/src/internal/Ref/ref-array.d.ts +2 -2
  211. package/dist/types/src/internal/Ref/ref-array.d.ts.map +1 -1
  212. package/dist/types/src/internal/Ref/ref.d.ts +42 -19
  213. package/dist/types/src/internal/Ref/ref.d.ts.map +1 -1
  214. package/dist/types/src/internal/Type/compose.d.ts.map +1 -1
  215. package/dist/types/src/internal/Type/index.d.ts +1 -2
  216. package/dist/types/src/internal/Type/index.d.ts.map +1 -1
  217. package/dist/types/src/internal/Type/manipulation.d.ts +0 -1
  218. package/dist/types/src/internal/Type/manipulation.d.ts.map +1 -1
  219. package/dist/types/src/internal/Type/type-schema.d.ts +52 -0
  220. package/dist/types/src/internal/Type/type-schema.d.ts.map +1 -0
  221. package/dist/types/src/internal/common/api/meta.d.ts +14 -11
  222. package/dist/types/src/internal/common/api/meta.d.ts.map +1 -1
  223. package/dist/types/src/internal/common/proxy/change-context.d.ts +1 -1
  224. package/dist/types/src/internal/common/proxy/change-context.d.ts.map +1 -1
  225. package/dist/types/src/internal/common/proxy/define-hidden-property.d.ts.map +1 -1
  226. package/dist/types/src/internal/common/proxy/errors.d.ts +1 -1
  227. package/dist/types/src/internal/common/proxy/errors.d.ts.map +1 -1
  228. package/dist/types/src/internal/common/proxy/event-batch.d.ts.map +1 -1
  229. package/dist/types/src/internal/common/proxy/json-serializer.d.ts.map +1 -1
  230. package/dist/types/src/internal/common/proxy/make-object.d.ts +11 -5
  231. package/dist/types/src/internal/common/proxy/make-object.d.ts.map +1 -1
  232. package/dist/types/src/internal/common/proxy/ownership.d.ts.map +1 -1
  233. package/dist/types/src/internal/common/proxy/proxy-utils.d.ts.map +1 -1
  234. package/dist/types/src/internal/common/proxy/reactive-array.d.ts +1 -1
  235. package/dist/types/src/internal/common/proxy/reactive.d.ts +1 -1
  236. package/dist/types/src/internal/common/proxy/reactive.d.ts.map +1 -1
  237. package/dist/types/src/internal/common/proxy/reactive.test.d.ts +2 -0
  238. package/dist/types/src/internal/common/proxy/reactive.test.d.ts.map +1 -0
  239. package/dist/types/src/internal/common/proxy/schema-validator.d.ts.map +1 -1
  240. package/dist/types/src/internal/common/proxy/typed-handler.d.ts +18 -2
  241. package/dist/types/src/internal/common/proxy/typed-handler.d.ts.map +1 -1
  242. package/dist/types/src/internal/common/types/base.d.ts +4 -4
  243. package/dist/types/src/internal/common/types/base.d.ts.map +1 -1
  244. package/dist/types/src/internal/common/types/entity.d.ts +63 -6
  245. package/dist/types/src/internal/common/types/entity.d.ts.map +1 -1
  246. package/dist/types/src/internal/common/types/index.d.ts +1 -1
  247. package/dist/types/src/internal/common/types/index.d.ts.map +1 -1
  248. package/dist/types/src/internal/common/types/meta.d.ts +23 -7
  249. package/dist/types/src/internal/common/types/meta.d.ts.map +1 -1
  250. package/dist/types/src/internal/common/types/model-symbols.d.ts +8 -4
  251. package/dist/types/src/internal/common/types/model-symbols.d.ts.map +1 -1
  252. package/dist/types/src/internal/common/types/typename.d.ts +7 -0
  253. package/dist/types/src/internal/common/types/typename.d.ts.map +1 -1
  254. package/dist/types/src/internal/common/types/version.d.ts +1 -1
  255. package/dist/types/src/internal/common/types/well-known-types.d.ts +11 -0
  256. package/dist/types/src/internal/common/types/well-known-types.d.ts.map +1 -0
  257. package/dist/types/src/internal/index.d.ts +2 -0
  258. package/dist/types/src/internal/index.d.ts.map +1 -1
  259. package/dist/types/src/testing/test-data.d.ts +8 -8
  260. package/dist/types/src/testing/test-data.d.ts.map +1 -1
  261. package/dist/types/src/testing/test-schema.d.ts +83 -89
  262. package/dist/types/src/testing/test-schema.d.ts.map +1 -1
  263. package/dist/types/src/testing/util.d.ts +5 -3
  264. package/dist/types/src/testing/util.d.ts.map +1 -1
  265. package/dist/types/tsconfig.tsbuildinfo +1 -1
  266. package/package.json +27 -19
  267. package/src/Annotation.test.ts +439 -0
  268. package/src/Annotation.ts +152 -4
  269. package/src/Collection.ts +6 -5
  270. package/src/Database.ts +117 -57
  271. package/src/Dataset.ts +10 -2
  272. package/src/Entity.test.ts +116 -6
  273. package/src/Entity.ts +130 -31
  274. package/src/Err.ts +4 -4
  275. package/src/Feed.ts +138 -43
  276. package/src/Filter.test.ts +90 -0
  277. package/src/Filter.ts +143 -27
  278. package/src/Hypergraph.ts +14 -9
  279. package/src/Json.test.ts +175 -0
  280. package/src/Json.ts +103 -0
  281. package/src/Key.ts +1 -1
  282. package/src/Migration.ts +114 -0
  283. package/src/Obj.test.ts +122 -19
  284. package/src/Obj.ts +279 -97
  285. package/src/Query.test.ts +317 -131
  286. package/src/Query.ts +181 -73
  287. package/src/QueryResult.ts +11 -0
  288. package/src/Ref.ts +22 -4
  289. package/src/Registry.ts +155 -0
  290. package/src/Relation.test.ts +10 -10
  291. package/src/Relation.ts +112 -71
  292. package/src/Scope.ts +50 -0
  293. package/src/StateMap.test.ts +56 -0
  294. package/src/StateMap.ts +99 -0
  295. package/src/Tag.md +88 -0
  296. package/src/Tag.ts +49 -6
  297. package/src/TagIndex.test.ts +57 -0
  298. package/src/TagIndex.ts +110 -0
  299. package/src/Tagging.ts +83 -0
  300. package/src/Type.test.ts +223 -18
  301. package/src/Type.ts +602 -132
  302. package/src/View.ts +11 -15
  303. package/src/exemplars.test.ts +21 -0
  304. package/src/index.ts +9 -3
  305. package/src/internal/Annotation/annotations.test.ts +82 -13
  306. package/src/internal/Annotation/annotations.ts +153 -115
  307. package/src/internal/Annotation/dictionary.ts +47 -0
  308. package/src/internal/Annotation/entity-dictionary.ts +40 -0
  309. package/src/internal/Annotation/index.ts +4 -2
  310. package/src/internal/Annotation/sorting.ts +0 -1
  311. package/src/internal/Annotation/util.ts +17 -8
  312. package/src/internal/Entity/api.ts +7 -8
  313. package/src/internal/Entity/entity.ts +196 -47
  314. package/src/internal/Entity/guard.ts +26 -0
  315. package/src/internal/Entity/index.ts +2 -0
  316. package/src/internal/Entity/model.ts +37 -28
  317. package/src/internal/Entity/object.ts +21 -6
  318. package/src/internal/Entity/relation.ts +68 -34
  319. package/src/internal/Entity/type-kind.ts +75 -0
  320. package/src/internal/Entity/type-uri.ts +87 -0
  321. package/src/internal/Entity/util.ts +10 -9
  322. package/src/internal/Entity/version.ts +0 -1
  323. package/src/internal/Format/date.test.ts +0 -1
  324. package/src/internal/Format/date.ts +0 -4
  325. package/src/internal/Format/format.test.ts +21 -1
  326. package/src/internal/Format/index.ts +2 -3
  327. package/src/internal/Format/object.ts +21 -4
  328. package/src/internal/Format/types.ts +1 -1
  329. package/src/internal/JsonSchema/annotations.ts +1 -1
  330. package/src/internal/JsonSchema/json-schema-type.ts +1 -1
  331. package/src/internal/JsonSchema/json-schema.test.ts +55 -142
  332. package/src/internal/JsonSchema/json-schema.ts +44 -31
  333. package/src/internal/Obj/clone.ts +9 -4
  334. package/src/internal/Obj/create-object.test.ts +13 -13
  335. package/src/internal/Obj/create-object.ts +68 -24
  336. package/src/internal/Obj/deleted.ts +1 -1
  337. package/src/internal/Obj/index.ts +0 -1
  338. package/src/internal/Obj/inspect.ts +4 -3
  339. package/src/internal/Obj/json-serializer.test.ts +102 -24
  340. package/src/internal/Obj/json-serializer.ts +105 -43
  341. package/src/internal/Obj/set-value.test.ts +31 -54
  342. package/src/internal/Obj/set-value.ts +1 -1
  343. package/src/internal/Obj/snapshot.ts +11 -4
  344. package/src/internal/Obj/typed-object.test.ts +9 -11
  345. package/src/internal/Obj/typed-object.ts +1 -1
  346. package/src/internal/Query.ts +159 -0
  347. package/src/internal/Ref/ref-array.ts +3 -4
  348. package/src/internal/Ref/ref.test.ts +17 -27
  349. package/src/internal/Ref/ref.ts +124 -59
  350. package/src/internal/Type/compose.test.ts +3 -2
  351. package/src/internal/Type/index.ts +1 -2
  352. package/src/internal/Type/manipulation.ts +0 -25
  353. package/src/internal/Type/type-schema.ts +60 -0
  354. package/src/internal/common/README.md +2 -2
  355. package/src/internal/common/api/meta.ts +19 -17
  356. package/src/internal/common/proxy/change-context.ts +1 -1
  357. package/src/internal/common/proxy/change.test.ts +118 -110
  358. package/src/internal/common/proxy/errors.ts +2 -2
  359. package/src/internal/common/proxy/handler.test.ts +1 -3
  360. package/src/internal/common/proxy/json-serializer.ts +26 -16
  361. package/src/internal/common/proxy/make-object.ts +43 -21
  362. package/src/internal/common/proxy/ownership.ts +2 -3
  363. package/src/internal/common/proxy/reactive-array.ts +1 -1
  364. package/src/internal/common/proxy/reactive.test.ts +54 -0
  365. package/src/internal/common/proxy/reactive.ts +11 -3
  366. package/src/internal/common/proxy/schema.test.ts +48 -86
  367. package/src/internal/common/proxy/typed-handler.test.ts +12 -12
  368. package/src/internal/common/proxy/typed-handler.ts +79 -19
  369. package/src/internal/common/proxy/typed-object.test.ts +16 -29
  370. package/src/internal/common/types/base.ts +4 -4
  371. package/src/internal/common/types/entity.ts +81 -2
  372. package/src/internal/common/types/index.ts +6 -1
  373. package/src/internal/common/types/meta.ts +49 -15
  374. package/src/internal/common/types/model-symbols.ts +16 -4
  375. package/src/internal/common/types/typename.ts +39 -3
  376. package/src/internal/common/types/well-known-types.ts +15 -0
  377. package/src/internal/index.ts +6 -0
  378. package/src/testing/api.test.ts +15 -10
  379. package/src/testing/test-data.ts +159 -100
  380. package/src/testing/test-schema.ts +22 -58
  381. package/src/testing/util.ts +14 -11
  382. package/dist/lib/neutral/SchemaRegistry.mjs +0 -2
  383. package/dist/lib/neutral/chunk-43Y5DOS6.mjs.map +0 -7
  384. package/dist/lib/neutral/chunk-724GQYEN.mjs +0 -56
  385. package/dist/lib/neutral/chunk-724GQYEN.mjs.map +0 -7
  386. package/dist/lib/neutral/chunk-ANHVGJI4.mjs.map +0 -7
  387. package/dist/lib/neutral/chunk-B5OXLWZL.mjs.map +0 -7
  388. package/dist/lib/neutral/chunk-BNCCGLJN.mjs +0 -7
  389. package/dist/lib/neutral/chunk-BNCCGLJN.mjs.map +0 -7
  390. package/dist/lib/neutral/chunk-BOZZPUXE.mjs.map +0 -7
  391. package/dist/lib/neutral/chunk-CIRHIEMW.mjs.map +0 -7
  392. package/dist/lib/neutral/chunk-DYDJBZEG.mjs +0 -102
  393. package/dist/lib/neutral/chunk-DYDJBZEG.mjs.map +0 -7
  394. package/dist/lib/neutral/chunk-FXEG7EOK.mjs.map +0 -7
  395. package/dist/lib/neutral/chunk-KTAWP7GI.mjs.map +0 -7
  396. package/dist/lib/neutral/chunk-NEGC54NE.mjs +0 -130
  397. package/dist/lib/neutral/chunk-NEGC54NE.mjs.map +0 -7
  398. package/dist/lib/neutral/chunk-NQRLRYJM.mjs.map +0 -7
  399. package/dist/lib/neutral/chunk-NXMFBIT5.mjs.map +0 -7
  400. package/dist/lib/neutral/chunk-OENWMTE6.mjs +0 -45
  401. package/dist/lib/neutral/chunk-OENWMTE6.mjs.map +0 -7
  402. package/dist/lib/neutral/chunk-OMUPQMLR.mjs.map +0 -7
  403. package/dist/lib/neutral/chunk-RMLF7JOZ.mjs +0 -97
  404. package/dist/lib/neutral/chunk-RMLF7JOZ.mjs.map +0 -7
  405. package/dist/lib/neutral/chunk-SEMVAGBM.mjs +0 -355
  406. package/dist/lib/neutral/chunk-SEMVAGBM.mjs.map +0 -7
  407. package/dist/lib/neutral/chunk-TQQZLKB7.mjs.map +0 -7
  408. package/dist/lib/neutral/chunk-UBEZSGXY.mjs.map +0 -7
  409. package/dist/lib/neutral/chunk-UFDK26FO.mjs.map +0 -7
  410. package/dist/lib/neutral/chunk-VA2F47ZC.mjs +0 -152
  411. package/dist/lib/neutral/chunk-VA2F47ZC.mjs.map +0 -7
  412. package/dist/lib/neutral/chunk-WYOKA6AE.mjs.map +0 -7
  413. package/dist/lib/neutral/chunk-YWXWXIE5.mjs.map +0 -7
  414. package/dist/types/src/SchemaRegistry.d.ts +0 -84
  415. package/dist/types/src/SchemaRegistry.d.ts.map +0 -1
  416. package/dist/types/src/internal/Obj/ids.d.ts +0 -6
  417. package/dist/types/src/internal/Obj/ids.d.ts.map +0 -1
  418. package/dist/types/src/internal/Type/echo-schema.d.ts +0 -181
  419. package/dist/types/src/internal/Type/echo-schema.d.ts.map +0 -1
  420. package/dist/types/src/internal/Type/persistent-schema.d.ts +0 -20
  421. package/dist/types/src/internal/Type/persistent-schema.d.ts.map +0 -1
  422. package/src/SchemaRegistry.ts +0 -106
  423. package/src/internal/Obj/ids.ts +0 -12
  424. package/src/internal/Type/echo-schema.ts +0 -424
  425. package/src/internal/Type/persistent-schema.ts +0 -33
  426. /package/dist/lib/neutral/{SchemaRegistry.mjs.map → Migration.mjs.map} +0 -0
  427. /package/dist/lib/neutral/{chunk-UTBRYVQC.mjs.map → chunk-G6CFWUYH.mjs.map} +0 -0
  428. /package/dist/lib/neutral/{chunk-UI6MWK5W.mjs.map → chunk-TTCSATUD.mjs.map} +0 -0
@@ -0,0 +1,90 @@
1
+ //
2
+ // Copyright 2026 DXOS.org
3
+ //
4
+
5
+ import { describe, expect, test } from 'vitest';
6
+
7
+ import * as Filter from './Filter';
8
+
9
+ describe('Filter timestamp builders', () => {
10
+ test('updated({ after }) produces correct AST', () => {
11
+ const ts = 1700000000000;
12
+ const f = Filter.updated({ after: ts });
13
+ expect(f.ast).toEqual({ type: 'timestamp', field: 'updatedAt', operator: 'gte', value: ts });
14
+ });
15
+
16
+ test('updated({ before }) produces correct AST', () => {
17
+ const ts = 1700000000000;
18
+ const f = Filter.updated({ before: ts });
19
+ expect(f.ast).toEqual({ type: 'timestamp', field: 'updatedAt', operator: 'lte', value: ts });
20
+ });
21
+
22
+ test('created({ after }) produces correct AST', () => {
23
+ const ts = 1700000000000;
24
+ const f = Filter.created({ after: ts });
25
+ expect(f.ast).toEqual({ type: 'timestamp', field: 'createdAt', operator: 'gte', value: ts });
26
+ });
27
+
28
+ test('created({ before }) produces correct AST', () => {
29
+ const ts = 1700000000000;
30
+ const f = Filter.created({ before: ts });
31
+ expect(f.ast).toEqual({ type: 'timestamp', field: 'createdAt', operator: 'lte', value: ts });
32
+ });
33
+
34
+ test('updated() accepts Date objects', () => {
35
+ const date = new Date('2026-03-20T21:00:00Z');
36
+ const f = Filter.updated({ after: date });
37
+ expect(f.ast).toEqual({ type: 'timestamp', field: 'updatedAt', operator: 'gte', value: date.getTime() });
38
+ });
39
+
40
+ test('created() accepts Date objects', () => {
41
+ const date = new Date('2026-03-20T09:00:00Z');
42
+ const f = Filter.created({ before: date });
43
+ expect(f.ast).toEqual({ type: 'timestamp', field: 'createdAt', operator: 'lte', value: date.getTime() });
44
+ });
45
+
46
+ test('updated({ after, before }) produces AND of two timestamp nodes', () => {
47
+ const from = 1700000000000;
48
+ const to = 1700086400000;
49
+ const f = Filter.updated({ after: from, before: to });
50
+ expect(f.ast).toEqual({
51
+ type: 'and',
52
+ filters: [
53
+ { type: 'timestamp', field: 'updatedAt', operator: 'gte', value: from },
54
+ { type: 'timestamp', field: 'updatedAt', operator: 'lte', value: to },
55
+ ],
56
+ });
57
+ });
58
+
59
+ test('updated({ after, before }) accepts Date objects', () => {
60
+ const from = new Date('2026-03-19T00:00:00Z');
61
+ const to = new Date('2026-03-20T00:00:00Z');
62
+ const f = Filter.updated({ after: from, before: to });
63
+ expect(f.ast).toEqual({
64
+ type: 'and',
65
+ filters: [
66
+ { type: 'timestamp', field: 'updatedAt', operator: 'gte', value: from.getTime() },
67
+ { type: 'timestamp', field: 'updatedAt', operator: 'lte', value: to.getTime() },
68
+ ],
69
+ });
70
+ });
71
+
72
+ test('timestamp filters compose with and()', () => {
73
+ const typeFilter = Filter.everything();
74
+ const timeFilter = Filter.updated({ after: 1700000000000 });
75
+ const combined = Filter.and(typeFilter, timeFilter);
76
+ expect(combined.ast.type).toBe('and');
77
+ expect((combined.ast as any).filters).toHaveLength(2);
78
+ expect((combined.ast as any).filters[1]).toEqual({
79
+ type: 'timestamp',
80
+ field: 'updatedAt',
81
+ operator: 'gte',
82
+ value: 1700000000000,
83
+ });
84
+ });
85
+
86
+ test('timestamp filters pass the is() check', () => {
87
+ const f = Filter.updated({ after: Date.now() });
88
+ expect(Filter.is(f)).toBe(true);
89
+ });
90
+ });
package/src/Filter.ts CHANGED
@@ -11,14 +11,17 @@ import type * as Types from 'effect/Types';
11
11
 
12
12
  import { type ForeignKey, type QueryAST } from '@dxos/echo-protocol';
13
13
  import { assertArgument } from '@dxos/invariant';
14
- import { DXN, ObjectId } from '@dxos/keys';
14
+ import { DXN, EID, EntityId, type URI } from '@dxos/keys';
15
15
 
16
16
  import * as internal from './internal';
17
+ import type * as Obj from './Obj';
17
18
  import * as Ref from './Ref';
19
+ // eslint-disable-next-line @dxos/rules/import-as-namespace
20
+ import type * as Type$ from './Type';
18
21
 
19
22
  export interface Filter<T> {
20
23
  // TODO(dmaretskyi): See new effect-schema approach to variance.
21
- '~Filter': { value: Types.Contravariant<T> };
24
+ '~Filter': { value: Types.Covariant<T> };
22
25
 
23
26
  ast: QueryAST.Filter;
24
27
  }
@@ -76,11 +79,11 @@ export const nothing = (): FilterClass => {
76
79
  };
77
80
 
78
81
  /*
79
- * Filter by ObjectId.
82
+ * Filter by EntityId.
80
83
  */
81
- export const id = (...ids: ObjectId[]): Any => {
84
+ export const id = (...ids: EntityId[]): Any => {
82
85
  assertArgument(
83
- ids.every((id) => ObjectId.isValid(id)),
86
+ ids.every((id) => EntityId.isValid(id)),
84
87
  'ids',
85
88
  'ids must be valid',
86
89
  );
@@ -99,27 +102,46 @@ export const id = (...ids: ObjectId[]): Any => {
99
102
 
100
103
  /**
101
104
  * Filter by type.
105
+ *
106
+ * Accepts a `Type.Type` entity (the value produced by `Type.makeObject` /
107
+ * `Type.makeRelation`), a `Schema.Union` of such entities (for filtering across a
108
+ * union of ECHO types), or a non-qualified typename string.
102
109
  */
103
- export const type = <S extends Schema.Schema.All>(
104
- schema: S | string,
105
- props?: Props<Schema.Schema.Type<S>>,
106
- ): Filter<Schema.Schema.Type<S>> => {
107
- if (Schema.isSchema(schema) && SchemaAST.isUnion(schema.ast)) {
108
- const typenames = schema.ast.types.map((type) => internal.getTypeDXNFromSpecifier(Schema.make(type)));
110
+ export const type: {
111
+ <T extends Type$.AnyEntity>(type: T, props?: Props<Type$.InstanceType<T>>): Filter<Type$.InstanceType<T>>;
112
+ // Schema-side overload restricted to the well-known unknown schemas and to
113
+ // `Schema.Union(...)` of `Type.Type` entities (for filtering across a union
114
+ // of ECHO types). Other raw schemas are rejected.
115
+ <S extends internal.UnknownTypeSchema<any, any>>(
116
+ schema: S,
117
+ props?: Props<Schema.Schema.Type<S>>,
118
+ ): Filter<Schema.Schema.Type<S>>;
119
+ <S extends Schema.Union<readonly Schema.Schema.AnyNoContext[]>>(
120
+ union: S,
121
+ props?: Props<Schema.Schema.Type<S>>,
122
+ ): Filter<Schema.Schema.Type<S>>;
123
+ (schema: string, props?: Props<unknown>): Filter<any>;
124
+ // Passthrough overload for callers that hold a `Type.AnyEntity | string` union
125
+ // (e.g. Query.type / Query.sourceOf / Query.targetOf impls). Listed last so the
126
+ // typed overloads above still win for monomorphic inputs.
127
+ (input: Type$.AnyEntity | string, props?: Props<unknown>): Filter<unknown>;
128
+ } = (input: Type$.AnyEntity | Schema.Schema.AnyNoContext | string, props?: Props<unknown>): any => {
129
+ if (Schema.isSchema(input) && SchemaAST.isUnion(input.ast)) {
130
+ const typenames = input.ast.types.map((t) => internal.getTypeURIFromSpecifier(Schema.make(t)));
109
131
  return new FilterClass({
110
132
  type: 'or',
111
133
  filters: typenames.map((typename) => ({
112
134
  type: 'object',
113
- typename: typename.toString(),
135
+ typename,
114
136
  props: {},
115
137
  })),
116
138
  });
117
139
  }
118
140
 
119
- const dxn = internal.getTypeDXNFromSpecifier(schema);
141
+ const uri = internal.getTypeURIFromSpecifier(input);
120
142
  return new FilterClass({
121
143
  type: 'object',
122
- typename: dxn.toString(),
144
+ typename: uri,
123
145
  ...propsFilterToAst(props ?? {}),
124
146
  });
125
147
  };
@@ -131,18 +153,19 @@ export const typename = (typename: string): Any => {
131
153
  assertArgument(!typename.startsWith('dxn:'), 'typename', 'Typename must no be qualified');
132
154
  return new FilterClass({
133
155
  type: 'object',
134
- typename: DXN.fromTypename(typename).toString(),
156
+ typename: DXN.make(typename),
135
157
  props: {},
136
158
  });
137
159
  };
138
160
 
139
161
  /**
140
- * Filter by fully qualified type DXN.
162
+ * Filter by fully qualified type URI — either a typename DXN (for static schemas) or
163
+ * a schema-as-object EID (for stored dynamic schemas). See `getSchemaURI`.
141
164
  */
142
- export const typeDXN = (dxn: DXN): Any => {
165
+ export const typeURI = (uri: URI.URI): Any => {
143
166
  return new FilterClass({
144
167
  type: 'object',
145
- typename: dxn.toString(),
168
+ typename: uri,
146
169
  props: {},
147
170
  });
148
171
  };
@@ -157,6 +180,37 @@ export const tag = (tag: string): Any => {
157
180
  });
158
181
  };
159
182
 
183
+ /**
184
+ * Options for {@link key} filter.
185
+ */
186
+ export type KeyFilterOptions = {
187
+ /**
188
+ * Optional semver range expression (e.g. `^1.2.3`, `~2.0.0`, `>=1.0.0 <2.0.0`).
189
+ * Matches the object's meta `version` field against the range.
190
+ * If omitted, matches any version (including objects with no version).
191
+ */
192
+ version?: string;
193
+ };
194
+
195
+ /**
196
+ * Filter by registry key stored in object meta.
197
+ *
198
+ * @example
199
+ * ```ts
200
+ * Filter.key('org.example.type.foo');
201
+ * Filter.key('org.example.type.foo', { version: '^1.2.3' });
202
+ * ```
203
+ */
204
+ export const key = (key: string, options?: KeyFilterOptions): Any => {
205
+ return new FilterClass({
206
+ type: 'object',
207
+ typename: null,
208
+ props: {},
209
+ metaKey: key,
210
+ metaVersion: options?.version,
211
+ });
212
+ };
213
+
160
214
  /**
161
215
  * Filter by properties.
162
216
  */
@@ -191,14 +245,14 @@ export const text = (
191
245
  /**
192
246
  * Filter by foreign keys.
193
247
  */
194
- export const foreignKeys = <S extends Schema.Schema.All>(
195
- schema: S | string,
248
+ export const foreignKeys = <S extends Type$.AnyEntity | string>(
249
+ schema: S,
196
250
  keys: ForeignKey[],
197
- ): Filter<Schema.Schema.Type<S>> => {
198
- const dxn = internal.getTypeDXNFromSpecifier(schema);
251
+ ): Filter<S extends Type$.AnyEntity ? Type$.InstanceType<S> : unknown> => {
252
+ const uri = internal.getTypeURIFromSpecifier(schema);
199
253
  return new FilterClass({
200
254
  type: 'object',
201
- typename: dxn.toString(),
255
+ typename: uri,
202
256
  props: {},
203
257
  foreignKeys: keys,
204
258
  });
@@ -278,7 +332,7 @@ export const lte = <T>(value: T): Filter<T | undefined> => {
278
332
  * Predicate for property to be in the provided array.
279
333
  * @param values - Values to check against.
280
334
  */
281
- const in$ = <T>(...values: T[]): Filter<T | undefined> => {
335
+ const in$ = <T>(...values: T[]): Filter<T> => {
282
336
  return new FilterClass({
283
337
  type: 'in',
284
338
  values,
@@ -302,7 +356,7 @@ export const contains = <T>(value: T): Filter<readonly T[] | undefined> => {
302
356
  * @param from - Start of the range (inclusive).
303
357
  * @param to - End of the range (exclusive).
304
358
  */
305
- export const between = <T>(from: T, to: T): Filter<unknown> => {
359
+ export const between = <T>(from: T, to: T): Filter<T> => {
306
360
  return new FilterClass({
307
361
  type: 'range',
308
362
  from,
@@ -310,6 +364,63 @@ export const between = <T>(from: T, to: T): Filter<unknown> => {
310
364
  });
311
365
  };
312
366
 
367
+ type TimeRange = { after?: Date | number; before?: Date | number };
368
+
369
+ const _toUnixMs = (date: Date | number): number => (typeof date === 'number' ? date : date.getTime());
370
+
371
+ const _timeRangeFilter = (field: 'updatedAt' | 'createdAt', range: TimeRange): Any => {
372
+ const filters: Any[] = [];
373
+ if (range.after != null) {
374
+ filters.push(new FilterClass({ type: 'timestamp', field, operator: 'gte', value: _toUnixMs(range.after) }));
375
+ }
376
+ if (range.before != null) {
377
+ filters.push(new FilterClass({ type: 'timestamp', field, operator: 'lte', value: _toUnixMs(range.before) }));
378
+ }
379
+ if (filters.length === 0) {
380
+ return everything();
381
+ }
382
+ return filters.length === 1 ? filters[0] : and(...filters);
383
+ };
384
+
385
+ /**
386
+ * Filter objects by updatedAt timestamp.
387
+ */
388
+ export const updated = (range: TimeRange): Any => _timeRangeFilter('updatedAt', range);
389
+
390
+ /**
391
+ * Filter objects by createdAt timestamp.
392
+ */
393
+ export const created = (range: TimeRange): Any => _timeRangeFilter('createdAt', range);
394
+
395
+ export type ChildOfOptions = {
396
+ /** Whether to match transitively (grandchildren, etc.). Defaults to true. */
397
+ transitive?: boolean;
398
+ };
399
+
400
+ /**
401
+ * Filter objects that are children of the specified parent(s).
402
+ * Accepts ECHO objects, Refs, or arrays of either.
403
+ * Refs are resolved to DXNs without loading; objects use {@link Obj.getURI}.
404
+ * With transitive=true (default), also matches grandchildren and beyond.
405
+ */
406
+ export const childOf = (
407
+ parents: Obj.Unknown | Ref.Unknown | readonly (Obj.Unknown | Ref.Unknown)[],
408
+ options?: ChildOfOptions,
409
+ ): Any => {
410
+ const items = Array.isArray(parents) ? parents : [parents];
411
+ const dxns = items.map((item) => {
412
+ if (Ref.isRef(item)) {
413
+ return EID.parse(item.uri);
414
+ }
415
+ return internal.getUri(item);
416
+ });
417
+ return new FilterClass({
418
+ type: 'child-of',
419
+ parents: dxns,
420
+ transitive: options?.transitive ?? true,
421
+ });
422
+ };
423
+
313
424
  /**
314
425
  * Negate the filter.
315
426
  */
@@ -343,7 +454,7 @@ export const or = <Filters extends readonly Any[]>(...filters: Filters): Filter<
343
454
  // TODO(dmaretskyi): Add `Filter.match` to support pattern matching on string props.
344
455
 
345
456
  const propsFilterToAst = (predicates: Props<any>): Pick<QueryAST.FilterObject, 'id' | 'props'> => {
346
- let idFilter: readonly ObjectId[] | undefined;
457
+ let idFilter: readonly EntityId[] | undefined;
347
458
  if ('id' in predicates) {
348
459
  assertArgument(
349
460
  typeof predicates.id === 'string' || Array.isArray(predicates.id),
@@ -351,7 +462,7 @@ const propsFilterToAst = (predicates: Props<any>): Pick<QueryAST.FilterObject, '
351
462
  'invalid id filter',
352
463
  );
353
464
  idFilter = typeof predicates.id === 'string' ? [predicates.id] : predicates.id;
354
- Schema.Array(ObjectId).pipe(Schema.validateSync)(idFilter);
465
+ Schema.Array(EntityId).pipe(Schema.validateSync)(idFilter);
355
466
  }
356
467
 
357
468
  return {
@@ -389,3 +500,8 @@ const processPredicate = (predicate: any): QueryAST.Filter => {
389
500
  Match.orElse((value) => eq(value).ast),
390
501
  );
391
502
  };
503
+
504
+ /**
505
+ * Returns a human-readable string representation of a Filter AST.
506
+ */
507
+ export const pretty = (filter: Any): string => internal.prettyFilter(filter.ast);
package/src/Hypergraph.ts CHANGED
@@ -2,14 +2,14 @@
2
2
  // Copyright 2025 DXOS.org
3
3
  //
4
4
 
5
- import { type DXN } from '@dxos/keys';
5
+ import { type URI } from '@dxos/keys';
6
6
 
7
7
  import type * as Database from './Database';
8
8
  import type * as Entity from './Entity';
9
9
  import type * as internal from './internal';
10
10
  import type * as Key from './Key';
11
11
  import type * as Ref from './Ref';
12
- import type * as SchemaRegistry from './SchemaRegistry';
12
+ import type * as Registry from './Registry';
13
13
 
14
14
  /**
15
15
  * Resolution context.
@@ -22,10 +22,10 @@ export interface RefResolutionContext {
22
22
  space?: Key.SpaceId;
23
23
 
24
24
  /**
25
- * Queue that the resolution is happening from.
26
- * This queue will be searched first, and then the space it belongs to.
25
+ * Feed that the resolution is happening from.
26
+ * This feed will be searched first, and then the space it belongs to.
27
27
  */
28
- queue?: DXN;
28
+ feed?: URI.URI;
29
29
  }
30
30
 
31
31
  export interface RefResolverOptions {
@@ -46,7 +46,12 @@ export interface RefResolverOptions {
46
46
  * Manages cross-space database interactions.
47
47
  */
48
48
  export interface Hypergraph extends Database.Queryable {
49
- get schemaRegistry(): SchemaRegistry.SchemaRegistry;
49
+ /**
50
+ * In-process registry of keyed objects and static schema types.
51
+ * Populated at startup via `registry.add(objects)` / `registry.add(schemas)`.
52
+ * Queries that include no explicit from() clause will fan out to this registry automatically.
53
+ */
54
+ get registry(): Registry.Registry;
50
55
 
51
56
  /**
52
57
  * Query objects.
@@ -57,11 +62,11 @@ export interface Hypergraph extends Database.Queryable {
57
62
  * Creates a reference to an existing object in the database.
58
63
  *
59
64
  * NOTE: The reference may be dangling if the object is not present in the database.
60
- * NOTE: Difference from `Ref.fromDXN`
61
- * `Ref.fromDXN(dxn)` returns an unhydrated reference. The `.load` and `.target` APIs will not work.
65
+ * NOTE: Difference from `Ref.fromURI`
66
+ * `Ref.fromURI(dxn)` returns an unhydrated reference. The `.load` and `.target` APIs will not work.
62
67
  * `db.makeRef(dxn)` is preferable in cases with access to the database.
63
68
  */
64
- makeRef<T extends Entity.Unknown = Entity.Unknown>(dxn: DXN): Ref.Ref<T>;
69
+ makeRef<T extends Entity.Unknown = Entity.Unknown>(uri: URI.URI): Ref.Ref<T>;
65
70
 
66
71
  /**
67
72
  * @param hostDb Host database for reference resolution.
@@ -0,0 +1,175 @@
1
+ //
2
+ // Copyright 2026 DXOS.org
3
+ //
4
+
5
+ import { describe, expect, test } from 'vitest';
6
+
7
+ import { DXN, EID, EntityId } from '@dxos/keys';
8
+ import { safeStringify } from '@dxos/util';
9
+
10
+ import * as Database from './Database';
11
+ import * as Json from './Json';
12
+
13
+ /** Mint a random ECHO object id usable as both a stub-db key and a DXN payload. */
14
+ const newId = (): string => EntityId.random();
15
+
16
+ /** Build a fake encoded ref for a local-space object id. */
17
+ const encodeRef = (id: string): { '/': string } => ({ '/': EID.make({ entityId: id }) });
18
+
19
+ /** Minimal stub: `createRefReplacer` only touches `db.getObjectById`. */
20
+ const makeStubDb = (objects: Record<string, unknown>): Database.Database => {
21
+ return {
22
+ getObjectById: (id: string) => objects[id],
23
+ } as unknown as Database.Database;
24
+ };
25
+
26
+ /**
27
+ * Run a value through the replacer's public contract — `JSON.stringify(value, replacer)` —
28
+ * then re-parse the result so tests can assert on plain JS shapes. This mirrors the way
29
+ * the JSON highlighter invokes the replacer in production.
30
+ */
31
+ const stringifyWith = (replacer: Json.JsonReplacer, value: unknown): unknown =>
32
+ JSON.parse(JSON.stringify(value, replacer));
33
+
34
+ describe('createRefReplacer', () => {
35
+ test('passes plain values through unchanged', () => {
36
+ const replacer = Json.createRefReplacer({ db: makeStubDb({}) });
37
+ const subject = { a: 1, b: 'two', c: [3, { d: 4 }] };
38
+ expect(stringifyWith(replacer, subject)).toEqual(subject);
39
+ });
40
+
41
+ test('inlines refs at default depth (1)', () => {
42
+ const id = newId();
43
+ const target = { name: 'inlined' };
44
+ const replacer = Json.createRefReplacer({ db: makeStubDb({ [id]: target }) });
45
+ const subject = { ref: encodeRef(id) };
46
+ expect(stringifyWith(replacer, subject)).toEqual({ ref: target });
47
+ });
48
+
49
+ test('does not follow refs when depth is 0', () => {
50
+ const id = newId();
51
+ const target = { name: 'inlined' };
52
+ const ref = encodeRef(id);
53
+ const replacer = Json.createRefReplacer({ db: makeStubDb({ [id]: target }), depth: 0 });
54
+ expect(stringifyWith(replacer, { ref })).toEqual({ ref });
55
+ });
56
+
57
+ test('inlines refs across multiple levels up to depth', () => {
58
+ const innerId = newId();
59
+ const middleId = newId();
60
+ const inner = { name: 'inner' };
61
+ const middle = { ref: encodeRef(innerId) };
62
+ const outer = { ref: encodeRef(middleId) };
63
+ const db = makeStubDb({ [innerId]: inner, [middleId]: middle });
64
+
65
+ expect(stringifyWith(Json.createRefReplacer({ db, depth: 1 }), outer)).toEqual({
66
+ ref: { ref: encodeRef(innerId) },
67
+ });
68
+
69
+ expect(stringifyWith(Json.createRefReplacer({ db, depth: 2 }), outer)).toEqual({
70
+ ref: { ref: inner },
71
+ });
72
+ });
73
+
74
+ test('leaves refs encoded when the target is missing in the db', () => {
75
+ const ref = encodeRef(newId());
76
+ const replacer = Json.createRefReplacer({ db: makeStubDb({}) });
77
+ expect(stringifyWith(replacer, { ref })).toEqual({ ref });
78
+ });
79
+
80
+ test('leaves non-DXN single-key { "/": string } objects untouched', () => {
81
+ // Same `{ '/': string }` shape is used by other IPLD-style refs (e.g. CIDs); those should
82
+ // not crash the replacer and should pass through verbatim.
83
+ const cidLike = { '/': 'bafybeibwzifw7izxykxz' };
84
+ const replacer = Json.createRefReplacer({ db: makeStubDb({}) });
85
+ expect(stringifyWith(replacer, { ref: cidLike })).toEqual({ ref: cidLike });
86
+ });
87
+
88
+ test('leaves malformed dxn strings untouched', () => {
89
+ const malformed = { '/': 'dxn:not-a-real-dxn' };
90
+ const replacer = Json.createRefReplacer({ db: makeStubDb({}) });
91
+ expect(stringifyWith(replacer, { ref: malformed })).toEqual({ ref: malformed });
92
+ });
93
+
94
+ test('leaves non-echo dxns untouched (e.g. type DXN)', () => {
95
+ // Type DXNs share the `dxn:` prefix but `asEchoDXN()` returns undefined.
96
+ const typeRef = { '/': DXN.make('com.example.Thing') };
97
+ const replacer = Json.createRefReplacer({ db: makeStubDb({}) });
98
+ expect(stringifyWith(replacer, { ref: typeRef })).toEqual({ ref: typeRef });
99
+ });
100
+
101
+ test('inlines refs inside arrays', () => {
102
+ const idA = newId();
103
+ const idB = newId();
104
+ const a = { name: 'a' };
105
+ const b = { name: 'b' };
106
+ const replacer = Json.createRefReplacer({ db: makeStubDb({ [idA]: a, [idB]: b }) });
107
+ expect(stringifyWith(replacer, { items: [encodeRef(idA), encodeRef(idB), { plain: true }] })).toEqual({
108
+ items: [a, b, { plain: true }],
109
+ });
110
+ });
111
+
112
+ test('walks nested objects recursively', () => {
113
+ const innerId = newId();
114
+ const inner = { name: 'inner' };
115
+ const replacer = Json.createRefReplacer({ db: makeStubDb({ [innerId]: inner }) });
116
+ const subject = { outer: { mid: { ref: encodeRef(innerId) } } };
117
+ expect(stringifyWith(replacer, subject)).toEqual({ outer: { mid: { ref: inner } } });
118
+ });
119
+
120
+ test('a single replacer invocation does not recurse on its own', () => {
121
+ // The replacer is per-call; JSON.stringify drives the tree walk. Calling the replacer
122
+ // directly on a cyclic input must therefore return without touching the cycle.
123
+ const replacer = Json.createRefReplacer({ db: makeStubDb({}) });
124
+ const node: any = { name: 'self' };
125
+ node.self = node;
126
+
127
+ expect(() => replacer('', node)).not.toThrow();
128
+ expect(replacer('', node)).toBe(node);
129
+ });
130
+
131
+ test('invokes `toJSON` on resolved targets so refs in the target are re-walked', () => {
132
+ // Simulates the ECHO-object branch: `db.getObjectById` returns a live proxy, the replacer
133
+ // calls `.toJSON()` to get the encoded form, then continues walking that form. A ref nested
134
+ // inside the target should be inlined when there's depth budget remaining.
135
+ const outerId = newId();
136
+ const innerId = newId();
137
+ const inner = { name: 'inner' };
138
+ const target = {
139
+ toJSON: () => ({ nestedRef: encodeRef(innerId) }),
140
+ };
141
+ const replacer = Json.createRefReplacer({ db: makeStubDb({ [outerId]: target, [innerId]: inner }), depth: 2 });
142
+ expect(stringifyWith(replacer, { ref: encodeRef(outerId) })).toEqual({
143
+ ref: { nestedRef: inner },
144
+ });
145
+ });
146
+
147
+ test('depth budget counts ref hops, not tree depth — a ref deep in a plain tree still resolves', () => {
148
+ // A ref nested under arbitrarily many plain objects is one ref hop from the root, so
149
+ // `depth: 1` resolves it. `depth: 0` leaves it encoded.
150
+ const innerId = newId();
151
+ const inner = { name: 'inner' };
152
+ const subject = { a: { b: { c: { d: { ref: encodeRef(innerId) } } } } };
153
+
154
+ const inlining = Json.createRefReplacer({ db: makeStubDb({ [innerId]: inner }), depth: 1 });
155
+ expect(stringifyWith(inlining, subject)).toEqual({ a: { b: { c: { d: { ref: inner } } } } });
156
+
157
+ const passthrough = Json.createRefReplacer({ db: makeStubDb({ [innerId]: inner }), depth: 0 });
158
+ expect(stringifyWith(passthrough, subject)).toEqual(subject);
159
+ });
160
+
161
+ test('inlines refs when invoked through safeStringify (production path)', () => {
162
+ // `JsonHighlighter` runs the replacer through `@dxos/util/safeStringify`, whose inner
163
+ // wrapper short-circuits the root call without forwarding it to the user's filter. The
164
+ // replacer must therefore work on a per-call basis — not as a one-shot root tree walk.
165
+ // This regression-tests that integration: the `content` ref must inline.
166
+ const targetId = newId();
167
+ const target = { toJSON: () => ({ name: 'README content' }) };
168
+ const document = { id: '01ABC', name: 'README', content: encodeRef(targetId) };
169
+
170
+ const replacer = Json.createRefReplacer({ db: makeStubDb({ [targetId]: target }) });
171
+ const out = JSON.parse(safeStringify(document, replacer, 0)!);
172
+
173
+ expect(out).toEqual({ id: '01ABC', name: 'README', content: { name: 'README content' } });
174
+ });
175
+ });