flowproof 0.1.0__tar.gz → 0.2.0__tar.gz

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 (63) hide show
  1. {flowproof-0.1.0 → flowproof-0.2.0}/Cargo.lock +436 -13
  2. {flowproof-0.1.0 → flowproof-0.2.0}/Cargo.toml +1 -1
  3. {flowproof-0.1.0 → flowproof-0.2.0}/PKG-INFO +1 -1
  4. flowproof-0.2.0/crates/flowproof-adapters/Cargo.toml +42 -0
  5. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-adapters/src/lib.rs +12 -0
  6. flowproof-0.2.0/crates/flowproof-adapters/src/sap_com.rs +880 -0
  7. flowproof-0.2.0/crates/flowproof-adapters/src/vision.rs +790 -0
  8. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-adapters/src/web.rs +269 -84
  9. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-agent/src/author.rs +155 -30
  10. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-agent/src/lib.rs +1 -1
  11. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-agent/src/recorder.rs +157 -25
  12. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-agent/src/rules.rs +438 -16
  13. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-agent/src/spec.rs +79 -0
  14. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-cli/Cargo.toml +4 -1
  15. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-cli/src/lib.rs +190 -16
  16. flowproof-0.2.0/crates/flowproof-cli/tests/api_pipeline.rs +79 -0
  17. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-cli/tests/llm_author_e2e.rs +8 -6
  18. flowproof-0.2.0/crates/flowproof-cli/tests/notepad_author_e2e.rs +141 -0
  19. flowproof-0.2.0/crates/flowproof-cli/tests/sap_e2e.rs +46 -0
  20. flowproof-0.2.0/crates/flowproof-cli/tests/sap_pipeline.rs +115 -0
  21. flowproof-0.2.0/crates/flowproof-cli/tests/sap_sim_e2e.rs +108 -0
  22. flowproof-0.2.0/crates/flowproof-cli/tests/support/sap_simulator.py +244 -0
  23. flowproof-0.2.0/crates/flowproof-cli/tests/vision_pipeline.rs +133 -0
  24. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-cli/tests/web_e2e.rs +112 -2
  25. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-driver/Cargo.toml +3 -6
  26. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-driver/src/app.rs +147 -3
  27. flowproof-0.2.0/crates/flowproof-driver/src/backend.rs +175 -0
  28. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-driver/src/lib.rs +10 -7
  29. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-driver/src/mock.rs +12 -0
  30. flowproof-0.2.0/crates/flowproof-driver/src/window.rs +110 -0
  31. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-replay/src/lib.rs +59 -1
  32. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-trace/schema/trace-v1.schema.json +1 -1
  33. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-trace/src/format.rs +2 -0
  34. {flowproof-0.1.0 → flowproof-0.2.0}/pyproject.toml +1 -1
  35. flowproof-0.1.0/crates/flowproof-adapters/Cargo.toml +0 -23
  36. flowproof-0.1.0/crates/flowproof-adapters/src/sap_com.rs +0 -31
  37. flowproof-0.1.0/crates/flowproof-driver/src/backend.rs +0 -64
  38. {flowproof-0.1.0 → flowproof-0.2.0}/README.md +0 -0
  39. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-agent/Cargo.toml +0 -0
  40. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-agent/src/heal.rs +0 -0
  41. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-agent/src/llm.rs +0 -0
  42. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-cli/src/main.rs +0 -0
  43. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-cli/tests/calc_e2e.rs +0 -0
  44. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-cli/tests/notepad_e2e.rs +0 -0
  45. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-driver/src/gdi.rs +0 -0
  46. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-driver/src/oob.rs +0 -0
  47. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-driver/src/recording.rs +0 -0
  48. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-driver/src/redact.rs +0 -0
  49. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-python/Cargo.toml +0 -0
  50. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-python/src/lib.rs +0 -0
  51. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-replay/Cargo.toml +0 -0
  52. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-replay/src/report.rs +0 -0
  53. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-replay/tests/replay_calc.rs +0 -0
  54. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-trace/Cargo.toml +0 -0
  55. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-trace/src/lib.rs +0 -0
  56. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-trace/src/secret.rs +0 -0
  57. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-trace/tests/fixtures/sample.trace.jsonl +0 -0
  58. {flowproof-0.1.0 → flowproof-0.2.0}/crates/flowproof-trace/tests/schema_conformance.rs +0 -0
  59. {flowproof-0.1.0 → flowproof-0.2.0}/flowproof/__init__.py +0 -0
  60. {flowproof-0.1.0 → flowproof-0.2.0}/flowproof/cli.py +0 -0
  61. {flowproof-0.1.0 → flowproof-0.2.0}/flowproof/flow.py +0 -0
  62. {flowproof-0.1.0 → flowproof-0.2.0}/flowproof/mcp_server.py +0 -0
  63. {flowproof-0.1.0 → flowproof-0.2.0}/flowproof/py.typed +0 -0
{flowproof-0.1.0 → flowproof-0.2.0}/Cargo.lock RENAMED
@@ -2,6 +2,22 @@
2
2
  # It is not intended for manual editing.
