+7

index.html

reviewed

··· 67 67 .inline-rule { 68 68 white-space:nowrap; 69 69 } 70 70 + .proof-goal:focused { 71 71 + border: 1px dashed black; 72 72 + } 73 73 + .sidebar { 74 74 + position: fixed; 75 75 + bottom: 0; 76 76 + } 70 77 .axiom { 71 78 display:inline-block; 72 79 margin-right:10px;

+400 -351

package-lock.json

reviewed

··· 833 833 } 834 834 }, 835 835 "node_modules/@eslint/eslintrc": { 836 836 - "version": "3.3.3", 837 837 - "resolved": "https://registry.npmjs.org/@eslint/eslintrc/-/eslintrc-3.3.3.tgz", 838 838 - "integrity": "sha512-Kr+LPIUVKz2qkx1HAMH8q1q6azbqBAsXJUxBl/ODDuVPX45Z9DfwB8tPjTi6nNZ8BuM3nbJxC5zCAg5elnBUTQ==", 836 836 + "version": "3.3.4", 837 837 + "resolved": "https://registry.npmjs.org/@eslint/eslintrc/-/eslintrc-3.3.4.tgz", 838 838 + "integrity": "sha512-4h4MVF8pmBsncB60r0wSJiIeUKTSD4m7FmTFThG8RHlsg9ajqckLm9OraguFGZE4vVdpiI1Q4+hFnisopmG6gQ==", 839 839 "dev": true, 840 840 "license": "MIT", 841 841 "dependencies": { 842 842 - "ajv": "^6.12.4", 842 842 + "ajv": "^6.14.0", 843 843 "debug": "^4.3.2", 844 844 "espree": "^10.0.1", 845 845 "globals": "^14.0.0", 846 846 "ignore": "^5.2.0", 847 847 "import-fresh": "^3.2.1", 848 848 "js-yaml": "^4.1.1", 849 849 - "minimatch": "^3.1.2", 849 849 + "minimatch": "^3.1.3", 850 850 "strip-json-comments": "^3.1.1" 851 851 }, 852 852 "engines": { ··· 870 870 } 871 871 }, 872 872 "node_modules/@eslint/js": { 873 873 - "version": "9.39.2", 874 874 - "resolved": "https://registry.npmjs.org/@eslint/js/-/js-9.39.2.tgz", 875 875 - "integrity": "sha512-q1mjIoW1VX4IvSocvM/vbTiveKC4k9eLrajNEuSsmjymSDEbpGddtpfOoN7YGAqBK3NG+uqo8ia4PDTt8buCYA==", 873 873 + "version": "9.39.3", 874 874 + "resolved": "https://registry.npmjs.org/@eslint/js/-/js-9.39.3.tgz", 875 875 + "integrity": "sha512-1B1VkCq6FuUNlQvlBYb+1jDu/gV297TIs/OeiaSR9l1H27SVW55ONE1e1Vp16NqP683+xEGzxYtv4XCiDPaQiw==", 876 876 "dev": true, 877 877 "license": "MIT", 878 878 "engines": { ··· 1081 1081 } 1082 1082 }, 1083 1083 "node_modules/@rescript/darwin-arm64": { 1084 1084 - "version": "12.1.0", 1085 1085 - "resolved": "https://registry.npmjs.org/@rescript/darwin-arm64/-/darwin-arm64-12.1.0.tgz", 1086 1086 - "integrity": "sha512-OuJMT+2h2Lp60n8ONFx1oBAAePSVkM9zl7E/EX4VD2xkQoVTPklz0BpHYOICnFJSCOOdbOhbsTBXdLpo3yvllg==", 1084 1084 + "version": "12.2.0", 1085 1085 + "resolved": "https://registry.npmjs.org/@rescript/darwin-arm64/-/darwin-arm64-12.2.0.tgz", 1086 1086 + "integrity": "sha512-xc3K/J7Ujl1vPiFY2009mRf3kWRlUe/VZyJWprseKxlcEtUQv89ter7r6pY+YFbtYvA/fcaEncL9CVGEdattAg==", 1087 1087 "cpu": [ 1088 1088 "arm64" 1089 1089 ], 1090 1090 + "license": "(LGPL-3.0-or-later AND MIT)", 1090 1091 "optional": true, 1091 1092 "os": [ 1092 1093 "darwin" ··· 1096 1097 } 1097 1098 }, 1098 1099 "node_modules/@rescript/darwin-x64": { 1099 1099 - "version": "12.1.0", 1100 1100 - "resolved": "https://registry.npmjs.org/@rescript/darwin-x64/-/darwin-x64-12.1.0.tgz", 1101 1101 - "integrity": "sha512-r5Iv4ga+LaNq+6g9LODwZG4bwydd9UDXACP/HKxOfrP9XQCITlF/XqB1ZDJWyJOgJLZSJCd7erlG38YtB0VZKA==", 1100 1100 + "version": "12.2.0", 1101 1101 + "resolved": "https://registry.npmjs.org/@rescript/darwin-x64/-/darwin-x64-12.2.0.tgz", 1102 1102 + "integrity": "sha512-qqcTvnlSeoKkywLjG7cXfYvKZ1e4Gz2kUKcD6SiqDgCqm8TF+spwlFAiM6sloRUOFsc0bpC/0R0B3yr01FCB1A==", 1102 1103 "cpu": [ 1103 1104 "x64" 1104 1105 ], 1106 1106 + "license": "(LGPL-3.0-or-later AND MIT)", 1105 1107 "optional": true, 1106 1108 "os": [ 1107 1109 "darwin" ··· 1111 1113 } 1112 1114 }, 1113 1115 "node_modules/@rescript/linux-arm64": { 1114 1114 - "version": "12.1.0", 1115 1115 - "resolved": "https://registry.npmjs.org/@rescript/linux-arm64/-/linux-arm64-12.1.0.tgz", 1116 1116 - "integrity": "sha512-UTZv4GTjbyQ/T5LQDfQiGcumK3SzE1K7+ug6gWpDcGZ7ALc7hCS6BVEFL/LDs8iWVwAwkK/6r456s2zRnvS7wQ==", 1116 1116 + "version": "12.2.0", 1117 1117 + "resolved": "https://registry.npmjs.org/@rescript/linux-arm64/-/linux-arm64-12.2.0.tgz", 1118 1118 + "integrity": "sha512-ODmpG3ji+Nj/8d5yvXkeHlfKkmbw1Q4t1iIjVuNwtmFpz7TiEa7n/sQqoYdE+WzbDX3DoJfmJNbp3Ob7qCUoOg==", 1117 1119 "cpu": [ 1118 1120 "arm64" 1119 1121 ], 1122 1122 + "license": "(LGPL-3.0-or-later AND MIT)", 1120 1123 "optional": true, 1121 1124 "os": [ 1122 1125 "linux" ··· 1126 1129 } 1127 1130 }, 1128 1131 "node_modules/@rescript/linux-x64": { 1129 1129 - "version": "12.1.0", 1130 1130 - "resolved": "https://registry.npmjs.org/@rescript/linux-x64/-/linux-x64-12.1.0.tgz", 1131 1131 - "integrity": "sha512-c0PXuBL09JRSA4nQusYbR4mW5QJrBPqxDrqvIX+M79fk3d6jQmj5x4NsBwk5BavxvmbR/JU1JjYBlSAa3h22Vg==", 1132 1132 + "version": "12.2.0", 1133 1133 + "resolved": "https://registry.npmjs.org/@rescript/linux-x64/-/linux-x64-12.2.0.tgz", 1134 1134 + "integrity": "sha512-2W9Y9/g19Y4F/subl8yV3T8QBG2oRaP+HciNRcBjptyEdw9LmCKH8+rhWO6sp3E+nZLwoE2IAkwH0WKV3wqlxQ==", 1132 1135 "cpu": [ 1133 1136 "x64" 1134 1137 ], 1138 1138 + "license": "(LGPL-3.0-or-later AND MIT)", 1135 1139 "optional": true, 1136 1140 "os": [ 1137 1141 "linux" ··· 1151 1155 } 1152 1156 }, 1153 1157 "node_modules/@rescript/runtime": { 1154 1154 - "version": "12.1.0", 1155 1155 - "resolved": "https://registry.npmjs.org/@rescript/runtime/-/runtime-12.1.0.tgz", 1156 1156 - "integrity": "sha512-bvr9RfvBD+JS/6foWCA4l2fLXmUXN0KGqylXQPHt09QxUghqgoCiaWVHaHSx5dOIk/jAPlGQ7zB5yVeMas/EFQ==" 1158 1158 + "version": "12.2.0", 1159 1159 + "resolved": "https://registry.npmjs.org/@rescript/runtime/-/runtime-12.2.0.tgz", 1160 1160 + "integrity": "sha512-NwfljDRq1rjFPHUaca1nzFz13xsa9ZGkBkLvMhvVgavJT5+A4rMcLu8XAaVTi/oAhO/tlHf9ZDoOTF1AfyAk9Q==", 1161 1161 + "license": "MIT" 1157 1162 }, 1158 1163 "node_modules/@rescript/std": { 1159 1164 "version": "11.1.4", ··· 1163 1168 "license": "SEE LICENSE IN LICENSE" 1164 1169 }, 1165 1170 "node_modules/@rescript/win32-x64": { 1166 1166 - "version": "12.1.0", 1167 1167 - "resolved": "https://registry.npmjs.org/@rescript/win32-x64/-/win32-x64-12.1.0.tgz", 1168 1168 - "integrity": "sha512-nQC42QByyAbryfkbyK67iskipUqXVwTPCFrqissY4jJoP0128gg0yG6DydJnV1stXphtFdMFHtmyYE1ffG7UBg==", 1171 1171 + "version": "12.2.0", 1172 1172 + "resolved": "https://registry.npmjs.org/@rescript/win32-x64/-/win32-x64-12.2.0.tgz", 1173 1173 + "integrity": "sha512-fhf8CBj3p1lkIXPeNko3mVTKQfXXm4BoxJtR1xAXxUn43wDpd8Lox4w8/EPBbbW6C/YFQW6H7rtpY+2AKuNaDA==", 1169 1174 "cpu": [ 1170 1175 "x64" 1171 1176 ], 1177 1177 + "license": "(LGPL-3.0-or-later AND MIT)", 1172 1178 "optional": true, 1173 1179 "os": [ 1174 1180 "win32" ··· 1185 1191 "license": "MIT" 1186 1192 }, 1187 1193 "node_modules/@rollup/rollup-android-arm-eabi": { 1188 1188 - "version": "4.57.1", 1189 1189 - "resolved": "https://registry.npmjs.org/@rollup/rollup-android-arm-eabi/-/rollup-android-arm-eabi-4.57.1.tgz", 1190 1190 - "integrity": "sha512-A6ehUVSiSaaliTxai040ZpZ2zTevHYbvu/lDoeAteHI8QnaosIzm4qwtezfRg1jOYaUmnzLX1AOD6Z+UJjtifg==", 1194 1194 + "version": "4.59.0", 1195 1195 + "resolved": "https://registry.npmjs.org/@rollup/rollup-android-arm-eabi/-/rollup-android-arm-eabi-4.59.0.tgz", 1196 1196 + "integrity": "sha512-upnNBkA6ZH2VKGcBj9Fyl9IGNPULcjXRlg0LLeaioQWueH30p6IXtJEbKAgvyv+mJaMxSm1l6xwDXYjpEMiLMg==", 1191 1197 "cpu": [ 1192 1198 "arm" 1193 1199 ], ··· 1199 1205 ] 1200 1206 }, 1201 1207 "node_modules/@rollup/rollup-android-arm64": { 1202 1202 - "version": "4.57.1", 1203 1203 - "resolved": "https://registry.npmjs.org/@rollup/rollup-android-arm64/-/rollup-android-arm64-4.57.1.tgz", 1204 1204 - "integrity": "sha512-dQaAddCY9YgkFHZcFNS/606Exo8vcLHwArFZ7vxXq4rigo2bb494/xKMMwRRQW6ug7Js6yXmBZhSBRuBvCCQ3w==", 1208 1208 + "version": "4.59.0", 1209 1209 + "resolved": "https://registry.npmjs.org/@rollup/rollup-android-arm64/-/rollup-android-arm64-4.59.0.tgz", 1210 1210 + "integrity": "sha512-hZ+Zxj3SySm4A/DylsDKZAeVg0mvi++0PYVceVyX7hemkw7OreKdCvW2oQ3T1FMZvCaQXqOTHb8qmBShoqk69Q==", 1205 1211 "cpu": [ 1206 1212 "arm64" 1207 1213 ], ··· 1213 1219 ] 1214 1220 }, 1215 1221 "node_modules/@rollup/rollup-darwin-arm64": { 1216 1216 - "version": "4.57.1", 1217 1217 - "resolved": "https://registry.npmjs.org/@rollup/rollup-darwin-arm64/-/rollup-darwin-arm64-4.57.1.tgz", 1218 1218 - "integrity": "sha512-crNPrwJOrRxagUYeMn/DZwqN88SDmwaJ8Cvi/TN1HnWBU7GwknckyosC2gd0IqYRsHDEnXf328o9/HC6OkPgOg==", 1222 1222 + "version": "4.59.0", 1223 1223 + "resolved": "https://registry.npmjs.org/@rollup/rollup-darwin-arm64/-/rollup-darwin-arm64-4.59.0.tgz", 1224 1224 + "integrity": "sha512-W2Psnbh1J8ZJw0xKAd8zdNgF9HRLkdWwwdWqubSVk0pUuQkoHnv7rx4GiF9rT4t5DIZGAsConRE3AxCdJ4m8rg==", 1219 1225 "cpu": [ 1220 1226 "arm64" 1221 1227 ], ··· 1227 1233 ] 1228 1234 }, 1229 1235 "node_modules/@rollup/rollup-darwin-x64": { 1230 1230 - "version": "4.57.1", 1231 1231 - "resolved": "https://registry.npmjs.org/@rollup/rollup-darwin-x64/-/rollup-darwin-x64-4.57.1.tgz", 1232 1232 - "integrity": "sha512-Ji8g8ChVbKrhFtig5QBV7iMaJrGtpHelkB3lsaKzadFBe58gmjfGXAOfI5FV0lYMH8wiqsxKQ1C9B0YTRXVy4w==", 1236 1236 + "version": "4.59.0", 1237 1237 + "resolved": "https://registry.npmjs.org/@rollup/rollup-darwin-x64/-/rollup-darwin-x64-4.59.0.tgz", 1238 1238 + "integrity": "sha512-ZW2KkwlS4lwTv7ZVsYDiARfFCnSGhzYPdiOU4IM2fDbL+QGlyAbjgSFuqNRbSthybLbIJ915UtZBtmuLrQAT/w==", 1233 1239 "cpu": [ 1234 1240 "x64" 1235 1241 ], ··· 1241 1247 ] 1242 1248 }, 1243 1249 "node_modules/@rollup/rollup-freebsd-arm64": { 1244 1244 - "version": "4.57.1", 1245 1245 - "resolved": "https://registry.npmjs.org/@rollup/rollup-freebsd-arm64/-/rollup-freebsd-arm64-4.57.1.tgz", 1246 1246 - "integrity": "sha512-R+/WwhsjmwodAcz65guCGFRkMb4gKWTcIeLy60JJQbXrJ97BOXHxnkPFrP+YwFlaS0m+uWJTstrUA9o+UchFug==", 1250 1250 + "version": "4.59.0", 1251 1251 + "resolved": "https://registry.npmjs.org/@rollup/rollup-freebsd-arm64/-/rollup-freebsd-arm64-4.59.0.tgz", 1252 1252 + "integrity": "sha512-EsKaJ5ytAu9jI3lonzn3BgG8iRBjV4LxZexygcQbpiU0wU0ATxhNVEpXKfUa0pS05gTcSDMKpn3Sx+QB9RlTTA==", 1247 1253 "cpu": [ 1248 1254 "arm64" 1249 1255 ], ··· 1255 1261 ] 1256 1262 }, 1257 1263 "node_modules/@rollup/rollup-freebsd-x64": { 1258 1258 - "version": "4.57.1", 1259 1259 - "resolved": "https://registry.npmjs.org/@rollup/rollup-freebsd-x64/-/rollup-freebsd-x64-4.57.1.tgz", 1260 1260 - "integrity": "sha512-IEQTCHeiTOnAUC3IDQdzRAGj3jOAYNr9kBguI7MQAAZK3caezRrg0GxAb6Hchg4lxdZEI5Oq3iov/w/hnFWY9Q==", 1264 1264 + "version": "4.59.0", 1265 1265 + "resolved": "https://registry.npmjs.org/@rollup/rollup-freebsd-x64/-/rollup-freebsd-x64-4.59.0.tgz", 1266 1266 + "integrity": "sha512-d3DuZi2KzTMjImrxoHIAODUZYoUUMsuUiY4SRRcJy6NJoZ6iIqWnJu9IScV9jXysyGMVuW+KNzZvBLOcpdl3Vg==", 1261 1267 "cpu": [ 1262 1268 "x64" 1263 1269 ], ··· 1269 1275 ] 1270 1276 }, 1271 1277 "node_modules/@rollup/rollup-linux-arm-gnueabihf": { 1272 1272 - "version": "4.57.1", 1273 1273 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-arm-gnueabihf/-/rollup-linux-arm-gnueabihf-4.57.1.tgz", 1274 1274 - "integrity": "sha512-F8sWbhZ7tyuEfsmOxwc2giKDQzN3+kuBLPwwZGyVkLlKGdV1nvnNwYD0fKQ8+XS6hp9nY7B+ZeK01EBUE7aHaw==", 1278 1278 + "version": "4.59.0", 1279 1279 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-arm-gnueabihf/-/rollup-linux-arm-gnueabihf-4.59.0.tgz", 1280 1280 + "integrity": "sha512-t4ONHboXi/3E0rT6OZl1pKbl2Vgxf9vJfWgmUoCEVQVxhW6Cw/c8I6hbbu7DAvgp82RKiH7TpLwxnJeKv2pbsw==", 1275 1281 "cpu": [ 1276 1282 "arm" 1277 1283 ], ··· 1283 1289 ] 1284 1290 }, 1285 1291 "node_modules/@rollup/rollup-linux-arm-musleabihf": { 1286 1286 - "version": "4.57.1", 1287 1287 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-arm-musleabihf/-/rollup-linux-arm-musleabihf-4.57.1.tgz", 1288 1288 - "integrity": "sha512-rGfNUfn0GIeXtBP1wL5MnzSj98+PZe/AXaGBCRmT0ts80lU5CATYGxXukeTX39XBKsxzFpEeK+Mrp9faXOlmrw==", 1292 1292 + "version": "4.59.0", 1293 1293 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-arm-musleabihf/-/rollup-linux-arm-musleabihf-4.59.0.tgz", 1294 1294 + "integrity": "sha512-CikFT7aYPA2ufMD086cVORBYGHffBo4K8MQ4uPS/ZnY54GKj36i196u8U+aDVT2LX4eSMbyHtyOh7D7Zvk2VvA==", 1289 1295 "cpu": [ 1290 1296 "arm" 1291 1297 ], ··· 1297 1303 ] 1298 1304 }, 1299 1305 "node_modules/@rollup/rollup-linux-arm64-gnu": { 1300 1300 - "version": "4.57.1", 1301 1301 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-arm64-gnu/-/rollup-linux-arm64-gnu-4.57.1.tgz", 1302 1302 - "integrity": "sha512-MMtej3YHWeg/0klK2Qodf3yrNzz6CGjo2UntLvk2RSPlhzgLvYEB3frRvbEF2wRKh1Z2fDIg9KRPe1fawv7C+g==", 1306 1306 + "version": "4.59.0", 1307 1307 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-arm64-gnu/-/rollup-linux-arm64-gnu-4.59.0.tgz", 1308 1308 + "integrity": "sha512-jYgUGk5aLd1nUb1CtQ8E+t5JhLc9x5WdBKew9ZgAXg7DBk0ZHErLHdXM24rfX+bKrFe+Xp5YuJo54I5HFjGDAA==", 1303 1309 "cpu": [ 1304 1310 "arm64" 1305 1311 ], ··· 1311 1317 ] 1312 1318 }, 1313 1319 "node_modules/@rollup/rollup-linux-arm64-musl": { 1314 1314 - "version": "4.57.1", 1315 1315 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-arm64-musl/-/rollup-linux-arm64-musl-4.57.1.tgz", 1316 1316 - "integrity": "sha512-1a/qhaaOXhqXGpMFMET9VqwZakkljWHLmZOX48R0I/YLbhdxr1m4gtG1Hq7++VhVUmf+L3sTAf9op4JlhQ5u1Q==", 1320 1320 + "version": "4.59.0", 1321 1321 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-arm64-musl/-/rollup-linux-arm64-musl-4.59.0.tgz", 1322 1322 + "integrity": "sha512-peZRVEdnFWZ5Bh2KeumKG9ty7aCXzzEsHShOZEFiCQlDEepP1dpUl/SrUNXNg13UmZl+gzVDPsiCwnV1uI0RUA==", 1317 1323 "cpu": [ 1318 1324 "arm64" 1319 1325 ], ··· 1325 1331 ] 1326 1332 }, 1327 1333 "node_modules/@rollup/rollup-linux-loong64-gnu": { 1328 1328 - "version": "4.57.1", 1329 1329 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-loong64-gnu/-/rollup-linux-loong64-gnu-4.57.1.tgz", 1330 1330 - "integrity": "sha512-QWO6RQTZ/cqYtJMtxhkRkidoNGXc7ERPbZN7dVW5SdURuLeVU7lwKMpo18XdcmpWYd0qsP1bwKPf7DNSUinhvA==", 1334 1334 + "version": "4.59.0", 1335 1335 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-loong64-gnu/-/rollup-linux-loong64-gnu-4.59.0.tgz", 1336 1336 + "integrity": "sha512-gbUSW/97f7+r4gHy3Jlup8zDG190AuodsWnNiXErp9mT90iCy9NKKU0Xwx5k8VlRAIV2uU9CsMnEFg/xXaOfXg==", 1331 1337 "cpu": [ 1332 1338 "loong64" 1333 1339 ], ··· 1339 1345 ] 1340 1346 }, 1341 1347 "node_modules/@rollup/rollup-linux-loong64-musl": { 1342 1342 - "version": "4.57.1", 1343 1343 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-loong64-musl/-/rollup-linux-loong64-musl-4.57.1.tgz", 1344 1344 - "integrity": "sha512-xpObYIf+8gprgWaPP32xiN5RVTi/s5FCR+XMXSKmhfoJjrpRAjCuuqQXyxUa/eJTdAE6eJ+KDKaoEqjZQxh3Gw==", 1348 1348 + "version": "4.59.0", 1349 1349 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-loong64-musl/-/rollup-linux-loong64-musl-4.59.0.tgz", 1350 1350 + "integrity": "sha512-yTRONe79E+o0FWFijasoTjtzG9EBedFXJMl888NBEDCDV9I2wGbFFfJQQe63OijbFCUZqxpHz1GzpbtSFikJ4Q==", 1345 1351 "cpu": [ 1346 1352 "loong64" 1347 1353 ], ··· 1353 1359 ] 1354 1360 }, 1355 1361 "node_modules/@rollup/rollup-linux-ppc64-gnu": { 1356 1356 - "version": "4.57.1", 1357 1357 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-ppc64-gnu/-/rollup-linux-ppc64-gnu-4.57.1.tgz", 1358 1358 - "integrity": "sha512-4BrCgrpZo4hvzMDKRqEaW1zeecScDCR+2nZ86ATLhAoJ5FQ+lbHVD3ttKe74/c7tNT9c6F2viwB3ufwp01Oh2w==", 1362 1362 + "version": "4.59.0", 1363 1363 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-ppc64-gnu/-/rollup-linux-ppc64-gnu-4.59.0.tgz", 1364 1364 + "integrity": "sha512-sw1o3tfyk12k3OEpRddF68a1unZ5VCN7zoTNtSn2KndUE+ea3m3ROOKRCZxEpmT9nsGnogpFP9x6mnLTCaoLkA==", 1359 1365 "cpu": [ 1360 1366 "ppc64" 1361 1367 ], ··· 1367 1373 ] 1368 1374 }, 1369 1375 "node_modules/@rollup/rollup-linux-ppc64-musl": { 1370 1370 - "version": "4.57.1", 1371 1371 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-ppc64-musl/-/rollup-linux-ppc64-musl-4.57.1.tgz", 1372 1372 - "integrity": "sha512-NOlUuzesGauESAyEYFSe3QTUguL+lvrN1HtwEEsU2rOwdUDeTMJdO5dUYl/2hKf9jWydJrO9OL/XSSf65R5+Xw==", 1376 1376 + "version": "4.59.0", 1377 1377 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-ppc64-musl/-/rollup-linux-ppc64-musl-4.59.0.tgz", 1378 1378 + "integrity": "sha512-+2kLtQ4xT3AiIxkzFVFXfsmlZiG5FXYW7ZyIIvGA7Bdeuh9Z0aN4hVyXS/G1E9bTP/vqszNIN/pUKCk/BTHsKA==", 1373 1379 "cpu": [ 1374 1380 "ppc64" 1375 1381 ], ··· 1381 1387 ] 1382 1388 }, 1383 1389 "node_modules/@rollup/rollup-linux-riscv64-gnu": { 1384 1384 - "version": "4.57.1", 1385 1385 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-riscv64-gnu/-/rollup-linux-riscv64-gnu-4.57.1.tgz", 1386 1386 - "integrity": "sha512-ptA88htVp0AwUUqhVghwDIKlvJMD/fmL/wrQj99PRHFRAG6Z5nbWoWG4o81Nt9FT+IuqUQi+L31ZKAFeJ5Is+A==", 1390 1390 + "version": "4.59.0", 1391 1391 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-riscv64-gnu/-/rollup-linux-riscv64-gnu-4.59.0.tgz", 1392 1392 + "integrity": "sha512-NDYMpsXYJJaj+I7UdwIuHHNxXZ/b/N2hR15NyH3m2qAtb/hHPA4g4SuuvrdxetTdndfj9b1WOmy73kcPRoERUg==", 1387 1393 "cpu": [ 1388 1394 "riscv64" 1389 1395 ], ··· 1395 1401 ] 1396 1402 }, 1397 1403 "node_modules/@rollup/rollup-linux-riscv64-musl": { 1398 1398 - "version": "4.57.1", 1399 1399 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-riscv64-musl/-/rollup-linux-riscv64-musl-4.57.1.tgz", 1400 1400 - "integrity": "sha512-S51t7aMMTNdmAMPpBg7OOsTdn4tySRQvklmL3RpDRyknk87+Sp3xaumlatU+ppQ+5raY7sSTcC2beGgvhENfuw==", 1404 1404 + "version": "4.59.0", 1405 1405 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-riscv64-musl/-/rollup-linux-riscv64-musl-4.59.0.tgz", 1406 1406 + "integrity": "sha512-nLckB8WOqHIf1bhymk+oHxvM9D3tyPndZH8i8+35p/1YiVoVswPid2yLzgX7ZJP0KQvnkhM4H6QZ5m0LzbyIAg==", 1401 1407 "cpu": [ 1402 1408 "riscv64" 1403 1409 ], ··· 1409 1415 ] 1410 1416 }, 1411 1417 "node_modules/@rollup/rollup-linux-s390x-gnu": { 1412 1412 - "version": "4.57.1", 1413 1413 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-s390x-gnu/-/rollup-linux-s390x-gnu-4.57.1.tgz", 1414 1414 - "integrity": "sha512-Bl00OFnVFkL82FHbEqy3k5CUCKH6OEJL54KCyx2oqsmZnFTR8IoNqBF+mjQVcRCT5sB6yOvK8A37LNm/kPJiZg==", 1418 1418 + "version": "4.59.0", 1419 1419 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-s390x-gnu/-/rollup-linux-s390x-gnu-4.59.0.tgz", 1420 1420 + "integrity": "sha512-oF87Ie3uAIvORFBpwnCvUzdeYUqi2wY6jRFWJAy1qus/udHFYIkplYRW+wo+GRUP4sKzYdmE1Y3+rY5Gc4ZO+w==", 1415 1421 "cpu": [ 1416 1422 "s390x" 1417 1423 ], ··· 1423 1429 ] 1424 1430 }, 1425 1431 "node_modules/@rollup/rollup-linux-x64-gnu": { 1426 1426 - "version": "4.57.1", 1427 1427 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-x64-gnu/-/rollup-linux-x64-gnu-4.57.1.tgz", 1428 1428 - "integrity": "sha512-ABca4ceT4N+Tv/GtotnWAeXZUZuM/9AQyCyKYyKnpk4yoA7QIAuBt6Hkgpw8kActYlew2mvckXkvx0FfoInnLg==", 1432 1432 + "version": "4.59.0", 1433 1433 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-x64-gnu/-/rollup-linux-x64-gnu-4.59.0.tgz", 1434 1434 + "integrity": "sha512-3AHmtQq/ppNuUspKAlvA8HtLybkDflkMuLK4DPo77DfthRb71V84/c4MlWJXixZz4uruIH4uaa07IqoAkG64fg==", 1429 1435 "cpu": [ 1430 1436 "x64" 1431 1437 ], ··· 1437 1443 ] 1438 1444 }, 1439 1445 "node_modules/@rollup/rollup-linux-x64-musl": { 1440 1440 - "version": "4.57.1", 1441 1441 - "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-x64-musl/-/rollup-linux-x64-musl-4.57.1.tgz", 1442 1442 - "integrity": "sha512-HFps0JeGtuOR2convgRRkHCekD7j+gdAuXM+/i6kGzQtFhlCtQkpwtNzkNj6QhCDp7DRJ7+qC/1Vg2jt5iSOFw==", 1446 1446 + "version": "4.59.0", 1447 1447 + "resolved": "https://registry.npmjs.org/@rollup/rollup-linux-x64-musl/-/rollup-linux-x64-musl-4.59.0.tgz", 1448 1448 + "integrity": "sha512-2UdiwS/9cTAx7qIUZB/fWtToJwvt0Vbo0zmnYt7ED35KPg13Q0ym1g442THLC7VyI6JfYTP4PiSOWyoMdV2/xg==", 1443 1449 "cpu": [ 1444 1450 "x64" 1445 1451 ], ··· 1451 1457 ] 1452 1458 }, 1453 1459 "node_modules/@rollup/rollup-openbsd-x64": { 1454 1454 - "version": "4.57.1", 1455 1455 - "resolved": "https://registry.npmjs.org/@rollup/rollup-openbsd-x64/-/rollup-openbsd-x64-4.57.1.tgz", 1456 1456 - "integrity": "sha512-H+hXEv9gdVQuDTgnqD+SQffoWoc0Of59AStSzTEj/feWTBAnSfSD3+Dql1ZruJQxmykT/JVY0dE8Ka7z0DH1hw==", 1460 1460 + "version": "4.59.0", 1461 1461 + "resolved": "https://registry.npmjs.org/@rollup/rollup-openbsd-x64/-/rollup-openbsd-x64-4.59.0.tgz", 1462 1462 + "integrity": "sha512-M3bLRAVk6GOwFlPTIxVBSYKUaqfLrn8l0psKinkCFxl4lQvOSz8ZrKDz2gxcBwHFpci0B6rttydI4IpS4IS/jQ==", 1457 1463 "cpu": [ 1458 1464 "x64" 1459 1465 ], ··· 1465 1471 ] 1466 1472 }, 1467 1473 "node_modules/@rollup/rollup-openharmony-arm64": { 1468 1468 - "version": "4.57.1", 1469 1469 - "resolved": "https://registry.npmjs.org/@rollup/rollup-openharmony-arm64/-/rollup-openharmony-arm64-4.57.1.tgz", 1470 1470 - "integrity": "sha512-4wYoDpNg6o/oPximyc/NG+mYUejZrCU2q+2w6YZqrAs2UcNUChIZXjtafAiiZSUc7On8v5NyNj34Kzj/Ltk6dQ==", 1474 1474 + "version": "4.59.0", 1475 1475 + "resolved": "https://registry.npmjs.org/@rollup/rollup-openharmony-arm64/-/rollup-openharmony-arm64-4.59.0.tgz", 1476 1476 + "integrity": "sha512-tt9KBJqaqp5i5HUZzoafHZX8b5Q2Fe7UjYERADll83O4fGqJ49O1FsL6LpdzVFQcpwvnyd0i+K/VSwu/o/nWlA==", 1471 1477 "cpu": [ 1472 1478 "arm64" 1473 1479 ], ··· 1479 1485 ] 1480 1486 }, 1481 1487 "node_modules/@rollup/rollup-win32-arm64-msvc": { 1482 1482 - "version": "4.57.1", 1483 1483 - "resolved": "https://registry.npmjs.org/@rollup/rollup-win32-arm64-msvc/-/rollup-win32-arm64-msvc-4.57.1.tgz", 1484 1484 - "integrity": "sha512-O54mtsV/6LW3P8qdTcamQmuC990HDfR71lo44oZMZlXU4tzLrbvTii87Ni9opq60ds0YzuAlEr/GNwuNluZyMQ==", 1488 1488 + "version": "4.59.0", 1489 1489 + "resolved": "https://registry.npmjs.org/@rollup/rollup-win32-arm64-msvc/-/rollup-win32-arm64-msvc-4.59.0.tgz", 1490 1490 + "integrity": "sha512-V5B6mG7OrGTwnxaNUzZTDTjDS7F75PO1ae6MJYdiMu60sq0CqN5CVeVsbhPxalupvTX8gXVSU9gq+Rx1/hvu6A==", 1485 1491 "cpu": [ 1486 1492 "arm64" 1487 1493 ], ··· 1493 1499 ] 1494 1500 }, 1495 1501 "node_modules/@rollup/rollup-win32-ia32-msvc": { 1496 1496 - "version": "4.57.1", 1497 1497 - "resolved": "https://registry.npmjs.org/@rollup/rollup-win32-ia32-msvc/-/rollup-win32-ia32-msvc-4.57.1.tgz", 1498 1498 - "integrity": "sha512-P3dLS+IerxCT/7D2q2FYcRdWRl22dNbrbBEtxdWhXrfIMPP9lQhb5h4Du04mdl5Woq05jVCDPCMF7Ub0NAjIew==", 1502 1502 + "version": "4.59.0", 1503 1503 + "resolved": "https://registry.npmjs.org/@rollup/rollup-win32-ia32-msvc/-/rollup-win32-ia32-msvc-4.59.0.tgz", 1504 1504 + "integrity": "sha512-UKFMHPuM9R0iBegwzKF4y0C4J9u8C6MEJgFuXTBerMk7EJ92GFVFYBfOZaSGLu6COf7FxpQNqhNS4c4icUPqxA==", 1499 1505 "cpu": [ 1500 1506 "ia32" 1501 1507 ], ··· 1507 1513 ] 1508 1514 }, 1509 1515 "node_modules/@rollup/rollup-win32-x64-gnu": { 1510 1510 - "version": "4.57.1", 1511 1511 - "resolved": "https://registry.npmjs.org/@rollup/rollup-win32-x64-gnu/-/rollup-win32-x64-gnu-4.57.1.tgz", 1512 1512 - "integrity": "sha512-VMBH2eOOaKGtIJYleXsi2B8CPVADrh+TyNxJ4mWPnKfLB/DBUmzW+5m1xUrcwWoMfSLagIRpjUFeW5CO5hyciQ==", 1516 1516 + "version": "4.59.0", 1517 1517 + "resolved": "https://registry.npmjs.org/@rollup/rollup-win32-x64-gnu/-/rollup-win32-x64-gnu-4.59.0.tgz", 1518 1518 + "integrity": "sha512-laBkYlSS1n2L8fSo1thDNGrCTQMmxjYY5G0WFWjFFYZkKPjsMBsgJfGf4TLxXrF6RyhI60L8TMOjBMvXiTcxeA==", 1513 1519 "cpu": [ 1514 1520 "x64" 1515 1521 ], ··· 1521 1527 ] 1522 1528 }, 1523 1529 "node_modules/@rollup/rollup-win32-x64-msvc": { 1524 1524 - "version": "4.57.1", 1525 1525 - "resolved": "https://registry.npmjs.org/@rollup/rollup-win32-x64-msvc/-/rollup-win32-x64-msvc-4.57.1.tgz", 1526 1526 - "integrity": "sha512-mxRFDdHIWRxg3UfIIAwCm6NzvxG0jDX/wBN6KsQFTvKFqqg9vTrWUE68qEjHt19A5wwx5X5aUi2zuZT7YR0jrA==", 1530 1530 + "version": "4.59.0", 1531 1531 + "resolved": "https://registry.npmjs.org/@rollup/rollup-win32-x64-msvc/-/rollup-win32-x64-msvc-4.59.0.tgz", 1532 1532 + "integrity": "sha512-2HRCml6OztYXyJXAvdDXPKcawukWY2GpR5/nxKp4iBgiO3wcoEGkAaqctIbZcNB6KlUQBIqt8VYkNSj2397EfA==", 1527 1533 "cpu": [ 1528 1534 "x64" 1529 1535 ], ··· 1548 1554 } 1549 1555 }, 1550 1556 "node_modules/@swc/core": { 1551 1551 - "version": "1.15.11", 1552 1552 - "resolved": "https://registry.npmjs.org/@swc/core/-/core-1.15.11.tgz", 1553 1553 - "integrity": "sha512-iLmLTodbYxU39HhMPaMUooPwO/zqJWvsqkrXv1ZI38rMb048p6N7qtAtTp37sw9NzSrvH6oli8EdDygo09IZ/w==", 1557 1557 + "version": "1.15.18", 1558 1558 + "resolved": "https://registry.npmjs.org/@swc/core/-/core-1.15.18.tgz", 1559 1559 + "integrity": "sha512-z87aF9GphWp//fnkRsqvtY+inMVPgYW3zSlXH1kJFvRT5H/wiAn+G32qW5l3oEk63KSF1x3Ov0BfHCObAmT8RA==", 1554 1560 "dev": true, 1555 1561 "hasInstallScript": true, 1556 1562 "license": "Apache-2.0", ··· 1566 1572 "url": "https://opencollective.com/swc" 1567 1573 }, 1568 1574 "optionalDependencies": { 1569 1569 - "@swc/core-darwin-arm64": "1.15.11", 1570 1570 - "@swc/core-darwin-x64": "1.15.11", 1571 1571 - "@swc/core-linux-arm-gnueabihf": "1.15.11", 1572 1572 - "@swc/core-linux-arm64-gnu": "1.15.11", 1573 1573 - "@swc/core-linux-arm64-musl": "1.15.11", 1574 1574 - "@swc/core-linux-x64-gnu": "1.15.11", 1575 1575 - "@swc/core-linux-x64-musl": "1.15.11", 1576 1576 - "@swc/core-win32-arm64-msvc": "1.15.11", 1577 1577 - "@swc/core-win32-ia32-msvc": "1.15.11", 1578 1578 - "@swc/core-win32-x64-msvc": "1.15.11" 1575 1575 + "@swc/core-darwin-arm64": "1.15.18", 1576 1576 + "@swc/core-darwin-x64": "1.15.18", 1577 1577 + "@swc/core-linux-arm-gnueabihf": "1.15.18", 1578 1578 + "@swc/core-linux-arm64-gnu": "1.15.18", 1579 1579 + "@swc/core-linux-arm64-musl": "1.15.18", 1580 1580 + "@swc/core-linux-x64-gnu": "1.15.18", 1581 1581 + "@swc/core-linux-x64-musl": "1.15.18", 1582 1582 + "@swc/core-win32-arm64-msvc": "1.15.18", 1583 1583 + "@swc/core-win32-ia32-msvc": "1.15.18", 1584 1584 + "@swc/core-win32-x64-msvc": "1.15.18" 1579 1585 }, 1580 1586 "peerDependencies": { 1581 1587 "@swc/helpers": ">=0.5.17" ··· 1587 1593 } 1588 1594 }, 1589 1595 "node_modules/@swc/core-darwin-arm64": { 1590 1590 - "version": "1.15.11", 1591 1591 - "resolved": "https://registry.npmjs.org/@swc/core-darwin-arm64/-/core-darwin-arm64-1.15.11.tgz", 1592 1592 - "integrity": "sha512-QoIupRWVH8AF1TgxYyeA5nS18dtqMuxNwchjBIwJo3RdwLEFiJq6onOx9JAxHtuPwUkIVuU2Xbp+jCJ7Vzmgtg==", 1596 1596 + "version": "1.15.18", 1597 1597 + "resolved": "https://registry.npmjs.org/@swc/core-darwin-arm64/-/core-darwin-arm64-1.15.18.tgz", 1598 1598 + "integrity": "sha512-+mIv7uBuSaywN3C9LNuWaX1jJJ3SKfiJuE6Lr3bd+/1Iv8oMU7oLBjYMluX1UrEPzwN2qCdY6Io0yVicABoCwQ==", 1593 1599 "cpu": [ 1594 1600 "arm64" 1595 1601 ], ··· 1604 1610 } 1605 1611 }, 1606 1612 "node_modules/@swc/core-darwin-x64": { 1607 1607 - "version": "1.15.11", 1608 1608 - "resolved": "https://registry.npmjs.org/@swc/core-darwin-x64/-/core-darwin-x64-1.15.11.tgz", 1609 1609 - "integrity": "sha512-S52Gu1QtPSfBYDiejlcfp9GlN+NjTZBRRNsz8PNwBgSE626/FUf2PcllVUix7jqkoMC+t0rS8t+2/aSWlMuQtA==", 1613 1613 + "version": "1.15.18", 1614 1614 + "resolved": "https://registry.npmjs.org/@swc/core-darwin-x64/-/core-darwin-x64-1.15.18.tgz", 1615 1615 + "integrity": "sha512-wZle0eaQhnzxWX5V/2kEOI6Z9vl/lTFEC6V4EWcn+5pDjhemCpQv9e/TDJ0GIoiClX8EDWRvuZwh+Z3dhL1NAg==", 1610 1616 "cpu": [ 1611 1617 "x64" 1612 1618 ], ··· 1621 1627 } 1622 1628 }, 1623 1629 "node_modules/@swc/core-linux-arm-gnueabihf": { 1624 1624 - "version": "1.15.11", 1625 1625 - "resolved": "https://registry.npmjs.org/@swc/core-linux-arm-gnueabihf/-/core-linux-arm-gnueabihf-1.15.11.tgz", 1626 1626 - "integrity": "sha512-lXJs8oXo6Z4yCpimpQ8vPeCjkgoHu5NoMvmJZ8qxDyU99KVdg6KwU9H79vzrmB+HfH+dCZ7JGMqMF//f8Cfvdg==", 1630 1630 + "version": "1.15.18", 1631 1631 + "resolved": "https://registry.npmjs.org/@swc/core-linux-arm-gnueabihf/-/core-linux-arm-gnueabihf-1.15.18.tgz", 1632 1632 + "integrity": "sha512-ao61HGXVqrJFHAcPtF4/DegmwEkVCo4HApnotLU8ognfmU8x589z7+tcf3hU+qBiU1WOXV5fQX6W9Nzs6hjxDw==", 1627 1633 "cpu": [ 1628 1634 "arm" 1629 1635 ], ··· 1638 1644 } 1639 1645 }, 1640 1646 "node_modules/@swc/core-linux-arm64-gnu": { 1641 1641 - "version": "1.15.11", 1642 1642 - "resolved": "https://registry.npmjs.org/@swc/core-linux-arm64-gnu/-/core-linux-arm64-gnu-1.15.11.tgz", 1643 1643 - "integrity": "sha512-chRsz1K52/vj8Mfq/QOugVphlKPWlMh10V99qfH41hbGvwAU6xSPd681upO4bKiOr9+mRIZZW+EfJqY42ZzRyA==", 1647 1647 + "version": "1.15.18", 1648 1648 + "resolved": "https://registry.npmjs.org/@swc/core-linux-arm64-gnu/-/core-linux-arm64-gnu-1.15.18.tgz", 1649 1649 + "integrity": "sha512-3xnctOBLIq3kj8PxOCgPrGjBLP/kNOddr6f5gukYt/1IZxsITQaU9TDyjeX6jG+FiCIHjCuWuffsyQDL5Ew1bg==", 1644 1650 "cpu": [ 1645 1651 "arm64" 1646 1652 ], ··· 1655 1661 } 1656 1662 }, 1657 1663 "node_modules/@swc/core-linux-arm64-musl": { 1658 1658 - "version": "1.15.11", 1659 1659 - "resolved": "https://registry.npmjs.org/@swc/core-linux-arm64-musl/-/core-linux-arm64-musl-1.15.11.tgz", 1660 1660 - "integrity": "sha512-PYftgsTaGnfDK4m6/dty9ryK1FbLk+LosDJ/RJR2nkXGc8rd+WenXIlvHjWULiBVnS1RsjHHOXmTS4nDhe0v0w==", 1664 1664 + "version": "1.15.18", 1665 1665 + "resolved": "https://registry.npmjs.org/@swc/core-linux-arm64-musl/-/core-linux-arm64-musl-1.15.18.tgz", 1666 1666 + "integrity": "sha512-0a+Lix+FSSHBSBOA0XznCcHo5/1nA6oLLjcnocvzXeqtdjnPb+SvchItHI+lfeiuj1sClYPDvPMLSLyXFaiIKw==", 1661 1667 "cpu": [ 1662 1668 "arm64" 1663 1669 ], ··· 1672 1678 } 1673 1679 }, 1674 1680 "node_modules/@swc/core-linux-x64-gnu": { 1675 1675 - "version": "1.15.11", 1676 1676 - "resolved": "https://registry.npmjs.org/@swc/core-linux-x64-gnu/-/core-linux-x64-gnu-1.15.11.tgz", 1677 1677 - "integrity": "sha512-DKtnJKIHiZdARyTKiX7zdRjiDS1KihkQWatQiCHMv+zc2sfwb4Glrodx2VLOX4rsa92NLR0Sw8WLcPEMFY1szQ==", 1681 1681 + "version": "1.15.18", 1682 1682 + "resolved": "https://registry.npmjs.org/@swc/core-linux-x64-gnu/-/core-linux-x64-gnu-1.15.18.tgz", 1683 1683 + "integrity": "sha512-wG9J8vReUlpaHz4KOD/5UE1AUgirimU4UFT9oZmupUDEofxJKYb1mTA/DrMj0s78bkBiNI+7Fo2EgPuvOJfuAA==", 1678 1684 "cpu": [ 1679 1685 "x64" 1680 1686 ], ··· 1689 1695 } 1690 1696 }, 1691 1697 "node_modules/@swc/core-linux-x64-musl": { 1692 1692 - "version": "1.15.11", 1693 1693 - "resolved": "https://registry.npmjs.org/@swc/core-linux-x64-musl/-/core-linux-x64-musl-1.15.11.tgz", 1694 1694 - "integrity": "sha512-mUjjntHj4+8WBaiDe5UwRNHuEzLjIWBTSGTw0JT9+C9/Yyuh4KQqlcEQ3ro6GkHmBGXBFpGIj/o5VMyRWfVfWw==", 1698 1698 + "version": "1.15.18", 1699 1699 + "resolved": "https://registry.npmjs.org/@swc/core-linux-x64-musl/-/core-linux-x64-musl-1.15.18.tgz", 1700 1700 + "integrity": "sha512-4nwbVvCphKzicwNWRmvD5iBaZj8JYsRGa4xOxJmOyHlMDpsvvJ2OR2cODlvWyGFH6BYL1MfIAK3qph3hp0Az6g==", 1695 1701 "cpu": [ 1696 1702 "x64" 1697 1703 ], ··· 1706 1712 } 1707 1713 }, 1708 1714 "node_modules/@swc/core-win32-arm64-msvc": { 1709 1709 - "version": "1.15.11", 1710 1710 - "resolved": "https://registry.npmjs.org/@swc/core-win32-arm64-msvc/-/core-win32-arm64-msvc-1.15.11.tgz", 1711 1711 - "integrity": "sha512-ZkNNG5zL49YpaFzfl6fskNOSxtcZ5uOYmWBkY4wVAvgbSAQzLRVBp+xArGWh2oXlY/WgL99zQSGTv7RI5E6nzA==", 1715 1715 + "version": "1.15.18", 1716 1716 + "resolved": "https://registry.npmjs.org/@swc/core-win32-arm64-msvc/-/core-win32-arm64-msvc-1.15.18.tgz", 1717 1717 + "integrity": "sha512-zk0RYO+LjiBCat2RTMHzAWaMky0cra9loH4oRrLKLLNuL+jarxKLFDA8xTZWEkCPLjUTwlRN7d28eDLLMgtUcQ==", 1712 1718 "cpu": [ 1713 1719 "arm64" 1714 1720 ], ··· 1723 1729 } 1724 1730 }, 1725 1731 "node_modules/@swc/core-win32-ia32-msvc": { 1726 1726 - "version": "1.15.11", 1727 1727 - "resolved": "https://registry.npmjs.org/@swc/core-win32-ia32-msvc/-/core-win32-ia32-msvc-1.15.11.tgz", 1728 1728 - "integrity": "sha512-6XnzORkZCQzvTQ6cPrU7iaT9+i145oLwnin8JrfsLG41wl26+5cNQ2XV3zcbrnFEV6esjOceom9YO1w9mGJByw==", 1732 1732 + "version": "1.15.18", 1733 1733 + "resolved": "https://registry.npmjs.org/@swc/core-win32-ia32-msvc/-/core-win32-ia32-msvc-1.15.18.tgz", 1734 1734 + "integrity": "sha512-yVuTrZ0RccD5+PEkpcLOBAuPbYBXS6rslENvIXfvJGXSdX5QGi1ehC4BjAMl5FkKLiam4kJECUI0l7Hq7T1vwg==", 1729 1735 "cpu": [ 1730 1736 "ia32" 1731 1737 ], ··· 1740 1746 } 1741 1747 }, 1742 1748 "node_modules/@swc/core-win32-x64-msvc": { 1743 1743 - "version": "1.15.11", 1744 1744 - "resolved": "https://registry.npmjs.org/@swc/core-win32-x64-msvc/-/core-win32-x64-msvc-1.15.11.tgz", 1745 1745 - "integrity": "sha512-IQ2n6af7XKLL6P1gIeZACskSxK8jWtoKpJWLZmdXTDj1MGzktUy4i+FvpdtxFmJWNavRWH1VmTr6kAubRDHeKw==", 1749 1749 + "version": "1.15.18", 1750 1750 + "resolved": "https://registry.npmjs.org/@swc/core-win32-x64-msvc/-/core-win32-x64-msvc-1.15.18.tgz", 1751 1751 + "integrity": "sha512-7NRmE4hmUQNCbYU3Hn9Tz57mK9Qq4c97ZS+YlamlK6qG9Fb5g/BB3gPDe0iLlJkns/sYv2VWSkm8c3NmbEGjbg==", 1746 1752 "cpu": [ 1747 1753 "x64" 1748 1754 ], ··· 1788 1794 "license": "MIT" 1789 1795 }, 1790 1796 "node_modules/@types/react": { 1791 1791 - "version": "19.2.13", 1792 1792 - "resolved": "https://registry.npmjs.org/@types/react/-/react-19.2.13.tgz", 1793 1793 - "integrity": "sha512-KkiJeU6VbYbUOp5ITMIc7kBfqlYkKA5KhEHVrGMmUUMt7NeaZg65ojdPk+FtNrBAOXNVM5QM72jnADjM+XVRAQ==", 1797 1797 + "version": "19.2.14", 1798 1798 + "resolved": "https://registry.npmjs.org/@types/react/-/react-19.2.14.tgz", 1799 1799 + "integrity": "sha512-ilcTH/UniCkMdtexkoCN0bI7pMcJDvmQFPvuPvmEaYA/NSfFTAgdUSLAoVjaRJm7+6PvcM+q1zYOwS4wTYMF9w==", 1794 1800 "dev": true, 1795 1801 "license": "MIT", 1796 1802 "dependencies": { ··· 1808 1814 } 1809 1815 }, 1810 1816 "node_modules/@typescript-eslint/eslint-plugin": { 1811 1811 - "version": "8.54.0", 1812 1812 - "resolved": "https://registry.npmjs.org/@typescript-eslint/eslint-plugin/-/eslint-plugin-8.54.0.tgz", 1813 1813 - "integrity": "sha512-hAAP5io/7csFStuOmR782YmTthKBJ9ND3WVL60hcOjvtGFb+HJxH4O5huAcmcZ9v9G8P+JETiZ/G1B8MALnWZQ==", 1817 1817 + "version": "8.56.1", 1818 1818 + "resolved": "https://registry.npmjs.org/@typescript-eslint/eslint-plugin/-/eslint-plugin-8.56.1.tgz", 1819 1819 + "integrity": "sha512-Jz9ZztpB37dNC+HU2HI28Bs9QXpzCz+y/twHOwhyrIRdbuVDxSytJNDl6z/aAKlaRIwC7y8wJdkBv7FxYGgi0A==", 1814 1820 "dev": true, 1815 1821 "license": "MIT", 1816 1822 "dependencies": { 1817 1823 "@eslint-community/regexpp": "^4.12.2", 1818 1818 - "@typescript-eslint/scope-manager": "8.54.0", 1819 1819 - "@typescript-eslint/type-utils": "8.54.0", 1820 1820 - "@typescript-eslint/utils": "8.54.0", 1821 1821 - "@typescript-eslint/visitor-keys": "8.54.0", 1824 1824 + "@typescript-eslint/scope-manager": "8.56.1", 1825 1825 + "@typescript-eslint/type-utils": "8.56.1", 1826 1826 + "@typescript-eslint/utils": "8.56.1", 1827 1827 + "@typescript-eslint/visitor-keys": "8.56.1", 1822 1828 "ignore": "^7.0.5", 1823 1829 "natural-compare": "^1.4.0", 1824 1830 "ts-api-utils": "^2.4.0" ··· 1831 1837 "url": "https://opencollective.com/typescript-eslint" 1832 1838 }, 1833 1839 "peerDependencies": { 1834 1834 - "@typescript-eslint/parser": "^8.54.0", 1835 1835 - "eslint": "^8.57.0 || ^9.0.0", 1840 1840 + "@typescript-eslint/parser": "^8.56.1", 1841 1841 + "eslint": "^8.57.0 || ^9.0.0 || ^10.0.0", 1836 1842 "typescript": ">=4.8.4 <6.0.0" 1837 1843 } 1838 1844 }, ··· 1847 1853 } 1848 1854 }, 1849 1855 "node_modules/@typescript-eslint/parser": { 1850 1850 - "version": "8.54.0", 1851 1851 - "resolved": "https://registry.npmjs.org/@typescript-eslint/parser/-/parser-8.54.0.tgz", 1852 1852 - "integrity": "sha512-BtE0k6cjwjLZoZixN0t5AKP0kSzlGu7FctRXYuPAm//aaiZhmfq1JwdYpYr1brzEspYyFeF+8XF5j2VK6oalrA==", 1856 1856 + "version": "8.56.1", 1857 1857 + "resolved": "https://registry.npmjs.org/@typescript-eslint/parser/-/parser-8.56.1.tgz", 1858 1858 + "integrity": "sha512-klQbnPAAiGYFyI02+znpBRLyjL4/BrBd0nyWkdC0s/6xFLkXYQ8OoRrSkqacS1ddVxf/LDyODIKbQ5TgKAf/Fg==", 1853 1859 "dev": true, 1854 1860 "license": "MIT", 1855 1861 "dependencies": { 1856 1856 - "@typescript-eslint/scope-manager": "8.54.0", 1857 1857 - "@typescript-eslint/types": "8.54.0", 1858 1858 - "@typescript-eslint/typescript-estree": "8.54.0", 1859 1859 - "@typescript-eslint/visitor-keys": "8.54.0", 1862 1862 + "@typescript-eslint/scope-manager": "8.56.1", 1863 1863 + "@typescript-eslint/types": "8.56.1", 1864 1864 + "@typescript-eslint/typescript-estree": "8.56.1", 1865 1865 + "@typescript-eslint/visitor-keys": "8.56.1", 1860 1866 "debug": "^4.4.3" 1861 1867 }, 1862 1868 "engines": { ··· 1867 1873 "url": "https://opencollective.com/typescript-eslint" 1868 1874 }, 1869 1875 "peerDependencies": { 1870 1870 - "eslint": "^8.57.0 || ^9.0.0", 1876 1876 + "eslint": "^8.57.0 || ^9.0.0 || ^10.0.0", 1871 1877 "typescript": ">=4.8.4 <6.0.0" 1872 1878 } 1873 1879 }, 1874 1880 "node_modules/@typescript-eslint/project-service": { 1875 1875 - "version": "8.54.0", 1876 1876 - "resolved": "https://registry.npmjs.org/@typescript-eslint/project-service/-/project-service-8.54.0.tgz", 1877 1877 - "integrity": "sha512-YPf+rvJ1s7MyiWM4uTRhE4DvBXrEV+d8oC3P9Y2eT7S+HBS0clybdMIPnhiATi9vZOYDc7OQ1L/i6ga6NFYK/g==", 1881 1881 + "version": "8.56.1", 1882 1882 + "resolved": "https://registry.npmjs.org/@typescript-eslint/project-service/-/project-service-8.56.1.tgz", 1883 1883 + "integrity": "sha512-TAdqQTzHNNvlVFfR+hu2PDJrURiwKsUvxFn1M0h95BB8ah5jejas08jUWG4dBA68jDMI988IvtfdAI53JzEHOQ==", 1878 1884 "dev": true, 1879 1885 "license": "MIT", 1880 1886 "dependencies": { 1881 1881 - "@typescript-eslint/tsconfig-utils": "^8.54.0", 1882 1882 - "@typescript-eslint/types": "^8.54.0", 1887 1887 + "@typescript-eslint/tsconfig-utils": "^8.56.1", 1888 1888 + "@typescript-eslint/types": "^8.56.1", 1883 1889 "debug": "^4.4.3" 1884 1890 }, 1885 1891 "engines": { ··· 1894 1900 } 1895 1901 }, 1896 1902 "node_modules/@typescript-eslint/scope-manager": { 1897 1897 - "version": "8.54.0", 1898 1898 - "resolved": "https://registry.npmjs.org/@typescript-eslint/scope-manager/-/scope-manager-8.54.0.tgz", 1899 1899 - "integrity": "sha512-27rYVQku26j/PbHYcVfRPonmOlVI6gihHtXFbTdB5sb6qA0wdAQAbyXFVarQ5t4HRojIz64IV90YtsjQSSGlQg==", 1903 1903 + "version": "8.56.1", 1904 1904 + "resolved": "https://registry.npmjs.org/@typescript-eslint/scope-manager/-/scope-manager-8.56.1.tgz", 1905 1905 + "integrity": "sha512-YAi4VDKcIZp0O4tz/haYKhmIDZFEUPOreKbfdAN3SzUDMcPhJ8QI99xQXqX+HoUVq8cs85eRKnD+rne2UAnj2w==", 1900 1906 "dev": true, 1901 1907 "license": "MIT", 1902 1908 "dependencies": { 1903 1903 - "@typescript-eslint/types": "8.54.0", 1904 1904 - "@typescript-eslint/visitor-keys": "8.54.0" 1909 1909 + "@typescript-eslint/types": "8.56.1", 1910 1910 + "@typescript-eslint/visitor-keys": "8.56.1" 1905 1911 }, 1906 1912 "engines": { 1907 1913 "node": "^18.18.0 || ^20.9.0 || >=21.1.0" ··· 1912 1918 } 1913 1919 }, 1914 1920 "node_modules/@typescript-eslint/tsconfig-utils": { 1915 1915 - "version": "8.54.0", 1916 1916 - "resolved": "https://registry.npmjs.org/@typescript-eslint/tsconfig-utils/-/tsconfig-utils-8.54.0.tgz", 1917 1917 - "integrity": "sha512-dRgOyT2hPk/JwxNMZDsIXDgyl9axdJI3ogZ2XWhBPsnZUv+hPesa5iuhdYt2gzwA9t8RE5ytOJ6xB0moV0Ujvw==", 1921 1921 + "version": "8.56.1", 1922 1922 + "resolved": "https://registry.npmjs.org/@typescript-eslint/tsconfig-utils/-/tsconfig-utils-8.56.1.tgz", 1923 1923 + "integrity": "sha512-qOtCYzKEeyr3aR9f28mPJqBty7+DBqsdd63eO0yyDwc6vgThj2UjWfJIcsFeSucYydqcuudMOprZ+x1SpF3ZuQ==", 1918 1924 "dev": true, 1919 1925 "license": "MIT", 1920 1926 "engines": { ··· 1929 1935 } 1930 1936 }, 1931 1937 "node_modules/@typescript-eslint/type-utils": { 1932 1932 - "version": "8.54.0", 1933 1933 - "resolved": "https://registry.npmjs.org/@typescript-eslint/type-utils/-/type-utils-8.54.0.tgz", 1934 1934 - "integrity": "sha512-hiLguxJWHjjwL6xMBwD903ciAwd7DmK30Y9Axs/etOkftC3ZNN9K44IuRD/EB08amu+Zw6W37x9RecLkOo3pMA==", 1938 1938 + "version": "8.56.1", 1939 1939 + "resolved": "https://registry.npmjs.org/@typescript-eslint/type-utils/-/type-utils-8.56.1.tgz", 1940 1940 + "integrity": "sha512-yB/7dxi7MgTtGhZdaHCemf7PuwrHMenHjmzgUW1aJpO+bBU43OycnM3Wn+DdvDO/8zzA9HlhaJ0AUGuvri4oGg==", 1935 1941 "dev": true, 1936 1942 "license": "MIT", 1937 1943 "dependencies": { 1938 1938 - "@typescript-eslint/types": "8.54.0", 1939 1939 - "@typescript-eslint/typescript-estree": "8.54.0", 1940 1940 - "@typescript-eslint/utils": "8.54.0", 1944 1944 + "@typescript-eslint/types": "8.56.1", 1945 1945 + "@typescript-eslint/typescript-estree": "8.56.1", 1946 1946 + "@typescript-eslint/utils": "8.56.1", 1941 1947 "debug": "^4.4.3", 1942 1948 "ts-api-utils": "^2.4.0" 1943 1949 }, ··· 1949 1955 "url": "https://opencollective.com/typescript-eslint" 1950 1956 }, 1951 1957 "peerDependencies": { 1952 1952 - "eslint": "^8.57.0 || ^9.0.0", 1958 1958 + "eslint": "^8.57.0 || ^9.0.0 || ^10.0.0", 1953 1959 "typescript": ">=4.8.4 <6.0.0" 1954 1960 } 1955 1961 }, 1956 1962 "node_modules/@typescript-eslint/types": { 1957 1957 - "version": "8.54.0", 1958 1958 - "resolved": "https://registry.npmjs.org/@typescript-eslint/types/-/types-8.54.0.tgz", 1959 1959 - "integrity": "sha512-PDUI9R1BVjqu7AUDsRBbKMtwmjWcn4J3le+5LpcFgWULN3LvHC5rkc9gCVxbrsrGmO1jfPybN5s6h4Jy+OnkAA==", 1963 1963 + "version": "8.56.1", 1964 1964 + "resolved": "https://registry.npmjs.org/@typescript-eslint/types/-/types-8.56.1.tgz", 1965 1965 + "integrity": "sha512-dbMkdIUkIkchgGDIv7KLUpa0Mda4IYjo4IAMJUZ+3xNoUXxMsk9YtKpTHSChRS85o+H9ftm51gsK1dZReY9CVw==", 1960 1966 "dev": true, 1961 1967 "license": "MIT", 1962 1968 "engines": { ··· 1968 1974 } 1969 1975 }, 1970 1976 "node_modules/@typescript-eslint/typescript-estree": { 1971 1971 - "version": "8.54.0", 1972 1972 - "resolved": "https://registry.npmjs.org/@typescript-eslint/typescript-estree/-/typescript-estree-8.54.0.tgz", 1973 1973 - "integrity": "sha512-BUwcskRaPvTk6fzVWgDPdUndLjB87KYDrN5EYGetnktoeAvPtO4ONHlAZDnj5VFnUANg0Sjm7j4usBlnoVMHwA==", 1977 1977 + "version": "8.56.1", 1978 1978 + "resolved": "https://registry.npmjs.org/@typescript-eslint/typescript-estree/-/typescript-estree-8.56.1.tgz", 1979 1979 + "integrity": "sha512-qzUL1qgalIvKWAf9C1HpvBjif+Vm6rcT5wZd4VoMb9+Km3iS3Cv9DY6dMRMDtPnwRAFyAi7YXJpTIEXLvdfPxg==", 1974 1980 "dev": true, 1975 1981 "license": "MIT", 1976 1982 "dependencies": { 1977 1977 - "@typescript-eslint/project-service": "8.54.0", 1978 1978 - "@typescript-eslint/tsconfig-utils": "8.54.0", 1979 1979 - "@typescript-eslint/types": "8.54.0", 1980 1980 - "@typescript-eslint/visitor-keys": "8.54.0", 1983 1983 + "@typescript-eslint/project-service": "8.56.1", 1984 1984 + "@typescript-eslint/tsconfig-utils": "8.56.1", 1985 1985 + "@typescript-eslint/types": "8.56.1", 1986 1986 + "@typescript-eslint/visitor-keys": "8.56.1", 1981 1987 "debug": "^4.4.3", 1982 1982 - "minimatch": "^9.0.5", 1988 1988 + "minimatch": "^10.2.2", 1983 1989 "semver": "^7.7.3", 1984 1990 "tinyglobby": "^0.2.15", 1985 1991 "ts-api-utils": "^2.4.0" ··· 1995 2001 "typescript": ">=4.8.4 <6.0.0" 1996 2002 } 1997 2003 }, 2004 2004 + "node_modules/@typescript-eslint/typescript-estree/node_modules/balanced-match": { 2005 2005 + "version": "4.0.4", 2006 2006 + "resolved": "https://registry.npmjs.org/balanced-match/-/balanced-match-4.0.4.tgz", 2007 2007 + "integrity": "sha512-BLrgEcRTwX2o6gGxGOCNyMvGSp35YofuYzw9h1IMTRmKqttAZZVU67bdb9Pr2vUHA8+j3i2tJfjO6C6+4myGTA==", 2008 2008 + "dev": true, 2009 2009 + "license": "MIT", 2010 2010 + "engines": { 2011 2011 + "node": "18 || 20 || >=22" 2012 2012 + } 2013 2013 + }, 1998 2014 "node_modules/@typescript-eslint/typescript-estree/node_modules/brace-expansion": { 1999 1999 - "version": "2.0.2", 2000 2000 - "resolved": "https://registry.npmjs.org/brace-expansion/-/brace-expansion-2.0.2.tgz", 2001 2001 - "integrity": "sha512-Jt0vHyM+jmUBqojB7E1NIYadt0vI0Qxjxd2TErW94wDz+E2LAm5vKMXXwg6ZZBTHPuUlDgQHKXvjGBdfcF1ZDQ==", 2015 2015 + "version": "5.0.4", 2016 2016 + "resolved": "https://registry.npmjs.org/brace-expansion/-/brace-expansion-5.0.4.tgz", 2017 2017 + "integrity": "sha512-h+DEnpVvxmfVefa4jFbCf5HdH5YMDXRsmKflpf1pILZWRFlTbJpxeU55nJl4Smt5HQaGzg1o6RHFPJaOqnmBDg==", 2002 2018 "dev": true, 2003 2019 "license": "MIT", 2004 2020 "dependencies": { 2005 2005 - "balanced-match": "^1.0.0" 2021 2021 + "balanced-match": "^4.0.2" 2022 2022 + }, 2023 2023 + "engines": { 2024 2024 + "node": "18 || 20 || >=22" 2006 2025 } 2007 2026 }, 2008 2027 "node_modules/@typescript-eslint/typescript-estree/node_modules/minimatch": { 2009 2009 - "version": "9.0.5", 2010 2010 - "resolved": "https://registry.npmjs.org/minimatch/-/minimatch-9.0.5.tgz", 2011 2011 - "integrity": "sha512-G6T0ZX48xgozx7587koeX9Ys2NYy6Gmv//P89sEte9V9whIapMNF4idKxnW2QtCcLiTWlb/wfCabAtAFWhhBow==", 2028 2028 + "version": "10.2.4", 2029 2029 + "resolved": "https://registry.npmjs.org/minimatch/-/minimatch-10.2.4.tgz", 2030 2030 + "integrity": "sha512-oRjTw/97aTBN0RHbYCdtF1MQfvusSIBQM0IZEgzl6426+8jSC0nF1a/GmnVLpfB9yyr6g6FTqWqiZVbxrtaCIg==", 2012 2031 "dev": true, 2013 2013 - "license": "ISC", 2032 2032 + "license": "BlueOak-1.0.0", 2014 2033 "dependencies": { 2015 2015 - "brace-expansion": "^2.0.1" 2034 2034 + "brace-expansion": "^5.0.2" 2016 2035 }, 2017 2036 "engines": { 2018 2018 - "node": ">=16 || 14 >=14.17" 2037 2037 + "node": "18 || 20 || >=22" 2019 2038 }, 2020 2039 "funding": { 2021 2040 "url": "https://github.com/sponsors/isaacs" ··· 2035 2054 } 2036 2055 }, 2037 2056 "node_modules/@typescript-eslint/utils": { 2038 2038 - "version": "8.54.0", 2039 2039 - "resolved": "https://registry.npmjs.org/@typescript-eslint/utils/-/utils-8.54.0.tgz", 2040 2040 - "integrity": "sha512-9Cnda8GS57AQakvRyG0PTejJNlA2xhvyNtEVIMlDWOOeEyBkYWhGPnfrIAnqxLMTSTo6q8g12XVjjev5l1NvMA==", 2057 2057 + "version": "8.56.1", 2058 2058 + "resolved": "https://registry.npmjs.org/@typescript-eslint/utils/-/utils-8.56.1.tgz", 2059 2059 + "integrity": "sha512-HPAVNIME3tABJ61siYlHzSWCGtOoeP2RTIaHXFMPqjrQKCGB9OgUVdiNgH7TJS2JNIQ5qQ4RsAUDuGaGme/KOA==", 2041 2060 "dev": true, 2042 2061 "license": "MIT", 2043 2062 "dependencies": { 2044 2063 "@eslint-community/eslint-utils": "^4.9.1", 2045 2045 - "@typescript-eslint/scope-manager": "8.54.0", 2046 2046 - "@typescript-eslint/types": "8.54.0", 2047 2047 - "@typescript-eslint/typescript-estree": "8.54.0" 2064 2064 + "@typescript-eslint/scope-manager": "8.56.1", 2065 2065 + "@typescript-eslint/types": "8.56.1", 2066 2066 + "@typescript-eslint/typescript-estree": "8.56.1" 2048 2067 }, 2049 2068 "engines": { 2050 2069 "node": "^18.18.0 || ^20.9.0 || >=21.1.0" ··· 2054 2073 "url": "https://opencollective.com/typescript-eslint" 2055 2074 }, 2056 2075 "peerDependencies": { 2057 2057 - "eslint": "^8.57.0 || ^9.0.0", 2076 2076 + "eslint": "^8.57.0 || ^9.0.0 || ^10.0.0", 2058 2077 "typescript": ">=4.8.4 <6.0.0" 2059 2078 } 2060 2079 }, 2061 2080 "node_modules/@typescript-eslint/visitor-keys": { 2062 2062 - "version": "8.54.0", 2063 2063 - "resolved": "https://registry.npmjs.org/@typescript-eslint/visitor-keys/-/visitor-keys-8.54.0.tgz", 2064 2064 - "integrity": "sha512-VFlhGSl4opC0bprJiItPQ1RfUhGDIBokcPwaFH4yiBCaNPeld/9VeXbiPO1cLyorQi1G1vL+ecBk1x8o1axORA==", 2081 2081 + "version": "8.56.1", 2082 2082 + "resolved": "https://registry.npmjs.org/@typescript-eslint/visitor-keys/-/visitor-keys-8.56.1.tgz", 2083 2083 + "integrity": "sha512-KiROIzYdEV85YygXw6BI/Dx4fnBlFQu6Mq4QE4MOH9fFnhohw6wX/OAvDY2/C+ut0I3RSPKenvZJIVYqJNkhEw==", 2065 2084 "dev": true, 2066 2085 "license": "MIT", 2067 2086 "dependencies": { 2068 2068 - "@typescript-eslint/types": "8.54.0", 2069 2069 - "eslint-visitor-keys": "^4.2.1" 2087 2087 + "@typescript-eslint/types": "8.56.1", 2088 2088 + "eslint-visitor-keys": "^5.0.0" 2070 2089 }, 2071 2090 "engines": { 2072 2091 "node": "^18.18.0 || ^20.9.0 || >=21.1.0" ··· 2076 2095 "url": "https://opencollective.com/typescript-eslint" 2077 2096 } 2078 2097 }, 2098 2098 + "node_modules/@typescript-eslint/visitor-keys/node_modules/eslint-visitor-keys": { 2099 2099 + "version": "5.0.1", 2100 2100 + "resolved": "https://registry.npmjs.org/eslint-visitor-keys/-/eslint-visitor-keys-5.0.1.tgz", 2101 2101 + "integrity": "sha512-tD40eHxA35h0PEIZNeIjkHoDR4YjjJp34biM0mDvplBe//mB+IHCqHDGV7pxF+7MklTvighcCPPZC7ynWyjdTA==", 2102 2102 + "dev": true, 2103 2103 + "license": "Apache-2.0", 2104 2104 + "engines": { 2105 2105 + "node": "^20.19.0 || ^22.13.0 || >=24" 2106 2106 + }, 2107 2107 + "funding": { 2108 2108 + "url": "https://opencollective.com/eslint" 2109 2109 + } 2110 2110 + }, 2079 2111 "node_modules/@vitejs/plugin-react-swc": { 2080 2112 "version": "4.2.3", 2081 2113 "resolved": "https://registry.npmjs.org/@vitejs/plugin-react-swc/-/plugin-react-swc-4.2.3.tgz", ··· 2094 2126 } 2095 2127 }, 2096 2128 "node_modules/acorn": { 2097 2097 - "version": "8.15.0", 2098 2098 - "resolved": "https://registry.npmjs.org/acorn/-/acorn-8.15.0.tgz", 2099 2099 - "integrity": "sha512-NZyJarBfL7nWwIq+FDL6Zp/yHEhePMNnnJ0y3qfieCrmNvYct8uvtiV41UvlSe6apAfk0fY1FbWx+NwfmpvtTg==", 2129 2129 + "version": "8.16.0", 2130 2130 + "resolved": "https://registry.npmjs.org/acorn/-/acorn-8.16.0.tgz", 2131 2131 + "integrity": "sha512-UVJyE9MttOsBQIDKw1skb9nAwQuR5wuGD3+82K6JgJlm/Y+KI92oNsMNGZCYdDsVtRHSak0pcV5Dno5+4jh9sw==", 2100 2132 "dev": true, 2101 2133 "license": "MIT", 2102 2134 "bin": { ··· 2117 2149 } 2118 2150 }, 2119 2151 "node_modules/ajv": { 2120 2120 - "version": "6.12.6", 2121 2121 - "resolved": "https://registry.npmjs.org/ajv/-/ajv-6.12.6.tgz", 2122 2122 - "integrity": "sha512-j3fVLgvTo527anyYyJOGTYJbG+vnnQYvE0m5mmkc1TK+nxAppkCLMIL0aZ4dblVCNoGShhm+kzE4ZUykBoMg4g==", 2152 2152 + "version": "6.14.0", 2153 2153 + "resolved": "https://registry.npmjs.org/ajv/-/ajv-6.14.0.tgz", 2154 2154 + "integrity": "sha512-IWrosm/yrn43eiKqkfkHis7QioDleaXQHdDVPKg0FSwwd/DuvyX79TZnFOnYpB7dcsFAMmtFztZuXPDvSePkFw==", 2123 2155 "dev": true, 2124 2156 "license": "MIT", 2125 2157 "dependencies": { ··· 2214 2246 "license": "MIT" 2215 2247 }, 2216 2248 "node_modules/baseline-browser-mapping": { 2217 2217 - "version": "2.9.19", 2218 2218 - "resolved": "https://registry.npmjs.org/baseline-browser-mapping/-/baseline-browser-mapping-2.9.19.tgz", 2219 2219 - "integrity": "sha512-ipDqC8FrAl/76p2SSWKSI+H9tFwm7vYqXQrItCuiVPt26Km0jS+NzSsBWAaBusvSbQcfJG+JitdMm+wZAgTYqg==", 2249 2249 + "version": "2.10.0", 2250 2250 + "resolved": "https://registry.npmjs.org/baseline-browser-mapping/-/baseline-browser-mapping-2.10.0.tgz", 2251 2251 + "integrity": "sha512-lIyg0szRfYbiy67j9KN8IyeD7q7hcmqnJ1ddWmNt19ItGpNN64mnllmxUNFIOdOm6by97jlL6wfpTTJrmnjWAA==", 2220 2252 "dev": true, 2221 2253 "license": "Apache-2.0", 2222 2254 "bin": { 2223 2223 - "baseline-browser-mapping": "dist/cli.js" 2255 2255 + "baseline-browser-mapping": "dist/cli.cjs" 2256 2256 + }, 2257 2257 + "engines": { 2258 2258 + "node": ">=6.0.0" 2224 2259 } 2225 2260 }, 2226 2261 "node_modules/binary-extensions": { ··· 2305 2340 } 2306 2341 }, 2307 2342 "node_modules/caniuse-lite": { 2308 2308 - "version": "1.0.30001769", 2309 2309 - "resolved": "https://registry.npmjs.org/caniuse-lite/-/caniuse-lite-1.0.30001769.tgz", 2310 2310 - "integrity": "sha512-BCfFL1sHijQlBGWBMuJyhZUhzo7wer5sVj9hqekB/7xn0Ypy+pER/edCYQm4exbXj4WiySGp40P8UuTh6w1srg==", 2343 2343 + "version": "1.0.30001776", 2344 2344 + "resolved": "https://registry.npmjs.org/caniuse-lite/-/caniuse-lite-1.0.30001776.tgz", 2345 2345 + "integrity": "sha512-sg01JDPzZ9jGshqKSckOQthXnYwOEP50jeVFhaSFbZcOy05TiuuaffDOfcwtCisJ9kNQuLBFibYywv2Bgm9osw==", 2311 2346 "dev": true, 2312 2347 "funding": [ 2313 2348 { ··· 2397 2432 } 2398 2433 }, 2399 2434 "node_modules/cli-truncate": { 2400 2400 - "version": "5.1.1", 2401 2401 - "resolved": "https://registry.npmjs.org/cli-truncate/-/cli-truncate-5.1.1.tgz", 2402 2402 - "integrity": "sha512-SroPvNHxUnk+vIW/dOSfNqdy1sPEFkrTk6TUtqLCnBlo3N7TNYYkzzN7uSD6+jVjrdO4+p8nH7JzH6cIvUem6A==", 2435 2435 + "version": "5.2.0", 2436 2436 + "resolved": "https://registry.npmjs.org/cli-truncate/-/cli-truncate-5.2.0.tgz", 2437 2437 + "integrity": "sha512-xRwvIOMGrfOAnM1JYtqQImuaNtDEv9v6oIYAs4LIHwTiKee8uwvIi363igssOC0O5U04i4AlENs79LQLu9tEMw==", 2403 2438 "dev": true, 2404 2439 "license": "MIT", 2405 2440 "dependencies": { 2406 2406 - "slice-ansi": "^7.1.0", 2407 2407 - "string-width": "^8.0.0" 2441 2441 + "slice-ansi": "^8.0.0", 2442 2442 + "string-width": "^8.2.0" 2408 2443 }, 2409 2444 "engines": { 2410 2445 "node": ">=20" ··· 2522 2557 } 2523 2558 }, 2524 2559 "node_modules/electron-to-chromium": { 2525 2525 - "version": "1.5.286", 2526 2526 - "resolved": "https://registry.npmjs.org/electron-to-chromium/-/electron-to-chromium-1.5.286.tgz", 2527 2527 - "integrity": "sha512-9tfDXhJ4RKFNerfjdCcZfufu49vg620741MNs26a9+bhLThdB+plgMeou98CAaHu/WATj2iHOOHTp1hWtABj2A==", 2560 2560 + "version": "1.5.307", 2561 2561 + "resolved": "https://registry.npmjs.org/electron-to-chromium/-/electron-to-chromium-1.5.307.tgz", 2562 2562 + "integrity": "sha512-5z3uFKBWjiNR44nFcYdkcXjKMbg5KXNdciu7mhTPo9tB7NbqSNP2sSnGR+fqknZSCwKkBN+oxiiajWs4dT6ORg==", 2528 2563 "dev": true, 2529 2564 "license": "ISC" 2530 2565 }, ··· 2614 2649 } 2615 2650 }, 2616 2651 "node_modules/eslint": { 2617 2617 - "version": "9.39.2", 2618 2618 - "resolved": "https://registry.npmjs.org/eslint/-/eslint-9.39.2.tgz", 2619 2619 - "integrity": "sha512-LEyamqS7W5HB3ujJyvi0HQK/dtVINZvd5mAAp9eT5S/ujByGjiZLCzPcHVzuXbpJDJF/cxwHlfceVUDZ2lnSTw==", 2652 2652 + "version": "9.39.3", 2653 2653 + "resolved": "https://registry.npmjs.org/eslint/-/eslint-9.39.3.tgz", 2654 2654 + "integrity": "sha512-VmQ+sifHUbI/IcSopBCF/HO3YiHQx/AVd3UVyYL6weuwW+HvON9VYn5l6Zl1WZzPWXPNZrSQpxwkkZ/VuvJZzg==", 2620 2655 "dev": true, 2621 2656 "license": "MIT", 2622 2657 "dependencies": { ··· 2626 2661 "@eslint/config-helpers": "^0.4.2", 2627 2662 "@eslint/core": "^0.17.0", 2628 2663 "@eslint/eslintrc": "^3.3.1", 2629 2629 - "@eslint/js": "9.39.2", 2664 2664 + "@eslint/js": "9.39.3", 2630 2665 "@eslint/plugin-kit": "^0.4.1", 2631 2666 "@humanfs/node": "^0.16.6", 2632 2667 "@humanwhocodes/module-importer": "^1.0.1", ··· 2923 2958 } 2924 2959 }, 2925 2960 "node_modules/flatted": { 2926 2926 - "version": "3.3.3", 2927 2927 - "resolved": "https://registry.npmjs.org/flatted/-/flatted-3.3.3.tgz", 2928 2928 - "integrity": "sha512-GX+ysw4PBCz0PzosHDepZGANEuFCMLrnRTiEy9McGjmkCQYwRq4A/X786G/fjM/+OjsWSU1ZrY5qyARZmO/uwg==", 2961 2961 + "version": "3.3.4", 2962 2962 + "resolved": "https://registry.npmjs.org/flatted/-/flatted-3.3.4.tgz", 2963 2963 + "integrity": "sha512-3+mMldrTAPdta5kjX2G2J7iX4zxtnwpdA8Tr2ZSjkyPSanvbZAcy6flmtnXbEybHrDcU9641lxrMfFuUxVz9vA==", 2929 2964 "dev": true, 2930 2965 "license": "ISC" 2931 2966 }, ··· 2955 2990 } 2956 2991 }, 2957 2992 "node_modules/get-east-asian-width": { 2958 2958 - "version": "1.4.0", 2959 2959 - "resolved": "https://registry.npmjs.org/get-east-asian-width/-/get-east-asian-width-1.4.0.tgz", 2960 2960 - "integrity": "sha512-QZjmEOC+IT1uk6Rx0sX22V6uHWVwbdbxf1faPqJ1QhLdGgsRGCZoyaQBm/piRdJy/D2um6hM1UP7ZEeQ4EkP+Q==", 2993 2993 + "version": "1.5.0", 2994 2994 + "resolved": "https://registry.npmjs.org/get-east-asian-width/-/get-east-asian-width-1.5.0.tgz", 2995 2995 + "integrity": "sha512-CQ+bEO+Tva/qlmw24dCejulK5pMzVnUOFOijVogd3KQs07HnRIgp8TGipvCCRT06xeYEbpbgwaCxglFyiuIcmA==", 2961 2996 "dev": true, 2962 2997 "license": "MIT", 2963 2998 "engines": { ··· 3265 3300 } 3266 3301 }, 3267 3302 "node_modules/lint-staged": { 3268 3268 - "version": "16.2.7", 3269 3269 - "resolved": "https://registry.npmjs.org/lint-staged/-/lint-staged-16.2.7.tgz", 3270 3270 - "integrity": "sha512-lDIj4RnYmK7/kXMya+qJsmkRFkGolciXjrsZ6PC25GdTfWOAWetR0ZbsNXRAj1EHHImRSalc+whZFg56F5DVow==", 3303 3303 + "version": "16.3.2", 3304 3304 + "resolved": "https://registry.npmjs.org/lint-staged/-/lint-staged-16.3.2.tgz", 3305 3305 + "integrity": "sha512-xKqhC2AeXLwiAHXguxBjuChoTTWFC6Pees0SHPwOpwlvI3BH7ZADFPddAdN3pgo3aiKgPUx/bxE78JfUnxQnlg==", 3271 3306 "dev": true, 3272 3307 "license": "MIT", 3273 3308 "dependencies": { 3274 3274 - "commander": "^14.0.2", 3309 3309 + "commander": "^14.0.3", 3275 3310 "listr2": "^9.0.5", 3276 3311 "micromatch": "^4.0.8", 3277 3277 - "nano-spawn": "^2.0.0", 3278 3278 - "pidtree": "^0.6.0", 3279 3312 "string-argv": "^0.3.2", 3280 3280 - "yaml": "^2.8.1" 3313 3313 + "tinyexec": "^1.0.2", 3314 3314 + "yaml": "^2.8.2" 3281 3315 }, 3282 3316 "bin": { 3283 3317 "lint-staged": "bin/lint-staged.js" ··· 3350 3384 "url": "https://github.com/sponsors/sindresorhus" 3351 3385 } 3352 3386 }, 3387 3387 + "node_modules/log-update/node_modules/ansi-styles": { 3388 3388 + "version": "6.2.3", 3389 3389 + "resolved": "https://registry.npmjs.org/ansi-styles/-/ansi-styles-6.2.3.tgz", 3390 3390 + "integrity": "sha512-4Dj6M28JB+oAH8kFkTLUo+a2jwOFkuqb3yucU0CANcRRUbxS0cP0nZYCGjcc3BNXwRIsUVmDGgzawme7zvJHvg==", 3391 3391 + "dev": true, 3392 3392 + "license": "MIT", 3393 3393 + "engines": { 3394 3394 + "node": ">=12" 3395 3395 + }, 3396 3396 + "funding": { 3397 3397 + "url": "https://github.com/chalk/ansi-styles?sponsor=1" 3398 3398 + } 3399 3399 + }, 3400 3400 + "node_modules/log-update/node_modules/slice-ansi": { 3401 3401 + "version": "7.1.2", 3402 3402 + "resolved": "https://registry.npmjs.org/slice-ansi/-/slice-ansi-7.1.2.tgz", 3403 3403 + "integrity": "sha512-iOBWFgUX7caIZiuutICxVgX1SdxwAVFFKwt1EvMYYec/NWO5meOJ6K5uQxhrYBdQJne4KxiqZc+KptFOWFSI9w==", 3404 3404 + "dev": true, 3405 3405 + "license": "MIT", 3406 3406 + "dependencies": { 3407 3407 + "ansi-styles": "^6.2.1", 3408 3408 + "is-fullwidth-code-point": "^5.0.0" 3409 3409 + }, 3410 3410 + "engines": { 3411 3411 + "node": ">=18" 3412 3412 + }, 3413 3413 + "funding": { 3414 3414 + "url": "https://github.com/chalk/slice-ansi?sponsor=1" 3415 3415 + } 3416 3416 + }, 3353 3417 "node_modules/lru-cache": { 3354 3418 "version": "5.1.1", 3355 3419 "resolved": "https://registry.npmjs.org/lru-cache/-/lru-cache-5.1.1.tgz", ··· 3398 3462 } 3399 3463 }, 3400 3464 "node_modules/minimatch": { 3401 3401 - "version": "3.1.2", 3402 3402 - "resolved": "https://registry.npmjs.org/minimatch/-/minimatch-3.1.2.tgz", 3403 3403 - "integrity": "sha512-J7p63hRiAjw1NDEww1W7i37+ByIrOWO5XQQAzZ3VOcL0PNybwpfmV/N05zFAzwQ9USyEcX6t3UO+K5aqBQOIHw==", 3465 3465 + "version": "3.1.5", 3466 3466 + "resolved": "https://registry.npmjs.org/minimatch/-/minimatch-3.1.5.tgz", 3467 3467 + "integrity": "sha512-VgjWUsnnT6n+NUk6eZq77zeFdpW2LWDzP6zFGrCbHXiYNul5Dzqk2HHQ5uFH2DNW5Xbp8+jVzaeNt94ssEEl4w==", 3404 3468 "dev": true, 3405 3469 "license": "ISC", 3406 3470 "dependencies": { ··· 3417 3481 "dev": true, 3418 3482 "license": "MIT" 3419 3483 }, 3420 3420 - "node_modules/nano-spawn": { 3421 3421 - "version": "2.0.0", 3422 3422 - "resolved": "https://registry.npmjs.org/nano-spawn/-/nano-spawn-2.0.0.tgz", 3423 3423 - "integrity": "sha512-tacvGzUY5o2D8CBh2rrwxyNojUsZNU2zjNTzKQrkgGJQTbGAfArVWXSKMBokBeeg6C7OLRGUEyoFlYbfeWQIqw==", 3424 3424 - "dev": true, 3425 3425 - "license": "MIT", 3426 3426 - "engines": { 3427 3427 - "node": ">=20.17" 3428 3428 - }, 3429 3429 - "funding": { 3430 3430 - "url": "https://github.com/sindresorhus/nano-spawn?sponsor=1" 3431 3431 - } 3432 3432 - }, 3433 3484 "node_modules/nanoid": { 3434 3485 "version": "3.3.11", 3435 3486 "resolved": "https://registry.npmjs.org/nanoid/-/nanoid-3.3.11.tgz", ··· 3457 3508 "license": "MIT" 3458 3509 }, 3459 3510 "node_modules/node-releases": { 3460 3460 - "version": "2.0.27", 3461 3461 - "resolved": "https://registry.npmjs.org/node-releases/-/node-releases-2.0.27.tgz", 3462 3462 - "integrity": "sha512-nmh3lCkYZ3grZvqcCH+fjmQ7X+H0OeZgP40OierEaAptX4XofMh5kwNbWh7lBduUzCcV/8kZ+NDLCwm2iorIlA==", 3511 3511 + "version": "2.0.36", 3512 3512 + "resolved": "https://registry.npmjs.org/node-releases/-/node-releases-2.0.36.tgz", 3513 3513 + "integrity": "sha512-TdC8FSgHz8Mwtw9g5L4gR/Sh9XhSP/0DEkQxfEFXOpiul5IiHgHan2VhYYb6agDSfp4KuvltmGApc8HMgUrIkA==", 3463 3514 "dev": true, 3464 3515 "license": "MIT" 3465 3516 }, ··· 3624 3675 "url": "https://github.com/sponsors/jonschlinkert" 3625 3676 } 3626 3677 }, 3627 3627 - "node_modules/pidtree": { 3628 3628 - "version": "0.6.0", 3629 3629 - "resolved": "https://registry.npmjs.org/pidtree/-/pidtree-0.6.0.tgz", 3630 3630 - "integrity": "sha512-eG2dWTVw5bzqGRztnHExczNxt5VGsE6OwTeCG3fdUf9KBsZzO3R5OIIIzWR+iZA0NtZ+RDVdaoE2dK1cn6jH4g==", 3631 3631 - "dev": true, 3632 3632 - "license": "MIT", 3633 3633 - "bin": { 3634 3634 - "pidtree": "bin/pidtree.js" 3635 3635 - }, 3636 3636 - "engines": { 3637 3637 - "node": ">=0.10" 3638 3638 - } 3639 3639 - }, 3640 3678 "node_modules/postcss": { 3641 3641 - "version": "8.5.6", 3642 3642 - "resolved": "https://registry.npmjs.org/postcss/-/postcss-8.5.6.tgz", 3643 3643 - "integrity": "sha512-3Ybi1tAuwAP9s0r1UQ2J4n5Y0G05bJkpUIO0/bI9MhwmD70S5aTWbXGBwxHrelT+XM1k6dM0pk+SwNkpTRN7Pg==", 3679 3679 + "version": "8.5.8", 3680 3680 + "resolved": "https://registry.npmjs.org/postcss/-/postcss-8.5.8.tgz", 3681 3681 + "integrity": "sha512-OW/rX8O/jXnm82Ey1k44pObPtdblfiuWnrd8X7GJ7emImCOstunGbXUpp7HdBrFQX6rJzn3sPT397Wp5aCwCHg==", 3644 3682 "dev": true, 3645 3683 "funding": [ 3646 3684 { ··· 3767 3805 } 3768 3806 }, 3769 3807 "node_modules/rescript": { 3770 3770 - "version": "12.1.0", 3771 3771 - "resolved": "https://registry.npmjs.org/rescript/-/rescript-12.1.0.tgz", 3772 3772 - "integrity": "sha512-n/B43wzIEKV4OmlrWbrlQOL4zZaz0RM/Cc8PG2YvhQvQDW7nscHJliDq1AGeVwHoMX68MeaKKzLDOMOMU9Z6FA==", 3773 3773 - "license": "SEE LICENSE IN LICENSE", 3808 3808 + "version": "12.2.0", 3809 3809 + "resolved": "https://registry.npmjs.org/rescript/-/rescript-12.2.0.tgz", 3810 3810 + "integrity": "sha512-1Jf2cmNhyx5Mj2vwZ4XXPcXvNSjGj9D1jPBUcoqIOqRpLPo1ch2Ta/7eWh23xAHWHK5ow7BCDyYFjvZSjyjLzg==", 3811 3811 + "license": "(LGPL-3.0-or-later AND MIT)", 3774 3812 "workspaces": [ 3775 3813 "packages/playground", 3776 3814 "packages/@rescript/*", ··· 3779 3817 "tests/docstring_tests", 3780 3818 "tests/gentype_tests/**", 3781 3819 "tests/tools_tests", 3820 3820 + "tests/commonjs_tests", 3782 3821 "scripts/res" 3783 3822 ], 3784 3823 "dependencies": { 3785 3785 - "@rescript/runtime": "12.1.0" 3824 3824 + "@rescript/runtime": "12.2.0" 3786 3825 }, 3787 3826 "bin": { 3788 3827 "bsc": "cli/bsc.js", ··· 3795 3834 "node": ">=20.11.0" 3796 3835 }, 3797 3836 "optionalDependencies": { 3798 3798 - "@rescript/darwin-arm64": "12.1.0", 3799 3799 - "@rescript/darwin-x64": "12.1.0", 3800 3800 - "@rescript/linux-arm64": "12.1.0", 3801 3801 - "@rescript/linux-x64": "12.1.0", 3802 3802 - "@rescript/win32-x64": "12.1.0" 3837 3837 + "@rescript/darwin-arm64": "12.2.0", 3838 3838 + "@rescript/darwin-x64": "12.2.0", 3839 3839 + "@rescript/linux-arm64": "12.2.0", 3840 3840 + "@rescript/linux-x64": "12.2.0", 3841 3841 + "@rescript/win32-x64": "12.2.0" 3803 3842 } 3804 3843 }, 3805 3844 "node_modules/resolve-from": { ··· 3848 3887 "license": "MIT" 3849 3888 }, 3850 3889 "node_modules/rollup": { 3851 3851 - "version": "4.57.1", 3852 3852 - "resolved": "https://registry.npmjs.org/rollup/-/rollup-4.57.1.tgz", 3853 3853 - "integrity": "sha512-oQL6lgK3e2QZeQ7gcgIkS2YZPg5slw37hYufJ3edKlfQSGGm8ICoxswK15ntSzF/a8+h7ekRy7k7oWc3BQ7y8A==", 3890 3890 + "version": "4.59.0", 3891 3891 + "resolved": "https://registry.npmjs.org/rollup/-/rollup-4.59.0.tgz", 3892 3892 + "integrity": "sha512-2oMpl67a3zCH9H79LeMcbDhXW/UmWG/y2zuqnF2jQq5uq9TbM9TVyXvA4+t+ne2IIkBdrLpAaRQAvo7YI/Yyeg==", 3854 3893 "dev": true, 3855 3894 "license": "MIT", 3856 3895 "dependencies": { ··· 3864 3903 "npm": ">=8.0.0" 3865 3904 }, 3866 3905 "optionalDependencies": { 3867 3867 - "@rollup/rollup-android-arm-eabi": "4.57.1", 3868 3868 - "@rollup/rollup-android-arm64": "4.57.1", 3869 3869 - "@rollup/rollup-darwin-arm64": "4.57.1", 3870 3870 - "@rollup/rollup-darwin-x64": "4.57.1", 3871 3871 - "@rollup/rollup-freebsd-arm64": "4.57.1", 3872 3872 - "@rollup/rollup-freebsd-x64": "4.57.1", 3873 3873 - "@rollup/rollup-linux-arm-gnueabihf": "4.57.1", 3874 3874 - "@rollup/rollup-linux-arm-musleabihf": "4.57.1", 3875 3875 - "@rollup/rollup-linux-arm64-gnu": "4.57.1", 3876 3876 - "@rollup/rollup-linux-arm64-musl": "4.57.1", 3877 3877 - "@rollup/rollup-linux-loong64-gnu": "4.57.1", 3878 3878 - "@rollup/rollup-linux-loong64-musl": "4.57.1", 3879 3879 - "@rollup/rollup-linux-ppc64-gnu": "4.57.1", 3880 3880 - "@rollup/rollup-linux-ppc64-musl": "4.57.1", 3881 3881 - "@rollup/rollup-linux-riscv64-gnu": "4.57.1", 3882 3882 - "@rollup/rollup-linux-riscv64-musl": "4.57.1", 3883 3883 - "@rollup/rollup-linux-s390x-gnu": "4.57.1", 3884 3884 - "@rollup/rollup-linux-x64-gnu": "4.57.1", 3885 3885 - "@rollup/rollup-linux-x64-musl": "4.57.1", 3886 3886 - "@rollup/rollup-openbsd-x64": "4.57.1", 3887 3887 - "@rollup/rollup-openharmony-arm64": "4.57.1", 3888 3888 - "@rollup/rollup-win32-arm64-msvc": "4.57.1", 3889 3889 - "@rollup/rollup-win32-ia32-msvc": "4.57.1", 3890 3890 - "@rollup/rollup-win32-x64-gnu": "4.57.1", 3891 3891 - "@rollup/rollup-win32-x64-msvc": "4.57.1", 3906 3906 + "@rollup/rollup-android-arm-eabi": "4.59.0", 3907 3907 + "@rollup/rollup-android-arm64": "4.59.0", 3908 3908 + "@rollup/rollup-darwin-arm64": "4.59.0", 3909 3909 + "@rollup/rollup-darwin-x64": "4.59.0", 3910 3910 + "@rollup/rollup-freebsd-arm64": "4.59.0", 3911 3911 + "@rollup/rollup-freebsd-x64": "4.59.0", 3912 3912 + "@rollup/rollup-linux-arm-gnueabihf": "4.59.0", 3913 3913 + "@rollup/rollup-linux-arm-musleabihf": "4.59.0", 3914 3914 + "@rollup/rollup-linux-arm64-gnu": "4.59.0", 3915 3915 + "@rollup/rollup-linux-arm64-musl": "4.59.0", 3916 3916 + "@rollup/rollup-linux-loong64-gnu": "4.59.0", 3917 3917 + "@rollup/rollup-linux-loong64-musl": "4.59.0", 3918 3918 + "@rollup/rollup-linux-ppc64-gnu": "4.59.0", 3919 3919 + "@rollup/rollup-linux-ppc64-musl": "4.59.0", 3920 3920 + "@rollup/rollup-linux-riscv64-gnu": "4.59.0", 3921 3921 + "@rollup/rollup-linux-riscv64-musl": "4.59.0", 3922 3922 + "@rollup/rollup-linux-s390x-gnu": "4.59.0", 3923 3923 + "@rollup/rollup-linux-x64-gnu": "4.59.0", 3924 3924 + "@rollup/rollup-linux-x64-musl": "4.59.0", 3925 3925 + "@rollup/rollup-openbsd-x64": "4.59.0", 3926 3926 + "@rollup/rollup-openharmony-arm64": "4.59.0", 3927 3927 + "@rollup/rollup-win32-arm64-msvc": "4.59.0", 3928 3928 + "@rollup/rollup-win32-ia32-msvc": "4.59.0", 3929 3929 + "@rollup/rollup-win32-x64-gnu": "4.59.0", 3930 3930 + "@rollup/rollup-win32-x64-msvc": "4.59.0", 3892 3931 "fsevents": "~2.3.2" 3893 3932 } 3894 3933 }, ··· 3982 4021 } 3983 4022 }, 3984 4023 "node_modules/slice-ansi": { 3985 3985 - "version": "7.1.2", 3986 3986 - "resolved": "https://registry.npmjs.org/slice-ansi/-/slice-ansi-7.1.2.tgz", 3987 3987 - "integrity": "sha512-iOBWFgUX7caIZiuutICxVgX1SdxwAVFFKwt1EvMYYec/NWO5meOJ6K5uQxhrYBdQJne4KxiqZc+KptFOWFSI9w==", 4024 4024 + "version": "8.0.0", 4025 4025 + "resolved": "https://registry.npmjs.org/slice-ansi/-/slice-ansi-8.0.0.tgz", 4026 4026 + "integrity": "sha512-stxByr12oeeOyY2BlviTNQlYV5xOj47GirPr4yA1hE9JCtxfQN0+tVbkxwCtYDQWhEKWFHsEK48ORg5jrouCAg==", 3988 4027 "dev": true, 3989 4028 "license": "MIT", 3990 4029 "dependencies": { 3991 3991 - "ansi-styles": "^6.2.1", 3992 3992 - "is-fullwidth-code-point": "^5.0.0" 4030 4030 + "ansi-styles": "^6.2.3", 4031 4031 + "is-fullwidth-code-point": "^5.1.0" 3993 4032 }, 3994 4033 "engines": { 3995 3995 - "node": ">=18" 4034 4034 + "node": ">=20" 3996 4035 }, 3997 4036 "funding": { 3998 4037 "url": "https://github.com/chalk/slice-ansi?sponsor=1" ··· 4032 4071 } 4033 4072 }, 4034 4073 "node_modules/string-width": { 4035 4035 - "version": "8.1.1", 4036 4036 - "resolved": "https://registry.npmjs.org/string-width/-/string-width-8.1.1.tgz", 4037 4037 - "integrity": "sha512-KpqHIdDL9KwYk22wEOg/VIqYbrnLeSApsKT/bSj6Ez7pn3CftUiLAv2Lccpq1ALcpLV9UX1Ppn92npZWu2w/aw==", 4074 4074 + "version": "8.2.0", 4075 4075 + "resolved": "https://registry.npmjs.org/string-width/-/string-width-8.2.0.tgz", 4076 4076 + "integrity": "sha512-6hJPQ8N0V0P3SNmP6h2J99RLuzrWz2gvT7VnK5tKvrNqJoyS9W4/Fb8mo31UiPvy00z7DQXkP2hnKBVav76thw==", 4038 4077 "dev": true, 4039 4078 "license": "MIT", 4040 4079 "dependencies": { 4041 4041 - "get-east-asian-width": "^1.3.0", 4042 4042 - "strip-ansi": "^7.1.0" 4080 4080 + "get-east-asian-width": "^1.5.0", 4081 4081 + "strip-ansi": "^7.1.2" 4043 4082 }, 4044 4083 "engines": { 4045 4084 "node": ">=20" ··· 4049 4088 } 4050 4089 }, 4051 4090 "node_modules/strip-ansi": { 4052 4052 - "version": "7.1.2", 4053 4053 - "resolved": "https://registry.npmjs.org/strip-ansi/-/strip-ansi-7.1.2.tgz", 4054 4054 - "integrity": "sha512-gmBGslpoQJtgnMAvOVqGZpEz9dyoKTCzy2nfz/n8aIFhN/jCE/rCmcxabB6jOOHV+0WNnylOxaxBQPSvcWklhA==", 4091 4091 + "version": "7.2.0", 4092 4092 + "resolved": "https://registry.npmjs.org/strip-ansi/-/strip-ansi-7.2.0.tgz", 4093 4093 + "integrity": "sha512-yDPMNjp4WyfYBkHnjIRLfca1i6KMyGCtsVgoKe/z1+6vukgaENdgGBZt+ZmKPc4gavvEZ5OgHfHdrazhgNyG7w==", 4055 4094 "dev": true, 4056 4095 "license": "MIT", 4057 4096 "dependencies": { 4058 4058 - "ansi-regex": "^6.0.1" 4097 4097 + "ansi-regex": "^6.2.2" 4059 4098 }, 4060 4099 "engines": { 4061 4100 "node": ">=12" ··· 4090 4129 "node": ">=8" 4091 4130 } 4092 4131 }, 4132 4132 + "node_modules/tinyexec": { 4133 4133 + "version": "1.0.2", 4134 4134 + "resolved": "https://registry.npmjs.org/tinyexec/-/tinyexec-1.0.2.tgz", 4135 4135 + "integrity": "sha512-W/KYk+NFhkmsYpuHq5JykngiOCnxeVL8v8dFnqxSD8qEEdRfXk1SDM6JzNqcERbcGYj9tMrDQBYV9cjgnunFIg==", 4136 4136 + "dev": true, 4137 4137 + "license": "MIT", 4138 4138 + "engines": { 4139 4139 + "node": ">=18" 4140 4140 + } 4141 4141 + }, 4093 4142 "node_modules/tinyglobby": { 4094 4143 "version": "0.2.15", 4095 4144 "resolved": "https://registry.npmjs.org/tinyglobby/-/tinyglobby-0.2.15.tgz", ··· 4202 4251 } 4203 4252 }, 4204 4253 "node_modules/typescript-eslint": { 4205 4205 - "version": "8.54.0", 4206 4206 - "resolved": "https://registry.npmjs.org/typescript-eslint/-/typescript-eslint-8.54.0.tgz", 4207 4207 - "integrity": "sha512-CKsJ+g53QpsNPqbzUsfKVgd3Lny4yKZ1pP4qN3jdMOg/sisIDLGyDMezycquXLE5JsEU0wp3dGNdzig0/fmSVQ==", 4254 4254 + "version": "8.56.1", 4255 4255 + "resolved": "https://registry.npmjs.org/typescript-eslint/-/typescript-eslint-8.56.1.tgz", 4256 4256 + "integrity": "sha512-U4lM6pjmBX7J5wk4szltF7I1cGBHXZopnAXCMXb3+fZ3B/0Z3hq3wS/CCUB2NZBNAExK92mCU2tEohWuwVMsDQ==", 4208 4257 "dev": true, 4209 4258 "license": "MIT", 4210 4259 "dependencies": { 4211 4211 - "@typescript-eslint/eslint-plugin": "8.54.0", 4212 4212 - "@typescript-eslint/parser": "8.54.0", 4213 4213 - "@typescript-eslint/typescript-estree": "8.54.0", 4214 4214 - "@typescript-eslint/utils": "8.54.0" 4260 4260 + "@typescript-eslint/eslint-plugin": "8.56.1", 4261 4261 + "@typescript-eslint/parser": "8.56.1", 4262 4262 + "@typescript-eslint/typescript-estree": "8.56.1", 4263 4263 + "@typescript-eslint/utils": "8.56.1" 4215 4264 }, 4216 4265 "engines": { 4217 4266 "node": "^18.18.0 || ^20.9.0 || >=21.1.0" ··· 4221 4270 "url": "https://opencollective.com/typescript-eslint" 4222 4271 }, 4223 4272 "peerDependencies": { 4224 4224 - "eslint": "^8.57.0 || ^9.0.0", 4273 4273 + "eslint": "^8.57.0 || ^9.0.0 || ^10.0.0", 4225 4274 "typescript": ">=4.8.4 <6.0.0" 4226 4275 } 4227 4276 },

