phase31_correctness_matrix_validation Namespace Reference

Functions
def	_build_phase31_matrix_cases_cached ()
def	build_artifact_bundle
def	build_cases ()
def	main

Variables
tuple	ARTIFACT_CORE_FIELDS
string	ARTIFACT_FILENAME = "phase31_correctness_matrix_bundle.json"
	DEFAULT_OUTPUT_DIR = phase31_correctness_evidence_output_dir("correctness_matrix")
	maxsize
string	SUITE_NAME = "correctness_evidence_phase31_correctness_matrix"

Detailed Description

Stage-A Phase 3.1 bounded correctness matrix (six-case inventory + slice counts).

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

Function Documentation

_build_phase31_matrix_cases_cached()

def phase31_correctness_matrix_validation._build_phase31_matrix_cases_cached (   tuple,   dict  )

private

Definition at line 45 of file phase31_correctness_matrix_validation.py.

Here is the call graph for this function:

Here is the caller graph for this function:

build_artifact_bundle()

def phase31_correctness_matrix_validation.build_artifact_bundle

(

cases

)

Definition at line 56 of file phase31_correctness_matrix_validation.py.

Here is the call graph for this function:

build_cases()

def phase31_correctness_matrix_validation.build_cases	(		list,
			dict
	)

Definition at line 52 of file phase31_correctness_matrix_validation.py.

Here is the call graph for this function:

main()

def phase31_correctness_matrix_validation.main

(

argv

)

Definition at line 97 of file phase31_correctness_matrix_validation.py.

Here is the call graph for this function:

Variable Documentation

ARTIFACT_CORE_FIELDS

tuple phase31_correctness_matrix_validation.ARTIFACT_CORE_FIELDS

Initial value:

=  (
    "suite_name",
    "status",
    "record_schema_version",
    "software",
    "selected_candidate",
    "summary",
    "cases",
)

Definition at line 33 of file phase31_correctness_matrix_validation.py.

ARTIFACT_FILENAME

string phase31_correctness_matrix_validation.ARTIFACT_FILENAME = "phase31_correctness_matrix_bundle.json"

Definition at line 31 of file phase31_correctness_matrix_validation.py.

DEFAULT_OUTPUT_DIR

phase31_correctness_matrix_validation.DEFAULT_OUTPUT_DIR = phase31_correctness_evidence_output_dir("correctness_matrix")

Definition at line 32 of file phase31_correctness_matrix_validation.py.

maxsize

phase31_correctness_matrix_validation.maxsize

Definition at line 44 of file phase31_correctness_matrix_validation.py.

SUITE_NAME

string phase31_correctness_matrix_validation.SUITE_NAME = "correctness_evidence_phase31_correctness_matrix"

Definition at line 30 of file phase31_correctness_matrix_validation.py.