Module capability 

Typed coverage and capability states used across capture, analysis, and comparison.

Structs

CapabilityState

CaptureContract

EvidenceCapabilities

ExpectedGradient

One parameter expected in a complete gradient capture.

GradientContract

Exact, digest-bound gradient parameter manifest and family expectations.

GradientFamilyContract

Family-level expectation applied after exact parameter-manifest validation.

Enums

CapabilityKind

CapabilityLevel

CoverageLevel

GradientFamilyExpectation

Expected runtime state of one caller-defined parameter family.

MeasurementScope

Constants

GRADIENT_MANIFEST_SCHEMA

Domain separator for ordered gradient-manifest digests.