# vlad12-k/verified-ai-workflow-transformation architecture

> Architecture diagram of the GitHub repository vlad12-k/verified-ai-workflow-transformation, generated by GitDiagram from its file tree, README and a sample of source files (last updated 2026-09-29). It is an AI-made overview: check details against the source.

- Interactive diagram: https://gitdiagram.com/vlad12-k/verified-ai-workflow-transformation
- Repository: https://github.com/vlad12-k/verified-ai-workflow-transformation

## Overview

VAIT evaluates already-specified workflow transformation candidates: it checks applicability and verification evidence before deciding whether a candidate can enter bounded optimisation. Inference benchmarking, resource and economic evidence, and non-executing recommendations extend that workflow; separate retrieval/generation and platform capabilities are also represented. The sampled search-plan and RAG implementations support their shown call relationships; broader optimisation stages and platform endpoints are included from documented capabilities and the file tree, with uncertain wiring omitted.

Main entry points: [`src/vait/optimisation`](https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/optimisation) (Benchmarking), [`src/vait/rag/pipeline.py`](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/rag/pipeline.py) (RAG Pipeline), [`src/vait/optimisation/search_plan.py`](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/optimisation/search_plan.py) (Search Plan), [`src/vait/platform/api/app.py`](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/platform/api/app.py) (Platform API)

## Diagram (Mermaid)

```mermaid
flowchart TD

subgraph group_evaluation["Candidate Evaluation"]
  node_cli["CLI<br/>[cli.py]"]
  node_transformations["Transformations"]
  node_applicability["Applicability<br/>[applicability.py]"]
  node_verification["Verification"]
  node_decision["Decision Rules<br/>[engine.py]"]
  node_contracts["Evidence Contracts"]
  node_economics["Economic Metrics<br/>[metrics.py]"]
end

subgraph group_optimisation["Inference Optimisation"]
  node_searchspace["Search Space<br/>[search_space.py]"]
  node_searchplan["Search Plan<br/>[search_plan.py]"]
  node_compatibility["Compatibility<br/>[compatibility.py]"]
  node_admissibility["Admissibility<br/>[admissibility.py]"]
  node_benchmark["Benchmarking"]
  node_resources["Resource Profiling<br/>[profiling.py]"]
  node_pareto["Multi-objective Search<br/>[multi_objective.py]"]
  node_recommendation["Recommendation Plan<br/>[recommendation.py]"]
end

subgraph group_inference["Inference and RAG"]
  node_inference["Provider Inference"]
  node_rag["RAG Pipeline<br/>[pipeline.py]"]
  node_retrieval["Retrieval"]
  node_ragguards["Grounding and Guards"]
end

subgraph group_platform["Platform Services"]
  node_platformapi["Platform API<br/>[app.py]"]
  node_jobs["Job Worker<br/>[worker.py]"]
  node_database[("Persistence")]
  node_registry["Artifact Registry"]
end

node_user(("Engineer"))
node_service[("Database Service")]

node_user -->|"submits candidate"| node_cli
node_cli -->|"checks requirements"| node_applicability
node_applicability -->|"accepts applicable"| node_transformations
node_transformations -->|"evaluates candidate"| node_verification
node_verification -->|"supplies failures"| node_decision
node_decision -->|"classifies outcome"| node_contracts
node_user -->|"declares scope"| node_searchspace
node_searchspace -->|"enumerates points"| node_searchplan
node_searchplan -->|"checks points"| node_compatibility
node_searchplan -->|"gates compatible points"| node_admissibility
node_admissibility -->|"permits evaluation"| node_benchmark
node_benchmark -->|"records resource evidence"| node_resources
node_benchmark -->|"attaches cost evidence"| node_economics
node_benchmark -->|"provides evidence"| node_pareto
node_pareto -->|"plans recommendation"| node_recommendation
node_user -->|"submits query"| node_rag
node_rag -->|"retrieves documents"| node_retrieval
node_rag -->|"requests generation"| node_inference
node_rag -->|"validates grounding"| node_ragguards
node_user -->|"calls API"| node_platformapi
node_platformapi -->|"creates runtime"| node_database
node_platformapi -->|"probes readiness"| node_service
node_jobs -->|"claims and updates jobs"| node_database
node_jobs -.->|"executes job"| node_registry

click node_cli "https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/cli.py"
click node_transformations "https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/transformations"
click node_applicability "https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/transformations/applicability.py"
click node_verification "https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/verification"
click node_decision "https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/decision/engine.py"
click node_contracts "https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/contracts"
click node_economics "https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/economics/metrics.py"
click node_searchspace "https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/optimisation/search_space.py"
click node_searchplan "https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/optimisation/search_plan.py"
click node_compatibility "https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/optimisation/compatibility.py"
click node_admissibility "https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/optimisation/admissibility.py"
click node_benchmark "https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/optimisation"
click node_resources "https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/inference/profiling.py"
click node_pareto "https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/optimisation/multi_objective.py"
click node_recommendation "https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/optimisation/recommendation.py"
click node_inference "https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/inference/providers"
click node_rag "https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/rag/pipeline.py"
click node_retrieval "https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/retrieval"
click node_ragguards "https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/rag"
click node_platformapi "https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/platform/api/app.py"
click node_jobs "https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/platform/jobs/worker.py"
click node_database "https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/platform/persistence"
click node_registry "https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/platform/registry"

classDef toneNeutral fill:#f8fafc,stroke:#334155,stroke-width:1.5px,color:#0f172a
classDef toneBlue fill:#dbeafe,stroke:#2563eb,stroke-width:1.5px,color:#172554
classDef toneAmber fill:#fef3c7,stroke:#d97706,stroke-width:1.5px,color:#78350f
classDef toneMint fill:#dcfce7,stroke:#16a34a,stroke-width:1.5px,color:#14532d
classDef toneRose fill:#ffe4e6,stroke:#e11d48,stroke-width:1.5px,color:#881337
classDef toneIndigo fill:#e0e7ff,stroke:#4f46e5,stroke-width:1.5px,color:#312e81
classDef toneTeal fill:#ccfbf1,stroke:#0f766e,stroke-width:1.5px,color:#134e4a
class node_cli,node_transformations,node_applicability,node_verification,node_decision,node_contracts,node_economics toneBlue
class node_searchspace,node_searchplan,node_compatibility,node_admissibility,node_benchmark,node_resources,node_pareto,node_recommendation,node_service toneAmber
class node_inference,node_rag,node_retrieval,node_ragguards toneMint
class node_platformapi,node_jobs,node_database,node_registry toneRose
class node_user toneIndigo
```

