orchestrata_ultimate.verification.agents

Reference › orchestrata_ultimate › verification › agents

Verification agents (Execution, Supervisor, Verification).

The three cooperating roles of the Verification Agent (Spec 035), one class per module. execution_agent receives constraints and produces and submits artifacts per checkpoint. supervisor_agent reviews that work and generates proofs, optionally through an LLM with a deterministic fallback. verification_agent checks constraints through the Prolog-backed evaluator, optionally analyses results with an LLM, and decides.

Data flows execution to supervisor to verifier: artifacts and proofs go forward, and the verifier's feedback comes back to the executor. The classes are plain in-memory objects with no entry point of their own; the orchestration coordinator is what wires them into a CXP workflow. Shared types are in types, and the LLM layer is the models package. Start with verification_agent, then read the package narrative.

4 modules, 323 lines of code.

Modules

Dependency diagram