Purpose: Validate parsed models and check structural integrity.
When to use this module:
- Validate POMDP matrix dimensions
- Check model consistency
- Verify state-space properties
# Run validation
from validation.processor import ValidationProcessor
processor = ValidationProcessor(input_dir, output_dir)
results = processor.process(verbose=True)| Direction | Module | Data |
|---|---|---|
| Input | gnn | Parsed models |
| Output | render | Validated models |
processor.py- MainValidationProcessorclassvalidator.py- Validation logic__init__.py- Public API exports
| Check | Description |
|---|---|
| Dimensions | A, B, C, D matrix sizes |
| Probabilities | Sum to 1, non-negative |
| Completeness | All required fields present |
| Consistency | Cross-matrix compatibility |
- Step 6: Validation is Step 6 of the pipeline
- Gates: Validation gates block bad models
- Output Location:
output/6_validation_output/ - Errors: Returns detailed validation errors
Version: 1.1.3 | Step: 6 (Validation)