orchestrata_volks.verification.checkpoints
Reference › components › volks › orchestrata_volks › verification › checkpoints
Checkpoint verification and state transitions.
Checkpoint verification and state transitions in verification: definitions holds the checkpoint definitions and criteria, and verifier and concurrent are short re-exports.
4 modules, 88 lines of code.
Modules
| Module | Summary | LOC | Lifted from |
|---|---|---|---|
__init__ |
Checkpoint verification and state transitions. | 1 | lifted from orchestrata_ultimate.verification.checkpoints |
concurrent |
6 | lifted from orchestrata_ultimate.verification.checkpoints.concurrent | |
definitions |
Checkpoint definitions and criteria. | 77 | lifted from orchestrata_ultimate.verification.checkpoints.definitions |
verifier |
4 | lifted from orchestrata_ultimate.verification.checkpoints.verifier |
Dependency diagram
