PyPI - flowspec2 - Versions diffs - 1.0.0__py3-none-any.whl - Mend

flowspec2 1.0.0__py3-none-any.whl

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 (92) hide show

flowspec2/__init__.py +105 -0
flowspec2/authoring/__init__.py +275 -0
flowspec2/authoring/authoring-evidence-signature.schema.json +34 -0
flowspec2/authoring/authoring-evidence.schema.json +455 -0
flowspec2/authoring/authoring-operational-evidence.schema.json +160 -0
flowspec2/authoring/benchmark.py +1409 -0
flowspec2/authoring/corpus/await_correction.case.json +220 -0
flowspec2/authoring/corpus/flowspec2.ctk.json +769 -0
flowspec2/authoring/corpus/gated_derive.case.json +100 -0
flowspec2/authoring/corpus/linear.case.json +55 -0
flowspec2/authoring/corpus/manifest.json +31 -0
flowspec2/authoring/corpus/subflow.case.json +66 -0
flowspec2/authoring/corpus/terminal.case.json +94 -0
flowspec2/authoring/corpus.py +307 -0
flowspec2/authoring/ctk.py +836 -0
flowspec2/authoring/detached_signature.py +120 -0
flowspec2/authoring/evidence.py +311 -0
flowspec2/authoring/evidence_signature.py +187 -0
flowspec2/authoring/evidence_verification.py +229 -0
flowspec2/authoring/gemini.py +215 -0
flowspec2/authoring/operational-corpus.json +61 -0
flowspec2/authoring/operational.py +956 -0
flowspec2/authoring/operational_providers.py +167 -0
flowspec2/authoring/presentation_review.py +1013 -0
flowspec2/authoring/presentation_review_signature.py +305 -0
flowspec2/authoring/projection.py +299 -0
flowspec2/authoring/provider_prompt.py +83 -0
flowspec2/backends/__init__.py +82 -0
flowspec2/backends/http.py +189 -0
flowspec2/checker.py +238 -0
flowspec2/cli.py +789 -0
flowspec2/cli_parser.py +345 -0
flowspec2/clock.py +23 -0
flowspec2/compat/__init__.py +47 -0
flowspec2/compat/models.py +82 -0
flowspec2/compat/open_workflow.py +616 -0
flowspec2/compat/rasa.py +19 -0
flowspec2/compat/rasa_export.py +876 -0
flowspec2/compat/rasa_import.py +992 -0
flowspec2/compat/rasa_shared.py +270 -0
flowspec2/compat/schemas/open-workflow-conversation-1.schema.json +138 -0
flowspec2/compat/schemas/vendor/open-workflow-1.0.3.LICENSE +201 -0
flowspec2/compat/schemas/vendor/open-workflow-1.0.3.provenance.json +13 -0
flowspec2/compat/schemas/vendor/open-workflow-1.0.3.workflow.yaml +1956 -0
flowspec2/compat/tool_profiles.py +149 -0
flowspec2/compat/yaml.py +147 -0
flowspec2/compiler.py +957 -0
flowspec2/compiler_contracts.py +17 -0
flowspec2/compiler_resume_contracts.py +594 -0
flowspec2/compiler_schema_relations.py +1830 -0
flowspec2/compiler_tool_contracts.py +245 -0
flowspec2/compiler_value_contracts.py +447 -0
flowspec2/derive.py +32 -0
flowspec2/diagnostics.py +94 -0
flowspec2/domains.py +489 -0
flowspec2/experimental/__init__.py +57 -0
flowspec2/experimental/flowspec-3-draft.schema.json +923 -0
flowspec2/experimental/v3-preview-loss-policy.json +161 -0
flowspec2/experimental/v3_lowering.py +928 -0
flowspec2/experimental/v3_preview.py +2460 -0
flowspec2/flowspec-2.schema.json +635 -0
flowspec2/interactive.py +300 -0
flowspec2/ir.py +1459 -0
flowspec2/json_codec.py +120 -0
flowspec2/llm.py +366 -0
flowspec2/models.py +121 -0
flowspec2/nodes.py +1537 -0
flowspec2/observability.py +151 -0
flowspec2/predicates.py +89 -0
flowspec2/profiles.py +118 -0
flowspec2/py.typed +0 -0
flowspec2/runtime.py +1059 -0
flowspec2/schema.py +54 -0
flowspec2/schema_contracts.py +203 -0
flowspec2/semantic_derive_contracts.py +530 -0
flowspec2/semantic_path_contracts.py +528 -0
flowspec2/semantic_predicate_contracts.py +355 -0
flowspec2/semantic_schema_contracts.py +137 -0
flowspec2/semantic_source_contracts.py +21 -0
flowspec2/semantic_state_contracts.py +450 -0
flowspec2/semantic_support.py +40 -0
flowspec2/semantics.py +410 -0
flowspec2/state_migration.py +1034 -0
flowspec2/subflows/__init__.py +1117 -0
flowspec2/subflows/address.py +328 -0
flowspec2/subflows/identification.py +1031 -0
flowspec2/tools.py +1154 -0
flowspec2-1.0.0.dist-info/METADATA +482 -0
flowspec2-1.0.0.dist-info/RECORD +92 -0
flowspec2-1.0.0.dist-info/WHEEL +4 -0
flowspec2-1.0.0.dist-info/entry_points.txt +2 -0
flowspec2-1.0.0.dist-info/licenses/LICENSE +21 -0

