Module extraction_validate 

Pure extraction validation (spec 038, 3.4 to 3.6), not wired into evaluation.

Structs

InvalidOutput

Record-level failure, mapped by the future caller to an invalid_output attempt. Details contain no returned values.

ValidatedField

A core read value and its digest-safe evidence. Absence has neither value nor class.

Functions

fallback_derivation

Fallback reads preserve exactness only when all projected sources are exact.

validate

Validate the entire record before producing any field results. option_logprobs is the bound output capability, independently of the requested distribution mode.