Functions
def	build_artifact_bundle ()

def	build_cases ()

def	main

Variables
tuple	ARTIFACT_CORE_FIELDS

string	ARTIFACT_FILENAME = "phase31_correctness_package_bundle.json"

	DEFAULT_OUTPUT_DIR = phase31_correctness_evidence_output_dir("correctness_package")

string	SUITE_NAME = "correctness_evidence_phase31_correctness_package"

Detailed Description

Stage-A Phase 3.1 correctness package bundle (six positives + negative boundary).

Run with:
python benchmarks/density_matrix/correctness_evidence/phase31_correctness_bundle_validation.py

Function Documentation

◆ build_artifact_bundle()

def phase31_correctness_bundle_validation.build_artifact_bundle ( dict )

Definition at line 44 of file phase31_correctness_bundle_validation.py.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ build_cases()

def phase31_correctness_bundle_validation.build_cases	(	list,
		dict
	)

Definition at line 40 of file phase31_correctness_bundle_validation.py.

Here is the call graph for this function:

◆ main()

def phase31_correctness_bundle_validation.main ( argv )

Definition at line 68 of file phase31_correctness_bundle_validation.py.

Here is the call graph for this function:

Variable Documentation

◆ ARTIFACT_CORE_FIELDS

tuple phase31_correctness_bundle_validation.ARTIFACT_CORE_FIELDS

Initial value:

 =  (
     "suite_name",
     "status",
     "schema_version",
     "software",
     "selected_candidate",
     "summary",
     "cases",
     "negative_cases",
 )