Orchestrata Ultimate › Tests › Reference › verification › orchestration
Tests reference — tests/verification/orchestration
tests/verification/orchestration — 2 test modules, 25 test functions. Source tree: tests/verification/orchestration at commit 8a2cb42ad. Generated from the tests AST snapshot by scripts/gen-data-pages.py.
Prose pending.
Modules
| Module | Tests | Covers |
|---|---|---|
test_coordinator.py |
25 | 3 |
Module details
tests/verification/orchestration/test_coordinator.py
source · 25 tests · 272 lines
Tests for verification.orchestration.coordinator.
Covers: verification.orchestration.coordinator, verification.protocols.verification_cxp, verification.types
| Kind | Name | Line | Description |
|---|---|---|---|
| class | TestVerificationCoordinator |
41 | |
| method | TestVerificationCoordinator.test_init |
42 | |
| method | TestVerificationCoordinator.test_start_workflow |
47 | |
| method | TestVerificationCoordinator.test_advance_step |
56 | |
| method | TestVerificationCoordinator.test_advance_multiple_steps |
63 | |
| method | TestVerificationCoordinator.test_advance_unknown_session |
81 | |
| method | TestVerificationCoordinator.test_get_workflow |
85 | |
| method | TestVerificationCoordinator.test_get_workflow_missing |
93 | |
| method | TestVerificationCoordinator.test_is_complete_false |
97 | |
| method | TestVerificationCoordinator.test_is_complete_missing |
103 | |
| class | TestVerificationCoordinatorCxpWiring |
108 | VerificationCXPAdapter wiring (REQ-035-US-007-009/017/021, |
| method | TestVerificationCoordinatorCxpWiring.test_default_cxp_adapter_constructed |
113 | |
| method | TestVerificationCoordinatorCxpWiring.test_explicit_cxp_adapter_used |
120 | |
| method | TestVerificationCoordinatorCxpWiring.test_build_verification_request |
127 | |
| method | TestVerificationCoordinatorCxpWiring.test_build_verification_result |
136 | |
| method | TestVerificationCoordinatorCxpWiring.test_build_escalation_message |
146 | |
| method | TestVerificationCoordinatorCxpWiring.test_build_feedback_message |
154 | |
| method | TestVerificationCoordinatorCxpWiring.test_build_proof_request |
160 | |
| method | TestVerificationCoordinatorCxpWiring.test_build_proof_submission |
166 | |
| class | TestWorkflowReachesItsTerminalState |
175 | status becomes "completed" ONLY inside advance_step. |
| method | TestWorkflowReachesItsTerminalState.test_complete_workflow_records_every_phase |
186 | |
| method | TestWorkflowReachesItsTerminalState.test_is_complete_is_no_longer_false_by_construction |
204 | The property that was unreachable is now reachable. |
| method | TestWorkflowReachesItsTerminalState.test_complete_workflow_finishes_from_a_partly_advanced_state |
214 | A run that already verified a checkpoint still completes. |
| method | TestWorkflowReachesItsTerminalState.test_complete_workflow_is_idempotent |
227 | Calling it twice must not append phases a second time. |
| method | TestWorkflowReachesItsTerminalState.test_complete_workflow_on_an_unknown_session_is_false |
240 | |
| class | TestWorkflowsAreEvicted |
244 | _workflows grew one entry per verification session, forever. |
| method | TestWorkflowsAreEvicted.test_forget_workflow_removes_it |
247 | |
| method | TestWorkflowsAreEvicted.test_forget_workflow_twice_reports_the_second_as_nothing_to_drop |
257 | |
| method | TestWorkflowsAreEvicted.test_many_sessions_do_not_accumulate_once_forgotten |
264 | The leak, expressed as a test. |
Support files
Fixtures, package markers and helpers without test functions.