phase31_summary_consistency_validation.py File Reference

Go to the source code of this file.

Namespaces
	phase31_summary_consistency_validation

Functions
def	phase31_summary_consistency_validation.build_artifact_bundle ()
def	phase31_summary_consistency_validation.main

Variables
tuple	phase31_summary_consistency_validation.ARTIFACT_CORE_FIELDS
string	phase31_summary_consistency_validation.ARTIFACT_FILENAME = "phase31_summary_consistency_bundle.json"
	phase31_summary_consistency_validation.DEFAULT_OUTPUT_DIR = phase31_correctness_evidence_output_dir("summary_consistency")
string	phase31_summary_consistency_validation.SUITE_NAME = "correctness_evidence_phase31_summary_consistency"