+2

src/Portal.res

reviewed

··· 1 1 + @module("react-dom") 2 2 + external createPortal: (React.element, Dom.element) => React.element = "createPortal"

+49 -15

src/ProofView.res

reviewed

··· 1 1 open Signatures 2 2 open MethodView 3 3 4 4 + @send external closest: ({..}, string) => Nullable.t<Dom.element> = "closest" 5 5 + @send external focus: {..} => unit = "focus" 6 6 + 4 7 module Make = ( 5 8 Term: TERM, 6 9 Judgment: JUDGMENT with module Term := Term, ··· 21 24 module RuleView = RuleView.Make(Term, Judgment, JudgmentView) 22 25 @react.componentWithProps 23 26 let rec make = (props: props) => { 27 27 + let {sidebarRef} = React.useContext(SidebarContext.context) 28 28 + let (isFocused, setFocused) = React.useState(() => false) 29 29 + 30 30 + let onBlur = e => { 31 31 + let leavingProof = ReactEvent.Focus.relatedTarget(e) 32 32 + ->Option.flatMap(el => el->closest(".sidebar")->Nullable.toOption) 33 33 + ->Option.isNone 34 34 + if leavingProof { 35 35 + setFocused(_ => false) 36 36 + } 37 37 + } 24 38 switch props.proof { 25 39 | Proof.Checked({fixes, assumptions, method, rule}) => { 26 40 let scope = Array.concat(fixes, props.scope) ··· 37 51 <JudgmentView judgment={rule.conclusion} scope /> 38 52 {switch method { 39 53 | Goal(options) => 40 40 - options(props.gen) 41 41 - ->Dict.toArray 42 42 - ->Array.map(((str, (opt, subst))) => { 43 43 - <button 44 44 - key=str 45 45 - onClick={_ => 46 46 - props.onChange( 47 47 - Proof.Checked({fixes, assumptions, method: Do(opt), rule}), 48 48 - subst, 49 49 - )} 50 50 - > 51 51 - {React.string(str)} 52 52 - </button> 53 53 - }) 54 54 - ->React.array 54 54 + let portal = switch sidebarRef.current->Nullable.toOption { 55 55 + | None => React.null 56 56 + | Some(node) => Portal.createPortal(<> { 57 57 + options(props.gen) 58 58 + ->Dict.toArray 59 59 + ->Array.map(((str, (opt, subst))) => { 60 60 + <button tabIndex=0 onBlur 61 61 + key=str 62 62 + onClick={_ => 63 63 + props.onChange( 64 64 + Proof.Checked({fixes, assumptions, method: Do(opt), rule}), 65 65 + subst, 66 66 + )} 67 67 + > 68 68 + {React.string(str)} 69 69 + </button> 70 70 + }) 71 71 + ->React.array } 72 72 + </>, node) 73 73 + } 74 74 + <div className="proof-goal" tabIndex=0 75 75 + onBlur 76 76 + onFocus={e => { 77 77 + setFocused(_ => true) 78 78 + ReactEvent.Focus.stopPropagation(e) 79 79 + }}> 80 80 + {if (isFocused) { 81 81 + <> 82 82 + <span className="button-icon button-icon-blue typcn typcn-location" /> 83 83 + {portal} 84 84 + </> 85 85 + } else { 86 86 + <span className="button-icon button-icon-blue typcn typcn-location-outline" /> 87 87 + }} 88 88 + </div> 55 89 | Do(method) => 56 90 React.createElement( 57 91 MethodView.make(p =>

+12

src/SidebarContext.res

reviewed

··· 1 1 + type t = { 2 2 + sidebarRef: React.ref<Nullable.t<Dom.element>>, 3 3 + } 4 4 + 5 5 + let context = React.createContext({ 6 6 + sidebarRef: {React.current: Nullable.null}, 7 7 + }) 8 8 + @react.component 9 9 + let make = (~children, ~sidebarRef) => { 10 10 + let value = {sidebarRef: sidebarRef} 11 11 + React.createElement(React.Context.provider(context), {value, children}) 12 12 + }

+5 -3

src/Theorem.res

reviewed

··· 46 46 } 47 47 } 48 48 let make = props => { 49 49 - Console.log(props.imports) 50 49 let ruleStyle = props.imports.ruleStyle->Option.getOr(Hybrid) 51 50 let ctx: Context.t = {fixes: [], facts: props.imports.facts} 52 51 let checked = Proof.check(ctx, props.content.proof, props.content.rule) 52 52 + let sidebarRef = React.useRef(Nullable.null) 53 53 let proofChanged = (proof, subst) => { 54 54 props.onChange( 55 55 {...props.content, proof: Proof.uncheck(proof)->Proof.substitute(subst)}, ··· 59 59 }, 60 60 ) 61 61 } 62 62 - <> 62 62 + 63 63 + <SidebarContext sidebarRef> 63 64 <h3> {React.string("Theorem")} </h3> 64 65 <RuleView rule={props.content.rule} scope={[]} style={ruleStyle}> 65 66 {React.string(props.content.name)} ··· 68 69 <ProofView 69 70 ruleStyle={ruleStyle} scope={[]} proof=checked gen={props.content.gen} onChange=proofChanged 70 71 /> 71 71 - </> 72 72 + <div className="sidebar" ref={ReactDOM.Ref.domRef(sidebarRef)} /> 73 73 + </SidebarContext> 72 74 } 73 75 }