flowspec2/authoring/authoring-evidence.schema.json ADDED Viewed

@@ -0,0 +1,455 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://wllsena.github.io/flowspec2/schemas/authoring-benchmark-evidence-2.json",
+  "title": "FlowSpec2 authoring benchmark evidence",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "format",
+    "package_version",
+    "repository_revision",
+    "benchmark",
+    "corpus",
+    "profile",
+    "source_adapter",
+    "provider",
+    "captures",
+    "report",
+    "digest"
+  ],
+  "properties": {
+    "format": {
+      "const": "flowspec2/authoring-benchmark-evidence@3"
+    },
+    "package_version": {
+      "type": "string",
+      "minLength": 1
+    },
+    "repository_revision": {
+      "type": "string",
+      "minLength": 1
+    },
+    "benchmark": {
+      "$ref": "#/$defs/benchmark"
+    },
+    "corpus": {
+      "$ref": "#/$defs/corpus"
+    },
+    "profile": {
+      "$ref": "#/$defs/profile"
+    },
+    "source_adapter": {
+      "$ref": "#/$defs/sourceAdapter"
+    },
+    "provider": {
+      "$ref": "#/$defs/provider"
+    },
+    "captures": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "$ref": "#/$defs/capture"
+      }
+    },
+    "report": {
+      "$ref": "#/$defs/report"
+    },
+    "digest": {
+      "$ref": "#/$defs/digest"
+    }
+  },
+  "$defs": {
+    "identifier": {
+      "type": "string",
+      "pattern": "^[a-z0-9][a-z0-9_-]*$"
+    },
+    "nonEmptyString": {
+      "type": "string",
+      "minLength": 1
+    },
+    "digest": {
+      "type": "string",
+      "pattern": "^[0-9a-f]{64}$"
+    },
+    "benchmark": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "max_correction_rounds"
+      ],
+      "properties": {
+        "max_correction_rounds": {
+          "type": "integer",
+          "minimum": 0
+        }
+      }
+    },
+    "corpus": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "format",
+        "case_format",
+        "identifier",
+        "digest",
+        "case_identifiers"
+      ],
+      "properties": {
+        "format": {
+          "const": "flowspec2/authoring-corpus@3"
+        },
+        "case_format": {
+          "const": "flowspec2/authoring-case@3"
+        },
+        "identifier": {
+          "$ref": "#/$defs/identifier"
+        },
+        "digest": {
+          "$ref": "#/$defs/digest"
+        },
+        "case_identifiers": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/identifier"
+          }
+        }
+      }
+    },
+    "profile": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "identifier",
+        "digest"
+      ],
+      "properties": {
+        "identifier": {
+          "$ref": "#/$defs/nonEmptyString"
+        },
+        "digest": {
+          "$ref": "#/$defs/digest"
+        }
+      }
+    },
+    "sourceAdapter": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "format",
+        "implementation",
+        "version"
+      ],
+      "properties": {
+        "format": {
+          "const": "flowspec/2"
+        },
+        "implementation": {
+          "const": "FlowSpec2JsonAdapter"
+        },
+        "version": {
+          "const": "1"
+        }
+      }
+    },
+    "provider": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "identifier",
+        "model",
+        "sdk",
+        "sdk_version",
+        "prompt_format",
+        "prompt_digest",
+        "generation_configuration"
+      ],
+      "properties": {
+        "identifier": {
+          "$ref": "#/$defs/identifier"
+        },
+        "model": {
+          "$ref": "#/$defs/nonEmptyString"
+        },
+        "sdk": {
+          "$ref": "#/$defs/nonEmptyString"
+        },
+        "sdk_version": {
+          "$ref": "#/$defs/nonEmptyString"
+        },
+        "prompt_format": {
+          "$ref": "#/$defs/nonEmptyString"
+        },
+        "prompt_digest": {
+          "$ref": "#/$defs/digest"
+        },
+        "generation_configuration": {
+          "type": "object"
+        }
+      }
+    },
+    "capture": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "case_identifier",
+        "correction_round",
+        "authored_source",
+        "source_sha256",
+        "effective_model_version"
+      ],
+      "properties": {
+        "case_identifier": {
+          "$ref": "#/$defs/identifier"
+        },
+        "correction_round": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "authored_source": {
+          "type": "string"
+        },
+        "source_sha256": {
+          "$ref": "#/$defs/digest"
+        },
+        "effective_model_version": {
+          "oneOf": [
+            {
+              "type": "string",
+              "minLength": 1
+            },
+            {
+              "type": "null"
+            }
+          ]
+        }
+      }
+    },
+    "report": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "benchmark_identifier",
+        "format_identifier",
+        "profile_identifier",
+        "successful_cases",
+        "total_cases",
+        "total_attempts",
+        "total_correction_rounds",
+        "token_proxy",
+        "case_results"
+      ],
+      "properties": {
+        "benchmark_identifier": {
+          "$ref": "#/$defs/identifier"
+        },
+        "format_identifier": {
+          "const": "flowspec/2"
+        },
+        "profile_identifier": {
+          "$ref": "#/$defs/nonEmptyString"
+        },
+        "successful_cases": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "total_cases": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "total_attempts": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "total_correction_rounds": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "token_proxy": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "method",
+            "bytes_per_unit"
+          ],
+          "properties": {
+            "method": {
+              "const": "utf8_byte_quartets"
+            },
+            "bytes_per_unit": {
+              "const": 4
+            }
+          }
+        },
+        "case_results": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/caseResult"
+          }
+        }
+      }
+    },
+    "caseResult": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "case_identifier",
+        "feature_tags",
+        "format_identifier",
+        "succeeded",
+        "correction_rounds",
+        "attempts"
+      ],
+      "properties": {
+        "case_identifier": {
+          "$ref": "#/$defs/identifier"
+        },
+        "feature_tags": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": {
+            "$ref": "#/$defs/nonEmptyString"
+          }
+        },
+        "format_identifier": {
+          "const": "flowspec/2"
+        },
+        "succeeded": {
+          "type": "boolean"
+        },
+        "correction_rounds": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "attempts": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/attempt"
+          }
+        }
+      }
+    },
+    "attempt": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "correction_round",
+        "source_sha256",
+        "raw_source_bytes",
+        "canonical_source_bytes",
+        "token_proxy_units",
+        "compilation",
+        "succeeded",
+        "diagnostics"
+      ],
+      "properties": {
+        "correction_round": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "source_sha256": {
+          "$ref": "#/$defs/digest"
+        },
+        "raw_source_bytes": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "canonical_source_bytes": {
+          "oneOf": [
+            {
+              "type": "integer",
+              "minimum": 0
+            },
+            {
+              "type": "null"
+            }
+          ]
+        },
+        "token_proxy_units": {
+          "oneOf": [
+            {
+              "type": "integer",
+              "minimum": 0
+            },
+            {
+              "type": "null"
+            }
+          ]
+        },
+        "compilation": {
+          "enum": [
+            "not_requested",
+            "skipped",
+            "succeeded",
+            "failed"
+          ]
+        },
+        "succeeded": {
+          "type": "boolean"
+        },
+        "diagnostics": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/diagnostic"
+          }
+        }
+      }
+    },
+    "diagnostic": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "code",
+        "severity",
+        "path",
+        "message"
+      ],
+      "properties": {
+        "code": {
+          "$ref": "#/$defs/nonEmptyString"
+        },
+        "severity": {
+          "enum": [
+            "warning",
+            "error"
+          ]
+        },
+        "path": {
+          "type": "string",
+          "pattern": "^$|^/"
+        },
+        "message": {
+          "$ref": "#/$defs/nonEmptyString"
+        },
+        "related_locations": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/diagnosticLocation"
+          }
+        },
+        "suggested_fix": {
+          "$ref": "#/$defs/nonEmptyString"
+        }
+      }
+    },
+    "diagnosticLocation": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "path"
+      ],
+      "properties": {
+        "path": {
+          "type": "string",
+          "pattern": "^$|^/"
+        },
+        "message": {
+          "$ref": "#/$defs/nonEmptyString"
+        }
+      }
+    }
+  }
+}