3
3
  version = 4
4
4
 
5
+ [[package]]
6
+ name = "ab_glyph"
7
+ version = "0.2.32"
8
+ source = "registry+https://github.com/rust-lang/crates.io-index"
9
+ checksum = "01c0457472c38ea5bd1c3b5ada5e368271cb550be7a4ca4a0b4634e9913f6cc2"
10
+ dependencies = [
11
+ "ab_glyph_rasterizer",
12
+ "owned_ttf_parser",
13
+ ]
14
+
15
+ [[package]]
16
+ name = "ab_glyph_rasterizer"
17
+ version = "0.1.10"
18
+ source = "registry+https://github.com/rust-lang/crates.io-index"
19
+ checksum = "366ffbaa4442f4684d91e2cd7c5ea7c4ed8add41959a31447066e279e432b618"
20
+
5
21
  [[package]]
6
22
  name = "adler2"
7
23
  version = "2.0.1"
@@ -96,6 +112,15 @@ version = "1.0.103"
96
112
  source = "registry+https://github.com/rust-lang/crates.io-index"
97
113
  checksum = "2a4385e2e34eb35d6b3efe798b9eb88096925d87726c0798709bf56d9ed84af3"
98
114
 
115
+ [[package]]
116
+ name = "approx"
117
+ version = "0.5.1"
118
+ source = "registry+https://github.com/rust-lang/crates.io-index"
119
+ checksum = "cab112f0a86d568ea0e627cc1d6be74a1e9cd55214684db5561995f6dad897c6"
120
+ dependencies = [
121
+ "num-traits",
122
+ ]
123
+
99
124
  [[package]]
100
125
  name = "ascii"
101
126
  version = "1.1.0"
@@ -154,6 +179,12 @@ version = "0.8.0"
154
179
  source = "registry+https://github.com/rust-lang/crates.io-index"
155
180
  checksum = "5e764a1d40d510daf35e07be9eb06e75770908c27d411ee6c92109c9840eaaf7"
156
181
 
182
+ [[package]]
183
+ name = "bitflags"
184
+ version = "1.3.2"
185
+ source = "registry+https://github.com/rust-lang/crates.io-index"
186
+ checksum = "bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a"
187
+
157
188
  [[package]]
158
189
  name = "bitflags"
159
190
  version = "2.13.1"
@@ -427,6 +458,31 @@ dependencies = [
427
458
  "cfg-if",
428
459
  ]
429
460
 
461
+ [[package]]
462
+ name = "crossbeam-deque"
463
+ version = "0.8.7"
464
+ source = "registry+https://github.com/rust-lang/crates.io-index"
465
+ checksum = "5181e0de7b61eb03a81e347d6dd8797bae9da5146707b51077e2d71a54ec0ceb"
466
+ dependencies = [
467
+ "crossbeam-epoch",
468
+ "crossbeam-utils",
469
+ ]
470
+
471
+ [[package]]
472
+ name = "crossbeam-epoch"
473
+ version = "0.9.20"
474
+ source = "registry+https://github.com/rust-lang/crates.io-index"
475
+ checksum = "2d6914041f254d6e9176c01941b21115dcfb7089e55135a35411081bd106ef3f"
476
+ dependencies = [
477
+ "crossbeam-utils",
478
+ ]
479
+
480
+ [[package]]
481
+ name = "crossbeam-utils"
482
+ version = "0.8.22"
483
+ source = "registry+https://github.com/rust-lang/crates.io-index"
484
+ checksum = "61803da095bee82a81bb1a452ecc25d3b2f1416d1897eb86430c6159ef717c17"
485
+
430
486
  [[package]]
431
487
  name = "crypto-common"
432
488
  version = "0.1.7"
@@ -575,6 +631,12 @@ dependencies = [
575
631
  "litrs",
576
632
  ]
577
633
 
