local_correctness_validation Namespace Reference

Functions
def	build_artifact_bundle (micro_validation_bundle, required_local_noise_micro_validation_bundle)
def	build_case_identity_summary (cases)
def	build_requirement_metadata ()
def	main ()
def	parse_args ()
def	run_validation (verbose=False)
def	validate_artifact_bundle (bundle)
def	validate_case_payload (case)
def	write_artifact_bundle

Variables
tuple	ARTIFACT_CORE_FIELDS
string	ARTIFACT_FILENAME = "local_correctness_bundle.json"
tuple	DEFAULT_OUTPUT_DIR
	MANDATORY_CASE_NAMES = tuple(case["case_name"] for case in MANDATORY_MICROCASES)
	REPO_ROOT = Path(__file__).resolve().parents[3]
string	SUITE_NAME = "local_correctness_validation"

Detailed Description

Validation: local correctness baseline.

Builds the phase-level local correctness gate from the already authoritative
micro-validation surfaces:
- the canonical exactness matrix against Qiskit Aer,
- and the required-local-noise wrapper that adds required-noise coverage,
  mixed-sequence auditability, and mandatory-baseline semantics.

The resulting bundle is intentionally a thin validation-evidence layer:
- it freezes the mandatory 1 to 3 qubit local correctness inventory,
- it validates stable case identity and explicit status fields,
- it preserves required gate/noise coverage and mixed-sequence auditability,
- and it makes incomplete or partial local evidence fail explicitly.

Run with:
python benchmarks/density_matrix/validation_evidence/local_correctness_validation.py

Function Documentation

build_artifact_bundle()

def local_correctness_validation.build_artifact_bundle	(		micro_validation_bundle,
			required_local_noise_micro_validation_bundle
	)

Definition at line 136 of file local_correctness_validation.py.

Here is the call graph for this function:

Here is the caller graph for this function:

build_case_identity_summary()

def local_correctness_validation.build_case_identity_summary

(

cases

)

Definition at line 111 of file local_correctness_validation.py.

Here is the call graph for this function:

Here is the caller graph for this function:

build_requirement_metadata()

def local_correctness_validation.build_requirement_metadata

(

)

Definition at line 70 of file local_correctness_validation.py.

Here is the caller graph for this function:

main()

def local_correctness_validation.main

(

)

Definition at line 294 of file local_correctness_validation.py.

Here is the call graph for this function:

parse_args()

def local_correctness_validation.parse_args

(

)

Definition at line 278 of file local_correctness_validation.py.

Here is the caller graph for this function:

run_validation()

def local_correctness_validation.run_validation

(

verbose = False

)

Definition at line 256 of file local_correctness_validation.py.

Here is the call graph for this function:

Here is the caller graph for this function:

validate_artifact_bundle()

def local_correctness_validation.validate_artifact_bundle

(

bundle

)

Definition at line 238 of file local_correctness_validation.py.

Here is the caller graph for this function:

validate_case_payload()

def local_correctness_validation.validate_case_payload

(

case

)

Definition at line 84 of file local_correctness_validation.py.

Here is the caller graph for this function:

write_artifact_bundle()

def local_correctness_validation.write_artifact_bundle

(

output_path

)

Definition at line 248 of file local_correctness_validation.py.

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

ARTIFACT_CORE_FIELDS

tuple local_correctness_validation.ARTIFACT_CORE_FIELDS

Initial value:

=  (
    "suite_name",
    "status",
    "backend",
    "reference_backend",
    "requirements",
    "thresholds",
    "software",
    "summary",
    "required_artifacts",
    "cases",
)

Definition at line 56 of file local_correctness_validation.py.

ARTIFACT_FILENAME

string local_correctness_validation.ARTIFACT_FILENAME = "local_correctness_bundle.json"

Definition at line 51 of file local_correctness_validation.py.

DEFAULT_OUTPUT_DIR

tuple local_correctness_validation.DEFAULT_OUTPUT_DIR

Initial value:

=  (
    REPO_ROOT / "benchmarks" / "density_matrix" / "artifacts" / "validation_evidence"
)

Definition at line 52 of file local_correctness_validation.py.

MANDATORY_CASE_NAMES

local_correctness_validation.MANDATORY_CASE_NAMES = tuple(case["case_name"] for case in MANDATORY_MICROCASES)

Definition at line 55 of file local_correctness_validation.py.

REPO_ROOT

local_correctness_validation.REPO_ROOT = Path(__file__).resolve().parents[3]

Definition at line 28 of file local_correctness_validation.py.

SUITE_NAME

string local_correctness_validation.SUITE_NAME = "local_correctness_validation"

Definition at line 50 of file local_correctness_validation.py.