How vlad12-k/verified-ai-workflow-transformation works
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: optimisation Benchmarking · pipeline.py RAG Pipeline · search_plan.py Search Plan · app.py Platform API
Components 25
Candidate Evaluation
- CLI
src/vait/cli.py - Transformations
src/vait/transformations - Applicability
src/vait/transformations/applicability.py - Verification
src/vait/verification - Decision Rules
src/vait/decision/engine.py - Evidence Contracts
src/vait/contracts - Economic Metrics
src/vait/economics/metrics.py
Inference Optimisation
- Search Space
src/vait/optimisation/search_space.py - Search Plan
src/vait/optimisation/search_plan.py - Compatibility
src/vait/optimisation/compatibility.py - Admissibility
src/vait/optimisation/admissibility.py - Benchmarking
src/vait/optimisation - Resource Profiling
src/vait/inference/profiling.py - Multi-objective Search
src/vait/optimisation/multi_objective.py - Recommendation Plan
src/vait/optimisation/recommendation.py
Inference and RAG
- Provider Inference
src/vait/inference/providers - RAG Pipeline
src/vait/rag/pipeline.py - Retrieval
src/vait/retrieval - Grounding and Guards
src/vait/rag
Platform Services
- Platform API
src/vait/platform/api/app.py - Job Worker
src/vait/platform/jobs/worker.py - Persistence
src/vait/platform/persistence - Artifact Registry
src/vait/platform/registry
Other components
- Engineer
- Database Service
Connections 24
- 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