@factoidal/core 0.7.1 → 0.11.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (195) hide show
  1. package/CHANGELOG.md +616 -1
  2. package/NOTICE +2 -21
  3. package/README.md +123 -993
  4. package/api.d.ts +53 -0
  5. package/api.js +5 -0
  6. package/api.mjs +56 -0
  7. package/bin/engine.mjs +38 -19
  8. package/bin/ext.mjs +16 -20
  9. package/bin/factoidal.mjs +667 -118
  10. package/bin/pack.mjs +37 -0
  11. package/bin/serve-worker.mjs +32 -0
  12. package/bin/serve.mjs +423 -0
  13. package/bin/store-worker-host.mjs +1 -1
  14. package/bin/store.mjs +1 -1
  15. package/browser.d.ts +114 -507
  16. package/browser.js +155 -2257
  17. package/docs/fuseki-replacement.md +108 -0
  18. package/fn.d.ts +25 -96
  19. package/fn.js +131 -240
  20. package/index.d.ts +620 -260
  21. package/index.js +4 -234
  22. package/index.mjs +180 -84
  23. package/l4-assets/l4factoidal.js +47 -7
  24. package/l4-assets/l4factoidal.mjs +1 -1
  25. package/l4-assets/l4factoidal.wasm +0 -0
  26. package/l4-assets/version.json +11 -7
  27. package/lib/api.mjs +2337 -0
  28. package/lib/browser-engine.mjs +69 -0
  29. package/lib/dataset.mjs +471 -0
  30. package/lib/delta-log-hosts.mjs +191 -0
  31. package/lib/lean-entry.mjs +213 -0
  32. package/lib/pure.mjs +98 -0
  33. package/lib/store.mjs +115 -0
  34. package/lib/version.mjs +5 -0
  35. package/lws/README.md +137 -0
  36. package/lws/persist.mjs +78 -0
  37. package/lws/server.mjs +416 -0
  38. package/package.json +59 -61
  39. package/rdfjs.js +5 -536
  40. package/rdfjs.mjs +517 -0
  41. package/sample-store.d.ts +8 -16
  42. package/sample-store.mjs +39 -29
  43. package/solid/client/README.md +100 -0
  44. package/solid/client/index.mjs +293 -0
  45. package/solid/server/README.md +96 -0
  46. package/solid/server/index.mjs +395 -0
  47. package/store-host/deno.mjs +8 -0
  48. package/store-host/index.mjs +12 -0
  49. package/store-host/node.mjs +8 -0
  50. package/xmpp/README.md +107 -0
  51. package/xmpp/index.mjs +229 -0
  52. package/browser-wasm.js +0 -872
  53. package/factoidal-npm-entry.js +0 -15477
  54. package/factoidal-npm-entry.wasm.assets/code-5a7fc68f2ab1323718b8.wasm +0 -0
  55. package/factoidal-npm-entry.wasm.js +0 -455
  56. package/factoidal.js +0 -13118
  57. package/factoidal.wasm.assets/code-bbe6099bfb5b10c4c3ab.wasm +0 -0
  58. package/factoidal.wasm.js +0 -457
  59. package/hacl-init.js +0 -92
  60. package/hacl-wasm/FStar.wasm +0 -0
  61. package/hacl-wasm/Hacl_Bignum.wasm +0 -0
  62. package/hacl-wasm/Hacl_Bignum25519_51.wasm +0 -0
  63. package/hacl-wasm/Hacl_Bignum_Base.wasm +0 -0
  64. package/hacl-wasm/Hacl_Curve25519_51.wasm +0 -0
  65. package/hacl-wasm/Hacl_Ed25519.wasm +0 -0
  66. package/hacl-wasm/Hacl_Ed25519_PrecompTable.wasm +0 -0
  67. package/hacl-wasm/Hacl_Hash_Base.wasm +0 -0
  68. package/hacl-wasm/Hacl_Hash_SHA2.wasm +0 -0
  69. package/hacl-wasm/Hacl_IntTypes_Intrinsics.wasm +0 -0
  70. package/hacl-wasm/LowStar_Endianness.wasm +0 -0
  71. package/hacl-wasm/WasmSupport.wasm +0 -0
  72. package/hacl-wasm/api.js +0 -775
  73. package/hacl-wasm/api.json +0 -3787
  74. package/hacl-wasm/layouts.json +0 -1
  75. package/hacl-wasm/loader.js +0 -568
  76. package/hacl-wasm/shell.js +0 -12
  77. package/l4-core.d.ts +0 -159
  78. package/l4-core.js +0 -188
  79. package/l4.d.ts +0 -50
  80. package/l4.js +0 -104
  81. package/lib/api.js +0 -2300
  82. package/lib/engine-js.js +0 -165
  83. package/lib/engine-wasm.js +0 -300
  84. package/sample-store/CURRENT +0 -1
  85. package/sample-store/gen-1/manifest.sbm2 +0 -0
  86. package/sample-store/gen-1/manifest.tsv +0 -14
  87. package/sample-store/gen-1/predicate-0.ibk3 +0 -0
  88. package/sample-store/gen-1/predicate-0.ibk3.merkle +0 -1
  89. package/sample-store/gen-1/predicate-0.ibk3.oli2 +0 -0
  90. package/sample-store/gen-1/predicate-0.ibk3.oli2.merkle +0 -1
  91. package/sample-store/gen-1/predicate-0.ibk3.sri2 +0 -0
  92. package/sample-store/gen-1/predicate-0.ibk3.sri2.merkle +0 -1
  93. package/sample-store/gen-1/predicate-0.ibk3.tli1 +0 -0
  94. package/sample-store/gen-1/predicate-0.ibk3.tli1.merkle +0 -0
  95. package/sample-store/gen-1/predicate-1.ibk3 +0 -0
  96. package/sample-store/gen-1/predicate-1.ibk3.merkle +0 -0
  97. package/sample-store/gen-1/predicate-1.ibk3.oli2 +0 -0
  98. package/sample-store/gen-1/predicate-1.ibk3.oli2.merkle +0 -0
  99. package/sample-store/gen-1/predicate-1.ibk3.sri2 +0 -0
  100. package/sample-store/gen-1/predicate-1.ibk3.sri2.merkle +0 -1
  101. package/sample-store/gen-1/predicate-1.ibk3.tli1 +0 -0
  102. package/sample-store/gen-1/predicate-1.ibk3.tli1.merkle +0 -1
  103. package/sample-store/gen-1/predicate-10.ibk3 +0 -0
  104. package/sample-store/gen-1/predicate-10.ibk3.merkle +0 -1
  105. package/sample-store/gen-1/predicate-10.ibk3.oli2 +0 -0
  106. package/sample-store/gen-1/predicate-10.ibk3.oli2.merkle +0 -0
  107. package/sample-store/gen-1/predicate-10.ibk3.sri2 +0 -0
  108. package/sample-store/gen-1/predicate-10.ibk3.sri2.merkle +0 -1
  109. package/sample-store/gen-1/predicate-10.ibk3.tli1 +0 -0
  110. package/sample-store/gen-1/predicate-10.ibk3.tli1.merkle +0 -1
  111. package/sample-store/gen-1/predicate-11.ibk3 +0 -0
  112. package/sample-store/gen-1/predicate-11.ibk3.merkle +0 -0
  113. package/sample-store/gen-1/predicate-11.ibk3.oli2 +0 -0
  114. package/sample-store/gen-1/predicate-11.ibk3.oli2.merkle +0 -1
  115. package/sample-store/gen-1/predicate-11.ibk3.sri2 +0 -0
  116. package/sample-store/gen-1/predicate-11.ibk3.sri2.merkle +0 -1
  117. package/sample-store/gen-1/predicate-11.ibk3.tli1 +0 -0
  118. package/sample-store/gen-1/predicate-11.ibk3.tli1.merkle +0 -1
  119. package/sample-store/gen-1/predicate-12.ibk3 +0 -0
  120. package/sample-store/gen-1/predicate-12.ibk3.merkle +0 -1
  121. package/sample-store/gen-1/predicate-12.ibk3.oli2 +0 -0
  122. package/sample-store/gen-1/predicate-12.ibk3.oli2.merkle +0 -1
  123. package/sample-store/gen-1/predicate-12.ibk3.sri2 +0 -0
  124. package/sample-store/gen-1/predicate-12.ibk3.sri2.merkle +0 -1
  125. package/sample-store/gen-1/predicate-12.ibk3.tli1 +0 -0
  126. package/sample-store/gen-1/predicate-12.ibk3.tli1.merkle +0 -1
  127. package/sample-store/gen-1/predicate-2.ibk3 +0 -0
  128. package/sample-store/gen-1/predicate-2.ibk3.merkle +0 -1
  129. package/sample-store/gen-1/predicate-2.ibk3.oli2 +0 -0
  130. package/sample-store/gen-1/predicate-2.ibk3.oli2.merkle +0 -1
  131. package/sample-store/gen-1/predicate-2.ibk3.sri2 +0 -0
  132. package/sample-store/gen-1/predicate-2.ibk3.sri2.merkle +0 -0
  133. package/sample-store/gen-1/predicate-2.ibk3.tli1 +0 -0
  134. package/sample-store/gen-1/predicate-2.ibk3.tli1.merkle +0 -0
  135. package/sample-store/gen-1/predicate-3.ibk3 +0 -0
  136. package/sample-store/gen-1/predicate-3.ibk3.merkle +0 -1
  137. package/sample-store/gen-1/predicate-3.ibk3.oli2 +0 -0
  138. package/sample-store/gen-1/predicate-3.ibk3.oli2.merkle +0 -1
  139. package/sample-store/gen-1/predicate-3.ibk3.sri2 +0 -0
  140. package/sample-store/gen-1/predicate-3.ibk3.sri2.merkle +0 -1
  141. package/sample-store/gen-1/predicate-3.ibk3.tli1 +0 -0
  142. package/sample-store/gen-1/predicate-3.ibk3.tli1.merkle +0 -1
  143. package/sample-store/gen-1/predicate-4.ibk3 +0 -0
  144. package/sample-store/gen-1/predicate-4.ibk3.merkle +0 -0
  145. package/sample-store/gen-1/predicate-4.ibk3.oli2 +0 -0
  146. package/sample-store/gen-1/predicate-4.ibk3.oli2.merkle +0 -1
  147. package/sample-store/gen-1/predicate-4.ibk3.sri2 +0 -0
  148. package/sample-store/gen-1/predicate-4.ibk3.sri2.merkle +0 -1
  149. package/sample-store/gen-1/predicate-4.ibk3.tli1 +0 -0
  150. package/sample-store/gen-1/predicate-4.ibk3.tli1.merkle +0 -2
  151. package/sample-store/gen-1/predicate-5.ibk3 +0 -0
  152. package/sample-store/gen-1/predicate-5.ibk3.merkle +0 -1
  153. package/sample-store/gen-1/predicate-5.ibk3.oli2 +0 -0
  154. package/sample-store/gen-1/predicate-5.ibk3.oli2.merkle +0 -1
  155. package/sample-store/gen-1/predicate-5.ibk3.sri2 +0 -0
  156. package/sample-store/gen-1/predicate-5.ibk3.sri2.merkle +0 -1
  157. package/sample-store/gen-1/predicate-5.ibk3.tli1 +0 -0
  158. package/sample-store/gen-1/predicate-5.ibk3.tli1.merkle +0 -1
  159. package/sample-store/gen-1/predicate-6.ibk3 +0 -0
  160. package/sample-store/gen-1/predicate-6.ibk3.merkle +0 -1
  161. package/sample-store/gen-1/predicate-6.ibk3.oli2 +0 -0
  162. package/sample-store/gen-1/predicate-6.ibk3.oli2.merkle +0 -1
  163. package/sample-store/gen-1/predicate-6.ibk3.sri2 +0 -0
  164. package/sample-store/gen-1/predicate-6.ibk3.sri2.merkle +0 -1
  165. package/sample-store/gen-1/predicate-6.ibk3.tli1 +0 -0
  166. package/sample-store/gen-1/predicate-6.ibk3.tli1.merkle +0 -0
  167. package/sample-store/gen-1/predicate-7.ibk3 +0 -0
  168. package/sample-store/gen-1/predicate-7.ibk3.merkle +0 -0
  169. package/sample-store/gen-1/predicate-7.ibk3.oli2 +0 -0
  170. package/sample-store/gen-1/predicate-7.ibk3.oli2.merkle +0 -2
  171. package/sample-store/gen-1/predicate-7.ibk3.sri2 +0 -0
  172. package/sample-store/gen-1/predicate-7.ibk3.sri2.merkle +0 -1
  173. package/sample-store/gen-1/predicate-7.ibk3.tli1 +0 -0
  174. package/sample-store/gen-1/predicate-7.ibk3.tli1.merkle +0 -1
  175. package/sample-store/gen-1/predicate-8.ibk3 +0 -0
  176. package/sample-store/gen-1/predicate-8.ibk3.merkle +0 -1
  177. package/sample-store/gen-1/predicate-8.ibk3.oli2 +0 -0
  178. package/sample-store/gen-1/predicate-8.ibk3.oli2.merkle +0 -1
  179. package/sample-store/gen-1/predicate-8.ibk3.sri2 +0 -0
  180. package/sample-store/gen-1/predicate-8.ibk3.sri2.merkle +0 -1
  181. package/sample-store/gen-1/predicate-8.ibk3.tli1 +0 -0
  182. package/sample-store/gen-1/predicate-8.ibk3.tli1.merkle +0 -1
  183. package/sample-store/gen-1/predicate-9.ibk3 +0 -0
  184. package/sample-store/gen-1/predicate-9.ibk3.merkle +0 -1
  185. package/sample-store/gen-1/predicate-9.ibk3.oli2 +0 -0
  186. package/sample-store/gen-1/predicate-9.ibk3.oli2.merkle +0 -1
  187. package/sample-store/gen-1/predicate-9.ibk3.sri2 +0 -0
  188. package/sample-store/gen-1/predicate-9.ibk3.sri2.merkle +0 -3
  189. package/sample-store/gen-1/predicate-9.ibk3.tli1 +0 -0
  190. package/sample-store/gen-1/predicate-9.ibk3.tli1.merkle +0 -2
  191. package/select.d.ts +0 -116
  192. package/select.js +0 -492
  193. package/version.json +0 -102
  194. package/wasm.d.ts +0 -130
  195. package/wasm.js +0 -158
