flowproof 0.2.2__tar.gz → 0.2.4__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 (67) hide show
  1. {flowproof-0.2.2 → flowproof-0.2.4}/Cargo.lock +8 -7
  2. {flowproof-0.2.2 → flowproof-0.2.4}/Cargo.toml +1 -1
  3. {flowproof-0.2.2 → flowproof-0.2.4}/PKG-INFO +1 -1
  4. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-adapters/src/web.rs +453 -17
  5. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-agent/src/lib.rs +3 -1
  6. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-agent/src/recorder.rs +602 -4
  7. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-agent/src/rules.rs +269 -23
  8. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-agent/src/spec.rs +89 -5
  9. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/src/lib.rs +192 -31
  10. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/tests/llm_author_e2e.rs +2 -0
  11. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/tests/notepad_author_e2e.rs +2 -0
  12. flowproof-0.2.4/crates/flowproof-cli/tests/suite_flow_isolation.rs +93 -0
  13. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/tests/suite_missing_trace.rs +10 -2
  14. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/tests/web_e2e.rs +300 -0
  15. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-driver/src/app.rs +223 -0
  16. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-driver/src/lib.rs +24 -2
  17. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-driver/src/mock.rs +98 -0
  18. flowproof-0.2.4/crates/flowproof-driver/src/visual.rs +206 -0
  19. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-python/src/lib.rs +6 -3
  20. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-replay/Cargo.toml +1 -0
  21. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-replay/src/lib.rs +498 -23
  22. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-replay/src/report.rs +79 -7
  23. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-replay/tests/replay_calc.rs +464 -0
  24. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-trace/schema/trace-v1.schema.json +66 -3
  25. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-trace/src/format.rs +107 -0
  26. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-trace/tests/fixtures/sample.trace.jsonl +1 -1
  27. {flowproof-0.2.2 → flowproof-0.2.4}/flowproof/__init__.py +1 -1
  28. {flowproof-0.2.2 → flowproof-0.2.4}/pyproject.toml +1 -1
  29. {flowproof-0.2.2 → flowproof-0.2.4}/README.md +0 -0
  30. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-adapters/Cargo.toml +0 -0
  31. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-adapters/src/lib.rs +0 -0
  32. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-adapters/src/sap_com.rs +0 -0
  33. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-adapters/src/vision.rs +0 -0
  34. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-agent/Cargo.toml +0 -0
  35. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-agent/src/author.rs +0 -0
  36. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-agent/src/clarify.rs +0 -0
  37. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-agent/src/heal.rs +0 -0
  38. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-agent/src/llm.rs +0 -0
  39. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/Cargo.toml +0 -0
  40. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/src/main.rs +0 -0
  41. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/tests/api_pipeline.rs +0 -0
  42. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/tests/calc_e2e.rs +0 -0
  43. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/tests/examples_resolve.rs +0 -0
  44. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/tests/notepad_e2e.rs +0 -0
  45. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/tests/sap_e2e.rs +0 -0
  46. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/tests/sap_pipeline.rs +0 -0
  47. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/tests/sap_sim_e2e.rs +0 -0
  48. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/tests/skip_unless_env.rs +0 -0
  49. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/tests/suite_env_from.rs +0 -0
  50. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/tests/support/sap_simulator.py +0 -0
  51. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-cli/tests/vision_pipeline.rs +0 -0
  52. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-driver/Cargo.toml +0 -0
  53. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-driver/src/backend.rs +0 -0
  54. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-driver/src/gdi.rs +0 -0
  55. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-driver/src/oob.rs +0 -0
  56. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-driver/src/recording.rs +0 -0
  57. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-driver/src/redact.rs +0 -0
  58. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-driver/src/window.rs +0 -0
  59. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-python/Cargo.toml +0 -0
  60. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-trace/Cargo.toml +0 -0
  61. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-trace/src/lib.rs +0 -0
  62. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-trace/src/secret.rs +0 -0
  63. {flowproof-0.2.2 → flowproof-0.2.4}/crates/flowproof-trace/tests/schema_conformance.rs +0 -0
  64. {flowproof-0.2.2 → flowproof-0.2.4}/flowproof/cli.py +0 -0
  65. {flowproof-0.2.2 → flowproof-0.2.4}/flowproof/flow.py +0 -0
  66. {flowproof-0.2.2 → flowproof-0.2.4}/flowproof/mcp_server.py +0 -0
  67. {flowproof-0.2.2 → flowproof-0.2.4}/flowproof/py.typed +0 -0
{flowproof-0.2.2 → flowproof-0.2.4}/Cargo.lock RENAMED
@@ -722,7 +722,7 @@ dependencies = [
722
722
 
723
723
  [[package]]
724
724
  name = "flowproof-adapters"
725
- version = "0.2.2"
725
+ version = "0.2.4"
726
726
  dependencies = [
727
727
  "anyhow",
728
728
  "flowproof-driver",
@@ -738,7 +738,7 @@ dependencies = [
738
738
 
739
739
  [[package]]
740
740
  name = "flowproof-agent"
741
- version = "0.2.2"
741
+ version = "0.2.4"
742
742
  dependencies = [
743
743
  "chrono",
744
744
  "flowproof-driver",
@@ -753,7 +753,7 @@ dependencies = [
753
753
 
754
754
  [[package]]
755
755
  name = "flowproof-cli"
756
- version = "0.2.2"
756
+ version = "0.2.4"
757
757
  dependencies = [
758
758
  "ab_glyph",
759
759
  "clap",
@@ -771,7 +771,7 @@ dependencies = [
771
771
 
772
772
  [[package]]
773
773
  name = "flowproof-driver"
774
- version = "0.2.2"
774
+ version = "0.2.4"
775
775
  dependencies = [
776
776
  "image",
777
777
  "postgres",
@@ -785,7 +785,7 @@ dependencies = [
785
785
 
786
786
  [[package]]
787
787
  name = "flowproof-python"
788
- version = "0.2.2"
788
+ version = "0.2.4"
789
789
  dependencies = [
790
790
  "flowproof-agent",
791
791
  "flowproof-cli",
@@ -797,12 +797,13 @@ dependencies = [
797
797
 
798
798
  [[package]]
799
799
  name = "flowproof-replay"
800
- version = "0.2.2"
800
+ version = "0.2.4"
801
801
  dependencies = [
802
802
  "chrono",
803
803
  "flowproof-agent",
804
804
  "flowproof-driver",
805
805
  "flowproof-trace",
806
+ "image",
806
807
  "serde",
807
808
  "serde_json",
808
809
  "thiserror 2.0.18",
@@ -810,7 +811,7 @@ dependencies = [
810
811
 
811
812
  [[package]]
812
813
  name = "flowproof-trace"
813
- version = "0.2.2"
814
+ version = "0.2.4"
814
815
  dependencies = [
815
816
  "jsonschema",
816
817
  "serde",
{flowproof-0.2.2 → flowproof-0.2.4}/Cargo.toml RENAMED
@@ -3,7 +3,7 @@ resolver = "2"
3
3
  members = ["crates/flowproof-driver", "crates/flowproof-trace", "crates/flowproof-replay", "crates/flowproof-agent", "crates/flowproof-adapters", "crates/flowproof-cli", "crates/flowproof-python"]
4
4
 
5
5
  [workspace.package]
6
- version = "0.2.2"
6
+ version = "0.2.4"
7
7
  edition = "2021"
8
8
  license = "Apache-2.0"
9
9
  repository = "https://github.com/automators-com/flowproof"
{flowproof-0.2.2 → flowproof-0.2.4}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.4
2
2
  Name: flowproof
3
- Version: 0.2.2
3
+ Version: 0.2.4
4
4
  Classifier: Development Status :: 2 - Pre-Alpha
5
5
  Classifier: Intended Audience :: Developers
6
6
  Classifier: Programming Language :: Python :: 3