pymixef.validation module

Traceability, validation evidence, and change-impact bundles.

Bases: object

Version-controlled implementation and specification links.

Parameters:

  • source_files (tuple[str, ...])

  • specification_files (tuple[str, ...])

source_files: tuple[str, ...]
specification_files: tuple[str, ...]
class pymixef.validation.TraceabilityRecord(requirement, capability, stage, maturity, implemented, reproducibility, source_files, specification_files, tests, evidence, limitations=())[source]

Bases: object

Requirement-to-specification/source/test/evidence link.

Parameters:

  • requirement (str)

  • capability (str)

  • stage (str)

  • maturity (str)

  • implemented (bool)

  • reproducibility (str | None)

  • source_files (tuple[str, ...])

  • specification_files (tuple[str, ...])

  • tests (tuple[str, ...])

  • evidence (tuple[str, ...])

  • limitations (tuple[str, ...])

requirement: str
capability: str
stage: str
maturity: str
implemented: bool
reproducibility: str | None
source_files: tuple[str, ...]
specification_files: tuple[str, ...]
tests: tuple[str, ...]
evidence: tuple[str, ...]
limitations: tuple[str, ...]
to_dict()[source]
Return type:

dict[str, Any]

pymixef.validation.traceability_matrix()[source]

Return the built-in public traceability matrix.

Return type:

tuple[TraceabilityRecord, …]

pymixef.validation.classify_change(path)[source]

Classify a changed path for targeted validation reruns.

Parameters:

path (str | PathLike[str])

Return type:

str

pymixef.validation.change_impact(paths)[source]

Classify changed paths and recommend a conservative validation subset.

This static policy only reports test targets; it does not inspect diffs or execute the recommended tests.

Parameters:

paths (Iterable[str | PathLike[str]])

Return type:

dict[str, Any]

pymixef.validation.create_validation_bundle(result, path, *, analysis_data=None, include_data=False, additional_files=())[source]

Create a deterministic, self-describing validation evidence archive.

Raw analysis data is excluded by default. Set include_data=True only after confirming that the destination may contain the supplied data.

Parameters:

  • result (FitResult)

  • path (str | Path)

  • analysis_data (Any | None)

  • include_data (bool)

  • additional_files (Sequence[str | Path])

Return type:

Path

pymixef.validation.verify_validation_bundle(path)[source]

Verify internal hashes and return the archived manifest.

Parameters:

path (str | Path)

Return type:

dict[str, Any]