flowspec2/authoring/authoring-operational-evidence.schema.json ADDED Viewed

@@ -0,0 +1,160 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://wllsena.github.io/flowspec2/schemas/authoring-operational-evidence-2.json",
+  "title": "FlowSpec2 report-only authoring operational evidence",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "format",
+    "classification",
+    "package_version",
+    "repository_revision",
+    "benchmark_evidence_digest",
+    "corpus",
+    "provider",
+    "catalog",
+    "captures",
+    "matched_probes",
+    "total_probes",
+    "all_matched",
+    "digest"
+  ],
+  "properties": {
+    "format": {"const": "flowspec2/authoring-operational-evidence@2"},
+    "classification": {"const": "report_only"},
+    "package_version": {"type": "string", "minLength": 1},
+    "repository_revision": {"type": "string", "minLength": 1},
+    "benchmark_evidence_digest": {"$ref": "#/$defs/digest"},
+    "corpus": {"$ref": "#/$defs/corpus"},
+    "provider": {"$ref": "#/$defs/provider"},
+    "catalog": {"$ref": "#/$defs/catalog"},
+    "captures": {
+      "type": "array",
+      "minItems": 1,
+      "items": {"$ref": "#/$defs/capture"}
+    },
+    "matched_probes": {"type": "integer", "minimum": 0},
+    "total_probes": {"type": "integer", "minimum": 1},
+    "all_matched": {"type": "boolean"},
+    "digest": {"$ref": "#/$defs/digest"}
+  },
+  "$defs": {
+    "identifier": {"type": "string", "pattern": "^[a-z0-9][a-z0-9_-]*$"},
+    "digest": {"type": "string", "pattern": "^[0-9a-f]{64}$"},
+    "corpus": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["format", "probe_format", "identifier", "digest", "probe_identifiers"],
+      "properties": {
+        "format": {"const": "flowspec2/operational-corpus@2"},
+        "probe_format": {"const": "flowspec2/operational-probe@2"},
+        "identifier": {"const": "flowspec2_reference_operational"},
+        "digest": {"$ref": "#/$defs/digest"},
+        "probe_identifiers": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": {"$ref": "#/$defs/identifier"}
+        }
+      }
+    },
+    "provider": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "identifier",
+        "model",
+        "sdk",
+        "sdk_version",
+        "prompt_format",
+        "prompt_digest",
+        "generation_configuration"
+      ],
+      "properties": {
+        "identifier": {"$ref": "#/$defs/identifier"},
+        "model": {"type": "string", "minLength": 1},
+        "sdk": {"type": "string", "minLength": 1},
+        "sdk_version": {"type": "string", "minLength": 1},
+        "prompt_format": {"const": "flowspec2/operational-structured-output@1"},
+        "prompt_digest": {"$ref": "#/$defs/digest"},
+        "generation_configuration": {"type": "object"}
+      }
+    },
+    "catalog": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["source_closure", "digest"],
+      "properties": {
+        "source_closure": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["case_identifier", "correction_round", "source_sha256"],
+            "properties": {
+              "case_identifier": {"$ref": "#/$defs/identifier"},
+              "correction_round": {"type": "integer", "minimum": 0},
+              "source_sha256": {"$ref": "#/$defs/digest"}
+            }
+          }
+        },
+        "digest": {"$ref": "#/$defs/digest"}
+      }
+    },
+    "request": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["system_instruction", "prompt", "response_schema"],
+      "properties": {
+        "system_instruction": {"type": "string", "minLength": 1},
+        "prompt": {"type": "string", "minLength": 1},
+        "response_schema": {"type": "object"}
+      }
+    },
+    "capture": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "probe_identifier",
+        "pair_identifier",
+        "subject_mode",
+        "operation",
+        "authoring_case_identifier",
+        "correction_round",
+        "source_sha256",
+        "subject_pointer",
+        "subject_sha256",
+        "request",
+        "expected_output",
+        "raw_output",
+        "raw_output_sha256",
+        "parsed_output",
+        "effective_model_version",
+        "matched",
+        "diagnostic"
+      ],
+      "properties": {
+        "probe_identifier": {"$ref": "#/$defs/identifier"},
+        "pair_identifier": {"$ref": "#/$defs/identifier"},
+        "subject_mode": {"enum": ["authored", "counterfactual"]},
+        "operation": {"enum": ["route", "extract"]},
+        "authoring_case_identifier": {"$ref": "#/$defs/identifier"},
+        "correction_round": {"type": "integer", "minimum": 0},
+        "source_sha256": {"$ref": "#/$defs/digest"},
+        "subject_pointer": {"type": "string", "pattern": "^/"},
+        "subject_sha256": {"$ref": "#/$defs/digest"},
+        "request": {"$ref": "#/$defs/request"},
+        "expected_output": {},
+        "raw_output": {"type": "string"},
+        "raw_output_sha256": {"$ref": "#/$defs/digest"},
+        "parsed_output": {},
+        "effective_model_version": {"type": ["string", "null"]},
+        "matched": {"type": "boolean"},
+        "diagnostic": {
+          "enum": [null, "invalid_json", "schema_mismatch", "semantic_mismatch"]
+        }
+      }
+    }
+  }
+}