## Components

### Candidate Evaluation

- [CLI](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/cli.py): `src/vait/cli.py`
- [Transformations](https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/transformations): `src/vait/transformations`
- [Applicability](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/transformations/applicability.py): `src/vait/transformations/applicability.py`
- [Verification](https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/verification): `src/vait/verification`
- [Decision Rules](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/decision/engine.py): `src/vait/decision/engine.py`
- [Evidence Contracts](https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/contracts): `src/vait/contracts`
- [Economic Metrics](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/economics/metrics.py): `src/vait/economics/metrics.py`

### Inference Optimisation

- [Search Space](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/optimisation/search_space.py): `src/vait/optimisation/search_space.py`
- [Search Plan](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/optimisation/search_plan.py): `src/vait/optimisation/search_plan.py`
- [Compatibility](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/optimisation/compatibility.py): `src/vait/optimisation/compatibility.py`
- [Admissibility](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/optimisation/admissibility.py): `src/vait/optimisation/admissibility.py`
- [Benchmarking](https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/optimisation): `src/vait/optimisation`
- [Resource Profiling](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/inference/profiling.py): `src/vait/inference/profiling.py`
- [Multi-objective Search](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/optimisation/multi_objective.py): `src/vait/optimisation/multi_objective.py`
- [Recommendation Plan](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/optimisation/recommendation.py): `src/vait/optimisation/recommendation.py`

### Inference and RAG

- [Provider Inference](https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/inference/providers): `src/vait/inference/providers`
- [RAG Pipeline](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/rag/pipeline.py): `src/vait/rag/pipeline.py`
- [Retrieval](https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/retrieval): `src/vait/retrieval`
- [Grounding and Guards](https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/rag): `src/vait/rag`

### Platform Services

- [Platform API](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/platform/api/app.py): `src/vait/platform/api/app.py`
- [Job Worker](https://github.com/vlad12-k/verified-ai-workflow-transformation/blob/main/src/vait/platform/jobs/worker.py): `src/vait/platform/jobs/worker.py`
- [Persistence](https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/platform/persistence): `src/vait/platform/persistence`
- [Artifact Registry](https://github.com/vlad12-k/verified-ai-workflow-transformation/tree/main/src/vait/platform/registry): `src/vait/platform/registry`

### Other components

- **Engineer**
- **Database Service**

## Connections

- Engineer → CLI: submits candidate
- CLI → Applicability: checks requirements
- Applicability → Transformations: accepts applicable
- Transformations → Verification: evaluates candidate
- Verification → Decision Rules: supplies failures
- Decision Rules → Evidence Contracts: classifies outcome
- Engineer → Search Space: declares scope
- Search Space → Search Plan: enumerates points
- Search Plan → Compatibility: checks points
- Search Plan → Admissibility: gates compatible points
- Admissibility → Benchmarking: permits evaluation
- Benchmarking → Resource Profiling: records resource evidence
- Benchmarking → Economic Metrics: attaches cost evidence
- Benchmarking → Multi-objective Search: provides evidence
- Multi-objective Search → Recommendation Plan: plans recommendation
- Engineer → RAG Pipeline: submits query
- RAG Pipeline → Retrieval: retrieves documents
- RAG Pipeline → Provider Inference: requests generation
- RAG Pipeline → Grounding and Guards: validates grounding
- Engineer → Platform API: calls API
- Platform API → Persistence: creates runtime
- Platform API → Database Service: probes readiness
- Job Worker → Persistence: claims and updates jobs
- Job Worker → Artifact Registry: executes job