orchestrata_contracts.verification
Reference › components › contracts › orchestrata_contracts › verification
orchestrata_contracts.verification package.
The verification subpackage of contracts holds the shared verification data types, lifted from orchestrata_ultimate.verification. They are verification_session, verification_result, verification_status, session_status, checkpoint_name, checkpoint_result, constraint with constraint_type, edge_case, proof with proof_type and proof_result, escalation_message, suggestion, verification_model_capability and feedback (lifted from orchestrata_ultimate.verification.verification.feedback). The checks that produce them are in the verification package of the volks component; see the verification narrative.
17 modules, 402 lines of code.
Modules
| Module | Summary | LOC | Lifted from |
|---|---|---|---|
__init__ |
orchestrata_contracts.verification package. | 2 | lifted from orchestrata_ultimate.verification |
checkpoint_name |
15 | ||
checkpoint_result |
26 | ||
constraint |
56 | ||
constraint_type |
27 | ||
edge_case |
26 | ||
escalation_message |
17 | ||
feedback |
17 | lifted from orchestrata_ultimate.verification.verification.feedback | |
proof |
33 | ||
proof_result |
16 | ||
proof_type |
14 | ||
session_status |
14 | ||
suggestion |
15 | ||
verification_model_capability |
17 | ||
verification_result |
40 | ||
verification_session |
52 | ||
verification_status |
15 |
Dependency diagram
