Module gpu_preprocessing_coverage 

Vyrec GPU preprocessing coverage validation.

Structs

GpuPreprocessingCapabilityRecord

One GPU preprocessing capability evidence record.

GpuPreprocessingCoverageProof

GPU preprocessing coverage proof.

GpuPreprocessingLinuxArtifactProof

Committed Linux GPU preprocessing artifact proof.

GpuTokenClassRecord

One GPU token-class evidence record.

Enums

GpuPreprocessingCapability

GPU preprocessing capability required before parser input.

GpuPreprocessingCoverageError

GPU preprocessing coverage errors.

GpuPreprocessingLinuxArtifactError

Committed Linux GPU preprocessing artifact validation errors.

GpuTokenClass

GPU token class required by preprocessing/lexing.

Functions

validate_gpu_preprocessing_coverage

Validate GPU preprocessing and token-class coverage.

validate_gpu_preprocessing_linux_artifact

Validate the committed Linux CUDA preprocessing artifact.