package/package.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "name": "@factoidal/core",
3
- "version": "0.7.1",
4
- "description": "Factoidal: a linked information system with graph data and the Web at its heart - RDF parsing, SPARQL 1.1 query, canonicalization and entailment for Node and the browser (JS + Wasm), grounded in F* and Lean 4. Parser and algebra spec verified in F*; on-disk backend has unverified OCaml-side optimization layers being migrated back to F*.",
3
+ "version": "0.11.0",
4
+ "description": "RDF parsing and writing (Turtle, TriG, N-Triples, N-Quads, RDF/XML, JSON-LD), SPARQL 1.1 and 1.2, RDFS and OWL reasoning, SHACL and ShEx validation, CSVW and RML mapping, RDFC-1.0, and SPARQL, LWS and Solid servers, for Node, Deno and browsers.",
5
5
  "keywords": [
6
6
  "sparql",
7
7
  "rdf",
@@ -10,9 +10,15 @@
10
10
  "nquads",
11
11
  "trig",
12
12
  "rdf-xml",
13
- "fstar",
14
- "formal-verification",
15
- "semantic-web"
13
+ "semantic-web",
14
+ "webassembly",
15
+ "shacl",
16
+ "json-ld",
17
+ "owl",
18
+ "shex",
19
+ "csvw",
20
+ "linked-data",
21
+ "solid"
16
22
  ],
