orchestrata_volks.verification
Reference › components › volks › orchestrata_volks › verification
Verification Agent — Spec 035 (historical label: Spec 007b).
The Verification Agent of orchestrata_volks (Spec 035, historically Spec 007b), 120 modules. The core is verification_engine, verification_coordinator, verification_session_manager and verification_redis_manager, with the agents verification_agent, execution_agent and supervisor_agent. Checking: checkpoint_verifier and concurrent_checkpoint_evaluator, constraint_evaluator, proof_verifier, spec_completeness (via Prolog), traceability and rtm_constraints. Edge cases: edge_case_detector, edge_case_database and edge_case_reporter. Scanning: implementation_scanner (519 lines) and _non_python_scan. LLM models: claude_opus_model, deepseek_r1_model, qwen_max_model, grok_mini_max_model with model_registry and model_fallback_chain. The subpackages group the same pieces: agents, autofix, checkpoints, config, constraints, edge_cases, impossibility, integrations, models, orchestration, proofs, protocols, requirements, review, session and verification. Most of those are thin re-exports. The shared data types are in contracts verification; see the verification narrative.
120 modules, 8,960 lines of code.
Subpackages
| Package | Modules | LOC |
|---|---|---|
agents |
4 | 13 |
autofix |
7 | 921 |
checkpoints |
4 | 88 |
config |
2 | 6 |
constraints |
3 | 51 |
edge_cases |
3 | 16 |
impossibility |
2 | 5 |
integrations |
3 | 11 |
models |
6 | 23 |
orchestration |
2 | 7 |
proofs |
2 | 5 |
protocols |
2 | 7 |
requirements |
4 | 145 |
review |
9 | 1,718 |
session |
2 | 7 |
verification |
3 | 9 |
Modules
| Module | Summary | LOC | Lifted from |
|---|---|---|---|
__init__ |
Verification Agent — Spec 035 (historical label: Spec 007b). | 31 | lifted from orchestrata_ultimate.verification |
__registration_key_visitor |
40 | ||
__symbol_hit |
17 | ||
_non_python_scan |
Residue-only lift of frozen verification._non_python_scan (ADR-0103 P2-F). |
294 | lifted from orchestrata_ultimate.verification._non_python_scan |
autofix |
Whole-module re-export — see packages/volks/design/decisions.md (clean-target split). | 5 | lifted from orchestrata_ultimate.verification.autofix |
autofix_result |
20 | ||
checkpoint_verifier |
orchestrata_volks.verification.checkpoint_verifier — generated scaffold (SPEC-016). | 110 | |
claude_opus_model |
68 | ||
concurrent_checkpoint_evaluator |
orchestrata_volks.verification.concurrent_checkpoint_evaluator — generated scaffold (SPEC-016). | 80 | |
constraint_evaluator |
226 | ||
deepseek_r1_model |
68 | ||
detector_meta |
15 | ||
edge_case |
orchestrata_volks.verification.edge_case — generated scaffold (SPEC-016). | 29 | |
edge_case_category |
19 | ||
edge_case_coverage |
19 | ||
edge_case_database |
135 | ||
edge_case_database_detector |
orchestrata_volks.verification.edge_case_database_detector — generated scaffold (SPEC-016). | 291 | |
edge_case_detector |
orchestrata_volks.verification.edge_case_detector — generated scaffold (SPEC-016). | 320 | |
edge_case_occurrence |
23 | ||
edge_case_reporter |
orchestrata_volks.verification.edge_case_reporter — generated scaffold (SPEC-016). | 136 | |
edge_case_severity |
15 | ||
escalation_handler |
67 | lifted from orchestrata_ultimate.verification.escalation_handler | |
evidence_context |
orchestrata_volks.verification.evidence_context — generated scaffold (SPEC-016). | 22 | |
evidence_record |
27 | ||
execution_agent |
64 | ||
feedback_generator |
79 | ||
grok_mini_max_model |
66 | ||
implementation_scanner |
Residue-only lift of frozen verification.implementation_scanner (ADR-0103 P2-F). |
519 | lifted from orchestrata_ultimate.verification.implementation_scanner |
impossibility_handler |
86 | ||
intent_broker_adapter |
76 | ||
l_l_m_model |
43 | ||
match_report |
35 | ||
model_config |
17 | ||
model_fallback_chain |
orchestrata_volks.verification.model_fallback_chain — generated scaffold (SPEC-016). | 98 | |
model_registry |
orchestrata_volks.verification.model_registry — generated scaffold (SPEC-016). | 50 | |
non_python_source |
orchestrata_volks.verification.non_python_source — generated scaffold (SPEC-016). | 43 | |
non_python_symbol |
19 | ||
project_source |
orchestrata_volks.verification.project_source — generated scaffold (SPEC-016). | 36 | |
prolog_generator |
99 | ||
proof_verifier |
139 | ||
qwen_max_model |
68 | ||
r_t_m_report |
orchestrata_volks.verification.r_t_m_report — generated scaffold (SPEC-016). | 32 | |
requirement |
17 | ||
requirements_parser |
182 | ||
review |
Whole-module re-export — see packages/volks/design/decisions.md (clean-target split). | 10 | lifted from orchestrata_ultimate.verification.review |
rtm_constraints |
Residue-only lift of frozen verification.rtm_constraints (ADR-0103 P2-F). |
108 | lifted from orchestrata_ultimate.verification.rtm_constraints |
rtm_facts |
31 | ||
rtm_violation |
25 | ||
scan_outcome |
33 | ||
spec_completeness |
Spec completeness evaluation via Prolog. | 308 | lifted from orchestrata_ultimate.verification.spec_completeness |
supervisor_agent |
orchestrata_volks.verification.supervisor_agent — generated scaffold (SPEC-016). | 111 | |
trace_info |
37 | ||
traceability |
Residue-only lift of frozen verification.traceability (ADR-0103 P2-F). |
422 | lifted from orchestrata_ultimate.verification.traceability |
user_story |
orchestrata_volks.verification.user_story — generated scaffold (SPEC-016). | 48 | |
validation_report |
56 | ||
verification_agent |
orchestrata_volks.verification.verification_agent — generated scaffold (SPEC-016). | 113 | |
verification_c_x_p_adapter |
173 | ||
verification_config |
orchestrata_volks.verification.verification_config — generated scaffold (SPEC-016). | 40 | |
verification_coordinator |
orchestrata_volks.verification.verification_coordinator — generated scaffold (SPEC-016). | 193 | |
verification_engine |
orchestrata_volks.verification.verification_engine — generated scaffold (SPEC-016). | 108 | |
verification_redis_manager |
112 | ||
verification_session_manager |
orchestrata_volks.verification.verification_session_manager — generated scaffold (SPEC-016). | 155 |
Dependency diagram
Truncated: showing 40 of 76 modules/subpackages (most connected first) and 8 of 8 outside packages.