Workflows
Multi-step AI reasoning, certified end to end.
Prova Workflows compose multiple model calls into a single verified reasoning chain. Each step carries its own certificate. The workflow carries a composite certificate covering the whole chain.
Compose any number of model calls
Workflows are DAGs of model invocations. Each node can call a different model, a different policy, and a different extraction profile. Prova verifies each step independently and then composes the results.
Step certificates plus composite certificate
Every step emits its own signed certificate. The workflow itself emits a composite certificate summarising the full run. Both are immutable and share the PRV-YYYY-XXXX identifier format.
Precise failure localization
When a workflow certificate is INVALID, the composite points to the exact step and the exact reasoning defect (CIRCULAR, CONTRADICTION, or UNSUPPORTED_LEAP). No scanning through logs.
Replay and diff
Every workflow run is replayable from the stored inputs. Diff two runs to see which step changed, which reasoning leaf moved, and which certificate verdict flipped.