correctness_evidence Directory Reference

Files
file	correctness_evidence/bundle.py [code]
file	correctness_evidence/case_selection.py [code]
file	correctness_evidence/common.py [code]
file	correctness_bundle_validation.py [code]
file	correctness_matrix_validation.py [code]
file	external_correctness_validation.py [code]
file	output_integrity_validation.py [code]
file	phase31_channel_invariants.py [code]
file	phase31_correctness_bundle_validation.py [code]
file	phase31_correctness_matrix_validation.py [code]
file	phase31_external_correctness_validation.py [code]
file	phase31_output_integrity_validation.py [code]
file	phase31_runtime_classification_validation.py [code]
file	phase31_sequential_correctness_validation.py [code]
file	phase31_summary_consistency_validation.py [code]
file	phase31_validation_pipeline.py [code]
file	correctness_evidence/records.py [code]
file	runtime_classification_validation.py [code]
file	sequential_correctness_validation.py [code]
file	correctness_evidence/summary_consistency_validation.py [code]
file	unsupported_boundary_validation.py [code]
file	correctness_evidence/validation_pipeline.py [code]
file	correctness_evidence/validation_support.py [code]