flowproof 0.3.0__tar.gz → 0.3.1__tar.gz

{flowproof-0.3.0 → flowproof-0.3.1}/Cargo.lock

@@ -722,7 +722,7 @@ dependencies = [
 
 [[package]]
 name = "flowproof-adapters"
-version = "0.3.0"
+version = "0.3.1"
 dependencies = [
  "anyhow",
  "flowproof-driver",
@@ -739,11 +739,12 @@ dependencies = [
 
 [[package]]
 name = "flowproof-agent"
-version = "0.3.0"
+version = "0.3.1"
 dependencies = [
  "chrono",
  "flowproof-driver",
  "flowproof-trace",
+ "regex",
  "serde",
  "serde_json",
  "serde_yaml",
@@ -754,7 +755,7 @@ dependencies = [
 
 [[package]]
 name = "flowproof-cli"
-version = "0.3.0"
+version = "0.3.1"
 dependencies = [
  "ab_glyph",
  "clap",
@@ -765,6 +766,7 @@ dependencies = [
  "flowproof-trace",
  "image",
  "imageproc",
+ "serde",
  "serde_json",
  "serde_yaml",
  "tiny_http",
@@ -772,7 +774,7 @@ dependencies = [
 
 [[package]]
 name = "flowproof-driver"
-version = "0.3.0"
+version = "0.3.1"
 dependencies = [
  "image",
  "postgres",
@@ -786,7 +788,7 @@ dependencies = [
 
 [[package]]
 name = "flowproof-python"
-version = "0.3.0"
+version = "0.3.1"
 dependencies = [
  "flowproof-agent",
  "flowproof-cli",
@@ -798,7 +800,7 @@ dependencies = [
 
 [[package]]
 name = "flowproof-replay"
-version = "0.3.0"
+version = "0.3.1"
 dependencies = [
  "chrono",
  "flowproof-agent",
@@ -812,9 +814,10 @@ dependencies = [
 
 [[package]]
 name = "flowproof-trace"
-version = "0.3.0"
+version = "0.3.1"
 dependencies = [
  "jsonschema",
+ "regex",
  "serde",
  "serde_json",
  "thiserror 2.0.18",

{flowproof-0.3.0 → flowproof-0.3.1}/Cargo.toml

@@ -3,7 +3,7 @@ resolver = "2"
 members = ["crates/flowproof-driver", "crates/flowproof-trace", "crates/flowproof-replay", "crates/flowproof-agent", "crates/flowproof-adapters", "crates/flowproof-cli", "crates/flowproof-python"]
 
 [workspace.package]
-version = "0.3.0"
+version = "0.3.1"
 edition = "2021"
 license = "Apache-2.0"
 repository = "https://github.com/automators-com/flowproof"
@@ -22,6 +22,7 @@ anyhow = "1"
 chrono = { version = "0.4", default-features = false, features = ["clock"] }
 clap = { version = "4", features = ["derive"] }
 serde = { version = "1", features = ["derive"] }
+regex = "1"
 serde_json = "1"
 serde_yaml = "0.9"
 thiserror = "2"

{flowproof-0.3.0 → flowproof-0.3.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: flowproof
-Version: 0.3.0
+Version: 0.3.1
 Classifier: Development Status :: 2 - Pre-Alpha
 Classifier: Intended Audience :: Developers
 Classifier: Programming Language :: Python :: 3

{flowproof-0.3.0 → flowproof-0.3.1}/crates/flowproof-adapters/Cargo.toml

@@ -14,8 +14,9 @@ web = ["dep:headless_chrome"]
 # Pixels-only (Citrix/RDP) driving: OCR perception via ocrs/rten, model
 # download via ureq.
 vision = ["dep:ocrs", "dep:rten", "dep:ureq"]
-# Agent-boundary testing: the model-API proxy that serves a cassette.
-agent = []
+# Agent-boundary testing: the model-API proxy, and record mode forwarding
+# to a real model over ureq (TLS via platform-verifier, already in-tree).
+agent = ["dep:ureq"]
 
 [dependencies]
 anyhow = { workspace = true }