17
23
  "homepage": "https://github.com/danbri/factoidal",
18
24
  "bugs": {
@@ -22,8 +28,7 @@
22
28
  "author": "Dan Brickley <danbri@danbri.org>",
23
29
  "repository": {
24
30
  "type": "git",
25
- "url": "git+https://github.com/danbri/factoidal.git",
26
- "directory": "npm/factoidal"
31
+ "url": "git+https://github.com/danbri/factoidal-builds.git"
27
32
  },
28
33
  "main": "./index.js",
29
34
  "module": "./index.mjs",
@@ -40,11 +45,17 @@
40
45
  "require": "./index.js",
41
46
  "default": "./index.js"
42
47
  },
43
- "./wasm": {
44
- "types": "./wasm.d.ts",
45
- "default": "./wasm.js"
48
+ "./api": {
49
+ "types": "./api.d.ts",
50
+ "import": "./api.mjs",
51
+ "require": "./api.js",
52
+ "default": "./api.js"
53
+ },
54
+ "./rdfjs": {
55
+ "import": "./rdfjs.mjs",
56
+ "require": "./rdfjs.js",
57
+ "default": "./rdfjs.js"
46
58
  },
47
- "./rdfjs": "./rdfjs.js",
48
59
  "./fn": {
49
60
  "types": "./fn.d.ts",
50
61
  "default": "./fn.js"
@@ -53,95 +64,82 @@
53
64
  "types": "./browser.d.ts",
54
65
  "default": "./browser.js"
55
66
  },
56
- "./browser-wasm": {
57
- "browser": "./browser-wasm.js",
58
- "default": "./browser-wasm.js"
59
- },
60
- "./factoidal.js": "./factoidal.js",
61
- "./factoidal.wasm.js": "./factoidal.wasm.js",
62
- "./factoidal.wasm.assets/*": "./factoidal.wasm.assets/*",
63
67
  "./package.json": "./package.json",
64
- "./l4": {
65
- "types": "./l4.d.ts",
66
- "default": "./l4.js"
67
- },
68
- "./l4-core": {
69
- "types": "./l4-core.d.ts",
70
- "default": "./l4-core.js"
71
- },
72
68
  "./l4-assets/*": "./l4-assets/*",
73
69
  "./store-host": "./store-host/index.mjs",
74
70
  "./store-host/paths": "./store-host/paths.mjs",
75
- "./select": {
76
- "types": "./select.d.ts",
77
- "default": "./select.js"
78
- },
79
- "./sample-store": {
80
- "types": "./sample-store.d.ts",
81
- "default": "./sample-store.mjs"
82
- },
71
+ "./xmpp": "./xmpp/index.mjs",
83
72
  "./store": {
84
73
  "default": "./bin/store.mjs"
85
74
  },
86
75
  "./store-worker": {
87
76
  "default": "./bin/store-worker-host.mjs"
88
77
  },
78
+ "./serve": {
79
+ "default": "./bin/serve.mjs"
80
+ },
89
81
  "./pack": {
90
82
  "default": "./bin/pack.mjs"
91
83
  },
92
84
  "./engine": {
93
85
  "default": "./bin/engine.mjs"
86
+ },
87
+ "./lws": {
88
+ "default": "./lws/server.mjs"
89
+ },
90
+ "./solid/server": {
91
+ "default": "./solid/server/index.mjs"
92
+ },
93
+ "./solid/client": {
94
+ "default": "./solid/client/index.mjs"
95
+ },
96
+ "./sample-store": {
97
+ "types": "./sample-store.d.ts",
98
+ "default": "./sample-store.mjs"
94
99
  }
95
100
  },