634
+ [[package]]
635
+ name = "either"
636
+ version = "1.16.0"
637
+ source = "registry+https://github.com/rust-lang/crates.io-index"
638
+ checksum = "91622ff5e7162018101f2fea40d6ebf4a78bbe5a49736a2020649edf9693679e"
639
+
578
640
  [[package]]
579
641
  name = "email_address"
580
642
  version = "0.2.9"
@@ -638,6 +700,16 @@ version = "0.1.9"
638
700
  source = "registry+https://github.com/rust-lang/crates.io-index"
639
701
  checksum = "5baebc0774151f905a1a2cc41989300b1e6fbb29aff0ceffa1064fdd3088d582"
640
702
 
703
+ [[package]]
704
+ name = "flatbuffers"
705
+ version = "24.12.23"
706
+ source = "registry+https://github.com/rust-lang/crates.io-index"
707
+ checksum = "4f1baf0dbf96932ec9a3038d57900329c015b0bfb7b63d904f3bc27e2b02a096"
708
+ dependencies = [
709
+ "bitflags 1.3.2",
710
+ "rustc_version",
711
+ ]
712
+
641
713
  [[package]]
642
714
  name = "flate2"
643
715
  version = "1.1.9"
@@ -650,18 +722,23 @@ dependencies = [
650
722
 
651
723
  [[package]]
652
724
  name = "flowproof-adapters"
653
- version = "0.1.0"
725
+ version = "0.2.0"
654
726
  dependencies = [
727
+ "anyhow",
655
728
  "flowproof-driver",
656
729
  "headless_chrome",
657
730
  "image",
731
+ "ocrs",
732
+ "rten",
658
733
  "serde_json",
659
734
  "thiserror 2.0.18",
735
+ "ureq",
736
+ "windows",
660
737
  ]
661
738
 
662
739
  [[package]]
663
740
  name = "flowproof-agent"
664
- version = "0.1.0"
741
+ version = "0.2.0"
665
742
  dependencies = [
666
743
  "chrono",
667
744
  "flowproof-driver",
@@ -676,8 +753,9 @@ dependencies = [
676
753
 
677
754
  [[package]]
678
755
  name = "flowproof-cli"
679
- version = "0.1.0"
756
+ version = "0.2.0"
680
757
  dependencies = [
758
+ "ab_glyph",
681
759
  "clap",
682
760
  "flowproof-adapters",
683
761
  "flowproof-agent",
@@ -685,13 +763,14 @@ dependencies = [
685
763
  "flowproof-replay",
686
764
  "flowproof-trace",
687
765
  "image",
766
+ "imageproc",
688
767
  "serde_json",
689
768
  "tiny_http",
690
769
  ]
691
770
 
692
771
  [[package]]
693
772
  name = "flowproof-driver"
694
- version = "0.1.0"
773
+ version = "0.2.0"
695
774
  dependencies = [
696
775
  "image",
697
776
  "postgres",
@@ -705,7 +784,7 @@ dependencies = [
705
784
 
706
785
  [[package]]
707
786
  name = "flowproof-python"
708
- version = "0.1.0"
787
+ version = "0.2.0"
709
788
  dependencies = [
710
789
  "flowproof-agent",
711
790
  "flowproof-cli",
@@ -717,7 +796,7 @@ dependencies = [
717
796
 
718
797
  [[package]]
719
798
  name = "flowproof-replay"
720
- version = "0.1.0"
799
+ version = "0.2.0"
721
800
  dependencies = [
722
801
  "chrono",
723
802
  "flowproof-agent",
@@ -730,7 +809,7 @@ dependencies = [
730
809
 
731
810
  [[package]]
732
811
  name = "flowproof-trace"
733
- version = "0.1.0"
812
+ version = "0.2.0"
734
813
  dependencies = [
735
814
  "jsonschema",
736
815
  "serde",
@@ -832,8 +911,10 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
832
911
  checksum = "ff2abc00be7fca6ebc474524697ae276ad847ad0a6b3faa4bcb027e9a4614ad0"
833
912
  dependencies = [
834
913
  "cfg-if",
914
+ "js-sys",
835
915
  "libc",
836
916
  "wasi 0.11.1+wasi-snapshot-preview1",
917
+ "wasm-bindgen",
837
918
  ]
838
919
 
839
920
  [[package]]
@@ -905,6 +986,12 @@ version = "0.5.0"
905
986
  source = "registry+https://github.com/rust-lang/crates.io-index"
906
987
  checksum = "2304e00983f87ffb38b55b444b5e3b60a884b5d30c0fca7d82fe33449bbe55ea"
907
988
 
989
+ [[package]]
990
+ name = "hermit-abi"
991
+ version = "0.5.2"
992
+ source = "registry+https://github.com/rust-lang/crates.io-index"
993
+ checksum = "fc0fef456e4baa96da950455cd02c081ca953b141298e41db3fc7e36b1da849c"
994
+
908
995
  [[package]]
909
996
  name = "hmac"
910
997
  version = "0.13.0"
@@ -1093,6 +1180,23 @@ dependencies = [
1093
1180
  "png",
1094
1181
  ]
1095
1182
 
1183
+ [[package]]
1184
+ name = "imageproc"
1185
+ version = "0.25.1"
1186
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1187
+ checksum = "602b4e8a4cc3e98372b766cd184ab532999bc0e839b7469e759511ccabc65d77"
1188
+ dependencies = [
1189
+ "ab_glyph",
1190
+ "approx",
1191
+ "getrandom 0.2.17",
1192
+ "image",
1193
+ "itertools",
1194
+ "nalgebra",
1195
+ "num",
1196
+ "rand 0.8.7",
1197
+ "rand_distr",
1198
+ ]
1199
+
1096
1200
  [[package]]
1097
1201
  name = "indexmap"
1098
1202
  version = "2.14.0"
@@ -1118,6 +1222,15 @@ version = "1.70.2"
1118
1222
  source = "registry+https://github.com/rust-lang/crates.io-index"
1119
1223
  checksum = "a6cb138bb79a146c1bd460005623e142ef0181e3d0219cb493e02f7d08a35695"
1120
1224
 
1225
+ [[package]]
1226
+ name = "itertools"
1227
+ version = "0.12.1"
1228
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1229
+ checksum = "ba291022dbbd398a455acf126c1e341954079855bc60dfdda641363bd6922569"
1230
+ dependencies = [
1231
+ "either",
1232
+ ]
1233
+
1121
1234
  [[package]]
1122
1235
  name = "itoa"
1123
1236
  version = "1.0.18"
@@ -1217,6 +1330,12 @@ version = "0.2.186"
1217
1330
  source = "registry+https://github.com/rust-lang/crates.io-index"
1218
1331
  checksum = "68ab91017fe16c622486840e4c83c9a37afeff978bd239b5293d61ece587de66"
1219
1332
 
1333
+ [[package]]
1334
+ name = "libm"
1335
+ version = "0.2.16"
1336
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1337
+ checksum = "b6d2cec3eae94f9f509c767b45932f1ada8350c4bdb85af2fcab4a3c14807981"
1338
+
1220
1339
  [[package]]
1221
1340
  name = "libredox"
1222
1341
  version = "0.1.18"
@@ -1259,6 +1378,16 @@ version = "0.4.33"
1259
1378
  source = "registry+https://github.com/rust-lang/crates.io-index"
1260
1379
  checksum = "0ceec5bc11778974d1bcb055b18002eba7f4b3518b6a0081b3af5f21666da9ad"
1261
1380
 
1381
+ [[package]]
1382
+ name = "matrixmultiply"
1383
+ version = "0.3.11"
1384
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1385
+ checksum = "3f607c237553f086e7043417a51df26b2eb899d3caff94e6a67592ff992fedc7"
1386
+ dependencies = [
1387
+ "autocfg",
1388
+ "rawpointer",
1389
+ ]
1390
+
1262
1391
  [[package]]
1263
1392
  name = "md-5"
1264
1393
  version = "0.11.0"
@@ -1315,6 +1444,21 @@ dependencies = [
1315
1444
  "pxfm",
1316
1445
  ]
1317
1446
 
1447
+ [[package]]
1448
+ name = "nalgebra"
1449
+ version = "0.32.6"
1450
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1451
+ checksum = "7b5c17de023a86f59ed79891b2e5d5a94c705dbe904a5b5c9c952ea6221b03e4"
1452
+ dependencies = [
1453
+ "approx",
1454
+ "matrixmultiply",
1455
+ "num-complex",
1456
+ "num-rational",
1457
+ "num-traits",
1458
+ "simba",
1459
+ "typenum",
1460
+ ]
1461
+
1318
1462
  [[package]]
1319
1463
  name = "num"
1320
1464
  version = "0.4.3"
@@ -1397,6 +1541,17 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
1397
1541
  checksum = "071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841"
1398
1542
  dependencies = [
1399
1543
  "autocfg",
1544
+ "libm",
1545
+ ]
1546
+
1547
+ [[package]]
1548
+ name = "num_cpus"
1549
+ version = "1.17.0"
1550
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1551
+ checksum = "91df4bbde75afed763b708b7eee1e8e7651e02d97f6d5dd763e89367e957b23b"
1552
+ dependencies = [
1553
+ "hermit-abi",
1554
+ "libc",
1400
1555
  ]
1401
1556
 
1402
1557
  [[package]]
@@ -1405,7 +1560,7 @@ version = "0.3.2"
1405
1560
  source = "registry+https://github.com/rust-lang/crates.io-index"
1406
1561
  checksum = "2a180dd8642fa45cdb7dd721cd4c11b1cadd4929ce112ebd8b9f5803cc79d536"
1407
1562
  dependencies = [
1408
- "bitflags",
1563
+ "bitflags 2.13.1",
1409
1564
  ]
1410
1565
 
1411
1566
  [[package]]
@@ -1417,6 +1572,21 @@ dependencies = [
1417
1572
  "objc2-core-foundation",
1418
1573
  ]
1419
1574
 
1575
+ [[package]]
1576
+ name = "ocrs"
1577
+ version = "0.12.2"
1578
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1579
+ checksum = "a5379fdd3f11522b5a2ff53017a189463dabf5d0a9c915cb3eb97fabec4ea11c"
1580
+ dependencies = [
1581
+ "anyhow",
1582
+ "rayon",
1583
+ "rten",
1584
+ "rten-imageproc",
1585
+ "rten-tensor",
1586
+ "thiserror 2.0.18",
1587
+ "wasm-bindgen",
1588
+ ]
1589
+
1420
1590
  [[package]]
1421
1591
  name = "once_cell"
1422
1592
  version = "1.21.4"
@@ -1441,6 +1611,15 @@ version = "0.5.2"
1441
1611
  source = "registry+https://github.com/rust-lang/crates.io-index"
1442
1612
  checksum = "1a80800c0488c3a21695ea981a54918fbb37abf04f4d0720c453632255e2ff0e"
1443
1613
 
1614
+ [[package]]
1615
+ name = "owned_ttf_parser"
1616
+ version = "0.25.1"
1617
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1618
+ checksum = "36820e9051aca1014ddc75770aab4d68bc1e9e632f0f5627c4086bc216fb583b"
1619
+ dependencies = [
1620
+ "ttf-parser",
1621
+ ]
1622
+
1444
1623
  [[package]]
1445
1624
  name = "parking_lot"
1446
1625
  version = "0.12.5"
@@ -1464,6 +1643,12 @@ dependencies = [
1464
1643
  "windows-link",
1465
1644
  ]
1466
1645
 
1646
+ [[package]]
1647
+ name = "paste"
1648
+ version = "1.0.15"
1649
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1650
+ checksum = "57c0d7b74b563b49d38dae00a0c37d4d6de9b432382b2892f0574ddcae73fd0a"
1651
+
1467
1652
  [[package]]
1468
1653
  name = "percent-encoding"
1469
1654
  version = "2.3.2"
@@ -1501,7 +1686,7 @@ version = "0.18.1"
1501
1686
  source = "registry+https://github.com/rust-lang/crates.io-index"
1502
1687
  checksum = "60769b8b31b2a9f263dae2776c37b1b28ae246943cf719eb6946a1db05128a61"
1503
1688
  dependencies = [
1504
- "bitflags",
1689
+ "bitflags 2.13.1",
1505
1690
  "crc32fast",
1506
1691
  "fdeflate",
1507
1692
  "flate2",
@@ -1678,13 +1863,24 @@ version = "6.0.0"
1678
1863
  source = "registry+https://github.com/rust-lang/crates.io-index"
1679
1864
  checksum = "f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf"
1680
1865
 
1866
+ [[package]]
1867
+ name = "rand"
1868
+ version = "0.8.7"
1869
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1870
+ checksum = "22f6172bdec972074665ed81ed53b71da00bfc44b65a753cfde883ec4c702a1a"
1871
+ dependencies = [
1872
+ "libc",
1873
+ "rand_chacha 0.3.1",
1874
+ "rand_core 0.6.4",
1875
+ ]
1876
+
1681
1877
  [[package]]
1682
1878
  name = "rand"
1683
1879
  version = "0.9.5"
1684
1880
  source = "registry+https://github.com/rust-lang/crates.io-index"
1685
1881
  checksum = "b9ef1d0d795eb7d84685bca4f72f3649f064e6641543d3a8c415898726a57b41"
1686
1882
  dependencies = [
1687
- "rand_chacha",
1883
+ "rand_chacha 0.9.0",
1688
1884
  "rand_core 0.9.5",
1689
1885
  ]
1690
1886
 
@@ -1699,6 +1895,16 @@ dependencies = [
1699
1895
  "rand_core 0.10.1",
1700
1896
  ]
1701
1897
 
1898
+ [[package]]
1899
+ name = "rand_chacha"
1900
+ version = "0.3.1"
1901
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1902
+ checksum = "e6c10a63a0fa32252be49d21e7709d4d4baf8d231c2dbce1eaa8141b9b127d88"
1903
+ dependencies = [
1904
+ "ppv-lite86",
1905
+ "rand_core 0.6.4",
1906
+ ]
1907
+
1702
1908
  [[package]]
1703
1909
  name = "rand_chacha"
1704
1910
  version = "0.9.0"
@@ -1709,6 +1915,15 @@ dependencies = [
1709
1915
  "rand_core 0.9.5",
1710
1916
  ]
1711
1917
 
1918
+ [[package]]
1919
+ name = "rand_core"
1920
+ version = "0.6.4"
1921
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1922
+ checksum = "ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c"
1923
+ dependencies = [
1924
+ "getrandom 0.2.17",
1925
+ ]
1926
+
1712
1927
  [[package]]
1713
1928
  name = "rand_core"
1714
1929
  version = "0.9.5"
@@ -1724,13 +1939,49 @@ version = "0.10.1"
1724
1939
  source = "registry+https://github.com/rust-lang/crates.io-index"
1725
1940
  checksum = "63b8176103e19a2643978565ca18b50549f6101881c443590420e4dc998a3c69"
1726
1941
 
1942
+ [[package]]
1943
+ name = "rand_distr"
1944
+ version = "0.4.3"
1945
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1946
+ checksum = "32cb0b9bc82b0a0876c2dd994a7e7a2683d3e7390ca40e6886785ef0c7e3ee31"
1947
+ dependencies = [
1948
+ "num-traits",
1949
+ "rand 0.8.7",
1950
+ ]
1951
+
1952
+ [[package]]
1953
+ name = "rawpointer"
1954
+ version = "0.2.1"
1955
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1956
+ checksum = "60a357793950651c4ed0f3f52338f53b2f809f32d83a07f72909fa13e4c6c1e3"
1957
+
1958
+ [[package]]
1959
+ name = "rayon"
1960
+ version = "1.12.0"
1961
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1962
+ checksum = "fb39b166781f92d482534ef4b4b1b2568f42613b53e5b6c160e24cfbfa30926d"
1963
+ dependencies = [
1964
+ "either",
1965
+ "rayon-core",
1966
+ ]
1967
+
1968
+ [[package]]
1969
+ name = "rayon-core"
1970
+ version = "1.13.0"
1971
+ source = "registry+https://github.com/rust-lang/crates.io-index"
1972
+ checksum = "22e18b0f0062d30d4230b2e85ff77fdfe4326feb054b9783a3460d8435c8ab91"
1973
+ dependencies = [
1974
+ "crossbeam-deque",
1975
+ "crossbeam-utils",
1976
+ ]
1977
+
1727
1978
  [[package]]
1728
1979
  name = "redox_syscall"
1729
1980
  version = "0.5.18"
1730
1981
  source = "registry+https://github.com/rust-lang/crates.io-index"
1731
1982
  checksum = "ed2bf2547551a7053d6fdfafda3f938979645c44812fbfcda098faae3f1a362d"
1732
1983
  dependencies = [
1733
- "bitflags",
1984
+ "bitflags 2.13.1",
1734
1985
  ]
1735
1986
 
1736
1987
  [[package]]
@@ -1810,13 +2061,135 @@ dependencies = [
1810
2061
  "windows-sys 0.52.0",
1811
2062
  ]
1812
2063
 
2064
+ [[package]]
2065
+ name = "rten"
2066
+ version = "0.24.0"
2067
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2068
+ checksum = "43c230fa4ade87c913f61dbd911b7eb0d49460ceff3f1e4fabc837fac191137c"
2069
+ dependencies = [
2070
+ "flatbuffers",
2071
+ "num_cpus",
2072
+ "rayon",
2073
+ "rten-base",
2074
+ "rten-gemm",
2075
+ "rten-model-file",
2076
+ "rten-onnx",
2077
+ "rten-shape-inference",
2078
+ "rten-simd",
2079
+ "rten-tensor",
2080
+ "rten-vecmath",
2081
+ "rustc-hash",
2082
+ "smallvec",
2083
+ "typeid",
2084
+ "wasm-bindgen",
2085
+ ]
2086
+
2087
+ [[package]]
2088
+ name = "rten-base"
2089
+ version = "0.24.0"
2090
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2091
+ checksum = "2738cf8bb4c27f828ac788d01ccf4e367e8e773cfec6851f81851b5211de6a79"
2092
+ dependencies = [
2093
+ "rayon",
2094
+ ]
2095
+
2096
+ [[package]]
2097
+ name = "rten-gemm"
2098
+ version = "0.24.0"
2099
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2100
+ checksum = "330a81a0ca209fb5ce21bd17efa0bd287d5881c6cebfbff0b21c4294a1a14a9e"
2101
+ dependencies = [
2102
+ "rayon",
2103
+ "rten-base",
2104
+ "rten-simd",
2105
+ "rten-tensor",
2106
+ ]
2107
+
2108
+ [[package]]
2109
+ name = "rten-imageproc"
2110
+ version = "0.24.0"
2111
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2112
+ checksum = "d5f148e7e941fb5727b9046a5fa1b45525543d5105f14b384fd9261df0ee49bc"
2113
+ dependencies = [
2114
+ "rten-tensor",
2115
+ ]
2116
+
2117
+ [[package]]
2118
+ name = "rten-model-file"
2119
+ version = "0.24.0"
2120
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2121
+ checksum = "ed2f8d270f07ab1bbfff47250c6039f6caa5da59d6da7d74f66aa48559aa6fea"
2122
+ dependencies = [
2123
+ "flatbuffers",
2124
+ "rten-base",
2125
+ ]
2126
+
2127
+ [[package]]
2128
+ name = "rten-onnx"
2129
+ version = "0.24.0"
2130
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2131
+ checksum = "23086eef75bfb55278cb0b45cf9f5a877d466d914914aafebee4ffca9b24d20c"
2132
+
2133
+ [[package]]
2134
+ name = "rten-shape-inference"
2135
+ version = "0.24.0"
2136
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2137
+ checksum = "8e8a913c7ca40e2bfbb2a0cd447cce56b33ab19435f56693271a2ef37cf58984"
2138
+ dependencies = [
2139
+ "rten-tensor",
2140
+ "smallvec",
2141
+ ]
2142
+
2143
+ [[package]]
2144
+ name = "rten-simd"
2145
+ version = "0.24.0"
2146
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2147
+ checksum = "b19a0032dfcb70dd20960c1c51a37674b237586cbc1ce586f45b46605d108e82"
2148
+
2149
+ [[package]]
2150
+ name = "rten-tensor"
2151
+ version = "0.24.0"
2152
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2153
+ checksum = "05dc744a270aa32d154f1a3df8e48740ccc1be9dfbcf23295ada66d83aa98de6"
2154
+ dependencies = [
2155
+ "rayon",
2156
+ "rten-base",
2157
+ "smallvec",
2158
+ "typeid",
2159
+ ]
2160
+
2161
+ [[package]]
2162
+ name = "rten-vecmath"
2163
+ version = "0.24.0"
2164
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2165
+ checksum = "9574ddebf5671bc08ceb76e2e1638fadc57fdeff318634eab2c29e9a803cff64"
2166
+ dependencies = [
2167
+ "rten-base",
2168
+ "rten-simd",
2169
+ ]
2170
+
2171
+ [[package]]
2172
+ name = "rustc-hash"
2173
+ version = "2.1.3"
2174
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2175
+ checksum = "6b1e7f9a428571be2dc5bc0505c13fb6bf936822b894ec87abf8a08a4e51742d"
2176
+
2177
+ [[package]]
2178
+ name = "rustc_version"
2179
+ version = "0.4.1"
2180
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2181
+ checksum = "cfcb3a22ef46e85b45de6ee7e79d063319ebb6594faafcf1c225ea92ab6e9b92"
2182
+ dependencies = [
2183
+ "semver",
2184
+ ]
2185
+
1813
2186
  [[package]]
1814
2187
  name = "rustix"
1815
2188
  version = "1.1.4"
1816
2189
  source = "registry+https://github.com/rust-lang/crates.io-index"
1817
2190
  checksum = "b6fe4565b9518b83ef4f91bb47ce29620ca828bd32cb7e408f0062e9930ba190"
1818
2191
  dependencies = [
1819
- "bitflags",
2192
+ "bitflags 2.13.1",
1820
2193
  "errno",
1821
2194
  "libc",
1822
2195
  "linux-raw-sys",
@@ -1909,6 +2282,15 @@ version = "1.0.23"
1909
2282
  source = "registry+https://github.com/rust-lang/crates.io-index"
1910
2283
  checksum = "9774ba4a74de5f7b1c1451ed6cd5285a32eddb5cccb8cc655a4e50009e06477f"
1911
2284
 
2285
+ [[package]]
2286
+ name = "safe_arch"
2287
+ version = "0.7.4"
2288
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2289
+ checksum = "96b02de82ddbe1b636e6170c21be622223aea188ef2e139be0a5b219ec215323"
2290
+ dependencies = [
2291
+ "bytemuck",
2292
+ ]
2293
+
1912
2294
  [[package]]
1913
2295
  name = "same-file"
1914
2296
  version = "1.0.6"
@@ -1939,7 +2321,7 @@ version = "3.7.0"
1939
2321
  source = "registry+https://github.com/rust-lang/crates.io-index"
1940
2322
  checksum = "b7f4bc775c73d9a02cde8bf7b2ec4c9d12743edf609006c7facc23998404cd1d"
1941
2323
  dependencies = [
1942
- "bitflags",
2324
+ "bitflags 2.13.1",
1943
2325
  "core-foundation",
1944
2326
  "core-foundation-sys",
1945
2327
  "libc",
@@ -1956,6 +2338,12 @@ dependencies = [
1956
2338
  "libc",
1957
2339
  ]
1958
2340
 
2341
+ [[package]]
2342
+ name = "semver"
2343
+ version = "1.0.28"
2344
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2345
+ checksum = "8a7852d02fc848982e0c167ef163aaff9cd91dc640ba85e263cb1ce46fae51cd"
2346
+
1959
2347
  [[package]]
1960
2348
  name = "serde"
1961
2349
  version = "1.0.228"
@@ -2040,6 +2428,19 @@ version = "2.0.1"
2040
2428
  source = "registry+https://github.com/rust-lang/crates.io-index"
2041
2429
  checksum = "f8fadd59c855ef2080decdef8ff161eb6661b86933c9d82e5ba29dc602a55aba"
2042
2430
 
2431
+ [[package]]
2432
+ name = "simba"
2433
+ version = "0.8.1"
2434
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2435
+ checksum = "061507c94fc6ab4ba1c9a0305018408e312e17c041eb63bef8aa726fa33aceae"
2436
+ dependencies = [
2437
+ "approx",
2438
+ "num-complex",
2439
+ "num-traits",
2440
+ "paste",
2441
+ "wide",
2442
+ ]
2443
+
2043
2444
  [[package]]
2044
2445
  name = "simd-adler32"
2045
2446
  version = "0.3.10"
@@ -2326,6 +2727,12 @@ dependencies = [
2326
2727
  "tokio",
2327
2728
  ]
2328
2729
 
2730
+ [[package]]
2731
+ name = "ttf-parser"
2732
+ version = "0.25.1"
2733
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2734
+ checksum = "d2df906b07856748fa3f6e0ad0cbaa047052d4a7dd609e231c4f72cee8c36f31"
2735
+
2329
2736
  [[package]]
2330
2737
  name = "tungstenite"
2331
2738
  version = "0.29.0"
@@ -2342,6 +2749,12 @@ dependencies = [
2342
2749
  "thiserror 2.0.18",
2343
2750
  ]
2344
2751
 
2752
+ [[package]]
2753
+ name = "typeid"
2754
+ version = "1.0.3"
2755
+ source = "registry+https://github.com/rust-lang/crates.io-index"
2756
+ checksum = "bc7d623258602320d5c55d1bc22793b57daff0ec7efc270ea7d55ce1d5f5471c"
2757
+
2345
2758
  [[package]]
2346
2759
  name = "typenum"
2347
2760
  version = "1.20.1"
@@ -2664,6 +3077,16 @@ dependencies = [
2664
3077
  "web-sys",
2665
3078
  ]
2666
3079
 
3080
+ [[package]]
3081
+ name = "wide"
3082
+ version = "0.7.33"
3083
+ source = "registry+https://github.com/rust-lang/crates.io-index"
3084
+ checksum = "0ce5da8ecb62bcd8ec8b7ea19f69a51275e91299be594ea5cc6ef7819e16cd03"
3085
+ dependencies = [
3086
+ "bytemuck",
3087
+ "safe_arch",
3088
+ ]
3089
+
2667
3090
  [[package]]
2668
3091
  name = "winapi"
2669
3092
  version = "0.3.9"