Functions
def	build_artifact_bundle

def	build_cases ()

def	main

Variables
tuple	ARTIFACT_CORE_FIELDS

string	ARTIFACT_FILENAME = "unsupported_boundary_bundle.json"

	DEFAULT_OUTPUT_DIR = correctness_evidence_output_dir("unsupported_boundary")

string	SUITE_NAME = "correctness_evidence_unsupported_boundary"

Detailed Description

Unsupported-boundary (negative evidence) validation.

Builds a stage-separated negative-evidence layer for planner-entry,
descriptor-generation, and runtime-stage unsupported or deferred behavior.

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

Function Documentation

◆ build_artifact_bundle()

def unsupported_boundary_validation.build_artifact_bundle ( cases )

Definition at line 48 of file unsupported_boundary_validation.py.

Here is the call graph for this function:

◆ build_cases()

def unsupported_boundary_validation.build_cases	(	list,
		dict
	)

Definition at line 44 of file unsupported_boundary_validation.py.

Here is the call graph for this function:

◆ main()

def unsupported_boundary_validation.main ( argv )

Definition at line 73 of file unsupported_boundary_validation.py.

Here is the call graph for this function:

Variable Documentation

◆ ARTIFACT_CORE_FIELDS

tuple unsupported_boundary_validation.ARTIFACT_CORE_FIELDS

Initial value:

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