96
101
  "files": [
97
102
  "index.js",
98
103
  "index.mjs",
99
104
  "index.d.ts",
100
- "wasm.js",
101
- "wasm.d.ts",
105
+ "api.js",
106
+ "api.mjs",
107
+ "api.d.ts",
102
108
  "rdfjs.js",
109
+ "rdfjs.mjs",
103
110
  "fn.js",
104
111
  "fn.d.ts",
105
- "l4.js",
106
- "l4.d.ts",
107
- "l4-core.js",
108
- "l4-core.d.ts",
112
+ "browser.js",
113
+ "browser.d.ts",
109
114
  "l4-assets/",
110
- "select.js",
111
- "select.d.ts",
115
+ "!l4-assets/l4factoidal-core.*",
112
116
  "lib/",
113
117
  "bin/",
118
+ "lws/",
119
+ "solid/",
114
120
  "store-host/",
115
- "browser.js",
116
- "browser.d.ts",
117
- "browser-wasm.js",
118
- "factoidal.js",
119
- "factoidal.wasm.js",
120
- "factoidal.wasm.assets/",
121
- "factoidal-npm-entry.js",
122
- "factoidal-npm-entry.wasm.js",
123
- "factoidal-npm-entry.wasm.assets/",
124
- "hacl-init.js",
125
- "hacl-wasm/",
126
- "version.json",
121
+ "xmpp/",
122
+ "sample-store.mjs",
123
+ "sample-store.d.ts",
124
+ "docs/",
127
125
  "README.md",
128
126
  "CHANGELOG.md",
129
127
  "LICENSE",
130
- "sample-store.mjs",
131
- "sample-store.d.ts",
132
- "sample-store/",
133
128
  "NOTICE"
134
129
  ],
135
130
  "engines": {
136
- "node": ">=20"
131
+ "node": ">=22.12"
137
132
  },
138
133
  "sideEffects": false,
139
134
  "scripts": {
140
- "build": "cd ../../formal/fstar && ./build-ocaml.sh npm",
141
- "test": "node --test 'test/*.test.js'",
142
- "test:smoke": "node test/smoke.js && node test/smoke-wasm.mjs",
135
+ "build": "bash ../../formal/lean4/Wasm/build-wasm.sh",
136
+ "test": "node --test 'test/*.test.js' 'test/*.test.mjs'",
137
+ "test:speed": "node ../../tests/perf/npm_speed_gate.mjs",
143
138
  "prepublishOnly": "npm test"
144
139
  },
140
+ "devDependencies": {
141
+ "esbuild": "^0.28.2"
142
+ },
145
143
  "publishConfig": {
146
144
  "access": "public"
147
145
  }