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